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-3456680-1307218147/watcher-3456680-1307218147 -o /tmp/evaluation-result-3456680-1307218147/solver-3456680-1307218147 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456680-1307218147.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 1.81 2/473 1289
/proc/meminfo: memFree=20704532/32951124 swapFree=60476376/67111528
[pid=1289] ppid=1287 vsize=256 CPUtime=0 cores=1,3,5,7
/proc/1289/stat : 1289 (java) R 1287 1289 633 0 -1 4194304 269 0 0 0 0 0 0 0 25 0 1 0 814230589 262144 33 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220811312775 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1289/statm: 64 33 24 9 0 23 0
[pid=1289/tid=1290] ppid=1287 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/1289/task/1290/stat : 1290 (java) R 1287 1289 633 0 -1 4202560 3435 0 1 0 0 0 0 0 25 0 2 0 814230590 10694979584 4251 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220815930427 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.0883631 s]
/proc/loadavg: 2.00 2.00 1.81 2/473 1289
/proc/meminfo: memFree=20704532/32951124 swapFree=60476376/67111528
[pid=1289] ppid=1287 vsize=10539508 CPUtime=0.07 cores=1,3,5,7
/proc/1289/stat : 1289 (java) S 1287 1289 633 0 -1 4202496 12645 0 1 0 6 1 0 0 25 0 18 0 814230589 10792456192 12301 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/1289/statm: 2634877 12301 2017 9 0 2625611 0
[pid=1289/tid=1290] ppid=1287 vsize=10539508 CPUtime=0.07 cores=1,3,5,7
/proc/1289/task/1290/stat : 1290 (java) R 1287 1289 633 0 -1 4202560 10931 0 1 0 6 1 0 0 25 0 18 0 814230590 10792456192 12303 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220816232453 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 10539508
[startup+0.100936 s]
/proc/loadavg: 2.00 2.00 1.81 2/473 1289
/proc/meminfo: memFree=20704532/32951124 swapFree=60476376/67111528
[pid=1289] ppid=1287 vsize=10539948 CPUtime=0.1 cores=1,3,5,7
/proc/1289/stat : 1289 (java) S 1287 1289 633 0 -1 4202496 13059 0 1 0 9 1 0 0 25 0 18 0 814230589 10792906752 12715 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/1289/statm: 2634987 12715 2092 9 0 2625721 0
[pid=1289/tid=1290] ppid=1287 vsize=10539948 CPUtime=0.08 cores=1,3,5,7
/proc/1289/task/1290/stat : 1290 (java) R 1287 1289 633 0 -1 4202560 11087 0 1 0 7 1 0 0 25 0 18 0 814230590 10792906752 12715 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 46912496211702 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539948
[startup+0.300866 s]
/proc/loadavg: 2.00 2.00 1.81 2/473 1289
/proc/meminfo: memFree=20704532/32951124 swapFree=60476376/67111528
[pid=1289] ppid=1287 vsize=10543036 CPUtime=0.5 cores=1,3,5,7
/proc/1289/stat : 1289 (java) S 1287 1289 633 0 -1 4202496 16583 0 1 0 49 1 0 0 25 0 19 0 814230589 10796068864 15575 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/1289/statm: 2635759 15575 2207 9 0 2626493 0
[pid=1289/tid=1290] ppid=1287 vsize=10543036 CPUtime=0.28 cores=1,3,5,7
/proc/1289/task/1290/stat : 1290 (java) R 1287 1289 633 0 -1 4202560 12528 0 1 0 27 1 0 0 25 0 19 0 814230590 10796068864 15575 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 46912505182944 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 10543036
[startup+0.700795 s]
/proc/loadavg: 2.00 2.00 1.81 2/473 1289
/proc/meminfo: memFree=20704532/32951124 swapFree=60476376/67111528
[pid=1289] ppid=1287 vsize=10553908 CPUtime=1.53 cores=1,3,5,7
/proc/1289/stat : 1289 (java) S 1287 1289 633 0 -1 4202496 46334 0 1 0 149 4 0 0 25 0 19 0 814230589 10807201792 43357 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/1289/statm: 2638477 43358 2219 9 0 2629211 0
[pid=1289/tid=1290] ppid=1287 vsize=10553908 CPUtime=0.68 cores=1,3,5,7
/proc/1289/task/1290/stat : 1290 (java) R 1287 1289 633 0 -1 4202560 35739 0 1 0 65 3 0 0 25 0 19 0 814230590 10807201792 43359 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 46912505628769 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.53
Current children cumulated vsize (KiB) 10553908
[startup+1.50068 s]
/proc/loadavg: 2.00 2.00 1.81 3/492 1308
/proc/meminfo: memFree=20441200/32951124 swapFree=60476376/67111528
[pid=1289] ppid=1287 vsize=10553908 CPUtime=2.41 cores=1,3,5,7
/proc/1289/stat : 1289 (java) S 1287 1289 633 0 -1 4202496 111784 0 1 0 229 12 0 0 25 0 19 0 814230589 10807201792 108805 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/1289/statm: 2638477 108806 2221 9 0 2629211 0
[pid=1289/tid=1290] ppid=1287 vsize=10553908 CPUtime=1.47 cores=1,3,5,7
/proc/1289/task/1290/stat : 1290 (java) R 1287 1289 633 0 -1 4202560 101176 0 1 0 137 10 0 0 25 0 19 0 814230590 10807201792 108810 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 46912505635081 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=1289/tid=1292] ppid=1287 vsize=10553908 CPUtime=0 cores=1,3,5,7
/proc/1289/task/1292/stat : 1292 (java) S 1287 1289 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814230592 10807201792 108814 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 7 0 0 0
[pid=1289/tid=1293] ppid=1287 vsize=10553908 CPUtime=0 cores=1,3,5,7
/proc/1289/task/1293/stat : 1293 (java) S 1287 1289 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814230592 10807201792 108815 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 7 0 0 0
[pid=1289/tid=1294] ppid=1287 vsize=10553908 CPUtime=0 cores=1,3,5,7
/proc/1289/task/1294/stat : 1294 (java) S 1287 1289 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814230592 10807201792 108819 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 7 0 0 0
[pid=1289/tid=1295] ppid=1287 vsize=10553908 CPUtime=0 cores=1,3,5,7
/proc/1289/task/1295/stat : 1295 (java) S 1287 1289 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814230592 10807201792 108821 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 7 0 0 0
[pid=1289/tid=1296] ppid=1287 vsize=10553908 CPUtime=0 cores=1,3,5,7
/proc/1289/task/1296/stat : 1296 (java) S 1287 1289 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814230592 10807201792 108824 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 3 0 0 0
[pid=1289/tid=1297] ppid=1287 vsize=10553908 CPUtime=0 cores=1,3,5,7
/proc/1289/task/1297/stat : 1297 (java) S 1287 1289 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814230592 10807201792 108827 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 3 0 0 0
[pid=1289/tid=1298] ppid=1287 vsize=10553908 CPUtime=0 cores=1,3,5,7
/proc/1289/task/1298/stat : 1298 (java) S 1287 1289 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814230592 10807201792 108830 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 7 0 0 0
[pid=1289/tid=1299] ppid=1287 vsize=10553908 CPUtime=0 cores=1,3,5,7
/proc/1289/task/1299/stat : 1299 (java) S 1287 1289 633 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 814230592 10807201792 108834 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 7 0 0 0
[pid=1289/tid=1300] ppid=1287 vsize=10553908 CPUtime=0 cores=1,3,5,7
/proc/1289/task/1300/stat : 1300 (java) S 1287 1289 633 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 814230593 10807201792 108838 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220828052992 0 0 0 16800975 18446604461251810496 0 0 -1 1 0 0 0
[pid=1289/tid=1301] ppid=1287 vsize=10553908 CPUtime=0 cores=1,3,5,7
/proc/1289/task/1301/stat : 1301 (java) S 1287 1289 633 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 814230593 10807201792 108842 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 1 0 0 0
[pid=1289/tid=1302] ppid=1287 vsize=10553908 CPUtime=0 cores=1,3,5,7
/proc/1289/task/1302/stat : 1302 (java) S 1287 1289 633 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 814230593 10807201792 108845 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 7 0 0 0
[pid=1289/tid=1303] ppid=1287 vsize=10553908 CPUtime=0 cores=1,3,5,7
/proc/1289/task/1303/stat : 1303 (java) S 1287 1289 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814230595 10807201792 108848 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220828060081 0 4 0 16800975 18446604461251810496 0 0 -1 1 0 0 0
[pid=1289/tid=1304] ppid=1287 vsize=10553908 CPUtime=0.55 cores=1,3,5,7
/proc/1289/task/1304/stat : 1304 (java) S 1287 1289 633 0 -1 4202560 5189 0 0 0 55 0 0 0 20 0 19 0 814230595 10807201792 108851 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 7 0 0 0
[pid=1289/tid=1305] ppid=1287 vsize=10553908 CPUtime=0.36 cores=1,3,5,7
/proc/1289/task/1305/stat : 1305 (java) S 1287 1289 633 0 -1 4202560 4263 0 0 0 36 0 0 0 15 0 19 0 814230595 10807201792 108854 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 3 0 0 0
[pid=1289/tid=1306] ppid=1287 vsize=10553908 CPUtime=0 cores=1,3,5,7
/proc/1289/task/1306/stat : 1306 (java) S 1287 1289 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814230595 10807201792 108857 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 1 0 0 0
[pid=1289/tid=1307] ppid=1287 vsize=10553908 CPUtime=0 cores=1,3,5,7
/proc/1289/task/1307/stat : 1307 (java) S 1287 1289 633 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 814230595 10807201792 108861 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220828052992 0 4 0 16800975 18446604461251810496 0 0 -1 7 0 0 0
[pid=1289/tid=1308] ppid=1287 vsize=10553908 CPUtime=0 cores=1,3,5,7
/proc/1289/task/1308/stat : 1308 (java) S 1287 1289 633 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814230612 10807201792 108865 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220828052992 0 4 0 16800975 18446604461251810496 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.41
Current children cumulated vsize (KiB) 10553908
[startup+3.10743 s]
/proc/loadavg: 2.00 2.00 1.81 3/492 1308
/proc/meminfo: memFree=20091168/32951124 swapFree=60476376/67111528
[pid=1289] ppid=1287 vsize=10553908 CPUtime=4.06 cores=1,3,5,7
/proc/1289/stat : 1289 (java) S 1287 1289 633 0 -1 4202496 232813 0 1 0 381 25 0 0 25 0 19 0 814230589 10807201792 229833 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/1289/statm: 2638477 229833 2224 9 0 2629211 0
[pid=1289/tid=1290] ppid=1287 vsize=10553908 CPUtime=3.09 cores=1,3,5,7
/proc/1289/task/1290/stat : 1290 (java) R 1287 1289 633 0 -1 4202560 222194 0 1 0 285 24 0 0 25 0 19 0 814230590 10807201792 229833 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 46912505620788 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=1289/tid=1292] ppid=1287 vsize=10553908 CPUtime=0 cores=1,3,5,7
/proc/1289/task/1292/stat : 1292 (java) S 1287 1289 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814230592 10807201792 229833 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 7 0 0 0
[pid=1289/tid=1293] ppid=1287 vsize=10553908 CPUtime=0 cores=1,3,5,7
/proc/1289/task/1293/stat : 1293 (java) S 1287 1289 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814230592 10807201792 229834 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 7 0 0 0
[pid=1289/tid=1294] ppid=1287 vsize=10553908 CPUtime=0 cores=1,3,5,7
/proc/1289/task/1294/stat : 1294 (java) S 1287 1289 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814230592 10807201792 229834 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 7 0 0 0
[pid=1289/tid=1295] ppid=1287 vsize=10553908 CPUtime=0 cores=1,3,5,7
/proc/1289/task/1295/stat : 1295 (java) S 1287 1289 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814230592 10807201792 229834 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 7 0 0 0
[pid=1289/tid=1296] ppid=1287 vsize=10553908 CPUtime=0 cores=1,3,5,7
/proc/1289/task/1296/stat : 1296 (java) S 1287 1289 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814230592 10807201792 229834 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 3 0 0 0
[pid=1289/tid=1297] ppid=1287 vsize=10553908 CPUtime=0 cores=1,3,5,7
/proc/1289/task/1297/stat : 1297 (java) S 1287 1289 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814230592 10807201792 229834 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 3 0 0 0
[pid=1289/tid=1298] ppid=1287 vsize=10553908 CPUtime=0 cores=1,3,5,7
/proc/1289/task/1298/stat : 1298 (java) S 1287 1289 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814230592 10807201792 229834 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 7 0 0 0
[pid=1289/tid=1299] ppid=1287 vsize=10553908 CPUtime=0 cores=1,3,5,7
/proc/1289/task/1299/stat : 1299 (java) S 1287 1289 633 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 814230592 10807201792 229834 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 7 0 0 0
[pid=1289/tid=1300] ppid=1287 vsize=10553908 CPUtime=0 cores=1,3,5,7
/proc/1289/task/1300/stat : 1300 (java) S 1287 1289 633 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 814230593 10807201792 229834 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220828052992 0 0 0 16800975 18446604461251810496 0 0 -1 1 0 0 0
[pid=1289/tid=1301] ppid=1287 vsize=10553908 CPUtime=0 cores=1,3,5,7
/proc/1289/task/1301/stat : 1301 (java) S 1287 1289 633 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 814230593 10807201792 229834 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 1 0 0 0
[pid=1289/tid=1302] ppid=1287 vsize=10553908 CPUtime=0 cores=1,3,5,7
/proc/1289/task/1302/stat : 1302 (java) S 1287 1289 633 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 814230593 10807201792 229834 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 7 0 0 0
[pid=1289/tid=1303] ppid=1287 vsize=10553908 CPUtime=0 cores=1,3,5,7
/proc/1289/task/1303/stat : 1303 (java) S 1287 1289 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814230595 10807201792 229834 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220828060081 0 4 0 16800975 18446604461251810496 0 0 -1 1 0 0 0
[pid=1289/tid=1304] ppid=1287 vsize=10553908 CPUtime=0.58 cores=1,3,5,7
/proc/1289/task/1304/stat : 1304 (java) R 1287 1289 633 0 -1 4202560 5193 0 0 0 58 0 0 0 15 0 19 0 814230595 10807201792 229834 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220815929040 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=1289/tid=1305] ppid=1287 vsize=10553908 CPUtime=0.37 cores=1,3,5,7
/proc/1289/task/1305/stat : 1305 (java) S 1287 1289 633 0 -1 4202560 4265 0 0 0 37 0 0 0 15 0 19 0 814230595 10807201792 229834 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 3 0 0 0
[pid=1289/tid=1306] ppid=1287 vsize=10553908 CPUtime=0 cores=1,3,5,7
/proc/1289/task/1306/stat : 1306 (java) S 1287 1289 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814230595 10807201792 229834 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 1 0 0 0
[pid=1289/tid=1307] ppid=1287 vsize=10553908 CPUtime=0 cores=1,3,5,7
/proc/1289/task/1307/stat : 1307 (java) S 1287 1289 633 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 814230595 10807201792 229835 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220828052992 0 4 0 16800975 18446604461251810496 0 0 -1 7 0 0 0
[pid=1289/tid=1308] ppid=1287 vsize=10553908 CPUtime=0 cores=1,3,5,7
/proc/1289/task/1308/stat : 1308 (java) S 1287 1289 633 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814230612 10807201792 229835 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220828052992 0 4 0 16800975 18446604461251810496 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.06
Current children cumulated vsize (KiB) 10553908
[startup+6.3008 s]
/proc/loadavg: 2.00 2.00 1.81 3/492 1308
/proc/meminfo: memFree=19048788/32951124 swapFree=60476376/67111528
[pid=1289] ppid=1287 vsize=10551284 CPUtime=7.52 cores=1,3,5,7
/proc/1289/stat : 1289 (java) S 1287 1289 633 0 -1 4202496 487233 0 1 0 698 54 0 0 25 0 19 0 814230589 10804514816 483624 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/1289/statm: 2637821 483626 2227 9 0 2628555 0
[pid=1289/tid=1290] ppid=1287 vsize=10551284 CPUtime=6.28 cores=1,3,5,7
/proc/1289/task/1290/stat : 1290 (java) R 1287 1289 633 0 -1 4202560 476542 0 1 0 575 53 0 0 25 0 19 0 814230590 10804514816 483626 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 46912505366039 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=1289/tid=1292] ppid=1287 vsize=10551284 CPUtime=0 cores=1,3,5,7
/proc/1289/task/1292/stat : 1292 (java) S 1287 1289 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814230592 10804514816 483627 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 7 0 0 0
[pid=1289/tid=1293] ppid=1287 vsize=10551284 CPUtime=0 cores=1,3,5,7
/proc/1289/task/1293/stat : 1293 (java) S 1287 1289 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814230592 10804514816 483628 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 7 0 0 0
[pid=1289/tid=1294] ppid=1287 vsize=10551284 CPUtime=0 cores=1,3,5,7
/proc/1289/task/1294/stat : 1294 (java) S 1287 1289 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814230592 10804514816 483628 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 7 0 0 0
[pid=1289/tid=1295] ppid=1287 vsize=10551284 CPUtime=0 cores=1,3,5,7
/proc/1289/task/1295/stat : 1295 (java) S 1287 1289 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814230592 10804514816 483629 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 7 0 0 0
[pid=1289/tid=1296] ppid=1287 vsize=10551284 CPUtime=0 cores=1,3,5,7
/proc/1289/task/1296/stat : 1296 (java) S 1287 1289 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814230592 10804514816 483630 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 3 0 0 0
[pid=1289/tid=1297] ppid=1287 vsize=10551284 CPUtime=0 cores=1,3,5,7
/proc/1289/task/1297/stat : 1297 (java) S 1287 1289 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814230592 10804514816 483630 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 3 0 0 0
[pid=1289/tid=1298] ppid=1287 vsize=10551284 CPUtime=0 cores=1,3,5,7
/proc/1289/task/1298/stat : 1298 (java) S 1287 1289 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814230592 10804514816 483631 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 7 0 0 0
[pid=1289/tid=1299] ppid=1287 vsize=10551284 CPUtime=0 cores=1,3,5,7
/proc/1289/task/1299/stat : 1299 (java) S 1287 1289 633 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 814230592 10804514816 483632 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 7 0 0 0
[pid=1289/tid=1300] ppid=1287 vsize=10551284 CPUtime=0 cores=1,3,5,7
/proc/1289/task/1300/stat : 1300 (java) S 1287 1289 633 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 814230593 10804514816 483633 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220828052992 0 0 0 16800975 18446604461251810496 0 0 -1 1 0 0 0
[pid=1289/tid=1301] ppid=1287 vsize=10551284 CPUtime=0 cores=1,3,5,7
/proc/1289/task/1301/stat : 1301 (java) S 1287 1289 633 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 814230593 10804514816 483633 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 1 0 0 0
[pid=1289/tid=1302] ppid=1287 vsize=10551284 CPUtime=0 cores=1,3,5,7
/proc/1289/task/1302/stat : 1302 (java) S 1287 1289 633 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 814230593 10804514816 483634 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 7 0 0 0
[pid=1289/tid=1303] ppid=1287 vsize=10551284 CPUtime=0 cores=1,3,5,7
/proc/1289/task/1303/stat : 1303 (java) S 1287 1289 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814230595 10804514816 483634 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220828060081 0 4 0 16800975 18446604461251810496 0 0 -1 1 0 0 0
[pid=1289/tid=1304] ppid=1287 vsize=10551284 CPUtime=0.78 cores=1,3,5,7
/proc/1289/task/1304/stat : 1304 (java) S 1287 1289 633 0 -1 4202560 5256 0 0 0 78 0 0 0 15 0 19 0 814230595 10804514816 483635 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 5 0 0 0
[pid=1289/tid=1305] ppid=1287 vsize=10551284 CPUtime=0.44 cores=1,3,5,7
/proc/1289/task/1305/stat : 1305 (java) S 1287 1289 633 0 -1 4202560 4275 0 0 0 44 0 0 0 15 0 19 0 814230595 10804514816 483635 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 3 0 0 0
################
# More data... #
################
[pid=1289/tid=1306] ppid=1287 vsize=10553368 CPUtime=0 cores=1,3,5,7
/proc/1289/task/1306/stat : 1306 (java) S 1287 1289 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814230595 10806648832 1146282 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 1 0 0 0
[pid=1289/tid=1307] ppid=1287 vsize=10553368 CPUtime=0 cores=1,3,5,7
/proc/1289/task/1307/stat : 1307 (java) S 1287 1289 633 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 814230595 10806648832 1146282 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220828052992 0 4 0 16800975 18446604461251810496 0 0 -1 1 0 0 0
[pid=1289/tid=1308] ppid=1287 vsize=10553368 CPUtime=0 cores=1,3,5,7
/proc/1289/task/1308/stat : 1308 (java) S 1287 1289 633 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814230612 10806648832 1146282 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220828052992 0 4 0 16800975 18446604461251810496 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1671.83
Current children cumulated vsize (KiB) 10553368
[startup+1722.3 s]
/proc/loadavg: 2.02 2.08 2.00 3/492 1451
/proc/meminfo: memFree=16174932/32951124 swapFree=60476376/67111528
[pid=1289] ppid=1287 vsize=10553368 CPUtime=1732.28 cores=1,3,5,7
/proc/1289/stat : 1289 (java) S 1287 1289 633 0 -1 4202496 1165769 0 1 0 173087 141 0 0 25 0 19 0 814230589 10806648832 1151059 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/1289/statm: 2638342 1151059 2256 9 0 2629076 0
[pid=1289/tid=1290] ppid=1287 vsize=10553368 CPUtime=1717.01 cores=1,3,5,7
/proc/1289/task/1290/stat : 1290 (java) R 1287 1289 633 0 -1 4202560 781595 0 1 0 171614 87 0 0 25 0 19 0 814230590 10806648832 1151059 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 46912505585719 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=1289/tid=1292] ppid=1287 vsize=10553368 CPUtime=1.34 cores=1,3,5,7
/proc/1289/task/1292/stat : 1292 (java) S 1287 1289 633 0 -1 4202560 41556 0 0 0 129 5 0 0 15 0 19 0 814230592 10806648832 1151059 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 1 0 0 0
[pid=1289/tid=1293] ppid=1287 vsize=10553368 CPUtime=1.46 cores=1,3,5,7
/proc/1289/task/1293/stat : 1293 (java) S 1287 1289 633 0 -1 4202560 51146 0 0 0 138 8 0 0 15 0 19 0 814230592 10806648832 1151059 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 5 0 0 0
[pid=1289/tid=1294] ppid=1287 vsize=10553368 CPUtime=1.31 cores=1,3,5,7
/proc/1289/task/1294/stat : 1294 (java) S 1287 1289 633 0 -1 4202560 38623 0 0 0 126 5 0 0 16 0 19 0 814230592 10806648832 1151059 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 5 0 0 0
[pid=1289/tid=1295] ppid=1287 vsize=10553368 CPUtime=1.56 cores=1,3,5,7
/proc/1289/task/1295/stat : 1295 (java) S 1287 1289 633 0 -1 4202560 56195 0 0 0 149 7 0 0 16 0 19 0 814230592 10806648832 1151059 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 7 0 0 0
[pid=1289/tid=1296] ppid=1287 vsize=10553368 CPUtime=1.72 cores=1,3,5,7
/proc/1289/task/1296/stat : 1296 (java) S 1287 1289 633 0 -1 4202560 42411 0 0 0 167 5 0 0 16 0 19 0 814230592 10806648832 1151059 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 3 0 0 0
[pid=1289/tid=1297] ppid=1287 vsize=10553368 CPUtime=1.54 cores=1,3,5,7
/proc/1289/task/1297/stat : 1297 (java) S 1287 1289 633 0 -1 4202560 55403 0 0 0 147 7 0 0 16 0 19 0 814230592 10806648832 1151059 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 1 0 0 0
[pid=1289/tid=1298] ppid=1287 vsize=10553368 CPUtime=1.16 cores=1,3,5,7
/proc/1289/task/1298/stat : 1298 (java) S 1287 1289 633 0 -1 4202560 40037 0 0 0 111 5 0 0 16 0 19 0 814230592 10806648832 1151059 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 1 0 0 0
[pid=1289/tid=1299] ppid=1287 vsize=10553368 CPUtime=1.36 cores=1,3,5,7
/proc/1289/task/1299/stat : 1299 (java) S 1287 1289 633 0 -1 4202560 43831 0 0 0 132 4 0 0 15 0 19 0 814230592 10806648832 1151059 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 7 0 0 0
[pid=1289/tid=1300] ppid=1287 vsize=10553368 CPUtime=2.01 cores=1,3,5,7
/proc/1289/task/1300/stat : 1300 (java) S 1287 1289 633 0 -1 4202560 3865 0 0 0 200 1 0 0 15 0 19 0 814230593 10806648832 1151059 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220828052992 0 0 0 16800975 18446604461251810496 0 0 -1 3 0 0 0
[pid=1289/tid=1301] ppid=1287 vsize=10553368 CPUtime=0 cores=1,3,5,7
/proc/1289/task/1301/stat : 1301 (java) S 1287 1289 633 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 814230593 10806648832 1151059 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 1 0 0 0
[pid=1289/tid=1302] ppid=1287 vsize=10553368 CPUtime=0 cores=1,3,5,7
/proc/1289/task/1302/stat : 1302 (java) S 1287 1289 633 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 814230593 10806648832 1151059 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 7 0 0 0
[pid=1289/tid=1303] ppid=1287 vsize=10553368 CPUtime=0 cores=1,3,5,7
/proc/1289/task/1303/stat : 1303 (java) S 1287 1289 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814230595 10806648832 1151059 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220828060081 0 4 0 16800975 18446604461251810496 0 0 -1 1 0 0 0
[pid=1289/tid=1304] ppid=1287 vsize=10553368 CPUtime=1.22 cores=1,3,5,7
/proc/1289/task/1304/stat : 1304 (java) S 1287 1289 633 0 -1 4202560 5575 0 0 0 122 0 0 0 15 0 19 0 814230595 10806648832 1151059 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 5 0 0 0
[pid=1289/tid=1305] ppid=1287 vsize=10553368 CPUtime=0.48 cores=1,3,5,7
/proc/1289/task/1305/stat : 1305 (java) S 1287 1289 633 0 -1 4202560 4280 0 0 0 48 0 0 0 15 0 19 0 814230595 10806648832 1151059 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 3 0 0 0
[pid=1289/tid=1306] ppid=1287 vsize=10553368 CPUtime=0 cores=1,3,5,7
/proc/1289/task/1306/stat : 1306 (java) S 1287 1289 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814230595 10806648832 1151059 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 1 0 0 0
[pid=1289/tid=1307] ppid=1287 vsize=10553368 CPUtime=0 cores=1,3,5,7
/proc/1289/task/1307/stat : 1307 (java) S 1287 1289 633 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 814230595 10806648832 1151059 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220828052992 0 4 0 16800975 18446604461251810496 0 0 -1 1 0 0 0
[pid=1289/tid=1308] ppid=1287 vsize=10553368 CPUtime=0 cores=1,3,5,7
/proc/1289/task/1308/stat : 1308 (java) S 1287 1289 633 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814230612 10806648832 1151059 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220828052992 0 4 0 16800975 18446604461251810496 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1732.28
Current children cumulated vsize (KiB) 10553368
[startup+1782.3 s]
/proc/loadavg: 2.01 2.06 2.00 3/492 1452
/proc/meminfo: memFree=16121328/32951124 swapFree=60476376/67111528
[pid=1289] ppid=1287 vsize=10553368 CPUtime=1792.58 cores=1,3,5,7
/proc/1289/stat : 1289 (java) S 1287 1289 633 0 -1 4202496 1169156 0 1 0 179117 141 0 0 25 0 19 0 814230589 10806648832 1154362 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/1289/statm: 2638342 1154362 2256 9 0 2629076 0
[pid=1289/tid=1290] ppid=1287 vsize=10553368 CPUtime=1776.84 cores=1,3,5,7
/proc/1289/task/1290/stat : 1290 (java) R 1287 1289 633 0 -1 4202560 781599 0 1 0 177597 87 0 0 25 0 19 0 814230590 10806648832 1154362 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 46912505366048 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=1289/tid=1292] ppid=1287 vsize=10553368 CPUtime=1.45 cores=1,3,5,7
/proc/1289/task/1292/stat : 1292 (java) S 1287 1289 633 0 -1 4202560 42226 0 0 0 139 6 0 0 16 0 19 0 814230592 10806648832 1154362 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 7 0 0 0
[pid=1289/tid=1293] ppid=1287 vsize=10553368 CPUtime=1.5 cores=1,3,5,7
/proc/1289/task/1293/stat : 1293 (java) S 1287 1289 633 0 -1 4202560 51454 0 0 0 142 8 0 0 16 0 19 0 814230592 10806648832 1154362 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 5 0 0 0
[pid=1289/tid=1294] ppid=1287 vsize=10553368 CPUtime=1.34 cores=1,3,5,7
/proc/1289/task/1294/stat : 1294 (java) S 1287 1289 633 0 -1 4202560 38970 0 0 0 129 5 0 0 15 0 19 0 814230592 10806648832 1154362 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 5 0 0 0
[pid=1289/tid=1295] ppid=1287 vsize=10553368 CPUtime=1.6 cores=1,3,5,7
/proc/1289/task/1295/stat : 1295 (java) S 1287 1289 633 0 -1 4202560 56601 0 0 0 153 7 0 0 15 0 19 0 814230592 10806648832 1154362 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 7 0 0 0
[pid=1289/tid=1296] ppid=1287 vsize=10553368 CPUtime=1.75 cores=1,3,5,7
/proc/1289/task/1296/stat : 1296 (java) S 1287 1289 633 0 -1 4202560 42543 0 0 0 170 5 0 0 15 0 19 0 814230592 10806648832 1154362 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 7 0 0 0
[pid=1289/tid=1297] ppid=1287 vsize=10553368 CPUtime=1.54 cores=1,3,5,7
/proc/1289/task/1297/stat : 1297 (java) S 1287 1289 633 0 -1 4202560 55403 0 0 0 147 7 0 0 15 0 19 0 814230592 10806648832 1154362 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 5 0 0 0
[pid=1289/tid=1298] ppid=1287 vsize=10553368 CPUtime=1.26 cores=1,3,5,7
/proc/1289/task/1298/stat : 1298 (java) S 1287 1289 633 0 -1 4202560 40818 0 0 0 121 5 0 0 16 0 19 0 814230592 10806648832 1154362 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 1 0 0 0
[pid=1289/tid=1299] ppid=1287 vsize=10553368 CPUtime=1.47 cores=1,3,5,7
/proc/1289/task/1299/stat : 1299 (java) S 1287 1289 633 0 -1 4202560 44564 0 0 0 142 5 0 0 15 0 19 0 814230592 10806648832 1154362 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 1 0 0 0
[pid=1289/tid=1300] ppid=1287 vsize=10553368 CPUtime=2.01 cores=1,3,5,7
/proc/1289/task/1300/stat : 1300 (java) S 1287 1289 633 0 -1 4202560 3867 0 0 0 200 1 0 0 15 0 19 0 814230593 10806648832 1154362 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220828052992 0 0 0 16800975 18446604461251810496 0 0 -1 3 0 0 0
[pid=1289/tid=1301] ppid=1287 vsize=10553368 CPUtime=0 cores=1,3,5,7
/proc/1289/task/1301/stat : 1301 (java) S 1287 1289 633 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 814230593 10806648832 1154362 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 1 0 0 0
[pid=1289/tid=1302] ppid=1287 vsize=10553368 CPUtime=0 cores=1,3,5,7
/proc/1289/task/1302/stat : 1302 (java) S 1287 1289 633 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 814230593 10806648832 1154362 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 7 0 0 0
[pid=1289/tid=1303] ppid=1287 vsize=10553368 CPUtime=0 cores=1,3,5,7
/proc/1289/task/1303/stat : 1303 (java) S 1287 1289 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814230595 10806648832 1154362 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220828060081 0 4 0 16800975 18446604461251810496 0 0 -1 1 0 0 0
[pid=1289/tid=1304] ppid=1287 vsize=10553368 CPUtime=1.22 cores=1,3,5,7
/proc/1289/task/1304/stat : 1304 (java) S 1287 1289 633 0 -1 4202560 5575 0 0 0 122 0 0 0 15 0 19 0 814230595 10806648832 1154362 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 5 0 0 0
[pid=1289/tid=1305] ppid=1287 vsize=10553368 CPUtime=0.48 cores=1,3,5,7
/proc/1289/task/1305/stat : 1305 (java) S 1287 1289 633 0 -1 4202560 4280 0 0 0 48 0 0 0 15 0 19 0 814230595 10806648832 1154362 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 3 0 0 0
[pid=1289/tid=1306] ppid=1287 vsize=10553368 CPUtime=0 cores=1,3,5,7
/proc/1289/task/1306/stat : 1306 (java) S 1287 1289 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814230595 10806648832 1154362 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 1 0 0 0
[pid=1289/tid=1307] ppid=1287 vsize=10553368 CPUtime=0 cores=1,3,5,7
/proc/1289/task/1307/stat : 1307 (java) S 1287 1289 633 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 814230595 10806648832 1154362 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220828052992 0 4 0 16800975 18446604461251810496 0 0 -1 1 0 0 0
[pid=1289/tid=1308] ppid=1287 vsize=10553368 CPUtime=0 cores=1,3,5,7
/proc/1289/task/1308/stat : 1308 (java) S 1287 1289 633 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814230612 10806648832 1154362 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220828052992 0 4 0 16800975 18446604461251810496 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1792.58
Current children cumulated vsize (KiB) 10553368
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1789.72 s]
/proc/loadavg: 2.00 2.06 2.00 3/492 1452
/proc/meminfo: memFree=16118352/32951124 swapFree=60476376/67111528
[pid=1289] ppid=1287 vsize=10553368 CPUtime=1800.08 cores=1,3,5,7
/proc/1289/stat : 1289 (java) S 1287 1289 633 0 -1 4202496 1170060 0 1 0 179867 141 0 0 25 0 19 0 814230589 10806648832 1155247 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/1289/statm: 2638342 1155247 2256 9 0 2629076 0
[pid=1289/tid=1290] ppid=1287 vsize=10553368 CPUtime=1784.22 cores=1,3,5,7
/proc/1289/task/1290/stat : 1290 (java) R 1287 1289 633 0 -1 4202560 781600 0 1 0 178335 87 0 0 25 0 19 0 814230590 10806648832 1155247 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 46912505600904 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=1289/tid=1292] ppid=1287 vsize=10553368 CPUtime=1.45 cores=1,3,5,7
/proc/1289/task/1292/stat : 1292 (java) S 1287 1289 633 0 -1 4202560 42226 0 0 0 139 6 0 0 15 0 19 0 814230592 10806648832 1155247 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 7 0 0 0
[pid=1289/tid=1293] ppid=1287 vsize=10553368 CPUtime=1.52 cores=1,3,5,7
/proc/1289/task/1293/stat : 1293 (java) S 1287 1289 633 0 -1 4202560 51455 0 0 0 144 8 0 0 16 0 19 0 814230592 10806648832 1155247 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 5 0 0 0
[pid=1289/tid=1294] ppid=1287 vsize=10553368 CPUtime=1.35 cores=1,3,5,7
/proc/1289/task/1294/stat : 1294 (java) S 1287 1289 633 0 -1 4202560 38972 0 0 0 130 5 0 0 16 0 19 0 814230592 10806648832 1155247 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 5 0 0 0
[pid=1289/tid=1295] ppid=1287 vsize=10553368 CPUtime=1.61 cores=1,3,5,7
/proc/1289/task/1295/stat : 1295 (java) S 1287 1289 633 0 -1 4202560 56606 0 0 0 154 7 0 0 16 0 19 0 814230592 10806648832 1155247 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 7 0 0 0
[pid=1289/tid=1296] ppid=1287 vsize=10553368 CPUtime=1.8 cores=1,3,5,7
/proc/1289/task/1296/stat : 1296 (java) S 1287 1289 633 0 -1 4202560 42971 0 0 0 175 5 0 0 16 0 19 0 814230592 10806648832 1155247 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 7 0 0 0
[pid=1289/tid=1297] ppid=1287 vsize=10553368 CPUtime=1.54 cores=1,3,5,7
/proc/1289/task/1297/stat : 1297 (java) S 1287 1289 633 0 -1 4202560 55403 0 0 0 147 7 0 0 15 0 19 0 814230592 10806648832 1155247 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 1 0 0 0
[pid=1289/tid=1298] ppid=1287 vsize=10553368 CPUtime=1.32 cores=1,3,5,7
/proc/1289/task/1298/stat : 1298 (java) S 1287 1289 633 0 -1 4202560 41283 0 0 0 127 5 0 0 16 0 19 0 814230592 10806648832 1155247 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 1 0 0 0
[pid=1289/tid=1299] ppid=1287 vsize=10553368 CPUtime=1.47 cores=1,3,5,7
/proc/1289/task/1299/stat : 1299 (java) S 1287 1289 633 0 -1 4202560 44564 0 0 0 142 5 0 0 15 0 19 0 814230592 10806648832 1155247 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 1 0 0 0
[pid=1289/tid=1300] ppid=1287 vsize=10553368 CPUtime=2.01 cores=1,3,5,7
/proc/1289/task/1300/stat : 1300 (java) S 1287 1289 633 0 -1 4202560 3869 0 0 0 200 1 0 0 15 0 19 0 814230593 10806648832 1155247 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220828052992 0 0 0 16800975 18446604461251810496 0 0 -1 3 0 0 0
[pid=1289/tid=1301] ppid=1287 vsize=10553368 CPUtime=0 cores=1,3,5,7
/proc/1289/task/1301/stat : 1301 (java) S 1287 1289 633 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 814230593 10806648832 1155247 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 1 0 0 0
[pid=1289/tid=1302] ppid=1287 vsize=10553368 CPUtime=0 cores=1,3,5,7
/proc/1289/task/1302/stat : 1302 (java) S 1287 1289 633 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 814230593 10806648832 1155247 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 7 0 0 0
[pid=1289/tid=1303] ppid=1287 vsize=10553368 CPUtime=0 cores=1,3,5,7
/proc/1289/task/1303/stat : 1303 (java) S 1287 1289 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814230595 10806648832 1155247 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220828060081 0 4 0 16800975 18446604461251810496 0 0 -1 1 0 0 0
[pid=1289/tid=1304] ppid=1287 vsize=10553368 CPUtime=1.22 cores=1,3,5,7
/proc/1289/task/1304/stat : 1304 (java) S 1287 1289 633 0 -1 4202560 5575 0 0 0 122 0 0 0 15 0 19 0 814230595 10806648832 1155247 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 5 0 0 0
[pid=1289/tid=1305] ppid=1287 vsize=10553368 CPUtime=0.48 cores=1,3,5,7
/proc/1289/task/1305/stat : 1305 (java) S 1287 1289 633 0 -1 4202560 4280 0 0 0 48 0 0 0 15 0 19 0 814230595 10806648832 1155247 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 3 0 0 0
[pid=1289/tid=1306] ppid=1287 vsize=10553368 CPUtime=0 cores=1,3,5,7
/proc/1289/task/1306/stat : 1306 (java) S 1287 1289 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814230595 10806648832 1155247 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 1 0 0 0
[pid=1289/tid=1307] ppid=1287 vsize=10553368 CPUtime=0 cores=1,3,5,7
/proc/1289/task/1307/stat : 1307 (java) S 1287 1289 633 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 814230595 10806648832 1155247 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220828052992 0 4 0 16800975 18446604461251810496 0 0 -1 1 0 0 0
[pid=1289/tid=1308] ppid=1287 vsize=10553368 CPUtime=0 cores=1,3,5,7
/proc/1289/task/1308/stat : 1308 (java) S 1287 1289 633 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814230612 10806648832 1155247 33554432000 1073741824 1073778376 140735711576880 18446744073709551615 220828052992 0 4 0 16800975 18446604461251810496 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 10553368
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1789.82 s]
/proc/loadavg: 2.00 2.06 2.00 3/492 1452
/proc/meminfo: memFree=16118352/32951124 swapFree=60476376/67111528
[pid=1289] ppid=1287 vsize=0 CPUtime=1800.2 cores=1,3,5,7
/proc/1289/stat : 1289 (java) Z 1287 1289 633 0 -1 4203548 1170097 0 1 0 179873 147 0 0 17 0 2 0 814230589 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/1289/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 0
[startup+1789.9 s]
/proc/loadavg: 2.00 2.06 2.00 3/492 1452
/proc/meminfo: memFree=16118352/32951124 swapFree=60476376/67111528
[pid=1289] ppid=1287 vsize=0 CPUtime=1800.27 cores=1,3,5,7
/proc/1289/stat : 1289 (java) Z 1287 1289 633 0 -1 4203548 1170097 0 1 0 179873 154 0 0 17 0 2 0 814230589 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/1289/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.27
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1789.94
CPU time (s): 1800.32
CPU user time (s): 1798.73
CPU system time (s): 1.58376
CPU usage (%): 100.58
Max. virtual memory (cumulated for all children) (KiB): 10553908
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.73
system time used= 1.58376
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1170097
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= 39597
involuntary context switches= 19289
runsolver used 7.9018 second user time and 18.9841 second system time
The end