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 (14927 MiB free)
memory of node 1: 16384 MiB (15384 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395963-1568393620/watcher-4395963-1568393620 -o /tmp/evaluation-result-4395963-1568393620/solver-4395963-1568393620 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568393581-9266 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=276143177 HOME/instance-4395963-1568393620.xml
running on 4 cores: 0,2,4,6
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=9296, runsolver pid=9289
[startup+0.101027 s]*
/proc/loadavg: 1.00 1.27 1.65 5/203 9382
/proc/meminfo: memFree=31035700/32770624 swapFree=66934636/67108860
[pid=9296] ppid=9289 vsize=30192 memory=2380 CPUtime=0.08 cores=0,2,4,6
/proc/9296/stat : 9296 (java) R 9289 9296 9235 0 -1 4202496 1646 13326 0 0 0 0 5 3 20 0 1 0 415633480 30916608 529 33554432000 4194304 4196468 140727234091776 140727234072472 139928380376699 0 0 4096 0 0 0 0 17 0 0 0 1 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
/proc/9296/statm: 7548 595 454 1 0 160 0
[pid=9296/tid=9401] ppid=9289 vsize=62836 memory=-6208280859335100397 CPUtime=0.08 cores=0,2,4,6
/proc/9296/task/9401/stat : 9401 (java) R 9289 9296 9235 0 -1 4202560 1 13326 0 0 0 0 5 3 20 0 2 0 415633491 64344064 1121 33554432000 4194304 4196468 140727234091776 140727234072472 139928378150244 0 0 4096 0 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 30192 KiB
Current children cumulated memory: 2380 KiB
[startup+0.209936 s]*
/proc/loadavg: 1.00 1.27 1.65 6/228 9427
/proc/meminfo: memFree=30990636/32770624 swapFree=66934636/67108860
[pid=9296] ppid=9289 vsize=10819664 memory=38908 CPUtime=0.22 cores=0,2,4,6
/proc/9296/stat : 9296 (java) S 9289 9296 9235 0 -1 1077944320 6998 13326 0 0 13 1 5 3 20 0 15 0 415633480 11079335936 9727 33554432000 4194304 4196468 140727234091776 140727234074320 139928378154743 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 1 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
/proc/9296/statm: 2704916 9727 3158 1 0 2667149 0
[pid=9296/tid=9401] ppid=9289 vsize=10819664 memory=7377246124687064083 CPUtime=0.17 cores=0,2,4,6
/proc/9296/task/9401/stat : 9401 (java) R 9289 9296 9235 0 -1 4202560 3533 13326 0 0 8 1 5 3 20 0 15 0 415633491 11079335936 9727 33554432000 4194304 4196468 140727234091776 139928349987568 139927971000789 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
[pid=9296/tid=9402] ppid=9289 vsize=10819664 memory=4211974318055820682 CPUtime=0.08 cores=0,2,4,6
/proc/9296/task/9402/stat : 9402 (java) S 9289 9296 9235 0 -1 1077944384 2 13326 0 0 0 0 5 3 20 0 15 0 415633492 11079335936 9727 33554432000 4194304 4196468 140727234091776 139928382397584 139928378164949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
[pid=9296/tid=9404] ppid=9289 vsize=10819664 memory=140591851030144 CPUtime=0.08 cores=0,2,4,6
/proc/9296/task/9404/stat : 9404 (java) S 9289 9296 9235 0 -1 1077944384 2 13326 0 0 0 0 5 3 20 0 15 0 415633492 11079335936 9727 33554432000 4194304 4196468 140727234091776 139928297217040 139928378164949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
[pid=9296/tid=9407] ppid=9289 vsize=10819664 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9296/task/9407/stat : 9407 (java) S 9289 9296 9235 0 -1 1077944384 2 13326 0 0 0 0 5 3 20 0 15 0 415633492 11079335936 9727 33554432000 4194304 4196468 140727234091776 139928296164240 139928378164949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
[pid=9296/tid=9409] ppid=9289 vsize=10819664 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/9296/task/9409/stat : 9409 (java) S 9289 9296 9235 0 -1 1077944384 1 13326 0 0 0 0 5 3 20 0 15 0 415633492 11079335936 9727 33554432000 4194304 4196468 140727234091776 139928295111440 139928378164949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
[pid=9296/tid=9411] ppid=9289 vsize=10819664 memory=140591851030144 CPUtime=0.08 cores=0,2,4,6
/proc/9296/task/9411/stat : 9411 (java) S 9289 9296 9235 0 -1 1077944384 2 13326 0 0 0 0 5 3 20 0 15 0 415633493 11079335936 9727 33554432000 4194304 4196468 140727234091776 139927582685552 139928378165890 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
[pid=9296/tid=9413] ppid=9289 vsize=10819664 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/9296/task/9413/stat : 9413 (java) S 9289 9296 9235 0 -1 1077944384 13 13326 0 0 0 0 5 3 20 0 15 0 415633494 11079335936 9727 33554432000 4194304 4196468 140727234091776 139927484359712 139928378164949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
[pid=9296/tid=9415] ppid=9289 vsize=10819664 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9296/task/9415/stat : 9415 (java) S 9289 9296 9235 0 -1 1077944384 1 13326 0 0 0 0 5 3 20 0 15 0 415633494 11079335936 9727 33554432000 4194304 4196468 140727234091776 139927215924080 139928378164949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
[pid=9296/tid=9420] ppid=9289 vsize=10819664 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9296/task/9420/stat : 9420 (java) S 9289 9296 9235 0 -1 1077944384 3 13326 0 0 0 0 5 3 20 0 15 0 415633496 11079335936 9727 33554432000 4194304 4196468 140727234091776 139926908524368 139928378173339 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
[pid=9296/tid=9421] ppid=9289 vsize=10819664 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/9296/task/9421/stat : 9421 (java) S 9289 9296 9235 0 -1 1077944384 354 13326 0 0 1 0 5 3 20 0 15 0 415633496 11079335936 9727 33554432000 4194304 4196468 140727234091776 139927581633392 139928378165890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
[pid=9296/tid=9422] ppid=9289 vsize=10819664 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/9296/task/9422/stat : 9422 (java) R 9289 9296 9235 0 -1 1077944384 271 13326 0 0 0 0 5 3 20 0 15 0 415633496 11079335936 9727 33554432000 4194304 4196468 140727234091776 139927580580592 139928378165890 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
[pid=9296/tid=9423] ppid=9289 vsize=10819664 memory=140591851030144 CPUtime=0.1 cores=0,2,4,6
/proc/9296/task/9423/stat : 9423 (java) R 9289 9296 9235 0 -1 4202560 602 13326 0 0 2 0 5 3 20 0 15 0 415633497 11079335936 9727 33554432000 4194304 4196468 140727234091776 139927579527792 139927970906233 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
[pid=9296/tid=9425] ppid=9289 vsize=10819664 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/9296/task/9425/stat : 9425 (java) S 9289 9296 9235 0 -1 1077944384 3 13326 0 0 0 0 5 3 20 0 15 0 415633497 11079335936 9727 33554432000 4194304 4196468 140727234091776 139926874966752 139928378164949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
[pid=9296/tid=9427] ppid=9289 vsize=10819664 memory=140591851030144 CPUtime=0.08 cores=0,2,4,6
/proc/9296/task/9427/stat : 9427 (java) S 9289 9296 9235 0 -1 1077944384 1 13326 0 0 0 0 5 3 20 0 15 0 415633497 11079335936 9727 33554432000 4194304 4196468 140727234091776 139927578475184 139928378165890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 10819664 KiB
Current children cumulated memory: 38908 KiB
[startup+0.310689 s]*
/proc/loadavg: 1.00 1.27 1.65 3/228 9427
/proc/meminfo: memFree=30959768/32770624 swapFree=66934636/67108860
[pid=9296] ppid=9289 vsize=10820148 memory=50364 CPUtime=0.38 cores=0,2,4,6
/proc/9296/stat : 9296 (java) S 9289 9296 9235 0 -1 1077944320 10795 13326 0 0 27 3 5 3 20 0 15 0 415633480 11079831552 12591 33554432000 4194304 4196468 140727234091776 140727234074320 139928378154743 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 1 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
/proc/9296/statm: 2705037 12591 3294 1 0 2667149 0
[pid=9296/tid=9401] ppid=9289 vsize=10820148 memory=140591728044092 CPUtime=0.27 cores=0,2,4,6
/proc/9296/task/9401/stat : 9401 (java) R 9289 9296 9235 0 -1 4202560 7287 13326 0 0 17 2 5 3 20 0 15 0 415633491 11079831552 12591 33554432000 4194304 4196468 140727234091776 139928349968064 139928378176669 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
[pid=9296/tid=9402] ppid=9289 vsize=10820148 memory=3977295499660704336 CPUtime=0.08 cores=0,2,4,6
/proc/9296/task/9402/stat : 9402 (java) S 9289 9296 9235 0 -1 1077944384 2 13326 0 0 0 0 5 3 20 0 15 0 415633492 11079831552 12591 33554432000 4194304 4196468 140727234091776 139928382397584 139928378164949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
[pid=9296/tid=9404] ppid=9289 vsize=10820148 memory=140591851030144 CPUtime=0.08 cores=0,2,4,6
/proc/9296/task/9404/stat : 9404 (java) S 9289 9296 9235 0 -1 1077944384 2 13326 0 0 0 0 5 3 20 0 15 0 415633492 11079831552 12591 33554432000 4194304 4196468 140727234091776 139928297217040 139928378164949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
[pid=9296/tid=9407] ppid=9289 vsize=10820148 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/9296/task/9407/stat : 9407 (java) S 9289 9296 9235 0 -1 1077944384 2 13326 0 0 0 0 5 3 20 0 15 0 415633492 11079831552 12591 33554432000 4194304 4196468 140727234091776 139928296164240 139928378164949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
[pid=9296/tid=9409] ppid=9289 vsize=10820148 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/9296/task/9409/stat : 9409 (java) S 9289 9296 9235 0 -1 1077944384 1 13326 0 0 0 0 5 3 20 0 15 0 415633492 11079831552 12591 33554432000 4194304 4196468 140727234091776 139928295111440 139928378164949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
[pid=9296/tid=9411] ppid=9289 vsize=10820148 memory=140591851030144 CPUtime=0.08 cores=0,2,4,6
/proc/9296/task/9411/stat : 9411 (java) S 9289 9296 9235 0 -1 1077944384 2 13326 0 0 0 0 5 3 20 0 15 0 415633493 11079831552 12591 33554432000 4194304 4196468 140727234091776 139927582685552 139928378165890 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
[pid=9296/tid=9413] ppid=9289 vsize=10820148 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/9296/task/9413/stat : 9413 (java) S 9289 9296 9235 0 -1 1077944384 13 13326 0 0 0 0 5 3 20 0 15 0 415633494 11079831552 12591 33554432000 4194304 4196468 140727234091776 139927484359712 139928378164949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
[pid=9296/tid=9415] ppid=9289 vsize=10820148 memory=140591851030144 CPUtime=0.08 cores=0,2,4,6
/proc/9296/task/9415/stat : 9415 (java) S 9289 9296 9235 0 -1 1077944384 1 13326 0 0 0 0 5 3 20 0 15 0 415633494 11079831552 12591 33554432000 4194304 4196468 140727234091776 139927215924080 139928378164949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
[pid=9296/tid=9420] ppid=9289 vsize=10820148 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/9296/task/9420/stat : 9420 (java) S 9289 9296 9235 0 -1 1077944384 3 13326 0 0 0 0 5 3 20 0 15 0 415633496 11079831552 12591 33554432000 4194304 4196468 140727234091776 139926908524368 139928378173339 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
[pid=9296/tid=9421] ppid=9289 vsize=10820148 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/9296/task/9421/stat : 9421 (java) S 9289 9296 9235 0 -1 1077944384 363 13326 0 0 1 0 5 3 20 0 15 0 415633496 11079831552 12591 33554432000 4194304 4196468 140727234091776 139927581633392 139928378165890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
[pid=9296/tid=9422] ppid=9289 vsize=10820148 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/9296/task/9422/stat : 9422 (java) S 9289 9296 9235 0 -1 1077944384 293 13326 0 0 1 0 5 3 20 0 15 0 415633496 11079831552 12591 33554432000 4194304 4196468 140727234091776 139927580580592 139928378165890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
[pid=9296/tid=9423] ppid=9289 vsize=10820148 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/9296/task/9423/stat : 9423 (java) S 9289 9296 9235 0 -1 1077944384 616 13326 0 0 5 0 5 3 20 0 15 0 415633497 11079831552 12591 33554432000 4194304 4196468 140727234091776 139927579527792 139928378165890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
[pid=9296/tid=9425] ppid=9289 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9296/task/9425/stat : 9425 (java) S 9289 9296 9235 0 -1 1077944384 3 13326 0 0 0 0 5 3 20 0 15 0 415633497 11079831552 12591 33554432000 4194304 4196468 140727234091776 139926874966752 139928378164949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
[pid=9296/tid=9427] ppid=9289 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9296/task/9427/stat : 9427 (java) S 9289 9296 9235 0 -1 1077944384 1 13326 0 0 0 0 5 3 20 0 15 0 415633497 11079831552 12591 33554432000 4194304 4196468 140727234091776 139927578475184 139928378165890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10820148 KiB
Current children cumulated memory: 50364 KiB
[startup+0.700645 s]
/proc/loadavg: 1.00 1.27 1.65 4/228 9427
/proc/meminfo: memFree=30936232/32770624 swapFree=66934636/67108860
[pid=9296] ppid=9289 vsize=10824360 memory=81024 CPUtime=1.1 cores=0,2,4,6
/proc/9296/stat : 9296 (java) S 9289 9296 9235 0 -1 1077944320 15048 13326 0 0 97 5 5 3 20 0 15 0 415633480 11084144640 20256 33554432000 4194304 4196468 140727234091776 140727234074320 139928378154743 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 1 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
/proc/9296/statm: 2706090 20256 3500 1 0 2668173 0
[pid=9296/tid=9401] ppid=9289 vsize=10824360 memory=4 CPUtime=0.65 cores=0,2,4,6
/proc/9296/task/9401/stat : 9401 (java) R 9289 9296 9235 0 -1 4202560 10285 13326 0 0 53 4 5 3 20 0 15 0 415633491 11084144640 20256 33554432000 4194304 4196468 140727234091776 139928349976560 139928362235230 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
[pid=9296/tid=9402] ppid=9289 vsize=10824360 memory=93 CPUtime=0.08 cores=0,2,4,6
/proc/9296/task/9402/stat : 9402 (java) S 9289 9296 9235 0 -1 1077944384 2 13326 0 0 0 0 5 3 20 0 15 0 415633492 11084144640 20256 33554432000 4194304 4196468 140727234091776 139928382397584 139928378164949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
[pid=9296/tid=9404] ppid=9289 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9296/task/9404/stat : 9404 (java) S 9289 9296 9235 0 -1 1077944384 2 13326 0 0 0 0 5 3 20 0 15 0 415633492 11084144640 20256 33554432000 4194304 4196468 140727234091776 139928297217040 139928378164949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
[pid=9296/tid=9407] ppid=9289 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9296/task/9407/stat : 9407 (java) S 9289 9296 9235 0 -1 1077944384 2 13326 0 0 0 0 5 3 20 0 15 0 415633492 11084144640 20256 33554432000 4194304 4196468 140727234091776 139928296164240 139928378164949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
[pid=9296/tid=9409] ppid=9289 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9296/task/9409/stat : 9409 (java) S 9289 9296 9235 0 -1 1077944384 1 13326 0 0 0 0 5 3 20 0 15 0 415633492 11084144640 20256 33554432000 4194304 4196468 140727234091776 139928295111440 139928378164949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
[pid=9296/tid=9411] ppid=9289 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9296/task/9411/stat : 9411 (java) S 9289 9296 9235 0 -1 1077944384 5 13326 0 0 0 0 5 3 20 0 15 0 415633493 11084144640 20256 33554432000 4194304 4196468 140727234091776 139927582685552 139928378165890 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
[pid=9296/tid=9413] ppid=9289 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9296/task/9413/stat : 9413 (java) S 9289 9296 9235 0 -1 1077944384 13 13326 0 0 0 0 5 3 20 0 15 0 415633494 11084144640 20256 33554432000 4194304 4196468 140727234091776 139927484359712 139928378164949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
[pid=9296/tid=9415] ppid=9289 vsize=10824360 memory=1181 CPUtime=0.08 cores=0,2,4,6
/proc/9296/task/9415/stat : 9415 (java) S 9289 9296 9235 0 -1 1077944384 1 13326 0 0 0 0 5 3 20 0 15 0 415633494 11084144640 20256 33554432000 4194304 4196468 140727234091776 139927215924080 139928378164949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
[pid=9296/tid=9420] ppid=9289 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9296/task/9420/stat : 9420 (java) S 9289 9296 9235 0 -1 1077944384 3 13326 0 0 0 0 5 3 20 0 15 0 415633496 11084144640 20256 33554432000 4194304 4196468 140727234091776 139926908524368 139928378173339 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
[pid=9296/tid=9421] ppid=9289 vsize=10824360 memory=13468 CPUtime=0.23 cores=0,2,4,6
/proc/9296/task/9421/stat : 9421 (java) S 9289 9296 9235 0 -1 1077944384 908 13326 0 0 15 0 5 3 20 0 15 0 415633496 11084144640 20256 33554432000 4194304 4196468 140727234091776 139927581633392 139928378165890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
[pid=9296/tid=9422] ppid=9289 vsize=10824360 memory=8386028099987388465 CPUtime=0.18 cores=0,2,4,6
/proc/9296/task/9422/stat : 9422 (java) S 9289 9296 9235 0 -1 1077944384 766 13326 0 0 10 0 5 3 20 0 15 0 415633496 11084144640 20256 33554432000 4194304 4196468 140727234091776 139927580580592 139928378165890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
[pid=9296/tid=9423] ppid=9289 vsize=10824360 memory=5859271442845417575 CPUtime=0.24 cores=0,2,4,6
/proc/9296/task/9423/stat : 9423 (java) S 9289 9296 9235 0 -1 1077944384 847 13326 0 0 16 0 5 3 20 0 15 0 415633497 11084144640 20256 33554432000 4194304 4196468 140727234091776 139927579527792 139928378165890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
[pid=9296/tid=9425] ppid=9289 vsize=10824360 memory=7374755803106273902 CPUtime=0.08 cores=0,2,4,6
/proc/9296/task/9425/stat : 9425 (java) S 9289 9296 9235 0 -1 1077944384 3 13326 0 0 0 0 5 3 20 0 15 0 415633497 11084144640 20256 33554432000 4194304 4196468 140727234091776 139926874966752 139928378164949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
[pid=9296/tid=9427] ppid=9289 vsize=10824360 memory=6935649117684125776 CPUtime=0.08 cores=0,2,4,6
/proc/9296/task/9427/stat : 9427 (java) S 9289 9296 9235 0 -1 1077944384 1 13326 0 0 0 0 5 3 20 0 15 0 415633497 11084144640 20256 33554432000 4194304 4196468 140727234091776 139927578475184 139928378165890 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 10824360 KiB
Current children cumulated memory: 81024 KiB
[startup+1.50064 s]
/proc/loadavg: 1.00 1.27 1.65 5/228 9427
/proc/meminfo: memFree=30842924/32770624 swapFree=66934636/67108860
[pid=9296] ppid=9289 vsize=10834676 memory=169484 CPUtime=2.47 cores=0,2,4,6
/proc/9296/stat : 9296 (java) S 9289 9296 9235 0 -1 1077944320 21912 13326 0 0 230 9 5 3 20 0 15 0 415633480 11094708224 42371 33554432000 4194304 4196468 140727234091776 140727234074320 139928378154743 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 1 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
/proc/9296/statm: 2708669 42371 3582 1 0 2670733 0
[pid=9296/tid=9401] ppid=9289 vsize=10834676 memory=0 CPUtime=1.41 cores=0,2,4,6
/proc/9296/task/9401/stat : 9401 (java) R 9289 9296 9235 0 -1 4202560 15163 13326 0 0 128 5 5 3 20 0 15 0 415633491 11094708224 42371 33554432000 4194304 4196468 140727234091776 139928349945824 139928378166678 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
[pid=9296/tid=9402] ppid=9289 vsize=10834676 memory=97392 CPUtime=0.09 cores=0,2,4,6
/proc/9296/task/9402/stat : 9402 (java) S 9289 9296 9235 0 -1 1077944384 84 13326 0 0 1 0 5 3 20 0 15 0 415633492 11094708224 42371 33554432000 4194304 4196468 140727234091776 139928382397584 139928378164949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
[pid=9296/tid=9404] ppid=9289 vsize=10834676 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/9296/task/9404/stat : 9404 (java) S 9289 9296 9235 0 -1 1077944384 84 13326 0 0 1 0 5 3 20 0 15 0 415633492 11094708224 42371 33554432000 4194304 4196468 140727234091776 139928297217040 139928378164949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
[pid=9296/tid=9407] ppid=9289 vsize=10834676 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/9296/task/9407/stat : 9407 (java) S 9289 9296 9235 0 -1 1077944384 372 13326 0 0 1 0 5 3 20 0 15 0 415633492 11094708224 42371 33554432000 4194304 4196468 140727234091776 139928296164240 139928378164949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
[pid=9296/tid=9409] ppid=9289 vsize=10834676 memory=281183456130592 CPUtime=0.09 cores=0,2,4,6
/proc/9296/task/9409/stat : 9409 (java) S 9289 9296 9235 0 -1 1077944384 30 13326 0 0 1 0 5 3 20 0 15 0 415633492 11094708224 42371 33554432000 4194304 4196468 140727234091776 139928295111440 139928378164949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
[pid=9296/tid=9411] ppid=9289 vsize=10834676 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/9296/task/9411/stat : 9411 (java) S 9289 9296 9235 0 -1 1077944384 172 13326 0 0 1 0 5 3 20 0 15 0 415633493 11094708224 42371 33554432000 4194304 4196468 140727234091776 139927582685552 139928378165890 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
[pid=9296/tid=9413] ppid=9289 vsize=10834676 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9296/task/9413/stat : 9413 (java) S 9289 9296 9235 0 -1 1077944384 13 13326 0 0 0 0 5 3 20 0 15 0 415633494 11094708224 42371 33554432000 4194304 4196468 140727234091776 139927484359776 139928378164949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
[pid=9296/tid=9415] ppid=9289 vsize=10834676 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9296/task/9415/stat : 9415 (java) S 9289 9296 9235 0 -1 1077944384 2 13326 0 0 0 0 5 3 20 0 15 0 415633494 11094708224 42371 33554432000 4194304 4196468 140727234091776 139927215924096 139928378164949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
[pid=9296/tid=9420] ppid=9289 vsize=10834676 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9296/task/9420/stat : 9420 (java) S 9289 9296 9235 0 -1 1077944384 3 13326 0 0 0 0 5 3 20 0 15 0 415633496 11094708224 42371 33554432000 4194304 4196468 140727234091776 139926908524368 139928378173339 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
[pid=9296/tid=9421] ppid=9289 vsize=10834676 memory=4580 CPUtime=0.4 cores=0,2,4,6
/proc/9296/task/9421/stat : 9421 (java) S 9289 9296 9235 0 -1 1077944384 1128 13326 0 0 32 0 5 3 20 0 15 0 415633496 11094708224 42371 33554432000 4194304 4196468 140727234091776 139927581633392 139928378165890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
[pid=9296/tid=9422] ppid=9289 vsize=10834676 memory=7007707949479650919 CPUtime=0.29 cores=0,2,4,6
/proc/9296/task/9422/stat : 9422 (java) S 9289 9296 9235 0 -1 1077944384 907 13326 0 0 21 0 5 3 20 0 15 0 415633496 11094708224 42371 33554432000 4194304 4196468 140727234091776 139927580580592 139928378165890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
[pid=9296/tid=9423] ppid=9289 vsize=10834676 memory=11494969432 CPUtime=0.48 cores=0,2,4,6
/proc/9296/task/9423/stat : 9423 (java) R 9289 9296 9235 0 -1 4202560 1740 13326 0 0 40 0 5 3 20 0 15 0 415633497 11094708224 42371 33554432000 4194304 4196468 140727234091776 139927579527792 139928356964416 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
[pid=9296/tid=9425] ppid=9289 vsize=10834676 memory=140591728172412 CPUtime=0.08 cores=0,2,4,6
/proc/9296/task/9425/stat : 9425 (java) S 9289 9296 9235 0 -1 1077944384 3 13326 0 0 0 0 5 3 20 0 15 0 415633497 11094708224 42371 33554432000 4194304 4196468 140727234091776 139926874966752 139928378164949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
[pid=9296/tid=9427] ppid=9289 vsize=10834676 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9296/task/9427/stat : 9427 (java) S 9289 9296 9235 0 -1 1077944384 1 13326 0 0 0 0 5 3 20 0 15 0 415633497 11094708224 42390 33554432000 4194304 4196468 140727234091776 139927578475184 139928378165890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
Current children cumulated CPU time: 2.47 s
Current children cumulated vsize: 10834676 KiB
Current children cumulated memory: 169484 KiB
[startup+3.11056 s]
/proc/loadavg: 1.08 1.29 1.66 8/228 9427
/proc/meminfo: memFree=30475304/32770624 swapFree=66934636/67108860
[pid=9296] ppid=9289 vsize=10846984 memory=244828 CPUtime=6.62 cores=0,2,4,6
/proc/9296/stat : 9296 (java) S 9289 9296 9235 0 -1 1077944320 40053 13326 0 0 638 16 5 3 20 0 15 0 415633480 11107311616 61207 33554432000 4194304 4196468 140727234091776 140727234074320 139928378154743 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 1 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
/proc/9296/statm: 2711746 61207 3605 1 0 2673805 0
################
# More data... #
################
/proc/9296/task/9401/stat : 9401 (java) S 9289 9296 9235 0 -1 1077944384 71107 13326 0 0 235518 42 5 3 20 0 15 0 415633491 11109408768 190942 33554432000 4194304 4196468 140727234091776 139928349989904 139928378164949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
[pid=9296/tid=9402] ppid=9289 vsize=10849032 memory=763768 CPUtime=11.8 cores=0,2,4,6
/proc/9296/task/9402/stat : 9402 (java) S 9289 9296 9235 0 -1 1077944384 20693 13326 0 0 1113 59 5 3 20 0 15 0 415633492 11109408768 190942 33554432000 4194304 4196468 140727234091776 139928382397584 139928378164949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
[pid=9296/tid=9404] ppid=9289 vsize=10849032 memory=763768 CPUtime=11.8 cores=0,2,4,6
/proc/9296/task/9404/stat : 9404 (java) S 9289 9296 9235 0 -1 1077944384 16357 13326 0 0 1114 58 5 3 20 0 15 0 415633492 11109408768 190942 33554432000 4194304 4196468 140727234091776 139928297217040 139928378164949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
[pid=9296/tid=9407] ppid=9289 vsize=10849032 memory=763768 CPUtime=11.83 cores=0,2,4,6
/proc/9296/task/9407/stat : 9407 (java) S 9289 9296 9235 0 -1 1077944384 19725 13326 0 0 1117 58 5 3 20 0 15 0 415633492 11109408768 190942 33554432000 4194304 4196468 140727234091776 139928296164240 139928378164949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
[pid=9296/tid=9409] ppid=9289 vsize=10849032 memory=763768 CPUtime=11.81 cores=0,2,4,6
/proc/9296/task/9409/stat : 9409 (java) S 9289 9296 9235 0 -1 1077944384 17047 13326 0 0 1115 58 5 3 20 0 15 0 415633492 11109408768 190942 33554432000 4194304 4196468 140727234091776 139928295111440 139928378164949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
[pid=9296/tid=9411] ppid=9289 vsize=10849032 memory=763768 CPUtime=10.81 cores=0,2,4,6
/proc/9296/task/9411/stat : 9411 (java) R 9289 9296 9235 0 -1 4202560 16912 13326 0 0 1014 59 5 3 20 0 15 0 415633493 11109408768 190942 33554432000 4194304 4196468 140727234091776 139927582684064 139928362514136 0 0 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
[pid=9296/tid=9413] ppid=9289 vsize=10849032 memory=763768 CPUtime=0.08 cores=0,2,4,6
/proc/9296/task/9413/stat : 9413 (java) S 9289 9296 9235 0 -1 1077944384 19 13326 0 0 0 0 5 3 20 0 15 0 415633494 11109408768 190942 33554432000 4194304 4196468 140727234091776 139927484359840 139928378164949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
[pid=9296/tid=9415] ppid=9289 vsize=10849032 memory=763768 CPUtime=0.08 cores=0,2,4,6
/proc/9296/task/9415/stat : 9415 (java) S 9289 9296 9235 0 -1 1077944384 3 13326 0 0 0 0 5 3 20 0 15 0 415633494 11109408768 190942 33554432000 4194304 4196468 140727234091776 139927215924096 139928378164949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
[pid=9296/tid=9420] ppid=9289 vsize=10849032 memory=763768 CPUtime=0.08 cores=0,2,4,6
/proc/9296/task/9420/stat : 9420 (java) S 9289 9296 9235 0 -1 1077944384 3 13326 0 0 0 0 5 3 20 0 15 0 415633496 11109408768 190942 33554432000 4194304 4196468 140727234091776 139926908524368 139928378173339 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
[pid=9296/tid=9421] ppid=9289 vsize=10849032 memory=763768 CPUtime=3.88 cores=0,2,4,6
/proc/9296/task/9421/stat : 9421 (java) S 9289 9296 9235 0 -1 1077944384 22563 13326 0 0 375 5 5 3 20 0 15 0 415633496 11109408768 190942 33554432000 4194304 4196468 140727234091776 139927581633392 139928378165890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
[pid=9296/tid=9422] ppid=9289 vsize=10849032 memory=763768 CPUtime=4.04 cores=0,2,4,6
/proc/9296/task/9422/stat : 9422 (java) S 9289 9296 9235 0 -1 1077944384 22707 13326 0 0 392 4 5 3 20 0 15 0 415633496 11109408768 190942 33554432000 4194304 4196468 140727234091776 139927580580592 139928378165890 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
[pid=9296/tid=9423] ppid=9289 vsize=10849032 memory=763768 CPUtime=1.94 cores=0,2,4,6
/proc/9296/task/9423/stat : 9423 (java) S 9289 9296 9235 0 -1 1077944384 17511 13326 0 0 182 4 5 3 20 0 15 0 415633497 11109408768 190942 33554432000 4194304 4196468 140727234091776 139927579527792 139928378165890 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
[pid=9296/tid=9425] ppid=9289 vsize=10849032 memory=763768 CPUtime=0.08 cores=0,2,4,6
/proc/9296/task/9425/stat : 9425 (java) S 9289 9296 9235 0 -1 1077944384 3 13326 0 0 0 0 5 3 20 0 15 0 415633497 11109408768 190942 33554432000 4194304 4196468 140727234091776 139926874966752 139928378164949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
[pid=9296/tid=9427] ppid=9289 vsize=10849032 memory=2032 CPUtime=1.37 cores=0,2,4,6
/proc/9296/task/9427/stat : 9427 (java) S 9289 9296 9235 0 -1 1077944384 1414 13326 0 0 64 65 5 3 20 0 15 0 415633497 11109408768 190942 33554432000 4194304 4196468 140727234091776 139927578475184 139928378165890 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
Current children cumulated CPU time: 2424.35 s
Current children cumulated vsize: 10849032 KiB
Current children cumulated memory: 763768 KiB
[startup+2442.3 s]
/proc/loadavg: 1.40 1.28 1.35 4/227 9676
/proc/meminfo: memFree=27521020/32770624 swapFree=66934672/67108860
[pid=9296] ppid=9289 vsize=10849032 memory=763828 CPUtime=2485.16 cores=0,2,4,6
/proc/9296/stat : 9296 (java) S 9289 9296 9235 0 -1 1077944320 231921 13326 0 0 248153 355 5 3 20 0 15 0 415633480 11109408768 190957 33554432000 4194304 4196468 140727234091776 140727234074320 139928378154743 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 1 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
/proc/9296/statm: 2712258 190957 3628 1 0 2674317 0
[pid=9296/tid=9401] ppid=9289 vsize=10849032 memory=763828 CPUtime=2415.03 cores=0,2,4,6
/proc/9296/task/9401/stat : 9401 (java) R 9289 9296 9235 0 -1 4202560 72340 13326 0 0 241452 43 5 3 20 0 15 0 415633491 11109408768 190957 33554432000 4194304 4196468 140727234091776 139928349989776 139927978330091 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
[pid=9296/tid=9402] ppid=9289 vsize=10849032 memory=763828 CPUtime=12.08 cores=0,2,4,6
/proc/9296/task/9402/stat : 9402 (java) S 9289 9296 9235 0 -1 1077944384 20832 13326 0 0 1140 60 5 3 20 0 15 0 415633492 11109408768 190957 33554432000 4194304 4196468 140727234091776 139928382397584 139928378164949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
[pid=9296/tid=9404] ppid=9289 vsize=10849032 memory=763828 CPUtime=12.1 cores=0,2,4,6
/proc/9296/task/9404/stat : 9404 (java) S 9289 9296 9235 0 -1 1077944384 17041 13326 0 0 1143 59 5 3 20 0 15 0 415633492 11109408768 190957 33554432000 4194304 4196468 140727234091776 139928297217040 139928378164949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
[pid=9296/tid=9407] ppid=9289 vsize=10849032 memory=763828 CPUtime=12.12 cores=0,2,4,6
/proc/9296/task/9407/stat : 9407 (java) S 9289 9296 9235 0 -1 1077944384 20864 13326 0 0 1145 59 5 3 20 0 15 0 415633492 11109408768 190957 33554432000 4194304 4196468 140727234091776 139928296164240 139928378164949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
[pid=9296/tid=9409] ppid=9289 vsize=10849032 memory=763828 CPUtime=12.11 cores=0,2,4,6
/proc/9296/task/9409/stat : 9409 (java) S 9289 9296 9235 0 -1 1077944384 17088 13326 0 0 1143 60 5 3 20 0 15 0 415633492 11109408768 190957 33554432000 4194304 4196468 140727234091776 139928295111440 139928378164949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
[pid=9296/tid=9411] ppid=9289 vsize=10849032 memory=763820 CPUtime=11.07 cores=0,2,4,6
/proc/9296/task/9411/stat : 9411 (java) S 9289 9296 9235 0 -1 1077944384 17294 13326 0 0 1038 61 5 3 20 0 15 0 415633493 11109408768 190957 33554432000 4194304 4196468 140727234091776 139927582685552 139928378165890 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
[pid=9296/tid=9413] ppid=9289 vsize=10849032 memory=763820 CPUtime=0.08 cores=0,2,4,6
/proc/9296/task/9413/stat : 9413 (java) S 9289 9296 9235 0 -1 1077944384 19 13326 0 0 0 0 5 3 20 0 15 0 415633494 11109408768 190957 33554432000 4194304 4196468 140727234091776 139927484359840 139928378164949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
[pid=9296/tid=9415] ppid=9289 vsize=10849032 memory=763820 CPUtime=0.08 cores=0,2,4,6
/proc/9296/task/9415/stat : 9415 (java) S 9289 9296 9235 0 -1 1077944384 3 13326 0 0 0 0 5 3 20 0 15 0 415633494 11109408768 190957 33554432000 4194304 4196468 140727234091776 139927215924096 139928378164949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
[pid=9296/tid=9420] ppid=9289 vsize=10849032 memory=763820 CPUtime=0.08 cores=0,2,4,6
/proc/9296/task/9420/stat : 9420 (java) S 9289 9296 9235 0 -1 1077944384 3 13326 0 0 0 0 5 3 20 0 15 0 415633496 11109408768 190957 33554432000 4194304 4196468 140727234091776 139926908524368 139928378173339 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
[pid=9296/tid=9421] ppid=9289 vsize=10849032 memory=131 CPUtime=3.88 cores=0,2,4,6
/proc/9296/task/9421/stat : 9421 (java) S 9289 9296 9235 0 -1 1077944384 22565 13326 0 0 375 5 5 3 20 0 15 0 415633496 11109408768 190957 33554432000 4194304 4196468 140727234091776 139927581633392 139928378165890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
[pid=9296/tid=9422] ppid=9289 vsize=10849032 memory=763820 CPUtime=4.04 cores=0,2,4,6
/proc/9296/task/9422/stat : 9422 (java) S 9289 9296 9235 0 -1 1077944384 22710 13326 0 0 392 4 5 3 20 0 15 0 415633496 11109408768 190957 33554432000 4194304 4196468 140727234091776 139927580580592 139928378165890 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
[pid=9296/tid=9423] ppid=9289 vsize=10849032 memory=763828 CPUtime=1.94 cores=0,2,4,6
/proc/9296/task/9423/stat : 9423 (java) S 9289 9296 9235 0 -1 1077944384 17513 13326 0 0 182 4 5 3 20 0 15 0 415633497 11109408768 190957 33554432000 4194304 4196468 140727234091776 139927579527792 139928378165890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
[pid=9296/tid=9425] ppid=9289 vsize=10849032 memory=763828 CPUtime=0.08 cores=0,2,4,6
/proc/9296/task/9425/stat : 9425 (java) S 9289 9296 9235 0 -1 1077944384 3 13326 0 0 0 0 5 3 20 0 15 0 415633497 11109408768 190957 33554432000 4194304 4196468 140727234091776 139926874966752 139928378164949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
[pid=9296/tid=9427] ppid=9289 vsize=10849032 memory=8112282956445269571 CPUtime=1.4 cores=0,2,4,6
/proc/9296/task/9427/stat : 9427 (java) S 9289 9296 9235 0 -1 1077944384 1436 13326 0 0 66 66 5 3 20 0 15 0 415633497 11109408768 190957 33554432000 4194304 4196468 140727234091776 139927578475184 139928378165890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
Current children cumulated CPU time: 2485.16 s
Current children cumulated vsize: 10849032 KiB
Current children cumulated memory: 763828 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2476.7 s]
/proc/loadavg: 1.40 1.29 1.35 4/227 9679
/proc/meminfo: memFree=27520580/32770624 swapFree=66934672/67108860
[pid=9296] ppid=9289 vsize=10849032 memory=765996 CPUtime=2520.04 cores=0,2,4,6
/proc/9296/stat : 9296 (java) S 9289 9296 9235 0 -1 1077944320 232227 13326 0 0 251636 360 5 3 20 0 15 0 415633480 11109408768 191499 33554432000 4194304 4196468 140727234091776 140727234074320 139928378154743 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 1 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
/proc/9296/statm: 2712258 191499 3628 1 0 2674317 0
[pid=9296/tid=9401] ppid=9289 vsize=10849032 memory=763900 CPUtime=2449.05 cores=0,2,4,6
/proc/9296/task/9401/stat : 9401 (java) R 9289 9296 9235 0 -1 4202560 72589 13326 0 0 244854 43 5 3 20 0 15 0 415633491 11109408768 191499 33554432000 4194304 4196468 140727234091776 139928349990048 139927986878772 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
[pid=9296/tid=9402] ppid=9289 vsize=10849032 memory=763900 CPUtime=12.25 cores=0,2,4,6
/proc/9296/task/9402/stat : 9402 (java) S 9289 9296 9235 0 -1 1077944384 20856 13326 0 0 1156 61 5 3 20 0 15 0 415633492 11109408768 191499 33554432000 4194304 4196468 140727234091776 139928382397584 139928378164949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
[pid=9296/tid=9404] ppid=9289 vsize=10849032 memory=763900 CPUtime=12.28 cores=0,2,4,6
/proc/9296/task/9404/stat : 9404 (java) S 9289 9296 9235 0 -1 1077944384 17045 13326 0 0 1160 60 5 3 20 0 15 0 415633492 11109408768 191499 33554432000 4194304 4196468 140727234091776 139928297217040 139928378164949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
[pid=9296/tid=9407] ppid=9289 vsize=10849032 memory=763900 CPUtime=12.3 cores=0,2,4,6
/proc/9296/task/9407/stat : 9407 (java) S 9289 9296 9235 0 -1 1077944384 20867 13326 0 0 1162 60 5 3 20 0 15 0 415633492 11109408768 191499 33554432000 4194304 4196468 140727234091776 139928296164240 139928378164949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
[pid=9296/tid=9409] ppid=9289 vsize=10849032 memory=763900 CPUtime=12.28 cores=0,2,4,6
/proc/9296/task/9409/stat : 9409 (java) S 9289 9296 9235 0 -1 1077944384 17094 13326 0 0 1159 61 5 3 20 0 15 0 415633492 11109408768 191499 33554432000 4194304 4196468 140727234091776 139928295111440 139928378164949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
[pid=9296/tid=9411] ppid=9289 vsize=10849032 memory=763900 CPUtime=11.22 cores=0,2,4,6
/proc/9296/task/9411/stat : 9411 (java) S 9289 9296 9235 0 -1 1077944384 17311 13326 0 0 1052 62 5 3 20 0 15 0 415633493 11109408768 191499 33554432000 4194304 4196468 140727234091776 139927582685552 139928378165890 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
[pid=9296/tid=9413] ppid=9289 vsize=10849032 memory=763900 CPUtime=0.08 cores=0,2,4,6
/proc/9296/task/9413/stat : 9413 (java) S 9289 9296 9235 0 -1 1077944384 19 13326 0 0 0 0 5 3 20 0 15 0 415633494 11109408768 191499 33554432000 4194304 4196468 140727234091776 139927484359840 139928378164949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
[pid=9296/tid=9415] ppid=9289 vsize=10849032 memory=765996 CPUtime=0.08 cores=0,2,4,6
/proc/9296/task/9415/stat : 9415 (java) S 9289 9296 9235 0 -1 1077944384 3 13326 0 0 0 0 5 3 20 0 15 0 415633494 11109408768 191499 33554432000 4194304 4196468 140727234091776 139927215924096 139928378164949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
[pid=9296/tid=9420] ppid=9289 vsize=10849032 memory=763900 CPUtime=0.08 cores=0,2,4,6
/proc/9296/task/9420/stat : 9420 (java) S 9289 9296 9235 0 -1 1077944384 3 13326 0 0 0 0 5 3 20 0 15 0 415633496 11109408768 191499 33554432000 4194304 4196468 140727234091776 139926908524368 139928378173339 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
[pid=9296/tid=9421] ppid=9289 vsize=10849032 memory=763900 CPUtime=3.88 cores=0,2,4,6
/proc/9296/task/9421/stat : 9421 (java) S 9289 9296 9235 0 -1 1077944384 22565 13326 0 0 375 5 5 3 20 0 15 0 415633496 11109408768 191499 33554432000 4194304 4196468 140727234091776 139927581633392 139928378165890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
[pid=9296/tid=9422] ppid=9289 vsize=10849032 memory=763900 CPUtime=4.04 cores=0,2,4,6
/proc/9296/task/9422/stat : 9422 (java) S 9289 9296 9235 0 -1 1077944384 22710 13326 0 0 392 4 5 3 20 0 15 0 415633496 11109408768 191499 33554432000 4194304 4196468 140727234091776 139927580580592 139928378165890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
[pid=9296/tid=9423] ppid=9289 vsize=10849032 memory=763900 CPUtime=1.94 cores=0,2,4,6
/proc/9296/task/9423/stat : 9423 (java) S 9289 9296 9235 0 -1 1077944384 17513 13326 0 0 182 4 5 3 20 0 15 0 415633497 11109408768 191499 33554432000 4194304 4196468 140727234091776 139927579527792 139928378165890 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
[pid=9296/tid=9425] ppid=9289 vsize=10849032 memory=763900 CPUtime=0.08 cores=0,2,4,6
/proc/9296/task/9425/stat : 9425 (java) S 9289 9296 9235 0 -1 1077944384 3 13326 0 0 0 0 5 3 20 0 15 0 415633497 11109408768 191499 33554432000 4194304 4196468 140727234091776 139926874966752 139928378164949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
[pid=9296/tid=9427] ppid=9289 vsize=10849032 memory=763900 CPUtime=1.42 cores=0,2,4,6
/proc/9296/task/9427/stat : 9427 (java) S 9289 9296 9235 0 -1 1077944384 1439 13326 0 0 66 68 5 3 20 0 15 0 415633497 11109408768 191499 33554432000 4194304 4196468 140727234091776 139927578475184 139928378165890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 10849032 KiB
Current children cumulated memory: 765996 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2476.73 s]
# the end of solver process 9296 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.44 s, system=3.65228 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2476.7 s]
/proc/loadavg: 1.40 1.29 1.35 4/227 9679
/proc/meminfo: memFree=27520580/32770624 swapFree=66934672/67108860
[pid=9296] ppid=9289 vsize=10849032 memory=765996 CPUtime=2520.04 cores=0,2,4,6
/proc/9296/stat : 9296 (java) S 9289 9296 9235 0 -1 1077944320 232227 13326 0 0 251636 360 5 3 20 0 15 0 415633480 11109408768 191499 33554432000 4194304 4196468 140727234091776 140727234074320 139928378154743 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 1 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
/proc/9296/statm: 2712258 191499 3628 1 0 2674317 0
[pid=9296/tid=9401] ppid=9289 vsize=10849032 memory=763900 CPUtime=2449.05 cores=0,2,4,6
/proc/9296/task/9401/stat : 9401 (java) R 9289 9296 9235 0 -1 4202560 72589 13326 0 0 244854 43 5 3 20 0 15 0 415633491 11109408768 191499 33554432000 4194304 4196468 140727234091776 139928349990048 139927986878772 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
[pid=9296/tid=9402] ppid=9289 vsize=10849032 memory=763900 CPUtime=12.25 cores=0,2,4,6
/proc/9296/task/9402/stat : 9402 (java) S 9289 9296 9235 0 -1 1077944384 20856 13326 0 0 1156 61 5 3 20 0 15 0 415633492 11109408768 191499 33554432000 4194304 4196468 140727234091776 139928382397584 139928378164949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
[pid=9296/tid=9404] ppid=9289 vsize=10849032 memory=763900 CPUtime=12.28 cores=0,2,4,6
/proc/9296/task/9404/stat : 9404 (java) S 9289 9296 9235 0 -1 1077944384 17045 13326 0 0 1160 60 5 3 20 0 15 0 415633492 11109408768 191499 33554432000 4194304 4196468 140727234091776 139928297217040 139928378164949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
[pid=9296/tid=9407] ppid=9289 vsize=10849032 memory=763900 CPUtime=12.3 cores=0,2,4,6
/proc/9296/task/9407/stat : 9407 (java) S 9289 9296 9235 0 -1 1077944384 20867 13326 0 0 1162 60 5 3 20 0 15 0 415633492 11109408768 191499 33554432000 4194304 4196468 140727234091776 139928296164240 139928378164949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
[pid=9296/tid=9409] ppid=9289 vsize=10849032 memory=763900 CPUtime=12.28 cores=0,2,4,6
/proc/9296/task/9409/stat : 9409 (java) S 9289 9296 9235 0 -1 1077944384 17094 13326 0 0 1159 61 5 3 20 0 15 0 415633492 11109408768 191499 33554432000 4194304 4196468 140727234091776 139928295111440 139928378164949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
[pid=9296/tid=9411] ppid=9289 vsize=10849032 memory=763900 CPUtime=11.22 cores=0,2,4,6
/proc/9296/task/9411/stat : 9411 (java) S 9289 9296 9235 0 -1 1077944384 17311 13326 0 0 1052 62 5 3 20 0 15 0 415633493 11109408768 191499 33554432000 4194304 4196468 140727234091776 139927582685552 139928378165890 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
[pid=9296/tid=9413] ppid=9289 vsize=10849032 memory=763900 CPUtime=0.08 cores=0,2,4,6
/proc/9296/task/9413/stat : 9413 (java) S 9289 9296 9235 0 -1 1077944384 19 13326 0 0 0 0 5 3 20 0 15 0 415633494 11109408768 191499 33554432000 4194304 4196468 140727234091776 139927484359840 139928378164949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
[pid=9296/tid=9415] ppid=9289 vsize=10849032 memory=765996 CPUtime=0.08 cores=0,2,4,6
/proc/9296/task/9415/stat : 9415 (java) S 9289 9296 9235 0 -1 1077944384 3 13326 0 0 0 0 5 3 20 0 15 0 415633494 11109408768 191499 33554432000 4194304 4196468 140727234091776 139927215924096 139928378164949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
[pid=9296/tid=9420] ppid=9289 vsize=10849032 memory=763900 CPUtime=0.08 cores=0,2,4,6
/proc/9296/task/9420/stat : 9420 (java) S 9289 9296 9235 0 -1 1077944384 3 13326 0 0 0 0 5 3 20 0 15 0 415633496 11109408768 191499 33554432000 4194304 4196468 140727234091776 139926908524368 139928378173339 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
[pid=9296/tid=9421] ppid=9289 vsize=10849032 memory=763900 CPUtime=3.88 cores=0,2,4,6
/proc/9296/task/9421/stat : 9421 (java) S 9289 9296 9235 0 -1 1077944384 22565 13326 0 0 375 5 5 3 20 0 15 0 415633496 11109408768 191499 33554432000 4194304 4196468 140727234091776 139927581633392 139928378165890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
[pid=9296/tid=9422] ppid=9289 vsize=10849032 memory=763900 CPUtime=4.04 cores=0,2,4,6
/proc/9296/task/9422/stat : 9422 (java) S 9289 9296 9235 0 -1 1077944384 22710 13326 0 0 392 4 5 3 20 0 15 0 415633496 11109408768 191499 33554432000 4194304 4196468 140727234091776 139927580580592 139928378165890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
[pid=9296/tid=9423] ppid=9289 vsize=10849032 memory=763900 CPUtime=1.94 cores=0,2,4,6
/proc/9296/task/9423/stat : 9423 (java) S 9289 9296 9235 0 -1 1077944384 17513 13326 0 0 182 4 5 3 20 0 15 0 415633497 11109408768 191499 33554432000 4194304 4196468 140727234091776 139927579527792 139928378165890 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
[pid=9296/tid=9425] ppid=9289 vsize=10849032 memory=763900 CPUtime=0.08 cores=0,2,4,6
/proc/9296/task/9425/stat : 9425 (java) S 9289 9296 9235 0 -1 1077944384 3 13326 0 0 0 0 5 3 20 0 15 0 415633497 11109408768 191499 33554432000 4194304 4196468 140727234091776 139926874966752 139928378164949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
[pid=9296/tid=9427] ppid=9289 vsize=10849032 memory=763900 CPUtime=1.42 cores=0,2,4,6
/proc/9296/task/9427/stat : 9427 (java) S 9289 9296 9235 0 -1 1077944384 1439 13326 0 0 66 68 5 3 20 0 15 0 415633497 11109408768 191499 33554432000 4194304 4196468 140727234091776 139927578475184 139928378165890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18219008 140727234095856 140727234098373 140727234098373 140727234101199 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 10849032 KiB
Current children cumulated memory: 765996 KiB
Child status: 143
Real time (s): 2476.73
CPU time (s): 2520.09
CPU user time (s): 2516.44
CPU system time (s): 3.65228
CPU usage (%): 101.751
Max. virtual memory (cumulated for all children) (KiB): 10851724
Max. memory (cumulated for all children) (KiB): 765996
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.44
system time used= 3.65228
maximum resident set size= 770240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 248720
page faults= 0
swaps= 0
block input operations= 104
block output operations= 2864
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 298649
involuntary context switches= 10648
# summary of solver processes directly reported to runsolver:
# pid: 9296
# total CPU time (s): 2520.09
# total CPU user time (s): 2516.44
# total CPU system time (s): 3.65228
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.7076 second user time and 24.1618 second system time
The end