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-3456408-1307657816/watcher-3456408-1307657816 -o /tmp/evaluation-result-3456408-1307657816/solver-3456408-1307657816 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456408-1307657816.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.08 2.02 1.95 3/195 26578
/proc/meminfo: memFree=31818884/32950928 swapFree=67055948/67111528
[pid=26578] ppid=26576 vsize=27172 CPUtime=0 cores=1,3,5,7
/proc/26578/stat : 26578 (java) S 26576 26578 26165 0 -1 4202496 1178 0 0 0 0 0 0 0 25 0 2 0 877381242 27824128 906 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092035045 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/26578/statm: 6793 906 688 9 0 381 0
[pid=26578/tid=26579] ppid=26576 vsize=27172 CPUtime=0 cores=1,3,5,7
/proc/26578/task/26579/stat : 26579 (java) S 26576 26578 26165 0 -1 4202560 64 0 0 0 0 0 0 0 25 0 2 0 877381243 27824128 906 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208075308679 0 2147483391 4096 0 18446744071699207358 0 0 -1 1 0 0 0
[startup+0.0928961 s]
/proc/loadavg: 2.08 2.02 1.95 3/195 26578
/proc/meminfo: memFree=31818884/32950928 swapFree=67055948/67111528
[pid=26578] ppid=26576 vsize=10539948 CPUtime=0.09 cores=1,3,5,7
/proc/26578/stat : 26578 (java) S 26576 26578 26165 0 -1 4202496 13007 0 1 0 8 1 0 0 25 0 18 0 877381242 10792906752 12670 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/26578/statm: 2634987 12670 2092 9 0 2625721 0
[pid=26578/tid=26579] ppid=26576 vsize=10539948 CPUtime=0.08 cores=1,3,5,7
/proc/26578/task/26579/stat : 26579 (java) R 26576 26578 26165 0 -1 4202560 11051 0 1 0 7 1 0 0 25 0 18 0 877381243 10792906752 12670 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 18446744073699066054 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10539948
[startup+0.100894 s]
/proc/loadavg: 2.08 2.02 1.95 3/195 26578
/proc/meminfo: memFree=31818884/32950928 swapFree=67055948/67111528
[pid=26578] ppid=26576 vsize=10539948 CPUtime=0.1 cores=1,3,5,7
/proc/26578/stat : 26578 (java) S 26576 26578 26165 0 -1 4202496 13125 0 1 0 9 1 0 0 25 0 18 0 877381242 10792906752 12779 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/26578/statm: 2634987 12779 2092 9 0 2625721 0
[pid=26578/tid=26579] ppid=26576 vsize=10539948 CPUtime=0.08 cores=1,3,5,7
/proc/26578/task/26579/stat : 26579 (java) R 26576 26578 26165 0 -1 4202560 11169 0 1 0 7 1 0 0 25 0 18 0 877381243 10792906752 12779 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 47392254866968 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539948
[startup+0.30086 s]
/proc/loadavg: 2.08 2.02 1.95 3/195 26578
/proc/meminfo: memFree=31818884/32950928 swapFree=67055948/67111528
[pid=26578] ppid=26576 vsize=10552532 CPUtime=0.61 cores=1,3,5,7
/proc/26578/stat : 26578 (java) S 26576 26578 26165 0 -1 4202496 21528 0 1 0 58 3 0 0 25 0 18 0 877381242 10805792768 19554 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/26578/statm: 2638133 19563 2201 9 0 2628867 0
[pid=26578/tid=26579] ppid=26576 vsize=10552532 CPUtime=0.28 cores=1,3,5,7
/proc/26578/task/26579/stat : 26579 (java) R 26576 26578 26165 0 -1 4202560 13459 0 1 0 26 2 0 0 25 0 18 0 877381243 10805792768 19563 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 46912505583226 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 10552532
[startup+0.700784 s]
/proc/loadavg: 2.08 2.02 1.95 3/195 26578
/proc/meminfo: memFree=31818884/32950928 swapFree=67055948/67111528
[pid=26578] ppid=26576 vsize=10553560 CPUtime=1.57 cores=1,3,5,7
/proc/26578/stat : 26578 (java) S 26576 26578 26165 0 -1 4202496 42378 0 1 0 152 5 0 0 25 0 19 0 877381242 10806845440 38362 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/26578/statm: 2638390 38366 2228 9 0 2629124 0
[pid=26578/tid=26579] ppid=26576 vsize=10553560 CPUtime=0.69 cores=1,3,5,7
/proc/26578/task/26579/stat : 26579 (java) R 26576 26578 26165 0 -1 4202560 30470 0 1 0 65 4 0 0 25 0 19 0 877381243 10806845440 38366 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 46912505546495 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.57
Current children cumulated vsize (KiB) 10553560
[startup+1.50064 s]
/proc/loadavg: 2.08 2.02 1.95 3/214 26597
/proc/meminfo: memFree=31201484/32950928 swapFree=67055948/67111528
[pid=26578] ppid=26576 vsize=10553560 CPUtime=2.6 cores=1,3,5,7
/proc/26578/stat : 26578 (java) S 26576 26578 26165 0 -1 4202496 111201 0 1 0 247 13 0 0 25 0 19 0 877381242 10806845440 107072 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/26578/statm: 2638390 107074 2234 9 0 2629124 0
[pid=26578/tid=26579] ppid=26576 vsize=10553560 CPUtime=1.49 cores=1,3,5,7
/proc/26578/task/26579/stat : 26579 (java) R 26576 26578 26165 0 -1 4202560 99228 0 1 0 136 13 0 0 25 0 19 0 877381243 10806845440 107074 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 46912505596272 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=26578/tid=26581] ppid=26576 vsize=10553560 CPUtime=0 cores=1,3,5,7
/proc/26578/task/26581/stat : 26581 (java) S 26576 26578 26165 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877381244 10806845440 107075 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092048281 0 4 0 16800975 18446604471139877248 0 0 -1 3 0 0 0
[pid=26578/tid=26582] ppid=26576 vsize=10553560 CPUtime=0 cores=1,3,5,7
/proc/26578/task/26582/stat : 26582 (java) S 26576 26578 26165 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877381244 10806845440 107077 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092048281 0 4 0 16800975 18446604471139877248 0 0 -1 3 0 0 0
[pid=26578/tid=26583] ppid=26576 vsize=10553560 CPUtime=0 cores=1,3,5,7
/proc/26578/task/26583/stat : 26583 (java) S 26576 26578 26165 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877381244 10806845440 107077 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092048281 0 4 0 16800975 18446604471139877248 0 0 -1 3 0 0 0
[pid=26578/tid=26584] ppid=26576 vsize=10553560 CPUtime=0 cores=1,3,5,7
/proc/26578/task/26584/stat : 26584 (java) S 26576 26578 26165 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877381244 10806845440 107079 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092048281 0 4 0 16800975 18446604471139877248 0 0 -1 3 0 0 0
[pid=26578/tid=26585] ppid=26576 vsize=10553560 CPUtime=0 cores=1,3,5,7
/proc/26578/task/26585/stat : 26585 (java) S 26576 26578 26165 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877381244 10806845440 107079 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092048281 0 4 0 16800975 18446604471139877248 0 0 -1 3 0 0 0
[pid=26578/tid=26586] ppid=26576 vsize=10553560 CPUtime=0 cores=1,3,5,7
/proc/26578/task/26586/stat : 26586 (java) S 26576 26578 26165 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877381244 10806845440 107082 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092048281 0 4 0 16800975 18446604471139877248 0 0 -1 3 0 0 0
[pid=26578/tid=26587] ppid=26576 vsize=10553560 CPUtime=0 cores=1,3,5,7
/proc/26578/task/26587/stat : 26587 (java) S 26576 26578 26165 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877381244 10806845440 107082 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092048281 0 4 0 16800975 18446604471139877248 0 0 -1 3 0 0 0
[pid=26578/tid=26588] ppid=26576 vsize=10553560 CPUtime=0 cores=1,3,5,7
/proc/26578/task/26588/stat : 26588 (java) S 26576 26578 26165 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877381244 10806845440 107083 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092048281 0 4 0 16800975 18446604471139877248 0 0 -1 3 0 0 0
[pid=26578/tid=26589] ppid=26576 vsize=10553560 CPUtime=0 cores=1,3,5,7
/proc/26578/task/26589/stat : 26589 (java) S 26576 26578 26165 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 877381245 10806845440 107084 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092048896 0 0 0 16800975 18446604471139877248 0 0 -1 1 0 0 0
[pid=26578/tid=26590] ppid=26576 vsize=10553560 CPUtime=0 cores=1,3,5,7
/proc/26578/task/26590/stat : 26590 (java) S 26576 26578 26165 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 877381246 10806845440 107084 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092048281 0 4 0 16800975 18446604471139877248 0 0 -1 1 0 0 0
[pid=26578/tid=26591] ppid=26576 vsize=10553560 CPUtime=0 cores=1,3,5,7
/proc/26578/task/26591/stat : 26591 (java) S 26576 26578 26165 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877381246 10806845440 107087 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092048281 0 4 0 16800975 18446604471139877248 0 0 -1 1 0 0 0
[pid=26578/tid=26592] ppid=26576 vsize=10553560 CPUtime=0 cores=1,3,5,7
/proc/26578/task/26592/stat : 26592 (java) S 26576 26578 26165 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877381248 10806845440 107087 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092055985 0 4 0 16800975 18446604471139877248 0 0 -1 1 0 0 0
[pid=26578/tid=26593] ppid=26576 vsize=10553560 CPUtime=0.53 cores=1,3,5,7
/proc/26578/task/26593/stat : 26593 (java) S 26576 26578 26165 0 -1 4202560 4914 0 0 0 53 0 0 0 17 0 19 0 877381248 10806845440 107089 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092048281 0 4 0 16800975 18446604471139877248 0 0 -1 3 0 0 0
[pid=26578/tid=26594] ppid=26576 vsize=10553560 CPUtime=0.57 cores=1,3,5,7
/proc/26578/task/26594/stat : 26594 (java) S 26576 26578 26165 0 -1 4202560 5901 0 0 0 57 0 0 0 21 0 19 0 877381248 10806845440 107089 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092048281 0 4 0 16800975 18446604471139877248 0 0 -1 5 0 0 0
[pid=26578/tid=26595] ppid=26576 vsize=10553560 CPUtime=0 cores=1,3,5,7
/proc/26578/task/26595/stat : 26595 (java) S 26576 26578 26165 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877381248 10806845440 107091 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092048281 0 4 0 16800975 18446604471139877248 0 0 -1 1 0 0 0
[pid=26578/tid=26596] ppid=26576 vsize=10553560 CPUtime=0 cores=1,3,5,7
/proc/26578/task/26596/stat : 26596 (java) S 26576 26578 26165 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 877381248 10806845440 107091 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092048896 0 4 0 16800975 18446604471139877248 0 0 -1 3 0 0 0
[pid=26578/tid=26597] ppid=26576 vsize=10553560 CPUtime=0 cores=1,3,5,7
/proc/26578/task/26597/stat : 26597 (java) S 26576 26578 26165 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877381287 10806845440 107092 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092048896 0 4 0 16800975 18446604471139877248 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.6
Current children cumulated vsize (KiB) 10553560
[startup+3.10133 s]
/proc/loadavg: 2.08 2.02 1.95 3/214 26597
/proc/meminfo: memFree=30441984/32950928 swapFree=67055948/67111528
[pid=26578] ppid=26576 vsize=10553560 CPUtime=4.38 cores=1,3,5,7
/proc/26578/stat : 26578 (java) S 26576 26578 26165 0 -1 4202496 323610 0 1 0 402 36 0 0 25 0 19 0 877381242 10806845440 319480 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/26578/statm: 2638390 319487 2234 9 0 2629124 0
[pid=26578/tid=26579] ppid=26576 vsize=10553560 CPUtime=3.09 cores=1,3,5,7
/proc/26578/task/26579/stat : 26579 (java) R 26576 26578 26165 0 -1 4202560 311627 0 1 0 274 35 0 0 25 0 19 0 877381243 10806845440 319489 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 46912505546480 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=26578/tid=26581] ppid=26576 vsize=10553560 CPUtime=0 cores=1,3,5,7
/proc/26578/task/26581/stat : 26581 (java) S 26576 26578 26165 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877381244 10806845440 319495 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092048281 0 4 0 16800975 18446604471139877248 0 0 -1 3 0 0 0
[pid=26578/tid=26582] ppid=26576 vsize=10553560 CPUtime=0 cores=1,3,5,7
/proc/26578/task/26582/stat : 26582 (java) S 26576 26578 26165 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877381244 10806845440 319496 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092048281 0 4 0 16800975 18446604471139877248 0 0 -1 3 0 0 0
[pid=26578/tid=26583] ppid=26576 vsize=10553560 CPUtime=0 cores=1,3,5,7
/proc/26578/task/26583/stat : 26583 (java) S 26576 26578 26165 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877381244 10806845440 319502 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092048281 0 4 0 16800975 18446604471139877248 0 0 -1 3 0 0 0
[pid=26578/tid=26584] ppid=26576 vsize=10553560 CPUtime=0 cores=1,3,5,7
/proc/26578/task/26584/stat : 26584 (java) S 26576 26578 26165 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877381244 10806845440 319504 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092048281 0 4 0 16800975 18446604471139877248 0 0 -1 3 0 0 0
[pid=26578/tid=26585] ppid=26576 vsize=10553560 CPUtime=0 cores=1,3,5,7
/proc/26578/task/26585/stat : 26585 (java) S 26576 26578 26165 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877381244 10806845440 319509 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092048281 0 4 0 16800975 18446604471139877248 0 0 -1 3 0 0 0
[pid=26578/tid=26586] ppid=26576 vsize=10553560 CPUtime=0 cores=1,3,5,7
/proc/26578/task/26586/stat : 26586 (java) S 26576 26578 26165 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877381244 10806845440 319512 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092048281 0 4 0 16800975 18446604471139877248 0 0 -1 3 0 0 0
[pid=26578/tid=26587] ppid=26576 vsize=10553560 CPUtime=0 cores=1,3,5,7
/proc/26578/task/26587/stat : 26587 (java) S 26576 26578 26165 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877381244 10806845440 319516 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092048281 0 4 0 16800975 18446604471139877248 0 0 -1 3 0 0 0
[pid=26578/tid=26588] ppid=26576 vsize=10553560 CPUtime=0 cores=1,3,5,7
/proc/26578/task/26588/stat : 26588 (java) S 26576 26578 26165 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877381244 10806845440 319520 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092048281 0 4 0 16800975 18446604471139877248 0 0 -1 3 0 0 0
[pid=26578/tid=26589] ppid=26576 vsize=10553560 CPUtime=0 cores=1,3,5,7
/proc/26578/task/26589/stat : 26589 (java) S 26576 26578 26165 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 877381245 10806845440 319523 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092048896 0 0 0 16800975 18446604471139877248 0 0 -1 1 0 0 0
[pid=26578/tid=26590] ppid=26576 vsize=10553560 CPUtime=0 cores=1,3,5,7
/proc/26578/task/26590/stat : 26590 (java) S 26576 26578 26165 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 877381246 10806845440 319528 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092048281 0 4 0 16800975 18446604471139877248 0 0 -1 1 0 0 0
[pid=26578/tid=26591] ppid=26576 vsize=10553560 CPUtime=0 cores=1,3,5,7
/proc/26578/task/26591/stat : 26591 (java) S 26576 26578 26165 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877381246 10806845440 319530 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092048281 0 4 0 16800975 18446604471139877248 0 0 -1 1 0 0 0
[pid=26578/tid=26592] ppid=26576 vsize=10553560 CPUtime=0 cores=1,3,5,7
/proc/26578/task/26592/stat : 26592 (java) S 26576 26578 26165 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877381248 10806845440 319536 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092055985 0 4 0 16800975 18446604471139877248 0 0 -1 1 0 0 0
[pid=26578/tid=26593] ppid=26576 vsize=10553560 CPUtime=0.54 cores=1,3,5,7
/proc/26578/task/26593/stat : 26593 (java) S 26576 26578 26165 0 -1 4202560 4915 0 0 0 54 0 0 0 15 0 19 0 877381248 10806845440 319537 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092048281 0 4 0 16800975 18446604471139877248 0 0 -1 3 0 0 0
[pid=26578/tid=26594] ppid=26576 vsize=10553560 CPUtime=0.73 cores=1,3,5,7
/proc/26578/task/26594/stat : 26594 (java) S 26576 26578 26165 0 -1 4202560 5917 0 0 0 73 0 0 0 15 0 19 0 877381248 10806845440 319543 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092048281 0 4 0 16800975 18446604471139877248 0 0 -1 5 0 0 0
[pid=26578/tid=26595] ppid=26576 vsize=10553560 CPUtime=0 cores=1,3,5,7
/proc/26578/task/26595/stat : 26595 (java) S 26576 26578 26165 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877381248 10806845440 319545 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092048281 0 4 0 16800975 18446604471139877248 0 0 -1 1 0 0 0
[pid=26578/tid=26596] ppid=26576 vsize=10553560 CPUtime=0 cores=1,3,5,7
/proc/26578/task/26596/stat : 26596 (java) S 26576 26578 26165 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 877381248 10806845440 319549 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092048896 0 4 0 16800975 18446604471139877248 0 0 -1 3 0 0 0
[pid=26578/tid=26597] ppid=26576 vsize=10553560 CPUtime=0 cores=1,3,5,7
/proc/26578/task/26597/stat : 26597 (java) S 26576 26578 26165 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877381287 10806845440 319553 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092048896 0 4 0 16800975 18446604471139877248 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.38
Current children cumulated vsize (KiB) 10553560
[startup+6.30072 s]
/proc/loadavg: 2.07 2.02 1.95 3/214 26597
/proc/meminfo: memFree=27881336/32950928 swapFree=67055948/67111528
[pid=26578] ppid=26576 vsize=10553560 CPUtime=7.66 cores=1,3,5,7
/proc/26578/stat : 26578 (java) S 26576 26578 26165 0 -1 4202496 665327 0 1 0 696 70 0 0 25 0 19 0 877381242 10806845440 661190 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/26578/statm: 2638390 661190 2248 9 0 2629124 0
[pid=26578/tid=26579] ppid=26576 vsize=10553560 CPUtime=6.27 cores=1,3,5,7
/proc/26578/task/26579/stat : 26579 (java) R 26576 26578 26165 0 -1 4202560 651025 0 1 0 558 69 0 0 25 0 19 0 877381243 10806845440 661190 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 46912505821143 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=26578/tid=26581] ppid=26576 vsize=10553560 CPUtime=0 cores=1,3,5,7
/proc/26578/task/26581/stat : 26581 (java) S 26576 26578 26165 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 877381244 10806845440 661190 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092048281 0 4 0 16800975 18446604471139877248 0 0 -1 7 0 0 0
[pid=26578/tid=26582] ppid=26576 vsize=10553560 CPUtime=0 cores=1,3,5,7
/proc/26578/task/26582/stat : 26582 (java) S 26576 26578 26165 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 877381244 10806845440 661190 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092048281 0 4 0 16800975 18446604471139877248 0 0 -1 3 0 0 0
[pid=26578/tid=26583] ppid=26576 vsize=10553560 CPUtime=0 cores=1,3,5,7
/proc/26578/task/26583/stat : 26583 (java) S 26576 26578 26165 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 877381244 10806845440 661190 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092048281 0 4 0 16800975 18446604471139877248 0 0 -1 3 0 0 0
[pid=26578/tid=26584] ppid=26576 vsize=10553560 CPUtime=0 cores=1,3,5,7
/proc/26578/task/26584/stat : 26584 (java) S 26576 26578 26165 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 877381244 10806845440 661190 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092048281 0 4 0 16800975 18446604471139877248 0 0 -1 3 0 0 0
[pid=26578/tid=26585] ppid=26576 vsize=10553560 CPUtime=0 cores=1,3,5,7
/proc/26578/task/26585/stat : 26585 (java) S 26576 26578 26165 0 -1 4202560 505 0 0 0 0 0 0 0 18 0 19 0 877381244 10806845440 661190 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092048281 0 4 0 16800975 18446604471139877248 0 0 -1 1 0 0 0
[pid=26578/tid=26586] ppid=26576 vsize=10553560 CPUtime=0 cores=1,3,5,7
/proc/26578/task/26586/stat : 26586 (java) S 26576 26578 26165 0 -1 4202560 553 0 0 0 0 0 0 0 18 0 19 0 877381244 10806845440 661190 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092048281 0 4 0 16800975 18446604471139877248 0 0 -1 5 0 0 0
[pid=26578/tid=26587] ppid=26576 vsize=10553560 CPUtime=0 cores=1,3,5,7
/proc/26578/task/26587/stat : 26587 (java) S 26576 26578 26165 0 -1 4202560 553 0 0 0 0 0 0 0 18 0 19 0 877381244 10806845440 661190 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092048281 0 4 0 16800975 18446604471139877248 0 0 -1 7 0 0 0
[pid=26578/tid=26588] ppid=26576 vsize=10553560 CPUtime=0 cores=1,3,5,7
/proc/26578/task/26588/stat : 26588 (java) S 26576 26578 26165 0 -1 4202560 680 0 0 0 0 0 0 0 18 0 19 0 877381244 10806845440 661190 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092048281 0 4 0 16800975 18446604471139877248 0 0 -1 3 0 0 0
[pid=26578/tid=26589] ppid=26576 vsize=10553560 CPUtime=0 cores=1,3,5,7
/proc/26578/task/26589/stat : 26589 (java) S 26576 26578 26165 0 -1 4202560 10 0 0 0 0 0 0 0 16 0 19 0 877381245 10806845440 661190 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092048896 0 0 0 16800975 18446604471139877248 0 0 -1 1 0 0 0
[pid=26578/tid=26590] ppid=26576 vsize=10553560 CPUtime=0 cores=1,3,5,7
/proc/26578/task/26590/stat : 26590 (java) S 26576 26578 26165 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 877381246 10806845440 661190 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092048281 0 4 0 16800975 18446604471139877248 0 0 -1 1 0 0 0
[pid=26578/tid=26591] ppid=26576 vsize=10553560 CPUtime=0 cores=1,3,5,7
/proc/26578/task/26591/stat : 26591 (java) S 26576 26578 26165 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 877381246 10806845440 661190 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092048281 0 4 0 16800975 18446604471139877248 0 0 -1 1 0 0 0
[pid=26578/tid=26592] ppid=26576 vsize=10553560 CPUtime=0 cores=1,3,5,7
/proc/26578/task/26592/stat : 26592 (java) S 26576 26578 26165 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877381248 10806845440 661190 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092055985 0 4 0 16800975 18446604471139877248 0 0 -1 1 0 0 0
[pid=26578/tid=26593] ppid=26576 vsize=10553560 CPUtime=0.6 cores=1,3,5,7
/proc/26578/task/26593/stat : 26593 (java) S 26576 26578 26165 0 -1 4202560 4929 0 0 0 60 0 0 0 15 0 19 0 877381248 10806845440 661190 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092048281 0 4 0 16800975 18446604471139877248 0 0 -1 3 0 0 0
[pid=26578/tid=26594] ppid=26576 vsize=10553560 CPUtime=0.74 cores=1,3,5,7
/proc/26578/task/26594/stat : 26594 (java) S 26576 26578 26165 0 -1 4202560 5917 0 0 0 74 0 0 0 15 0 19 0 877381248 10806845440 661190 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092048281 0 4 0 16800975 18446604471139877248 0 0 -1 5 0 0 0
################
# More data... #
################
/proc/26578/task/26590/stat : 26590 (java) S 26576 26578 26165 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 877381246 10808020992 962590 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092048281 0 4 0 16800975 18446604471139877248 0 0 -1 1 0 0 0
[pid=26578/tid=26591] ppid=26576 vsize=10554708 CPUtime=0 cores=1,3,5,7
/proc/26578/task/26591/stat : 26591 (java) S 26576 26578 26165 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 877381246 10808020992 962590 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092048281 0 4 0 16800975 18446604471139877248 0 0 -1 1 0 0 0
[pid=26578/tid=26592] ppid=26576 vsize=10554708 CPUtime=0 cores=1,3,5,7
/proc/26578/task/26592/stat : 26592 (java) S 26576 26578 26165 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877381248 10808020992 962590 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092055985 0 4 0 16800975 18446604471139877248 0 0 -1 1 0 0 0
[pid=26578/tid=26593] ppid=26576 vsize=10554708 CPUtime=1.32 cores=1,3,5,7
/proc/26578/task/26593/stat : 26593 (java) S 26576 26578 26165 0 -1 4202560 7961 0 0 0 132 0 0 0 16 0 19 0 877381248 10808020992 962590 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092048281 0 4 0 16800975 18446604471139877248 0 0 -1 5 0 0 0
[pid=26578/tid=26594] ppid=26576 vsize=10554708 CPUtime=0.85 cores=1,3,5,7
/proc/26578/task/26594/stat : 26594 (java) S 26576 26578 26165 0 -1 4202560 5956 0 0 0 85 0 0 0 16 0 19 0 877381248 10808020992 962590 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092048281 0 4 0 16800975 18446604471139877248 0 0 -1 3 0 0 0
[pid=26578/tid=26595] ppid=26576 vsize=10554708 CPUtime=0 cores=1,3,5,7
/proc/26578/task/26595/stat : 26595 (java) S 26576 26578 26165 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877381248 10808020992 962590 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092048281 0 4 0 16800975 18446604471139877248 0 0 -1 1 0 0 0
[pid=26578/tid=26596] ppid=26576 vsize=10554708 CPUtime=0 cores=1,3,5,7
/proc/26578/task/26596/stat : 26596 (java) S 26576 26578 26165 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 877381248 10808020992 962590 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092048896 0 4 0 16800975 18446604471139877248 0 0 -1 1 0 0 0
[pid=26578/tid=26597] ppid=26576 vsize=10554708 CPUtime=0 cores=1,3,5,7
/proc/26578/task/26597/stat : 26597 (java) S 26576 26578 26165 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877381287 10808020992 962590 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092048896 0 4 0 16800975 18446604471139877248 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1666.8
Current children cumulated vsize (KiB) 10554708
[startup+1722.3 s]
/proc/loadavg: 2.04 2.01 1.97 3/214 26643
/proc/meminfo: memFree=24427280/32950928 swapFree=67055948/67111528
[pid=26578] ppid=26576 vsize=10554708 CPUtime=1726.83 cores=1,3,5,7
/proc/26578/stat : 26578 (java) S 26576 26578 26165 0 -1 4202496 972028 0 1 0 172576 107 0 0 25 0 19 0 877381242 10808020992 962844 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/26578/statm: 2638677 962844 2264 9 0 2629411 0
[pid=26578/tid=26579] ppid=26576 vsize=10554708 CPUtime=1720.24 cores=1,3,5,7
/proc/26578/task/26579/stat : 26579 (java) R 26576 26578 26165 0 -1 4202560 836921 0 1 0 171935 89 0 0 25 0 19 0 877381243 10808020992 962844 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 46912505596176 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=26578/tid=26581] ppid=26576 vsize=10554708 CPUtime=0.37 cores=1,3,5,7
/proc/26578/task/26581/stat : 26581 (java) S 26576 26578 26165 0 -1 4202560 13699 0 0 0 36 1 0 0 16 0 19 0 877381244 10808020992 962844 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092048281 0 4 0 16800975 18446604471139877248 0 0 -1 3 0 0 0
[pid=26578/tid=26582] ppid=26576 vsize=10554708 CPUtime=0.41 cores=1,3,5,7
/proc/26578/task/26582/stat : 26582 (java) S 26576 26578 26165 0 -1 4202560 17261 0 0 0 39 2 0 0 15 0 19 0 877381244 10808020992 962844 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092048281 0 4 0 16800975 18446604471139877248 0 0 -1 7 0 0 0
[pid=26578/tid=26583] ppid=26576 vsize=10554708 CPUtime=0.3 cores=1,3,5,7
/proc/26578/task/26583/stat : 26583 (java) S 26576 26578 26165 0 -1 4202560 12999 0 0 0 29 1 0 0 16 0 19 0 877381244 10808020992 962844 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092048281 0 4 0 16800975 18446604471139877248 0 0 -1 5 0 0 0
[pid=26578/tid=26584] ppid=26576 vsize=10554708 CPUtime=0.42 cores=1,3,5,7
/proc/26578/task/26584/stat : 26584 (java) S 26576 26578 26165 0 -1 4202560 15757 0 0 0 40 2 0 0 15 0 19 0 877381244 10808020992 962844 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092048281 0 4 0 16800975 18446604471139877248 0 0 -1 3 0 0 0
[pid=26578/tid=26585] ppid=26576 vsize=10554708 CPUtime=0.3 cores=1,3,5,7
/proc/26578/task/26585/stat : 26585 (java) S 26576 26578 26165 0 -1 4202560 10401 0 0 0 29 1 0 0 16 0 19 0 877381244 10808020992 962844 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092048281 0 4 0 16800975 18446604471139877248 0 0 -1 1 0 0 0
[pid=26578/tid=26586] ppid=26576 vsize=10554708 CPUtime=0.45 cores=1,3,5,7
/proc/26578/task/26586/stat : 26586 (java) S 26576 26578 26165 0 -1 4202560 13552 0 0 0 44 1 0 0 16 0 19 0 877381244 10808020992 962844 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092048281 0 4 0 16800975 18446604471139877248 0 0 -1 7 0 0 0
[pid=26578/tid=26587] ppid=26576 vsize=10554708 CPUtime=0.47 cores=1,3,5,7
/proc/26578/task/26587/stat : 26587 (java) S 26576 26578 26165 0 -1 4202560 16958 0 0 0 45 2 0 0 15 0 19 0 877381244 10808020992 962844 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092048281 0 4 0 16800975 18446604471139877248 0 0 -1 3 0 0 0
[pid=26578/tid=26588] ppid=26576 vsize=10554708 CPUtime=0.37 cores=1,3,5,7
/proc/26578/task/26588/stat : 26588 (java) S 26576 26578 26165 0 -1 4202560 14258 0 0 0 35 2 0 0 15 0 19 0 877381244 10808020992 962844 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092048281 0 4 0 16800975 18446604471139877248 0 0 -1 7 0 0 0
[pid=26578/tid=26589] ppid=26576 vsize=10554708 CPUtime=1.2 cores=1,3,5,7
/proc/26578/task/26589/stat : 26589 (java) S 26576 26578 26165 0 -1 4202560 5054 0 0 0 120 0 0 0 15 0 19 0 877381245 10808020992 962844 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092048896 0 0 0 16800975 18446604471139877248 0 0 -1 3 0 0 0
[pid=26578/tid=26590] ppid=26576 vsize=10554708 CPUtime=0 cores=1,3,5,7
/proc/26578/task/26590/stat : 26590 (java) S 26576 26578 26165 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 877381246 10808020992 962844 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092048281 0 4 0 16800975 18446604471139877248 0 0 -1 1 0 0 0
[pid=26578/tid=26591] ppid=26576 vsize=10554708 CPUtime=0 cores=1,3,5,7
/proc/26578/task/26591/stat : 26591 (java) S 26576 26578 26165 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 877381246 10808020992 962844 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092048281 0 4 0 16800975 18446604471139877248 0 0 -1 1 0 0 0
[pid=26578/tid=26592] ppid=26576 vsize=10554708 CPUtime=0 cores=1,3,5,7
/proc/26578/task/26592/stat : 26592 (java) S 26576 26578 26165 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877381248 10808020992 962844 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092055985 0 4 0 16800975 18446604471139877248 0 0 -1 1 0 0 0
[pid=26578/tid=26593] ppid=26576 vsize=10554708 CPUtime=1.32 cores=1,3,5,7
/proc/26578/task/26593/stat : 26593 (java) S 26576 26578 26165 0 -1 4202560 7961 0 0 0 132 0 0 0 16 0 19 0 877381248 10808020992 962844 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092048281 0 4 0 16800975 18446604471139877248 0 0 -1 5 0 0 0
[pid=26578/tid=26594] ppid=26576 vsize=10554708 CPUtime=0.85 cores=1,3,5,7
/proc/26578/task/26594/stat : 26594 (java) S 26576 26578 26165 0 -1 4202560 5956 0 0 0 85 0 0 0 16 0 19 0 877381248 10808020992 962844 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092048281 0 4 0 16800975 18446604471139877248 0 0 -1 3 0 0 0
[pid=26578/tid=26595] ppid=26576 vsize=10554708 CPUtime=0 cores=1,3,5,7
/proc/26578/task/26595/stat : 26595 (java) S 26576 26578 26165 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877381248 10808020992 962844 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092048281 0 4 0 16800975 18446604471139877248 0 0 -1 1 0 0 0
[pid=26578/tid=26596] ppid=26576 vsize=10554708 CPUtime=0 cores=1,3,5,7
/proc/26578/task/26596/stat : 26596 (java) S 26576 26578 26165 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 877381248 10808020992 962844 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092048896 0 4 0 16800975 18446604471139877248 0 0 -1 1 0 0 0
[pid=26578/tid=26597] ppid=26576 vsize=10554708 CPUtime=0 cores=1,3,5,7
/proc/26578/task/26597/stat : 26597 (java) S 26576 26578 26165 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877381287 10808020992 962844 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092048896 0 4 0 16800975 18446604471139877248 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1726.83
Current children cumulated vsize (KiB) 10554708
[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 1.97 3/214 26645
/proc/meminfo: memFree=24416684/32950928 swapFree=67055948/67111528
[pid=26578] ppid=26576 vsize=10554708 CPUtime=1786.91 cores=1,3,5,7
/proc/26578/stat : 26578 (java) S 26576 26578 26165 0 -1 4202496 972817 0 1 0 178584 107 0 0 25 0 19 0 877381242 10808020992 963594 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/26578/statm: 2638677 963594 2264 9 0 2629411 0
[pid=26578/tid=26579] ppid=26576 vsize=10554708 CPUtime=1780.22 cores=1,3,5,7
/proc/26578/task/26579/stat : 26579 (java) R 26576 26578 26165 0 -1 4202560 836923 0 1 0 177933 89 0 0 25 0 19 0 877381243 10808020992 963594 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 46912505780884 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=26578/tid=26581] ppid=26576 vsize=10554708 CPUtime=0.38 cores=1,3,5,7
/proc/26578/task/26581/stat : 26581 (java) S 26576 26578 26165 0 -1 4202560 13815 0 0 0 37 1 0 0 15 0 19 0 877381244 10808020992 963594 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092048281 0 4 0 16800975 18446604471139877248 0 0 -1 3 0 0 0
[pid=26578/tid=26582] ppid=26576 vsize=10554708 CPUtime=0.42 cores=1,3,5,7
/proc/26578/task/26582/stat : 26582 (java) S 26576 26578 26165 0 -1 4202560 17348 0 0 0 40 2 0 0 15 0 19 0 877381244 10808020992 963594 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092048281 0 4 0 16800975 18446604471139877248 0 0 -1 7 0 0 0
[pid=26578/tid=26583] ppid=26576 vsize=10554708 CPUtime=0.33 cores=1,3,5,7
/proc/26578/task/26583/stat : 26583 (java) S 26576 26578 26165 0 -1 4202560 13261 0 0 0 32 1 0 0 16 0 19 0 877381244 10808020992 963594 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092048281 0 4 0 16800975 18446604471139877248 0 0 -1 5 0 0 0
[pid=26578/tid=26584] ppid=26576 vsize=10554708 CPUtime=0.44 cores=1,3,5,7
/proc/26578/task/26584/stat : 26584 (java) S 26576 26578 26165 0 -1 4202560 15823 0 0 0 42 2 0 0 16 0 19 0 877381244 10808020992 963594 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092048281 0 4 0 16800975 18446604471139877248 0 0 -1 7 0 0 0
[pid=26578/tid=26585] ppid=26576 vsize=10554708 CPUtime=0.31 cores=1,3,5,7
/proc/26578/task/26585/stat : 26585 (java) S 26576 26578 26165 0 -1 4202560 10509 0 0 0 30 1 0 0 15 0 19 0 877381244 10808020992 963594 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092048281 0 4 0 16800975 18446604471139877248 0 0 -1 1 0 0 0
[pid=26578/tid=26586] ppid=26576 vsize=10554708 CPUtime=0.45 cores=1,3,5,7
/proc/26578/task/26586/stat : 26586 (java) S 26576 26578 26165 0 -1 4202560 13552 0 0 0 44 1 0 0 15 0 19 0 877381244 10808020992 963594 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092048281 0 4 0 16800975 18446604471139877248 0 0 -1 7 0 0 0
[pid=26578/tid=26587] ppid=26576 vsize=10554708 CPUtime=0.49 cores=1,3,5,7
/proc/26578/task/26587/stat : 26587 (java) S 26576 26578 26165 0 -1 4202560 17019 0 0 0 47 2 0 0 16 0 19 0 877381244 10808020992 963594 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092048281 0 4 0 16800975 18446604471139877248 0 0 -1 3 0 0 0
[pid=26578/tid=26588] ppid=26576 vsize=10554708 CPUtime=0.39 cores=1,3,5,7
/proc/26578/task/26588/stat : 26588 (java) S 26576 26578 26165 0 -1 4202560 14339 0 0 0 37 2 0 0 16 0 19 0 877381244 10808020992 963594 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092048281 0 4 0 16800975 18446604471139877248 0 0 -1 1 0 0 0
[pid=26578/tid=26589] ppid=26576 vsize=10554708 CPUtime=1.2 cores=1,3,5,7
/proc/26578/task/26589/stat : 26589 (java) S 26576 26578 26165 0 -1 4202560 5058 0 0 0 120 0 0 0 15 0 19 0 877381245 10808020992 963594 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092048896 0 0 0 16800975 18446604471139877248 0 0 -1 3 0 0 0
[pid=26578/tid=26590] ppid=26576 vsize=10554708 CPUtime=0 cores=1,3,5,7
/proc/26578/task/26590/stat : 26590 (java) S 26576 26578 26165 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 877381246 10808020992 963594 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092048281 0 4 0 16800975 18446604471139877248 0 0 -1 1 0 0 0
[pid=26578/tid=26591] ppid=26576 vsize=10554708 CPUtime=0 cores=1,3,5,7
/proc/26578/task/26591/stat : 26591 (java) S 26576 26578 26165 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 877381246 10808020992 963594 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092048281 0 4 0 16800975 18446604471139877248 0 0 -1 1 0 0 0
[pid=26578/tid=26592] ppid=26576 vsize=10554708 CPUtime=0 cores=1,3,5,7
/proc/26578/task/26592/stat : 26592 (java) S 26576 26578 26165 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877381248 10808020992 963594 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092055985 0 4 0 16800975 18446604471139877248 0 0 -1 1 0 0 0
[pid=26578/tid=26593] ppid=26576 vsize=10554708 CPUtime=1.32 cores=1,3,5,7
/proc/26578/task/26593/stat : 26593 (java) S 26576 26578 26165 0 -1 4202560 7961 0 0 0 132 0 0 0 16 0 19 0 877381248 10808020992 963594 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092048281 0 4 0 16800975 18446604471139877248 0 0 -1 5 0 0 0
[pid=26578/tid=26594] ppid=26576 vsize=10554708 CPUtime=0.85 cores=1,3,5,7
/proc/26578/task/26594/stat : 26594 (java) S 26576 26578 26165 0 -1 4202560 5956 0 0 0 85 0 0 0 16 0 19 0 877381248 10808020992 963594 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092048281 0 4 0 16800975 18446604471139877248 0 0 -1 3 0 0 0
[pid=26578/tid=26595] ppid=26576 vsize=10554708 CPUtime=0 cores=1,3,5,7
/proc/26578/task/26595/stat : 26595 (java) S 26576 26578 26165 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877381248 10808020992 963594 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092048281 0 4 0 16800975 18446604471139877248 0 0 -1 1 0 0 0
[pid=26578/tid=26596] ppid=26576 vsize=10554708 CPUtime=0 cores=1,3,5,7
/proc/26578/task/26596/stat : 26596 (java) S 26576 26578 26165 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 877381248 10808020992 963594 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092048896 0 4 0 16800975 18446604471139877248 0 0 -1 1 0 0 0
[pid=26578/tid=26597] ppid=26576 vsize=10554708 CPUtime=0 cores=1,3,5,7
/proc/26578/task/26597/stat : 26597 (java) S 26576 26578 26165 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877381287 10808020992 963594 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092048896 0 4 0 16800975 18446604471139877248 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1786.91
Current children cumulated vsize (KiB) 10554708
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1795.4 s]
/proc/loadavg: 2.01 2.01 1.97 3/214 26704
/proc/meminfo: memFree=27463252/32950928 swapFree=67055948/67111528
[pid=26578] ppid=26576 vsize=10554708 CPUtime=1800.08 cores=1,3,5,7
/proc/26578/stat : 26578 (java) S 26576 26578 26165 0 -1 4202496 974315 0 1 0 179900 108 0 0 25 0 19 0 877381242 10808020992 965072 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/26578/statm: 2638677 965072 2264 9 0 2629411 0
[pid=26578/tid=26579] ppid=26576 vsize=10554708 CPUtime=1793.3 cores=1,3,5,7
/proc/26578/task/26579/stat : 26579 (java) R 26576 26578 26165 0 -1 4202560 836924 0 1 0 179241 89 0 0 25 0 19 0 877381243 10808020992 965072 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 46912506165114 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=26578/tid=26581] ppid=26576 vsize=10554708 CPUtime=0.4 cores=1,3,5,7
/proc/26578/task/26581/stat : 26581 (java) S 26576 26578 26165 0 -1 4202560 13979 0 0 0 39 1 0 0 16 0 19 0 877381244 10808020992 965072 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092048281 0 4 0 16800975 18446604471139877248 0 0 -1 3 0 0 0
[pid=26578/tid=26582] ppid=26576 vsize=10554708 CPUtime=0.44 cores=1,3,5,7
/proc/26578/task/26582/stat : 26582 (java) S 26576 26578 26165 0 -1 4202560 18247 0 0 0 42 2 0 0 16 0 19 0 877381244 10808020992 965072 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092048281 0 4 0 16800975 18446604471139877248 0 0 -1 7 0 0 0
[pid=26578/tid=26583] ppid=26576 vsize=10554708 CPUtime=0.33 cores=1,3,5,7
/proc/26578/task/26583/stat : 26583 (java) S 26576 26578 26165 0 -1 4202560 13261 0 0 0 32 1 0 0 15 0 19 0 877381244 10808020992 965072 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092048281 0 4 0 16800975 18446604471139877248 0 0 -1 5 0 0 0
[pid=26578/tid=26584] ppid=26576 vsize=10554708 CPUtime=0.44 cores=1,3,5,7
/proc/26578/task/26584/stat : 26584 (java) S 26576 26578 26165 0 -1 4202560 15823 0 0 0 42 2 0 0 15 0 19 0 877381244 10808020992 965072 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092048281 0 4 0 16800975 18446604471139877248 0 0 -1 7 0 0 0
[pid=26578/tid=26585] ppid=26576 vsize=10554708 CPUtime=0.33 cores=1,3,5,7
/proc/26578/task/26585/stat : 26585 (java) S 26576 26578 26165 0 -1 4202560 10768 0 0 0 32 1 0 0 16 0 19 0 877381244 10808020992 965072 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092048281 0 4 0 16800975 18446604471139877248 0 0 -1 1 0 0 0
[pid=26578/tid=26586] ppid=26576 vsize=10554708 CPUtime=0.45 cores=1,3,5,7
/proc/26578/task/26586/stat : 26586 (java) S 26576 26578 26165 0 -1 4202560 13552 0 0 0 44 1 0 0 15 0 19 0 877381244 10808020992 965072 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092048281 0 4 0 16800975 18446604471139877248 0 0 -1 7 0 0 0
[pid=26578/tid=26587] ppid=26576 vsize=10554708 CPUtime=0.49 cores=1,3,5,7
/proc/26578/task/26587/stat : 26587 (java) S 26576 26578 26165 0 -1 4202560 17019 0 0 0 47 2 0 0 15 0 19 0 877381244 10808020992 965072 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092048281 0 4 0 16800975 18446604471139877248 0 0 -1 3 0 0 0
[pid=26578/tid=26588] ppid=26576 vsize=10554708 CPUtime=0.4 cores=1,3,5,7
/proc/26578/task/26588/stat : 26588 (java) S 26576 26578 26165 0 -1 4202560 14510 0 0 0 38 2 0 0 16 0 19 0 877381244 10808020992 965072 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092048281 0 4 0 16800975 18446604471139877248 0 0 -1 5 0 0 0
[pid=26578/tid=26589] ppid=26576 vsize=10554708 CPUtime=1.2 cores=1,3,5,7
/proc/26578/task/26589/stat : 26589 (java) S 26576 26578 26165 0 -1 4202560 5060 0 0 0 120 0 0 0 15 0 19 0 877381245 10808020992 965072 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092048896 0 0 0 16800975 18446604471139877248 0 0 -1 3 0 0 0
[pid=26578/tid=26590] ppid=26576 vsize=10554708 CPUtime=0 cores=1,3,5,7
/proc/26578/task/26590/stat : 26590 (java) S 26576 26578 26165 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 877381246 10808020992 965072 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092048281 0 4 0 16800975 18446604471139877248 0 0 -1 1 0 0 0
[pid=26578/tid=26591] ppid=26576 vsize=10554708 CPUtime=0 cores=1,3,5,7
/proc/26578/task/26591/stat : 26591 (java) S 26576 26578 26165 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 877381246 10808020992 965072 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092048281 0 4 0 16800975 18446604471139877248 0 0 -1 1 0 0 0
[pid=26578/tid=26592] ppid=26576 vsize=10554708 CPUtime=0 cores=1,3,5,7
/proc/26578/task/26592/stat : 26592 (java) S 26576 26578 26165 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877381248 10808020992 965072 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092055985 0 4 0 16800975 18446604471139877248 0 0 -1 1 0 0 0
[pid=26578/tid=26593] ppid=26576 vsize=10554708 CPUtime=1.32 cores=1,3,5,7
/proc/26578/task/26593/stat : 26593 (java) S 26576 26578 26165 0 -1 4202560 7961 0 0 0 132 0 0 0 16 0 19 0 877381248 10808020992 965072 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092048281 0 4 0 16800975 18446604471139877248 0 0 -1 5 0 0 0
[pid=26578/tid=26594] ppid=26576 vsize=10554708 CPUtime=0.85 cores=1,3,5,7
/proc/26578/task/26594/stat : 26594 (java) S 26576 26578 26165 0 -1 4202560 5956 0 0 0 85 0 0 0 16 0 19 0 877381248 10808020992 965072 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092048281 0 4 0 16800975 18446604471139877248 0 0 -1 3 0 0 0
[pid=26578/tid=26595] ppid=26576 vsize=10554708 CPUtime=0 cores=1,3,5,7
/proc/26578/task/26595/stat : 26595 (java) S 26576 26578 26165 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877381248 10808020992 965072 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092048281 0 4 0 16800975 18446604471139877248 0 0 -1 1 0 0 0
[pid=26578/tid=26596] ppid=26576 vsize=10554708 CPUtime=0 cores=1,3,5,7
/proc/26578/task/26596/stat : 26596 (java) S 26576 26578 26165 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 877381248 10808020992 965072 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092048896 0 4 0 16800975 18446604471139877248 0 0 -1 1 0 0 0
[pid=26578/tid=26597] ppid=26576 vsize=10554708 CPUtime=0 cores=1,3,5,7
/proc/26578/task/26597/stat : 26597 (java) S 26576 26578 26165 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877381287 10808020992 965072 33554432000 1073741824 1073778376 140736701781728 18446744073709551615 208092048896 0 4 0 16800975 18446604471139877248 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 10554708
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1795.51 s]
/proc/loadavg: 2.01 2.01 1.97 3/214 26704
/proc/meminfo: memFree=27463252/32950928 swapFree=67055948/67111528
[pid=26578] ppid=26576 vsize=0 CPUtime=1800.19 cores=1,3,5,7
/proc/26578/stat : 26578 (java) Z 26576 26578 26165 0 -1 4203548 974349 0 1 0 179904 115 0 0 17 0 2 0 877381242 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/26578/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1795.57
CPU time (s): 1800.26
CPU user time (s): 1799.05
CPU system time (s): 1.21481
CPU usage (%): 100.261
Max. virtual memory (cumulated for all children) (KiB): 10563440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.05
system time used= 1.21481
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 974349
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= 38503
involuntary context switches= 32866
runsolver used 2.77058 second user time and 7.03693 second system time
The end