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 (12395 MiB free)
memory of node 1: 16384 MiB (11914 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403483-1568993579/watcher-4403483-1568993579 -o /var/tmp/evaluation-result-4403483-1568993579/solver-4403483-1568993579 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node136-1568987938-25143 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 326411531 HOME/instance-4403483-1568993579.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=31936, runsolver pid=31933
[startup+0.101579 s]*
/proc/loadavg: 6.08 6.92 7.16 7/236 31952
/proc/meminfo: memFree=24877844/32770624 swapFree=67002252/67108860
[pid=31936] ppid=31933 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/31936/stat : 31936 (xcsp3-exec) S 31933 31936 25111 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475606466 115843072 363 33554432000 4194304 5098028 140720467894800 140720467892904 140078849008252 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 14733312 140720467899223 140720467899481 140720467899481 140720467902406 0
/proc/31936/statm: 28282 363 304 221 0 87 0
[pid=31938] ppid=31936 vsize=15144776 memory=28780 CPUtime=0.13 cores=1,3,5,7
/proc/31938/stat : 31938 (java) S 31936 31936 25111 0 -1 1077944320 5687 0 0 0 12 1 0 0 20 0 15 0 475606467 15508250624 7195 33554432000 4194304 4196468 140725498825472 140725498808016 140174991613687 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
/proc/31938/statm: 3786194 7195 3186 1 0 3748377 0
[pid=31938/tid=31939] ppid=31936 vsize=15144776 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/31938/task/31939/stat : 31939 (java) R 31936 31936 25111 0 -1 4202560 3548 0 0 0 8 1 0 0 20 0 15 0 475606467 15508250624 7195 33554432000 4194304 4196468 140725498825472 140174995835744 140174975657317 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
[pid=31938/tid=31940] ppid=31936 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31938/task/31940/stat : 31940 (java) S 31936 31936 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475606468 15508250624 7195 33554432000 4194304 4196468 140725498825472 140174919654288 140174991623893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
[pid=31938/tid=31941] ppid=31936 vsize=15144776 memory=140016185255552 CPUtime=0 cores=1,3,5,7
/proc/31938/task/31941/stat : 31941 (java) S 31936 31936 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475606468 15508250624 7195 33554432000 4194304 4196468 140725498825472 140174918601488 140174991623893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
[pid=31938/tid=31942] ppid=31936 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31938/task/31942/stat : 31942 (java) S 31936 31936 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475606468 15508250624 7195 33554432000 4194304 4196468 140725498825472 140174917549200 140174991623893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
[pid=31938/tid=31943] ppid=31936 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31938/task/31943/stat : 31943 (java) S 31936 31936 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475606468 15508250624 7261 33554432000 4194304 4196468 140725498825472 140174916496400 140174991623893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
[pid=31938/tid=31944] ppid=31936 vsize=15144776 memory=140016185255552 CPUtime=0 cores=1,3,5,7
/proc/31938/task/31944/stat : 31944 (java) S 31936 31936 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475606469 15508250624 7261 33554432000 4194304 4196468 140725498825472 140174325946480 140174991624834 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
[pid=31938/tid=31945] ppid=31936 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31938/task/31945/stat : 31945 (java) S 31936 31936 25111 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475606470 15508250624 7261 33554432000 4194304 4196468 140725498825472 140174324892448 140174991623893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
[pid=31938/tid=31946] ppid=31936 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31938/task/31946/stat : 31946 (java) S 31936 31936 25111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475606470 15508250624 7261 33554432000 4194304 4196468 140725498825472 140174323840112 140174991623893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
[pid=31938/tid=31947] ppid=31936 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31938/task/31947/stat : 31947 (java) S 31936 31936 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475606472 15508250624 7261 33554432000 4194304 4196468 140725498825472 140174322788432 140174991632283 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
[pid=31938/tid=31948] ppid=31936 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31938/task/31948/stat : 31948 (java) R 31936 31936 25111 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 15 0 475606472 15508250624 7261 33554432000 4194304 4196468 140725498825472 140174321736400 140174991623893 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
[pid=31938/tid=31949] ppid=31936 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31938/task/31949/stat : 31949 (java) R 31936 31936 25111 0 -1 4202560 179 0 0 0 0 0 0 0 20 0 15 0 475606472 15508250624 7261 33554432000 4194304 4196468 140725498825472 140174320675152 140174983850814 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
[pid=31938/tid=31950] ppid=31936 vsize=15144776 memory=140016185255552 CPUtime=0.02 cores=1,3,5,7
/proc/31938/task/31950/stat : 31950 (java) R 31936 31936 25111 0 -1 4202560 366 0 0 0 2 0 0 0 20 0 15 0 475606472 15508250624 7261 33554432000 4194304 4196468 140725498825472 140174319626976 140174984719389 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
[pid=31938/tid=31951] ppid=31936 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31938/task/31951/stat : 31951 (java) S 31936 31936 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475606472 15508250624 7261 33554432000 4194304 4196468 140725498825472 140174318578656 140174991623893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
[pid=31938/tid=31952] ppid=31936 vsize=15144776 memory=140016185255552 CPUtime=0 cores=1,3,5,7
/proc/31938/task/31952/stat : 31952 (java) R 31936 31936 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475606473 15508250624 7261 33554432000 4194304 4196468 140725498825472 140174317525424 140174991624834 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30232 KiB
[startup+0.211104 s]*
/proc/loadavg: 6.08 6.92 7.16 7/236 31952
/proc/meminfo: memFree=24863744/32770624 swapFree=67002252/67108860
[pid=31936] ppid=31933 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/31936/stat : 31936 (xcsp3-exec) S 31933 31936 25111 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475606466 115843072 363 33554432000 4194304 5098028 140720467894800 140720467892904 140078849008252 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 14733312 140720467899223 140720467899481 140720467899481 140720467902406 0
/proc/31936/statm: 28282 363 304 221 0 87 0
[pid=31938] ppid=31936 vsize=15144776 memory=40920 CPUtime=0.34 cores=1,3,5,7
/proc/31938/stat : 31938 (java) S 31936 31936 25111 0 -1 1077944320 9491 0 0 0 30 4 0 0 20 0 15 0 475606467 15508250624 10230 33554432000 4194304 4196468 140725498825472 140725498808016 140174991613687 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
/proc/31938/statm: 3786194 10230 3303 1 0 3748377 0
[pid=31938/tid=31939] ppid=31936 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/31938/task/31939/stat : 31939 (java) R 31936 31936 25111 0 -1 4202560 6606 0 0 0 17 3 0 0 20 0 15 0 475606467 15508250624 10230 33554432000 4194304 4196468 140725498825472 140174995848672 140174991625622 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
[pid=31938/tid=31940] ppid=31936 vsize=15144776 memory=13620 CPUtime=0 cores=1,3,5,7
/proc/31938/task/31940/stat : 31940 (java) S 31936 31936 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475606468 15508250624 10230 33554432000 4194304 4196468 140725498825472 140174919654288 140174991623893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
[pid=31938/tid=31941] ppid=31936 vsize=15144776 memory=140016188783337 CPUtime=0 cores=1,3,5,7
/proc/31938/task/31941/stat : 31941 (java) S 31936 31936 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475606468 15508250624 10230 33554432000 4194304 4196468 140725498825472 140174918601488 140174991623893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
[pid=31938/tid=31942] ppid=31936 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31938/task/31942/stat : 31942 (java) S 31936 31936 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475606468 15508250624 10230 33554432000 4194304 4196468 140725498825472 140174917549200 140174991623893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
[pid=31938/tid=31943] ppid=31936 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31938/task/31943/stat : 31943 (java) S 31936 31936 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475606468 15508250624 10230 33554432000 4194304 4196468 140725498825472 140174916496400 140174991623893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
[pid=31938/tid=31944] ppid=31936 vsize=15144776 memory=140016185255552 CPUtime=0 cores=1,3,5,7
/proc/31938/task/31944/stat : 31944 (java) S 31936 31936 25111 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475606469 15508250624 10230 33554432000 4194304 4196468 140725498825472 140174325946480 140174991624834 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
[pid=31938/tid=31945] ppid=31936 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31938/task/31945/stat : 31945 (java) S 31936 31936 25111 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475606470 15508250624 10230 33554432000 4194304 4196468 140725498825472 140174324892448 140174991623893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
[pid=31938/tid=31946] ppid=31936 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31938/task/31946/stat : 31946 (java) S 31936 31936 25111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475606470 15508250624 10230 33554432000 4194304 4196468 140725498825472 140174323840112 140174991623893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
[pid=31938/tid=31947] ppid=31936 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31938/task/31947/stat : 31947 (java) S 31936 31936 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475606472 15508250624 10230 33554432000 4194304 4196468 140725498825472 140174322788432 140174991632283 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
[pid=31938/tid=31948] ppid=31936 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/31938/task/31948/stat : 31948 (java) S 31936 31936 25111 0 -1 1077944384 500 0 0 0 2 0 0 0 20 0 15 0 475606472 15508250624 10230 33554432000 4194304 4196468 140725498825472 140174321736304 140174991624834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
[pid=31938/tid=31949] ppid=31936 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/31938/task/31949/stat : 31949 (java) S 31936 31936 25111 0 -1 1077944384 299 0 0 0 2 0 0 0 20 0 15 0 475606472 15508250624 10230 33554432000 4194304 4196468 140725498825472 140174320683504 140174991624834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
[pid=31938/tid=31950] ppid=31936 vsize=15144776 memory=140016185255552 CPUtime=0.08 cores=1,3,5,7
/proc/31938/task/31950/stat : 31950 (java) R 31936 31936 25111 0 -1 4202560 778 0 0 0 8 0 0 0 20 0 15 0 475606472 15508250624 10230 33554432000 4194304 4196468 140725498825472 140174319631216 140174970886321 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
[pid=31938/tid=31951] ppid=31936 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31938/task/31951/stat : 31951 (java) S 31936 31936 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475606472 15508250624 10230 33554432000 4194304 4196468 140725498825472 140174318578656 140174991623893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
[pid=31938/tid=31952] ppid=31936 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31938/task/31952/stat : 31952 (java) S 31936 31936 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475606473 15508250624 10230 33554432000 4194304 4196468 140725498825472 140174317525424 140174991624834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42372 KiB
[startup+0.310855 s]*
/proc/loadavg: 6.08 6.92 7.16 9/236 31952
/proc/meminfo: memFree=24856724/32770624 swapFree=67002252/67108860
[pid=31936] ppid=31933 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/31936/stat : 31936 (xcsp3-exec) S 31933 31936 25111 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475606466 115843072 363 33554432000 4194304 5098028 140720467894800 140720467892904 140078849008252 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 14733312 140720467899223 140720467899481 140720467899481 140720467902406 0
/proc/31936/statm: 28282 363 304 221 0 87 0
[pid=31938] ppid=31936 vsize=15149032 memory=49948 CPUtime=0.54 cores=1,3,5,7
/proc/31938/stat : 31938 (java) S 31936 31936 25111 0 -1 1077944320 10863 0 0 0 49 5 0 0 20 0 15 0 475606467 15512608768 12487 33554432000 4194304 4196468 140725498825472 140725498808016 140174991613687 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
/proc/31938/statm: 3787258 12487 3350 1 0 3748377 0
[pid=31938/tid=31939] ppid=31936 vsize=15149032 memory=7883960649037381690 CPUtime=0.29 cores=1,3,5,7
/proc/31938/task/31939/stat : 31939 (java) R 31936 31936 25111 0 -1 4202560 7803 0 0 0 26 3 0 0 20 0 15 0 475606467 15512608768 12487 33554432000 4194304 4196468 140725498825472 140174995844800 140174975694174 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
[pid=31938/tid=31940] ppid=31936 vsize=15149032 memory=13961 CPUtime=0 cores=1,3,5,7
/proc/31938/task/31940/stat : 31940 (java) S 31936 31936 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475606468 15512608768 12487 33554432000 4194304 4196468 140725498825472 140174919654288 140174991623893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
[pid=31938/tid=31941] ppid=31936 vsize=15149032 memory=3546595 CPUtime=0 cores=1,3,5,7
/proc/31938/task/31941/stat : 31941 (java) S 31936 31936 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475606468 15512608768 12487 33554432000 4194304 4196468 140725498825472 140174918601488 140174991623893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
[pid=31938/tid=31942] ppid=31936 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31938/task/31942/stat : 31942 (java) S 31936 31936 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475606468 15512608768 12487 33554432000 4194304 4196468 140725498825472 140174917549200 140174991623893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
[pid=31938/tid=31943] ppid=31936 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31938/task/31943/stat : 31943 (java) S 31936 31936 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475606468 15512608768 12487 33554432000 4194304 4196468 140725498825472 140174916496400 140174991623893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
[pid=31938/tid=31944] ppid=31936 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31938/task/31944/stat : 31944 (java) S 31936 31936 25111 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475606469 15512608768 12487 33554432000 4194304 4196468 140725498825472 140174325946480 140174991624834 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
[pid=31938/tid=31945] ppid=31936 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31938/task/31945/stat : 31945 (java) S 31936 31936 25111 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475606470 15512608768 12487 33554432000 4194304 4196468 140725498825472 140174324892448 140174991623893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
[pid=31938/tid=31946] ppid=31936 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31938/task/31946/stat : 31946 (java) S 31936 31936 25111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475606470 15512608768 12487 33554432000 4194304 4196468 140725498825472 140174323840112 140174991623893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
[pid=31938/tid=31947] ppid=31936 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31938/task/31947/stat : 31947 (java) S 31936 31936 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475606472 15512608768 12487 33554432000 4194304 4196468 140725498825472 140174322788432 140174991632283 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
[pid=31938/tid=31948] ppid=31936 vsize=15149032 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/31938/task/31948/stat : 31948 (java) S 31936 31936 25111 0 -1 1077944384 508 0 0 0 3 0 0 0 20 0 15 0 475606472 15512608768 12487 33554432000 4194304 4196468 140725498825472 140174321736304 140174991624834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
[pid=31938/tid=31949] ppid=31936 vsize=15149032 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/31938/task/31949/stat : 31949 (java) S 31936 31936 25111 0 -1 1077944384 394 0 0 0 5 0 0 0 20 0 15 0 475606472 15512608768 12487 33554432000 4194304 4196468 140725498825472 140174320683504 140174991624834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
[pid=31938/tid=31950] ppid=31936 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/31938/task/31950/stat : 31950 (java) S 31936 31936 25111 0 -1 1077944384 852 0 0 0 12 0 0 0 20 0 15 0 475606472 15512608768 12487 33554432000 4194304 4196468 140725498825472 140174319631216 140174991624834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
[pid=31938/tid=31951] ppid=31936 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31938/task/31951/stat : 31951 (java) S 31936 31936 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475606472 15512608768 12487 33554432000 4194304 4196468 140725498825472 140174318578656 140174991623893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
[pid=31938/tid=31952] ppid=31936 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31938/task/31952/stat : 31952 (java) S 31936 31936 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475606473 15512608768 12487 33554432000 4194304 4196468 140725498825472 140174317525424 140174991624834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51400 KiB
[startup+0.701394 s]
/proc/loadavg: 6.08 6.92 7.16 8/236 31952
/proc/meminfo: memFree=24833620/32770624 swapFree=67002252/67108860
[pid=31936] ppid=31933 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/31936/stat : 31936 (xcsp3-exec) S 31933 31936 25111 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475606466 115843072 363 33554432000 4194304 5098028 140720467894800 140720467892904 140078849008252 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 14733312 140720467899223 140720467899481 140720467899481 140720467902406 0
/proc/31936/statm: 28282 363 304 221 0 87 0
[pid=31938] ppid=31936 vsize=15151156 memory=115296 CPUtime=1.74 cores=1,3,5,7
/proc/31938/stat : 31938 (java) S 31936 31936 25111 0 -1 1077944320 14216 0 0 0 167 7 0 0 20 0 15 0 475606467 15514783744 28824 33554432000 4194304 4196468 140725498825472 140725498808016 140174991613687 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
/proc/31938/statm: 3787789 28824 3446 1 0 3748889 0
[pid=31938/tid=31939] ppid=31936 vsize=15151156 memory=29968 CPUtime=0.68 cores=1,3,5,7
/proc/31938/task/31939/stat : 31939 (java) R 31936 31936 25111 0 -1 4202560 8828 0 0 0 63 5 0 0 20 0 15 0 475606467 15514783744 28824 33554432000 4194304 4196468 140725498825472 140174995847608 140174599789894 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
[pid=31938/tid=31940] ppid=31936 vsize=15151156 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/31938/task/31940/stat : 31940 (java) S 31936 31936 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475606468 15514783744 28824 33554432000 4194304 4196468 140725498825472 140174919654288 140174991623893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
[pid=31938/tid=31941] ppid=31936 vsize=15151156 memory=500 CPUtime=0 cores=1,3,5,7
/proc/31938/task/31941/stat : 31941 (java) S 31936 31936 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475606468 15514783744 28824 33554432000 4194304 4196468 140725498825472 140174918601488 140174991623893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
[pid=31938/tid=31942] ppid=31936 vsize=15151156 memory=932 CPUtime=0 cores=1,3,5,7
/proc/31938/task/31942/stat : 31942 (java) S 31936 31936 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475606468 15514783744 28824 33554432000 4194304 4196468 140725498825472 140174917549200 140174991623893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
[pid=31938/tid=31943] ppid=31936 vsize=15151156 memory=1808 CPUtime=0 cores=1,3,5,7
/proc/31938/task/31943/stat : 31943 (java) S 31936 31936 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475606468 15514783744 28824 33554432000 4194304 4196468 140725498825472 140174916496400 140174991623893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
[pid=31938/tid=31944] ppid=31936 vsize=15151156 memory=1656 CPUtime=0 cores=1,3,5,7
/proc/31938/task/31944/stat : 31944 (java) S 31936 31936 25111 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475606469 15514783744 28824 33554432000 4194304 4196468 140725498825472 140174325946480 140174991624834 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
[pid=31938/tid=31945] ppid=31936 vsize=15151156 memory=804 CPUtime=0 cores=1,3,5,7
/proc/31938/task/31945/stat : 31945 (java) S 31936 31936 25111 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475606470 15514783744 28824 33554432000 4194304 4196468 140725498825472 140174324892448 140174991623893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
[pid=31938/tid=31946] ppid=31936 vsize=15151156 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/31938/task/31946/stat : 31946 (java) S 31936 31936 25111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475606470 15514783744 28824 33554432000 4194304 4196468 140725498825472 140174323840112 140174991623893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
[pid=31938/tid=31947] ppid=31936 vsize=15151156 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/31938/task/31947/stat : 31947 (java) S 31936 31936 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475606472 15514783744 28824 33554432000 4194304 4196468 140725498825472 140174322788432 140174991632283 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
[pid=31938/tid=31948] ppid=31936 vsize=15151156 memory=2676 CPUtime=0.34 cores=1,3,5,7
/proc/31938/task/31948/stat : 31948 (java) R 31936 31936 25111 0 -1 4202560 1270 0 0 0 34 0 0 0 20 0 15 0 475606472 15514783744 28824 33554432000 4194304 4196468 140725498825472 140174321726416 140174973149796 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
[pid=31938/tid=31949] ppid=31936 vsize=15151156 memory=1764 CPUtime=0.37 cores=1,3,5,7
/proc/31938/task/31949/stat : 31949 (java) R 31936 31936 25111 0 -1 4202560 1273 0 0 0 37 0 0 0 20 0 15 0 475606472 15514783744 28824 33554432000 4194304 4196468 140725498825472 140174320673888 140174972976576 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
[pid=31938/tid=31950] ppid=31936 vsize=15151156 memory=111632 CPUtime=0.31 cores=1,3,5,7
/proc/31938/task/31950/stat : 31950 (java) S 31936 31936 25111 0 -1 1077944384 1537 0 0 0 31 0 0 0 20 0 15 0 475606472 15514783744 28824 33554432000 4194304 4196468 140725498825472 140174319631216 140174991624834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
[pid=31938/tid=31951] ppid=31936 vsize=15151156 memory=796 CPUtime=0 cores=1,3,5,7
/proc/31938/task/31951/stat : 31951 (java) S 31936 31936 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475606472 15514783744 28824 33554432000 4194304 4196468 140725498825472 140174318578656 140174991623893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
[pid=31938/tid=31952] ppid=31936 vsize=15151156 memory=1808 CPUtime=0 cores=1,3,5,7
/proc/31938/task/31952/stat : 31952 (java) S 31936 31936 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475606473 15514783744 28824 33554432000 4194304 4196468 140725498825472 140174317525424 140174991624834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
Current children cumulated CPU time: 1.74 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 116748 KiB
[startup+1.5014 s]
/proc/loadavg: 6.08 6.92 7.16 11/240 31956
/proc/meminfo: memFree=24690700/32770624 swapFree=67002252/67108860
[pid=31936] ppid=31933 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/31936/stat : 31936 (xcsp3-exec) S 31933 31936 25111 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475606466 115843072 363 33554432000 4194304 5098028 140720467894800 140720467892904 140078849008252 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 14733312 140720467899223 140720467899481 140720467899481 140720467902406 0
/proc/31936/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/31938/task/31952/stat : 31952 (java) R 31936 31936 25111 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 19 0 475606473 15787429888 56738 33554432000 4194304 4196468 140725498825472 140174317525424 140174991624834 0 4 0 16800975 0 0 0 -1 7 0 0 12 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
[pid=31938/tid=31953] ppid=31936 vsize=15417412 memory=0 CPUtime=4.74 cores=1,3,5,7
/proc/31938/task/31953/stat : 31953 (java) R 31936 31936 25111 0 -1 4202560 135 0 0 0 474 0 0 0 20 0 19 0 475606556 15787429888 56738 33554432000 4194304 4196468 140725498825472 140174312594216 140174600794823 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
[pid=31938/tid=31954] ppid=31936 vsize=15417412 memory=513 CPUtime=5.12 cores=1,3,5,7
/proc/31938/task/31954/stat : 31954 (java) R 31936 31936 25111 0 -1 4202560 222 0 0 0 512 0 0 0 20 0 19 0 475606557 15787429888 56738 33554432000 4194304 4196468 140725498825472 140173846142944 140174600708354 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
[pid=31938/tid=31955] ppid=31936 vsize=15417412 memory=85 CPUtime=5.02 cores=1,3,5,7
/proc/31938/task/31955/stat : 31955 (java) R 31936 31936 25111 0 -1 4202560 109 0 0 0 501 1 0 0 20 0 19 0 475606557 15787429888 56738 33554432000 4194304 4196468 140725498825472 140173845090144 140174600794332 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
[pid=31938/tid=31956] ppid=31936 vsize=15417412 memory=1 CPUtime=4.9 cores=1,3,5,7
/proc/31938/task/31956/stat : 31956 (java) R 31936 31936 25111 0 -1 4202560 403 0 0 0 490 0 0 0 20 0 19 0 475606557 15787429888 56738 33554432000 4194304 4196468 140725498825472 140173844037912 140174600708429 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
Current children cumulated CPU time: 24.19 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 228404 KiB
[startup+8.0094 s]*
/proc/loadavg: 6.46 6.97 7.18 9/240 31956
/proc/meminfo: memFree=24679908/32770624 swapFree=67002252/67108860
[pid=31936] ppid=31933 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/31936/stat : 31936 (xcsp3-exec) S 31933 31936 25111 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475606466 115843072 363 33554432000 4194304 5098028 140720467894800 140720467892904 140078849008252 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 14733312 140720467899223 140720467899481 140720467899481 140720467902406 0
/proc/31936/statm: 28282 363 304 221 0 87 0
[pid=31938] ppid=31936 vsize=15417412 memory=226952 CPUtime=30.63 cores=1,3,5,7
/proc/31938/stat : 31938 (java) S 31936 31936 25111 0 -1 1077944320 21736 0 0 0 3048 15 0 0 20 0 19 0 475606467 15787429888 56738 33554432000 4194304 4196468 140725498825472 140725498808016 140174991613687 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
/proc/31938/statm: 3854353 56738 3500 1 0 3815453 0
[pid=31938/tid=31939] ppid=31936 vsize=15417412 memory=6791534058613427641 CPUtime=0.85 cores=1,3,5,7
/proc/31938/task/31939/stat : 31939 (java) S 31936 31936 25111 0 -1 1077944384 8913 0 0 0 79 6 0 0 20 0 19 0 475606467 15787429888 56738 33554432000 4194304 4196468 140725498825472 140174995854464 140174991623893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
[pid=31938/tid=31940] ppid=31936 vsize=15417412 memory=291 CPUtime=0.01 cores=1,3,5,7
/proc/31938/task/31940/stat : 31940 (java) S 31936 31936 25111 0 -1 1077944384 13 0 0 0 1 0 0 0 20 0 19 0 475606468 15787429888 56738 33554432000 4194304 4196468 140725498825472 140174919654288 140174991623893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
[pid=31938/tid=31941] ppid=31936 vsize=15417412 memory=271381 CPUtime=0.02 cores=1,3,5,7
/proc/31938/task/31941/stat : 31941 (java) S 31936 31936 25111 0 -1 1077944384 24 0 0 0 1 1 0 0 20 0 19 0 475606468 15787429888 56738 33554432000 4194304 4196468 140725498825472 140174918601488 140174991623893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
[pid=31938/tid=31942] ppid=31936 vsize=15417412 memory=2 CPUtime=0.02 cores=1,3,5,7
/proc/31938/task/31942/stat : 31942 (java) S 31936 31936 25111 0 -1 1077944384 30 0 0 0 1 1 0 0 20 0 19 0 475606468 15787429888 56738 33554432000 4194304 4196468 140725498825472 140174917549200 140174991623893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
[pid=31938/tid=31943] ppid=31936 vsize=15417412 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/31938/task/31943/stat : 31943 (java) S 31936 31936 25111 0 -1 1077944384 28 0 0 0 1 0 0 0 20 0 19 0 475606468 15787429888 56738 33554432000 4194304 4196468 140725498825472 140174916496400 140174991623893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
[pid=31938/tid=31944] ppid=31936 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31938/task/31944/stat : 31944 (java) S 31936 31936 25111 0 -1 1077944384 129 0 0 0 0 0 0 0 20 0 19 0 475606469 15787429888 56738 33554432000 4194304 4196468 140725498825472 140174325946480 140174991624834 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
[pid=31938/tid=31945] ppid=31936 vsize=15417412 memory=3 CPUtime=0 cores=1,3,5,7
/proc/31938/task/31945/stat : 31945 (java) S 31936 31936 25111 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 475606470 15787429888 56738 33554432000 4194304 4196468 140725498825472 140174324892448 140174991623893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
[pid=31938/tid=31946] ppid=31936 vsize=15417412 memory=150 CPUtime=0 cores=1,3,5,7
/proc/31938/task/31946/stat : 31946 (java) S 31936 31936 25111 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 475606470 15787429888 56738 33554432000 4194304 4196468 140725498825472 140174323840112 140174991623893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
[pid=31938/tid=31947] ppid=31936 vsize=15417412 memory=142 CPUtime=0 cores=1,3,5,7
/proc/31938/task/31947/stat : 31947 (java) S 31936 31936 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475606472 15787429888 56738 33554432000 4194304 4196468 140725498825472 140174322788432 140174991632283 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
[pid=31938/tid=31948] ppid=31936 vsize=15417412 memory=56 CPUtime=1.35 cores=1,3,5,7
/proc/31938/task/31948/stat : 31948 (java) S 31936 31936 25111 0 -1 1077944384 3299 0 0 0 135 0 0 0 20 0 19 0 475606472 15787429888 56738 33554432000 4194304 4196468 140725498825472 140174321736304 140174991624834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
[pid=31938/tid=31949] ppid=31936 vsize=15417412 memory=7957689449132282197 CPUtime=1.52 cores=1,3,5,7
/proc/31938/task/31949/stat : 31949 (java) S 31936 31936 25111 0 -1 1077944384 4421 0 0 0 152 0 0 0 20 0 19 0 475606472 15787429888 56738 33554432000 4194304 4196468 140725498825472 140174320683504 140174991624834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
[pid=31938/tid=31950] ppid=31936 vsize=15417412 memory=277214503503706 CPUtime=0.54 cores=1,3,5,7
/proc/31938/task/31950/stat : 31950 (java) S 31936 31936 25111 0 -1 1077944384 2377 0 0 0 53 1 0 0 20 0 19 0 475606472 15787429888 56738 33554432000 4194304 4196468 140725498825472 140174319631216 140174991624834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
[pid=31938/tid=31951] ppid=31936 vsize=15417412 memory=7377578339313544294 CPUtime=0 cores=1,3,5,7
/proc/31938/task/31951/stat : 31951 (java) S 31936 31936 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475606472 15787429888 56738 33554432000 4194304 4196468 140725498825472 140174318578656 140174991623893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
[pid=31938/tid=31952] ppid=31936 vsize=15417412 memory=7377578339313544294 CPUtime=0 cores=1,3,5,7
/proc/31938/task/31952/stat : 31952 (java) S 31936 31936 25111 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 19 0 475606473 15787429888 56738 33554432000 4194304 4196468 140725498825472 140174317525424 140174991624834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
[pid=31938/tid=31953] ppid=31936 vsize=15417412 memory=7377578339313544294 CPUtime=6.32 cores=1,3,5,7
/proc/31938/task/31953/stat : 31953 (java) R 31936 31936 25111 0 -1 4202560 139 0 0 0 632 0 0 0 20 0 19 0 475606556 15787429888 56738 33554432000 4194304 4196468 140725498825472 140174312596600 140174600487695 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
[pid=31938/tid=31954] ppid=31936 vsize=15417412 memory=7738981227446232684 CPUtime=6.73 cores=1,3,5,7
/proc/31938/task/31954/stat : 31954 (java) R 31936 31936 25111 0 -1 4202560 232 0 0 0 673 0 0 0 20 0 19 0 475606557 15787429888 56738 33554432000 4194304 4196468 140725498825472 140173846145528 140174600794818 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
[pid=31938/tid=31955] ppid=31936 vsize=15417412 memory=7377578339313544294 CPUtime=6.64 cores=1,3,5,7
/proc/31938/task/31955/stat : 31955 (java) R 31936 31936 25111 0 -1 4202560 109 0 0 0 663 1 0 0 20 0 19 0 475606557 15787429888 56738 33554432000 4194304 4196468 140725498825472 140173845089968 140174600794167 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
[pid=31938/tid=31956] ppid=31936 vsize=15417412 memory=7377578339313544294 CPUtime=6.51 cores=1,3,5,7
/proc/31938/task/31956/stat : 31956 (java) R 31936 31936 25111 0 -1 4202560 422 0 0 0 651 0 0 0 20 0 19 0 475606557 15787429888 56738 33554432000 4194304 4196468 140725498825472 140173844038040 140174600707073 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
Current children cumulated CPU time: 30.63 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 228404 KiB
[startup+8.8014 s]
/proc/loadavg: 6.46 6.97 7.18 9/240 31956
/proc/meminfo: memFree=24679908/32770624 swapFree=67002252/67108860
[pid=31936] ppid=31933 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/31936/stat : 31936 (xcsp3-exec) S 31933 31936 25111 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475606466 115843072 363 33554432000 4194304 5098028 140720467894800 140720467892904 140078849008252 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 14733312 140720467899223 140720467899481 140720467899481 140720467902406 0
/proc/31936/statm: 28282 363 304 221 0 87 0
[pid=31938] ppid=31936 vsize=15417412 memory=226952 CPUtime=33.75 cores=1,3,5,7
/proc/31938/stat : 31938 (java) S 31936 31936 25111 0 -1 1077944320 21741 0 0 0 3360 15 0 0 20 0 19 0 475606467 15787429888 56738 33554432000 4194304 4196468 140725498825472 140725498808016 140174991613687 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
/proc/31938/statm: 3854353 56738 3500 1 0 3815453 0
[pid=31938/tid=31939] ppid=31936 vsize=15417412 memory=0 CPUtime=0.85 cores=1,3,5,7
/proc/31938/task/31939/stat : 31939 (java) S 31936 31936 25111 0 -1 1077944384 8913 0 0 0 79 6 0 0 20 0 19 0 475606467 15787429888 56738 33554432000 4194304 4196468 140725498825472 140174995854464 140174991623893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
[pid=31938/tid=31940] ppid=31936 vsize=15417412 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/31938/task/31940/stat : 31940 (java) S 31936 31936 25111 0 -1 1077944384 13 0 0 0 1 0 0 0 20 0 19 0 475606468 15787429888 56738 33554432000 4194304 4196468 140725498825472 140174919654288 140174991623893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
[pid=31938/tid=31941] ppid=31936 vsize=15417412 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/31938/task/31941/stat : 31941 (java) S 31936 31936 25111 0 -1 1077944384 24 0 0 0 1 1 0 0 20 0 19 0 475606468 15787429888 56738 33554432000 4194304 4196468 140725498825472 140174918601488 140174991623893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
[pid=31938/tid=31942] ppid=31936 vsize=15417412 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/31938/task/31942/stat : 31942 (java) S 31936 31936 25111 0 -1 1077944384 30 0 0 0 1 1 0 0 20 0 19 0 475606468 15787429888 56738 33554432000 4194304 4196468 140725498825472 140174917549200 140174991623893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
[pid=31938/tid=31943] ppid=31936 vsize=15417412 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/31938/task/31943/stat : 31943 (java) S 31936 31936 25111 0 -1 1077944384 28 0 0 0 1 0 0 0 20 0 19 0 475606468 15787429888 56738 33554432000 4194304 4196468 140725498825472 140174916496400 140174991623893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
[pid=31938/tid=31944] ppid=31936 vsize=15417412 memory=139346053171946 CPUtime=0 cores=1,3,5,7
/proc/31938/task/31944/stat : 31944 (java) S 31936 31936 25111 0 -1 1077944384 129 0 0 0 0 0 0 0 20 0 19 0 475606469 15787429888 56738 33554432000 4194304 4196468 140725498825472 140174325946480 140174991624834 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
[pid=31938/tid=31945] ppid=31936 vsize=15417412 memory=280032136179080 CPUtime=0 cores=1,3,5,7
/proc/31938/task/31945/stat : 31945 (java) S 31936 31936 25111 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 475606470 15787429888 56738 33554432000 4194304 4196468 140725498825472 140174324892448 140174991623893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
[pid=31938/tid=31946] ppid=31936 vsize=15417412 memory=6297248684004884580 CPUtime=0 cores=1,3,5,7
/proc/31938/task/31946/stat : 31946 (java) S 31936 31936 25111 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 475606470 15787429888 56738 33554432000 4194304 4196468 140725498825472 140174323840112 140174991623893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
[pid=31938/tid=31947] ppid=31936 vsize=15417412 memory=6442512999354941542 CPUtime=0 cores=1,3,5,7
/proc/31938/task/31947/stat : 31947 (java) S 31936 31936 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475606472 15787429888 56738 33554432000 4194304 4196468 140725498825472 140174322788432 140174991632283 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
[pid=31938/tid=31948] ppid=31936 vsize=15417412 memory=5938960807321878629 CPUtime=1.35 cores=1,3,5,7
/proc/31938/task/31948/stat : 31948 (java) S 31936 31936 25111 0 -1 1077944384 3299 0 0 0 135 0 0 0 20 0 19 0 475606472 15787429888 56738 33554432000 4194304 4196468 140725498825472 140174321736304 140174991624834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
[pid=31938/tid=31949] ppid=31936 vsize=15417412 memory=7380390911498999392 CPUtime=1.52 cores=1,3,5,7
/proc/31938/task/31949/stat : 31949 (java) S 31936 31936 25111 0 -1 1077944384 4421 0 0 0 152 0 0 0 20 0 19 0 475606472 15787429888 56738 33554432000 4194304 4196468 140725498825472 140174320683504 140174991624834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
[pid=31938/tid=31950] ppid=31936 vsize=15417412 memory=8173579699522856535 CPUtime=0.54 cores=1,3,5,7
/proc/31938/task/31950/stat : 31950 (java) S 31936 31936 25111 0 -1 1077944384 2377 0 0 0 53 1 0 0 20 0 19 0 475606472 15787429888 56738 33554432000 4194304 4196468 140725498825472 140174319631216 140174991624834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
[pid=31938/tid=31951] ppid=31936 vsize=15417412 memory=7806532928260171095 CPUtime=0 cores=1,3,5,7
/proc/31938/task/31951/stat : 31951 (java) S 31936 31936 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475606472 15787429888 56738 33554432000 4194304 4196468 140725498825472 140174318578656 140174991623893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
[pid=31938/tid=31952] ppid=31936 vsize=15417412 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/31938/task/31952/stat : 31952 (java) S 31936 31936 25111 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 19 0 475606473 15787429888 56738 33554432000 4194304 4196468 140725498825472 140174317525424 140174991624834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
[pid=31938/tid=31953] ppid=31936 vsize=15417412 memory=226952 CPUtime=7.1 cores=1,3,5,7
/proc/31938/task/31953/stat : 31953 (java) R 31936 31936 25111 0 -1 4202560 139 0 0 0 710 0 0 0 20 0 19 0 475606556 15787429888 56738 33554432000 4194304 4196468 140725498825472 140174312593968 140174600795004 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
[pid=31938/tid=31954] ppid=31936 vsize=15417412 memory=7738981227446232684 CPUtime=7.51 cores=1,3,5,7
/proc/31938/task/31954/stat : 31954 (java) R 31936 31936 25111 0 -1 4202560 236 0 0 0 751 0 0 0 20 0 19 0 475606557 15787429888 56738 33554432000 4194304 4196468 140725498825472 140173846142944 140174600794658 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
[pid=31938/tid=31955] ppid=31936 vsize=15417412 memory=7740392957478000998 CPUtime=7.42 cores=1,3,5,7
/proc/31938/task/31955/stat : 31955 (java) R 31936 31936 25111 0 -1 4202560 109 0 0 0 741 1 0 0 20 0 19 0 475606557 15787429888 56738 33554432000 4194304 4196468 140725498825472 140173845090144 140174600794949 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
[pid=31938/tid=31956] ppid=31936 vsize=15417412 memory=7955445354070758757 CPUtime=7.3 cores=1,3,5,7
/proc/31938/task/31956/stat : 31956 (java) R 31936 31936 25111 0 -1 4202560 423 0 0 0 730 0 0 0 20 0 19 0 475606557 15787429888 56738 33554432000 4194304 4196468 140725498825472 140173844038152 140174600794943 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
Current children cumulated CPU time: 33.75 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 228404 KiB
[startup+9.2054 s]
/proc/loadavg: 6.46 6.97 7.18 9/240 31956
/proc/meminfo: memFree=24680280/32770624 swapFree=67002252/67108860
[pid=31936] ppid=31933 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/31936/stat : 31936 (xcsp3-exec) S 31933 31936 25111 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475606466 115843072 363 33554432000 4194304 5098028 140720467894800 140720467892904 140078849008252 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 14733312 140720467899223 140720467899481 140720467899481 140720467902406 0
/proc/31936/statm: 28282 363 304 221 0 87 0
[pid=31938] ppid=31936 vsize=15417412 memory=226952 CPUtime=35.35 cores=1,3,5,7
/proc/31938/stat : 31938 (java) S 31936 31936 25111 0 -1 1077944320 21743 0 0 0 3520 15 0 0 20 0 19 0 475606467 15787429888 56738 33554432000 4194304 4196468 140725498825472 140725498808016 140174991613687 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
/proc/31938/statm: 3854353 56738 3500 1 0 3815453 0
[pid=31938/tid=31939] ppid=31936 vsize=15417412 memory=0 CPUtime=0.85 cores=1,3,5,7
/proc/31938/task/31939/stat : 31939 (java) S 31936 31936 25111 0 -1 1077944384 8913 0 0 0 79 6 0 0 20 0 19 0 475606467 15787429888 56738 33554432000 4194304 4196468 140725498825472 140174995854464 140174991623893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
[pid=31938/tid=31940] ppid=31936 vsize=15417412 memory=288230574492221466 CPUtime=0.01 cores=1,3,5,7
/proc/31938/task/31940/stat : 31940 (java) S 31936 31936 25111 0 -1 1077944384 13 0 0 0 1 0 0 0 20 0 19 0 475606468 15787429888 56738 33554432000 4194304 4196468 140725498825472 140174919654288 140174991623893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
[pid=31938/tid=31941] ppid=31936 vsize=15417412 memory=140016068738816 CPUtime=0.02 cores=1,3,5,7
/proc/31938/task/31941/stat : 31941 (java) S 31936 31936 25111 0 -1 1077944384 24 0 0 0 1 1 0 0 20 0 19 0 475606468 15787429888 56738 33554432000 4194304 4196468 140725498825472 140174918601488 140174991623893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
[pid=31938/tid=31942] ppid=31936 vsize=15417412 memory=140016068738848 CPUtime=0.02 cores=1,3,5,7
/proc/31938/task/31942/stat : 31942 (java) S 31936 31936 25111 0 -1 1077944384 30 0 0 0 1 1 0 0 20 0 19 0 475606468 15787429888 56738 33554432000 4194304 4196468 140725498825472 140174917549200 140174991623893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
[pid=31938/tid=31943] ppid=31936 vsize=15417412 memory=140016068738880 CPUtime=0.01 cores=1,3,5,7
/proc/31938/task/31943/stat : 31943 (java) S 31936 31936 25111 0 -1 1077944384 28 0 0 0 1 0 0 0 20 0 19 0 475606468 15787429888 56738 33554432000 4194304 4196468 140725498825472 140174916496400 140174991623893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
[pid=31938/tid=31944] ppid=31936 vsize=15417412 memory=140016068738912 CPUtime=0 cores=1,3,5,7
/proc/31938/task/31944/stat : 31944 (java) S 31936 31936 25111 0 -1 1077944384 129 0 0 0 0 0 0 0 20 0 19 0 475606469 15787429888 56738 33554432000 4194304 4196468 140725498825472 140174325946480 140174991624834 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
[pid=31938/tid=31945] ppid=31936 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31938/task/31945/stat : 31945 (java) S 31936 31936 25111 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 475606470 15787429888 56738 33554432000 4194304 4196468 140725498825472 140174324892448 140174991623893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
[pid=31938/tid=31946] ppid=31936 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31938/task/31946/stat : 31946 (java) S 31936 31936 25111 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 475606470 15787429888 56738 33554432000 4194304 4196468 140725498825472 140174323840112 140174991623893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
[pid=31938/tid=31947] ppid=31936 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31938/task/31947/stat : 31947 (java) S 31936 31936 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475606472 15787429888 56738 33554432000 4194304 4196468 140725498825472 140174322788432 140174991632283 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
[pid=31938/tid=31948] ppid=31936 vsize=15417412 memory=0 CPUtime=1.35 cores=1,3,5,7
/proc/31938/task/31948/stat : 31948 (java) S 31936 31936 25111 0 -1 1077944384 3299 0 0 0 135 0 0 0 20 0 19 0 475606472 15787429888 56738 33554432000 4194304 4196468 140725498825472 140174321736304 140174991624834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
[pid=31938/tid=31949] ppid=31936 vsize=15417412 memory=0 CPUtime=1.52 cores=1,3,5,7
/proc/31938/task/31949/stat : 31949 (java) S 31936 31936 25111 0 -1 1077944384 4421 0 0 0 152 0 0 0 20 0 19 0 475606472 15787429888 56738 33554432000 4194304 4196468 140725498825472 140174320683504 140174991624834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
[pid=31938/tid=31950] ppid=31936 vsize=15417412 memory=0 CPUtime=0.54 cores=1,3,5,7
/proc/31938/task/31950/stat : 31950 (java) S 31936 31936 25111 0 -1 1077944384 2377 0 0 0 53 1 0 0 20 0 19 0 475606472 15787429888 56738 33554432000 4194304 4196468 140725498825472 140174319631216 140174991624834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
[pid=31938/tid=31951] ppid=31936 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31938/task/31951/stat : 31951 (java) S 31936 31936 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475606472 15787429888 56738 33554432000 4194304 4196468 140725498825472 140174318578656 140174991623893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
[pid=31938/tid=31952] ppid=31936 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31938/task/31952/stat : 31952 (java) S 31936 31936 25111 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 19 0 475606473 15787429888 56738 33554432000 4194304 4196468 140725498825472 140174317525424 140174991624834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
[pid=31938/tid=31953] ppid=31936 vsize=15417412 memory=0 CPUtime=7.49 cores=1,3,5,7
/proc/31938/task/31953/stat : 31953 (java) R 31936 31936 25111 0 -1 4202560 139 0 0 0 749 0 0 0 20 0 19 0 475606556 15787429888 56738 33554432000 4194304 4196468 140725498825472 140174312593968 140174600710379 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
[pid=31938/tid=31954] ppid=31936 vsize=15417412 memory=6791534058613427641 CPUtime=7.91 cores=1,3,5,7
/proc/31938/task/31954/stat : 31954 (java) R 31936 31936 25111 0 -1 4202560 238 0 0 0 791 0 0 0 20 0 19 0 475606557 15787429888 56738 33554432000 4194304 4196468 140725498825472 140173846142944 140174600794436 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
[pid=31938/tid=31955] ppid=31936 vsize=15417412 memory=2680 CPUtime=7.82 cores=1,3,5,7
/proc/31938/task/31955/stat : 31955 (java) R 31936 31936 25111 0 -1 4202560 109 0 0 0 781 1 0 0 20 0 19 0 475606557 15787429888 56738 33554432000 4194304 4196468 140725498825472 140173845090280 140174600796152 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
[pid=31938/tid=31956] ppid=31936 vsize=15417412 memory=1452 CPUtime=7.7 cores=1,3,5,7
/proc/31938/task/31956/stat : 31956 (java) R 31936 31936 25111 0 -1 4202560 423 0 0 0 770 0 0 0 20 0 19 0 475606557 15787429888 56738 33554432000 4194304 4196468 140725498825472 140173844038152 140174600794369 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28188672 140725498831835 140725498832010 140725498832010 140725498834895 0
Current children cumulated CPU time: 35.35 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 228404 KiB
Child status: 0
Real time (s): 9.25944
CPU time (s): 35.5622
CPU user time (s): 35.3982
CPU system time (s): 0.16403
CPU usage (%): 384.064
Max. virtual memory (cumulated for all children) (KiB): 15530540
Max. memory (cumulated for all children) (KiB): 231652
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 35.3982
system time used= 0.16403
maximum resident set size= 230204
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23054
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= 2179
involuntary context switches= 948
# summary of solver processes directly reported to runsolver:
# pid: 31936
# total CPU time (s): 35.5622
# total CPU user time (s): 35.3982
# total CPU system time (s): 0.16403
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.098856 second user time and 0.147132 second system time
The end