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-3455741-1307228440/watcher-3455741-1307228440 -o /tmp/evaluation-result-3455741-1307228440/solver-3455741-1307228440 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3455741-1307228440.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.17 2.08 2.02 3/532 32239
/proc/meminfo: memFree=17936920/32951124 swapFree=62999000/67111528
[pid=32239] ppid=32237 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/32239/stat : 32239 (java) S 32237 32239 31003 0 -1 4202496 6880 0 1 0 0 0 0 0 17 0 2 0 815259580 10694979584 6583 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264738207717 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/32239/statm: 2611079 6597 917 9 0 2602235 0
[pid=32239/tid=32240] ppid=32237 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/32239/task/32240/stat : 32240 (java) R 32237 32239 31003 0 -1 4202560 5831 0 1 0 0 0 0 0 18 0 2 0 815259580 10694979584 6646 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264726099003 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0301391 s]
/proc/loadavg: 2.17 2.08 2.02 3/532 32239
/proc/meminfo: memFree=17936920/32951124 swapFree=62999000/67111528
[pid=32239] ppid=32237 vsize=10520548 CPUtime=0.01 cores=1,3,5,7
/proc/32239/stat : 32239 (java) S 32237 32239 31003 0 -1 4202496 10695 0 1 0 1 0 0 0 17 0 10 0 815259580 10773041152 10395 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264738207717 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/32239/statm: 2630137 10396 1513 9 0 2620885 0
[pid=32239/tid=32240] ppid=32237 vsize=10520548 CPUtime=0.01 cores=1,3,5,7
/proc/32239/task/32240/stat : 32240 (java) R 32237 32239 31003 0 -1 4202560 9575 0 1 0 1 0 0 0 20 0 10 0 815259580 10773041152 10397 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 47122243327512 0 4 0 16784584 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10520548
[startup+0.101951 s]
/proc/loadavg: 2.17 2.08 2.02 3/532 32239
/proc/meminfo: memFree=17936920/32951124 swapFree=62999000/67111528
[pid=32239] ppid=32237 vsize=10539244 CPUtime=0.1 cores=1,3,5,7
/proc/32239/stat : 32239 (java) S 32237 32239 31003 0 -1 4202496 12910 0 1 0 9 1 0 0 17 0 18 0 815259580 10792185856 12608 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/32239/statm: 2634811 12609 2093 9 0 2625545 0
[pid=32239/tid=32240] ppid=32237 vsize=10539244 CPUtime=0.08 cores=1,3,5,7
/proc/32239/task/32240/stat : 32240 (java) R 32237 32239 31003 0 -1 4202560 11168 0 1 0 7 1 0 0 25 0 18 0 815259580 10792185856 12610 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264726066209 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539244
[startup+0.301054 s]
/proc/loadavg: 2.17 2.08 2.02 3/532 32239
/proc/meminfo: memFree=17936920/32951124 swapFree=62999000/67111528
[pid=32239] ppid=32237 vsize=10541808 CPUtime=0.45 cores=1,3,5,7
/proc/32239/stat : 32239 (java) S 32237 32239 31003 0 -1 4202496 15808 0 1 0 44 1 0 0 17 0 18 0 815259580 10794811392 15057 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/32239/statm: 2635452 15058 2201 9 0 2626186 0
[pid=32239/tid=32240] ppid=32237 vsize=10541808 CPUtime=0.28 cores=1,3,5,7
/proc/32239/task/32240/stat : 32240 (java) R 32237 32239 31003 0 -1 4202560 12975 0 1 0 27 1 0 0 25 0 18 0 815259580 10794811392 15058 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 46912505561517 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 10541808
[startup+0.700978 s]
/proc/loadavg: 2.17 2.08 2.02 3/532 32239
/proc/meminfo: memFree=17936920/32951124 swapFree=62999000/67111528
[pid=32239] ppid=32237 vsize=10546492 CPUtime=0.98 cores=1,3,5,7
/proc/32239/stat : 32239 (java) S 32237 32239 31003 0 -1 4202496 50218 0 1 0 92 6 0 0 17 0 18 0 815259580 10799607808 48629 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/32239/statm: 2636623 48629 2219 9 0 2627357 0
[pid=32239/tid=32240] ppid=32237 vsize=10546492 CPUtime=0.67 cores=1,3,5,7
/proc/32239/task/32240/stat : 32240 (java) R 32237 32239 31003 0 -1 4202560 45218 0 1 0 61 6 0 0 25 0 18 0 815259580 10799607808 48629 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 46912505213624 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.98
Current children cumulated vsize (KiB) 10546492
[startup+1.50083 s]
/proc/loadavg: 2.17 2.08 2.02 5/551 32258
/proc/meminfo: memFree=17730932/32951124 swapFree=62999000/67111528
[pid=32239] ppid=32237 vsize=10553440 CPUtime=2.88 cores=1,3,5,7
/proc/32239/stat : 32239 (java) S 32237 32239 31003 0 -1 4202496 88807 0 1 0 276 12 0 0 17 0 19 0 815259580 10806722560 82041 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/32239/statm: 2638360 82041 2237 9 0 2629094 0
[pid=32239/tid=32240] ppid=32237 vsize=10553440 CPUtime=1.45 cores=1,3,5,7
/proc/32239/task/32240/stat : 32240 (java) R 32237 32239 31003 0 -1 4202560 73821 0 1 0 135 10 0 0 25 0 19 0 815259580 10806722560 82041 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 46912505817344 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=32239/tid=32242] ppid=32237 vsize=10553440 CPUtime=0 cores=1,3,5,7
/proc/32239/task/32242/stat : 32242 (java) S 32237 32239 31003 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 815259582 10806722560 82041 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264738220953 0 4 0 16800975 18446604470002892864 0 0 -1 7 0 0 0
[pid=32239/tid=32243] ppid=32237 vsize=10553440 CPUtime=0 cores=1,3,5,7
/proc/32239/task/32243/stat : 32243 (java) S 32237 32239 31003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 815259582 10806722560 82041 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264738220953 0 4 0 16800975 18446604470002892864 0 0 -1 7 0 0 0
[pid=32239/tid=32244] ppid=32237 vsize=10553440 CPUtime=0 cores=1,3,5,7
/proc/32239/task/32244/stat : 32244 (java) S 32237 32239 31003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 815259582 10806722560 82041 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264738220953 0 4 0 16800975 18446604470002892864 0 0 -1 7 0 0 0
[pid=32239/tid=32245] ppid=32237 vsize=10553440 CPUtime=0 cores=1,3,5,7
/proc/32239/task/32245/stat : 32245 (java) S 32237 32239 31003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 815259582 10806722560 82041 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264738220953 0 4 0 16800975 18446604470002892864 0 0 -1 7 0 0 0
[pid=32239/tid=32246] ppid=32237 vsize=10553440 CPUtime=0 cores=1,3,5,7
/proc/32239/task/32246/stat : 32246 (java) S 32237 32239 31003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 815259582 10806722560 82041 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264738220953 0 4 0 16800975 18446604470002892864 0 0 -1 7 0 0 0
[pid=32239/tid=32247] ppid=32237 vsize=10553440 CPUtime=0 cores=1,3,5,7
/proc/32239/task/32247/stat : 32247 (java) S 32237 32239 31003 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 815259582 10806722560 82041 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264738220953 0 4 0 16800975 18446604470002892864 0 0 -1 7 0 0 0
[pid=32239/tid=32248] ppid=32237 vsize=10553440 CPUtime=0 cores=1,3,5,7
/proc/32239/task/32248/stat : 32248 (java) S 32237 32239 31003 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 815259582 10806722560 82041 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264738220953 0 4 0 16800975 18446604470002892864 0 0 -1 7 0 0 0
[pid=32239/tid=32249] ppid=32237 vsize=10553440 CPUtime=0 cores=1,3,5,7
/proc/32239/task/32249/stat : 32249 (java) S 32237 32239 31003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 815259582 10806722560 82041 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264738220953 0 4 0 16800975 18446604470002892864 0 0 -1 7 0 0 0
[pid=32239/tid=32250] ppid=32237 vsize=10553440 CPUtime=0 cores=1,3,5,7
/proc/32239/task/32250/stat : 32250 (java) S 32237 32239 31003 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 815259583 10806722560 82041 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264738221568 0 0 0 16800975 18446604470002892864 0 0 -1 3 0 0 0
[pid=32239/tid=32251] ppid=32237 vsize=10553440 CPUtime=0 cores=1,3,5,7
/proc/32239/task/32251/stat : 32251 (java) S 32237 32239 31003 0 -1 4202560 16 0 0 0 0 0 0 0 22 0 19 0 815259583 10806722560 82041 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264738220953 0 4 0 16800975 18446604470002892864 0 0 -1 3 0 0 0
[pid=32239/tid=32252] ppid=32237 vsize=10553440 CPUtime=0 cores=1,3,5,7
/proc/32239/task/32252/stat : 32252 (java) S 32237 32239 31003 0 -1 4202560 8 0 0 0 0 0 0 0 23 0 19 0 815259584 10806722560 82041 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264738220953 0 4 0 16800975 18446604470002892864 0 0 -1 7 0 0 0
[pid=32239/tid=32253] ppid=32237 vsize=10553440 CPUtime=0 cores=1,3,5,7
/proc/32239/task/32253/stat : 32253 (java) S 32237 32239 31003 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 815259586 10806722560 82041 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264738228657 0 4 0 16800975 18446604470002892864 0 0 -1 3 0 0 0
[pid=32239/tid=32254] ppid=32237 vsize=10553440 CPUtime=0.77 cores=1,3,5,7
/proc/32239/task/32254/stat : 32254 (java) S 32237 32239 31003 0 -1 4202560 6525 0 0 0 77 0 0 0 24 0 19 0 815259586 10806722560 82041 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264738220953 0 4 0 16800975 18446604470002892864 0 0 -1 5 0 0 0
[pid=32239/tid=32255] ppid=32237 vsize=10553440 CPUtime=0.62 cores=1,3,5,7
/proc/32239/task/32255/stat : 32255 (java) S 32237 32239 31003 0 -1 4202560 7300 0 0 0 62 0 0 0 22 0 19 0 815259586 10806722560 82041 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264738220953 0 4 0 16800975 18446604470002892864 0 0 -1 3 0 0 0
[pid=32239/tid=32256] ppid=32237 vsize=10553440 CPUtime=0 cores=1,3,5,7
/proc/32239/task/32256/stat : 32256 (java) S 32237 32239 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815259586 10806722560 82041 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264738220953 0 4 0 16800975 18446604470002892864 0 0 -1 3 0 0 0
[pid=32239/tid=32257] ppid=32237 vsize=10553440 CPUtime=0 cores=1,3,5,7
/proc/32239/task/32257/stat : 32257 (java) S 32237 32239 31003 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 815259586 10806722560 82041 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264738221568 0 4 0 16800975 18446604470002892864 0 0 -1 7 0 0 0
[pid=32239/tid=32258] ppid=32237 vsize=10553440 CPUtime=0 cores=1,3,5,7
/proc/32239/task/32258/stat : 32258 (java) S 32237 32239 31003 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 815259650 10806722560 82041 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264738221568 0 4 0 16800975 18446604470002892864 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.88
Current children cumulated vsize (KiB) 10553440
[startup+3.10153 s]
/proc/loadavg: 2.17 2.08 2.02 3/551 32258
/proc/meminfo: memFree=17420684/32951124 swapFree=62999000/67111528
[pid=32239] ppid=32237 vsize=10553440 CPUtime=4.55 cores=1,3,5,7
/proc/32239/stat : 32239 (java) S 32237 32239 31003 0 -1 4202496 216339 0 1 0 429 26 0 0 17 0 19 0 815259580 10806722560 209572 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/32239/statm: 2638360 209572 2237 9 0 2629094 0
[pid=32239/tid=32240] ppid=32237 vsize=10553440 CPUtime=3.05 cores=1,3,5,7
/proc/32239/task/32240/stat : 32240 (java) R 32237 32239 31003 0 -1 4202560 201342 0 1 0 281 24 0 0 19 0 19 0 815259580 10806722560 209572 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 46912505764933 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=32239/tid=32242] ppid=32237 vsize=10553440 CPUtime=0 cores=1,3,5,7
/proc/32239/task/32242/stat : 32242 (java) S 32237 32239 31003 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 815259582 10806722560 209572 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264738220953 0 4 0 16800975 18446604470002892864 0 0 -1 7 0 0 0
[pid=32239/tid=32243] ppid=32237 vsize=10553440 CPUtime=0 cores=1,3,5,7
/proc/32239/task/32243/stat : 32243 (java) S 32237 32239 31003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 815259582 10806722560 209572 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264738220953 0 4 0 16800975 18446604470002892864 0 0 -1 7 0 0 0
[pid=32239/tid=32244] ppid=32237 vsize=10553440 CPUtime=0 cores=1,3,5,7
/proc/32239/task/32244/stat : 32244 (java) S 32237 32239 31003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 815259582 10806722560 209572 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264738220953 0 4 0 16800975 18446604470002892864 0 0 -1 7 0 0 0
[pid=32239/tid=32245] ppid=32237 vsize=10553440 CPUtime=0 cores=1,3,5,7
/proc/32239/task/32245/stat : 32245 (java) S 32237 32239 31003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 815259582 10806722560 209572 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264738220953 0 4 0 16800975 18446604470002892864 0 0 -1 7 0 0 0
[pid=32239/tid=32246] ppid=32237 vsize=10553440 CPUtime=0 cores=1,3,5,7
/proc/32239/task/32246/stat : 32246 (java) S 32237 32239 31003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 815259582 10806722560 209572 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264738220953 0 4 0 16800975 18446604470002892864 0 0 -1 7 0 0 0
[pid=32239/tid=32247] ppid=32237 vsize=10553440 CPUtime=0 cores=1,3,5,7
/proc/32239/task/32247/stat : 32247 (java) S 32237 32239 31003 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 815259582 10806722560 209572 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264738220953 0 4 0 16800975 18446604470002892864 0 0 -1 7 0 0 0
[pid=32239/tid=32248] ppid=32237 vsize=10553440 CPUtime=0 cores=1,3,5,7
/proc/32239/task/32248/stat : 32248 (java) S 32237 32239 31003 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 815259582 10806722560 209572 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264738220953 0 4 0 16800975 18446604470002892864 0 0 -1 7 0 0 0
[pid=32239/tid=32249] ppid=32237 vsize=10553440 CPUtime=0 cores=1,3,5,7
/proc/32239/task/32249/stat : 32249 (java) S 32237 32239 31003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 815259582 10806722560 209572 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264738220953 0 4 0 16800975 18446604470002892864 0 0 -1 7 0 0 0
[pid=32239/tid=32250] ppid=32237 vsize=10553440 CPUtime=0 cores=1,3,5,7
/proc/32239/task/32250/stat : 32250 (java) S 32237 32239 31003 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 815259583 10806722560 209572 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264738221568 0 0 0 16800975 18446604470002892864 0 0 -1 3 0 0 0
[pid=32239/tid=32251] ppid=32237 vsize=10553440 CPUtime=0 cores=1,3,5,7
/proc/32239/task/32251/stat : 32251 (java) S 32237 32239 31003 0 -1 4202560 16 0 0 0 0 0 0 0 22 0 19 0 815259583 10806722560 209572 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264738220953 0 4 0 16800975 18446604470002892864 0 0 -1 3 0 0 0
[pid=32239/tid=32252] ppid=32237 vsize=10553440 CPUtime=0 cores=1,3,5,7
/proc/32239/task/32252/stat : 32252 (java) S 32237 32239 31003 0 -1 4202560 8 0 0 0 0 0 0 0 23 0 19 0 815259584 10806722560 209572 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264738220953 0 4 0 16800975 18446604470002892864 0 0 -1 7 0 0 0
[pid=32239/tid=32253] ppid=32237 vsize=10553440 CPUtime=0 cores=1,3,5,7
/proc/32239/task/32253/stat : 32253 (java) S 32237 32239 31003 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 815259586 10806722560 209572 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264738228657 0 4 0 16800975 18446604470002892864 0 0 -1 3 0 0 0
[pid=32239/tid=32254] ppid=32237 vsize=10553440 CPUtime=0.81 cores=1,3,5,7
/proc/32239/task/32254/stat : 32254 (java) S 32237 32239 31003 0 -1 4202560 6527 0 0 0 81 0 0 0 15 0 19 0 815259586 10806722560 209572 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264738220953 0 4 0 16800975 18446604470002892864 0 0 -1 5 0 0 0
[pid=32239/tid=32255] ppid=32237 vsize=10553440 CPUtime=0.65 cores=1,3,5,7
/proc/32239/task/32255/stat : 32255 (java) S 32237 32239 31003 0 -1 4202560 7308 0 0 0 65 0 0 0 15 0 19 0 815259586 10806722560 209572 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264738220953 0 4 0 16800975 18446604470002892864 0 0 -1 3 0 0 0
[pid=32239/tid=32256] ppid=32237 vsize=10553440 CPUtime=0 cores=1,3,5,7
/proc/32239/task/32256/stat : 32256 (java) S 32237 32239 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815259586 10806722560 209572 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264738220953 0 4 0 16800975 18446604470002892864 0 0 -1 3 0 0 0
[pid=32239/tid=32257] ppid=32237 vsize=10553440 CPUtime=0 cores=1,3,5,7
/proc/32239/task/32257/stat : 32257 (java) S 32237 32239 31003 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 815259586 10806722560 209572 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264738221568 0 4 0 16800975 18446604470002892864 0 0 -1 7 0 0 0
[pid=32239/tid=32258] ppid=32237 vsize=10553440 CPUtime=0 cores=1,3,5,7
/proc/32239/task/32258/stat : 32258 (java) S 32237 32239 31003 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 815259650 10806722560 209572 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264738221568 0 4 0 16800975 18446604470002892864 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.55
Current children cumulated vsize (KiB) 10553440
[startup+6.30092 s]
/proc/loadavg: 2.16 2.07 2.02 3/551 32258
/proc/meminfo: memFree=16379920/32951124 swapFree=62999000/67111528
[pid=32239] ppid=32237 vsize=10553440 CPUtime=7.77 cores=1,3,5,7
/proc/32239/stat : 32239 (java) S 32237 32239 31003 0 -1 4202496 467262 0 1 0 723 54 0 0 17 0 19 0 815259580 10806722560 460485 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/32239/statm: 2638360 460485 2237 9 0 2629094 0
[pid=32239/tid=32240] ppid=32237 vsize=10553440 CPUtime=6.23 cores=1,3,5,7
/proc/32239/task/32240/stat : 32240 (java) R 32237 32239 31003 0 -1 4202560 452262 0 1 0 571 52 0 0 21 0 19 0 815259580 10806722560 460485 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 46912505773104 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=32239/tid=32242] ppid=32237 vsize=10553440 CPUtime=0 cores=1,3,5,7
/proc/32239/task/32242/stat : 32242 (java) S 32237 32239 31003 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 815259582 10806722560 460485 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264738220953 0 4 0 16800975 18446604470002892864 0 0 -1 7 0 0 0
[pid=32239/tid=32243] ppid=32237 vsize=10553440 CPUtime=0 cores=1,3,5,7
/proc/32239/task/32243/stat : 32243 (java) S 32237 32239 31003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 815259582 10806722560 460485 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264738220953 0 4 0 16800975 18446604470002892864 0 0 -1 7 0 0 0
[pid=32239/tid=32244] ppid=32237 vsize=10553440 CPUtime=0 cores=1,3,5,7
/proc/32239/task/32244/stat : 32244 (java) S 32237 32239 31003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 815259582 10806722560 460485 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264738220953 0 4 0 16800975 18446604470002892864 0 0 -1 7 0 0 0
[pid=32239/tid=32245] ppid=32237 vsize=10553440 CPUtime=0 cores=1,3,5,7
/proc/32239/task/32245/stat : 32245 (java) S 32237 32239 31003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 815259582 10806722560 460485 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264738220953 0 4 0 16800975 18446604470002892864 0 0 -1 7 0 0 0
[pid=32239/tid=32246] ppid=32237 vsize=10553440 CPUtime=0 cores=1,3,5,7
/proc/32239/task/32246/stat : 32246 (java) S 32237 32239 31003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 815259582 10806722560 460485 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264738220953 0 4 0 16800975 18446604470002892864 0 0 -1 7 0 0 0
[pid=32239/tid=32247] ppid=32237 vsize=10553440 CPUtime=0 cores=1,3,5,7
/proc/32239/task/32247/stat : 32247 (java) S 32237 32239 31003 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 815259582 10806722560 460485 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264738220953 0 4 0 16800975 18446604470002892864 0 0 -1 7 0 0 0
[pid=32239/tid=32248] ppid=32237 vsize=10553440 CPUtime=0 cores=1,3,5,7
/proc/32239/task/32248/stat : 32248 (java) S 32237 32239 31003 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 815259582 10806722560 460485 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264738220953 0 4 0 16800975 18446604470002892864 0 0 -1 7 0 0 0
[pid=32239/tid=32249] ppid=32237 vsize=10553440 CPUtime=0 cores=1,3,5,7
/proc/32239/task/32249/stat : 32249 (java) S 32237 32239 31003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 815259582 10806722560 460485 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264738220953 0 4 0 16800975 18446604470002892864 0 0 -1 7 0 0 0
[pid=32239/tid=32250] ppid=32237 vsize=10553440 CPUtime=0 cores=1,3,5,7
/proc/32239/task/32250/stat : 32250 (java) S 32237 32239 31003 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 815259583 10806722560 460485 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264738221568 0 0 0 16800975 18446604470002892864 0 0 -1 3 0 0 0
[pid=32239/tid=32251] ppid=32237 vsize=10553440 CPUtime=0 cores=1,3,5,7
/proc/32239/task/32251/stat : 32251 (java) S 32237 32239 31003 0 -1 4202560 16 0 0 0 0 0 0 0 22 0 19 0 815259583 10806722560 460485 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264738220953 0 4 0 16800975 18446604470002892864 0 0 -1 3 0 0 0
[pid=32239/tid=32252] ppid=32237 vsize=10553440 CPUtime=0 cores=1,3,5,7
/proc/32239/task/32252/stat : 32252 (java) S 32237 32239 31003 0 -1 4202560 8 0 0 0 0 0 0 0 23 0 19 0 815259584 10806722560 460485 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264738220953 0 4 0 16800975 18446604470002892864 0 0 -1 7 0 0 0
[pid=32239/tid=32253] ppid=32237 vsize=10553440 CPUtime=0 cores=1,3,5,7
/proc/32239/task/32253/stat : 32253 (java) S 32237 32239 31003 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 815259586 10806722560 460485 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264738228657 0 4 0 16800975 18446604470002892864 0 0 -1 3 0 0 0
[pid=32239/tid=32254] ppid=32237 vsize=10553440 CPUtime=0.82 cores=1,3,5,7
/proc/32239/task/32254/stat : 32254 (java) S 32237 32239 31003 0 -1 4202560 6527 0 0 0 82 0 0 0 15 0 19 0 815259586 10806722560 460485 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264738220953 0 4 0 16800975 18446604470002892864 0 0 -1 5 0 0 0
[pid=32239/tid=32255] ppid=32237 vsize=10553440 CPUtime=0.69 cores=1,3,5,7
/proc/32239/task/32255/stat : 32255 (java) S 32237 32239 31003 0 -1 4202560 7311 0 0 0 69 0 0 0 15 0 19 0 815259586 10806722560 460485 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264738220953 0 4 0 16800975 18446604470002892864 0 0 -1 3 0 0 0
################
# More data... #
################
[pid=32239/tid=32258] ppid=32237 vsize=10553440 CPUtime=0 cores=1,3,5,7
/proc/32239/task/32258/stat : 32258 (java) S 32237 32239 31003 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 815259650 10806722560 947684 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264738221568 0 4 0 16800975 18446604470002892864 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1667.71
Current children cumulated vsize (KiB) 10553440
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/551 32364
/proc/meminfo: memFree=14084944/32951124 swapFree=62999000/67111528
[pid=32239] ppid=32237 vsize=10553440 CPUtime=1727.9 cores=1,3,5,7
/proc/32239/stat : 32239 (java) S 32237 32239 31003 0 -1 4202496 958787 0 1 0 172682 108 0 0 17 0 19 0 815259580 10806722560 949748 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/32239/statm: 2638360 949748 2266 9 0 2629094 0
[pid=32239/tid=32240] ppid=32237 vsize=10553440 CPUtime=1719.86 cores=1,3,5,7
/proc/32239/task/32240/stat : 32240 (java) R 32237 32239 31003 0 -1 4202560 820286 0 1 0 171895 91 0 0 25 0 19 0 815259580 10806722560 949748 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 46912506202322 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=32239/tid=32242] ppid=32237 vsize=10553440 CPUtime=0.73 cores=1,3,5,7
/proc/32239/task/32242/stat : 32242 (java) S 32237 32239 31003 0 -1 4202560 19443 0 0 0 72 1 0 0 16 0 19 0 815259582 10806722560 949748 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264738220953 0 4 0 16800975 18446604470002892864 0 0 -1 7 0 0 0
[pid=32239/tid=32243] ppid=32237 vsize=10553440 CPUtime=0.64 cores=1,3,5,7
/proc/32239/task/32243/stat : 32243 (java) S 32237 32239 31003 0 -1 4202560 13934 0 0 0 63 1 0 0 16 0 19 0 815259582 10806722560 949748 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264738220953 0 4 0 16800975 18446604470002892864 0 0 -1 3 0 0 0
[pid=32239/tid=32244] ppid=32237 vsize=10553440 CPUtime=0.71 cores=1,3,5,7
/proc/32239/task/32244/stat : 32244 (java) S 32237 32239 31003 0 -1 4202560 17739 0 0 0 70 1 0 0 16 0 19 0 815259582 10806722560 949748 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264738220953 0 4 0 16800975 18446604470002892864 0 0 -1 5 0 0 0
[pid=32239/tid=32245] ppid=32237 vsize=10553440 CPUtime=0.77 cores=1,3,5,7
/proc/32239/task/32245/stat : 32245 (java) S 32237 32239 31003 0 -1 4202560 12023 0 0 0 76 1 0 0 16 0 19 0 815259582 10806722560 949748 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264738220953 0 4 0 16800975 18446604470002892864 0 0 -1 1 0 0 0
[pid=32239/tid=32246] ppid=32237 vsize=10553440 CPUtime=0.69 cores=1,3,5,7
/proc/32239/task/32246/stat : 32246 (java) S 32237 32239 31003 0 -1 4202560 12332 0 0 0 67 2 0 0 16 0 19 0 815259582 10806722560 949748 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264738220953 0 4 0 16800975 18446604470002892864 0 0 -1 5 0 0 0
[pid=32239/tid=32247] ppid=32237 vsize=10553440 CPUtime=0.61 cores=1,3,5,7
/proc/32239/task/32247/stat : 32247 (java) S 32237 32239 31003 0 -1 4202560 12503 0 0 0 59 2 0 0 16 0 19 0 815259582 10806722560 949748 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264738220953 0 4 0 16800975 18446604470002892864 0 0 -1 1 0 0 0
[pid=32239/tid=32248] ppid=32237 vsize=10553440 CPUtime=0.88 cores=1,3,5,7
/proc/32239/task/32248/stat : 32248 (java) S 32237 32239 31003 0 -1 4202560 18916 0 0 0 86 2 0 0 16 0 19 0 815259582 10806722560 949748 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264738220953 0 4 0 16800975 18446604470002892864 0 0 -1 3 0 0 0
[pid=32239/tid=32249] ppid=32237 vsize=10553440 CPUtime=0.77 cores=1,3,5,7
/proc/32239/task/32249/stat : 32249 (java) S 32237 32239 31003 0 -1 4202560 14870 0 0 0 76 1 0 0 16 0 19 0 815259582 10806722560 949748 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264738220953 0 4 0 16800975 18446604470002892864 0 0 -1 1 0 0 0
[pid=32239/tid=32250] ppid=32237 vsize=10553440 CPUtime=0.39 cores=1,3,5,7
/proc/32239/task/32250/stat : 32250 (java) S 32237 32239 31003 0 -1 4202560 1615 0 0 0 39 0 0 0 15 0 19 0 815259583 10806722560 949748 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264738221568 0 0 0 16800975 18446604470002892864 0 0 -1 3 0 0 0
[pid=32239/tid=32251] ppid=32237 vsize=10553440 CPUtime=0 cores=1,3,5,7
/proc/32239/task/32251/stat : 32251 (java) S 32237 32239 31003 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 815259583 10806722560 949748 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264738220953 0 4 0 16800975 18446604470002892864 0 0 -1 3 0 0 0
[pid=32239/tid=32252] ppid=32237 vsize=10553440 CPUtime=0 cores=1,3,5,7
/proc/32239/task/32252/stat : 32252 (java) S 32237 32239 31003 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 815259584 10806722560 949748 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264738220953 0 4 0 16800975 18446604470002892864 0 0 -1 7 0 0 0
[pid=32239/tid=32253] ppid=32237 vsize=10553440 CPUtime=0 cores=1,3,5,7
/proc/32239/task/32253/stat : 32253 (java) S 32237 32239 31003 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 815259586 10806722560 949748 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264738228657 0 4 0 16800975 18446604470002892864 0 0 -1 3 0 0 0
[pid=32239/tid=32254] ppid=32237 vsize=10553440 CPUtime=0.88 cores=1,3,5,7
/proc/32239/task/32254/stat : 32254 (java) S 32237 32239 31003 0 -1 4202560 6539 0 0 0 88 0 0 0 15 0 19 0 815259586 10806722560 949748 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264738220953 0 4 0 16800975 18446604470002892864 0 0 -1 5 0 0 0
[pid=32239/tid=32255] ppid=32237 vsize=10553440 CPUtime=0.84 cores=1,3,5,7
/proc/32239/task/32255/stat : 32255 (java) S 32237 32239 31003 0 -1 4202560 7337 0 0 0 84 0 0 0 16 0 19 0 815259586 10806722560 949748 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264738220953 0 4 0 16800975 18446604470002892864 0 0 -1 1 0 0 0
[pid=32239/tid=32256] ppid=32237 vsize=10553440 CPUtime=0 cores=1,3,5,7
/proc/32239/task/32256/stat : 32256 (java) S 32237 32239 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815259586 10806722560 949748 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264738220953 0 4 0 16800975 18446604470002892864 0 0 -1 3 0 0 0
[pid=32239/tid=32257] ppid=32237 vsize=10553440 CPUtime=0 cores=1,3,5,7
/proc/32239/task/32257/stat : 32257 (java) S 32237 32239 31003 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 815259586 10806722560 949748 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264738221568 0 4 0 16800975 18446604470002892864 0 0 -1 3 0 0 0
[pid=32239/tid=32258] ppid=32237 vsize=10553440 CPUtime=0 cores=1,3,5,7
/proc/32239/task/32258/stat : 32258 (java) S 32237 32239 31003 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 815259650 10806722560 949748 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264738221568 0 4 0 16800975 18446604470002892864 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1727.9
Current children cumulated vsize (KiB) 10553440
[startup+1782.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/551 32365
/proc/meminfo: memFree=14073028/32951124 swapFree=62999000/67111528
[pid=32239] ppid=32237 vsize=10553440 CPUtime=1788.02 cores=1,3,5,7
/proc/32239/stat : 32239 (java) S 32237 32239 31003 0 -1 4202496 961681 0 1 0 178693 109 0 0 17 0 19 0 815259580 10806722560 952388 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/32239/statm: 2638360 952388 2266 9 0 2629094 0
[pid=32239/tid=32240] ppid=32237 vsize=10553440 CPUtime=1779.8 cores=1,3,5,7
/proc/32239/task/32240/stat : 32240 (java) R 32237 32239 31003 0 -1 4202560 820289 0 1 0 177889 91 0 0 25 0 19 0 815259580 10806722560 952388 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 46912506201896 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=32239/tid=32242] ppid=32237 vsize=10553440 CPUtime=0.78 cores=1,3,5,7
/proc/32239/task/32242/stat : 32242 (java) S 32237 32239 31003 0 -1 4202560 19859 0 0 0 77 1 0 0 16 0 19 0 815259582 10806722560 952388 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264738220953 0 4 0 16800975 18446604470002892864 0 0 -1 1 0 0 0
[pid=32239/tid=32243] ppid=32237 vsize=10553440 CPUtime=0.68 cores=1,3,5,7
/proc/32239/task/32243/stat : 32243 (java) S 32237 32239 31003 0 -1 4202560 14216 0 0 0 67 1 0 0 16 0 19 0 815259582 10806722560 952388 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264738220953 0 4 0 16800975 18446604470002892864 0 0 -1 1 0 0 0
[pid=32239/tid=32244] ppid=32237 vsize=10553440 CPUtime=0.71 cores=1,3,5,7
/proc/32239/task/32244/stat : 32244 (java) S 32237 32239 31003 0 -1 4202560 17739 0 0 0 70 1 0 0 15 0 19 0 815259582 10806722560 952388 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264738220953 0 4 0 16800975 18446604470002892864 0 0 -1 5 0 0 0
[pid=32239/tid=32245] ppid=32237 vsize=10553440 CPUtime=0.77 cores=1,3,5,7
/proc/32239/task/32245/stat : 32245 (java) S 32237 32239 31003 0 -1 4202560 12023 0 0 0 76 1 0 0 15 0 19 0 815259582 10806722560 952388 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264738220953 0 4 0 16800975 18446604470002892864 0 0 -1 5 0 0 0
[pid=32239/tid=32246] ppid=32237 vsize=10553440 CPUtime=0.7 cores=1,3,5,7
/proc/32239/task/32246/stat : 32246 (java) S 32237 32239 31003 0 -1 4202560 12899 0 0 0 68 2 0 0 15 0 19 0 815259582 10806722560 952388 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264738220953 0 4 0 16800975 18446604470002892864 0 0 -1 5 0 0 0
[pid=32239/tid=32247] ppid=32237 vsize=10553440 CPUtime=0.63 cores=1,3,5,7
/proc/32239/task/32247/stat : 32247 (java) S 32237 32239 31003 0 -1 4202560 13038 0 0 0 61 2 0 0 15 0 19 0 815259582 10806722560 952388 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264738220953 0 4 0 16800975 18446604470002892864 0 0 -1 1 0 0 0
[pid=32239/tid=32248] ppid=32237 vsize=10553440 CPUtime=0.92 cores=1,3,5,7
/proc/32239/task/32248/stat : 32248 (java) S 32237 32239 31003 0 -1 4202560 19754 0 0 0 90 2 0 0 15 0 19 0 815259582 10806722560 952388 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264738220953 0 4 0 16800975 18446604470002892864 0 0 -1 3 0 0 0
[pid=32239/tid=32249] ppid=32237 vsize=10553440 CPUtime=0.79 cores=1,3,5,7
/proc/32239/task/32249/stat : 32249 (java) S 32237 32239 31003 0 -1 4202560 15117 0 0 0 78 1 0 0 15 0 19 0 815259582 10806722560 952388 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264738220953 0 4 0 16800975 18446604470002892864 0 0 -1 1 0 0 0
[pid=32239/tid=32250] ppid=32237 vsize=10553440 CPUtime=0.39 cores=1,3,5,7
/proc/32239/task/32250/stat : 32250 (java) S 32237 32239 31003 0 -1 4202560 1619 0 0 0 39 0 0 0 15 0 19 0 815259583 10806722560 952388 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264738221568 0 0 0 16800975 18446604470002892864 0 0 -1 3 0 0 0
[pid=32239/tid=32251] ppid=32237 vsize=10553440 CPUtime=0 cores=1,3,5,7
/proc/32239/task/32251/stat : 32251 (java) S 32237 32239 31003 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 815259583 10806722560 952388 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264738220953 0 4 0 16800975 18446604470002892864 0 0 -1 3 0 0 0
[pid=32239/tid=32252] ppid=32237 vsize=10553440 CPUtime=0 cores=1,3,5,7
/proc/32239/task/32252/stat : 32252 (java) S 32237 32239 31003 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 815259584 10806722560 952388 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264738220953 0 4 0 16800975 18446604470002892864 0 0 -1 7 0 0 0
[pid=32239/tid=32253] ppid=32237 vsize=10553440 CPUtime=0 cores=1,3,5,7
/proc/32239/task/32253/stat : 32253 (java) S 32237 32239 31003 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 815259586 10806722560 952388 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264738228657 0 4 0 16800975 18446604470002892864 0 0 -1 3 0 0 0
[pid=32239/tid=32254] ppid=32237 vsize=10553440 CPUtime=0.88 cores=1,3,5,7
/proc/32239/task/32254/stat : 32254 (java) S 32237 32239 31003 0 -1 4202560 6539 0 0 0 88 0 0 0 15 0 19 0 815259586 10806722560 952388 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264738220953 0 4 0 16800975 18446604470002892864 0 0 -1 5 0 0 0
[pid=32239/tid=32255] ppid=32237 vsize=10553440 CPUtime=0.84 cores=1,3,5,7
/proc/32239/task/32255/stat : 32255 (java) S 32237 32239 31003 0 -1 4202560 7337 0 0 0 84 0 0 0 16 0 19 0 815259586 10806722560 952388 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264738220953 0 4 0 16800975 18446604470002892864 0 0 -1 1 0 0 0
[pid=32239/tid=32256] ppid=32237 vsize=10553440 CPUtime=0 cores=1,3,5,7
/proc/32239/task/32256/stat : 32256 (java) S 32237 32239 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815259586 10806722560 952388 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264738220953 0 4 0 16800975 18446604470002892864 0 0 -1 3 0 0 0
[pid=32239/tid=32257] ppid=32237 vsize=10553440 CPUtime=0 cores=1,3,5,7
/proc/32239/task/32257/stat : 32257 (java) S 32237 32239 31003 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 815259586 10806722560 952388 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264738221568 0 4 0 16800975 18446604470002892864 0 0 -1 3 0 0 0
[pid=32239/tid=32258] ppid=32237 vsize=10553440 CPUtime=0 cores=1,3,5,7
/proc/32239/task/32258/stat : 32258 (java) S 32237 32239 31003 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 815259650 10806722560 952388 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264738221568 0 4 0 16800975 18446604470002892864 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1788.02
Current children cumulated vsize (KiB) 10553440
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1794.3 s]
/proc/loadavg: 2.12 2.06 2.01 3/551 32366
/proc/meminfo: memFree=14073144/32951124 swapFree=62999000/67111528
[pid=32239] ppid=32237 vsize=10553440 CPUtime=1800.04 cores=1,3,5,7
/proc/32239/stat : 32239 (java) S 32237 32239 31003 0 -1 4202496 961683 0 1 0 179895 109 0 0 17 0 19 0 815259580 10806722560 952388 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/32239/statm: 2638360 952388 2266 9 0 2629094 0
[pid=32239/tid=32240] ppid=32237 vsize=10553440 CPUtime=1791.82 cores=1,3,5,7
/proc/32239/task/32240/stat : 32240 (java) R 32237 32239 31003 0 -1 4202560 820289 0 1 0 179091 91 0 0 25 0 19 0 815259580 10806722560 952388 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 46912505772800 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=32239/tid=32242] ppid=32237 vsize=10553440 CPUtime=0.78 cores=1,3,5,7
/proc/32239/task/32242/stat : 32242 (java) S 32237 32239 31003 0 -1 4202560 19859 0 0 0 77 1 0 0 16 0 19 0 815259582 10806722560 952388 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264738220953 0 4 0 16800975 18446604470002892864 0 0 -1 1 0 0 0
[pid=32239/tid=32243] ppid=32237 vsize=10553440 CPUtime=0.68 cores=1,3,5,7
/proc/32239/task/32243/stat : 32243 (java) S 32237 32239 31003 0 -1 4202560 14216 0 0 0 67 1 0 0 16 0 19 0 815259582 10806722560 952388 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264738220953 0 4 0 16800975 18446604470002892864 0 0 -1 1 0 0 0
[pid=32239/tid=32244] ppid=32237 vsize=10553440 CPUtime=0.71 cores=1,3,5,7
/proc/32239/task/32244/stat : 32244 (java) S 32237 32239 31003 0 -1 4202560 17739 0 0 0 70 1 0 0 15 0 19 0 815259582 10806722560 952388 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264738220953 0 4 0 16800975 18446604470002892864 0 0 -1 5 0 0 0
[pid=32239/tid=32245] ppid=32237 vsize=10553440 CPUtime=0.77 cores=1,3,5,7
/proc/32239/task/32245/stat : 32245 (java) S 32237 32239 31003 0 -1 4202560 12023 0 0 0 76 1 0 0 15 0 19 0 815259582 10806722560 952388 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264738220953 0 4 0 16800975 18446604470002892864 0 0 -1 5 0 0 0
[pid=32239/tid=32246] ppid=32237 vsize=10553440 CPUtime=0.7 cores=1,3,5,7
/proc/32239/task/32246/stat : 32246 (java) S 32237 32239 31003 0 -1 4202560 12899 0 0 0 68 2 0 0 15 0 19 0 815259582 10806722560 952388 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264738220953 0 4 0 16800975 18446604470002892864 0 0 -1 5 0 0 0
[pid=32239/tid=32247] ppid=32237 vsize=10553440 CPUtime=0.63 cores=1,3,5,7
/proc/32239/task/32247/stat : 32247 (java) S 32237 32239 31003 0 -1 4202560 13038 0 0 0 61 2 0 0 15 0 19 0 815259582 10806722560 952388 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264738220953 0 4 0 16800975 18446604470002892864 0 0 -1 1 0 0 0
[pid=32239/tid=32248] ppid=32237 vsize=10553440 CPUtime=0.92 cores=1,3,5,7
/proc/32239/task/32248/stat : 32248 (java) S 32237 32239 31003 0 -1 4202560 19754 0 0 0 90 2 0 0 15 0 19 0 815259582 10806722560 952388 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264738220953 0 4 0 16800975 18446604470002892864 0 0 -1 3 0 0 0
[pid=32239/tid=32249] ppid=32237 vsize=10553440 CPUtime=0.79 cores=1,3,5,7
/proc/32239/task/32249/stat : 32249 (java) S 32237 32239 31003 0 -1 4202560 15117 0 0 0 78 1 0 0 15 0 19 0 815259582 10806722560 952388 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264738220953 0 4 0 16800975 18446604470002892864 0 0 -1 1 0 0 0
[pid=32239/tid=32250] ppid=32237 vsize=10553440 CPUtime=0.39 cores=1,3,5,7
/proc/32239/task/32250/stat : 32250 (java) S 32237 32239 31003 0 -1 4202560 1619 0 0 0 39 0 0 0 15 0 19 0 815259583 10806722560 952388 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264738221568 0 0 0 16800975 18446604470002892864 0 0 -1 3 0 0 0
[pid=32239/tid=32251] ppid=32237 vsize=10553440 CPUtime=0 cores=1,3,5,7
/proc/32239/task/32251/stat : 32251 (java) S 32237 32239 31003 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 815259583 10806722560 952388 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264738220953 0 4 0 16800975 18446604470002892864 0 0 -1 3 0 0 0
[pid=32239/tid=32252] ppid=32237 vsize=10553440 CPUtime=0 cores=1,3,5,7
/proc/32239/task/32252/stat : 32252 (java) S 32237 32239 31003 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 815259584 10806722560 952388 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264738220953 0 4 0 16800975 18446604470002892864 0 0 -1 7 0 0 0
[pid=32239/tid=32253] ppid=32237 vsize=10553440 CPUtime=0 cores=1,3,5,7
/proc/32239/task/32253/stat : 32253 (java) S 32237 32239 31003 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 815259586 10806722560 952388 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264738228657 0 4 0 16800975 18446604470002892864 0 0 -1 3 0 0 0
[pid=32239/tid=32254] ppid=32237 vsize=10553440 CPUtime=0.88 cores=1,3,5,7
/proc/32239/task/32254/stat : 32254 (java) S 32237 32239 31003 0 -1 4202560 6539 0 0 0 88 0 0 0 15 0 19 0 815259586 10806722560 952388 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264738220953 0 4 0 16800975 18446604470002892864 0 0 -1 5 0 0 0
[pid=32239/tid=32255] ppid=32237 vsize=10553440 CPUtime=0.84 cores=1,3,5,7
/proc/32239/task/32255/stat : 32255 (java) S 32237 32239 31003 0 -1 4202560 7337 0 0 0 84 0 0 0 16 0 19 0 815259586 10806722560 952388 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264738220953 0 4 0 16800975 18446604470002892864 0 0 -1 1 0 0 0
[pid=32239/tid=32256] ppid=32237 vsize=10553440 CPUtime=0 cores=1,3,5,7
/proc/32239/task/32256/stat : 32256 (java) S 32237 32239 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815259586 10806722560 952388 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264738220953 0 4 0 16800975 18446604470002892864 0 0 -1 3 0 0 0
[pid=32239/tid=32257] ppid=32237 vsize=10553440 CPUtime=0 cores=1,3,5,7
/proc/32239/task/32257/stat : 32257 (java) S 32237 32239 31003 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 815259586 10806722560 952388 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264738221568 0 4 0 16800975 18446604470002892864 0 0 -1 3 0 0 0
[pid=32239/tid=32258] ppid=32237 vsize=10553440 CPUtime=0 cores=1,3,5,7
/proc/32239/task/32258/stat : 32258 (java) S 32237 32239 31003 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 815259650 10806722560 952388 33554432000 1073741824 1073778376 140735384576368 18446744073709551615 264738221568 0 4 0 16800975 18446604470002892864 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 10553440
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1794.43 s]
/proc/loadavg: 2.12 2.06 2.01 3/551 32366
/proc/meminfo: memFree=14073144/32951124 swapFree=62999000/67111528
[pid=32239] ppid=32237 vsize=0 CPUtime=1800.17 cores=1,3,5,7
/proc/32239/stat : 32239 (java) Z 32237 32239 31003 0 -1 4203548 961718 0 1 0 179902 115 0 0 15 0 2 0 815259580 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/32239/statm: 0 0 0 0 0 0 0
[pid=32239/tid=32249] ppid=32237 vsize=0 CPUtime=0.85 cores=1,3,5,7
/proc/32239/task/32249/stat : 32249 (java) R 32237 32239 31003 0 -1 4203588 15117 0 0 0 78 7 0 0 15 0 2 0 815259582 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 0
[startup+1794.5 s]
/proc/loadavg: 2.12 2.06 2.01 3/551 32366
/proc/meminfo: memFree=14073144/32951124 swapFree=62999000/67111528
[pid=32239] ppid=32237 vsize=0 CPUtime=1800.25 cores=1,3,5,7
/proc/32239/stat : 32239 (java) Z 32237 32239 31003 0 -1 4203548 961718 0 1 0 179902 123 0 0 15 0 2 0 815259580 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/32239/statm: 0 0 0 0 0 0 0
[pid=32239/tid=32249] ppid=32237 vsize=0 CPUtime=0.93 cores=1,3,5,7
/proc/32239/task/32249/stat : 32249 (java) R 32237 32239 31003 0 -1 4203588 15117 0 0 0 78 15 0 0 16 0 2 0 815259582 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.25
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1794.5
CPU time (s): 1800.26
CPU user time (s): 1799.02
CPU system time (s): 1.23581
CPU usage (%): 100.321
Max. virtual memory (cumulated for all children) (KiB): 10556452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.02
system time used= 1.23581
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 961718
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= 39779
involuntary context switches= 6173
runsolver used 9.52155 second user time and 21.4937 second system time
The end