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 (14072 MiB free)
memory of node 1: 16384 MiB (15683 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392903-1568318638/watcher-4392903-1568318638 -o /tmp/evaluation-result-4392903-1568318638/solver-4392903-1568318638 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node121-1568312479-6785 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 558581366 HOME/instance-4392903-1568318638.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=15625, runsolver pid=15622
[startup+0.102421 s]*
/proc/loadavg: 8.07 8.13 7.95 6/236 15641
/proc/meminfo: memFree=30454752/32770624 swapFree=66979516/67108860
[pid=15625] ppid=15622 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/15625/stat : 15625 (xcsp3-exec) S 15622 15625 6753 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408126536 115843072 363 33554432000 4194304 5098028 140730389793072 140730389791176 140488686252668 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 14397440 140730389795707 140730389795949 140730389795949 140730389798858 0
/proc/15625/statm: 28282 363 304 221 0 87 0
[pid=15627] ppid=15625 vsize=15144768 memory=27476 CPUtime=0.14 cores=1,3,5,7
/proc/15627/stat : 15627 (java) S 15625 15625 6753 0 -1 1077944320 5842 0 0 0 13 1 0 0 20 0 15 0 408126536 15508242432 6869 33554432000 4194304 4196468 140727666665392 140727666647936 140544986414839 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
/proc/15627/statm: 3786192 6869 3139 1 0 3748377 0
[pid=15627/tid=15628] ppid=15625 vsize=15144768 memory=7100839878644302962 CPUtime=0.09 cores=1,3,5,7
/proc/15627/task/15628/stat : 15628 (java) R 15625 15625 6753 0 -1 4202560 3634 0 0 0 9 0 0 0 20 0 15 0 408126536 15508242432 6869 33554432000 4194304 4196468 140727666665392 140544990636896 140544623386871 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
[pid=15627/tid=15629] ppid=15625 vsize=15144768 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/15627/task/15629/stat : 15629 (java) S 15625 15625 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408126537 15508242432 6869 33554432000 4194304 4196468 140727666665392 140544578349840 140544986425045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
[pid=15627/tid=15630] ppid=15625 vsize=15144768 memory=139737844885120 CPUtime=0 cores=1,3,5,7
/proc/15627/task/15630/stat : 15630 (java) S 15625 15625 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408126537 15508242432 6869 33554432000 4194304 4196468 140727666665392 140544577297296 140544986425045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
[pid=15627/tid=15631] ppid=15625 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15627/task/15631/stat : 15631 (java) S 15625 15625 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408126537 15508242432 6869 33554432000 4194304 4196468 140727666665392 140544576244752 140544986425045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
[pid=15627/tid=15632] ppid=15625 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15627/task/15632/stat : 15632 (java) S 15625 15625 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408126537 15508242432 6869 33554432000 4194304 4196468 140727666665392 140544575192208 140544986425045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
[pid=15627/tid=15633] ppid=15625 vsize=15144768 memory=139737844885120 CPUtime=0 cores=1,3,5,7
/proc/15627/task/15633/stat : 15633 (java) S 15625 15625 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408126538 15508242432 6869 33554432000 4194304 4196468 140727666665392 140544454469616 140544986425986 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
[pid=15627/tid=15634] ppid=15625 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15627/task/15634/stat : 15634 (java) S 15625 15625 6753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408126539 15508242432 6869 33554432000 4194304 4196468 140727666665392 140544453415840 140544986425045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
[pid=15627/tid=15635] ppid=15625 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15627/task/15635/stat : 15635 (java) S 15625 15625 6753 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408126539 15508242432 6869 33554432000 4194304 4196468 140727666665392 140544452363248 140544986425045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
[pid=15627/tid=15636] ppid=15625 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15627/task/15636/stat : 15636 (java) S 15625 15625 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408126541 15508242432 6869 33554432000 4194304 4196468 140727666665392 140544451311824 140544986433435 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
[pid=15627/tid=15637] ppid=15625 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15627/task/15637/stat : 15637 (java) R 15625 15625 6753 0 -1 4202560 354 0 0 0 0 0 0 0 20 0 15 0 408126541 15508242432 6869 33554432000 4194304 4196468 140727666665392 140544450250944 140544969943657 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
[pid=15627/tid=15638] ppid=15625 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15627/task/15638/stat : 15638 (java) R 15625 15625 6753 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 15 0 408126541 15508242432 6869 33554432000 4194304 4196468 140727666665392 140544449206992 140544986425045 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
[pid=15627/tid=15639] ppid=15625 vsize=15144768 memory=139737844885120 CPUtime=0.02 cores=1,3,5,7
/proc/15627/task/15639/stat : 15639 (java) R 15625 15625 6753 0 -1 4202560 427 0 0 0 2 0 0 0 20 0 15 0 408126541 15508242432 6869 33554432000 4194304 4196468 140727666665392 140544448154352 140544970495326 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
[pid=15627/tid=15640] ppid=15625 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15627/task/15640/stat : 15640 (java) S 15625 15625 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408126542 15508242432 6869 33554432000 4194304 4196468 140727666665392 140544447102048 140544986425045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
[pid=15627/tid=15641] ppid=15625 vsize=15144768 memory=139737844885120 CPUtime=0 cores=1,3,5,7
/proc/15627/task/15641/stat : 15641 (java) S 15625 15625 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408126542 15508242432 6869 33554432000 4194304 4196468 140727666665392 140544446048560 140544986425986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 28928 KiB
[startup+0.211169 s]*
/proc/loadavg: 8.07 8.13 7.95 6/236 15641
/proc/meminfo: memFree=30440644/32770624 swapFree=66979516/67108860
[pid=15625] ppid=15622 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/15625/stat : 15625 (xcsp3-exec) S 15622 15625 6753 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408126536 115843072 363 33554432000 4194304 5098028 140730389793072 140730389791176 140488686252668 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 14397440 140730389795707 140730389795949 140730389795949 140730389798858 0
/proc/15625/statm: 28282 363 304 221 0 87 0
[pid=15627] ppid=15625 vsize=15144768 memory=39824 CPUtime=0.34 cores=1,3,5,7
/proc/15627/stat : 15627 (java) S 15625 15625 6753 0 -1 1077944320 9691 0 0 0 31 3 0 0 20 0 15 0 408126536 15508242432 9956 33554432000 4194304 4196468 140727666665392 140727666647936 140544986414839 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
/proc/15627/statm: 3786192 9956 3304 1 0 3748377 0
[pid=15627/tid=15628] ppid=15625 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/15627/task/15628/stat : 15628 (java) R 15625 15625 6753 0 -1 4202560 6660 0 0 0 18 2 0 0 20 0 15 0 408126536 15508242432 9956 33554432000 4194304 4196468 140727666665392 140544990649536 140544970495326 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
[pid=15627/tid=15629] ppid=15625 vsize=15144768 memory=2995868 CPUtime=0 cores=1,3,5,7
/proc/15627/task/15629/stat : 15629 (java) S 15625 15625 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408126537 15508242432 9956 33554432000 4194304 4196468 140727666665392 140544578349840 140544986425045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
[pid=15627/tid=15630] ppid=15625 vsize=15144768 memory=3691176311488718496 CPUtime=0 cores=1,3,5,7
/proc/15627/task/15630/stat : 15630 (java) S 15625 15625 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408126537 15508242432 9956 33554432000 4194304 4196468 140727666665392 140544577297296 140544986425045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
[pid=15627/tid=15631] ppid=15625 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15627/task/15631/stat : 15631 (java) S 15625 15625 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408126537 15508242432 9956 33554432000 4194304 4196468 140727666665392 140544576244752 140544986425045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
[pid=15627/tid=15632] ppid=15625 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15627/task/15632/stat : 15632 (java) S 15625 15625 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408126537 15508242432 9956 33554432000 4194304 4196468 140727666665392 140544575192208 140544986425045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
[pid=15627/tid=15633] ppid=15625 vsize=15144768 memory=139737844885120 CPUtime=0 cores=1,3,5,7
/proc/15627/task/15633/stat : 15633 (java) S 15625 15625 6753 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 408126538 15508242432 9956 33554432000 4194304 4196468 140727666665392 140544454469616 140544986425986 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
[pid=15627/tid=15634] ppid=15625 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15627/task/15634/stat : 15634 (java) S 15625 15625 6753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408126539 15508242432 9956 33554432000 4194304 4196468 140727666665392 140544453415840 140544986425045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
[pid=15627/tid=15635] ppid=15625 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15627/task/15635/stat : 15635 (java) S 15625 15625 6753 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408126539 15508242432 9956 33554432000 4194304 4196468 140727666665392 140544452363248 140544986425045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
[pid=15627/tid=15636] ppid=15625 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15627/task/15636/stat : 15636 (java) S 15625 15625 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408126541 15508242432 9956 33554432000 4194304 4196468 140727666665392 140544451311824 140544986433435 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
[pid=15627/tid=15637] ppid=15625 vsize=15144768 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/15627/task/15637/stat : 15637 (java) S 15625 15625 6753 0 -1 1077944384 477 0 0 0 3 0 0 0 20 0 15 0 408126541 15508242432 9956 33554432000 4194304 4196468 140727666665392 140544450259440 140544986425986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
[pid=15627/tid=15638] ppid=15625 vsize=15144768 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/15627/task/15638/stat : 15638 (java) S 15625 15625 6753 0 -1 1077944384 307 0 0 0 1 0 0 0 20 0 15 0 408126541 15508242432 9956 33554432000 4194304 4196468 140727666665392 140544449206896 140544986425986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
[pid=15627/tid=15639] ppid=15625 vsize=15144768 memory=139737844885120 CPUtime=0.08 cores=1,3,5,7
/proc/15627/task/15639/stat : 15639 (java) S 15625 15625 6753 0 -1 1077944384 944 0 0 0 8 0 0 0 20 0 15 0 408126541 15508242432 9956 33554432000 4194304 4196468 140727666665392 140544448154352 140544986425986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
[pid=15627/tid=15640] ppid=15625 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15627/task/15640/stat : 15640 (java) S 15625 15625 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408126542 15508242432 9956 33554432000 4194304 4196468 140727666665392 140544447102048 140544986425045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
[pid=15627/tid=15641] ppid=15625 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15627/task/15641/stat : 15641 (java) S 15625 15625 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408126542 15508242432 9956 33554432000 4194304 4196468 140727666665392 140544446048560 140544986425986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 41276 KiB
[startup+0.320482 s]*
/proc/loadavg: 8.07 8.13 7.95 7/236 15641
/proc/meminfo: memFree=30433624/32770624 swapFree=66979516/67108860
[pid=15625] ppid=15622 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/15625/stat : 15625 (xcsp3-exec) S 15622 15625 6753 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408126536 115843072 363 33554432000 4194304 5098028 140730389793072 140730389791176 140488686252668 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 14397440 140730389795707 140730389795949 140730389795949 140730389798858 0
/proc/15625/statm: 28282 363 304 221 0 87 0
[pid=15627] ppid=15625 vsize=15149024 memory=50064 CPUtime=0.55 cores=1,3,5,7
/proc/15627/stat : 15627 (java) S 15625 15625 6753 0 -1 1077944320 11283 0 0 0 51 4 0 0 20 0 15 0 408126536 15512600576 12516 33554432000 4194304 4196468 140727666665392 140727666647936 140544986414839 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
/proc/15627/statm: 3787256 12516 3375 1 0 3748377 0
[pid=15627/tid=15628] ppid=15625 vsize=15149024 memory=7883960649037381690 CPUtime=0.3 cores=1,3,5,7
/proc/15627/task/15628/stat : 15628 (java) R 15625 15625 6753 0 -1 4202560 7940 0 0 0 28 2 0 0 20 0 15 0 408126536 15512600576 12524 33554432000 4194304 4196468 140727666665392 140544990649776 140544970495326 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
[pid=15627/tid=15629] ppid=15625 vsize=15149024 memory=2996209 CPUtime=0 cores=1,3,5,7
/proc/15627/task/15629/stat : 15629 (java) S 15625 15625 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408126537 15512600576 12524 33554432000 4194304 4196468 140727666665392 140544578349840 140544986425045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
[pid=15627/tid=15630] ppid=15625 vsize=15149024 memory=3155863 CPUtime=0 cores=1,3,5,7
/proc/15627/task/15630/stat : 15630 (java) S 15625 15625 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408126537 15512600576 12524 33554432000 4194304 4196468 140727666665392 140544577297296 140544986425045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
[pid=15627/tid=15631] ppid=15625 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15627/task/15631/stat : 15631 (java) S 15625 15625 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408126537 15512600576 12524 33554432000 4194304 4196468 140727666665392 140544576244752 140544986425045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
[pid=15627/tid=15632] ppid=15625 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15627/task/15632/stat : 15632 (java) S 15625 15625 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408126537 15512600576 12524 33554432000 4194304 4196468 140727666665392 140544575192208 140544986425045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
[pid=15627/tid=15633] ppid=15625 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15627/task/15633/stat : 15633 (java) S 15625 15625 6753 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 408126538 15512600576 12524 33554432000 4194304 4196468 140727666665392 140544454469616 140544986425986 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
[pid=15627/tid=15634] ppid=15625 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15627/task/15634/stat : 15634 (java) S 15625 15625 6753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408126539 15512600576 12524 33554432000 4194304 4196468 140727666665392 140544453415840 140544986425045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
[pid=15627/tid=15635] ppid=15625 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15627/task/15635/stat : 15635 (java) S 15625 15625 6753 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408126539 15512600576 12524 33554432000 4194304 4196468 140727666665392 140544452363248 140544986425045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
[pid=15627/tid=15636] ppid=15625 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15627/task/15636/stat : 15636 (java) S 15625 15625 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408126541 15512600576 12524 33554432000 4194304 4196468 140727666665392 140544451311824 140544986433435 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
[pid=15627/tid=15637] ppid=15625 vsize=15149024 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/15627/task/15637/stat : 15637 (java) S 15625 15625 6753 0 -1 1077944384 598 0 0 0 5 0 0 0 20 0 15 0 408126541 15512600576 12524 33554432000 4194304 4196468 140727666665392 140544450259440 140544986425986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
[pid=15627/tid=15638] ppid=15625 vsize=15149024 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/15627/task/15638/stat : 15638 (java) S 15625 15625 6753 0 -1 1077944384 358 0 0 0 3 0 0 0 20 0 15 0 408126541 15512600576 12524 33554432000 4194304 4196468 140727666665392 140544449206896 140544986425986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
[pid=15627/tid=15639] ppid=15625 vsize=15149024 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/15627/task/15639/stat : 15639 (java) S 15625 15625 6753 0 -1 1077944384 1095 0 0 0 12 0 0 0 20 0 15 0 408126541 15512600576 12524 33554432000 4194304 4196468 140727666665392 140544448154352 140544986425986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
[pid=15627/tid=15640] ppid=15625 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15627/task/15640/stat : 15640 (java) S 15625 15625 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408126542 15512600576 12524 33554432000 4194304 4196468 140727666665392 140544447102048 140544986425045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
[pid=15627/tid=15641] ppid=15625 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15627/task/15641/stat : 15641 (java) S 15625 15625 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408126542 15512600576 12524 33554432000 4194304 4196468 140727666665392 140544446048560 140544986425986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51516 KiB
[startup+0.701476 s]
/proc/loadavg: 8.07 8.13 7.95 8/236 15641
/proc/meminfo: memFree=30418900/32770624 swapFree=66979516/67108860
[pid=15625] ppid=15622 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/15625/stat : 15625 (xcsp3-exec) S 15622 15625 6753 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408126536 115843072 363 33554432000 4194304 5098028 140730389793072 140730389791176 140488686252668 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 14397440 140730389795707 140730389795949 140730389795949 140730389798858 0
/proc/15625/statm: 28282 363 304 221 0 87 0
[pid=15627] ppid=15625 vsize=15417404 memory=82956 CPUtime=1.58 cores=1,3,5,7
/proc/15627/stat : 15627 (java) S 15625 15625 6753 0 -1 1077944320 15491 0 0 0 151 7 0 0 20 0 19 0 408126536 15787421696 20739 33554432000 4194304 4196468 140727666665392 140727666647936 140544986414839 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
/proc/15627/statm: 3854351 20739 3449 1 0 3815453 0
[pid=15627/tid=15628] ppid=15625 vsize=15417404 memory=1787645920513 CPUtime=0.61 cores=1,3,5,7
/proc/15627/task/15628/stat : 15628 (java) S 15625 15625 6753 0 -1 1077944384 9373 0 0 0 57 4 0 0 20 0 19 0 408126536 15787421696 20739 33554432000 4194304 4196468 140727666665392 140544990655616 140544986425045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
[pid=15627/tid=15629] ppid=15625 vsize=15417404 memory=512 CPUtime=0 cores=1,3,5,7
/proc/15627/task/15629/stat : 15629 (java) S 15625 15625 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 408126537 15787421696 20739 33554432000 4194304 4196468 140727666665392 140544578349840 140544986425045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
[pid=15627/tid=15630] ppid=15625 vsize=15417404 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/15627/task/15630/stat : 15630 (java) S 15625 15625 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 408126537 15787421696 20739 33554432000 4194304 4196468 140727666665392 140544577297296 140544986425045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
[pid=15627/tid=15631] ppid=15625 vsize=15417404 memory=928 CPUtime=0 cores=1,3,5,7
/proc/15627/task/15631/stat : 15631 (java) S 15625 15625 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 408126537 15787421696 20739 33554432000 4194304 4196468 140727666665392 140544576244752 140544986425045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
[pid=15627/tid=15632] ppid=15625 vsize=15417404 memory=3772 CPUtime=0 cores=1,3,5,7
/proc/15627/task/15632/stat : 15632 (java) S 15625 15625 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 408126537 15787421696 20739 33554432000 4194304 4196468 140727666665392 140544575192208 140544986425045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
[pid=15627/tid=15633] ppid=15625 vsize=15417404 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/15627/task/15633/stat : 15633 (java) S 15625 15625 6753 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 408126538 15787421696 20739 33554432000 4194304 4196468 140727666665392 140544454469616 140544986425986 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
[pid=15627/tid=15634] ppid=15625 vsize=15417404 memory=920 CPUtime=0 cores=1,3,5,7
/proc/15627/task/15634/stat : 15634 (java) S 15625 15625 6753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 408126539 15787421696 20739 33554432000 4194304 4196468 140727666665392 140544453415840 140544986425045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
[pid=15627/tid=15635] ppid=15625 vsize=15417404 memory=1984 CPUtime=0 cores=1,3,5,7
/proc/15627/task/15635/stat : 15635 (java) S 15625 15625 6753 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 408126539 15787421696 20739 33554432000 4194304 4196468 140727666665392 140544452363248 140544986425045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
[pid=15627/tid=15636] ppid=15625 vsize=15417404 memory=2404 CPUtime=0 cores=1,3,5,7
/proc/15627/task/15636/stat : 15636 (java) S 15625 15625 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408126541 15787421696 20739 33554432000 4194304 4196468 140727666665392 140544451311824 140544986433435 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
[pid=15627/tid=15637] ppid=15625 vsize=15417404 memory=1764 CPUtime=0.21 cores=1,3,5,7
/proc/15627/task/15637/stat : 15637 (java) R 15625 15625 6753 0 -1 4202560 1034 0 0 0 21 0 0 0 20 0 19 0 408126541 15787421696 20739 33554432000 4194304 4196468 140727666665392 140544450252632 140544971156439 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
[pid=15627/tid=15638] ppid=15625 vsize=15417404 memory=111632 CPUtime=0.19 cores=1,3,5,7
/proc/15627/task/15638/stat : 15638 (java) R 15625 15625 6753 0 -1 4202560 941 0 0 0 19 0 0 0 20 0 19 0 408126541 15787421696 20739 33554432000 4194304 4196468 140727666665392 140544449194464 140544970808600 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
[pid=15627/tid=15639] ppid=15625 vsize=15417404 memory=804 CPUtime=0.38 cores=1,3,5,7
/proc/15627/task/15639/stat : 15639 (java) S 15625 15625 6753 0 -1 1077944384 2135 0 0 0 38 0 0 0 20 0 19 0 408126541 15787421696 20739 33554432000 4194304 4196468 140727666665392 140544448152144 140544986425045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
[pid=15627/tid=15640] ppid=15625 vsize=15417404 memory=1808 CPUtime=0 cores=1,3,5,7
/proc/15627/task/15640/stat : 15640 (java) S 15625 15625 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408126542 15787421696 20739 33554432000 4194304 4196468 140727666665392 140544447102048 140544986425045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
[pid=15627/tid=15641] ppid=15625 vsize=15417404 memory=924 CPUtime=0 cores=1,3,5,7
/proc/15627/task/15641/stat : 15641 (java) S 15625 15625 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 408126542 15787421696 20739 33554432000 4194304 4196468 140727666665392 140544446048560 140544986425986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
Current children cumulated CPU time: 1.58 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 84408 KiB
[startup+1.50148 s]
/proc/loadavg: 8.30 8.18 7.97 13/240 15645
/proc/meminfo: memFree=30378332/32770624 swapFree=66979516/67108860
[pid=15625] ppid=15622 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/15625/stat : 15625 (xcsp3-exec) S 15622 15625 6753 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408126536 115843072 363 33554432000 4194304 5098028 140730389793072 140730389791176 140488686252668 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 14397440 140730389795707 140730389795949 140730389795949 140730389798858 0
/proc/15625/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/15627/stat : 15627 (java) S 15625 15625 6753 0 -1 1077944320 112747 0 0 0 230481 254 0 0 20 0 19 0 408126536 15789518848 84159 33554432000 4194304 4196468 140727666665392 140727666647936 140544986414839 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
/proc/15627/statm: 3854863 84159 3540 1 0 3815965 0
[pid=15627/tid=15628] ppid=15625 vsize=15419452 memory=336636 CPUtime=0.61 cores=1,3,5,7
/proc/15627/task/15628/stat : 15628 (java) S 15625 15625 6753 0 -1 1077944384 9373 0 0 0 57 4 0 0 20 0 19 0 408126536 15789518848 84159 33554432000 4194304 4196468 140727666665392 140544990655616 140544986425045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
[pid=15627/tid=15629] ppid=15625 vsize=15419452 memory=336636 CPUtime=1.2 cores=1,3,5,7
/proc/15627/task/15629/stat : 15629 (java) S 15625 15625 6753 0 -1 1077944384 3204 0 0 0 111 9 0 0 20 0 19 0 408126537 15789518848 84159 33554432000 4194304 4196468 140727666665392 140544578349840 140544986425045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
[pid=15627/tid=15630] ppid=15625 vsize=15419452 memory=336636 CPUtime=1.18 cores=1,3,5,7
/proc/15627/task/15630/stat : 15630 (java) S 15625 15625 6753 0 -1 1077944384 3155 0 0 0 109 9 0 0 20 0 19 0 408126537 15789518848 84159 33554432000 4194304 4196468 140727666665392 140544577297296 140544986425045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
[pid=15627/tid=15631] ppid=15625 vsize=15419452 memory=336632 CPUtime=1.19 cores=1,3,5,7
/proc/15627/task/15631/stat : 15631 (java) S 15625 15625 6753 0 -1 1077944384 2065 0 0 0 109 10 0 0 20 0 19 0 408126537 15789518848 84159 33554432000 4194304 4196468 140727666665392 140544576244752 140544986425045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
[pid=15627/tid=15632] ppid=15625 vsize=15419452 memory=336636 CPUtime=1.2 cores=1,3,5,7
/proc/15627/task/15632/stat : 15632 (java) S 15625 15625 6753 0 -1 1077944384 3057 0 0 0 112 8 0 0 20 0 19 0 408126537 15789518848 84159 33554432000 4194304 4196468 140727666665392 140544575192208 140544986425045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
[pid=15627/tid=15633] ppid=15625 vsize=15419452 memory=336636 CPUtime=3.04 cores=1,3,5,7
/proc/15627/task/15633/stat : 15633 (java) S 15625 15625 6753 0 -1 1077944384 13418 0 0 0 97 207 0 0 20 0 19 0 408126538 15789518848 84159 33554432000 4194304 4196468 140727666665392 140544454469616 140544986425986 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
[pid=15627/tid=15634] ppid=15625 vsize=15419452 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/15627/task/15634/stat : 15634 (java) S 15625 15625 6753 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 19 0 408126539 15789518848 84159 33554432000 4194304 4196468 140727666665392 140544453415904 140544986425045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
[pid=15627/tid=15635] ppid=15625 vsize=15419452 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/15627/task/15635/stat : 15635 (java) S 15625 15625 6753 0 -1 1077944384 97 0 0 0 0 0 0 0 20 0 19 0 408126539 15789518848 84159 33554432000 4194304 4196468 140727666665392 140544452363264 140544986425045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
[pid=15627/tid=15636] ppid=15625 vsize=15419452 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/15627/task/15636/stat : 15636 (java) S 15625 15625 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408126541 15789518848 84159 33554432000 4194304 4196468 140727666665392 140544451311824 140544986433435 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
[pid=15627/tid=15637] ppid=15625 vsize=15419452 memory=1452 CPUtime=4.38 cores=1,3,5,7
/proc/15627/task/15637/stat : 15637 (java) S 15625 15625 6753 0 -1 1077944384 30843 0 0 0 435 3 0 0 20 0 19 0 408126541 15789518848 84159 33554432000 4194304 4196468 140727666665392 140544450259440 140544986425986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
[pid=15627/tid=15638] ppid=15625 vsize=15419452 memory=1452 CPUtime=4.86 cores=1,3,5,7
/proc/15627/task/15638/stat : 15638 (java) S 15625 15625 6753 0 -1 1077944384 21427 0 0 0 483 3 0 0 20 0 19 0 408126541 15789518848 84159 33554432000 4194304 4196468 140727666665392 140544449206896 140544986425986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
[pid=15627/tid=15639] ppid=15625 vsize=15419452 memory=1452 CPUtime=0.68 cores=1,3,5,7
/proc/15627/task/15639/stat : 15639 (java) S 15625 15625 6753 0 -1 1077944384 12365 0 0 0 66 2 0 0 20 0 19 0 408126541 15789518848 84159 33554432000 4194304 4196468 140727666665392 140544448154352 140544986425986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
[pid=15627/tid=15640] ppid=15625 vsize=15419452 memory=3620 CPUtime=0 cores=1,3,5,7
/proc/15627/task/15640/stat : 15640 (java) S 15625 15625 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408126542 15789518848 84159 33554432000 4194304 4196468 140727666665392 140544447102048 140544986425045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
[pid=15627/tid=15641] ppid=15625 vsize=15419452 memory=1452 CPUtime=0.24 cores=1,3,5,7
/proc/15627/task/15641/stat : 15641 (java) S 15625 15625 6753 0 -1 1077944384 1152 0 0 0 16 8 0 0 20 0 19 0 408126542 15789518848 84159 33554432000 4194304 4196468 140727666665392 140544446048560 140544986425986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 42 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
[pid=15627/tid=15642] ppid=15625 vsize=15419452 memory=3620 CPUtime=571.61 cores=1,3,5,7
/proc/15627/task/15642/stat : 15642 (java) R 15625 15625 6753 0 -1 4202560 2814 0 0 0 57157 4 0 0 20 0 19 0 408126599 15789518848 84159 33554432000 4194304 4196468 140727666665392 140544437077600 140544627996255 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
[pid=15627/tid=15643] ppid=15625 vsize=15419452 memory=1452 CPUtime=573.51 cores=1,3,5,7
/proc/15627/task/15643/stat : 15643 (java) R 15625 15625 6753 0 -1 4202560 2763 0 0 0 57348 3 0 0 20 0 19 0 408126599 15789518848 84159 33554432000 4194304 4196468 140727666665392 140544436022800 140544630698538 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
[pid=15627/tid=15644] ppid=15625 vsize=15419452 memory=3620 CPUtime=571.83 cores=1,3,5,7
/proc/15627/task/15644/stat : 15644 (java) R 15625 15625 6753 0 -1 4202560 2566 0 0 0 57182 1 0 0 20 0 19 0 408126599 15789518848 84159 33554432000 4194304 4196468 140727666665392 140544434969992 140544628897703 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
[pid=15627/tid=15645] ppid=15625 vsize=15419452 memory=1452 CPUtime=571.73 cores=1,3,5,7
/proc/15627/task/15645/stat : 15645 (java) R 15625 15625 6753 0 -1 4202560 3143 0 0 0 57171 2 0 0 20 0 19 0 408126599 15789518848 84159 33554432000 4194304 4196468 140727666665392 140544433917448 140544627549209 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
Current children cumulated CPU time: 2307.35 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 338088 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+635.901 s]
/proc/loadavg: 8.73 8.32 8.04 7/238 15795
/proc/meminfo: memFree=31026740/32770624 swapFree=66979520/67108860
[pid=15625] ppid=15622 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/15625/stat : 15625 (xcsp3-exec) S 15622 15625 6753 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408126536 115843072 363 33554432000 4194304 5098028 140730389793072 140730389791176 140488686252668 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 14397440 140730389795707 140730389795949 140730389795949 140730389798858 0
/proc/15625/statm: 28282 363 304 221 0 87 0
[pid=15627] ppid=15625 vsize=15419452 memory=336688 CPUtime=2520.39 cores=1,3,5,7
/proc/15627/stat : 15627 (java) S 15625 15625 6753 0 -1 1077944320 114614 0 0 0 251783 256 0 0 20 0 19 0 408126536 15789518848 84172 33554432000 4194304 4196468 140727666665392 140727666647936 140544986414839 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
/proc/15627/statm: 3854863 84172 3540 1 0 3815965 0
[pid=15627/tid=15628] ppid=15625 vsize=15419452 memory=336688 CPUtime=0.61 cores=1,3,5,7
/proc/15627/task/15628/stat : 15628 (java) S 15625 15625 6753 0 -1 1077944384 9373 0 0 0 57 4 0 0 20 0 19 0 408126536 15789518848 84172 33554432000 4194304 4196468 140727666665392 140544990655616 140544986425045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
[pid=15627/tid=15629] ppid=15625 vsize=15419452 memory=336688 CPUtime=1.26 cores=1,3,5,7
/proc/15627/task/15629/stat : 15629 (java) S 15625 15625 6753 0 -1 1077944384 3335 0 0 0 117 9 0 0 20 0 19 0 408126537 15789518848 84172 33554432000 4194304 4196468 140727666665392 140544578349840 140544986425045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
[pid=15627/tid=15630] ppid=15625 vsize=15419452 memory=1452 CPUtime=1.23 cores=1,3,5,7
/proc/15627/task/15630/stat : 15630 (java) S 15625 15625 6753 0 -1 1077944384 3336 0 0 0 114 9 0 0 20 0 19 0 408126537 15789518848 84172 33554432000 4194304 4196468 140727666665392 140544577297296 140544986425045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
[pid=15627/tid=15631] ppid=15625 vsize=15419452 memory=336688 CPUtime=1.25 cores=1,3,5,7
/proc/15627/task/15631/stat : 15631 (java) S 15625 15625 6753 0 -1 1077944384 2101 0 0 0 115 10 0 0 20 0 19 0 408126537 15789518848 84172 33554432000 4194304 4196468 140727666665392 140544576244752 140544986425045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
[pid=15627/tid=15632] ppid=15625 vsize=15419452 memory=336688 CPUtime=1.25 cores=1,3,5,7
/proc/15627/task/15632/stat : 15632 (java) S 15625 15625 6753 0 -1 1077944384 3107 0 0 0 117 8 0 0 20 0 19 0 408126537 15789518848 84172 33554432000 4194304 4196468 140727666665392 140544575192208 140544986425045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
[pid=15627/tid=15633] ppid=15625 vsize=15419452 memory=1452 CPUtime=3.1 cores=1,3,5,7
/proc/15627/task/15633/stat : 15633 (java) S 15625 15625 6753 0 -1 1077944384 13659 0 0 0 100 210 0 0 20 0 19 0 408126538 15789518848 84172 33554432000 4194304 4196468 140727666665392 140544454469616 140544986425986 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
[pid=15627/tid=15634] ppid=15625 vsize=15419452 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15627/task/15634/stat : 15634 (java) S 15625 15625 6753 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 19 0 408126539 15789518848 84172 33554432000 4194304 4196468 140727666665392 140544453415904 140544986425045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
[pid=15627/tid=15635] ppid=15625 vsize=15419452 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/15627/task/15635/stat : 15635 (java) S 15625 15625 6753 0 -1 1077944384 97 0 0 0 0 0 0 0 20 0 19 0 408126539 15789518848 84172 33554432000 4194304 4196468 140727666665392 140544452363264 140544986425045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
[pid=15627/tid=15636] ppid=15625 vsize=15419452 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15627/task/15636/stat : 15636 (java) S 15625 15625 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408126541 15789518848 84172 33554432000 4194304 4196468 140727666665392 140544451311824 140544986433435 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
[pid=15627/tid=15637] ppid=15625 vsize=15419452 memory=1452 CPUtime=4.38 cores=1,3,5,7
/proc/15627/task/15637/stat : 15637 (java) S 15625 15625 6753 0 -1 1077944384 31086 0 0 0 435 3 0 0 20 0 19 0 408126541 15789518848 84172 33554432000 4194304 4196468 140727666665392 140544450259440 140544986425986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
[pid=15627/tid=15638] ppid=15625 vsize=15419452 memory=336688 CPUtime=4.86 cores=1,3,5,7
/proc/15627/task/15638/stat : 15638 (java) S 15625 15625 6753 0 -1 1077944384 21429 0 0 0 483 3 0 0 20 0 19 0 408126541 15789518848 84172 33554432000 4194304 4196468 140727666665392 140544449206896 140544986425986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
[pid=15627/tid=15639] ppid=15625 vsize=15419452 memory=1452 CPUtime=0.68 cores=1,3,5,7
/proc/15627/task/15639/stat : 15639 (java) S 15625 15625 6753 0 -1 1077944384 12779 0 0 0 66 2 0 0 20 0 19 0 408126541 15789518848 84172 33554432000 4194304 4196468 140727666665392 140544448154352 140544986425986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
[pid=15627/tid=15640] ppid=15625 vsize=15419452 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/15627/task/15640/stat : 15640 (java) S 15625 15625 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408126542 15789518848 84172 33554432000 4194304 4196468 140727666665392 140544447102048 140544986425045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
[pid=15627/tid=15641] ppid=15625 vsize=15419452 memory=336688 CPUtime=0.24 cores=1,3,5,7
/proc/15627/task/15641/stat : 15641 (java) S 15625 15625 6753 0 -1 1077944384 1172 0 0 0 16 8 0 0 20 0 19 0 408126542 15789518848 84172 33554432000 4194304 4196468 140727666665392 140544446048560 140544986425986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 42 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
[pid=15627/tid=15642] ppid=15625 vsize=15419452 memory=1452 CPUtime=624.89 cores=1,3,5,7
/proc/15627/task/15642/stat : 15642 (java) R 15625 15625 6753 0 -1 4202560 2942 0 0 0 62485 4 0 0 20 0 19 0 408126599 15789518848 84172 33554432000 4194304 4196468 140727666665392 140544437073960 140544629152005 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
[pid=15627/tid=15643] ppid=15625 vsize=15419452 memory=512 CPUtime=626.76 cores=1,3,5,7
/proc/15627/task/15643/stat : 15643 (java) R 15625 15625 6753 0 -1 4202560 2998 0 0 0 62673 3 0 0 20 0 19 0 408126599 15789518848 84172 33554432000 4194304 4196468 140727666665392 140544436026096 140544628897141 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
[pid=15627/tid=15644] ppid=15625 vsize=15419452 memory=1564 CPUtime=624.9 cores=1,3,5,7
/proc/15627/task/15644/stat : 15644 (java) R 15625 15625 6753 0 -1 4202560 2690 0 0 0 62488 2 0 0 20 0 19 0 408126599 15789518848 84172 33554432000 4194304 4196468 140727666665392 140544434970720 140544971625454 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
[pid=15627/tid=15645] ppid=15625 vsize=15419452 memory=16872 CPUtime=624.88 cores=1,3,5,7
/proc/15627/task/15645/stat : 15645 (java) R 15625 15625 6753 0 -1 4202560 3205 0 0 0 62486 2 0 0 20 0 19 0 408126599 15789518848 84172 33554432000 4194304 4196468 140727666665392 140544433917968 140544629468517 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
Current children cumulated CPU time: 2520.39 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 338140 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+635.935 s]
# the end of solver process 15625 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.00225 s, system=0 s
[startup+635.974 s]
# the end of solver process 15627 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.11 s, system=2.57111 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+635.901 s]
/proc/loadavg: 8.73 8.32 8.04 7/238 15795
/proc/meminfo: memFree=31026740/32770624 swapFree=66979520/67108860
[pid=15625] ppid=15622 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/15625/stat : 15625 (xcsp3-exec) S 15622 15625 6753 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408126536 115843072 363 33554432000 4194304 5098028 140730389793072 140730389791176 140488686252668 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 14397440 140730389795707 140730389795949 140730389795949 140730389798858 0
/proc/15625/statm: 28282 363 304 221 0 87 0
[pid=15627] ppid=15625 vsize=15419452 memory=336688 CPUtime=2520.39 cores=1,3,5,7
/proc/15627/stat : 15627 (java) S 15625 15625 6753 0 -1 1077944320 114614 0 0 0 251783 256 0 0 20 0 19 0 408126536 15789518848 84172 33554432000 4194304 4196468 140727666665392 140727666647936 140544986414839 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
/proc/15627/statm: 3854863 84172 3540 1 0 3815965 0
[pid=15627/tid=15628] ppid=15625 vsize=15419452 memory=336688 CPUtime=0.61 cores=1,3,5,7
/proc/15627/task/15628/stat : 15628 (java) S 15625 15625 6753 0 -1 1077944384 9373 0 0 0 57 4 0 0 20 0 19 0 408126536 15789518848 84172 33554432000 4194304 4196468 140727666665392 140544990655616 140544986425045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
[pid=15627/tid=15629] ppid=15625 vsize=15419452 memory=336688 CPUtime=1.26 cores=1,3,5,7
/proc/15627/task/15629/stat : 15629 (java) S 15625 15625 6753 0 -1 1077944384 3335 0 0 0 117 9 0 0 20 0 19 0 408126537 15789518848 84172 33554432000 4194304 4196468 140727666665392 140544578349840 140544986425045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
[pid=15627/tid=15630] ppid=15625 vsize=15419452 memory=1452 CPUtime=1.23 cores=1,3,5,7
/proc/15627/task/15630/stat : 15630 (java) S 15625 15625 6753 0 -1 1077944384 3336 0 0 0 114 9 0 0 20 0 19 0 408126537 15789518848 84172 33554432000 4194304 4196468 140727666665392 140544577297296 140544986425045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
[pid=15627/tid=15631] ppid=15625 vsize=15419452 memory=336688 CPUtime=1.25 cores=1,3,5,7
/proc/15627/task/15631/stat : 15631 (java) S 15625 15625 6753 0 -1 1077944384 2101 0 0 0 115 10 0 0 20 0 19 0 408126537 15789518848 84172 33554432000 4194304 4196468 140727666665392 140544576244752 140544986425045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
[pid=15627/tid=15632] ppid=15625 vsize=15419452 memory=336688 CPUtime=1.25 cores=1,3,5,7
/proc/15627/task/15632/stat : 15632 (java) S 15625 15625 6753 0 -1 1077944384 3107 0 0 0 117 8 0 0 20 0 19 0 408126537 15789518848 84172 33554432000 4194304 4196468 140727666665392 140544575192208 140544986425045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
[pid=15627/tid=15633] ppid=15625 vsize=15419452 memory=1452 CPUtime=3.1 cores=1,3,5,7
/proc/15627/task/15633/stat : 15633 (java) S 15625 15625 6753 0 -1 1077944384 13659 0 0 0 100 210 0 0 20 0 19 0 408126538 15789518848 84172 33554432000 4194304 4196468 140727666665392 140544454469616 140544986425986 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
[pid=15627/tid=15634] ppid=15625 vsize=15419452 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15627/task/15634/stat : 15634 (java) S 15625 15625 6753 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 19 0 408126539 15789518848 84172 33554432000 4194304 4196468 140727666665392 140544453415904 140544986425045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
[pid=15627/tid=15635] ppid=15625 vsize=15419452 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/15627/task/15635/stat : 15635 (java) S 15625 15625 6753 0 -1 1077944384 97 0 0 0 0 0 0 0 20 0 19 0 408126539 15789518848 84172 33554432000 4194304 4196468 140727666665392 140544452363264 140544986425045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
[pid=15627/tid=15636] ppid=15625 vsize=15419452 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15627/task/15636/stat : 15636 (java) S 15625 15625 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408126541 15789518848 84172 33554432000 4194304 4196468 140727666665392 140544451311824 140544986433435 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
[pid=15627/tid=15637] ppid=15625 vsize=15419452 memory=1452 CPUtime=4.38 cores=1,3,5,7
/proc/15627/task/15637/stat : 15637 (java) S 15625 15625 6753 0 -1 1077944384 31086 0 0 0 435 3 0 0 20 0 19 0 408126541 15789518848 84172 33554432000 4194304 4196468 140727666665392 140544450259440 140544986425986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
[pid=15627/tid=15638] ppid=15625 vsize=15419452 memory=336688 CPUtime=4.86 cores=1,3,5,7
/proc/15627/task/15638/stat : 15638 (java) S 15625 15625 6753 0 -1 1077944384 21429 0 0 0 483 3 0 0 20 0 19 0 408126541 15789518848 84172 33554432000 4194304 4196468 140727666665392 140544449206896 140544986425986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
[pid=15627/tid=15639] ppid=15625 vsize=15419452 memory=1452 CPUtime=0.68 cores=1,3,5,7
/proc/15627/task/15639/stat : 15639 (java) S 15625 15625 6753 0 -1 1077944384 12779 0 0 0 66 2 0 0 20 0 19 0 408126541 15789518848 84172 33554432000 4194304 4196468 140727666665392 140544448154352 140544986425986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
[pid=15627/tid=15640] ppid=15625 vsize=15419452 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/15627/task/15640/stat : 15640 (java) S 15625 15625 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408126542 15789518848 84172 33554432000 4194304 4196468 140727666665392 140544447102048 140544986425045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
[pid=15627/tid=15641] ppid=15625 vsize=15419452 memory=336688 CPUtime=0.24 cores=1,3,5,7
/proc/15627/task/15641/stat : 15641 (java) S 15625 15625 6753 0 -1 1077944384 1172 0 0 0 16 8 0 0 20 0 19 0 408126542 15789518848 84172 33554432000 4194304 4196468 140727666665392 140544446048560 140544986425986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 42 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
[pid=15627/tid=15642] ppid=15625 vsize=15419452 memory=1452 CPUtime=624.89 cores=1,3,5,7
/proc/15627/task/15642/stat : 15642 (java) R 15625 15625 6753 0 -1 4202560 2942 0 0 0 62485 4 0 0 20 0 19 0 408126599 15789518848 84172 33554432000 4194304 4196468 140727666665392 140544437073960 140544629152005 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
[pid=15627/tid=15643] ppid=15625 vsize=15419452 memory=512 CPUtime=626.76 cores=1,3,5,7
/proc/15627/task/15643/stat : 15643 (java) R 15625 15625 6753 0 -1 4202560 2998 0 0 0 62673 3 0 0 20 0 19 0 408126599 15789518848 84172 33554432000 4194304 4196468 140727666665392 140544436026096 140544628897141 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
[pid=15627/tid=15644] ppid=15625 vsize=15419452 memory=1564 CPUtime=624.9 cores=1,3,5,7
/proc/15627/task/15644/stat : 15644 (java) R 15625 15625 6753 0 -1 4202560 2690 0 0 0 62488 2 0 0 20 0 19 0 408126599 15789518848 84172 33554432000 4194304 4196468 140727666665392 140544434970720 140544971625454 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
[pid=15627/tid=15645] ppid=15625 vsize=15419452 memory=16872 CPUtime=624.88 cores=1,3,5,7
/proc/15627/task/15645/stat : 15645 (java) R 15625 15625 6753 0 -1 4202560 3205 0 0 0 62486 2 0 0 20 0 19 0 408126599 15789518848 84172 33554432000 4194304 4196468 140727666665392 140544433917968 140544629468517 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26095616 140727666672623 140727666672794 140727666672794 140727666675663 0
Current children cumulated CPU time: 2520.39 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 338140 KiB
Child status: 143
Real time (s): 635.974
CPU time (s): 2520.68
CPU user time (s): 2518.11
CPU system time (s): 2.57111
CPU usage (%): 396.35
Max. virtual memory (cumulated for all children) (KiB): 15537204
Max. memory (cumulated for all children) (KiB): 534832
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.11
system time used= 2.57111
maximum resident set size= 533876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 115660
page faults= 0
swaps= 0
block input operations= 0
block output operations= 856
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39001
involuntary context switches= 49335
# summary of solver processes directly reported to runsolver:
# pid: 15625,15627
# total CPU time (s): 2520.68
# total CPU user time (s): 2518.11
# total CPU system time (s): 2.57111
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.9624 second user time and 7.32698 second system time
The end