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 (8917 MiB free)
memory of node 1: 16384 MiB (15362 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393006-1568318831/watcher-4393006-1568318831 -o /tmp/evaluation-result-4393006-1568318831/solver-4393006-1568318831 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1568309054-15624 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 914899916 HOME/instance-4393006-1568318831.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=22068, runsolver pid=22065
[startup+0.101589 s]*
/proc/loadavg: 8.58 7.67 7.48 8/232 22084
/proc/meminfo: memFree=24845840/32770624 swapFree=66977612/67108860
[pid=22068] ppid=22065 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/22068/stat : 22068 (xcsp3-exec) S 22065 22068 15592 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408140410 115843072 362 33554432000 4194304 5098028 140729631182736 140729631180840 140621880263292 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 7622656 140729631187835 140729631188077 140729631188077 140729631190986 0
/proc/22068/statm: 28282 362 304 221 0 87 0
[pid=22070] ppid=22068 vsize=15144768 memory=28872 CPUtime=0.13 cores=1,3,5,7
/proc/22070/stat : 22070 (java) S 22068 22068 15592 0 -1 1077944320 5710 0 0 0 12 1 0 0 20 0 15 0 408140410 15508242432 7218 33554432000 4194304 4196468 140737173264080 140737173246624 139670609166071 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
/proc/22070/statm: 3786192 7218 3149 1 0 3748377 0
[pid=22070/tid=22071] ppid=22068 vsize=15144768 memory=576460756329955459 CPUtime=0.09 cores=1,3,5,7
/proc/22070/task/22071/stat : 22071 (java) R 22068 22068 15592 0 -1 4202560 3568 0 0 0 8 1 0 0 20 0 15 0 408140410 15508242432 7218 33554432000 4194304 4196468 140737173264080 139670613395712 139670205909287 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
[pid=22070/tid=22072] ppid=22068 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22070/task/22072/stat : 22072 (java) S 22068 22068 15592 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408140411 15508242432 7218 33554432000 4194304 4196468 140737173264080 139670537206160 139670609176277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
[pid=22070/tid=22073] ppid=22068 vsize=15144768 memory=3979123056723842720 CPUtime=0 cores=1,3,5,7
/proc/22070/task/22073/stat : 22073 (java) S 22068 22068 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408140411 15508242432 7218 33554432000 4194304 4196468 140737173264080 139670536153360 139670609176277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
[pid=22070/tid=22074] ppid=22068 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22070/task/22074/stat : 22074 (java) S 22068 22068 15592 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408140411 15508242432 7218 33554432000 4194304 4196468 140737173264080 139670535101072 139670609176277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
[pid=22070/tid=22075] ppid=22068 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22070/task/22075/stat : 22075 (java) S 22068 22068 15592 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408140411 15508242432 7218 33554432000 4194304 4196468 140737173264080 139670534048272 139670609176277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
[pid=22070/tid=22076] ppid=22068 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22070/task/22076/stat : 22076 (java) S 22068 22068 15592 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408140412 15508242432 7218 33554432000 4194304 4196468 140737173264080 139669482781296 139670609177218 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
[pid=22070/tid=22077] ppid=22068 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22070/task/22077/stat : 22077 (java) S 22068 22068 15592 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408140413 15508242432 7218 33554432000 4194304 4196468 140737173264080 139669481727264 139670609176277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
[pid=22070/tid=22078] ppid=22068 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22070/task/22078/stat : 22078 (java) S 22068 22068 15592 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408140413 15508242432 7218 33554432000 4194304 4196468 140737173264080 139669480674928 139670609176277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
[pid=22070/tid=22079] ppid=22068 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22070/task/22079/stat : 22079 (java) S 22068 22068 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408140415 15508242432 7218 33554432000 4194304 4196468 140737173264080 139669479623248 139670609184667 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
[pid=22070/tid=22080] ppid=22068 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22070/task/22080/stat : 22080 (java) R 22068 22068 15592 0 -1 1077944384 456 0 0 0 0 0 0 0 20 0 15 0 408140415 15508242432 7218 33554432000 4194304 4196468 140737173264080 139669478570096 139670609177218 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
[pid=22070/tid=22081] ppid=22068 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22070/task/22081/stat : 22081 (java) R 22068 22068 15592 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 15 0 408140415 15508242432 7218 33554432000 4194304 4196468 140737173264080 139669477517296 139670589038866 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
[pid=22070/tid=22082] ppid=22068 vsize=15144768 memory=139772338329216 CPUtime=0.02 cores=1,3,5,7
/proc/22070/task/22082/stat : 22082 (java) R 22068 22068 15592 0 -1 4202560 379 0 0 0 2 0 0 0 20 0 15 0 408140415 15508242432 7218 33554432000 4194304 4196468 140737173264080 139669476465008 139670587884511 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
[pid=22070/tid=22083] ppid=22068 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22070/task/22083/stat : 22083 (java) S 22068 22068 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408140416 15508242432 7218 33554432000 4194304 4196468 140737173264080 139669475412448 139670609176277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
[pid=22070/tid=22084] ppid=22068 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22070/task/22084/stat : 22084 (java) S 22068 22068 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408140416 15508242432 7218 33554432000 4194304 4196468 140737173264080 139669474360240 139670609177218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30320 KiB
[startup+0.210955 s]*
/proc/loadavg: 8.58 7.67 7.48 8/232 22084
/proc/meminfo: memFree=24832488/32770624 swapFree=66977612/67108860
[pid=22068] ppid=22065 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/22068/stat : 22068 (xcsp3-exec) S 22065 22068 15592 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408140410 115843072 362 33554432000 4194304 5098028 140729631182736 140729631180840 140621880263292 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 7622656 140729631187835 140729631188077 140729631188077 140729631190986 0
/proc/22068/statm: 28282 362 304 221 0 87 0
[pid=22070] ppid=22068 vsize=15144768 memory=41088 CPUtime=0.35 cores=1,3,5,7
/proc/22070/stat : 22070 (java) S 22068 22068 15592 0 -1 1077944320 9476 0 0 0 32 3 0 0 20 0 15 0 408140410 15508242432 10272 33554432000 4194304 4196468 140737173264080 140737173246624 139670609166071 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
/proc/22070/statm: 3786192 10272 3299 1 0 3748377 0
[pid=22070/tid=22071] ppid=22068 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/22070/task/22071/stat : 22071 (java) R 22068 22068 15592 0 -1 4202560 6596 0 0 0 18 2 0 0 20 0 15 0 408140410 15508242432 10272 33554432000 4194304 4196468 140737173264080 139670613403888 139670593246558 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
[pid=22070/tid=22072] ppid=22068 vsize=15144768 memory=1898157 CPUtime=0 cores=1,3,5,7
/proc/22070/task/22072/stat : 22072 (java) S 22068 22068 15592 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408140411 15508242432 10272 33554432000 4194304 4196468 140737173264080 139670537206160 139670609176277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
[pid=22070/tid=22073] ppid=22068 vsize=15144768 memory=139772341180514 CPUtime=0 cores=1,3,5,7
/proc/22070/task/22073/stat : 22073 (java) S 22068 22068 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408140411 15508242432 10272 33554432000 4194304 4196468 140737173264080 139670536153360 139670609176277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
[pid=22070/tid=22074] ppid=22068 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22070/task/22074/stat : 22074 (java) S 22068 22068 15592 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408140411 15508242432 10272 33554432000 4194304 4196468 140737173264080 139670535101072 139670609176277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
[pid=22070/tid=22075] ppid=22068 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22070/task/22075/stat : 22075 (java) S 22068 22068 15592 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408140411 15508242432 10272 33554432000 4194304 4196468 140737173264080 139670534048272 139670609176277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
[pid=22070/tid=22076] ppid=22068 vsize=15144768 memory=139772338329216 CPUtime=0 cores=1,3,5,7
/proc/22070/task/22076/stat : 22076 (java) S 22068 22068 15592 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408140412 15508242432 10272 33554432000 4194304 4196468 140737173264080 139669482781296 139670609177218 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
[pid=22070/tid=22077] ppid=22068 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22070/task/22077/stat : 22077 (java) S 22068 22068 15592 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408140413 15508242432 10272 33554432000 4194304 4196468 140737173264080 139669481727264 139670609176277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
[pid=22070/tid=22078] ppid=22068 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22070/task/22078/stat : 22078 (java) S 22068 22068 15592 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408140413 15508242432 10272 33554432000 4194304 4196468 140737173264080 139669480674928 139670609176277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
[pid=22070/tid=22079] ppid=22068 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22070/task/22079/stat : 22079 (java) S 22068 22068 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408140415 15508242432 10272 33554432000 4194304 4196468 140737173264080 139669479623248 139670609184667 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
[pid=22070/tid=22080] ppid=22068 vsize=15144768 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/22070/task/22080/stat : 22080 (java) S 22068 22068 15592 0 -1 1077944384 553 0 0 0 2 0 0 0 20 0 15 0 408140415 15508242432 10272 33554432000 4194304 4196468 140737173264080 139669478570096 139670609177218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
[pid=22070/tid=22081] ppid=22068 vsize=15144768 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/22070/task/22081/stat : 22081 (java) R 22068 22068 15592 0 -1 1077944384 227 0 0 0 2 0 0 0 20 0 15 0 408140415 15508242432 10272 33554432000 4194304 4196468 140737173264080 139669477517296 139670609177218 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
[pid=22070/tid=22082] ppid=22068 vsize=15144768 memory=139772338329216 CPUtime=0.08 cores=1,3,5,7
/proc/22070/task/22082/stat : 22082 (java) S 22068 22068 15592 0 -1 1077944384 797 0 0 0 8 0 0 0 20 0 15 0 408140415 15508242432 10272 33554432000 4194304 4196468 140737173264080 139669476465008 139670609177218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
[pid=22070/tid=22083] ppid=22068 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22070/task/22083/stat : 22083 (java) S 22068 22068 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408140416 15508242432 10272 33554432000 4194304 4196468 140737173264080 139669475412448 139670609176277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
[pid=22070/tid=22084] ppid=22068 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22070/task/22084/stat : 22084 (java) S 22068 22068 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408140416 15508242432 10272 33554432000 4194304 4196468 140737173264080 139669474360240 139670609177218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42536 KiB
[startup+0.31662 s]*
/proc/loadavg: 8.58 7.67 7.48 7/232 22084
/proc/meminfo: memFree=24824844/32770624 swapFree=66977612/67108860
[pid=22068] ppid=22065 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/22068/stat : 22068 (xcsp3-exec) S 22065 22068 15592 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408140410 115843072 362 33554432000 4194304 5098028 140729631182736 140729631180840 140621880263292 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 7622656 140729631187835 140729631188077 140729631188077 140729631190986 0
/proc/22068/statm: 28282 362 304 221 0 87 0
[pid=22070] ppid=22068 vsize=15149024 memory=50660 CPUtime=0.54 cores=1,3,5,7
/proc/22070/stat : 22070 (java) S 22068 22068 15592 0 -1 1077944320 10946 0 0 0 51 3 0 0 20 0 15 0 408140410 15512600576 12665 33554432000 4194304 4196468 140737173264080 140737173246624 139670609166071 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
/proc/22070/statm: 3787256 12665 3360 1 0 3748377 0
[pid=22070/tid=22071] ppid=22068 vsize=15149024 memory=8317482817917895235 CPUtime=0.3 cores=1,3,5,7
/proc/22070/task/22071/stat : 22071 (java) R 22068 22068 15592 0 -1 4202560 7855 0 0 0 28 2 0 0 20 0 15 0 408140410 15512600576 12673 33554432000 4194304 4196468 140737173264080 139670613393840 139670593246558 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
[pid=22070/tid=22072] ppid=22068 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/22070/task/22072/stat : 22072 (java) S 22068 22068 15592 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408140411 15512600576 12673 33554432000 4194304 4196468 140737173264080 139670537206160 139670609176277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
[pid=22070/tid=22073] ppid=22068 vsize=15149024 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/22070/task/22073/stat : 22073 (java) S 22068 22068 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408140411 15512600576 12673 33554432000 4194304 4196468 140737173264080 139670536153360 139670609176277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
[pid=22070/tid=22074] ppid=22068 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/22070/task/22074/stat : 22074 (java) S 22068 22068 15592 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408140411 15512600576 12673 33554432000 4194304 4196468 140737173264080 139670535101072 139670609176277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
[pid=22070/tid=22075] ppid=22068 vsize=15149024 memory=-4190076264842474805 CPUtime=0 cores=1,3,5,7
/proc/22070/task/22075/stat : 22075 (java) S 22068 22068 15592 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408140411 15512600576 12673 33554432000 4194304 4196468 140737173264080 139670534048272 139670609176277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
[pid=22070/tid=22076] ppid=22068 vsize=15149024 memory=-6945283279944138911 CPUtime=0 cores=1,3,5,7
/proc/22070/task/22076/stat : 22076 (java) S 22068 22068 15592 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408140412 15512600576 12673 33554432000 4194304 4196468 140737173264080 139669482781296 139670609177218 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
[pid=22070/tid=22077] ppid=22068 vsize=15149024 memory=6944656425123485561 CPUtime=0 cores=1,3,5,7
/proc/22070/task/22077/stat : 22077 (java) S 22068 22068 15592 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408140413 15512600576 12673 33554432000 4194304 4196468 140737173264080 139669481727264 139670609176277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
[pid=22070/tid=22078] ppid=22068 vsize=15149024 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/22070/task/22078/stat : 22078 (java) S 22068 22068 15592 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408140413 15512600576 12673 33554432000 4194304 4196468 140737173264080 139669480674928 139670609176277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
[pid=22070/tid=22079] ppid=22068 vsize=15149024 memory=4627853888499060086 CPUtime=0 cores=1,3,5,7
/proc/22070/task/22079/stat : 22079 (java) S 22068 22068 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408140415 15512600576 12673 33554432000 4194304 4196468 140737173264080 139669479623248 139670609184667 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
[pid=22070/tid=22080] ppid=22068 vsize=15149024 memory=7827413994055111515 CPUtime=0.04 cores=1,3,5,7
/proc/22070/task/22080/stat : 22080 (java) S 22068 22068 15592 0 -1 1077944384 561 0 0 0 4 0 0 0 20 0 15 0 408140415 15512600576 12673 33554432000 4194304 4196468 140737173264080 139669478570096 139670609177218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
[pid=22070/tid=22081] ppid=22068 vsize=15149024 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/22070/task/22081/stat : 22081 (java) S 22068 22068 15592 0 -1 1077944384 341 0 0 0 5 0 0 0 20 0 15 0 408140415 15512600576 12673 33554432000 4194304 4196468 140737173264080 139669477517296 139670609177218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
[pid=22070/tid=22082] ppid=22068 vsize=15149024 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/22070/task/22082/stat : 22082 (java) S 22068 22068 15592 0 -1 1077944384 894 0 0 0 12 0 0 0 20 0 15 0 408140415 15512600576 12673 33554432000 4194304 4196468 140737173264080 139669476465008 139670609177218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
[pid=22070/tid=22083] ppid=22068 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22070/task/22083/stat : 22083 (java) S 22068 22068 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408140416 15512600576 12673 33554432000 4194304 4196468 140737173264080 139669475412448 139670609176277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
[pid=22070/tid=22084] ppid=22068 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22070/task/22084/stat : 22084 (java) S 22068 22068 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408140416 15512600576 12673 33554432000 4194304 4196468 140737173264080 139669474360240 139670609177218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 52108 KiB
[startup+0.708619 s]
/proc/loadavg: 8.58 7.67 7.48 10/233 22086
/proc/meminfo: memFree=24809848/32770624 swapFree=66977612/67108860
[pid=22068] ppid=22065 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/22068/stat : 22068 (xcsp3-exec) S 22065 22068 15592 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408140410 115843072 362 33554432000 4194304 5098028 140729631182736 140729631180840 140621880263292 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 7622656 140729631187835 140729631188077 140729631188077 140729631190986 0
/proc/22068/statm: 28282 362 304 221 0 87 0
[pid=22070] ppid=22068 vsize=15417404 memory=85088 CPUtime=1.61 cores=1,3,5,7
/proc/22070/stat : 22070 (java) S 22068 22068 15592 0 -1 1077944320 15605 0 0 0 155 6 0 0 20 0 19 0 408140410 15787421696 21272 33554432000 4194304 4196468 140737173264080 140737173246624 139670609166071 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
/proc/22070/statm: 3854351 21272 3460 1 0 3815453 0
[pid=22070/tid=22071] ppid=22068 vsize=15417404 memory=-3704326594973231466 CPUtime=0.59 cores=1,3,5,7
/proc/22070/task/22071/stat : 22071 (java) S 22068 22068 15592 0 -1 1077944384 9300 0 0 0 56 3 0 0 20 0 19 0 408140410 15787421696 21272 33554432000 4194304 4196468 140737173264080 139670613406848 139670609176277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
[pid=22070/tid=22072] ppid=22068 vsize=15417404 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22070/task/22072/stat : 22072 (java) S 22068 22068 15592 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 408140411 15787421696 21272 33554432000 4194304 4196468 140737173264080 139670537206160 139670609176277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
[pid=22070/tid=22073] ppid=22068 vsize=15417404 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22070/task/22073/stat : 22073 (java) S 22068 22068 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 408140411 15787421696 21272 33554432000 4194304 4196468 140737173264080 139670536153360 139670609176277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
[pid=22070/tid=22074] ppid=22068 vsize=15417404 memory=704 CPUtime=0 cores=1,3,5,7
/proc/22070/task/22074/stat : 22074 (java) S 22068 22068 15592 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 408140411 15787421696 21272 33554432000 4194304 4196468 140737173264080 139670535101072 139670609176277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
[pid=22070/tid=22075] ppid=22068 vsize=15417404 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/22070/task/22075/stat : 22075 (java) S 22068 22068 15592 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 408140411 15787421696 21272 33554432000 4194304 4196468 140737173264080 139670534048272 139670609176277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
[pid=22070/tid=22076] ppid=22068 vsize=15417404 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/22070/task/22076/stat : 22076 (java) S 22068 22068 15592 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 408140412 15787421696 21272 33554432000 4194304 4196468 140737173264080 139669482781296 139670609177218 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
[pid=22070/tid=22077] ppid=22068 vsize=15417404 memory=780 CPUtime=0 cores=1,3,5,7
/proc/22070/task/22077/stat : 22077 (java) S 22068 22068 15592 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 408140413 15787421696 21272 33554432000 4194304 4196468 140737173264080 139669481727264 139670609176277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
[pid=22070/tid=22078] ppid=22068 vsize=15417404 memory=3252 CPUtime=0 cores=1,3,5,7
/proc/22070/task/22078/stat : 22078 (java) S 22068 22068 15592 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 408140413 15787421696 21272 33554432000 4194304 4196468 140737173264080 139669480674928 139670609176277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
[pid=22070/tid=22079] ppid=22068 vsize=15417404 memory=1112 CPUtime=0 cores=1,3,5,7
/proc/22070/task/22079/stat : 22079 (java) S 22068 22068 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408140415 15787421696 21272 33554432000 4194304 4196468 140737173264080 139669479623248 139670609184667 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
[pid=22070/tid=22080] ppid=22068 vsize=15417404 memory=5952 CPUtime=0.18 cores=1,3,5,7
/proc/22070/task/22080/stat : 22080 (java) D 22068 22068 15592 0 -1 4202560 1306 0 0 0 18 0 0 0 20 0 19 0 408140415 15787421696 21272 33554432000 4194304 4196468 140737173264080 139669478552472 139670588593781 0 4 0 16800975 18446744071582151416 0 0 -1 3 0 0 0 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
[pid=22070/tid=22081] ppid=22068 vsize=15417404 memory=7552 CPUtime=0.21 cores=1,3,5,7
/proc/22070/task/22081/stat : 22081 (java) R 22068 22068 15592 0 -1 4202560 1134 0 0 0 21 0 0 0 20 0 19 0 408140415 15787421696 21272 33554432000 4194304 4196468 140737173264080 139669477496376 139670601883223 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
[pid=22070/tid=22082] ppid=22068 vsize=15417404 memory=2832 CPUtime=0.37 cores=1,3,5,7
/proc/22070/task/22082/stat : 22082 (java) D 22068 22068 15592 0 -1 4202560 1860 0 0 0 37 0 0 0 20 0 19 0 408140415 15787421696 21272 33554432000 4194304 4196468 140737173264080 139669476460920 139670589133190 0 4 0 16800975 18446744071582151416 0 0 -1 5 0 0 0 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
[pid=22070/tid=22083] ppid=22068 vsize=15417404 memory=1084 CPUtime=0 cores=1,3,5,7
/proc/22070/task/22083/stat : 22083 (java) S 22068 22068 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408140416 15787421696 21272 33554432000 4194304 4196468 140737173264080 139669475412448 139670609176277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
[pid=22070/tid=22084] ppid=22068 vsize=15417404 memory=14012 CPUtime=0 cores=1,3,5,7
/proc/22070/task/22084/stat : 22084 (java) S 22068 22068 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 408140416 15787421696 21272 33554432000 4194304 4196468 140737173264080 139669474360240 139670609177218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
Current children cumulated CPU time: 1.61 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 86536 KiB
[startup+1.50162 s]
/proc/loadavg: 8.58 7.67 7.48 13/237 22090
/proc/meminfo: memFree=24771516/32770624 swapFree=66977612/67108860
[pid=22068] ppid=22065 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/22068/stat : 22068 (xcsp3-exec) S 22065 22068 15592 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408140410 115843072 362 33554432000 4194304 5098028 140729631182736 140729631180840 140621880263292 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 7622656 140729631187835 140729631188077 140729631188077 140729631190986 0
/proc/22068/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/22070/stat : 22070 (java) S 22068 22068 15592 0 -1 1077944320 87687 0 0 0 205824 350 0 0 20 0 19 0 408140410 15789518848 92369 33554432000 4194304 4196468 140737173264080 140737173246624 139670609166071 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
/proc/22070/statm: 3854863 92369 3540 1 0 3815965 0
[pid=22070/tid=22071] ppid=22068 vsize=15419452 memory=369476 CPUtime=0.59 cores=1,3,5,7
/proc/22070/task/22071/stat : 22071 (java) S 22068 22068 15592 0 -1 1077944384 9300 0 0 0 56 3 0 0 20 0 19 0 408140410 15789518848 92369 33554432000 4194304 4196468 140737173264080 139670613406848 139670609176277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
[pid=22070/tid=22072] ppid=22068 vsize=15419452 memory=1448 CPUtime=1.55 cores=1,3,5,7
/proc/22070/task/22072/stat : 22072 (java) S 22068 22068 15592 0 -1 1077944384 2076 0 0 0 146 9 0 0 20 0 19 0 408140411 15789518848 92369 33554432000 4194304 4196468 140737173264080 139670537206160 139670609176277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
[pid=22070/tid=22073] ppid=22068 vsize=15419452 memory=1448 CPUtime=1.54 cores=1,3,5,7
/proc/22070/task/22073/stat : 22073 (java) S 22068 22068 15592 0 -1 1077944384 2901 0 0 0 146 8 0 0 20 0 19 0 408140411 15789518848 92369 33554432000 4194304 4196468 140737173264080 139670536153360 139670609176277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
[pid=22070/tid=22074] ppid=22068 vsize=15419452 memory=355140 CPUtime=1.53 cores=1,3,5,7
/proc/22070/task/22074/stat : 22074 (java) S 22068 22068 15592 0 -1 1077944384 2085 0 0 0 145 8 0 0 20 0 19 0 408140411 15789518848 92369 33554432000 4194304 4196468 140737173264080 139670535101072 139670609176277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
[pid=22070/tid=22075] ppid=22068 vsize=15419452 memory=355140 CPUtime=1.54 cores=1,3,5,7
/proc/22070/task/22075/stat : 22075 (java) S 22068 22068 15592 0 -1 1077944384 2821 0 0 0 146 8 0 0 20 0 19 0 408140411 15789518848 92369 33554432000 4194304 4196468 140737173264080 139670534048272 139670609176277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
[pid=22070/tid=22076] ppid=22068 vsize=15419452 memory=1448 CPUtime=4.77 cores=1,3,5,7
/proc/22070/task/22076/stat : 22076 (java) S 22068 22068 15592 0 -1 1077944384 10391 0 0 0 164 313 0 0 20 0 19 0 408140412 15789518848 92369 33554432000 4194304 4196468 140737173264080 139669482781296 139670609177218 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
[pid=22070/tid=22077] ppid=22068 vsize=15419452 memory=369476 CPUtime=0 cores=1,3,5,7
/proc/22070/task/22077/stat : 22077 (java) S 22068 22068 15592 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 19 0 408140413 15789518848 92369 33554432000 4194304 4196468 140737173264080 139669481727328 139670609176277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
[pid=22070/tid=22078] ppid=22068 vsize=15419452 memory=369476 CPUtime=0 cores=1,3,5,7
/proc/22070/task/22078/stat : 22078 (java) S 22068 22068 15592 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 19 0 408140413 15789518848 92369 33554432000 4194304 4196468 140737173264080 139669480674944 139670609176277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
[pid=22070/tid=22079] ppid=22068 vsize=15419452 memory=369476 CPUtime=0 cores=1,3,5,7
/proc/22070/task/22079/stat : 22079 (java) S 22068 22068 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408140415 15789518848 92369 33554432000 4194304 4196468 140737173264080 139669479623248 139670609184667 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
[pid=22070/tid=22080] ppid=22068 vsize=15419452 memory=1448 CPUtime=3.73 cores=1,3,5,7
/proc/22070/task/22080/stat : 22080 (java) S 22068 22068 15592 0 -1 1077944384 17019 0 0 0 371 2 0 0 20 0 19 0 408140415 15789518848 92369 33554432000 4194304 4196468 140737173264080 139669478570096 139670609177218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
[pid=22070/tid=22081] ppid=22068 vsize=15419452 memory=1448 CPUtime=4.08 cores=1,3,5,7
/proc/22070/task/22081/stat : 22081 (java) S 22068 22068 15592 0 -1 1077944384 20515 0 0 0 406 2 0 0 20 0 19 0 408140415 15789518848 92369 33554432000 4194304 4196468 140737173264080 139669477517296 139670609177218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
[pid=22070/tid=22082] ppid=22068 vsize=15419452 memory=1448 CPUtime=0.68 cores=1,3,5,7
/proc/22070/task/22082/stat : 22082 (java) S 22068 22068 15592 0 -1 1077944384 7671 0 0 0 67 1 0 0 20 0 19 0 408140415 15789518848 92369 33554432000 4194304 4196468 140737173264080 139669476465008 139670609177218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 31 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
[pid=22070/tid=22083] ppid=22068 vsize=15419452 memory=3616 CPUtime=0 cores=1,3,5,7
/proc/22070/task/22083/stat : 22083 (java) S 22068 22068 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408140416 15789518848 92369 33554432000 4194304 4196468 140737173264080 139669475412448 139670609176277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
[pid=22070/tid=22084] ppid=22068 vsize=15419452 memory=38204 CPUtime=0.15 cores=1,3,5,7
/proc/22070/task/22084/stat : 22084 (java) S 22068 22068 15592 0 -1 1077944384 514 0 0 0 5 10 0 0 20 0 19 0 408140416 15789518848 92369 33554432000 4194304 4196468 140737173264080 139669474360240 139670609177218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 34 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
[pid=22070/tid=22087] ppid=22068 vsize=15419452 memory=6791534058613427641 CPUtime=509.9 cores=1,3,5,7
/proc/22070/task/22087/stat : 22087 (java) R 22068 22068 15592 0 -1 4202560 2429 0 0 0 50988 2 0 0 20 0 19 0 408140472 15789518848 92369 33554432000 4194304 4196468 140737173264080 139669465386216 139670211709758 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
[pid=22070/tid=22088] ppid=22068 vsize=15419452 memory=347716 CPUtime=509.78 cores=1,3,5,7
/proc/22070/task/22088/stat : 22088 (java) R 22068 22068 15592 0 -1 4202560 2222 0 0 0 50975 3 0 0 20 0 19 0 408140472 15789518848 92369 33554432000 4194304 4196468 140737173264080 139669464335048 139670593538368 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
[pid=22070/tid=22089] ppid=22068 vsize=15419452 memory=1448 CPUtime=512.51 cores=1,3,5,7
/proc/22070/task/22089/stat : 22089 (java) R 22068 22068 15592 0 -1 4202560 2297 0 0 0 51248 3 0 0 20 0 19 0 408140472 15789518848 92369 33554432000 4194304 4196468 140737173264080 139669463281792 139670214471661 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
[pid=22070/tid=22090] ppid=22068 vsize=15419452 memory=369476 CPUtime=509.27 cores=1,3,5,7
/proc/22070/task/22090/stat : 22090 (java) R 22068 22068 15592 0 -1 4202560 4084 0 0 0 50924 3 0 0 20 0 19 0 408140472 15789518848 92369 33554432000 4194304 4196468 140737173264080 139669462231456 139670214471853 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
Current children cumulated CPU time: 2061.74 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 370924 KiB
[startup+582.302 s]
/proc/loadavg: 8.58 8.45 8.02 9/236 22245
/proc/meminfo: memFree=24363160/32770624 swapFree=66977612/67108860
[pid=22068] ppid=22065 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/22068/stat : 22068 (xcsp3-exec) S 22065 22068 15592 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408140410 115843072 362 33554432000 4194304 5098028 140729631182736 140729631180840 140621880263292 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 7622656 140729631187835 140729631188077 140729631188077 140729631190986 0
/proc/22068/statm: 28282 362 304 221 0 87 0
[pid=22070] ppid=22068 vsize=15419452 memory=370484 CPUtime=2297.99 cores=1,3,5,7
/proc/22070/stat : 22070 (java) S 22068 22068 15592 0 -1 1077944320 91879 0 0 0 229377 422 0 0 20 0 19 0 408140410 15789518848 92621 33554432000 4194304 4196468 140737173264080 140737173246624 139670609166071 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
/proc/22070/statm: 3854863 92621 3540 1 0 3815965 0
[pid=22070/tid=22071] ppid=22068 vsize=15419452 memory=370484 CPUtime=0.59 cores=1,3,5,7
/proc/22070/task/22071/stat : 22071 (java) S 22068 22068 15592 0 -1 1077944384 9300 0 0 0 56 3 0 0 20 0 19 0 408140410 15789518848 92621 33554432000 4194304 4196468 140737173264080 139670613406848 139670609176277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
[pid=22070/tid=22072] ppid=22068 vsize=15419452 memory=369476 CPUtime=1.75 cores=1,3,5,7
/proc/22070/task/22072/stat : 22072 (java) R 22068 22068 15592 0 -1 1077944384 2636 0 0 0 166 9 0 0 20 0 19 0 408140411 15789518848 92621 33554432000 4194304 4196468 140737173264080 139670537206160 139670609176277 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
[pid=22070/tid=22073] ppid=22068 vsize=15419452 memory=369740 CPUtime=1.74 cores=1,3,5,7
/proc/22070/task/22073/stat : 22073 (java) R 22068 22068 15592 0 -1 4202560 3270 0 0 0 166 8 0 0 20 0 19 0 408140411 15789518848 92621 33554432000 4194304 4196468 140737173264080 139670536153360 139670588361101 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
[pid=22070/tid=22074] ppid=22068 vsize=15419452 memory=371788 CPUtime=1.74 cores=1,3,5,7
/proc/22070/task/22074/stat : 22074 (java) S 22068 22068 15592 0 -1 1077944384 2178 0 0 0 166 8 0 0 20 0 19 0 408140411 15789518848 92621 33554432000 4194304 4196468 140737173264080 139670535101072 139670609176277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
[pid=22070/tid=22075] ppid=22068 vsize=15419452 memory=371788 CPUtime=1.75 cores=1,3,5,7
/proc/22070/task/22075/stat : 22075 (java) R 22068 22068 15592 0 -1 1077944384 2931 0 0 0 166 9 0 0 20 0 19 0 408140411 15789518848 92621 33554432000 4194304 4196468 140737173264080 139670534048272 139670609176277 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
[pid=22070/tid=22076] ppid=22068 vsize=15419452 memory=370484 CPUtime=5.76 cores=1,3,5,7
/proc/22070/task/22076/stat : 22076 (java) S 22068 22068 15592 0 -1 1077944384 12245 0 0 0 191 385 0 0 20 0 19 0 408140412 15789518848 92621 33554432000 4194304 4196468 140737173264080 139669482779808 139670609176277 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
[pid=22070/tid=22077] ppid=22068 vsize=15419452 memory=370484 CPUtime=0 cores=1,3,5,7
/proc/22070/task/22077/stat : 22077 (java) S 22068 22068 15592 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 19 0 408140413 15789518848 92621 33554432000 4194304 4196468 140737173264080 139669481727328 139670609176277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
[pid=22070/tid=22078] ppid=22068 vsize=15419452 memory=370484 CPUtime=0 cores=1,3,5,7
/proc/22070/task/22078/stat : 22078 (java) S 22068 22068 15592 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 19 0 408140413 15789518848 92621 33554432000 4194304 4196468 140737173264080 139669480674944 139670609176277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
[pid=22070/tid=22079] ppid=22068 vsize=15419452 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/22070/task/22079/stat : 22079 (java) S 22068 22068 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408140415 15789518848 92621 33554432000 4194304 4196468 140737173264080 139669479623248 139670609184667 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
[pid=22070/tid=22080] ppid=22068 vsize=15419452 memory=370484 CPUtime=3.73 cores=1,3,5,7
/proc/22070/task/22080/stat : 22080 (java) S 22068 22068 15592 0 -1 1077944384 17021 0 0 0 371 2 0 0 20 0 19 0 408140415 15789518848 92621 33554432000 4194304 4196468 140737173264080 139669478570096 139670609177218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
[pid=22070/tid=22081] ppid=22068 vsize=15419452 memory=370484 CPUtime=4.08 cores=1,3,5,7
/proc/22070/task/22081/stat : 22081 (java) S 22068 22068 15592 0 -1 1077944384 20784 0 0 0 406 2 0 0 20 0 19 0 408140415 15789518848 92621 33554432000 4194304 4196468 140737173264080 139669477517296 139670609177218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
[pid=22070/tid=22082] ppid=22068 vsize=15419452 memory=370484 CPUtime=0.68 cores=1,3,5,7
/proc/22070/task/22082/stat : 22082 (java) S 22068 22068 15592 0 -1 1077944384 7698 0 0 0 67 1 0 0 20 0 19 0 408140415 15789518848 92621 33554432000 4194304 4196468 140737173264080 139669476465008 139670609177218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 31 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
[pid=22070/tid=22083] ppid=22068 vsize=15419452 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/22070/task/22083/stat : 22083 (java) S 22068 22068 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408140416 15789518848 92621 33554432000 4194304 4196468 140737173264080 139669475412448 139670609176277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
[pid=22070/tid=22084] ppid=22068 vsize=15419452 memory=3616 CPUtime=0.16 cores=1,3,5,7
/proc/22070/task/22084/stat : 22084 (java) S 22068 22068 15592 0 -1 1077944384 521 0 0 0 5 11 0 0 20 0 19 0 408140416 15789518848 92621 33554432000 4194304 4196468 140737173264080 139669474360240 139670609177218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 34 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
[pid=22070/tid=22087] ppid=22068 vsize=15419452 memory=370484 CPUtime=568.28 cores=1,3,5,7
/proc/22070/task/22087/stat : 22087 (java) S 22068 22068 15592 0 -1 1077944384 2516 0 0 0 56826 2 0 0 20 0 19 0 408140472 15789518848 92621 33554432000 4194304 4196468 140737173264080 139669465386208 139670609176277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
[pid=22070/tid=22088] ppid=22068 vsize=15419452 memory=1448 CPUtime=568.23 cores=1,3,5,7
/proc/22070/task/22088/stat : 22088 (java) S 22068 22068 15592 0 -1 1077944384 2347 0 0 0 56820 3 0 0 20 0 19 0 408140472 15789518848 92621 33554432000 4194304 4196468 140737173264080 139669464334912 139670609176277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
[pid=22070/tid=22089] ppid=22068 vsize=15419452 memory=370484 CPUtime=571.67 cores=1,3,5,7
/proc/22070/task/22089/stat : 22089 (java) S 22068 22068 15592 0 -1 1077944384 2330 0 0 0 57163 4 0 0 20 0 19 0 408140472 15789518848 92621 33554432000 4194304 4196468 140737173264080 139669463281936 139670609176277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
[pid=22070/tid=22090] ppid=22068 vsize=15419452 memory=912 CPUtime=567.68 cores=1,3,5,7
/proc/22070/task/22090/stat : 22090 (java) S 22068 22068 15592 0 -1 1077944384 4740 0 0 0 56765 3 0 0 20 0 19 0 408140472 15789518848 92621 33554432000 4194304 4196468 140737173264080 139669462231664 139670609176277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
Current children cumulated CPU time: 2297.99 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 371932 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+638.605 s]
/proc/loadavg: 8.55 8.46 8.06 10/237 22251
/proc/meminfo: memFree=24225144/32770624 swapFree=66977612/67108860
[pid=22068] ppid=22065 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/22068/stat : 22068 (xcsp3-exec) S 22065 22068 15592 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408140410 115843072 362 33554432000 4194304 5098028 140729631182736 140729631180840 140621880263292 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 7622656 140729631187835 140729631188077 140729631188077 140729631190986 0
/proc/22068/statm: 28282 362 304 221 0 87 0
[pid=22070] ppid=22068 vsize=15419452 memory=448552 CPUtime=2520.13 cores=1,3,5,7
/proc/22070/stat : 22070 (java) S 22068 22068 15592 0 -1 1077944320 96983 0 0 0 251541 472 0 0 20 0 19 0 408140410 15789518848 112138 33554432000 4194304 4196468 140737173264080 140737173246624 139670609166071 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
/proc/22070/statm: 3854863 112138 3540 1 0 3815965 0
[pid=22070/tid=22071] ppid=22068 vsize=15419452 memory=20236 CPUtime=0.59 cores=1,3,5,7
/proc/22070/task/22071/stat : 22071 (java) S 22068 22068 15592 0 -1 1077944384 9300 0 0 0 56 3 0 0 20 0 19 0 408140410 15789518848 112138 33554432000 4194304 4196468 140737173264080 139670613406848 139670609176277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
[pid=22070/tid=22072] ppid=22068 vsize=15419452 memory=2120 CPUtime=2.02 cores=1,3,5,7
/proc/22070/task/22072/stat : 22072 (java) S 22068 22068 15592 0 -1 1077944384 2796 0 0 0 192 10 0 0 20 0 19 0 408140411 15789518848 112138 33554432000 4194304 4196468 140737173264080 139670537206160 139670609176277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
[pid=22070/tid=22073] ppid=22068 vsize=15419452 memory=164 CPUtime=2 cores=1,3,5,7
/proc/22070/task/22073/stat : 22073 (java) S 22068 22068 15592 0 -1 1077944384 3457 0 0 0 191 9 0 0 20 0 19 0 408140411 15789518848 112138 33554432000 4194304 4196468 140737173264080 139670536153360 139670609176277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
[pid=22070/tid=22074] ppid=22068 vsize=15419452 memory=-4866526899798303339 CPUtime=1.99 cores=1,3,5,7
/proc/22070/task/22074/stat : 22074 (java) S 22068 22068 15592 0 -1 1077944384 2386 0 0 0 190 9 0 0 20 0 19 0 408140411 15789518848 112138 33554432000 4194304 4196468 140737173264080 139670535101072 139670609176277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
[pid=22070/tid=22075] ppid=22068 vsize=15419452 memory=6656426216303648864 CPUtime=2.02 cores=1,3,5,7
/proc/22070/task/22075/stat : 22075 (java) S 22068 22068 15592 0 -1 1077944384 3265 0 0 0 192 10 0 0 20 0 19 0 408140411 15789518848 112138 33554432000 4194304 4196468 140737173264080 139670534048272 139670609176277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
[pid=22070/tid=22076] ppid=22068 vsize=15419452 memory=6656426216303648864 CPUtime=6.47 cores=1,3,5,7
/proc/22070/task/22076/stat : 22076 (java) S 22068 22068 15592 0 -1 1077944384 14018 0 0 0 214 433 0 0 20 0 19 0 408140412 15789518848 112138 33554432000 4194304 4196468 140737173264080 139669482781296 139670609177218 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
[pid=22070/tid=22077] ppid=22068 vsize=15419452 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/22070/task/22077/stat : 22077 (java) S 22068 22068 15592 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 19 0 408140413 15789518848 112138 33554432000 4194304 4196468 140737173264080 139669481727328 139670609176277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
[pid=22070/tid=22078] ppid=22068 vsize=15419452 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/22070/task/22078/stat : 22078 (java) S 22068 22068 15592 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 19 0 408140413 15789518848 112138 33554432000 4194304 4196468 140737173264080 139669480674944 139670609176277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
[pid=22070/tid=22079] ppid=22068 vsize=15419452 memory=448460 CPUtime=0 cores=1,3,5,7
/proc/22070/task/22079/stat : 22079 (java) S 22068 22068 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408140415 15789518848 112138 33554432000 4194304 4196468 140737173264080 139669479623248 139670609184667 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
[pid=22070/tid=22080] ppid=22068 vsize=15419452 memory=448460 CPUtime=3.73 cores=1,3,5,7
/proc/22070/task/22080/stat : 22080 (java) S 22068 22068 15592 0 -1 1077944384 17022 0 0 0 371 2 0 0 20 0 19 0 408140415 15789518848 112138 33554432000 4194304 4196468 140737173264080 139669478570096 139670609177218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
[pid=22070/tid=22081] ppid=22068 vsize=15419452 memory=1556 CPUtime=4.08 cores=1,3,5,7
/proc/22070/task/22081/stat : 22081 (java) S 22068 22068 15592 0 -1 1077944384 20785 0 0 0 406 2 0 0 20 0 19 0 408140415 15789518848 112138 33554432000 4194304 4196468 140737173264080 139669477517296 139670609177218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
[pid=22070/tid=22082] ppid=22068 vsize=15419452 memory=780 CPUtime=0.68 cores=1,3,5,7
/proc/22070/task/22082/stat : 22082 (java) S 22068 22068 15592 0 -1 1077944384 7711 0 0 0 67 1 0 0 20 0 19 0 408140415 15789518848 112138 33554432000 4194304 4196468 140737173264080 139669476465008 139670609177218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 31 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
[pid=22070/tid=22083] ppid=22068 vsize=15419452 memory=3252 CPUtime=0 cores=1,3,5,7
/proc/22070/task/22083/stat : 22083 (java) S 22068 22068 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408140416 15789518848 112138 33554432000 4194304 4196468 140737173264080 139669475412448 139670609176277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
[pid=22070/tid=22084] ppid=22068 vsize=15419452 memory=1112 CPUtime=0.18 cores=1,3,5,7
/proc/22070/task/22084/stat : 22084 (java) S 22068 22068 15592 0 -1 1077944384 536 0 0 0 6 12 0 0 20 0 19 0 408140416 15789518848 112138 33554432000 4194304 4196468 140737173264080 139669474360240 139670609177218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 34 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
[pid=22070/tid=22087] ppid=22068 vsize=15419452 memory=5952 CPUtime=623.36 cores=1,3,5,7
/proc/22070/task/22087/stat : 22087 (java) R 22068 22068 15592 0 -1 4202560 2876 0 0 0 62333 3 0 0 20 0 19 0 408140472 15789518848 112138 33554432000 4194304 4196468 140737173264080 139669465388960 139670212276274 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
[pid=22070/tid=22088] ppid=22068 vsize=15419452 memory=1756 CPUtime=623.17 cores=1,3,5,7
/proc/22070/task/22088/stat : 22088 (java) R 22068 22068 15592 0 -1 4202560 2606 0 0 0 62314 3 0 0 20 0 19 0 408140472 15789518848 112138 33554432000 4194304 4196468 140737173264080 139669464334288 139670213598513 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
[pid=22070/tid=22089] ppid=22068 vsize=15419452 memory=1440 CPUtime=627.08 cores=1,3,5,7
/proc/22070/task/22089/stat : 22089 (java) R 22068 22068 15592 0 -1 4202560 2560 0 0 0 62704 4 0 0 20 0 19 0 408140472 15789518848 112138 33554432000 4194304 4196468 140737173264080 139669463281592 139670211758817 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
[pid=22070/tid=22090] ppid=22068 vsize=15419452 memory=912 CPUtime=622.64 cores=1,3,5,7
/proc/22070/task/22090/stat : 22090 (java) R 22068 22068 15592 0 -1 4202560 6303 0 0 0 62260 4 0 0 20 0 19 0 408140472 15789518848 112138 33554432000 4194304 4196468 140737173264080 139669462228936 139670214471675 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24166400 140737173267439 140737173267610 140737173267610 140737173270479 0
Current children cumulated CPU time: 2520.13 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 450000 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+638.639 s]
# the end of solver process 22068 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001167 s, system=0.001167 s
[startup+638.693 s]
# the end of solver process 22070 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.75 s, system=4.73018 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
Child status: 143
Real time (s): 638.693
CPU time (s): 2520.48
CPU user time (s): 2515.75
CPU system time (s): 4.73018
CPU usage (%): 394.631
Max. virtual memory (cumulated for all children) (KiB): 15535012
Max. memory (cumulated for all children) (KiB): 473772
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.75
system time used= 4.73018
maximum resident set size= 503492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 97711
page faults= 0
swaps= 0
block input operations= 0
block output operations= 816
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 50229
involuntary context switches= 45144
# summary of solver processes directly reported to runsolver:
# pid: 22068,22070
# total CPU time (s): 2520.48
# total CPU user time (s): 2515.75
# total CPU system time (s): 4.73018
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.03315 second user time and 7.24672 second system time
The end