runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4259761-1501997220/watcher-4259761-1501997220 -o /tmp/evaluation-result-4259761-1501997220/solver-4259761-1501997220 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node133-1501995163-16060 --watchdog 300 bin/concrete HOME/instance-4259761-1501997220.xml
pid=17769
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.26 1.44 1.56 3/199 17772
/proc/meminfo: memFree=30015396/32770624 swapFree=0/298288
[pid=17772] ppid=17769 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/17772/stat : 17772 (runsolver) D 17769 17772 30500 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 47537343 24240128 107 18446744073709551615 4194304 4338465 140730307789280 140730307786920 139734172340951 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 8974336 140730307793110 140730307793484 140730307793484 140730307796938 0
/proc/17772/statm: 5918 107 54 36 0 2156 0
[startup+0.100068 s]
/proc/loadavg: 1.26 1.44 1.56 3/199 17772
/proc/meminfo: memFree=30015396/32770624 swapFree=0/298288
[pid=17772] ppid=17769 vsize=9508 CPUtime=0 cores=1,3,5,7
/proc/17772/stat : 17772 (bash) S 17769 17772 30500 0 -1 4202496 713 3536 0 0 0 0 0 0 20 0 1 0 47537343 9736192 354 18446744073709551615 4194304 5098028 140726645734432 140726645732072 140407611894784 0 0 5 65536 18446744071580971376 0 0 17 7 0 0 8 0 0 7196144 7232144 20656128 140726645735959 140726645736044 140726645736044 140726645739498 0
/proc/17772/statm: 2377 354 282 221 0 86 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9508
[startup+0.200189 s]
/proc/loadavg: 1.26 1.44 1.56 3/199 17772
/proc/meminfo: memFree=30015396/32770624 swapFree=0/298288
[pid=17772] ppid=17769 vsize=356956 CPUtime=0.08 cores=1,3,5,7
/proc/17772/stat : 17772 (java) S 17769 17772 30500 0 -1 1077944320 2587 12582 0 0 0 0 5 3 20 0 2 0 47537343 365522944 1883 18446744073709551615 4194304 4196468 140730861345504 140730861328048 139635542531831 0 0 1 16784584 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
/proc/17772/statm: 89239 1883 1036 1 0 79209 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 356956
[startup+0.300473 s]
/proc/loadavg: 1.26 1.44 1.56 3/199 17772
/proc/meminfo: memFree=30015396/32770624 swapFree=0/298288
[pid=17772] ppid=17769 vsize=13973996 CPUtime=0.16 cores=1,3,5,7
/proc/17772/stat : 17772 (java) S 17769 17772 30500 0 -1 1077944320 6125 12582 0 0 7 1 5 3 20 0 15 0 47537343 14309371904 6798 18446744073709551615 4194304 4196468 140730861345504 140730861328048 139635542531831 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
/proc/17772/statm: 3493499 6798 2714 1 0 3482965 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 13973996
[startup+0.700244 s]
/proc/loadavg: 1.26 1.44 1.56 3/199 17772
/proc/meminfo: memFree=30015396/32770624 swapFree=0/298288
[pid=17772] ppid=17769 vsize=13974784 CPUtime=0.72 cores=1,3,5,7
/proc/17772/stat : 17772 (java) S 17769 17772 30500 0 -1 1077944320 14033 12582 0 0 60 4 5 3 20 0 15 0 47537343 14310178816 15003 18446744073709551615 4194304 4196468 140730861345504 140730861328048 139635542531831 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
/proc/17772/statm: 3493696 15003 3112 1 0 3482965 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 13974784
[startup+1.50054 s]
/proc/loadavg: 1.26 1.44 1.56 4/214 17835
/proc/meminfo: memFree=29919060/32770624 swapFree=0/298340
[pid=17772] ppid=17769 vsize=13985408 CPUtime=1.97 cores=1,3,5,7
/proc/17772/stat : 17772 (java) S 17769 17772 30500 0 -1 1077944320 29732 12582 0 0 179 10 5 3 20 0 15 0 47537343 14321057792 42650 18446744073709551615 4194304 4196468 140730861345504 140730861328048 139635542531831 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
/proc/17772/statm: 3496352 42650 3371 1 0 3485525 0
[pid=17772/tid=17822] ppid=17769 vsize=13985408 CPUtime=1.3 cores=1,3,5,7
/proc/17772/task/17822/stat : 17822 (java) R 17769 17772 30500 0 -1 4202560 22072 12582 0 0 115 7 5 3 20 0 15 0 47537362 14321057792 42650 18446744073709551615 4194304 4196468 140730861345504 139635546760096 139635528226800 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
[pid=17772/tid=17823] ppid=17769 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/17772/task/17823/stat : 17823 (java) S 17769 17772 30500 0 -1 1077944384 69 12582 0 0 0 0 5 3 20 0 15 0 47537363 14321057792 42650 18446744073709551615 4194304 4196468 140730861345504 139635499498128 139635542542037 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
[pid=17772/tid=17824] ppid=17769 vsize=13985408 CPUtime=0.09 cores=1,3,5,7
/proc/17772/task/17824/stat : 17824 (java) S 17769 17772 30500 0 -1 1077944384 38 12582 0 0 1 0 5 3 20 0 15 0 47537363 14321057792 42650 18446744073709551615 4194304 4196468 140730861345504 139635498445328 139635542542037 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
[pid=17772/tid=17825] ppid=17769 vsize=13985408 CPUtime=0.09 cores=1,3,5,7
/proc/17772/task/17825/stat : 17825 (java) S 17769 17772 30500 0 -1 1077944384 196 12582 0 0 1 0 5 3 20 0 15 0 47537363 14321057792 42650 18446744073709551615 4194304 4196468 140730861345504 139635497392528 139635542542037 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
[pid=17772/tid=17826] ppid=17769 vsize=13985408 CPUtime=0.09 cores=1,3,5,7
/proc/17772/task/17826/stat : 17826 (java) S 17769 17772 30500 0 -1 1077944384 57 12582 0 0 1 0 5 3 20 0 15 0 47537363 14321057792 42650 18446744073709551615 4194304 4196468 140730861345504 139635496339728 139635542542037 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
[pid=17772/tid=17827] ppid=17769 vsize=13985408 CPUtime=0.09 cores=1,3,5,7
/proc/17772/task/17827/stat : 17827 (java) S 17769 17772 30500 0 -1 1077944384 1692 12582 0 0 1 0 5 3 20 0 15 0 47537364 14321057792 42650 18446744073709551615 4194304 4196468 140730861345504 139635020774256 139635542542978 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
[pid=17772/tid=17828] ppid=17769 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/17772/task/17828/stat : 17828 (java) S 17769 17772 30500 0 -1 1077944384 54 12582 0 0 0 0 5 3 20 0 15 0 47537365 14321057792 42650 18446744073709551615 4194304 4196468 140730861345504 139635019720288 139635542542037 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
[pid=17772/tid=17829] ppid=17769 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/17772/task/17829/stat : 17829 (java) S 17769 17772 30500 0 -1 1077944384 46 12582 0 0 0 0 5 3 20 0 15 0 47537365 14321057792 42650 18446744073709551615 4194304 4196468 140730861345504 139635018667392 139635542542037 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
[pid=17772/tid=17830] ppid=17769 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/17772/task/17830/stat : 17830 (java) S 17769 17772 30500 0 -1 1077944384 3 12582 0 0 0 0 5 3 20 0 15 0 47537368 14321057792 42650 18446744073709551615 4194304 4196468 140730861345504 139635017615696 139635542550427 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
[pid=17772/tid=17831] ppid=17769 vsize=13985408 CPUtime=0.25 cores=1,3,5,7
/proc/17772/task/17831/stat : 17831 (java) S 17769 17772 30500 0 -1 1077944384 1128 12582 0 0 17 0 5 3 20 0 15 0 47537368 14321057792 42650 18446744073709551615 4194304 4196468 140730861345504 139635016563056 139635542542978 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
[pid=17772/tid=17832] ppid=17769 vsize=13985408 CPUtime=0.24 cores=1,3,5,7
/proc/17772/task/17832/stat : 17832 (java) S 17769 17772 30500 0 -1 1077944384 789 12582 0 0 16 0 5 3 20 0 15 0 47537368 14321057792 42650 18446744073709551615 4194304 4196468 140730861345504 139635015510256 139635542542978 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
[pid=17772/tid=17833] ppid=17769 vsize=13985408 CPUtime=0.31 cores=1,3,5,7
/proc/17772/task/17833/stat : 17833 (java) S 17769 17772 30500 0 -1 1077944384 1424 12582 0 0 23 0 5 3 20 0 15 0 47537368 14321057792 42650 18446744073709551615 4194304 4196468 140730861345504 139635014457456 139635542542978 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
[pid=17772/tid=17834] ppid=17769 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/17772/task/17834/stat : 17834 (java) S 17769 17772 30500 0 -1 1077944384 3 12582 0 0 0 0 5 3 20 0 15 0 47537368 14321057792 42650 18446744073709551615 4194304 4196468 140730861345504 139635013404896 139635542542037 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
[pid=17772/tid=17835] ppid=17769 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/17772/task/17835/stat : 17835 (java) S 17769 17772 30500 0 -1 1077944384 12 12582 0 0 0 0 5 3 20 0 15 0 47537372 14321057792 42650 18446744073709551615 4194304 4196468 140730861345504 139635012353200 139635542542978 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
Current children cumulated CPU time (s) 1.97
Current children cumulated vsize (KiB) 13985408
[startup+3.10067 s]
/proc/loadavg: 1.32 1.45 1.56 4/214 17835
/proc/meminfo: memFree=29842668/32770624 swapFree=0/298340
[pid=17772] ppid=17769 vsize=13997884 CPUtime=5.64 cores=1,3,5,7
/proc/17772/stat : 17772 (java) S 17769 17772 30500 0 -1 1077944320 49620 12582 0 0 540 16 5 3 20 0 15 0 47537343 14333833216 54211 18446744073709551615 4194304 4196468 140730861345504 140730861328048 139635542531831 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
/proc/17772/statm: 3499471 54211 3445 1 0 3488085 0
[pid=17772/tid=17822] ppid=17769 vsize=13997884 CPUtime=2.9 cores=1,3,5,7
/proc/17772/task/17822/stat : 17822 (java) R 17769 17772 30500 0 -1 4202560 35491 12582 0 0 272 10 5 3 20 0 15 0 47537362 14333833216 54211 18446744073709551615 4194304 4196468 140730861345504 139635546765712 139635542553178 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
[pid=17772/tid=17823] ppid=17769 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/17772/task/17823/stat : 17823 (java) S 17769 17772 30500 0 -1 1077944384 69 12582 0 0 0 0 5 3 20 0 15 0 47537363 14333833216 54211 18446744073709551615 4194304 4196468 140730861345504 139635499498128 139635542542037 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
[pid=17772/tid=17824] ppid=17769 vsize=13997884 CPUtime=0.09 cores=1,3,5,7
/proc/17772/task/17824/stat : 17824 (java) S 17769 17772 30500 0 -1 1077944384 38 12582 0 0 1 0 5 3 20 0 15 0 47537363 14333833216 54211 18446744073709551615 4194304 4196468 140730861345504 139635498445328 139635542542037 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
[pid=17772/tid=17825] ppid=17769 vsize=13997884 CPUtime=0.09 cores=1,3,5,7
/proc/17772/task/17825/stat : 17825 (java) S 17769 17772 30500 0 -1 1077944384 196 12582 0 0 1 0 5 3 20 0 15 0 47537363 14333833216 54211 18446744073709551615 4194304 4196468 140730861345504 139635497392528 139635542542037 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
[pid=17772/tid=17826] ppid=17769 vsize=13997884 CPUtime=0.09 cores=1,3,5,7
/proc/17772/task/17826/stat : 17826 (java) S 17769 17772 30500 0 -1 1077944384 57 12582 0 0 1 0 5 3 20 0 15 0 47537363 14333833216 54211 18446744073709551615 4194304 4196468 140730861345504 139635496339728 139635542542037 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
[pid=17772/tid=17827] ppid=17769 vsize=13997884 CPUtime=0.09 cores=1,3,5,7
/proc/17772/task/17827/stat : 17827 (java) S 17769 17772 30500 0 -1 1077944384 1706 12582 0 0 1 0 5 3 20 0 15 0 47537364 14333833216 54211 18446744073709551615 4194304 4196468 140730861345504 139635020774256 139635542542978 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
[pid=17772/tid=17828] ppid=17769 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/17772/task/17828/stat : 17828 (java) S 17769 17772 30500 0 -1 1077944384 54 12582 0 0 0 0 5 3 20 0 15 0 47537365 14333833216 54211 18446744073709551615 4194304 4196468 140730861345504 139635019720288 139635542542037 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
[pid=17772/tid=17829] ppid=17769 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/17772/task/17829/stat : 17829 (java) S 17769 17772 30500 0 -1 1077944384 46 12582 0 0 0 0 5 3 20 0 15 0 47537365 14333833216 54211 18446744073709551615 4194304 4196468 140730861345504 139635018667392 139635542542037 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
[pid=17772/tid=17830] ppid=17769 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/17772/task/17830/stat : 17830 (java) S 17769 17772 30500 0 -1 1077944384 3 12582 0 0 0 0 5 3 20 0 15 0 47537368 14333833216 54211 18446744073709551615 4194304 4196468 140730861345504 139635017615696 139635542550427 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
[pid=17772/tid=17831] ppid=17769 vsize=13997884 CPUtime=0.72 cores=1,3,5,7
/proc/17772/task/17831/stat : 17831 (java) R 17769 17772 30500 0 -1 4202560 1761 12582 0 0 63 1 5 3 20 0 15 0 47537368 14333833216 54211 18446744073709551615 4194304 4196468 140730861345504 139635016544416 139635525918635 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
[pid=17772/tid=17832] ppid=17769 vsize=13997884 CPUtime=1.05 cores=1,3,5,7
/proc/17772/task/17832/stat : 17832 (java) R 17769 17772 30500 0 -1 4202560 4228 12582 0 0 96 1 5 3 20 0 15 0 47537368 14333833216 54211 18446744073709551615 4194304 4196468 140730861345504 139635015496352 139635527456801 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
[pid=17772/tid=17833] ppid=17769 vsize=13997884 CPUtime=1.09 cores=1,3,5,7
/proc/17772/task/17833/stat : 17833 (java) R 17769 17772 30500 0 -1 4202560 3808 12582 0 0 100 1 5 3 20 0 15 0 47537368 14333833216 54211 18446744073709551615 4194304 4196468 140730861345504 139635014457456 139635526575461 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
[pid=17772/tid=17834] ppid=17769 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/17772/task/17834/stat : 17834 (java) S 17769 17772 30500 0 -1 1077944384 3 12582 0 0 0 0 5 3 20 0 15 0 47537368 14333833216 54211 18446744073709551615 4194304 4196468 140730861345504 139635013404896 139635542542037 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
[pid=17772/tid=17835] ppid=17769 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/17772/task/17835/stat : 17835 (java) S 17769 17772 30500 0 -1 1077944384 14 12582 0 0 0 0 5 3 20 0 15 0 47537372 14333833216 54211 18446744073709551615 4194304 4196468 140730861345504 139635012353200 139635542542978 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
Current children cumulated CPU time (s) 5.64
Current children cumulated vsize (KiB) 13997884
[startup+6.30064 s]
/proc/loadavg: 1.32 1.45 1.56 5/214 17835
/proc/meminfo: memFree=29658096/32770624 swapFree=0/298352
[pid=17772] ppid=17769 vsize=14071612 CPUtime=15.44 cores=1,3,5,7
/proc/17772/stat : 17772 (java) S 17769 17772 30500 0 -1 1077944320 75901 12582 0 0 1509 27 5 3 20 0 15 0 47537343 14409330688 99247 18446744073709551615 4194304 4196468 140730861345504 140730861328048 139635542531831 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
/proc/17772/statm: 3517903 99247 3476 1 0 3506517 0
[pid=17772/tid=17822] ppid=17769 vsize=14071612 CPUtime=5.98 cores=1,3,5,7
/proc/17772/task/17822/stat : 17822 (java) R 17769 17772 30500 0 -1 4202560 45674 12582 0 0 577 13 5 3 20 0 15 0 47537362 14409330688 99247 18446744073709551615 4194304 4196468 140730861345504 139635546763288 139635197267940 0 4 1 16800974 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
[pid=17772/tid=17823] ppid=17769 vsize=14071612 CPUtime=0.14 cores=1,3,5,7
/proc/17772/task/17823/stat : 17823 (java) S 17769 17772 30500 0 -1 1077944384 160 12582 0 0 5 1 5 3 20 0 15 0 47537363 14409330688 99247 18446744073709551615 4194304 4196468 140730861345504 139635499498128 139635542542037 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
[pid=17772/tid=17824] ppid=17769 vsize=14071612 CPUtime=0.13 cores=1,3,5,7
/proc/17772/task/17824/stat : 17824 (java) S 17769 17772 30500 0 -1 1077944384 70 12582 0 0 5 0 5 3 20 0 15 0 47537363 14409330688 99247 18446744073709551615 4194304 4196468 140730861345504 139635498445328 139635542542037 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
[pid=17772/tid=17825] ppid=17769 vsize=14071612 CPUtime=0.15 cores=1,3,5,7
/proc/17772/task/17825/stat : 17825 (java) S 17769 17772 30500 0 -1 1077944384 1181 12582 0 0 6 1 5 3 20 0 15 0 47537363 14409330688 99247 18446744073709551615 4194304 4196468 140730861345504 139635497392528 139635542542037 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
[pid=17772/tid=17826] ppid=17769 vsize=14071612 CPUtime=0.13 cores=1,3,5,7
/proc/17772/task/17826/stat : 17826 (java) S 17769 17772 30500 0 -1 1077944384 185 12582 0 0 5 0 5 3 20 0 15 0 47537363 14409330688 99247 18446744073709551615 4194304 4196468 140730861345504 139635496339728 139635542542037 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
[pid=17772/tid=17827] ppid=17769 vsize=14071612 CPUtime=0.12 cores=1,3,5,7
/proc/17772/task/17827/stat : 17827 (java) S 17769 17772 30500 0 -1 1077944384 2386 12582 0 0 4 0 5 3 20 0 15 0 47537364 14409330688 99247 18446744073709551615 4194304 4196468 140730861345504 139635020774256 139635542542978 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
[pid=17772/tid=17828] ppid=17769 vsize=14071612 CPUtime=0.08 cores=1,3,5,7
/proc/17772/task/17828/stat : 17828 (java) S 17769 17772 30500 0 -1 1077944384 54 12582 0 0 0 0 5 3 20 0 15 0 47537365 14409330688 99247 18446744073709551615 4194304 4196468 140730861345504 139635019720352 139635542542037 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
[pid=17772/tid=17829] ppid=17769 vsize=14071612 CPUtime=0.08 cores=1,3,5,7
/proc/17772/task/17829/stat : 17829 (java) S 17769 17772 30500 0 -1 1077944384 46 12582 0 0 0 0 5 3 20 0 15 0 47537365 14409330688 99247 18446744073709551615 4194304 4196468 140730861345504 139635018667392 139635542542037 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
[pid=17772/tid=17830] ppid=17769 vsize=14071612 CPUtime=0.08 cores=1,3,5,7
/proc/17772/task/17830/stat : 17830 (java) S 17769 17772 30500 0 -1 1077944384 3 12582 0 0 0 0 5 3 20 0 15 0 47537368 14409330688 99247 18446744073709551615 4194304 4196468 140730861345504 139635017615696 139635542550427 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
[pid=17772/tid=17831] ppid=17769 vsize=14071612 CPUtime=3.43 cores=1,3,5,7
/proc/17772/task/17831/stat : 17831 (java) R 17769 17772 30500 0 -1 4202560 10375 12582 0 0 333 2 5 3 20 0 15 0 47537368 14409330688 99247 18446744073709551615 4194304 4196468 140730861345504 139635016563056 139635523905600 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
[pid=17772/tid=17832] ppid=17769 vsize=14071612 CPUtime=3.62 cores=1,3,5,7
/proc/17772/task/17832/stat : 17832 (java) S 17769 17772 30500 0 -1 1077944384 6698 12582 0 0 353 1 5 3 20 0 15 0 47537368 14409330688 99247 18446744073709551615 4194304 4196468 140730861345504 139635015510256 139635542542978 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
[pid=17772/tid=17833] ppid=17769 vsize=14071612 CPUtime=2.26 cores=1,3,5,7
/proc/17772/task/17833/stat : 17833 (java) S 17769 17772 30500 0 -1 1077944384 6901 12582 0 0 215 3 5 3 20 0 15 0 47537368 14409330688 99247 18446744073709551615 4194304 4196468 140730861345504 139635014457456 139635542542978 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
[pid=17772/tid=17834] ppid=17769 vsize=14071612 CPUtime=0.08 cores=1,3,5,7
/proc/17772/task/17834/stat : 17834 (java) S 17769 17772 30500 0 -1 1077944384 3 12582 0 0 0 0 5 3 20 0 15 0 47537368 14409330688 99247 18446744073709551615 4194304 4196468 140730861345504 139635013404896 139635542542037 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
[pid=17772/tid=17835] ppid=17769 vsize=14071612 CPUtime=0.08 cores=1,3,5,7
/proc/17772/task/17835/stat : 17835 (java) S 17769 17772 30500 0 -1 1077944384 16 12582 0 0 0 0 5 3 20 0 15 0 47537372 14409330688 99247 18446744073709551615 4194304 4196468 140730861345504 139635012353200 139635542542978 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
Current children cumulated CPU time (s) 15.44
Current children cumulated vsize (KiB) 14071612
[startup+12.7007 s]
/proc/loadavg: 1.27 1.44 1.56 3/214 17835
/proc/meminfo: memFree=29172512/32770624 swapFree=0/298360
[pid=17772] ppid=17769 vsize=14071612 CPUtime=23.99 cores=1,3,5,7
/proc/17772/stat : 17772 (java) S 17769 17772 30500 0 -1 1077944320 85469 12582 0 0 2351 40 5 3 20 0 15 0 47537343 14409330688 236421 18446744073709551615 4194304 4196468 140730861345504 140730861328048 139635542531831 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
/proc/17772/statm: 3517903 236421 3481 1 0 3506517 0
[pid=17772/tid=17822] ppid=17769 vsize=14071612 CPUtime=12.33 cores=1,3,5,7
/proc/17772/task/17822/stat : 17822 (java) R 17769 17772 30500 0 -1 4202560 47403 12582 0 0 1204 21 5 3 20 0 15 0 47537362 14409330688 236421 18446744073709551615 4194304 4196468 140730861345504 139635546763064 139635526870639 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
[pid=17772/tid=17823] ppid=17769 vsize=14071612 CPUtime=0.17 cores=1,3,5,7
/proc/17772/task/17823/stat : 17823 (java) S 17769 17772 30500 0 -1 1077944384 244 12582 0 0 8 1 5 3 20 0 15 0 47537363 14409330688 236421 18446744073709551615 4194304 4196468 140730861345504 139635499498128 139635542542037 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
[pid=17772/tid=17824] ppid=17769 vsize=14071612 CPUtime=0.17 cores=1,3,5,7
/proc/17772/task/17824/stat : 17824 (java) S 17769 17772 30500 0 -1 1077944384 109 12582 0 0 8 1 5 3 20 0 15 0 47537363 14409330688 236421 18446744073709551615 4194304 4196468 140730861345504 139635498445328 139635542542037 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
[pid=17772/tid=17825] ppid=17769 vsize=14071612 CPUtime=0.18 cores=1,3,5,7
/proc/17772/task/17825/stat : 17825 (java) S 17769 17772 30500 0 -1 1077944384 1764 12582 0 0 9 1 5 3 20 0 15 0 47537363 14409330688 236421 18446744073709551615 4194304 4196468 140730861345504 139635497392528 139635542542037 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
[pid=17772/tid=17826] ppid=17769 vsize=14071612 CPUtime=0.18 cores=1,3,5,7
/proc/17772/task/17826/stat : 17826 (java) S 17769 17772 30500 0 -1 1077944384 224 12582 0 0 9 1 5 3 20 0 15 0 47537363 14409330688 236421 18446744073709551615 4194304 4196468 140730861345504 139635496339728 139635542542037 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
[pid=17772/tid=17827] ppid=17769 vsize=14071612 CPUtime=0.13 cores=1,3,5,7
/proc/17772/task/17827/stat : 17827 (java) S 17769 17772 30500 0 -1 1077944384 2949 12582 0 0 5 0 5 3 20 0 15 0 47537364 14409330688 236421 18446744073709551615 4194304 4196468 140730861345504 139635020774256 139635542542978 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
[pid=17772/tid=17828] ppid=17769 vsize=14071612 CPUtime=0.08 cores=1,3,5,7
/proc/17772/task/17828/stat : 17828 (java) S 17769 17772 30500 0 -1 1077944384 54 12582 0 0 0 0 5 3 20 0 15 0 47537365 14409330688 236421 18446744073709551615 4194304 4196468 140730861345504 139635019720352 139635542542037 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
[pid=17772/tid=17829] ppid=17769 vsize=14071612 CPUtime=0.08 cores=1,3,5,7
/proc/17772/task/17829/stat : 17829 (java) S 17769 17772 30500 0 -1 1077944384 46 12582 0 0 0 0 5 3 20 0 15 0 47537365 14409330688 236421 18446744073709551615 4194304 4196468 140730861345504 139635018667392 139635542542037 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
[pid=17772/tid=17830] ppid=17769 vsize=14071612 CPUtime=0.08 cores=1,3,5,7
/proc/17772/task/17830/stat : 17830 (java) S 17769 17772 30500 0 -1 1077944384 3 12582 0 0 0 0 5 3 20 0 15 0 47537368 14409330688 236421 18446744073709551615 4194304 4196468 140730861345504 139635017615696 139635542550427 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
################
# More data... #
################
/proc/17772/task/17834/stat : 17834 (java) S 17769 17772 30500 0 -1 1077944384 3 12582 0 0 0 0 5 3 20 0 15 0 47537368 14409330688 326293 18446744073709551615 4194304 4196468 140730861345504 139635013404896 139635542542037 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
[pid=17772/tid=17835] ppid=17769 vsize=14071612 CPUtime=0.12 cores=1,3,5,7
/proc/17772/task/17835/stat : 17835 (java) S 17769 17772 30500 0 -1 1077944384 176 12582 0 0 1 3 5 3 20 0 15 0 47537372 14409330688 326293 18446744073709551615 4194304 4196468 140730861345504 139635012353200 139635542542978 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
Current children cumulated CPU time (s) 114.55
Current children cumulated vsize (KiB) 14071612
[startup+162.301 s]
/proc/loadavg: 1.18 1.39 1.53 3/214 17965
/proc/meminfo: memFree=29412896/32770624 swapFree=0/298464
[pid=17772] ppid=17769 vsize=14071612 CPUtime=175.37 cores=1,3,5,7
/proc/17772/stat : 17772 (java) S 17769 17772 30500 0 -1 1077944320 122318 12582 0 0 17465 64 5 3 20 0 15 0 47537343 14409330688 322262 18446744073709551615 4194304 4196468 140730861345504 140730861328048 139635542531831 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
/proc/17772/statm: 3517903 322262 3483 1 0 3506517 0
[pid=17772/tid=17822] ppid=17769 vsize=14071612 CPUtime=161.08 cores=1,3,5,7
/proc/17772/task/17822/stat : 17822 (java) R 17769 17772 30500 0 -1 4202560 54245 12582 0 0 16073 27 5 3 20 0 15 0 47537362 14409330688 322262 18446744073709551615 4194304 4196468 140730861345504 139635546766208 139635197329568 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
[pid=17772/tid=17823] ppid=17769 vsize=14071612 CPUtime=0.63 cores=1,3,5,7
/proc/17772/task/17823/stat : 17823 (java) S 17769 17772 30500 0 -1 1077944384 2653 12582 0 0 50 5 5 3 20 0 15 0 47537363 14409330688 322262 18446744073709551615 4194304 4196468 140730861345504 139635499498128 139635542542037 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
[pid=17772/tid=17824] ppid=17769 vsize=14071612 CPUtime=0.63 cores=1,3,5,7
/proc/17772/task/17824/stat : 17824 (java) S 17769 17772 30500 0 -1 1077944384 4489 12582 0 0 51 4 5 3 20 0 15 0 47537363 14409330688 322262 18446744073709551615 4194304 4196468 140730861345504 139635498445328 139635542542037 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
[pid=17772/tid=17825] ppid=17769 vsize=14071612 CPUtime=0.64 cores=1,3,5,7
/proc/17772/task/17825/stat : 17825 (java) S 17769 17772 30500 0 -1 1077944384 2634 12582 0 0 51 5 5 3 20 0 15 0 47537363 14409330688 322262 18446744073709551615 4194304 4196468 140730861345504 139635497392528 139635542542037 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
[pid=17772/tid=17826] ppid=17769 vsize=14071612 CPUtime=0.64 cores=1,3,5,7
/proc/17772/task/17826/stat : 17826 (java) S 17769 17772 30500 0 -1 1077944384 697 12582 0 0 51 5 5 3 20 0 15 0 47537363 14409330688 322262 18446744073709551615 4194304 4196468 140730861345504 139635496339728 139635542542037 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
[pid=17772/tid=17827] ppid=17769 vsize=14071612 CPUtime=0.43 cores=1,3,5,7
/proc/17772/task/17827/stat : 17827 (java) S 17769 17772 30500 0 -1 1077944384 4474 12582 0 0 33 2 5 3 20 0 15 0 47537364 14409330688 322262 18446744073709551615 4194304 4196468 140730861345504 139635020774256 139635542542978 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
[pid=17772/tid=17828] ppid=17769 vsize=14071612 CPUtime=0.08 cores=1,3,5,7
/proc/17772/task/17828/stat : 17828 (java) S 17769 17772 30500 0 -1 1077944384 54 12582 0 0 0 0 5 3 20 0 15 0 47537365 14409330688 322262 18446744073709551615 4194304 4196468 140730861345504 139635019720352 139635542542037 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
[pid=17772/tid=17829] ppid=17769 vsize=14071612 CPUtime=0.08 cores=1,3,5,7
/proc/17772/task/17829/stat : 17829 (java) S 17769 17772 30500 0 -1 1077944384 46 12582 0 0 0 0 5 3 20 0 15 0 47537365 14409330688 322262 18446744073709551615 4194304 4196468 140730861345504 139635018667392 139635542542037 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
[pid=17772/tid=17830] ppid=17769 vsize=14071612 CPUtime=0.08 cores=1,3,5,7
/proc/17772/task/17830/stat : 17830 (java) S 17769 17772 30500 0 -1 1077944384 3 12582 0 0 0 0 5 3 20 0 15 0 47537368 14409330688 322262 18446744073709551615 4194304 4196468 140730861345504 139635017615696 139635542550427 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
[pid=17772/tid=17831] ppid=17769 vsize=14071612 CPUtime=4.66 cores=1,3,5,7
/proc/17772/task/17831/stat : 17831 (java) S 17769 17772 30500 0 -1 1077944384 21782 12582 0 0 455 3 5 3 20 0 15 0 47537368 14409330688 322262 18446744073709551615 4194304 4196468 140730861345504 139635016563056 139635542542978 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
[pid=17772/tid=17832] ppid=17769 vsize=14071612 CPUtime=4.74 cores=1,3,5,7
/proc/17772/task/17832/stat : 17832 (java) S 17769 17772 30500 0 -1 1077944384 16836 12582 0 0 464 2 5 3 20 0 15 0 47537368 14409330688 322262 18446744073709551615 4194304 4196468 140730861345504 139635015510256 139635542542978 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
[pid=17772/tid=17833] ppid=17769 vsize=14071612 CPUtime=2.35 cores=1,3,5,7
/proc/17772/task/17833/stat : 17833 (java) S 17769 17772 30500 0 -1 1077944384 12034 12582 0 0 223 4 5 3 20 0 15 0 47537368 14409330688 322262 18446744073709551615 4194304 4196468 140730861345504 139635014457456 139635542542978 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
[pid=17772/tid=17834] ppid=17769 vsize=14071612 CPUtime=0.08 cores=1,3,5,7
/proc/17772/task/17834/stat : 17834 (java) S 17769 17772 30500 0 -1 1077944384 3 12582 0 0 0 0 5 3 20 0 15 0 47537368 14409330688 322262 18446744073709551615 4194304 4196468 140730861345504 139635013404896 139635542542037 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
[pid=17772/tid=17835] ppid=17769 vsize=14071612 CPUtime=0.16 cores=1,3,5,7
/proc/17772/task/17835/stat : 17835 (java) S 17769 17772 30500 0 -1 1077944384 219 12582 0 0 3 5 5 3 20 0 15 0 47537372 14409330688 322262 18446744073709551615 4194304 4196468 140730861345504 139635012353200 139635542542978 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
Current children cumulated CPU time (s) 175.37
Current children cumulated vsize (KiB) 14071612
[startup+222.307 s]
/proc/loadavg: 1.35 1.41 1.53 3/213 17967
/proc/meminfo: memFree=29428524/32770624 swapFree=0/298496
[pid=17772] ppid=17769 vsize=14071612 CPUtime=236.27 cores=1,3,5,7
/proc/17772/stat : 17772 (java) S 17769 17772 30500 0 -1 1077944320 128410 12582 0 0 23547 72 5 3 20 0 15 0 47537343 14409330688 318632 18446744073709551615 4194304 4196468 140730861345504 140730861328048 139635542531831 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
/proc/17772/statm: 3517903 318632 3483 1 0 3506517 0
[pid=17772/tid=17822] ppid=17769 vsize=14071612 CPUtime=220.49 cores=1,3,5,7
/proc/17772/task/17822/stat : 17822 (java) R 17769 17772 30500 0 -1 4202560 56040 12582 0 0 22013 28 5 3 20 0 15 0 47537362 14409330688 318632 18446744073709551615 4194304 4196468 140730861345504 139635546766096 139635196059044 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
[pid=17772/tid=17823] ppid=17769 vsize=14071612 CPUtime=0.94 cores=1,3,5,7
/proc/17772/task/17823/stat : 17823 (java) S 17769 17772 30500 0 -1 1077944384 2754 12582 0 0 80 6 5 3 20 0 15 0 47537363 14409330688 318632 18446744073709551615 4194304 4196468 140730861345504 139635499498128 139635542542037 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
[pid=17772/tid=17824] ppid=17769 vsize=14071612 CPUtime=0.94 cores=1,3,5,7
/proc/17772/task/17824/stat : 17824 (java) S 17769 17772 30500 0 -1 1077944384 6223 12582 0 0 80 6 5 3 20 0 15 0 47537363 14409330688 318632 18446744073709551615 4194304 4196468 140730861345504 139635498445328 139635542542037 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
[pid=17772/tid=17825] ppid=17769 vsize=14071612 CPUtime=0.95 cores=1,3,5,7
/proc/17772/task/17825/stat : 17825 (java) S 17769 17772 30500 0 -1 1077944384 2914 12582 0 0 81 6 5 3 20 0 15 0 47537363 14409330688 318632 18446744073709551615 4194304 4196468 140730861345504 139635497392528 139635542542037 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
[pid=17772/tid=17826] ppid=17769 vsize=14071612 CPUtime=0.94 cores=1,3,5,7
/proc/17772/task/17826/stat : 17826 (java) S 17769 17772 30500 0 -1 1077944384 842 12582 0 0 80 6 5 3 20 0 15 0 47537363 14409330688 318632 18446744073709551615 4194304 4196468 140730861345504 139635496339728 139635542542037 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
[pid=17772/tid=17827] ppid=17769 vsize=14071612 CPUtime=0.66 cores=1,3,5,7
/proc/17772/task/17827/stat : 17827 (java) S 17769 17772 30500 0 -1 1077944384 4833 12582 0 0 54 4 5 3 20 0 15 0 47537364 14409330688 318632 18446744073709551615 4194304 4196468 140730861345504 139635020774256 139635542542978 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
[pid=17772/tid=17828] ppid=17769 vsize=14071612 CPUtime=0.08 cores=1,3,5,7
/proc/17772/task/17828/stat : 17828 (java) S 17769 17772 30500 0 -1 1077944384 54 12582 0 0 0 0 5 3 20 0 15 0 47537365 14409330688 318632 18446744073709551615 4194304 4196468 140730861345504 139635019720352 139635542542037 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
[pid=17772/tid=17829] ppid=17769 vsize=14071612 CPUtime=0.08 cores=1,3,5,7
/proc/17772/task/17829/stat : 17829 (java) S 17769 17772 30500 0 -1 1077944384 46 12582 0 0 0 0 5 3 20 0 15 0 47537365 14409330688 318632 18446744073709551615 4194304 4196468 140730861345504 139635018667392 139635542542037 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
[pid=17772/tid=17830] ppid=17769 vsize=14071612 CPUtime=0.08 cores=1,3,5,7
/proc/17772/task/17830/stat : 17830 (java) S 17769 17772 30500 0 -1 1077944384 3 12582 0 0 0 0 5 3 20 0 15 0 47537368 14409330688 318632 18446744073709551615 4194304 4196468 140730861345504 139635017615696 139635542550427 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
[pid=17772/tid=17831] ppid=17769 vsize=14071612 CPUtime=4.67 cores=1,3,5,7
/proc/17772/task/17831/stat : 17831 (java) S 17769 17772 30500 0 -1 1077944384 22213 12582 0 0 456 3 5 3 20 0 15 0 47537368 14409330688 318632 18446744073709551615 4194304 4196468 140730861345504 139635016563056 139635542542978 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
[pid=17772/tid=17832] ppid=17769 vsize=14071612 CPUtime=4.75 cores=1,3,5,7
/proc/17772/task/17832/stat : 17832 (java) S 17769 17772 30500 0 -1 1077944384 18050 12582 0 0 464 3 5 3 20 0 15 0 47537368 14409330688 318632 18446744073709551615 4194304 4196468 140730861345504 139635015510256 139635542542978 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
[pid=17772/tid=17833] ppid=17769 vsize=14071612 CPUtime=2.35 cores=1,3,5,7
/proc/17772/task/17833/stat : 17833 (java) S 17769 17772 30500 0 -1 1077944384 12036 12582 0 0 223 4 5 3 20 0 15 0 47537368 14409330688 318632 18446744073709551615 4194304 4196468 140730861345504 139635014457456 139635542542978 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
[pid=17772/tid=17834] ppid=17769 vsize=14071612 CPUtime=0.08 cores=1,3,5,7
/proc/17772/task/17834/stat : 17834 (java) S 17769 17772 30500 0 -1 1077944384 3 12582 0 0 0 0 5 3 20 0 15 0 47537368 14409330688 318632 18446744073709551615 4194304 4196468 140730861345504 139635013404896 139635542542037 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
[pid=17772/tid=17835] ppid=17769 vsize=14071612 CPUtime=0.19 cores=1,3,5,7
/proc/17772/task/17835/stat : 17835 (java) S 17769 17772 30500 0 -1 1077944384 250 12582 0 0 4 7 5 3 20 0 15 0 47537372 14409330688 318632 18446744073709551615 4194304 4196468 140730861345504 139635012353200 139635542542978 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
Current children cumulated CPU time (s) 236.27
Current children cumulated vsize (KiB) 14071612
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.48 1.44 1.53 3/213 17968
/proc/meminfo: memFree=29428532/32770624 swapFree=0/298496
[pid=17772] ppid=17769 vsize=14071612 CPUtime=254.27 cores=1,3,5,7
/proc/17772/stat : 17772 (java) S 17769 17772 30500 0 -1 1077944320 131182 12582 0 0 25344 75 5 3 20 0 15 0 47537343 14409330688 318666 18446744073709551615 4194304 4196468 140730861345504 140730861328048 139635542531831 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
/proc/17772/statm: 3517903 318666 3483 1 0 3506517 0
[pid=17772/tid=17822] ppid=17769 vsize=14071612 CPUtime=238 cores=1,3,5,7
/proc/17772/task/17822/stat : 17822 (java) R 17769 17772 30500 0 -1 4202560 56482 12582 0 0 23764 28 5 3 20 0 15 0 47537362 14409330688 318666 18446744073709551615 4194304 4196468 140730861345504 139635546766096 139635195125575 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
[pid=17772/tid=17823] ppid=17769 vsize=14071612 CPUtime=1.04 cores=1,3,5,7
/proc/17772/task/17823/stat : 17823 (java) S 17769 17772 30500 0 -1 1077944384 2764 12582 0 0 89 7 5 3 20 0 15 0 47537363 14409330688 318666 18446744073709551615 4194304 4196468 140730861345504 139635499498128 139635542542037 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
[pid=17772/tid=17824] ppid=17769 vsize=14071612 CPUtime=1.03 cores=1,3,5,7
/proc/17772/task/17824/stat : 17824 (java) S 17769 17772 30500 0 -1 1077944384 7281 12582 0 0 89 6 5 3 20 0 15 0 47537363 14409330688 318666 18446744073709551615 4194304 4196468 140730861345504 139635498445328 139635542542037 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
[pid=17772/tid=17825] ppid=17769 vsize=14071612 CPUtime=1.05 cores=1,3,5,7
/proc/17772/task/17825/stat : 17825 (java) S 17769 17772 30500 0 -1 1077944384 2974 12582 0 0 91 6 5 3 20 0 15 0 47537363 14409330688 318666 18446744073709551615 4194304 4196468 140730861345504 139635497392528 139635542542037 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
[pid=17772/tid=17826] ppid=17769 vsize=14071612 CPUtime=1.04 cores=1,3,5,7
/proc/17772/task/17826/stat : 17826 (java) S 17769 17772 30500 0 -1 1077944384 865 12582 0 0 89 7 5 3 20 0 15 0 47537363 14409330688 318666 18446744073709551615 4194304 4196468 140730861345504 139635496339728 139635542542037 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
[pid=17772/tid=17827] ppid=17769 vsize=14071612 CPUtime=0.72 cores=1,3,5,7
/proc/17772/task/17827/stat : 17827 (java) S 17769 17772 30500 0 -1 1077944384 4837 12582 0 0 60 4 5 3 20 0 15 0 47537364 14409330688 318666 18446744073709551615 4194304 4196468 140730861345504 139635020774256 139635542542978 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
[pid=17772/tid=17828] ppid=17769 vsize=14071612 CPUtime=0.08 cores=1,3,5,7
/proc/17772/task/17828/stat : 17828 (java) S 17769 17772 30500 0 -1 1077944384 54 12582 0 0 0 0 5 3 20 0 15 0 47537365 14409330688 318666 18446744073709551615 4194304 4196468 140730861345504 139635019720352 139635542542037 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
[pid=17772/tid=17829] ppid=17769 vsize=14071612 CPUtime=0.08 cores=1,3,5,7
/proc/17772/task/17829/stat : 17829 (java) S 17769 17772 30500 0 -1 1077944384 46 12582 0 0 0 0 5 3 20 0 15 0 47537365 14409330688 318666 18446744073709551615 4194304 4196468 140730861345504 139635018667392 139635542542037 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
[pid=17772/tid=17830] ppid=17769 vsize=14071612 CPUtime=0.08 cores=1,3,5,7
/proc/17772/task/17830/stat : 17830 (java) S 17769 17772 30500 0 -1 1077944384 3 12582 0 0 0 0 5 3 20 0 15 0 47537368 14409330688 318666 18446744073709551615 4194304 4196468 140730861345504 139635017615696 139635542550427 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
[pid=17772/tid=17831] ppid=17769 vsize=14071612 CPUtime=4.67 cores=1,3,5,7
/proc/17772/task/17831/stat : 17831 (java) S 17769 17772 30500 0 -1 1077944384 22213 12582 0 0 456 3 5 3 20 0 15 0 47537368 14409330688 318666 18446744073709551615 4194304 4196468 140730861345504 139635016563056 139635542542978 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
[pid=17772/tid=17832] ppid=17769 vsize=14071612 CPUtime=4.78 cores=1,3,5,7
/proc/17772/task/17832/stat : 17832 (java) S 17769 17772 30500 0 -1 1077944384 18822 12582 0 0 467 3 5 3 20 0 15 0 47537368 14409330688 318666 18446744073709551615 4194304 4196468 140730861345504 139635015510256 139635542542978 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
[pid=17772/tid=17833] ppid=17769 vsize=14071612 CPUtime=2.35 cores=1,3,5,7
/proc/17772/task/17833/stat : 17833 (java) S 17769 17772 30500 0 -1 1077944384 12439 12582 0 0 223 4 5 3 20 0 15 0 47537368 14409330688 318666 18446744073709551615 4194304 4196468 140730861345504 139635014457456 139635542542978 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
[pid=17772/tid=17834] ppid=17769 vsize=14071612 CPUtime=0.08 cores=1,3,5,7
/proc/17772/task/17834/stat : 17834 (java) S 17769 17772 30500 0 -1 1077944384 3 12582 0 0 0 0 5 3 20 0 15 0 47537368 14409330688 318666 18446744073709551615 4194304 4196468 140730861345504 139635013404896 139635542542037 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
[pid=17772/tid=17835] ppid=17769 vsize=14071612 CPUtime=0.21 cores=1,3,5,7
/proc/17772/task/17835/stat : 17835 (java) S 17769 17772 30500 0 -1 1077944384 250 12582 0 0 5 8 5 3 20 0 15 0 47537372 14409330688 318666 18446744073709551615 4194304 4196468 140730861345504 139635012353200 139635542542978 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
Current children cumulated CPU time (s) 254.27
Current children cumulated vsize (KiB) 14071612
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 17772 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+240.209 s]
/proc/loadavg: 1.48 1.44 1.53 3/213 17968
/proc/meminfo: memFree=29428532/32770624 swapFree=0/298496
[pid=17772] ppid=17769 vsize=14204740 CPUtime=254.82 cores=1,3,5,7
/proc/17772/stat : 17772 (java) S 17769 17772 30500 0 -1 1077944320 143220 12582 0 0 25398 76 5 3 20 0 17 0 47537343 14545653760 320349 18446744073709551615 4194304 4196468 140730861345504 140730861328048 139635542531831 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
/proc/17772/statm: 3551185 320349 3483 1 0 3539799 0
[pid=17772/tid=17822] ppid=17769 vsize=14204740 CPUtime=238.02 cores=1,3,5,7
/proc/17772/task/17822/stat : 17822 (java) S 17769 17772 30500 0 -1 1077944384 57161 12582 0 0 23765 29 5 3 20 0 17 0 47537362 14545653760 320349 18446744073709551615 4194304 4196468 140730861345504 139635546769616 139635542542037 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
[pid=17772/tid=17823] ppid=17769 vsize=14204740 CPUtime=1.15 cores=1,3,5,7
/proc/17772/task/17823/stat : 17823 (java) S 17769 17772 30500 0 -1 1077944384 2855 12582 0 0 100 7 5 3 20 0 17 0 47537363 14545653760 320349 18446744073709551615 4194304 4196468 140730861345504 139635499498128 139635542542037 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
[pid=17772/tid=17824] ppid=17769 vsize=14204740 CPUtime=1.14 cores=1,3,5,7
/proc/17772/task/17824/stat : 17824 (java) S 17769 17772 30500 0 -1 1077944384 7351 12582 0 0 100 6 5 3 20 0 17 0 47537363 14545653760 320349 18446744073709551615 4194304 4196468 140730861345504 139635498445328 139635542542037 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
[pid=17772/tid=17825] ppid=17769 vsize=14204740 CPUtime=1.16 cores=1,3,5,7
/proc/17772/task/17825/stat : 17825 (java) S 17769 17772 30500 0 -1 1077944384 3017 12582 0 0 102 6 5 3 20 0 17 0 47537363 14545653760 320349 18446744073709551615 4194304 4196468 140730861345504 139635497392528 139635542542037 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
[pid=17772/tid=17826] ppid=17769 vsize=14204740 CPUtime=1.16 cores=1,3,5,7
/proc/17772/task/17826/stat : 17826 (java) S 17769 17772 30500 0 -1 1077944384 884 12582 0 0 101 7 5 3 20 0 17 0 47537363 14545653760 320349 18446744073709551615 4194304 4196468 140730861345504 139635496339728 139635542542037 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
[pid=17772/tid=17827] ppid=17769 vsize=14204740 CPUtime=0.81 cores=1,3,5,7
/proc/17772/task/17827/stat : 17827 (java) R 17769 17772 30500 0 -1 4202560 15441 12582 0 0 68 5 5 3 20 0 17 0 47537364 14545653760 320349 18446744073709551615 4194304 4196468 140730861345504 139635020772544 139635527665607 0 0 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
[pid=17772/tid=17828] ppid=17769 vsize=14204740 CPUtime=0.08 cores=1,3,5,7
/proc/17772/task/17828/stat : 17828 (java) S 17769 17772 30500 0 -1 1077944384 57 12582 0 0 0 0 5 3 20 0 17 0 47537365 14545653760 320349 18446744073709551615 4194304 4196468 140730861345504 139635019720256 139635542542037 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
[pid=17772/tid=17829] ppid=17769 vsize=14204740 CPUtime=0.08 cores=1,3,5,7
/proc/17772/task/17829/stat : 17829 (java) S 17769 17772 30500 0 -1 1077944384 46 12582 0 0 0 0 5 3 20 0 17 0 47537365 14545653760 320349 18446744073709551615 4194304 4196468 140730861345504 139635018667392 139635542542037 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
[pid=17772/tid=17830] ppid=17769 vsize=14204740 CPUtime=0.08 cores=1,3,5,7
/proc/17772/task/17830/stat : 17830 (java) S 17769 17772 30500 0 -1 1077944384 189 12582 0 0 0 0 5 3 20 0 17 0 47537368 14545653760 320349 18446744073709551615 4194304 4196468 140730861345504 139635017615696 139635542550427 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
[pid=17772/tid=17831] ppid=17769 vsize=14204740 CPUtime=4.67 cores=1,3,5,7
/proc/17772/task/17831/stat : 17831 (java) S 17769 17772 30500 0 -1 1077944384 22213 12582 0 0 456 3 5 3 20 0 17 0 47537368 14545653760 320349 18446744073709551615 4194304 4196468 140730861345504 139635016563056 139635542542978 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
[pid=17772/tid=17832] ppid=17769 vsize=14204740 CPUtime=4.78 cores=1,3,5,7
/proc/17772/task/17832/stat : 17832 (java) S 17769 17772 30500 0 -1 1077944384 18822 12582 0 0 467 3 5 3 20 0 17 0 47537368 14545653760 320349 18446744073709551615 4194304 4196468 140730861345504 139635015510256 139635542542978 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
[pid=17772/tid=17833] ppid=17769 vsize=14204740 CPUtime=2.35 cores=1,3,5,7
/proc/17772/task/17833/stat : 17833 (java) S 17769 17772 30500 0 -1 1077944384 12439 12582 0 0 223 4 5 3 20 0 17 0 47537368 14545653760 320349 18446744073709551615 4194304 4196468 140730861345504 139635014457456 139635542542978 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
[pid=17772/tid=17834] ppid=17769 vsize=14204740 CPUtime=0.08 cores=1,3,5,7
/proc/17772/task/17834/stat : 17834 (java) S 17769 17772 30500 0 -1 1077944384 3 12582 0 0 0 0 5 3 20 0 17 0 47537368 14545653760 320349 18446744073709551615 4194304 4196468 140730861345504 139635013404896 139635542542037 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
[pid=17772/tid=17835] ppid=17769 vsize=14204740 CPUtime=0.21 cores=1,3,5,7
/proc/17772/task/17835/stat : 17835 (java) S 17769 17772 30500 0 -1 1077944384 250 12582 0 0 5 8 5 3 20 0 17 0 47537372 14545653760 320349 18446744073709551615 4194304 4196468 140730861345504 139635012353200 139635542542978 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37937152 140730861348819 140730861351604 140730861351604 140730861354959 0
Current children cumulated CPU time (s) 254.82
Current children cumulated vsize (KiB) 14204740
Child status: 143
Real time (s): 240.283
CPU time (s): 254.973
CPU user time (s): 254.16
CPU system time (s): 0.813493
CPU usage (%): 106.114
Max. virtual memory (cumulated for all children) (KiB): 14204740
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 254.16
system time used= 0.813493
maximum resident set size= 1344988
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 155964
page faults= 0
swaps= 0
block input operations= 0
block output operations= 504
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 26150
involuntary context switches= 734
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.10345 second user time and 1.49553 second system time
The end