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 (10752 MiB free)
memory of node 1: 16384 MiB (11894 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4290617-1532250289/watcher-4290617-1532250289 -o /tmp/evaluation-result-4290617-1532250289/solver-4290617-1532250289 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node135-1532226533-28559 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 510996543 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4290617-1532250289.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=31268, runsolver pid=31265
[startup+0.108339 s]*
/proc/loadavg: 1.76 1.43 1.37 3/219 31283
/proc/meminfo: memFree=23173352/32770624 swapFree=67108860/67108860
[pid=31268] ppid=31265 vsize=14082740 memory=33580 CPUtime=0.13 cores=0,2,4,6
/proc/31268/stat : 31268 (java) S 31265 31268 28528 0 -1 1077944320 7300 0 0 0 12 1 0 0 20 0 15 0 42592064 14420725760 8395 33554432000 4194304 4196468 140732633737680 140732633720224 139876081254135 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
/proc/31268/statm: 3520685 8395 3161 1 0 3482761 0
[pid=31268/tid=31270] ppid=31265 vsize=14082740 memory=-8557575366716591486 CPUtime=0.1 cores=0,2,4,6
/proc/31268/task/31270/stat : 31270 (java) R 31265 31268 28528 0 -1 4202560 5339 0 0 0 9 1 0 0 20 0 15 0 42592065 14420725760 8395 33554432000 4194304 4196468 140732633737680 139876085468928 139876081276061 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
[pid=31268/tid=31271] ppid=31265 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31268/task/31271/stat : 31271 (java) S 31265 31268 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42592066 14420725760 8395 33554432000 4194304 4196468 140732633737680 139876018854544 139876081264341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
[pid=31268/tid=31272] ppid=31265 vsize=14082740 memory=140407829649024 CPUtime=0 cores=0,2,4,6
/proc/31268/task/31272/stat : 31272 (java) S 31265 31268 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42592066 14420725760 8395 33554432000 4194304 4196468 140732633737680 139876017801744 139876081264341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
[pid=31268/tid=31273] ppid=31265 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31268/task/31273/stat : 31273 (java) S 31265 31268 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42592066 14420725760 8395 33554432000 4194304 4196468 140732633737680 139876016748944 139876081264341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
[pid=31268/tid=31274] ppid=31265 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31268/task/31274/stat : 31274 (java) S 31265 31268 28528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 42592066 14420725760 8395 33554432000 4194304 4196468 140732633737680 139876015696144 139876081264341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
[pid=31268/tid=31275] ppid=31265 vsize=14082740 memory=140407829649024 CPUtime=0 cores=0,2,4,6
/proc/31268/task/31275/stat : 31275 (java) S 31265 31268 28528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 42592067 14420725760 8395 33554432000 4194304 4196468 140732633737680 139875622972272 139876081265282 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
[pid=31268/tid=31276] ppid=31265 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31268/task/31276/stat : 31276 (java) S 31265 31268 28528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 42592067 14420725760 8395 33554432000 4194304 4196468 140732633737680 139875621918240 139876081264341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
[pid=31268/tid=31277] ppid=31265 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31268/task/31277/stat : 31277 (java) S 31265 31268 28528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 42592068 14420725760 8395 33554432000 4194304 4196468 140732633737680 139875620865392 139876081264341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
[pid=31268/tid=31278] ppid=31265 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31268/task/31278/stat : 31278 (java) S 31265 31268 28528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42592070 14420725760 8395 33554432000 4194304 4196468 140732633737680 139875619813712 139876081272731 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
[pid=31268/tid=31279] ppid=31265 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31268/task/31279/stat : 31279 (java) S 31265 31268 28528 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 42592070 14420725760 8395 33554432000 4194304 4196468 140732633737680 139875618761072 139876081265282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
[pid=31268/tid=31280] ppid=31265 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31268/task/31280/stat : 31280 (java) S 31265 31268 28528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42592070 14420725760 8395 33554432000 4194304 4196468 140732633737680 139875617708272 139876081265282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
[pid=31268/tid=31281] ppid=31265 vsize=14082740 memory=140407829649024 CPUtime=0.01 cores=0,2,4,6
/proc/31268/task/31281/stat : 31281 (java) S 31265 31268 28528 0 -1 1077944384 279 0 0 0 1 0 0 0 20 0 15 0 42592070 14420725760 8395 33554432000 4194304 4196468 140732633737680 139875616655472 139876081265282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
[pid=31268/tid=31282] ppid=31265 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31268/task/31282/stat : 31282 (java) S 31265 31268 28528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42592070 14420725760 8395 33554432000 4194304 4196468 140732633737680 139875615602912 139876081264341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
[pid=31268/tid=31283] ppid=31265 vsize=14082740 memory=140407829649024 CPUtime=0 cores=0,2,4,6
/proc/31268/task/31283/stat : 31283 (java) S 31265 31268 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42592070 14420725760 8395 33554432000 4194304 4196468 140732633737680 139875614551216 139876081265282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 33580 KiB
[startup+0.219208 s]*
/proc/loadavg: 1.76 1.43 1.37 6/219 31283
/proc/meminfo: memFree=23140420/32770624 swapFree=67108860/67108860
[pid=31268] ppid=31265 vsize=14082740 memory=47132 CPUtime=0.33 cores=0,2,4,6
/proc/31268/stat : 31268 (java) S 31265 31268 28528 0 -1 1077944320 10428 0 0 0 31 2 0 0 20 0 15 0 42592064 14420725760 11783 33554432000 4194304 4196468 140732633737680 140732633720224 139876081254135 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
/proc/31268/statm: 3520685 11783 3360 1 0 3482761 0
[pid=31268/tid=31270] ppid=31265 vsize=14082740 memory=7022364594140610616 CPUtime=0.21 cores=0,2,4,6
/proc/31268/task/31270/stat : 31270 (java) R 31265 31268 28528 0 -1 4202560 8104 0 0 0 19 2 0 0 20 0 15 0 42592065 14420725760 11783 33554432000 4194304 4196468 140732633737680 139876085482000 139876065334622 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
[pid=31268/tid=31271] ppid=31265 vsize=14082740 memory=365 CPUtime=0 cores=0,2,4,6
/proc/31268/task/31271/stat : 31271 (java) S 31265 31268 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42592066 14420725760 11783 33554432000 4194304 4196468 140732633737680 139876018854544 139876081264341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
[pid=31268/tid=31272] ppid=31265 vsize=14082740 memory=3762111987041130144 CPUtime=0 cores=0,2,4,6
/proc/31268/task/31272/stat : 31272 (java) S 31265 31268 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42592066 14420725760 11783 33554432000 4194304 4196468 140732633737680 139876017801744 139876081264341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
[pid=31268/tid=31273] ppid=31265 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31268/task/31273/stat : 31273 (java) S 31265 31268 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42592066 14420725760 11783 33554432000 4194304 4196468 140732633737680 139876016748944 139876081264341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
[pid=31268/tid=31274] ppid=31265 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31268/task/31274/stat : 31274 (java) S 31265 31268 28528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 42592066 14420725760 11783 33554432000 4194304 4196468 140732633737680 139876015696144 139876081264341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
[pid=31268/tid=31275] ppid=31265 vsize=14082740 memory=140407829649024 CPUtime=0 cores=0,2,4,6
/proc/31268/task/31275/stat : 31275 (java) S 31265 31268 28528 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 42592067 14420725760 11783 33554432000 4194304 4196468 140732633737680 139875622972272 139876081265282 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
[pid=31268/tid=31276] ppid=31265 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31268/task/31276/stat : 31276 (java) S 31265 31268 28528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 42592067 14420725760 11783 33554432000 4194304 4196468 140732633737680 139875621918240 139876081264341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
[pid=31268/tid=31277] ppid=31265 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31268/task/31277/stat : 31277 (java) S 31265 31268 28528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 42592068 14420725760 11783 33554432000 4194304 4196468 140732633737680 139875620865392 139876081264341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
[pid=31268/tid=31278] ppid=31265 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31268/task/31278/stat : 31278 (java) S 31265 31268 28528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42592070 14420725760 11783 33554432000 4194304 4196468 140732633737680 139875619813712 139876081272731 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
[pid=31268/tid=31279] ppid=31265 vsize=14082740 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/31268/task/31279/stat : 31279 (java) S 31265 31268 28528 0 -1 1077944384 393 0 0 0 2 0 0 0 20 0 15 0 42592070 14420725760 11783 33554432000 4194304 4196468 140732633737680 139875618761072 139876081265282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
[pid=31268/tid=31280] ppid=31265 vsize=14082740 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/31268/task/31280/stat : 31280 (java) S 31265 31268 28528 0 -1 1077944384 222 0 0 0 1 0 0 0 20 0 15 0 42592070 14420725760 11783 33554432000 4194304 4196468 140732633737680 139875617708272 139876081265282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
[pid=31268/tid=31281] ppid=31265 vsize=14082740 memory=140407829649024 CPUtime=0.06 cores=0,2,4,6
/proc/31268/task/31281/stat : 31281 (java) R 31265 31268 28528 0 -1 4202560 326 0 0 0 6 0 0 0 20 0 15 0 42592070 14420725760 11783 33554432000 4194304 4196468 140732633737680 139875616653264 139876081275482 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
[pid=31268/tid=31282] ppid=31265 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31268/task/31282/stat : 31282 (java) S 31265 31268 28528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42592070 14420725760 11783 33554432000 4194304 4196468 140732633737680 139875615602912 139876081264341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
[pid=31268/tid=31283] ppid=31265 vsize=14082740 memory=140407829649024 CPUtime=0 cores=0,2,4,6
/proc/31268/task/31283/stat : 31283 (java) S 31265 31268 28528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 42592070 14420725760 11783 33554432000 4194304 4196468 140732633737680 139875614551216 139876081265282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 47132 KiB
[startup+0.31067 s]*
/proc/loadavg: 1.76 1.43 1.37 4/219 31283
/proc/meminfo: memFree=23140128/32770624 swapFree=67108860/67108860
[pid=31268] ppid=31265 vsize=14082740 memory=50728 CPUtime=0.45 cores=0,2,4,6
/proc/31268/stat : 31268 (java) S 31265 31268 28528 0 -1 1077944320 10795 0 0 0 42 3 0 0 20 0 15 0 42592064 14420725760 12682 33554432000 4194304 4196468 140732633737680 140732633720224 139876081254135 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
/proc/31268/statm: 3520685 12682 3418 1 0 3482761 0
[pid=31268/tid=31270] ppid=31265 vsize=14082740 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6
/proc/31268/task/31270/stat : 31270 (java) R 31265 31268 28528 0 -1 4202560 8439 0 0 0 28 2 0 0 20 0 15 0 42592065 14420725760 12733 33554432000 4194304 4196468 140732633737680 139876085465648 139876065297765 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
[pid=31268/tid=31271] ppid=31265 vsize=14082740 memory=288230613314699287 CPUtime=0 cores=0,2,4,6
/proc/31268/task/31271/stat : 31271 (java) S 31265 31268 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42592066 14420725760 12733 33554432000 4194304 4196468 140732633737680 139876018854544 139876081264341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
[pid=31268/tid=31272] ppid=31265 vsize=14082740 memory=3762960805722805920 CPUtime=0 cores=0,2,4,6
/proc/31268/task/31272/stat : 31272 (java) S 31265 31268 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42592066 14420725760 12733 33554432000 4194304 4196468 140732633737680 139876017801744 139876081264341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
[pid=31268/tid=31273] ppid=31265 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31268/task/31273/stat : 31273 (java) S 31265 31268 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42592066 14420725760 12733 33554432000 4194304 4196468 140732633737680 139876016748944 139876081264341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
[pid=31268/tid=31274] ppid=31265 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31268/task/31274/stat : 31274 (java) S 31265 31268 28528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 42592066 14420725760 12733 33554432000 4194304 4196468 140732633737680 139876015696144 139876081264341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
[pid=31268/tid=31275] ppid=31265 vsize=14082740 memory=140407829649024 CPUtime=0 cores=0,2,4,6
/proc/31268/task/31275/stat : 31275 (java) S 31265 31268 28528 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 42592067 14420725760 12733 33554432000 4194304 4196468 140732633737680 139875622972272 139876081265282 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
[pid=31268/tid=31276] ppid=31265 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31268/task/31276/stat : 31276 (java) S 31265 31268 28528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 42592067 14420725760 12733 33554432000 4194304 4196468 140732633737680 139875621918240 139876081264341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
[pid=31268/tid=31277] ppid=31265 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31268/task/31277/stat : 31277 (java) S 31265 31268 28528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 42592068 14420725760 12733 33554432000 4194304 4196468 140732633737680 139875620865392 139876081264341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
[pid=31268/tid=31278] ppid=31265 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31268/task/31278/stat : 31278 (java) S 31265 31268 28528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42592070 14420725760 12733 33554432000 4194304 4196468 140732633737680 139875619813712 139876081272731 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
[pid=31268/tid=31279] ppid=31265 vsize=14082740 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/31268/task/31279/stat : 31279 (java) S 31265 31268 28528 0 -1 1077944384 408 0 0 0 3 0 0 0 20 0 15 0 42592070 14420725760 12733 33554432000 4194304 4196468 140732633737680 139875618761072 139876081265282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
[pid=31268/tid=31280] ppid=31265 vsize=14082740 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/31268/task/31280/stat : 31280 (java) S 31265 31268 28528 0 -1 1077944384 222 0 0 0 2 0 0 0 20 0 15 0 42592070 14420725760 12733 33554432000 4194304 4196468 140732633737680 139875617708272 139876081265282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
[pid=31268/tid=31281] ppid=31265 vsize=14082740 memory=140407829649024 CPUtime=0.08 cores=0,2,4,6
/proc/31268/task/31281/stat : 31281 (java) S 31265 31268 28528 0 -1 1077944384 343 0 0 0 8 0 0 0 20 0 15 0 42592070 14420725760 12733 33554432000 4194304 4196468 140732633737680 139875616655472 139876081265282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
[pid=31268/tid=31282] ppid=31265 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31268/task/31282/stat : 31282 (java) S 31265 31268 28528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42592070 14420725760 12733 33554432000 4194304 4196468 140732633737680 139875615602912 139876081264341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
[pid=31268/tid=31283] ppid=31265 vsize=14082740 memory=140407829649024 CPUtime=0 cores=0,2,4,6
/proc/31268/task/31283/stat : 31283 (java) S 31265 31268 28528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 42592070 14420725760 12733 33554432000 4194304 4196468 140732633737680 139875614551216 139876081265282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
Current children cumulated CPU time: 0.45 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 50728 KiB
[startup+0.700784 s]
/proc/loadavg: 1.76 1.43 1.37 3/219 31283
/proc/meminfo: memFree=23127216/32770624 swapFree=67108860/67108860
[pid=31268] ppid=31265 vsize=14084808 memory=88800 CPUtime=1 cores=0,2,4,6
/proc/31268/stat : 31268 (java) S 31265 31268 28528 0 -1 1077944320 17634 0 0 0 95 5 0 0 20 0 15 0 42592064 14422843392 22200 33554432000 4194304 4196468 140732633737680 140732633720224 139876081254135 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
/proc/31268/statm: 3521202 22200 3500 1 0 3483273 0
[pid=31268/tid=31270] ppid=31265 vsize=14084808 memory=1728 CPUtime=0.67 cores=0,2,4,6
/proc/31268/task/31270/stat : 31270 (java) R 31265 31268 28528 0 -1 4202560 14888 0 0 0 63 4 0 0 20 0 15 0 42592065 14422843392 22200 33554432000 4194304 4196468 140732633737680 139876085469408 139876065334622 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
[pid=31268/tid=31271] ppid=31265 vsize=14084808 memory=792 CPUtime=0 cores=0,2,4,6
/proc/31268/task/31271/stat : 31271 (java) S 31265 31268 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42592066 14422843392 22200 33554432000 4194304 4196468 140732633737680 139876018854544 139876081264341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
[pid=31268/tid=31272] ppid=31265 vsize=14084808 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/31268/task/31272/stat : 31272 (java) S 31265 31268 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42592066 14422843392 22200 33554432000 4194304 4196468 140732633737680 139876017801744 139876081264341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
[pid=31268/tid=31273] ppid=31265 vsize=14084808 memory=1948 CPUtime=0 cores=0,2,4,6
/proc/31268/task/31273/stat : 31273 (java) S 31265 31268 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42592066 14422843392 22200 33554432000 4194304 4196468 140732633737680 139876016748944 139876081264341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
[pid=31268/tid=31274] ppid=31265 vsize=14084808 memory=5524 CPUtime=0 cores=0,2,4,6
/proc/31268/task/31274/stat : 31274 (java) S 31265 31268 28528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 42592066 14422843392 22200 33554432000 4194304 4196468 140732633737680 139876015696144 139876081264341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
[pid=31268/tid=31275] ppid=31265 vsize=14084808 memory=1444 CPUtime=0 cores=0,2,4,6
/proc/31268/task/31275/stat : 31275 (java) S 31265 31268 28528 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 42592067 14422843392 22200 33554432000 4194304 4196468 140732633737680 139875622972272 139876081265282 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
[pid=31268/tid=31276] ppid=31265 vsize=14084808 memory=1200 CPUtime=0 cores=0,2,4,6
/proc/31268/task/31276/stat : 31276 (java) S 31265 31268 28528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 42592067 14422843392 22200 33554432000 4194304 4196468 140732633737680 139875621918240 139876081264341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
[pid=31268/tid=31277] ppid=31265 vsize=14084808 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/31268/task/31277/stat : 31277 (java) S 31265 31268 28528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 42592068 14422843392 22200 33554432000 4194304 4196468 140732633737680 139875620865392 139876081264341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
[pid=31268/tid=31278] ppid=31265 vsize=14084808 memory=11968 CPUtime=0 cores=0,2,4,6
/proc/31268/task/31278/stat : 31278 (java) S 31265 31268 28528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42592070 14422843392 22200 33554432000 4194304 4196468 140732633737680 139875619813712 139876081272731 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
[pid=31268/tid=31279] ppid=31265 vsize=14084808 memory=7450174591119418944 CPUtime=0.07 cores=0,2,4,6
/proc/31268/task/31279/stat : 31279 (java) S 31265 31268 28528 0 -1 1077944384 555 0 0 0 7 0 0 0 20 0 15 0 42592070 14422843392 22200 33554432000 4194304 4196468 140732633737680 139875618761072 139876081265282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
[pid=31268/tid=31280] ppid=31265 vsize=14084808 memory=7955707059665005140 CPUtime=0.08 cores=0,2,4,6
/proc/31268/task/31280/stat : 31280 (java) S 31265 31268 28528 0 -1 1077944384 365 0 0 0 8 0 0 0 20 0 15 0 42592070 14422843392 22200 33554432000 4194304 4196468 140732633737680 139875617708272 139876081265282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
[pid=31268/tid=31281] ppid=31265 vsize=14084808 memory=6154282490091891024 CPUtime=0.15 cores=0,2,4,6
/proc/31268/task/31281/stat : 31281 (java) S 31265 31268 28528 0 -1 1077944384 442 0 0 0 15 0 0 0 20 0 15 0 42592070 14422843392 22200 33554432000 4194304 4196468 140732633737680 139875616655472 139876081265282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
[pid=31268/tid=31282] ppid=31265 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31268/task/31282/stat : 31282 (java) S 31265 31268 28528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42592070 14422843392 22200 33554432000 4194304 4196468 140732633737680 139875615602912 139876081264341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
[pid=31268/tid=31283] ppid=31265 vsize=14084808 memory=31396 CPUtime=0 cores=0,2,4,6
/proc/31268/task/31283/stat : 31283 (java) S 31265 31268 28528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 42592070 14422843392 22200 33554432000 4194304 4196468 140732633737680 139875614551216 139876081265282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 14084808 KiB
Current children cumulated memory: 88800 KiB
[startup+1.50135 s]
/proc/loadavg: 1.76 1.43 1.37 5/219 31283
/proc/meminfo: memFree=23061216/32770624 swapFree=67108860/67108860
[pid=31268] ppid=31265 vsize=14086856 memory=229756 CPUtime=3.59 cores=0,2,4,6
/proc/31268/stat : 31268 (java) S 31265 31268 28528 0 -1 1077944320 27409 0 0 0 349 10 0 0 20 0 15 0 42592064 14424940544 57439 33554432000 4194304 4196468 140732633737680 140732633720224 139876081254135 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
/proc/31268/statm: 3521714 57439 3563 1 0 3483785 0
[pid=31268/tid=31270] ppid=31265 vsize=14086856 memory=0 CPUtime=1.45 cores=0,2,4,6
/proc/31268/task/31270/stat : 31270 (java) R 31265 31268 28528 0 -1 4202560 17601 0 0 0 139 6 0 0 20 0 15 0 42592065 14424940544 57439 33554432000 4194304 4196468 140732633737680 139876085490496 139875699007719 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
[pid=31268/tid=31271] ppid=31265 vsize=14086856 memory=-6951259422114956437 CPUtime=0 cores=0,2,4,6
/proc/31268/task/31271/stat : 31271 (java) S 31265 31268 28528 0 -1 1077944384 106 0 0 0 0 0 0 0 20 0 15 0 42592066 14424940544 57439 33554432000 4194304 4196468 140732633737680 139876018854544 139876081264341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
[pid=31268/tid=31272] ppid=31265 vsize=14086856 memory=-6509546260019855299 CPUtime=0 cores=0,2,4,6
/proc/31268/task/31272/stat : 31272 (java) S 31265 31268 28528 0 -1 1077944384 146 0 0 0 0 0 0 0 20 0 15 0 42592066 14424940544 57439 33554432000 4194304 4196468 140732633737680 139876017801744 139876081264341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
[pid=31268/tid=31273] ppid=31265 vsize=14086856 memory=-7390251449858225344 CPUtime=0 cores=0,2,4,6
/proc/31268/task/31273/stat : 31273 (java) S 31265 31268 28528 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 42592066 14424940544 57439 33554432000 4194304 4196468 140732633737680 139876016748944 139876081264341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
[pid=31268/tid=31274] ppid=31265 vsize=14086856 memory=4134692831991786133 CPUtime=0 cores=0,2,4,6
/proc/31268/task/31274/stat : 31274 (java) S 31265 31268 28528 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 42592066 14424940544 57439 33554432000 4194304 4196468 140732633737680 139876015696144 139876081264341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
[pid=31268/tid=31275] ppid=31265 vsize=14086856 memory=-7165351541977658656 CPUtime=0 cores=0,2,4,6
/proc/31268/task/31275/stat : 31275 (java) S 31265 31268 28528 0 -1 1077944384 214 0 0 0 0 0 0 0 20 0 15 0 42592067 14424940544 57439 33554432000 4194304 4196468 140732633737680 139875622972272 139876081265282 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
################
# More data... #
################
/proc/31268/task/31270/stat : 31270 (java) R 31265 31268 28528 0 -1 4202560 66304 0 0 0 223755 45 0 0 20 0 15 0 42592065 14429134848 301064 33554432000 4194304 4196468 140732633737680 139876085491936 139875703663831 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
[pid=31268/tid=31271] ppid=31265 vsize=14090952 memory=1204256 CPUtime=14.22 cores=0,2,4,6
/proc/31268/task/31271/stat : 31271 (java) S 31265 31268 28528 0 -1 1077944384 20394 0 0 0 1333 89 0 0 20 0 15 0 42592066 14429134848 301064 33554432000 4194304 4196468 140732633737680 139876018854544 139876081264341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
[pid=31268/tid=31272] ppid=31265 vsize=14090952 memory=347 CPUtime=14.13 cores=0,2,4,6
/proc/31268/task/31272/stat : 31272 (java) S 31265 31268 28528 0 -1 1077944384 17777 0 0 0 1325 88 0 0 20 0 15 0 42592066 14429134848 301064 33554432000 4194304 4196468 140732633737680 139876017801744 139876081264341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
[pid=31268/tid=31273] ppid=31265 vsize=14090952 memory=0 CPUtime=14.19 cores=0,2,4,6
/proc/31268/task/31273/stat : 31273 (java) S 31265 31268 28528 0 -1 1077944384 15045 0 0 0 1330 89 0 0 20 0 15 0 42592066 14429134848 301064 33554432000 4194304 4196468 140732633737680 139876016748944 139876081264341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
[pid=31268/tid=31274] ppid=31265 vsize=14090952 memory=1204256 CPUtime=14.18 cores=0,2,4,6
/proc/31268/task/31274/stat : 31274 (java) S 31265 31268 28528 0 -1 1077944384 18700 0 0 0 1332 86 0 0 20 0 15 0 42592066 14429134848 301064 33554432000 4194304 4196468 140732633737680 139876015696144 139876081264341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
[pid=31268/tid=31275] ppid=31265 vsize=14090952 memory=1204256 CPUtime=7.63 cores=0,2,4,6
/proc/31268/task/31275/stat : 31275 (java) S 31265 31268 28528 0 -1 1077944384 16948 0 0 0 698 65 0 0 20 0 15 0 42592067 14429134848 301064 33554432000 4194304 4196468 140732633737680 139875622972272 139876081265282 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
[pid=31268/tid=31276] ppid=31265 vsize=14090952 memory=1204256 CPUtime=0 cores=0,2,4,6
/proc/31268/task/31276/stat : 31276 (java) S 31265 31268 28528 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 42592067 14429134848 301064 33554432000 4194304 4196468 140732633737680 139875621918304 139876081264341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
[pid=31268/tid=31277] ppid=31265 vsize=14090952 memory=1204256 CPUtime=0 cores=0,2,4,6
/proc/31268/task/31277/stat : 31277 (java) S 31265 31268 28528 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 42592068 14429134848 301064 33554432000 4194304 4196468 140732633737680 139875620865408 139876081264341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
[pid=31268/tid=31278] ppid=31265 vsize=14090952 memory=3828 CPUtime=0 cores=0,2,4,6
/proc/31268/task/31278/stat : 31278 (java) S 31265 31268 28528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42592070 14429134848 301064 33554432000 4194304 4196468 140732633737680 139875619813712 139876081272731 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
[pid=31268/tid=31279] ppid=31265 vsize=14090952 memory=1204256 CPUtime=3.6 cores=0,2,4,6
/proc/31268/task/31279/stat : 31279 (java) S 31265 31268 28528 0 -1 1077944384 13598 0 0 0 357 3 0 0 20 0 15 0 42592070 14429134848 301064 33554432000 4194304 4196468 140732633737680 139875618761072 139876081265282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
[pid=31268/tid=31280] ppid=31265 vsize=14090952 memory=1204256 CPUtime=3.47 cores=0,2,4,6
/proc/31268/task/31280/stat : 31280 (java) S 31265 31268 28528 0 -1 1077944384 11038 0 0 0 345 2 0 0 20 0 15 0 42592070 14429134848 301064 33554432000 4194304 4196468 140732633737680 139875617708272 139876081265282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
[pid=31268/tid=31281] ppid=31265 vsize=14090952 memory=1204256 CPUtime=0.98 cores=0,2,4,6
/proc/31268/task/31281/stat : 31281 (java) S 31265 31268 28528 0 -1 1077944384 8838 0 0 0 96 2 0 0 20 0 15 0 42592070 14429134848 301064 33554432000 4194304 4196468 140732633737680 139875616655472 139876081265282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
[pid=31268/tid=31282] ppid=31265 vsize=14090952 memory=3828 CPUtime=0 cores=0,2,4,6
/proc/31268/task/31282/stat : 31282 (java) S 31265 31268 28528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42592070 14429134848 301064 33554432000 4194304 4196468 140732633737680 139875615602912 139876081264341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
[pid=31268/tid=31283] ppid=31265 vsize=14090952 memory=1296 CPUtime=1.27 cores=0,2,4,6
/proc/31268/task/31283/stat : 31283 (java) S 31265 31268 28528 0 -1 1077944384 1063 0 0 0 60 67 0 0 20 0 15 0 42592070 14429134848 301064 33554432000 4194304 4196468 140732633737680 139875614551216 139876081265282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
Current children cumulated CPU time: 2311.76 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 1204256 KiB
[startup+2322.3 s]
/proc/loadavg: 1.18 1.30 1.31 3/221 31439
/proc/meminfo: memFree=20927856/32770624 swapFree=67108860/67108860
[pid=31268] ppid=31265 vsize=14090952 memory=1204256 CPUtime=2372.77 cores=0,2,4,6
/proc/31268/stat : 31268 (java) S 31265 31268 28528 0 -1 1077944320 193620 0 0 0 236800 477 0 0 20 0 15 0 42592064 14429134848 301064 33554432000 4194304 4196468 140732633737680 140732633720224 139876081254135 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
/proc/31268/statm: 3522738 301064 3606 1 0 3484809 0
[pid=31268/tid=31270] ppid=31265 vsize=14090952 memory=1204256 CPUtime=2297.33 cores=0,2,4,6
/proc/31268/task/31270/stat : 31270 (java) R 31265 31268 28528 0 -1 4202560 67457 0 0 0 229687 46 0 0 20 0 15 0 42592065 14429134848 301064 33554432000 4194304 4196468 140732633737680 139876085492304 139875703255936 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
[pid=31268/tid=31271] ppid=31265 vsize=14090952 memory=1204256 CPUtime=14.58 cores=0,2,4,6
/proc/31268/task/31271/stat : 31271 (java) S 31265 31268 28528 0 -1 1077944384 20620 0 0 0 1367 91 0 0 20 0 15 0 42592066 14429134848 301064 33554432000 4194304 4196468 140732633737680 139876018854544 139876081264341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
[pid=31268/tid=31272] ppid=31265 vsize=14090952 memory=1204256 CPUtime=14.48 cores=0,2,4,6
/proc/31268/task/31272/stat : 31272 (java) S 31265 31268 28528 0 -1 1077944384 17959 0 0 0 1358 90 0 0 20 0 15 0 42592066 14429134848 301064 33554432000 4194304 4196468 140732633737680 139876017801744 139876081264341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
[pid=31268/tid=31273] ppid=31265 vsize=14090952 memory=1204256 CPUtime=14.55 cores=0,2,4,6
/proc/31268/task/31273/stat : 31273 (java) S 31265 31268 28528 0 -1 1077944384 15330 0 0 0 1364 91 0 0 20 0 15 0 42592066 14429134848 301064 33554432000 4194304 4196468 140732633737680 139876016748944 139876081264341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
[pid=31268/tid=31274] ppid=31265 vsize=14090952 memory=164 CPUtime=14.53 cores=0,2,4,6
/proc/31268/task/31274/stat : 31274 (java) S 31265 31268 28528 0 -1 1077944384 18960 0 0 0 1366 87 0 0 20 0 15 0 42592066 14429134848 301064 33554432000 4194304 4196468 140732633737680 139876015696144 139876081264341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
[pid=31268/tid=31275] ppid=31265 vsize=14090952 memory=1204256 CPUtime=7.87 cores=0,2,4,6
/proc/31268/task/31275/stat : 31275 (java) S 31265 31268 28528 0 -1 1077944384 17308 0 0 0 719 68 0 0 20 0 15 0 42592067 14429134848 301064 33554432000 4194304 4196468 140732633737680 139875622972272 139876081265282 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
[pid=31268/tid=31276] ppid=31265 vsize=14090952 memory=1204256 CPUtime=0 cores=0,2,4,6
/proc/31268/task/31276/stat : 31276 (java) S 31265 31268 28528 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 42592067 14429134848 301064 33554432000 4194304 4196468 140732633737680 139875621918304 139876081264341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
[pid=31268/tid=31277] ppid=31265 vsize=14090952 memory=1204256 CPUtime=0 cores=0,2,4,6
/proc/31268/task/31277/stat : 31277 (java) S 31265 31268 28528 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 42592068 14429134848 301064 33554432000 4194304 4196468 140732633737680 139875620865408 139876081264341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
[pid=31268/tid=31278] ppid=31265 vsize=14090952 memory=3828 CPUtime=0 cores=0,2,4,6
/proc/31268/task/31278/stat : 31278 (java) S 31265 31268 28528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42592070 14429134848 301064 33554432000 4194304 4196468 140732633737680 139875619813712 139876081272731 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
[pid=31268/tid=31279] ppid=31265 vsize=14090952 memory=1204256 CPUtime=3.6 cores=0,2,4,6
/proc/31268/task/31279/stat : 31279 (java) S 31265 31268 28528 0 -1 1077944384 13602 0 0 0 357 3 0 0 20 0 15 0 42592070 14429134848 301064 33554432000 4194304 4196468 140732633737680 139875618761072 139876081265282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
[pid=31268/tid=31280] ppid=31265 vsize=14090952 memory=1204256 CPUtime=3.47 cores=0,2,4,6
/proc/31268/task/31280/stat : 31280 (java) S 31265 31268 28528 0 -1 1077944384 11042 0 0 0 345 2 0 0 20 0 15 0 42592070 14429134848 301064 33554432000 4194304 4196468 140732633737680 139875617708272 139876081265282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
[pid=31268/tid=31281] ppid=31265 vsize=14090952 memory=1204256 CPUtime=0.98 cores=0,2,4,6
/proc/31268/task/31281/stat : 31281 (java) S 31265 31268 28528 0 -1 1077944384 8842 0 0 0 96 2 0 0 20 0 15 0 42592070 14429134848 301064 33554432000 4194304 4196468 140732633737680 139875616655472 139876081265282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
[pid=31268/tid=31282] ppid=31265 vsize=14090952 memory=1204256 CPUtime=0 cores=0,2,4,6
/proc/31268/task/31282/stat : 31282 (java) S 31265 31268 28528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42592070 14429134848 301064 33554432000 4194304 4196468 140732633737680 139875615602912 139876081264341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
[pid=31268/tid=31283] ppid=31265 vsize=14090952 memory=3828 CPUtime=1.3 cores=0,2,4,6
/proc/31268/task/31283/stat : 31283 (java) S 31265 31268 28528 0 -1 1077944384 1082 0 0 0 62 68 0 0 20 0 15 0 42592070 14429134848 301064 33554432000 4194304 4196468 140732633737680 139875614551216 139876081265282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
Current children cumulated CPU time: 2372.77 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 1204256 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2349.11 s]
/proc/loadavg: 1.25 1.31 1.31 3/221 31439
/proc/meminfo: memFree=20964792/32770624 swapFree=67108860/67108860
[pid=31268] ppid=31265 vsize=14090952 memory=1204256 CPUtime=2400.01 cores=0,2,4,6
/proc/31268/stat : 31268 (java) S 31265 31268 28528 0 -1 1077944320 194905 0 0 0 239520 481 0 0 20 0 15 0 42592064 14429134848 301064 33554432000 4194304 4196468 140732633737680 140732633720224 139876081254135 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
/proc/31268/statm: 3522738 301064 3606 1 0 3484809 0
[pid=31268/tid=31270] ppid=31265 vsize=14090952 memory=1204256 CPUtime=2323.87 cores=0,2,4,6
/proc/31268/task/31270/stat : 31270 (java) R 31265 31268 28528 0 -1 4202560 68034 0 0 0 232341 46 0 0 20 0 15 0 42592065 14429134848 301064 33554432000 4194304 4196468 140732633737680 139876085492192 139875703636036 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
[pid=31268/tid=31271] ppid=31265 vsize=14090952 memory=1204256 CPUtime=14.72 cores=0,2,4,6
/proc/31268/task/31271/stat : 31271 (java) S 31265 31268 28528 0 -1 1077944384 20694 0 0 0 1381 91 0 0 20 0 15 0 42592066 14429134848 301064 33554432000 4194304 4196468 140732633737680 139876018854544 139876081264341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
[pid=31268/tid=31272] ppid=31265 vsize=14090952 memory=1204256 CPUtime=14.63 cores=0,2,4,6
/proc/31268/task/31272/stat : 31272 (java) S 31265 31268 28528 0 -1 1077944384 18023 0 0 0 1373 90 0 0 20 0 15 0 42592066 14429134848 301064 33554432000 4194304 4196468 140732633737680 139876017801744 139876081264341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
[pid=31268/tid=31273] ppid=31265 vsize=14090952 memory=1204256 CPUtime=14.69 cores=0,2,4,6
/proc/31268/task/31273/stat : 31273 (java) S 31265 31268 28528 0 -1 1077944384 15592 0 0 0 1377 92 0 0 20 0 15 0 42592066 14429134848 301064 33554432000 4194304 4196468 140732633737680 139876016748944 139876081264341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
[pid=31268/tid=31274] ppid=31265 vsize=14090952 memory=1204256 CPUtime=14.68 cores=0,2,4,6
/proc/31268/task/31274/stat : 31274 (java) S 31265 31268 28528 0 -1 1077944384 19074 0 0 0 1380 88 0 0 20 0 15 0 42592066 14429134848 301064 33554432000 4194304 4196468 140732633737680 139876015696144 139876081264341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
[pid=31268/tid=31275] ppid=31265 vsize=14090952 memory=1204256 CPUtime=7.95 cores=0,2,4,6
/proc/31268/task/31275/stat : 31275 (java) S 31265 31268 28528 0 -1 1077944384 17483 0 0 0 727 68 0 0 20 0 15 0 42592067 14429134848 301064 33554432000 4194304 4196468 140732633737680 139875622972272 139876081265282 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
[pid=31268/tid=31276] ppid=31265 vsize=14090952 memory=1204256 CPUtime=0 cores=0,2,4,6
/proc/31268/task/31276/stat : 31276 (java) S 31265 31268 28528 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 42592067 14429134848 301064 33554432000 4194304 4196468 140732633737680 139875621918304 139876081264341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
[pid=31268/tid=31277] ppid=31265 vsize=14090952 memory=1204256 CPUtime=0 cores=0,2,4,6
/proc/31268/task/31277/stat : 31277 (java) S 31265 31268 28528 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 42592068 14429134848 301064 33554432000 4194304 4196468 140732633737680 139875620865408 139876081264341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
[pid=31268/tid=31278] ppid=31265 vsize=14090952 memory=1204256 CPUtime=0 cores=0,2,4,6
/proc/31268/task/31278/stat : 31278 (java) S 31265 31268 28528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42592070 14429134848 301064 33554432000 4194304 4196468 140732633737680 139875619813712 139876081272731 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
[pid=31268/tid=31279] ppid=31265 vsize=14090952 memory=1204256 CPUtime=3.6 cores=0,2,4,6
/proc/31268/task/31279/stat : 31279 (java) S 31265 31268 28528 0 -1 1077944384 13604 0 0 0 357 3 0 0 20 0 15 0 42592070 14429134848 301064 33554432000 4194304 4196468 140732633737680 139875618761072 139876081265282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
[pid=31268/tid=31280] ppid=31265 vsize=14090952 memory=14628 CPUtime=3.47 cores=0,2,4,6
/proc/31268/task/31280/stat : 31280 (java) S 31265 31268 28528 0 -1 1077944384 11044 0 0 0 345 2 0 0 20 0 15 0 42592070 14429134848 301064 33554432000 4194304 4196468 140732633737680 139875617708272 139876081265282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
[pid=31268/tid=31281] ppid=31265 vsize=14090952 memory=1296 CPUtime=0.98 cores=0,2,4,6
/proc/31268/task/31281/stat : 31281 (java) S 31265 31268 28528 0 -1 1077944384 8844 0 0 0 96 2 0 0 20 0 15 0 42592070 14429134848 301064 33554432000 4194304 4196468 140732633737680 139875616655472 139876081265282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
[pid=31268/tid=31282] ppid=31265 vsize=14090952 memory=1204256 CPUtime=0 cores=0,2,4,6
/proc/31268/task/31282/stat : 31282 (java) S 31265 31268 28528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42592070 14429134848 301064 33554432000 4194304 4196468 140732633737680 139875615602912 139876081264341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
[pid=31268/tid=31283] ppid=31265 vsize=14090952 memory=3828 CPUtime=1.31 cores=0,2,4,6
/proc/31268/task/31283/stat : 31283 (java) S 31265 31268 28528 0 -1 1077944384 1095 0 0 0 62 69 0 0 20 0 15 0 42592070 14429134848 301064 33554432000 4194304 4196468 140732633737680 139875614551216 139876081265282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
Current children cumulated CPU time: 2400.01 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 1204256 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2349.12 s]
# the end of solver process 31268 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2395.21 s, system=4.81927 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2349.11 s]
/proc/loadavg: 1.25 1.31 1.31 3/221 31439
/proc/meminfo: memFree=20964792/32770624 swapFree=67108860/67108860
[pid=31268] ppid=31265 vsize=14090952 memory=1204256 CPUtime=2400.01 cores=0,2,4,6
/proc/31268/stat : 31268 (java) S 31265 31268 28528 0 -1 1077944320 194905 0 0 0 239520 481 0 0 20 0 15 0 42592064 14429134848 301064 33554432000 4194304 4196468 140732633737680 140732633720224 139876081254135 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
/proc/31268/statm: 3522738 301064 3606 1 0 3484809 0
[pid=31268/tid=31270] ppid=31265 vsize=14090952 memory=1204256 CPUtime=2323.87 cores=0,2,4,6
/proc/31268/task/31270/stat : 31270 (java) R 31265 31268 28528 0 -1 4202560 68034 0 0 0 232341 46 0 0 20 0 15 0 42592065 14429134848 301064 33554432000 4194304 4196468 140732633737680 139876085492192 139875703636036 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
[pid=31268/tid=31271] ppid=31265 vsize=14090952 memory=1204256 CPUtime=14.72 cores=0,2,4,6
/proc/31268/task/31271/stat : 31271 (java) S 31265 31268 28528 0 -1 1077944384 20694 0 0 0 1381 91 0 0 20 0 15 0 42592066 14429134848 301064 33554432000 4194304 4196468 140732633737680 139876018854544 139876081264341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
[pid=31268/tid=31272] ppid=31265 vsize=14090952 memory=1204256 CPUtime=14.63 cores=0,2,4,6
/proc/31268/task/31272/stat : 31272 (java) S 31265 31268 28528 0 -1 1077944384 18023 0 0 0 1373 90 0 0 20 0 15 0 42592066 14429134848 301064 33554432000 4194304 4196468 140732633737680 139876017801744 139876081264341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
[pid=31268/tid=31273] ppid=31265 vsize=14090952 memory=1204256 CPUtime=14.69 cores=0,2,4,6
/proc/31268/task/31273/stat : 31273 (java) S 31265 31268 28528 0 -1 1077944384 15592 0 0 0 1377 92 0 0 20 0 15 0 42592066 14429134848 301064 33554432000 4194304 4196468 140732633737680 139876016748944 139876081264341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
[pid=31268/tid=31274] ppid=31265 vsize=14090952 memory=1204256 CPUtime=14.68 cores=0,2,4,6
/proc/31268/task/31274/stat : 31274 (java) S 31265 31268 28528 0 -1 1077944384 19074 0 0 0 1380 88 0 0 20 0 15 0 42592066 14429134848 301064 33554432000 4194304 4196468 140732633737680 139876015696144 139876081264341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
[pid=31268/tid=31275] ppid=31265 vsize=14090952 memory=1204256 CPUtime=7.95 cores=0,2,4,6
/proc/31268/task/31275/stat : 31275 (java) S 31265 31268 28528 0 -1 1077944384 17483 0 0 0 727 68 0 0 20 0 15 0 42592067 14429134848 301064 33554432000 4194304 4196468 140732633737680 139875622972272 139876081265282 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
[pid=31268/tid=31276] ppid=31265 vsize=14090952 memory=1204256 CPUtime=0 cores=0,2,4,6
/proc/31268/task/31276/stat : 31276 (java) S 31265 31268 28528 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 42592067 14429134848 301064 33554432000 4194304 4196468 140732633737680 139875621918304 139876081264341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
[pid=31268/tid=31277] ppid=31265 vsize=14090952 memory=1204256 CPUtime=0 cores=0,2,4,6
/proc/31268/task/31277/stat : 31277 (java) S 31265 31268 28528 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 42592068 14429134848 301064 33554432000 4194304 4196468 140732633737680 139875620865408 139876081264341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
[pid=31268/tid=31278] ppid=31265 vsize=14090952 memory=1204256 CPUtime=0 cores=0,2,4,6
/proc/31268/task/31278/stat : 31278 (java) S 31265 31268 28528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42592070 14429134848 301064 33554432000 4194304 4196468 140732633737680 139875619813712 139876081272731 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
[pid=31268/tid=31279] ppid=31265 vsize=14090952 memory=1204256 CPUtime=3.6 cores=0,2,4,6
/proc/31268/task/31279/stat : 31279 (java) S 31265 31268 28528 0 -1 1077944384 13604 0 0 0 357 3 0 0 20 0 15 0 42592070 14429134848 301064 33554432000 4194304 4196468 140732633737680 139875618761072 139876081265282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
[pid=31268/tid=31280] ppid=31265 vsize=14090952 memory=14628 CPUtime=3.47 cores=0,2,4,6
/proc/31268/task/31280/stat : 31280 (java) S 31265 31268 28528 0 -1 1077944384 11044 0 0 0 345 2 0 0 20 0 15 0 42592070 14429134848 301064 33554432000 4194304 4196468 140732633737680 139875617708272 139876081265282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
[pid=31268/tid=31281] ppid=31265 vsize=14090952 memory=1296 CPUtime=0.98 cores=0,2,4,6
/proc/31268/task/31281/stat : 31281 (java) S 31265 31268 28528 0 -1 1077944384 8844 0 0 0 96 2 0 0 20 0 15 0 42592070 14429134848 301064 33554432000 4194304 4196468 140732633737680 139875616655472 139876081265282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
[pid=31268/tid=31282] ppid=31265 vsize=14090952 memory=1204256 CPUtime=0 cores=0,2,4,6
/proc/31268/task/31282/stat : 31282 (java) S 31265 31268 28528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42592070 14429134848 301064 33554432000 4194304 4196468 140732633737680 139875615602912 139876081264341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
[pid=31268/tid=31283] ppid=31265 vsize=14090952 memory=3828 CPUtime=1.31 cores=0,2,4,6
/proc/31268/task/31283/stat : 31283 (java) S 31265 31268 28528 0 -1 1077944384 1095 0 0 0 62 69 0 0 20 0 15 0 42592070 14429134848 301064 33554432000 4194304 4196468 140732633737680 139875614551216 139876081265282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19222528 140732633744457 140732633744649 140732633744649 140732633747407 0
Current children cumulated CPU time: 2400.01 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 1204256 KiB
Child status: 143
Real time (s): 2349.12
CPU time (s): 2400.03
CPU user time (s): 2395.21
CPU system time (s): 4.81927
CPU usage (%): 102.167
Max. virtual memory (cumulated for all children) (KiB): 14090952
Max. memory (cumulated for all children) (KiB): 1484720
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2395.21
system time used= 4.81927
maximum resident set size= 1484720
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 195138
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2608
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 259875
involuntary context switches= 7506
# summary of solver processes directly reported to runsolver:
# pid: 31268
# total CPU time (s): 2400.03
# total CPU user time (s): 2395.21
# total CPU system time (s): 4.81927
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.0729 second user time and 21.3549 second system time
The end