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-3456413-1307658424/watcher-3456413-1307658424 -o /tmp/evaluation-result-3456413-1307658424/solver-3456413-1307658424 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456413-1307658424.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.85 1.97 2.58 3/195 19506
/proc/meminfo: memFree=31087712/32950928 swapFree=67055156/67111528
[pid=19506] ppid=19504 vsize=30540 CPUtime=0 cores=0,2,4,6
/proc/19506/stat : 19506 (java) S 19504 19506 16958 0 -1 4202496 1240 0 0 0 0 0 0 0 25 0 2 0 877442283 31272960 960 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101500901 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/19506/statm: 7635 960 732 9 0 386 0
[pid=19506/tid=19507] ppid=19504 vsize=30540 CPUtime=0 cores=0,2,4,6
/proc/19506/task/19507/stat : 19507 (java) R 19504 19506 16958 0 -1 4202560 126 0 0 0 0 0 0 0 25 0 2 0 877442284 31272960 960 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248089698107 0 0 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.0972351 s]
/proc/loadavg: 1.85 1.97 2.58 3/195 19506
/proc/meminfo: memFree=31087712/32950928 swapFree=67055156/67111528
[pid=19506] ppid=19504 vsize=10540036 CPUtime=0.1 cores=0,2,4,6
/proc/19506/stat : 19506 (java) S 19504 19506 16958 0 -1 4202496 13049 0 1 0 9 1 0 0 25 0 18 0 877442283 10792996864 12746 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/19506/statm: 2635009 12747 2092 9 0 2625743 0
[pid=19506/tid=19507] ppid=19504 vsize=10540036 CPUtime=0.08 cores=0,2,4,6
/proc/19506/task/19507/stat : 19507 (java) R 19504 19506 16958 0 -1 4202560 11163 0 1 0 7 1 0 0 25 0 18 0 877442284 10792996864 12747 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 47031947737939 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540036
[startup+0.100233 s]
/proc/loadavg: 1.85 1.97 2.58 3/195 19506
/proc/meminfo: memFree=31087712/32950928 swapFree=67055156/67111528
[pid=19506] ppid=19504 vsize=10540036 CPUtime=0.1 cores=0,2,4,6
/proc/19506/stat : 19506 (java) S 19504 19506 16958 0 -1 4202496 13091 0 1 0 9 1 0 0 25 0 18 0 877442283 10792996864 12788 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/19506/statm: 2635009 12788 2092 9 0 2625743 0
[pid=19506/tid=19507] ppid=19504 vsize=10540036 CPUtime=0.08 cores=0,2,4,6
/proc/19506/task/19507/stat : 19507 (java) R 19504 19506 16958 0 -1 4202560 11204 0 1 0 7 1 0 0 25 0 18 0 877442284 10792996864 12788 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 47031944811045 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540036
[startup+0.300314 s]
/proc/loadavg: 1.85 1.97 2.58 3/195 19506
/proc/meminfo: memFree=31087712/32950928 swapFree=67055156/67111528
[pid=19506] ppid=19504 vsize=10541852 CPUtime=0.45 cores=0,2,4,6
/proc/19506/stat : 19506 (java) S 19504 19506 16958 0 -1 4202496 21753 0 1 0 43 2 0 0 25 0 18 0 877442283 10794856448 20971 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/19506/statm: 2635463 20975 2199 9 0 2626197 0
[pid=19506/tid=19507] ppid=19504 vsize=10541852 CPUtime=0.28 cores=0,2,4,6
/proc/19506/task/19507/stat : 19507 (java) R 19504 19506 16958 0 -1 4202560 18911 0 1 0 26 2 0 0 25 0 18 0 877442284 10794856448 20976 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 46912505537782 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 10541852
[startup+0.701243 s]
/proc/loadavg: 1.85 1.97 2.58 3/195 19506
/proc/meminfo: memFree=31087712/32950928 swapFree=67055156/67111528
[pid=19506] ppid=19504 vsize=10557684 CPUtime=1.11 cores=0,2,4,6
/proc/19506/stat : 19506 (java) S 19504 19506 16958 0 -1 4202496 52025 0 1 0 105 6 0 0 25 0 18 0 877442283 10811068416 49209 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/19506/statm: 2639421 49209 2204 9 0 2630155 0
[pid=19506/tid=19507] ppid=19504 vsize=10557684 CPUtime=0.68 cores=0,2,4,6
/proc/19506/task/19507/stat : 19507 (java) R 19504 19506 16958 0 -1 4202560 42533 0 1 0 63 5 0 0 18 0 18 0 877442284 10811068416 49211 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 46912505613166 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.11
Current children cumulated vsize (KiB) 10557684
[startup+1.5011 s]
/proc/loadavg: 1.85 1.97 2.58 3/213 19524
/proc/meminfo: memFree=30222508/32950928 swapFree=67055156/67111528
[pid=19506] ppid=19504 vsize=10558432 CPUtime=2.01 cores=0,2,4,6
/proc/19506/stat : 19506 (java) S 19504 19506 16958 0 -1 4202496 106913 0 1 0 188 13 0 0 25 0 18 0 877442283 10811834368 104097 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/19506/statm: 2639608 104099 2204 9 0 2630342 0
[pid=19506/tid=19507] ppid=19504 vsize=10558432 CPUtime=1.49 cores=0,2,4,6
/proc/19506/task/19507/stat : 19507 (java) R 19504 19506 16958 0 -1 4202560 97163 0 1 0 137 12 0 0 19 0 18 0 877442284 10811834368 104100 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 46912505613226 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=19506/tid=19509] ppid=19504 vsize=10558432 CPUtime=0 cores=0,2,4,6
/proc/19506/task/19509/stat : 19509 (java) S 19504 19506 16958 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877442285 10811834368 104102 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101514137 0 4 0 16800975 18446604453984839616 0 0 -1 4 0 0 0
[pid=19506/tid=19510] ppid=19504 vsize=10558432 CPUtime=0 cores=0,2,4,6
/proc/19506/task/19510/stat : 19510 (java) S 19504 19506 16958 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877442285 10811834368 104103 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101514137 0 4 0 16800975 18446604453984839616 0 0 -1 4 0 0 0
[pid=19506/tid=19511] ppid=19504 vsize=10558432 CPUtime=0 cores=0,2,4,6
/proc/19506/task/19511/stat : 19511 (java) S 19504 19506 16958 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877442285 10811834368 104104 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101514137 0 4 0 16800975 18446604453984839616 0 0 -1 4 0 0 0
[pid=19506/tid=19512] ppid=19504 vsize=10558432 CPUtime=0 cores=0,2,4,6
/proc/19506/task/19512/stat : 19512 (java) S 19504 19506 16958 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877442285 10811834368 104105 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101514137 0 4 0 16800975 18446604453984839616 0 0 -1 4 0 0 0
[pid=19506/tid=19513] ppid=19504 vsize=10558432 CPUtime=0 cores=0,2,4,6
/proc/19506/task/19513/stat : 19513 (java) S 19504 19506 16958 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877442285 10811834368 104107 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101514137 0 4 0 16800975 18446604453984839616 0 0 -1 4 0 0 0
[pid=19506/tid=19514] ppid=19504 vsize=10558432 CPUtime=0 cores=0,2,4,6
/proc/19506/task/19514/stat : 19514 (java) S 19504 19506 16958 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877442285 10811834368 104108 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101514137 0 4 0 16800975 18446604453984839616 0 0 -1 4 0 0 0
[pid=19506/tid=19515] ppid=19504 vsize=10558432 CPUtime=0 cores=0,2,4,6
/proc/19506/task/19515/stat : 19515 (java) S 19504 19506 16958 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877442285 10811834368 104109 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101514137 0 4 0 16800975 18446604453984839616 0 0 -1 4 0 0 0
[pid=19506/tid=19516] ppid=19504 vsize=10558432 CPUtime=0 cores=0,2,4,6
/proc/19506/task/19516/stat : 19516 (java) S 19504 19506 16958 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877442285 10811834368 104110 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101514137 0 4 0 16800975 18446604453984839616 0 0 -1 4 0 0 0
[pid=19506/tid=19517] ppid=19504 vsize=10558432 CPUtime=0 cores=0,2,4,6
/proc/19506/task/19517/stat : 19517 (java) S 19504 19506 16958 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 877442286 10811834368 104111 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101514752 0 0 0 16800975 18446604453984839616 0 0 -1 0 0 0 0
[pid=19506/tid=19518] ppid=19504 vsize=10558432 CPUtime=0 cores=0,2,4,6
/proc/19506/task/19518/stat : 19518 (java) S 19504 19506 16958 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 877442287 10811834368 104112 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101514137 0 4 0 16800975 18446604453984839616 0 0 -1 2 0 0 0
[pid=19506/tid=19519] ppid=19504 vsize=10558432 CPUtime=0 cores=0,2,4,6
/proc/19506/task/19519/stat : 19519 (java) S 19504 19506 16958 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 877442287 10811834368 104113 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101514137 0 4 0 16800975 18446604453984839616 0 0 -1 2 0 0 0
[pid=19506/tid=19520] ppid=19504 vsize=10558432 CPUtime=0 cores=0,2,4,6
/proc/19506/task/19520/stat : 19520 (java) S 19504 19506 16958 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877442289 10811834368 104115 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101521841 0 4 0 16800975 18446604453984839616 0 0 -1 2 0 0 0
[pid=19506/tid=19521] ppid=19504 vsize=10558432 CPUtime=0.16 cores=0,2,4,6
/proc/19506/task/19521/stat : 19521 (java) S 19504 19506 16958 0 -1 4202560 2185 0 0 0 16 0 0 0 18 0 18 0 877442289 10811834368 104116 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101514137 0 4 0 16800975 18446604453984839616 0 0 -1 4 0 0 0
[pid=19506/tid=19522] ppid=19504 vsize=10558432 CPUtime=0.34 cores=0,2,4,6
/proc/19506/task/19522/stat : 19522 (java) S 19504 19506 16958 0 -1 4202560 6418 0 0 0 34 0 0 0 20 0 18 0 877442289 10811834368 104117 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101514137 0 4 0 16800975 18446604453984839616 0 0 -1 0 0 0 0
[pid=19506/tid=19523] ppid=19504 vsize=10558432 CPUtime=0 cores=0,2,4,6
/proc/19506/task/19523/stat : 19523 (java) S 19504 19506 16958 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877442289 10811834368 104118 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101514137 0 4 0 16800975 18446604453984839616 0 0 -1 2 0 0 0
[pid=19506/tid=19524] ppid=19504 vsize=10558432 CPUtime=0 cores=0,2,4,6
/proc/19506/task/19524/stat : 19524 (java) S 19504 19506 16958 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 877442289 10811834368 104120 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101514752 0 4 0 16800975 18446604453984839616 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.01
Current children cumulated vsize (KiB) 10558432
[startup+3.10082 s]
/proc/loadavg: 1.86 1.97 2.58 3/213 19524
/proc/meminfo: memFree=29304256/32950928 swapFree=67055156/67111528
[pid=19506] ppid=19504 vsize=10558432 CPUtime=3.66 cores=0,2,4,6
/proc/19506/stat : 19506 (java) S 19504 19506 16958 0 -1 4202496 183775 0 1 0 343 23 0 0 25 0 18 0 877442283 10811834368 180754 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/19506/statm: 2639608 180754 2204 9 0 2630342 0
[pid=19506/tid=19507] ppid=19504 vsize=10558432 CPUtime=3.08 cores=0,2,4,6
/proc/19506/task/19507/stat : 19507 (java) R 19504 19506 16958 0 -1 4202560 173794 0 1 0 287 21 0 0 22 0 18 0 877442284 10811834368 180754 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 46912505701995 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=19506/tid=19509] ppid=19504 vsize=10558432 CPUtime=0 cores=0,2,4,6
/proc/19506/task/19509/stat : 19509 (java) S 19504 19506 16958 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877442285 10811834368 180754 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101514137 0 4 0 16800975 18446604453984839616 0 0 -1 4 0 0 0
[pid=19506/tid=19510] ppid=19504 vsize=10558432 CPUtime=0 cores=0,2,4,6
/proc/19506/task/19510/stat : 19510 (java) S 19504 19506 16958 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877442285 10811834368 180754 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101514137 0 4 0 16800975 18446604453984839616 0 0 -1 4 0 0 0
[pid=19506/tid=19511] ppid=19504 vsize=10558432 CPUtime=0 cores=0,2,4,6
/proc/19506/task/19511/stat : 19511 (java) S 19504 19506 16958 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877442285 10811834368 180754 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101514137 0 4 0 16800975 18446604453984839616 0 0 -1 4 0 0 0
[pid=19506/tid=19512] ppid=19504 vsize=10558432 CPUtime=0 cores=0,2,4,6
/proc/19506/task/19512/stat : 19512 (java) S 19504 19506 16958 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877442285 10811834368 180754 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101514137 0 4 0 16800975 18446604453984839616 0 0 -1 4 0 0 0
[pid=19506/tid=19513] ppid=19504 vsize=10558432 CPUtime=0 cores=0,2,4,6
/proc/19506/task/19513/stat : 19513 (java) S 19504 19506 16958 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877442285 10811834368 180754 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101514137 0 4 0 16800975 18446604453984839616 0 0 -1 4 0 0 0
[pid=19506/tid=19514] ppid=19504 vsize=10558432 CPUtime=0 cores=0,2,4,6
/proc/19506/task/19514/stat : 19514 (java) S 19504 19506 16958 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877442285 10811834368 180754 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101514137 0 4 0 16800975 18446604453984839616 0 0 -1 4 0 0 0
[pid=19506/tid=19515] ppid=19504 vsize=10558432 CPUtime=0 cores=0,2,4,6
/proc/19506/task/19515/stat : 19515 (java) S 19504 19506 16958 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877442285 10811834368 180754 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101514137 0 4 0 16800975 18446604453984839616 0 0 -1 4 0 0 0
[pid=19506/tid=19516] ppid=19504 vsize=10558432 CPUtime=0 cores=0,2,4,6
/proc/19506/task/19516/stat : 19516 (java) S 19504 19506 16958 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877442285 10811834368 180754 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101514137 0 4 0 16800975 18446604453984839616 0 0 -1 4 0 0 0
[pid=19506/tid=19517] ppid=19504 vsize=10558432 CPUtime=0 cores=0,2,4,6
/proc/19506/task/19517/stat : 19517 (java) S 19504 19506 16958 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 877442286 10811834368 180754 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101514752 0 0 0 16800975 18446604453984839616 0 0 -1 0 0 0 0
[pid=19506/tid=19518] ppid=19504 vsize=10558432 CPUtime=0 cores=0,2,4,6
/proc/19506/task/19518/stat : 19518 (java) S 19504 19506 16958 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 877442287 10811834368 180754 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101514137 0 4 0 16800975 18446604453984839616 0 0 -1 2 0 0 0
[pid=19506/tid=19519] ppid=19504 vsize=10558432 CPUtime=0 cores=0,2,4,6
/proc/19506/task/19519/stat : 19519 (java) S 19504 19506 16958 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 877442287 10811834368 180754 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101514137 0 4 0 16800975 18446604453984839616 0 0 -1 2 0 0 0
[pid=19506/tid=19520] ppid=19504 vsize=10558432 CPUtime=0 cores=0,2,4,6
/proc/19506/task/19520/stat : 19520 (java) S 19504 19506 16958 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877442289 10811834368 180754 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101521841 0 4 0 16800975 18446604453984839616 0 0 -1 2 0 0 0
[pid=19506/tid=19521] ppid=19504 vsize=10558432 CPUtime=0.2 cores=0,2,4,6
/proc/19506/task/19521/stat : 19521 (java) S 19504 19506 16958 0 -1 4202560 2413 0 0 0 20 0 0 0 15 0 18 0 877442289 10811834368 180754 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101514137 0 4 0 16800975 18446604453984839616 0 0 -1 4 0 0 0
[pid=19506/tid=19522] ppid=19504 vsize=10558432 CPUtime=0.36 cores=0,2,4,6
/proc/19506/task/19522/stat : 19522 (java) S 19504 19506 16958 0 -1 4202560 6418 0 0 0 35 1 0 0 17 0 18 0 877442289 10811834368 180754 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101514137 0 4 0 16800975 18446604453984839616 0 0 -1 0 0 0 0
[pid=19506/tid=19523] ppid=19504 vsize=10558432 CPUtime=0 cores=0,2,4,6
/proc/19506/task/19523/stat : 19523 (java) S 19504 19506 16958 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 877442289 10811834368 180754 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101514137 0 4 0 16800975 18446604453984839616 0 0 -1 2 0 0 0
[pid=19506/tid=19524] ppid=19504 vsize=10558432 CPUtime=0 cores=0,2,4,6
/proc/19506/task/19524/stat : 19524 (java) S 19504 19506 16958 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 877442289 10811834368 180754 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101514752 0 4 0 16800975 18446604453984839616 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.66
Current children cumulated vsize (KiB) 10558432
[startup+6.30114 s]
/proc/loadavg: 1.86 1.97 2.58 3/214 19525
/proc/meminfo: memFree=28429252/32950928 swapFree=67055156/67111528
[pid=19506] ppid=19504 vsize=10559460 CPUtime=7.1 cores=0,2,4,6
/proc/19506/stat : 19506 (java) S 19504 19506 16958 0 -1 4202496 288283 0 1 0 676 34 0 0 25 0 19 0 877442283 10812887040 284650 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/19506/statm: 2639865 284650 2222 9 0 2630599 0
[pid=19506/tid=19507] ppid=19504 vsize=10559460 CPUtime=6.28 cores=0,2,4,6
/proc/19506/task/19507/stat : 19507 (java) R 19504 19506 16958 0 -1 4202560 277531 0 1 0 596 32 0 0 21 0 19 0 877442284 10812887040 284650 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 46912505822115 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=19506/tid=19509] ppid=19504 vsize=10559460 CPUtime=0 cores=0,2,4,6
/proc/19506/task/19509/stat : 19509 (java) S 19504 19506 16958 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877442285 10812887040 284650 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101514137 0 4 0 16800975 18446604453984839616 0 0 -1 4 0 0 0
[pid=19506/tid=19510] ppid=19504 vsize=10559460 CPUtime=0 cores=0,2,4,6
/proc/19506/task/19510/stat : 19510 (java) S 19504 19506 16958 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877442285 10812887040 284650 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101514137 0 4 0 16800975 18446604453984839616 0 0 -1 4 0 0 0
[pid=19506/tid=19511] ppid=19504 vsize=10559460 CPUtime=0 cores=0,2,4,6
/proc/19506/task/19511/stat : 19511 (java) S 19504 19506 16958 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877442285 10812887040 284650 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101514137 0 4 0 16800975 18446604453984839616 0 0 -1 4 0 0 0
[pid=19506/tid=19512] ppid=19504 vsize=10559460 CPUtime=0 cores=0,2,4,6
/proc/19506/task/19512/stat : 19512 (java) S 19504 19506 16958 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877442285 10812887040 284650 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101514137 0 4 0 16800975 18446604453984839616 0 0 -1 4 0 0 0
[pid=19506/tid=19513] ppid=19504 vsize=10559460 CPUtime=0 cores=0,2,4,6
/proc/19506/task/19513/stat : 19513 (java) S 19504 19506 16958 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877442285 10812887040 284650 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101514137 0 4 0 16800975 18446604453984839616 0 0 -1 4 0 0 0
[pid=19506/tid=19514] ppid=19504 vsize=10559460 CPUtime=0 cores=0,2,4,6
/proc/19506/task/19514/stat : 19514 (java) S 19504 19506 16958 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877442285 10812887040 284650 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101514137 0 4 0 16800975 18446604453984839616 0 0 -1 4 0 0 0
[pid=19506/tid=19515] ppid=19504 vsize=10559460 CPUtime=0 cores=0,2,4,6
/proc/19506/task/19515/stat : 19515 (java) S 19504 19506 16958 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877442285 10812887040 284650 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101514137 0 4 0 16800975 18446604453984839616 0 0 -1 4 0 0 0
[pid=19506/tid=19516] ppid=19504 vsize=10559460 CPUtime=0 cores=0,2,4,6
/proc/19506/task/19516/stat : 19516 (java) S 19504 19506 16958 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877442285 10812887040 284650 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101514137 0 4 0 16800975 18446604453984839616 0 0 -1 4 0 0 0
[pid=19506/tid=19517] ppid=19504 vsize=10559460 CPUtime=0 cores=0,2,4,6
/proc/19506/task/19517/stat : 19517 (java) S 19504 19506 16958 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 877442286 10812887040 284650 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101514752 0 0 0 16800975 18446604453984839616 0 0 -1 0 0 0 0
[pid=19506/tid=19518] ppid=19504 vsize=10559460 CPUtime=0 cores=0,2,4,6
/proc/19506/task/19518/stat : 19518 (java) S 19504 19506 16958 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 877442287 10812887040 284650 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101514137 0 4 0 16800975 18446604453984839616 0 0 -1 2 0 0 0
[pid=19506/tid=19519] ppid=19504 vsize=10559460 CPUtime=0 cores=0,2,4,6
/proc/19506/task/19519/stat : 19519 (java) S 19504 19506 16958 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877442287 10812887040 284650 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101514137 0 4 0 16800975 18446604453984839616 0 0 -1 2 0 0 0
[pid=19506/tid=19520] ppid=19504 vsize=10559460 CPUtime=0 cores=0,2,4,6
/proc/19506/task/19520/stat : 19520 (java) S 19504 19506 16958 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877442289 10812887040 284650 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101521841 0 4 0 16800975 18446604453984839616 0 0 -1 2 0 0 0
[pid=19506/tid=19521] ppid=19504 vsize=10559460 CPUtime=0.35 cores=0,2,4,6
/proc/19506/task/19521/stat : 19521 (java) S 19504 19506 16958 0 -1 4202560 3163 0 0 0 35 0 0 0 15 0 19 0 877442289 10812887040 284650 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101514137 0 4 0 16800975 18446604453984839616 0 0 -1 4 0 0 0
[pid=19506/tid=19522] ppid=19504 vsize=10559460 CPUtime=0.44 cores=0,2,4,6
/proc/19506/task/19522/stat : 19522 (java) S 19504 19506 16958 0 -1 4202560 6429 0 0 0 43 1 0 0 15 0 19 0 877442289 10812887040 284650 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101514137 0 4 0 16800975 18446604453984839616 0 0 -1 0 0 0 0
[pid=19506/tid=19523] ppid=19504 vsize=10559460 CPUtime=0 cores=0,2,4,6
/proc/19506/task/19523/stat : 19523 (java) S 19504 19506 16958 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877442289 10812887040 284650 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101514137 0 4 0 16800975 18446604453984839616 0 0 -1 2 0 0 0
[pid=19506/tid=19524] ppid=19504 vsize=10559460 CPUtime=0 cores=0,2,4,6
/proc/19506/task/19524/stat : 19524 (java) S 19504 19506 16958 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 877442289 10812887040 284650 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101514752 0 4 0 16800975 18446604453984839616 0 0 -1 6 0 0 0
################
# More data... #
################
/proc/19506/task/19519/stat : 19519 (java) S 19504 19506 16958 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 877442287 10812887040 933205 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101514137 0 4 0 16800975 18446604453984839616 0 0 -1 2 0 0 0
[pid=19506/tid=19520] ppid=19504 vsize=10559460 CPUtime=0 cores=0,2,4,6
/proc/19506/task/19520/stat : 19520 (java) S 19504 19506 16958 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877442289 10812887040 933205 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101521841 0 4 0 16800975 18446604453984839616 0 0 -1 2 0 0 0
[pid=19506/tid=19521] ppid=19504 vsize=10559460 CPUtime=0.67 cores=0,2,4,6
/proc/19506/task/19521/stat : 19521 (java) S 19504 19506 16958 0 -1 4202560 5198 0 0 0 67 0 0 0 15 0 19 0 877442289 10812887040 933205 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101514137 0 4 0 16800975 18446604453984839616 0 0 -1 4 0 0 0
[pid=19506/tid=19522] ppid=19504 vsize=10559460 CPUtime=0.71 cores=0,2,4,6
/proc/19506/task/19522/stat : 19522 (java) S 19504 19506 16958 0 -1 4202560 6488 0 0 0 70 1 0 0 16 0 19 0 877442289 10812887040 933205 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101514137 0 4 0 16800975 18446604453984839616 0 0 -1 0 0 0 0
[pid=19506/tid=19523] ppid=19504 vsize=10559460 CPUtime=0 cores=0,2,4,6
/proc/19506/task/19523/stat : 19523 (java) S 19504 19506 16958 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877442289 10812887040 933205 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101514137 0 4 0 16800975 18446604453984839616 0 0 -1 2 0 0 0
[pid=19506/tid=19524] ppid=19504 vsize=10559460 CPUtime=0 cores=0,2,4,6
/proc/19506/task/19524/stat : 19524 (java) S 19504 19506 16958 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 877442289 10812887040 933205 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101514752 0 4 0 16800975 18446604453984839616 0 0 -1 0 0 0 0
[pid=19506/tid=19525] ppid=19504 vsize=10559460 CPUtime=0 cores=0,2,4,6
/proc/19506/task/19525/stat : 19525 (java) S 19504 19506 16958 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877442772 10812887040 933205 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101514752 0 4 0 16800975 18446604453984839616 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1668.29
Current children cumulated vsize (KiB) 10559460
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.07 3/214 19571
/proc/meminfo: memFree=24777980/32950928 swapFree=67055156/67111528
[pid=19506] ppid=19504 vsize=10559460 CPUtime=1728.34 cores=0,2,4,6
/proc/19506/stat : 19506 (java) S 19504 19506 16958 0 -1 4202496 940283 0 1 0 172720 114 0 0 25 0 19 0 877442283 10812887040 933205 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/19506/statm: 2639865 933205 2240 9 0 2630599 0
[pid=19506/tid=19507] ppid=19504 vsize=10559460 CPUtime=1720.43 cores=0,2,4,6
/proc/19506/task/19507/stat : 19507 (java) R 19504 19506 16958 0 -1 4202560 713273 0 1 0 171966 77 0 0 25 0 19 0 877442284 10812887040 933205 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 46912505613229 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=19506/tid=19509] ppid=19504 vsize=10559460 CPUtime=0.77 cores=0,2,4,6
/proc/19506/task/19509/stat : 19509 (java) S 19504 19506 16958 0 -1 4202560 32240 0 0 0 72 5 0 0 15 0 19 0 877442285 10812887040 933205 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101514137 0 4 0 16800975 18446604453984839616 0 0 -1 6 0 0 0
[pid=19506/tid=19510] ppid=19504 vsize=10559460 CPUtime=0.8 cores=0,2,4,6
/proc/19506/task/19510/stat : 19510 (java) S 19504 19506 16958 0 -1 4202560 22102 0 0 0 77 3 0 0 15 0 19 0 877442285 10812887040 933205 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101514137 0 4 0 16800975 18446604453984839616 0 0 -1 0 0 0 0
[pid=19506/tid=19511] ppid=19504 vsize=10559460 CPUtime=0.43 cores=0,2,4,6
/proc/19506/task/19511/stat : 19511 (java) S 19504 19506 16958 0 -1 4202560 14780 0 0 0 41 2 0 0 15 0 19 0 877442285 10812887040 933205 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101514137 0 4 0 16800975 18446604453984839616 0 0 -1 4 0 0 0
[pid=19506/tid=19512] ppid=19504 vsize=10559460 CPUtime=0.77 cores=0,2,4,6
/proc/19506/task/19512/stat : 19512 (java) S 19504 19506 16958 0 -1 4202560 23005 0 0 0 74 3 0 0 15 0 19 0 877442285 10812887040 933205 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101514137 0 4 0 16800975 18446604453984839616 0 0 -1 2 0 0 0
[pid=19506/tid=19513] ppid=19504 vsize=10559460 CPUtime=0.82 cores=0,2,4,6
/proc/19506/task/19513/stat : 19513 (java) S 19504 19506 16958 0 -1 4202560 31033 0 0 0 78 4 0 0 15 0 19 0 877442285 10812887040 933205 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101514137 0 4 0 16800975 18446604453984839616 0 0 -1 2 0 0 0
[pid=19506/tid=19514] ppid=19504 vsize=10559460 CPUtime=0.96 cores=0,2,4,6
/proc/19506/task/19514/stat : 19514 (java) S 19504 19506 16958 0 -1 4202560 37712 0 0 0 91 5 0 0 16 0 19 0 877442285 10812887040 933205 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101514137 0 4 0 16800975 18446604453984839616 0 0 -1 6 0 0 0
[pid=19506/tid=19515] ppid=19504 vsize=10559460 CPUtime=0.87 cores=0,2,4,6
/proc/19506/task/19515/stat : 19515 (java) S 19504 19506 16958 0 -1 4202560 15911 0 0 0 85 2 0 0 15 0 19 0 877442285 10812887040 933205 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101514137 0 4 0 16800975 18446604453984839616 0 0 -1 0 0 0 0
[pid=19506/tid=19516] ppid=19504 vsize=10559460 CPUtime=0.92 cores=0,2,4,6
/proc/19506/task/19516/stat : 19516 (java) S 19504 19506 16958 0 -1 4202560 37193 0 0 0 87 5 0 0 15 0 19 0 877442285 10812887040 933205 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101514137 0 4 0 16800975 18446604453984839616 0 0 -1 4 0 0 0
[pid=19506/tid=19517] ppid=19504 vsize=10559460 CPUtime=0.06 cores=0,2,4,6
/proc/19506/task/19517/stat : 19517 (java) S 19504 19506 16958 0 -1 4202560 96 0 0 0 4 2 0 0 15 0 19 0 877442286 10812887040 933205 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101514752 0 0 0 16800975 18446604453984839616 0 0 -1 4 0 0 0
[pid=19506/tid=19518] ppid=19504 vsize=10559460 CPUtime=0 cores=0,2,4,6
/proc/19506/task/19518/stat : 19518 (java) S 19504 19506 16958 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 877442287 10812887040 933205 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101514137 0 4 0 16800975 18446604453984839616 0 0 -1 2 0 0 0
[pid=19506/tid=19519] ppid=19504 vsize=10559460 CPUtime=0 cores=0,2,4,6
/proc/19506/task/19519/stat : 19519 (java) S 19504 19506 16958 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 877442287 10812887040 933205 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101514137 0 4 0 16800975 18446604453984839616 0 0 -1 2 0 0 0
[pid=19506/tid=19520] ppid=19504 vsize=10559460 CPUtime=0 cores=0,2,4,6
/proc/19506/task/19520/stat : 19520 (java) S 19504 19506 16958 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877442289 10812887040 933205 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101521841 0 4 0 16800975 18446604453984839616 0 0 -1 2 0 0 0
[pid=19506/tid=19521] ppid=19504 vsize=10559460 CPUtime=0.67 cores=0,2,4,6
/proc/19506/task/19521/stat : 19521 (java) S 19504 19506 16958 0 -1 4202560 5198 0 0 0 67 0 0 0 15 0 19 0 877442289 10812887040 933205 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101514137 0 4 0 16800975 18446604453984839616 0 0 -1 4 0 0 0
[pid=19506/tid=19522] ppid=19504 vsize=10559460 CPUtime=0.71 cores=0,2,4,6
/proc/19506/task/19522/stat : 19522 (java) S 19504 19506 16958 0 -1 4202560 6488 0 0 0 70 1 0 0 16 0 19 0 877442289 10812887040 933205 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101514137 0 4 0 16800975 18446604453984839616 0 0 -1 0 0 0 0
[pid=19506/tid=19523] ppid=19504 vsize=10559460 CPUtime=0 cores=0,2,4,6
/proc/19506/task/19523/stat : 19523 (java) S 19504 19506 16958 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877442289 10812887040 933205 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101514137 0 4 0 16800975 18446604453984839616 0 0 -1 2 0 0 0
[pid=19506/tid=19524] ppid=19504 vsize=10559460 CPUtime=0 cores=0,2,4,6
/proc/19506/task/19524/stat : 19524 (java) S 19504 19506 16958 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 877442289 10812887040 933205 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101514752 0 4 0 16800975 18446604453984839616 0 0 -1 0 0 0 0
[pid=19506/tid=19525] ppid=19504 vsize=10559460 CPUtime=0 cores=0,2,4,6
/proc/19506/task/19525/stat : 19525 (java) S 19504 19506 16958 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877442772 10812887040 933205 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101514752 0 4 0 16800975 18446604453984839616 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1728.34
Current children cumulated vsize (KiB) 10559460
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.06 3/214 19573
/proc/meminfo: memFree=24776448/32950928 swapFree=67055156/67111528
[pid=19506] ppid=19504 vsize=10559460 CPUtime=1788.38 cores=0,2,4,6
/proc/19506/stat : 19506 (java) S 19504 19506 16958 0 -1 4202496 940298 0 1 0 178723 115 0 0 25 0 19 0 877442283 10812887040 933205 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/19506/statm: 2639865 933205 2240 9 0 2630599 0
[pid=19506/tid=19507] ppid=19504 vsize=10559460 CPUtime=1780.41 cores=0,2,4,6
/proc/19506/task/19507/stat : 19507 (java) R 19504 19506 16958 0 -1 4202560 713282 0 1 0 177964 77 0 0 25 0 19 0 877442284 10812887040 933205 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 46912505613366 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=19506/tid=19509] ppid=19504 vsize=10559460 CPUtime=0.78 cores=0,2,4,6
/proc/19506/task/19509/stat : 19509 (java) S 19504 19506 16958 0 -1 4202560 32240 0 0 0 73 5 0 0 15 0 19 0 877442285 10812887040 933205 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101514137 0 4 0 16800975 18446604453984839616 0 0 -1 6 0 0 0
[pid=19506/tid=19510] ppid=19504 vsize=10559460 CPUtime=0.81 cores=0,2,4,6
/proc/19506/task/19510/stat : 19510 (java) S 19504 19506 16958 0 -1 4202560 22102 0 0 0 78 3 0 0 15 0 19 0 877442285 10812887040 933205 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101514137 0 4 0 16800975 18446604453984839616 0 0 -1 6 0 0 0
[pid=19506/tid=19511] ppid=19504 vsize=10559460 CPUtime=0.44 cores=0,2,4,6
/proc/19506/task/19511/stat : 19511 (java) S 19504 19506 16958 0 -1 4202560 14780 0 0 0 42 2 0 0 16 0 19 0 877442285 10812887040 933205 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101514137 0 4 0 16800975 18446604453984839616 0 0 -1 4 0 0 0
[pid=19506/tid=19512] ppid=19504 vsize=10559460 CPUtime=0.78 cores=0,2,4,6
/proc/19506/task/19512/stat : 19512 (java) S 19504 19506 16958 0 -1 4202560 23005 0 0 0 75 3 0 0 15 0 19 0 877442285 10812887040 933205 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101514137 0 4 0 16800975 18446604453984839616 0 0 -1 6 0 0 0
[pid=19506/tid=19513] ppid=19504 vsize=10559460 CPUtime=0.83 cores=0,2,4,6
/proc/19506/task/19513/stat : 19513 (java) S 19504 19506 16958 0 -1 4202560 31033 0 0 0 79 4 0 0 15 0 19 0 877442285 10812887040 933205 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101514137 0 4 0 16800975 18446604453984839616 0 0 -1 2 0 0 0
[pid=19506/tid=19514] ppid=19504 vsize=10559460 CPUtime=0.97 cores=0,2,4,6
/proc/19506/task/19514/stat : 19514 (java) S 19504 19506 16958 0 -1 4202560 37712 0 0 0 92 5 0 0 15 0 19 0 877442285 10812887040 933205 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101514137 0 4 0 16800975 18446604453984839616 0 0 -1 6 0 0 0
[pid=19506/tid=19515] ppid=19504 vsize=10559460 CPUtime=0.89 cores=0,2,4,6
/proc/19506/task/19515/stat : 19515 (java) S 19504 19506 16958 0 -1 4202560 15911 0 0 0 87 2 0 0 16 0 19 0 877442285 10812887040 933205 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101514137 0 4 0 16800975 18446604453984839616 0 0 -1 0 0 0 0
[pid=19506/tid=19516] ppid=19504 vsize=10559460 CPUtime=0.94 cores=0,2,4,6
/proc/19506/task/19516/stat : 19516 (java) S 19504 19506 16958 0 -1 4202560 37193 0 0 0 88 6 0 0 15 0 19 0 877442285 10812887040 933205 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101514137 0 4 0 16800975 18446604453984839616 0 0 -1 4 0 0 0
[pid=19506/tid=19517] ppid=19504 vsize=10559460 CPUtime=0.06 cores=0,2,4,6
/proc/19506/task/19517/stat : 19517 (java) S 19504 19506 16958 0 -1 4202560 100 0 0 0 4 2 0 0 15 0 19 0 877442286 10812887040 933205 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101514752 0 0 0 16800975 18446604453984839616 0 0 -1 4 0 0 0
[pid=19506/tid=19518] ppid=19504 vsize=10559460 CPUtime=0 cores=0,2,4,6
/proc/19506/task/19518/stat : 19518 (java) S 19504 19506 16958 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 877442287 10812887040 933205 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101514137 0 4 0 16800975 18446604453984839616 0 0 -1 2 0 0 0
[pid=19506/tid=19519] ppid=19504 vsize=10559460 CPUtime=0 cores=0,2,4,6
/proc/19506/task/19519/stat : 19519 (java) S 19504 19506 16958 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 877442287 10812887040 933205 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101514137 0 4 0 16800975 18446604453984839616 0 0 -1 2 0 0 0
[pid=19506/tid=19520] ppid=19504 vsize=10559460 CPUtime=0 cores=0,2,4,6
/proc/19506/task/19520/stat : 19520 (java) S 19504 19506 16958 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877442289 10812887040 933205 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101521841 0 4 0 16800975 18446604453984839616 0 0 -1 2 0 0 0
[pid=19506/tid=19521] ppid=19504 vsize=10559460 CPUtime=0.67 cores=0,2,4,6
/proc/19506/task/19521/stat : 19521 (java) S 19504 19506 16958 0 -1 4202560 5198 0 0 0 67 0 0 0 15 0 19 0 877442289 10812887040 933205 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101514137 0 4 0 16800975 18446604453984839616 0 0 -1 4 0 0 0
[pid=19506/tid=19522] ppid=19504 vsize=10559460 CPUtime=0.71 cores=0,2,4,6
/proc/19506/task/19522/stat : 19522 (java) S 19504 19506 16958 0 -1 4202560 6488 0 0 0 70 1 0 0 16 0 19 0 877442289 10812887040 933205 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101514137 0 4 0 16800975 18446604453984839616 0 0 -1 0 0 0 0
[pid=19506/tid=19523] ppid=19504 vsize=10559460 CPUtime=0 cores=0,2,4,6
/proc/19506/task/19523/stat : 19523 (java) S 19504 19506 16958 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877442289 10812887040 933205 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101514137 0 4 0 16800975 18446604453984839616 0 0 -1 2 0 0 0
[pid=19506/tid=19524] ppid=19504 vsize=10559460 CPUtime=0 cores=0,2,4,6
/proc/19506/task/19524/stat : 19524 (java) S 19504 19506 16958 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 877442289 10812887040 933205 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101514752 0 4 0 16800975 18446604453984839616 0 0 -1 4 0 0 0
[pid=19506/tid=19525] ppid=19504 vsize=10559460 CPUtime=0 cores=0,2,4,6
/proc/19506/task/19525/stat : 19525 (java) S 19504 19506 16958 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877442772 10812887040 933205 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101514752 0 4 0 16800975 18446604453984839616 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1788.38
Current children cumulated vsize (KiB) 10559460
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1794 s]
/proc/loadavg: 2.00 2.00 2.06 2/194 19576
/proc/meminfo: memFree=28479372/32950928 swapFree=67055156/67111528
[pid=19506] ppid=19504 vsize=10559460 CPUtime=1800.1 cores=0,2,4,6
/proc/19506/stat : 19506 (java) S 19504 19506 16958 0 -1 4202496 940303 0 1 0 179895 115 0 0 25 0 19 0 877442283 10812887040 933205 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/19506/statm: 2639865 933205 2240 9 0 2630599 0
[pid=19506/tid=19507] ppid=19504 vsize=10559460 CPUtime=1792.12 cores=0,2,4,6
/proc/19506/task/19507/stat : 19507 (java) R 19504 19506 16958 0 -1 4202560 713283 0 1 0 179135 77 0 0 25 0 19 0 877442284 10812887040 933205 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 46912506115910 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=19506/tid=19509] ppid=19504 vsize=10559460 CPUtime=0.78 cores=0,2,4,6
/proc/19506/task/19509/stat : 19509 (java) S 19504 19506 16958 0 -1 4202560 32240 0 0 0 73 5 0 0 16 0 19 0 877442285 10812887040 933205 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101514137 0 4 0 16800975 18446604453984839616 0 0 -1 6 0 0 0
[pid=19506/tid=19510] ppid=19504 vsize=10559460 CPUtime=0.81 cores=0,2,4,6
/proc/19506/task/19510/stat : 19510 (java) S 19504 19506 16958 0 -1 4202560 22102 0 0 0 78 3 0 0 15 0 19 0 877442285 10812887040 933205 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101514137 0 4 0 16800975 18446604453984839616 0 0 -1 6 0 0 0
[pid=19506/tid=19511] ppid=19504 vsize=10559460 CPUtime=0.44 cores=0,2,4,6
/proc/19506/task/19511/stat : 19511 (java) S 19504 19506 16958 0 -1 4202560 14780 0 0 0 42 2 0 0 16 0 19 0 877442285 10812887040 933205 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101514137 0 4 0 16800975 18446604453984839616 0 0 -1 4 0 0 0
[pid=19506/tid=19512] ppid=19504 vsize=10559460 CPUtime=0.78 cores=0,2,4,6
/proc/19506/task/19512/stat : 19512 (java) S 19504 19506 16958 0 -1 4202560 23005 0 0 0 75 3 0 0 15 0 19 0 877442285 10812887040 933205 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101514137 0 4 0 16800975 18446604453984839616 0 0 -1 6 0 0 0
[pid=19506/tid=19513] ppid=19504 vsize=10559460 CPUtime=0.83 cores=0,2,4,6
/proc/19506/task/19513/stat : 19513 (java) S 19504 19506 16958 0 -1 4202560 31033 0 0 0 79 4 0 0 15 0 19 0 877442285 10812887040 933205 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101514137 0 4 0 16800975 18446604453984839616 0 0 -1 2 0 0 0
[pid=19506/tid=19514] ppid=19504 vsize=10559460 CPUtime=0.97 cores=0,2,4,6
/proc/19506/task/19514/stat : 19514 (java) S 19504 19506 16958 0 -1 4202560 37712 0 0 0 92 5 0 0 15 0 19 0 877442285 10812887040 933205 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101514137 0 4 0 16800975 18446604453984839616 0 0 -1 6 0 0 0
[pid=19506/tid=19515] ppid=19504 vsize=10559460 CPUtime=0.89 cores=0,2,4,6
/proc/19506/task/19515/stat : 19515 (java) S 19504 19506 16958 0 -1 4202560 15911 0 0 0 87 2 0 0 16 0 19 0 877442285 10812887040 933205 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101514137 0 4 0 16800975 18446604453984839616 0 0 -1 0 0 0 0
[pid=19506/tid=19516] ppid=19504 vsize=10559460 CPUtime=0.94 cores=0,2,4,6
/proc/19506/task/19516/stat : 19516 (java) S 19504 19506 16958 0 -1 4202560 37193 0 0 0 88 6 0 0 15 0 19 0 877442285 10812887040 933205 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101514137 0 4 0 16800975 18446604453984839616 0 0 -1 4 0 0 0
[pid=19506/tid=19517] ppid=19504 vsize=10559460 CPUtime=0.06 cores=0,2,4,6
/proc/19506/task/19517/stat : 19517 (java) S 19504 19506 16958 0 -1 4202560 102 0 0 0 4 2 0 0 15 0 19 0 877442286 10812887040 933205 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101514752 0 0 0 16800975 18446604453984839616 0 0 -1 4 0 0 0
[pid=19506/tid=19518] ppid=19504 vsize=10559460 CPUtime=0 cores=0,2,4,6
/proc/19506/task/19518/stat : 19518 (java) S 19504 19506 16958 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 877442287 10812887040 933205 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101514137 0 4 0 16800975 18446604453984839616 0 0 -1 2 0 0 0
[pid=19506/tid=19519] ppid=19504 vsize=10559460 CPUtime=0 cores=0,2,4,6
/proc/19506/task/19519/stat : 19519 (java) S 19504 19506 16958 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 877442287 10812887040 933205 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101514137 0 4 0 16800975 18446604453984839616 0 0 -1 2 0 0 0
[pid=19506/tid=19520] ppid=19504 vsize=10559460 CPUtime=0 cores=0,2,4,6
/proc/19506/task/19520/stat : 19520 (java) S 19504 19506 16958 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877442289 10812887040 933205 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101521841 0 4 0 16800975 18446604453984839616 0 0 -1 2 0 0 0
[pid=19506/tid=19521] ppid=19504 vsize=10559460 CPUtime=0.67 cores=0,2,4,6
/proc/19506/task/19521/stat : 19521 (java) S 19504 19506 16958 0 -1 4202560 5198 0 0 0 67 0 0 0 15 0 19 0 877442289 10812887040 933205 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101514137 0 4 0 16800975 18446604453984839616 0 0 -1 4 0 0 0
[pid=19506/tid=19522] ppid=19504 vsize=10559460 CPUtime=0.71 cores=0,2,4,6
/proc/19506/task/19522/stat : 19522 (java) S 19504 19506 16958 0 -1 4202560 6488 0 0 0 70 1 0 0 16 0 19 0 877442289 10812887040 933205 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101514137 0 4 0 16800975 18446604453984839616 0 0 -1 0 0 0 0
[pid=19506/tid=19523] ppid=19504 vsize=10559460 CPUtime=0 cores=0,2,4,6
/proc/19506/task/19523/stat : 19523 (java) S 19504 19506 16958 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877442289 10812887040 933205 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101514137 0 4 0 16800975 18446604453984839616 0 0 -1 2 0 0 0
[pid=19506/tid=19524] ppid=19504 vsize=10559460 CPUtime=0 cores=0,2,4,6
/proc/19506/task/19524/stat : 19524 (java) S 19504 19506 16958 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 877442289 10812887040 933205 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101514752 0 4 0 16800975 18446604453984839616 0 0 -1 4 0 0 0
[pid=19506/tid=19525] ppid=19504 vsize=10559460 CPUtime=0 cores=0,2,4,6
/proc/19506/task/19525/stat : 19525 (java) S 19504 19506 16958 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877442772 10812887040 933205 33554432000 1073741824 1073778376 140735849671488 18446744073709551615 248101514752 0 4 0 16800975 18446604453984839616 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 10559460
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1794.12 s]
/proc/loadavg: 2.00 2.00 2.06 2/194 19576
/proc/meminfo: memFree=28479372/32950928 swapFree=67055156/67111528
[pid=19506] ppid=19504 vsize=0 CPUtime=1800.2 cores=0,2,4,6
/proc/19506/stat : 19506 (java) Z 19504 19506 16958 0 -1 4203548 940331 0 1 0 179896 124 0 0 17 0 2 0 877442283 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/19506/statm: 0 0 0 0 0 0 0
[pid=19506/tid=19507] ppid=19504 vsize=0 CPUtime=1792.21 cores=0,2,4,6
/proc/19506/task/19507/stat : 19507 (java) R 19504 19506 16958 0 -1 4203588 713283 0 1 0 179135 86 0 0 25 0 2 0 877442284 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1794.18
CPU time (s): 1800.27
CPU user time (s): 1798.96
CPU system time (s): 1.3058
CPU usage (%): 100.339
Max. virtual memory (cumulated for all children) (KiB): 10559460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.96
system time used= 1.3058
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 940331
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= 44905
involuntary context switches= 14242
runsolver used 3.24051 second user time and 6.556 second system time
The end