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-4258309-1501644003/watcher-4258309-1501644003 -o /tmp/evaluation-result-4258309-1501644003/solver-4258309-1501644003 -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-4258309-1501644003.xml
pid=31435
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.83 1.94 1.86 1/177 31438
/proc/meminfo: memFree=31890736/32770624 swapFree=0/217504
[pid=31438] ppid=31435 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/31438/stat : 31438 (runsolver) D 31435 31438 5091 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 13023340 24240128 106 18446744073709551615 4194304 4338465 140724581275600 140724581273240 139987957002967 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 29241344 140724581277831 140724581278278 140724581278278 140724581281738 0
/proc/31438/statm: 5918 106 53 36 0 2156 0
[startup+0.100136 s]
/proc/loadavg: 1.83 1.94 1.86 1/177 31438
/proc/meminfo: memFree=31890736/32770624 swapFree=0/217504
[pid=31438] ppid=31435 vsize=10018544 CPUtime=0.01 cores=1,3,5,7
/proc/31438/stat : 31438 (java) S 31435 31438 5091 0 -1 1077944320 3605 0 0 0 1 0 0 0 20 0 7 0 13023340 10258989056 4822 18446744073709551615 4194304 4196468 140724439789024 140724439771568 140208196194039 0 0 1 16784584 18446744073709551615 0 0 17 3 0 0 7 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
/proc/31438/statm: 2504636 4822 2010 1 0 2494141 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10018544
[startup+0.200302 s]
/proc/loadavg: 1.83 1.94 1.86 1/177 31438
/proc/meminfo: memFree=31890736/32770624 swapFree=0/217504
[pid=31438] ppid=31435 vsize=10551156 CPUtime=0.07 cores=1,3,5,7
/proc/31438/stat : 31438 (java) S 31435 31438 5091 0 -1 1077944320 4778 0 0 0 7 0 0 0 20 0 15 0 13023340 10804383744 5769 18446744073709551615 4194304 4196468 140724439789024 140724439771568 140208196194039 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 7 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
/proc/31438/statm: 2637789 5769 2636 1 0 2627269 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 10551156
[startup+0.303497 s]
/proc/loadavg: 1.83 1.94 1.86 1/177 31438
/proc/meminfo: memFree=31890736/32770624 swapFree=0/217504
[pid=31438] ppid=31435 vsize=10551156 CPUtime=0.23 cores=1,3,5,7
/proc/31438/stat : 31438 (java) S 31435 31438 5091 0 -1 1077944320 8275 0 0 0 20 3 0 0 20 0 15 0 13023340 10804383744 8984 18446744073709551615 4194304 4196468 140724439789024 140724439771568 140208196194039 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 7 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
/proc/31438/statm: 2637789 8984 2841 1 0 2627269 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 10551156
[startup+0.700828 s]
/proc/loadavg: 1.83 1.94 1.86 1/177 31438
/proc/meminfo: memFree=31890736/32770624 swapFree=0/217504
[pid=31438] ppid=31435 vsize=10551232 CPUtime=1.3 cores=1,3,5,7
/proc/31438/stat : 31438 (java) S 31435 31438 5091 0 -1 1077944320 13521 0 0 0 125 5 0 0 20 0 15 0 13023340 10804461568 24005 18446744073709551615 4194304 4196468 140724439789024 140724439771568 140208196194039 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 7 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
/proc/31438/statm: 2637808 24005 3050 1 0 2627269 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 10551232
[startup+1.50068 s]
/proc/loadavg: 1.83 1.94 1.86 3/191 31469
/proc/meminfo: memFree=31790940/32770624 swapFree=0/217528
[pid=31438] ppid=31435 vsize=10617796 CPUtime=3.35 cores=1,3,5,7
/proc/31438/stat : 31438 (java) S 31435 31438 5091 0 -1 1077944320 28331 0 0 0 326 9 0 0 20 0 16 0 13023340 10872623104 31806 18446744073709551615 4194304 4196468 140724439789024 140724439771568 140208196194039 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 7 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
/proc/31438/statm: 2654449 31806 3067 1 0 2643910 0
[pid=31438/tid=31440] ppid=31435 vsize=10617796 CPUtime=1.35 cores=1,3,5,7
/proc/31438/task/31440/stat : 31440 (java) R 31435 31438 5091 0 -1 4202560 8766 0 0 0 131 4 0 0 20 0 16 0 13023348 10872623104 31806 18446744073709551615 4194304 4196468 140724439789024 140208200430496 140207818762501 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
[pid=31438/tid=31441] ppid=31435 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/31438/task/31441/stat : 31441 (java) S 31435 31438 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13023348 10872623104 31806 18446744073709551615 4194304 4196468 140724439789024 140208137230736 140208196204245 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
[pid=31438/tid=31442] ppid=31435 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/31438/task/31442/stat : 31442 (java) S 31435 31438 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13023348 10872623104 31806 18446744073709551615 4194304 4196468 140724439789024 140208136177936 140208196204245 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
[pid=31438/tid=31443] ppid=31435 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/31438/task/31443/stat : 31443 (java) S 31435 31438 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13023348 10872623104 31806 18446744073709551615 4194304 4196468 140724439789024 140208135125648 140208196204245 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
[pid=31438/tid=31444] ppid=31435 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/31438/task/31444/stat : 31444 (java) S 31435 31438 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 13023348 10872623104 31806 18446744073709551615 4194304 4196468 140724439789024 140207804246544 140208196204245 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
[pid=31438/tid=31445] ppid=31435 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/31438/task/31445/stat : 31445 (java) S 31435 31438 5091 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 16 0 13023350 10872623104 31806 18446744073709551615 4194304 4196468 140724439789024 140207236848240 140208196205186 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
[pid=31438/tid=31446] ppid=31435 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/31438/task/31446/stat : 31446 (java) S 31435 31438 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 13023350 10872623104 31806 18446744073709551615 4194304 4196468 140724439789024 140207235794208 140208196204245 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
[pid=31438/tid=31447] ppid=31435 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/31438/task/31447/stat : 31447 (java) S 31435 31438 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 13023350 10872623104 31806 18446744073709551615 4194304 4196468 140724439789024 140207234741872 140208196204245 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
[pid=31438/tid=31448] ppid=31435 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/31438/task/31448/stat : 31448 (java) S 31435 31438 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13023352 10872623104 31806 18446744073709551615 4194304 4196468 140724439789024 140207233690192 140208196212635 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
[pid=31438/tid=31449] ppid=31435 vsize=10617796 CPUtime=0.75 cores=1,3,5,7
/proc/31438/task/31449/stat : 31449 (java) S 31435 31438 5091 0 -1 1077944384 3346 0 0 0 74 1 0 0 20 0 16 0 13023352 10872623104 31806 18446744073709551615 4194304 4196468 140724439789024 140207232637040 140208196205186 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
[pid=31438/tid=31450] ppid=31435 vsize=10617796 CPUtime=0.84 cores=1,3,5,7
/proc/31438/task/31450/stat : 31450 (java) R 31435 31438 5091 0 -1 4202560 11742 0 0 0 83 1 0 0 20 0 16 0 13023353 10872623104 31806 18446744073709551615 4194304 4196468 140724439789024 140207231570112 140208188483421 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
[pid=31438/tid=31451] ppid=31435 vsize=10617796 CPUtime=0.36 cores=1,3,5,7
/proc/31438/task/31451/stat : 31451 (java) R 31435 31438 5091 0 -1 1077944384 3070 0 0 0 35 1 0 0 20 0 16 0 13023353 10872623104 31806 18446744073709551615 4194304 4196468 140724439789024 140207230531952 140208196205186 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
[pid=31438/tid=31452] ppid=31435 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/31438/task/31452/stat : 31452 (java) S 31435 31438 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13023353 10872623104 31806 18446744073709551615 4194304 4196468 140724439789024 140207229479392 140208196204245 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
[pid=31438/tid=31453] ppid=31435 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/31438/task/31453/stat : 31453 (java) S 31435 31438 5091 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 16 0 13023358 10872623104 31806 18446744073709551615 4194304 4196468 140724439789024 140207228427184 140208196205186 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
[pid=31438/tid=31468] ppid=31435 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/31438/task/31468/stat : 31468 (java) S 31435 31438 5091 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 13023413 10872623104 31806 18446744073709551615 4194304 4196468 140724439789024 140207227372720 140208196205186 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
Current children cumulated CPU time (s) 3.35
Current children cumulated vsize (KiB) 10617796
[startup+3.10068 s]
/proc/loadavg: 1.83 1.94 1.86 4/211 31498
/proc/meminfo: memFree=31707776/32770624 swapFree=0/217540
[pid=31438] ppid=31435 vsize=10617796 CPUtime=5.72 cores=1,3,5,7
/proc/31438/stat : 31438 (java) S 31435 31438 5091 0 -1 1077944320 30582 0 0 0 563 9 0 0 20 0 16 0 13023340 10872623104 34023 18446744073709551615 4194304 4196468 140724439789024 140724439771568 140208196194039 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 7 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
/proc/31438/statm: 2654449 34023 3075 1 0 2643910 0
[pid=31438/tid=31440] ppid=31435 vsize=10617796 CPUtime=2.95 cores=1,3,5,7
/proc/31438/task/31440/stat : 31440 (java) R 31435 31438 5091 0 -1 4202560 9029 0 0 0 291 4 0 0 20 0 16 0 13023348 10872623104 34023 18446744073709551615 4194304 4196468 140724439789024 140208200429920 140207818874759 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
[pid=31438/tid=31441] ppid=31435 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/31438/task/31441/stat : 31441 (java) S 31435 31438 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13023348 10872623104 34023 18446744073709551615 4194304 4196468 140724439789024 140208137230736 140208196204245 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
[pid=31438/tid=31442] ppid=31435 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/31438/task/31442/stat : 31442 (java) S 31435 31438 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13023348 10872623104 34023 18446744073709551615 4194304 4196468 140724439789024 140208136177936 140208196204245 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
[pid=31438/tid=31443] ppid=31435 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/31438/task/31443/stat : 31443 (java) S 31435 31438 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13023348 10872623104 34023 18446744073709551615 4194304 4196468 140724439789024 140208135125648 140208196204245 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
[pid=31438/tid=31444] ppid=31435 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/31438/task/31444/stat : 31444 (java) S 31435 31438 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 13023348 10872623104 34023 18446744073709551615 4194304 4196468 140724439789024 140207804246544 140208196204245 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
[pid=31438/tid=31445] ppid=31435 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/31438/task/31445/stat : 31445 (java) S 31435 31438 5091 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 16 0 13023350 10872623104 34023 18446744073709551615 4194304 4196468 140724439789024 140207236848240 140208196205186 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
[pid=31438/tid=31446] ppid=31435 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/31438/task/31446/stat : 31446 (java) S 31435 31438 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 13023350 10872623104 34023 18446744073709551615 4194304 4196468 140724439789024 140207235794208 140208196204245 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
[pid=31438/tid=31447] ppid=31435 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/31438/task/31447/stat : 31447 (java) S 31435 31438 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 13023350 10872623104 34023 18446744073709551615 4194304 4196468 140724439789024 140207234741872 140208196204245 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
[pid=31438/tid=31448] ppid=31435 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/31438/task/31448/stat : 31448 (java) S 31435 31438 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13023352 10872623104 34023 18446744073709551615 4194304 4196468 140724439789024 140207233690192 140208196212635 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
[pid=31438/tid=31449] ppid=31435 vsize=10617796 CPUtime=1.13 cores=1,3,5,7
/proc/31438/task/31449/stat : 31449 (java) S 31435 31438 5091 0 -1 1077944384 4004 0 0 0 112 1 0 0 20 0 16 0 13023352 10872623104 34023 18446744073709551615 4194304 4196468 140724439789024 140207232637040 140208196205186 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
[pid=31438/tid=31450] ppid=31435 vsize=10617796 CPUtime=1.24 cores=1,3,5,7
/proc/31438/task/31450/stat : 31450 (java) S 31435 31438 5091 0 -1 1077944384 13013 0 0 0 122 2 0 0 20 0 16 0 13023353 10872623104 34023 18446744073709551615 4194304 4196468 140724439789024 140207231584240 140208196205186 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
[pid=31438/tid=31451] ppid=31435 vsize=10617796 CPUtime=0.37 cores=1,3,5,7
/proc/31438/task/31451/stat : 31451 (java) S 31435 31438 5091 0 -1 1077944384 3093 0 0 0 36 1 0 0 20 0 16 0 13023353 10872623104 34023 18446744073709551615 4194304 4196468 140724439789024 140207230531952 140208196205186 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
[pid=31438/tid=31452] ppid=31435 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/31438/task/31452/stat : 31452 (java) S 31435 31438 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13023353 10872623104 34023 18446744073709551615 4194304 4196468 140724439789024 140207229479392 140208196204245 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
[pid=31438/tid=31453] ppid=31435 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/31438/task/31453/stat : 31453 (java) S 31435 31438 5091 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 16 0 13023358 10872623104 34023 18446744073709551615 4194304 4196468 140724439789024 140207228427184 140208196205186 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
[pid=31438/tid=31468] ppid=31435 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/31438/task/31468/stat : 31468 (java) S 31435 31438 5091 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 13023413 10872623104 34023 18446744073709551615 4194304 4196468 140724439789024 140207227372720 140208196205186 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
Current children cumulated CPU time (s) 5.72
Current children cumulated vsize (KiB) 10617796
[startup+6.30063 s]
/proc/loadavg: 1.92 1.96 1.87 4/211 31579
/proc/meminfo: memFree=31636604/32770624 swapFree=0/217568
[pid=31438] ppid=31435 vsize=10617796 CPUtime=9.22 cores=1,3,5,7
/proc/31438/stat : 31438 (java) S 31435 31438 5091 0 -1 1077944320 33327 0 0 0 912 10 0 0 20 0 16 0 13023340 10872623104 35716 18446744073709551615 4194304 4196468 140724439789024 140724439771568 140208196194039 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 7 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
/proc/31438/statm: 2654449 35716 3079 1 0 2643910 0
[pid=31438/tid=31440] ppid=31435 vsize=10617796 CPUtime=6.15 cores=1,3,5,7
/proc/31438/task/31440/stat : 31440 (java) R 31435 31438 5091 0 -1 4202560 9147 0 0 0 611 4 0 0 20 0 16 0 13023348 10872623104 35716 18446744073709551615 4194304 4196468 140724439789024 140208200430712 140207818825936 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
[pid=31438/tid=31441] ppid=31435 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/31438/task/31441/stat : 31441 (java) S 31435 31438 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13023348 10872623104 35716 18446744073709551615 4194304 4196468 140724439789024 140208137230736 140208196204245 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
[pid=31438/tid=31442] ppid=31435 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/31438/task/31442/stat : 31442 (java) S 31435 31438 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13023348 10872623104 35716 18446744073709551615 4194304 4196468 140724439789024 140208136177936 140208196204245 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
[pid=31438/tid=31443] ppid=31435 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/31438/task/31443/stat : 31443 (java) S 31435 31438 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13023348 10872623104 35716 18446744073709551615 4194304 4196468 140724439789024 140208135125648 140208196204245 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
[pid=31438/tid=31444] ppid=31435 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/31438/task/31444/stat : 31444 (java) S 31435 31438 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 13023348 10872623104 35716 18446744073709551615 4194304 4196468 140724439789024 140207804246544 140208196204245 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
[pid=31438/tid=31445] ppid=31435 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/31438/task/31445/stat : 31445 (java) S 31435 31438 5091 0 -1 1077944384 173 0 0 0 0 0 0 0 20 0 16 0 13023350 10872623104 35716 18446744073709551615 4194304 4196468 140724439789024 140207236848240 140208196205186 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
[pid=31438/tid=31446] ppid=31435 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/31438/task/31446/stat : 31446 (java) S 31435 31438 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 13023350 10872623104 35716 18446744073709551615 4194304 4196468 140724439789024 140207235794208 140208196204245 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
[pid=31438/tid=31447] ppid=31435 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/31438/task/31447/stat : 31447 (java) S 31435 31438 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 13023350 10872623104 35716 18446744073709551615 4194304 4196468 140724439789024 140207234741872 140208196204245 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
[pid=31438/tid=31448] ppid=31435 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/31438/task/31448/stat : 31448 (java) S 31435 31438 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13023352 10872623104 35716 18446744073709551615 4194304 4196468 140724439789024 140207233690192 140208196212635 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
[pid=31438/tid=31449] ppid=31435 vsize=10617796 CPUtime=1.36 cores=1,3,5,7
/proc/31438/task/31449/stat : 31449 (java) S 31435 31438 5091 0 -1 1077944384 5522 0 0 0 135 1 0 0 20 0 16 0 13023352 10872623104 35716 18446744073709551615 4194304 4196468 140724439789024 140207232637040 140208196205186 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
[pid=31438/tid=31450] ppid=31435 vsize=10617796 CPUtime=1.3 cores=1,3,5,7
/proc/31438/task/31450/stat : 31450 (java) S 31435 31438 5091 0 -1 1077944384 13030 0 0 0 128 2 0 0 20 0 16 0 13023353 10872623104 35716 18446744073709551615 4194304 4196468 140724439789024 140207231584240 140208196205186 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
[pid=31438/tid=31451] ppid=31435 vsize=10617796 CPUtime=0.37 cores=1,3,5,7
/proc/31438/task/31451/stat : 31451 (java) S 31435 31438 5091 0 -1 1077944384 3096 0 0 0 36 1 0 0 20 0 16 0 13023353 10872623104 35716 18446744073709551615 4194304 4196468 140724439789024 140207230531952 140208196205186 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
[pid=31438/tid=31452] ppid=31435 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/31438/task/31452/stat : 31452 (java) S 31435 31438 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13023353 10872623104 35716 18446744073709551615 4194304 4196468 140724439789024 140207229479392 140208196204245 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
[pid=31438/tid=31453] ppid=31435 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/31438/task/31453/stat : 31453 (java) S 31435 31438 5091 0 -1 1077944384 976 0 0 0 0 0 0 0 20 0 16 0 13023358 10872623104 35716 18446744073709551615 4194304 4196468 140724439789024 140207228427184 140208196205186 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
[pid=31438/tid=31468] ppid=31435 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/31438/task/31468/stat : 31468 (java) S 31435 31438 5091 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 13023413 10872623104 35716 18446744073709551615 4194304 4196468 140724439789024 140207227372720 140208196205186 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
Current children cumulated CPU time (s) 9.22
Current children cumulated vsize (KiB) 10617796
[startup+12.7007 s]
/proc/loadavg: 1.85 1.94 1.86 3/211 31580
/proc/meminfo: memFree=31610376/32770624 swapFree=0/217580
[pid=31438] ppid=31435 vsize=10617796 CPUtime=15.61 cores=1,3,5,7
/proc/31438/stat : 31438 (java) S 31435 31438 5091 0 -1 1077944320 33616 0 0 0 1551 10 0 0 20 0 16 0 13023340 10872623104 38788 18446744073709551615 4194304 4196468 140724439789024 140724439771568 140208196194039 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 7 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
/proc/31438/statm: 2654449 38788 3079 1 0 2643910 0
[pid=31438/tid=31440] ppid=31435 vsize=10617796 CPUtime=12.54 cores=1,3,5,7
/proc/31438/task/31440/stat : 31440 (java) R 31435 31438 5091 0 -1 4202560 9378 0 0 0 1250 4 0 0 20 0 16 0 13023348 10872623104 38788 18446744073709551615 4194304 4196468 140724439789024 140208200432584 140207818761819 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
[pid=31438/tid=31441] ppid=31435 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/31438/task/31441/stat : 31441 (java) S 31435 31438 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13023348 10872623104 38788 18446744073709551615 4194304 4196468 140724439789024 140208137230736 140208196204245 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
[pid=31438/tid=31442] ppid=31435 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/31438/task/31442/stat : 31442 (java) S 31435 31438 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13023348 10872623104 38788 18446744073709551615 4194304 4196468 140724439789024 140208136177936 140208196204245 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
[pid=31438/tid=31443] ppid=31435 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/31438/task/31443/stat : 31443 (java) S 31435 31438 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13023348 10872623104 38788 18446744073709551615 4194304 4196468 140724439789024 140208135125648 140208196204245 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
[pid=31438/tid=31444] ppid=31435 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/31438/task/31444/stat : 31444 (java) S 31435 31438 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 13023348 10872623104 38788 18446744073709551615 4194304 4196468 140724439789024 140207804246544 140208196204245 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
[pid=31438/tid=31445] ppid=31435 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/31438/task/31445/stat : 31445 (java) S 31435 31438 5091 0 -1 1077944384 182 0 0 0 0 0 0 0 20 0 16 0 13023350 10872623104 38788 18446744073709551615 4194304 4196468 140724439789024 140207236848240 140208196205186 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
################
# More data... #
################
[startup+162.301 s]
/proc/loadavg: 1.89 1.93 1.87 3/212 31585
/proc/meminfo: memFree=31378072/32770624 swapFree=0/217660
[pid=31438] ppid=31435 vsize=10617796 CPUtime=165.62 cores=1,3,5,7
/proc/31438/stat : 31438 (java) S 31435 31438 5091 0 -1 1077944320 41597 0 0 0 16543 19 0 0 20 0 16 0 13023340 10872623104 64159 18446744073709551615 4194304 4196468 140724439789024 140724439771568 140208196194039 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 7 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
/proc/31438/statm: 2654449 64159 3109 1 0 2643910 0
[pid=31438/tid=31440] ppid=31435 vsize=10617796 CPUtime=162.1 cores=1,3,5,7
/proc/31438/task/31440/stat : 31440 (java) R 31435 31438 5091 0 -1 4202560 11069 0 0 0 16205 5 0 0 20 0 16 0 13023348 10872623104 64159 18446744073709551615 4194304 4196468 140724439789024 140208200432976 140207818737944 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
[pid=31438/tid=31441] ppid=31435 vsize=10617796 CPUtime=0.02 cores=1,3,5,7
/proc/31438/task/31441/stat : 31441 (java) S 31435 31438 5091 0 -1 1077944384 199 0 0 0 1 1 0 0 20 0 16 0 13023348 10872623104 64159 18446744073709551615 4194304 4196468 140724439789024 140208137230736 140208196204245 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
[pid=31438/tid=31442] ppid=31435 vsize=10617796 CPUtime=0.02 cores=1,3,5,7
/proc/31438/task/31442/stat : 31442 (java) S 31435 31438 5091 0 -1 1077944384 642 0 0 0 1 1 0 0 20 0 16 0 13023348 10872623104 64159 18446744073709551615 4194304 4196468 140724439789024 140208136177936 140208196204245 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
[pid=31438/tid=31443] ppid=31435 vsize=10617796 CPUtime=0.02 cores=1,3,5,7
/proc/31438/task/31443/stat : 31443 (java) S 31435 31438 5091 0 -1 1077944384 394 0 0 0 1 1 0 0 20 0 16 0 13023348 10872623104 64159 18446744073709551615 4194304 4196468 140724439789024 140208135125648 140208196204245 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
[pid=31438/tid=31444] ppid=31435 vsize=10617796 CPUtime=0.02 cores=1,3,5,7
/proc/31438/task/31444/stat : 31444 (java) S 31435 31438 5091 0 -1 1077944384 380 0 0 0 1 1 0 0 20 0 16 0 13023348 10872623104 64159 18446744073709551615 4194304 4196468 140724439789024 140207804246544 140208196204245 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
[pid=31438/tid=31445] ppid=31435 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/31438/task/31445/stat : 31445 (java) S 31435 31438 5091 0 -1 1077944384 648 0 0 0 0 0 0 0 20 0 16 0 13023350 10872623104 64159 18446744073709551615 4194304 4196468 140724439789024 140207236848240 140208196205186 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
[pid=31438/tid=31446] ppid=31435 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/31438/task/31446/stat : 31446 (java) S 31435 31438 5091 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 16 0 13023350 10872623104 64159 18446744073709551615 4194304 4196468 140724439789024 140207235794208 140208196204245 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
[pid=31438/tid=31447] ppid=31435 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/31438/task/31447/stat : 31447 (java) S 31435 31438 5091 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 16 0 13023350 10872623104 64159 18446744073709551615 4194304 4196468 140724439789024 140207234741872 140208196204245 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
[pid=31438/tid=31448] ppid=31435 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/31438/task/31448/stat : 31448 (java) S 31435 31438 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13023352 10872623104 64159 18446744073709551615 4194304 4196468 140724439789024 140207233690192 140208196212635 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
[pid=31438/tid=31449] ppid=31435 vsize=10617796 CPUtime=1.48 cores=1,3,5,7
/proc/31438/task/31449/stat : 31449 (java) S 31435 31438 5091 0 -1 1077944384 7291 0 0 0 147 1 0 0 20 0 16 0 13023352 10872623104 64159 18446744073709551615 4194304 4196468 140724439789024 140207232637040 140208196205186 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
[pid=31438/tid=31450] ppid=31435 vsize=10617796 CPUtime=1.41 cores=1,3,5,7
/proc/31438/task/31450/stat : 31450 (java) S 31435 31438 5091 0 -1 1077944384 14126 0 0 0 139 2 0 0 20 0 16 0 13023353 10872623104 64159 18446744073709551615 4194304 4196468 140724439789024 140207231584240 140208196205186 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
[pid=31438/tid=31451] ppid=31435 vsize=10617796 CPUtime=0.4 cores=1,3,5,7
/proc/31438/task/31451/stat : 31451 (java) S 31435 31438 5091 0 -1 1077944384 4240 0 0 0 39 1 0 0 20 0 16 0 13023353 10872623104 64159 18446744073709551615 4194304 4196468 140724439789024 140207230531952 140208196205186 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
[pid=31438/tid=31452] ppid=31435 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/31438/task/31452/stat : 31452 (java) S 31435 31438 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13023353 10872623104 64159 18446744073709551615 4194304 4196468 140724439789024 140207229479392 140208196204245 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
[pid=31438/tid=31453] ppid=31435 vsize=10617796 CPUtime=0.05 cores=1,3,5,7
/proc/31438/task/31453/stat : 31453 (java) S 31435 31438 5091 0 -1 1077944384 1178 0 0 0 2 3 0 0 20 0 16 0 13023358 10872623104 64159 18446744073709551615 4194304 4196468 140724439789024 140207228427184 140208196205186 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
[pid=31438/tid=31468] ppid=31435 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/31438/task/31468/stat : 31468 (java) S 31435 31438 5091 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 13023413 10872623104 64159 18446744073709551615 4194304 4196468 140724439789024 140207227372720 140208196205186 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
Current children cumulated CPU time (s) 165.62
Current children cumulated vsize (KiB) 10617796
[startup+222.307 s]
/proc/loadavg: 1.96 1.95 1.87 3/212 31587
/proc/meminfo: memFree=31377628/32770624 swapFree=0/217680
[pid=31438] ppid=31435 vsize=10617796 CPUtime=225.66 cores=1,3,5,7
/proc/31438/stat : 31438 (java) S 31435 31438 5091 0 -1 1077944320 41858 0 0 0 22545 21 0 0 20 0 16 0 13023340 10872623104 64159 18446744073709551615 4194304 4196468 140724439789024 140724439771568 140208196194039 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 7 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
/proc/31438/statm: 2654449 64159 3109 1 0 2643910 0
[pid=31438/tid=31440] ppid=31435 vsize=10617796 CPUtime=222.11 cores=1,3,5,7
/proc/31438/task/31440/stat : 31440 (java) R 31435 31438 5091 0 -1 4202560 11275 0 0 0 22206 5 0 0 20 0 16 0 13023348 10872623104 64159 18446744073709551615 4194304 4196468 140724439789024 140208200432976 140207818761777 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
[pid=31438/tid=31441] ppid=31435 vsize=10617796 CPUtime=0.02 cores=1,3,5,7
/proc/31438/task/31441/stat : 31441 (java) S 31435 31438 5091 0 -1 1077944384 199 0 0 0 1 1 0 0 20 0 16 0 13023348 10872623104 64159 18446744073709551615 4194304 4196468 140724439789024 140208137230736 140208196204245 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
[pid=31438/tid=31442] ppid=31435 vsize=10617796 CPUtime=0.02 cores=1,3,5,7
/proc/31438/task/31442/stat : 31442 (java) S 31435 31438 5091 0 -1 1077944384 642 0 0 0 1 1 0 0 20 0 16 0 13023348 10872623104 64159 18446744073709551615 4194304 4196468 140724439789024 140208136177936 140208196204245 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
[pid=31438/tid=31443] ppid=31435 vsize=10617796 CPUtime=0.02 cores=1,3,5,7
/proc/31438/task/31443/stat : 31443 (java) S 31435 31438 5091 0 -1 1077944384 394 0 0 0 1 1 0 0 20 0 16 0 13023348 10872623104 64159 18446744073709551615 4194304 4196468 140724439789024 140208135125648 140208196204245 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
[pid=31438/tid=31444] ppid=31435 vsize=10617796 CPUtime=0.02 cores=1,3,5,7
/proc/31438/task/31444/stat : 31444 (java) S 31435 31438 5091 0 -1 1077944384 380 0 0 0 1 1 0 0 20 0 16 0 13023348 10872623104 64159 18446744073709551615 4194304 4196468 140724439789024 140207804246544 140208196204245 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
[pid=31438/tid=31445] ppid=31435 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/31438/task/31445/stat : 31445 (java) S 31435 31438 5091 0 -1 1077944384 654 0 0 0 0 0 0 0 20 0 16 0 13023350 10872623104 64159 18446744073709551615 4194304 4196468 140724439789024 140207236848240 140208196205186 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
[pid=31438/tid=31446] ppid=31435 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/31438/task/31446/stat : 31446 (java) S 31435 31438 5091 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 16 0 13023350 10872623104 64159 18446744073709551615 4194304 4196468 140724439789024 140207235794208 140208196204245 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
[pid=31438/tid=31447] ppid=31435 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/31438/task/31447/stat : 31447 (java) S 31435 31438 5091 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 16 0 13023350 10872623104 64159 18446744073709551615 4194304 4196468 140724439789024 140207234741872 140208196204245 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
[pid=31438/tid=31448] ppid=31435 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/31438/task/31448/stat : 31448 (java) S 31435 31438 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13023352 10872623104 64159 18446744073709551615 4194304 4196468 140724439789024 140207233690192 140208196212635 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
[pid=31438/tid=31449] ppid=31435 vsize=10617796 CPUtime=1.48 cores=1,3,5,7
/proc/31438/task/31449/stat : 31449 (java) S 31435 31438 5091 0 -1 1077944384 7300 0 0 0 147 1 0 0 20 0 16 0 13023352 10872623104 64159 18446744073709551615 4194304 4196468 140724439789024 140207232637040 140208196205186 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
[pid=31438/tid=31450] ppid=31435 vsize=10617796 CPUtime=1.41 cores=1,3,5,7
/proc/31438/task/31450/stat : 31450 (java) S 31435 31438 5091 0 -1 1077944384 14127 0 0 0 139 2 0 0 20 0 16 0 13023353 10872623104 64159 18446744073709551615 4194304 4196468 140724439789024 140207231584240 140208196205186 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
[pid=31438/tid=31451] ppid=31435 vsize=10617796 CPUtime=0.4 cores=1,3,5,7
/proc/31438/task/31451/stat : 31451 (java) S 31435 31438 5091 0 -1 1077944384 4244 0 0 0 39 1 0 0 20 0 16 0 13023353 10872623104 64159 18446744073709551615 4194304 4196468 140724439789024 140207230531952 140208196205186 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
[pid=31438/tid=31452] ppid=31435 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/31438/task/31452/stat : 31452 (java) S 31435 31438 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13023353 10872623104 64159 18446744073709551615 4194304 4196468 140724439789024 140207229479392 140208196204245 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
[pid=31438/tid=31453] ppid=31435 vsize=10617796 CPUtime=0.08 cores=1,3,5,7
/proc/31438/task/31453/stat : 31453 (java) S 31435 31438 5091 0 -1 1077944384 1213 0 0 0 3 5 0 0 20 0 16 0 13023358 10872623104 64159 18446744073709551615 4194304 4196468 140724439789024 140207228427184 140208196205186 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
[pid=31438/tid=31468] ppid=31435 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/31438/task/31468/stat : 31468 (java) S 31435 31438 5091 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 13023413 10872623104 64159 18446744073709551615 4194304 4196468 140724439789024 140207227372720 140208196205186 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
Current children cumulated CPU time (s) 225.66
Current children cumulated vsize (KiB) 10617796
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.97 1.95 1.87 3/213 31602
/proc/meminfo: memFree=31303160/32770624 swapFree=0/217692
[pid=31438] ppid=31435 vsize=10617796 CPUtime=243.42 cores=1,3,5,7
/proc/31438/stat : 31438 (java) S 31435 31438 5091 0 -1 1077944320 43042 0 0 0 24319 23 0 0 20 0 16 0 13023340 10872623104 69418 18446744073709551615 4194304 4196468 140724439789024 140724439771568 140208196194039 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 7 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
/proc/31438/statm: 2654449 69418 3109 1 0 2643910 0
[pid=31438/tid=31440] ppid=31435 vsize=10617796 CPUtime=239.78 cores=1,3,5,7
/proc/31438/task/31440/stat : 31440 (java) R 31435 31438 5091 0 -1 4202560 11292 0 0 0 23973 5 0 0 20 0 16 0 13023348 10872623104 69418 18446744073709551615 4194304 4196468 140724439789024 140208200432976 140207818761777 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
[pid=31438/tid=31441] ppid=31435 vsize=10617796 CPUtime=0.04 cores=1,3,5,7
/proc/31438/task/31441/stat : 31441 (java) S 31435 31438 5091 0 -1 1077944384 223 0 0 0 3 1 0 0 20 0 16 0 13023348 10872623104 69418 18446744073709551615 4194304 4196468 140724439789024 140208137230736 140208196204245 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
[pid=31438/tid=31442] ppid=31435 vsize=10617796 CPUtime=0.04 cores=1,3,5,7
/proc/31438/task/31442/stat : 31442 (java) S 31435 31438 5091 0 -1 1077944384 1130 0 0 0 3 1 0 0 20 0 16 0 13023348 10872623104 69418 18446744073709551615 4194304 4196468 140724439789024 140208136177936 140208196204245 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
[pid=31438/tid=31443] ppid=31435 vsize=10617796 CPUtime=0.04 cores=1,3,5,7
/proc/31438/task/31443/stat : 31443 (java) S 31435 31438 5091 0 -1 1077944384 711 0 0 0 3 1 0 0 20 0 16 0 13023348 10872623104 69418 18446744073709551615 4194304 4196468 140724439789024 140208135125648 140208196204245 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
[pid=31438/tid=31444] ppid=31435 vsize=10617796 CPUtime=0.04 cores=1,3,5,7
/proc/31438/task/31444/stat : 31444 (java) S 31435 31438 5091 0 -1 1077944384 500 0 0 0 3 1 0 0 20 0 16 0 13023348 10872623104 69418 18446744073709551615 4194304 4196468 140724439789024 140207804246544 140208196204245 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
[pid=31438/tid=31445] ppid=31435 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/31438/task/31445/stat : 31445 (java) S 31435 31438 5091 0 -1 1077944384 872 0 0 0 0 0 0 0 20 0 16 0 13023350 10872623104 69418 18446744073709551615 4194304 4196468 140724439789024 140207236848240 140208196205186 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
[pid=31438/tid=31446] ppid=31435 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/31438/task/31446/stat : 31446 (java) S 31435 31438 5091 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 16 0 13023350 10872623104 69418 18446744073709551615 4194304 4196468 140724439789024 140207235794208 140208196204245 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
[pid=31438/tid=31447] ppid=31435 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/31438/task/31447/stat : 31447 (java) S 31435 31438 5091 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 16 0 13023350 10872623104 69418 18446744073709551615 4194304 4196468 140724439789024 140207234741872 140208196204245 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
[pid=31438/tid=31448] ppid=31435 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/31438/task/31448/stat : 31448 (java) S 31435 31438 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13023352 10872623104 69418 18446744073709551615 4194304 4196468 140724439789024 140207233690192 140208196212635 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
[pid=31438/tid=31449] ppid=31435 vsize=10617796 CPUtime=1.48 cores=1,3,5,7
/proc/31438/task/31449/stat : 31449 (java) S 31435 31438 5091 0 -1 1077944384 7300 0 0 0 147 1 0 0 20 0 16 0 13023352 10872623104 69418 18446744073709551615 4194304 4196468 140724439789024 140207232637040 140208196205186 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
[pid=31438/tid=31450] ppid=31435 vsize=10617796 CPUtime=1.41 cores=1,3,5,7
/proc/31438/task/31450/stat : 31450 (java) S 31435 31438 5091 0 -1 1077944384 14127 0 0 0 139 2 0 0 20 0 16 0 13023353 10872623104 69418 18446744073709551615 4194304 4196468 140724439789024 140207231584240 140208196205186 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
[pid=31438/tid=31451] ppid=31435 vsize=10617796 CPUtime=0.4 cores=1,3,5,7
/proc/31438/task/31451/stat : 31451 (java) S 31435 31438 5091 0 -1 1077944384 4244 0 0 0 39 1 0 0 20 0 16 0 13023353 10872623104 69418 18446744073709551615 4194304 4196468 140724439789024 140207230531952 140208196205186 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
[pid=31438/tid=31452] ppid=31435 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/31438/task/31452/stat : 31452 (java) S 31435 31438 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13023353 10872623104 69418 18446744073709551615 4194304 4196468 140724439789024 140207229479392 140208196204245 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
[pid=31438/tid=31453] ppid=31435 vsize=10617796 CPUtime=0.09 cores=1,3,5,7
/proc/31438/task/31453/stat : 31453 (java) S 31435 31438 5091 0 -1 1077944384 1213 0 0 0 3 6 0 0 20 0 16 0 13023358 10872623104 69418 18446744073709551615 4194304 4196468 140724439789024 140207228427184 140208196205186 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
[pid=31438/tid=31468] ppid=31435 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/31438/task/31468/stat : 31468 (java) S 31435 31438 5091 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 13023413 10872623104 69418 18446744073709551615 4194304 4196468 140724439789024 140207227372720 140208196205186 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
Current children cumulated CPU time (s) 243.42
Current children cumulated vsize (KiB) 10617796
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 31438 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+240.201 s]
/proc/loadavg: 1.97 1.95 1.87 3/213 31602
/proc/meminfo: memFree=31303160/32770624 swapFree=0/217692
[pid=31438] ppid=31435 vsize=10817488 CPUtime=243.52 cores=1,3,5,7
/proc/31438/stat : 31438 (java) S 31435 31438 5091 0 -1 1077944320 43536 0 0 0 24329 23 0 0 20 0 17 0 13023340 11077107712 69472 18446744073709551615 4194304 4196468 140724439789024 140724439771568 140208196194039 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 7 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
/proc/31438/statm: 2704372 69472 3111 1 0 2693833 0
[pid=31438/tid=31440] ppid=31435 vsize=10817488 CPUtime=239.87 cores=1,3,5,7
/proc/31438/task/31440/stat : 31440 (java) S 31435 31438 5091 0 -1 1077944384 11314 0 0 0 23982 5 0 0 20 0 17 0 13023348 11077107712 69472 18446744073709551615 4194304 4196468 140724439789024 140208200436912 140208196204245 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
[pid=31438/tid=31441] ppid=31435 vsize=10817488 CPUtime=0.04 cores=1,3,5,7
/proc/31438/task/31441/stat : 31441 (java) S 31435 31438 5091 0 -1 1077944384 223 0 0 0 3 1 0 0 20 0 17 0 13023348 11077107712 69472 18446744073709551615 4194304 4196468 140724439789024 140208137230736 140208196204245 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
[pid=31438/tid=31442] ppid=31435 vsize=10817488 CPUtime=0.04 cores=1,3,5,7
/proc/31438/task/31442/stat : 31442 (java) S 31435 31438 5091 0 -1 1077944384 1130 0 0 0 3 1 0 0 20 0 17 0 13023348 11077107712 69472 18446744073709551615 4194304 4196468 140724439789024 140208136177936 140208196204245 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
[pid=31438/tid=31443] ppid=31435 vsize=10817488 CPUtime=0.04 cores=1,3,5,7
/proc/31438/task/31443/stat : 31443 (java) S 31435 31438 5091 0 -1 1077944384 711 0 0 0 3 1 0 0 20 0 17 0 13023348 11077107712 69472 18446744073709551615 4194304 4196468 140724439789024 140208135125648 140208196204245 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
[pid=31438/tid=31444] ppid=31435 vsize=10817488 CPUtime=0.04 cores=1,3,5,7
/proc/31438/task/31444/stat : 31444 (java) S 31435 31438 5091 0 -1 1077944384 500 0 0 0 3 1 0 0 20 0 17 0 13023348 11077107712 69472 18446744073709551615 4194304 4196468 140724439789024 140207804246544 140208196204245 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
[pid=31438/tid=31445] ppid=31435 vsize=10817488 CPUtime=0 cores=1,3,5,7
/proc/31438/task/31445/stat : 31445 (java) S 31435 31438 5091 0 -1 1077944384 872 0 0 0 0 0 0 0 20 0 17 0 13023350 11077107712 69472 18446744073709551615 4194304 4196468 140724439789024 140207236848240 140208196205186 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
[pid=31438/tid=31446] ppid=31435 vsize=10817488 CPUtime=0 cores=1,3,5,7
/proc/31438/task/31446/stat : 31446 (java) S 31435 31438 5091 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 17 0 13023350 11077107712 69472 18446744073709551615 4194304 4196468 140724439789024 140207235794208 140208196204245 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
[pid=31438/tid=31447] ppid=31435 vsize=10817488 CPUtime=0 cores=1,3,5,7
/proc/31438/task/31447/stat : 31447 (java) S 31435 31438 5091 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 17 0 13023350 11077107712 69472 18446744073709551615 4194304 4196468 140724439789024 140207234741872 140208196204245 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
[pid=31438/tid=31448] ppid=31435 vsize=10817488 CPUtime=0 cores=1,3,5,7
/proc/31438/task/31448/stat : 31448 (java) S 31435 31438 5091 0 -1 1077944384 128 0 0 0 0 0 0 0 20 0 17 0 13023352 11077107712 69472 18446744073709551615 4194304 4196468 140724439789024 140207233690192 140208196212635 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
[pid=31438/tid=31449] ppid=31435 vsize=10817488 CPUtime=1.48 cores=1,3,5,7
/proc/31438/task/31449/stat : 31449 (java) S 31435 31438 5091 0 -1 1077944384 7339 0 0 0 147 1 0 0 20 0 17 0 13023352 11077107712 69472 18446744073709551615 4194304 4196468 140724439789024 140207232637040 140208196205186 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
[pid=31438/tid=31450] ppid=31435 vsize=10817488 CPUtime=1.42 cores=1,3,5,7
/proc/31438/task/31450/stat : 31450 (java) S 31435 31438 5091 0 -1 1077944384 14143 0 0 0 140 2 0 0 20 0 17 0 13023353 11077107712 69472 18446744073709551615 4194304 4196468 140724439789024 140207231584240 140208196205186 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
[pid=31438/tid=31451] ppid=31435 vsize=10817488 CPUtime=0.4 cores=1,3,5,7
/proc/31438/task/31451/stat : 31451 (java) S 31435 31438 5091 0 -1 1077944384 4311 0 0 0 39 1 0 0 20 0 17 0 13023353 11077107712 69472 18446744073709551615 4194304 4196468 140724439789024 140207230531952 140208196205186 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
[pid=31438/tid=31452] ppid=31435 vsize=10817488 CPUtime=0 cores=1,3,5,7
/proc/31438/task/31452/stat : 31452 (java) S 31435 31438 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 13023353 11077107712 69472 18446744073709551615 4194304 4196468 140724439789024 140207229479392 140208196204245 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
[pid=31438/tid=31453] ppid=31435 vsize=10817488 CPUtime=0.09 cores=1,3,5,7
/proc/31438/task/31453/stat : 31453 (java) S 31435 31438 5091 0 -1 1077944384 1213 0 0 0 3 6 0 0 20 0 17 0 13023358 11077107712 69472 18446744073709551615 4194304 4196468 140724439789024 140207228427184 140208196205186 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15413248 140724439794098 140724439794251 140724439794251 140724439797711 0
Current children cumulated CPU time (s) 243.52
Current children cumulated vsize (KiB) 10817488
Child status: 143
Real time (s): 240.213
CPU time (s): 243.542
CPU user time (s): 243.301
CPU system time (s): 0.241079
CPU usage (%): 101.386
Max. virtual memory (cumulated for all children) (KiB): 10817488
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 243.301
system time used= 0.241079
maximum resident set size= 278232
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43756
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= 7246
involuntary context switches= 159
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.08038 second user time and 1.42938 second system time
The end