runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (11461 MiB free)
memory of node 1: 16384 MiB (11939 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284518-1503210848/watcher-4284518-1503210848 -o /tmp/evaluation-result-4284518-1503210848/solver-4284518-1503210848 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node151-1503208976-12842 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 236813854 HOME/instance-4284518-1503210848.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=13780, runsolver pid=13777
[startup+0.100137 s]*
/proc/loadavg: 1.76 1.71 1.62 3/208 13787
/proc/meminfo: memFree=23956920/32770624 swapFree=67108860/67108860
[pid=13780] ppid=13777 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/13780/stat : 13780 (xcsp3-exec) S 13777 13780 12810 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 154165520 9740288 345 33554432000 4194304 5098028 140724473389024 140724473387128 139969979560572 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 14618624 140724473390197 140724473390400 140724473390400 140724473393131 0
/proc/13780/statm: 2378 345 289 221 0 87 0
[pid=13782] ppid=13780 vsize=13360748 memory=13380 CPUtime=0 cores=1,3,5,7
/proc/13782/stat : 13782 (java) S 13780 13780 12810 0 -1 1077944320 2544 0 0 0 0 0 0 0 20 0 6 0 154165521 13681405952 3345 33554432000 4194304 4196468 140724272865616 140724272848160 139936100593399 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30392320 140724272870557 140724272870732 140724272870732 140724272873423 0
/proc/13782/statm: 3340187 3345 1335 1 0 3329098 0
[pid=13782/tid=13783] ppid=13780 vsize=13362956 memory=8514701219881255076 CPUtime=0 cores=1,3,5,7
/proc/13782/task/13783/stat : 13783 (java) R 13780 13780 12810 0 -1 4202560 1319 0 0 0 0 0 0 0 20 0 6 0 154165524 13683666944 3345 33554432000 4194304 4196468 140724272865616 139936104829520 139936057228858 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30392320 140724272870557 140724272870732 140724272870732 140724272873423 0
[pid=13782/tid=13784] ppid=13780 vsize=13362956 memory=3472468229863343312 CPUtime=0 cores=1,3,5,7
/proc/13782/task/13784/stat : 13784 (java) S 13780 13780 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 154165530 13683666944 3345 33554432000 4194304 4196468 140724272865616 139936015661456 139936100603605 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30392320 140724272870557 140724272870732 140724272870732 140724272873423 0
[pid=13782/tid=13785] ppid=13780 vsize=13362956 memory=140100968191616 CPUtime=0 cores=1,3,5,7
/proc/13782/task/13785/stat : 13785 (java) S 13780 13780 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 154165530 13683666944 3345 33554432000 4194304 4196468 140724272865616 139936014608656 139936100603605 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30392320 140724272870557 140724272870732 140724272870732 140724272873423 0
[pid=13782/tid=13786] ppid=13780 vsize=13362956 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13782/task/13786/stat : 13786 (java) S 13780 13780 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 154165530 13683666944 3410 33554432000 4194304 4196468 140724272865616 139936013556368 139936100603605 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30392320 140724272870557 140724272870732 140724272870732 140724272873423 0
[pid=13782/tid=13787] ppid=13780 vsize=13362956 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13782/task/13787/stat : 13787 (java) S 13780 13780 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 154165530 13683666944 3410 33554432000 4194304 4196468 140724272865616 139936012503568 139936100603605 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30392320 140724272870557 140724272870732 140724272870732 140724272873423 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13370260 KiB
Current children cumulated memory: 14760 KiB
[startup+0.209961 s]*
/proc/loadavg: 1.76 1.71 1.62 3/217 13796
/proc/meminfo: memFree=23949812/32770624 swapFree=67108860/67108860
[pid=13780] ppid=13777 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/13780/stat : 13780 (xcsp3-exec) S 13777 13780 12810 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 154165520 9740288 345 33554432000 4194304 5098028 140724473389024 140724473387128 139969979560572 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 14618624 140724473390197 140724473390400 140724473390400 140724473393131 0
/proc/13780/statm: 2378 345 289 221 0 87 0
[pid=13782] ppid=13780 vsize=13978596 memory=23632 CPUtime=0.06 cores=1,3,5,7
/proc/13782/stat : 13782 (java) S 13780 13780 12810 0 -1 1077944320 4751 0 0 0 6 0 0 0 20 0 15 0 154165521 14314082304 5908 33554432000 4194304 4196468 140724272865616 140724272848160 139936100593399 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30392320 140724272870557 140724272870732 140724272870732 140724272873423 0
/proc/13782/statm: 3494649 5908 2742 1 0 3482966 0
[pid=13782/tid=13783] ppid=13780 vsize=13978596 memory=5854525174214068640 CPUtime=0.05 cores=1,3,5,7
/proc/13782/task/13783/stat : 13783 (java) D 13780 13780 12810 0 -1 1077944384 2908 0 0 0 5 0 0 0 20 0 15 0 154165524 14314082304 5908 33554432000 4194304 4196468 140724272865616 139936104819088 139936100617277 0 4 0 16800975 18446744072101629476 0 0 -1 3 0 0 0 0 0 6293624 6294260 30392320 140724272870557 140724272870732 140724272870732 140724272873423 0
[pid=13782/tid=13784] ppid=13780 vsize=13978596 memory=3472468229863343312 CPUtime=0 cores=1,3,5,7
/proc/13782/task/13784/stat : 13784 (java) S 13780 13780 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154165530 14314082304 5908 33554432000 4194304 4196468 140724272865616 139936015661456 139936100603605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30392320 140724272870557 140724272870732 140724272870732 140724272873423 0
[pid=13782/tid=13785] ppid=13780 vsize=13978596 memory=140100968191616 CPUtime=0 cores=1,3,5,7
/proc/13782/task/13785/stat : 13785 (java) S 13780 13780 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154165530 14314082304 5908 33554432000 4194304 4196468 140724272865616 139936014608656 139936100603605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30392320 140724272870557 140724272870732 140724272870732 140724272873423 0
[pid=13782/tid=13786] ppid=13780 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13782/task/13786/stat : 13786 (java) S 13780 13780 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154165530 14314082304 5908 33554432000 4194304 4196468 140724272865616 139936013556368 139936100603605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30392320 140724272870557 140724272870732 140724272870732 140724272873423 0
[pid=13782/tid=13787] ppid=13780 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13782/task/13787/stat : 13787 (java) S 13780 13780 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154165530 14314082304 5908 33554432000 4194304 4196468 140724272865616 139936012503568 139936100603605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30392320 140724272870557 140724272870732 140724272870732 140724272873423 0
[pid=13782/tid=13788] ppid=13780 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13782/task/13788/stat : 13788 (java) S 13780 13780 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154165532 14314082304 5908 33554432000 4194304 4196468 140724272865616 139935011809904 139936100604546 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30392320 140724272870557 140724272870732 140724272870732 140724272873423 0
[pid=13782/tid=13789] ppid=13780 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13782/task/13789/stat : 13789 (java) S 13780 13780 12810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154165532 14314082304 5908 33554432000 4194304 4196468 140724272865616 139935010755872 139936100603605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30392320 140724272870557 140724272870732 140724272870732 140724272873423 0
[pid=13782/tid=13790] ppid=13780 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13782/task/13790/stat : 13790 (java) S 13780 13780 12810 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154165532 14314082304 5908 33554432000 4194304 4196468 140724272865616 139935009703536 139936100603605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30392320 140724272870557 140724272870732 140724272870732 140724272873423 0
[pid=13782/tid=13791] ppid=13780 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13782/task/13791/stat : 13791 (java) S 13780 13780 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154165539 14314082304 5908 33554432000 4194304 4196468 140724272865616 139935008651856 139936100611995 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30392320 140724272870557 140724272870732 140724272870732 140724272873423 0
[pid=13782/tid=13792] ppid=13780 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13782/task/13792/stat : 13792 (java) S 13780 13780 12810 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 154165539 14314082304 5908 33554432000 4194304 4196468 140724272865616 139935007598704 139936100604546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30392320 140724272870557 140724272870732 140724272870732 140724272873423 0
[pid=13782/tid=13793] ppid=13780 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13782/task/13793/stat : 13793 (java) S 13780 13780 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154165539 14314082304 5908 33554432000 4194304 4196468 140724272865616 139935006545904 139936100604546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30392320 140724272870557 140724272870732 140724272870732 140724272873423 0
[pid=13782/tid=13794] ppid=13780 vsize=13978596 memory=140100968191616 CPUtime=0 cores=1,3,5,7
/proc/13782/task/13794/stat : 13794 (java) S 13780 13780 12810 0 -1 1077944384 231 0 0 0 0 0 0 0 20 0 15 0 154165539 14314082304 5908 33554432000 4194304 4196468 140724272865616 139935005493616 139936100604546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30392320 140724272870557 140724272870732 140724272870732 140724272873423 0
[pid=13782/tid=13795] ppid=13780 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13782/task/13795/stat : 13795 (java) S 13780 13780 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154165539 14314082304 5908 33554432000 4194304 4196468 140724272865616 139935004441056 139936100603605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30392320 140724272870557 140724272870732 140724272870732 140724272873423 0
[pid=13782/tid=13796] ppid=13780 vsize=13978596 memory=140100968191616 CPUtime=0 cores=1,3,5,7
/proc/13782/task/13796/stat : 13796 (java) S 13780 13780 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154165540 14314082304 5908 33554432000 4194304 4196468 140724272865616 139935003388848 139936100604546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30392320 140724272870557 140724272870732 140724272870732 140724272873423 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 25012 KiB
[startup+0.310306 s]*
/proc/loadavg: 1.76 1.71 1.62 3/217 13796
/proc/meminfo: memFree=23941088/32770624 swapFree=67108860/67108860
[pid=13780] ppid=13777 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/13780/stat : 13780 (xcsp3-exec) S 13777 13780 12810 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 154165520 9740288 345 33554432000 4194304 5098028 140724473389024 140724473387128 139969979560572 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 14618624 140724473390197 140724473390400 140724473390400 140724473393131 0
/proc/13780/statm: 2378 345 289 221 0 87 0
[pid=13782] ppid=13780 vsize=13978596 memory=32464 CPUtime=0.21 cores=1,3,5,7
/proc/13782/stat : 13782 (java) S 13780 13780 12810 0 -1 1077944320 6525 0 0 0 20 1 0 0 20 0 15 0 154165521 14314082304 8116 33554432000 4194304 4196468 140724272865616 140724272848160 139936100593399 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30392320 140724272870557 140724272870732 140724272870732 140724272873423 0
/proc/13782/statm: 3494649 8116 3003 1 0 3482966 0
[pid=13782/tid=13783] ppid=13780 vsize=13978596 memory=6791534058613427641 CPUtime=0.13 cores=1,3,5,7
/proc/13782/task/13783/stat : 13783 (java) D 13780 13780 12810 0 -1 1077944384 3851 0 0 0 13 0 0 0 20 0 15 0 154165524 14314082304 8116 33554432000 4194304 4196468 140724272865616 139936104815776 139936093272621 0 4 0 16800975 18446744072101629476 0 0 -1 3 0 0 0 0 0 6293624 6294260 30392320 140724272870557 140724272870732 140724272870732 140724272873423 0
[pid=13782/tid=13784] ppid=13780 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13782/task/13784/stat : 13784 (java) S 13780 13780 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154165530 14314082304 8116 33554432000 4194304 4196468 140724272865616 139936015661456 139936100603605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30392320 140724272870557 140724272870732 140724272870732 140724272873423 0
[pid=13782/tid=13785] ppid=13780 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13782/task/13785/stat : 13785 (java) S 13780 13780 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154165530 14314082304 8116 33554432000 4194304 4196468 140724272865616 139936014608656 139936100603605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30392320 140724272870557 140724272870732 140724272870732 140724272873423 0
[pid=13782/tid=13786] ppid=13780 vsize=13978596 memory=2072 CPUtime=0 cores=1,3,5,7
/proc/13782/task/13786/stat : 13786 (java) S 13780 13780 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154165530 14314082304 8116 33554432000 4194304 4196468 140724272865616 139936013556368 139936100603605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30392320 140724272870557 140724272870732 140724272870732 140724272873423 0
[pid=13782/tid=13787] ppid=13780 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13782/task/13787/stat : 13787 (java) S 13780 13780 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154165530 14314082304 8116 33554432000 4194304 4196468 140724272865616 139936012503568 139936100603605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30392320 140724272870557 140724272870732 140724272870732 140724272873423 0
[pid=13782/tid=13788] ppid=13780 vsize=13978596 memory=140100968191615 CPUtime=0 cores=1,3,5,7
/proc/13782/task/13788/stat : 13788 (java) S 13780 13780 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154165532 14314082304 8116 33554432000 4194304 4196468 140724272865616 139935011809904 139936100604546 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30392320 140724272870557 140724272870732 140724272870732 140724272873423 0
[pid=13782/tid=13789] ppid=13780 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13782/task/13789/stat : 13789 (java) S 13780 13780 12810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154165532 14314082304 8116 33554432000 4194304 4196468 140724272865616 139935010755872 139936100603605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30392320 140724272870557 140724272870732 140724272870732 140724272873423 0
[pid=13782/tid=13790] ppid=13780 vsize=13978596 memory=140100968191616 CPUtime=0 cores=1,3,5,7
/proc/13782/task/13790/stat : 13790 (java) S 13780 13780 12810 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154165532 14314082304 8116 33554432000 4194304 4196468 140724272865616 139935009703536 139936100603605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30392320 140724272870557 140724272870732 140724272870732 140724272873423 0
[pid=13782/tid=13791] ppid=13780 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13782/task/13791/stat : 13791 (java) S 13780 13780 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154165539 14314082304 8116 33554432000 4194304 4196468 140724272865616 139935008651856 139936100611995 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30392320 140724272870557 140724272870732 140724272870732 140724272873423 0
[pid=13782/tid=13792] ppid=13780 vsize=13978596 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/13782/task/13792/stat : 13792 (java) S 13780 13780 12810 0 -1 1077944384 541 0 0 0 1 0 0 0 20 0 15 0 154165539 14314082304 8116 33554432000 4194304 4196468 140724272865616 139935007598704 139936100604546 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30392320 140724272870557 140724272870732 140724272870732 140724272873423 0
[pid=13782/tid=13793] ppid=13780 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13782/task/13793/stat : 13793 (java) S 13780 13780 12810 0 -1 1077944384 144 0 0 0 0 0 0 0 20 0 15 0 154165539 14314082304 8116 33554432000 4194304 4196468 140724272865616 139935006545904 139936100604546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30392320 140724272870557 140724272870732 140724272870732 140724272873423 0
[pid=13782/tid=13794] ppid=13780 vsize=13978596 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/13782/task/13794/stat : 13794 (java) S 13780 13780 12810 0 -1 1077944384 686 0 0 0 5 0 0 0 20 0 15 0 154165539 14314082304 8116 33554432000 4194304 4196468 140724272865616 139935005493616 139936100604546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30392320 140724272870557 140724272870732 140724272870732 140724272873423 0
[pid=13782/tid=13795] ppid=13780 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13782/task/13795/stat : 13795 (java) S 13780 13780 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154165539 14314082304 8116 33554432000 4194304 4196468 140724272865616 139935004441056 139936100603605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30392320 140724272870557 140724272870732 140724272870732 140724272873423 0
[pid=13782/tid=13796] ppid=13780 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13782/task/13796/stat : 13796 (java) S 13780 13780 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154165540 14314082304 8116 33554432000 4194304 4196468 140724272865616 139935003388848 139936100604546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30392320 140724272870557 140724272870732 140724272870732 140724272873423 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 33844 KiB
[startup+0.705587 s]
/proc/loadavg: 1.76 1.71 1.62 4/217 13796
/proc/meminfo: memFree=23933832/32770624 swapFree=67108860/67108860
[pid=13780] ppid=13777 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/13780/stat : 13780 (xcsp3-exec) S 13777 13780 12810 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 154165520 9740288 345 33554432000 4194304 5098028 140724473389024 140724473387128 139969979560572 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 14618624 140724473390197 140724473390400 140724473390400 140724473393131 0
/proc/13780/statm: 2378 345 289 221 0 87 0
[pid=13782] ppid=13780 vsize=13982928 memory=51676 CPUtime=0.63 cores=1,3,5,7
/proc/13782/stat : 13782 (java) S 13780 13780 12810 0 -1 1077944320 9061 0 0 0 61 2 0 0 20 0 15 0 154165521 14318518272 12919 33554432000 4194304 4196468 140724272865616 140724272848160 139936100593399 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30392320 140724272870557 140724272870732 140724272870732 140724272873423 0
/proc/13782/statm: 3495732 12919 3159 1 0 3482966 0
[pid=13782/tid=13783] ppid=13780 vsize=13982928 memory=8174711894690576181 CPUtime=0.35 cores=1,3,5,7
/proc/13782/task/13783/stat : 13783 (java) R 13780 13780 12810 0 -1 4202560 5754 0 0 0 34 1 0 0 20 0 15 0 154165524 14318518272 12919 33554432000 4194304 4196468 140724272865616 139936104828464 139936084673886 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30392320 140724272870557 140724272870732 140724272870732 140724272873423 0
[pid=13782/tid=13784] ppid=13780 vsize=13982928 memory=8242257093008439093 CPUtime=0 cores=1,3,5,7
/proc/13782/task/13784/stat : 13784 (java) S 13780 13780 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154165530 14318518272 12919 33554432000 4194304 4196468 140724272865616 139936015661456 139936100603605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30392320 140724272870557 140724272870732 140724272870732 140724272873423 0
[pid=13782/tid=13785] ppid=13780 vsize=13982928 memory=4144 CPUtime=0 cores=1,3,5,7
/proc/13782/task/13785/stat : 13785 (java) S 13780 13780 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154165530 14318518272 12919 33554432000 4194304 4196468 140724272865616 139936014608656 139936100603605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30392320 140724272870557 140724272870732 140724272870732 140724272873423 0
[pid=13782/tid=13786] ppid=13780 vsize=13982928 memory=42928 CPUtime=0 cores=1,3,5,7
/proc/13782/task/13786/stat : 13786 (java) S 13780 13780 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154165530 14318518272 12919 33554432000 4194304 4196468 140724272865616 139936013556368 139936100603605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30392320 140724272870557 140724272870732 140724272870732 140724272873423 0
[pid=13782/tid=13787] ppid=13780 vsize=13982928 memory=140100826594393 CPUtime=0 cores=1,3,5,7
/proc/13782/task/13787/stat : 13787 (java) S 13780 13780 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154165530 14318518272 12919 33554432000 4194304 4196468 140724272865616 139936012503568 139936100603605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30392320 140724272870557 140724272870732 140724272870732 140724272873423 0
[pid=13782/tid=13788] ppid=13780 vsize=13982928 memory=288230587427457841 CPUtime=0 cores=1,3,5,7
/proc/13782/task/13788/stat : 13788 (java) S 13780 13780 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154165532 14318518272 12919 33554432000 4194304 4196468 140724272865616 139935011809904 139936100604546 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30392320 140724272870557 140724272870732 140724272870732 140724272873423 0
[pid=13782/tid=13789] ppid=13780 vsize=13982928 memory=15541803839412388 CPUtime=0 cores=1,3,5,7
/proc/13782/task/13789/stat : 13789 (java) S 13780 13780 12810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154165532 14318518272 12919 33554432000 4194304 4196468 140724272865616 139935010755872 139936100603605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30392320 140724272870557 140724272870732 140724272870732 140724272873423 0
[pid=13782/tid=13790] ppid=13780 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13782/task/13790/stat : 13790 (java) S 13780 13780 12810 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154165532 14318518272 12919 33554432000 4194304 4196468 140724272865616 139935009703536 139936100603605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30392320 140724272870557 140724272870732 140724272870732 140724272873423 0
[pid=13782/tid=13791] ppid=13780 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13782/task/13791/stat : 13791 (java) S 13780 13780 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154165539 14318518272 12919 33554432000 4194304 4196468 140724272865616 139935008651856 139936100611995 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30392320 140724272870557 140724272870732 140724272870732 140724272873423 0
[pid=13782/tid=13792] ppid=13780 vsize=13982928 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/13782/task/13792/stat : 13792 (java) S 13780 13780 12810 0 -1 1077944384 757 0 0 0 6 0 0 0 20 0 15 0 154165539 14318518272 12919 33554432000 4194304 4196468 140724272865616 139935007598704 139936100604546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30392320 140724272870557 140724272870732 140724272870732 140724272873423 0
[pid=13782/tid=13793] ppid=13780 vsize=13982928 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/13782/task/13793/stat : 13793 (java) R 13780 13780 12810 0 -1 4202560 315 0 0 0 3 0 0 0 20 0 15 0 154165539 14318518272 12919 33554432000 4194304 4196468 140724272865616 139935006526920 139936079839295 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30392320 140724272870557 140724272870732 140724272870732 140724272873423 0
[pid=13782/tid=13794] ppid=13780 vsize=13982928 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/13782/task/13794/stat : 13794 (java) R 13780 13780 12810 0 -1 4202560 932 0 0 0 17 0 0 0 20 0 15 0 154165539 14318518272 12919 33554432000 4194304 4196468 140724272865616 139935005490552 139936093693246 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30392320 140724272870557 140724272870732 140724272870732 140724272873423 0
[pid=13782/tid=13795] ppid=13780 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13782/task/13795/stat : 13795 (java) S 13780 13780 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154165539 14318518272 12919 33554432000 4194304 4196468 140724272865616 139935004441056 139936100603605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30392320 140724272870557 140724272870732 140724272870732 140724272873423 0
[pid=13782/tid=13796] ppid=13780 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13782/task/13796/stat : 13796 (java) S 13780 13780 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154165540 14318518272 12919 33554432000 4194304 4196468 140724272865616 139935003388848 139936100604546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30392320 140724272870557 140724272870732 140724272870732 140724272873423 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 13992440 KiB
Current children cumulated memory: 53056 KiB
[startup+1.09255 s]
# the end of solver process 13780 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1.49683 s, system=0.048462 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.800954 s]
/proc/loadavg: 1.76 1.71 1.62 4/217 13796
/proc/meminfo: memFree=23933832/32770624 swapFree=67108860/67108860
[pid=13780] ppid=13777 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/13780/stat : 13780 (xcsp3-exec) S 13777 13780 12810 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 154165520 9740288 345 33554432000 4194304 5098028 140724473389024 140724473387128 139969979560572 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 14618624 140724473390197 140724473390400 140724473390400 140724473393131 0
/proc/13780/statm: 2378 345 289 221 0 87 0
[pid=13782] ppid=13780 vsize=13984976 memory=54904 CPUtime=0.73 cores=1,3,5,7
/proc/13782/stat : 13782 (java) S 13780 13780 12810 0 -1 1077944320 9398 0 0 0 71 2 0 0 20 0 15 0 154165521 14320615424 13726 33554432000 4194304 4196468 140724272865616 140724272848160 139936100593399 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30392320 140724272870557 140724272870732 140724272870732 140724272873423 0
/proc/13782/statm: 3496244 13726 3173 1 0 3483478 0
[pid=13782/tid=13783] ppid=13780 vsize=13984976 memory=0 CPUtime=0.39 cores=1,3,5,7
/proc/13782/task/13783/stat : 13783 (java) D 13780 13780 12810 0 -1 1077944384 5967 0 0 0 38 1 0 0 20 0 15 0 154165524 14320615424 13726 33554432000 4194304 4196468 140724272865616 139936104810432 139936093272621 0 4 0 16800975 18446744072101629476 0 0 -1 3 0 0 0 0 0 6293624 6294260 30392320 140724272870557 140724272870732 140724272870732 140724272873423 0
[pid=13782/tid=13784] ppid=13780 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13782/task/13784/stat : 13784 (java) S 13780 13780 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154165530 14320615424 13726 33554432000 4194304 4196468 140724272865616 139936015661456 139936100603605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30392320 140724272870557 140724272870732 140724272870732 140724272873423 0
[pid=13782/tid=13785] ppid=13780 vsize=13984976 memory=4144 CPUtime=0 cores=1,3,5,7
/proc/13782/task/13785/stat : 13785 (java) S 13780 13780 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154165530 14320615424 13726 33554432000 4194304 4196468 140724272865616 139936014608656 139936100603605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30392320 140724272870557 140724272870732 140724272870732 140724272873423 0
[pid=13782/tid=13786] ppid=13780 vsize=13984976 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/13782/task/13786/stat : 13786 (java) S 13780 13780 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154165530 14320615424 13726 33554432000 4194304 4196468 140724272865616 139936013556368 139936100603605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30392320 140724272870557 140724272870732 140724272870732 140724272873423 0
[pid=13782/tid=13787] ppid=13780 vsize=13984976 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/13782/task/13787/stat : 13787 (java) S 13780 13780 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154165530 14320615424 13726 33554432000 4194304 4196468 140724272865616 139936012503568 139936100603605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30392320 140724272870557 140724272870732 140724272870732 140724272873423 0
[pid=13782/tid=13788] ppid=13780 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13782/task/13788/stat : 13788 (java) S 13780 13780 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154165532 14320615424 13726 33554432000 4194304 4196468 140724272865616 139935011809904 139936100604546 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30392320 140724272870557 140724272870732 140724272870732 140724272873423 0
[pid=13782/tid=13789] ppid=13780 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13782/task/13789/stat : 13789 (java) S 13780 13780 12810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154165532 14320615424 13726 33554432000 4194304 4196468 140724272865616 139935010755872 139936100603605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30392320 140724272870557 140724272870732 140724272870732 140724272873423 0
[pid=13782/tid=13790] ppid=13780 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13782/task/13790/stat : 13790 (java) S 13780 13780 12810 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154165532 14320615424 13726 33554432000 4194304 4196468 140724272865616 139935009703536 139936100603605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30392320 140724272870557 140724272870732 140724272870732 140724272873423 0
[pid=13782/tid=13791] ppid=13780 vsize=13984976 memory=30305 CPUtime=0 cores=1,3,5,7
/proc/13782/task/13791/stat : 13791 (java) S 13780 13780 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154165539 14320615424 13726 33554432000 4194304 4196468 140724272865616 139935008651856 139936100611995 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30392320 140724272870557 140724272870732 140724272870732 140724272873423 0
[pid=13782/tid=13792] ppid=13780 vsize=13984976 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13782/task/13792/stat : 13792 (java) S 13780 13780 12810 0 -1 1077944384 812 0 0 0 8 0 0 0 20 0 15 0 154165539 14320615424 13726 33554432000 4194304 4196468 140724272865616 139935007598704 139936100604546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30392320 140724272870557 140724272870732 140724272870732 140724272873423 0
[pid=13782/tid=13793] ppid=13780 vsize=13984976 memory=-4546129931942301728 CPUtime=0.05 cores=1,3,5,7
/proc/13782/task/13793/stat : 13793 (java) S 13780 13780 12810 0 -1 1077944384 324 0 0 0 5 0 0 0 20 0 15 0 154165539 14320615424 13726 33554432000 4194304 4196468 140724272865616 139935006545904 139936100604546 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30392320 140724272870557 140724272870732 140724272870732 140724272873423 0
[pid=13782/tid=13794] ppid=13780 vsize=13984976 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/13782/task/13794/stat : 13794 (java) S 13780 13780 12810 0 -1 1077944384 992 0 0 0 19 0 0 0 20 0 15 0 154165539 14320615424 13726 33554432000 4194304 4196468 140724272865616 139935005493616 139936100604546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30392320 140724272870557 140724272870732 140724272870732 140724272873423 0
[pid=13782/tid=13795] ppid=13780 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13782/task/13795/stat : 13795 (java) S 13780 13780 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154165539 14320615424 13726 33554432000 4194304 4196468 140724272865616 139935004441056 139936100603605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30392320 140724272870557 140724272870732 140724272870732 140724272873423 0
[pid=13782/tid=13796] ppid=13780 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13782/task/13796/stat : 13796 (java) S 13780 13780 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154165540 14320615424 13726 33554432000 4194304 4196468 140724272865616 139935003388848 139936100604546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30392320 140724272870557 140724272870732 140724272870732 140724272873423 0
Current children cumulated CPU time: 0.73 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 56284 KiB
[startup+1.00257 s]*
/proc/loadavg: 1.76 1.71 1.62 6/217 13796
/proc/meminfo: memFree=23908572/32770624 swapFree=67108860/67108860
[pid=13780] ppid=13777 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/13780/stat : 13780 (xcsp3-exec) S 13777 13780 12810 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 154165520 9740288 345 33554432000 4194304 5098028 140724473389024 140724473387128 139969979560572 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 14618624 140724473390197 140724473390400 140724473390400 140724473393131 0
/proc/13780/statm: 2378 345 289 221 0 87 0
[pid=13782] ppid=13780 vsize=13984976 memory=65756 CPUtime=1.32 cores=1,3,5,7
/proc/13782/stat : 13782 (java) S 13780 13780 12810 0 -1 1077944320 11183 0 0 0 129 3 0 0 20 0 15 0 154165521 14320615424 16439 33554432000 4194304 4196468 140724272865616 140724272848160 139936100593399 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30392320 140724272870557 140724272870732 140724272870732 140724272873423 0
/proc/13782/statm: 3496244 16439 3206 1 0 3483478 0
[pid=13782/tid=13783] ppid=13780 vsize=13984976 memory=6791534058613427641 CPUtime=0.58 cores=1,3,5,7
/proc/13782/task/13783/stat : 13783 (java) R 13780 13780 12810 0 -1 4202560 6222 0 0 0 57 1 0 0 20 0 15 0 154165524 14320615424 16439 33554432000 4194304 4196468 140724272865616 139936104829264 139935691927426 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30392320 140724272870557 140724272870732 140724272870732 140724272873423 0
[pid=13782/tid=13784] ppid=13780 vsize=13984976 memory=-7003737579269690708 CPUtime=0 cores=1,3,5,7
/proc/13782/task/13784/stat : 13784 (java) S 13780 13780 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154165530 14320615424 16439 33554432000 4194304 4196468 140724272865616 139936015661456 139936100603605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30392320 140724272870557 140724272870732 140724272870732 140724272873423 0
[pid=13782/tid=13785] ppid=13780 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13782/task/13785/stat : 13785 (java) S 13780 13780 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154165530 14320615424 16439 33554432000 4194304 4196468 140724272865616 139936014608656 139936100603605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30392320 140724272870557 140724272870732 140724272870732 140724272873423 0
[pid=13782/tid=13786] ppid=13780 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13782/task/13786/stat : 13786 (java) S 13780 13780 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154165530 14320615424 16439 33554432000 4194304 4196468 140724272865616 139936013556368 139936100603605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30392320 140724272870557 140724272870732 140724272870732 140724272873423 0
[pid=13782/tid=13787] ppid=13780 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13782/task/13787/stat : 13787 (java) S 13780 13780 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154165530 14320615424 16439 33554432000 4194304 4196468 140724272865616 139936012503568 139936100603605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30392320 140724272870557 140724272870732 140724272870732 140724272873423 0
[pid=13782/tid=13788] ppid=13780 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13782/task/13788/stat : 13788 (java) S 13780 13780 12810 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154165532 14320615424 16439 33554432000 4194304 4196468 140724272865616 139935011809904 139936100604546 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30392320 140724272870557 140724272870732 140724272870732 140724272873423 0
[pid=13782/tid=13789] ppid=13780 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13782/task/13789/stat : 13789 (java) S 13780 13780 12810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154165532 14320615424 16439 33554432000 4194304 4196468 140724272865616 139935010755872 139936100603605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30392320 140724272870557 140724272870732 140724272870732 140724272873423 0
[pid=13782/tid=13790] ppid=13780 vsize=13984976 memory=-7384994778349281184 CPUtime=0 cores=1,3,5,7
/proc/13782/task/13790/stat : 13790 (java) S 13780 13780 12810 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154165532 14320615424 16439 33554432000 4194304 4196468 140724272865616 139935009703536 139936100603605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30392320 140724272870557 140724272870732 140724272870732 140724272873423 0
[pid=13782/tid=13791] ppid=13780 vsize=13984976 memory=-7522837415797432224 CPUtime=0 cores=1,3,5,7
/proc/13782/task/13791/stat : 13791 (java) S 13780 13780 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154165539 14320615424 16439 33554432000 4194304 4196468 140724272865616 139935008651856 139936100611995 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30392320 140724272870557 140724272870732 140724272870732 140724272873423 0
[pid=13782/tid=13792] ppid=13780 vsize=13984976 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/13782/task/13792/stat : 13792 (java) R 13780 13780 12810 0 -1 4202560 1267 0 0 0 19 0 0 0 20 0 15 0 154165539 14320615424 16439 33554432000 4194304 4196468 140724272865616 139935007589424 139936082118926 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30392320 140724272870557 140724272870732 140724272870732 140724272873423 0
[pid=13782/tid=13793] ppid=13780 vsize=13984976 memory=3472328296227670329 CPUtime=0.17 cores=1,3,5,7
/proc/13782/task/13793/stat : 13793 (java) R 13780 13780 12810 0 -1 4202560 905 0 0 0 17 0 0 0 20 0 15 0 154165539 14320615424 16439 33554432000 4194304 4196468 140724272865616 139935006533456 139936084055768 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30392320 140724272870557 140724272870732 140724272870732 140724272873423 0
[pid=13782/tid=13794] ppid=13780 vsize=13984976 memory=7441044812376787632 CPUtime=0.34 cores=1,3,5,7
/proc/13782/task/13794/stat : 13794 (java) R 13780 13780 12810 0 -1 1077944384 1483 0 0 0 34 0 0 0 20 0 15 0 154165539 14320615424 16439 33554432000 4194304 4196468 140724272865616 139935005493616 139936100604546 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30392320 140724272870557 140724272870732 140724272870732 140724272873423 0
[pid=13782/tid=13795] ppid=13780 vsize=13984976 memory=5289312092744069167 CPUtime=0 cores=1,3,5,7
/proc/13782/task/13795/stat : 13795 (java) S 13780 13780 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154165539 14320615424 16439 33554432000 4194304 4196468 140724272865616 139935004441056 139936100603605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30392320 140724272870557 140724272870732 140724272870732 140724272873423 0
[pid=13782/tid=13796] ppid=13780 vsize=13984976 memory=5983788139408410288 CPUtime=0 cores=1,3,5,7
/proc/13782/task/13796/stat : 13796 (java) S 13780 13780 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154165540 14320615424 16439 33554432000 4194304 4196468 140724272865616 139935003388848 139936100604546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30392320 140724272870557 140724272870732 140724272870732 140724272873423 0
Current children cumulated CPU time: 1.32 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 67136 KiB
Child status: 0
Real time (s): 1.0926
CPU time (s): 1.54529
CPU user time (s): 1.49683
CPU system time (s): 0.048462
CPU usage (%): 141.433
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 67136
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.49683
system time used= 0.048462
maximum resident set size= 74660
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12723
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1828
involuntary context switches= 11
# summary of solver processes directly reported to runsolver:
# pid: 13780
# total CPU time (s): 1.54529
# total CPU user time (s): 1.49683
# total CPU system time (s): 0.048462
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.035181 second user time and 0.050442 second system time
The end