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 (13516 MiB free)
memory of node 1: 16384 MiB (15220 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4401383-1568674126/watcher-4401383-1568674126 -o /tmp/evaluation-result-4401383-1568674126/solver-4401383-1568674126 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node106-1568669653-20874 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=1342979146 HOME/instance-4401383-1568674126.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=21557, runsolver pid=21554
Current StackSize limit: 8192 KiB
[startup+0.100482 s]*
/proc/loadavg: 1.60 1.56 2.46 3/217 21614
/proc/meminfo: memFree=29416420/32770624 swapFree=66999860/67108860
[pid=21557] ppid=21554 vsize=9972712 memory=18596 CPUtime=0.09 cores=1,3,5,7
/proc/21557/stat : 21557 (java) S 21554 21557 20842 0 -1 1077944320 4384 13305 0 0 1 0 5 3 20 0 6 0 443667097 10212057088 4649 33554432000 4194304 4196468 140722887929312 140722887911856 139981957480183 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
/proc/21557/statm: 2493178 4649 1935 1 0 2481616 0
[pid=21557/tid=21610] ppid=21554 vsize=9972712 memory=720575944405811505 CPUtime=0.09 cores=1,3,5,7
/proc/21557/task/21610/stat : 21610 (java) R 21554 21557 20842 0 -1 4202560 2176 13305 0 0 1 0 5 3 20 0 6 0 443667106 10212057088 4649 33554432000 4194304 4196468 140722887929312 139981929316944 139981942792185 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
[pid=21557/tid=21611] ppid=21554 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/21557/task/21611/stat : 21611 (java) S 21554 21557 20842 0 -1 1077944384 2 13305 0 0 0 0 5 3 20 0 6 0 443667107 10212057088 4649 33554432000 4194304 4196468 140722887929312 139981961722384 139981957490389 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
[pid=21557/tid=21612] ppid=21554 vsize=9972712 memory=140341964065033 CPUtime=0.08 cores=1,3,5,7
/proc/21557/task/21612/stat : 21612 (java) S 21554 21557 20842 0 -1 1077944384 1 13305 0 0 0 0 5 3 20 0 6 0 443667107 10212057088 4649 33554432000 4194304 4196468 140722887929312 139981849995920 139981957490389 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
[pid=21557/tid=21613] ppid=21554 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/21557/task/21613/stat : 21613 (java) S 21554 21557 20842 0 -1 1077944384 2 13305 0 0 0 0 5 3 20 0 6 0 443667107 10212057088 4649 33554432000 4194304 4196468 140722887929312 139981848942864 139981957490389 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
[pid=21557/tid=21614] ppid=21554 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/21557/task/21614/stat : 21614 (java) S 21554 21557 20842 0 -1 1077944384 1 13305 0 0 0 0 5 3 20 0 6 0 443667107 10212057088 4649 33554432000 4194304 4196468 140722887929312 139981847890320 139981957490389 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18596 KiB
[startup+0.210807 s]*
/proc/loadavg: 1.60 1.56 2.46 3/226 21623
/proc/meminfo: memFree=29396764/32770624 swapFree=66999860/67108860
[pid=21557] ppid=21554 vsize=10820196 memory=45148 CPUtime=0.28 cores=1,3,5,7
/proc/21557/stat : 21557 (java) S 21554 21557 20842 0 -1 1077944320 7136 13305 0 0 18 2 5 3 20 0 15 0 443667097 11079880704 11287 33554432000 4194304 4196468 140722887929312 140722887911856 139981957480183 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
/proc/21557/statm: 2705049 11287 3289 1 0 2667149 0
[pid=21557/tid=21610] ppid=21554 vsize=10820196 memory=729618466009055537 CPUtime=0.2 cores=1,3,5,7
/proc/21557/task/21610/stat : 21610 (java) R 21554 21557 20842 0 -1 4202560 3616 13305 0 0 11 1 5 3 20 0 15 0 443667106 11079880704 11287 33554432000 4194304 4196468 140722887929312 139981929294368 139981957502109 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
[pid=21557/tid=21611] ppid=21554 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/21557/task/21611/stat : 21611 (java) S 21554 21557 20842 0 -1 1077944384 2 13305 0 0 0 0 5 3 20 0 15 0 443667107 11079880704 11287 33554432000 4194304 4196468 140722887929312 139981961722384 139981957490389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
[pid=21557/tid=21612] ppid=21554 vsize=10820196 memory=140341964065033 CPUtime=0.08 cores=1,3,5,7
/proc/21557/task/21612/stat : 21612 (java) S 21554 21557 20842 0 -1 1077944384 1 13305 0 0 0 0 5 3 20 0 15 0 443667107 11079880704 11287 33554432000 4194304 4196468 140722887929312 139981849995920 139981957490389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
[pid=21557/tid=21613] ppid=21554 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/21557/task/21613/stat : 21613 (java) S 21554 21557 20842 0 -1 1077944384 2 13305 0 0 0 0 5 3 20 0 15 0 443667107 11079880704 11287 33554432000 4194304 4196468 140722887929312 139981848942864 139981957490389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
[pid=21557/tid=21614] ppid=21554 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/21557/task/21614/stat : 21614 (java) S 21554 21557 20842 0 -1 1077944384 1 13305 0 0 0 0 5 3 20 0 15 0 443667107 11079880704 11287 33554432000 4194304 4196468 140722887929312 139981847890320 139981957490389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
[pid=21557/tid=21615] ppid=21554 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/21557/task/21615/stat : 21615 (java) S 21554 21557 20842 0 -1 1077944384 2 13305 0 0 0 0 5 3 20 0 15 0 443667108 11079880704 11287 33554432000 4194304 4196468 140722887929312 139981416762096 139981957491330 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
[pid=21557/tid=21616] ppid=21554 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/21557/task/21616/stat : 21616 (java) S 21554 21557 20842 0 -1 1077944384 33 13305 0 0 0 0 5 3 20 0 15 0 443667109 11079880704 11287 33554432000 4194304 4196468 140722887929312 139981415708320 139981957490389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
[pid=21557/tid=21617] ppid=21554 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/21557/task/21617/stat : 21617 (java) S 21554 21557 20842 0 -1 1077944384 1 13305 0 0 0 0 5 3 20 0 15 0 443667109 11079880704 11287 33554432000 4194304 4196468 140722887929312 139981305668848 139981957490389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
[pid=21557/tid=21618] ppid=21554 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/21557/task/21618/stat : 21618 (java) S 21554 21557 20842 0 -1 1077944384 2 13305 0 0 0 0 5 3 20 0 15 0 443667112 11079880704 11287 33554432000 4194304 4196468 140722887929312 139980701690320 139981957498779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
[pid=21557/tid=21619] ppid=21554 vsize=10820196 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/21557/task/21619/stat : 21619 (java) S 21554 21557 20842 0 -1 1077944384 359 13305 0 0 1 0 5 3 20 0 15 0 443667112 11079880704 11287 33554432000 4194304 4196468 140722887929312 139981382150384 139981957491330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
[pid=21557/tid=21620] ppid=21554 vsize=10820196 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/21557/task/21620/stat : 21620 (java) S 21554 21557 20842 0 -1 1077944384 320 13305 0 0 1 0 5 3 20 0 15 0 443667112 11079880704 11287 33554432000 4194304 4196468 140722887929312 139981381097840 139981957491330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
[pid=21557/tid=21621] ppid=21554 vsize=10820196 memory=140341960926848 CPUtime=0.11 cores=1,3,5,7
/proc/21557/task/21621/stat : 21621 (java) S 21554 21557 20842 0 -1 1077944384 587 13305 0 0 3 0 5 3 20 0 15 0 443667112 11079880704 11287 33554432000 4194304 4196468 140722887929312 139981380044784 139981957491330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
[pid=21557/tid=21622] ppid=21554 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/21557/task/21622/stat : 21622 (java) S 21554 21557 20842 0 -1 1077944384 3 13305 0 0 0 0 5 3 20 0 15 0 443667112 11079880704 11287 33554432000 4194304 4196468 140722887929312 139980231928160 139981957490389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
[pid=21557/tid=21623] ppid=21554 vsize=10820196 memory=140341960926848 CPUtime=0.08 cores=1,3,5,7
/proc/21557/task/21623/stat : 21623 (java) S 21554 21557 20842 0 -1 1077944384 1 13305 0 0 0 0 5 3 20 0 15 0 443667112 11079880704 11287 33554432000 4194304 4196468 140722887929312 139981378993200 139981957491330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 45148 KiB
[startup+0.310369 s]*
/proc/loadavg: 1.60 1.56 2.46 4/226 21623
/proc/meminfo: memFree=29384092/32770624 swapFree=66999860/67108860
[pid=21557] ppid=21554 vsize=10820196 memory=53444 CPUtime=0.41 cores=1,3,5,7
/proc/21557/stat : 21557 (java) S 21554 21557 20842 0 -1 1077944320 10594 13305 0 0 30 3 5 3 20 0 15 0 443667097 11079880704 13361 33554432000 4194304 4196468 140722887929312 140722887911856 139981957480183 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
/proc/21557/statm: 2705049 13361 3305 1 0 2667149 0
[pid=21557/tid=21610] ppid=21554 vsize=10820196 memory=8317482817917895235 CPUtime=0.29 cores=1,3,5,7
/proc/21557/task/21610/stat : 21610 (java) R 21554 21557 20842 0 -1 4202560 7066 13305 0 0 19 2 5 3 20 0 15 0 443667106 11079880704 13361 33554432000 4194304 4196468 140722887929312 139981929299728 139981957502109 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
[pid=21557/tid=21611] ppid=21554 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/21557/task/21611/stat : 21611 (java) S 21554 21557 20842 0 -1 1077944384 2 13305 0 0 0 0 5 3 20 0 15 0 443667107 11079880704 13361 33554432000 4194304 4196468 140722887929312 139981961722384 139981957490389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
[pid=21557/tid=21612] ppid=21554 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/21557/task/21612/stat : 21612 (java) S 21554 21557 20842 0 -1 1077944384 1 13305 0 0 0 0 5 3 20 0 15 0 443667107 11079880704 13361 33554432000 4194304 4196468 140722887929312 139981849995920 139981957490389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
[pid=21557/tid=21613] ppid=21554 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/21557/task/21613/stat : 21613 (java) S 21554 21557 20842 0 -1 1077944384 2 13305 0 0 0 0 5 3 20 0 15 0 443667107 11079880704 13361 33554432000 4194304 4196468 140722887929312 139981848942864 139981957490389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
[pid=21557/tid=21614] ppid=21554 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/21557/task/21614/stat : 21614 (java) S 21554 21557 20842 0 -1 1077944384 1 13305 0 0 0 0 5 3 20 0 15 0 443667107 11079880704 13361 33554432000 4194304 4196468 140722887929312 139981847890320 139981957490389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
[pid=21557/tid=21615] ppid=21554 vsize=10820196 memory=140341960926847 CPUtime=0.08 cores=1,3,5,7
/proc/21557/task/21615/stat : 21615 (java) S 21554 21557 20842 0 -1 1077944384 2 13305 0 0 0 0 5 3 20 0 15 0 443667108 11079880704 13361 33554432000 4194304 4196468 140722887929312 139981416762096 139981957491330 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
[pid=21557/tid=21616] ppid=21554 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/21557/task/21616/stat : 21616 (java) S 21554 21557 20842 0 -1 1077944384 33 13305 0 0 0 0 5 3 20 0 15 0 443667109 11079880704 13361 33554432000 4194304 4196468 140722887929312 139981415708320 139981957490389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
[pid=21557/tid=21617] ppid=21554 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/21557/task/21617/stat : 21617 (java) S 21554 21557 20842 0 -1 1077944384 1 13305 0 0 0 0 5 3 20 0 15 0 443667109 11079880704 13361 33554432000 4194304 4196468 140722887929312 139981305668848 139981957490389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
[pid=21557/tid=21618] ppid=21554 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/21557/task/21618/stat : 21618 (java) S 21554 21557 20842 0 -1 1077944384 2 13305 0 0 0 0 5 3 20 0 15 0 443667112 11079880704 13361 33554432000 4194304 4196468 140722887929312 139980701690320 139981957498779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
[pid=21557/tid=21619] ppid=21554 vsize=10820196 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/21557/task/21619/stat : 21619 (java) S 21554 21557 20842 0 -1 1077944384 360 13305 0 0 2 0 5 3 20 0 15 0 443667112 11079880704 13361 33554432000 4194304 4196468 140722887929312 139981382150384 139981957491330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
[pid=21557/tid=21620] ppid=21554 vsize=10820196 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/21557/task/21620/stat : 21620 (java) S 21554 21557 20842 0 -1 1077944384 320 13305 0 0 1 0 5 3 20 0 15 0 443667112 11079880704 13361 33554432000 4194304 4196468 140722887929312 139981381097840 139981957491330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
[pid=21557/tid=21621] ppid=21554 vsize=10820196 memory=140341960926848 CPUtime=0.13 cores=1,3,5,7
/proc/21557/task/21621/stat : 21621 (java) S 21554 21557 20842 0 -1 1077944384 594 13305 0 0 5 0 5 3 20 0 15 0 443667112 11079880704 13361 33554432000 4194304 4196468 140722887929312 139981380044784 139981957491330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
[pid=21557/tid=21622] ppid=21554 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/21557/task/21622/stat : 21622 (java) S 21554 21557 20842 0 -1 1077944384 3 13305 0 0 0 0 5 3 20 0 15 0 443667112 11079880704 13361 33554432000 4194304 4196468 140722887929312 139980231928160 139981957490389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
[pid=21557/tid=21623] ppid=21554 vsize=10820196 memory=140341960926848 CPUtime=0.08 cores=1,3,5,7
/proc/21557/task/21623/stat : 21623 (java) S 21554 21557 20842 0 -1 1077944384 1 13305 0 0 0 0 5 3 20 0 15 0 443667112 11079880704 13361 33554432000 4194304 4196468 140722887929312 139981378993200 139981957491330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 53444 KiB
[startup+0.700652 s]
/proc/loadavg: 1.60 1.56 2.46 4/226 21623
/proc/meminfo: memFree=29370152/32770624 swapFree=66999860/67108860
[pid=21557] ppid=21554 vsize=10825388 memory=86100 CPUtime=1.16 cores=1,3,5,7
/proc/21557/stat : 21557 (java) S 21554 21557 20842 0 -1 1077944320 14770 13305 0 0 103 5 5 3 20 0 15 0 443667097 11085197312 21525 33554432000 4194304 4196468 140722887929312 140722887911856 139981957480183 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
/proc/21557/statm: 2706347 21525 3511 1 0 2668429 0
[pid=21557/tid=21610] ppid=21554 vsize=10825388 memory=7810487918915055718 CPUtime=0.68 cores=1,3,5,7
/proc/21557/task/21610/stat : 21610 (java) R 21554 21557 20842 0 -1 4202560 10295 13305 0 0 56 4 5 3 20 0 15 0 443667106 11085197312 21525 33554432000 4194304 4196468 140722887929312 139981929298112 139981950159901 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
[pid=21557/tid=21611] ppid=21554 vsize=10825388 memory=1380 CPUtime=0.08 cores=1,3,5,7
/proc/21557/task/21611/stat : 21611 (java) S 21554 21557 20842 0 -1 1077944384 2 13305 0 0 0 0 5 3 20 0 15 0 443667107 11085197312 21525 33554432000 4194304 4196468 140722887929312 139981961722384 139981957490389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
[pid=21557/tid=21612] ppid=21554 vsize=10824364 memory=1128 CPUtime=0.08 cores=1,3,5,7
/proc/21557/task/21612/stat : 21612 (java) S 21554 21557 20842 0 -1 1077944384 1 13305 0 0 0 0 5 3 20 0 15 0 443667107 11084148736 21525 33554432000 4194304 4196468 140722887929312 139981849995920 139981957490389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
[pid=21557/tid=21613] ppid=21554 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/21557/task/21613/stat : 21613 (java) S 21554 21557 20842 0 -1 1077944384 2 13305 0 0 0 0 5 3 20 0 15 0 443667107 11084148736 21525 33554432000 4194304 4196468 140722887929312 139981848942864 139981957490389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
[pid=21557/tid=21614] ppid=21554 vsize=10824364 memory=140341960925681 CPUtime=0.08 cores=1,3,5,7
/proc/21557/task/21614/stat : 21614 (java) S 21554 21557 20842 0 -1 1077944384 1 13305 0 0 0 0 5 3 20 0 15 0 443667107 11084148736 21525 33554432000 4194304 4196468 140722887929312 139981847890320 139981957490389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
[pid=21557/tid=21615] ppid=21554 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/21557/task/21615/stat : 21615 (java) S 21554 21557 20842 0 -1 1077944384 5 13305 0 0 0 0 5 3 20 0 15 0 443667108 11084148736 21525 33554432000 4194304 4196468 140722887929312 139981416762096 139981957491330 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
[pid=21557/tid=21616] ppid=21554 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/21557/task/21616/stat : 21616 (java) S 21554 21557 20842 0 -1 1077944384 33 13305 0 0 0 0 5 3 20 0 15 0 443667109 11084148736 21525 33554432000 4194304 4196468 140722887929312 139981415708320 139981957490389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
[pid=21557/tid=21617] ppid=21554 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/21557/task/21617/stat : 21617 (java) S 21554 21557 20842 0 -1 1077944384 1 13305 0 0 0 0 5 3 20 0 15 0 443667109 11084148736 21525 33554432000 4194304 4196468 140722887929312 139981305668848 139981957490389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
[pid=21557/tid=21618] ppid=21554 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/21557/task/21618/stat : 21618 (java) S 21554 21557 20842 0 -1 1077944384 2 13305 0 0 0 0 5 3 20 0 15 0 443667112 11084148736 21525 33554432000 4194304 4196468 140722887929312 139980701690320 139981957498779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
[pid=21557/tid=21619] ppid=21554 vsize=10824364 memory=0 CPUtime=0.24 cores=1,3,5,7
/proc/21557/task/21619/stat : 21619 (java) R 21554 21557 20842 0 -1 4202560 803 13305 0 0 16 0 5 3 20 0 15 0 443667112 11084148736 21525 33554432000 4194304 4196468 140722887929312 139981382150384 139981942409653 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
[pid=21557/tid=21620] ppid=21554 vsize=10824364 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/21557/task/21620/stat : 21620 (java) R 21554 21557 20842 0 -1 4202560 711 13305 0 0 13 0 5 3 20 0 15 0 443667112 11084148736 21525 33554432000 4194304 4196468 140722887929312 139981381097840 139981935857810 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
[pid=21557/tid=21621] ppid=21554 vsize=10824364 memory=0 CPUtime=0.25 cores=1,3,5,7
/proc/21557/task/21621/stat : 21621 (java) R 21554 21557 20842 0 -1 1077944384 754 13305 0 0 17 0 5 3 20 0 15 0 443667112 11084148736 21525 33554432000 4194304 4196468 140722887929312 139981380044784 139981957491330 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
[pid=21557/tid=21622] ppid=21554 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/21557/task/21622/stat : 21622 (java) S 21554 21557 20842 0 -1 1077944384 3 13305 0 0 0 0 5 3 20 0 15 0 443667112 11084148736 21525 33554432000 4194304 4196468 140722887929312 139980231928160 139981957490389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
[pid=21557/tid=21623] ppid=21554 vsize=10824364 memory=3624 CPUtime=0.08 cores=1,3,5,7
/proc/21557/task/21623/stat : 21623 (java) S 21554 21557 20842 0 -1 1077944384 1 13305 0 0 0 0 5 3 20 0 15 0 443667112 11084148736 21525 33554432000 4194304 4196468 140722887929312 139981378993200 139981957491330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
Current children cumulated CPU time: 1.16 s
Current children cumulated vsize: 10825388 KiB
Current children cumulated memory: 86100 KiB
[startup+1.50076 s]
/proc/loadavg: 1.60 1.56 2.46 3/226 21623
/proc/meminfo: memFree=29328092/32770624 swapFree=66999860/67108860
[pid=21557] ppid=21554 vsize=10834680 memory=173600 CPUtime=2.48 cores=1,3,5,7
/proc/21557/stat : 21557 (java) S 21554 21557 20842 0 -1 1077944320 23607 13305 0 0 230 10 5 3 20 0 15 0 443667097 11094712320 43400 33554432000 4194304 4196468 140722887929312 140722887911856 139981957480183 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
/proc/21557/statm: 2708670 43400 3581 1 0 2670733 0
[pid=21557/tid=21610] ppid=21554 vsize=10834680 memory=56 CPUtime=1.44 cores=1,3,5,7
/proc/21557/task/21610/stat : 21610 (java) R 21554 21557 20842 0 -1 4202560 15672 13305 0 0 129 7 5 3 20 0 15 0 443667106 11094712320 43400 33554432000 4194304 4196468 140722887929312 139981929279536 139981957502109 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
[pid=21557/tid=21611] ppid=21554 vsize=10834680 memory=6791534058613427641 CPUtime=0.09 cores=1,3,5,7
/proc/21557/task/21611/stat : 21611 (java) S 21554 21557 20842 0 -1 1077944384 59 13305 0 0 1 0 5 3 20 0 15 0 443667107 11094712320 43400 33554432000 4194304 4196468 140722887929312 139981961722384 139981957490389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
[pid=21557/tid=21612] ppid=21554 vsize=10834680 memory=140341960936929 CPUtime=0.08 cores=1,3,5,7
/proc/21557/task/21612/stat : 21612 (java) S 21554 21557 20842 0 -1 1077944384 9 13305 0 0 0 0 5 3 20 0 15 0 443667107 11094712320 43400 33554432000 4194304 4196468 140722887929312 139981849995920 139981957490389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
[pid=21557/tid=21613] ppid=21554 vsize=10834680 memory=140341960934721 CPUtime=0.09 cores=1,3,5,7
/proc/21557/task/21613/stat : 21613 (java) S 21554 21557 20842 0 -1 1077944384 388 13305 0 0 1 0 5 3 20 0 15 0 443667107 11094712320 43400 33554432000 4194304 4196468 140722887929312 139981848942864 139981957490389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
[pid=21557/tid=21614] ppid=21554 vsize=10834680 memory=140341960936609 CPUtime=0.09 cores=1,3,5,7
/proc/21557/task/21614/stat : 21614 (java) S 21554 21557 20842 0 -1 1077944384 76 13305 0 0 1 0 5 3 20 0 15 0 443667107 11094712320 43400 33554432000 4194304 4196468 140722887929312 139981847890320 139981957490389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
[pid=21557/tid=21615] ppid=21554 vsize=10834680 memory=1380 CPUtime=0.09 cores=1,3,5,7
/proc/21557/task/21615/stat : 21615 (java) S 21554 21557 20842 0 -1 1077944384 1654 13305 0 0 1 0 5 3 20 0 15 0 443667108 11094712320 43400 33554432000 4194304 4196468 140722887929312 139981416762096 139981957491330 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
[pid=21557/tid=21616] ppid=21554 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/21557/task/21616/stat : 21616 (java) S 21554 21557 20842 0 -1 1077944384 55 13305 0 0 0 0 5 3 20 0 15 0 443667109 11094712320 43400 33554432000 4194304 4196468 140722887929312 139981415708384 139981957490389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
[pid=21557/tid=21617] ppid=21554 vsize=10834680 memory=7090170363597842261 CPUtime=0.08 cores=1,3,5,7
/proc/21557/task/21617/stat : 21617 (java) S 21554 21557 20842 0 -1 1077944384 1 13305 0 0 0 0 5 3 20 0 15 0 443667109 11094712320 43400 33554432000 4194304 4196468 140722887929312 139981305668864 139981957490389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
[pid=21557/tid=21618] ppid=21554 vsize=10834680 memory=7379260523636286037 CPUtime=0.08 cores=1,3,5,7
/proc/21557/task/21618/stat : 21618 (java) S 21554 21557 20842 0 -1 1077944384 2 13305 0 0 0 0 5 3 20 0 15 0 443667112 11094712320 43400 33554432000 4194304 4196468 140722887929312 139980701690320 139981957498779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
[pid=21557/tid=21619] ppid=21554 vsize=10834680 memory=7596281119342024805 CPUtime=0.34 cores=1,3,5,7
/proc/21557/task/21619/stat : 21619 (java) R 21554 21557 20842 0 -1 4202560 979 13305 0 0 26 0 5 3 20 0 15 0 443667112 11094712320 43400 33554432000 4194304 4196468 140722887929312 139981382150384 139981936997952 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
[pid=21557/tid=21620] ppid=21554 vsize=10834680 memory=0 CPUtime=0.32 cores=1,3,5,7
/proc/21557/task/21620/stat : 21620 (java) S 21554 21557 20842 0 -1 1077944384 851 13305 0 0 24 0 5 3 20 0 15 0 443667112 11094712320 43400 33554432000 4194304 4196468 140722887929312 139981381097840 139981957491330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
[pid=21557/tid=21621] ppid=21554 vsize=10834680 memory=4949696295840688515 CPUtime=0.51 cores=1,3,5,7
/proc/21557/task/21621/stat : 21621 (java) S 21554 21557 20842 0 -1 1077944384 1649 13305 0 0 43 0 5 3 20 0 15 0 443667112 11094712320 43400 33554432000 4194304 4196468 140722887929312 139981380044784 139981957491330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
[pid=21557/tid=21622] ppid=21554 vsize=10834680 memory=-7390251449858225344 CPUtime=0.08 cores=1,3,5,7
/proc/21557/task/21622/stat : 21622 (java) S 21554 21557 20842 0 -1 1077944384 3 13305 0 0 0 0 5 3 20 0 15 0 443667112 11094712320 43400 33554432000 4194304 4196468 140722887929312 139980231928160 139981957490389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
[pid=21557/tid=21623] ppid=21554 vsize=10834680 memory=1398720917958146503 CPUtime=0.08 cores=1,3,5,7
/proc/21557/task/21623/stat : 21623 (java) S 21554 21557 20842 0 -1 1077944384 3 13305 0 0 0 0 5 3 20 0 15 0 443667112 11094712320 43400 33554432000 4194304 4196468 140722887929312 139981378993200 139981957491330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
Current children cumulated CPU time: 2.48 s
Current children cumulated vsize: 10834680 KiB
################
# More data... #
################
/proc/21557/task/21610/stat : 21610 (java) R 21554 21557 20842 0 -1 4202560 68727 13305 0 0 223639 50 5 3 20 0 15 0 443667106 11109412864 244489 33554432000 4194304 4196468 140722887929312 139981929316240 139981539117461 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
[pid=21557/tid=21611] ppid=21554 vsize=10849036 memory=975908 CPUtime=11.9 cores=1,3,5,7
/proc/21557/task/21611/stat : 21611 (java) S 21554 21557 20842 0 -1 1077944384 23102 13305 0 0 1127 55 5 3 20 0 15 0 443667107 11109412864 244489 33554432000 4194304 4196468 140722887929312 139981961722384 139981957490389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
[pid=21557/tid=21612] ppid=21554 vsize=10849036 memory=975908 CPUtime=11.87 cores=1,3,5,7
/proc/21557/task/21612/stat : 21612 (java) S 21554 21557 20842 0 -1 1077944384 15898 13305 0 0 1128 51 5 3 20 0 15 0 443667107 11109412864 244489 33554432000 4194304 4196468 140722887929312 139981849995920 139981957490389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
[pid=21557/tid=21613] ppid=21554 vsize=10849036 memory=3624 CPUtime=11.94 cores=1,3,5,7
/proc/21557/task/21613/stat : 21613 (java) S 21554 21557 20842 0 -1 1077944384 13998 13305 0 0 1128 58 5 3 20 0 15 0 443667107 11109412864 244489 33554432000 4194304 4196468 140722887929312 139981848942864 139981957490389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
[pid=21557/tid=21614] ppid=21554 vsize=10849036 memory=280683630810064 CPUtime=11.92 cores=1,3,5,7
/proc/21557/task/21614/stat : 21614 (java) S 21554 21557 20842 0 -1 1077944384 15511 13305 0 0 1127 57 5 3 20 0 15 0 443667107 11109412864 244489 33554432000 4194304 4196468 140722887929312 139981847890320 139981957490389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
[pid=21557/tid=21615] ppid=21554 vsize=10849036 memory=977956 CPUtime=10.64 cores=1,3,5,7
/proc/21557/task/21615/stat : 21615 (java) S 21554 21557 20842 0 -1 1077944384 16424 13305 0 0 1001 55 5 3 20 0 15 0 443667108 11109412864 244489 33554432000 4194304 4196468 140722887929312 139981416762096 139981957491330 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
[pid=21557/tid=21616] ppid=21554 vsize=10849036 memory=977956 CPUtime=0.08 cores=1,3,5,7
/proc/21557/task/21616/stat : 21616 (java) S 21554 21557 20842 0 -1 1077944384 56 13305 0 0 0 0 5 3 20 0 15 0 443667109 11109412864 244489 33554432000 4194304 4196468 140722887929312 139981415708448 139981957490389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
[pid=21557/tid=21617] ppid=21554 vsize=10849036 memory=977956 CPUtime=0.08 cores=1,3,5,7
/proc/21557/task/21617/stat : 21617 (java) S 21554 21557 20842 0 -1 1077944384 1 13305 0 0 0 0 5 3 20 0 15 0 443667109 11109412864 244489 33554432000 4194304 4196468 140722887929312 139981305668864 139981957490389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
[pid=21557/tid=21618] ppid=21554 vsize=10849036 memory=977956 CPUtime=0.08 cores=1,3,5,7
/proc/21557/task/21618/stat : 21618 (java) S 21554 21557 20842 0 -1 1077944384 2 13305 0 0 0 0 5 3 20 0 15 0 443667112 11109412864 244489 33554432000 4194304 4196468 140722887929312 139980701690320 139981957498779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
[pid=21557/tid=21619] ppid=21554 vsize=10849036 memory=977956 CPUtime=3.14 cores=1,3,5,7
/proc/21557/task/21619/stat : 21619 (java) S 21554 21557 20842 0 -1 1077944384 18132 13305 0 0 303 3 5 3 20 0 15 0 443667112 11109412864 244489 33554432000 4194304 4196468 140722887929312 139981382150384 139981957491330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
[pid=21557/tid=21620] ppid=21554 vsize=10849036 memory=977956 CPUtime=3.25 cores=1,3,5,7
/proc/21557/task/21620/stat : 21620 (java) S 21554 21557 20842 0 -1 1077944384 18438 13305 0 0 314 3 5 3 20 0 15 0 443667112 11109412864 244489 33554432000 4194304 4196468 140722887929312 139981381097840 139981957491330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
[pid=21557/tid=21621] ppid=21554 vsize=10849036 memory=977956 CPUtime=1.92 cores=1,3,5,7
/proc/21557/task/21621/stat : 21621 (java) S 21554 21557 20842 0 -1 1077944384 10031 13305 0 0 180 4 5 3 20 0 15 0 443667112 11109412864 244489 33554432000 4194304 4196468 140722887929312 139981380044784 139981957491330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
[pid=21557/tid=21622] ppid=21554 vsize=10849036 memory=8317482817917895235 CPUtime=0.08 cores=1,3,5,7
/proc/21557/task/21622/stat : 21622 (java) S 21554 21557 20842 0 -1 1077944384 3 13305 0 0 0 0 5 3 20 0 15 0 443667112 11109412864 244489 33554432000 4194304 4196468 140722887929312 139980231928160 139981957490389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
[pid=21557/tid=21623] ppid=21554 vsize=10849036 memory=4126316290023845779 CPUtime=1.38 cores=1,3,5,7
/proc/21557/task/21623/stat : 21623 (java) S 21554 21557 20842 0 -1 1077944384 947 13305 0 0 60 70 5 3 20 0 15 0 443667112 11109412864 244489 33554432000 4194304 4196468 140722887929312 139981378993200 139981957491330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
Current children cumulated CPU time: 2304.33 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 977956 KiB
[startup+2322.3 s]
/proc/loadavg: 1.54 1.41 1.47 3/227 22013
/proc/meminfo: memFree=28418728/32770624 swapFree=66999916/67108860
[pid=21557] ppid=21554 vsize=10849036 memory=977956 CPUtime=2365.32 cores=1,3,5,7
/proc/21557/stat : 21557 (java) S 21554 21557 20842 0 -1 1077944320 205207 13305 0 0 236167 357 5 3 20 0 15 0 443667097 11109412864 244489 33554432000 4194304 4196468 140722887929312 140722887911856 139981957480183 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
/proc/21557/statm: 2712259 244489 3630 1 0 2674317 0
[pid=21557/tid=21610] ppid=21554 vsize=10849036 memory=977956 CPUtime=2296.31 cores=1,3,5,7
/proc/21557/task/21610/stat : 21610 (java) R 21554 21557 20842 0 -1 4202560 69593 13305 0 0 229573 50 5 3 20 0 15 0 443667106 11109412864 244489 33554432000 4194304 4196468 140722887929312 139981929315984 139981539490172 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
[pid=21557/tid=21611] ppid=21554 vsize=10849036 memory=977956 CPUtime=12.24 cores=1,3,5,7
/proc/21557/task/21611/stat : 21611 (java) S 21554 21557 20842 0 -1 1077944384 23219 13305 0 0 1159 57 5 3 20 0 15 0 443667107 11109412864 244489 33554432000 4194304 4196468 140722887929312 139981961722384 139981957490389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
[pid=21557/tid=21612] ppid=21554 vsize=10849036 memory=977956 CPUtime=12.21 cores=1,3,5,7
/proc/21557/task/21612/stat : 21612 (java) S 21554 21557 20842 0 -1 1077944384 16153 13305 0 0 1160 53 5 3 20 0 15 0 443667107 11109412864 244489 33554432000 4194304 4196468 140722887929312 139981849995920 139981957490389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
[pid=21557/tid=21613] ppid=21554 vsize=10849036 memory=977956 CPUtime=12.28 cores=1,3,5,7
/proc/21557/task/21613/stat : 21613 (java) S 21554 21557 20842 0 -1 1077944384 14224 13305 0 0 1160 60 5 3 20 0 15 0 443667107 11109412864 244489 33554432000 4194304 4196468 140722887929312 139981848942864 139981957490389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
[pid=21557/tid=21614] ppid=21554 vsize=10849036 memory=977956 CPUtime=12.25 cores=1,3,5,7
/proc/21557/task/21614/stat : 21614 (java) S 21554 21557 20842 0 -1 1077944384 15540 13305 0 0 1159 58 5 3 20 0 15 0 443667107 11109412864 244489 33554432000 4194304 4196468 140722887929312 139981847890320 139981957490389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
[pid=21557/tid=21615] ppid=21554 vsize=10849036 memory=977956 CPUtime=10.93 cores=1,3,5,7
/proc/21557/task/21615/stat : 21615 (java) S 21554 21557 20842 0 -1 1077944384 16638 13305 0 0 1028 57 5 3 20 0 15 0 443667108 11109412864 244489 33554432000 4194304 4196468 140722887929312 139981416762096 139981957491330 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
[pid=21557/tid=21616] ppid=21554 vsize=10849036 memory=977956 CPUtime=0.08 cores=1,3,5,7
/proc/21557/task/21616/stat : 21616 (java) S 21554 21557 20842 0 -1 1077944384 56 13305 0 0 0 0 5 3 20 0 15 0 443667109 11109412864 244489 33554432000 4194304 4196468 140722887929312 139981415708448 139981957490389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
[pid=21557/tid=21617] ppid=21554 vsize=10849036 memory=977956 CPUtime=0.08 cores=1,3,5,7
/proc/21557/task/21617/stat : 21617 (java) S 21554 21557 20842 0 -1 1077944384 1 13305 0 0 0 0 5 3 20 0 15 0 443667109 11109412864 244489 33554432000 4194304 4196468 140722887929312 139981305668864 139981957490389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
[pid=21557/tid=21618] ppid=21554 vsize=10849036 memory=977956 CPUtime=0.08 cores=1,3,5,7
/proc/21557/task/21618/stat : 21618 (java) S 21554 21557 20842 0 -1 1077944384 2 13305 0 0 0 0 5 3 20 0 15 0 443667112 11109412864 244489 33554432000 4194304 4196468 140722887929312 139980701690320 139981957498779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
[pid=21557/tid=21619] ppid=21554 vsize=10849036 memory=984 CPUtime=3.14 cores=1,3,5,7
/proc/21557/task/21619/stat : 21619 (java) S 21554 21557 20842 0 -1 1077944384 18134 13305 0 0 303 3 5 3 20 0 15 0 443667112 11109412864 244489 33554432000 4194304 4196468 140722887929312 139981382150384 139981957491330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
[pid=21557/tid=21620] ppid=21554 vsize=10849036 memory=977956 CPUtime=3.25 cores=1,3,5,7
/proc/21557/task/21620/stat : 21620 (java) S 21554 21557 20842 0 -1 1077944384 18440 13305 0 0 314 3 5 3 20 0 15 0 443667112 11109412864 244489 33554432000 4194304 4196468 140722887929312 139981381097840 139981957491330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
[pid=21557/tid=21621] ppid=21554 vsize=10849036 memory=1548 CPUtime=1.92 cores=1,3,5,7
/proc/21557/task/21621/stat : 21621 (java) S 21554 21557 20842 0 -1 1077944384 10033 13305 0 0 180 4 5 3 20 0 15 0 443667112 11109412864 244489 33554432000 4194304 4196468 140722887929312 139981380044784 139981957491330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
[pid=21557/tid=21622] ppid=21554 vsize=10849036 memory=977956 CPUtime=0.08 cores=1,3,5,7
/proc/21557/task/21622/stat : 21622 (java) S 21554 21557 20842 0 -1 1077944384 3 13305 0 0 0 0 5 3 20 0 15 0 443667112 11109412864 244489 33554432000 4194304 4196468 140722887929312 139980231928160 139981957490389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
[pid=21557/tid=21623] ppid=21554 vsize=10849036 memory=12024 CPUtime=1.41 cores=1,3,5,7
/proc/21557/task/21623/stat : 21623 (java) S 21554 21557 20842 0 -1 1077944384 965 13305 0 0 62 71 5 3 20 0 15 0 443667112 11109412864 244489 33554432000 4194304 4196468 140722887929312 139981378993200 139981957491330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
Current children cumulated CPU time: 2365.32 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 977956 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2356.5 s]
/proc/loadavg: 1.25 1.35 1.45 3/227 22017
/proc/meminfo: memFree=28416432/32770624 swapFree=66999916/67108860
[pid=21557] ppid=21554 vsize=10849036 memory=980004 CPUtime=2400.1 cores=1,3,5,7
/proc/21557/stat : 21557 (java) S 21554 21557 20842 0 -1 1077944320 206351 13305 0 0 239641 361 5 3 20 0 15 0 443667097 11109412864 245001 33554432000 4194304 4196468 140722887929312 140722887911856 139981957480183 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
/proc/21557/statm: 2712259 245001 3630 1 0 2674317 0
[pid=21557/tid=21610] ppid=21554 vsize=10849036 memory=980004 CPUtime=2330.14 cores=1,3,5,7
/proc/21557/task/21610/stat : 21610 (java) R 21554 21557 20842 0 -1 4202560 70145 13305 0 0 232955 51 5 3 20 0 15 0 443667106 11109412864 245001 33554432000 4194304 4196468 140722887929312 139981929316448 139981538038411 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
[pid=21557/tid=21611] ppid=21554 vsize=10849036 memory=0 CPUtime=12.43 cores=1,3,5,7
/proc/21557/task/21611/stat : 21611 (java) S 21554 21557 20842 0 -1 1077944384 23228 13305 0 0 1178 57 5 3 20 0 15 0 443667107 11109412864 245001 33554432000 4194304 4196468 140722887929312 139981961722384 139981957490389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
[pid=21557/tid=21612] ppid=21554 vsize=10849036 memory=980004 CPUtime=12.4 cores=1,3,5,7
/proc/21557/task/21612/stat : 21612 (java) S 21554 21557 20842 0 -1 1077944384 16373 13305 0 0 1179 53 5 3 20 0 15 0 443667107 11109412864 245001 33554432000 4194304 4196468 140722887929312 139981849995920 139981957490389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
[pid=21557/tid=21613] ppid=21554 vsize=10849036 memory=977956 CPUtime=12.46 cores=1,3,5,7
/proc/21557/task/21613/stat : 21613 (java) S 21554 21557 20842 0 -1 1077944384 14333 13305 0 0 1178 60 5 3 20 0 15 0 443667107 11109412864 245001 33554432000 4194304 4196468 140722887929312 139981848942864 139981957490389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
[pid=21557/tid=21614] ppid=21554 vsize=10849036 memory=980004 CPUtime=12.44 cores=1,3,5,7
/proc/21557/task/21614/stat : 21614 (java) S 21554 21557 20842 0 -1 1077944384 15574 13305 0 0 1177 59 5 3 20 0 15 0 443667107 11109412864 245001 33554432000 4194304 4196468 140722887929312 139981847890320 139981957490389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
[pid=21557/tid=21615] ppid=21554 vsize=10849036 memory=0 CPUtime=11.1 cores=1,3,5,7
/proc/21557/task/21615/stat : 21615 (java) S 21554 21557 20842 0 -1 1077944384 16836 13305 0 0 1044 58 5 3 20 0 15 0 443667108 11109412864 245001 33554432000 4194304 4196468 140722887929312 139981416762096 139981957491330 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
[pid=21557/tid=21616] ppid=21554 vsize=10849036 memory=980004 CPUtime=0.08 cores=1,3,5,7
/proc/21557/task/21616/stat : 21616 (java) S 21554 21557 20842 0 -1 1077944384 56 13305 0 0 0 0 5 3 20 0 15 0 443667109 11109412864 245001 33554432000 4194304 4196468 140722887929312 139981415708448 139981957490389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
[pid=21557/tid=21617] ppid=21554 vsize=10849036 memory=980004 CPUtime=0.08 cores=1,3,5,7
/proc/21557/task/21617/stat : 21617 (java) S 21554 21557 20842 0 -1 1077944384 1 13305 0 0 0 0 5 3 20 0 15 0 443667109 11109412864 245001 33554432000 4194304 4196468 140722887929312 139981305668864 139981957490389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
[pid=21557/tid=21618] ppid=21554 vsize=10849036 memory=980004 CPUtime=0.08 cores=1,3,5,7
/proc/21557/task/21618/stat : 21618 (java) S 21554 21557 20842 0 -1 1077944384 2 13305 0 0 0 0 5 3 20 0 15 0 443667112 11109412864 245001 33554432000 4194304 4196468 140722887929312 139980701690320 139981957498779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
[pid=21557/tid=21619] ppid=21554 vsize=10849036 memory=980004 CPUtime=3.14 cores=1,3,5,7
/proc/21557/task/21619/stat : 21619 (java) S 21554 21557 20842 0 -1 1077944384 18136 13305 0 0 303 3 5 3 20 0 15 0 443667112 11109412864 245001 33554432000 4194304 4196468 140722887929312 139981382150384 139981957491330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
[pid=21557/tid=21620] ppid=21554 vsize=10849036 memory=3472468620054184885 CPUtime=3.25 cores=1,3,5,7
/proc/21557/task/21620/stat : 21620 (java) S 21554 21557 20842 0 -1 1077944384 18442 13305 0 0 314 3 5 3 20 0 15 0 443667112 11109412864 245001 33554432000 4194304 4196468 140722887929312 139981381097840 139981957491330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
[pid=21557/tid=21621] ppid=21554 vsize=10849036 memory=8174723239089013032 CPUtime=1.92 cores=1,3,5,7
/proc/21557/task/21621/stat : 21621 (java) S 21554 21557 20842 0 -1 1077944384 10035 13305 0 0 180 4 5 3 20 0 15 0 443667112 11109412864 245001 33554432000 4194304 4196468 140722887929312 139981380044784 139981957491330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
[pid=21557/tid=21622] ppid=21554 vsize=10849036 memory=973860 CPUtime=0.08 cores=1,3,5,7
/proc/21557/task/21622/stat : 21622 (java) S 21554 21557 20842 0 -1 1077944384 3 13305 0 0 0 0 5 3 20 0 15 0 443667112 11109412864 245001 33554432000 4194304 4196468 140722887929312 139980231928160 139981957490389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
[pid=21557/tid=21623] ppid=21554 vsize=10849036 memory=973860 CPUtime=1.43 cores=1,3,5,7
/proc/21557/task/21623/stat : 21623 (java) S 21554 21557 20842 0 -1 1077944384 981 13305 0 0 63 72 5 3 20 0 15 0 443667112 11109412864 245001 33554432000 4194304 4196468 140722887929312 139981378993200 139981957491330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
Current children cumulated CPU time: 2400.1 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 980004 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2356.54 s]
# the end of solver process 21557 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2396.48 s, system=3.65896 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2356.5 s]
/proc/loadavg: 1.25 1.35 1.45 3/227 22017
/proc/meminfo: memFree=28416432/32770624 swapFree=66999916/67108860
[pid=21557] ppid=21554 vsize=10849036 memory=980004 CPUtime=2400.1 cores=1,3,5,7
/proc/21557/stat : 21557 (java) S 21554 21557 20842 0 -1 1077944320 206351 13305 0 0 239641 361 5 3 20 0 15 0 443667097 11109412864 245001 33554432000 4194304 4196468 140722887929312 140722887911856 139981957480183 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
/proc/21557/statm: 2712259 245001 3630 1 0 2674317 0
[pid=21557/tid=21610] ppid=21554 vsize=10849036 memory=980004 CPUtime=2330.14 cores=1,3,5,7
/proc/21557/task/21610/stat : 21610 (java) R 21554 21557 20842 0 -1 4202560 70145 13305 0 0 232955 51 5 3 20 0 15 0 443667106 11109412864 245001 33554432000 4194304 4196468 140722887929312 139981929316448 139981538038411 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
[pid=21557/tid=21611] ppid=21554 vsize=10849036 memory=0 CPUtime=12.43 cores=1,3,5,7
/proc/21557/task/21611/stat : 21611 (java) S 21554 21557 20842 0 -1 1077944384 23228 13305 0 0 1178 57 5 3 20 0 15 0 443667107 11109412864 245001 33554432000 4194304 4196468 140722887929312 139981961722384 139981957490389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
[pid=21557/tid=21612] ppid=21554 vsize=10849036 memory=980004 CPUtime=12.4 cores=1,3,5,7
/proc/21557/task/21612/stat : 21612 (java) S 21554 21557 20842 0 -1 1077944384 16373 13305 0 0 1179 53 5 3 20 0 15 0 443667107 11109412864 245001 33554432000 4194304 4196468 140722887929312 139981849995920 139981957490389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
[pid=21557/tid=21613] ppid=21554 vsize=10849036 memory=977956 CPUtime=12.46 cores=1,3,5,7
/proc/21557/task/21613/stat : 21613 (java) S 21554 21557 20842 0 -1 1077944384 14333 13305 0 0 1178 60 5 3 20 0 15 0 443667107 11109412864 245001 33554432000 4194304 4196468 140722887929312 139981848942864 139981957490389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
[pid=21557/tid=21614] ppid=21554 vsize=10849036 memory=980004 CPUtime=12.44 cores=1,3,5,7
/proc/21557/task/21614/stat : 21614 (java) S 21554 21557 20842 0 -1 1077944384 15574 13305 0 0 1177 59 5 3 20 0 15 0 443667107 11109412864 245001 33554432000 4194304 4196468 140722887929312 139981847890320 139981957490389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
[pid=21557/tid=21615] ppid=21554 vsize=10849036 memory=0 CPUtime=11.1 cores=1,3,5,7
/proc/21557/task/21615/stat : 21615 (java) S 21554 21557 20842 0 -1 1077944384 16836 13305 0 0 1044 58 5 3 20 0 15 0 443667108 11109412864 245001 33554432000 4194304 4196468 140722887929312 139981416762096 139981957491330 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
[pid=21557/tid=21616] ppid=21554 vsize=10849036 memory=980004 CPUtime=0.08 cores=1,3,5,7
/proc/21557/task/21616/stat : 21616 (java) S 21554 21557 20842 0 -1 1077944384 56 13305 0 0 0 0 5 3 20 0 15 0 443667109 11109412864 245001 33554432000 4194304 4196468 140722887929312 139981415708448 139981957490389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
[pid=21557/tid=21617] ppid=21554 vsize=10849036 memory=980004 CPUtime=0.08 cores=1,3,5,7
/proc/21557/task/21617/stat : 21617 (java) S 21554 21557 20842 0 -1 1077944384 1 13305 0 0 0 0 5 3 20 0 15 0 443667109 11109412864 245001 33554432000 4194304 4196468 140722887929312 139981305668864 139981957490389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
[pid=21557/tid=21618] ppid=21554 vsize=10849036 memory=980004 CPUtime=0.08 cores=1,3,5,7
/proc/21557/task/21618/stat : 21618 (java) S 21554 21557 20842 0 -1 1077944384 2 13305 0 0 0 0 5 3 20 0 15 0 443667112 11109412864 245001 33554432000 4194304 4196468 140722887929312 139980701690320 139981957498779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
[pid=21557/tid=21619] ppid=21554 vsize=10849036 memory=980004 CPUtime=3.14 cores=1,3,5,7
/proc/21557/task/21619/stat : 21619 (java) S 21554 21557 20842 0 -1 1077944384 18136 13305 0 0 303 3 5 3 20 0 15 0 443667112 11109412864 245001 33554432000 4194304 4196468 140722887929312 139981382150384 139981957491330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
[pid=21557/tid=21620] ppid=21554 vsize=10849036 memory=3472468620054184885 CPUtime=3.25 cores=1,3,5,7
/proc/21557/task/21620/stat : 21620 (java) S 21554 21557 20842 0 -1 1077944384 18442 13305 0 0 314 3 5 3 20 0 15 0 443667112 11109412864 245001 33554432000 4194304 4196468 140722887929312 139981381097840 139981957491330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
[pid=21557/tid=21621] ppid=21554 vsize=10849036 memory=8174723239089013032 CPUtime=1.92 cores=1,3,5,7
/proc/21557/task/21621/stat : 21621 (java) S 21554 21557 20842 0 -1 1077944384 10035 13305 0 0 180 4 5 3 20 0 15 0 443667112 11109412864 245001 33554432000 4194304 4196468 140722887929312 139981380044784 139981957491330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
[pid=21557/tid=21622] ppid=21554 vsize=10849036 memory=973860 CPUtime=0.08 cores=1,3,5,7
/proc/21557/task/21622/stat : 21622 (java) S 21554 21557 20842 0 -1 1077944384 3 13305 0 0 0 0 5 3 20 0 15 0 443667112 11109412864 245001 33554432000 4194304 4196468 140722887929312 139980231928160 139981957490389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
[pid=21557/tid=21623] ppid=21554 vsize=10849036 memory=973860 CPUtime=1.43 cores=1,3,5,7
/proc/21557/task/21623/stat : 21623 (java) S 21554 21557 20842 0 -1 1077944384 981 13305 0 0 63 72 5 3 20 0 15 0 443667112 11109412864 245001 33554432000 4194304 4196468 140722887929312 139981378993200 139981957491330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23773184 140722887936751 140722887939269 140722887939269 140722887942095 0
Current children cumulated CPU time: 2400.1 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 980004 KiB
Child status: 143
Real time (s): 2356.54
CPU time (s): 2400.14
CPU user time (s): 2396.48
CPU system time (s): 3.65896
CPU usage (%): 101.85
Max. virtual memory (cumulated for all children) (KiB): 10849036
Max. memory (cumulated for all children) (KiB): 980004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.48
system time used= 3.65896
maximum resident set size= 984132
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 220597
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2760
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 284109
involuntary context switches= 6428
# summary of solver processes directly reported to runsolver:
# pid: 21557
# total CPU time (s): 2400.14
# total CPU user time (s): 2396.48
# total CPU system time (s): 3.65896
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.2317 second user time and 23.0471 second system time
The end