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-4258084-1501645059/watcher-4258084-1501645059 -o /tmp/evaluation-result-4258084-1501645059/solver-4258084-1501645059 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node129-1501642919-31105 --watchdog 300 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4258084-1501645059.xml
pid=567
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: 2.05 2.71 2.58 3/195 572
/proc/meminfo: memFree=31666876/32770624 swapFree=0/218868
[pid=572] ppid=567 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/572/stat : 572 (runsolver) D 567 572 5091 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 13128986 24240128 106 18446744073709551615 4194304 4338465 140735792711456 140735792709096 139713028092631 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 32763904 140735792713863 140735792714310 140735792714310 140735792717770 0
/proc/572/statm: 5918 106 53 36 0 2156 0
[startup+0.102845 s]
/proc/loadavg: 2.05 2.71 2.58 3/195 572
/proc/meminfo: memFree=31666876/32770624 swapFree=0/218868
[pid=572] ppid=567 vsize=10019572 CPUtime=0.01 cores=1,3,5,7
/proc/572/stat : 572 (java) S 567 572 5091 0 -1 1077944320 3832 0 0 0 1 0 0 0 20 0 8 0 13128986 10260041728 4509 18446744073709551615 4194304 4196468 140722943970544 140722943953088 140553146511095 0 0 1 16784584 18446744073709551615 0 0 17 3 0 0 7 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
/proc/572/statm: 2504893 4509 2038 1 0 2494398 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10019572
[startup+0.200322 s]
/proc/loadavg: 2.05 2.71 2.58 3/195 572
/proc/meminfo: memFree=31666876/32770624 swapFree=0/218868
[pid=572] ppid=567 vsize=10551156 CPUtime=0.08 cores=1,3,5,7
/proc/572/stat : 572 (java) S 567 572 5091 0 -1 1077944320 4936 0 0 0 7 1 0 0 20 0 15 0 13128986 10804383744 5918 18446744073709551615 4194304 4196468 140722943970544 140722943953088 140553146511095 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 7 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
/proc/572/statm: 2637789 6430 2605 1 0 2627269 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 10551156
[startup+0.300317 s]
/proc/loadavg: 2.05 2.71 2.58 3/195 572
/proc/meminfo: memFree=31666876/32770624 swapFree=0/218868
[pid=572] ppid=567 vsize=10551156 CPUtime=0.22 cores=1,3,5,7
/proc/572/stat : 572 (java) S 567 572 5091 0 -1 1077944320 8276 0 0 0 20 2 0 0 20 0 15 0 13128986 10804383744 9010 18446744073709551615 4194304 4196468 140722943970544 140722943953088 140553146511095 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 7 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
/proc/572/statm: 2637789 9010 2859 1 0 2627269 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 10551156
[startup+0.701065 s]
/proc/loadavg: 2.05 2.71 2.58 3/195 572
/proc/meminfo: memFree=31666876/32770624 swapFree=0/218868
[pid=572] ppid=567 vsize=10551232 CPUtime=1.31 cores=1,3,5,7
/proc/572/stat : 572 (java) S 567 572 5091 0 -1 1077944320 14712 0 0 0 127 4 0 0 20 0 15 0 13128986 10804461568 32209 18446744073709551615 4194304 4196468 140722943970544 140722943953088 140553146511095 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 7 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
/proc/572/statm: 2637808 32209 3052 1 0 2627269 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 10551232
[startup+1.50075 s]
/proc/loadavg: 2.05 2.71 2.58 5/211 596
/proc/meminfo: memFree=31505492/32770624 swapFree=0/218912
[pid=572] ppid=567 vsize=10617796 CPUtime=3.76 cores=1,3,5,7
/proc/572/stat : 572 (java) S 567 572 5091 0 -1 1077944320 24781 0 0 0 370 6 0 0 20 0 16 0 13128986 10872623104 46257 18446744073709551615 4194304 4196468 140722943970544 140722943953088 140553146511095 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 7 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
/proc/572/statm: 2654449 46257 3068 1 0 2643910 0
[pid=572/tid=577] ppid=567 vsize=10617796 CPUtime=1.36 cores=1,3,5,7
/proc/572/task/577/stat : 577 (java) R 567 572 5091 0 -1 4202560 7621 0 0 0 132 4 0 0 20 0 16 0 13128994 10872623104 46257 18446744073709551615 4194304 4196468 140722943970544 140553150745744 140552757504369 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
[pid=572/tid=578] ppid=567 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/572/task/578/stat : 578 (java) S 567 572 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13128995 10872623104 46257 18446744073709551615 4194304 4196468 140722943970544 140553076931216 140553146521301 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
[pid=572/tid=580] ppid=567 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/572/task/580/stat : 580 (java) S 567 572 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13128995 10872623104 46257 18446744073709551615 4194304 4196468 140722943970544 140553075878416 140553146521301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
[pid=572/tid=581] ppid=567 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/572/task/581/stat : 581 (java) S 567 572 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13128995 10872623104 46257 18446744073709551615 4194304 4196468 140722943970544 140553074825616 140553146521301 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
[pid=572/tid=582] ppid=567 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/572/task/582/stat : 582 (java) S 567 572 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 13128995 10872623104 46257 18446744073709551615 4194304 4196468 140722943970544 140552754424080 140553146521301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
[pid=572/tid=583] ppid=567 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/572/task/583/stat : 583 (java) S 567 572 5091 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 16 0 13128996 10872623104 46257 18446744073709551615 4194304 4196468 140722943970544 140552186903408 140553146522242 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
[pid=572/tid=584] ppid=567 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/572/task/584/stat : 584 (java) S 567 572 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 13128997 10872623104 46257 18446744073709551615 4194304 4196468 140722943970544 140552185849376 140553146521301 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
[pid=572/tid=585] ppid=567 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/572/task/585/stat : 585 (java) S 567 572 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 13128997 10872623104 46257 18446744073709551615 4194304 4196468 140722943970544 140552184796528 140553146521301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
[pid=572/tid=586] ppid=567 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/572/task/586/stat : 586 (java) S 567 572 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13128999 10872623104 46257 18446744073709551615 4194304 4196468 140722943970544 140552183744848 140553146529691 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
[pid=572/tid=588] ppid=567 vsize=10617796 CPUtime=1.06 cores=1,3,5,7
/proc/572/task/588/stat : 588 (java) R 567 572 5091 0 -1 4202560 6247 0 0 0 106 0 0 0 20 0 16 0 13128999 10872623104 46257 18446744073709551615 4194304 4196468 140722943970544 140552182678136 140553131435438 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
[pid=572/tid=590] ppid=567 vsize=10617796 CPUtime=1.03 cores=1,3,5,7
/proc/572/task/590/stat : 590 (java) S 567 572 5091 0 -1 1077944384 7767 0 0 0 103 0 0 0 20 0 16 0 13128999 10872623104 46257 18446744073709551615 4194304 4196468 140722943970544 140552181639408 140553146522242 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
[pid=572/tid=591] ppid=567 vsize=10617796 CPUtime=0.28 cores=1,3,5,7
/proc/572/task/591/stat : 591 (java) S 567 572 5091 0 -1 1077944384 1744 0 0 0 28 0 0 0 20 0 16 0 13128999 10872623104 46257 18446744073709551615 4194304 4196468 140722943970544 140552180586608 140553146522242 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
[pid=572/tid=593] ppid=567 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/572/task/593/stat : 593 (java) S 567 572 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13128999 10872623104 46257 18446744073709551615 4194304 4196468 140722943970544 140552179534048 140553146521301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
[pid=572/tid=594] ppid=567 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/572/task/594/stat : 594 (java) S 567 572 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13129005 10872623104 46257 18446744073709551615 4194304 4196468 140722943970544 140552178482352 140553146522242 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
[pid=572/tid=596] ppid=567 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/572/task/596/stat : 596 (java) S 567 572 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 13129067 10872623104 46257 18446744073709551615 4194304 4196468 140722943970544 140552177427888 140553146522242 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
Current children cumulated CPU time (s) 3.76
Current children cumulated vsize (KiB) 10617796
[startup+3.10077 s]
/proc/loadavg: 2.04 2.70 2.58 3/211 596
/proc/meminfo: memFree=31490532/32770624 swapFree=0/218912
[pid=572] ppid=567 vsize=10617796 CPUtime=6.04 cores=1,3,5,7
/proc/572/stat : 572 (java) S 567 572 5091 0 -1 1077944320 26769 0 0 0 598 6 0 0 20 0 16 0 13128986 10872623104 47259 18446744073709551615 4194304 4196468 140722943970544 140722943953088 140553146511095 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 7 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
/proc/572/statm: 2654449 47259 3083 1 0 2643910 0
[pid=572/tid=577] ppid=567 vsize=10617796 CPUtime=2.95 cores=1,3,5,7
/proc/572/task/577/stat : 577 (java) R 567 572 5091 0 -1 4202560 8132 0 0 0 291 4 0 0 20 0 16 0 13128994 10872623104 47259 18446744073709551615 4194304 4196468 140722943970544 140553150746976 140552758683378 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
[pid=572/tid=578] ppid=567 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/572/task/578/stat : 578 (java) S 567 572 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13128995 10872623104 47259 18446744073709551615 4194304 4196468 140722943970544 140553076931216 140553146521301 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
[pid=572/tid=580] ppid=567 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/572/task/580/stat : 580 (java) S 567 572 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13128995 10872623104 47259 18446744073709551615 4194304 4196468 140722943970544 140553075878416 140553146521301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
[pid=572/tid=581] ppid=567 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/572/task/581/stat : 581 (java) S 567 572 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13128995 10872623104 47259 18446744073709551615 4194304 4196468 140722943970544 140553074825616 140553146521301 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
[pid=572/tid=582] ppid=567 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/572/task/582/stat : 582 (java) S 567 572 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 13128995 10872623104 47259 18446744073709551615 4194304 4196468 140722943970544 140552754424080 140553146521301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
[pid=572/tid=583] ppid=567 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/572/task/583/stat : 583 (java) S 567 572 5091 0 -1 1077944384 104 0 0 0 0 0 0 0 20 0 16 0 13128996 10872623104 47259 18446744073709551615 4194304 4196468 140722943970544 140552186903408 140553146522242 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
[pid=572/tid=584] ppid=567 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/572/task/584/stat : 584 (java) S 567 572 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 13128997 10872623104 47259 18446744073709551615 4194304 4196468 140722943970544 140552185849376 140553146521301 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
[pid=572/tid=585] ppid=567 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/572/task/585/stat : 585 (java) S 567 572 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 13128997 10872623104 47259 18446744073709551615 4194304 4196468 140722943970544 140552184796528 140553146521301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
[pid=572/tid=586] ppid=567 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/572/task/586/stat : 586 (java) S 567 572 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13128999 10872623104 47259 18446744073709551615 4194304 4196468 140722943970544 140552183744848 140553146529691 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
[pid=572/tid=588] ppid=567 vsize=10617796 CPUtime=1.54 cores=1,3,5,7
/proc/572/task/588/stat : 588 (java) S 567 572 5091 0 -1 1077944384 7297 0 0 0 154 0 0 0 20 0 16 0 13128999 10872623104 47259 18446744073709551615 4194304 4196468 140722943970544 140552182692208 140553146522242 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
[pid=572/tid=590] ppid=567 vsize=10617796 CPUtime=1.21 cores=1,3,5,7
/proc/572/task/590/stat : 590 (java) S 567 572 5091 0 -1 1077944384 8006 0 0 0 121 0 0 0 20 0 16 0 13128999 10872623104 47259 18446744073709551615 4194304 4196468 140722943970544 140552181639408 140553146522242 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
[pid=572/tid=591] ppid=567 vsize=10617796 CPUtime=0.3 cores=1,3,5,7
/proc/572/task/591/stat : 591 (java) S 567 572 5091 0 -1 1077944384 1814 0 0 0 30 0 0 0 20 0 16 0 13128999 10872623104 47259 18446744073709551615 4194304 4196468 140722943970544 140552180586608 140553146522242 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
[pid=572/tid=593] ppid=567 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/572/task/593/stat : 593 (java) S 567 572 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13128999 10872623104 47259 18446744073709551615 4194304 4196468 140722943970544 140552179534048 140553146521301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
[pid=572/tid=594] ppid=567 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/572/task/594/stat : 594 (java) S 567 572 5091 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 16 0 13129005 10872623104 47259 18446744073709551615 4194304 4196468 140722943970544 140552178482352 140553146522242 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
[pid=572/tid=596] ppid=567 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/572/task/596/stat : 596 (java) S 567 572 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 13129067 10872623104 47259 18446744073709551615 4194304 4196468 140722943970544 140552177427888 140553146522242 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
Current children cumulated CPU time (s) 6.04
Current children cumulated vsize (KiB) 10617796
[startup+6.30062 s]
/proc/loadavg: 2.04 2.70 2.58 3/211 596
/proc/meminfo: memFree=31453848/32770624 swapFree=0/218912
[pid=572] ppid=567 vsize=10617796 CPUtime=9.33 cores=1,3,5,7
/proc/572/stat : 572 (java) S 567 572 5091 0 -1 1077944320 28820 0 0 0 923 10 0 0 20 0 16 0 13128986 10872623104 55716 18446744073709551615 4194304 4196468 140722943970544 140722943953088 140553146511095 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 7 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
/proc/572/statm: 2654449 55716 3096 1 0 2643910 0
[pid=572/tid=577] ppid=567 vsize=10617796 CPUtime=6.12 cores=1,3,5,7
/proc/572/task/577/stat : 577 (java) R 567 572 5091 0 -1 4202560 8219 0 0 0 608 4 0 0 20 0 16 0 13128994 10872623104 55716 18446744073709551615 4194304 4196468 140722943970544 140553150750216 140552757781741 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
[pid=572/tid=578] ppid=567 vsize=10617796 CPUtime=0.01 cores=1,3,5,7
/proc/572/task/578/stat : 578 (java) S 567 572 5091 0 -1 1077944384 45 0 0 0 1 0 0 0 20 0 16 0 13128995 10872623104 55716 18446744073709551615 4194304 4196468 140722943970544 140553076931216 140553146521301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
[pid=572/tid=580] ppid=567 vsize=10617796 CPUtime=0.01 cores=1,3,5,7
/proc/572/task/580/stat : 580 (java) S 567 572 5091 0 -1 1077944384 261 0 0 0 1 0 0 0 20 0 16 0 13128995 10872623104 55716 18446744073709551615 4194304 4196468 140722943970544 140553075878416 140553146521301 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
[pid=572/tid=581] ppid=567 vsize=10617796 CPUtime=0.01 cores=1,3,5,7
/proc/572/task/581/stat : 581 (java) S 567 572 5091 0 -1 1077944384 122 0 0 0 1 0 0 0 20 0 16 0 13128995 10872623104 55716 18446744073709551615 4194304 4196468 140722943970544 140553074825616 140553146521301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
[pid=572/tid=582] ppid=567 vsize=10617796 CPUtime=0.01 cores=1,3,5,7
/proc/572/task/582/stat : 582 (java) S 567 572 5091 0 -1 1077944384 67 0 0 0 1 0 0 0 20 0 16 0 13128995 10872623104 55716 18446744073709551615 4194304 4196468 140722943970544 140552754424080 140553146521301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
[pid=572/tid=583] ppid=567 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/572/task/583/stat : 583 (java) S 567 572 5091 0 -1 1077944384 505 0 0 0 0 0 0 0 20 0 16 0 13128996 10872623104 55716 18446744073709551615 4194304 4196468 140722943970544 140552186903408 140553146522242 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
[pid=572/tid=584] ppid=567 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/572/task/584/stat : 584 (java) S 567 572 5091 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 13128997 10872623104 55716 18446744073709551615 4194304 4196468 140722943970544 140552185849376 140553146521301 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
[pid=572/tid=585] ppid=567 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/572/task/585/stat : 585 (java) S 567 572 5091 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 16 0 13128997 10872623104 55716 18446744073709551615 4194304 4196468 140722943970544 140552184796528 140553146521301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
[pid=572/tid=586] ppid=567 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/572/task/586/stat : 586 (java) S 567 572 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13128999 10872623104 55716 18446744073709551615 4194304 4196468 140722943970544 140552183744848 140553146529691 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
[pid=572/tid=588] ppid=567 vsize=10617796 CPUtime=1.54 cores=1,3,5,7
/proc/572/task/588/stat : 588 (java) S 567 572 5091 0 -1 1077944384 7299 0 0 0 154 0 0 0 20 0 16 0 13128999 10872623104 55716 18446744073709551615 4194304 4196468 140722943970544 140552182692208 140553146522242 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
[pid=572/tid=590] ppid=567 vsize=10617796 CPUtime=1.21 cores=1,3,5,7
/proc/572/task/590/stat : 590 (java) S 567 572 5091 0 -1 1077944384 8008 0 0 0 121 0 0 0 20 0 16 0 13128999 10872623104 55716 18446744073709551615 4194304 4196468 140722943970544 140552181639408 140553146522242 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
[pid=572/tid=591] ppid=567 vsize=10617796 CPUtime=0.3 cores=1,3,5,7
/proc/572/task/591/stat : 591 (java) S 567 572 5091 0 -1 1077944384 1963 0 0 0 30 0 0 0 20 0 16 0 13128999 10872623104 55716 18446744073709551615 4194304 4196468 140722943970544 140552180586608 140553146522242 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
[pid=572/tid=593] ppid=567 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/572/task/593/stat : 593 (java) S 567 572 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13128999 10872623104 55716 18446744073709551615 4194304 4196468 140722943970544 140552179534048 140553146521301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
[pid=572/tid=594] ppid=567 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/572/task/594/stat : 594 (java) S 567 572 5091 0 -1 1077944384 895 0 0 0 0 0 0 0 20 0 16 0 13129005 10872623104 55716 18446744073709551615 4194304 4196468 140722943970544 140552178482352 140553146522242 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
[pid=572/tid=596] ppid=567 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/572/task/596/stat : 596 (java) S 567 572 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 13129067 10872623104 55716 18446744073709551615 4194304 4196468 140722943970544 140552177427888 140553146522242 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
Current children cumulated CPU time (s) 9.33
Current children cumulated vsize (KiB) 10617796
[startup+12.7007 s]
/proc/loadavg: 2.04 2.67 2.57 3/211 596
/proc/meminfo: memFree=31453452/32770624 swapFree=0/218928
[pid=572] ppid=567 vsize=10617796 CPUtime=15.74 cores=1,3,5,7
/proc/572/stat : 572 (java) S 567 572 5091 0 -1 1077944320 29904 0 0 0 1564 10 0 0 20 0 16 0 13128986 10872623104 55736 18446744073709551615 4194304 4196468 140722943970544 140722943953088 140553146511095 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 7 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
/proc/572/statm: 2654449 55736 3098 1 0 2643910 0
[pid=572/tid=577] ppid=567 vsize=10617796 CPUtime=12.52 cores=1,3,5,7
/proc/572/task/577/stat : 577 (java) R 567 572 5091 0 -1 4202560 8490 0 0 0 1248 4 0 0 20 0 16 0 13128994 10872623104 55736 18446744073709551615 4194304 4196468 140722943970544 140553150747040 140552757465508 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
[pid=572/tid=578] ppid=567 vsize=10617796 CPUtime=0.01 cores=1,3,5,7
/proc/572/task/578/stat : 578 (java) S 567 572 5091 0 -1 1077944384 45 0 0 0 1 0 0 0 20 0 16 0 13128995 10872623104 55736 18446744073709551615 4194304 4196468 140722943970544 140553076931216 140553146521301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
[pid=572/tid=580] ppid=567 vsize=10617796 CPUtime=0.01 cores=1,3,5,7
/proc/572/task/580/stat : 580 (java) S 567 572 5091 0 -1 1077944384 261 0 0 0 1 0 0 0 20 0 16 0 13128995 10872623104 55736 18446744073709551615 4194304 4196468 140722943970544 140553075878416 140553146521301 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
[pid=572/tid=581] ppid=567 vsize=10617796 CPUtime=0.01 cores=1,3,5,7
/proc/572/task/581/stat : 581 (java) S 567 572 5091 0 -1 1077944384 122 0 0 0 1 0 0 0 20 0 16 0 13128995 10872623104 55736 18446744073709551615 4194304 4196468 140722943970544 140553074825616 140553146521301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
[pid=572/tid=582] ppid=567 vsize=10617796 CPUtime=0.01 cores=1,3,5,7
/proc/572/task/582/stat : 582 (java) S 567 572 5091 0 -1 1077944384 67 0 0 0 1 0 0 0 20 0 16 0 13128995 10872623104 55736 18446744073709551615 4194304 4196468 140722943970544 140552754424080 140553146521301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
[pid=572/tid=583] ppid=567 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/572/task/583/stat : 583 (java) S 567 572 5091 0 -1 1077944384 525 0 0 0 0 0 0 0 20 0 16 0 13128996 10872623104 55736 18446744073709551615 4194304 4196468 140722943970544 140552186903408 140553146522242 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
################
# More data... #
################
[pid=572/tid=594] ppid=567 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/572/task/594/stat : 594 (java) S 567 572 5091 0 -1 1077944384 926 0 0 0 0 0 0 0 20 0 16 0 13129005 10872623104 55736 18446744073709551615 4194304 4196468 140722943970544 140552178482352 140553146522242 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
[pid=572/tid=596] ppid=567 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/572/task/596/stat : 596 (java) S 567 572 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 13129067 10872623104 55736 18446744073709551615 4194304 4196468 140722943970544 140552177427888 140553146522242 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
Current children cumulated CPU time (s) 15.74
Current children cumulated vsize (KiB) 10617796
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 572 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+12.8008 s]
/proc/loadavg: 2.04 2.67 2.57 3/211 596
/proc/meminfo: memFree=31453452/32770624 swapFree=0/218928
[pid=572] ppid=567 vsize=10617796 CPUtime=15.84 cores=1,3,5,7
/proc/572/stat : 572 (java) S 567 572 5091 0 -1 1077944320 29904 0 0 0 1574 10 0 0 20 0 16 0 13128986 10872623104 55736 18446744073709551615 4194304 4196468 140722943970544 140722943953088 140553146511095 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 7 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
/proc/572/statm: 2654449 55736 3098 1 0 2643910 0
[pid=572/tid=577] ppid=567 vsize=10617796 CPUtime=12.62 cores=1,3,5,7
/proc/572/task/577/stat : 577 (java) R 567 572 5091 0 -1 4202560 8490 0 0 0 1258 4 0 0 20 0 16 0 13128994 10872623104 55736 18446744073709551615 4194304 4196468 140722943970544 140553150747040 140552758682271 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
[pid=572/tid=578] ppid=567 vsize=10617796 CPUtime=0.01 cores=1,3,5,7
/proc/572/task/578/stat : 578 (java) S 567 572 5091 0 -1 1077944384 45 0 0 0 1 0 0 0 20 0 16 0 13128995 10872623104 55736 18446744073709551615 4194304 4196468 140722943970544 140553076931216 140553146521301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
[pid=572/tid=580] ppid=567 vsize=10617796 CPUtime=0.01 cores=1,3,5,7
/proc/572/task/580/stat : 580 (java) S 567 572 5091 0 -1 1077944384 261 0 0 0 1 0 0 0 20 0 16 0 13128995 10872623104 55736 18446744073709551615 4194304 4196468 140722943970544 140553075878416 140553146521301 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
[pid=572/tid=581] ppid=567 vsize=10617796 CPUtime=0.01 cores=1,3,5,7
/proc/572/task/581/stat : 581 (java) S 567 572 5091 0 -1 1077944384 122 0 0 0 1 0 0 0 20 0 16 0 13128995 10872623104 55736 18446744073709551615 4194304 4196468 140722943970544 140553074825616 140553146521301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
[pid=572/tid=582] ppid=567 vsize=10617796 CPUtime=0.01 cores=1,3,5,7
/proc/572/task/582/stat : 582 (java) S 567 572 5091 0 -1 1077944384 67 0 0 0 1 0 0 0 20 0 16 0 13128995 10872623104 55736 18446744073709551615 4194304 4196468 140722943970544 140552754424080 140553146521301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
[pid=572/tid=583] ppid=567 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/572/task/583/stat : 583 (java) S 567 572 5091 0 -1 1077944384 525 0 0 0 0 0 0 0 20 0 16 0 13128996 10872623104 55736 18446744073709551615 4194304 4196468 140722943970544 140552186903408 140553146522242 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
[pid=572/tid=584] ppid=567 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/572/task/584/stat : 584 (java) S 567 572 5091 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 13128997 10872623104 55736 18446744073709551615 4194304 4196468 140722943970544 140552185849376 140553146521301 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
[pid=572/tid=585] ppid=567 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/572/task/585/stat : 585 (java) S 567 572 5091 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 16 0 13128997 10872623104 55736 18446744073709551615 4194304 4196468 140722943970544 140552184796528 140553146521301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
[pid=572/tid=586] ppid=567 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/572/task/586/stat : 586 (java) S 567 572 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13128999 10872623104 55736 18446744073709551615 4194304 4196468 140722943970544 140552183744848 140553146529691 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
[pid=572/tid=588] ppid=567 vsize=10617796 CPUtime=1.54 cores=1,3,5,7
/proc/572/task/588/stat : 588 (java) S 567 572 5091 0 -1 1077944384 7300 0 0 0 154 0 0 0 20 0 16 0 13128999 10872623104 55736 18446744073709551615 4194304 4196468 140722943970544 140552182692208 140553146522242 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
[pid=572/tid=590] ppid=567 vsize=10617796 CPUtime=1.22 cores=1,3,5,7
/proc/572/task/590/stat : 590 (java) S 567 572 5091 0 -1 1077944384 8455 0 0 0 122 0 0 0 20 0 16 0 13128999 10872623104 55736 18446744073709551615 4194304 4196468 140722943970544 140552181639408 140553146522242 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
[pid=572/tid=591] ppid=567 vsize=10617796 CPUtime=0.31 cores=1,3,5,7
/proc/572/task/591/stat : 591 (java) S 567 572 5091 0 -1 1077944384 2277 0 0 0 31 0 0 0 20 0 16 0 13128999 10872623104 55736 18446744073709551615 4194304 4196468 140722943970544 140552180586608 140553146522242 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
[pid=572/tid=593] ppid=567 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/572/task/593/stat : 593 (java) S 567 572 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13128999 10872623104 55736 18446744073709551615 4194304 4196468 140722943970544 140552179534048 140553146521301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
[pid=572/tid=594] ppid=567 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/572/task/594/stat : 594 (java) S 567 572 5091 0 -1 1077944384 926 0 0 0 0 0 0 0 20 0 16 0 13129005 10872623104 55736 18446744073709551615 4194304 4196468 140722943970544 140552178482352 140553146522242 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
[pid=572/tid=596] ppid=567 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/572/task/596/stat : 596 (java) S 567 572 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 13129067 10872623104 55736 18446744073709551615 4194304 4196468 140722943970544 140552177427888 140553146522242 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
Current children cumulated CPU time (s) 15.84
Current children cumulated vsize (KiB) 10617796
[startup+14.4065 s]
/proc/loadavg: 2.04 2.67 2.57 3/211 596
/proc/meminfo: memFree=31453328/32770624 swapFree=0/218928
[pid=572] ppid=567 vsize=10617796 CPUtime=17.64 cores=1,3,5,7
/proc/572/stat : 572 (java) S 567 572 5091 0 -1 1077944320 33088 0 0 0 1753 11 0 0 20 0 16 0 13128986 10872623104 55806 18446744073709551615 4194304 4196468 140722943970544 140722943953088 140553146511095 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 7 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
/proc/572/statm: 2654449 55806 3104 1 0 2643910 0
[pid=572/tid=577] ppid=567 vsize=10617796 CPUtime=14.24 cores=1,3,5,7
/proc/572/task/577/stat : 577 (java) R 567 572 5091 0 -1 4202560 9124 0 0 0 1419 5 0 0 20 0 16 0 13128994 10872623104 55806 18446744073709551615 4194304 4196468 140722943970544 140553150750040 140552758121827 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
[pid=572/tid=578] ppid=567 vsize=10617796 CPUtime=0.01 cores=1,3,5,7
/proc/572/task/578/stat : 578 (java) S 567 572 5091 0 -1 1077944384 45 0 0 0 1 0 0 0 20 0 16 0 13128995 10872623104 55806 18446744073709551615 4194304 4196468 140722943970544 140553076931216 140553146521301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
[pid=572/tid=580] ppid=567 vsize=10617796 CPUtime=0.01 cores=1,3,5,7
/proc/572/task/580/stat : 580 (java) S 567 572 5091 0 -1 1077944384 261 0 0 0 1 0 0 0 20 0 16 0 13128995 10872623104 55806 18446744073709551615 4194304 4196468 140722943970544 140553075878416 140553146521301 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
[pid=572/tid=581] ppid=567 vsize=10617796 CPUtime=0.01 cores=1,3,5,7
/proc/572/task/581/stat : 581 (java) S 567 572 5091 0 -1 1077944384 122 0 0 0 1 0 0 0 20 0 16 0 13128995 10872623104 55806 18446744073709551615 4194304 4196468 140722943970544 140553074825616 140553146521301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
[pid=572/tid=582] ppid=567 vsize=10617796 CPUtime=0.01 cores=1,3,5,7
/proc/572/task/582/stat : 582 (java) S 567 572 5091 0 -1 1077944384 67 0 0 0 1 0 0 0 20 0 16 0 13128995 10872623104 55806 18446744073709551615 4194304 4196468 140722943970544 140552754424080 140553146521301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
[pid=572/tid=583] ppid=567 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/572/task/583/stat : 583 (java) S 567 572 5091 0 -1 1077944384 721 0 0 0 0 0 0 0 20 0 16 0 13128996 10872623104 55806 18446744073709551615 4194304 4196468 140722943970544 140552186903408 140553146522242 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
[pid=572/tid=584] ppid=567 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/572/task/584/stat : 584 (java) S 567 572 5091 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 13128997 10872623104 55806 18446744073709551615 4194304 4196468 140722943970544 140552185849376 140553146521301 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
[pid=572/tid=585] ppid=567 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/572/task/585/stat : 585 (java) S 567 572 5091 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 16 0 13128997 10872623104 55806 18446744073709551615 4194304 4196468 140722943970544 140552184796528 140553146521301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
[pid=572/tid=586] ppid=567 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/572/task/586/stat : 586 (java) S 567 572 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13128999 10872623104 55806 18446744073709551615 4194304 4196468 140722943970544 140552183744848 140553146529691 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
[pid=572/tid=588] ppid=567 vsize=10617796 CPUtime=1.66 cores=1,3,5,7
/proc/572/task/588/stat : 588 (java) R 567 572 5091 0 -1 4202560 9070 0 0 0 165 1 0 0 20 0 16 0 13128999 10872623104 55806 18446744073709551615 4194304 4196468 140722943970544 140552182692208 140553130904852 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
[pid=572/tid=590] ppid=567 vsize=10617796 CPUtime=1.28 cores=1,3,5,7
/proc/572/task/590/stat : 590 (java) S 567 572 5091 0 -1 1077944384 8791 0 0 0 128 0 0 0 20 0 16 0 13128999 10872623104 55806 18446744073709551615 4194304 4196468 140722943970544 140552181639408 140553146522242 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
[pid=572/tid=591] ppid=567 vsize=10617796 CPUtime=0.32 cores=1,3,5,7
/proc/572/task/591/stat : 591 (java) S 567 572 5091 0 -1 1077944384 2526 0 0 0 32 0 0 0 20 0 16 0 13128999 10872623104 55806 18446744073709551615 4194304 4196468 140722943970544 140552180586608 140553146522242 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
[pid=572/tid=593] ppid=567 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/572/task/593/stat : 593 (java) S 567 572 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13128999 10872623104 55806 18446744073709551615 4194304 4196468 140722943970544 140552179534048 140553146521301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
[pid=572/tid=594] ppid=567 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/572/task/594/stat : 594 (java) S 567 572 5091 0 -1 1077944384 928 0 0 0 0 0 0 0 20 0 16 0 13129005 10872623104 55806 18446744073709551615 4194304 4196468 140722943970544 140552178482352 140553146522242 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
[pid=572/tid=596] ppid=567 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/572/task/596/stat : 596 (java) S 567 572 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 13129067 10872623104 55806 18446744073709551615 4194304 4196468 140722943970544 140552177427888 140553146522242 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
Current children cumulated CPU time (s) 17.64
Current children cumulated vsize (KiB) 10617796
[startup+14.8007 s]
/proc/loadavg: 2.04 2.67 2.57 3/211 596
/proc/meminfo: memFree=31453328/32770624 swapFree=0/218928
[pid=572] ppid=567 vsize=10617796 CPUtime=18.26 cores=1,3,5,7
/proc/572/stat : 572 (java) S 567 572 5091 0 -1 1077944320 34688 0 0 0 1815 11 0 0 20 0 16 0 13128986 10872623104 55829 18446744073709551615 4194304 4196468 140722943970544 140722943953088 140553146511095 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 7 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
/proc/572/statm: 2654449 55829 3105 1 0 2643910 0
[pid=572/tid=577] ppid=567 vsize=10617796 CPUtime=14.63 cores=1,3,5,7
/proc/572/task/577/stat : 577 (java) R 567 572 5091 0 -1 4202560 9127 0 0 0 1458 5 0 0 20 0 16 0 13128994 10872623104 55829 18446744073709551615 4194304 4196468 140722943970544 140553150747088 140552757675163 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
[pid=572/tid=578] ppid=567 vsize=10617796 CPUtime=0.01 cores=1,3,5,7
/proc/572/task/578/stat : 578 (java) S 567 572 5091 0 -1 1077944384 45 0 0 0 1 0 0 0 20 0 16 0 13128995 10872623104 55829 18446744073709551615 4194304 4196468 140722943970544 140553076931216 140553146521301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
[pid=572/tid=580] ppid=567 vsize=10617796 CPUtime=0.01 cores=1,3,5,7
/proc/572/task/580/stat : 580 (java) S 567 572 5091 0 -1 1077944384 261 0 0 0 1 0 0 0 20 0 16 0 13128995 10872623104 55829 18446744073709551615 4194304 4196468 140722943970544 140553075878416 140553146521301 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
[pid=572/tid=581] ppid=567 vsize=10617796 CPUtime=0.01 cores=1,3,5,7
/proc/572/task/581/stat : 581 (java) S 567 572 5091 0 -1 1077944384 122 0 0 0 1 0 0 0 20 0 16 0 13128995 10872623104 55829 18446744073709551615 4194304 4196468 140722943970544 140553074825616 140553146521301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
[pid=572/tid=582] ppid=567 vsize=10617796 CPUtime=0.01 cores=1,3,5,7
/proc/572/task/582/stat : 582 (java) S 567 572 5091 0 -1 1077944384 67 0 0 0 1 0 0 0 20 0 16 0 13128995 10872623104 55829 18446744073709551615 4194304 4196468 140722943970544 140552754424080 140553146521301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
[pid=572/tid=583] ppid=567 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/572/task/583/stat : 583 (java) S 567 572 5091 0 -1 1077944384 721 0 0 0 0 0 0 0 20 0 16 0 13128996 10872623104 55829 18446744073709551615 4194304 4196468 140722943970544 140552186903408 140553146522242 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
[pid=572/tid=584] ppid=567 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/572/task/584/stat : 584 (java) S 567 572 5091 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 13128997 10872623104 55829 18446744073709551615 4194304 4196468 140722943970544 140552185849376 140553146521301 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
[pid=572/tid=585] ppid=567 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/572/task/585/stat : 585 (java) S 567 572 5091 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 16 0 13128997 10872623104 55829 18446744073709551615 4194304 4196468 140722943970544 140552184796528 140553146521301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
[pid=572/tid=586] ppid=567 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/572/task/586/stat : 586 (java) S 567 572 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13128999 10872623104 55829 18446744073709551615 4194304 4196468 140722943970544 140552183744848 140553146529691 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
[pid=572/tid=588] ppid=567 vsize=10617796 CPUtime=1.78 cores=1,3,5,7
/proc/572/task/588/stat : 588 (java) S 567 572 5091 0 -1 1077944384 9847 0 0 0 177 1 0 0 20 0 16 0 13128999 10872623104 55829 18446744073709551615 4194304 4196468 140722943970544 140552182692208 140553146522242 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
[pid=572/tid=590] ppid=567 vsize=10617796 CPUtime=1.39 cores=1,3,5,7
/proc/572/task/590/stat : 590 (java) S 567 572 5091 0 -1 1077944384 9604 0 0 0 138 1 0 0 20 0 16 0 13128999 10872623104 55829 18446744073709551615 4194304 4196468 140722943970544 140552181639408 140553146522242 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
[pid=572/tid=591] ppid=567 vsize=10617796 CPUtime=0.32 cores=1,3,5,7
/proc/572/task/591/stat : 591 (java) S 567 572 5091 0 -1 1077944384 2530 0 0 0 32 0 0 0 20 0 16 0 13128999 10872623104 55829 18446744073709551615 4194304 4196468 140722943970544 140552180586608 140553146522242 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
[pid=572/tid=593] ppid=567 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/572/task/593/stat : 593 (java) S 567 572 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13128999 10872623104 55829 18446744073709551615 4194304 4196468 140722943970544 140552179534048 140553146521301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
[pid=572/tid=594] ppid=567 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/572/task/594/stat : 594 (java) S 567 572 5091 0 -1 1077944384 928 0 0 0 0 0 0 0 20 0 16 0 13129005 10872623104 55829 18446744073709551615 4194304 4196468 140722943970544 140552178482352 140553146522242 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
[pid=572/tid=596] ppid=567 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/572/task/596/stat : 596 (java) S 567 572 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 13129067 10872623104 55829 18446744073709551615 4194304 4196468 140722943970544 140552177427888 140553146522242 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
Current children cumulated CPU time (s) 18.26
Current children cumulated vsize (KiB) 10617796
[startup+15.0007 s]
/proc/loadavg: 2.04 2.67 2.57 3/211 596
/proc/meminfo: memFree=31453328/32770624 swapFree=0/218928
[pid=572] ppid=567 vsize=10750924 CPUtime=18.29 cores=1,3,5,7
/proc/572/stat : 572 (java) S 567 572 5091 0 -1 1077944320 34861 0 0 0 1818 11 0 0 20 0 16 0 13128986 11008946176 55859 18446744073709551615 4194304 4196468 140722943970544 140722943953088 140553146511095 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 7 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
/proc/572/statm: 2687731 55859 3107 1 0 2677192 0
[pid=572/tid=577] ppid=567 vsize=10750924 CPUtime=14.66 cores=1,3,5,7
/proc/572/task/577/stat : 577 (java) S 567 572 5091 0 -1 1077944384 9181 0 0 0 1461 5 0 0 20 0 16 0 13128994 11008946176 55859 18446744073709551615 4194304 4196468 140722943970544 140553150751776 140553146521301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
[pid=572/tid=578] ppid=567 vsize=10750924 CPUtime=0.01 cores=1,3,5,7
/proc/572/task/578/stat : 578 (java) S 567 572 5091 0 -1 1077944384 45 0 0 0 1 0 0 0 20 0 16 0 13128995 11008946176 55859 18446744073709551615 4194304 4196468 140722943970544 140553076931216 140553146521301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
[pid=572/tid=580] ppid=567 vsize=10750924 CPUtime=0.01 cores=1,3,5,7
/proc/572/task/580/stat : 580 (java) S 567 572 5091 0 -1 1077944384 261 0 0 0 1 0 0 0 20 0 16 0 13128995 11008946176 55859 18446744073709551615 4194304 4196468 140722943970544 140553075878416 140553146521301 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
[pid=572/tid=581] ppid=567 vsize=10750924 CPUtime=0.01 cores=1,3,5,7
/proc/572/task/581/stat : 581 (java) S 567 572 5091 0 -1 1077944384 122 0 0 0 1 0 0 0 20 0 16 0 13128995 11008946176 55859 18446744073709551615 4194304 4196468 140722943970544 140553074825616 140553146521301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
[pid=572/tid=582] ppid=567 vsize=10750924 CPUtime=0.01 cores=1,3,5,7
/proc/572/task/582/stat : 582 (java) S 567 572 5091 0 -1 1077944384 67 0 0 0 1 0 0 0 20 0 16 0 13128995 11008946176 55859 18446744073709551615 4194304 4196468 140722943970544 140552754424080 140553146521301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
[pid=572/tid=583] ppid=567 vsize=10750924 CPUtime=0 cores=1,3,5,7
/proc/572/task/583/stat : 583 (java) S 567 572 5091 0 -1 1077944384 721 0 0 0 0 0 0 0 20 0 16 0 13128996 11008946176 55859 18446744073709551615 4194304 4196468 140722943970544 140552186903408 140553146522242 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
[pid=572/tid=584] ppid=567 vsize=10750924 CPUtime=0 cores=1,3,5,7
/proc/572/task/584/stat : 584 (java) S 567 572 5091 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 13128997 11008946176 55859 18446744073709551615 4194304 4196468 140722943970544 140552185849376 140553146521301 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
[pid=572/tid=585] ppid=567 vsize=10750924 CPUtime=0 cores=1,3,5,7
/proc/572/task/585/stat : 585 (java) S 567 572 5091 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 16 0 13128997 11008946176 55859 18446744073709551615 4194304 4196468 140722943970544 140552184796528 140553146521301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
[pid=572/tid=586] ppid=567 vsize=10750924 CPUtime=0 cores=1,3,5,7
/proc/572/task/586/stat : 586 (java) S 567 572 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13128999 11008946176 55859 18446744073709551615 4194304 4196468 140722943970544 140552183744848 140553146529691 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
[pid=572/tid=588] ppid=567 vsize=10750924 CPUtime=1.78 cores=1,3,5,7
/proc/572/task/588/stat : 588 (java) S 567 572 5091 0 -1 1077944384 9847 0 0 0 177 1 0 0 20 0 16 0 13128999 11008946176 55859 18446744073709551615 4194304 4196468 140722943970544 140552182692208 140553146522242 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
[pid=572/tid=590] ppid=567 vsize=10750924 CPUtime=1.4 cores=1,3,5,7
/proc/572/task/590/stat : 590 (java) S 567 572 5091 0 -1 1077944384 9604 0 0 0 139 1 0 0 20 0 16 0 13128999 11008946176 55859 18446744073709551615 4194304 4196468 140722943970544 140552181639408 140553146522242 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
[pid=572/tid=591] ppid=567 vsize=10750924 CPUtime=0.33 cores=1,3,5,7
/proc/572/task/591/stat : 591 (java) S 567 572 5091 0 -1 1077944384 2537 0 0 0 33 0 0 0 20 0 16 0 13128999 11008946176 55859 18446744073709551615 4194304 4196468 140722943970544 140552180586608 140553146522242 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
[pid=572/tid=593] ppid=567 vsize=10750924 CPUtime=0 cores=1,3,5,7
/proc/572/task/593/stat : 593 (java) S 567 572 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13128999 11008946176 55859 18446744073709551615 4194304 4196468 140722943970544 140552179534048 140553146521301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
[pid=572/tid=594] ppid=567 vsize=10750924 CPUtime=0 cores=1,3,5,7
/proc/572/task/594/stat : 594 (java) S 567 572 5091 0 -1 1077944384 928 0 0 0 0 0 0 0 20 0 16 0 13129005 11008946176 55859 18446744073709551615 4194304 4196468 140722943970544 140552178482352 140553146522242 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18812928 140722943975858 140722943976011 140722943976011 140722943979471 0
Current children cumulated CPU time (s) 18.29
Current children cumulated vsize (KiB) 10750924
Child status: 0
Real time (s): 15.046
CPU time (s): 18.3145
CPU user time (s): 18.1961
CPU system time (s): 0.118417
CPU usage (%): 121.724
Max. virtual memory (cumulated for all children) (KiB): 10750924
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18.1961
system time used= 0.118417
maximum resident set size= 226016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35036
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2000
involuntary context switches= 21
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.074283 second user time and 0.088068 second system time
The end