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 (15206 MiB free)
memory of node 1: 16384 MiB (14274 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4273125-1502810155/watcher-4273125-1502810155 -o /tmp/evaluation-result-4273125-1502810155/solver-4273125-1502810155 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502658038-4849 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-alns.jar --randomseed 766719461 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4273125-1502810155.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=25151, runsolver pid=25148
Current StackSize limit: 8192 KiB
[startup+0.100149 s]*
/proc/loadavg: 1.54 1.53 1.45 2/204 25152
/proc/meminfo: memFree=30188932/32770624 swapFree=67108776/67108860
[pid=25151] ppid=25148 vsize=33976 memory=456 CPUtime=0 cores=0,2,4,6
/proc/25151/stat : 25151 (runsolver) D 25148 25151 7084 0 -1 4202560 111 0 0 0 0 0 0 0 20 0 1 0 180668095 34791424 114 18446744073709551615 4194304 4346622 140725039567888 140725039564520 139943099364055 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6446216 6449568 24072192 140725039571016 140725039571492 140725039571492 140725039574986 0
/proc/25151/statm: 8494 114 53 38 0 4205 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 456 KiB
[startup+0.209471 s]*
/proc/loadavg: 1.54 1.53 1.45 2/217 25165
/proc/meminfo: memFree=30178220/32770624 swapFree=67108776/67108860
[pid=25151] ppid=25148 vsize=13906484 memory=22100 CPUtime=0.06 cores=0,2,4,6
/proc/25151/stat : 25151 (java) S 25148 25151 7084 0 -1 1077944320 4977 0 0 0 5 1 0 0 20 0 14 0 180668095 14240239616 5525 18446744073709551615 4194304 4196468 140729165094416 140729165076960 139771759980279 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 12 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
/proc/25151/statm: 3476621 5525 2589 1 0 3466118 0
[pid=25151/tid=25153] ppid=25148 vsize=13906484 memory=8316850467074736180 CPUtime=0.04 cores=0,2,4,6
/proc/25151/task/25153/stat : 25153 (java) D 25148 25151 7084 0 -1 4202560 3078 0 0 0 4 0 0 0 20 0 14 0 180668108 14240239616 5525 18446744073709551615 4194304 4196468 140729165094416 139771764217760 139771760002301 0 4 1 16800974 18446744071580418449 0 0 -1 6 0 0 0 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
[pid=25151/tid=25154] ppid=25148 vsize=13906484 memory=8333 CPUtime=0 cores=0,2,4,6
/proc/25151/task/25154/stat : 25154 (java) S 25148 25151 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 180668109 14240239616 5525 18446744073709551615 4194304 4196468 140729165094416 139771360053520 139771759990485 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
[pid=25151/tid=25155] ppid=25148 vsize=13906484 memory=3472473745508726432 CPUtime=0 cores=0,2,4,6
/proc/25151/task/25155/stat : 25155 (java) S 25148 25151 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 180668109 14240239616 5525 18446744073709551615 4194304 4196468 140729165094416 139771359000976 139771759990485 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
[pid=25151/tid=25156] ppid=25148 vsize=13906484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25151/task/25156/stat : 25156 (java) S 25148 25151 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 180668109 14240239616 5525 18446744073709551615 4194304 4196468 140729165094416 139771357948432 139771759990485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
[pid=25151/tid=25157] ppid=25148 vsize=13906484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25151/task/25157/stat : 25157 (java) S 25148 25151 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 180668109 14240239616 5525 18446744073709551615 4194304 4196468 140729165094416 139771356895888 139771759990485 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
[pid=25151/tid=25158] ppid=25148 vsize=13906484 memory=139943102314112 CPUtime=0 cores=0,2,4,6
/proc/25151/task/25158/stat : 25158 (java) S 25148 25151 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 180668110 14240239616 5525 18446744073709551615 4194304 4196468 140729165094416 139771239135728 139771759991426 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
[pid=25151/tid=25159] ppid=25148 vsize=13906484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25151/task/25159/stat : 25159 (java) S 25148 25151 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 180668110 14240239616 5525 18446744073709551615 4194304 4196468 140729165094416 139771238081952 139771759990485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
[pid=25151/tid=25160] ppid=25148 vsize=13906484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25151/task/25160/stat : 25160 (java) S 25148 25151 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 180668111 14240239616 5525 18446744073709551615 4194304 4196468 140729165094416 139771237029360 139771759990485 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
[pid=25151/tid=25161] ppid=25148 vsize=13906484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25151/task/25161/stat : 25161 (java) S 25148 25151 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 180668113 14240239616 5525 18446744073709551615 4194304 4196468 140729165094416 139771235977936 139771759998875 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
[pid=25151/tid=25162] ppid=25148 vsize=13906484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25151/task/25162/stat : 25162 (java) S 25148 25151 7084 0 -1 1077944384 313 0 0 0 0 0 0 0 20 0 14 0 180668113 14240239616 5525 18446744073709551615 4194304 4196468 140729165094416 139771234924528 139771759991426 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
[pid=25151/tid=25163] ppid=25148 vsize=13906484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25151/task/25163/stat : 25163 (java) S 25148 25151 7084 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 14 0 180668113 14240239616 5525 18446744073709551615 4194304 4196468 140729165094416 139771233871984 139771759991426 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
[pid=25151/tid=25164] ppid=25148 vsize=13906484 memory=139943102314112 CPUtime=0 cores=0,2,4,6
/proc/25151/task/25164/stat : 25164 (java) S 25148 25151 7084 0 -1 1077944384 204 0 0 0 0 0 0 0 20 0 14 0 180668113 14240239616 5525 18446744073709551615 4194304 4196468 140729165094416 139771232819440 139771759991426 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
[pid=25151/tid=25165] ppid=25148 vsize=13906484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25151/task/25165/stat : 25165 (java) S 25148 25151 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 180668113 14240239616 5525 18446744073709551615 4194304 4196468 140729165094416 139771231767136 139771759990485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 13906484 KiB
Current children cumulated memory: 22100 KiB
[startup+0.310555 s]*
/proc/loadavg: 1.54 1.53 1.45 4/218 25166
/proc/meminfo: memFree=30165984/32770624 swapFree=67108776/67108860
[pid=25151] ppid=25148 vsize=13975920 memory=36976 CPUtime=0.18 cores=0,2,4,6
/proc/25151/stat : 25151 (java) S 25148 25151 7084 0 -1 1077944320 9867 0 0 0 16 2 0 0 20 0 15 0 180668095 14311342080 9244 18446744073709551615 4194304 4196468 140729165094416 140729165076960 139771759980279 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 12 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
/proc/25151/statm: 3493980 9244 3471 1 0 3482759 0
[pid=25151/tid=25153] ppid=25148 vsize=13975920 memory=-8774313645642428999 CPUtime=0.13 cores=0,2,4,6
/proc/25151/task/25153/stat : 25153 (java) R 25148 25151 7084 0 -1 4202560 7629 0 0 0 11 2 0 0 20 0 15 0 180668108 14311342080 9244 18446744073709551615 4194304 4196468 140729165094416 139771764200592 139771745673760 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
[pid=25151/tid=25154] ppid=25148 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25151/task/25154/stat : 25154 (java) S 25148 25151 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 180668109 14311342080 9244 18446744073709551615 4194304 4196468 140729165094416 139771360053520 139771759990485 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
[pid=25151/tid=25155] ppid=25148 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25151/task/25155/stat : 25155 (java) S 25148 25151 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 180668109 14311342080 9244 18446744073709551615 4194304 4196468 140729165094416 139771359000976 139771759990485 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
[pid=25151/tid=25156] ppid=25148 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25151/task/25156/stat : 25156 (java) S 25148 25151 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 180668109 14311342080 9244 18446744073709551615 4194304 4196468 140729165094416 139771357948432 139771759990485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
[pid=25151/tid=25157] ppid=25148 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25151/task/25157/stat : 25157 (java) S 25148 25151 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 180668109 14311342080 9244 18446744073709551615 4194304 4196468 140729165094416 139771356895888 139771759990485 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
[pid=25151/tid=25158] ppid=25148 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25151/task/25158/stat : 25158 (java) S 25148 25151 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 180668110 14311342080 9244 18446744073709551615 4194304 4196468 140729165094416 139771239135728 139771759991426 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
[pid=25151/tid=25159] ppid=25148 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25151/task/25159/stat : 25159 (java) S 25148 25151 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 180668110 14311342080 9244 18446744073709551615 4194304 4196468 140729165094416 139771238081952 139771759990485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
[pid=25151/tid=25160] ppid=25148 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25151/task/25160/stat : 25160 (java) S 25148 25151 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 180668111 14311342080 9244 18446744073709551615 4194304 4196468 140729165094416 139771237029360 139771759990485 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
[pid=25151/tid=25161] ppid=25148 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25151/task/25161/stat : 25161 (java) S 25148 25151 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 180668113 14311342080 9244 18446744073709551615 4194304 4196468 140729165094416 139771235977936 139771759998875 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
[pid=25151/tid=25162] ppid=25148 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25151/task/25162/stat : 25162 (java) S 25148 25151 7084 0 -1 1077944384 460 0 0 0 0 0 0 0 20 0 15 0 180668113 14311342080 9244 18446744073709551615 4194304 4196468 140729165094416 139771234924528 139771759991426 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
[pid=25151/tid=25163] ppid=25148 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25151/task/25163/stat : 25163 (java) S 25148 25151 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 180668113 14311342080 9244 18446744073709551615 4194304 4196468 140729165094416 139771233871984 139771759991426 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
[pid=25151/tid=25164] ppid=25148 vsize=13975920 memory=139943102314112 CPUtime=0.03 cores=0,2,4,6
/proc/25151/task/25164/stat : 25164 (java) R 25148 25151 7084 0 -1 4202560 366 0 0 0 3 0 0 0 20 0 15 0 180668113 14311342080 9244 18446744073709551615 4194304 4196468 140729165094416 139771232816976 139771738904321 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
[pid=25151/tid=25165] ppid=25148 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25151/task/25165/stat : 25165 (java) S 25148 25151 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 180668113 14311342080 9244 18446744073709551615 4194304 4196468 140729165094416 139771231767136 139771759990485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
[pid=25151/tid=25166] ppid=25148 vsize=13975920 memory=139943102314112 CPUtime=0 cores=0,2,4,6
/proc/25151/task/25166/stat : 25166 (java) S 25148 25151 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 180668119 14311342080 9244 18446744073709551615 4194304 4196468 140729165094416 139771230714672 139771759991426 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 36976 KiB
[startup+0.703125 s]
/proc/loadavg: 1.58 1.54 1.45 4/218 25166
/proc/meminfo: memFree=30152644/32770624 swapFree=67108776/67108860
[pid=25151] ppid=25148 vsize=13977988 memory=63012 CPUtime=0.86 cores=0,2,4,6
/proc/25151/stat : 25151 (java) S 25148 25151 7084 0 -1 1077944320 13486 0 0 0 82 4 0 0 20 0 15 0 180668095 14313459712 15753 18446744073709551615 4194304 4196468 140729165094416 140729165076960 139771759980279 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 12 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
/proc/25151/statm: 3494497 15753 3723 1 0 3483271 0
[pid=25151/tid=25153] ppid=25148 vsize=13977988 memory=2356 CPUtime=0.5 cores=0,2,4,6
/proc/25151/task/25153/stat : 25153 (java) R 25148 25151 7084 0 -1 4202560 10339 0 0 0 47 3 0 0 20 0 15 0 180668108 14313459712 15753 18446744073709551615 4194304 4196468 140729165094416 139771764215392 139771744060766 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
[pid=25151/tid=25154] ppid=25148 vsize=13977988 memory=288230621803970871 CPUtime=0 cores=0,2,4,6
/proc/25151/task/25154/stat : 25154 (java) S 25148 25151 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 180668109 14313459712 15753 18446744073709551615 4194304 4196468 140729165094416 139771360053520 139771759990485 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
[pid=25151/tid=25155] ppid=25148 vsize=13977988 memory=13563786715989427 CPUtime=0 cores=0,2,4,6
/proc/25151/task/25155/stat : 25155 (java) S 25148 25151 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 180668109 14313459712 15753 18446744073709551615 4194304 4196468 140729165094416 139771359000976 139771759990485 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
[pid=25151/tid=25156] ppid=25148 vsize=13977988 memory=4044 CPUtime=0 cores=0,2,4,6
/proc/25151/task/25156/stat : 25156 (java) S 25148 25151 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 180668109 14313459712 15753 18446744073709551615 4194304 4196468 140729165094416 139771357948432 139771759990485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
[pid=25151/tid=25157] ppid=25148 vsize=13977988 memory=45212 CPUtime=0 cores=0,2,4,6
/proc/25151/task/25157/stat : 25157 (java) S 25148 25151 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 180668109 14313459712 15753 18446744073709551615 4194304 4196468 140729165094416 139771356895888 139771759990485 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
[pid=25151/tid=25158] ppid=25148 vsize=13977988 memory=636 CPUtime=0 cores=0,2,4,6
/proc/25151/task/25158/stat : 25158 (java) S 25148 25151 7084 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 180668110 14313459712 15753 18446744073709551615 4194304 4196468 140729165094416 139771239135728 139771759991426 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
[pid=25151/tid=25159] ppid=25148 vsize=13977988 memory=1796 CPUtime=0 cores=0,2,4,6
/proc/25151/task/25159/stat : 25159 (java) S 25148 25151 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 180668110 14313459712 15753 18446744073709551615 4194304 4196468 140729165094416 139771238081952 139771759990485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
[pid=25151/tid=25160] ppid=25148 vsize=13977988 memory=960 CPUtime=0 cores=0,2,4,6
/proc/25151/task/25160/stat : 25160 (java) S 25148 25151 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 180668111 14313459712 15753 18446744073709551615 4194304 4196468 140729165094416 139771237029360 139771759990485 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
[pid=25151/tid=25161] ppid=25148 vsize=13977988 memory=1236 CPUtime=0 cores=0,2,4,6
/proc/25151/task/25161/stat : 25161 (java) S 25148 25151 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 180668113 14313459712 15753 18446744073709551615 4194304 4196468 140729165094416 139771235977936 139771759998875 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
[pid=25151/tid=25162] ppid=25148 vsize=13977988 memory=2240 CPUtime=0.09 cores=0,2,4,6
/proc/25151/task/25162/stat : 25162 (java) S 25148 25151 7084 0 -1 1077944384 819 0 0 0 9 0 0 0 20 0 15 0 180668113 14313459712 15753 18446744073709551615 4194304 4196468 140729165094416 139771234924528 139771759991426 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
[pid=25151/tid=25163] ppid=25148 vsize=13977988 memory=4288 CPUtime=0.07 cores=0,2,4,6
/proc/25151/task/25163/stat : 25163 (java) S 25148 25151 7084 0 -1 1077944384 274 0 0 0 7 0 0 0 20 0 15 0 180668113 14313459712 15753 18446744073709551615 4194304 4196468 140729165094416 139771233871984 139771759991426 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
[pid=25151/tid=25164] ppid=25148 vsize=13977988 memory=2160 CPUtime=0.18 cores=0,2,4,6
/proc/25151/task/25164/stat : 25164 (java) R 25148 25151 7084 0 -1 4202560 672 0 0 0 18 0 0 0 20 0 15 0 180668113 14313459712 15753 18446744073709551615 4194304 4196468 140729165094416 139771232815168 139771744226777 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
[pid=25151/tid=25165] ppid=25148 vsize=13977988 memory=932 CPUtime=0 cores=0,2,4,6
/proc/25151/task/25165/stat : 25165 (java) S 25148 25151 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 180668113 14313459712 15753 18446744073709551615 4194304 4196468 140729165094416 139771231767136 139771759990485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
[pid=25151/tid=25166] ppid=25148 vsize=13977988 memory=1608 CPUtime=0 cores=0,2,4,6
/proc/25151/task/25166/stat : 25166 (java) S 25148 25151 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 180668119 14313459712 15753 18446744073709551615 4194304 4196468 140729165094416 139771230714672 139771759991426 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
Current children cumulated CPU time: 0.86 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 63012 KiB
[startup+1.50069 s]
/proc/loadavg: 1.58 1.54 1.45 6/218 25166
/proc/meminfo: memFree=30112808/32770624 swapFree=67108776/67108860
[pid=25151] ppid=25148 vsize=13982084 memory=215216 CPUtime=3.1 cores=0,2,4,6
/proc/25151/stat : 25151 (java) S 25148 25151 7084 0 -1 1077944320 28472 0 0 0 299 11 0 0 20 0 15 0 180668095 14317654016 53804 18446744073709551615 4194304 4196468 140729165094416 140729165076960 139771759980279 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 12 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
/proc/25151/statm: 3495521 53804 3790 1 0 3484295 0
[pid=25151/tid=25153] ppid=25148 vsize=13982084 memory=279885973093432 CPUtime=1.27 cores=0,2,4,6
/proc/25151/task/25153/stat : 25153 (java) R 25148 25151 7084 0 -1 4202560 15681 0 0 0 121 6 0 0 20 0 15 0 180668108 14317654016 53804 18446744073709551615 4194304 4196468 140729165094416 139771764214696 139771407120162 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
[pid=25151/tid=25154] ppid=25148 vsize=13982084 memory=1829723176961 CPUtime=0 cores=0,2,4,6
/proc/25151/task/25154/stat : 25154 (java) S 25148 25151 7084 0 -1 1077944384 269 0 0 0 0 0 0 0 20 0 15 0 180668109 14317654016 53804 18446744073709551615 4194304 4196468 140729165094416 139771360053520 139771759990485 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
[pid=25151/tid=25155] ppid=25148 vsize=13982084 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/25151/task/25155/stat : 25155 (java) S 25148 25151 7084 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 180668109 14317654016 53804 18446744073709551615 4194304 4196468 140729165094416 139771359000976 139771759990485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
[pid=25151/tid=25156] ppid=25148 vsize=13982084 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/25151/task/25156/stat : 25156 (java) S 25148 25151 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 180668109 14317654016 53804 18446744073709551615 4194304 4196468 140729165094416 139771357948432 139771759990485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
[pid=25151/tid=25157] ppid=25148 vsize=13982084 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/25151/task/25157/stat : 25157 (java) S 25148 25151 7084 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 180668109 14317654016 53804 18446744073709551615 4194304 4196468 140729165094416 139771356895888 139771759990485 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
[pid=25151/tid=25158] ppid=25148 vsize=13982084 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/25151/task/25158/stat : 25158 (java) S 25148 25151 7084 0 -1 1077944384 235 0 0 0 0 0 0 0 20 0 15 0 180668110 14317654016 53804 18446744073709551615 4194304 4196468 140729165094416 139771239135728 139771759991426 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
[pid=25151/tid=25159] ppid=25148 vsize=13982084 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/25151/task/25159/stat : 25159 (java) S 25148 25151 7084 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 180668110 14317654016 53804 18446744073709551615 4194304 4196468 140729165094416 139771238081952 139771759990485 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
[pid=25151/tid=25160] ppid=25148 vsize=13982084 memory=6576575808607200677 CPUtime=0 cores=0,2,4,6
/proc/25151/task/25160/stat : 25160 (java) S 25148 25151 7084 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 180668111 14317654016 53804 18446744073709551615 4194304 4196468 140729165094416 139771237029376 139771759990485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
[pid=25151/tid=25161] ppid=25148 vsize=13982084 memory=-8182579099459755381 CPUtime=0 cores=0,2,4,6
/proc/25151/task/25161/stat : 25161 (java) S 25148 25151 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 180668113 14317654016 53804 18446744073709551615 4194304 4196468 140729165094416 139771235977936 139771759998875 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
[pid=25151/tid=25162] ppid=25148 vsize=13982084 memory=8189698629190191936 CPUtime=0.6 cores=0,2,4,6
/proc/25151/task/25162/stat : 25162 (java) R 25148 25151 7084 0 -1 4202560 4037 0 0 0 59 1 0 0 20 0 15 0 180668113 14317654016 53804 18446744073709551615 4194304 4196468 140729165094416 139771234924528 139771741525578 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
[pid=25151/tid=25163] ppid=25148 vsize=13982084 memory=-8181450996285021557 CPUtime=0.64 cores=0,2,4,6
/proc/25151/task/25163/stat : 25163 (java) R 25148 25151 7084 0 -1 4202560 3008 0 0 0 64 0 0 0 20 0 15 0 180668113 14317654016 53804 18446744073709551615 4194304 4196468 140729165094416 139771233858008 139771739224177 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
[pid=25151/tid=25164] ppid=25148 vsize=13982084 memory=-8102431393132624720 CPUtime=0.49 cores=0,2,4,6
/proc/25151/task/25164/stat : 25164 (java) S 25148 25151 7084 0 -1 1077944384 3440 0 0 0 49 0 0 0 20 0 15 0 180668113 14317654016 53804 18446744073709551615 4194304 4196468 140729165094416 139771232819440 139771759991426 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
[pid=25151/tid=25165] ppid=25148 vsize=13982084 memory=9844065044643 CPUtime=0 cores=0,2,4,6
/proc/25151/task/25165/stat : 25165 (java) S 25148 25151 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 180668113 14317654016 53804 18446744073709551615 4194304 4196468 140729165094416 139771231767136 139771759990485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
[pid=25151/tid=25166] ppid=25148 vsize=13982084 memory=-7966001959659552400 CPUtime=0 cores=0,2,4,6
/proc/25151/task/25166/stat : 25166 (java) S 25148 25151 7084 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 180668119 14317654016 53804 18446744073709551615 4194304 4196468 140729165094416 139771230714672 139771759991426 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 215216 KiB
[startup+3.11073 s]
/proc/loadavg: 1.58 1.54 1.45 4/218 25166
/proc/meminfo: memFree=29801720/32770624 swapFree=67108776/67108860
[pid=25151] ppid=25148 vsize=13982084 memory=470728 CPUtime=5.78 cores=0,2,4,6
/proc/25151/stat : 25151 (java) S 25148 25151 7084 0 -1 1077944320 30131 0 0 0 558 20 0 0 20 0 15 0 180668095 14317654016 117682 18446744073709551615 4194304 4196468 140729165094416 140729165076960 139771759980279 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 12 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
/proc/25151/statm: 3495521 117682 3799 1 0 3484295 0
[pid=25151/tid=25153] ppid=25148 vsize=13982084 memory=139942986790457 CPUtime=2.85 cores=0,2,4,6
/proc/25151/task/25153/stat : 25153 (java) R 25148 25151 7084 0 -1 4202560 15983 0 0 0 275 10 0 0 20 0 15 0 180668108 14317654016 117682 18446744073709551615 4194304 4196468 140729165094416 139771764215752 139771407664405 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
[pid=25151/tid=25154] ppid=25148 vsize=13982084 memory=279885973502896 CPUtime=0.03 cores=0,2,4,6
/proc/25151/task/25154/stat : 25154 (java) S 25148 25151 7084 0 -1 1077944384 341 0 0 0 2 1 0 0 20 0 15 0 180668109 14317654016 117682 18446744073709551615 4194304 4196468 140729165094416 139771360053520 139771759990485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
################
# More data... #
################
/proc/25151/task/25153/stat : 25153 (java) R 25148 25151 7084 0 -1 4202560 96173 0 0 0 235333 62 0 0 20 0 15 0 180668108 14317654016 114763 18446744073709551615 4194304 4196468 140729165094416 139771764217664 139771406551145 0 4 1 16800974 0 0 0 -1 6 0 0 5 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
[pid=25151/tid=25154] ppid=25148 vsize=13982084 memory=470336 CPUtime=15.77 cores=0,2,4,6
/proc/25151/task/25154/stat : 25154 (java) S 25148 25151 7084 0 -1 1077944384 19450 0 0 0 1525 52 0 0 20 0 15 0 180668109 14317654016 114763 18446744073709551615 4194304 4196468 140729165094416 139771360053520 139771759990485 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
[pid=25151/tid=25155] ppid=25148 vsize=13982084 memory=460076 CPUtime=15.74 cores=0,2,4,6
/proc/25151/task/25155/stat : 25155 (java) S 25148 25151 7084 0 -1 1077944384 19885 0 0 0 1517 57 0 0 20 0 15 0 180668109 14317654016 114763 18446744073709551615 4194304 4196468 140729165094416 139771359000976 139771759990485 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
[pid=25151/tid=25156] ppid=25148 vsize=13982084 memory=459564 CPUtime=15.77 cores=0,2,4,6
/proc/25151/task/25156/stat : 25156 (java) S 25148 25151 7084 0 -1 1077944384 20844 0 0 0 1522 55 0 0 20 0 15 0 180668109 14317654016 114763 18446744073709551615 4194304 4196468 140729165094416 139771357948432 139771759990485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
[pid=25151/tid=25157] ppid=25148 vsize=13982084 memory=459564 CPUtime=15.74 cores=0,2,4,6
/proc/25151/task/25157/stat : 25157 (java) S 25148 25151 7084 0 -1 1077944384 22905 0 0 0 1518 56 0 0 20 0 15 0 180668109 14317654016 114763 18446744073709551615 4194304 4196468 140729165094416 139771356895888 139771759990485 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
[pid=25151/tid=25158] ppid=25148 vsize=13982084 memory=0 CPUtime=7.89 cores=0,2,4,6
/proc/25151/task/25158/stat : 25158 (java) S 25148 25151 7084 0 -1 1077944384 17576 0 0 0 712 77 0 0 20 0 15 0 180668110 14317654016 114763 18446744073709551615 4194304 4196468 140729165094416 139771239135728 139771759991426 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 42 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
[pid=25151/tid=25159] ppid=25148 vsize=13982084 memory=460076 CPUtime=0 cores=0,2,4,6
/proc/25151/task/25159/stat : 25159 (java) S 25148 25151 7084 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 180668110 14317654016 114763 18446744073709551615 4194304 4196468 140729165094416 139771238082016 139771759990485 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
[pid=25151/tid=25160] ppid=25148 vsize=13982084 memory=487264 CPUtime=0 cores=0,2,4,6
/proc/25151/task/25160/stat : 25160 (java) S 25148 25151 7084 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 180668111 14317654016 114763 18446744073709551615 4194304 4196468 140729165094416 139771237029376 139771759990485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
[pid=25151/tid=25161] ppid=25148 vsize=13982084 memory=1196 CPUtime=0 cores=0,2,4,6
/proc/25151/task/25161/stat : 25161 (java) S 25148 25151 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 180668113 14317654016 114763 18446744073709551615 4194304 4196468 140729165094416 139771235977936 139771759998875 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
[pid=25151/tid=25162] ppid=25148 vsize=13982084 memory=490856 CPUtime=2.02 cores=0,2,4,6
/proc/25151/task/25162/stat : 25162 (java) S 25148 25151 7084 0 -1 1077944384 22790 0 0 0 199 3 0 0 20 0 15 0 180668113 14317654016 114763 18446744073709551615 4194304 4196468 140729165094416 139771234924528 139771759991426 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 80 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
[pid=25151/tid=25163] ppid=25148 vsize=13982084 memory=78080 CPUtime=2.29 cores=0,2,4,6
/proc/25151/task/25163/stat : 25163 (java) S 25148 25151 7084 0 -1 1077944384 23348 0 0 0 226 3 0 0 20 0 15 0 180668113 14317654016 114763 18446744073709551615 4194304 4196468 140729165094416 139771233871984 139771759991426 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
[pid=25151/tid=25164] ppid=25148 vsize=13982084 memory=0 CPUtime=0.83 cores=0,2,4,6
/proc/25151/task/25164/stat : 25164 (java) S 25148 25151 7084 0 -1 1077944384 23959 0 0 0 80 3 0 0 20 0 15 0 180668113 14317654016 114763 18446744073709551615 4194304 4196468 140729165094416 139771232819440 139771759991426 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
[pid=25151/tid=25165] ppid=25148 vsize=13982084 memory=155 CPUtime=0 cores=0,2,4,6
/proc/25151/task/25165/stat : 25165 (java) S 25148 25151 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 180668113 14317654016 114763 18446744073709551615 4194304 4196468 140729165094416 139771231767136 139771759990485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
[pid=25151/tid=25166] ppid=25148 vsize=13982084 memory=-8774313645642428999 CPUtime=1.55 cores=0,2,4,6
/proc/25151/task/25166/stat : 25166 (java) S 25148 25151 7084 0 -1 1077944384 1511 0 0 0 71 84 0 0 20 0 15 0 180668119 14317654016 114763 18446744073709551615 4194304 4196468 140729165094416 139771230714672 139771759991426 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 80 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
Current children cumulated CPU time: 2431.65 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 459052 KiB
[startup+2442.3 s]
/proc/loadavg: 1.26 1.31 1.34 3/215 25395
/proc/meminfo: memFree=30417704/32770624 swapFree=67108776/67108860
[pid=25151] ppid=25148 vsize=13982084 memory=410316 CPUtime=2492.78 cores=0,2,4,6
/proc/25151/stat : 25151 (java) S 25148 25151 7084 0 -1 1077944320 271391 0 0 0 248878 400 0 0 20 0 15 0 180668095 14317654016 102579 18446744073709551615 4194304 4196468 140729165094416 140729165076960 139771759980279 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 12 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
/proc/25151/statm: 3495521 102579 3835 1 0 3484295 0
[pid=25151/tid=25153] ppid=25148 vsize=13982084 memory=417496 CPUtime=2413.21 cores=0,2,4,6
/proc/25151/task/25153/stat : 25153 (java) R 25148 25151 7084 0 -1 4202560 97148 0 0 0 241259 62 0 0 20 0 15 0 180668108 14317654016 102579 18446744073709551615 4194304 4196468 140729165094416 139771764218224 139771407299804 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
[pid=25151/tid=25154] ppid=25148 vsize=13982084 memory=1224 CPUtime=16.17 cores=0,2,4,6
/proc/25151/task/25154/stat : 25154 (java) S 25148 25151 7084 0 -1 1077944384 19468 0 0 0 1563 54 0 0 20 0 15 0 180668109 14317654016 102579 18446744073709551615 4194304 4196468 140729165094416 139771360053520 139771759990485 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
[pid=25151/tid=25155] ppid=25148 vsize=13982084 memory=413392 CPUtime=16.15 cores=0,2,4,6
/proc/25151/task/25155/stat : 25155 (java) S 25148 25151 7084 0 -1 1077944384 19907 0 0 0 1556 59 0 0 20 0 15 0 180668109 14317654016 102579 18446744073709551615 4194304 4196468 140729165094416 139771359000976 139771759990485 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
[pid=25151/tid=25156] ppid=25148 vsize=13982084 memory=413392 CPUtime=16.17 cores=0,2,4,6
/proc/25151/task/25156/stat : 25156 (java) S 25148 25151 7084 0 -1 1077944384 21058 0 0 0 1560 57 0 0 20 0 15 0 180668109 14317654016 102579 18446744073709551615 4194304 4196468 140729165094416 139771357948432 139771759990485 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
[pid=25151/tid=25157] ppid=25148 vsize=13982084 memory=411340 CPUtime=16.14 cores=0,2,4,6
/proc/25151/task/25157/stat : 25157 (java) S 25148 25151 7084 0 -1 1077944384 22974 0 0 0 1556 58 0 0 20 0 15 0 180668109 14317654016 102579 18446744073709551615 4194304 4196468 140729165094416 139771356895888 139771759990485 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
[pid=25151/tid=25158] ppid=25148 vsize=13982084 memory=410828 CPUtime=8.11 cores=0,2,4,6
/proc/25151/task/25158/stat : 25158 (java) S 25148 25151 7084 0 -1 1077944384 17759 0 0 0 732 79 0 0 20 0 15 0 180668110 14317654016 102579 18446744073709551615 4194304 4196468 140729165094416 139771239135728 139771759991426 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 42 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
[pid=25151/tid=25159] ppid=25148 vsize=13982084 memory=410316 CPUtime=0 cores=0,2,4,6
/proc/25151/task/25159/stat : 25159 (java) S 25148 25151 7084 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 180668110 14317654016 102579 18446744073709551615 4194304 4196468 140729165094416 139771238082016 139771759990485 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
[pid=25151/tid=25160] ppid=25148 vsize=13982084 memory=419548 CPUtime=0 cores=0,2,4,6
/proc/25151/task/25160/stat : 25160 (java) S 25148 25151 7084 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 180668111 14317654016 102579 18446744073709551615 4194304 4196468 140729165094416 139771237029376 139771759990485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
[pid=25151/tid=25161] ppid=25148 vsize=13982084 memory=411340 CPUtime=0 cores=0,2,4,6
/proc/25151/task/25161/stat : 25161 (java) S 25148 25151 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 180668113 14317654016 102579 18446744073709551615 4194304 4196468 140729165094416 139771235977936 139771759998875 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
[pid=25151/tid=25162] ppid=25148 vsize=13982084 memory=412880 CPUtime=2.02 cores=0,2,4,6
/proc/25151/task/25162/stat : 25162 (java) S 25148 25151 7084 0 -1 1077944384 22792 0 0 0 199 3 0 0 20 0 15 0 180668113 14317654016 102579 18446744073709551615 4194304 4196468 140729165094416 139771234924528 139771759991426 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 80 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
[pid=25151/tid=25163] ppid=25148 vsize=13982084 memory=-8774313645642428999 CPUtime=2.29 cores=0,2,4,6
/proc/25151/task/25163/stat : 25163 (java) S 25148 25151 7084 0 -1 1077944384 23350 0 0 0 226 3 0 0 20 0 15 0 180668113 14317654016 102579 18446744073709551615 4194304 4196468 140729165094416 139771233871984 139771759991426 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
[pid=25151/tid=25164] ppid=25148 vsize=13982084 memory=-8774313645642428999 CPUtime=0.83 cores=0,2,4,6
/proc/25151/task/25164/stat : 25164 (java) S 25148 25151 7084 0 -1 1077944384 23961 0 0 0 80 3 0 0 20 0 15 0 180668113 14317654016 102579 18446744073709551615 4194304 4196468 140729165094416 139771232819440 139771759991426 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
[pid=25151/tid=25165] ppid=25148 vsize=13982084 memory=414420 CPUtime=0 cores=0,2,4,6
/proc/25151/task/25165/stat : 25165 (java) S 25148 25151 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 180668113 14317654016 102579 18446744073709551615 4194304 4196468 140729165094416 139771231767136 139771759990485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
[pid=25151/tid=25166] ppid=25148 vsize=13982084 memory=414420 CPUtime=1.58 cores=0,2,4,6
/proc/25151/task/25166/stat : 25166 (java) S 25148 25151 7084 0 -1 1077944384 1525 0 0 0 73 85 0 0 20 0 15 0 180668119 14317654016 102579 18446744073709551615 4194304 4196468 140729165094416 139771230714672 139771759991426 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 80 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
Current children cumulated CPU time: 2492.78 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 410316 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2469.11 s]
/proc/loadavg: 1.38 1.34 1.35 3/215 25396
/proc/meminfo: memFree=30435152/32770624 swapFree=67108776/67108860
[pid=25151] ppid=25148 vsize=13982084 memory=389284 CPUtime=2520.1 cores=0,2,4,6
/proc/25151/stat : 25151 (java) S 25148 25151 7084 0 -1 1077944320 271847 0 0 0 251607 403 0 0 20 0 15 0 180668095 14317654016 97321 18446744073709551615 4194304 4196468 140729165094416 140729165076960 139771759980279 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 12 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
/proc/25151/statm: 3495521 97321 3835 1 0 3484295 0
[pid=25151/tid=25153] ppid=25148 vsize=13982084 memory=-8774313645642428999 CPUtime=2439.7 cores=0,2,4,6
/proc/25151/task/25153/stat : 25153 (java) R 25148 25151 7084 0 -1 4202560 97516 0 0 0 243907 63 0 0 20 0 15 0 180668108 14317654016 97321 18446744073709551615 4194304 4196468 140729165094416 139771764218192 139771406551104 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
[pid=25151/tid=25154] ppid=25148 vsize=13982084 memory=389796 CPUtime=16.35 cores=0,2,4,6
/proc/25151/task/25154/stat : 25154 (java) S 25148 25151 7084 0 -1 1077944384 19476 0 0 0 1580 55 0 0 20 0 15 0 180668109 14317654016 97321 18446744073709551615 4194304 4196468 140729165094416 139771360053520 139771759990485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
[pid=25151/tid=25155] ppid=25148 vsize=13982084 memory=390308 CPUtime=16.33 cores=0,2,4,6
/proc/25151/task/25155/stat : 25155 (java) S 25148 25151 7084 0 -1 1077944384 19918 0 0 0 1573 60 0 0 20 0 15 0 180668109 14317654016 97321 18446744073709551615 4194304 4196468 140729165094416 139771359000976 139771759990485 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
[pid=25151/tid=25156] ppid=25148 vsize=13982084 memory=396976 CPUtime=16.35 cores=0,2,4,6
/proc/25151/task/25156/stat : 25156 (java) S 25148 25151 7084 0 -1 1077944384 21072 0 0 0 1578 57 0 0 20 0 15 0 180668109 14317654016 97321 18446744073709551615 4194304 4196468 140729165094416 139771357948432 139771759990485 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
[pid=25151/tid=25157] ppid=25148 vsize=13982084 memory=394412 CPUtime=16.32 cores=0,2,4,6
/proc/25151/task/25157/stat : 25157 (java) S 25148 25151 7084 0 -1 1077944384 23016 0 0 0 1573 59 0 0 20 0 15 0 180668109 14317654016 97321 18446744073709551615 4194304 4196468 140729165094416 139771356895888 139771759990485 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
[pid=25151/tid=25158] ppid=25148 vsize=13982084 memory=390308 CPUtime=8.21 cores=0,2,4,6
/proc/25151/task/25158/stat : 25158 (java) S 25148 25151 7084 0 -1 1077944384 17770 0 0 0 741 80 0 0 20 0 15 0 180668110 14317654016 97321 18446744073709551615 4194304 4196468 140729165094416 139771239135728 139771759991426 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 42 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
[pid=25151/tid=25159] ppid=25148 vsize=13982084 memory=389796 CPUtime=0 cores=0,2,4,6
/proc/25151/task/25159/stat : 25159 (java) S 25148 25151 7084 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 180668110 14317654016 97321 18446744073709551615 4194304 4196468 140729165094416 139771238082016 139771759990485 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
[pid=25151/tid=25160] ppid=25148 vsize=13982084 memory=389284 CPUtime=0 cores=0,2,4,6
/proc/25151/task/25160/stat : 25160 (java) S 25148 25151 7084 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 180668111 14317654016 97321 18446744073709551615 4194304 4196468 140729165094416 139771237029376 139771759990485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
[pid=25151/tid=25161] ppid=25148 vsize=13982084 memory=1836 CPUtime=0 cores=0,2,4,6
/proc/25151/task/25161/stat : 25161 (java) S 25148 25151 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 180668113 14317654016 97321 18446744073709551615 4194304 4196468 140729165094416 139771235977936 139771759998875 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
[pid=25151/tid=25162] ppid=25148 vsize=13982084 memory=410828 CPUtime=2.02 cores=0,2,4,6
/proc/25151/task/25162/stat : 25162 (java) S 25148 25151 7084 0 -1 1077944384 22792 0 0 0 199 3 0 0 20 0 15 0 180668113 14317654016 97321 18446744073709551615 4194304 4196468 140729165094416 139771234924528 139771759991426 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 80 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
[pid=25151/tid=25163] ppid=25148 vsize=13982084 memory=419548 CPUtime=2.29 cores=0,2,4,6
/proc/25151/task/25163/stat : 25163 (java) S 25148 25151 7084 0 -1 1077944384 23350 0 0 0 226 3 0 0 20 0 15 0 180668113 14317654016 97321 18446744073709551615 4194304 4196468 140729165094416 139771233871984 139771759991426 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
[pid=25151/tid=25164] ppid=25148 vsize=13982084 memory=392872 CPUtime=0.83 cores=0,2,4,6
/proc/25151/task/25164/stat : 25164 (java) S 25148 25151 7084 0 -1 1077944384 23961 0 0 0 80 3 0 0 20 0 15 0 180668113 14317654016 97321 18446744073709551615 4194304 4196468 140729165094416 139771232819440 139771759991426 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
[pid=25151/tid=25165] ppid=25148 vsize=13982084 memory=390308 CPUtime=0 cores=0,2,4,6
/proc/25151/task/25165/stat : 25165 (java) S 25148 25151 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 180668113 14317654016 97321 18446744073709551615 4194304 4196468 140729165094416 139771231767136 139771759990485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
[pid=25151/tid=25166] ppid=25148 vsize=13982084 memory=1796 CPUtime=1.6 cores=0,2,4,6
/proc/25151/task/25166/stat : 25166 (java) S 25148 25151 7084 0 -1 1077944384 1527 0 0 0 74 86 0 0 20 0 15 0 180668119 14317654016 97321 18446744073709551615 4194304 4196468 140729165094416 139771230714672 139771759991426 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 80 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
Current children cumulated CPU time: 2520.1 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 389284 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2469.13 s]
# the end of solver process 25151 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.08 s, system=4.0414 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2469.11 s]
/proc/loadavg: 1.38 1.34 1.35 3/215 25396
/proc/meminfo: memFree=30435152/32770624 swapFree=67108776/67108860
[pid=25151] ppid=25148 vsize=13982084 memory=389284 CPUtime=2520.1 cores=0,2,4,6
/proc/25151/stat : 25151 (java) S 25148 25151 7084 0 -1 1077944320 271847 0 0 0 251607 403 0 0 20 0 15 0 180668095 14317654016 97321 18446744073709551615 4194304 4196468 140729165094416 140729165076960 139771759980279 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 12 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
/proc/25151/statm: 3495521 97321 3835 1 0 3484295 0
[pid=25151/tid=25153] ppid=25148 vsize=13982084 memory=-8774313645642428999 CPUtime=2439.7 cores=0,2,4,6
/proc/25151/task/25153/stat : 25153 (java) R 25148 25151 7084 0 -1 4202560 97516 0 0 0 243907 63 0 0 20 0 15 0 180668108 14317654016 97321 18446744073709551615 4194304 4196468 140729165094416 139771764218192 139771406551104 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
[pid=25151/tid=25154] ppid=25148 vsize=13982084 memory=389796 CPUtime=16.35 cores=0,2,4,6
/proc/25151/task/25154/stat : 25154 (java) S 25148 25151 7084 0 -1 1077944384 19476 0 0 0 1580 55 0 0 20 0 15 0 180668109 14317654016 97321 18446744073709551615 4194304 4196468 140729165094416 139771360053520 139771759990485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
[pid=25151/tid=25155] ppid=25148 vsize=13982084 memory=390308 CPUtime=16.33 cores=0,2,4,6
/proc/25151/task/25155/stat : 25155 (java) S 25148 25151 7084 0 -1 1077944384 19918 0 0 0 1573 60 0 0 20 0 15 0 180668109 14317654016 97321 18446744073709551615 4194304 4196468 140729165094416 139771359000976 139771759990485 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
[pid=25151/tid=25156] ppid=25148 vsize=13982084 memory=396976 CPUtime=16.35 cores=0,2,4,6
/proc/25151/task/25156/stat : 25156 (java) S 25148 25151 7084 0 -1 1077944384 21072 0 0 0 1578 57 0 0 20 0 15 0 180668109 14317654016 97321 18446744073709551615 4194304 4196468 140729165094416 139771357948432 139771759990485 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
[pid=25151/tid=25157] ppid=25148 vsize=13982084 memory=394412 CPUtime=16.32 cores=0,2,4,6
/proc/25151/task/25157/stat : 25157 (java) S 25148 25151 7084 0 -1 1077944384 23016 0 0 0 1573 59 0 0 20 0 15 0 180668109 14317654016 97321 18446744073709551615 4194304 4196468 140729165094416 139771356895888 139771759990485 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
[pid=25151/tid=25158] ppid=25148 vsize=13982084 memory=390308 CPUtime=8.21 cores=0,2,4,6
/proc/25151/task/25158/stat : 25158 (java) S 25148 25151 7084 0 -1 1077944384 17770 0 0 0 741 80 0 0 20 0 15 0 180668110 14317654016 97321 18446744073709551615 4194304 4196468 140729165094416 139771239135728 139771759991426 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 42 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
[pid=25151/tid=25159] ppid=25148 vsize=13982084 memory=389796 CPUtime=0 cores=0,2,4,6
/proc/25151/task/25159/stat : 25159 (java) S 25148 25151 7084 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 180668110 14317654016 97321 18446744073709551615 4194304 4196468 140729165094416 139771238082016 139771759990485 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
[pid=25151/tid=25160] ppid=25148 vsize=13982084 memory=389284 CPUtime=0 cores=0,2,4,6
/proc/25151/task/25160/stat : 25160 (java) S 25148 25151 7084 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 180668111 14317654016 97321 18446744073709551615 4194304 4196468 140729165094416 139771237029376 139771759990485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
[pid=25151/tid=25161] ppid=25148 vsize=13982084 memory=1836 CPUtime=0 cores=0,2,4,6
/proc/25151/task/25161/stat : 25161 (java) S 25148 25151 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 180668113 14317654016 97321 18446744073709551615 4194304 4196468 140729165094416 139771235977936 139771759998875 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
[pid=25151/tid=25162] ppid=25148 vsize=13982084 memory=410828 CPUtime=2.02 cores=0,2,4,6
/proc/25151/task/25162/stat : 25162 (java) S 25148 25151 7084 0 -1 1077944384 22792 0 0 0 199 3 0 0 20 0 15 0 180668113 14317654016 97321 18446744073709551615 4194304 4196468 140729165094416 139771234924528 139771759991426 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 80 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
[pid=25151/tid=25163] ppid=25148 vsize=13982084 memory=419548 CPUtime=2.29 cores=0,2,4,6
/proc/25151/task/25163/stat : 25163 (java) S 25148 25151 7084 0 -1 1077944384 23350 0 0 0 226 3 0 0 20 0 15 0 180668113 14317654016 97321 18446744073709551615 4194304 4196468 140729165094416 139771233871984 139771759991426 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
[pid=25151/tid=25164] ppid=25148 vsize=13982084 memory=392872 CPUtime=0.83 cores=0,2,4,6
/proc/25151/task/25164/stat : 25164 (java) S 25148 25151 7084 0 -1 1077944384 23961 0 0 0 80 3 0 0 20 0 15 0 180668113 14317654016 97321 18446744073709551615 4194304 4196468 140729165094416 139771232819440 139771759991426 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
[pid=25151/tid=25165] ppid=25148 vsize=13982084 memory=390308 CPUtime=0 cores=0,2,4,6
/proc/25151/task/25165/stat : 25165 (java) S 25148 25151 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 180668113 14317654016 97321 18446744073709551615 4194304 4196468 140729165094416 139771231767136 139771759990485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
[pid=25151/tid=25166] ppid=25148 vsize=13982084 memory=1796 CPUtime=1.6 cores=0,2,4,6
/proc/25151/task/25166/stat : 25166 (java) S 25148 25151 7084 0 -1 1077944384 1527 0 0 0 74 86 0 0 20 0 15 0 180668119 14317654016 97321 18446744073709551615 4194304 4196468 140729165094416 139771230714672 139771759991426 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 80 0 0 6293624 6294260 8151040 140729165095285 140729165095465 140729165095465 140729165098959 0
Current children cumulated CPU time: 2520.1 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 389284 KiB
Child status: 143
Real time (s): 2469.13
CPU time (s): 2520.13
CPU user time (s): 2516.08
CPU system time (s): 4.0414
CPU usage (%): 102.065
Max. virtual memory (cumulated for all children) (KiB): 13982084
Max. memory (cumulated for all children) (KiB): 2153408
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.08
system time used= 4.0414
maximum resident set size= 2153408
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 272203
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3032
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 271105
involuntary context switches= 11971
# summary of solver processes directly reported to runsolver:
# pid: 25151
# total CPU time (s): 2520.13
# total CPU user time (s): 2516.08
# total CPU system time (s): 4.0414
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.773 second user time and 24.3646 second system time
The end