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 (9300 MiB free)
memory of node 1: 16384 MiB (12096 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294337-1532453440/watcher-4294337-1532453440 -o /tmp/evaluation-result-4294337-1532453440/solver-4294337-1532453440 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532448512-24797 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=145424222 -superng HOME/instance-4294337-1532453440.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=26222, runsolver pid=26219
[startup+0.100058 s]*
/proc/loadavg: 1.20 1.44 1.45 3/207 26279
/proc/meminfo: memFree=21901768/32770624 swapFree=67108860/67108860
[pid=26222] ppid=26219 vsize=9972712 memory=17340 CPUtime=0.08 cores=1,3,5,7
/proc/26222/stat : 26222 (java) S 26219 26222 24765 0 -1 1077944320 4447 13128 0 0 1 0 4 3 20 0 6 0 62907191 10212057088 4269 33554432000 4194304 4196468 140728541260816 140728541243360 139938450001655 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
/proc/26222/statm: 2493178 4269 1934 1 0 2481616 0
[pid=26222/tid=26275] ppid=26219 vsize=9972712 memory=4279135703913103502 CPUtime=0.08 cores=1,3,5,7
/proc/26222/task/26275/stat : 26275 (java) R 26219 26222 24765 0 -1 4202560 2267 13128 0 0 1 0 4 3 20 0 6 0 62907200 10212057088 4335 33554432000 4194304 4196468 140728541260816 139938421838416 139938435133937 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
[pid=26222/tid=26276] ppid=26219 vsize=9972712 memory=8257237230052613020 CPUtime=0.07 cores=1,3,5,7
/proc/26222/task/26276/stat : 26276 (java) S 26219 26222 24765 0 -1 1077944384 1 13128 0 0 0 0 4 3 20 0 6 0 62907201 10212057088 4335 33554432000 4194304 4196468 140728541260816 139938454243728 139938450011861 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
[pid=26222/tid=26277] ppid=26219 vsize=9972712 memory=140622193477248 CPUtime=0.07 cores=1,3,5,7
/proc/26222/task/26277/stat : 26277 (java) S 26219 26222 24765 0 -1 1077944384 1 13128 0 0 0 0 4 3 20 0 6 0 62907201 10212057088 4335 33554432000 4194304 4196468 140728541260816 139938358446352 139938450011861 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
[pid=26222/tid=26278] ppid=26219 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26222/task/26278/stat : 26278 (java) S 26219 26222 24765 0 -1 1077944384 1 13128 0 0 0 0 4 3 20 0 6 0 62907201 10212057088 4335 33554432000 4194304 4196468 140728541260816 139938357394064 139938450011861 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
[pid=26222/tid=26279] ppid=26219 vsize=9972712 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/26222/task/26279/stat : 26279 (java) S 26219 26222 24765 0 -1 1077944384 2 13128 0 0 0 0 4 3 20 0 6 0 62907201 10212057088 4335 33554432000 4194304 4196468 140728541260816 139938021300752 139938450011861 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17340 KiB
[startup+0.209846 s]*
/proc/loadavg: 1.20 1.44 1.45 4/216 26288
/proc/meminfo: memFree=21875268/32770624 swapFree=67108860/67108860
[pid=26222] ppid=26219 vsize=10818856 memory=47532 CPUtime=0.25 cores=1,3,5,7
/proc/26222/stat : 26222 (java) S 26219 26222 24765 0 -1 1077944320 8722 13128 0 0 16 2 4 3 20 0 15 0 62907191 11078508544 11883 33554432000 4194304 4196468 140728541260816 140728541243360 139938450001655 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
/proc/26222/statm: 2704714 11883 2958 1 0 2667149 0
[pid=26222/tid=26275] ppid=26219 vsize=10818856 memory=-6517102902069810590 CPUtime=0.18 cores=1,3,5,7
/proc/26222/task/26275/stat : 26275 (java) R 26219 26222 24765 0 -1 4202560 5404 13128 0 0 10 1 4 3 20 0 15 0 62907200 11078508544 11883 33554432000 4194304 4196468 140728541260816 139938421799312 139938430278480 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
[pid=26222/tid=26276] ppid=26219 vsize=10818856 memory=-7025452035940392864 CPUtime=0.07 cores=1,3,5,7
/proc/26222/task/26276/stat : 26276 (java) S 26219 26222 24765 0 -1 1077944384 1 13128 0 0 0 0 4 3 20 0 15 0 62907201 11078508544 11883 33554432000 4194304 4196468 140728541260816 139938454243728 139938450011861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
[pid=26222/tid=26277] ppid=26219 vsize=10818856 memory=140622193477248 CPUtime=0.07 cores=1,3,5,7
/proc/26222/task/26277/stat : 26277 (java) S 26219 26222 24765 0 -1 1077944384 1 13128 0 0 0 0 4 3 20 0 15 0 62907201 11078508544 11883 33554432000 4194304 4196468 140728541260816 139938358446352 139938450011861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
[pid=26222/tid=26278] ppid=26219 vsize=10818856 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26222/task/26278/stat : 26278 (java) S 26219 26222 24765 0 -1 1077944384 1 13128 0 0 0 0 4 3 20 0 15 0 62907201 11078508544 11883 33554432000 4194304 4196468 140728541260816 139938357394064 139938450011861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
[pid=26222/tid=26279] ppid=26219 vsize=10818856 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/26222/task/26279/stat : 26279 (java) S 26219 26222 24765 0 -1 1077944384 2 13128 0 0 0 0 4 3 20 0 15 0 62907201 11078508544 11949 33554432000 4194304 4196468 140728541260816 139938021300752 139938450011861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
[pid=26222/tid=26280] ppid=26219 vsize=10818856 memory=140622193477248 CPUtime=0.07 cores=1,3,5,7
/proc/26222/task/26280/stat : 26280 (java) S 26219 26222 24765 0 -1 1077944384 2 13128 0 0 0 0 4 3 20 0 15 0 62907202 11078508544 11949 33554432000 4194304 4196468 140728541260816 139937976674928 139938450012802 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
[pid=26222/tid=26281] ppid=26219 vsize=10818856 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/26222/task/26281/stat : 26281 (java) S 26219 26222 24765 0 -1 1077944384 13 13128 0 0 0 0 4 3 20 0 15 0 62907203 11078508544 11949 33554432000 4194304 4196468 140728541260816 139937886233888 139938450011861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
[pid=26222/tid=26282] ppid=26219 vsize=10818856 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26222/task/26282/stat : 26282 (java) S 26219 26222 24765 0 -1 1077944384 1 13128 0 0 0 0 4 3 20 0 15 0 62907203 11078508544 11949 33554432000 4194304 4196468 140728541260816 139937752016496 139938450011861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
[pid=26222/tid=26283] ppid=26219 vsize=10818856 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26222/task/26283/stat : 26283 (java) S 26219 26222 24765 0 -1 1077944384 2 13128 0 0 0 0 4 3 20 0 15 0 62907206 11078508544 11949 33554432000 4194304 4196468 140728541260816 139937148037712 139938450020251 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
[pid=26222/tid=26284] ppid=26219 vsize=10818856 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26222/task/26284/stat : 26284 (java) S 26219 26222 24765 0 -1 1077944384 497 13128 0 0 1 0 4 3 20 0 15 0 62907206 11078508544 11949 33554432000 4194304 4196468 140728541260816 139937975621744 139938450012802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
[pid=26222/tid=26285] ppid=26219 vsize=10818856 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/26222/task/26285/stat : 26285 (java) S 26219 26222 24765 0 -1 1077944384 89 13128 0 0 1 0 4 3 20 0 15 0 62907206 11078508544 11949 33554432000 4194304 4196468 140728541260816 139937974568944 139938450012802 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
[pid=26222/tid=26286] ppid=26219 vsize=10818856 memory=140622193477248 CPUtime=0.1 cores=1,3,5,7
/proc/26222/task/26286/stat : 26286 (java) S 26219 26222 24765 0 -1 1077944384 552 13128 0 0 3 0 4 3 20 0 15 0 62907206 11078508544 11949 33554432000 4194304 4196468 140728541260816 139937973516656 139938450012802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
[pid=26222/tid=26287] ppid=26219 vsize=10818856 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/26222/task/26287/stat : 26287 (java) S 26219 26222 24765 0 -1 1077944384 3 13128 0 0 0 0 4 3 20 0 15 0 62907206 11078508544 11949 33554432000 4194304 4196468 140728541260816 139936678275552 139938450011861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
[pid=26222/tid=26288] ppid=26219 vsize=10818856 memory=140622193477248 CPUtime=0.07 cores=1,3,5,7
/proc/26222/task/26288/stat : 26288 (java) S 26219 26222 24765 0 -1 1077944384 1 13128 0 0 0 0 4 3 20 0 15 0 62907206 11078508544 11949 33554432000 4194304 4196468 140728541260816 139937972464560 139938450012802 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818856 KiB
Current children cumulated memory: 47532 KiB
[startup+0.310293 s]*
/proc/loadavg: 1.20 1.44 1.45 3/216 26288
/proc/meminfo: memFree=21864352/32770624 swapFree=67108860/67108860
[pid=26222] ppid=26219 vsize=10819352 memory=58336 CPUtime=0.38 cores=1,3,5,7
/proc/26222/stat : 26222 (java) S 26219 26222 24765 0 -1 1077944320 10632 13128 0 0 28 3 4 3 20 0 15 0 62907191 11079016448 14584 33554432000 4194304 4196468 140728541260816 140728541243360 139938450001655 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
/proc/26222/statm: 2704838 14584 3089 1 0 2667149 0
[pid=26222/tid=26275] ppid=26219 vsize=10819352 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/26222/task/26275/stat : 26275 (java) R 26219 26222 24765 0 -1 4202560 7272 13128 0 0 19 2 4 3 20 0 15 0 62907200 11079016448 14584 33554432000 4194304 4196468 140728541260816 139938421813664 139938433204512 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
[pid=26222/tid=26276] ppid=26219 vsize=10819352 memory=7373043845850746960 CPUtime=0.07 cores=1,3,5,7
/proc/26222/task/26276/stat : 26276 (java) S 26219 26222 24765 0 -1 1077944384 1 13128 0 0 0 0 4 3 20 0 15 0 62907201 11079016448 14584 33554432000 4194304 4196468 140728541260816 139938454243728 139938450011861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
[pid=26222/tid=26277] ppid=26219 vsize=10819352 memory=2076 CPUtime=0.07 cores=1,3,5,7
/proc/26222/task/26277/stat : 26277 (java) S 26219 26222 24765 0 -1 1077944384 1 13128 0 0 0 0 4 3 20 0 15 0 62907201 11079016448 14584 33554432000 4194304 4196468 140728541260816 139938358446352 139938450011861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
[pid=26222/tid=26278] ppid=26219 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26222/task/26278/stat : 26278 (java) S 26219 26222 24765 0 -1 1077944384 1 13128 0 0 0 0 4 3 20 0 15 0 62907201 11079016448 14584 33554432000 4194304 4196468 140728541260816 139938357394064 139938450011861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
[pid=26222/tid=26279] ppid=26219 vsize=10819352 memory=4126316290023845779 CPUtime=0.07 cores=1,3,5,7
/proc/26222/task/26279/stat : 26279 (java) S 26219 26222 24765 0 -1 1077944384 2 13128 0 0 0 0 4 3 20 0 15 0 62907201 11079016448 14584 33554432000 4194304 4196468 140728541260816 139938021300752 139938450011861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
[pid=26222/tid=26280] ppid=26219 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26222/task/26280/stat : 26280 (java) S 26219 26222 24765 0 -1 1077944384 2 13128 0 0 0 0 4 3 20 0 15 0 62907202 11079016448 14584 33554432000 4194304 4196468 140728541260816 139937976674928 139938450012802 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
[pid=26222/tid=26281] ppid=26219 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26222/task/26281/stat : 26281 (java) S 26219 26222 24765 0 -1 1077944384 13 13128 0 0 0 0 4 3 20 0 15 0 62907203 11079016448 14584 33554432000 4194304 4196468 140728541260816 139937886233888 139938450011861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
[pid=26222/tid=26282] ppid=26219 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26222/task/26282/stat : 26282 (java) S 26219 26222 24765 0 -1 1077944384 1 13128 0 0 0 0 4 3 20 0 15 0 62907203 11079016448 14584 33554432000 4194304 4196468 140728541260816 139937752016496 139938450011861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
[pid=26222/tid=26283] ppid=26219 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26222/task/26283/stat : 26283 (java) S 26219 26222 24765 0 -1 1077944384 2 13128 0 0 0 0 4 3 20 0 15 0 62907206 11079016448 14584 33554432000 4194304 4196468 140728541260816 139937148037712 139938450020251 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
[pid=26222/tid=26284] ppid=26219 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26222/task/26284/stat : 26284 (java) S 26219 26222 24765 0 -1 1077944384 497 13128 0 0 1 0 4 3 20 0 15 0 62907206 11079016448 14584 33554432000 4194304 4196468 140728541260816 139937975621744 139938450012802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
[pid=26222/tid=26285] ppid=26219 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26222/task/26285/stat : 26285 (java) S 26219 26222 24765 0 -1 1077944384 90 13128 0 0 1 0 4 3 20 0 15 0 62907206 11079016448 14584 33554432000 4194304 4196468 140728541260816 139937974568944 139938450012802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
[pid=26222/tid=26286] ppid=26219 vsize=10819352 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/26222/task/26286/stat : 26286 (java) S 26219 26222 24765 0 -1 1077944384 559 13128 0 0 5 0 4 3 20 0 15 0 62907206 11079016448 14584 33554432000 4194304 4196468 140728541260816 139937973516656 139938450012802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
[pid=26222/tid=26287] ppid=26219 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26222/task/26287/stat : 26287 (java) S 26219 26222 24765 0 -1 1077944384 3 13128 0 0 0 0 4 3 20 0 15 0 62907206 11079016448 14584 33554432000 4194304 4196468 140728541260816 139936678275552 139938450011861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
[pid=26222/tid=26288] ppid=26219 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26222/task/26288/stat : 26288 (java) S 26219 26222 24765 0 -1 1077944384 1 13128 0 0 0 0 4 3 20 0 15 0 62907206 11079016448 14584 33554432000 4194304 4196468 140728541260816 139937972464560 139938450012802 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 58336 KiB
[startup+0.700753 s]
/proc/loadavg: 1.20 1.44 1.45 3/216 26288
/proc/meminfo: memFree=21855792/32770624 swapFree=67108860/67108860
[pid=26222] ppid=26219 vsize=10819352 memory=90884 CPUtime=0.98 cores=1,3,5,7
/proc/26222/stat : 26222 (java) S 26219 26222 24765 0 -1 1077944320 16810 13128 0 0 86 5 4 3 20 0 15 0 62907191 11079016448 22721 33554432000 4194304 4196468 140728541260816 140728541243360 139938450001655 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
/proc/26222/statm: 2704838 22721 3238 1 0 2667149 0
[pid=26222/tid=26275] ppid=26219 vsize=10819352 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/26222/task/26275/stat : 26275 (java) R 26219 26222 24765 0 -1 4202560 12531 13128 0 0 55 4 4 3 20 0 15 0 62907200 11079016448 22721 33554432000 4194304 4196468 140728541260816 139938421822480 139938431565230 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
[pid=26222/tid=26276] ppid=26219 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26222/task/26276/stat : 26276 (java) S 26219 26222 24765 0 -1 1077944384 1 13128 0 0 0 0 4 3 20 0 15 0 62907201 11079016448 22721 33554432000 4194304 4196468 140728541260816 139938454243728 139938450011861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
[pid=26222/tid=26277] ppid=26219 vsize=10819352 memory=4136 CPUtime=0.07 cores=1,3,5,7
/proc/26222/task/26277/stat : 26277 (java) S 26219 26222 24765 0 -1 1077944384 1 13128 0 0 0 0 4 3 20 0 15 0 62907201 11079016448 22721 33554432000 4194304 4196468 140728541260816 139938358446352 139938450011861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
[pid=26222/tid=26278] ppid=26219 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26222/task/26278/stat : 26278 (java) S 26219 26222 24765 0 -1 1077944384 1 13128 0 0 0 0 4 3 20 0 15 0 62907201 11079016448 22721 33554432000 4194304 4196468 140728541260816 139938357394064 139938450011861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
[pid=26222/tid=26279] ppid=26219 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26222/task/26279/stat : 26279 (java) S 26219 26222 24765 0 -1 1077944384 2 13128 0 0 0 0 4 3 20 0 15 0 62907201 11079016448 22721 33554432000 4194304 4196468 140728541260816 139938021300752 139938450011861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
[pid=26222/tid=26280] ppid=26219 vsize=10819352 memory=4420 CPUtime=0.07 cores=1,3,5,7
/proc/26222/task/26280/stat : 26280 (java) S 26219 26222 24765 0 -1 1077944384 5 13128 0 0 0 0 4 3 20 0 15 0 62907202 11079016448 22721 33554432000 4194304 4196468 140728541260816 139937976674928 139938450012802 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
[pid=26222/tid=26281] ppid=26219 vsize=10819352 memory=6628 CPUtime=0.07 cores=1,3,5,7
/proc/26222/task/26281/stat : 26281 (java) S 26219 26222 24765 0 -1 1077944384 13 13128 0 0 0 0 4 3 20 0 15 0 62907203 11079016448 22721 33554432000 4194304 4196468 140728541260816 139937886233888 139938450011861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
[pid=26222/tid=26282] ppid=26219 vsize=10819352 memory=8836 CPUtime=0.07 cores=1,3,5,7
/proc/26222/task/26282/stat : 26282 (java) S 26219 26222 24765 0 -1 1077944384 1 13128 0 0 0 0 4 3 20 0 15 0 62907203 11079016448 22721 33554432000 4194304 4196468 140728541260816 139937752016496 139938450011861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
[pid=26222/tid=26283] ppid=26219 vsize=10819352 memory=11044 CPUtime=0.07 cores=1,3,5,7
/proc/26222/task/26283/stat : 26283 (java) S 26219 26222 24765 0 -1 1077944384 2 13128 0 0 0 0 4 3 20 0 15 0 62907206 11079016448 22721 33554432000 4194304 4196468 140728541260816 139937148037712 139938450020251 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
[pid=26222/tid=26284] ppid=26219 vsize=10819352 memory=13252 CPUtime=0.14 cores=1,3,5,7
/proc/26222/task/26284/stat : 26284 (java) S 26219 26222 24765 0 -1 1077944384 757 13128 0 0 7 0 4 3 20 0 15 0 62907206 11079016448 22721 33554432000 4194304 4196468 140728541260816 139937975621744 139938450012802 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
[pid=26222/tid=26285] ppid=26219 vsize=10819352 memory=15460 CPUtime=0.16 cores=1,3,5,7
/proc/26222/task/26285/stat : 26285 (java) S 26219 26222 24765 0 -1 1077944384 700 13128 0 0 9 0 4 3 20 0 15 0 62907206 11079016448 22721 33554432000 4194304 4196468 140728541260816 139937974568944 139938450012802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
[pid=26222/tid=26286] ppid=26219 vsize=10819352 memory=17668 CPUtime=0.19 cores=1,3,5,7
/proc/26222/task/26286/stat : 26286 (java) S 26219 26222 24765 0 -1 1077944384 605 13128 0 0 12 0 4 3 20 0 15 0 62907206 11079016448 22721 33554432000 4194304 4196468 140728541260816 139937973516656 139938450012802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
[pid=26222/tid=26287] ppid=26219 vsize=10819352 memory=19876 CPUtime=0.07 cores=1,3,5,7
/proc/26222/task/26287/stat : 26287 (java) S 26219 26222 24765 0 -1 1077944384 3 13128 0 0 0 0 4 3 20 0 15 0 62907206 11079016448 22721 33554432000 4194304 4196468 140728541260816 139936678275552 139938450011861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
[pid=26222/tid=26288] ppid=26219 vsize=10819352 memory=22084 CPUtime=0.07 cores=1,3,5,7
/proc/26222/task/26288/stat : 26288 (java) S 26219 26222 24765 0 -1 1077944384 1 13128 0 0 0 0 4 3 20 0 15 0 62907206 11079016448 22721 33554432000 4194304 4196468 140728541260816 139937972464560 139938450012802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 90884 KiB
[startup+1.5007 s]
/proc/loadavg: 1.20 1.44 1.45 3/216 26288
/proc/meminfo: memFree=21808616/32770624 swapFree=67108860/67108860
[pid=26222] ppid=26219 vsize=10834252 memory=182544 CPUtime=2.28 cores=1,3,5,7
/proc/26222/stat : 26222 (java) S 26219 26222 24765 0 -1 1077944320 24170 13128 0 0 210 11 4 3 20 0 15 0 62907191 11094274048 45636 33554432000 4194304 4196468 140728541260816 140728541243360 139938450001655 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
/proc/26222/statm: 2708563 45636 3475 1 0 2670221 0
[pid=26222/tid=26275] ppid=26219 vsize=10834252 memory=0 CPUtime=1.43 cores=1,3,5,7
/proc/26222/task/26275/stat : 26275 (java) R 26219 26222 24765 0 -1 4202560 18300 13128 0 0 129 7 4 3 20 0 15 0 62907200 11094274048 45636 33554432000 4194304 4196468 140728541260816 139938421833632 139938435445315 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
[pid=26222/tid=26276] ppid=26219 vsize=10834252 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26222/task/26276/stat : 26276 (java) S 26219 26222 24765 0 -1 1077944384 15 13128 0 0 1 0 4 3 20 0 15 0 62907201 11094274048 45636 33554432000 4194304 4196468 140728541260816 139938454243728 139938450011861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
[pid=26222/tid=26277] ppid=26219 vsize=10834252 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26222/task/26277/stat : 26277 (java) S 26219 26222 24765 0 -1 1077944384 24 13128 0 0 1 0 4 3 20 0 15 0 62907201 11094274048 45636 33554432000 4194304 4196468 140728541260816 139938358446352 139938450011861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
[pid=26222/tid=26278] ppid=26219 vsize=10834252 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26222/task/26278/stat : 26278 (java) S 26219 26222 24765 0 -1 1077944384 206 13128 0 0 0 0 4 3 20 0 15 0 62907201 11094274048 45636 33554432000 4194304 4196468 140728541260816 139938357394064 139938450011861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
[pid=26222/tid=26279] ppid=26219 vsize=10834252 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26222/task/26279/stat : 26279 (java) S 26219 26222 24765 0 -1 1077944384 74 13128 0 0 1 0 4 3 20 0 15 0 62907201 11094274048 45636 33554432000 4194304 4196468 140728541260816 139938021300752 139938450011861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
[pid=26222/tid=26280] ppid=26219 vsize=10834252 memory=1399103955520229747 CPUtime=0.08 cores=1,3,5,7
/proc/26222/task/26280/stat : 26280 (java) S 26219 26222 24765 0 -1 1077944384 62 13128 0 0 1 0 4 3 20 0 15 0 62907202 11094274048 45636 33554432000 4194304 4196468 140728541260816 139937976674928 139938450012802 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
[pid=26222/tid=26281] ppid=26219 vsize=10834252 memory=281244122294528 CPUtime=0.07 cores=1,3,5,7
/proc/26222/task/26281/stat : 26281 (java) S 26219 26222 24765 0 -1 1077944384 14 13128 0 0 0 0 4 3 20 0 15 0 62907203 11094274048 45636 33554432000 4194304 4196468 140728541260816 139937886233952 139938450011861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
[pid=26222/tid=26282] ppid=26219 vsize=10834252 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26222/task/26282/stat : 26282 (java) S 26219 26222 24765 0 -1 1077944384 1 13128 0 0 0 0 4 3 20 0 15 0 62907203 11094274048 45636 33554432000 4194304 4196468 140728541260816 139937752016512 139938450011861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
[pid=26222/tid=26283] ppid=26219 vsize=10834252 memory=1228 CPUtime=0.07 cores=1,3,5,7
/proc/26222/task/26283/stat : 26283 (java) S 26219 26222 24765 0 -1 1077944384 2 13128 0 0 0 0 4 3 20 0 15 0 62907206 11094274048 45636 33554432000 4194304 4196468 140728541260816 139937148037712 139938450020251 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
[pid=26222/tid=26284] ppid=26219 vsize=10834252 memory=1704 CPUtime=0.29 cores=1,3,5,7
/proc/26222/task/26284/stat : 26284 (java) S 26219 26222 24765 0 -1 1077944384 1222 13128 0 0 22 0 4 3 20 0 15 0 62907206 11094274048 45636 33554432000 4194304 4196468 140728541260816 139937975621744 139938450012802 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
[pid=26222/tid=26285] ppid=26219 vsize=10834252 memory=9924 CPUtime=0.26 cores=1,3,5,7
/proc/26222/task/26285/stat : 26285 (java) S 26219 26222 24765 0 -1 1077944384 816 13128 0 0 19 0 4 3 20 0 15 0 62907206 11094274048 45636 33554432000 4194304 4196468 140728541260816 139937974568944 139938450012802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
[pid=26222/tid=26286] ppid=26219 vsize=10834252 memory=5788 CPUtime=0.39 cores=1,3,5,7
/proc/26222/task/26286/stat : 26286 (java) S 26219 26222 24765 0 -1 1077944384 1243 13128 0 0 32 0 4 3 20 0 15 0 62907206 11094274048 45636 33554432000 4194304 4196468 140728541260816 139937973516656 139938450012802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
[pid=26222/tid=26287] ppid=26219 vsize=10834252 memory=1936 CPUtime=0.07 cores=1,3,5,7
/proc/26222/task/26287/stat : 26287 (java) S 26219 26222 24765 0 -1 1077944384 3 13128 0 0 0 0 4 3 20 0 15 0 62907206 11094274048 45636 33554432000 4194304 4196468 140728541260816 139936678275552 139938450011861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
[pid=26222/tid=26288] ppid=26219 vsize=10834252 memory=1196 CPUtime=0.07 cores=1,3,5,7
/proc/26222/task/26288/stat : 26288 (java) S 26219 26222 24765 0 -1 1077944384 1 13128 0 0 0 0 4 3 20 0 15 0 62907206 11094274048 45636 33554432000 4194304 4196468 140728541260816 139937972464560 139938450012802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
Current children cumulated CPU time: 2.28 s
Current children cumulated vsize: 10834252 KiB
################
# More data... #
################
/proc/26222/task/26275/stat : 26275 (java) R 26219 26222 24765 0 -1 4202560 98098 13128 0 0 235698 57 4 3 20 0 15 0 62907200 11176083456 323083 33554432000 4194304 4196468 140728541260816 139938421836064 139938042746629 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
[pid=26222/tid=26276] ppid=26219 vsize=10914144 memory=1292332 CPUtime=11.83 cores=1,3,5,7
/proc/26222/task/26276/stat : 26276 (java) S 26219 26222 24765 0 -1 1077944384 14733 13128 0 0 1125 51 4 3 20 0 15 0 62907201 11176083456 323083 33554432000 4194304 4196468 140728541260816 139938454243728 139938450011861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
[pid=26222/tid=26277] ppid=26219 vsize=10914144 memory=1292332 CPUtime=11.83 cores=1,3,5,7
/proc/26222/task/26277/stat : 26277 (java) S 26219 26222 24765 0 -1 1077944384 15572 13128 0 0 1128 48 4 3 20 0 15 0 62907201 11176083456 323083 33554432000 4194304 4196468 140728541260816 139938358446352 139938450011861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
[pid=26222/tid=26278] ppid=26219 vsize=10914144 memory=1292332 CPUtime=11.82 cores=1,3,5,7
/proc/26222/task/26278/stat : 26278 (java) S 26219 26222 24765 0 -1 1077944384 19128 13128 0 0 1121 54 4 3 20 0 15 0 62907201 11176083456 323083 33554432000 4194304 4196468 140728541260816 139938357394064 139938450011861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
[pid=26222/tid=26279] ppid=26219 vsize=10914144 memory=1292332 CPUtime=11.76 cores=1,3,5,7
/proc/26222/task/26279/stat : 26279 (java) S 26219 26222 24765 0 -1 1077944384 22106 13128 0 0 1121 48 4 3 20 0 15 0 62907201 11176083456 323083 33554432000 4194304 4196468 140728541260816 139938021300752 139938450011861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
[pid=26222/tid=26280] ppid=26219 vsize=10914144 memory=1292332 CPUtime=10.08 cores=1,3,5,7
/proc/26222/task/26280/stat : 26280 (java) S 26219 26222 24765 0 -1 1077944384 16751 13128 0 0 950 51 4 3 20 0 15 0 62907202 11176083456 323083 33554432000 4194304 4196468 140728541260816 139937976674928 139938450012802 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
[pid=26222/tid=26281] ppid=26219 vsize=10914144 memory=1292332 CPUtime=0.07 cores=1,3,5,7
/proc/26222/task/26281/stat : 26281 (java) S 26219 26222 24765 0 -1 1077944384 17 13128 0 0 0 0 4 3 20 0 15 0 62907203 11176083456 323083 33554432000 4194304 4196468 140728541260816 139937886233952 139938450011861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
[pid=26222/tid=26282] ppid=26219 vsize=10914144 memory=1292332 CPUtime=0.07 cores=1,3,5,7
/proc/26222/task/26282/stat : 26282 (java) S 26219 26222 24765 0 -1 1077944384 5 13128 0 0 0 0 4 3 20 0 15 0 62907203 11176083456 323083 33554432000 4194304 4196468 140728541260816 139937752016512 139938450011861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
[pid=26222/tid=26283] ppid=26219 vsize=10914144 memory=1292332 CPUtime=0.07 cores=1,3,5,7
/proc/26222/task/26283/stat : 26283 (java) S 26219 26222 24765 0 -1 1077944384 2 13128 0 0 0 0 4 3 20 0 15 0 62907206 11176083456 323083 33554432000 4194304 4196468 140728541260816 139937148037712 139938450020251 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
[pid=26222/tid=26284] ppid=26219 vsize=10914144 memory=1292332 CPUtime=4.86 cores=1,3,5,7
/proc/26222/task/26284/stat : 26284 (java) S 26219 26222 24765 0 -1 1077944384 25951 13128 0 0 476 3 4 3 20 0 15 0 62907206 11176083456 323083 33554432000 4194304 4196468 140728541260816 139937975621744 139938450012802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
[pid=26222/tid=26285] ppid=26219 vsize=10914144 memory=1292332 CPUtime=5.41 cores=1,3,5,7
/proc/26222/task/26285/stat : 26285 (java) S 26219 26222 24765 0 -1 1077944384 41921 13128 0 0 528 6 4 3 20 0 15 0 62907206 11176083456 323083 33554432000 4194304 4196468 140728541260816 139937974568944 139938450012802 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
[pid=26222/tid=26286] ppid=26219 vsize=10914144 memory=1292332 CPUtime=2.05 cores=1,3,5,7
/proc/26222/task/26286/stat : 26286 (java) S 26219 26222 24765 0 -1 1077944384 21011 13128 0 0 193 5 4 3 20 0 15 0 62907206 11176083456 323083 33554432000 4194304 4196468 140728541260816 139937973516656 139938450012802 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
[pid=26222/tid=26287] ppid=26219 vsize=10914144 memory=2420 CPUtime=0.07 cores=1,3,5,7
/proc/26222/task/26287/stat : 26287 (java) S 26219 26222 24765 0 -1 1077944384 3 13128 0 0 0 0 4 3 20 0 15 0 62907206 11176083456 323083 33554432000 4194304 4196468 140728541260816 139936678275552 139938450011861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
[pid=26222/tid=26288] ppid=26219 vsize=10914144 memory=1292 CPUtime=1.47 cores=1,3,5,7
/proc/26222/task/26288/stat : 26288 (java) S 26219 26222 24765 0 -1 1077944384 1286 13128 0 0 63 77 4 3 20 0 15 0 62907206 11176083456 323083 33554432000 4194304 4196468 140728541260816 139937972464560 139938450012802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
Current children cumulated CPU time: 2428.2 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 1292332 KiB
[startup+2442.3 s]
/proc/loadavg: 1.27 1.34 1.35 3/216 26513
/proc/meminfo: memFree=20452652/32770624 swapFree=67108860/67108860
[pid=26222] ppid=26219 vsize=10914144 memory=1296428 CPUtime=2489.19 cores=1,3,5,7
/proc/26222/stat : 26222 (java) S 26219 26222 24765 0 -1 1077944320 280530 13128 0 0 248556 356 4 3 20 0 15 0 62907191 11176083456 324107 33554432000 4194304 4196468 140728541260816 140728541243360 139938450001655 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
/proc/26222/statm: 2728536 324107 3536 1 0 2690189 0
[pid=26222/tid=26275] ppid=26219 vsize=10914144 memory=1296428 CPUtime=2416.97 cores=1,3,5,7
/proc/26222/task/26275/stat : 26275 (java) R 26219 26222 24765 0 -1 4202560 98848 13128 0 0 241633 57 4 3 20 0 15 0 62907200 11176083456 324107 33554432000 4194304 4196468 140728541260816 139938421836016 139938043367155 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
[pid=26222/tid=26276] ppid=26219 vsize=10914144 memory=1294380 CPUtime=12.17 cores=1,3,5,7
/proc/26222/task/26276/stat : 26276 (java) S 26219 26222 24765 0 -1 1077944384 15074 13128 0 0 1158 52 4 3 20 0 15 0 62907201 11176083456 324107 33554432000 4194304 4196468 140728541260816 139938454243728 139938450011861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
[pid=26222/tid=26277] ppid=26219 vsize=10914144 memory=1294380 CPUtime=12.16 cores=1,3,5,7
/proc/26222/task/26277/stat : 26277 (java) S 26219 26222 24765 0 -1 1077944384 15994 13128 0 0 1160 49 4 3 20 0 15 0 62907201 11176083456 324107 33554432000 4194304 4196468 140728541260816 139938358446352 139938450011861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
[pid=26222/tid=26278] ppid=26219 vsize=10914144 memory=1294380 CPUtime=12.15 cores=1,3,5,7
/proc/26222/task/26278/stat : 26278 (java) S 26219 26222 24765 0 -1 1077944384 19174 13128 0 0 1153 55 4 3 20 0 15 0 62907201 11176083456 324107 33554432000 4194304 4196468 140728541260816 139938357394064 139938450011861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
[pid=26222/tid=26279] ppid=26219 vsize=10914144 memory=1296428 CPUtime=12.1 cores=1,3,5,7
/proc/26222/task/26279/stat : 26279 (java) S 26219 26222 24765 0 -1 1077944384 22131 13128 0 0 1154 49 4 3 20 0 15 0 62907201 11176083456 324107 33554432000 4194304 4196468 140728541260816 139938021300752 139938450011861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
[pid=26222/tid=26280] ppid=26219 vsize=10914144 memory=1296428 CPUtime=10.33 cores=1,3,5,7
/proc/26222/task/26280/stat : 26280 (java) S 26219 26222 24765 0 -1 1077944384 16902 13128 0 0 974 52 4 3 20 0 15 0 62907202 11176083456 324107 33554432000 4194304 4196468 140728541260816 139937976674928 139938450012802 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
[pid=26222/tid=26281] ppid=26219 vsize=10914144 memory=33 CPUtime=0.07 cores=1,3,5,7
/proc/26222/task/26281/stat : 26281 (java) S 26219 26222 24765 0 -1 1077944384 17 13128 0 0 0 0 4 3 20 0 15 0 62907203 11176083456 324107 33554432000 4194304 4196468 140728541260816 139937886233952 139938450011861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
[pid=26222/tid=26282] ppid=26219 vsize=10914144 memory=1296428 CPUtime=0.07 cores=1,3,5,7
/proc/26222/task/26282/stat : 26282 (java) S 26219 26222 24765 0 -1 1077944384 5 13128 0 0 0 0 4 3 20 0 15 0 62907203 11176083456 324107 33554432000 4194304 4196468 140728541260816 139937752016512 139938450011861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
[pid=26222/tid=26283] ppid=26219 vsize=10914144 memory=18252 CPUtime=0.07 cores=1,3,5,7
/proc/26222/task/26283/stat : 26283 (java) S 26219 26222 24765 0 -1 1077944384 2 13128 0 0 0 0 4 3 20 0 15 0 62907206 11176083456 324107 33554432000 4194304 4196468 140728541260816 139937148037712 139938450020251 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
[pid=26222/tid=26284] ppid=26219 vsize=10914144 memory=1294380 CPUtime=4.86 cores=1,3,5,7
/proc/26222/task/26284/stat : 26284 (java) S 26219 26222 24765 0 -1 1077944384 25953 13128 0 0 476 3 4 3 20 0 15 0 62907206 11176083456 324107 33554432000 4194304 4196468 140728541260816 139937975621744 139938450012802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
[pid=26222/tid=26285] ppid=26219 vsize=10914144 memory=6944656592387989600 CPUtime=5.41 cores=1,3,5,7
/proc/26222/task/26285/stat : 26285 (java) S 26219 26222 24765 0 -1 1077944384 41923 13128 0 0 528 6 4 3 20 0 15 0 62907206 11176083456 324107 33554432000 4194304 4196468 140728541260816 139937974568944 139938450012802 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
[pid=26222/tid=26286] ppid=26219 vsize=10914144 memory=1296428 CPUtime=2.05 cores=1,3,5,7
/proc/26222/task/26286/stat : 26286 (java) S 26219 26222 24765 0 -1 1077944384 21013 13128 0 0 193 5 4 3 20 0 15 0 62907206 11176083456 324107 33554432000 4194304 4196468 140728541260816 139937973516656 139938450012802 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
[pid=26222/tid=26287] ppid=26219 vsize=10914144 memory=4136 CPUtime=0.07 cores=1,3,5,7
/proc/26222/task/26287/stat : 26287 (java) S 26219 26222 24765 0 -1 1077944384 3 13128 0 0 0 0 4 3 20 0 15 0 62907206 11176083456 324107 33554432000 4194304 4196468 140728541260816 139936678275552 139938450011861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
[pid=26222/tid=26288] ppid=26219 vsize=10914144 memory=1296428 CPUtime=1.5 cores=1,3,5,7
/proc/26222/task/26288/stat : 26288 (java) S 26219 26222 24765 0 -1 1077944384 1304 13128 0 0 64 79 4 3 20 0 15 0 62907206 11176083456 324107 33554432000 4194304 4196468 140728541260816 139937972464560 139938450012802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
Current children cumulated CPU time: 2489.19 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 1296428 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2472.7 s]
/proc/loadavg: 1.41 1.37 1.36 3/216 26513
/proc/meminfo: memFree=20450356/32770624 swapFree=67108860/67108860
[pid=26222] ppid=26219 vsize=10914144 memory=1296428 CPUtime=2520.07 cores=1,3,5,7
/proc/26222/stat : 26222 (java) S 26219 26222 24765 0 -1 1077944320 281179 13128 0 0 251642 358 4 3 20 0 15 0 62907191 11176083456 324107 33554432000 4194304 4196468 140728541260816 140728541243360 139938450001655 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
/proc/26222/statm: 2728536 324107 3536 1 0 2690189 0
[pid=26222/tid=26275] ppid=26219 vsize=10914144 memory=1296428 CPUtime=2447.02 cores=1,3,5,7
/proc/26222/task/26275/stat : 26275 (java) R 26219 26222 24765 0 -1 4202560 99173 13128 0 0 244638 57 4 3 20 0 15 0 62907200 11176083456 324107 33554432000 4194304 4196468 140728541260816 139938421835872 139938054387180 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
[pid=26222/tid=26276] ppid=26219 vsize=10914144 memory=1212 CPUtime=12.33 cores=1,3,5,7
/proc/26222/task/26276/stat : 26276 (java) S 26219 26222 24765 0 -1 1077944384 15077 13128 0 0 1174 52 4 3 20 0 15 0 62907201 11176083456 324107 33554432000 4194304 4196468 140728541260816 139938454243728 139938450011861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
[pid=26222/tid=26277] ppid=26219 vsize=10914144 memory=1296428 CPUtime=12.34 cores=1,3,5,7
/proc/26222/task/26277/stat : 26277 (java) S 26219 26222 24765 0 -1 1077944384 16118 13128 0 0 1178 49 4 3 20 0 15 0 62907201 11176083456 324107 33554432000 4194304 4196468 140728541260816 139938358446352 139938450011861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
[pid=26222/tid=26278] ppid=26219 vsize=10914144 memory=1296428 CPUtime=12.32 cores=1,3,5,7
/proc/26222/task/26278/stat : 26278 (java) S 26219 26222 24765 0 -1 1077944384 19195 13128 0 0 1169 56 4 3 20 0 15 0 62907201 11176083456 324107 33554432000 4194304 4196468 140728541260816 139938357394064 139938450011861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
[pid=26222/tid=26279] ppid=26219 vsize=10914144 memory=1296428 CPUtime=12.27 cores=1,3,5,7
/proc/26222/task/26279/stat : 26279 (java) S 26219 26222 24765 0 -1 1077944384 22176 13128 0 0 1171 49 4 3 20 0 15 0 62907201 11176083456 324107 33554432000 4194304 4196468 140728541260816 139938021300752 139938450011861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
[pid=26222/tid=26280] ppid=26219 vsize=10914144 memory=1296428 CPUtime=10.47 cores=1,3,5,7
/proc/26222/task/26280/stat : 26280 (java) S 26219 26222 24765 0 -1 1077944384 17012 13128 0 0 987 53 4 3 20 0 15 0 62907202 11176083456 324107 33554432000 4194304 4196468 140728541260816 139937976674928 139938450012802 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
[pid=26222/tid=26281] ppid=26219 vsize=10914144 memory=1296428 CPUtime=0.07 cores=1,3,5,7
/proc/26222/task/26281/stat : 26281 (java) S 26219 26222 24765 0 -1 1077944384 17 13128 0 0 0 0 4 3 20 0 15 0 62907203 11176083456 324107 33554432000 4194304 4196468 140728541260816 139937886233952 139938450011861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
[pid=26222/tid=26282] ppid=26219 vsize=10914144 memory=1296428 CPUtime=0.07 cores=1,3,5,7
/proc/26222/task/26282/stat : 26282 (java) S 26219 26222 24765 0 -1 1077944384 5 13128 0 0 0 0 4 3 20 0 15 0 62907203 11176083456 324107 33554432000 4194304 4196468 140728541260816 139937752016512 139938450011861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
[pid=26222/tid=26283] ppid=26219 vsize=10914144 memory=1296428 CPUtime=0.07 cores=1,3,5,7
/proc/26222/task/26283/stat : 26283 (java) S 26219 26222 24765 0 -1 1077944384 2 13128 0 0 0 0 4 3 20 0 15 0 62907206 11176083456 324107 33554432000 4194304 4196468 140728541260816 139937148037712 139938450020251 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
[pid=26222/tid=26284] ppid=26219 vsize=10914144 memory=33 CPUtime=4.86 cores=1,3,5,7
/proc/26222/task/26284/stat : 26284 (java) S 26219 26222 24765 0 -1 1077944384 25955 13128 0 0 476 3 4 3 20 0 15 0 62907206 11176083456 324107 33554432000 4194304 4196468 140728541260816 139937975621744 139938450012802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
[pid=26222/tid=26285] ppid=26219 vsize=10914144 memory=4136 CPUtime=5.41 cores=1,3,5,7
/proc/26222/task/26285/stat : 26285 (java) S 26219 26222 24765 0 -1 1077944384 41925 13128 0 0 528 6 4 3 20 0 15 0 62907206 11176083456 324107 33554432000 4194304 4196468 140728541260816 139937974568944 139938450012802 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
[pid=26222/tid=26286] ppid=26219 vsize=10914144 memory=1296428 CPUtime=2.05 cores=1,3,5,7
/proc/26222/task/26286/stat : 26286 (java) S 26219 26222 24765 0 -1 1077944384 21015 13128 0 0 193 5 4 3 20 0 15 0 62907206 11176083456 324107 33554432000 4194304 4196468 140728541260816 139937973516656 139938450012802 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
[pid=26222/tid=26287] ppid=26219 vsize=10914144 memory=1296428 CPUtime=0.07 cores=1,3,5,7
/proc/26222/task/26287/stat : 26287 (java) S 26219 26222 24765 0 -1 1077944384 3 13128 0 0 0 0 4 3 20 0 15 0 62907206 11176083456 324107 33554432000 4194304 4196468 140728541260816 139936678275552 139938450011861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
[pid=26222/tid=26288] ppid=26219 vsize=10914144 memory=19420 CPUtime=1.52 cores=1,3,5,7
/proc/26222/task/26288/stat : 26288 (java) S 26219 26222 24765 0 -1 1077944384 1319 13128 0 0 65 80 4 3 20 0 15 0 62907206 11176083456 324107 33554432000 4194304 4196468 140728541260816 139937972464560 139938450012802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 1296428 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2472.73 s]
# the end of solver process 26222 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.5 s, system=3.62717 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2472.7 s]
/proc/loadavg: 1.41 1.37 1.36 3/216 26513
/proc/meminfo: memFree=20450356/32770624 swapFree=67108860/67108860
[pid=26222] ppid=26219 vsize=10914144 memory=1296428 CPUtime=2520.07 cores=1,3,5,7
/proc/26222/stat : 26222 (java) S 26219 26222 24765 0 -1 1077944320 281179 13128 0 0 251642 358 4 3 20 0 15 0 62907191 11176083456 324107 33554432000 4194304 4196468 140728541260816 140728541243360 139938450001655 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
/proc/26222/statm: 2728536 324107 3536 1 0 2690189 0
[pid=26222/tid=26275] ppid=26219 vsize=10914144 memory=1296428 CPUtime=2447.02 cores=1,3,5,7
/proc/26222/task/26275/stat : 26275 (java) R 26219 26222 24765 0 -1 4202560 99173 13128 0 0 244638 57 4 3 20 0 15 0 62907200 11176083456 324107 33554432000 4194304 4196468 140728541260816 139938421835872 139938054387180 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
[pid=26222/tid=26276] ppid=26219 vsize=10914144 memory=1212 CPUtime=12.33 cores=1,3,5,7
/proc/26222/task/26276/stat : 26276 (java) S 26219 26222 24765 0 -1 1077944384 15077 13128 0 0 1174 52 4 3 20 0 15 0 62907201 11176083456 324107 33554432000 4194304 4196468 140728541260816 139938454243728 139938450011861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
[pid=26222/tid=26277] ppid=26219 vsize=10914144 memory=1296428 CPUtime=12.34 cores=1,3,5,7
/proc/26222/task/26277/stat : 26277 (java) S 26219 26222 24765 0 -1 1077944384 16118 13128 0 0 1178 49 4 3 20 0 15 0 62907201 11176083456 324107 33554432000 4194304 4196468 140728541260816 139938358446352 139938450011861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
[pid=26222/tid=26278] ppid=26219 vsize=10914144 memory=1296428 CPUtime=12.32 cores=1,3,5,7
/proc/26222/task/26278/stat : 26278 (java) S 26219 26222 24765 0 -1 1077944384 19195 13128 0 0 1169 56 4 3 20 0 15 0 62907201 11176083456 324107 33554432000 4194304 4196468 140728541260816 139938357394064 139938450011861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
[pid=26222/tid=26279] ppid=26219 vsize=10914144 memory=1296428 CPUtime=12.27 cores=1,3,5,7
/proc/26222/task/26279/stat : 26279 (java) S 26219 26222 24765 0 -1 1077944384 22176 13128 0 0 1171 49 4 3 20 0 15 0 62907201 11176083456 324107 33554432000 4194304 4196468 140728541260816 139938021300752 139938450011861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
[pid=26222/tid=26280] ppid=26219 vsize=10914144 memory=1296428 CPUtime=10.47 cores=1,3,5,7
/proc/26222/task/26280/stat : 26280 (java) S 26219 26222 24765 0 -1 1077944384 17012 13128 0 0 987 53 4 3 20 0 15 0 62907202 11176083456 324107 33554432000 4194304 4196468 140728541260816 139937976674928 139938450012802 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
[pid=26222/tid=26281] ppid=26219 vsize=10914144 memory=1296428 CPUtime=0.07 cores=1,3,5,7
/proc/26222/task/26281/stat : 26281 (java) S 26219 26222 24765 0 -1 1077944384 17 13128 0 0 0 0 4 3 20 0 15 0 62907203 11176083456 324107 33554432000 4194304 4196468 140728541260816 139937886233952 139938450011861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
[pid=26222/tid=26282] ppid=26219 vsize=10914144 memory=1296428 CPUtime=0.07 cores=1,3,5,7
/proc/26222/task/26282/stat : 26282 (java) S 26219 26222 24765 0 -1 1077944384 5 13128 0 0 0 0 4 3 20 0 15 0 62907203 11176083456 324107 33554432000 4194304 4196468 140728541260816 139937752016512 139938450011861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
[pid=26222/tid=26283] ppid=26219 vsize=10914144 memory=1296428 CPUtime=0.07 cores=1,3,5,7
/proc/26222/task/26283/stat : 26283 (java) S 26219 26222 24765 0 -1 1077944384 2 13128 0 0 0 0 4 3 20 0 15 0 62907206 11176083456 324107 33554432000 4194304 4196468 140728541260816 139937148037712 139938450020251 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
[pid=26222/tid=26284] ppid=26219 vsize=10914144 memory=33 CPUtime=4.86 cores=1,3,5,7
/proc/26222/task/26284/stat : 26284 (java) S 26219 26222 24765 0 -1 1077944384 25955 13128 0 0 476 3 4 3 20 0 15 0 62907206 11176083456 324107 33554432000 4194304 4196468 140728541260816 139937975621744 139938450012802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
[pid=26222/tid=26285] ppid=26219 vsize=10914144 memory=4136 CPUtime=5.41 cores=1,3,5,7
/proc/26222/task/26285/stat : 26285 (java) S 26219 26222 24765 0 -1 1077944384 41925 13128 0 0 528 6 4 3 20 0 15 0 62907206 11176083456 324107 33554432000 4194304 4196468 140728541260816 139937974568944 139938450012802 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
[pid=26222/tid=26286] ppid=26219 vsize=10914144 memory=1296428 CPUtime=2.05 cores=1,3,5,7
/proc/26222/task/26286/stat : 26286 (java) S 26219 26222 24765 0 -1 1077944384 21015 13128 0 0 193 5 4 3 20 0 15 0 62907206 11176083456 324107 33554432000 4194304 4196468 140728541260816 139937973516656 139938450012802 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
[pid=26222/tid=26287] ppid=26219 vsize=10914144 memory=1296428 CPUtime=0.07 cores=1,3,5,7
/proc/26222/task/26287/stat : 26287 (java) S 26219 26222 24765 0 -1 1077944384 3 13128 0 0 0 0 4 3 20 0 15 0 62907206 11176083456 324107 33554432000 4194304 4196468 140728541260816 139936678275552 139938450011861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
[pid=26222/tid=26288] ppid=26219 vsize=10914144 memory=19420 CPUtime=1.52 cores=1,3,5,7
/proc/26222/task/26288/stat : 26288 (java) S 26219 26222 24765 0 -1 1077944384 1319 13128 0 0 65 80 4 3 20 0 15 0 62907206 11176083456 324107 33554432000 4194304 4196468 140728541260816 139937972464560 139938450012802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6979584 140728541264044 140728541267292 140728541267292 140728541269967 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 1296428 KiB
Child status: 143
Real time (s): 2472.73
CPU time (s): 2520.13
CPU user time (s): 2516.5
CPU system time (s): 3.62717
CPU usage (%): 101.917
Max. virtual memory (cumulated for all children) (KiB): 10917020
Max. memory (cumulated for all children) (KiB): 1327656
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.5
system time used= 3.62717
maximum resident set size= 1330696
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 295228
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 252690
involuntary context switches= 6593
# summary of solver processes directly reported to runsolver:
# pid: 26222
# total CPU time (s): 2520.13
# total CPU user time (s): 2516.5
# total CPU system time (s): 3.62717
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.1671 second user time and 23.0311 second system time
The end