runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3456434-1307659262/watcher-3456434-1307659262 -o /tmp/evaluation-result-3456434-1307659262/solver-3456434-1307659262 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456434-1307659262.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: 8.14 8.09 8.03 3/174 29350
/proc/meminfo: memFree=32089304/32950928 swapFree=67079488/67111528
[pid=29350] ppid=29348 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/29350/stat : 29350 (java) R 29348 29350 28625 0 -1 4202496 678 0 0 0 0 0 0 0 20 0 1 0 877525897 23580672 422 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274469005077 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/29350/statm: 5757 436 331 9 0 124 0
[startup+0.0943859 s]
/proc/loadavg: 8.14 8.09 8.03 3/174 29350
/proc/meminfo: memFree=32089304/32950928 swapFree=67079488/67111528
[pid=29350] ppid=29348 vsize=10540044 CPUtime=0.09 cores=0,2,4,6
/proc/29350/stat : 29350 (java) S 29348 29350 28625 0 -1 4202496 12960 0 1 0 8 1 0 0 20 0 18 0 877525897 10793005056 12643 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/29350/statm: 2635011 12644 2092 9 0 2625745 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10540044
[startup+0.100927 s]
/proc/loadavg: 8.14 8.09 8.03 3/174 29350
/proc/meminfo: memFree=32089304/32950928 swapFree=67079488/67111528
[pid=29350] ppid=29348 vsize=10540044 CPUtime=0.1 cores=0,2,4,6
/proc/29350/stat : 29350 (java) S 29348 29350 28625 0 -1 4202496 13032 0 1 0 9 1 0 0 20 0 18 0 877525897 10793005056 12715 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/29350/statm: 2635011 12715 2092 9 0 2625745 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540044
[startup+0.300832 s]
/proc/loadavg: 8.14 8.09 8.03 3/174 29350
/proc/meminfo: memFree=32089304/32950928 swapFree=67079488/67111528
[pid=29350] ppid=29348 vsize=10541964 CPUtime=0.46 cores=0,2,4,6
/proc/29350/stat : 29350 (java) S 29348 29350 28625 0 -1 4202496 19915 0 1 0 44 2 0 0 20 0 18 0 877525897 10794971136 19211 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/29350/statm: 2635491 19213 2200 9 0 2626225 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 10541964
[startup+0.700758 s]
/proc/loadavg: 8.14 8.09 8.03 3/174 29350
/proc/meminfo: memFree=32089304/32950928 swapFree=67079488/67111528
[pid=29350] ppid=29348 vsize=10541964 CPUtime=0.98 cores=0,2,4,6
/proc/29350/stat : 29350 (java) S 29348 29350 28625 0 -1 4202496 45425 0 1 0 94 4 0 0 20 0 18 0 877525897 10794971136 44671 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/29350/statm: 2635491 44674 2205 9 0 2626225 0
Current children cumulated CPU time (s) 0.98
Current children cumulated vsize (KiB) 10541964
[startup+1.50062 s]
/proc/loadavg: 7.81 8.02 8.01 3/213 29396
/proc/meminfo: memFree=31687396/32950928 swapFree=67079488/67111528
[pid=29350] ppid=29348 vsize=10543196 CPUtime=2.01 cores=0,2,4,6
/proc/29350/stat : 29350 (java) S 29348 29350 28625 0 -1 4202496 54782 0 1 0 195 6 0 0 20 0 19 0 877525897 10796232704 53402 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/29350/statm: 2635799 53402 2220 9 0 2626533 0
[pid=29350/tid=29352] ppid=29348 vsize=10543196 CPUtime=1.48 cores=0,2,4,6
/proc/29350/task/29352/stat : 29352 (java) R 29348 29350 28625 0 -1 4202560 50297 0 1 0 142 6 0 0 19 0 19 0 877525898 10796232704 53402 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 46912505747249 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=29350/tid=29353] ppid=29348 vsize=10543196 CPUtime=0 cores=0,2,4,6
/proc/29350/task/29353/stat : 29353 (java) S 29348 29350 28625 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 877525900 10796232704 53402 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485783449 0 4 0 16800975 18446604453868163200 0 0 -1 4 0 0 0
[pid=29350/tid=29354] ppid=29348 vsize=10543196 CPUtime=0 cores=0,2,4,6
/proc/29350/task/29354/stat : 29354 (java) S 29348 29350 28625 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 877525900 10796232704 53402 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485783449 0 4 0 16800975 18446604453868163200 0 0 -1 4 0 0 0
[pid=29350/tid=29355] ppid=29348 vsize=10543196 CPUtime=0 cores=0,2,4,6
/proc/29350/task/29355/stat : 29355 (java) S 29348 29350 28625 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 877525900 10796232704 53402 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485783449 0 4 0 16800975 18446604453868163200 0 0 -1 4 0 0 0
[pid=29350/tid=29356] ppid=29348 vsize=10543196 CPUtime=0 cores=0,2,4,6
/proc/29350/task/29356/stat : 29356 (java) S 29348 29350 28625 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877525900 10796232704 53402 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485783449 0 4 0 16800975 18446604453868163200 0 0 -1 2 0 0 0
[pid=29350/tid=29357] ppid=29348 vsize=10543196 CPUtime=0 cores=0,2,4,6
/proc/29350/task/29357/stat : 29357 (java) S 29348 29350 28625 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877525900 10796232704 53402 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485783449 0 4 0 16800975 18446604453868163200 0 0 -1 2 0 0 0
[pid=29350/tid=29358] ppid=29348 vsize=10543196 CPUtime=0 cores=0,2,4,6
/proc/29350/task/29358/stat : 29358 (java) S 29348 29350 28625 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877525900 10796232704 53402 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485783449 0 4 0 16800975 18446604453868163200 0 0 -1 2 0 0 0
[pid=29350/tid=29359] ppid=29348 vsize=10543196 CPUtime=0 cores=0,2,4,6
/proc/29350/task/29359/stat : 29359 (java) S 29348 29350 28625 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877525900 10796232704 53402 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485783449 0 4 0 16800975 18446604453868163200 0 0 -1 2 0 0 0
[pid=29350/tid=29360] ppid=29348 vsize=10543196 CPUtime=0 cores=0,2,4,6
/proc/29350/task/29360/stat : 29360 (java) S 29348 29350 28625 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877525900 10796232704 53402 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485783449 0 4 0 16800975 18446604453868163200 0 0 -1 2 0 0 0
[pid=29350/tid=29361] ppid=29348 vsize=10543196 CPUtime=0 cores=0,2,4,6
/proc/29350/task/29361/stat : 29361 (java) S 29348 29350 28625 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 19 0 877525901 10796232704 53402 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485784064 0 0 0 16800975 18446604453868163200 0 0 -1 4 0 0 0
[pid=29350/tid=29362] ppid=29348 vsize=10543196 CPUtime=0 cores=0,2,4,6
/proc/29350/task/29362/stat : 29362 (java) S 29348 29350 28625 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 877525901 10796232704 53402 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485783449 0 4 0 16800975 18446604453868163200 0 0 -1 4 0 0 0
[pid=29350/tid=29363] ppid=29348 vsize=10543196 CPUtime=0 cores=0,2,4,6
/proc/29350/task/29363/stat : 29363 (java) S 29348 29350 28625 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877525901 10796232704 53402 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485783449 0 4 0 16800975 18446604453868163200 0 0 -1 4 0 0 0
[pid=29350/tid=29364] ppid=29348 vsize=10543196 CPUtime=0 cores=0,2,4,6
/proc/29350/task/29364/stat : 29364 (java) S 29348 29350 28625 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877525903 10796232704 53402 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485791153 0 4 0 16800975 18446604453868163200 0 0 -1 4 0 0 0
[pid=29350/tid=29365] ppid=29348 vsize=10543196 CPUtime=0.26 cores=0,2,4,6
/proc/29350/task/29365/stat : 29365 (java) S 29348 29350 28625 0 -1 4202560 1167 0 0 0 26 0 0 0 15 0 19 0 877525903 10796232704 53402 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485783449 0 4 0 16800975 18446604453868163200 0 0 -1 6 0 0 0
[pid=29350/tid=29366] ppid=29348 vsize=10543196 CPUtime=0.25 cores=0,2,4,6
/proc/29350/task/29366/stat : 29366 (java) S 29348 29350 28625 0 -1 4202560 2159 0 0 0 25 0 0 0 21 0 19 0 877525903 10796232704 53402 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485783449 0 4 0 16800975 18446604453868163200 0 0 -1 0 0 0 0
[pid=29350/tid=29367] ppid=29348 vsize=10543196 CPUtime=0 cores=0,2,4,6
/proc/29350/task/29367/stat : 29367 (java) S 29348 29350 28625 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877525903 10796232704 53402 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485783449 0 4 0 16800975 18446604453868163200 0 0 -1 4 0 0 0
[pid=29350/tid=29368] ppid=29348 vsize=10543196 CPUtime=0 cores=0,2,4,6
/proc/29350/task/29368/stat : 29368 (java) S 29348 29350 28625 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 877525903 10796232704 53402 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485784064 0 4 0 16800975 18446604453868163200 0 0 -1 2 0 0 0
[pid=29350/tid=29396] ppid=29348 vsize=10543196 CPUtime=0 cores=0,2,4,6
/proc/29350/task/29396/stat : 29396 (java) S 29348 29350 28625 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877525983 10796232704 53402 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485784064 0 4 0 16800975 18446604453868163200 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.01
Current children cumulated vsize (KiB) 10543196
[startup+3.10145 s]
/proc/loadavg: 7.81 8.02 8.01 3/213 29396
/proc/meminfo: memFree=31345156/32950928 swapFree=67079488/67111528
[pid=29350] ppid=29348 vsize=10543196 CPUtime=3.76 cores=0,2,4,6
/proc/29350/stat : 29350 (java) S 29348 29350 28625 0 -1 4202496 66323 0 1 0 368 8 0 0 20 0 19 0 877525897 10796232704 64941 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/29350/statm: 2635799 64941 2225 9 0 2626533 0
[pid=29350/tid=29352] ppid=29348 vsize=10543196 CPUtime=3.08 cores=0,2,4,6
/proc/29350/task/29352/stat : 29352 (java) R 29348 29350 28625 0 -1 4202560 61812 0 1 0 301 7 0 0 25 0 19 0 877525898 10796232704 64941 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 46912505758567 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=29350/tid=29353] ppid=29348 vsize=10543196 CPUtime=0 cores=0,2,4,6
/proc/29350/task/29353/stat : 29353 (java) S 29348 29350 28625 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 877525900 10796232704 64941 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485783449 0 4 0 16800975 18446604453868163200 0 0 -1 4 0 0 0
[pid=29350/tid=29354] ppid=29348 vsize=10543196 CPUtime=0 cores=0,2,4,6
/proc/29350/task/29354/stat : 29354 (java) S 29348 29350 28625 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 877525900 10796232704 64941 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485783449 0 4 0 16800975 18446604453868163200 0 0 -1 4 0 0 0
[pid=29350/tid=29355] ppid=29348 vsize=10543196 CPUtime=0 cores=0,2,4,6
/proc/29350/task/29355/stat : 29355 (java) S 29348 29350 28625 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 877525900 10796232704 64941 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485783449 0 4 0 16800975 18446604453868163200 0 0 -1 4 0 0 0
[pid=29350/tid=29356] ppid=29348 vsize=10543196 CPUtime=0 cores=0,2,4,6
/proc/29350/task/29356/stat : 29356 (java) S 29348 29350 28625 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877525900 10796232704 64941 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485783449 0 4 0 16800975 18446604453868163200 0 0 -1 2 0 0 0
[pid=29350/tid=29357] ppid=29348 vsize=10543196 CPUtime=0 cores=0,2,4,6
/proc/29350/task/29357/stat : 29357 (java) S 29348 29350 28625 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877525900 10796232704 64941 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485783449 0 4 0 16800975 18446604453868163200 0 0 -1 2 0 0 0
[pid=29350/tid=29358] ppid=29348 vsize=10543196 CPUtime=0 cores=0,2,4,6
/proc/29350/task/29358/stat : 29358 (java) S 29348 29350 28625 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877525900 10796232704 64941 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485783449 0 4 0 16800975 18446604453868163200 0 0 -1 2 0 0 0
[pid=29350/tid=29359] ppid=29348 vsize=10543196 CPUtime=0 cores=0,2,4,6
/proc/29350/task/29359/stat : 29359 (java) S 29348 29350 28625 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877525900 10796232704 64941 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485783449 0 4 0 16800975 18446604453868163200 0 0 -1 2 0 0 0
[pid=29350/tid=29360] ppid=29348 vsize=10543196 CPUtime=0 cores=0,2,4,6
/proc/29350/task/29360/stat : 29360 (java) S 29348 29350 28625 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877525900 10796232704 64941 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485783449 0 4 0 16800975 18446604453868163200 0 0 -1 2 0 0 0
[pid=29350/tid=29361] ppid=29348 vsize=10543196 CPUtime=0 cores=0,2,4,6
/proc/29350/task/29361/stat : 29361 (java) S 29348 29350 28625 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 19 0 877525901 10796232704 64941 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485784064 0 0 0 16800975 18446604453868163200 0 0 -1 4 0 0 0
[pid=29350/tid=29362] ppid=29348 vsize=10543196 CPUtime=0 cores=0,2,4,6
/proc/29350/task/29362/stat : 29362 (java) S 29348 29350 28625 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 877525901 10796232704 64941 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485783449 0 4 0 16800975 18446604453868163200 0 0 -1 4 0 0 0
[pid=29350/tid=29363] ppid=29348 vsize=10543196 CPUtime=0 cores=0,2,4,6
/proc/29350/task/29363/stat : 29363 (java) S 29348 29350 28625 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877525901 10796232704 64941 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485783449 0 4 0 16800975 18446604453868163200 0 0 -1 4 0 0 0
[pid=29350/tid=29364] ppid=29348 vsize=10543196 CPUtime=0 cores=0,2,4,6
/proc/29350/task/29364/stat : 29364 (java) S 29348 29350 28625 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877525903 10796232704 64941 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485791153 0 4 0 16800975 18446604453868163200 0 0 -1 4 0 0 0
[pid=29350/tid=29365] ppid=29348 vsize=10543196 CPUtime=0.36 cores=0,2,4,6
/proc/29350/task/29365/stat : 29365 (java) S 29348 29350 28625 0 -1 4202560 1183 0 0 0 36 0 0 0 15 0 19 0 877525903 10796232704 64941 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485783449 0 4 0 16800975 18446604453868163200 0 0 -1 0 0 0 0
[pid=29350/tid=29366] ppid=29348 vsize=10543196 CPUtime=0.3 cores=0,2,4,6
/proc/29350/task/29366/stat : 29366 (java) S 29348 29350 28625 0 -1 4202560 2169 0 0 0 30 0 0 0 16 0 19 0 877525903 10796232704 64941 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485783449 0 4 0 16800975 18446604453868163200 0 0 -1 2 0 0 0
[pid=29350/tid=29367] ppid=29348 vsize=10543196 CPUtime=0 cores=0,2,4,6
/proc/29350/task/29367/stat : 29367 (java) S 29348 29350 28625 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877525903 10796232704 64941 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485783449 0 4 0 16800975 18446604453868163200 0 0 -1 4 0 0 0
[pid=29350/tid=29368] ppid=29348 vsize=10543196 CPUtime=0 cores=0,2,4,6
/proc/29350/task/29368/stat : 29368 (java) S 29348 29350 28625 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 877525903 10796232704 64941 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485784064 0 4 0 16800975 18446604453868163200 0 0 -1 2 0 0 0
[pid=29350/tid=29396] ppid=29348 vsize=10543196 CPUtime=0 cores=0,2,4,6
/proc/29350/task/29396/stat : 29396 (java) S 29348 29350 28625 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877525983 10796232704 64941 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485784064 0 4 0 16800975 18446604453868163200 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3.76
Current children cumulated vsize (KiB) 10543196
[startup+6.30089 s]
/proc/loadavg: 7.81 8.02 8.01 3/214 29397
/proc/meminfo: memFree=30449844/32950928 swapFree=67079488/67111528
[pid=29350] ppid=29348 vsize=10544036 CPUtime=7.16 cores=0,2,4,6
/proc/29350/stat : 29350 (java) S 29348 29350 28625 0 -1 4202496 252296 0 1 0 689 27 0 0 20 0 19 0 877525897 10797092864 250682 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/29350/statm: 2636009 250682 2226 9 0 2626743 0
[pid=29350/tid=29352] ppid=29348 vsize=10544036 CPUtime=6.28 cores=0,2,4,6
/proc/29350/task/29352/stat : 29352 (java) R 29348 29350 28625 0 -1 4202560 247330 0 1 0 602 26 0 0 21 0 19 0 877525898 10797092864 250682 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 46912505848848 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=29350/tid=29353] ppid=29348 vsize=10544036 CPUtime=0 cores=0,2,4,6
/proc/29350/task/29353/stat : 29353 (java) S 29348 29350 28625 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 877525900 10797092864 250682 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485783449 0 4 0 16800975 18446604453868163200 0 0 -1 4 0 0 0
[pid=29350/tid=29354] ppid=29348 vsize=10544036 CPUtime=0 cores=0,2,4,6
/proc/29350/task/29354/stat : 29354 (java) S 29348 29350 28625 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 877525900 10797092864 250682 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485783449 0 4 0 16800975 18446604453868163200 0 0 -1 4 0 0 0
[pid=29350/tid=29355] ppid=29348 vsize=10544036 CPUtime=0 cores=0,2,4,6
/proc/29350/task/29355/stat : 29355 (java) S 29348 29350 28625 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 877525900 10797092864 250683 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485783449 0 4 0 16800975 18446604453868163200 0 0 -1 4 0 0 0
[pid=29350/tid=29356] ppid=29348 vsize=10544036 CPUtime=0 cores=0,2,4,6
/proc/29350/task/29356/stat : 29356 (java) S 29348 29350 28625 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877525900 10797092864 250688 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485783449 0 4 0 16800975 18446604453868163200 0 0 -1 2 0 0 0
[pid=29350/tid=29357] ppid=29348 vsize=10544036 CPUtime=0 cores=0,2,4,6
/proc/29350/task/29357/stat : 29357 (java) S 29348 29350 28625 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877525900 10797092864 250693 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485783449 0 4 0 16800975 18446604453868163200 0 0 -1 2 0 0 0
[pid=29350/tid=29358] ppid=29348 vsize=10544036 CPUtime=0 cores=0,2,4,6
/proc/29350/task/29358/stat : 29358 (java) S 29348 29350 28625 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877525900 10797092864 250699 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485783449 0 4 0 16800975 18446604453868163200 0 0 -1 2 0 0 0
[pid=29350/tid=29359] ppid=29348 vsize=10544036 CPUtime=0 cores=0,2,4,6
/proc/29350/task/29359/stat : 29359 (java) S 29348 29350 28625 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877525900 10797092864 250704 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485783449 0 4 0 16800975 18446604453868163200 0 0 -1 2 0 0 0
[pid=29350/tid=29360] ppid=29348 vsize=10544036 CPUtime=0 cores=0,2,4,6
/proc/29350/task/29360/stat : 29360 (java) S 29348 29350 28625 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877525900 10797092864 250708 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485783449 0 4 0 16800975 18446604453868163200 0 0 -1 2 0 0 0
[pid=29350/tid=29361] ppid=29348 vsize=10544036 CPUtime=0 cores=0,2,4,6
/proc/29350/task/29361/stat : 29361 (java) S 29348 29350 28625 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 877525901 10797092864 250713 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485784064 0 0 0 16800975 18446604453868163200 0 0 -1 2 0 0 0
[pid=29350/tid=29362] ppid=29348 vsize=10544036 CPUtime=0 cores=0,2,4,6
/proc/29350/task/29362/stat : 29362 (java) S 29348 29350 28625 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 877525901 10797092864 250713 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485783449 0 4 0 16800975 18446604453868163200 0 0 -1 4 0 0 0
[pid=29350/tid=29363] ppid=29348 vsize=10544036 CPUtime=0 cores=0,2,4,6
/proc/29350/task/29363/stat : 29363 (java) S 29348 29350 28625 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877525901 10797092864 250713 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485783449 0 4 0 16800975 18446604453868163200 0 0 -1 4 0 0 0
[pid=29350/tid=29364] ppid=29348 vsize=10544036 CPUtime=0 cores=0,2,4,6
/proc/29350/task/29364/stat : 29364 (java) S 29348 29350 28625 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877525903 10797092864 250713 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485791153 0 4 0 16800975 18446604453868163200 0 0 -1 4 0 0 0
[pid=29350/tid=29365] ppid=29348 vsize=10544036 CPUtime=0.49 cores=0,2,4,6
/proc/29350/task/29365/stat : 29365 (java) S 29348 29350 28625 0 -1 4202560 1618 0 0 0 49 0 0 0 15 0 19 0 877525903 10797092864 250713 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485783449 0 4 0 16800975 18446604453868163200 0 0 -1 0 0 0 0
[pid=29350/tid=29366] ppid=29348 vsize=10544036 CPUtime=0.38 cores=0,2,4,6
/proc/29350/task/29366/stat : 29366 (java) S 29348 29350 28625 0 -1 4202560 2188 0 0 0 38 0 0 0 15 0 19 0 877525903 10797092864 250713 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485783449 0 4 0 16800975 18446604453868163200 0 0 -1 2 0 0 0
[pid=29350/tid=29367] ppid=29348 vsize=10544036 CPUtime=0 cores=0,2,4,6
/proc/29350/task/29367/stat : 29367 (java) S 29348 29350 28625 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877525903 10797092864 250713 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485783449 0 4 0 16800975 18446604453868163200 0 0 -1 4 0 0 0
[pid=29350/tid=29368] ppid=29348 vsize=10544036 CPUtime=0 cores=0,2,4,6
/proc/29350/task/29368/stat : 29368 (java) S 29348 29350 28625 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 877525903 10797092864 250717 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485784064 0 4 0 16800975 18446604453868163200 0 0 -1 2 0 0 0
[pid=29350/tid=29396] ppid=29348 vsize=10544036 CPUtime=0 cores=0,2,4,6
/proc/29350/task/29396/stat : 29396 (java) S 29348 29350 28625 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877525983 10797092864 250722 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485784064 0 4 0 16800975 18446604453868163200 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 7.16
Current children cumulated vsize (KiB) 10544036
[startup+12.7008 s]
################
# More data... #
################
/proc/29350/task/29363/stat : 29363 (java) S 29348 29350 28625 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 877525901 10801156096 1083440 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485783449 0 4 0 16800975 18446604453868163200 0 0 -1 4 0 0 0
[pid=29350/tid=29364] ppid=29348 vsize=10548004 CPUtime=0 cores=0,2,4,6
/proc/29350/task/29364/stat : 29364 (java) S 29348 29350 28625 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877525903 10801156096 1083440 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485791153 0 4 0 16800975 18446604453868163200 0 0 -1 4 0 0 0
[pid=29350/tid=29365] ppid=29348 vsize=10548004 CPUtime=0.83 cores=0,2,4,6
/proc/29350/task/29365/stat : 29365 (java) S 29348 29350 28625 0 -1 4202560 3309 0 0 0 83 0 0 0 15 0 19 0 877525903 10801156096 1083440 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485783449 0 4 0 16800975 18446604453868163200 0 0 -1 4 0 0 0
[pid=29350/tid=29366] ppid=29348 vsize=10548004 CPUtime=0.7 cores=0,2,4,6
/proc/29350/task/29366/stat : 29366 (java) S 29348 29350 28625 0 -1 4202560 6123 0 0 0 70 0 0 0 15 0 19 0 877525903 10801156096 1083440 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485783449 0 4 0 16800975 18446604453868163200 0 0 -1 2 0 0 0
[pid=29350/tid=29367] ppid=29348 vsize=10548004 CPUtime=0 cores=0,2,4,6
/proc/29350/task/29367/stat : 29367 (java) S 29348 29350 28625 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877525903 10801156096 1083440 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485783449 0 4 0 16800975 18446604453868163200 0 0 -1 4 0 0 0
[pid=29350/tid=29368] ppid=29348 vsize=10548004 CPUtime=0 cores=0,2,4,6
/proc/29350/task/29368/stat : 29368 (java) S 29348 29350 28625 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 877525903 10801156096 1083440 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485784064 0 4 0 16800975 18446604453868163200 0 0 -1 2 0 0 0
[pid=29350/tid=29396] ppid=29348 vsize=10548004 CPUtime=0 cores=0,2,4,6
/proc/29350/task/29396/stat : 29396 (java) S 29348 29350 28625 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877525983 10801156096 1083440 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485784064 0 4 0 16800975 18446604453868163200 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1670.52
Current children cumulated vsize (KiB) 10548004
[startup+1722.3 s]
/proc/loadavg: 2.07 2.03 2.92 3/214 29455
/proc/meminfo: memFree=23683768/32950928 swapFree=67079488/67111528
[pid=29350] ppid=29348 vsize=10548004 CPUtime=1730.78 cores=0,2,4,6
/proc/29350/stat : 29350 (java) S 29348 29350 28625 0 -1 4202496 1101433 0 1 0 172944 134 0 0 20 0 19 0 877525897 10801156096 1088328 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/29350/statm: 2637001 1088328 2255 9 0 2627735 0
[pid=29350/tid=29352] ppid=29348 vsize=10548004 CPUtime=1718.65 cores=0,2,4,6
/proc/29350/task/29352/stat : 29352 (java) R 29348 29350 28625 0 -1 4202560 825027 0 1 0 171782 83 0 0 25 0 19 0 877525898 10801156096 1088328 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 46912505852231 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29350/tid=29353] ppid=29348 vsize=10548004 CPUtime=1.15 cores=0,2,4,6
/proc/29350/task/29353/stat : 29353 (java) S 29348 29350 28625 0 -1 4202560 33534 0 0 0 109 6 0 0 15 0 19 0 877525900 10801156096 1088328 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485783449 0 4 0 16800975 18446604453868163200 0 0 -1 6 0 0 0
[pid=29350/tid=29354] ppid=29348 vsize=10548004 CPUtime=1.08 cores=0,2,4,6
/proc/29350/task/29354/stat : 29354 (java) S 29348 29350 28625 0 -1 4202560 31142 0 0 0 104 4 0 0 16 0 19 0 877525900 10801156096 1088328 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485783449 0 4 0 16800975 18446604453868163200 0 0 -1 6 0 0 0
[pid=29350/tid=29355] ppid=29348 vsize=10548004 CPUtime=1.31 cores=0,2,4,6
/proc/29350/task/29355/stat : 29355 (java) S 29348 29350 28625 0 -1 4202560 36289 0 0 0 125 6 0 0 16 0 19 0 877525900 10801156096 1088328 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485783449 0 4 0 16800975 18446604453868163200 0 0 -1 4 0 0 0
[pid=29350/tid=29356] ppid=29348 vsize=10548004 CPUtime=1.23 cores=0,2,4,6
/proc/29350/task/29356/stat : 29356 (java) S 29348 29350 28625 0 -1 4202560 36596 0 0 0 118 5 0 0 15 0 19 0 877525900 10801156096 1088328 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485783449 0 4 0 16800975 18446604453868163200 0 0 -1 6 0 0 0
[pid=29350/tid=29357] ppid=29348 vsize=10548004 CPUtime=1.14 cores=0,2,4,6
/proc/29350/task/29357/stat : 29357 (java) S 29348 29350 28625 0 -1 4202560 26093 0 0 0 109 5 0 0 16 0 19 0 877525900 10801156096 1088328 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485783449 0 4 0 16800975 18446604453868163200 0 0 -1 0 0 0 0
[pid=29350/tid=29358] ppid=29348 vsize=10548004 CPUtime=1.22 cores=0,2,4,6
/proc/29350/task/29358/stat : 29358 (java) S 29348 29350 28625 0 -1 4202560 32496 0 0 0 118 4 0 0 15 0 19 0 877525900 10801156096 1088328 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485783449 0 4 0 16800975 18446604453868163200 0 0 -1 0 0 0 0
[pid=29350/tid=29359] ppid=29348 vsize=10548004 CPUtime=1.24 cores=0,2,4,6
/proc/29350/task/29359/stat : 29359 (java) S 29348 29350 28625 0 -1 4202560 33903 0 0 0 118 6 0 0 16 0 19 0 877525900 10801156096 1088328 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485783449 0 4 0 16800975 18446604453868163200 0 0 -1 2 0 0 0
[pid=29350/tid=29360] ppid=29348 vsize=10548004 CPUtime=1.11 cores=0,2,4,6
/proc/29350/task/29360/stat : 29360 (java) S 29348 29350 28625 0 -1 4202560 34629 0 0 0 106 5 0 0 15 0 19 0 877525900 10801156096 1088328 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485783449 0 4 0 16800975 18446604453868163200 0 0 -1 6 0 0 0
[pid=29350/tid=29361] ppid=29348 vsize=10548004 CPUtime=0.98 cores=0,2,4,6
/proc/29350/task/29361/stat : 29361 (java) S 29348 29350 28625 0 -1 4202560 1040 0 0 0 95 3 0 0 15 0 19 0 877525901 10801156096 1088328 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485784064 0 0 0 16800975 18446604453868163200 0 0 -1 2 0 0 0
[pid=29350/tid=29362] ppid=29348 vsize=10548004 CPUtime=0 cores=0,2,4,6
/proc/29350/task/29362/stat : 29362 (java) S 29348 29350 28625 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 877525901 10801156096 1088328 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485783449 0 4 0 16800975 18446604453868163200 0 0 -1 4 0 0 0
[pid=29350/tid=29363] ppid=29348 vsize=10548004 CPUtime=0 cores=0,2,4,6
/proc/29350/task/29363/stat : 29363 (java) S 29348 29350 28625 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 877525901 10801156096 1088328 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485783449 0 4 0 16800975 18446604453868163200 0 0 -1 4 0 0 0
[pid=29350/tid=29364] ppid=29348 vsize=10548004 CPUtime=0 cores=0,2,4,6
/proc/29350/task/29364/stat : 29364 (java) S 29348 29350 28625 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877525903 10801156096 1088328 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485791153 0 4 0 16800975 18446604453868163200 0 0 -1 4 0 0 0
[pid=29350/tid=29365] ppid=29348 vsize=10548004 CPUtime=0.83 cores=0,2,4,6
/proc/29350/task/29365/stat : 29365 (java) S 29348 29350 28625 0 -1 4202560 3309 0 0 0 83 0 0 0 15 0 19 0 877525903 10801156096 1088328 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485783449 0 4 0 16800975 18446604453868163200 0 0 -1 4 0 0 0
[pid=29350/tid=29366] ppid=29348 vsize=10548004 CPUtime=0.7 cores=0,2,4,6
/proc/29350/task/29366/stat : 29366 (java) S 29348 29350 28625 0 -1 4202560 6123 0 0 0 70 0 0 0 15 0 19 0 877525903 10801156096 1088328 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485783449 0 4 0 16800975 18446604453868163200 0 0 -1 2 0 0 0
[pid=29350/tid=29367] ppid=29348 vsize=10548004 CPUtime=0 cores=0,2,4,6
/proc/29350/task/29367/stat : 29367 (java) S 29348 29350 28625 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877525903 10801156096 1088328 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485783449 0 4 0 16800975 18446604453868163200 0 0 -1 4 0 0 0
[pid=29350/tid=29368] ppid=29348 vsize=10548004 CPUtime=0 cores=0,2,4,6
/proc/29350/task/29368/stat : 29368 (java) S 29348 29350 28625 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 877525903 10801156096 1088328 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485784064 0 4 0 16800975 18446604453868163200 0 0 -1 2 0 0 0
[pid=29350/tid=29396] ppid=29348 vsize=10548004 CPUtime=0 cores=0,2,4,6
/proc/29350/task/29396/stat : 29396 (java) S 29348 29350 28625 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877525983 10801156096 1088328 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485784064 0 4 0 16800975 18446604453868163200 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1730.78
Current children cumulated vsize (KiB) 10548004
[startup+1782.3 s]
/proc/loadavg: 2.02 2.02 2.86 3/214 29457
/proc/meminfo: memFree=23658556/32950928 swapFree=67079488/67111528
[pid=29350] ppid=29348 vsize=10548004 CPUtime=1791.05 cores=0,2,4,6
/proc/29350/stat : 29350 (java) S 29348 29350 28625 0 -1 4202496 1106316 0 1 0 178971 134 0 0 20 0 19 0 877525897 10801156096 1093072 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/29350/statm: 2637001 1093072 2255 9 0 2627735 0
[pid=29350/tid=29352] ppid=29348 vsize=10548004 CPUtime=1778.54 cores=0,2,4,6
/proc/29350/task/29352/stat : 29352 (java) R 29348 29350 28625 0 -1 4202560 825031 0 1 0 177771 83 0 0 25 0 19 0 877525898 10801156096 1093072 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 46912506171780 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29350/tid=29353] ppid=29348 vsize=10548004 CPUtime=1.2 cores=0,2,4,6
/proc/29350/task/29353/stat : 29353 (java) S 29348 29350 28625 0 -1 4202560 33917 0 0 0 114 6 0 0 15 0 19 0 877525900 10801156096 1093072 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485783449 0 4 0 16800975 18446604453868163200 0 0 -1 6 0 0 0
[pid=29350/tid=29354] ppid=29348 vsize=10548004 CPUtime=1.1 cores=0,2,4,6
/proc/29350/task/29354/stat : 29354 (java) S 29348 29350 28625 0 -1 4202560 31375 0 0 0 106 4 0 0 16 0 19 0 877525900 10801156096 1093072 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485783449 0 4 0 16800975 18446604453868163200 0 0 -1 2 0 0 0
[pid=29350/tid=29355] ppid=29348 vsize=10548004 CPUtime=1.38 cores=0,2,4,6
/proc/29350/task/29355/stat : 29355 (java) S 29348 29350 28625 0 -1 4202560 37161 0 0 0 132 6 0 0 16 0 19 0 877525900 10801156096 1093072 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485783449 0 4 0 16800975 18446604453868163200 0 0 -1 4 0 0 0
[pid=29350/tid=29356] ppid=29348 vsize=10548004 CPUtime=1.26 cores=0,2,4,6
/proc/29350/task/29356/stat : 29356 (java) S 29348 29350 28625 0 -1 4202560 37203 0 0 0 121 5 0 0 16 0 19 0 877525900 10801156096 1093072 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485783449 0 4 0 16800975 18446604453868163200 0 0 -1 0 0 0 0
[pid=29350/tid=29357] ppid=29348 vsize=10548004 CPUtime=1.14 cores=0,2,4,6
/proc/29350/task/29357/stat : 29357 (java) S 29348 29350 28625 0 -1 4202560 26093 0 0 0 109 5 0 0 15 0 19 0 877525900 10801156096 1093072 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485783449 0 4 0 16800975 18446604453868163200 0 0 -1 0 0 0 0
[pid=29350/tid=29358] ppid=29348 vsize=10548004 CPUtime=1.31 cores=0,2,4,6
/proc/29350/task/29358/stat : 29358 (java) S 29348 29350 28625 0 -1 4202560 33342 0 0 0 126 5 0 0 16 0 19 0 877525900 10801156096 1093072 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485783449 0 4 0 16800975 18446604453868163200 0 0 -1 4 0 0 0
[pid=29350/tid=29359] ppid=29348 vsize=10548004 CPUtime=1.33 cores=0,2,4,6
/proc/29350/task/29359/stat : 29359 (java) S 29348 29350 28625 0 -1 4202560 34889 0 0 0 126 7 0 0 15 0 19 0 877525900 10801156096 1093072 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485783449 0 4 0 16800975 18446604453868163200 0 0 -1 2 0 0 0
[pid=29350/tid=29360] ppid=29348 vsize=10548004 CPUtime=1.16 cores=0,2,4,6
/proc/29350/task/29360/stat : 29360 (java) S 29348 29350 28625 0 -1 4202560 35577 0 0 0 111 5 0 0 15 0 19 0 877525900 10801156096 1093072 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485783449 0 4 0 16800975 18446604453868163200 0 0 -1 0 0 0 0
[pid=29350/tid=29361] ppid=29348 vsize=10548004 CPUtime=0.98 cores=0,2,4,6
/proc/29350/task/29361/stat : 29361 (java) S 29348 29350 28625 0 -1 4202560 1042 0 0 0 95 3 0 0 15 0 19 0 877525901 10801156096 1093072 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485784064 0 0 0 16800975 18446604453868163200 0 0 -1 2 0 0 0
[pid=29350/tid=29362] ppid=29348 vsize=10548004 CPUtime=0 cores=0,2,4,6
/proc/29350/task/29362/stat : 29362 (java) S 29348 29350 28625 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 877525901 10801156096 1093072 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485783449 0 4 0 16800975 18446604453868163200 0 0 -1 4 0 0 0
[pid=29350/tid=29363] ppid=29348 vsize=10548004 CPUtime=0 cores=0,2,4,6
/proc/29350/task/29363/stat : 29363 (java) S 29348 29350 28625 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 877525901 10801156096 1093072 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485783449 0 4 0 16800975 18446604453868163200 0 0 -1 4 0 0 0
[pid=29350/tid=29364] ppid=29348 vsize=10548004 CPUtime=0 cores=0,2,4,6
/proc/29350/task/29364/stat : 29364 (java) S 29348 29350 28625 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877525903 10801156096 1093072 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485791153 0 4 0 16800975 18446604453868163200 0 0 -1 4 0 0 0
[pid=29350/tid=29365] ppid=29348 vsize=10548004 CPUtime=0.83 cores=0,2,4,6
/proc/29350/task/29365/stat : 29365 (java) S 29348 29350 28625 0 -1 4202560 3309 0 0 0 83 0 0 0 15 0 19 0 877525903 10801156096 1093072 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485783449 0 4 0 16800975 18446604453868163200 0 0 -1 4 0 0 0
[pid=29350/tid=29366] ppid=29348 vsize=10548004 CPUtime=0.7 cores=0,2,4,6
/proc/29350/task/29366/stat : 29366 (java) S 29348 29350 28625 0 -1 4202560 6123 0 0 0 70 0 0 0 15 0 19 0 877525903 10801156096 1093072 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485783449 0 4 0 16800975 18446604453868163200 0 0 -1 2 0 0 0
[pid=29350/tid=29367] ppid=29348 vsize=10548004 CPUtime=0 cores=0,2,4,6
/proc/29350/task/29367/stat : 29367 (java) S 29348 29350 28625 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877525903 10801156096 1093072 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485783449 0 4 0 16800975 18446604453868163200 0 0 -1 4 0 0 0
[pid=29350/tid=29368] ppid=29348 vsize=10548004 CPUtime=0 cores=0,2,4,6
/proc/29350/task/29368/stat : 29368 (java) S 29348 29350 28625 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 877525903 10801156096 1093072 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485784064 0 4 0 16800975 18446604453868163200 0 0 -1 2 0 0 0
[pid=29350/tid=29396] ppid=29348 vsize=10548004 CPUtime=0 cores=0,2,4,6
/proc/29350/task/29396/stat : 29396 (java) S 29348 29350 28625 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877525983 10801156096 1093072 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485784064 0 4 0 16800975 18446604453868163200 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1791.05
Current children cumulated vsize (KiB) 10548004
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1791.3 s]
/proc/loadavg: 2.02 2.02 2.85 3/214 29457
/proc/meminfo: memFree=23653444/32950928 swapFree=67079488/67111528
[pid=29350] ppid=29348 vsize=10548004 CPUtime=1800.06 cores=0,2,4,6
/proc/29350/stat : 29350 (java) S 29348 29350 28625 0 -1 4202496 1106318 0 1 0 179872 134 0 0 20 0 19 0 877525897 10801156096 1093072 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/29350/statm: 2637001 1093072 2255 9 0 2627735 0
[pid=29350/tid=29352] ppid=29348 vsize=10548004 CPUtime=1787.55 cores=0,2,4,6
/proc/29350/task/29352/stat : 29352 (java) R 29348 29350 28625 0 -1 4202560 825031 0 1 0 178672 83 0 0 25 0 19 0 877525898 10801156096 1093072 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 46912505746173 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29350/tid=29353] ppid=29348 vsize=10548004 CPUtime=1.2 cores=0,2,4,6
/proc/29350/task/29353/stat : 29353 (java) S 29348 29350 28625 0 -1 4202560 33917 0 0 0 114 6 0 0 15 0 19 0 877525900 10801156096 1093072 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485783449 0 4 0 16800975 18446604453868163200 0 0 -1 6 0 0 0
[pid=29350/tid=29354] ppid=29348 vsize=10548004 CPUtime=1.1 cores=0,2,4,6
/proc/29350/task/29354/stat : 29354 (java) S 29348 29350 28625 0 -1 4202560 31375 0 0 0 106 4 0 0 16 0 19 0 877525900 10801156096 1093072 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485783449 0 4 0 16800975 18446604453868163200 0 0 -1 2 0 0 0
[pid=29350/tid=29355] ppid=29348 vsize=10548004 CPUtime=1.38 cores=0,2,4,6
/proc/29350/task/29355/stat : 29355 (java) S 29348 29350 28625 0 -1 4202560 37161 0 0 0 132 6 0 0 16 0 19 0 877525900 10801156096 1093072 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485783449 0 4 0 16800975 18446604453868163200 0 0 -1 4 0 0 0
[pid=29350/tid=29356] ppid=29348 vsize=10548004 CPUtime=1.26 cores=0,2,4,6
/proc/29350/task/29356/stat : 29356 (java) S 29348 29350 28625 0 -1 4202560 37203 0 0 0 121 5 0 0 16 0 19 0 877525900 10801156096 1093072 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485783449 0 4 0 16800975 18446604453868163200 0 0 -1 0 0 0 0
[pid=29350/tid=29357] ppid=29348 vsize=10548004 CPUtime=1.14 cores=0,2,4,6
/proc/29350/task/29357/stat : 29357 (java) S 29348 29350 28625 0 -1 4202560 26093 0 0 0 109 5 0 0 15 0 19 0 877525900 10801156096 1093072 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485783449 0 4 0 16800975 18446604453868163200 0 0 -1 0 0 0 0
[pid=29350/tid=29358] ppid=29348 vsize=10548004 CPUtime=1.31 cores=0,2,4,6
/proc/29350/task/29358/stat : 29358 (java) S 29348 29350 28625 0 -1 4202560 33342 0 0 0 126 5 0 0 16 0 19 0 877525900 10801156096 1093072 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485783449 0 4 0 16800975 18446604453868163200 0 0 -1 4 0 0 0
[pid=29350/tid=29359] ppid=29348 vsize=10548004 CPUtime=1.33 cores=0,2,4,6
/proc/29350/task/29359/stat : 29359 (java) S 29348 29350 28625 0 -1 4202560 34889 0 0 0 126 7 0 0 15 0 19 0 877525900 10801156096 1093072 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485783449 0 4 0 16800975 18446604453868163200 0 0 -1 2 0 0 0
[pid=29350/tid=29360] ppid=29348 vsize=10548004 CPUtime=1.16 cores=0,2,4,6
/proc/29350/task/29360/stat : 29360 (java) S 29348 29350 28625 0 -1 4202560 35577 0 0 0 111 5 0 0 15 0 19 0 877525900 10801156096 1093072 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485783449 0 4 0 16800975 18446604453868163200 0 0 -1 0 0 0 0
[pid=29350/tid=29361] ppid=29348 vsize=10548004 CPUtime=0.98 cores=0,2,4,6
/proc/29350/task/29361/stat : 29361 (java) S 29348 29350 28625 0 -1 4202560 1042 0 0 0 95 3 0 0 15 0 19 0 877525901 10801156096 1093072 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485784064 0 0 0 16800975 18446604453868163200 0 0 -1 2 0 0 0
[pid=29350/tid=29362] ppid=29348 vsize=10548004 CPUtime=0 cores=0,2,4,6
/proc/29350/task/29362/stat : 29362 (java) S 29348 29350 28625 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 877525901 10801156096 1093072 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485783449 0 4 0 16800975 18446604453868163200 0 0 -1 4 0 0 0
[pid=29350/tid=29363] ppid=29348 vsize=10548004 CPUtime=0 cores=0,2,4,6
/proc/29350/task/29363/stat : 29363 (java) S 29348 29350 28625 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 877525901 10801156096 1093072 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485783449 0 4 0 16800975 18446604453868163200 0 0 -1 4 0 0 0
[pid=29350/tid=29364] ppid=29348 vsize=10548004 CPUtime=0 cores=0,2,4,6
/proc/29350/task/29364/stat : 29364 (java) S 29348 29350 28625 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877525903 10801156096 1093072 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485791153 0 4 0 16800975 18446604453868163200 0 0 -1 4 0 0 0
[pid=29350/tid=29365] ppid=29348 vsize=10548004 CPUtime=0.83 cores=0,2,4,6
/proc/29350/task/29365/stat : 29365 (java) S 29348 29350 28625 0 -1 4202560 3309 0 0 0 83 0 0 0 15 0 19 0 877525903 10801156096 1093072 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485783449 0 4 0 16800975 18446604453868163200 0 0 -1 4 0 0 0
[pid=29350/tid=29366] ppid=29348 vsize=10548004 CPUtime=0.7 cores=0,2,4,6
/proc/29350/task/29366/stat : 29366 (java) S 29348 29350 28625 0 -1 4202560 6123 0 0 0 70 0 0 0 15 0 19 0 877525903 10801156096 1093072 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485783449 0 4 0 16800975 18446604453868163200 0 0 -1 2 0 0 0
[pid=29350/tid=29367] ppid=29348 vsize=10548004 CPUtime=0 cores=0,2,4,6
/proc/29350/task/29367/stat : 29367 (java) S 29348 29350 28625 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877525903 10801156096 1093072 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485783449 0 4 0 16800975 18446604453868163200 0 0 -1 4 0 0 0
[pid=29350/tid=29368] ppid=29348 vsize=10548004 CPUtime=0 cores=0,2,4,6
/proc/29350/task/29368/stat : 29368 (java) S 29348 29350 28625 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 877525903 10801156096 1093072 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485784064 0 4 0 16800975 18446604453868163200 0 0 -1 2 0 0 0
[pid=29350/tid=29396] ppid=29348 vsize=10548004 CPUtime=0 cores=0,2,4,6
/proc/29350/task/29396/stat : 29396 (java) S 29348 29350 28625 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877525983 10801156096 1093072 33554432000 1073741824 1073778376 140735930948080 18446744073709551615 274485784064 0 4 0 16800975 18446604453868163200 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 10548004
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1791.41 s]
/proc/loadavg: 2.02 2.02 2.85 3/214 29457
/proc/meminfo: memFree=23653444/32950928 swapFree=67079488/67111528
[pid=29350] ppid=29348 vsize=0 CPUtime=1800.18 cores=0,2,4,6
/proc/29350/stat : 29350 (java) Z 29348 29350 28625 0 -1 4203548 1106348 0 1 0 179874 144 0 0 17 0 2 0 877525897 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/29350/statm: 0 0 0 0 0 0 0
[pid=29350/tid=29367] ppid=29348 vsize=0 CPUtime=0.09 cores=0,2,4,6
/proc/29350/task/29367/stat : 29367 (java) R 29348 29350 28625 0 -1 4203588 1 0 0 0 0 9 0 0 18 0 2 0 877525903 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1791.49
CPU time (s): 1800.26
CPU user time (s): 1798.74
CPU system time (s): 1.51677
CPU usage (%): 100.49
Max. virtual memory (cumulated for all children) (KiB): 10550308
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.74
system time used= 1.51677
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1106348
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 43633
involuntary context switches= 15441
runsolver used 3.36349 second user time and 6.42702 second system time
The end