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-3457597-1307228684/watcher-3457597-1307228684 -o /tmp/evaluation-result-3457597-1307228684/solver-3457597-1307228684 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3457597-1307228684.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.03 2.00 2/499 21745
/proc/meminfo: memFree=22613036/32951124 swapFree=38422276/67111528
[pid=21745] ppid=21743 vsize=10430980 CPUtime=0 cores=0,2,4,6
/proc/21745/stat : 21745 (java) S 21743 21745 20069 0 -1 4202496 2192 0 1 0 0 0 0 0 17 0 2 0 834472126 10681323520 1895 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212447819749 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/21745/statm: 2607745 1895 906 9 0 2598901 0
[pid=21745/tid=21746] ppid=21743 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/21745/task/21746/stat : 21746 (java) R 21743 21745 20069 0 -1 4202560 4550 0 1 0 0 0 0 0 18 0 2 0 834472126 10694979584 5366 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212435711035 0 4 0 16784584 0 0 0 -1 0 0 0 0
[startup+0.0743649 s]
/proc/loadavg: 2.00 2.03 2.00 2/499 21745
/proc/meminfo: memFree=22613036/32951124 swapFree=38422276/67111528
[pid=21745] ppid=21743 vsize=10473916 CPUtime=0.05 cores=0,2,4,6
/proc/21745/stat : 21745 (java) S 21743 21745 20069 0 -1 4202496 11782 0 1 0 4 1 0 0 17 0 18 0 834472126 10725289984 11480 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21745/statm: 2618479 11481 1742 9 0 2609213 0
[pid=21745/tid=21746] ppid=21743 vsize=10473916 CPUtime=0.05 cores=0,2,4,6
/proc/21745/task/21746/stat : 21746 (java) R 21743 21745 20069 0 -1 4202560 10613 0 1 0 4 1 0 0 22 0 18 0 834472126 10725289984 11483 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 47024896185091 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10473916
[startup+0.100315 s]
/proc/loadavg: 2.00 2.03 2.00 2/499 21745
/proc/meminfo: memFree=22613036/32951124 swapFree=38422276/67111528
[pid=21745] ppid=21743 vsize=10540476 CPUtime=0.09 cores=0,2,4,6
/proc/21745/stat : 21745 (java) S 21743 21745 20069 0 -1 4202496 12942 0 1 0 8 1 0 0 17 0 18 0 834472126 10793447424 12640 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21745/statm: 2635119 12640 2092 9 0 2625853 0
[pid=21745/tid=21746] ppid=21743 vsize=10540476 CPUtime=0.07 cores=0,2,4,6
/proc/21745/task/21746/stat : 21746 (java) R 21743 21745 20069 0 -1 4202560 11021 0 1 0 6 1 0 0 22 0 18 0 834472126 10793447424 12640 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 47024897250648 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10540476
[startup+0.300279 s]
/proc/loadavg: 2.00 2.03 2.00 2/499 21745
/proc/meminfo: memFree=22613036/32951124 swapFree=38422276/67111528
[pid=21745] ppid=21743 vsize=10541500 CPUtime=0.39 cores=0,2,4,6
/proc/21745/stat : 21745 (java) S 21743 21745 20069 0 -1 4202496 71864 0 1 0 32 7 0 0 17 0 18 0 834472126 10794496000 71496 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21745/statm: 2635375 71497 2189 9 0 2626109 0
[pid=21745/tid=21746] ppid=21743 vsize=10541500 CPUtime=0.27 cores=0,2,4,6
/proc/21745/task/21746/stat : 21746 (java) R 21743 21745 20069 0 -1 4202560 69396 0 1 0 20 7 0 0 18 0 18 0 834472126 10794496000 71497 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 47024900680500 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 10541500
[startup+0.700249 s]
/proc/loadavg: 2.00 2.03 2.00 2/499 21745
/proc/meminfo: memFree=22613036/32951124 swapFree=38422276/67111528
[pid=21745] ppid=21743 vsize=10541500 CPUtime=0.85 cores=0,2,4,6
/proc/21745/stat : 21745 (java) S 21743 21745 20069 0 -1 4202496 99635 0 1 0 74 11 0 0 17 0 18 0 834472126 10794496000 99122 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21745/statm: 2635375 99125 2199 9 0 2626109 0
[pid=21745/tid=21746] ppid=21743 vsize=10541500 CPUtime=0.67 cores=0,2,4,6
/proc/21745/task/21746/stat : 21746 (java) R 21743 21745 20069 0 -1 4202560 96904 0 1 0 57 10 0 0 18 0 18 0 834472126 10794496000 99127 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 46912505552606 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.85
Current children cumulated vsize (KiB) 10541500
[startup+1.5011 s]
/proc/loadavg: 2.00 2.03 2.00 3/517 21763
/proc/meminfo: memFree=22134748/32951124 swapFree=38422276/67111528
[pid=21745] ppid=21743 vsize=10541500 CPUtime=1.65 cores=0,2,4,6
/proc/21745/stat : 21745 (java) S 21743 21745 20069 0 -1 4202496 156826 0 1 0 149 16 0 0 17 0 18 0 834472126 10794496000 156313 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21745/statm: 2635375 156316 2199 9 0 2626109 0
[pid=21745/tid=21746] ppid=21743 vsize=10541500 CPUtime=1.48 cores=0,2,4,6
/proc/21745/task/21746/stat : 21746 (java) R 21743 21745 20069 0 -1 4202560 154094 0 1 0 132 16 0 0 19 0 18 0 834472126 10794496000 156317 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 46912505577198 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=21745/tid=21748] ppid=21743 vsize=10541500 CPUtime=0 cores=0,2,4,6
/proc/21745/task/21748/stat : 21748 (java) S 21743 21745 20069 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 834472128 10794496000 156319 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212447832985 0 4 0 16800975 18446604444200766464 0 0 -1 0 0 0 0
[pid=21745/tid=21749] ppid=21743 vsize=10541500 CPUtime=0 cores=0,2,4,6
/proc/21745/task/21749/stat : 21749 (java) S 21743 21745 20069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 834472128 10794496000 156321 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212447832985 0 4 0 16800975 18446604444200766464 0 0 -1 6 0 0 0
[pid=21745/tid=21750] ppid=21743 vsize=10541500 CPUtime=0 cores=0,2,4,6
/proc/21745/task/21750/stat : 21750 (java) S 21743 21745 20069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 834472128 10794496000 156323 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212447832985 0 4 0 16800975 18446604444200766464 0 0 -1 6 0 0 0
[pid=21745/tid=21751] ppid=21743 vsize=10541500 CPUtime=0 cores=0,2,4,6
/proc/21745/task/21751/stat : 21751 (java) S 21743 21745 20069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 834472128 10794496000 156325 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212447832985 0 4 0 16800975 18446604444200766464 0 0 -1 6 0 0 0
[pid=21745/tid=21752] ppid=21743 vsize=10541500 CPUtime=0 cores=0,2,4,6
/proc/21745/task/21752/stat : 21752 (java) S 21743 21745 20069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 834472128 10794496000 156327 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212447832985 0 4 0 16800975 18446604444200766464 0 0 -1 6 0 0 0
[pid=21745/tid=21753] ppid=21743 vsize=10541500 CPUtime=0 cores=0,2,4,6
/proc/21745/task/21753/stat : 21753 (java) S 21743 21745 20069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 834472128 10794496000 156328 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212447832985 0 4 0 16800975 18446604444200766464 0 0 -1 6 0 0 0
[pid=21745/tid=21754] ppid=21743 vsize=10541500 CPUtime=0 cores=0,2,4,6
/proc/21745/task/21754/stat : 21754 (java) S 21743 21745 20069 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 834472128 10794496000 156330 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212447832985 0 4 0 16800975 18446604444200766464 0 0 -1 6 0 0 0
[pid=21745/tid=21755] ppid=21743 vsize=10541500 CPUtime=0 cores=0,2,4,6
/proc/21745/task/21755/stat : 21755 (java) S 21743 21745 20069 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 834472128 10794496000 156332 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212447832985 0 4 0 16800975 18446604444200766464 0 0 -1 6 0 0 0
[pid=21745/tid=21756] ppid=21743 vsize=10541500 CPUtime=0 cores=0,2,4,6
/proc/21745/task/21756/stat : 21756 (java) S 21743 21745 20069 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 834472129 10794496000 156334 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212447833600 0 0 0 16800975 18446604444200766464 0 0 -1 0 0 0 0
[pid=21745/tid=21757] ppid=21743 vsize=10541500 CPUtime=0 cores=0,2,4,6
/proc/21745/task/21757/stat : 21757 (java) S 21743 21745 20069 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 834472130 10794496000 156336 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212447832985 0 4 0 16800975 18446604444200766464 0 0 -1 0 0 0 0
[pid=21745/tid=21758] ppid=21743 vsize=10541500 CPUtime=0 cores=0,2,4,6
/proc/21745/task/21758/stat : 21758 (java) S 21743 21745 20069 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 18 0 834472130 10794496000 156338 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212447832985 0 4 0 16800975 18446604444200766464 0 0 -1 0 0 0 0
[pid=21745/tid=21759] ppid=21743 vsize=10541500 CPUtime=0 cores=0,2,4,6
/proc/21745/task/21759/stat : 21759 (java) S 21743 21745 20069 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 834472132 10794496000 156340 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212447840689 0 4 0 16800975 18446604444200766464 0 0 -1 0 0 0 0
[pid=21745/tid=21760] ppid=21743 vsize=10541500 CPUtime=0.07 cores=0,2,4,6
/proc/21745/task/21760/stat : 21760 (java) S 21743 21745 20069 0 -1 4202560 487 0 0 0 7 0 0 0 16 0 18 0 834472132 10794496000 156342 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212447832985 0 4 0 16800975 18446604444200766464 0 0 -1 2 0 0 0
[pid=21745/tid=21761] ppid=21743 vsize=10541500 CPUtime=0.09 cores=0,2,4,6
/proc/21745/task/21761/stat : 21761 (java) S 21743 21745 20069 0 -1 4202560 1100 0 0 0 9 0 0 0 19 0 18 0 834472132 10794496000 156344 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212447832985 0 4 0 16800975 18446604444200766464 0 0 -1 6 0 0 0
[pid=21745/tid=21762] ppid=21743 vsize=10541500 CPUtime=0 cores=0,2,4,6
/proc/21745/task/21762/stat : 21762 (java) S 21743 21745 20069 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 834472132 10794496000 156345 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212447832985 0 4 0 16800975 18446604444200766464 0 0 -1 0 0 0 0
[pid=21745/tid=21763] ppid=21743 vsize=10541500 CPUtime=0 cores=0,2,4,6
/proc/21745/task/21763/stat : 21763 (java) S 21743 21745 20069 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 834472132 10794496000 156346 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212447833600 0 4 0 16800975 18446604444200766464 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.65
Current children cumulated vsize (KiB) 10541500
[startup+3.10083 s]
/proc/loadavg: 2.00 2.03 2.00 3/517 21763
/proc/meminfo: memFree=21823260/32951124 swapFree=38422276/67111528
[pid=21745] ppid=21743 vsize=10541500 CPUtime=3.25 cores=0,2,4,6
/proc/21745/stat : 21745 (java) S 21743 21745 20069 0 -1 4202496 271519 0 1 0 295 30 0 0 17 0 18 0 834472126 10794496000 271006 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21745/statm: 2635375 271009 2203 9 0 2626109 0
[pid=21745/tid=21746] ppid=21743 vsize=10541500 CPUtime=3.07 cores=0,2,4,6
/proc/21745/task/21746/stat : 21746 (java) R 21743 21745 20069 0 -1 4202560 268784 0 1 0 278 29 0 0 25 0 18 0 834472126 10794496000 271011 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 46912505577206 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=21745/tid=21748] ppid=21743 vsize=10541500 CPUtime=0 cores=0,2,4,6
/proc/21745/task/21748/stat : 21748 (java) S 21743 21745 20069 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 834472128 10794496000 271013 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212447832985 0 4 0 16800975 18446604444200766464 0 0 -1 0 0 0 0
[pid=21745/tid=21749] ppid=21743 vsize=10541500 CPUtime=0 cores=0,2,4,6
/proc/21745/task/21749/stat : 21749 (java) S 21743 21745 20069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 834472128 10794496000 271015 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212447832985 0 4 0 16800975 18446604444200766464 0 0 -1 6 0 0 0
[pid=21745/tid=21750] ppid=21743 vsize=10541500 CPUtime=0 cores=0,2,4,6
/proc/21745/task/21750/stat : 21750 (java) S 21743 21745 20069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 834472128 10794496000 271017 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212447832985 0 4 0 16800975 18446604444200766464 0 0 -1 6 0 0 0
[pid=21745/tid=21751] ppid=21743 vsize=10541500 CPUtime=0 cores=0,2,4,6
/proc/21745/task/21751/stat : 21751 (java) S 21743 21745 20069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 834472128 10794496000 271019 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212447832985 0 4 0 16800975 18446604444200766464 0 0 -1 6 0 0 0
[pid=21745/tid=21752] ppid=21743 vsize=10541500 CPUtime=0 cores=0,2,4,6
/proc/21745/task/21752/stat : 21752 (java) S 21743 21745 20069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 834472128 10794496000 271019 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212447832985 0 4 0 16800975 18446604444200766464 0 0 -1 6 0 0 0
[pid=21745/tid=21753] ppid=21743 vsize=10541500 CPUtime=0 cores=0,2,4,6
/proc/21745/task/21753/stat : 21753 (java) S 21743 21745 20069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 834472128 10794496000 271020 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212447832985 0 4 0 16800975 18446604444200766464 0 0 -1 6 0 0 0
[pid=21745/tid=21754] ppid=21743 vsize=10541500 CPUtime=0 cores=0,2,4,6
/proc/21745/task/21754/stat : 21754 (java) S 21743 21745 20069 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 834472128 10794496000 271022 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212447832985 0 4 0 16800975 18446604444200766464 0 0 -1 6 0 0 0
[pid=21745/tid=21755] ppid=21743 vsize=10541500 CPUtime=0 cores=0,2,4,6
/proc/21745/task/21755/stat : 21755 (java) S 21743 21745 20069 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 834472128 10794496000 271024 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212447832985 0 4 0 16800975 18446604444200766464 0 0 -1 6 0 0 0
[pid=21745/tid=21756] ppid=21743 vsize=10541500 CPUtime=0 cores=0,2,4,6
/proc/21745/task/21756/stat : 21756 (java) S 21743 21745 20069 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 834472129 10794496000 271025 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212447833600 0 0 0 16800975 18446604444200766464 0 0 -1 0 0 0 0
[pid=21745/tid=21757] ppid=21743 vsize=10541500 CPUtime=0 cores=0,2,4,6
/proc/21745/task/21757/stat : 21757 (java) S 21743 21745 20069 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 834472130 10794496000 271027 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212447832985 0 4 0 16800975 18446604444200766464 0 0 -1 0 0 0 0
[pid=21745/tid=21758] ppid=21743 vsize=10541500 CPUtime=0 cores=0,2,4,6
/proc/21745/task/21758/stat : 21758 (java) S 21743 21745 20069 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 18 0 834472130 10794496000 271029 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212447832985 0 4 0 16800975 18446604444200766464 0 0 -1 0 0 0 0
[pid=21745/tid=21759] ppid=21743 vsize=10541500 CPUtime=0 cores=0,2,4,6
/proc/21745/task/21759/stat : 21759 (java) S 21743 21745 20069 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 834472132 10794496000 271031 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212447840689 0 4 0 16800975 18446604444200766464 0 0 -1 0 0 0 0
[pid=21745/tid=21760] ppid=21743 vsize=10541500 CPUtime=0.07 cores=0,2,4,6
/proc/21745/task/21760/stat : 21760 (java) S 21743 21745 20069 0 -1 4202560 487 0 0 0 7 0 0 0 16 0 18 0 834472132 10794496000 271033 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212447832985 0 4 0 16800975 18446604444200766464 0 0 -1 2 0 0 0
[pid=21745/tid=21761] ppid=21743 vsize=10541500 CPUtime=0.09 cores=0,2,4,6
/proc/21745/task/21761/stat : 21761 (java) S 21743 21745 20069 0 -1 4202560 1104 0 0 0 9 0 0 0 18 0 18 0 834472132 10794496000 271035 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212447832985 0 4 0 16800975 18446604444200766464 0 0 -1 6 0 0 0
[pid=21745/tid=21762] ppid=21743 vsize=10541500 CPUtime=0 cores=0,2,4,6
/proc/21745/task/21762/stat : 21762 (java) S 21743 21745 20069 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 834472132 10794496000 271036 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212447832985 0 4 0 16800975 18446604444200766464 0 0 -1 0 0 0 0
[pid=21745/tid=21763] ppid=21743 vsize=10541500 CPUtime=0 cores=0,2,4,6
/proc/21745/task/21763/stat : 21763 (java) S 21743 21745 20069 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 834472132 10794496000 271038 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212447833600 0 4 0 16800975 18446604444200766464 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.25
Current children cumulated vsize (KiB) 10541500
[startup+6.30122 s]
/proc/loadavg: 2.00 2.03 2.00 3/517 21763
/proc/meminfo: memFree=20891268/32951124 swapFree=38422276/67111528
[pid=21745] ppid=21743 vsize=10541500 CPUtime=6.47 cores=0,2,4,6
/proc/21745/stat : 21745 (java) S 21743 21745 20069 0 -1 4202496 510902 0 1 0 588 59 0 0 17 0 18 0 834472126 10794496000 510387 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21745/statm: 2635375 510391 2205 9 0 2626109 0
[pid=21745/tid=21746] ppid=21743 vsize=10541500 CPUtime=6.28 cores=0,2,4,6
/proc/21745/task/21746/stat : 21746 (java) R 21743 21745 20069 0 -1 4202560 508161 0 1 0 569 59 0 0 25 0 18 0 834472126 10794496000 510392 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 46912505365698 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=21745/tid=21748] ppid=21743 vsize=10541500 CPUtime=0 cores=0,2,4,6
/proc/21745/task/21748/stat : 21748 (java) S 21743 21745 20069 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 834472128 10794496000 510395 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212447832985 0 4 0 16800975 18446604444200766464 0 0 -1 0 0 0 0
[pid=21745/tid=21749] ppid=21743 vsize=10541500 CPUtime=0 cores=0,2,4,6
/proc/21745/task/21749/stat : 21749 (java) S 21743 21745 20069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 834472128 10794496000 510397 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212447832985 0 4 0 16800975 18446604444200766464 0 0 -1 6 0 0 0
[pid=21745/tid=21750] ppid=21743 vsize=10541500 CPUtime=0 cores=0,2,4,6
/proc/21745/task/21750/stat : 21750 (java) S 21743 21745 20069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 834472128 10794496000 510399 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212447832985 0 4 0 16800975 18446604444200766464 0 0 -1 6 0 0 0
[pid=21745/tid=21751] ppid=21743 vsize=10541500 CPUtime=0 cores=0,2,4,6
/proc/21745/task/21751/stat : 21751 (java) S 21743 21745 20069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 834472128 10794496000 510401 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212447832985 0 4 0 16800975 18446604444200766464 0 0 -1 6 0 0 0
[pid=21745/tid=21752] ppid=21743 vsize=10541500 CPUtime=0 cores=0,2,4,6
/proc/21745/task/21752/stat : 21752 (java) S 21743 21745 20069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 834472128 10794496000 510403 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212447832985 0 4 0 16800975 18446604444200766464 0 0 -1 6 0 0 0
[pid=21745/tid=21753] ppid=21743 vsize=10541500 CPUtime=0 cores=0,2,4,6
/proc/21745/task/21753/stat : 21753 (java) S 21743 21745 20069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 834472128 10794496000 510405 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212447832985 0 4 0 16800975 18446604444200766464 0 0 -1 6 0 0 0
[pid=21745/tid=21754] ppid=21743 vsize=10541500 CPUtime=0 cores=0,2,4,6
/proc/21745/task/21754/stat : 21754 (java) S 21743 21745 20069 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 834472128 10794496000 510407 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212447832985 0 4 0 16800975 18446604444200766464 0 0 -1 6 0 0 0
[pid=21745/tid=21755] ppid=21743 vsize=10541500 CPUtime=0 cores=0,2,4,6
/proc/21745/task/21755/stat : 21755 (java) S 21743 21745 20069 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 834472128 10794496000 510409 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212447832985 0 4 0 16800975 18446604444200766464 0 0 -1 6 0 0 0
[pid=21745/tid=21756] ppid=21743 vsize=10541500 CPUtime=0 cores=0,2,4,6
/proc/21745/task/21756/stat : 21756 (java) S 21743 21745 20069 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 18 0 834472129 10794496000 510411 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212447833600 0 0 0 16800975 18446604444200766464 0 0 -1 0 0 0 0
[pid=21745/tid=21757] ppid=21743 vsize=10541500 CPUtime=0 cores=0,2,4,6
/proc/21745/task/21757/stat : 21757 (java) S 21743 21745 20069 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 834472130 10794496000 510413 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212447832985 0 4 0 16800975 18446604444200766464 0 0 -1 0 0 0 0
[pid=21745/tid=21758] ppid=21743 vsize=10541500 CPUtime=0 cores=0,2,4,6
/proc/21745/task/21758/stat : 21758 (java) S 21743 21745 20069 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 18 0 834472130 10794496000 510415 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212447832985 0 4 0 16800975 18446604444200766464 0 0 -1 0 0 0 0
[pid=21745/tid=21759] ppid=21743 vsize=10541500 CPUtime=0 cores=0,2,4,6
/proc/21745/task/21759/stat : 21759 (java) S 21743 21745 20069 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 834472132 10794496000 510418 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212447840689 0 4 0 16800975 18446604444200766464 0 0 -1 0 0 0 0
[pid=21745/tid=21760] ppid=21743 vsize=10541500 CPUtime=0.09 cores=0,2,4,6
/proc/21745/task/21760/stat : 21760 (java) S 21743 21745 20069 0 -1 4202560 491 0 0 0 9 0 0 0 15 0 18 0 834472132 10794496000 510419 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212447832985 0 4 0 16800975 18446604444200766464 0 0 -1 2 0 0 0
[pid=21745/tid=21761] ppid=21743 vsize=10541500 CPUtime=0.09 cores=0,2,4,6
/proc/21745/task/21761/stat : 21761 (java) S 21743 21745 20069 0 -1 4202560 1104 0 0 0 9 0 0 0 16 0 18 0 834472132 10794496000 510420 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212447832985 0 4 0 16800975 18446604444200766464 0 0 -1 6 0 0 0
[pid=21745/tid=21762] ppid=21743 vsize=10541500 CPUtime=0 cores=0,2,4,6
/proc/21745/task/21762/stat : 21762 (java) S 21743 21745 20069 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 834472132 10794496000 510422 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212447832985 0 4 0 16800975 18446604444200766464 0 0 -1 0 0 0 0
[pid=21745/tid=21763] ppid=21743 vsize=10541500 CPUtime=0 cores=0,2,4,6
/proc/21745/task/21763/stat : 21763 (java) S 21743 21745 20069 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 834472132 10794496000 510424 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212447833600 0 4 0 16800975 18446604444200766464 0 0 -1 6 0 0 0
################
# More data... #
################
[pid=21745/tid=21766] ppid=21743 vsize=10627520 CPUtime=0 cores=0,2,4,6
/proc/21745/task/21766/stat : 21766 (java) S 21743 21745 20069 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834480834 10882580480 2488916 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212447833600 0 4 0 16800975 18446604444200766464 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1653.91
Current children cumulated vsize (KiB) 10627520
[startup+1662.32 s]
/proc/loadavg: 2.00 2.02 2.02 3/518 21910
/proc/meminfo: memFree=12348316/32951124 swapFree=38422276/67111528
[pid=21745] ppid=21743 vsize=10627520 CPUtime=1714.69 cores=0,2,4,6
/proc/21745/stat : 21745 (java) S 21743 21745 20069 0 -1 4202496 2539349 0 1 0 171063 406 0 0 17 0 19 0 834472126 10882580480 2519724 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21745/statm: 2656880 2519724 2248 9 0 2647614 0
[pid=21745/tid=21746] ppid=21743 vsize=10627520 CPUtime=1626.02 cores=0,2,4,6
/proc/21745/task/21746/stat : 21746 (java) R 21743 21745 20069 0 -1 4202560 651094 0 1 0 162502 100 0 0 25 0 19 0 834472126 10882580480 2519724 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 46912506208768 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=21745/tid=21748] ppid=21743 vsize=10627520 CPUtime=8.17 cores=0,2,4,6
/proc/21745/task/21748/stat : 21748 (java) S 21743 21745 20069 0 -1 4202560 228052 0 0 0 782 35 0 0 16 0 19 0 834472128 10882580480 2519724 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212447832985 0 4 0 16800975 18446604444200766464 0 0 -1 4 0 0 0
[pid=21745/tid=21749] ppid=21743 vsize=10627520 CPUtime=7.9 cores=0,2,4,6
/proc/21745/task/21749/stat : 21749 (java) S 21743 21745 20069 0 -1 4202560 204047 0 0 0 760 30 0 0 16 0 19 0 834472128 10882580480 2519724 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212447832985 0 4 0 16800975 18446604444200766464 0 0 -1 6 0 0 0
[pid=21745/tid=21750] ppid=21743 vsize=10627520 CPUtime=7.65 cores=0,2,4,6
/proc/21745/task/21750/stat : 21750 (java) S 21743 21745 20069 0 -1 4202560 171252 0 0 0 738 27 0 0 16 0 19 0 834472128 10882580480 2519724 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212447832985 0 4 0 16800975 18446604444200766464 0 0 -1 4 0 0 0
[pid=21745/tid=21751] ppid=21743 vsize=10627520 CPUtime=8.28 cores=0,2,4,6
/proc/21745/task/21751/stat : 21751 (java) S 21743 21745 20069 0 -1 4202560 203581 0 0 0 795 33 0 0 15 0 19 0 834472128 10882580480 2519724 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212447832985 0 4 0 16800975 18446604444200766464 0 0 -1 0 0 0 0
[pid=21745/tid=21752] ppid=21743 vsize=10627520 CPUtime=9.45 cores=0,2,4,6
/proc/21745/task/21752/stat : 21752 (java) S 21743 21745 20069 0 -1 4202560 279270 0 0 0 895 50 0 0 16 0 19 0 834472128 10882580480 2519724 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212447832985 0 4 0 16800975 18446604444200766464 0 0 -1 0 0 0 0
[pid=21745/tid=21753] ppid=21743 vsize=10627520 CPUtime=7.9 cores=0,2,4,6
/proc/21745/task/21753/stat : 21753 (java) S 21743 21745 20069 0 -1 4202560 227254 0 0 0 754 36 0 0 16 0 19 0 834472128 10882580480 2519724 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212447832985 0 4 0 16800975 18446604444200766464 0 0 -1 4 0 0 0
[pid=21745/tid=21754] ppid=21743 vsize=10627520 CPUtime=8.74 cores=0,2,4,6
/proc/21745/task/21754/stat : 21754 (java) S 21743 21745 20069 0 -1 4202560 220786 0 0 0 837 37 0 0 15 0 19 0 834472128 10882580480 2519724 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212447832985 0 4 0 16800975 18446604444200766464 0 0 -1 6 0 0 0
[pid=21745/tid=21755] ppid=21743 vsize=10627520 CPUtime=10.5 cores=0,2,4,6
/proc/21745/task/21755/stat : 21755 (java) S 21743 21745 20069 0 -1 4202560 346287 0 0 0 1000 50 0 0 15 0 19 0 834472128 10882580480 2519724 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212447832985 0 4 0 16800975 18446604444200766464 0 0 -1 0 0 0 0
[pid=21745/tid=21756] ppid=21743 vsize=10627520 CPUtime=18.39 cores=0,2,4,6
/proc/21745/task/21756/stat : 21756 (java) S 21743 21745 20069 0 -1 4202560 57 0 0 0 1839 0 0 0 15 0 19 0 834472129 10882580480 2519724 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212447833600 0 0 0 16800975 18446604444200766464 0 0 -1 2 0 0 0
[pid=21745/tid=21757] ppid=21743 vsize=10627520 CPUtime=0 cores=0,2,4,6
/proc/21745/task/21757/stat : 21757 (java) S 21743 21745 20069 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834472130 10882580480 2519724 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212447832985 0 4 0 16800975 18446604444200766464 0 0 -1 0 0 0 0
[pid=21745/tid=21758] ppid=21743 vsize=10627520 CPUtime=0 cores=0,2,4,6
/proc/21745/task/21758/stat : 21758 (java) S 21743 21745 20069 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 834472130 10882580480 2519724 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212447832985 0 4 0 16800975 18446604444200766464 0 0 -1 0 0 0 0
[pid=21745/tid=21759] ppid=21743 vsize=10627520 CPUtime=0 cores=0,2,4,6
/proc/21745/task/21759/stat : 21759 (java) S 21743 21745 20069 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 834472132 10882580480 2519724 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212447840689 0 4 0 16800975 18446604444200766464 0 0 -1 0 0 0 0
[pid=21745/tid=21760] ppid=21743 vsize=10627520 CPUtime=0.91 cores=0,2,4,6
/proc/21745/task/21760/stat : 21760 (java) S 21743 21745 20069 0 -1 4202560 3530 0 0 0 90 1 0 0 15 0 19 0 834472132 10882580480 2519724 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212447832985 0 4 0 16800975 18446604444200766464 0 0 -1 2 0 0 0
[pid=21745/tid=21761] ppid=21743 vsize=10627520 CPUtime=0.65 cores=0,2,4,6
/proc/21745/task/21761/stat : 21761 (java) S 21743 21745 20069 0 -1 4202560 2892 0 0 0 65 0 0 0 15 0 19 0 834472132 10882580480 2519724 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212447832985 0 4 0 16800975 18446604444200766464 0 0 -1 4 0 0 0
[pid=21745/tid=21762] ppid=21743 vsize=10627520 CPUtime=0 cores=0,2,4,6
/proc/21745/task/21762/stat : 21762 (java) S 21743 21745 20069 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 834472132 10882580480 2519724 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212447832985 0 4 0 16800975 18446604444200766464 0 0 -1 0 0 0 0
[pid=21745/tid=21763] ppid=21743 vsize=10627520 CPUtime=0 cores=0,2,4,6
/proc/21745/task/21763/stat : 21763 (java) S 21743 21745 20069 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 834472132 10882580480 2519724 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212447833600 0 4 0 16800975 18446604444200766464 0 0 -1 4 0 0 0
[pid=21745/tid=21766] ppid=21743 vsize=10627520 CPUtime=0 cores=0,2,4,6
/proc/21745/task/21766/stat : 21766 (java) S 21743 21745 20069 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834480834 10882580480 2519724 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212447833600 0 4 0 16800975 18446604444200766464 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1714.69
Current children cumulated vsize (KiB) 10627520
[startup+1722.3 s]
/proc/loadavg: 2.06 2.03 2.02 3/518 21912
/proc/meminfo: memFree=12346892/32951124 swapFree=38422276/67111528
[pid=21745] ppid=21743 vsize=10627520 CPUtime=1775.39 cores=0,2,4,6
/proc/21745/stat : 21745 (java) S 21743 21745 20069 0 -1 4202496 2539360 0 1 0 177133 406 0 0 17 0 19 0 834472126 10882580480 2519724 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21745/statm: 2656880 2519724 2248 9 0 2647614 0
[pid=21745/tid=21746] ppid=21743 vsize=10627520 CPUtime=1685.59 cores=0,2,4,6
/proc/21745/task/21746/stat : 21746 (java) R 21743 21745 20069 0 -1 4202560 651099 0 1 0 168459 100 0 0 25 0 19 0 834472126 10882580480 2519724 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 46912506003334 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=21745/tid=21748] ppid=21743 vsize=10627520 CPUtime=8.24 cores=0,2,4,6
/proc/21745/task/21748/stat : 21748 (java) S 21743 21745 20069 0 -1 4202560 228052 0 0 0 789 35 0 0 15 0 19 0 834472128 10882580480 2519724 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212447832985 0 4 0 16800975 18446604444200766464 0 0 -1 4 0 0 0
[pid=21745/tid=21749] ppid=21743 vsize=10627520 CPUtime=8.08 cores=0,2,4,6
/proc/21745/task/21749/stat : 21749 (java) S 21743 21745 20069 0 -1 4202560 204047 0 0 0 778 30 0 0 16 0 19 0 834472128 10882580480 2519724 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212447832985 0 4 0 16800975 18446604444200766464 0 0 -1 4 0 0 0
[pid=21745/tid=21750] ppid=21743 vsize=10627520 CPUtime=7.66 cores=0,2,4,6
/proc/21745/task/21750/stat : 21750 (java) S 21743 21745 20069 0 -1 4202560 171252 0 0 0 739 27 0 0 15 0 19 0 834472128 10882580480 2519724 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212447832985 0 4 0 16800975 18446604444200766464 0 0 -1 4 0 0 0
[pid=21745/tid=21751] ppid=21743 vsize=10627520 CPUtime=8.57 cores=0,2,4,6
/proc/21745/task/21751/stat : 21751 (java) S 21743 21745 20069 0 -1 4202560 203581 0 0 0 824 33 0 0 16 0 19 0 834472128 10882580480 2519724 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212447832985 0 4 0 16800975 18446604444200766464 0 0 -1 6 0 0 0
[pid=21745/tid=21752] ppid=21743 vsize=10627520 CPUtime=9.61 cores=0,2,4,6
/proc/21745/task/21752/stat : 21752 (java) S 21743 21745 20069 0 -1 4202560 279270 0 0 0 911 50 0 0 15 0 19 0 834472128 10882580480 2519724 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212447832985 0 4 0 16800975 18446604444200766464 0 0 -1 0 0 0 0
[pid=21745/tid=21753] ppid=21743 vsize=10627520 CPUtime=8.15 cores=0,2,4,6
/proc/21745/task/21753/stat : 21753 (java) S 21743 21745 20069 0 -1 4202560 227254 0 0 0 779 36 0 0 16 0 19 0 834472128 10882580480 2519724 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212447832985 0 4 0 16800975 18446604444200766464 0 0 -1 0 0 0 0
[pid=21745/tid=21754] ppid=21743 vsize=10627520 CPUtime=8.79 cores=0,2,4,6
/proc/21745/task/21754/stat : 21754 (java) S 21743 21745 20069 0 -1 4202560 220786 0 0 0 842 37 0 0 16 0 19 0 834472128 10882580480 2519724 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212447832985 0 4 0 16800975 18446604444200766464 0 0 -1 4 0 0 0
[pid=21745/tid=21755] ppid=21743 vsize=10627520 CPUtime=10.61 cores=0,2,4,6
/proc/21745/task/21755/stat : 21755 (java) S 21743 21745 20069 0 -1 4202560 346287 0 0 0 1011 50 0 0 15 0 19 0 834472128 10882580480 2519724 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212447832985 0 4 0 16800975 18446604444200766464 0 0 -1 6 0 0 0
[pid=21745/tid=21756] ppid=21743 vsize=10627520 CPUtime=18.39 cores=0,2,4,6
/proc/21745/task/21756/stat : 21756 (java) S 21743 21745 20069 0 -1 4202560 59 0 0 0 1839 0 0 0 15 0 19 0 834472129 10882580480 2519724 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212447833600 0 0 0 16800975 18446604444200766464 0 0 -1 2 0 0 0
[pid=21745/tid=21757] ppid=21743 vsize=10627520 CPUtime=0 cores=0,2,4,6
/proc/21745/task/21757/stat : 21757 (java) S 21743 21745 20069 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834472130 10882580480 2519724 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212447832985 0 4 0 16800975 18446604444200766464 0 0 -1 0 0 0 0
[pid=21745/tid=21758] ppid=21743 vsize=10627520 CPUtime=0 cores=0,2,4,6
/proc/21745/task/21758/stat : 21758 (java) S 21743 21745 20069 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 834472130 10882580480 2519724 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212447832985 0 4 0 16800975 18446604444200766464 0 0 -1 0 0 0 0
[pid=21745/tid=21759] ppid=21743 vsize=10627520 CPUtime=0 cores=0,2,4,6
/proc/21745/task/21759/stat : 21759 (java) S 21743 21745 20069 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 834472132 10882580480 2519724 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212447840689 0 4 0 16800975 18446604444200766464 0 0 -1 0 0 0 0
[pid=21745/tid=21760] ppid=21743 vsize=10627520 CPUtime=0.91 cores=0,2,4,6
/proc/21745/task/21760/stat : 21760 (java) S 21743 21745 20069 0 -1 4202560 3530 0 0 0 90 1 0 0 15 0 19 0 834472132 10882580480 2519724 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212447832985 0 4 0 16800975 18446604444200766464 0 0 -1 2 0 0 0
[pid=21745/tid=21761] ppid=21743 vsize=10627520 CPUtime=0.65 cores=0,2,4,6
/proc/21745/task/21761/stat : 21761 (java) S 21743 21745 20069 0 -1 4202560 2892 0 0 0 65 0 0 0 15 0 19 0 834472132 10882580480 2519724 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212447832985 0 4 0 16800975 18446604444200766464 0 0 -1 4 0 0 0
[pid=21745/tid=21762] ppid=21743 vsize=10627520 CPUtime=0 cores=0,2,4,6
/proc/21745/task/21762/stat : 21762 (java) S 21743 21745 20069 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 834472132 10882580480 2519724 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212447832985 0 4 0 16800975 18446604444200766464 0 0 -1 0 0 0 0
[pid=21745/tid=21763] ppid=21743 vsize=10627520 CPUtime=0 cores=0,2,4,6
/proc/21745/task/21763/stat : 21763 (java) S 21743 21745 20069 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 834472132 10882580480 2519724 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212447833600 0 4 0 16800975 18446604444200766464 0 0 -1 4 0 0 0
[pid=21745/tid=21766] ppid=21743 vsize=10627520 CPUtime=0 cores=0,2,4,6
/proc/21745/task/21766/stat : 21766 (java) S 21743 21745 20069 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834480834 10882580480 2519724 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212447833600 0 4 0 16800975 18446604444200766464 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1775.39
Current children cumulated vsize (KiB) 10627520
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1746.4 s]
/proc/loadavg: 2.11 2.04 2.03 3/518 21913
/proc/meminfo: memFree=12346252/32951124 swapFree=38422276/67111528
[pid=21745] ppid=21743 vsize=10627520 CPUtime=1800.01 cores=0,2,4,6
/proc/21745/stat : 21745 (java) S 21743 21745 20069 0 -1 4202496 2539365 0 1 0 179595 406 0 0 17 0 19 0 834472126 10882580480 2519724 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21745/statm: 2656880 2519724 2248 9 0 2647614 0
[pid=21745/tid=21746] ppid=21743 vsize=10627520 CPUtime=1709.47 cores=0,2,4,6
/proc/21745/task/21746/stat : 21746 (java) R 21743 21745 20069 0 -1 4202560 651102 0 1 0 170847 100 0 0 25 0 19 0 834472126 10882580480 2519724 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 46912506003531 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=21745/tid=21748] ppid=21743 vsize=10627520 CPUtime=8.29 cores=0,2,4,6
/proc/21745/task/21748/stat : 21748 (java) S 21743 21745 20069 0 -1 4202560 228052 0 0 0 794 35 0 0 16 0 19 0 834472128 10882580480 2519724 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212447832985 0 4 0 16800975 18446604444200766464 0 0 -1 4 0 0 0
[pid=21745/tid=21749] ppid=21743 vsize=10627520 CPUtime=8.14 cores=0,2,4,6
/proc/21745/task/21749/stat : 21749 (java) S 21743 21745 20069 0 -1 4202560 204047 0 0 0 784 30 0 0 16 0 19 0 834472128 10882580480 2519724 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212447832985 0 4 0 16800975 18446604444200766464 0 0 -1 4 0 0 0
[pid=21745/tid=21750] ppid=21743 vsize=10627520 CPUtime=7.84 cores=0,2,4,6
/proc/21745/task/21750/stat : 21750 (java) S 21743 21745 20069 0 -1 4202560 171252 0 0 0 757 27 0 0 16 0 19 0 834472128 10882580480 2519724 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212447832985 0 4 0 16800975 18446604444200766464 0 0 -1 2 0 0 0
[pid=21745/tid=21751] ppid=21743 vsize=10627520 CPUtime=8.67 cores=0,2,4,6
/proc/21745/task/21751/stat : 21751 (java) S 21743 21745 20069 0 -1 4202560 203581 0 0 0 834 33 0 0 16 0 19 0 834472128 10882580480 2519724 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212447832985 0 4 0 16800975 18446604444200766464 0 0 -1 6 0 0 0
[pid=21745/tid=21752] ppid=21743 vsize=10627520 CPUtime=9.74 cores=0,2,4,6
/proc/21745/task/21752/stat : 21752 (java) S 21743 21745 20069 0 -1 4202560 279270 0 0 0 924 50 0 0 16 0 19 0 834472128 10882580480 2519724 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212447832985 0 4 0 16800975 18446604444200766464 0 0 -1 0 0 0 0
[pid=21745/tid=21753] ppid=21743 vsize=10627520 CPUtime=8.24 cores=0,2,4,6
/proc/21745/task/21753/stat : 21753 (java) S 21743 21745 20069 0 -1 4202560 227254 0 0 0 788 36 0 0 15 0 19 0 834472128 10882580480 2519724 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212447832985 0 4 0 16800975 18446604444200766464 0 0 -1 0 0 0 0
[pid=21745/tid=21754] ppid=21743 vsize=10627520 CPUtime=8.87 cores=0,2,4,6
/proc/21745/task/21754/stat : 21754 (java) S 21743 21745 20069 0 -1 4202560 220786 0 0 0 850 37 0 0 15 0 19 0 834472128 10882580480 2519724 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212447832985 0 4 0 16800975 18446604444200766464 0 0 -1 0 0 0 0
[pid=21745/tid=21755] ppid=21743 vsize=10627520 CPUtime=10.67 cores=0,2,4,6
/proc/21745/task/21755/stat : 21755 (java) S 21743 21745 20069 0 -1 4202560 346287 0 0 0 1017 50 0 0 15 0 19 0 834472128 10882580480 2519724 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212447832985 0 4 0 16800975 18446604444200766464 0 0 -1 6 0 0 0
[pid=21745/tid=21756] ppid=21743 vsize=10627520 CPUtime=18.39 cores=0,2,4,6
/proc/21745/task/21756/stat : 21756 (java) S 21743 21745 20069 0 -1 4202560 61 0 0 0 1839 0 0 0 15 0 19 0 834472129 10882580480 2519724 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212447833600 0 0 0 16800975 18446604444200766464 0 0 -1 2 0 0 0
[pid=21745/tid=21757] ppid=21743 vsize=10627520 CPUtime=0 cores=0,2,4,6
/proc/21745/task/21757/stat : 21757 (java) S 21743 21745 20069 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834472130 10882580480 2519724 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212447832985 0 4 0 16800975 18446604444200766464 0 0 -1 0 0 0 0
[pid=21745/tid=21758] ppid=21743 vsize=10627520 CPUtime=0 cores=0,2,4,6
/proc/21745/task/21758/stat : 21758 (java) S 21743 21745 20069 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 834472130 10882580480 2519724 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212447832985 0 4 0 16800975 18446604444200766464 0 0 -1 0 0 0 0
[pid=21745/tid=21759] ppid=21743 vsize=10627520 CPUtime=0 cores=0,2,4,6
/proc/21745/task/21759/stat : 21759 (java) S 21743 21745 20069 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 834472132 10882580480 2519724 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212447840689 0 4 0 16800975 18446604444200766464 0 0 -1 0 0 0 0
[pid=21745/tid=21760] ppid=21743 vsize=10627520 CPUtime=0.91 cores=0,2,4,6
/proc/21745/task/21760/stat : 21760 (java) S 21743 21745 20069 0 -1 4202560 3530 0 0 0 90 1 0 0 15 0 19 0 834472132 10882580480 2519724 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212447832985 0 4 0 16800975 18446604444200766464 0 0 -1 2 0 0 0
[pid=21745/tid=21761] ppid=21743 vsize=10627520 CPUtime=0.65 cores=0,2,4,6
/proc/21745/task/21761/stat : 21761 (java) S 21743 21745 20069 0 -1 4202560 2892 0 0 0 65 0 0 0 15 0 19 0 834472132 10882580480 2519724 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212447832985 0 4 0 16800975 18446604444200766464 0 0 -1 4 0 0 0
[pid=21745/tid=21762] ppid=21743 vsize=10627520 CPUtime=0 cores=0,2,4,6
/proc/21745/task/21762/stat : 21762 (java) S 21743 21745 20069 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 834472132 10882580480 2519724 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212447832985 0 4 0 16800975 18446604444200766464 0 0 -1 0 0 0 0
[pid=21745/tid=21763] ppid=21743 vsize=10627520 CPUtime=0 cores=0,2,4,6
/proc/21745/task/21763/stat : 21763 (java) S 21743 21745 20069 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 834472132 10882580480 2519724 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212447833600 0 4 0 16800975 18446604444200766464 0 0 -1 4 0 0 0
[pid=21745/tid=21766] ppid=21743 vsize=10627520 CPUtime=0 cores=0,2,4,6
/proc/21745/task/21766/stat : 21766 (java) S 21743 21745 20069 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834480834 10882580480 2519724 33554432000 1073741824 1073778376 140736113695824 18446744073709551615 212447833600 0 4 0 16800975 18446604444200766464 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 10627520
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1746.6 s]
/proc/loadavg: 2.11 2.04 2.03 3/518 21913
/proc/meminfo: memFree=12346252/32951124 swapFree=38422276/67111528
[pid=21745] ppid=21743 vsize=0 CPUtime=1800.2 cores=0,2,4,6
/proc/21745/stat : 21745 (java) Z 21743 21745 20069 0 -1 4203548 2539392 0 1 0 179596 424 0 0 15 0 2 0 834472126 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21745/statm: 0 0 0 0 0 0 0
[pid=21745/tid=21766] ppid=21743 vsize=0 CPUtime=0.17 cores=0,2,4,6
/proc/21745/task/21766/stat : 21766 (java) R 21743 21745 20069 0 -1 4203588 7 0 0 0 0 17 0 0 18 0 2 0 834480834 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 0
[startup+1746.7 s]
/proc/loadavg: 2.11 2.04 2.03 3/518 21913
/proc/meminfo: memFree=12346252/32951124 swapFree=38422276/67111528
[pid=21745] ppid=21743 vsize=0 CPUtime=1800.3 cores=0,2,4,6
/proc/21745/stat : 21745 (java) Z 21743 21745 20069 0 -1 4203548 2539392 0 1 0 179596 434 0 0 15 0 2 0 834472126 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21745/statm: 0 0 0 0 0 0 0
[pid=21745/tid=21766] ppid=21743 vsize=0 CPUtime=0.27 cores=0,2,4,6
/proc/21745/task/21766/stat : 21766 (java) R 21743 21745 20069 0 -1 4203588 7 0 0 0 0 27 0 0 18 0 2 0 834480834 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.3
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1746.78
CPU time (s): 1800.39
CPU user time (s): 1795.97
CPU system time (s): 4.41833
CPU usage (%): 103.069
Max. virtual memory (cumulated for all children) (KiB): 10627520
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.97
system time used= 4.41833
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2539392
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= 45807
involuntary context switches= 71530
runsolver used 9.05862 second user time and 19.1461 second system time
The end