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 (9199 MiB free)
memory of node 1: 16384 MiB (11260 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393156-1568318386/watcher-4393156-1568318386 -o /tmp/evaluation-result-4393156-1568318386/solver-4393156-1568318386 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1568309054-15623 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1414951101 HOME/instance-4393156-1568318386.xml
running on 4 cores: 0,2,4,6
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
solver pid=21936, runsolver pid=21933
Current StackSize limit: 8192 KiB
[startup+0.100477 s]*
/proc/loadavg: 8.03 7.19 7.29 7/233 21952
/proc/meminfo: memFree=20934752/32770624 swapFree=66977612/67108860
[pid=21936] ppid=21933 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/21936/stat : 21936 (xcsp3-exec) S 21933 21936 15592 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408095909 115843072 363 33554432000 4194304 5098028 140728797242688 140728797240792 140345988006524 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19578880 140728797246330 140728797246573 140728797246573 140728797249482 0
/proc/21936/statm: 28282 363 304 221 0 87 0
[pid=21938] ppid=21936 vsize=15144768 memory=28800 CPUtime=0.1 cores=0,2,4,6
/proc/21938/stat : 21938 (java) S 21936 21936 15592 0 -1 1077944320 5649 0 0 0 9 1 0 0 20 0 15 0 408095909 15508242432 7200 33554432000 4194304 4196468 140736040650560 140736040633104 140678101458679 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
/proc/21938/statm: 3786192 7200 3119 1 0 3748377 0
[pid=21938/tid=21939] ppid=21936 vsize=15144768 memory=576460756329955459 CPUtime=0.08 cores=0,2,4,6
/proc/21938/task/21939/stat : 21939 (java) R 21936 21936 15592 0 -1 4202560 3580 0 0 0 7 1 0 0 20 0 15 0 408095909 15508242432 7200 33554432000 4194304 4196468 140736040650560 140678105679488 140678101470614 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
[pid=21938/tid=21940] ppid=21936 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21938/task/21940/stat : 21940 (java) S 21936 21936 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408095910 15508242432 7200 33554432000 4194304 4196468 140736040650560 140678037695376 140678101468885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
[pid=21938/tid=21941] ppid=21936 vsize=15144768 memory=3763236316807976608 CPUtime=0 cores=0,2,4,6
/proc/21938/task/21941/stat : 21941 (java) S 21936 21936 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408095910 15508242432 7200 33554432000 4194304 4196468 140736040650560 140678036642576 140678101468885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
[pid=21938/tid=21942] ppid=21936 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21938/task/21942/stat : 21942 (java) S 21936 21936 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408095910 15508242432 7200 33554432000 4194304 4196468 140736040650560 140678035590288 140678101468885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
[pid=21938/tid=21943] ppid=21936 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21938/task/21943/stat : 21943 (java) S 21936 21936 15592 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408095910 15508242432 7200 33554432000 4194304 4196468 140736040650560 140678034537488 140678101468885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
[pid=21938/tid=21944] ppid=21936 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21938/task/21944/stat : 21944 (java) S 21936 21936 15592 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408095911 15508242432 7200 33554432000 4194304 4196468 140736040650560 140677637253232 140678101469826 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
[pid=21938/tid=21945] ppid=21936 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21938/task/21945/stat : 21945 (java) S 21936 21936 15592 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408095912 15508242432 7200 33554432000 4194304 4196468 140736040650560 140677636199200 140678101468885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
[pid=21938/tid=21946] ppid=21936 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21938/task/21946/stat : 21946 (java) S 21936 21936 15592 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408095912 15508242432 7200 33554432000 4194304 4196468 140736040650560 140677635146864 140678101468885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
[pid=21938/tid=21947] ppid=21936 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21938/task/21947/stat : 21947 (java) S 21936 21936 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408095915 15508242432 7200 33554432000 4194304 4196468 140736040650560 140677634095184 140678101477275 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
[pid=21938/tid=21948] ppid=21936 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21938/task/21948/stat : 21948 (java) S 21936 21936 15592 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 15 0 408095916 15508242432 7200 33554432000 4194304 4196468 140736040650560 140677633043056 140678101469826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
[pid=21938/tid=21949] ppid=21936 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21938/task/21949/stat : 21949 (java) S 21936 21936 15592 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 408095916 15508242432 7200 33554432000 4194304 4196468 140736040650560 140677631990256 140678101469826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
[pid=21938/tid=21950] ppid=21936 vsize=15144768 memory=139945807992448 CPUtime=0.01 cores=0,2,4,6
/proc/21938/task/21950/stat : 21950 (java) S 21936 21936 15592 0 -1 1077944384 336 0 0 0 1 0 0 0 20 0 15 0 408095916 15508242432 7200 33554432000 4194304 4196468 140736040650560 140677630937968 140678101469826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
[pid=21938/tid=21951] ppid=21936 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21938/task/21951/stat : 21951 (java) S 21936 21936 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408095916 15508242432 7200 33554432000 4194304 4196468 140736040650560 140677629885408 140678101468885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
[pid=21938/tid=21952] ppid=21936 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21938/task/21952/stat : 21952 (java) S 21936 21936 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408095916 15508242432 7200 33554432000 4194304 4196468 140736040650560 140677628832176 140678101469826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30252 KiB
[startup+0.210774 s]*
/proc/loadavg: 8.03 7.19 7.29 6/233 21952
/proc/meminfo: memFree=20921548/32770624 swapFree=66977612/67108860
[pid=21936] ppid=21933 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/21936/stat : 21936 (xcsp3-exec) S 21933 21936 15592 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408095909 115843072 363 33554432000 4194304 5098028 140728797242688 140728797240792 140345988006524 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19578880 140728797246330 140728797246573 140728797246573 140728797249482 0
/proc/21936/statm: 28282 363 304 221 0 87 0
[pid=21938] ppid=21936 vsize=15144768 memory=40836 CPUtime=0.32 cores=0,2,4,6
/proc/21938/stat : 21938 (java) S 21936 21936 15592 0 -1 1077944320 9387 0 0 0 29 3 0 0 20 0 15 0 408095909 15508242432 10209 33554432000 4194304 4196468 140736040650560 140736040633104 140678101458679 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
/proc/21938/statm: 3786192 10209 3300 1 0 3748377 0
[pid=21938/tid=21939] ppid=21936 vsize=15144768 memory=7883960649037381690 CPUtime=0.18 cores=0,2,4,6
/proc/21938/task/21939/stat : 21939 (java) R 21936 21936 15592 0 -1 4202560 6582 0 0 0 16 2 0 0 20 0 15 0 408095909 15508242432 10209 33554432000 4194304 4196468 140736040650560 140678105694112 140678085539166 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
[pid=21938/tid=21940] ppid=21936 vsize=15144768 memory=1898157 CPUtime=0 cores=0,2,4,6
/proc/21938/task/21940/stat : 21940 (java) S 21936 21936 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408095910 15508242432 10209 33554432000 4194304 4196468 140736040650560 140678037695376 140678101468885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
[pid=21938/tid=21941] ppid=21936 vsize=15144768 memory=139945810843386 CPUtime=0 cores=0,2,4,6
/proc/21938/task/21941/stat : 21941 (java) S 21936 21936 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408095910 15508242432 10209 33554432000 4194304 4196468 140736040650560 140678036642576 140678101468885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
[pid=21938/tid=21942] ppid=21936 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21938/task/21942/stat : 21942 (java) S 21936 21936 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408095910 15508242432 10209 33554432000 4194304 4196468 140736040650560 140678035590288 140678101468885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
[pid=21938/tid=21943] ppid=21936 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21938/task/21943/stat : 21943 (java) S 21936 21936 15592 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408095910 15508242432 10209 33554432000 4194304 4196468 140736040650560 140678034537488 140678101468885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
[pid=21938/tid=21944] ppid=21936 vsize=15144768 memory=139945807992448 CPUtime=0 cores=0,2,4,6
/proc/21938/task/21944/stat : 21944 (java) S 21936 21936 15592 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408095911 15508242432 10209 33554432000 4194304 4196468 140736040650560 140677637253232 140678101469826 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
[pid=21938/tid=21945] ppid=21936 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21938/task/21945/stat : 21945 (java) S 21936 21936 15592 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408095912 15508242432 10209 33554432000 4194304 4196468 140736040650560 140677636199200 140678101468885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
[pid=21938/tid=21946] ppid=21936 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21938/task/21946/stat : 21946 (java) S 21936 21936 15592 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408095912 15508242432 10209 33554432000 4194304 4196468 140736040650560 140677635146864 140678101468885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
[pid=21938/tid=21947] ppid=21936 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21938/task/21947/stat : 21947 (java) S 21936 21936 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408095915 15508242432 10209 33554432000 4194304 4196468 140736040650560 140677634095184 140678101477275 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
[pid=21938/tid=21948] ppid=21936 vsize=15144768 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/21938/task/21948/stat : 21948 (java) S 21936 21936 15592 0 -1 1077944384 452 0 0 0 3 0 0 0 20 0 15 0 408095916 15508242432 10209 33554432000 4194304 4196468 140736040650560 140677633043056 140678101469826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
[pid=21938/tid=21949] ppid=21936 vsize=15144768 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/21938/task/21949/stat : 21949 (java) S 21936 21936 15592 0 -1 1077944384 289 0 0 0 1 0 0 0 20 0 15 0 408095916 15508242432 10209 33554432000 4194304 4196468 140736040650560 140677631990256 140678101469826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
[pid=21938/tid=21950] ppid=21936 vsize=15144768 memory=139945807992448 CPUtime=0.07 cores=0,2,4,6
/proc/21938/task/21950/stat : 21950 (java) S 21936 21936 15592 0 -1 1077944384 764 0 0 0 7 0 0 0 20 0 15 0 408095916 15508242432 10209 33554432000 4194304 4196468 140736040650560 140677630937968 140678101469826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
[pid=21938/tid=21951] ppid=21936 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21938/task/21951/stat : 21951 (java) S 21936 21936 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408095916 15508242432 10209 33554432000 4194304 4196468 140736040650560 140677629885408 140678101468885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
[pid=21938/tid=21952] ppid=21936 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21938/task/21952/stat : 21952 (java) S 21936 21936 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408095916 15508242432 10209 33554432000 4194304 4196468 140736040650560 140677628832176 140678101469826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42288 KiB
[startup+0.310785 s]*
/proc/loadavg: 8.03 7.19 7.29 6/233 21952
/proc/meminfo: memFree=20916316/32770624 swapFree=66977612/67108860
[pid=21936] ppid=21933 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/21936/stat : 21936 (xcsp3-exec) S 21933 21936 15592 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408095909 115843072 363 33554432000 4194304 5098028 140728797242688 140728797240792 140345988006524 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19578880 140728797246330 140728797246573 140728797246573 140728797249482 0
/proc/21936/statm: 28282 363 304 221 0 87 0
[pid=21938] ppid=21936 vsize=15149024 memory=46900 CPUtime=0.5 cores=0,2,4,6
/proc/21938/stat : 21938 (java) S 21936 21936 15592 0 -1 1077944320 10598 0 0 0 45 5 0 0 20 0 15 0 408095909 15512600576 11725 33554432000 4194304 4196468 140736040650560 140736040633104 140678101458679 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
/proc/21938/statm: 3787256 11725 3343 1 0 3748377 0
[pid=21938/tid=21939] ppid=21936 vsize=15149024 memory=8317482817917895235 CPUtime=0.28 cores=0,2,4,6
/proc/21938/task/21939/stat : 21939 (java) R 21936 21936 15592 0 -1 4202560 7640 0 0 0 25 3 0 0 20 0 15 0 408095909 15512600576 11725 33554432000 4194304 4196468 140736040650560 140678105694192 140678101470614 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
[pid=21938/tid=21940] ppid=21936 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/21938/task/21940/stat : 21940 (java) S 21936 21936 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408095910 15512600576 11725 33554432000 4194304 4196468 140736040650560 140678037695376 140678101468885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
[pid=21938/tid=21941] ppid=21936 vsize=15149024 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/21938/task/21941/stat : 21941 (java) S 21936 21936 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408095910 15512600576 11725 33554432000 4194304 4196468 140736040650560 140678036642576 140678101468885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
[pid=21938/tid=21942] ppid=21936 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/21938/task/21942/stat : 21942 (java) S 21936 21936 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408095910 15512600576 11725 33554432000 4194304 4196468 140736040650560 140678035590288 140678101468885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
[pid=21938/tid=21943] ppid=21936 vsize=15149024 memory=-4190076264842474805 CPUtime=0 cores=0,2,4,6
/proc/21938/task/21943/stat : 21943 (java) S 21936 21936 15592 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408095910 15512600576 11725 33554432000 4194304 4196468 140736040650560 140678034537488 140678101468885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
[pid=21938/tid=21944] ppid=21936 vsize=15149024 memory=-6945283279944138911 CPUtime=0 cores=0,2,4,6
/proc/21938/task/21944/stat : 21944 (java) S 21936 21936 15592 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408095911 15512600576 11725 33554432000 4194304 4196468 140736040650560 140677637253232 140678101469826 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
[pid=21938/tid=21945] ppid=21936 vsize=15149024 memory=6944656425123485561 CPUtime=0 cores=0,2,4,6
/proc/21938/task/21945/stat : 21945 (java) S 21936 21936 15592 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408095912 15512600576 11725 33554432000 4194304 4196468 140736040650560 140677636199200 140678101468885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
[pid=21938/tid=21946] ppid=21936 vsize=15149024 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/21938/task/21946/stat : 21946 (java) S 21936 21936 15592 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408095912 15512600576 11725 33554432000 4194304 4196468 140736040650560 140677635146864 140678101468885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
[pid=21938/tid=21947] ppid=21936 vsize=15149024 memory=4627853888499060086 CPUtime=0 cores=0,2,4,6
/proc/21938/task/21947/stat : 21947 (java) S 21936 21936 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408095915 15512600576 11725 33554432000 4194304 4196468 140736040650560 140677634095184 140678101477275 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
[pid=21938/tid=21948] ppid=21936 vsize=15149024 memory=7827413994055111515 CPUtime=0.04 cores=0,2,4,6
/proc/21938/task/21948/stat : 21948 (java) S 21936 21936 15592 0 -1 1077944384 469 0 0 0 4 0 0 0 20 0 15 0 408095916 15512600576 11725 33554432000 4194304 4196468 140736040650560 140677633043056 140678101469826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
[pid=21938/tid=21949] ppid=21936 vsize=15149024 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/21938/task/21949/stat : 21949 (java) S 21936 21936 15592 0 -1 1077944384 333 0 0 0 3 0 0 0 20 0 15 0 408095916 15512600576 11725 33554432000 4194304 4196468 140736040650560 140677631990256 140678101469826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
[pid=21938/tid=21950] ppid=21936 vsize=15149024 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/21938/task/21950/stat : 21950 (java) R 21936 21936 15592 0 -1 4202560 853 0 0 0 12 0 0 0 20 0 15 0 408095916 15512600576 11725 33554432000 4194304 4196468 140736040650560 140677630937968 140678085539166 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
[pid=21938/tid=21951] ppid=21936 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21938/task/21951/stat : 21951 (java) S 21936 21936 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408095916 15512600576 11725 33554432000 4194304 4196468 140736040650560 140677629885408 140678101468885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
[pid=21938/tid=21952] ppid=21936 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21938/task/21952/stat : 21952 (java) S 21936 21936 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408095916 15512600576 11725 33554432000 4194304 4196468 140736040650560 140677628832176 140678101469826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 48352 KiB
[startup+0.701167 s]
/proc/loadavg: 8.03 7.19 7.29 8/233 21952
/proc/meminfo: memFree=20903084/32770624 swapFree=66977612/67108860
[pid=21936] ppid=21933 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/21936/stat : 21936 (xcsp3-exec) S 21933 21936 15592 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408095909 115843072 363 33554432000 4194304 5098028 140728797242688 140728797240792 140345988006524 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19578880 140728797246330 140728797246573 140728797246573 140728797249482 0
/proc/21936/statm: 28282 363 304 221 0 87 0
[pid=21938] ppid=21936 vsize=15417404 memory=82916 CPUtime=1.52 cores=0,2,4,6
/proc/21938/stat : 21938 (java) S 21936 21936 15592 0 -1 1077944320 14912 0 0 0 145 7 0 0 20 0 19 0 408095909 15787421696 20729 33554432000 4194304 4196468 140736040650560 140736040633104 140678101458679 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
/proc/21938/statm: 3854351 20729 3450 1 0 3815453 0
[pid=21938/tid=21939] ppid=21936 vsize=15417404 memory=-3704326594973231466 CPUtime=0.61 cores=0,2,4,6
/proc/21938/task/21939/stat : 21939 (java) S 21936 21936 15592 0 -1 1077944384 9329 0 0 0 56 5 0 0 20 0 19 0 408095909 15787421696 20729 33554432000 4194304 4196468 140736040650560 140678105699456 140678101468885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
[pid=21938/tid=21940] ppid=21936 vsize=15417404 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21938/task/21940/stat : 21940 (java) S 21936 21936 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 408095910 15787421696 20729 33554432000 4194304 4196468 140736040650560 140678037695376 140678101468885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
[pid=21938/tid=21941] ppid=21936 vsize=15417404 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21938/task/21941/stat : 21941 (java) S 21936 21936 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 408095910 15787421696 20729 33554432000 4194304 4196468 140736040650560 140678036642576 140678101468885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
[pid=21938/tid=21942] ppid=21936 vsize=15417404 memory=704 CPUtime=0 cores=0,2,4,6
/proc/21938/task/21942/stat : 21942 (java) S 21936 21936 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 408095910 15787421696 20729 33554432000 4194304 4196468 140736040650560 140678035590288 140678101468885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
[pid=21938/tid=21943] ppid=21936 vsize=15417404 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/21938/task/21943/stat : 21943 (java) S 21936 21936 15592 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 408095910 15787421696 20729 33554432000 4194304 4196468 140736040650560 140678034537488 140678101468885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
[pid=21938/tid=21944] ppid=21936 vsize=15417404 memory=1556 CPUtime=0 cores=0,2,4,6
/proc/21938/task/21944/stat : 21944 (java) S 21936 21936 15592 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 408095911 15787421696 20729 33554432000 4194304 4196468 140736040650560 140677637253232 140678101469826 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
[pid=21938/tid=21945] ppid=21936 vsize=15417404 memory=780 CPUtime=0 cores=0,2,4,6
/proc/21938/task/21945/stat : 21945 (java) S 21936 21936 15592 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 408095912 15787421696 20729 33554432000 4194304 4196468 140736040650560 140677636199200 140678101468885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
[pid=21938/tid=21946] ppid=21936 vsize=15417404 memory=3252 CPUtime=0 cores=0,2,4,6
/proc/21938/task/21946/stat : 21946 (java) S 21936 21936 15592 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 408095912 15787421696 20729 33554432000 4194304 4196468 140736040650560 140677635146864 140678101468885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
[pid=21938/tid=21947] ppid=21936 vsize=15417404 memory=1112 CPUtime=0 cores=0,2,4,6
/proc/21938/task/21947/stat : 21947 (java) S 21936 21936 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408095915 15787421696 20729 33554432000 4194304 4196468 140736040650560 140677634095184 140678101477275 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
[pid=21938/tid=21948] ppid=21936 vsize=15417404 memory=5952 CPUtime=0.2 cores=0,2,4,6
/proc/21938/task/21948/stat : 21948 (java) R 21936 21936 15592 0 -1 4202560 1125 0 0 0 20 0 0 0 20 0 19 0 408095916 15787421696 20729 33554432000 4194304 4196468 140736040650560 140677633032656 140678085852555 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
[pid=21938/tid=21949] ppid=21936 vsize=15417404 memory=7552 CPUtime=0.18 cores=0,2,4,6
/proc/21938/task/21949/stat : 21949 (java) R 21936 21936 15592 0 -1 4202560 799 0 0 0 18 0 0 0 20 0 19 0 408095916 15787421696 20729 33554432000 4194304 4196468 140736040650560 140677631976064 140678086388092 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
[pid=21938/tid=21950] ppid=21936 vsize=15417404 memory=2832 CPUtime=0.37 cores=0,2,4,6
/proc/21938/task/21950/stat : 21950 (java) R 21936 21936 15592 0 -1 4202560 1665 0 0 0 37 0 0 0 20 0 19 0 408095916 15787421696 20729 33554432000 4194304 4196468 140736040650560 140677630935856 140678080417289 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
[pid=21938/tid=21951] ppid=21936 vsize=15417404 memory=1084 CPUtime=0 cores=0,2,4,6
/proc/21938/task/21951/stat : 21951 (java) S 21936 21936 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408095916 15787421696 20729 33554432000 4194304 4196468 140736040650560 140677629885408 140678101468885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
[pid=21938/tid=21952] ppid=21936 vsize=15417404 memory=14012 CPUtime=0 cores=0,2,4,6
/proc/21938/task/21952/stat : 21952 (java) S 21936 21936 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 408095916 15787421696 20729 33554432000 4194304 4196468 140736040650560 140677628832176 140678101469826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
Current children cumulated CPU time: 1.52 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 84368 KiB
[startup+1.50517 s]
/proc/loadavg: 8.03 7.19 7.29 12/237 21956
/proc/meminfo: memFree=20865196/32770624 swapFree=66977612/67108860
[pid=21936] ppid=21933 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/21936/stat : 21936 (xcsp3-exec) S 21933 21936 15592 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408095909 115843072 363 33554432000 4194304 5098028 140728797242688 140728797240792 140345988006524 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19578880 140728797246330 140728797246573 140728797246573 140728797249482 0
/proc/21936/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/21938/stat : 21938 (java) S 21936 21936 15592 0 -1 1077944320 91695 0 0 0 229676 420 0 0 20 0 19 0 408095909 15789518848 78103 33554432000 4194304 4196468 140736040650560 140736040633104 140678101458679 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
/proc/21938/statm: 3854863 78103 3539 1 0 3815965 0
[pid=21938/tid=21939] ppid=21936 vsize=15419452 memory=298760 CPUtime=0.61 cores=0,2,4,6
/proc/21938/task/21939/stat : 21939 (java) S 21936 21936 15592 0 -1 1077944384 9329 0 0 0 56 5 0 0 20 0 19 0 408095909 15789518848 78103 33554432000 4194304 4196468 140736040650560 140678105699456 140678101468885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
[pid=21938/tid=21940] ppid=21936 vsize=15419452 memory=299308 CPUtime=1.73 cores=0,2,4,6
/proc/21938/task/21940/stat : 21940 (java) S 21936 21936 15592 0 -1 1077944384 3368 0 0 0 164 9 0 0 20 0 19 0 408095910 15789518848 78103 33554432000 4194304 4196468 140736040650560 140678037695376 140678101468885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
[pid=21938/tid=21941] ppid=21936 vsize=15419452 memory=311532 CPUtime=1.74 cores=0,2,4,6
/proc/21938/task/21941/stat : 21941 (java) S 21936 21936 15592 0 -1 1077944384 2556 0 0 0 165 9 0 0 20 0 19 0 408095910 15789518848 78103 33554432000 4194304 4196468 140736040650560 140678036642576 140678101468885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
[pid=21938/tid=21942] ppid=21936 vsize=15419452 memory=312396 CPUtime=1.73 cores=0,2,4,6
/proc/21938/task/21942/stat : 21942 (java) S 21936 21936 15592 0 -1 1077944384 3242 0 0 0 164 9 0 0 20 0 19 0 408095910 15789518848 78103 33554432000 4194304 4196468 140736040650560 140678035590288 140678101468885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
[pid=21938/tid=21943] ppid=21936 vsize=15419452 memory=312396 CPUtime=1.74 cores=0,2,4,6
/proc/21938/task/21943/stat : 21943 (java) S 21936 21936 15592 0 -1 1077944384 2653 0 0 0 165 9 0 0 20 0 19 0 408095910 15789518848 78103 33554432000 4194304 4196468 140736040650560 140678034537488 140678101468885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
[pid=21938/tid=21944] ppid=21936 vsize=15419452 memory=312396 CPUtime=5.37 cores=0,2,4,6
/proc/21938/task/21944/stat : 21944 (java) S 21936 21936 15592 0 -1 1077944384 13639 0 0 0 160 377 0 0 20 0 19 0 408095911 15789518848 78103 33554432000 4194304 4196468 140736040650560 140677637253232 140678101469826 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
[pid=21938/tid=21945] ppid=21936 vsize=15419452 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/21938/task/21945/stat : 21945 (java) S 21936 21936 15592 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 19 0 408095912 15789518848 78103 33554432000 4194304 4196468 140736040650560 140677636199264 140678101468885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
[pid=21938/tid=21946] ppid=21936 vsize=15419452 memory=312396 CPUtime=0 cores=0,2,4,6
/proc/21938/task/21946/stat : 21946 (java) S 21936 21936 15592 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 19 0 408095912 15789518848 78103 33554432000 4194304 4196468 140736040650560 140677635146880 140678101468885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
[pid=21938/tid=21947] ppid=21936 vsize=15419452 memory=3252 CPUtime=0 cores=0,2,4,6
/proc/21938/task/21947/stat : 21947 (java) S 21936 21936 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408095915 15789518848 78103 33554432000 4194304 4196468 140736040650560 140677634095184 140678101477275 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
[pid=21938/tid=21948] ppid=21936 vsize=15419452 memory=312396 CPUtime=3.47 cores=0,2,4,6
/proc/21938/task/21948/stat : 21948 (java) S 21936 21936 15592 0 -1 1077944384 18758 0 0 0 345 2 0 0 20 0 19 0 408095916 15789518848 78103 33554432000 4194304 4196468 140736040650560 140677633043056 140678101469826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
[pid=21938/tid=21949] ppid=21936 vsize=15419452 memory=1452 CPUtime=3.18 cores=0,2,4,6
/proc/21938/task/21949/stat : 21949 (java) S 21936 21936 15592 0 -1 1077944384 16556 0 0 0 316 2 0 0 20 0 19 0 408095916 15789518848 78103 33554432000 4194304 4196468 140736040650560 140677631990256 140678101469826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
[pid=21938/tid=21950] ppid=21936 vsize=15419452 memory=1452 CPUtime=0.65 cores=0,2,4,6
/proc/21938/task/21950/stat : 21950 (java) S 21936 21936 15592 0 -1 1077944384 6650 0 0 0 64 1 0 0 20 0 19 0 408095916 15789518848 78103 33554432000 4194304 4196468 140736040650560 140677630937968 140678101469826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
[pid=21938/tid=21951] ppid=21936 vsize=15419452 memory=312412 CPUtime=0 cores=0,2,4,6
/proc/21938/task/21951/stat : 21951 (java) S 21936 21936 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408095916 15789518848 78103 33554432000 4194304 4196468 140736040650560 140677629885408 140678101468885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
[pid=21938/tid=21952] ppid=21936 vsize=15419452 memory=1452 CPUtime=0.24 cores=0,2,4,6
/proc/21938/task/21952/stat : 21952 (java) S 21936 21936 15592 0 -1 1077944384 654 0 0 0 0 24 0 0 20 0 19 0 408095916 15789518848 78103 33554432000 4194304 4196468 140736040650560 140677628832176 140678101469826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
[pid=21938/tid=21953] ppid=21936 vsize=15419452 memory=1084 CPUtime=569.57 cores=0,2,4,6
/proc/21938/task/21953/stat : 21953 (java) R 21936 21936 15592 0 -1 4202560 2552 0 0 0 56954 3 0 0 20 0 19 0 408095973 15789518848 78103 33554432000 4194304 4196468 140736040650560 140677552212520 140677718850078 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
[pid=21938/tid=21954] ppid=21936 vsize=15419452 memory=14012 CPUtime=572.72 cores=0,2,4,6
/proc/21938/task/21954/stat : 21954 (java) R 21936 21936 15592 0 -1 4202560 3195 0 0 0 57269 3 0 0 20 0 19 0 408095973 15789518848 78103 33554432000 4194304 4196468 140736040650560 140677551161104 140677719355490 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
[pid=21938/tid=21955] ppid=21936 vsize=15419452 memory=3616 CPUtime=569.46 cores=0,2,4,6
/proc/21938/task/21955/stat : 21955 (java) R 21936 21936 15592 0 -1 4202560 2458 0 0 0 56943 3 0 0 20 0 19 0 408095973 15789518848 78103 33554432000 4194304 4196468 140736040650560 140677550108552 140677716384915 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
[pid=21938/tid=21956] ppid=21936 vsize=15419452 memory=38160 CPUtime=568.61 cores=0,2,4,6
/proc/21938/task/21956/stat : 21956 (java) R 21936 21936 15592 0 -1 4202560 4710 0 0 0 56858 3 0 0 20 0 19 0 408095973 15789518848 78103 33554432000 4194304 4196468 140736040650560 140677549058912 140677719355607 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
Current children cumulated CPU time: 2300.96 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 313864 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+638.111 s]
/proc/loadavg: 8.78 8.28 7.76 9/237 22112
/proc/meminfo: memFree=24490356/32770624 swapFree=66977612/67108860
[pid=21936] ppid=21933 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/21936/stat : 21936 (xcsp3-exec) S 21933 21936 15592 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408095909 115843072 363 33554432000 4194304 5098028 140728797242688 140728797240792 140345988006524 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19578880 140728797246330 140728797246573 140728797246573 140728797249482 0
/proc/21936/statm: 28282 363 304 221 0 87 0
[pid=21938] ppid=21936 vsize=15419452 memory=309540 CPUtime=2520.38 cores=0,2,4,6
/proc/21938/stat : 21938 (java) S 21936 21936 15592 0 -1 1077944320 97151 0 0 0 251538 500 0 0 20 0 19 0 408095909 15789518848 77385 33554432000 4194304 4196468 140736040650560 140736040633104 140678101458679 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
/proc/21938/statm: 3854863 77385 3539 1 0 3815965 0
[pid=21938/tid=21939] ppid=21936 vsize=15419452 memory=309540 CPUtime=0.61 cores=0,2,4,6
/proc/21938/task/21939/stat : 21939 (java) S 21936 21936 15592 0 -1 1077944384 9329 0 0 0 56 5 0 0 20 0 19 0 408095909 15789518848 77385 33554432000 4194304 4196468 140736040650560 140678105699456 140678101468885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
[pid=21938/tid=21940] ppid=21936 vsize=15419452 memory=309528 CPUtime=1.94 cores=0,2,4,6
/proc/21938/task/21940/stat : 21940 (java) S 21936 21936 15592 0 -1 1077944384 3576 0 0 0 185 9 0 0 20 0 19 0 408095910 15789518848 77385 33554432000 4194304 4196468 140736040650560 140678037695376 140678101468885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
[pid=21938/tid=21941] ppid=21936 vsize=15419452 memory=310020 CPUtime=1.94 cores=0,2,4,6
/proc/21938/task/21941/stat : 21941 (java) S 21936 21936 15592 0 -1 1077944384 2687 0 0 0 185 9 0 0 20 0 19 0 408095910 15789518848 77385 33554432000 4194304 4196468 140736040650560 140678036642576 140678101468885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
[pid=21938/tid=21942] ppid=21936 vsize=15419452 memory=309540 CPUtime=1.95 cores=0,2,4,6
/proc/21938/task/21942/stat : 21942 (java) S 21936 21936 15592 0 -1 1077944384 3564 0 0 0 185 10 0 0 20 0 19 0 408095910 15789518848 77385 33554432000 4194304 4196468 140736040650560 140678035590288 140678101468885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
[pid=21938/tid=21943] ppid=21936 vsize=15419452 memory=309540 CPUtime=1.95 cores=0,2,4,6
/proc/21938/task/21943/stat : 21943 (java) S 21936 21936 15592 0 -1 1077944384 2807 0 0 0 186 9 0 0 20 0 19 0 408095910 15789518848 77385 33554432000 4194304 4196468 140736040650560 140678034537488 140678101468885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
[pid=21938/tid=21944] ppid=21936 vsize=15419452 memory=309540 CPUtime=6.47 cores=0,2,4,6
/proc/21938/task/21944/stat : 21944 (java) S 21936 21936 15592 0 -1 1077944384 17450 0 0 0 189 458 0 0 20 0 19 0 408095911 15789518848 77385 33554432000 4194304 4196468 140736040650560 140677637253232 140678101469826 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
[pid=21938/tid=21945] ppid=21936 vsize=15419452 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/21938/task/21945/stat : 21945 (java) S 21936 21936 15592 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 19 0 408095912 15789518848 77385 33554432000 4194304 4196468 140736040650560 140677636199264 140678101468885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
[pid=21938/tid=21946] ppid=21936 vsize=15419452 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21938/task/21946/stat : 21946 (java) S 21936 21936 15592 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 19 0 408095912 15789518848 77385 33554432000 4194304 4196468 140736040650560 140677635146880 140678101468885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
[pid=21938/tid=21947] ppid=21936 vsize=15419452 memory=2257 CPUtime=0 cores=0,2,4,6
/proc/21938/task/21947/stat : 21947 (java) S 21936 21936 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408095915 15789518848 77385 33554432000 4194304 4196468 140736040650560 140677634095184 140678101477275 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
[pid=21938/tid=21948] ppid=21936 vsize=15419452 memory=1452 CPUtime=3.49 cores=0,2,4,6
/proc/21938/task/21948/stat : 21948 (java) S 21936 21936 15592 0 -1 1077944384 18777 0 0 0 347 2 0 0 20 0 19 0 408095916 15789518848 77385 33554432000 4194304 4196468 140736040650560 140677633043056 140678101469826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
[pid=21938/tid=21949] ppid=21936 vsize=15419452 memory=1452 CPUtime=3.23 cores=0,2,4,6
/proc/21938/task/21949/stat : 21949 (java) S 21936 21936 15592 0 -1 1077944384 16659 0 0 0 321 2 0 0 20 0 19 0 408095916 15789518848 77385 33554432000 4194304 4196468 140736040650560 140677631990256 140678101469826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
[pid=21938/tid=21950] ppid=21936 vsize=15419452 memory=309528 CPUtime=0.65 cores=0,2,4,6
/proc/21938/task/21950/stat : 21950 (java) S 21936 21936 15592 0 -1 1077944384 6736 0 0 0 64 1 0 0 20 0 19 0 408095916 15789518848 77385 33554432000 4194304 4196468 140736040650560 140677630937968 140678101469826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
[pid=21938/tid=21951] ppid=21936 vsize=15419452 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/21938/task/21951/stat : 21951 (java) S 21936 21936 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408095916 15789518848 77385 33554432000 4194304 4196468 140736040650560 140677629885408 140678101468885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
[pid=21938/tid=21952] ppid=21936 vsize=15419452 memory=1452 CPUtime=0.26 cores=0,2,4,6
/proc/21938/task/21952/stat : 21952 (java) S 21936 21936 15592 0 -1 1077944384 675 0 0 0 0 26 0 0 20 0 19 0 408095916 15789518848 77385 33554432000 4194304 4196468 140736040650560 140677628832176 140678101469826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
[pid=21938/tid=21953] ppid=21936 vsize=15419452 memory=309864 CPUtime=623.77 cores=0,2,4,6
/proc/21938/task/21953/stat : 21953 (java) R 21936 21936 15592 0 -1 4202560 2737 0 0 0 62374 3 0 0 20 0 19 0 408095973 15789518848 77385 33554432000 4194304 4196468 140736040650560 140677552212520 140677716384675 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
[pid=21938/tid=21954] ppid=21936 vsize=15419452 memory=1452 CPUtime=627.67 cores=0,2,4,6
/proc/21938/task/21954/stat : 21954 (java) R 21936 21936 15592 0 -1 4202560 3247 0 0 0 62764 3 0 0 20 0 19 0 408095973 15789518848 77385 33554432000 4194304 4196468 140736040650560 140677551160992 140677719355824 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
[pid=21938/tid=21955] ppid=21936 vsize=15419452 memory=1452 CPUtime=623.66 cores=0,2,4,6
/proc/21938/task/21955/stat : 21955 (java) R 21936 21936 15592 0 -1 4202560 2677 0 0 0 62363 3 0 0 20 0 19 0 408095973 15789518848 77385 33554432000 4194304 4196468 140736040650560 140677550108680 140677718005922 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
[pid=21938/tid=21956] ppid=21936 vsize=15419452 memory=309888 CPUtime=622.67 cores=0,2,4,6
/proc/21938/task/21956/stat : 21956 (java) R 21936 21936 15592 0 -1 4202560 4855 0 0 0 62264 3 0 0 20 0 19 0 408095973 15789518848 77385 33554432000 4194304 4196468 140736040650560 140677549058944 140677719355824 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
Current children cumulated CPU time: 2520.38 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 310992 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+638.134 s]
# the end of solver process 21936 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001147 s, system=0.001147 s
[startup+638.206 s]
# the end of solver process 21938 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.72 s, system=5.01778 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+638.111 s]
/proc/loadavg: 8.78 8.28 7.76 9/237 22112
/proc/meminfo: memFree=24490356/32770624 swapFree=66977612/67108860
[pid=21936] ppid=21933 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/21936/stat : 21936 (xcsp3-exec) S 21933 21936 15592 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408095909 115843072 363 33554432000 4194304 5098028 140728797242688 140728797240792 140345988006524 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19578880 140728797246330 140728797246573 140728797246573 140728797249482 0
/proc/21936/statm: 28282 363 304 221 0 87 0
[pid=21938] ppid=21936 vsize=15419452 memory=309540 CPUtime=2520.38 cores=0,2,4,6
/proc/21938/stat : 21938 (java) S 21936 21936 15592 0 -1 1077944320 97151 0 0 0 251538 500 0 0 20 0 19 0 408095909 15789518848 77385 33554432000 4194304 4196468 140736040650560 140736040633104 140678101458679 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
/proc/21938/statm: 3854863 77385 3539 1 0 3815965 0
[pid=21938/tid=21939] ppid=21936 vsize=15419452 memory=309540 CPUtime=0.61 cores=0,2,4,6
/proc/21938/task/21939/stat : 21939 (java) S 21936 21936 15592 0 -1 1077944384 9329 0 0 0 56 5 0 0 20 0 19 0 408095909 15789518848 77385 33554432000 4194304 4196468 140736040650560 140678105699456 140678101468885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
[pid=21938/tid=21940] ppid=21936 vsize=15419452 memory=309528 CPUtime=1.94 cores=0,2,4,6
/proc/21938/task/21940/stat : 21940 (java) S 21936 21936 15592 0 -1 1077944384 3576 0 0 0 185 9 0 0 20 0 19 0 408095910 15789518848 77385 33554432000 4194304 4196468 140736040650560 140678037695376 140678101468885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
[pid=21938/tid=21941] ppid=21936 vsize=15419452 memory=310020 CPUtime=1.94 cores=0,2,4,6
/proc/21938/task/21941/stat : 21941 (java) S 21936 21936 15592 0 -1 1077944384 2687 0 0 0 185 9 0 0 20 0 19 0 408095910 15789518848 77385 33554432000 4194304 4196468 140736040650560 140678036642576 140678101468885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
[pid=21938/tid=21942] ppid=21936 vsize=15419452 memory=309540 CPUtime=1.95 cores=0,2,4,6
/proc/21938/task/21942/stat : 21942 (java) S 21936 21936 15592 0 -1 1077944384 3564 0 0 0 185 10 0 0 20 0 19 0 408095910 15789518848 77385 33554432000 4194304 4196468 140736040650560 140678035590288 140678101468885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
[pid=21938/tid=21943] ppid=21936 vsize=15419452 memory=309540 CPUtime=1.95 cores=0,2,4,6
/proc/21938/task/21943/stat : 21943 (java) S 21936 21936 15592 0 -1 1077944384 2807 0 0 0 186 9 0 0 20 0 19 0 408095910 15789518848 77385 33554432000 4194304 4196468 140736040650560 140678034537488 140678101468885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
[pid=21938/tid=21944] ppid=21936 vsize=15419452 memory=309540 CPUtime=6.47 cores=0,2,4,6
/proc/21938/task/21944/stat : 21944 (java) S 21936 21936 15592 0 -1 1077944384 17450 0 0 0 189 458 0 0 20 0 19 0 408095911 15789518848 77385 33554432000 4194304 4196468 140736040650560 140677637253232 140678101469826 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
[pid=21938/tid=21945] ppid=21936 vsize=15419452 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/21938/task/21945/stat : 21945 (java) S 21936 21936 15592 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 19 0 408095912 15789518848 77385 33554432000 4194304 4196468 140736040650560 140677636199264 140678101468885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
[pid=21938/tid=21946] ppid=21936 vsize=15419452 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21938/task/21946/stat : 21946 (java) S 21936 21936 15592 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 19 0 408095912 15789518848 77385 33554432000 4194304 4196468 140736040650560 140677635146880 140678101468885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
[pid=21938/tid=21947] ppid=21936 vsize=15419452 memory=2257 CPUtime=0 cores=0,2,4,6
/proc/21938/task/21947/stat : 21947 (java) S 21936 21936 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408095915 15789518848 77385 33554432000 4194304 4196468 140736040650560 140677634095184 140678101477275 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
[pid=21938/tid=21948] ppid=21936 vsize=15419452 memory=1452 CPUtime=3.49 cores=0,2,4,6
/proc/21938/task/21948/stat : 21948 (java) S 21936 21936 15592 0 -1 1077944384 18777 0 0 0 347 2 0 0 20 0 19 0 408095916 15789518848 77385 33554432000 4194304 4196468 140736040650560 140677633043056 140678101469826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
[pid=21938/tid=21949] ppid=21936 vsize=15419452 memory=1452 CPUtime=3.23 cores=0,2,4,6
/proc/21938/task/21949/stat : 21949 (java) S 21936 21936 15592 0 -1 1077944384 16659 0 0 0 321 2 0 0 20 0 19 0 408095916 15789518848 77385 33554432000 4194304 4196468 140736040650560 140677631990256 140678101469826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
[pid=21938/tid=21950] ppid=21936 vsize=15419452 memory=309528 CPUtime=0.65 cores=0,2,4,6
/proc/21938/task/21950/stat : 21950 (java) S 21936 21936 15592 0 -1 1077944384 6736 0 0 0 64 1 0 0 20 0 19 0 408095916 15789518848 77385 33554432000 4194304 4196468 140736040650560 140677630937968 140678101469826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
[pid=21938/tid=21951] ppid=21936 vsize=15419452 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/21938/task/21951/stat : 21951 (java) S 21936 21936 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408095916 15789518848 77385 33554432000 4194304 4196468 140736040650560 140677629885408 140678101468885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
[pid=21938/tid=21952] ppid=21936 vsize=15419452 memory=1452 CPUtime=0.26 cores=0,2,4,6
/proc/21938/task/21952/stat : 21952 (java) S 21936 21936 15592 0 -1 1077944384 675 0 0 0 0 26 0 0 20 0 19 0 408095916 15789518848 77385 33554432000 4194304 4196468 140736040650560 140677628832176 140678101469826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
[pid=21938/tid=21953] ppid=21936 vsize=15419452 memory=309864 CPUtime=623.77 cores=0,2,4,6
/proc/21938/task/21953/stat : 21953 (java) R 21936 21936 15592 0 -1 4202560 2737 0 0 0 62374 3 0 0 20 0 19 0 408095973 15789518848 77385 33554432000 4194304 4196468 140736040650560 140677552212520 140677716384675 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
[pid=21938/tid=21954] ppid=21936 vsize=15419452 memory=1452 CPUtime=627.67 cores=0,2,4,6
/proc/21938/task/21954/stat : 21954 (java) R 21936 21936 15592 0 -1 4202560 3247 0 0 0 62764 3 0 0 20 0 19 0 408095973 15789518848 77385 33554432000 4194304 4196468 140736040650560 140677551160992 140677719355824 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
[pid=21938/tid=21955] ppid=21936 vsize=15419452 memory=1452 CPUtime=623.66 cores=0,2,4,6
/proc/21938/task/21955/stat : 21955 (java) R 21936 21936 15592 0 -1 4202560 2677 0 0 0 62363 3 0 0 20 0 19 0 408095973 15789518848 77385 33554432000 4194304 4196468 140736040650560 140677550108680 140677718005922 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
[pid=21938/tid=21956] ppid=21936 vsize=15419452 memory=309888 CPUtime=622.67 cores=0,2,4,6
/proc/21938/task/21956/stat : 21956 (java) R 21936 21936 15592 0 -1 4202560 4855 0 0 0 62264 3 0 0 20 0 19 0 408095973 15789518848 77385 33554432000 4194304 4196468 140736040650560 140677549058944 140677719355824 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16011264 140736040653807 140736040653978 140736040653978 140736040656847 0
Current children cumulated CPU time: 2520.38 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 310992 KiB
Child status: 143
Real time (s): 638.206
CPU time (s): 2520.73
CPU user time (s): 2515.72
CPU system time (s): 5.01778
CPU usage (%): 394.972
Max. virtual memory (cumulated for all children) (KiB): 15535008
Max. memory (cumulated for all children) (KiB): 467984
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.72
system time used= 5.01778
maximum resident set size= 492780
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 97858
page faults= 0
swaps= 0
block input operations= 8
block output operations= 864
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 46126
involuntary context switches= 46527
# summary of solver processes directly reported to runsolver:
# pid: 21936,21938
# total CPU time (s): 2520.73
# total CPU user time (s): 2515.72
# total CPU system time (s): 5.01778
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.96018 second user time and 7.30036 second system time
The end