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 (14152 MiB free)
memory of node 1: 16384 MiB (15277 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398879-1568694424/watcher-4398879-1568694424 -o /tmp/evaluation-result-4398879-1568694424/solver-4398879-1568694424 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node141-1568694133-19868 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1525805356 HOME/instance-4398879-1568694424.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=20418, runsolver pid=20415
[startup+0.100061 s]*
/proc/loadavg: 8.32 4.57 2.37 6/233 20434
/proc/meminfo: memFree=30118872/32770624 swapFree=66922404/67108860
[pid=20418] ppid=20415 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/20418/stat : 20418 (xcsp3-exec) S 20415 20418 19836 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445380240 115843072 363 33554432000 4194304 5098028 140737081763648 140737081761752 139798199210620 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 15446016 140737081770874 140737081771117 140737081771117 140737081774026 0
/proc/20418/statm: 28282 363 304 221 0 87 0
[pid=20420] ppid=20418 vsize=15144776 memory=29120 CPUtime=0.13 cores=1,3,5,7
/proc/20420/stat : 20420 (java) S 20418 20418 19836 0 -1 1077944320 5716 0 0 0 12 1 0 0 20 0 15 0 445380241 15508250624 7280 33554432000 4194304 4196468 140725216750800 140725216733344 140525340970743 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
/proc/20420/statm: 3786194 7280 3186 1 0 3748377 0
[pid=20420/tid=20421] ppid=20418 vsize=15144776 memory=7100839878744900722 CPUtime=0.09 cores=1,3,5,7
/proc/20420/task/20421/stat : 20421 (java) R 20418 20418 19836 0 -1 4202560 3586 0 0 0 8 1 0 0 20 0 15 0 445380241 15508250624 7280 33554432000 4194304 4196468 140725216750800 140525345202064 140525325014373 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
[pid=20420/tid=20422] ppid=20418 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/20420/task/20422/stat : 20422 (java) S 20418 20418 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445380242 15508250624 7280 33554432000 4194304 4196468 140725216750800 140525293591184 140525340980949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
[pid=20420/tid=20423] ppid=20418 vsize=15144776 memory=140012089521792 CPUtime=0 cores=1,3,5,7
/proc/20420/task/20423/stat : 20423 (java) S 20418 20418 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445380242 15508250624 7280 33554432000 4194304 4196468 140725216750800 140525292538384 140525340980949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
[pid=20420/tid=20424] ppid=20418 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20420/task/20424/stat : 20424 (java) S 20418 20418 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445380242 15508250624 7280 33554432000 4194304 4196468 140725216750800 140525291485584 140525340980949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
[pid=20420/tid=20425] ppid=20418 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20420/task/20425/stat : 20425 (java) S 20418 20418 19836 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445380242 15508250624 7280 33554432000 4194304 4196468 140725216750800 140524930390288 140525340980949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
[pid=20420/tid=20426] ppid=20418 vsize=15144776 memory=140012089521792 CPUtime=0 cores=1,3,5,7
/proc/20420/task/20426/stat : 20426 (java) S 20418 20418 19836 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445380243 15508250624 7280 33554432000 4194304 4196468 140725216750800 140524809562992 140525340981890 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
[pid=20420/tid=20427] ppid=20418 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20420/task/20427/stat : 20427 (java) S 20418 20418 19836 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445380243 15508250624 7280 33554432000 4194304 4196468 140725216750800 140524808508960 140525340980949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
[pid=20420/tid=20428] ppid=20418 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20420/task/20428/stat : 20428 (java) S 20418 20418 19836 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445380244 15508250624 7280 33554432000 4194304 4196468 140725216750800 140524807456112 140525340980949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
[pid=20420/tid=20429] ppid=20418 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20420/task/20429/stat : 20429 (java) S 20418 20418 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445380246 15508250624 7280 33554432000 4194304 4196468 140725216750800 140524806404432 140525340989339 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
[pid=20420/tid=20430] ppid=20418 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20420/task/20430/stat : 20430 (java) R 20418 20418 19836 0 -1 4202560 297 0 0 0 0 0 0 0 20 0 15 0 445380246 15508250624 7280 33554432000 4194304 4196468 140725216750800 140524805351792 140525320831417 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
[pid=20420/tid=20431] ppid=20418 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20420/task/20431/stat : 20431 (java) R 20418 20418 19836 0 -1 1077944384 159 0 0 0 0 0 0 0 20 0 15 0 445380246 15508250624 7280 33554432000 4194304 4196468 140725216750800 140524804298992 140525340981890 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
[pid=20420/tid=20432] ppid=20418 vsize=15144776 memory=140012089521792 CPUtime=0.02 cores=1,3,5,7
/proc/20420/task/20432/stat : 20432 (java) R 20418 20418 19836 0 -1 4202560 373 0 0 0 2 0 0 0 20 0 15 0 445380246 15508250624 7280 33554432000 4194304 4196468 140725216750800 140524803243728 140525319460513 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
[pid=20420/tid=20433] ppid=20418 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20420/task/20433/stat : 20433 (java) S 20418 20418 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445380246 15508250624 7280 33554432000 4194304 4196468 140725216750800 140524802193632 140525340980949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
[pid=20420/tid=20434] ppid=20418 vsize=15144776 memory=140012089521792 CPUtime=0 cores=1,3,5,7
/proc/20420/task/20434/stat : 20434 (java) R 20418 20418 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445380246 15508250624 7280 33554432000 4194304 4196468 140725216750800 140524801141936 140525340981890 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30572 KiB
[startup+0.210828 s]*
/proc/loadavg: 8.32 4.57 2.37 6/233 20434
/proc/meminfo: memFree=30105520/32770624 swapFree=66922404/67108860
[pid=20418] ppid=20415 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/20418/stat : 20418 (xcsp3-exec) S 20415 20418 19836 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445380240 115843072 363 33554432000 4194304 5098028 140737081763648 140737081761752 139798199210620 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 15446016 140737081770874 140737081771117 140737081771117 140737081774026 0
/proc/20418/statm: 28282 363 304 221 0 87 0
[pid=20420] ppid=20418 vsize=15144776 memory=41160 CPUtime=0.35 cores=1,3,5,7
/proc/20420/stat : 20420 (java) S 20418 20418 19836 0 -1 1077944320 9511 0 0 0 32 3 0 0 20 0 15 0 445380241 15508250624 10290 33554432000 4194304 4196468 140725216750800 140725216733344 140525340970743 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
/proc/20420/statm: 3786194 10290 3301 1 0 3748377 0
[pid=20420/tid=20421] ppid=20418 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/20420/task/20421/stat : 20421 (java) R 20418 20418 19836 0 -1 4202560 6649 0 0 0 18 2 0 0 20 0 15 0 445380241 15508250624 10290 33554432000 4194304 4196468 140725216750800 140525345205728 140525325051230 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
[pid=20420/tid=20422] ppid=20418 vsize=15144776 memory=2810770 CPUtime=0 cores=1,3,5,7
/proc/20420/task/20422/stat : 20422 (java) S 20418 20418 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445380242 15508250624 10290 33554432000 4194304 4196468 140725216750800 140525293591184 140525340980949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
[pid=20420/tid=20423] ppid=20418 vsize=15144776 memory=3689772526564554400 CPUtime=0 cores=1,3,5,7
/proc/20420/task/20423/stat : 20423 (java) S 20418 20418 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445380242 15508250624 10290 33554432000 4194304 4196468 140725216750800 140525292538384 140525340980949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
[pid=20420/tid=20424] ppid=20418 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20420/task/20424/stat : 20424 (java) S 20418 20418 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445380242 15508250624 10290 33554432000 4194304 4196468 140725216750800 140525291485584 140525340980949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
[pid=20420/tid=20425] ppid=20418 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20420/task/20425/stat : 20425 (java) S 20418 20418 19836 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445380242 15508250624 10290 33554432000 4194304 4196468 140725216750800 140524930390288 140525340980949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
[pid=20420/tid=20426] ppid=20418 vsize=15144776 memory=140012089521792 CPUtime=0 cores=1,3,5,7
/proc/20420/task/20426/stat : 20426 (java) S 20418 20418 19836 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445380243 15508250624 10290 33554432000 4194304 4196468 140725216750800 140524809562992 140525340981890 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
[pid=20420/tid=20427] ppid=20418 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20420/task/20427/stat : 20427 (java) S 20418 20418 19836 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445380243 15508250624 10290 33554432000 4194304 4196468 140725216750800 140524808508960 140525340980949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
[pid=20420/tid=20428] ppid=20418 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20420/task/20428/stat : 20428 (java) S 20418 20418 19836 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445380244 15508250624 10290 33554432000 4194304 4196468 140725216750800 140524807456112 140525340980949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
[pid=20420/tid=20429] ppid=20418 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20420/task/20429/stat : 20429 (java) S 20418 20418 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445380246 15508250624 10290 33554432000 4194304 4196468 140725216750800 140524806404432 140525340989339 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
[pid=20420/tid=20430] ppid=20418 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/20420/task/20430/stat : 20430 (java) S 20418 20418 19836 0 -1 1077944384 409 0 0 0 2 0 0 0 20 0 15 0 445380246 15508250624 10290 33554432000 4194304 4196468 140725216750800 140524805351792 140525340981890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
[pid=20420/tid=20431] ppid=20418 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/20420/task/20431/stat : 20431 (java) S 20418 20418 19836 0 -1 1077944384 360 0 0 0 2 0 0 0 20 0 15 0 445380246 15508250624 10290 33554432000 4194304 4196468 140725216750800 140524804298992 140525340981890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
[pid=20420/tid=20432] ppid=20418 vsize=15144776 memory=140012089521792 CPUtime=0.08 cores=1,3,5,7
/proc/20420/task/20432/stat : 20432 (java) S 20418 20418 19836 0 -1 1077944384 791 0 0 0 8 0 0 0 20 0 15 0 445380246 15508250624 10290 33554432000 4194304 4196468 140725216750800 140524803246192 140525340981890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
[pid=20420/tid=20433] ppid=20418 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20420/task/20433/stat : 20433 (java) S 20418 20418 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445380246 15508250624 10290 33554432000 4194304 4196468 140725216750800 140524802193632 140525340980949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
[pid=20420/tid=20434] ppid=20418 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20420/task/20434/stat : 20434 (java) S 20418 20418 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445380246 15508250624 10290 33554432000 4194304 4196468 140725216750800 140524801141936 140525340981890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42612 KiB
[startup+0.317604 s]*
/proc/loadavg: 8.32 4.57 2.37 7/233 20434
/proc/meminfo: memFree=30098100/32770624 swapFree=66922404/67108860
[pid=20418] ppid=20415 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/20418/stat : 20418 (xcsp3-exec) S 20415 20418 19836 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445380240 115843072 363 33554432000 4194304 5098028 140737081763648 140737081761752 139798199210620 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 15446016 140737081770874 140737081771117 140737081771117 140737081774026 0
/proc/20418/statm: 28282 363 304 221 0 87 0
[pid=20420] ppid=20418 vsize=15149032 memory=50440 CPUtime=0.53 cores=1,3,5,7
/proc/20420/stat : 20420 (java) S 20418 20418 19836 0 -1 1077944320 11346 0 0 0 49 4 0 0 20 0 15 0 445380241 15512608768 12610 33554432000 4194304 4196468 140725216750800 140725216733344 140525340970743 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
/proc/20420/statm: 3787258 12610 3358 1 0 3748377 0
[pid=20420/tid=20421] ppid=20418 vsize=15149032 memory=8317482817917895235 CPUtime=0.3 cores=1,3,5,7
/proc/20420/task/20421/stat : 20421 (java) R 20418 20418 19836 0 -1 4202560 8238 0 0 0 27 3 0 0 20 0 15 0 445380241 15512608768 12675 33554432000 4194304 4196468 140725216750800 140525345200576 140525340992669 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
[pid=20420/tid=20422] ppid=20418 vsize=15149032 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/20420/task/20422/stat : 20422 (java) S 20418 20418 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445380242 15512608768 12675 33554432000 4194304 4196468 140725216750800 140525293591184 140525340980949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
[pid=20420/tid=20423] ppid=20418 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/20420/task/20423/stat : 20423 (java) S 20418 20418 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445380242 15512608768 12675 33554432000 4194304 4196468 140725216750800 140525292538384 140525340980949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
[pid=20420/tid=20424] ppid=20418 vsize=15149032 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/20420/task/20424/stat : 20424 (java) S 20418 20418 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445380242 15512608768 12675 33554432000 4194304 4196468 140725216750800 140525291485584 140525340980949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
[pid=20420/tid=20425] ppid=20418 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/20420/task/20425/stat : 20425 (java) S 20418 20418 19836 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445380242 15512608768 12675 33554432000 4194304 4196468 140725216750800 140524930390288 140525340980949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
[pid=20420/tid=20426] ppid=20418 vsize=15149032 memory=4572146057552828020 CPUtime=0 cores=1,3,5,7
/proc/20420/task/20426/stat : 20426 (java) S 20418 20418 19836 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445380243 15512608768 12675 33554432000 4194304 4196468 140725216750800 140524809562992 140525340981890 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
[pid=20420/tid=20427] ppid=20418 vsize=15149032 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/20420/task/20427/stat : 20427 (java) S 20418 20418 19836 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445380243 15512608768 12675 33554432000 4194304 4196468 140725216750800 140524808508960 140525340980949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
[pid=20420/tid=20428] ppid=20418 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/20420/task/20428/stat : 20428 (java) S 20418 20418 19836 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445380244 15512608768 12675 33554432000 4194304 4196468 140725216750800 140524807456112 140525340980949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
[pid=20420/tid=20429] ppid=20418 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/20420/task/20429/stat : 20429 (java) S 20418 20418 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445380246 15512608768 12675 33554432000 4194304 4196468 140725216750800 140524806404432 140525340989339 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
[pid=20420/tid=20430] ppid=20418 vsize=15149032 memory=7827413994055111515 CPUtime=0.04 cores=1,3,5,7
/proc/20420/task/20430/stat : 20430 (java) S 20418 20418 19836 0 -1 1077944384 452 0 0 0 4 0 0 0 20 0 15 0 445380246 15512608768 12675 33554432000 4194304 4196468 140725216750800 140524805351792 140525340981890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
[pid=20420/tid=20431] ppid=20418 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/20420/task/20431/stat : 20431 (java) S 20418 20418 19836 0 -1 1077944384 464 0 0 0 4 0 0 0 20 0 15 0 445380246 15512608768 12675 33554432000 4194304 4196468 140725216750800 140524804298992 140525340981890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
[pid=20420/tid=20432] ppid=20418 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/20420/task/20432/stat : 20432 (java) S 20418 20418 19836 0 -1 1077944384 885 0 0 0 12 0 0 0 20 0 15 0 445380246 15512608768 12675 33554432000 4194304 4196468 140725216750800 140524803246192 140525340981890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
[pid=20420/tid=20433] ppid=20418 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20420/task/20433/stat : 20433 (java) S 20418 20418 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445380246 15512608768 12675 33554432000 4194304 4196468 140725216750800 140524802193632 140525340980949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
[pid=20420/tid=20434] ppid=20418 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20420/task/20434/stat : 20434 (java) S 20418 20418 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445380246 15512608768 12675 33554432000 4194304 4196468 140725216750800 140524801141936 140525340981890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51892 KiB
[startup+0.70084 s]
/proc/loadavg: 8.32 4.57 2.37 8/233 20434
/proc/meminfo: memFree=30078560/32770624 swapFree=66922404/67108860
[pid=20418] ppid=20415 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/20418/stat : 20418 (xcsp3-exec) S 20415 20418 19836 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445380240 115843072 363 33554432000 4194304 5098028 140737081763648 140737081761752 139798199210620 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 15446016 140737081770874 140737081771117 140737081771117 140737081774026 0
/proc/20418/statm: 28282 363 304 221 0 87 0
[pid=20420] ppid=20418 vsize=15151156 memory=183468 CPUtime=1.42 cores=1,3,5,7
/proc/20420/stat : 20420 (java) S 20418 20418 19836 0 -1 1077944320 14041 0 0 0 135 7 0 0 20 0 15 0 445380241 15514783744 45867 33554432000 4194304 4196468 140725216750800 140725216733344 140525340970743 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
/proc/20420/statm: 3787789 45867 3450 1 0 3748889 0
[pid=20420/tid=20421] ppid=20418 vsize=15151156 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/20420/task/20421/stat : 20421 (java) R 20418 20418 19836 0 -1 4202560 9259 0 0 0 61 5 0 0 20 0 15 0 445380241 15514783744 45867 33554432000 4194304 4196468 140725216750800 140525345208704 140524974657960 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
[pid=20420/tid=20422] ppid=20418 vsize=15151156 memory=32652 CPUtime=0 cores=1,3,5,7
/proc/20420/task/20422/stat : 20422 (java) S 20418 20418 19836 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 445380242 15514783744 45867 33554432000 4194304 4196468 140725216750800 140525293591184 140525340980949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
[pid=20420/tid=20423] ppid=20418 vsize=15151156 memory=988 CPUtime=0 cores=1,3,5,7
/proc/20420/task/20423/stat : 20423 (java) S 20418 20418 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445380242 15514783744 45867 33554432000 4194304 4196468 140725216750800 140525292538384 140525340980949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
[pid=20420/tid=20424] ppid=20418 vsize=15151156 memory=2012 CPUtime=0 cores=1,3,5,7
/proc/20420/task/20424/stat : 20424 (java) S 20418 20418 19836 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 445380242 15514783744 45867 33554432000 4194304 4196468 140725216750800 140525291485584 140525340980949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
[pid=20420/tid=20425] ppid=20418 vsize=15151156 memory=1324 CPUtime=0 cores=1,3,5,7
/proc/20420/task/20425/stat : 20425 (java) S 20418 20418 19836 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 445380242 15514783744 45867 33554432000 4194304 4196468 140725216750800 140524930390288 140525340980949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
[pid=20420/tid=20426] ppid=20418 vsize=15151156 memory=1704 CPUtime=0 cores=1,3,5,7
/proc/20420/task/20426/stat : 20426 (java) S 20418 20418 19836 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445380243 15514783744 45867 33554432000 4194304 4196468 140725216750800 140524809562992 140525340981890 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
[pid=20420/tid=20427] ppid=20418 vsize=15151156 memory=5972 CPUtime=0 cores=1,3,5,7
/proc/20420/task/20427/stat : 20427 (java) S 20418 20418 19836 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 445380243 15514783744 45867 33554432000 4194304 4196468 140725216750800 140524808508960 140525340980949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
[pid=20420/tid=20428] ppid=20418 vsize=15151156 memory=588 CPUtime=0 cores=1,3,5,7
/proc/20420/task/20428/stat : 20428 (java) S 20418 20418 19836 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 445380244 15514783744 45867 33554432000 4194304 4196468 140725216750800 140524807456112 140525340980949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
[pid=20420/tid=20429] ppid=20418 vsize=15151156 memory=780 CPUtime=0 cores=1,3,5,7
/proc/20420/task/20429/stat : 20429 (java) S 20418 20418 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445380246 15514783744 45867 33554432000 4194304 4196468 140725216750800 140524806404432 140525340989339 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
[pid=20420/tid=20430] ppid=20418 vsize=15151156 memory=1056 CPUtime=0.23 cores=1,3,5,7
/proc/20420/task/20430/stat : 20430 (java) S 20418 20418 19836 0 -1 1077944384 1021 0 0 0 23 0 0 0 20 0 15 0 445380246 15514783744 45867 33554432000 4194304 4196468 140725216750800 140524805351792 140525340981890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
[pid=20420/tid=20431] ppid=20418 vsize=15151156 memory=11620 CPUtime=0.23 cores=1,3,5,7
/proc/20420/task/20431/stat : 20431 (java) S 20418 20418 19836 0 -1 1077944384 867 0 0 0 23 0 0 0 20 0 15 0 445380246 15514783744 45867 33554432000 4194304 4196468 140725216750800 140524804298992 140525340981890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
[pid=20420/tid=20432] ppid=20418 vsize=15151156 memory=3992 CPUtime=0.25 cores=1,3,5,7
/proc/20420/task/20432/stat : 20432 (java) S 20418 20418 19836 0 -1 1077944384 1538 0 0 0 25 0 0 0 20 0 15 0 445380246 15514783744 45867 33554432000 4194304 4196468 140725216750800 140524803246192 140525340981890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
[pid=20420/tid=20433] ppid=20418 vsize=15151156 memory=2828 CPUtime=0 cores=1,3,5,7
/proc/20420/task/20433/stat : 20433 (java) S 20418 20418 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445380246 15514783744 45867 33554432000 4194304 4196468 140725216750800 140524802193632 140525340980949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
[pid=20420/tid=20434] ppid=20418 vsize=15151156 memory=1000 CPUtime=0 cores=1,3,5,7
/proc/20420/task/20434/stat : 20434 (java) S 20418 20418 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445380246 15514783744 45867 33554432000 4194304 4196468 140725216750800 140524801141936 140525340981890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 184920 KiB
[startup+1.50084 s]
/proc/loadavg: 8.32 4.57 2.37 6/233 20434
/proc/meminfo: memFree=29907460/32770624 swapFree=66922404/67108860
[pid=20418] ppid=20415 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/20418/stat : 20418 (xcsp3-exec) S 20415 20418 19836 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445380240 115843072 363 33554432000 4194304 5098028 140737081763648 140737081761752 139798199210620 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 15446016 140737081770874 140737081771117 140737081771117 140737081774026 0
/proc/20418/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/20420/task/20430/stat : 20430 (java) D 20418 20418 19836 0 -1 4202560 2166 0 0 0 59 0 0 0 20 0 19 0 445380246 15787429888 1050659 33554432000 4194304 4196468 140725216750800 140524805332592 140525333260125 0 4 0 16800975 18446744071582151416 0 0 -1 5 0 0 21 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
[pid=20420/tid=20431] ppid=20418 vsize=15417412 memory=2791056 CPUtime=0.54 cores=1,3,5,7
/proc/20420/task/20431/stat : 20431 (java) R 20418 20418 19836 0 -1 4202560 2397 0 0 0 54 0 0 0 20 0 19 0 445380246 15787429888 1050659 33554432000 4194304 4196468 140725216750800 140524804284792 140525333687895 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
[pid=20420/tid=20432] ppid=20418 vsize=15417412 memory=2758144 CPUtime=0.52 cores=1,3,5,7
/proc/20420/task/20432/stat : 20432 (java) D 20418 20418 19836 0 -1 4202560 3482 0 0 0 52 0 0 0 20 0 19 0 445380246 15787429888 1050659 33554432000 4194304 4196468 140725216750800 140524803240712 140525319927916 0 4 0 16800975 18446744071582151416 0 0 -1 3 0 0 41 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
[pid=20420/tid=20433] ppid=20418 vsize=15417412 memory=4580 CPUtime=0 cores=1,3,5,7
/proc/20420/task/20433/stat : 20433 (java) S 20418 20418 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445380246 15787429888 1050659 33554432000 4194304 4196468 140725216750800 140524802193632 140525340980949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
[pid=20420/tid=20434] ppid=20418 vsize=15417412 memory=-2892745056951965031 CPUtime=0 cores=1,3,5,7
/proc/20420/task/20434/stat : 20434 (java) S 20418 20418 19836 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 19 0 445380246 15787429888 1050659 33554432000 4194304 4196468 140725216750800 140524801141936 140525340981890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 43 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
Current children cumulated CPU time: 15.94 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 4204088 KiB
[startup+13.4086 s]
/proc/loadavg: 7.91 4.65 2.44 11/237 20438
/proc/meminfo: memFree=25891988/32770624 swapFree=66922404/67108860
[pid=20418] ppid=20415 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/20418/stat : 20418 (xcsp3-exec) S 20415 20418 19836 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445380240 115843072 363 33554432000 4194304 5098028 140737081763648 140737081761752 139798199210620 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 15446016 140737081770874 140737081771117 140737081771117 140737081774026 0
/proc/20418/statm: 28282 363 304 221 0 87 0
[pid=20420] ppid=20418 vsize=15419460 memory=4207256 CPUtime=17.53 cores=1,3,5,7
/proc/20420/stat : 20420 (java) S 20418 20418 19836 0 -1 1077944320 31592 0 0 0 1673 80 0 0 20 0 19 0 445380241 15789527040 1051814 33554432000 4194304 4196468 140725216750800 140725216733344 140525340970743 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
/proc/20420/statm: 3854865 1051814 3488 1 0 3815965 0
[pid=20420/tid=20421] ppid=20418 vsize=15419460 memory=227706281172878 CPUtime=12.12 cores=1,3,5,7
/proc/20420/task/20421/stat : 20421 (java) S 20418 20418 19836 0 -1 1077944384 17288 0 0 0 1149 63 0 0 20 0 19 0 445380241 15789527040 1051814 33554432000 4194304 4196468 140725216750800 140525345211520 140525340980949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
[pid=20420/tid=20422] ppid=20418 vsize=15419460 memory=227706281172879 CPUtime=0.09 cores=1,3,5,7
/proc/20420/task/20422/stat : 20422 (java) S 20418 20418 19836 0 -1 1077944384 194 0 0 0 6 3 0 0 20 0 19 0 445380242 15789527040 1051814 33554432000 4194304 4196468 140725216750800 140525293591184 140525340980949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
[pid=20420/tid=20423] ppid=20418 vsize=15419460 memory=8028674168966910323 CPUtime=0.09 cores=1,3,5,7
/proc/20420/task/20423/stat : 20423 (java) S 20418 20418 19836 0 -1 1077944384 155 0 0 0 6 3 0 0 20 0 19 0 445380242 15789527040 1051814 33554432000 4194304 4196468 140725216750800 140525292538384 140525340980949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
[pid=20420/tid=20424] ppid=20418 vsize=15419460 memory=-7523660553960122769 CPUtime=0.1 cores=1,3,5,7
/proc/20420/task/20424/stat : 20424 (java) S 20418 20418 19836 0 -1 1077944384 363 0 0 0 7 3 0 0 20 0 19 0 445380242 15789527040 1051814 33554432000 4194304 4196468 140725216750800 140525291485584 140525340980949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
[pid=20420/tid=20425] ppid=20418 vsize=15419460 memory=-7966001967407402336 CPUtime=0.1 cores=1,3,5,7
/proc/20420/task/20425/stat : 20425 (java) S 20418 20418 19836 0 -1 1077944384 198 0 0 0 7 3 0 0 20 0 19 0 445380242 15789527040 1051814 33554432000 4194304 4196468 140725216750800 140524930390288 140525340980949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
[pid=20420/tid=20426] ppid=20418 vsize=15419460 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/20420/task/20426/stat : 20426 (java) S 20418 20418 19836 0 -1 1077944384 2318 0 0 0 1 0 0 0 20 0 19 0 445380243 15789527040 1051814 33554432000 4194304 4196468 140725216750800 140524809562992 140525340981890 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 19 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
[pid=20420/tid=20427] ppid=20418 vsize=15419460 memory=7523656164468417127 CPUtime=0 cores=1,3,5,7
/proc/20420/task/20427/stat : 20427 (java) S 20418 20418 19836 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 19 0 445380243 15789527040 1051814 33554432000 4194304 4196468 140725216750800 140524808509024 140525340980949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
[pid=20420/tid=20428] ppid=20418 vsize=15419460 memory=280023949604464 CPUtime=0 cores=1,3,5,7
/proc/20420/task/20428/stat : 20428 (java) S 20418 20418 19836 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 19 0 445380244 15789527040 1051814 33554432000 4194304 4196468 140725216750800 140524807456128 140525340980949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
[pid=20420/tid=20429] ppid=20418 vsize=15419460 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20420/task/20429/stat : 20429 (java) S 20418 20418 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445380246 15789527040 1051814 33554432000 4194304 4196468 140725216750800 140524806404432 140525340989339 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
[pid=20420/tid=20430] ppid=20418 vsize=15419460 memory=0 CPUtime=0.81 cores=1,3,5,7
/proc/20420/task/20430/stat : 20430 (java) R 20418 20418 19836 0 -1 4202560 2825 0 0 0 81 0 0 0 20 0 19 0 445380246 15789527040 1051814 33554432000 4194304 4196468 140725216750800 140524805337672 140525326087917 0 4 0 16800975 0 0 0 -1 3 0 0 21 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
[pid=20420/tid=20431] ppid=20418 vsize=15419460 memory=140011975054352 CPUtime=0.73 cores=1,3,5,7
/proc/20420/task/20431/stat : 20431 (java) R 20418 20418 19836 0 -1 4202560 2699 0 0 0 73 0 0 0 20 0 19 0 445380246 15789527040 1051814 33554432000 4194304 4196468 140725216750800 140524804280008 140525321671040 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
[pid=20420/tid=20432] ppid=20418 vsize=15419460 memory=0 CPUtime=0.61 cores=1,3,5,7
/proc/20420/task/20432/stat : 20432 (java) R 20418 20418 19836 0 -1 4202560 3747 0 0 0 60 1 0 0 20 0 19 0 445380246 15789527040 1051814 33554432000 4194304 4196468 140725216750800 140524803243784 140525321319213 0 4 0 16800975 0 0 0 -1 3 0 0 41 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
[pid=20420/tid=20433] ppid=20418 vsize=15419460 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20420/task/20433/stat : 20433 (java) S 20418 20418 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445380246 15789527040 1051814 33554432000 4194304 4196468 140725216750800 140524802193632 140525340980949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
[pid=20420/tid=20434] ppid=20418 vsize=15419460 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20420/task/20434/stat : 20434 (java) S 20418 20418 19836 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 19 0 445380246 15789527040 1051814 33554432000 4194304 4196468 140725216750800 140524801141936 140525340981890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 43 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
[pid=20420/tid=20435] ppid=20418 vsize=15419460 memory=0 CPUtime=0.65 cores=1,3,5,7
/proc/20420/task/20435/stat : 20435 (java) R 20418 20418 19836 0 -1 4202560 82 0 0 0 65 0 0 0 20 0 19 0 445381488 15789527040 1051814 33554432000 4194304 4196468 140725216750800 140524791921520 140524977394715 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
[pid=20420/tid=20436] ppid=20418 vsize=15419460 memory=0 CPUtime=0.69 cores=1,3,5,7
/proc/20420/task/20436/stat : 20436 (java) R 20418 20418 19836 0 -1 4202560 144 0 0 0 69 0 0 0 20 0 19 0 445381488 15789527040 1051814 33554432000 4194304 4196468 140725216750800 140524790838752 140525325051230 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
[pid=20420/tid=20437] ppid=20418 vsize=15419460 memory=0 CPUtime=0.76 cores=1,3,5,7
/proc/20420/task/20437/stat : 20437 (java) R 20418 20418 19836 0 -1 4202560 48 0 0 0 76 0 0 0 20 0 19 0 445381488 15789527040 1051814 33554432000 4194304 4196468 140725216750800 140524789813528 140524976857464 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
[pid=20420/tid=20438] ppid=20418 vsize=15419460 memory=0 CPUtime=0.65 cores=1,3,5,7
/proc/20420/task/20438/stat : 20438 (java) R 20418 20418 19836 0 -1 4202560 60 0 0 0 65 0 0 0 20 0 19 0 445381488 15789527040 1051814 33554432000 4194304 4196468 140725216750800 140524788760816 140524977266489 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
Current children cumulated CPU time: 17.53 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 4208708 KiB
[startup+13.6086 s]
/proc/loadavg: 7.91 4.65 2.44 11/237 20438
/proc/meminfo: memFree=25891988/32770624 swapFree=66922404/67108860
[pid=20418] ppid=20415 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/20418/stat : 20418 (xcsp3-exec) S 20415 20418 19836 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445380240 115843072 363 33554432000 4194304 5098028 140737081763648 140737081761752 139798199210620 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 15446016 140737081770874 140737081771117 140737081771117 140737081774026 0
/proc/20418/statm: 28282 363 304 221 0 87 0
[pid=20420] ppid=20418 vsize=15419460 memory=4209924 CPUtime=18.32 cores=1,3,5,7
/proc/20420/stat : 20420 (java) S 20418 20418 19836 0 -1 1077944320 32259 0 0 0 1752 80 0 0 20 0 19 0 445380241 15789527040 1052481 33554432000 4194304 4196468 140725216750800 140725216733344 140525340970743 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
/proc/20420/statm: 3854865 1052481 3488 1 0 3815965 0
[pid=20420/tid=20421] ppid=20418 vsize=15419460 memory=297237786782859617 CPUtime=12.12 cores=1,3,5,7
/proc/20420/task/20421/stat : 20421 (java) S 20418 20418 19836 0 -1 1077944384 17288 0 0 0 1149 63 0 0 20 0 19 0 445380241 15789527040 1052481 33554432000 4194304 4196468 140725216750800 140525345211520 140525340980949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
[pid=20420/tid=20422] ppid=20418 vsize=15419460 memory=6791534058613427641 CPUtime=0.09 cores=1,3,5,7
/proc/20420/task/20422/stat : 20422 (java) S 20418 20418 19836 0 -1 1077944384 194 0 0 0 6 3 0 0 20 0 19 0 445380242 15789527040 1052481 33554432000 4194304 4196468 140725216750800 140525293591184 140525340980949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
[pid=20420/tid=20423] ppid=20418 vsize=15419460 memory=288230583166042426 CPUtime=0.09 cores=1,3,5,7
/proc/20420/task/20423/stat : 20423 (java) S 20418 20418 19836 0 -1 1077944384 155 0 0 0 6 3 0 0 20 0 19 0 445380242 15789527040 1052481 33554432000 4194304 4196468 140725216750800 140525292538384 140525340980949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
[pid=20420/tid=20424] ppid=20418 vsize=15419460 memory=14136632290838955 CPUtime=0.1 cores=1,3,5,7
/proc/20420/task/20424/stat : 20424 (java) S 20418 20418 19836 0 -1 1077944384 363 0 0 0 7 3 0 0 20 0 19 0 445380242 15789527040 1052481 33554432000 4194304 4196468 140725216750800 140525291485584 140525340980949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
[pid=20420/tid=20425] ppid=20418 vsize=15419460 memory=9 CPUtime=0.1 cores=1,3,5,7
/proc/20420/task/20425/stat : 20425 (java) S 20418 20418 19836 0 -1 1077944384 198 0 0 0 7 3 0 0 20 0 19 0 445380242 15789527040 1052481 33554432000 4194304 4196468 140725216750800 140524930390288 140525340980949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
[pid=20420/tid=20426] ppid=20418 vsize=15419460 memory=9 CPUtime=0.01 cores=1,3,5,7
/proc/20420/task/20426/stat : 20426 (java) S 20418 20418 19836 0 -1 1077944384 2318 0 0 0 1 0 0 0 20 0 19 0 445380243 15789527040 1052481 33554432000 4194304 4196468 140725216750800 140524809562992 140525340981890 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 19 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
[pid=20420/tid=20427] ppid=20418 vsize=15419460 memory=10 CPUtime=0 cores=1,3,5,7
/proc/20420/task/20427/stat : 20427 (java) S 20418 20418 19836 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 19 0 445380243 15789527040 1052481 33554432000 4194304 4196468 140725216750800 140524808509024 140525340980949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
[pid=20420/tid=20428] ppid=20418 vsize=15419460 memory=10 CPUtime=0 cores=1,3,5,7
/proc/20420/task/20428/stat : 20428 (java) S 20418 20418 19836 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 19 0 445380244 15789527040 1052481 33554432000 4194304 4196468 140725216750800 140524807456128 140525340980949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
[pid=20420/tid=20429] ppid=20418 vsize=15419460 memory=3472468307393976169 CPUtime=0 cores=1,3,5,7
/proc/20420/task/20429/stat : 20429 (java) S 20418 20418 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445380246 15789527040 1052481 33554432000 4194304 4196468 140725216750800 140524806404432 140525340989339 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
[pid=20420/tid=20430] ppid=20418 vsize=15419460 memory=280023949525520 CPUtime=0.91 cores=1,3,5,7
/proc/20420/task/20430/stat : 20430 (java) R 20418 20418 19836 0 -1 4202560 2967 0 0 0 91 0 0 0 20 0 19 0 445380246 15789527040 1052481 33554432000 4194304 4196468 140725216750800 140524805338360 140525320626177 0 4 0 16800975 0 0 0 -1 5 0 0 21 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
[pid=20420/tid=20431] ppid=20418 vsize=15419460 memory=-2892745056951965031 CPUtime=0.87 cores=1,3,5,7
/proc/20420/task/20431/stat : 20431 (java) R 20418 20418 19836 0 -1 4202560 3089 0 0 0 87 0 0 0 20 0 19 0 445380246 15789527040 1052481 33554432000 4194304 4196468 140725216750800 140524804280008 140525321671328 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
[pid=20420/tid=20432] ppid=20418 vsize=15419460 memory=-7523660553960122769 CPUtime=0.64 cores=1,3,5,7
/proc/20420/task/20432/stat : 20432 (java) S 20418 20418 19836 0 -1 1077944384 3856 0 0 0 63 1 0 0 20 0 19 0 445380246 15789527040 1052481 33554432000 4194304 4196468 140725216750800 140524803246192 140525340981890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 41 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
[pid=20420/tid=20433] ppid=20418 vsize=15419460 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/20420/task/20433/stat : 20433 (java) S 20418 20418 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445380246 15789527040 1052481 33554432000 4194304 4196468 140725216750800 140524802193632 140525340980949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
[pid=20420/tid=20434] ppid=20418 vsize=15419460 memory=-8412658761763547277 CPUtime=0 cores=1,3,5,7
/proc/20420/task/20434/stat : 20434 (java) R 20418 20418 19836 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 19 0 445380246 15789527040 1052481 33554432000 4194304 4196468 140725216750800 140524801141936 140525340981890 0 4 0 16800975 0 0 0 -1 5 0 0 43 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
[pid=20420/tid=20435] ppid=20418 vsize=15419460 memory=-8817073721047302083 CPUtime=0.77 cores=1,3,5,7
/proc/20420/task/20435/stat : 20435 (java) R 20418 20418 19836 0 -1 4202560 89 0 0 0 77 0 0 0 20 0 19 0 445381488 15789527040 1052481 33554432000 4194304 4196468 140725216750800 140524791922216 140524976855125 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
[pid=20420/tid=20436] ppid=20418 vsize=15419460 memory=56 CPUtime=0.78 cores=1,3,5,7
/proc/20420/task/20436/stat : 20436 (java) R 20418 20418 19836 0 -1 4202560 156 0 0 0 78 0 0 0 20 0 19 0 445381488 15789527040 1052481 33554432000 4194304 4196468 140725216750800 140524790869104 140524977120151 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
[pid=20420/tid=20437] ppid=20418 vsize=15419460 memory=964 CPUtime=0.88 cores=1,3,5,7
/proc/20420/task/20437/stat : 20437 (java) R 20418 20418 19836 0 -1 4202560 51 0 0 0 88 0 0 0 20 0 19 0 445381488 15789527040 1052481 33554432000 4194304 4196468 140725216750800 140524789816424 140524978051436 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
[pid=20420/tid=20438] ppid=20418 vsize=15419460 memory=0 CPUtime=0.84 cores=1,3,5,7
/proc/20420/task/20438/stat : 20438 (java) R 20418 20418 19836 0 -1 4202560 64 0 0 0 84 0 0 0 20 0 19 0 445381488 15789527040 1052481 33554432000 4194304 4196468 140725216750800 140524788763488 140524971498258 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
Current children cumulated CPU time: 18.32 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 4211376 KiB
[startup+13.7016 s]
/proc/loadavg: 7.91 4.65 2.44 11/237 20438
/proc/meminfo: memFree=25891988/32770624 swapFree=66922404/67108860
[pid=20418] ppid=20415 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/20418/stat : 20418 (xcsp3-exec) S 20415 20418 19836 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445380240 115843072 363 33554432000 4194304 5098028 140737081763648 140737081761752 139798199210620 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 15446016 140737081770874 140737081771117 140737081771117 140737081774026 0
/proc/20418/statm: 28282 363 304 221 0 87 0
[pid=20420] ppid=20418 vsize=15419460 memory=4210212 CPUtime=18.69 cores=1,3,5,7
/proc/20420/stat : 20420 (java) S 20418 20418 19836 0 -1 1077944320 32289 0 0 0 1789 80 0 0 20 0 19 0 445380241 15789527040 1052553 33554432000 4194304 4196468 140725216750800 140725216733344 140525340970743 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
/proc/20420/statm: 3854865 1052553 3488 1 0 3815965 0
[pid=20420/tid=20421] ppid=20418 vsize=15419460 memory=280023949680656 CPUtime=12.12 cores=1,3,5,7
/proc/20420/task/20421/stat : 20421 (java) S 20418 20418 19836 0 -1 1077944384 17288 0 0 0 1149 63 0 0 20 0 19 0 445380241 15789527040 1052553 33554432000 4194304 4196468 140725216750800 140525345211520 140525340980949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
[pid=20420/tid=20422] ppid=20418 vsize=15419460 memory=4 CPUtime=0.09 cores=1,3,5,7
/proc/20420/task/20422/stat : 20422 (java) S 20418 20418 19836 0 -1 1077944384 194 0 0 0 6 3 0 0 20 0 19 0 445380242 15789527040 1052553 33554432000 4194304 4196468 140725216750800 140525293591184 140525340980949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
[pid=20420/tid=20423] ppid=20418 vsize=15419460 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/20420/task/20423/stat : 20423 (java) S 20418 20418 19836 0 -1 1077944384 155 0 0 0 6 3 0 0 20 0 19 0 445380242 15789527040 1052553 33554432000 4194304 4196468 140725216750800 140525292538384 140525340980949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
[pid=20420/tid=20424] ppid=20418 vsize=15419460 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/20420/task/20424/stat : 20424 (java) S 20418 20418 19836 0 -1 1077944384 363 0 0 0 7 3 0 0 20 0 19 0 445380242 15789527040 1052553 33554432000 4194304 4196468 140725216750800 140525291485584 140525340980949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
[pid=20420/tid=20425] ppid=20418 vsize=15419460 memory=1452 CPUtime=0.1 cores=1,3,5,7
/proc/20420/task/20425/stat : 20425 (java) S 20418 20418 19836 0 -1 1077944384 198 0 0 0 7 3 0 0 20 0 19 0 445380242 15789527040 1052553 33554432000 4194304 4196468 140725216750800 140524930390288 140525340980949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
[pid=20420/tid=20426] ppid=20418 vsize=15419460 memory=4206204 CPUtime=0.01 cores=1,3,5,7
/proc/20420/task/20426/stat : 20426 (java) S 20418 20418 19836 0 -1 1077944384 2318 0 0 0 1 0 0 0 20 0 19 0 445380243 15789527040 1052553 33554432000 4194304 4196468 140725216750800 140524809562992 140525340981890 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 19 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
[pid=20420/tid=20427] ppid=20418 vsize=15419460 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/20420/task/20427/stat : 20427 (java) S 20418 20418 19836 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 19 0 445380243 15789527040 1052553 33554432000 4194304 4196468 140725216750800 140524808509024 140525340980949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
[pid=20420/tid=20428] ppid=20418 vsize=15419460 memory=4209636 CPUtime=0 cores=1,3,5,7
/proc/20420/task/20428/stat : 20428 (java) S 20418 20418 19836 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 19 0 445380244 15789527040 1052553 33554432000 4194304 4196468 140725216750800 140524807456128 140525340980949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
[pid=20420/tid=20429] ppid=20418 vsize=15419460 memory=280023948853378 CPUtime=0 cores=1,3,5,7
/proc/20420/task/20429/stat : 20429 (java) S 20418 20418 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445380246 15789527040 1052553 33554432000 4194304 4196468 140725216750800 140524806404432 140525340989339 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
[pid=20420/tid=20430] ppid=20418 vsize=15419460 memory=6935651549340454992 CPUtime=0.95 cores=1,3,5,7
/proc/20420/task/20430/stat : 20430 (java) R 20418 20418 19836 0 -1 4202560 2967 0 0 0 95 0 0 0 20 0 19 0 445380246 15789527040 1052553 33554432000 4194304 4196468 140725216750800 140524805338336 140525322514902 0 4 0 16800975 0 0 0 -1 3 0 0 21 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
[pid=20420/tid=20431] ppid=20418 vsize=15419460 memory=0 CPUtime=0.96 cores=1,3,5,7
/proc/20420/task/20431/stat : 20431 (java) R 20418 20418 19836 0 -1 4202560 3099 0 0 0 96 0 0 0 20 0 19 0 445380246 15789527040 1052553 33554432000 4194304 4196468 140725216750800 140524804285088 140525326078425 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
[pid=20420/tid=20432] ppid=20418 vsize=15419460 memory=0 CPUtime=0.64 cores=1,3,5,7
/proc/20420/task/20432/stat : 20432 (java) S 20418 20418 19836 0 -1 1077944384 3876 0 0 0 63 1 0 0 20 0 19 0 445380246 15789527040 1052553 33554432000 4194304 4196468 140725216750800 140524803246192 140525340981890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 41 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
[pid=20420/tid=20433] ppid=20418 vsize=15419460 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20420/task/20433/stat : 20433 (java) S 20418 20418 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445380246 15789527040 1052553 33554432000 4194304 4196468 140725216750800 140524802193632 140525340980949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
[pid=20420/tid=20434] ppid=20418 vsize=15419460 memory=56 CPUtime=0 cores=1,3,5,7
/proc/20420/task/20434/stat : 20434 (java) S 20418 20418 19836 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 19 0 445380246 15789527040 1052553 33554432000 4194304 4196468 140725216750800 140524801141936 140525340981890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 43 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
[pid=20420/tid=20435] ppid=20418 vsize=15419460 memory=280023949535168 CPUtime=0.82 cores=1,3,5,7
/proc/20420/task/20435/stat : 20435 (java) R 20418 20418 19836 0 -1 4202560 89 0 0 0 82 0 0 0 20 0 19 0 445381488 15789527040 1052553 33554432000 4194304 4196468 140725216750800 140524791922424 140524976506205 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
[pid=20420/tid=20436] ppid=20418 vsize=15419460 memory=4567366080449107543 CPUtime=0.83 cores=1,3,5,7
/proc/20420/task/20436/stat : 20436 (java) R 20418 20418 19836 0 -1 4202560 156 0 0 0 83 0 0 0 20 0 19 0 445381488 15789527040 1052553 33554432000 4194304 4196468 140725216750800 140524790871048 140524977080660 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
[pid=20420/tid=20437] ppid=20418 vsize=15419460 memory=0 CPUtime=0.94 cores=1,3,5,7
/proc/20420/task/20437/stat : 20437 (java) R 20418 20418 19836 0 -1 4202560 51 0 0 0 94 0 0 0 20 0 19 0 445381488 15789527040 1052553 33554432000 4194304 4196468 140725216750800 140524789817720 140525321795207 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
[pid=20420/tid=20438] ppid=20418 vsize=15419460 memory=988 CPUtime=0.93 cores=1,3,5,7
/proc/20420/task/20438/stat : 20438 (java) R 20418 20418 19836 0 -1 4202560 64 0 0 0 93 0 0 0 20 0 19 0 445381488 15789527040 1052553 33554432000 4194304 4196468 140725216750800 140524788765224 140524978221715 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32440320 140725216752623 140725216752794 140725216752794 140725216755663 0
Current children cumulated CPU time: 18.69 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 4211664 KiB
Child status: 0
Real time (s): 13.7623
CPU time (s): 18.8414
CPU user time (s): 18.0206
CPU system time (s): 0.820807
CPU usage (%): 136.906
Max. virtual memory (cumulated for all children) (KiB): 15532588
Max. memory (cumulated for all children) (KiB): 4211664
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18.0206
system time used= 0.820807
maximum resident set size= 4211208
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32933
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3195
involuntary context switches= 303
# summary of solver processes directly reported to runsolver:
# pid: 20418
# total CPU time (s): 18.8414
# total CPU user time (s): 18.0206
# total CPU system time (s): 0.820807
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.116872 second user time and 0.172773 second system time
The end