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-3456816-1307659296/watcher-3456816-1307659296 -o /tmp/evaluation-result-3456816-1307659296/solver-3456816-1307659296 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456816-1307659296.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 2.37 4/195 22580
/proc/meminfo: memFree=28270560/32951124 swapFree=67052292/67111528
[pid=22580] ppid=22578 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/22580/stat : 22580 (java) R 22578 22580 21755 0 -1 4202496 484 0 0 0 0 0 0 0 25 0 1 0 877530514 23580672 228 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270608148245 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22580/statm: 5757 241 188 9 0 124 0
[startup+0.067097 s]
/proc/loadavg: 2.00 2.00 2.37 4/195 22580
/proc/meminfo: memFree=28270560/32951124 swapFree=67052292/67111528
[pid=22580] ppid=22578 vsize=10472952 CPUtime=0.05 cores=1,3,5,7
/proc/22580/stat : 22580 (java) S 22578 22580 21755 0 -1 4202496 11716 0 1 0 4 1 0 0 25 0 18 0 877530514 10724302848 11412 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22580/statm: 2618238 11413 1740 9 0 2608972 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10472952
[startup+0.101093 s]
/proc/loadavg: 2.00 2.00 2.37 4/195 22580
/proc/meminfo: memFree=28270560/32951124 swapFree=67052292/67111528
[pid=22580] ppid=22578 vsize=10539664 CPUtime=0.1 cores=1,3,5,7
/proc/22580/stat : 22580 (java) S 22578 22580 21755 0 -1 4202496 13044 0 1 0 8 2 0 0 25 0 18 0 877530514 10792615936 12710 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22580/statm: 2634916 12710 2093 9 0 2625650 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539664
[startup+0.301025 s]
/proc/loadavg: 2.00 2.00 2.37 4/195 22580
/proc/meminfo: memFree=28270560/32951124 swapFree=67052292/67111528
[pid=22580] ppid=22578 vsize=10612312 CPUtime=0.59 cores=1,3,5,7
/proc/22580/stat : 22580 (java) S 22578 22580 21755 0 -1 4202496 21095 0 1 0 56 3 0 0 25 0 19 0 877530514 10867007488 19084 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22580/statm: 2653078 19084 2214 9 0 2643812 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 10612312
[startup+0.700954 s]
/proc/loadavg: 2.00 2.00 2.37 4/195 22580
/proc/meminfo: memFree=28270560/32951124 swapFree=67052292/67111528
[pid=22580] ppid=22578 vsize=10614260 CPUtime=1.48 cores=1,3,5,7
/proc/22580/stat : 22580 (java) S 22578 22580 21755 0 -1 4202496 45247 0 1 0 141 7 0 0 25 0 19 0 877530514 10869002240 42472 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22580/statm: 2653565 42481 2223 9 0 2644299 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 10614260
[startup+1.50085 s]
/proc/loadavg: 2.08 2.02 2.37 2/195 22602
/proc/meminfo: memFree=31724288/32951124 swapFree=67052292/67111528
[pid=22580] ppid=22578 vsize=10614260 CPUtime=2.32 cores=1,3,5,7
/proc/22580/stat : 22580 (java) S 22578 22580 21755 0 -1 4202496 151337 0 1 0 214 18 0 0 25 0 19 0 877530514 10869002240 148561 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22580/statm: 2653565 148564 2226 9 0 2644299 0
[pid=22580/tid=22582] ppid=22578 vsize=10614260 CPUtime=1.48 cores=1,3,5,7
/proc/22580/task/22582/stat : 22582 (java) R 22578 22580 21755 0 -1 4202560 142001 0 1 0 132 16 0 0 20 0 19 0 877530515 10869002240 148568 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 46912505614736 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=22580/tid=22583] ppid=22578 vsize=10614260 CPUtime=0 cores=1,3,5,7
/proc/22580/task/22583/stat : 22583 (java) S 22578 22580 21755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877530516 10869002240 148574 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624926617 0 4 0 16800975 18446604469210225536 0 0 -1 3 0 0 0
[pid=22580/tid=22584] ppid=22578 vsize=10614260 CPUtime=0 cores=1,3,5,7
/proc/22580/task/22584/stat : 22584 (java) S 22578 22580 21755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877530516 10869002240 148577 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624926617 0 4 0 16800975 18446604469210225536 0 0 -1 7 0 0 0
[pid=22580/tid=22585] ppid=22578 vsize=10614260 CPUtime=0 cores=1,3,5,7
/proc/22580/task/22585/stat : 22585 (java) S 22578 22580 21755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877530516 10869002240 148578 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624926617 0 4 0 16800975 18446604469210225536 0 0 -1 3 0 0 0
[pid=22580/tid=22586] ppid=22578 vsize=10614260 CPUtime=0 cores=1,3,5,7
/proc/22580/task/22586/stat : 22586 (java) S 22578 22580 21755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877530516 10869002240 148583 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624926617 0 4 0 16800975 18446604469210225536 0 0 -1 7 0 0 0
[pid=22580/tid=22587] ppid=22578 vsize=10614260 CPUtime=0 cores=1,3,5,7
/proc/22580/task/22587/stat : 22587 (java) S 22578 22580 21755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877530516 10869002240 148587 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624926617 0 4 0 16800975 18446604469210225536 0 0 -1 3 0 0 0
[pid=22580/tid=22588] ppid=22578 vsize=10614260 CPUtime=0 cores=1,3,5,7
/proc/22580/task/22588/stat : 22588 (java) S 22578 22580 21755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877530516 10869002240 148592 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624926617 0 4 0 16800975 18446604469210225536 0 0 -1 3 0 0 0
[pid=22580/tid=22589] ppid=22578 vsize=10614260 CPUtime=0 cores=1,3,5,7
/proc/22580/task/22589/stat : 22589 (java) S 22578 22580 21755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877530516 10869002240 148592 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624926617 0 4 0 16800975 18446604469210225536 0 0 -1 7 0 0 0
[pid=22580/tid=22590] ppid=22578 vsize=10614260 CPUtime=0 cores=1,3,5,7
/proc/22580/task/22590/stat : 22590 (java) S 22578 22580 21755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877530516 10869002240 148597 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624926617 0 4 0 16800975 18446604469210225536 0 0 -1 7 0 0 0
[pid=22580/tid=22591] ppid=22578 vsize=10614260 CPUtime=0 cores=1,3,5,7
/proc/22580/task/22591/stat : 22591 (java) S 22578 22580 21755 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 877530517 10869002240 148602 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624927232 0 0 0 16800975 18446604469210225536 0 0 -1 1 0 0 0
[pid=22580/tid=22592] ppid=22578 vsize=10614260 CPUtime=0 cores=1,3,5,7
/proc/22580/task/22592/stat : 22592 (java) S 22578 22580 21755 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 877530518 10869002240 148608 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624926617 0 4 0 16800975 18446604469210225536 0 0 -1 1 0 0 0
[pid=22580/tid=22593] ppid=22578 vsize=10614260 CPUtime=0 cores=1,3,5,7
/proc/22580/task/22593/stat : 22593 (java) S 22578 22580 21755 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877530518 10869002240 148608 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624926617 0 4 0 16800975 18446604469210225536 0 0 -1 1 0 0 0
[pid=22580/tid=22594] ppid=22578 vsize=10614260 CPUtime=0 cores=1,3,5,7
/proc/22580/task/22594/stat : 22594 (java) S 22578 22580 21755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877530520 10869002240 148611 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624934321 0 4 0 16800975 18446604469210225536 0 0 -1 1 0 0 0
[pid=22580/tid=22595] ppid=22578 vsize=10614260 CPUtime=0.42 cores=1,3,5,7
/proc/22580/task/22595/stat : 22595 (java) S 22578 22580 21755 0 -1 4202560 5199 0 0 0 42 0 0 0 19 0 19 0 877530520 10869002240 148616 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624926617 0 4 0 16800975 18446604469210225536 0 0 -1 7 0 0 0
[pid=22580/tid=22596] ppid=22578 vsize=10614260 CPUtime=0.38 cores=1,3,5,7
/proc/22580/task/22596/stat : 22596 (java) S 22578 22580 21755 0 -1 4202560 2984 0 0 0 38 0 0 0 15 0 19 0 877530520 10869002240 148622 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624926617 0 4 0 16800975 18446604469210225536 0 0 -1 5 0 0 0
[pid=22580/tid=22597] ppid=22578 vsize=10614260 CPUtime=0 cores=1,3,5,7
/proc/22580/task/22597/stat : 22597 (java) S 22578 22580 21755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877530520 10869002240 148623 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624926617 0 4 0 16800975 18446604469210225536 0 0 -1 1 0 0 0
[pid=22580/tid=22598] ppid=22578 vsize=10614260 CPUtime=0 cores=1,3,5,7
/proc/22580/task/22598/stat : 22598 (java) S 22578 22580 21755 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 877530520 10869002240 148625 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624927232 0 4 0 16800975 18446604469210225536 0 0 -1 3 0 0 0
[pid=22580/tid=22599] ppid=22578 vsize=10614260 CPUtime=0 cores=1,3,5,7
/proc/22580/task/22599/stat : 22599 (java) S 22578 22580 21755 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877530541 10869002240 148630 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624927232 0 4 0 16800975 18446604469210225536 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.32
Current children cumulated vsize (KiB) 10614260
[startup+3.10156 s]
/proc/loadavg: 2.08 2.02 2.37 2/194 22602
/proc/meminfo: memFree=31145092/32951124 swapFree=67052292/67111528
[pid=22580] ppid=22578 vsize=10614260 CPUtime=4.07 cores=1,3,5,7
/proc/22580/stat : 22580 (java) S 22578 22580 21755 0 -1 4202496 361446 0 1 0 367 40 0 0 25 0 19 0 877530514 10869002240 357868 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22580/statm: 2653565 357868 2226 9 0 2644299 0
[pid=22580/tid=22582] ppid=22578 vsize=10614260 CPUtime=3.08 cores=1,3,5,7
/proc/22580/task/22582/stat : 22582 (java) R 22578 22580 21755 0 -1 4202560 351254 0 1 0 270 38 0 0 25 0 19 0 877530515 10869002240 357868 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=22580/tid=22583] ppid=22578 vsize=10614260 CPUtime=0 cores=1,3,5,7
/proc/22580/task/22583/stat : 22583 (java) S 22578 22580 21755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877530516 10869002240 357868 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624926617 0 4 0 16800975 18446604469210225536 0 0 -1 3 0 0 0
[pid=22580/tid=22584] ppid=22578 vsize=10614260 CPUtime=0 cores=1,3,5,7
/proc/22580/task/22584/stat : 22584 (java) S 22578 22580 21755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877530516 10869002240 357869 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624926617 0 4 0 16800975 18446604469210225536 0 0 -1 7 0 0 0
[pid=22580/tid=22585] ppid=22578 vsize=10614260 CPUtime=0 cores=1,3,5,7
/proc/22580/task/22585/stat : 22585 (java) S 22578 22580 21755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877530516 10869002240 357869 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624926617 0 4 0 16800975 18446604469210225536 0 0 -1 3 0 0 0
[pid=22580/tid=22586] ppid=22578 vsize=10614260 CPUtime=0 cores=1,3,5,7
/proc/22580/task/22586/stat : 22586 (java) S 22578 22580 21755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877530516 10869002240 357869 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624926617 0 4 0 16800975 18446604469210225536 0 0 -1 7 0 0 0
[pid=22580/tid=22587] ppid=22578 vsize=10614260 CPUtime=0 cores=1,3,5,7
/proc/22580/task/22587/stat : 22587 (java) S 22578 22580 21755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877530516 10869002240 357869 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624926617 0 4 0 16800975 18446604469210225536 0 0 -1 3 0 0 0
[pid=22580/tid=22588] ppid=22578 vsize=10614260 CPUtime=0 cores=1,3,5,7
/proc/22580/task/22588/stat : 22588 (java) S 22578 22580 21755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877530516 10869002240 357870 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624926617 0 4 0 16800975 18446604469210225536 0 0 -1 3 0 0 0
[pid=22580/tid=22589] ppid=22578 vsize=10614260 CPUtime=0 cores=1,3,5,7
/proc/22580/task/22589/stat : 22589 (java) S 22578 22580 21755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877530516 10869002240 357870 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624926617 0 4 0 16800975 18446604469210225536 0 0 -1 7 0 0 0
[pid=22580/tid=22590] ppid=22578 vsize=10614260 CPUtime=0 cores=1,3,5,7
/proc/22580/task/22590/stat : 22590 (java) S 22578 22580 21755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877530516 10869002240 357872 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624926617 0 4 0 16800975 18446604469210225536 0 0 -1 7 0 0 0
[pid=22580/tid=22591] ppid=22578 vsize=10614260 CPUtime=0 cores=1,3,5,7
/proc/22580/task/22591/stat : 22591 (java) S 22578 22580 21755 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 877530517 10869002240 357875 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624927232 0 0 0 16800975 18446604469210225536 0 0 -1 1 0 0 0
[pid=22580/tid=22592] ppid=22578 vsize=10614260 CPUtime=0 cores=1,3,5,7
/proc/22580/task/22592/stat : 22592 (java) S 22578 22580 21755 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 877530518 10869002240 357875 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624926617 0 4 0 16800975 18446604469210225536 0 0 -1 1 0 0 0
[pid=22580/tid=22593] ppid=22578 vsize=10614260 CPUtime=0 cores=1,3,5,7
/proc/22580/task/22593/stat : 22593 (java) S 22578 22580 21755 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877530518 10869002240 357875 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624926617 0 4 0 16800975 18446604469210225536 0 0 -1 1 0 0 0
[pid=22580/tid=22594] ppid=22578 vsize=10614260 CPUtime=0 cores=1,3,5,7
/proc/22580/task/22594/stat : 22594 (java) S 22578 22580 21755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877530520 10869002240 357876 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624934321 0 4 0 16800975 18446604469210225536 0 0 -1 1 0 0 0
[pid=22580/tid=22595] ppid=22578 vsize=10614260 CPUtime=0.53 cores=1,3,5,7
/proc/22580/task/22595/stat : 22595 (java) S 22578 22580 21755 0 -1 4202560 6032 0 0 0 53 0 0 0 15 0 19 0 877530520 10869002240 357876 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624926617 0 4 0 16800975 18446604469210225536 0 0 -1 3 0 0 0
[pid=22580/tid=22596] ppid=22578 vsize=10614260 CPUtime=0.43 cores=1,3,5,7
/proc/22580/task/22596/stat : 22596 (java) S 22578 22580 21755 0 -1 4202560 2999 0 0 0 43 0 0 0 15 0 19 0 877530520 10869002240 357877 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624926617 0 4 0 16800975 18446604469210225536 0 0 -1 5 0 0 0
[pid=22580/tid=22597] ppid=22578 vsize=10614260 CPUtime=0 cores=1,3,5,7
/proc/22580/task/22597/stat : 22597 (java) S 22578 22580 21755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877530520 10869002240 357878 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624926617 0 4 0 16800975 18446604469210225536 0 0 -1 1 0 0 0
[pid=22580/tid=22598] ppid=22578 vsize=10614260 CPUtime=0 cores=1,3,5,7
/proc/22580/task/22598/stat : 22598 (java) S 22578 22580 21755 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 877530520 10869002240 357879 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624927232 0 4 0 16800975 18446604469210225536 0 0 -1 3 0 0 0
[pid=22580/tid=22599] ppid=22578 vsize=10614260 CPUtime=0 cores=1,3,5,7
/proc/22580/task/22599/stat : 22599 (java) S 22578 22580 21755 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877530541 10869002240 357880 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624927232 0 4 0 16800975 18446604469210225536 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.07
Current children cumulated vsize (KiB) 10614260
[startup+6.301 s]
/proc/loadavg: 2.08 2.02 2.37 3/214 22658
/proc/meminfo: memFree=29155440/32951124 swapFree=67052292/67111528
[pid=22580] ppid=22578 vsize=10613248 CPUtime=7.6 cores=1,3,5,7
/proc/22580/stat : 22580 (java) S 22578 22580 21755 0 -1 4202496 663150 0 1 0 691 69 0 0 25 0 19 0 877530514 10867965952 658647 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22580/statm: 2653312 658647 2244 9 0 2644046 0
[pid=22580/tid=22582] ppid=22578 vsize=10613248 CPUtime=6.28 cores=1,3,5,7
/proc/22580/task/22582/stat : 22582 (java) R 22578 22580 21755 0 -1 4202560 651091 0 1 0 561 67 0 0 25 0 19 0 877530515 10867965952 658647 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 46912505620703 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=22580/tid=22583] ppid=22578 vsize=10613248 CPUtime=0 cores=1,3,5,7
/proc/22580/task/22583/stat : 22583 (java) S 22578 22580 21755 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 877530516 10867965952 658647 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624926617 0 4 0 16800975 18446604469210225536 0 0 -1 3 0 0 0
[pid=22580/tid=22584] ppid=22578 vsize=10613248 CPUtime=0 cores=1,3,5,7
/proc/22580/task/22584/stat : 22584 (java) S 22578 22580 21755 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 877530516 10867965952 658647 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624926617 0 4 0 16800975 18446604469210225536 0 0 -1 3 0 0 0
[pid=22580/tid=22585] ppid=22578 vsize=10613248 CPUtime=0 cores=1,3,5,7
/proc/22580/task/22585/stat : 22585 (java) S 22578 22580 21755 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 877530516 10867965952 658647 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624926617 0 4 0 16800975 18446604469210225536 0 0 -1 3 0 0 0
[pid=22580/tid=22586] ppid=22578 vsize=10613248 CPUtime=0 cores=1,3,5,7
/proc/22580/task/22586/stat : 22586 (java) S 22578 22580 21755 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 877530516 10867965952 658647 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624926617 0 4 0 16800975 18446604469210225536 0 0 -1 7 0 0 0
[pid=22580/tid=22587] ppid=22578 vsize=10613248 CPUtime=0 cores=1,3,5,7
/proc/22580/task/22587/stat : 22587 (java) S 22578 22580 21755 0 -1 4202560 213 0 0 0 0 0 0 0 18 0 19 0 877530516 10867965952 658647 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624926617 0 4 0 16800975 18446604469210225536 0 0 -1 5 0 0 0
[pid=22580/tid=22588] ppid=22578 vsize=10613248 CPUtime=0 cores=1,3,5,7
/proc/22580/task/22588/stat : 22588 (java) S 22578 22580 21755 0 -1 4202560 267 0 0 0 0 0 0 0 18 0 19 0 877530516 10867965952 658647 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624926617 0 4 0 16800975 18446604469210225536 0 0 -1 3 0 0 0
[pid=22580/tid=22589] ppid=22578 vsize=10613248 CPUtime=0 cores=1,3,5,7
/proc/22580/task/22589/stat : 22589 (java) S 22578 22580 21755 0 -1 4202560 272 0 0 0 0 0 0 0 18 0 19 0 877530516 10867965952 658647 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624926617 0 4 0 16800975 18446604469210225536 0 0 -1 1 0 0 0
[pid=22580/tid=22590] ppid=22578 vsize=10613248 CPUtime=0 cores=1,3,5,7
/proc/22580/task/22590/stat : 22590 (java) S 22578 22580 21755 0 -1 4202560 254 0 0 0 0 0 0 0 18 0 19 0 877530516 10867965952 658647 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624926617 0 4 0 16800975 18446604469210225536 0 0 -1 7 0 0 0
[pid=22580/tid=22591] ppid=22578 vsize=10613248 CPUtime=0 cores=1,3,5,7
/proc/22580/task/22591/stat : 22591 (java) S 22578 22580 21755 0 -1 4202560 10 0 0 0 0 0 0 0 16 0 19 0 877530517 10867965952 658647 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624927232 0 0 0 16800975 18446604469210225536 0 0 -1 1 0 0 0
[pid=22580/tid=22592] ppid=22578 vsize=10613248 CPUtime=0 cores=1,3,5,7
/proc/22580/task/22592/stat : 22592 (java) S 22578 22580 21755 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 877530518 10867965952 658647 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624926617 0 4 0 16800975 18446604469210225536 0 0 -1 1 0 0 0
[pid=22580/tid=22593] ppid=22578 vsize=10613248 CPUtime=0 cores=1,3,5,7
/proc/22580/task/22593/stat : 22593 (java) S 22578 22580 21755 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 877530518 10867965952 658647 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624926617 0 4 0 16800975 18446604469210225536 0 0 -1 1 0 0 0
[pid=22580/tid=22594] ppid=22578 vsize=10613248 CPUtime=0 cores=1,3,5,7
/proc/22580/task/22594/stat : 22594 (java) S 22578 22580 21755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877530520 10867965952 658647 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624934321 0 4 0 16800975 18446604469210225536 0 0 -1 1 0 0 0
[pid=22580/tid=22595] ppid=22578 vsize=10613248 CPUtime=0.75 cores=1,3,5,7
/proc/22580/task/22595/stat : 22595 (java) S 22578 22580 21755 0 -1 4202560 6488 0 0 0 74 1 0 0 16 0 19 0 877530520 10867965952 658647 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624926617 0 4 0 16800975 18446604469210225536 0 0 -1 3 0 0 0
[pid=22580/tid=22596] ppid=22578 vsize=10613248 CPUtime=0.53 cores=1,3,5,7
/proc/22580/task/22596/stat : 22596 (java) S 22578 22580 21755 0 -1 4202560 3399 0 0 0 53 0 0 0 15 0 19 0 877530520 10867965952 658647 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624926617 0 4 0 16800975 18446604469210225536 0 0 -1 5 0 0 0
[pid=22580/tid=22597] ppid=22578 vsize=10613248 CPUtime=0 cores=1,3,5,7
/proc/22580/task/22597/stat : 22597 (java) S 22578 22580 21755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877530520 10867965952 658647 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624926617 0 4 0 16800975 18446604469210225536 0 0 -1 1 0 0 0
[pid=22580/tid=22598] ppid=22578 vsize=10613248 CPUtime=0 cores=1,3,5,7
/proc/22580/task/22598/stat : 22598 (java) S 22578 22580 21755 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 877530520 10867965952 658647 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624927232 0 4 0 16800975 18446604469210225536 0 0 -1 7 0 0 0
[pid=22580/tid=22599] ppid=22578 vsize=10613248 CPUtime=0 cores=1,3,5,7
/proc/22580/task/22599/stat : 22599 (java) S 22578 22580 21755 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877530541 10867965952 658647 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624927232 0 4 0 16800975 18446604469210225536 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 7.6
Current children cumulated vsize (KiB) 10613248
[startup+12.7009 s]
################
# More data... #
################
/proc/22580/task/22592/stat : 22592 (java) S 22578 22580 21755 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 877530518 10867965952 1026490 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624926617 0 4 0 16800975 18446604469210225536 0 0 -1 1 0 0 0
[pid=22580/tid=22593] ppid=22578 vsize=10613248 CPUtime=0 cores=1,3,5,7
/proc/22580/task/22593/stat : 22593 (java) S 22578 22580 21755 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 877530518 10867965952 1026490 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624926617 0 4 0 16800975 18446604469210225536 0 0 -1 1 0 0 0
[pid=22580/tid=22594] ppid=22578 vsize=10613248 CPUtime=0 cores=1,3,5,7
/proc/22580/task/22594/stat : 22594 (java) S 22578 22580 21755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877530520 10867965952 1026490 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624934321 0 4 0 16800975 18446604469210225536 0 0 -1 1 0 0 0
[pid=22580/tid=22595] ppid=22578 vsize=10613248 CPUtime=0.86 cores=1,3,5,7
/proc/22580/task/22595/stat : 22595 (java) S 22578 22580 21755 0 -1 4202560 6496 0 0 0 85 1 0 0 15 0 19 0 877530520 10867965952 1026490 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624926617 0 4 0 16800975 18446604469210225536 0 0 -1 3 0 0 0
[pid=22580/tid=22596] ppid=22578 vsize=10613248 CPUtime=0.61 cores=1,3,5,7
/proc/22580/task/22596/stat : 22596 (java) S 22578 22580 21755 0 -1 4202560 3405 0 0 0 61 0 0 0 16 0 19 0 877530520 10867965952 1026490 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624926617 0 4 0 16800975 18446604469210225536 0 0 -1 5 0 0 0
[pid=22580/tid=22597] ppid=22578 vsize=10613248 CPUtime=0 cores=1,3,5,7
/proc/22580/task/22597/stat : 22597 (java) S 22578 22580 21755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877530520 10867965952 1026490 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624926617 0 4 0 16800975 18446604469210225536 0 0 -1 1 0 0 0
[pid=22580/tid=22598] ppid=22578 vsize=10613248 CPUtime=0 cores=1,3,5,7
/proc/22580/task/22598/stat : 22598 (java) S 22578 22580 21755 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 877530520 10867965952 1026490 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624927232 0 4 0 16800975 18446604469210225536 0 0 -1 5 0 0 0
[pid=22580/tid=22599] ppid=22578 vsize=10613248 CPUtime=0 cores=1,3,5,7
/proc/22580/task/22599/stat : 22599 (java) S 22578 22580 21755 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877530541 10867965952 1026490 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624927232 0 4 0 16800975 18446604469210225536 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1668.71
Current children cumulated vsize (KiB) 10613248
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/214 22715
/proc/meminfo: memFree=23863040/32951124 swapFree=67052292/67111528
[pid=22580] ppid=22578 vsize=10613248 CPUtime=1728.94 cores=1,3,5,7
/proc/22580/stat : 22580 (java) S 22578 22580 21755 0 -1 4202496 1042686 0 1 0 172776 118 0 0 25 0 19 0 877530514 10867965952 1032055 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22580/statm: 2653312 1032055 2245 9 0 2644046 0
[pid=22580/tid=22582] ppid=22578 vsize=10613248 CPUtime=1720.33 cores=1,3,5,7
/proc/22580/task/22582/stat : 22582 (java) R 22578 22580 21755 0 -1 4202560 846679 0 1 0 171944 89 0 0 25 0 19 0 877530515 10867965952 1032055 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 46912505829773 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=22580/tid=22583] ppid=22578 vsize=10613248 CPUtime=0.79 cores=1,3,5,7
/proc/22580/task/22583/stat : 22583 (java) S 22578 22580 21755 0 -1 4202560 21619 0 0 0 76 3 0 0 16 0 19 0 877530516 10867965952 1032055 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624926617 0 4 0 16800975 18446604469210225536 0 0 -1 3 0 0 0
[pid=22580/tid=22584] ppid=22578 vsize=10613248 CPUtime=0.86 cores=1,3,5,7
/proc/22580/task/22584/stat : 22584 (java) S 22578 22580 21755 0 -1 4202560 23048 0 0 0 84 2 0 0 15 0 19 0 877530516 10867965952 1032055 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624926617 0 4 0 16800975 18446604469210225536 0 0 -1 3 0 0 0
[pid=22580/tid=22585] ppid=22578 vsize=10613248 CPUtime=0.98 cores=1,3,5,7
/proc/22580/task/22585/stat : 22585 (java) S 22578 22580 21755 0 -1 4202560 28994 0 0 0 94 4 0 0 15 0 19 0 877530516 10867965952 1032055 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624926617 0 4 0 16800975 18446604469210225536 0 0 -1 1 0 0 0
[pid=22580/tid=22586] ppid=22578 vsize=10613248 CPUtime=0.87 cores=1,3,5,7
/proc/22580/task/22586/stat : 22586 (java) S 22578 22580 21755 0 -1 4202560 23112 0 0 0 84 3 0 0 15 0 19 0 877530516 10867965952 1032055 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624926617 0 4 0 16800975 18446604469210225536 0 0 -1 5 0 0 0
[pid=22580/tid=22587] ppid=22578 vsize=10613248 CPUtime=0.83 cores=1,3,5,7
/proc/22580/task/22587/stat : 22587 (java) S 22578 22580 21755 0 -1 4202560 21161 0 0 0 80 3 0 0 16 0 19 0 877530516 10867965952 1032055 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624926617 0 4 0 16800975 18446604469210225536 0 0 -1 5 0 0 0
[pid=22580/tid=22588] ppid=22578 vsize=10613248 CPUtime=0.77 cores=1,3,5,7
/proc/22580/task/22588/stat : 22588 (java) S 22578 22580 21755 0 -1 4202560 18031 0 0 0 76 1 0 0 16 0 19 0 877530516 10867965952 1032055 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624926617 0 4 0 16800975 18446604469210225536 0 0 -1 1 0 0 0
[pid=22580/tid=22589] ppid=22578 vsize=10613248 CPUtime=0.99 cores=1,3,5,7
/proc/22580/task/22589/stat : 22589 (java) S 22578 22580 21755 0 -1 4202560 25120 0 0 0 96 3 0 0 15 0 19 0 877530516 10867965952 1032055 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624926617 0 4 0 16800975 18446604469210225536 0 0 -1 7 0 0 0
[pid=22580/tid=22590] ppid=22578 vsize=10613248 CPUtime=0.92 cores=1,3,5,7
/proc/22580/task/22590/stat : 22590 (java) S 22578 22580 21755 0 -1 4202560 23660 0 0 0 89 3 0 0 16 0 19 0 877530516 10867965952 1032055 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624926617 0 4 0 16800975 18446604469210225536 0 0 -1 7 0 0 0
[pid=22580/tid=22591] ppid=22578 vsize=10613248 CPUtime=0.02 cores=1,3,5,7
/proc/22580/task/22591/stat : 22591 (java) S 22578 22580 21755 0 -1 4202560 110 0 0 0 1 1 0 0 15 0 19 0 877530517 10867965952 1032055 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624927232 0 0 0 16800975 18446604469210225536 0 0 -1 1 0 0 0
[pid=22580/tid=22592] ppid=22578 vsize=10613248 CPUtime=0 cores=1,3,5,7
/proc/22580/task/22592/stat : 22592 (java) S 22578 22580 21755 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 877530518 10867965952 1032055 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624926617 0 4 0 16800975 18446604469210225536 0 0 -1 1 0 0 0
[pid=22580/tid=22593] ppid=22578 vsize=10613248 CPUtime=0 cores=1,3,5,7
/proc/22580/task/22593/stat : 22593 (java) S 22578 22580 21755 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 877530518 10867965952 1032055 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624926617 0 4 0 16800975 18446604469210225536 0 0 -1 1 0 0 0
[pid=22580/tid=22594] ppid=22578 vsize=10613248 CPUtime=0 cores=1,3,5,7
/proc/22580/task/22594/stat : 22594 (java) S 22578 22580 21755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877530520 10867965952 1032055 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624934321 0 4 0 16800975 18446604469210225536 0 0 -1 1 0 0 0
[pid=22580/tid=22595] ppid=22578 vsize=10613248 CPUtime=0.86 cores=1,3,5,7
/proc/22580/task/22595/stat : 22595 (java) S 22578 22580 21755 0 -1 4202560 6496 0 0 0 85 1 0 0 15 0 19 0 877530520 10867965952 1032055 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624926617 0 4 0 16800975 18446604469210225536 0 0 -1 3 0 0 0
[pid=22580/tid=22596] ppid=22578 vsize=10613248 CPUtime=0.61 cores=1,3,5,7
/proc/22580/task/22596/stat : 22596 (java) S 22578 22580 21755 0 -1 4202560 3405 0 0 0 61 0 0 0 16 0 19 0 877530520 10867965952 1032055 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624926617 0 4 0 16800975 18446604469210225536 0 0 -1 5 0 0 0
[pid=22580/tid=22597] ppid=22578 vsize=10613248 CPUtime=0 cores=1,3,5,7
/proc/22580/task/22597/stat : 22597 (java) S 22578 22580 21755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877530520 10867965952 1032055 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624926617 0 4 0 16800975 18446604469210225536 0 0 -1 1 0 0 0
[pid=22580/tid=22598] ppid=22578 vsize=10613248 CPUtime=0 cores=1,3,5,7
/proc/22580/task/22598/stat : 22598 (java) S 22578 22580 21755 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 877530520 10867965952 1032055 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624927232 0 4 0 16800975 18446604469210225536 0 0 -1 5 0 0 0
[pid=22580/tid=22599] ppid=22578 vsize=10613248 CPUtime=0 cores=1,3,5,7
/proc/22580/task/22599/stat : 22599 (java) S 22578 22580 21755 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877530541 10867965952 1032055 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624927232 0 4 0 16800975 18446604469210225536 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1728.94
Current children cumulated vsize (KiB) 10613248
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/214 22717
/proc/meminfo: memFree=23846888/32951124 swapFree=67052292/67111528
[pid=22580] ppid=22578 vsize=10613248 CPUtime=1789.1 cores=1,3,5,7
/proc/22580/stat : 22580 (java) S 22578 22580 21755 0 -1 4202496 1045279 0 1 0 178791 119 0 0 25 0 19 0 877530514 10867965952 1034574 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22580/statm: 2653312 1034574 2245 9 0 2644046 0
[pid=22580/tid=22582] ppid=22578 vsize=10613248 CPUtime=1780.27 cores=1,3,5,7
/proc/22580/task/22582/stat : 22582 (java) R 22578 22580 21755 0 -1 4202560 846683 0 1 0 177938 89 0 0 25 0 19 0 877530515 10867965952 1034574 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 46912505630321 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=22580/tid=22583] ppid=22578 vsize=10613248 CPUtime=0.82 cores=1,3,5,7
/proc/22580/task/22583/stat : 22583 (java) S 22578 22580 21755 0 -1 4202560 21956 0 0 0 79 3 0 0 16 0 19 0 877530516 10867965952 1034574 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624926617 0 4 0 16800975 18446604469210225536 0 0 -1 3 0 0 0
[pid=22580/tid=22584] ppid=22578 vsize=10613248 CPUtime=0.88 cores=1,3,5,7
/proc/22580/task/22584/stat : 22584 (java) S 22578 22580 21755 0 -1 4202560 23244 0 0 0 86 2 0 0 16 0 19 0 877530516 10867965952 1034574 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624926617 0 4 0 16800975 18446604469210225536 0 0 -1 5 0 0 0
[pid=22580/tid=22585] ppid=22578 vsize=10613248 CPUtime=1.02 cores=1,3,5,7
/proc/22580/task/22585/stat : 22585 (java) S 22578 22580 21755 0 -1 4202560 29662 0 0 0 98 4 0 0 16 0 19 0 877530516 10867965952 1034574 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624926617 0 4 0 16800975 18446604469210225536 0 0 -1 1 0 0 0
[pid=22580/tid=22586] ppid=22578 vsize=10613248 CPUtime=0.9 cores=1,3,5,7
/proc/22580/task/22586/stat : 22586 (java) S 22578 22580 21755 0 -1 4202560 23601 0 0 0 87 3 0 0 15 0 19 0 877530516 10867965952 1034574 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624926617 0 4 0 16800975 18446604469210225536 0 0 -1 5 0 0 0
[pid=22580/tid=22587] ppid=22578 vsize=10613248 CPUtime=0.87 cores=1,3,5,7
/proc/22580/task/22587/stat : 22587 (java) S 22578 22580 21755 0 -1 4202560 21344 0 0 0 84 3 0 0 16 0 19 0 877530516 10867965952 1034574 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624926617 0 4 0 16800975 18446604469210225536 0 0 -1 7 0 0 0
[pid=22580/tid=22588] ppid=22578 vsize=10613248 CPUtime=0.8 cores=1,3,5,7
/proc/22580/task/22588/stat : 22588 (java) S 22578 22580 21755 0 -1 4202560 18526 0 0 0 79 1 0 0 15 0 19 0 877530516 10867965952 1034574 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624926617 0 4 0 16800975 18446604469210225536 0 0 -1 7 0 0 0
[pid=22580/tid=22589] ppid=22578 vsize=10613248 CPUtime=1 cores=1,3,5,7
/proc/22580/task/22589/stat : 22589 (java) S 22578 22580 21755 0 -1 4202560 25143 0 0 0 97 3 0 0 15 0 19 0 877530516 10867965952 1034574 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624926617 0 4 0 16800975 18446604469210225536 0 0 -1 1 0 0 0
[pid=22580/tid=22590] ppid=22578 vsize=10613248 CPUtime=0.94 cores=1,3,5,7
/proc/22580/task/22590/stat : 22590 (java) S 22578 22580 21755 0 -1 4202560 23852 0 0 0 91 3 0 0 15 0 19 0 877530516 10867965952 1034574 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624926617 0 4 0 16800975 18446604469210225536 0 0 -1 7 0 0 0
[pid=22580/tid=22591] ppid=22578 vsize=10613248 CPUtime=0.02 cores=1,3,5,7
/proc/22580/task/22591/stat : 22591 (java) S 22578 22580 21755 0 -1 4202560 114 0 0 0 1 1 0 0 15 0 19 0 877530517 10867965952 1034574 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624927232 0 0 0 16800975 18446604469210225536 0 0 -1 1 0 0 0
[pid=22580/tid=22592] ppid=22578 vsize=10613248 CPUtime=0 cores=1,3,5,7
/proc/22580/task/22592/stat : 22592 (java) S 22578 22580 21755 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 877530518 10867965952 1034574 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624926617 0 4 0 16800975 18446604469210225536 0 0 -1 1 0 0 0
[pid=22580/tid=22593] ppid=22578 vsize=10613248 CPUtime=0 cores=1,3,5,7
/proc/22580/task/22593/stat : 22593 (java) S 22578 22580 21755 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 877530518 10867965952 1034574 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624926617 0 4 0 16800975 18446604469210225536 0 0 -1 1 0 0 0
[pid=22580/tid=22594] ppid=22578 vsize=10613248 CPUtime=0 cores=1,3,5,7
/proc/22580/task/22594/stat : 22594 (java) S 22578 22580 21755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877530520 10867965952 1034574 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624934321 0 4 0 16800975 18446604469210225536 0 0 -1 1 0 0 0
[pid=22580/tid=22595] ppid=22578 vsize=10613248 CPUtime=0.86 cores=1,3,5,7
/proc/22580/task/22595/stat : 22595 (java) S 22578 22580 21755 0 -1 4202560 6496 0 0 0 85 1 0 0 15 0 19 0 877530520 10867965952 1034574 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624926617 0 4 0 16800975 18446604469210225536 0 0 -1 3 0 0 0
[pid=22580/tid=22596] ppid=22578 vsize=10613248 CPUtime=0.61 cores=1,3,5,7
/proc/22580/task/22596/stat : 22596 (java) S 22578 22580 21755 0 -1 4202560 3405 0 0 0 61 0 0 0 16 0 19 0 877530520 10867965952 1034574 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624926617 0 4 0 16800975 18446604469210225536 0 0 -1 5 0 0 0
[pid=22580/tid=22597] ppid=22578 vsize=10613248 CPUtime=0 cores=1,3,5,7
/proc/22580/task/22597/stat : 22597 (java) S 22578 22580 21755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877530520 10867965952 1034574 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624926617 0 4 0 16800975 18446604469210225536 0 0 -1 1 0 0 0
[pid=22580/tid=22598] ppid=22578 vsize=10613248 CPUtime=0 cores=1,3,5,7
/proc/22580/task/22598/stat : 22598 (java) S 22578 22580 21755 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 877530520 10867965952 1034574 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624927232 0 4 0 16800975 18446604469210225536 0 0 -1 5 0 0 0
[pid=22580/tid=22599] ppid=22578 vsize=10613248 CPUtime=0 cores=1,3,5,7
/proc/22580/task/22599/stat : 22599 (java) S 22578 22580 21755 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877530541 10867965952 1034574 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624927232 0 4 0 16800975 18446604469210225536 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1789.1
Current children cumulated vsize (KiB) 10613248
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1793.2 s]
/proc/loadavg: 2.00 2.00 2.04 3/214 22717
/proc/meminfo: memFree=23837572/32951124 swapFree=67052292/67111528
[pid=22580] ppid=22578 vsize=10613248 CPUtime=1800.01 cores=1,3,5,7
/proc/22580/stat : 22580 (java) S 22578 22580 21755 0 -1 4202496 1045281 0 1 0 179882 119 0 0 25 0 19 0 877530514 10867965952 1034574 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22580/statm: 2653312 1034574 2245 9 0 2644046 0
[pid=22580/tid=22582] ppid=22578 vsize=10613248 CPUtime=1791.18 cores=1,3,5,7
/proc/22580/task/22582/stat : 22582 (java) R 22578 22580 21755 0 -1 4202560 846683 0 1 0 179029 89 0 0 25 0 19 0 877530515 10867965952 1034574 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 46912505630619 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=22580/tid=22583] ppid=22578 vsize=10613248 CPUtime=0.82 cores=1,3,5,7
/proc/22580/task/22583/stat : 22583 (java) S 22578 22580 21755 0 -1 4202560 21956 0 0 0 79 3 0 0 16 0 19 0 877530516 10867965952 1034574 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624926617 0 4 0 16800975 18446604469210225536 0 0 -1 3 0 0 0
[pid=22580/tid=22584] ppid=22578 vsize=10613248 CPUtime=0.88 cores=1,3,5,7
/proc/22580/task/22584/stat : 22584 (java) S 22578 22580 21755 0 -1 4202560 23244 0 0 0 86 2 0 0 16 0 19 0 877530516 10867965952 1034574 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624926617 0 4 0 16800975 18446604469210225536 0 0 -1 5 0 0 0
[pid=22580/tid=22585] ppid=22578 vsize=10613248 CPUtime=1.02 cores=1,3,5,7
/proc/22580/task/22585/stat : 22585 (java) S 22578 22580 21755 0 -1 4202560 29662 0 0 0 98 4 0 0 16 0 19 0 877530516 10867965952 1034574 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624926617 0 4 0 16800975 18446604469210225536 0 0 -1 1 0 0 0
[pid=22580/tid=22586] ppid=22578 vsize=10613248 CPUtime=0.9 cores=1,3,5,7
/proc/22580/task/22586/stat : 22586 (java) S 22578 22580 21755 0 -1 4202560 23601 0 0 0 87 3 0 0 15 0 19 0 877530516 10867965952 1034574 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624926617 0 4 0 16800975 18446604469210225536 0 0 -1 5 0 0 0
[pid=22580/tid=22587] ppid=22578 vsize=10613248 CPUtime=0.87 cores=1,3,5,7
/proc/22580/task/22587/stat : 22587 (java) S 22578 22580 21755 0 -1 4202560 21344 0 0 0 84 3 0 0 16 0 19 0 877530516 10867965952 1034574 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624926617 0 4 0 16800975 18446604469210225536 0 0 -1 7 0 0 0
[pid=22580/tid=22588] ppid=22578 vsize=10613248 CPUtime=0.8 cores=1,3,5,7
/proc/22580/task/22588/stat : 22588 (java) S 22578 22580 21755 0 -1 4202560 18526 0 0 0 79 1 0 0 15 0 19 0 877530516 10867965952 1034574 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624926617 0 4 0 16800975 18446604469210225536 0 0 -1 7 0 0 0
[pid=22580/tid=22589] ppid=22578 vsize=10613248 CPUtime=1 cores=1,3,5,7
/proc/22580/task/22589/stat : 22589 (java) S 22578 22580 21755 0 -1 4202560 25143 0 0 0 97 3 0 0 15 0 19 0 877530516 10867965952 1034574 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624926617 0 4 0 16800975 18446604469210225536 0 0 -1 1 0 0 0
[pid=22580/tid=22590] ppid=22578 vsize=10613248 CPUtime=0.94 cores=1,3,5,7
/proc/22580/task/22590/stat : 22590 (java) S 22578 22580 21755 0 -1 4202560 23852 0 0 0 91 3 0 0 15 0 19 0 877530516 10867965952 1034574 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624926617 0 4 0 16800975 18446604469210225536 0 0 -1 7 0 0 0
[pid=22580/tid=22591] ppid=22578 vsize=10613248 CPUtime=0.02 cores=1,3,5,7
/proc/22580/task/22591/stat : 22591 (java) S 22578 22580 21755 0 -1 4202560 114 0 0 0 1 1 0 0 15 0 19 0 877530517 10867965952 1034574 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624927232 0 0 0 16800975 18446604469210225536 0 0 -1 1 0 0 0
[pid=22580/tid=22592] ppid=22578 vsize=10613248 CPUtime=0 cores=1,3,5,7
/proc/22580/task/22592/stat : 22592 (java) S 22578 22580 21755 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 877530518 10867965952 1034574 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624926617 0 4 0 16800975 18446604469210225536 0 0 -1 1 0 0 0
[pid=22580/tid=22593] ppid=22578 vsize=10613248 CPUtime=0 cores=1,3,5,7
/proc/22580/task/22593/stat : 22593 (java) S 22578 22580 21755 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 877530518 10867965952 1034574 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624926617 0 4 0 16800975 18446604469210225536 0 0 -1 1 0 0 0
[pid=22580/tid=22594] ppid=22578 vsize=10613248 CPUtime=0 cores=1,3,5,7
/proc/22580/task/22594/stat : 22594 (java) S 22578 22580 21755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877530520 10867965952 1034574 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624934321 0 4 0 16800975 18446604469210225536 0 0 -1 1 0 0 0
[pid=22580/tid=22595] ppid=22578 vsize=10613248 CPUtime=0.86 cores=1,3,5,7
/proc/22580/task/22595/stat : 22595 (java) S 22578 22580 21755 0 -1 4202560 6496 0 0 0 85 1 0 0 15 0 19 0 877530520 10867965952 1034574 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624926617 0 4 0 16800975 18446604469210225536 0 0 -1 3 0 0 0
[pid=22580/tid=22596] ppid=22578 vsize=10613248 CPUtime=0.61 cores=1,3,5,7
/proc/22580/task/22596/stat : 22596 (java) S 22578 22580 21755 0 -1 4202560 3405 0 0 0 61 0 0 0 16 0 19 0 877530520 10867965952 1034574 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624926617 0 4 0 16800975 18446604469210225536 0 0 -1 5 0 0 0
[pid=22580/tid=22597] ppid=22578 vsize=10613248 CPUtime=0 cores=1,3,5,7
/proc/22580/task/22597/stat : 22597 (java) S 22578 22580 21755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877530520 10867965952 1034574 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624926617 0 4 0 16800975 18446604469210225536 0 0 -1 1 0 0 0
[pid=22580/tid=22598] ppid=22578 vsize=10613248 CPUtime=0 cores=1,3,5,7
/proc/22580/task/22598/stat : 22598 (java) S 22578 22580 21755 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 877530520 10867965952 1034574 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624927232 0 4 0 16800975 18446604469210225536 0 0 -1 5 0 0 0
[pid=22580/tid=22599] ppid=22578 vsize=10613248 CPUtime=0 cores=1,3,5,7
/proc/22580/task/22599/stat : 22599 (java) S 22578 22580 21755 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877530541 10867965952 1034574 33554432000 1073741824 1073778376 140734115293248 18446744073709551615 270624927232 0 4 0 16800975 18446604469210225536 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 10613248
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1793.4 s]
/proc/loadavg: 2.00 2.00 2.04 3/214 22717
/proc/meminfo: memFree=23837572/32951124 swapFree=67052292/67111528
[pid=22580] ppid=22578 vsize=0 CPUtime=1800.24 cores=1,3,5,7
/proc/22580/stat : 22580 (java) Z 22578 22580 21755 0 -1 4203548 1045905 0 1 0 179891 133 0 0 17 0 2 0 877530514 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22580/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.24
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1793.4
CPU time (s): 1800.25
CPU user time (s): 1798.91
CPU system time (s): 1.3398
CPU usage (%): 100.382
Max. virtual memory (cumulated for all children) (KiB): 10614260
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.91
system time used= 1.3398
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1045905
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= 41765
involuntary context switches= 14341
runsolver used 3.16452 second user time and 6.63599 second system time
The end