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 (4895 MiB free)
memory of node 1: 16384 MiB (4673 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4404102-1568991546/watcher-4404102-1568991546 -o /tmp/evaluation-result-4404102-1568991546/solver-4404102-1568991546 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568991261-14402 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1937244825 HOME/instance-4404102-1568991546.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=16087, runsolver pid=16084
[startup+0.100133 s]*
/proc/loadavg: 7.85 4.73 2.63 8/233 16103
/proc/meminfo: memFree=9782768/32770624 swapFree=66999216/67108860
[pid=16087] ppid=16084 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/16087/stat : 16087 (xcsp3-exec) S 16084 16087 14371 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475407621 115843072 363 33554432000 4194304 5098028 140731715901488 140731715899592 140591484576380 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26931200 140731715904378 140731715904621 140731715904621 140731715907530 0
/proc/16087/statm: 28282 363 304 221 0 87 0
[pid=16089] ppid=16087 vsize=15144776 memory=28744 CPUtime=0.12 cores=0,2,4,6
/proc/16089/stat : 16089 (java) S 16087 16087 14371 0 -1 1077944320 5683 0 0 0 11 1 0 0 20 0 15 0 475407621 15508250624 7186 33554432000 4194304 4196468 140732253088320 140732253070864 139917483159287 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
/proc/16089/statm: 3786194 7186 3119 1 0 3748377 0
[pid=16089/tid=16090] ppid=16087 vsize=15144776 memory=576460756329955459 CPUtime=0.09 cores=0,2,4,6
/proc/16089/task/16090/stat : 16090 (java) R 16087 16087 14371 0 -1 4202560 3595 0 0 0 8 1 0 0 20 0 15 0 475407621 15508250624 7252 33554432000 4194304 4196468 140732253088320 139917487381344 139917099405380 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
[pid=16089/tid=16091] ppid=16087 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16091/stat : 16091 (java) S 16087 16087 14371 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475407622 15508250624 7252 33554432000 4194304 4196468 140732253088320 139917419396112 139917483169493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
[pid=16089/tid=16092] ppid=16087 vsize=15144776 memory=3616588496938124960 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16092/stat : 16092 (java) S 16087 16087 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475407622 15508250624 7252 33554432000 4194304 4196468 140732253088320 139917074685072 139917483169493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
[pid=16089/tid=16093] ppid=16087 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16093/stat : 16093 (java) S 16087 16087 14371 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475407622 15508250624 7252 33554432000 4194304 4196468 140732253088320 139917073632016 139917483169493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
[pid=16089/tid=16094] ppid=16087 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16094/stat : 16094 (java) S 16087 16087 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475407622 15508250624 7252 33554432000 4194304 4196468 140732253088320 139917072579472 139917483169493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
[pid=16089/tid=16095] ppid=16087 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16095/stat : 16095 (java) S 16087 16087 14371 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475407623 15508250624 7252 33554432000 4194304 4196468 140732253088320 139917018982640 139917483170434 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
[pid=16089/tid=16096] ppid=16087 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16096/stat : 16096 (java) S 16087 16087 14371 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475407624 15508250624 7252 33554432000 4194304 4196468 140732253088320 139917017928864 139917483169493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
[pid=16089/tid=16097] ppid=16087 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16097/stat : 16097 (java) S 16087 16087 14371 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475407624 15508250624 7252 33554432000 4194304 4196468 140732253088320 139917016875760 139917483169493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
[pid=16089/tid=16098] ppid=16087 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16098/stat : 16098 (java) S 16087 16087 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475407627 15508250624 7252 33554432000 4194304 4196468 140732253088320 139916814051280 139917483177883 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
[pid=16089/tid=16099] ppid=16087 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16099/stat : 16099 (java) S 16087 16087 14371 0 -1 1077944384 338 0 0 0 0 0 0 0 20 0 15 0 475407627 15508250624 7252 33554432000 4194304 4196468 140732253088320 139916812999408 139917483170434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
[pid=16089/tid=16100] ppid=16087 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16100/stat : 16100 (java) S 16087 16087 14371 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 15 0 475407627 15508250624 7252 33554432000 4194304 4196468 140732253088320 139916811946864 139917483170434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
[pid=16089/tid=16101] ppid=16087 vsize=15144776 memory=140597394327168 CPUtime=0.02 cores=0,2,4,6
/proc/16089/task/16101/stat : 16101 (java) R 16087 16087 14371 0 -1 4202560 349 0 0 0 2 0 0 0 20 0 15 0 475407627 15508250624 7252 33554432000 4194304 4196468 140732253088320 139916810893808 139917462116377 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
[pid=16089/tid=16102] ppid=16087 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16102/stat : 16102 (java) S 16087 16087 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475407627 15508250624 7252 33554432000 4194304 4196468 140732253088320 139916809841504 139917483169493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
[pid=16089/tid=16103] ppid=16087 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16103/stat : 16103 (java) S 16087 16087 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475407627 15508250624 7252 33554432000 4194304 4196468 140732253088320 139916808788528 139917483170434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30196 KiB
[startup+0.210671 s]*
/proc/loadavg: 7.85 4.73 2.63 8/233 16103
/proc/meminfo: memFree=9769352/32770624 swapFree=66999216/67108860
[pid=16087] ppid=16084 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/16087/stat : 16087 (xcsp3-exec) S 16084 16087 14371 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475407621 115843072 363 33554432000 4194304 5098028 140731715901488 140731715899592 140591484576380 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26931200 140731715904378 140731715904621 140731715904621 140731715907530 0
/proc/16087/statm: 28282 363 304 221 0 87 0
[pid=16089] ppid=16087 vsize=15144776 memory=40460 CPUtime=0.34 cores=0,2,4,6
/proc/16089/stat : 16089 (java) S 16087 16087 14371 0 -1 1077944320 9334 0 0 0 31 3 0 0 20 0 15 0 475407621 15508250624 10115 33554432000 4194304 4196468 140732253088320 140732253070864 139917483159287 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
/proc/16089/statm: 3786194 10115 3317 1 0 3748377 0
[pid=16089/tid=16090] ppid=16087 vsize=15144776 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/16089/task/16090/stat : 16090 (java) R 16087 16087 14371 0 -1 4202560 6606 0 0 0 17 2 0 0 20 0 15 0 475407621 15508250624 10115 33554432000 4194304 4196468 140732253088320 139917487392016 139917467239774 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
[pid=16089/tid=16091] ppid=16087 vsize=15144776 memory=9100 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16091/stat : 16091 (java) S 16087 16087 14371 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475407622 15508250624 10115 33554432000 4194304 4196468 140732253088320 139917419396112 139917483169493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
[pid=16089/tid=16092] ppid=16087 vsize=15144776 memory=140597398126215 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16092/stat : 16092 (java) S 16087 16087 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475407622 15508250624 10115 33554432000 4194304 4196468 140732253088320 139917074685072 139917483169493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
[pid=16089/tid=16093] ppid=16087 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16093/stat : 16093 (java) S 16087 16087 14371 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475407622 15508250624 10115 33554432000 4194304 4196468 140732253088320 139917073632016 139917483169493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
[pid=16089/tid=16094] ppid=16087 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16094/stat : 16094 (java) S 16087 16087 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475407622 15508250624 10115 33554432000 4194304 4196468 140732253088320 139917072579472 139917483169493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
[pid=16089/tid=16095] ppid=16087 vsize=15144776 memory=140597394327168 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16095/stat : 16095 (java) S 16087 16087 14371 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475407623 15508250624 10115 33554432000 4194304 4196468 140732253088320 139917018982640 139917483170434 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
[pid=16089/tid=16096] ppid=16087 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16096/stat : 16096 (java) S 16087 16087 14371 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475407624 15508250624 10115 33554432000 4194304 4196468 140732253088320 139917017928864 139917483169493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
[pid=16089/tid=16097] ppid=16087 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16097/stat : 16097 (java) S 16087 16087 14371 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475407624 15508250624 10115 33554432000 4194304 4196468 140732253088320 139917016875760 139917483169493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
[pid=16089/tid=16098] ppid=16087 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16098/stat : 16098 (java) S 16087 16087 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475407627 15508250624 10115 33554432000 4194304 4196468 140732253088320 139916814051280 139917483177883 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
[pid=16089/tid=16099] ppid=16087 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/16089/task/16099/stat : 16099 (java) S 16087 16087 14371 0 -1 1077944384 404 0 0 0 2 0 0 0 20 0 15 0 475407627 15508250624 10115 33554432000 4194304 4196468 140732253088320 139916812999408 139917483170434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
[pid=16089/tid=16100] ppid=16087 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/16089/task/16100/stat : 16100 (java) S 16087 16087 14371 0 -1 1077944384 229 0 0 0 2 0 0 0 20 0 15 0 475407627 15508250624 10115 33554432000 4194304 4196468 140732253088320 139916811946864 139917483170434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
[pid=16089/tid=16101] ppid=16087 vsize=15144776 memory=140597394327168 CPUtime=0.08 cores=0,2,4,6
/proc/16089/task/16101/stat : 16101 (java) S 16087 16087 14371 0 -1 1077944384 791 0 0 0 8 0 0 0 20 0 15 0 475407627 15508250624 10115 33554432000 4194304 4196468 140732253088320 139916810893808 139917483170434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
[pid=16089/tid=16102] ppid=16087 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16102/stat : 16102 (java) S 16087 16087 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475407627 15508250624 10115 33554432000 4194304 4196468 140732253088320 139916809841504 139917483169493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
[pid=16089/tid=16103] ppid=16087 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16103/stat : 16103 (java) S 16087 16087 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475407627 15508250624 10115 33554432000 4194304 4196468 140732253088320 139916808788528 139917483170434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41912 KiB
[startup+0.310738 s]*
/proc/loadavg: 7.85 4.73 2.63 6/233 16103
/proc/meminfo: memFree=9763216/32770624 swapFree=66999216/67108860
[pid=16087] ppid=16084 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/16087/stat : 16087 (xcsp3-exec) S 16084 16087 14371 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475407621 115843072 363 33554432000 4194304 5098028 140731715901488 140731715899592 140591484576380 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26931200 140731715904378 140731715904621 140731715904621 140731715907530 0
/proc/16087/statm: 28282 363 304 221 0 87 0
[pid=16089] ppid=16087 vsize=15149032 memory=49520 CPUtime=0.52 cores=0,2,4,6
/proc/16089/stat : 16089 (java) S 16087 16087 14371 0 -1 1077944320 10652 0 0 0 48 4 0 0 20 0 15 0 475407621 15512608768 12380 33554432000 4194304 4196468 140732253088320 140732253070864 139917483159287 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
/proc/16089/statm: 3787258 12380 3352 1 0 3748377 0
[pid=16089/tid=16090] ppid=16087 vsize=15149032 memory=8317482817917895235 CPUtime=0.3 cores=0,2,4,6
/proc/16089/task/16090/stat : 16090 (java) R 16087 16087 14371 0 -1 4202560 7750 0 0 0 27 3 0 0 20 0 15 0 475407621 15512608768 12380 33554432000 4194304 4196468 140732253088320 139917487390400 139917483181213 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
[pid=16089/tid=16091] ppid=16087 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16091/stat : 16091 (java) S 16087 16087 14371 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475407622 15512608768 12380 33554432000 4194304 4196468 140732253088320 139917419396112 139917483169493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
[pid=16089/tid=16092] ppid=16087 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16092/stat : 16092 (java) S 16087 16087 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475407622 15512608768 12380 33554432000 4194304 4196468 140732253088320 139917074685072 139917483169493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
[pid=16089/tid=16093] ppid=16087 vsize=15149032 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16093/stat : 16093 (java) S 16087 16087 14371 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475407622 15512608768 12380 33554432000 4194304 4196468 140732253088320 139917073632016 139917483169493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
[pid=16089/tid=16094] ppid=16087 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16094/stat : 16094 (java) S 16087 16087 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475407622 15512608768 12380 33554432000 4194304 4196468 140732253088320 139917072579472 139917483169493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
[pid=16089/tid=16095] ppid=16087 vsize=15149032 memory=4500088463514900084 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16095/stat : 16095 (java) S 16087 16087 14371 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475407623 15512608768 12380 33554432000 4194304 4196468 140732253088320 139917018982640 139917483170434 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
[pid=16089/tid=16096] ppid=16087 vsize=15149032 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16096/stat : 16096 (java) S 16087 16087 14371 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475407624 15512608768 12380 33554432000 4194304 4196468 140732253088320 139917017928864 139917483169493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
[pid=16089/tid=16097] ppid=16087 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16097/stat : 16097 (java) S 16087 16087 14371 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475407624 15512608768 12380 33554432000 4194304 4196468 140732253088320 139917016875760 139917483169493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
[pid=16089/tid=16098] ppid=16087 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16098/stat : 16098 (java) S 16087 16087 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475407627 15512608768 12380 33554432000 4194304 4196468 140732253088320 139916814051280 139917483177883 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
[pid=16089/tid=16099] ppid=16087 vsize=15149032 memory=7827413994055111515 CPUtime=0.03 cores=0,2,4,6
/proc/16089/task/16099/stat : 16099 (java) S 16087 16087 14371 0 -1 1077944384 410 0 0 0 3 0 0 0 20 0 15 0 475407627 15512608768 12380 33554432000 4194304 4196468 140732253088320 139916812999408 139917483170434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
[pid=16089/tid=16100] ppid=16087 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/16089/task/16100/stat : 16100 (java) S 16087 16087 14371 0 -1 1077944384 241 0 0 0 4 0 0 0 20 0 15 0 475407627 15512608768 12380 33554432000 4194304 4196468 140732253088320 139916811946864 139917483170434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
[pid=16089/tid=16101] ppid=16087 vsize=15149032 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/16089/task/16101/stat : 16101 (java) S 16087 16087 14371 0 -1 1077944384 954 0 0 0 13 0 0 0 20 0 15 0 475407627 15512608768 12380 33554432000 4194304 4196468 140732253088320 139916810893808 139917483170434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
[pid=16089/tid=16102] ppid=16087 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16102/stat : 16102 (java) S 16087 16087 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475407627 15512608768 12380 33554432000 4194304 4196468 140732253088320 139916809841504 139917483169493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
[pid=16089/tid=16103] ppid=16087 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16103/stat : 16103 (java) S 16087 16087 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475407627 15512608768 12380 33554432000 4194304 4196468 140732253088320 139916808788528 139917483170434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 50972 KiB
[startup+0.705444 s]
/proc/loadavg: 7.85 4.73 2.63 10/237 16107
/proc/meminfo: memFree=9738608/32770624 swapFree=66999216/67108860
[pid=16087] ppid=16084 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/16087/stat : 16087 (xcsp3-exec) S 16084 16087 14371 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475407621 115843072 363 33554432000 4194304 5098028 140731715901488 140731715899592 140591484576380 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26931200 140731715904378 140731715904621 140731715904621 140731715907530 0
/proc/16087/statm: 28282 363 304 221 0 87 0
[pid=16089] ppid=16087 vsize=15483976 memory=131228 CPUtime=1.76 cores=0,2,4,6
/proc/16089/stat : 16089 (java) S 16087 16087 14371 0 -1 1077944320 14728 0 0 0 169 7 0 0 20 0 20 0 475407621 15855591424 32807 33554432000 4194304 4196468 140732253088320 140732253070864 139917483159287 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
/proc/16089/statm: 3870994 32807 3469 1 0 3832094 0
[pid=16089/tid=16090] ppid=16087 vsize=15483976 memory=0 CPUtime=0.49 cores=0,2,4,6
/proc/16089/task/16090/stat : 16090 (java) S 16087 16087 14371 0 -1 1077944384 9074 0 0 0 45 4 0 0 20 0 20 0 475407621 15855591424 32807 33554432000 4194304 4196468 140732253088320 139917487399232 139917483169493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
[pid=16089/tid=16091] ppid=16087 vsize=15483976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16091/stat : 16091 (java) S 16087 16087 14371 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475407622 15855591424 32807 33554432000 4194304 4196468 140732253088320 139917419396112 139917483169493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
[pid=16089/tid=16092] ppid=16087 vsize=15483976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16092/stat : 16092 (java) S 16087 16087 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475407622 15855591424 32807 33554432000 4194304 4196468 140732253088320 139917074685072 139917483169493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
[pid=16089/tid=16093] ppid=16087 vsize=15483976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16093/stat : 16093 (java) S 16087 16087 14371 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475407622 15855591424 32807 33554432000 4194304 4196468 140732253088320 139917073632016 139917483169493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
[pid=16089/tid=16094] ppid=16087 vsize=15483976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16094/stat : 16094 (java) S 16087 16087 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475407622 15855591424 32807 33554432000 4194304 4196468 140732253088320 139917072579472 139917483169493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
[pid=16089/tid=16095] ppid=16087 vsize=15483976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16095/stat : 16095 (java) S 16087 16087 14371 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 475407623 15855591424 32807 33554432000 4194304 4196468 140732253088320 139917018982640 139917483170434 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
[pid=16089/tid=16096] ppid=16087 vsize=15483976 memory=140597298398032 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16096/stat : 16096 (java) S 16087 16087 14371 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475407624 15855591424 32807 33554432000 4194304 4196468 140732253088320 139917017928864 139917483169493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
[pid=16089/tid=16097] ppid=16087 vsize=15483976 memory=3604 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16097/stat : 16097 (java) S 16087 16087 14371 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475407624 15855591424 32807 33554432000 4194304 4196468 140732253088320 139917016875760 139917483169493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
[pid=16089/tid=16098] ppid=16087 vsize=15483976 memory=2828 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16098/stat : 16098 (java) S 16087 16087 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475407627 15855591424 32807 33554432000 4194304 4196468 140732253088320 139916814051280 139917483177883 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
[pid=16089/tid=16099] ppid=16087 vsize=15483976 memory=676 CPUtime=0.27 cores=0,2,4,6
/proc/16089/task/16099/stat : 16099 (java) R 16087 16087 14371 0 -1 4202560 1000 0 0 0 27 0 0 0 20 0 20 0 475407627 15855591424 32807 33554432000 4194304 4196468 140732253088320 139916812998592 139917468268734 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
[pid=16089/tid=16100] ppid=16087 vsize=15483976 memory=1060 CPUtime=0.3 cores=0,2,4,6
/proc/16089/task/16100/stat : 16100 (java) R 16087 16087 14371 0 -1 4202560 907 0 0 0 30 0 0 0 20 0 20 0 475407627 15855591424 32807 33554432000 4194304 4196468 140732253088320 139916811932736 139917463352237 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
[pid=16089/tid=16101] ppid=16087 vsize=15483976 memory=1548 CPUtime=0.32 cores=0,2,4,6
/proc/16089/task/16101/stat : 16101 (java) S 16087 16087 14371 0 -1 1077944384 1742 0 0 0 32 0 0 0 20 0 20 0 475407627 15855591424 32807 33554432000 4194304 4196468 140732253088320 139916810893808 139917483170434 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
[pid=16089/tid=16102] ppid=16087 vsize=15483976 memory=8560 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16102/stat : 16102 (java) S 16087 16087 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475407627 15855591424 32807 33554432000 4194304 4196468 140732253088320 139916809841504 139917483169493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
[pid=16089/tid=16103] ppid=16087 vsize=15483976 memory=1712 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16103/stat : 16103 (java) S 16087 16087 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475407627 15855591424 32807 33554432000 4194304 4196468 140732253088320 139916808788528 139917483170434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
Current children cumulated CPU time: 1.76 s
Current children cumulated vsize: 15597104 KiB
Current children cumulated memory: 132680 KiB
[startup+1.50078 s]
/proc/loadavg: 7.85 4.73 2.63 11/237 16203
/proc/meminfo: memFree=9623480/32770624 swapFree=66999216/67108860
[pid=16087] ppid=16084 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/16087/stat : 16087 (xcsp3-exec) S 16084 16087 14371 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475407621 115843072 363 33554432000 4194304 5098028 140731715901488 140731715899592 140591484576380 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26931200 140731715904378 140731715904621 140731715904621 140731715907530 0
/proc/16087/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/16089/task/16103/stat : 16103 (java) S 16087 16087 14371 0 -1 1077944384 942 0 0 0 0 1 0 0 20 0 19 0 475407627 15924805632 69096 33554432000 4194304 4196468 140732253088320 139916808788528 139917483170434 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
[pid=16089/tid=16476] ppid=16087 vsize=15551568 memory=8560 CPUtime=25.01 cores=0,2,4,6
/proc/16089/task/16476/stat : 16476 (java) R 16087 16087 14371 0 -1 4202560 553 0 0 0 2501 0 0 0 20 0 19 0 475408754 15924805632 69096 33554432000 4194304 4196468 140732253088320 139916798754896 139917103517448 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
[pid=16089/tid=16477] ppid=16087 vsize=15551568 memory=1712 CPUtime=24.87 cores=0,2,4,6
/proc/16089/task/16477/stat : 16477 (java) R 16087 16087 14371 0 -1 4202560 1882 0 0 0 2487 0 0 0 20 0 19 0 475408754 15924805632 69096 33554432000 4194304 4196468 140732253088320 139916797702632 139917103180503 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
[pid=16089/tid=16478] ppid=16087 vsize=15551568 memory=1452 CPUtime=24.97 cores=0,2,4,6
/proc/16089/task/16478/stat : 16478 (java) R 16087 16087 14371 0 -1 4202560 451 0 0 0 2497 0 0 0 20 0 19 0 475408754 15924805632 69096 33554432000 4194304 4196468 140732253088320 139916796650384 139917102813261 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
[pid=16089/tid=16479] ppid=16087 vsize=15551568 memory=265732 CPUtime=24.95 cores=0,2,4,6
/proc/16089/task/16479/stat : 16479 (java) R 16087 16087 14371 0 -1 4202560 2997 0 0 0 2495 0 0 0 20 0 19 0 475408754 15924805632 69096 33554432000 4194304 4196468 140732253088320 139916794546656 139917102813158 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
Current children cumulated CPU time: 144.15 s
Current children cumulated vsize: 15664696 KiB
Current children cumulated memory: 277836 KiB
[startup+38.401 s]
/proc/loadavg: 8.42 5.22 2.87 9/237 16481
/proc/meminfo: memFree=9262916/32770624 swapFree=66999216/67108860
[pid=16087] ppid=16084 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/16087/stat : 16087 (xcsp3-exec) S 16084 16087 14371 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475407621 115843072 363 33554432000 4194304 5098028 140731715901488 140731715899592 140591484576380 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26931200 140731715904378 140731715904621 140731715904621 140731715907530 0
/proc/16087/statm: 28282 363 304 221 0 87 0
[pid=16089] ppid=16087 vsize=15551568 memory=285140 CPUtime=150.5 cores=0,2,4,6
/proc/16089/stat : 16089 (java) S 16087 16087 14371 0 -1 1077944320 54463 0 0 0 15025 25 0 0 20 0 19 0 475407621 15924805632 71285 33554432000 4194304 4196468 140732253088320 140732253070864 139917483159287 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
/proc/16089/statm: 3887892 71285 3510 1 0 3848992 0
[pid=16089/tid=16090] ppid=16087 vsize=15551568 memory=269692 CPUtime=0.51 cores=0,2,4,6
/proc/16089/task/16090/stat : 16090 (java) S 16087 16087 14371 0 -1 1077944384 9406 0 0 0 47 4 0 0 20 0 19 0 475407621 15924805632 71285 33554432000 4194304 4196468 140732253088320 139917487400064 139917483169493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
[pid=16089/tid=16091] ppid=16087 vsize=15551568 memory=6791534058613427641 CPUtime=0.14 cores=0,2,4,6
/proc/16089/task/16091/stat : 16091 (java) S 16087 16087 14371 0 -1 1077944384 1507 0 0 0 12 2 0 0 20 0 19 0 475407622 15924805632 71285 33554432000 4194304 4196468 140732253088320 139917419396112 139917483169493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
[pid=16089/tid=16092] ppid=16087 vsize=15551568 memory=1452 CPUtime=0.14 cores=0,2,4,6
/proc/16089/task/16092/stat : 16092 (java) S 16087 16087 14371 0 -1 1077944384 1477 0 0 0 12 2 0 0 20 0 19 0 475407622 15924805632 71285 33554432000 4194304 4196468 140732253088320 139917074685072 139917483169493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
[pid=16089/tid=16093] ppid=16087 vsize=15551568 memory=265732 CPUtime=0.14 cores=0,2,4,6
/proc/16089/task/16093/stat : 16093 (java) S 16087 16087 14371 0 -1 1077944384 1778 0 0 0 11 3 0 0 20 0 19 0 475407622 15924805632 71285 33554432000 4194304 4196468 140732253088320 139917073632016 139917483169493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
[pid=16089/tid=16094] ppid=16087 vsize=15551568 memory=265136 CPUtime=0.14 cores=0,2,4,6
/proc/16089/task/16094/stat : 16094 (java) S 16087 16087 14371 0 -1 1077944384 689 0 0 0 12 2 0 0 20 0 19 0 475407622 15924805632 71285 33554432000 4194304 4196468 140732253088320 139917072579472 139917483169493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
[pid=16089/tid=16095] ppid=16087 vsize=15551568 memory=6791534058613427641 CPUtime=0.11 cores=0,2,4,6
/proc/16089/task/16095/stat : 16095 (java) S 16087 16087 14371 0 -1 1077944384 1914 0 0 0 10 1 0 0 20 0 19 0 475407623 15924805632 71285 33554432000 4194304 4196468 140732253088320 139917018982640 139917483170434 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
[pid=16089/tid=16096] ppid=16087 vsize=15551568 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16096/stat : 16096 (java) S 16087 16087 14371 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475407624 15924805632 71285 33554432000 4194304 4196468 140732253088320 139917017928928 139917483169493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
[pid=16089/tid=16097] ppid=16087 vsize=15551568 memory=2276 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16097/stat : 16097 (java) S 16087 16087 14371 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 475407624 15924805632 71285 33554432000 4194304 4196468 140732253088320 139917016875776 139917483169493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
[pid=16089/tid=16098] ppid=16087 vsize=15551568 memory=140597298578096 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16098/stat : 16098 (java) S 16087 16087 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475407627 15924805632 71285 33554432000 4194304 4196468 140732253088320 139916814051280 139917483177883 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
[pid=16089/tid=16099] ppid=16087 vsize=15551568 memory=178376 CPUtime=1.34 cores=0,2,4,6
/proc/16089/task/16099/stat : 16099 (java) S 16087 16087 14371 0 -1 1077944384 7562 0 0 0 134 0 0 0 20 0 19 0 475407627 15924805632 71285 33554432000 4194304 4196468 140732253088320 139916812999408 139917483170434 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
[pid=16089/tid=16100] ppid=16087 vsize=15551568 memory=2124 CPUtime=1.42 cores=0,2,4,6
/proc/16089/task/16100/stat : 16100 (java) S 16087 16087 14371 0 -1 1077944384 8744 0 0 0 140 2 0 0 20 0 19 0 475407627 15924805632 71285 33554432000 4194304 4196468 140732253088320 139916811946864 139917483170434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
[pid=16089/tid=16101] ppid=16087 vsize=15551568 memory=1452 CPUtime=0.47 cores=0,2,4,6
/proc/16089/task/16101/stat : 16101 (java) S 16087 16087 14371 0 -1 1077944384 4380 0 0 0 46 1 0 0 20 0 19 0 475407627 15924805632 71285 33554432000 4194304 4196468 140732253088320 139916810893808 139917483170434 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
[pid=16089/tid=16102] ppid=16087 vsize=15551568 memory=176140 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16102/stat : 16102 (java) S 16087 16087 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475407627 15924805632 71285 33554432000 4194304 4196468 140732253088320 139916809841504 139917483169493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
[pid=16089/tid=16103] ppid=16087 vsize=15551568 memory=500 CPUtime=0.01 cores=0,2,4,6
/proc/16089/task/16103/stat : 16103 (java) S 16087 16087 14371 0 -1 1077944384 942 0 0 0 0 1 0 0 20 0 19 0 475407627 15924805632 71285 33554432000 4194304 4196468 140732253088320 139916808788528 139917483170434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
[pid=16089/tid=16476] ppid=16087 vsize=15551568 memory=0 CPUtime=26.59 cores=0,2,4,6
/proc/16089/task/16476/stat : 16476 (java) R 16087 16087 14371 0 -1 4202560 573 0 0 0 2659 0 0 0 20 0 19 0 475408754 15924805632 71285 33554432000 4194304 4196468 140732253088320 139916798755032 139917103179260 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
[pid=16089/tid=16477] ppid=16087 vsize=15551568 memory=0 CPUtime=26.44 cores=0,2,4,6
/proc/16089/task/16477/stat : 16477 (java) R 16087 16087 14371 0 -1 4202560 2112 0 0 0 2644 0 0 0 20 0 19 0 475408754 15924805632 71285 33554432000 4194304 4196468 140732253088320 139916797702928 139917103740686 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
[pid=16089/tid=16478] ppid=16087 vsize=15551568 memory=0 CPUtime=26.56 cores=0,2,4,6
/proc/16089/task/16478/stat : 16478 (java) R 16087 16087 14371 0 -1 4202560 468 0 0 0 2656 0 0 0 20 0 19 0 475408754 15924805632 71285 33554432000 4194304 4196468 140732253088320 139916796649760 139917102812351 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
[pid=16089/tid=16479] ppid=16087 vsize=15551568 memory=3800029 CPUtime=26.51 cores=0,2,4,6
/proc/16089/task/16479/stat : 16479 (java) R 16087 16087 14371 0 -1 4202560 3137 0 0 0 2651 0 0 0 20 0 19 0 475408754 15924805632 71285 33554432000 4194304 4196468 140732253088320 139916794546768 139917102812711 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
Current children cumulated CPU time: 150.5 s
Current children cumulated vsize: 15664696 KiB
Current children cumulated memory: 286592 KiB
[startup+39.201 s]
/proc/loadavg: 8.42 5.22 2.87 9/237 16481
/proc/meminfo: memFree=9260864/32770624 swapFree=66999216/67108860
[pid=16087] ppid=16084 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/16087/stat : 16087 (xcsp3-exec) S 16084 16087 14371 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475407621 115843072 363 33554432000 4194304 5098028 140731715901488 140731715899592 140591484576380 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26931200 140731715904378 140731715904621 140731715904621 140731715907530 0
/proc/16087/statm: 28282 363 304 221 0 87 0
[pid=16089] ppid=16087 vsize=15551568 memory=287188 CPUtime=153.68 cores=0,2,4,6
/proc/16089/stat : 16089 (java) S 16087 16087 14371 0 -1 1077944320 54474 0 0 0 15343 25 0 0 20 0 19 0 475407621 15924805632 71797 33554432000 4194304 4196468 140732253088320 140732253070864 139917483159287 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
/proc/16089/statm: 3887892 71797 3510 1 0 3848992 0
[pid=16089/tid=16090] ppid=16087 vsize=15551568 memory=1452 CPUtime=0.51 cores=0,2,4,6
/proc/16089/task/16090/stat : 16090 (java) S 16087 16087 14371 0 -1 1077944384 9406 0 0 0 47 4 0 0 20 0 19 0 475407621 15924805632 71797 33554432000 4194304 4196468 140732253088320 139917487400064 139917483169493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
[pid=16089/tid=16091] ppid=16087 vsize=15551568 memory=6791534058613427641 CPUtime=0.14 cores=0,2,4,6
/proc/16089/task/16091/stat : 16091 (java) S 16087 16087 14371 0 -1 1077944384 1508 0 0 0 12 2 0 0 20 0 19 0 475407622 15924805632 71797 33554432000 4194304 4196468 140732253088320 139917419396112 139917483169493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
[pid=16089/tid=16092] ppid=16087 vsize=15551568 memory=6656426216303648864 CPUtime=0.14 cores=0,2,4,6
/proc/16089/task/16092/stat : 16092 (java) S 16087 16087 14371 0 -1 1077944384 1478 0 0 0 12 2 0 0 20 0 19 0 475407622 15924805632 71797 33554432000 4194304 4196468 140732253088320 139917074685072 139917483169493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
[pid=16089/tid=16093] ppid=16087 vsize=15551568 memory=8315171486948655189 CPUtime=0.15 cores=0,2,4,6
/proc/16089/task/16093/stat : 16093 (java) S 16087 16087 14371 0 -1 1077944384 1780 0 0 0 12 3 0 0 20 0 19 0 475407622 15924805632 71797 33554432000 4194304 4196468 140732253088320 139917073632016 139917483169493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
[pid=16089/tid=16094] ppid=16087 vsize=15551568 memory=19367 CPUtime=0.14 cores=0,2,4,6
/proc/16089/task/16094/stat : 16094 (java) S 16087 16087 14371 0 -1 1077944384 691 0 0 0 12 2 0 0 20 0 19 0 475407622 15924805632 71797 33554432000 4194304 4196468 140732253088320 139917072579472 139917483169493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
[pid=16089/tid=16095] ppid=16087 vsize=15551568 memory=281194595877104 CPUtime=0.11 cores=0,2,4,6
/proc/16089/task/16095/stat : 16095 (java) S 16087 16087 14371 0 -1 1077944384 1914 0 0 0 10 1 0 0 20 0 19 0 475407623 15924805632 71797 33554432000 4194304 4196468 140732253088320 139917018982640 139917483170434 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
[pid=16089/tid=16096] ppid=16087 vsize=15551568 memory=285140 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16096/stat : 16096 (java) S 16087 16087 14371 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475407624 15924805632 71797 33554432000 4194304 4196468 140732253088320 139917017928928 139917483169493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
[pid=16089/tid=16097] ppid=16087 vsize=15551568 memory=30492 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16097/stat : 16097 (java) S 16087 16087 14371 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 475407624 15924805632 71797 33554432000 4194304 4196468 140732253088320 139917016875776 139917483169493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
[pid=16089/tid=16098] ppid=16087 vsize=15551568 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16098/stat : 16098 (java) S 16087 16087 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475407627 15924805632 71797 33554432000 4194304 4196468 140732253088320 139916814051280 139917483177883 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
[pid=16089/tid=16099] ppid=16087 vsize=15551568 memory=218176 CPUtime=1.34 cores=0,2,4,6
/proc/16089/task/16099/stat : 16099 (java) S 16087 16087 14371 0 -1 1077944384 7562 0 0 0 134 0 0 0 20 0 19 0 475407627 15924805632 71797 33554432000 4194304 4196468 140732253088320 139916812999408 139917483170434 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
[pid=16089/tid=16100] ppid=16087 vsize=15551568 memory=1560 CPUtime=1.42 cores=0,2,4,6
/proc/16089/task/16100/stat : 16100 (java) S 16087 16087 14371 0 -1 1077944384 8744 0 0 0 140 2 0 0 20 0 19 0 475407627 15924805632 71797 33554432000 4194304 4196468 140732253088320 139916811946864 139917483170434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
[pid=16089/tid=16101] ppid=16087 vsize=15551568 memory=1452 CPUtime=0.47 cores=0,2,4,6
/proc/16089/task/16101/stat : 16101 (java) S 16087 16087 14371 0 -1 1077944384 4380 0 0 0 46 1 0 0 20 0 19 0 475407627 15924805632 71797 33554432000 4194304 4196468 140732253088320 139916810893808 139917483170434 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
[pid=16089/tid=16102] ppid=16087 vsize=15551568 memory=276384 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16102/stat : 16102 (java) S 16087 16087 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475407627 15924805632 71797 33554432000 4194304 4196468 140732253088320 139916809841504 139917483169493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
[pid=16089/tid=16103] ppid=16087 vsize=15551568 memory=55892 CPUtime=0.01 cores=0,2,4,6
/proc/16089/task/16103/stat : 16103 (java) S 16087 16087 14371 0 -1 1077944384 942 0 0 0 0 1 0 0 20 0 19 0 475407627 15924805632 71797 33554432000 4194304 4196468 140732253088320 139916808788528 139917483170434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
[pid=16089/tid=16476] ppid=16087 vsize=15551568 memory=3028 CPUtime=27.38 cores=0,2,4,6
/proc/16089/task/16476/stat : 16476 (java) R 16087 16087 14371 0 -1 4202560 574 0 0 0 2738 0 0 0 20 0 19 0 475408754 15924805632 71797 33554432000 4194304 4196468 140732253088320 139916798757528 139917102780615 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
[pid=16089/tid=16477] ppid=16087 vsize=15551568 memory=2012 CPUtime=27.24 cores=0,2,4,6
/proc/16089/task/16477/stat : 16477 (java) R 16087 16087 14371 0 -1 4202560 2115 0 0 0 2724 0 0 0 20 0 19 0 475408754 15924805632 71797 33554432000 4194304 4196468 140732253088320 139916797706312 139917103179867 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
[pid=16089/tid=16478] ppid=16087 vsize=15551568 memory=1384 CPUtime=27.34 cores=0,2,4,6
/proc/16089/task/16478/stat : 16478 (java) R 16087 16087 14371 0 -1 4202560 468 0 0 0 2734 0 0 0 20 0 19 0 475408754 15924805632 71797 33554432000 4194304 4196468 140732253088320 139916796653456 139917103179194 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
[pid=16089/tid=16479] ppid=16087 vsize=15551568 memory=796 CPUtime=27.31 cores=0,2,4,6
/proc/16089/task/16479/stat : 16479 (java) R 16087 16087 14371 0 -1 4202560 3138 0 0 0 2731 0 0 0 20 0 19 0 475408754 15924805632 71797 33554432000 4194304 4196468 140732253088320 139916794543392 139917104649840 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
Current children cumulated CPU time: 153.68 s
Current children cumulated vsize: 15664696 KiB
Current children cumulated memory: 288640 KiB
[startup+39.401 s]
/proc/loadavg: 8.42 5.22 2.87 9/237 16481
/proc/meminfo: memFree=9260864/32770624 swapFree=66999216/67108860
[pid=16087] ppid=16084 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/16087/stat : 16087 (xcsp3-exec) S 16084 16087 14371 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475407621 115843072 363 33554432000 4194304 5098028 140731715901488 140731715899592 140591484576380 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26931200 140731715904378 140731715904621 140731715904621 140731715907530 0
/proc/16087/statm: 28282 363 304 221 0 87 0
[pid=16089] ppid=16087 vsize=15551568 memory=286676 CPUtime=154.48 cores=0,2,4,6
/proc/16089/stat : 16089 (java) S 16087 16087 14371 0 -1 1077944320 54481 0 0 0 15423 25 0 0 20 0 19 0 475407621 15924805632 71669 33554432000 4194304 4196468 140732253088320 140732253070864 139917483159287 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
/proc/16089/statm: 3887892 71669 3510 1 0 3848992 0
[pid=16089/tid=16090] ppid=16087 vsize=15551568 memory=916 CPUtime=0.51 cores=0,2,4,6
/proc/16089/task/16090/stat : 16090 (java) S 16087 16087 14371 0 -1 1077944384 9406 0 0 0 47 4 0 0 20 0 19 0 475407621 15924805632 71669 33554432000 4194304 4196468 140732253088320 139917487400064 139917483169493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
[pid=16089/tid=16091] ppid=16087 vsize=15551568 memory=3804 CPUtime=0.14 cores=0,2,4,6
/proc/16089/task/16091/stat : 16091 (java) S 16087 16087 14371 0 -1 1077944384 1508 0 0 0 12 2 0 0 20 0 19 0 475407622 15924805632 71669 33554432000 4194304 4196468 140732253088320 139917419396112 139917483169493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
[pid=16089/tid=16092] ppid=16087 vsize=15551568 memory=2712 CPUtime=0.14 cores=0,2,4,6
/proc/16089/task/16092/stat : 16092 (java) S 16087 16087 14371 0 -1 1077944384 1480 0 0 0 12 2 0 0 20 0 19 0 475407622 15924805632 71669 33554432000 4194304 4196468 140732253088320 139917074685072 139917483169493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
[pid=16089/tid=16093] ppid=16087 vsize=15551568 memory=2596 CPUtime=0.15 cores=0,2,4,6
/proc/16089/task/16093/stat : 16093 (java) S 16087 16087 14371 0 -1 1077944384 1781 0 0 0 12 3 0 0 20 0 19 0 475407622 15924805632 71669 33554432000 4194304 4196468 140732253088320 139917073632016 139917483169493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
[pid=16089/tid=16094] ppid=16087 vsize=15551568 memory=1408 CPUtime=0.14 cores=0,2,4,6
/proc/16089/task/16094/stat : 16094 (java) S 16087 16087 14371 0 -1 1077944384 692 0 0 0 12 2 0 0 20 0 19 0 475407622 15924805632 71669 33554432000 4194304 4196468 140732253088320 139917072579472 139917483169493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
[pid=16089/tid=16095] ppid=16087 vsize=15551568 memory=3024 CPUtime=0.11 cores=0,2,4,6
/proc/16089/task/16095/stat : 16095 (java) S 16087 16087 14371 0 -1 1077944384 1916 0 0 0 10 1 0 0 20 0 19 0 475407623 15924805632 71669 33554432000 4194304 4196468 140732253088320 139917018982640 139917483170434 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
[pid=16089/tid=16096] ppid=16087 vsize=15551568 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16096/stat : 16096 (java) S 16087 16087 14371 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475407624 15924805632 71669 33554432000 4194304 4196468 140732253088320 139917017928928 139917483169493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
[pid=16089/tid=16097] ppid=16087 vsize=15551568 memory=657180 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16097/stat : 16097 (java) S 16087 16087 14371 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 475407624 15924805632 71669 33554432000 4194304 4196468 140732253088320 139917016875776 139917483169493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
[pid=16089/tid=16098] ppid=16087 vsize=15551568 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16098/stat : 16098 (java) S 16087 16087 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475407627 15924805632 71669 33554432000 4194304 4196468 140732253088320 139916814051280 139917483177883 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
[pid=16089/tid=16099] ppid=16087 vsize=15551568 memory=2976 CPUtime=1.34 cores=0,2,4,6
/proc/16089/task/16099/stat : 16099 (java) S 16087 16087 14371 0 -1 1077944384 7562 0 0 0 134 0 0 0 20 0 19 0 475407627 15924805632 71669 33554432000 4194304 4196468 140732253088320 139916812999408 139917483170434 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
[pid=16089/tid=16100] ppid=16087 vsize=15551568 memory=1452 CPUtime=1.42 cores=0,2,4,6
/proc/16089/task/16100/stat : 16100 (java) S 16087 16087 14371 0 -1 1077944384 8744 0 0 0 140 2 0 0 20 0 19 0 475407627 15924805632 71669 33554432000 4194304 4196468 140732253088320 139916811946864 139917483170434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
[pid=16089/tid=16101] ppid=16087 vsize=15551568 memory=14008 CPUtime=0.47 cores=0,2,4,6
/proc/16089/task/16101/stat : 16101 (java) S 16087 16087 14371 0 -1 1077944384 4380 0 0 0 46 1 0 0 20 0 19 0 475407627 15924805632 71669 33554432000 4194304 4196468 140732253088320 139916810893808 139917483170434 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
[pid=16089/tid=16102] ppid=16087 vsize=15551568 memory=2124 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16102/stat : 16102 (java) S 16087 16087 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475407627 15924805632 71669 33554432000 4194304 4196468 140732253088320 139916809841504 139917483169493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
[pid=16089/tid=16103] ppid=16087 vsize=15551568 memory=30492 CPUtime=0.01 cores=0,2,4,6
/proc/16089/task/16103/stat : 16103 (java) S 16087 16087 14371 0 -1 1077944384 942 0 0 0 0 1 0 0 20 0 19 0 475407627 15924805632 71669 33554432000 4194304 4196468 140732253088320 139916808788528 139917483170434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
[pid=16089/tid=16476] ppid=16087 vsize=15551568 memory=12024 CPUtime=27.58 cores=0,2,4,6
/proc/16089/task/16476/stat : 16476 (java) R 16087 16087 14371 0 -1 4202560 574 0 0 0 2758 0 0 0 20 0 19 0 475408754 15924805632 71669 33554432000 4194304 4196468 140732253088320 139916798754896 139917103675792 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
[pid=16089/tid=16477] ppid=16087 vsize=15551568 memory=500 CPUtime=27.44 cores=0,2,4,6
/proc/16089/task/16477/stat : 16477 (java) R 16087 16087 14371 0 -1 4202560 2115 0 0 0 2744 0 0 0 20 0 19 0 475408754 15924805632 71669 33554432000 4194304 4196468 140732253088320 139916797705920 139917103180508 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
[pid=16089/tid=16478] ppid=16087 vsize=15551568 memory=1560 CPUtime=27.54 cores=0,2,4,6
/proc/16089/task/16478/stat : 16478 (java) R 16087 16087 14371 0 -1 4202560 468 0 0 0 2754 0 0 0 20 0 19 0 475408754 15924805632 71669 33554432000 4194304 4196468 140732253088320 139916796649792 139917102812590 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
[pid=16089/tid=16479] ppid=16087 vsize=15551568 memory=932 CPUtime=27.51 cores=0,2,4,6
/proc/16089/task/16479/stat : 16479 (java) R 16087 16087 14371 0 -1 4202560 3139 0 0 0 2751 0 0 0 20 0 19 0 475408754 15924805632 71669 33554432000 4194304 4196468 140732253088320 139916794546800 139917103179029 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13975552 140732253094895 140732253095066 140732253095066 140732253097935 0
Current children cumulated CPU time: 154.48 s
Current children cumulated vsize: 15664696 KiB
Current children cumulated memory: 288128 KiB
Child status: 0
Real time (s): 39.4462
CPU time (s): 154.591
CPU user time (s): 154.329
CPU system time (s): 0.262422
CPU usage (%): 391.904
Max. virtual memory (cumulated for all children) (KiB): 15666632
Max. memory (cumulated for all children) (KiB): 288640
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 154.329
system time used= 0.262422
maximum resident set size= 287516
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55704
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9103
involuntary context switches= 3820
# summary of solver processes directly reported to runsolver:
# pid: 16087
# total CPU time (s): 154.591
# total CPU user time (s): 154.329
# total CPU system time (s): 0.262422
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.288372 second user time and 0.460859 second system time
The end