runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3730265-1338680422/watcher-3730265-1338680422 -o /tmp/evaluation-result-3730265-1338680422/solver-3730265-1338680422 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3730265-1338680422.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 1.97 1.75 3/195 15943
/proc/meminfo: memFree=27794324/32873844 swapFree=7108/7108
[pid=15943] ppid=15941 vsize=272 CPUtime=0 cores=1,3,5,7
/proc/15943/stat : 15943 (java) D 15941 15943 15746 0 -1 4202496 82 0 0 0 0 0 0 0 20 0 1 0 334166771 278528 33 33554432000 1073741824 1073778376 140736222568288 140736222565464 248781040935 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/15943/statm: 68 33 25 9 0 25 0
[startup+0.097678 s]
/proc/loadavg: 2.00 1.97 1.75 3/195 15943
/proc/meminfo: memFree=27794324/32873844 swapFree=7108/7108
[pid=15943] ppid=15941 vsize=2957856 CPUtime=0.06 cores=1,3,5,7
/proc/15943/stat : 15943 (java) S 15941 15943 15746 0 -1 4202496 4129 0 1 0 5 1 0 0 20 0 18 0 334166771 3028844544 5846 33554432000 1073741824 1073778376 140734419306832 140734419297968 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/15943/statm: 739464 5846 1791 9 0 729885 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2957856
[startup+0.100305 s]
/proc/loadavg: 2.00 1.97 1.75 3/195 15943
/proc/meminfo: memFree=27794324/32873844 swapFree=7108/7108
[pid=15943] ppid=15941 vsize=2957856 CPUtime=0.06 cores=1,3,5,7
/proc/15943/stat : 15943 (java) S 15941 15943 15746 0 -1 4202496 4129 0 1 0 5 1 0 0 20 0 18 0 334166771 3028844544 5846 33554432000 1073741824 1073778376 140734419306832 140734419297968 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/15943/statm: 739464 5846 1791 9 0 729885 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2957856
[startup+0.300306 s]
/proc/loadavg: 2.00 1.97 1.75 3/195 15943
/proc/meminfo: memFree=27794324/32873844 swapFree=7108/7108
[pid=15943] ppid=15941 vsize=2957856 CPUtime=0.51 cores=1,3,5,7
/proc/15943/stat : 15943 (java) S 15941 15943 15746 0 -1 4202496 8451 0 1 0 49 2 0 0 20 0 18 0 334166771 3028844544 11277 33554432000 1073741824 1073778376 140734419306832 140734419297968 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/15943/statm: 739464 11277 2246 9 0 729885 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 2957856
[startup+0.700308 s]
/proc/loadavg: 2.00 1.97 1.75 3/195 15943
/proc/meminfo: memFree=27794324/32873844 swapFree=7108/7108
[pid=15943] ppid=15941 vsize=3024420 CPUtime=1.35 cores=1,3,5,7
/proc/15943/stat : 15943 (java) S 15941 15943 15746 0 -1 4202496 9426 0 1 0 132 3 0 0 20 0 19 0 334166771 3097006080 13565 33554432000 1073741824 1073778376 140734419306832 140734419297968 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/15943/statm: 756105 13565 2264 9 0 746526 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 3024420
[startup+1.50079 s]
/proc/loadavg: 2.08 1.99 1.75 3/214 15962
/proc/meminfo: memFree=27740780/32873844 swapFree=7108/7108
[pid=15943] ppid=15941 vsize=3024420 CPUtime=2.16 cores=1,3,5,7
/proc/15943/stat : 15943 (java) S 15941 15943 15746 0 -1 4202496 9438 0 1 0 213 3 0 0 20 0 19 0 334166771 3097006080 18175 33554432000 1073741824 1073778376 140734419306832 140734419297968 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/15943/statm: 756105 18175 2266 9 0 746526 0
[pid=15943/tid=15945] ppid=15941 vsize=3024420 CPUtime=1.45 cores=1,3,5,7
/proc/15943/task/15945/stat : 15945 (java) R 15941 15943 15746 0 -1 4202560 3047 0 1 0 143 2 0 0 20 0 19 0 334166773 3097006080 18175 33554432000 1073741824 1073778376 140734419306832 139903367037584 139903208398799 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=15943/tid=15946] ppid=15941 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15943/task/15946/stat : 15946 (java) S 15941 15943 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334166774 3097006080 18175 33554432000 1073741824 1073778376 140734419306832 139903350462632 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15943/tid=15947] ppid=15941 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15943/task/15947/stat : 15947 (java) S 15941 15943 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334166774 3097006080 18175 33554432000 1073741824 1073778376 140734419306832 139903349410088 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15943/tid=15948] ppid=15941 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15943/task/15948/stat : 15948 (java) S 15941 15943 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334166774 3097006080 18175 33554432000 1073741824 1073778376 140734419306832 139903348357544 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15943/tid=15949] ppid=15941 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15943/task/15949/stat : 15949 (java) S 15941 15943 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334166774 3097006080 18175 33554432000 1073741824 1073778376 140734419306832 139903347305000 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15943/tid=15950] ppid=15941 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15943/task/15950/stat : 15950 (java) S 15941 15943 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334166774 3097006080 18175 33554432000 1073741824 1073778376 140734419306832 139903346252456 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15943/tid=15951] ppid=15941 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15943/task/15951/stat : 15951 (java) S 15941 15943 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334166774 3097006080 18175 33554432000 1073741824 1073778376 140734419306832 139903345199912 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15943/tid=15952] ppid=15941 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15943/task/15952/stat : 15952 (java) S 15941 15943 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334166774 3097006080 18175 33554432000 1073741824 1073778376 140734419306832 139903344147368 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15943/tid=15953] ppid=15941 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15943/task/15953/stat : 15953 (java) S 15941 15943 15746 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334166774 3097006080 18175 33554432000 1073741824 1073778376 140734419306832 139903343094824 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15943/tid=15954] ppid=15941 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15943/task/15954/stat : 15954 (java) S 15941 15943 15746 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 334166776 3097006080 18175 33554432000 1073741824 1073778376 140734419306832 139903330682984 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15943/tid=15955] ppid=15941 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15943/task/15955/stat : 15955 (java) S 15941 15943 15746 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 334166776 3097006080 18175 33554432000 1073741824 1073778376 140734419306832 139903329629304 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15943/tid=15956] ppid=15941 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15943/task/15956/stat : 15956 (java) S 15941 15943 15746 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334166776 3097006080 18175 33554432000 1073741824 1073778376 140734419306832 139903328576648 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15943/tid=15957] ppid=15941 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15943/task/15957/stat : 15957 (java) S 15941 15943 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334166779 3097006080 18175 33554432000 1073741824 1073778376 140734419306832 139903327525392 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15943/tid=15958] ppid=15941 vsize=3024420 CPUtime=0.34 cores=1,3,5,7
/proc/15943/task/15958/stat : 15958 (java) S 15941 15943 15746 0 -1 4202560 3488 0 0 0 34 0 0 0 20 0 19 0 334166779 3097006080 18175 33554432000 1073741824 1073778376 140734419306832 139903326472760 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15943/tid=15959] ppid=15941 vsize=3024420 CPUtime=0.32 cores=1,3,5,7
/proc/15943/task/15959/stat : 15959 (java) S 15941 15943 15746 0 -1 4202560 1703 0 0 0 32 0 0 0 20 0 19 0 334166779 3097006080 18175 33554432000 1073741824 1073778376 140734419306832 139903207729848 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15943/tid=15960] ppid=15941 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15943/task/15960/stat : 15960 (java) S 15941 15943 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334166779 3097006080 18175 33554432000 1073741824 1073778376 140734419306832 139903206677496 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15943/tid=15961] ppid=15941 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15943/task/15961/stat : 15961 (java) S 15941 15943 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334166779 3097006080 18175 33554432000 1073741824 1073778376 140734419306832 139903205625160 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15943/tid=15962] ppid=15941 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15943/task/15962/stat : 15962 (java) S 15941 15943 15746 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 334166804 3097006080 18175 33554432000 1073741824 1073778376 140734419306832 139903203492648 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.16
Current children cumulated vsize (KiB) 3024420
[startup+3.1008 s]
/proc/loadavg: 2.08 1.99 1.75 3/214 15962
/proc/meminfo: memFree=27715328/32873844 swapFree=7108/7108
[pid=15943] ppid=15941 vsize=3024420 CPUtime=3.81 cores=1,3,5,7
/proc/15943/stat : 15943 (java) S 15941 15943 15746 0 -1 4202496 9696 0 1 0 378 3 0 0 20 0 19 0 334166771 3097006080 26369 33554432000 1073741824 1073778376 140734419306832 140734419297968 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/15943/statm: 756105 26369 2268 9 0 746526 0
[pid=15943/tid=15945] ppid=15941 vsize=3024420 CPUtime=3.04 cores=1,3,5,7
/proc/15943/task/15945/stat : 15945 (java) R 15941 15943 15746 0 -1 4202560 3064 0 1 0 302 2 0 0 20 0 19 0 334166773 3097006080 26369 33554432000 1073741824 1073778376 140734419306832 139903367037576 139903208399590 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=15943/tid=15946] ppid=15941 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15943/task/15946/stat : 15946 (java) S 15941 15943 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334166774 3097006080 26369 33554432000 1073741824 1073778376 140734419306832 139903350462632 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15943/tid=15947] ppid=15941 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15943/task/15947/stat : 15947 (java) S 15941 15943 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334166774 3097006080 26369 33554432000 1073741824 1073778376 140734419306832 139903349410088 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15943/tid=15948] ppid=15941 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15943/task/15948/stat : 15948 (java) S 15941 15943 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334166774 3097006080 26369 33554432000 1073741824 1073778376 140734419306832 139903348357544 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15943/tid=15949] ppid=15941 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15943/task/15949/stat : 15949 (java) S 15941 15943 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334166774 3097006080 26369 33554432000 1073741824 1073778376 140734419306832 139903347305000 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15943/tid=15950] ppid=15941 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15943/task/15950/stat : 15950 (java) S 15941 15943 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334166774 3097006080 26369 33554432000 1073741824 1073778376 140734419306832 139903346252456 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15943/tid=15951] ppid=15941 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15943/task/15951/stat : 15951 (java) S 15941 15943 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334166774 3097006080 26369 33554432000 1073741824 1073778376 140734419306832 139903345199912 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15943/tid=15952] ppid=15941 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15943/task/15952/stat : 15952 (java) S 15941 15943 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334166774 3097006080 26369 33554432000 1073741824 1073778376 140734419306832 139903344147368 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15943/tid=15953] ppid=15941 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15943/task/15953/stat : 15953 (java) S 15941 15943 15746 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334166774 3097006080 26369 33554432000 1073741824 1073778376 140734419306832 139903343094824 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15943/tid=15954] ppid=15941 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15943/task/15954/stat : 15954 (java) S 15941 15943 15746 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 334166776 3097006080 26369 33554432000 1073741824 1073778376 140734419306832 139903330682984 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15943/tid=15955] ppid=15941 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15943/task/15955/stat : 15955 (java) S 15941 15943 15746 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 334166776 3097006080 26369 33554432000 1073741824 1073778376 140734419306832 139903329629304 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15943/tid=15956] ppid=15941 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15943/task/15956/stat : 15956 (java) S 15941 15943 15746 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334166776 3097006080 26369 33554432000 1073741824 1073778376 140734419306832 139903328576648 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15943/tid=15957] ppid=15941 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15943/task/15957/stat : 15957 (java) S 15941 15943 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334166779 3097006080 26369 33554432000 1073741824 1073778376 140734419306832 139903327525392 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15943/tid=15958] ppid=15941 vsize=3024420 CPUtime=0.36 cores=1,3,5,7
/proc/15943/task/15958/stat : 15958 (java) S 15941 15943 15746 0 -1 4202560 3489 0 0 0 36 0 0 0 20 0 19 0 334166779 3097006080 26369 33554432000 1073741824 1073778376 140734419306832 139903326472760 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15943/tid=15959] ppid=15941 vsize=3024420 CPUtime=0.35 cores=1,3,5,7
/proc/15943/task/15959/stat : 15959 (java) S 15941 15943 15746 0 -1 4202560 1943 0 0 0 35 0 0 0 20 0 19 0 334166779 3097006080 26369 33554432000 1073741824 1073778376 140734419306832 139903207729848 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15943/tid=15960] ppid=15941 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15943/task/15960/stat : 15960 (java) S 15941 15943 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334166779 3097006080 26369 33554432000 1073741824 1073778376 140734419306832 139903206677496 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15943/tid=15961] ppid=15941 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15943/task/15961/stat : 15961 (java) S 15941 15943 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334166779 3097006080 26369 33554432000 1073741824 1073778376 140734419306832 139903205625160 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15943/tid=15962] ppid=15941 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15943/task/15962/stat : 15962 (java) S 15941 15943 15746 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 334166804 3097006080 26369 33554432000 1073741824 1073778376 140734419306832 139903203492648 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.81
Current children cumulated vsize (KiB) 3024420
[startup+6.30081 s]
/proc/loadavg: 2.08 1.99 1.75 3/214 15962
/proc/meminfo: memFree=27657364/32873844 swapFree=7108/7108
[pid=15943] ppid=15941 vsize=3024420 CPUtime=7.05 cores=1,3,5,7
/proc/15943/stat : 15943 (java) S 15941 15943 15746 0 -1 4202496 9730 0 1 0 700 5 0 0 20 0 19 0 334166771 3097006080 38594 33554432000 1073741824 1073778376 140734419306832 140734419297968 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/15943/statm: 756105 38594 2269 9 0 746526 0
[pid=15943/tid=15945] ppid=15941 vsize=3024420 CPUtime=6.23 cores=1,3,5,7
/proc/15943/task/15945/stat : 15945 (java) R 15941 15943 15746 0 -1 4202560 3091 0 1 0 620 3 0 0 20 0 19 0 334166773 3097006080 38594 33554432000 1073741824 1073778376 140734419306832 139903367037576 139903208442224 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=15943/tid=15946] ppid=15941 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15943/task/15946/stat : 15946 (java) S 15941 15943 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334166774 3097006080 38594 33554432000 1073741824 1073778376 140734419306832 139903350462632 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15943/tid=15947] ppid=15941 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15943/task/15947/stat : 15947 (java) S 15941 15943 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334166774 3097006080 38594 33554432000 1073741824 1073778376 140734419306832 139903349410088 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15943/tid=15948] ppid=15941 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15943/task/15948/stat : 15948 (java) S 15941 15943 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334166774 3097006080 38594 33554432000 1073741824 1073778376 140734419306832 139903348357544 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15943/tid=15949] ppid=15941 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15943/task/15949/stat : 15949 (java) S 15941 15943 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334166774 3097006080 38594 33554432000 1073741824 1073778376 140734419306832 139903347305000 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15943/tid=15950] ppid=15941 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15943/task/15950/stat : 15950 (java) S 15941 15943 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334166774 3097006080 38594 33554432000 1073741824 1073778376 140734419306832 139903346252456 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15943/tid=15951] ppid=15941 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15943/task/15951/stat : 15951 (java) S 15941 15943 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334166774 3097006080 38594 33554432000 1073741824 1073778376 140734419306832 139903345199912 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15943/tid=15952] ppid=15941 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15943/task/15952/stat : 15952 (java) S 15941 15943 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334166774 3097006080 38594 33554432000 1073741824 1073778376 140734419306832 139903344147368 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15943/tid=15953] ppid=15941 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15943/task/15953/stat : 15953 (java) S 15941 15943 15746 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334166774 3097006080 38594 33554432000 1073741824 1073778376 140734419306832 139903343094824 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15943/tid=15954] ppid=15941 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15943/task/15954/stat : 15954 (java) S 15941 15943 15746 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 334166776 3097006080 38594 33554432000 1073741824 1073778376 140734419306832 139903330682984 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15943/tid=15955] ppid=15941 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15943/task/15955/stat : 15955 (java) S 15941 15943 15746 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 334166776 3097006080 38594 33554432000 1073741824 1073778376 140734419306832 139903329629304 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15943/tid=15956] ppid=15941 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15943/task/15956/stat : 15956 (java) S 15941 15943 15746 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334166776 3097006080 38594 33554432000 1073741824 1073778376 140734419306832 139903328576648 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15943/tid=15957] ppid=15941 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15943/task/15957/stat : 15957 (java) S 15941 15943 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334166779 3097006080 38594 33554432000 1073741824 1073778376 140734419306832 139903327525392 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15943/tid=15958] ppid=15941 vsize=3024420 CPUtime=0.37 cores=1,3,5,7
/proc/15943/task/15958/stat : 15958 (java) S 15941 15943 15746 0 -1 4202560 3489 0 0 0 37 0 0 0 20 0 19 0 334166779 3097006080 38594 33554432000 1073741824 1073778376 140734419306832 139903326472760 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15943/tid=15959] ppid=15941 vsize=3024420 CPUtime=0.37 cores=1,3,5,7
/proc/15943/task/15959/stat : 15959 (java) S 15941 15943 15746 0 -1 4202560 1949 0 0 0 37 0 0 0 20 0 19 0 334166779 3097006080 38594 33554432000 1073741824 1073778376 140734419306832 139903207729848 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15943/tid=15960] ppid=15941 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15943/task/15960/stat : 15960 (java) S 15941 15943 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334166779 3097006080 38594 33554432000 1073741824 1073778376 140734419306832 139903206677496 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15943/tid=15961] ppid=15941 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15943/task/15961/stat : 15961 (java) S 15941 15943 15746 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 334166779 3097006080 38594 33554432000 1073741824 1073778376 140734419306832 139903205625160 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15943/tid=15962] ppid=15941 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15943/task/15962/stat : 15962 (java) S 15941 15943 15746 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 334166804 3097006080 38594 33554432000 1073741824 1073778376 140734419306832 139903203492648 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.05
Current children cumulated vsize (KiB) 3024420
[startup+12.7008 s]
################
# More data... #
################
[pid=15943/tid=15958] ppid=15941 vsize=3024420 CPUtime=0.42 cores=1,3,5,7
/proc/15943/task/15958/stat : 15958 (java) S 15941 15943 15746 0 -1 4202560 3497 0 0 0 42 0 0 0 20 0 19 0 334166779 3097006080 420174 33554432000 1073741824 1073778376 140734419306832 139903326472760 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15943/tid=15959] ppid=15941 vsize=3024420 CPUtime=0.43 cores=1,3,5,7
/proc/15943/task/15959/stat : 15959 (java) S 15941 15943 15746 0 -1 4202560 1954 0 0 0 43 0 0 0 20 0 19 0 334166779 3097006080 420174 33554432000 1073741824 1073778376 140734419306832 139903207729848 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15943/tid=15960] ppid=15941 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15943/task/15960/stat : 15960 (java) S 15941 15943 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334166779 3097006080 420174 33554432000 1073741824 1073778376 140734419306832 139903206677496 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15943/tid=15961] ppid=15941 vsize=3024420 CPUtime=0.96 cores=1,3,5,7
/proc/15943/task/15961/stat : 15961 (java) S 15941 15943 15746 0 -1 4202560 100 0 0 0 47 49 0 0 20 0 19 0 334166779 3097006080 420174 33554432000 1073741824 1073778376 140734419306832 139903205625160 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15943/tid=15962] ppid=15941 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15943/task/15962/stat : 15962 (java) S 15941 15943 15746 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 334166804 3097006080 420174 33554432000 1073741824 1073778376 140734419306832 139903203492648 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1726.21
Current children cumulated vsize (KiB) 3024420
[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 1.93 3/214 16173
/proc/meminfo: memFree=25703240/32873844 swapFree=7108/7108
[pid=15943] ppid=15941 vsize=3024420 CPUtime=1786.2 cores=1,3,5,7
/proc/15943/stat : 15943 (java) S 15941 15943 15746 0 -1 4202496 12123 0 1 0 178402 218 0 0 20 0 19 0 334166771 3097006080 420174 33554432000 1073741824 1073778376 140734419306832 140734419297968 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/15943/statm: 756105 420174 2297 9 0 746526 0
[pid=15943/tid=15945] ppid=15941 vsize=3024420 CPUtime=1775.9 cores=1,3,5,7
/proc/15943/task/15945/stat : 15945 (java) R 15941 15943 15746 0 -1 4202560 3243 0 1 0 177555 35 0 0 20 0 19 0 334166773 3097006080 420174 33554432000 1073741824 1073778376 140734419306832 139903367036208 139903208364531 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=15943/tid=15946] ppid=15941 vsize=3024420 CPUtime=0.33 cores=1,3,5,7
/proc/15943/task/15946/stat : 15946 (java) S 15941 15943 15746 0 -1 4202560 225 0 0 0 17 16 0 0 20 0 19 0 334166774 3097006080 420174 33554432000 1073741824 1073778376 140734419306832 139903350462632 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15943/tid=15947] ppid=15941 vsize=3024420 CPUtime=0.31 cores=1,3,5,7
/proc/15943/task/15947/stat : 15947 (java) S 15941 15943 15746 0 -1 4202560 211 0 0 0 14 17 0 0 20 0 19 0 334166774 3097006080 420174 33554432000 1073741824 1073778376 140734419306832 139903349410088 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15943/tid=15948] ppid=15941 vsize=3024420 CPUtime=0.37 cores=1,3,5,7
/proc/15943/task/15948/stat : 15948 (java) S 15941 15943 15746 0 -1 4202560 240 0 0 0 18 19 0 0 20 0 19 0 334166774 3097006080 420174 33554432000 1073741824 1073778376 140734419306832 139903348357544 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15943/tid=15949] ppid=15941 vsize=3024420 CPUtime=0.51 cores=1,3,5,7
/proc/15943/task/15949/stat : 15949 (java) S 15941 15943 15746 0 -1 4202560 319 0 0 0 27 24 0 0 20 0 19 0 334166774 3097006080 420174 33554432000 1073741824 1073778376 140734419306832 139903347305000 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15943/tid=15950] ppid=15941 vsize=3024420 CPUtime=0.36 cores=1,3,5,7
/proc/15943/task/15950/stat : 15950 (java) S 15941 15943 15746 0 -1 4202560 233 0 0 0 18 18 0 0 20 0 19 0 334166774 3097006080 420174 33554432000 1073741824 1073778376 140734419306832 139903346252456 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15943/tid=15951] ppid=15941 vsize=3024420 CPUtime=0.38 cores=1,3,5,7
/proc/15943/task/15951/stat : 15951 (java) S 15941 15943 15746 0 -1 4202560 248 0 0 0 19 19 0 0 20 0 19 0 334166774 3097006080 420174 33554432000 1073741824 1073778376 140734419306832 139903345199912 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15943/tid=15952] ppid=15941 vsize=3024420 CPUtime=0.39 cores=1,3,5,7
/proc/15943/task/15952/stat : 15952 (java) S 15941 15943 15746 0 -1 4202560 281 0 0 0 18 21 0 0 20 0 19 0 334166774 3097006080 420174 33554432000 1073741824 1073778376 140734419306832 139903344147368 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15943/tid=15953] ppid=15941 vsize=3024420 CPUtime=0.3 cores=1,3,5,7
/proc/15943/task/15953/stat : 15953 (java) S 15941 15943 15746 0 -1 4202560 203 0 0 0 14 16 0 0 20 0 19 0 334166774 3097006080 420174 33554432000 1073741824 1073778376 140734419306832 139903343094824 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15943/tid=15954] ppid=15941 vsize=3024420 CPUtime=0.98 cores=1,3,5,7
/proc/15943/task/15954/stat : 15954 (java) S 15941 15943 15746 0 -1 4202560 178 0 0 0 91 7 0 0 20 0 19 0 334166776 3097006080 420174 33554432000 1073741824 1073778376 140734419306832 139903330682984 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15943/tid=15955] ppid=15941 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15943/task/15955/stat : 15955 (java) S 15941 15943 15746 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 334166776 3097006080 420174 33554432000 1073741824 1073778376 140734419306832 139903329629304 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15943/tid=15956] ppid=15941 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15943/task/15956/stat : 15956 (java) S 15941 15943 15746 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 334166776 3097006080 420174 33554432000 1073741824 1073778376 140734419306832 139903328576648 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15943/tid=15957] ppid=15941 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15943/task/15957/stat : 15957 (java) S 15941 15943 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334166779 3097006080 420174 33554432000 1073741824 1073778376 140734419306832 139903327525392 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15943/tid=15958] ppid=15941 vsize=3024420 CPUtime=0.42 cores=1,3,5,7
/proc/15943/task/15958/stat : 15958 (java) S 15941 15943 15746 0 -1 4202560 3497 0 0 0 42 0 0 0 20 0 19 0 334166779 3097006080 420174 33554432000 1073741824 1073778376 140734419306832 139903326472760 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15943/tid=15959] ppid=15941 vsize=3024420 CPUtime=0.43 cores=1,3,5,7
/proc/15943/task/15959/stat : 15959 (java) S 15941 15943 15746 0 -1 4202560 1954 0 0 0 43 0 0 0 20 0 19 0 334166779 3097006080 420174 33554432000 1073741824 1073778376 140734419306832 139903207729848 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15943/tid=15960] ppid=15941 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15943/task/15960/stat : 15960 (java) S 15941 15943 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334166779 3097006080 420174 33554432000 1073741824 1073778376 140734419306832 139903206677496 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15943/tid=15961] ppid=15941 vsize=3024420 CPUtime=0.98 cores=1,3,5,7
/proc/15943/task/15961/stat : 15961 (java) S 15941 15943 15746 0 -1 4202560 104 0 0 0 48 50 0 0 20 0 19 0 334166779 3097006080 420174 33554432000 1073741824 1073778376 140734419306832 139903205625160 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15943/tid=15962] ppid=15941 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15943/task/15962/stat : 15962 (java) S 15941 15943 15746 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 334166804 3097006080 420174 33554432000 1073741824 1073778376 140734419306832 139903203492648 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1786.2
Current children cumulated vsize (KiB) 3024420
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1796.1 s]
/proc/loadavg: 2.01 2.01 1.93 3/214 16173
/proc/meminfo: memFree=25703396/32873844 swapFree=7108/7108
[pid=15943] ppid=15941 vsize=3024420 CPUtime=1800 cores=1,3,5,7
/proc/15943/stat : 15943 (java) S 15941 15943 15746 0 -1 4202496 12123 0 1 0 179782 218 0 0 20 0 19 0 334166771 3097006080 420174 33554432000 1073741824 1073778376 140734419306832 140734419297968 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/15943/statm: 756105 420174 2297 9 0 746526 0
[pid=15943/tid=15945] ppid=15941 vsize=3024420 CPUtime=1789.67 cores=1,3,5,7
/proc/15943/task/15945/stat : 15945 (java) R 15941 15943 15746 0 -1 4202560 3243 0 1 0 178931 36 0 0 20 0 19 0 334166773 3097006080 420174 33554432000 1073741824 1073778376 140734419306832 139903367036208 139903208364496 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=15943/tid=15946] ppid=15941 vsize=3024420 CPUtime=0.33 cores=1,3,5,7
/proc/15943/task/15946/stat : 15946 (java) S 15941 15943 15746 0 -1 4202560 225 0 0 0 17 16 0 0 20 0 19 0 334166774 3097006080 420174 33554432000 1073741824 1073778376 140734419306832 139903350462632 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15943/tid=15947] ppid=15941 vsize=3024420 CPUtime=0.31 cores=1,3,5,7
/proc/15943/task/15947/stat : 15947 (java) S 15941 15943 15746 0 -1 4202560 211 0 0 0 14 17 0 0 20 0 19 0 334166774 3097006080 420174 33554432000 1073741824 1073778376 140734419306832 139903349410088 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15943/tid=15948] ppid=15941 vsize=3024420 CPUtime=0.37 cores=1,3,5,7
/proc/15943/task/15948/stat : 15948 (java) S 15941 15943 15746 0 -1 4202560 240 0 0 0 18 19 0 0 20 0 19 0 334166774 3097006080 420174 33554432000 1073741824 1073778376 140734419306832 139903348357544 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15943/tid=15949] ppid=15941 vsize=3024420 CPUtime=0.51 cores=1,3,5,7
/proc/15943/task/15949/stat : 15949 (java) S 15941 15943 15746 0 -1 4202560 319 0 0 0 27 24 0 0 20 0 19 0 334166774 3097006080 420174 33554432000 1073741824 1073778376 140734419306832 139903347305000 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15943/tid=15950] ppid=15941 vsize=3024420 CPUtime=0.36 cores=1,3,5,7
/proc/15943/task/15950/stat : 15950 (java) S 15941 15943 15746 0 -1 4202560 233 0 0 0 18 18 0 0 20 0 19 0 334166774 3097006080 420174 33554432000 1073741824 1073778376 140734419306832 139903346252456 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15943/tid=15951] ppid=15941 vsize=3024420 CPUtime=0.38 cores=1,3,5,7
/proc/15943/task/15951/stat : 15951 (java) S 15941 15943 15746 0 -1 4202560 248 0 0 0 19 19 0 0 20 0 19 0 334166774 3097006080 420174 33554432000 1073741824 1073778376 140734419306832 139903345199912 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15943/tid=15952] ppid=15941 vsize=3024420 CPUtime=0.39 cores=1,3,5,7
/proc/15943/task/15952/stat : 15952 (java) S 15941 15943 15746 0 -1 4202560 281 0 0 0 18 21 0 0 20 0 19 0 334166774 3097006080 420174 33554432000 1073741824 1073778376 140734419306832 139903344147368 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15943/tid=15953] ppid=15941 vsize=3024420 CPUtime=0.3 cores=1,3,5,7
/proc/15943/task/15953/stat : 15953 (java) S 15941 15943 15746 0 -1 4202560 203 0 0 0 14 16 0 0 20 0 19 0 334166774 3097006080 420174 33554432000 1073741824 1073778376 140734419306832 139903343094824 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15943/tid=15954] ppid=15941 vsize=3024420 CPUtime=0.98 cores=1,3,5,7
/proc/15943/task/15954/stat : 15954 (java) S 15941 15943 15746 0 -1 4202560 178 0 0 0 91 7 0 0 20 0 19 0 334166776 3097006080 420174 33554432000 1073741824 1073778376 140734419306832 139903330682984 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15943/tid=15955] ppid=15941 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15943/task/15955/stat : 15955 (java) S 15941 15943 15746 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 334166776 3097006080 420174 33554432000 1073741824 1073778376 140734419306832 139903329629304 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15943/tid=15956] ppid=15941 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15943/task/15956/stat : 15956 (java) S 15941 15943 15746 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 334166776 3097006080 420174 33554432000 1073741824 1073778376 140734419306832 139903328576648 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15943/tid=15957] ppid=15941 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15943/task/15957/stat : 15957 (java) S 15941 15943 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334166779 3097006080 420174 33554432000 1073741824 1073778376 140734419306832 139903327525392 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15943/tid=15958] ppid=15941 vsize=3024420 CPUtime=0.42 cores=1,3,5,7
/proc/15943/task/15958/stat : 15958 (java) S 15941 15943 15746 0 -1 4202560 3497 0 0 0 42 0 0 0 20 0 19 0 334166779 3097006080 420174 33554432000 1073741824 1073778376 140734419306832 139903326472760 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15943/tid=15959] ppid=15941 vsize=3024420 CPUtime=0.43 cores=1,3,5,7
/proc/15943/task/15959/stat : 15959 (java) S 15941 15943 15746 0 -1 4202560 1954 0 0 0 43 0 0 0 20 0 19 0 334166779 3097006080 420174 33554432000 1073741824 1073778376 140734419306832 139903207729848 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15943/tid=15960] ppid=15941 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15943/task/15960/stat : 15960 (java) S 15941 15943 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334166779 3097006080 420174 33554432000 1073741824 1073778376 140734419306832 139903206677496 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15943/tid=15961] ppid=15941 vsize=3024420 CPUtime=0.99 cores=1,3,5,7
/proc/15943/task/15961/stat : 15961 (java) S 15941 15943 15746 0 -1 4202560 104 0 0 0 49 50 0 0 20 0 19 0 334166779 3097006080 420174 33554432000 1073741824 1073778376 140734419306832 139903205625160 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15943/tid=15962] ppid=15941 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15943/task/15962/stat : 15962 (java) S 15941 15943 15746 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 334166804 3097006080 420174 33554432000 1073741824 1073778376 140734419306832 139903203492648 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 3024420
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1796.1 s]
/proc/loadavg: 2.01 2.01 1.93 3/214 16173
/proc/meminfo: memFree=25703396/32873844 swapFree=7108/7108
[pid=15943] ppid=15941 vsize=3024420 CPUtime=1800 cores=1,3,5,7
/proc/15943/stat : 15943 (java) S 15941 15943 15746 0 -1 4202496 12123 0 1 0 179782 218 0 0 20 0 19 0 334166771 3097006080 420174 33554432000 1073741824 1073778376 140734419306832 140734419297968 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/15943/statm: 756105 420174 2297 9 0 746526 0
[pid=15943/tid=15945] ppid=15941 vsize=3024420 CPUtime=1789.67 cores=1,3,5,7
/proc/15943/task/15945/stat : 15945 (java) R 15941 15943 15746 0 -1 4202560 3243 0 1 0 178931 36 0 0 20 0 19 0 334166773 3097006080 420174 33554432000 1073741824 1073778376 140734419306832 139903367036208 139903208364496 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=15943/tid=15946] ppid=15941 vsize=3024420 CPUtime=0.33 cores=1,3,5,7
/proc/15943/task/15946/stat : 15946 (java) S 15941 15943 15746 0 -1 4202560 225 0 0 0 17 16 0 0 20 0 19 0 334166774 3097006080 420174 33554432000 1073741824 1073778376 140734419306832 139903350462632 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15943/tid=15947] ppid=15941 vsize=3024420 CPUtime=0.31 cores=1,3,5,7
/proc/15943/task/15947/stat : 15947 (java) S 15941 15943 15746 0 -1 4202560 211 0 0 0 14 17 0 0 20 0 19 0 334166774 3097006080 420174 33554432000 1073741824 1073778376 140734419306832 139903349410088 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15943/tid=15948] ppid=15941 vsize=3024420 CPUtime=0.37 cores=1,3,5,7
/proc/15943/task/15948/stat : 15948 (java) S 15941 15943 15746 0 -1 4202560 240 0 0 0 18 19 0 0 20 0 19 0 334166774 3097006080 420174 33554432000 1073741824 1073778376 140734419306832 139903348357544 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15943/tid=15949] ppid=15941 vsize=3024420 CPUtime=0.51 cores=1,3,5,7
/proc/15943/task/15949/stat : 15949 (java) S 15941 15943 15746 0 -1 4202560 319 0 0 0 27 24 0 0 20 0 19 0 334166774 3097006080 420174 33554432000 1073741824 1073778376 140734419306832 139903347305000 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15943/tid=15950] ppid=15941 vsize=3024420 CPUtime=0.36 cores=1,3,5,7
/proc/15943/task/15950/stat : 15950 (java) S 15941 15943 15746 0 -1 4202560 233 0 0 0 18 18 0 0 20 0 19 0 334166774 3097006080 420174 33554432000 1073741824 1073778376 140734419306832 139903346252456 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15943/tid=15951] ppid=15941 vsize=3024420 CPUtime=0.38 cores=1,3,5,7
/proc/15943/task/15951/stat : 15951 (java) S 15941 15943 15746 0 -1 4202560 248 0 0 0 19 19 0 0 20 0 19 0 334166774 3097006080 420174 33554432000 1073741824 1073778376 140734419306832 139903345199912 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15943/tid=15952] ppid=15941 vsize=3024420 CPUtime=0.39 cores=1,3,5,7
/proc/15943/task/15952/stat : 15952 (java) S 15941 15943 15746 0 -1 4202560 281 0 0 0 18 21 0 0 20 0 19 0 334166774 3097006080 420174 33554432000 1073741824 1073778376 140734419306832 139903344147368 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15943/tid=15953] ppid=15941 vsize=3024420 CPUtime=0.3 cores=1,3,5,7
/proc/15943/task/15953/stat : 15953 (java) S 15941 15943 15746 0 -1 4202560 203 0 0 0 14 16 0 0 20 0 19 0 334166774 3097006080 420174 33554432000 1073741824 1073778376 140734419306832 139903343094824 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15943/tid=15954] ppid=15941 vsize=3024420 CPUtime=0.98 cores=1,3,5,7
/proc/15943/task/15954/stat : 15954 (java) S 15941 15943 15746 0 -1 4202560 178 0 0 0 91 7 0 0 20 0 19 0 334166776 3097006080 420174 33554432000 1073741824 1073778376 140734419306832 139903330682984 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15943/tid=15955] ppid=15941 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15943/task/15955/stat : 15955 (java) S 15941 15943 15746 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 334166776 3097006080 420174 33554432000 1073741824 1073778376 140734419306832 139903329629304 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15943/tid=15956] ppid=15941 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15943/task/15956/stat : 15956 (java) S 15941 15943 15746 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 334166776 3097006080 420174 33554432000 1073741824 1073778376 140734419306832 139903328576648 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15943/tid=15957] ppid=15941 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15943/task/15957/stat : 15957 (java) S 15941 15943 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334166779 3097006080 420174 33554432000 1073741824 1073778376 140734419306832 139903327525392 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15943/tid=15958] ppid=15941 vsize=3024420 CPUtime=0.42 cores=1,3,5,7
/proc/15943/task/15958/stat : 15958 (java) S 15941 15943 15746 0 -1 4202560 3497 0 0 0 42 0 0 0 20 0 19 0 334166779 3097006080 420174 33554432000 1073741824 1073778376 140734419306832 139903326472760 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15943/tid=15959] ppid=15941 vsize=3024420 CPUtime=0.43 cores=1,3,5,7
/proc/15943/task/15959/stat : 15959 (java) S 15941 15943 15746 0 -1 4202560 1954 0 0 0 43 0 0 0 20 0 19 0 334166779 3097006080 420174 33554432000 1073741824 1073778376 140734419306832 139903207729848 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15943/tid=15960] ppid=15941 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15943/task/15960/stat : 15960 (java) S 15941 15943 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334166779 3097006080 420174 33554432000 1073741824 1073778376 140734419306832 139903206677496 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15943/tid=15961] ppid=15941 vsize=3024420 CPUtime=0.99 cores=1,3,5,7
/proc/15943/task/15961/stat : 15961 (java) S 15941 15943 15746 0 -1 4202560 104 0 0 0 49 50 0 0 20 0 19 0 334166779 3097006080 420174 33554432000 1073741824 1073778376 140734419306832 139903205625160 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15943/tid=15962] ppid=15941 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/15943/task/15962/stat : 15962 (java) S 15941 15943 15746 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 334166804 3097006080 420174 33554432000 1073741824 1073778376 140734419306832 139903203492648 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 3024420
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 15943 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=140401
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=562610
# CPU time returned by wait4() is 1795.7
# while last known CPU time is 1800
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1796.12
CPU time (s): 1800
CPU user time (s): 1797.82
CPU system time (s): 2.18
CPU usage (%): 100.216
Max. virtual memory (cumulated for all children) (KiB): 3024420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.14
system time used= 2.56261
maximum resident set size= 1680812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12154
page faults= 1
swaps= 0
block input operations= 0
block output operations= 984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37985
involuntary context switches= 6032
runsolver used 7.8808 second user time and 14.7538 second system time
The end