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 (12184 MiB free)
memory of node 1: 16384 MiB (15396 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400922-1568688784/watcher-4400922-1568688784 -o /tmp/evaluation-result-4400922-1568688784/solver-4400922-1568688784 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1568673289-31265 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=2063277470 HOME/instance-4400922-1568688784.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=5416, runsolver pid=5413
Current StackSize limit: 8192 KiB
[startup+0.100215 s]*
/proc/loadavg: 1.67 1.71 1.60 3/219 5474
/proc/meminfo: memFree=28231608/32770624 swapFree=66967452/67108860
[pid=5416] ppid=5413 vsize=9972712 memory=18332 CPUtime=0.09 cores=1,3,5,7
/proc/5416/stat : 5416 (java) S 5413 5416 31233 0 -1 1077944320 4349 13321 0 0 1 1 5 2 20 0 6 0 445145204 10212057088 4583 33554432000 4194304 4196468 140731656785392 140731656767936 139856396345079 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
/proc/5416/statm: 2493178 4583 1931 1 0 2481616 0
[pid=5416/tid=5470] ppid=5413 vsize=9972712 memory=-8171376296011865461 CPUtime=0.08 cores=1,3,5,7
/proc/5416/task/5470/stat : 5470 (java) R 5413 5416 31233 0 -1 4202560 2176 13321 0 0 1 0 5 2 20 0 6 0 445145213 10212057088 4649 33554432000 4194304 4196468 140731656785392 139856368181840 139856381657081 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
[pid=5416/tid=5471] ppid=5413 vsize=9972712 memory=7948963741541478447 CPUtime=0.07 cores=1,3,5,7
/proc/5416/task/5471/stat : 5471 (java) S 5413 5416 31233 0 -1 1077944384 1 13321 0 0 0 0 5 2 20 0 6 0 445145214 10212057088 4649 33554432000 4194304 4196468 140731656785392 139856400587920 139856396355285 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
[pid=5416/tid=5472] ppid=5413 vsize=9972712 memory=140534244591232 CPUtime=0.07 cores=1,3,5,7
/proc/5416/task/5472/stat : 5472 (java) S 5413 5416 31233 0 -1 1077944384 1 13321 0 0 0 0 5 2 20 0 6 0 445145214 10212057088 4649 33554432000 4194304 4196468 140731656785392 139856288861200 139856396355285 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
[pid=5416/tid=5473] ppid=5413 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5416/task/5473/stat : 5473 (java) S 5413 5416 31233 0 -1 1077944384 1 13321 0 0 0 0 5 2 20 0 6 0 445145214 10212057088 4649 33554432000 4194304 4196468 140731656785392 139856287808400 139856396355285 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
[pid=5416/tid=5474] ppid=5413 vsize=9972712 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/5416/task/5474/stat : 5474 (java) S 5413 5416 31233 0 -1 1077944384 2 13321 0 0 0 0 5 2 20 0 6 0 445145214 10212057088 4649 33554432000 4194304 4196468 140731656785392 139856286755600 139856396355285 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18332 KiB
[startup+0.213503 s]*
/proc/loadavg: 1.67 1.71 1.60 4/228 5483
/proc/meminfo: memFree=28211020/32770624 swapFree=66967452/67108860
[pid=5416] ppid=5413 vsize=10820196 memory=45396 CPUtime=0.27 cores=1,3,5,7
/proc/5416/stat : 5416 (java) S 5413 5416 31233 0 -1 1077944320 7244 13321 0 0 18 2 5 2 20 0 15 0 445145204 11079880704 11349 33554432000 4194304 4196468 140731656785392 140731656767936 139856396345079 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
/proc/5416/statm: 2705049 11349 3301 1 0 2667149 0
[pid=5416/tid=5470] ppid=5413 vsize=10820196 memory=8389772277269004345 CPUtime=0.19 cores=1,3,5,7
/proc/5416/task/5470/stat : 5470 (java) R 5413 5416 31233 0 -1 4202560 3753 13321 0 0 11 1 5 2 20 0 15 0 445145213 11079880704 11349 33554432000 4194304 4196468 140731656785392 139856368166160 139856380388709 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
[pid=5416/tid=5471] ppid=5413 vsize=10820196 memory=4294967660 CPUtime=0.07 cores=1,3,5,7
/proc/5416/task/5471/stat : 5471 (java) S 5413 5416 31233 0 -1 1077944384 1 13321 0 0 0 0 5 2 20 0 15 0 445145214 11079880704 11349 33554432000 4194304 4196468 140731656785392 139856400587920 139856396355285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
[pid=5416/tid=5472] ppid=5413 vsize=10820196 memory=288370910396302976 CPUtime=0.07 cores=1,3,5,7
/proc/5416/task/5472/stat : 5472 (java) S 5413 5416 31233 0 -1 1077944384 1 13321 0 0 0 0 5 2 20 0 15 0 445145214 11079880704 11349 33554432000 4194304 4196468 140731656785392 139856288861200 139856396355285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
[pid=5416/tid=5473] ppid=5413 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5416/task/5473/stat : 5473 (java) S 5413 5416 31233 0 -1 1077944384 1 13321 0 0 0 0 5 2 20 0 15 0 445145214 11079880704 11349 33554432000 4194304 4196468 140731656785392 139856287808400 139856396355285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
[pid=5416/tid=5474] ppid=5413 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/5416/task/5474/stat : 5474 (java) S 5413 5416 31233 0 -1 1077944384 2 13321 0 0 0 0 5 2 20 0 15 0 445145214 11079880704 11349 33554432000 4194304 4196468 140731656785392 139856286755600 139856396355285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
[pid=5416/tid=5475] ppid=5413 vsize=10820196 memory=140534244591232 CPUtime=0.07 cores=1,3,5,7
/proc/5416/task/5475/stat : 5475 (java) S 5413 5416 31233 0 -1 1077944384 2 13321 0 0 0 0 5 2 20 0 15 0 445145215 11079880704 11349 33554432000 4194304 4196468 140731656785392 139855855024496 139856396356226 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
[pid=5416/tid=5476] ppid=5413 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/5416/task/5476/stat : 5476 (java) S 5413 5416 31233 0 -1 1077944384 33 13321 0 0 0 0 5 2 20 0 15 0 445145216 11079880704 11349 33554432000 4194304 4196468 140731656785392 139855853970464 139856396355285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
[pid=5416/tid=5477] ppid=5413 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5416/task/5477/stat : 5477 (java) S 5413 5416 31233 0 -1 1077944384 1 13321 0 0 0 0 5 2 20 0 15 0 445145216 11079880704 11349 33554432000 4194304 4196468 140731656785392 139855409439600 139856396355285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
[pid=5416/tid=5478] ppid=5413 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5416/task/5478/stat : 5478 (java) S 5413 5416 31233 0 -1 1077944384 2 13321 0 0 0 0 5 2 20 0 15 0 445145219 11079880704 11349 33554432000 4194304 4196468 140731656785392 139855141005136 139856396363675 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
[pid=5416/tid=5479] ppid=5413 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5416/task/5479/stat : 5479 (java) S 5413 5416 31233 0 -1 1077944384 479 13321 0 0 1 0 5 2 20 0 15 0 445145219 11079880704 11349 33554432000 4194304 4196468 140731656785392 139855820413808 139856396356226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
[pid=5416/tid=5480] ppid=5413 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/5416/task/5480/stat : 5480 (java) S 5413 5416 31233 0 -1 1077944384 183 13321 0 0 1 0 5 2 20 0 15 0 445145219 11079880704 11349 33554432000 4194304 4196468 140731656785392 139855819361008 139856396356226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
[pid=5416/tid=5481] ppid=5413 vsize=10820196 memory=140534244591232 CPUtime=0.1 cores=1,3,5,7
/proc/5416/task/5481/stat : 5481 (java) S 5413 5416 31233 0 -1 1077944384 597 13321 0 0 3 0 5 2 20 0 15 0 445145219 11079880704 11349 33554432000 4194304 4196468 140731656785392 139855818308208 139856396356226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
[pid=5416/tid=5482] ppid=5413 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/5416/task/5482/stat : 5482 (java) S 5413 5416 31233 0 -1 1077944384 3 13321 0 0 0 0 5 2 20 0 15 0 445145219 11079880704 11349 33554432000 4194304 4196468 140731656785392 139854671244000 139856396355285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
[pid=5416/tid=5483] ppid=5413 vsize=10820196 memory=140534244591232 CPUtime=0.07 cores=1,3,5,7
/proc/5416/task/5483/stat : 5483 (java) S 5413 5416 31233 0 -1 1077944384 1 13321 0 0 0 0 5 2 20 0 15 0 445145219 11079880704 11349 33554432000 4194304 4196468 140731656785392 139855817255600 139856396356226 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 45396 KiB
[startup+0.310272 s]*
/proc/loadavg: 1.67 1.71 1.60 3/228 5483
/proc/meminfo: memFree=28199476/32770624 swapFree=66967452/67108860
[pid=5416] ppid=5413 vsize=10820196 memory=54576 CPUtime=0.4 cores=1,3,5,7
/proc/5416/stat : 5416 (java) S 5413 5416 31233 0 -1 1077944320 10353 13321 0 0 29 4 5 2 20 0 15 0 445145204 11079880704 13644 33554432000 4194304 4196468 140731656785392 140731656767936 139856396345079 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
/proc/5416/statm: 2705049 13644 3311 1 0 2667149 0
[pid=5416/tid=5470] ppid=5413 vsize=10820196 memory=6935054825532540783 CPUtime=0.29 cores=1,3,5,7
/proc/5416/task/5470/stat : 5470 (java) R 5413 5416 31233 0 -1 4202560 6831 13321 0 0 19 3 5 2 20 0 15 0 445145213 11079880704 13644 33554432000 4194304 4196468 140731656785392 139856368160960 139856380425566 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
[pid=5416/tid=5471] ppid=5413 vsize=10820196 memory=4126316290023845779 CPUtime=0.07 cores=1,3,5,7
/proc/5416/task/5471/stat : 5471 (java) S 5413 5416 31233 0 -1 1077944384 1 13321 0 0 0 0 5 2 20 0 15 0 445145214 11079880704 13644 33554432000 4194304 4196468 140731656785392 139856400587920 139856396355285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
[pid=5416/tid=5472] ppid=5413 vsize=10820196 memory=-2843869603891365022 CPUtime=0.07 cores=1,3,5,7
/proc/5416/task/5472/stat : 5472 (java) S 5413 5416 31233 0 -1 1077944384 1 13321 0 0 0 0 5 2 20 0 15 0 445145214 11079880704 13644 33554432000 4194304 4196468 140731656785392 139856288861200 139856396355285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
[pid=5416/tid=5473] ppid=5413 vsize=10820196 memory=-8412656567334364540 CPUtime=0.07 cores=1,3,5,7
/proc/5416/task/5473/stat : 5473 (java) S 5413 5416 31233 0 -1 1077944384 1 13321 0 0 0 0 5 2 20 0 15 0 445145214 11079880704 13644 33554432000 4194304 4196468 140731656785392 139856287808400 139856396355285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
[pid=5416/tid=5474] ppid=5413 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/5416/task/5474/stat : 5474 (java) S 5413 5416 31233 0 -1 1077944384 2 13321 0 0 0 0 5 2 20 0 15 0 445145214 11079880704 13644 33554432000 4194304 4196468 140731656785392 139856286755600 139856396355285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
[pid=5416/tid=5475] ppid=5413 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5416/task/5475/stat : 5475 (java) S 5413 5416 31233 0 -1 1077944384 2 13321 0 0 0 0 5 2 20 0 15 0 445145215 11079880704 13644 33554432000 4194304 4196468 140731656785392 139855855024496 139856396356226 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
[pid=5416/tid=5476] ppid=5413 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5416/task/5476/stat : 5476 (java) S 5413 5416 31233 0 -1 1077944384 33 13321 0 0 0 0 5 2 20 0 15 0 445145216 11079880704 13644 33554432000 4194304 4196468 140731656785392 139855853970464 139856396355285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
[pid=5416/tid=5477] ppid=5413 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5416/task/5477/stat : 5477 (java) S 5413 5416 31233 0 -1 1077944384 1 13321 0 0 0 0 5 2 20 0 15 0 445145216 11079880704 13644 33554432000 4194304 4196468 140731656785392 139855409439600 139856396355285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
[pid=5416/tid=5478] ppid=5413 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5416/task/5478/stat : 5478 (java) S 5413 5416 31233 0 -1 1077944384 2 13321 0 0 0 0 5 2 20 0 15 0 445145219 11079880704 13644 33554432000 4194304 4196468 140731656785392 139855141005136 139856396363675 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
[pid=5416/tid=5479] ppid=5413 vsize=10820196 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/5416/task/5479/stat : 5479 (java) R 5413 5416 31233 0 -1 1077944384 480 13321 0 0 2 0 5 2 20 0 15 0 445145219 11079880704 13644 33554432000 4194304 4196468 140731656785392 139855820413808 139856396356226 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
[pid=5416/tid=5480] ppid=5413 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5416/task/5480/stat : 5480 (java) S 5413 5416 31233 0 -1 1077944384 183 13321 0 0 1 0 5 2 20 0 15 0 445145219 11079880704 13644 33554432000 4194304 4196468 140731656785392 139855819361008 139856396356226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
[pid=5416/tid=5481] ppid=5413 vsize=10820196 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/5416/task/5481/stat : 5481 (java) R 5413 5416 31233 0 -1 1077944384 605 13321 0 0 5 0 5 2 20 0 15 0 445145219 11079880704 13644 33554432000 4194304 4196468 140731656785392 139855818308208 139856396356226 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
[pid=5416/tid=5482] ppid=5413 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5416/task/5482/stat : 5482 (java) S 5413 5416 31233 0 -1 1077944384 3 13321 0 0 0 0 5 2 20 0 15 0 445145219 11079880704 13644 33554432000 4194304 4196468 140731656785392 139854671244000 139856396355285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
[pid=5416/tid=5483] ppid=5413 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5416/task/5483/stat : 5483 (java) S 5413 5416 31233 0 -1 1077944384 1 13321 0 0 0 0 5 2 20 0 15 0 445145219 11079880704 13644 33554432000 4194304 4196468 140731656785392 139855817255600 139856396356226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 54576 KiB
[startup+0.705428 s]
/proc/loadavg: 1.67 1.71 1.60 3/228 5483
/proc/meminfo: memFree=28186564/32770624 swapFree=66967452/67108860
[pid=5416] ppid=5413 vsize=10825388 memory=86988 CPUtime=1.16 cores=1,3,5,7
/proc/5416/stat : 5416 (java) S 5413 5416 31233 0 -1 1077944320 14401 13321 0 0 104 5 5 2 20 0 15 0 445145204 11085197312 21747 33554432000 4194304 4196468 140731656785392 140731656767936 139856396345079 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
/proc/5416/statm: 2706347 21747 3515 1 0 2668429 0
[pid=5416/tid=5470] ppid=5413 vsize=10824364 memory=2437997922049 CPUtime=0.67 cores=1,3,5,7
/proc/5416/task/5470/stat : 5470 (java) R 5413 5416 31233 0 -1 4202560 9829 13321 0 0 56 4 5 2 20 0 15 0 445145213 11084148736 21767 33554432000 4194304 4196468 140731656785392 139856368163008 139856389062183 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
[pid=5416/tid=5471] ppid=5413 vsize=10824364 memory=2450882823937 CPUtime=0.07 cores=1,3,5,7
/proc/5416/task/5471/stat : 5471 (java) S 5413 5416 31233 0 -1 1077944384 1 13321 0 0 0 0 5 2 20 0 15 0 445145214 11084148736 21767 33554432000 4194304 4196468 140731656785392 139856400587920 139856396355285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
[pid=5416/tid=5472] ppid=5413 vsize=10825388 memory=2472357660417 CPUtime=0.07 cores=1,3,5,7
/proc/5416/task/5472/stat : 5472 (java) S 5413 5416 31233 0 -1 1077944384 1 13321 0 0 0 0 5 2 20 0 15 0 445145214 11085197312 21767 33554432000 4194304 4196468 140731656785392 139856288861200 139856396355285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
[pid=5416/tid=5473] ppid=5413 vsize=10825388 memory=2476652627713 CPUtime=0.07 cores=1,3,5,7
/proc/5416/task/5473/stat : 5473 (java) S 5413 5416 31233 0 -1 1077944384 1 13321 0 0 0 0 5 2 20 0 15 0 445145214 11085197312 21767 33554432000 4194304 4196468 140731656785392 139856287808400 139856396355285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
[pid=5416/tid=5474] ppid=5413 vsize=10824364 memory=8730425 CPUtime=0.07 cores=1,3,5,7
/proc/5416/task/5474/stat : 5474 (java) S 5413 5416 31233 0 -1 1077944384 2 13321 0 0 0 0 5 2 20 0 15 0 445145214 11084148736 21767 33554432000 4194304 4196468 140731656785392 139856286755600 139856396355285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
[pid=5416/tid=5475] ppid=5413 vsize=10824364 memory=4639649383340284835 CPUtime=0.07 cores=1,3,5,7
/proc/5416/task/5475/stat : 5475 (java) S 5413 5416 31233 0 -1 1077944384 5 13321 0 0 0 0 5 2 20 0 15 0 445145215 11084148736 21767 33554432000 4194304 4196468 140731656785392 139855855024496 139856396356226 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
[pid=5416/tid=5476] ppid=5413 vsize=10825388 memory=6441370542062719057 CPUtime=0.07 cores=1,3,5,7
/proc/5416/task/5476/stat : 5476 (java) S 5413 5416 31233 0 -1 1077944384 33 13321 0 0 0 0 5 2 20 0 15 0 445145216 11085197312 21767 33554432000 4194304 4196468 140731656785392 139855853970464 139856396355285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
[pid=5416/tid=5477] ppid=5413 vsize=10825388 memory=7013340846366745708 CPUtime=0.07 cores=1,3,5,7
/proc/5416/task/5477/stat : 5477 (java) S 5413 5416 31233 0 -1 1077944384 1 13321 0 0 0 0 5 2 20 0 15 0 445145216 11085197312 21767 33554432000 4194304 4196468 140731656785392 139855409439600 139856396355285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
[pid=5416/tid=5478] ppid=5413 vsize=10824364 memory=281068163343936 CPUtime=0.07 cores=1,3,5,7
/proc/5416/task/5478/stat : 5478 (java) S 5413 5416 31233 0 -1 1077944384 2 13321 0 0 0 0 5 2 20 0 15 0 445145219 11084148736 21767 33554432000 4194304 4196468 140731656785392 139855141005136 139856396363675 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
[pid=5416/tid=5479] ppid=5413 vsize=10825388 memory=140535624893025 CPUtime=0.21 cores=1,3,5,7
/proc/5416/task/5479/stat : 5479 (java) R 5413 5416 31233 0 -1 4202560 873 13321 0 0 14 0 5 2 20 0 15 0 445145219 11085197312 21767 33554432000 4194304 4196468 140731656785392 139855820399904 139856380610494 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
[pid=5416/tid=5480] ppid=5413 vsize=10825388 memory=143000936120970 CPUtime=0.22 cores=1,3,5,7
/proc/5416/task/5480/stat : 5480 (java) R 5413 5416 31233 0 -1 4202560 630 13321 0 0 15 0 5 2 20 0 15 0 445145219 11085197312 21767 33554432000 4194304 4196468 140731656785392 139855819342576 139856381447443 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
[pid=5416/tid=5481] ppid=5413 vsize=10825388 memory=140535624893305 CPUtime=0.24 cores=1,3,5,7
/proc/5416/task/5481/stat : 5481 (java) S 5413 5416 31233 0 -1 1077944384 838 13321 0 0 17 0 5 2 20 0 15 0 445145219 11085197312 21767 33554432000 4194304 4196468 140731656785392 139855818308208 139856396356226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
[pid=5416/tid=5482] ppid=5413 vsize=10824364 memory=140535624893307 CPUtime=0.07 cores=1,3,5,7
/proc/5416/task/5482/stat : 5482 (java) S 5413 5416 31233 0 -1 1077944384 3 13321 0 0 0 0 5 2 20 0 15 0 445145219 11084148736 21767 33554432000 4194304 4196468 140731656785392 139854671244000 139856396355285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
[pid=5416/tid=5483] ppid=5413 vsize=10824364 memory=140535624893337 CPUtime=0.07 cores=1,3,5,7
/proc/5416/task/5483/stat : 5483 (java) S 5413 5416 31233 0 -1 1077944384 1 13321 0 0 0 0 5 2 20 0 15 0 445145219 11084148736 21767 33554432000 4194304 4196468 140731656785392 139855817255600 139856396356226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
Current children cumulated CPU time: 1.16 s
Current children cumulated vsize: 10825388 KiB
Current children cumulated memory: 86988 KiB
[startup+1.5032 s]
/proc/loadavg: 1.67 1.71 1.60 3/228 5483
/proc/meminfo: memFree=28142892/32770624 swapFree=66967452/67108860
[pid=5416] ppid=5413 vsize=10834680 memory=174592 CPUtime=2.49 cores=1,3,5,7
/proc/5416/stat : 5416 (java) S 5413 5416 31233 0 -1 1077944320 20945 13321 0 0 232 10 5 2 20 0 15 0 445145204 11094712320 43648 33554432000 4194304 4196468 140731656785392 140731656767936 139856396345079 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
/proc/5416/statm: 2708670 43648 3579 1 0 2670733 0
[pid=5416/tid=5470] ppid=5413 vsize=10834680 memory=0 CPUtime=1.43 cores=1,3,5,7
/proc/5416/task/5470/stat : 5470 (java) R 5413 5416 31233 0 -1 4202560 14602 13321 0 0 130 6 5 2 20 0 15 0 445145213 11094712320 43648 33554432000 4194304 4196468 140731656785392 139856368145648 139856396357014 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
[pid=5416/tid=5471] ppid=5413 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5416/task/5471/stat : 5471 (java) S 5413 5416 31233 0 -1 1077944384 66 13321 0 0 1 0 5 2 20 0 15 0 445145214 11094712320 43648 33554432000 4194304 4196468 140731656785392 139856400587920 139856396355285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
[pid=5416/tid=5472] ppid=5413 vsize=10834680 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5416/task/5472/stat : 5472 (java) S 5413 5416 31233 0 -1 1077944384 62 13321 0 0 0 0 5 2 20 0 15 0 445145214 11094712320 43648 33554432000 4194304 4196468 140731656785392 139856288861200 139856396355285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
[pid=5416/tid=5473] ppid=5413 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5416/task/5473/stat : 5473 (java) S 5413 5416 31233 0 -1 1077944384 334 13321 0 0 1 0 5 2 20 0 15 0 445145214 11094712320 43648 33554432000 4194304 4196468 140731656785392 139856287808400 139856396355285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
[pid=5416/tid=5474] ppid=5413 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5416/task/5474/stat : 5474 (java) S 5413 5416 31233 0 -1 1077944384 34 13321 0 0 1 0 5 2 20 0 15 0 445145214 11094712320 43648 33554432000 4194304 4196468 140731656785392 139856286755600 139856396355285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
[pid=5416/tid=5475] ppid=5413 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5416/task/5475/stat : 5475 (java) S 5413 5416 31233 0 -1 1077944384 129 13321 0 0 1 0 5 2 20 0 15 0 445145215 11094712320 43648 33554432000 4194304 4196468 140731656785392 139855855024496 139856396356226 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
[pid=5416/tid=5476] ppid=5413 vsize=10834680 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5416/task/5476/stat : 5476 (java) S 5413 5416 31233 0 -1 1077944384 34 13321 0 0 0 0 5 2 20 0 15 0 445145216 11094712320 43648 33554432000 4194304 4196468 140731656785392 139855853970464 139856396355285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
[pid=5416/tid=5477] ppid=5413 vsize=10834680 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5416/task/5477/stat : 5477 (java) S 5413 5416 31233 0 -1 1077944384 1 13321 0 0 0 0 5 2 20 0 15 0 445145216 11094712320 43648 33554432000 4194304 4196468 140731656785392 139855409439600 139856396355285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
[pid=5416/tid=5478] ppid=5413 vsize=10834680 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5416/task/5478/stat : 5478 (java) S 5413 5416 31233 0 -1 1077944384 2 13321 0 0 0 0 5 2 20 0 15 0 445145219 11094712320 43648 33554432000 4194304 4196468 140731656785392 139855141005136 139856396363675 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
[pid=5416/tid=5479] ppid=5413 vsize=10834680 memory=0 CPUtime=0.31 cores=1,3,5,7
/proc/5416/task/5479/stat : 5479 (java) R 5413 5416 31233 0 -1 4202560 963 13321 0 0 24 0 5 2 20 0 15 0 445145219 11094712320 43648 33554432000 4194304 4196468 140731656785392 139855820402800 139856374792379 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
[pid=5416/tid=5480] ppid=5413 vsize=10834680 memory=-7966001967407402336 CPUtime=0.34 cores=1,3,5,7
/proc/5416/task/5480/stat : 5480 (java) S 5413 5416 31233 0 -1 1077944384 846 13321 0 0 27 0 5 2 20 0 15 0 445145219 11094712320 43648 33554432000 4194304 4196468 140731656785392 139855819361008 139856396356226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
[pid=5416/tid=5481] ppid=5413 vsize=10834680 memory=6944938067432061290 CPUtime=0.5 cores=1,3,5,7
/proc/5416/task/5481/stat : 5481 (java) R 5413 5416 31233 0 -1 1077944384 1659 13321 0 0 43 0 5 2 20 0 15 0 445145219 11094712320 43648 33554432000 4194304 4196468 140731656785392 139855818308208 139856396356226 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
[pid=5416/tid=5482] ppid=5413 vsize=10834680 memory=7100839861529441392 CPUtime=0.07 cores=1,3,5,7
/proc/5416/task/5482/stat : 5482 (java) S 5413 5416 31233 0 -1 1077944384 3 13321 0 0 0 0 5 2 20 0 15 0 445145219 11094712320 43648 33554432000 4194304 4196468 140731656785392 139854671244000 139856396355285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
[pid=5416/tid=5483] ppid=5413 vsize=10834680 memory=4627829655977429107 CPUtime=0.07 cores=1,3,5,7
/proc/5416/task/5483/stat : 5483 (java) S 5413 5416 31233 0 -1 1077944384 1 13321 0 0 0 0 5 2 20 0 15 0 445145219 11094712320 43648 33554432000 4194304 4196468 140731656785392 139855817255600 139856396356226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
Current children cumulated CPU time: 2.49 s
Current children cumulated vsize: 10834680 KiB
Current children cumulated memory: 174592 KiB
[startup+3.11141 s]
/proc/loadavg: 1.67 1.71 1.60 3/228 5483
/proc/meminfo: memFree=28018456/32770624 swapFree=66967452/67108860
[pid=5416] ppid=5413 vsize=10844940 memory=264232 CPUtime=6.86 cores=1,3,5,7
/proc/5416/stat : 5416 (java) S 5413 5416 31233 0 -1 1077944320 34682 13321 0 0 662 17 5 2 20 0 15 0 445145204 11105218560 66058 33554432000 4194304 4196468 140731656785392 140731656767936 139856396345079 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
/proc/5416/statm: 2711235 66058 3607 1 0 2673293 0
[pid=5416/tid=5470] ppid=5413 vsize=10844940 memory=2072 CPUtime=2.99 cores=1,3,5,7
/proc/5416/task/5470/stat : 5470 (java) R 5413 5416 31233 0 -1 4202560 18587 13321 0 0 283 9 5 2 20 0 15 0 445145213 11105218560 66058 33554432000 4194304 4196468 140731656785392 139856368177504 139856378773217 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
[pid=5416/tid=5471] ppid=5413 vsize=10844940 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/5416/task/5471/stat : 5471 (java) S 5413 5416 31233 0 -1 1077944384 79 13321 0 0 3 0 5 2 20 0 15 0 445145214 11105218560 66058 33554432000 4194304 4196468 140731656785392 139856400587920 139856396355285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
[pid=5416/tid=5472] ppid=5413 vsize=10844940 memory=2004 CPUtime=0.1 cores=1,3,5,7
/proc/5416/task/5472/stat : 5472 (java) S 5413 5416 31233 0 -1 1077944384 68 13321 0 0 3 0 5 2 20 0 15 0 445145214 11105218560 66058 33554432000 4194304 4196468 140731656785392 139856288861200 139856396355285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
[pid=5416/tid=5473] ppid=5413 vsize=10844940 memory=1376 CPUtime=0.1 cores=1,3,5,7
/proc/5416/task/5473/stat : 5473 (java) S 5413 5416 31233 0 -1 1077944384 384 13321 0 0 3 0 5 2 20 0 15 0 445145214 11105218560 66058 33554432000 4194304 4196468 140731656785392 139856287808400 139856396355285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
[pid=5416/tid=5474] ppid=5413 vsize=10844940 memory=1060 CPUtime=0.1 cores=1,3,5,7
/proc/5416/task/5474/stat : 5474 (java) S 5413 5416 31233 0 -1 1077944384 46 13321 0 0 3 0 5 2 20 0 15 0 445145214 11105218560 66058 33554432000 4194304 4196468 140731656785392 139856286755600 139856396355285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
[pid=5416/tid=5475] ppid=5413 vsize=10844940 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/5416/task/5475/stat : 5475 (java) S 5413 5416 31233 0 -1 1077944384 1798 13321 0 0 3 0 5 2 20 0 15 0 445145215 11105218560 66058 33554432000 4194304 4196468 140731656785392 139855855024496 139856396356226 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
[pid=5416/tid=5476] ppid=5413 vsize=10844940 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5416/task/5476/stat : 5476 (java) S 5413 5416 31233 0 -1 1077944384 34 13321 0 0 0 0 5 2 20 0 15 0 445145216 11105218560 66058 33554432000 4194304 4196468 140731656785392 139855853970528 139856396355285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
[pid=5416/tid=5477] ppid=5413 vsize=10844940 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5416/task/5477/stat : 5477 (java) S 5413 5416 31233 0 -1 1077944384 1 13321 0 0 0 0 5 2 20 0 15 0 445145216 11105218560 66058 33554432000 4194304 4196468 140731656785392 139855409439616 139856396355285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
[pid=5416/tid=5478] ppid=5413 vsize=10844940 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5416/task/5478/stat : 5478 (java) S 5413 5416 31233 0 -1 1077944384 2 13321 0 0 0 0 5 2 20 0 15 0 445145219 11105218560 66058 33554432000 4194304 4196468 140731656785392 139855141005136 139856396363675 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
[pid=5416/tid=5479] ppid=5413 vsize=10844940 memory=0 CPUtime=1.33 cores=1,3,5,7
/proc/5416/task/5479/stat : 5479 (java) S 5413 5416 31233 0 -1 1077944384 3982 13321 0 0 125 1 5 2 20 0 15 0 445145219 11105218560 66058 33554432000 4194304 4196468 140731656785392 139855820413808 139856396356226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
[pid=5416/tid=5480] ppid=5413 vsize=10844940 memory=0 CPUtime=1.16 cores=1,3,5,7
/proc/5416/task/5480/stat : 5480 (java) S 5413 5416 31233 0 -1 1077944384 2339 13321 0 0 109 0 5 2 20 0 15 0 445145219 11105218560 66058 33554432000 4194304 4196468 140731656785392 139855819361008 139856396356226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
[pid=5416/tid=5481] ppid=5413 vsize=10844940 memory=9218 CPUtime=1.34 cores=1,3,5,7
/proc/5416/task/5481/stat : 5481 (java) S 5413 5416 31233 0 -1 1077944384 5149 13321 0 0 125 2 5 2 20 0 15 0 445145219 11105218560 66058 33554432000 4194304 4196468 140731656785392 139855818308208 139856396356226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
[pid=5416/tid=5482] ppid=5413 vsize=10844940 memory=13563 CPUtime=0.07 cores=1,3,5,7
/proc/5416/task/5482/stat : 5482 (java) S 5413 5416 31233 0 -1 1077944384 3 13321 0 0 0 0 5 2 20 0 15 0 445145219 11105218560 66058 33554432000 4194304 4196468 140731656785392 139854671244000 139856396355285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
[pid=5416/tid=5483] ppid=5413 vsize=10844940 memory=177704 CPUtime=0.07 cores=1,3,5,7
/proc/5416/task/5483/stat : 5483 (java) S 5413 5416 31233 0 -1 1077944384 1 13321 0 0 0 0 5 2 20 0 15 0 445145219 11105218560 66058 33554432000 4194304 4196468 140731656785392 139855817255600 139856396356226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
Current children cumulated CPU time: 6.86 s
Current children cumulated vsize: 10844940 KiB
Current children cumulated memory: 264232 KiB
[startup+4.04236 s]
# the end of solver process 5416 was just reported to runsolver
# cumulated CPU time of all completed processes: user=9.56799 s, system=0.234839 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.2035 s]
/proc/loadavg: 1.67 1.71 1.60 3/228 5483
/proc/meminfo: memFree=28018456/32770624 swapFree=66967452/67108860
[pid=5416] ppid=5413 vsize=10844940 memory=266056 CPUtime=7.15 cores=1,3,5,7
/proc/5416/stat : 5416 (java) S 5413 5416 31233 0 -1 1077944320 37067 13321 0 0 691 17 5 2 20 0 15 0 445145204 11105218560 66514 33554432000 4194304 4196468 140731656785392 140731656767936 139856396345079 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
/proc/5416/statm: 2711235 66514 3611 1 0 2673293 0
[pid=5416/tid=5470] ppid=5413 vsize=10844940 memory=6943526294502006880 CPUtime=3.08 cores=1,3,5,7
/proc/5416/task/5470/stat : 5470 (java) R 5413 5416 31233 0 -1 4202560 20243 13321 0 0 292 9 5 2 20 0 15 0 445145213 11105218560 66514 33554432000 4194304 4196468 140731656785392 139856368177872 139856374347584 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
[pid=5416/tid=5471] ppid=5413 vsize=10844940 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/5416/task/5471/stat : 5471 (java) S 5413 5416 31233 0 -1 1077944384 79 13321 0 0 3 0 5 2 20 0 15 0 445145214 11105218560 66514 33554432000 4194304 4196468 140731656785392 139856400587920 139856396355285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
[pid=5416/tid=5472] ppid=5413 vsize=10844940 memory=7510105761392846436 CPUtime=0.1 cores=1,3,5,7
/proc/5416/task/5472/stat : 5472 (java) S 5413 5416 31233 0 -1 1077944384 68 13321 0 0 3 0 5 2 20 0 15 0 445145214 11105218560 66514 33554432000 4194304 4196468 140731656785392 139856288861200 139856396355285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
[pid=5416/tid=5473] ppid=5413 vsize=10844940 memory=6156251797190699879 CPUtime=0.1 cores=1,3,5,7
/proc/5416/task/5473/stat : 5473 (java) S 5413 5416 31233 0 -1 1077944384 384 13321 0 0 3 0 5 2 20 0 15 0 445145214 11105218560 66514 33554432000 4194304 4196468 140731656785392 139856287808400 139856396355285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
[pid=5416/tid=5474] ppid=5413 vsize=10844940 memory=6156251797190699879 CPUtime=0.1 cores=1,3,5,7
/proc/5416/task/5474/stat : 5474 (java) S 5413 5416 31233 0 -1 1077944384 46 13321 0 0 3 0 5 2 20 0 15 0 445145214 11105218560 66514 33554432000 4194304 4196468 140731656785392 139856286755600 139856396355285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
[pid=5416/tid=5475] ppid=5413 vsize=10844940 memory=8027213815507281717 CPUtime=0.1 cores=1,3,5,7
/proc/5416/task/5475/stat : 5475 (java) S 5413 5416 31233 0 -1 1077944384 1798 13321 0 0 3 0 5 2 20 0 15 0 445145215 11105218560 66514 33554432000 4194304 4196468 140731656785392 139855855024496 139856396356226 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
[pid=5416/tid=5476] ppid=5413 vsize=10844940 memory=4051341247572305508 CPUtime=0.07 cores=1,3,5,7
/proc/5416/task/5476/stat : 5476 (java) S 5413 5416 31233 0 -1 1077944384 34 13321 0 0 0 0 5 2 20 0 15 0 445145216 11105218560 66514 33554432000 4194304 4196468 140731656785392 139855853970528 139856396355285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
[pid=5416/tid=5477] ppid=5413 vsize=10844940 memory=4068 CPUtime=0.07 cores=1,3,5,7
/proc/5416/task/5477/stat : 5477 (java) S 5413 5416 31233 0 -1 1077944384 1 13321 0 0 0 0 5 2 20 0 15 0 445145216 11105218560 66514 33554432000 4194304 4196468 140731656785392 139855409439616 139856396355285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
[pid=5416/tid=5478] ppid=5413 vsize=10844940 memory=1720 CPUtime=0.07 cores=1,3,5,7
/proc/5416/task/5478/stat : 5478 (java) S 5413 5416 31233 0 -1 1077944384 2 13321 0 0 0 0 5 2 20 0 15 0 445145219 11105218560 66514 33554432000 4194304 4196468 140731656785392 139855141005136 139856396363675 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
[pid=5416/tid=5479] ppid=5413 vsize=10844940 memory=5948 CPUtime=1.41 cores=1,3,5,7
/proc/5416/task/5479/stat : 5479 (java) S 5413 5416 31233 0 -1 1077944384 4099 13321 0 0 133 1 5 2 20 0 15 0 445145219 11105218560 66514 33554432000 4194304 4196468 140731656785392 139855820413808 139856396356226 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
[pid=5416/tid=5480] ppid=5413 vsize=10844940 memory=10564 CPUtime=1.24 cores=1,3,5,7
/proc/5416/task/5480/stat : 5480 (java) S 5413 5416 31233 0 -1 1077944384 2482 13321 0 0 117 0 5 2 20 0 15 0 445145219 11105218560 66514 33554432000 4194304 4196468 140731656785392 139855819361008 139856396356226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
[pid=5416/tid=5481] ppid=5413 vsize=10844940 memory=716 CPUtime=1.39 cores=1,3,5,7
/proc/5416/task/5481/stat : 5481 (java) R 5413 5416 31233 0 -1 4202560 5626 13321 0 0 130 2 5 2 20 0 15 0 445145219 11105218560 66514 33554432000 4194304 4196468 140731656785392 139855818303936 139856382040945 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
[pid=5416/tid=5482] ppid=5413 vsize=10844940 memory=780 CPUtime=0.07 cores=1,3,5,7
/proc/5416/task/5482/stat : 5482 (java) S 5413 5416 31233 0 -1 1077944384 3 13321 0 0 0 0 5 2 20 0 15 0 445145219 11105218560 66514 33554432000 4194304 4196468 140731656785392 139854671244000 139856396355285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
[pid=5416/tid=5483] ppid=5413 vsize=10844940 memory=1552 CPUtime=0.07 cores=1,3,5,7
/proc/5416/task/5483/stat : 5483 (java) S 5413 5416 31233 0 -1 1077944384 1 13321 0 0 0 0 5 2 20 0 15 0 445145219 11105218560 66514 33554432000 4194304 4196468 140731656785392 139855817255600 139856396356226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
Current children cumulated CPU time: 7.15 s
Current children cumulated vsize: 10844940 KiB
Current children cumulated memory: 266056 KiB
[startup+3.60087 s]
/proc/loadavg: 1.67 1.71 1.60 3/228 5483
/proc/meminfo: memFree=28018456/32770624 swapFree=66967452/67108860
[pid=5416] ppid=5413 vsize=10846988 memory=282488 CPUtime=8.49 cores=1,3,5,7
/proc/5416/stat : 5416 (java) S 5413 5416 31233 0 -1 1077944320 45667 13321 0 0 824 18 5 2 20 0 15 0 445145204 11107315712 70622 33554432000 4194304 4196468 140731656785392 140731656767936 139856396345079 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
/proc/5416/statm: 2711747 70622 3612 1 0 2673805 0
[pid=5416/tid=5470] ppid=5413 vsize=10846988 memory=46988 CPUtime=3.47 cores=1,3,5,7
/proc/5416/task/5470/stat : 5470 (java) R 5413 5416 31233 0 -1 4202560 23213 13321 0 0 331 9 5 2 20 0 15 0 445145213 11107315712 70622 33554432000 4194304 4196468 140731656785392 139856368177360 139855976646748 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
[pid=5416/tid=5471] ppid=5413 vsize=10846988 memory=984 CPUtime=0.1 cores=1,3,5,7
/proc/5416/task/5471/stat : 5471 (java) S 5413 5416 31233 0 -1 1077944384 79 13321 0 0 3 0 5 2 20 0 15 0 445145214 11107315712 70622 33554432000 4194304 4196468 140731656785392 139856400587920 139856396355285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
[pid=5416/tid=5472] ppid=5413 vsize=10846988 memory=2004 CPUtime=0.1 cores=1,3,5,7
/proc/5416/task/5472/stat : 5472 (java) S 5413 5416 31233 0 -1 1077944384 68 13321 0 0 3 0 5 2 20 0 15 0 445145214 11107315712 70622 33554432000 4194304 4196468 140731656785392 139856288861200 139856396355285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
[pid=5416/tid=5473] ppid=5413 vsize=10846988 memory=1376 CPUtime=0.1 cores=1,3,5,7
/proc/5416/task/5473/stat : 5473 (java) S 5413 5416 31233 0 -1 1077944384 384 13321 0 0 3 0 5 2 20 0 15 0 445145214 11107315712 70622 33554432000 4194304 4196468 140731656785392 139856287808400 139856396355285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
[pid=5416/tid=5474] ppid=5413 vsize=10846988 memory=2241 CPUtime=0.1 cores=1,3,5,7
/proc/5416/task/5474/stat : 5474 (java) S 5413 5416 31233 0 -1 1077944384 46 13321 0 0 3 0 5 2 20 0 15 0 445145214 11107315712 70622 33554432000 4194304 4196468 140731656785392 139856286755600 139856396355285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
[pid=5416/tid=5475] ppid=5413 vsize=10846988 memory=2244 CPUtime=0.1 cores=1,3,5,7
/proc/5416/task/5475/stat : 5475 (java) S 5413 5416 31233 0 -1 1077944384 2680 13321 0 0 3 0 5 2 20 0 15 0 445145215 11107315712 70622 33554432000 4194304 4196468 140731656785392 139855855024496 139856396356226 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
[pid=5416/tid=5476] ppid=5413 vsize=10846988 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5416/task/5476/stat : 5476 (java) S 5413 5416 31233 0 -1 1077944384 34 13321 0 0 0 0 5 2 20 0 15 0 445145216 11107315712 70622 33554432000 4194304 4196468 140731656785392 139855853970528 139856396355285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
[pid=5416/tid=5477] ppid=5413 vsize=10846988 memory=6656426216303648864 CPUtime=0.07 cores=1,3,5,7
/proc/5416/task/5477/stat : 5477 (java) S 5413 5416 31233 0 -1 1077944384 1 13321 0 0 0 0 5 2 20 0 15 0 445145216 11107315712 70622 33554432000 4194304 4196468 140731656785392 139855409439616 139856396355285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
[pid=5416/tid=5478] ppid=5413 vsize=10846988 memory=6656426216303648864 CPUtime=0.07 cores=1,3,5,7
/proc/5416/task/5478/stat : 5478 (java) S 5413 5416 31233 0 -1 1077944384 2 13321 0 0 0 0 5 2 20 0 15 0 445145219 11107315712 70622 33554432000 4194304 4196468 140731656785392 139855141005136 139856396363675 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
[pid=5416/tid=5479] ppid=5413 vsize=10846988 memory=0 CPUtime=1.77 cores=1,3,5,7
/proc/5416/task/5479/stat : 5479 (java) R 5413 5416 31233 0 -1 4202560 4645 13321 0 0 169 1 5 2 20 0 15 0 445145219 11107315712 70622 33554432000 4194304 4196468 140731656785392 139855820401488 139856377867715 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
[pid=5416/tid=5480] ppid=5413 vsize=10846988 memory=212508 CPUtime=1.63 cores=1,3,5,7
/proc/5416/task/5480/stat : 5480 (java) R 5413 5416 31233 0 -1 4202560 5737 13321 0 0 155 1 5 2 20 0 15 0 445145219 11107315712 70622 33554432000 4194304 4196468 140731656785392 139855819345416 139856381452786 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
[pid=5416/tid=5481] ppid=5413 vsize=10846988 memory=179680 CPUtime=1.58 cores=1,3,5,7
/proc/5416/task/5481/stat : 5481 (java) S 5413 5416 31233 0 -1 1077944384 6561 13321 0 0 149 2 5 2 20 0 15 0 445145219 11107315712 70622 33554432000 4194304 4196468 140731656785392 139855818308208 139856396356226 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
[pid=5416/tid=5482] ppid=5413 vsize=10846988 memory=281068163153920 CPUtime=0.07 cores=1,3,5,7
/proc/5416/task/5482/stat : 5482 (java) S 5413 5416 31233 0 -1 1077944384 3 13321 0 0 0 0 5 2 20 0 15 0 445145219 11107315712 70622 33554432000 4194304 4196468 140731656785392 139854671244000 139856396355285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
[pid=5416/tid=5483] ppid=5413 vsize=10846988 memory=281068163165136 CPUtime=0.07 cores=1,3,5,7
/proc/5416/task/5483/stat : 5483 (java) S 5413 5416 31233 0 -1 1077944384 5 13321 0 0 0 0 5 2 20 0 15 0 445145219 11107315712 70622 33554432000 4194304 4196468 140731656785392 139855817255600 139856396356226 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
Current children cumulated CPU time: 8.49 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 282488 KiB
[startup+4.00071 s]*
/proc/loadavg: 1.70 1.72 1.60 3/227 5484
/proc/meminfo: memFree=27941960/32770624 swapFree=66967452/67108860
[pid=5416] ppid=5413 vsize=10945296 memory=321764 CPUtime=9.74 cores=1,3,5,7
/proc/5416/stat : 5416 (java) S 5413 5416 31233 0 -1 1077944320 49794 13321 0 0 948 19 5 2 20 0 14 0 445145204 11207983104 80441 33554432000 4194304 4196468 140731656785392 140731656767936 139856396345079 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
/proc/5416/statm: 2736324 80441 3616 1 0 2698382 0
[pid=5416/tid=5470] ppid=5413 vsize=10945296 memory=140534081767976 CPUtime=3.86 cores=1,3,5,7
/proc/5416/task/5470/stat : 5470 (java) S 5413 5416 31233 0 -1 1077944384 23404 13321 0 0 369 10 5 2 20 0 14 0 445145213 11207983104 80441 33554432000 4194304 4196468 140731656785392 139856368188560 139856396355285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
[pid=5416/tid=5471] ppid=5413 vsize=10945296 memory=281068163529424 CPUtime=0.1 cores=1,3,5,7
/proc/5416/task/5471/stat : 5471 (java) S 5413 5416 31233 0 -1 1077944384 79 13321 0 0 3 0 5 2 20 0 14 0 445145214 11207983104 80441 33554432000 4194304 4196468 140731656785392 139856400587920 139856396355285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
[pid=5416/tid=5472] ppid=5413 vsize=10945296 memory=7088736608826254437 CPUtime=0.1 cores=1,3,5,7
/proc/5416/task/5472/stat : 5472 (java) S 5413 5416 31233 0 -1 1077944384 68 13321 0 0 3 0 5 2 20 0 14 0 445145214 11207983104 80441 33554432000 4194304 4196468 140731656785392 139856288861200 139856396355285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
[pid=5416/tid=5473] ppid=5413 vsize=10945296 memory=4126316290023845779 CPUtime=0.1 cores=1,3,5,7
/proc/5416/task/5473/stat : 5473 (java) S 5413 5416 31233 0 -1 1077944384 384 13321 0 0 3 0 5 2 20 0 14 0 445145214 11207983104 80441 33554432000 4194304 4196468 140731656785392 139856287808400 139856396355285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
[pid=5416/tid=5474] ppid=5413 vsize=10945296 memory=2120 CPUtime=0.1 cores=1,3,5,7
/proc/5416/task/5474/stat : 5474 (java) S 5413 5416 31233 0 -1 1077944384 46 13321 0 0 3 0 5 2 20 0 14 0 445145214 11207983104 80441 33554432000 4194304 4196468 140731656785392 139856286755600 139856396355285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
[pid=5416/tid=5475] ppid=5413 vsize=10945296 memory=500 CPUtime=0.1 cores=1,3,5,7
/proc/5416/task/5475/stat : 5475 (java) S 5413 5416 31233 0 -1 1077944384 2680 13321 0 0 3 0 5 2 20 0 14 0 445145215 11207983104 80441 33554432000 4194304 4196468 140731656785392 139855855024704 139856396356226 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
[pid=5416/tid=5476] ppid=5413 vsize=10945296 memory=1556 CPUtime=0.07 cores=1,3,5,7
/proc/5416/task/5476/stat : 5476 (java) S 5413 5416 31233 0 -1 1077944384 34 13321 0 0 0 0 5 2 20 0 14 0 445145216 11207983104 80441 33554432000 4194304 4196468 140731656785392 139855853970528 139856396355285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
[pid=5416/tid=5477] ppid=5413 vsize=10945296 memory=928 CPUtime=0.07 cores=1,3,5,7
/proc/5416/task/5477/stat : 5477 (java) S 5413 5416 31233 0 -1 1077944384 1 13321 0 0 0 0 5 2 20 0 14 0 445145216 11207983104 80441 33554432000 4194304 4196468 140731656785392 139855409439616 139856396355285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
[pid=5416/tid=5478] ppid=5413 vsize=10945296 memory=1520 CPUtime=0.07 cores=1,3,5,7
/proc/5416/task/5478/stat : 5478 (java) S 5413 5416 31233 0 -1 1077944384 4 13321 0 0 0 0 5 2 20 0 14 0 445145219 11207983104 80441 33554432000 4194304 4196468 140731656785392 139855141004848 139856396355285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
[pid=5416/tid=5479] ppid=5413 vsize=10945296 memory=1980 CPUtime=2.16 cores=1,3,5,7
/proc/5416/task/5479/stat : 5479 (java) S 5413 5416 31233 0 -1 1077944384 5340 13321 0 0 208 1 5 2 20 0 14 0 445145219 11207983104 80441 33554432000 4194304 4196468 140731656785392 139855820394208 139856396355285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
[pid=5416/tid=5480] ppid=5413 vsize=10945296 memory=2572 CPUtime=2.04 cores=1,3,5,7
/proc/5416/task/5480/stat : 5480 (java) R 5413 5416 31233 0 -1 4202560 8331 13321 0 0 196 1 5 2 20 0 14 0 445145219 11207983104 80441 33554432000 4194304 4196468 140731656785392 139855819347032 139856381225312 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
[pid=5416/tid=5481] ppid=5413 vsize=10945296 memory=900 CPUtime=1.65 cores=1,3,5,7
/proc/5416/task/5481/stat : 5481 (java) S 5413 5416 31233 0 -1 1077944384 7188 13321 0 0 156 2 5 2 20 0 14 0 445145219 11207983104 80441 33554432000 4194304 4196468 140731656785392 139855818308208 139856396356226 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
[pid=5416/tid=5482] ppid=5413 vsize=10945296 memory=1432 CPUtime=0.07 cores=1,3,5,7
/proc/5416/task/5482/stat : 5482 (java) S 5413 5416 31233 0 -1 1077944384 3 13321 0 0 0 0 5 2 20 0 14 0 445145219 11207983104 80441 33554432000 4194304 4196468 140731656785392 139854671244000 139856396355285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11808768 140731656792815 140731656795333 140731656795333 140731656798159 0
Current children cumulated CPU time: 9.74 s
Current children cumulated vsize: 10945296 KiB
Current children cumulated memory: 321764 KiB
Child status: 0
Real time (s): 4.0424
CPU time (s): 9.80283
CPU user time (s): 9.56799
CPU system time (s): 0.234839
CPU usage (%): 242.5
Max. virtual memory (cumulated for all children) (KiB): 10945296
Max. memory (cumulated for all children) (KiB): 321764
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.56799
system time used= 0.234839
maximum resident set size= 323760
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63180
page faults= 0
swaps= 0
block input operations= 0
block output operations= 144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6417
involuntary context switches= 45
# summary of solver processes directly reported to runsolver:
# pid: 5416
# total CPU time (s): 9.80283
# total CPU user time (s): 9.56799
# total CPU system time (s): 0.234839
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.03705 second user time and 0.094214 second system time
The end