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-3744176-1338795189/watcher-3744176-1338795189 -o /tmp/evaluation-result-3744176-1338795189/solver-3744176-1338795189 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3744176-1338795189.opb
running on 4 cores: 0,2,4,6
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: 1.99 2.02 2.02 3/194 9969
/proc/meminfo: memFree=26698048/32873844 swapFree=7112/7112
[pid=9969] ppid=9967 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/9969/stat : 9969 (java) D 9967 9969 8924 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 345644592 9515008 183 33554432000 1073741824 1073778376 140734212600304 140734212591336 272886480565 0 0 4096 0 18446744072100609316 0 0 17 2 0 0 0 0 0
/proc/9969/statm: 2323 183 140 9 0 71 0
[startup+0.09935 s]
/proc/loadavg: 1.99 2.02 2.02 3/194 9969
/proc/meminfo: memFree=26698048/32873844 swapFree=7112/7112
[pid=9969] ppid=9967 vsize=2957856 CPUtime=0.09 cores=0,2,4,6
/proc/9969/stat : 9969 (java) S 9967 9969 8924 0 -1 4202496 4911 0 1 0 8 1 0 0 20 0 18 0 345644592 3028844544 6609 33554432000 1073741824 1073778376 140735270812272 140735270803408 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9969/statm: 739464 6609 2118 9 0 729885 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2957856
[startup+0.100298 s]
/proc/loadavg: 1.99 2.02 2.02 3/194 9969
/proc/meminfo: memFree=26698048/32873844 swapFree=7112/7112
[pid=9969] ppid=9967 vsize=2957856 CPUtime=0.09 cores=0,2,4,6
/proc/9969/stat : 9969 (java) S 9967 9969 8924 0 -1 4202496 4922 0 1 0 8 1 0 0 20 0 18 0 345644592 3028844544 6620 33554432000 1073741824 1073778376 140735270812272 140735270803408 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9969/statm: 739464 6620 2127 9 0 729885 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2957856
[startup+0.300258 s]
/proc/loadavg: 1.99 2.02 2.02 3/194 9969
/proc/meminfo: memFree=26698048/32873844 swapFree=7112/7112
[pid=9969] ppid=9967 vsize=2957856 CPUtime=0.48 cores=0,2,4,6
/proc/9969/stat : 9969 (java) S 9967 9969 8924 0 -1 4202496 6005 0 1 0 46 2 0 0 20 0 18 0 345644592 3028844544 11910 33554432000 1073741824 1073778376 140735270812272 140735270803408 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9969/statm: 739464 11910 2240 9 0 729885 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 2957856
[startup+0.700176 s]
/proc/loadavg: 1.99 2.02 2.02 3/194 9969
/proc/meminfo: memFree=26698048/32873844 swapFree=7112/7112
[pid=9969] ppid=9967 vsize=2957856 CPUtime=1.31 cores=0,2,4,6
/proc/9969/stat : 9969 (java) S 9967 9969 8924 0 -1 4202496 10482 0 1 0 126 5 0 0 20 0 18 0 345644592 3028844544 46264 33554432000 1073741824 1073778376 140735270812272 140735270803408 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9969/statm: 739464 46264 2258 9 0 729885 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 2957856
[startup+1.50072 s]
/proc/loadavg: 2.07 2.04 2.02 4/212 9987
/proc/meminfo: memFree=26424744/32873844 swapFree=7112/7112
[pid=9969] ppid=9967 vsize=3024420 CPUtime=2.99 cores=0,2,4,6
/proc/9969/stat : 9969 (java) S 9967 9969 8924 0 -1 4202496 17193 0 1 0 290 9 0 0 20 0 19 0 345644592 3097006080 93210 33554432000 1073741824 1073778376 140735270812272 140735270803408 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9969/statm: 756105 93210 2279 9 0 746526 0
[pid=9969/tid=9971] ppid=9967 vsize=3024420 CPUtime=1.46 cores=0,2,4,6
/proc/9969/task/9971/stat : 9971 (java) R 9967 9969 8924 0 -1 4202560 3193 0 1 0 140 6 0 0 20 0 19 0 345644593 3097006080 93210 33554432000 1073741824 1073778376 140735270812272 140217232241096 140217076996149 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=9969/tid=9972] ppid=9967 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9972/stat : 9972 (java) S 9967 9969 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345644595 3097006080 93210 33554432000 1073741824 1073778376 140735270812272 140217215667112 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9969/tid=9973] ppid=9967 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9973/stat : 9973 (java) S 9967 9969 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345644595 3097006080 93210 33554432000 1073741824 1073778376 140735270812272 140217214614568 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9969/tid=9974] ppid=9967 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9974/stat : 9974 (java) S 9967 9969 8924 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 345644595 3097006080 93210 33554432000 1073741824 1073778376 140735270812272 140217213561512 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9969/tid=9975] ppid=9967 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9975/stat : 9975 (java) S 9967 9969 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345644595 3097006080 93210 33554432000 1073741824 1073778376 140735270812272 140217212508968 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9969/tid=9976] ppid=9967 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9976/stat : 9976 (java) S 9967 9969 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345644595 3097006080 93210 33554432000 1073741824 1073778376 140735270812272 140217211455912 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9969/tid=9977] ppid=9967 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9977/stat : 9977 (java) S 9967 9969 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345644595 3097006080 93210 33554432000 1073741824 1073778376 140735270812272 140217210403368 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9969/tid=9978] ppid=9967 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9978/stat : 9978 (java) S 9967 9969 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345644595 3097006080 93210 33554432000 1073741824 1073778376 140735270812272 140217209350312 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9969/tid=9979] ppid=9967 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9979/stat : 9979 (java) S 9967 9969 8924 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 345644595 3097006080 93210 33554432000 1073741824 1073778376 140735270812272 140217208297768 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9969/tid=9980] ppid=9967 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9980/stat : 9980 (java) S 9967 9969 8924 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 345644596 3097006080 93210 33554432000 1073741824 1073778376 140735270812272 140217195887464 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9969/tid=9981] ppid=9967 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9981/stat : 9981 (java) S 9967 9969 8924 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 345644596 3097006080 93210 33554432000 1073741824 1073778376 140735270812272 140217194833784 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9969/tid=9982] ppid=9967 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9982/stat : 9982 (java) S 9967 9969 8924 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345644596 3097006080 93210 33554432000 1073741824 1073778376 140735270812272 140217075885448 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9969/tid=9983] ppid=9967 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9983/stat : 9983 (java) S 9967 9969 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345644599 3097006080 93210 33554432000 1073741824 1073778376 140735270812272 140217074834192 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9969/tid=9984] ppid=9967 vsize=3024420 CPUtime=0.67 cores=0,2,4,6
/proc/9969/task/9984/stat : 9984 (java) S 9967 9969 8924 0 -1 4202560 5239 0 0 0 65 2 0 0 20 0 19 0 345644599 3097006080 93210 33554432000 1073741824 1073778376 140735270812272 140217073781048 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9969/tid=9985] ppid=9967 vsize=3024420 CPUtime=0.82 cores=0,2,4,6
/proc/9969/task/9985/stat : 9985 (java) S 9967 9969 8924 0 -1 4202560 7564 0 0 0 81 1 0 0 20 0 19 0 345644599 3097006080 93210 33554432000 1073741824 1073778376 140735270812272 140217072728504 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9969/tid=9986] ppid=9967 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9986/stat : 9986 (java) S 9967 9969 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345644599 3097006080 93210 33554432000 1073741824 1073778376 140735270812272 140217071675640 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9969/tid=9987] ppid=9967 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9987/stat : 9987 (java) S 9967 9969 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345644599 3097006080 93210 33554432000 1073741824 1073778376 140735270812272 140217070623304 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 3024420
[startup+3.10071 s]
/proc/loadavg: 2.07 2.04 2.02 3/213 9988
/proc/meminfo: memFree=26226268/32873844 swapFree=7112/7112
[pid=9969] ppid=9967 vsize=3024420 CPUtime=4.78 cores=0,2,4,6
/proc/9969/stat : 9969 (java) S 9967 9969 8924 0 -1 4202496 17340 0 1 0 464 14 0 0 20 0 19 0 345644592 3097006080 126008 33554432000 1073741824 1073778376 140735270812272 140735270803408 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9969/statm: 756105 126008 2292 9 0 746526 0
[pid=9969/tid=9971] ppid=9967 vsize=3024420 CPUtime=2.99 cores=0,2,4,6
/proc/9969/task/9971/stat : 9971 (java) R 9967 9969 8924 0 -1 4202560 3239 0 1 0 292 7 0 0 20 0 19 0 345644593 3097006080 126008 33554432000 1073741824 1073778376 140735270812272 140217232239840 140217076711446 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=9969/tid=9972] ppid=9967 vsize=3024420 CPUtime=0.01 cores=0,2,4,6
/proc/9969/task/9972/stat : 9972 (java) S 9967 9969 8924 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 19 0 345644595 3097006080 126008 33554432000 1073741824 1073778376 140735270812272 140217215667112 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9969/tid=9973] ppid=9967 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9973/stat : 9973 (java) S 9967 9969 8924 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345644595 3097006080 126008 33554432000 1073741824 1073778376 140735270812272 140217214614568 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9969/tid=9974] ppid=9967 vsize=3024420 CPUtime=0.01 cores=0,2,4,6
/proc/9969/task/9974/stat : 9974 (java) S 9967 9969 8924 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 345644595 3097006080 126008 33554432000 1073741824 1073778376 140735270812272 140217213561512 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9969/tid=9975] ppid=9967 vsize=3024420 CPUtime=0.02 cores=0,2,4,6
/proc/9969/task/9975/stat : 9975 (java) S 9967 9969 8924 0 -1 4202560 22 0 0 0 2 0 0 0 20 0 19 0 345644595 3097006080 126008 33554432000 1073741824 1073778376 140735270812272 140217212508968 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9969/tid=9976] ppid=9967 vsize=3024420 CPUtime=0.01 cores=0,2,4,6
/proc/9969/task/9976/stat : 9976 (java) S 9967 9969 8924 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 345644595 3097006080 126008 33554432000 1073741824 1073778376 140735270812272 140217211455912 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9969/tid=9977] ppid=9967 vsize=3024420 CPUtime=0.01 cores=0,2,4,6
/proc/9969/task/9977/stat : 9977 (java) S 9967 9969 8924 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 19 0 345644595 3097006080 126008 33554432000 1073741824 1073778376 140735270812272 140217210403368 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9969/tid=9978] ppid=9967 vsize=3024420 CPUtime=0.01 cores=0,2,4,6
/proc/9969/task/9978/stat : 9978 (java) S 9967 9969 8924 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 19 0 345644595 3097006080 126008 33554432000 1073741824 1073778376 140735270812272 140217209350312 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9969/tid=9979] ppid=9967 vsize=3024420 CPUtime=0.01 cores=0,2,4,6
/proc/9969/task/9979/stat : 9979 (java) S 9967 9969 8924 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 345644595 3097006080 126008 33554432000 1073741824 1073778376 140735270812272 140217208297768 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9969/tid=9980] ppid=9967 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9980/stat : 9980 (java) S 9967 9969 8924 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 345644596 3097006080 126008 33554432000 1073741824 1073778376 140735270812272 140217195887464 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9969/tid=9981] ppid=9967 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9981/stat : 9981 (java) S 9967 9969 8924 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 345644596 3097006080 126008 33554432000 1073741824 1073778376 140735270812272 140217194833784 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9969/tid=9982] ppid=9967 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9982/stat : 9982 (java) S 9967 9969 8924 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 345644596 3097006080 126008 33554432000 1073741824 1073778376 140735270812272 140217075885448 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9969/tid=9983] ppid=9967 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9983/stat : 9983 (java) S 9967 9969 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345644599 3097006080 126008 33554432000 1073741824 1073778376 140735270812272 140217074834192 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9969/tid=9984] ppid=9967 vsize=3024420 CPUtime=0.67 cores=0,2,4,6
/proc/9969/task/9984/stat : 9984 (java) S 9967 9969 8924 0 -1 4202560 5239 0 0 0 65 2 0 0 20 0 19 0 345644599 3097006080 126008 33554432000 1073741824 1073778376 140735270812272 140217073781048 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9969/tid=9985] ppid=9967 vsize=3024420 CPUtime=0.87 cores=0,2,4,6
/proc/9969/task/9985/stat : 9985 (java) S 9967 9969 8924 0 -1 4202560 7564 0 0 0 85 2 0 0 20 0 19 0 345644599 3097006080 126008 33554432000 1073741824 1073778376 140735270812272 140217072728504 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9969/tid=9986] ppid=9967 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9986/stat : 9986 (java) S 9967 9969 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345644599 3097006080 126008 33554432000 1073741824 1073778376 140735270812272 140217071675640 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9969/tid=9987] ppid=9967 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9987/stat : 9987 (java) S 9967 9969 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345644599 3097006080 126008 33554432000 1073741824 1073778376 140735270812272 140217070623304 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9969/tid=9988] ppid=9967 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9988/stat : 9988 (java) S 9967 9969 8924 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345644695 3097006080 126008 33554432000 1073741824 1073778376 140735270812272 140217068492328 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 4.78
Current children cumulated vsize (KiB) 3024420
[startup+6.30075 s]
/proc/loadavg: 2.06 2.04 2.02 3/213 9988
/proc/meminfo: memFree=26199272/32873844 swapFree=7112/7112
[pid=9969] ppid=9967 vsize=3024420 CPUtime=8.09 cores=0,2,4,6
/proc/9969/stat : 9969 (java) S 9967 9969 8924 0 -1 4202496 17356 0 1 0 794 15 0 0 20 0 19 0 345644592 3097006080 126524 33554432000 1073741824 1073778376 140735270812272 140735270803408 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9969/statm: 756105 126524 2292 9 0 746526 0
[pid=9969/tid=9971] ppid=9967 vsize=3024420 CPUtime=6.14 cores=0,2,4,6
/proc/9969/task/9971/stat : 9971 (java) R 9967 9969 8924 0 -1 4202560 3242 0 1 0 607 7 0 0 20 0 19 0 345644593 3097006080 126524 33554432000 1073741824 1073778376 140735270812272 140217232239760 140217077000362 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=9969/tid=9972] ppid=9967 vsize=3024420 CPUtime=0.05 cores=0,2,4,6
/proc/9969/task/9972/stat : 9972 (java) S 9967 9969 8924 0 -1 4202560 21 0 0 0 5 0 0 0 20 0 19 0 345644595 3097006080 126524 33554432000 1073741824 1073778376 140735270812272 140217215667112 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9969/tid=9973] ppid=9967 vsize=3024420 CPUtime=0.01 cores=0,2,4,6
/proc/9969/task/9973/stat : 9973 (java) S 9967 9969 8924 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 19 0 345644595 3097006080 126524 33554432000 1073741824 1073778376 140735270812272 140217214614568 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9969/tid=9974] ppid=9967 vsize=3024420 CPUtime=0.03 cores=0,2,4,6
/proc/9969/task/9974/stat : 9974 (java) S 9967 9969 8924 0 -1 4202560 12 0 0 0 3 0 0 0 20 0 19 0 345644595 3097006080 126524 33554432000 1073741824 1073778376 140735270812272 140217213561512 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9969/tid=9975] ppid=9967 vsize=3024420 CPUtime=0.04 cores=0,2,4,6
/proc/9969/task/9975/stat : 9975 (java) S 9967 9969 8924 0 -1 4202560 23 0 0 0 4 0 0 0 20 0 19 0 345644595 3097006080 126524 33554432000 1073741824 1073778376 140735270812272 140217212508968 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9969/tid=9976] ppid=9967 vsize=3024420 CPUtime=0.03 cores=0,2,4,6
/proc/9969/task/9976/stat : 9976 (java) S 9967 9969 8924 0 -1 4202560 14 0 0 0 3 0 0 0 20 0 19 0 345644595 3097006080 126524 33554432000 1073741824 1073778376 140735270812272 140217211455912 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9969/tid=9977] ppid=9967 vsize=3024420 CPUtime=0.03 cores=0,2,4,6
/proc/9969/task/9977/stat : 9977 (java) S 9967 9969 8924 0 -1 4202560 16 0 0 0 3 0 0 0 20 0 19 0 345644595 3097006080 126524 33554432000 1073741824 1073778376 140735270812272 140217210403368 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9969/tid=9978] ppid=9967 vsize=3024420 CPUtime=0.02 cores=0,2,4,6
/proc/9969/task/9978/stat : 9978 (java) S 9967 9969 8924 0 -1 4202560 10 0 0 0 2 0 0 0 20 0 19 0 345644595 3097006080 126524 33554432000 1073741824 1073778376 140735270812272 140217209350312 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9969/tid=9979] ppid=9967 vsize=3024420 CPUtime=0.02 cores=0,2,4,6
/proc/9969/task/9979/stat : 9979 (java) S 9967 9969 8924 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 19 0 345644595 3097006080 126524 33554432000 1073741824 1073778376 140735270812272 140217208297768 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9969/tid=9980] ppid=9967 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9980/stat : 9980 (java) S 9967 9969 8924 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 345644596 3097006080 126524 33554432000 1073741824 1073778376 140735270812272 140217195887464 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9969/tid=9981] ppid=9967 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9981/stat : 9981 (java) S 9967 9969 8924 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 345644596 3097006080 126524 33554432000 1073741824 1073778376 140735270812272 140217194833784 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9969/tid=9982] ppid=9967 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9982/stat : 9982 (java) S 9967 9969 8924 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 345644596 3097006080 126524 33554432000 1073741824 1073778376 140735270812272 140217075885448 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9969/tid=9983] ppid=9967 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9983/stat : 9983 (java) S 9967 9969 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345644599 3097006080 126524 33554432000 1073741824 1073778376 140735270812272 140217074834192 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9969/tid=9984] ppid=9967 vsize=3024420 CPUtime=0.67 cores=0,2,4,6
/proc/9969/task/9984/stat : 9984 (java) S 9967 9969 8924 0 -1 4202560 5239 0 0 0 65 2 0 0 20 0 19 0 345644599 3097006080 126524 33554432000 1073741824 1073778376 140735270812272 140217073781048 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9969/tid=9985] ppid=9967 vsize=3024420 CPUtime=0.88 cores=0,2,4,6
/proc/9969/task/9985/stat : 9985 (java) S 9967 9969 8924 0 -1 4202560 7564 0 0 0 86 2 0 0 20 0 19 0 345644599 3097006080 126524 33554432000 1073741824 1073778376 140735270812272 140217072728504 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9969/tid=9986] ppid=9967 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9986/stat : 9986 (java) S 9967 9969 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345644599 3097006080 126524 33554432000 1073741824 1073778376 140735270812272 140217071675640 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9969/tid=9987] ppid=9967 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9987/stat : 9987 (java) S 9967 9969 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345644599 3097006080 126524 33554432000 1073741824 1073778376 140735270812272 140217070623304 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9969/tid=9988] ppid=9967 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9988/stat : 9988 (java) S 9967 9969 8924 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345644695 3097006080 126524 33554432000 1073741824 1073778376 140735270812272 140217068492328 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 8.09
Current children cumulated vsize (KiB) 3024420
[startup+12.7008 s]
/proc/loadavg: 2.06 2.04 2.02 3/213 9988
/proc/meminfo: memFree=26102660/32873844 swapFree=7112/7112
################
# More data... #
################
[pid=9969/tid=9984] ppid=9967 vsize=3024420 CPUtime=0.69 cores=0,2,4,6
/proc/9969/task/9984/stat : 9984 (java) S 9967 9969 8924 0 -1 4202560 5245 0 0 0 67 2 0 0 20 0 19 0 345644599 3097006080 423457 33554432000 1073741824 1073778376 140735270812272 140217073781048 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9969/tid=9985] ppid=9967 vsize=3024420 CPUtime=1 cores=0,2,4,6
/proc/9969/task/9985/stat : 9985 (java) S 9967 9969 8924 0 -1 4202560 7575 0 0 0 98 2 0 0 20 0 19 0 345644599 3097006080 423457 33554432000 1073741824 1073778376 140735270812272 140217072728504 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9969/tid=9986] ppid=9967 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9986/stat : 9986 (java) S 9967 9969 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345644599 3097006080 423457 33554432000 1073741824 1073778376 140735270812272 140217071675640 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9969/tid=9987] ppid=9967 vsize=3024420 CPUtime=0.61 cores=0,2,4,6
/proc/9969/task/9987/stat : 9987 (java) S 9967 9969 8924 0 -1 4202560 96 0 0 0 28 33 0 0 20 0 19 0 345644599 3097006080 423457 33554432000 1073741824 1073778376 140735270812272 140217070623304 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9969/tid=9988] ppid=9967 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9988/stat : 9988 (java) S 9967 9969 8924 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345644695 3097006080 423457 33554432000 1073741824 1073778376 140735270812272 140217068492328 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1697.5
Current children cumulated vsize (KiB) 3024420
[startup+1722.3 s]
/proc/loadavg: 1.99 1.97 1.98 3/214 10174
/proc/meminfo: memFree=25002904/32873844 swapFree=7112/7112
[pid=9969] ppid=9967 vsize=3024420 CPUtime=1758.89 cores=0,2,4,6
/proc/9969/stat : 9969 (java) S 9967 9969 8924 0 -1 4202496 22347 0 1 0 175708 181 0 0 20 0 19 0 345644592 3097006080 424024 33554432000 1073741824 1073778376 140735270812272 140735270803408 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9969/statm: 756105 424024 2308 9 0 746526 0
[pid=9969/tid=9971] ppid=9967 vsize=3024420 CPUtime=1701.86 cores=0,2,4,6
/proc/9969/task/9971/stat : 9971 (java) R 9967 9969 8924 0 -1 4202560 4183 0 1 0 170148 38 0 0 20 0 19 0 345644593 3097006080 424024 33554432000 1073741824 1073778376 140735270812272 140217232239840 140217077011215 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=9969/tid=9972] ppid=9967 vsize=3024420 CPUtime=6.33 cores=0,2,4,6
/proc/9969/task/9972/stat : 9972 (java) S 9967 9969 8924 0 -1 4202560 485 0 0 0 615 18 0 0 20 0 19 0 345644595 3097006080 424024 33554432000 1073741824 1073778376 140735270812272 140217215667112 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9969/tid=9973] ppid=9967 vsize=3024420 CPUtime=6.28 cores=0,2,4,6
/proc/9969/task/9973/stat : 9973 (java) S 9967 9969 8924 0 -1 4202560 526 0 0 0 609 19 0 0 20 0 19 0 345644595 3097006080 424024 33554432000 1073741824 1073778376 140735270812272 140217214614568 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9969/tid=9974] ppid=9967 vsize=3024420 CPUtime=6.46 cores=0,2,4,6
/proc/9969/task/9974/stat : 9974 (java) S 9967 9969 8924 0 -1 4202560 502 0 0 0 628 18 0 0 20 0 19 0 345644595 3097006080 424024 33554432000 1073741824 1073778376 140735270812272 140217213561512 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9969/tid=9975] ppid=9967 vsize=3024420 CPUtime=6.07 cores=0,2,4,6
/proc/9969/task/9975/stat : 9975 (java) S 9967 9969 8924 0 -1 4202560 436 0 0 0 593 14 0 0 20 0 19 0 345644595 3097006080 424024 33554432000 1073741824 1073778376 140735270812272 140217212508968 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9969/tid=9976] ppid=9967 vsize=3024420 CPUtime=6.12 cores=0,2,4,6
/proc/9969/task/9976/stat : 9976 (java) S 9967 9969 8924 0 -1 4202560 503 0 0 0 594 18 0 0 20 0 19 0 345644595 3097006080 424024 33554432000 1073741824 1073778376 140735270812272 140217211455912 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9969/tid=9977] ppid=9967 vsize=3024420 CPUtime=6.16 cores=0,2,4,6
/proc/9969/task/9977/stat : 9977 (java) S 9967 9969 8924 0 -1 4202560 507 0 0 0 597 19 0 0 20 0 19 0 345644595 3097006080 424024 33554432000 1073741824 1073778376 140735270812272 140217210403368 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9969/tid=9978] ppid=9967 vsize=3024420 CPUtime=6.2 cores=0,2,4,6
/proc/9969/task/9978/stat : 9978 (java) S 9967 9969 8924 0 -1 4202560 471 0 0 0 604 16 0 0 20 0 19 0 345644595 3097006080 424024 33554432000 1073741824 1073778376 140735270812272 140217209350312 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9969/tid=9979] ppid=9967 vsize=3024420 CPUtime=6.24 cores=0,2,4,6
/proc/9969/task/9979/stat : 9979 (java) S 9967 9969 8924 0 -1 4202560 506 0 0 0 605 19 0 0 20 0 19 0 345644595 3097006080 424024 33554432000 1073741824 1073778376 140735270812272 140217208297768 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9969/tid=9980] ppid=9967 vsize=3024420 CPUtime=0.91 cores=0,2,4,6
/proc/9969/task/9980/stat : 9980 (java) S 9967 9969 8924 0 -1 4202560 128 0 0 0 86 5 0 0 20 0 19 0 345644596 3097006080 424024 33554432000 1073741824 1073778376 140735270812272 140217195887464 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9969/tid=9981] ppid=9967 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9981/stat : 9981 (java) S 9967 9969 8924 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 345644596 3097006080 424024 33554432000 1073741824 1073778376 140735270812272 140217194833784 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9969/tid=9982] ppid=9967 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9982/stat : 9982 (java) S 9967 9969 8924 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 345644596 3097006080 424024 33554432000 1073741824 1073778376 140735270812272 140217075885448 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9969/tid=9983] ppid=9967 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9983/stat : 9983 (java) S 9967 9969 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345644599 3097006080 424024 33554432000 1073741824 1073778376 140735270812272 140217074834192 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9969/tid=9984] ppid=9967 vsize=3024420 CPUtime=0.69 cores=0,2,4,6
/proc/9969/task/9984/stat : 9984 (java) S 9967 9969 8924 0 -1 4202560 5245 0 0 0 67 2 0 0 20 0 19 0 345644599 3097006080 424024 33554432000 1073741824 1073778376 140735270812272 140217073781048 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9969/tid=9985] ppid=9967 vsize=3024420 CPUtime=1 cores=0,2,4,6
/proc/9969/task/9985/stat : 9985 (java) S 9967 9969 8924 0 -1 4202560 7575 0 0 0 98 2 0 0 20 0 19 0 345644599 3097006080 424024 33554432000 1073741824 1073778376 140735270812272 140217072728504 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9969/tid=9986] ppid=9967 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9986/stat : 9986 (java) S 9967 9969 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345644599 3097006080 424024 33554432000 1073741824 1073778376 140735270812272 140217071675640 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9969/tid=9987] ppid=9967 vsize=3024420 CPUtime=0.63 cores=0,2,4,6
/proc/9969/task/9987/stat : 9987 (java) S 9967 9969 8924 0 -1 4202560 98 0 0 0 29 34 0 0 20 0 19 0 345644599 3097006080 424024 33554432000 1073741824 1073778376 140735270812272 140217070623304 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9969/tid=9988] ppid=9967 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9988/stat : 9988 (java) S 9967 9969 8924 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345644695 3097006080 424024 33554432000 1073741824 1073778376 140735270812272 140217068492328 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1758.89
Current children cumulated vsize (KiB) 3024420
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1762.7 s]
/proc/loadavg: 1.99 1.97 1.98 3/213 10175
/proc/meminfo: memFree=25003036/32873844 swapFree=7112/7112
[pid=9969] ppid=9967 vsize=3024420 CPUtime=1800.02 cores=0,2,4,6
/proc/9969/stat : 9969 (java) S 9967 9969 8924 0 -1 4202496 22377 0 1 0 179820 182 0 0 20 0 19 0 345644592 3097006080 424037 33554432000 1073741824 1073778376 140735270812272 140735270803408 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9969/statm: 756105 424037 2308 9 0 746526 0
[pid=9969/tid=9971] ppid=9967 vsize=3024420 CPUtime=1741.89 cores=0,2,4,6
/proc/9969/task/9971/stat : 9971 (java) R 9967 9969 8924 0 -1 4202560 4196 0 1 0 174150 39 0 0 20 0 19 0 345644593 3097006080 424037 33554432000 1073741824 1073778376 140735270812272 140217232239744 140217076994013 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=9969/tid=9972] ppid=9967 vsize=3024420 CPUtime=6.47 cores=0,2,4,6
/proc/9969/task/9972/stat : 9972 (java) S 9967 9969 8924 0 -1 4202560 498 0 0 0 629 18 0 0 20 0 19 0 345644595 3097006080 424037 33554432000 1073741824 1073778376 140735270812272 140217215667112 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9969/tid=9973] ppid=9967 vsize=3024420 CPUtime=6.41 cores=0,2,4,6
/proc/9969/task/9973/stat : 9973 (java) S 9967 9969 8924 0 -1 4202560 526 0 0 0 622 19 0 0 20 0 19 0 345644595 3097006080 424037 33554432000 1073741824 1073778376 140735270812272 140217214614568 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9969/tid=9974] ppid=9967 vsize=3024420 CPUtime=6.6 cores=0,2,4,6
/proc/9969/task/9974/stat : 9974 (java) S 9967 9969 8924 0 -1 4202560 502 0 0 0 642 18 0 0 20 0 19 0 345644595 3097006080 424037 33554432000 1073741824 1073778376 140735270812272 140217213561512 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9969/tid=9975] ppid=9967 vsize=3024420 CPUtime=6.21 cores=0,2,4,6
/proc/9969/task/9975/stat : 9975 (java) S 9967 9969 8924 0 -1 4202560 436 0 0 0 607 14 0 0 20 0 19 0 345644595 3097006080 424037 33554432000 1073741824 1073778376 140735270812272 140217212508968 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9969/tid=9976] ppid=9967 vsize=3024420 CPUtime=6.24 cores=0,2,4,6
/proc/9969/task/9976/stat : 9976 (java) S 9967 9969 8924 0 -1 4202560 503 0 0 0 606 18 0 0 20 0 19 0 345644595 3097006080 424037 33554432000 1073741824 1073778376 140735270812272 140217211455912 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9969/tid=9977] ppid=9967 vsize=3024420 CPUtime=6.28 cores=0,2,4,6
/proc/9969/task/9977/stat : 9977 (java) S 9967 9969 8924 0 -1 4202560 507 0 0 0 608 20 0 0 20 0 19 0 345644595 3097006080 424037 33554432000 1073741824 1073778376 140735270812272 140217210403368 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9969/tid=9978] ppid=9967 vsize=3024420 CPUtime=6.32 cores=0,2,4,6
/proc/9969/task/9978/stat : 9978 (java) S 9967 9969 8924 0 -1 4202560 471 0 0 0 616 16 0 0 20 0 19 0 345644595 3097006080 424037 33554432000 1073741824 1073778376 140735270812272 140217209350312 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9969/tid=9979] ppid=9967 vsize=3024420 CPUtime=6.35 cores=0,2,4,6
/proc/9969/task/9979/stat : 9979 (java) S 9967 9969 8924 0 -1 4202560 506 0 0 0 616 19 0 0 20 0 19 0 345644595 3097006080 424037 33554432000 1073741824 1073778376 140735270812272 140217208297768 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9969/tid=9980] ppid=9967 vsize=3024420 CPUtime=0.91 cores=0,2,4,6
/proc/9969/task/9980/stat : 9980 (java) S 9967 9969 8924 0 -1 4202560 130 0 0 0 86 5 0 0 20 0 19 0 345644596 3097006080 424037 33554432000 1073741824 1073778376 140735270812272 140217195887464 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9969/tid=9981] ppid=9967 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9981/stat : 9981 (java) S 9967 9969 8924 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 345644596 3097006080 424037 33554432000 1073741824 1073778376 140735270812272 140217194833784 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9969/tid=9982] ppid=9967 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9982/stat : 9982 (java) S 9967 9969 8924 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 345644596 3097006080 424037 33554432000 1073741824 1073778376 140735270812272 140217075885448 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9969/tid=9983] ppid=9967 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9983/stat : 9983 (java) S 9967 9969 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345644599 3097006080 424037 33554432000 1073741824 1073778376 140735270812272 140217074834192 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9969/tid=9984] ppid=9967 vsize=3024420 CPUtime=0.69 cores=0,2,4,6
/proc/9969/task/9984/stat : 9984 (java) S 9967 9969 8924 0 -1 4202560 5245 0 0 0 67 2 0 0 20 0 19 0 345644599 3097006080 424037 33554432000 1073741824 1073778376 140735270812272 140217073781048 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9969/tid=9985] ppid=9967 vsize=3024420 CPUtime=1 cores=0,2,4,6
/proc/9969/task/9985/stat : 9985 (java) S 9967 9969 8924 0 -1 4202560 7575 0 0 0 98 2 0 0 20 0 19 0 345644599 3097006080 424037 33554432000 1073741824 1073778376 140735270812272 140217072728504 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9969/tid=9986] ppid=9967 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9986/stat : 9986 (java) S 9967 9969 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345644599 3097006080 424037 33554432000 1073741824 1073778376 140735270812272 140217071675640 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9969/tid=9987] ppid=9967 vsize=3024420 CPUtime=0.64 cores=0,2,4,6
/proc/9969/task/9987/stat : 9987 (java) S 9967 9969 8924 0 -1 4202560 100 0 0 0 29 35 0 0 20 0 19 0 345644599 3097006080 424037 33554432000 1073741824 1073778376 140735270812272 140217070623304 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9969/tid=9988] ppid=9967 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9988/stat : 9988 (java) S 9967 9969 8924 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345644695 3097006080 424037 33554432000 1073741824 1073778376 140735270812272 140217068492328 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
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+1762.7 s]
/proc/loadavg: 1.99 1.97 1.98 3/213 10175
/proc/meminfo: memFree=25003036/32873844 swapFree=7112/7112
[pid=9969] ppid=9967 vsize=3024420 CPUtime=1800.02 cores=0,2,4,6
/proc/9969/stat : 9969 (java) S 9967 9969 8924 0 -1 4202496 22377 0 1 0 179820 182 0 0 20 0 19 0 345644592 3097006080 424037 33554432000 1073741824 1073778376 140735270812272 140735270803408 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9969/statm: 756105 424037 2308 9 0 746526 0
[pid=9969/tid=9971] ppid=9967 vsize=3024420 CPUtime=1741.89 cores=0,2,4,6
/proc/9969/task/9971/stat : 9971 (java) R 9967 9969 8924 0 -1 4202560 4196 0 1 0 174150 39 0 0 20 0 19 0 345644593 3097006080 424037 33554432000 1073741824 1073778376 140735270812272 140217232239744 140217076994013 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=9969/tid=9972] ppid=9967 vsize=3024420 CPUtime=6.47 cores=0,2,4,6
/proc/9969/task/9972/stat : 9972 (java) S 9967 9969 8924 0 -1 4202560 498 0 0 0 629 18 0 0 20 0 19 0 345644595 3097006080 424037 33554432000 1073741824 1073778376 140735270812272 140217215667112 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9969/tid=9973] ppid=9967 vsize=3024420 CPUtime=6.41 cores=0,2,4,6
/proc/9969/task/9973/stat : 9973 (java) S 9967 9969 8924 0 -1 4202560 526 0 0 0 622 19 0 0 20 0 19 0 345644595 3097006080 424037 33554432000 1073741824 1073778376 140735270812272 140217214614568 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9969/tid=9974] ppid=9967 vsize=3024420 CPUtime=6.6 cores=0,2,4,6
/proc/9969/task/9974/stat : 9974 (java) S 9967 9969 8924 0 -1 4202560 502 0 0 0 642 18 0 0 20 0 19 0 345644595 3097006080 424037 33554432000 1073741824 1073778376 140735270812272 140217213561512 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9969/tid=9975] ppid=9967 vsize=3024420 CPUtime=6.21 cores=0,2,4,6
/proc/9969/task/9975/stat : 9975 (java) S 9967 9969 8924 0 -1 4202560 436 0 0 0 607 14 0 0 20 0 19 0 345644595 3097006080 424037 33554432000 1073741824 1073778376 140735270812272 140217212508968 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9969/tid=9976] ppid=9967 vsize=3024420 CPUtime=6.24 cores=0,2,4,6
/proc/9969/task/9976/stat : 9976 (java) S 9967 9969 8924 0 -1 4202560 503 0 0 0 606 18 0 0 20 0 19 0 345644595 3097006080 424037 33554432000 1073741824 1073778376 140735270812272 140217211455912 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9969/tid=9977] ppid=9967 vsize=3024420 CPUtime=6.28 cores=0,2,4,6
/proc/9969/task/9977/stat : 9977 (java) S 9967 9969 8924 0 -1 4202560 507 0 0 0 608 20 0 0 20 0 19 0 345644595 3097006080 424037 33554432000 1073741824 1073778376 140735270812272 140217210403368 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9969/tid=9978] ppid=9967 vsize=3024420 CPUtime=6.32 cores=0,2,4,6
/proc/9969/task/9978/stat : 9978 (java) S 9967 9969 8924 0 -1 4202560 471 0 0 0 616 16 0 0 20 0 19 0 345644595 3097006080 424037 33554432000 1073741824 1073778376 140735270812272 140217209350312 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9969/tid=9979] ppid=9967 vsize=3024420 CPUtime=6.35 cores=0,2,4,6
/proc/9969/task/9979/stat : 9979 (java) S 9967 9969 8924 0 -1 4202560 506 0 0 0 616 19 0 0 20 0 19 0 345644595 3097006080 424037 33554432000 1073741824 1073778376 140735270812272 140217208297768 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9969/tid=9980] ppid=9967 vsize=3024420 CPUtime=0.91 cores=0,2,4,6
/proc/9969/task/9980/stat : 9980 (java) S 9967 9969 8924 0 -1 4202560 130 0 0 0 86 5 0 0 20 0 19 0 345644596 3097006080 424037 33554432000 1073741824 1073778376 140735270812272 140217195887464 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9969/tid=9981] ppid=9967 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9981/stat : 9981 (java) S 9967 9969 8924 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 345644596 3097006080 424037 33554432000 1073741824 1073778376 140735270812272 140217194833784 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9969/tid=9982] ppid=9967 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9982/stat : 9982 (java) S 9967 9969 8924 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 345644596 3097006080 424037 33554432000 1073741824 1073778376 140735270812272 140217075885448 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9969/tid=9983] ppid=9967 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9983/stat : 9983 (java) S 9967 9969 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345644599 3097006080 424037 33554432000 1073741824 1073778376 140735270812272 140217074834192 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9969/tid=9984] ppid=9967 vsize=3024420 CPUtime=0.69 cores=0,2,4,6
/proc/9969/task/9984/stat : 9984 (java) S 9967 9969 8924 0 -1 4202560 5245 0 0 0 67 2 0 0 20 0 19 0 345644599 3097006080 424037 33554432000 1073741824 1073778376 140735270812272 140217073781048 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9969/tid=9985] ppid=9967 vsize=3024420 CPUtime=1 cores=0,2,4,6
/proc/9969/task/9985/stat : 9985 (java) S 9967 9969 8924 0 -1 4202560 7575 0 0 0 98 2 0 0 20 0 19 0 345644599 3097006080 424037 33554432000 1073741824 1073778376 140735270812272 140217072728504 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9969/tid=9986] ppid=9967 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9986/stat : 9986 (java) S 9967 9969 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345644599 3097006080 424037 33554432000 1073741824 1073778376 140735270812272 140217071675640 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9969/tid=9987] ppid=9967 vsize=3024420 CPUtime=0.64 cores=0,2,4,6
/proc/9969/task/9987/stat : 9987 (java) S 9967 9969 8924 0 -1 4202560 100 0 0 0 29 35 0 0 20 0 19 0 345644599 3097006080 424037 33554432000 1073741824 1073778376 140735270812272 140217070623304 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9969/tid=9988] ppid=9967 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9988/stat : 9988 (java) S 9967 9969 8924 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345644695 3097006080 424037 33554432000 1073741824 1073778376 140735270812272 140217068492328 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 3024420
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 9969 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=880288
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=381637
# CPU time returned by wait4() is 1796.26
# while last known CPU time is 1800.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1762.72
CPU time (s): 1800.02
CPU user time (s): 1798.2
CPU system time (s): 1.82
CPU usage (%): 102.116
Max. virtual memory (cumulated for all children) (KiB): 3024420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.88
system time used= 2.38164
maximum resident set size= 1696264
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22406
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1696
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 66417
involuntary context switches= 107198
runsolver used 6.84096 second user time and 13.8019 second system time
The end