runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3736885-1338752432/watcher-3736885-1338752432 -o /tmp/evaluation-result-3736885-1338752432/solver-3736885-1338752432 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3736885-1338752432.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: 3.52 3.62 3.63 4/198 29781
/proc/meminfo: memFree=26451860/32873660 swapFree=7120/7120
[pid=29781] ppid=29779 vsize=89736 CPUtime=0 cores=0,2,4,6
/proc/29781/stat : 29781 (java) S 29779 29781 25443 0 -1 4202496 1163 0 0 0 0 0 0 0 20 0 2 0 341368916 91889664 882 33554432000 1073741824 1073778376 140736943141936 140736943133072 270333411389 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29781/statm: 22435 886 670 9 0 16770 0
[pid=29781/tid=29782] ppid=29779 vsize=89736 CPUtime=0 cores=0,2,4,6
/proc/29781/task/29782/stat : 29782 (java) R 29779 29781 25443 0 -1 4202560 28 0 0 0 0 0 0 0 20 0 2 0 341368916 91889664 894 33554432000 1073741824 1073778376 140736943141936 140736943131000 270320889127 0 0 4096 0 0 0 0 -1 2 0 0 0 0 0
[startup+0.0230709 s]
/proc/loadavg: 3.52 3.62 3.63 4/198 29781
/proc/meminfo: memFree=26451860/32873660 swapFree=7120/7120
[pid=29781] ppid=29779 vsize=2158136 CPUtime=0.01 cores=0,2,4,6
/proc/29781/stat : 29781 (java) S 29779 29781 25443 0 -1 4202496 3552 0 1 0 1 0 0 0 20 0 10 0 341368916 2209931264 4250 33554432000 1073741824 1073778376 140736943141936 140736943133072 270333411389 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29781/statm: 539534 4250 1562 9 0 530235 0
[pid=29781/tid=29782] ppid=29779 vsize=2158136 CPUtime=0 cores=0,2,4,6
/proc/29781/task/29782/stat : 29782 (java) R 29779 29781 25443 0 -1 4202560 2395 0 1 0 0 0 0 0 20 0 10 0 341368916 2209931264 4251 33554432000 1073741824 1073778376 140736943141936 140100621546176 140100628472016 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2158136
[startup+0.100239 s]
/proc/loadavg: 3.52 3.62 3.63 4/198 29781
/proc/meminfo: memFree=26451860/32873660 swapFree=7120/7120
[pid=29781] ppid=29779 vsize=2699928 CPUtime=0.11 cores=0,2,4,6
/proc/29781/stat : 29781 (java) S 29779 29781 25443 0 -1 4202496 4900 0 1 0 10 1 0 0 20 0 18 0 341368916 2764726272 6076 33554432000 1073741824 1073778376 140736943141936 140736943133072 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29781/statm: 674982 6078 2144 9 0 665676 0
[pid=29781/tid=29782] ppid=29779 vsize=2699928 CPUtime=0.07 cores=0,2,4,6
/proc/29781/task/29782/stat : 29782 (java) R 29779 29781 25443 0 -1 4202560 2828 0 1 0 7 0 0 0 20 0 18 0 341368916 2764726272 6080 33554432000 1073741824 1073778376 140736943141936 140100621535328 270333437197 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 2699928
[startup+0.300225 s]
/proc/loadavg: 3.52 3.62 3.63 4/198 29781
/proc/meminfo: memFree=26451860/32873660 swapFree=7120/7120
[pid=29781] ppid=29779 vsize=2699928 CPUtime=0.46 cores=0,2,4,6
/proc/29781/stat : 29781 (java) S 29779 29781 25443 0 -1 4202496 5866 0 1 0 45 1 0 0 20 0 18 0 341368916 2764726272 8160 33554432000 1073741824 1073778376 140736943141936 140736943133072 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29781/statm: 674982 8160 2219 9 0 665676 0
[pid=29781/tid=29782] ppid=29779 vsize=2699928 CPUtime=0.27 cores=0,2,4,6
/proc/29781/task/29782/stat : 29782 (java) R 29779 29781 25443 0 -1 4202560 2839 0 1 0 26 1 0 0 20 0 18 0 341368916 2764726272 8160 33554432000 1073741824 1073778376 140736943141936 140100621546936 140100561316880 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 2699928
[startup+0.700206 s]
/proc/loadavg: 3.52 3.62 3.63 4/198 29781
/proc/meminfo: memFree=26451860/32873660 swapFree=7120/7120
[pid=29781] ppid=29779 vsize=2699928 CPUtime=1.21 cores=0,2,4,6
/proc/29781/stat : 29781 (java) S 29779 29781 25443 0 -1 4202496 13325 0 1 0 117 4 0 0 20 0 18 0 341368916 2764726272 14797 33554432000 1073741824 1073778376 140736943141936 140736943133072 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29781/statm: 674982 14797 2233 9 0 665676 0
[pid=29781/tid=29782] ppid=29779 vsize=2699928 CPUtime=0.67 cores=0,2,4,6
/proc/29781/task/29782/stat : 29782 (java) R 29779 29781 25443 0 -1 4202560 2843 0 1 0 66 1 0 0 20 0 18 0 341368916 2764726272 14797 33554432000 1073741824 1073778376 140736943141936 140100621541232 140100561659083 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 2699928
[startup+1.50059 s]
/proc/loadavg: 3.52 3.62 3.63 4/216 29799
/proc/meminfo: memFree=26398300/32873660 swapFree=7120/7120
[pid=29781] ppid=29779 vsize=2699928 CPUtime=2.14 cores=0,2,4,6
/proc/29781/stat : 29781 (java) S 29779 29781 25443 0 -1 4202496 13474 0 1 0 210 4 0 0 20 0 18 0 341368916 2764726272 16486 33554432000 1073741824 1073778376 140736943141936 140736943133072 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29781/statm: 674982 16486 2237 9 0 665676 0
[pid=29781/tid=29782] ppid=29779 vsize=2699928 CPUtime=1.47 cores=0,2,4,6
/proc/29781/task/29782/stat : 29782 (java) R 29779 29781 25443 0 -1 4202560 2849 0 1 0 146 1 0 0 20 0 18 0 341368916 2764726272 16486 33554432000 1073741824 1073778376 140736943141936 140100621547848 140100561659504 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=29781/tid=29784] ppid=29779 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/29781/task/29784/stat : 29784 (java) S 29779 29781 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341368917 2764726272 16486 33554432000 1073741824 1073778376 140736943141936 140100488075688 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29781/tid=29785] ppid=29779 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/29781/task/29785/stat : 29785 (java) S 29779 29781 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341368917 2764726272 16486 33554432000 1073741824 1073778376 140736943141936 140100487023144 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29781/tid=29786] ppid=29779 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/29781/task/29786/stat : 29786 (java) S 29779 29781 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341368917 2764726272 16486 33554432000 1073741824 1073778376 140736943141936 140100485970088 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29781/tid=29787] ppid=29779 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/29781/task/29787/stat : 29787 (java) S 29779 29781 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341368917 2764726272 16486 33554432000 1073741824 1073778376 140736943141936 140100484917544 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29781/tid=29788] ppid=29779 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/29781/task/29788/stat : 29788 (java) S 29779 29781 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341368917 2764726272 16486 33554432000 1073741824 1073778376 140736943141936 140100483865512 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29781/tid=29789] ppid=29779 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/29781/task/29789/stat : 29789 (java) S 29779 29781 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341368917 2764726272 16486 33554432000 1073741824 1073778376 140736943141936 140100482812968 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29781/tid=29790] ppid=29779 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/29781/task/29790/stat : 29790 (java) S 29779 29781 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341368917 2764726272 16486 33554432000 1073741824 1073778376 140736943141936 140100481759912 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29781/tid=29791] ppid=29779 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/29781/task/29791/stat : 29791 (java) S 29779 29781 25443 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 341368917 2764726272 16486 33554432000 1073741824 1073778376 140736943141936 140100480707368 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29781/tid=29792] ppid=29779 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/29781/task/29792/stat : 29792 (java) S 29779 29781 25443 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 341368918 2764726272 16486 33554432000 1073741824 1073778376 140736943141936 140100468509032 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29781/tid=29793] ppid=29779 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/29781/task/29793/stat : 29793 (java) S 29779 29781 25443 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 341368919 2764726272 16486 33554432000 1073741824 1073778376 140736943141936 140100467455352 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29781/tid=29794] ppid=29779 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/29781/task/29794/stat : 29794 (java) S 29779 29781 25443 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 341368919 2764726272 16486 33554432000 1073741824 1073778376 140736943141936 140100466402184 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29781/tid=29795] ppid=29779 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/29781/task/29795/stat : 29795 (java) S 29779 29781 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341368921 2764726272 16486 33554432000 1073741824 1073778376 140736943141936 140100465350928 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29781/tid=29796] ppid=29779 vsize=2699928 CPUtime=0.19 cores=0,2,4,6
/proc/29781/task/29796/stat : 29796 (java) S 29779 29781 25443 0 -1 4202560 2271 0 0 0 19 0 0 0 20 0 18 0 341368921 2764726272 16486 33554432000 1073741824 1073778376 140736943141936 140100464298808 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29781/tid=29797] ppid=29779 vsize=2699928 CPUtime=0.43 cores=0,2,4,6
/proc/29781/task/29797/stat : 29797 (java) S 29779 29781 25443 0 -1 4202560 7167 0 0 0 41 2 0 0 20 0 18 0 341368921 2764726272 16486 33554432000 1073741824 1073778376 140736943141936 140100463246264 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29781/tid=29798] ppid=29779 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/29781/task/29798/stat : 29798 (java) S 29779 29781 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341368921 2764726272 16486 33554432000 1073741824 1073778376 140736943141936 140100462193400 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29781/tid=29799] ppid=29779 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/29781/task/29799/stat : 29799 (java) S 29779 29781 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341368921 2764726272 16486 33554432000 1073741824 1073778376 140736943141936 140100461141064 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.14
Current children cumulated vsize (KiB) 2699928
[startup+3.10062 s]
/proc/loadavg: 3.52 3.62 3.63 4/216 29799
/proc/meminfo: memFree=26383840/32873660 swapFree=7120/7120
[pid=29781] ppid=29779 vsize=2699928 CPUtime=3.83 cores=0,2,4,6
/proc/29781/stat : 29781 (java) S 29779 29781 25443 0 -1 4202496 13527 0 1 0 379 4 0 0 20 0 18 0 341368916 2764726272 19604 33554432000 1073741824 1073778376 140736943141936 140736943133072 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29781/statm: 674982 19604 2238 9 0 665676 0
[pid=29781/tid=29782] ppid=29779 vsize=2699928 CPUtime=3.08 cores=0,2,4,6
/proc/29781/task/29782/stat : 29782 (java) R 29779 29781 25443 0 -1 4202560 2856 0 1 0 306 2 0 0 20 0 18 0 341368916 2764726272 19604 33554432000 1073741824 1073778376 140736943141936 140100621547880 140100561659054 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=29781/tid=29784] ppid=29779 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/29781/task/29784/stat : 29784 (java) S 29779 29781 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341368917 2764726272 19604 33554432000 1073741824 1073778376 140736943141936 140100488075688 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29781/tid=29785] ppid=29779 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/29781/task/29785/stat : 29785 (java) S 29779 29781 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341368917 2764726272 19604 33554432000 1073741824 1073778376 140736943141936 140100487023144 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29781/tid=29786] ppid=29779 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/29781/task/29786/stat : 29786 (java) S 29779 29781 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341368917 2764726272 19604 33554432000 1073741824 1073778376 140736943141936 140100485970088 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29781/tid=29787] ppid=29779 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/29781/task/29787/stat : 29787 (java) S 29779 29781 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341368917 2764726272 19604 33554432000 1073741824 1073778376 140736943141936 140100484917544 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29781/tid=29788] ppid=29779 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/29781/task/29788/stat : 29788 (java) S 29779 29781 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341368917 2764726272 19604 33554432000 1073741824 1073778376 140736943141936 140100483865512 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29781/tid=29789] ppid=29779 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/29781/task/29789/stat : 29789 (java) S 29779 29781 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341368917 2764726272 19604 33554432000 1073741824 1073778376 140736943141936 140100482812968 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29781/tid=29790] ppid=29779 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/29781/task/29790/stat : 29790 (java) S 29779 29781 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341368917 2764726272 19604 33554432000 1073741824 1073778376 140736943141936 140100481759912 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29781/tid=29791] ppid=29779 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/29781/task/29791/stat : 29791 (java) S 29779 29781 25443 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 341368917 2764726272 19604 33554432000 1073741824 1073778376 140736943141936 140100480707368 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29781/tid=29792] ppid=29779 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/29781/task/29792/stat : 29792 (java) S 29779 29781 25443 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 341368918 2764726272 19604 33554432000 1073741824 1073778376 140736943141936 140100468509032 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29781/tid=29793] ppid=29779 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/29781/task/29793/stat : 29793 (java) S 29779 29781 25443 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 341368919 2764726272 19604 33554432000 1073741824 1073778376 140736943141936 140100467455352 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29781/tid=29794] ppid=29779 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/29781/task/29794/stat : 29794 (java) S 29779 29781 25443 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 341368919 2764726272 19604 33554432000 1073741824 1073778376 140736943141936 140100466402184 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29781/tid=29795] ppid=29779 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/29781/task/29795/stat : 29795 (java) S 29779 29781 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341368921 2764726272 19604 33554432000 1073741824 1073778376 140736943141936 140100465350928 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29781/tid=29796] ppid=29779 vsize=2699928 CPUtime=0.23 cores=0,2,4,6
/proc/29781/task/29796/stat : 29796 (java) S 29779 29781 25443 0 -1 4202560 2306 0 0 0 23 0 0 0 20 0 18 0 341368921 2764726272 19604 33554432000 1073741824 1073778376 140736943141936 140100464298808 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29781/tid=29797] ppid=29779 vsize=2699928 CPUtime=0.5 cores=0,2,4,6
/proc/29781/task/29797/stat : 29797 (java) S 29779 29781 25443 0 -1 4202560 7178 0 0 0 48 2 0 0 20 0 18 0 341368921 2764726272 19604 33554432000 1073741824 1073778376 140736943141936 140100463246264 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29781/tid=29798] ppid=29779 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/29781/task/29798/stat : 29798 (java) S 29779 29781 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341368921 2764726272 19604 33554432000 1073741824 1073778376 140736943141936 140100462193400 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29781/tid=29799] ppid=29779 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/29781/task/29799/stat : 29799 (java) S 29779 29781 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341368921 2764726272 19604 33554432000 1073741824 1073778376 140736943141936 140100461141064 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.83
Current children cumulated vsize (KiB) 2699928
[startup+6.30066 s]
/proc/loadavg: 3.40 3.59 3.63 4/216 29799
/proc/meminfo: memFree=26360256/32873660 swapFree=7120/7120
[pid=29781] ppid=29779 vsize=2699928 CPUtime=7.04 cores=0,2,4,6
/proc/29781/stat : 29781 (java) S 29779 29781 25443 0 -1 4202496 13537 0 1 0 699 5 0 0 20 0 18 0 341368916 2764726272 23159 33554432000 1073741824 1073778376 140736943141936 140736943133072 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29781/statm: 674982 23159 2239 9 0 665676 0
[pid=29781/tid=29782] ppid=29779 vsize=2699928 CPUtime=6.26 cores=0,2,4,6
/proc/29781/task/29782/stat : 29782 (java) R 29779 29781 25443 0 -1 4202560 2865 0 1 0 624 2 0 0 20 0 18 0 341368916 2764726272 23159 33554432000 1073741824 1073778376 140736943141936 140100621541392 140100561659568 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=29781/tid=29784] ppid=29779 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/29781/task/29784/stat : 29784 (java) S 29779 29781 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341368917 2764726272 23159 33554432000 1073741824 1073778376 140736943141936 140100488075688 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29781/tid=29785] ppid=29779 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/29781/task/29785/stat : 29785 (java) S 29779 29781 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341368917 2764726272 23159 33554432000 1073741824 1073778376 140736943141936 140100487023144 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29781/tid=29786] ppid=29779 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/29781/task/29786/stat : 29786 (java) S 29779 29781 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341368917 2764726272 23159 33554432000 1073741824 1073778376 140736943141936 140100485970088 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29781/tid=29787] ppid=29779 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/29781/task/29787/stat : 29787 (java) S 29779 29781 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341368917 2764726272 23159 33554432000 1073741824 1073778376 140736943141936 140100484917544 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29781/tid=29788] ppid=29779 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/29781/task/29788/stat : 29788 (java) S 29779 29781 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341368917 2764726272 23159 33554432000 1073741824 1073778376 140736943141936 140100483865512 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29781/tid=29789] ppid=29779 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/29781/task/29789/stat : 29789 (java) S 29779 29781 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341368917 2764726272 23159 33554432000 1073741824 1073778376 140736943141936 140100482812968 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29781/tid=29790] ppid=29779 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/29781/task/29790/stat : 29790 (java) S 29779 29781 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341368917 2764726272 23159 33554432000 1073741824 1073778376 140736943141936 140100481759912 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29781/tid=29791] ppid=29779 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/29781/task/29791/stat : 29791 (java) S 29779 29781 25443 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 341368917 2764726272 23159 33554432000 1073741824 1073778376 140736943141936 140100480707368 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29781/tid=29792] ppid=29779 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/29781/task/29792/stat : 29792 (java) S 29779 29781 25443 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 341368918 2764726272 23159 33554432000 1073741824 1073778376 140736943141936 140100468509032 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29781/tid=29793] ppid=29779 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/29781/task/29793/stat : 29793 (java) S 29779 29781 25443 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 341368919 2764726272 23159 33554432000 1073741824 1073778376 140736943141936 140100467455352 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29781/tid=29794] ppid=29779 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/29781/task/29794/stat : 29794 (java) S 29779 29781 25443 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 341368919 2764726272 23159 33554432000 1073741824 1073778376 140736943141936 140100466402184 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29781/tid=29795] ppid=29779 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/29781/task/29795/stat : 29795 (java) S 29779 29781 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341368921 2764726272 23159 33554432000 1073741824 1073778376 140736943141936 140100465350928 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29781/tid=29796] ppid=29779 vsize=2699928 CPUtime=0.23 cores=0,2,4,6
/proc/29781/task/29796/stat : 29796 (java) S 29779 29781 25443 0 -1 4202560 2306 0 0 0 23 0 0 0 20 0 18 0 341368921 2764726272 23159 33554432000 1073741824 1073778376 140736943141936 140100464298808 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29781/tid=29797] ppid=29779 vsize=2699928 CPUtime=0.5 cores=0,2,4,6
/proc/29781/task/29797/stat : 29797 (java) S 29779 29781 25443 0 -1 4202560 7178 0 0 0 48 2 0 0 20 0 18 0 341368921 2764726272 23159 33554432000 1073741824 1073778376 140736943141936 140100463246264 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29781/tid=29798] ppid=29779 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/29781/task/29798/stat : 29798 (java) S 29779 29781 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341368921 2764726272 23159 33554432000 1073741824 1073778376 140736943141936 140100462193400 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29781/tid=29799] ppid=29779 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/29781/task/29799/stat : 29799 (java) S 29779 29781 25443 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 341368921 2764726272 23159 33554432000 1073741824 1073778376 140736943141936 140100461141064 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
################
# More data... #
################
[pid=29781/tid=29787] ppid=29779 vsize=2966184 CPUtime=7.51 cores=0,2,4,6
/proc/29781/task/29787/stat : 29787 (java) S 29779 29781 25443 0 -1 4202560 341 0 0 0 741 10 0 0 20 0 22 0 341368917 3037372416 241959 33554432000 1073741824 1073778376 140736943141936 140100484917544 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29781/tid=29788] ppid=29779 vsize=2966184 CPUtime=7.41 cores=0,2,4,6
/proc/29781/task/29788/stat : 29788 (java) S 29779 29781 25443 0 -1 4202560 366 0 0 0 730 11 0 0 20 0 22 0 341368917 3037372416 241959 33554432000 1073741824 1073778376 140736943141936 140100483865512 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29781/tid=29789] ppid=29779 vsize=2966184 CPUtime=7.3 cores=0,2,4,6
/proc/29781/task/29789/stat : 29789 (java) S 29779 29781 25443 0 -1 4202560 355 0 0 0 719 11 0 0 20 0 22 0 341368917 3037372416 241959 33554432000 1073741824 1073778376 140736943141936 140100482812968 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29781/tid=29790] ppid=29779 vsize=2966184 CPUtime=7.38 cores=0,2,4,6
/proc/29781/task/29790/stat : 29790 (java) S 29779 29781 25443 0 -1 4202560 353 0 0 0 728 10 0 0 20 0 22 0 341368917 3037372416 241959 33554432000 1073741824 1073778376 140736943141936 140100481759912 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29781/tid=29791] ppid=29779 vsize=2966184 CPUtime=7.43 cores=0,2,4,6
/proc/29781/task/29791/stat : 29791 (java) S 29779 29781 25443 0 -1 4202560 374 0 0 0 731 12 0 0 20 0 22 0 341368917 3037372416 241959 33554432000 1073741824 1073778376 140736943141936 140100480707368 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29781/tid=29792] ppid=29779 vsize=2966184 CPUtime=28.22 cores=0,2,4,6
/proc/29781/task/29792/stat : 29792 (java) S 29779 29781 25443 0 -1 4202560 251 0 0 0 2770 52 0 0 20 0 22 0 341368918 3037372416 241959 33554432000 1073741824 1073778376 140736943141936 140100468509032 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29781/tid=29793] ppid=29779 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/29781/task/29793/stat : 29793 (java) S 29779 29781 25443 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341368919 3037372416 241959 33554432000 1073741824 1073778376 140736943141936 140100467455352 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29781/tid=29794] ppid=29779 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/29781/task/29794/stat : 29794 (java) S 29779 29781 25443 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 341368919 3037372416 241959 33554432000 1073741824 1073778376 140736943141936 140100466402184 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29781/tid=29795] ppid=29779 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/29781/task/29795/stat : 29795 (java) S 29779 29781 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341368921 3037372416 241959 33554432000 1073741824 1073778376 140736943141936 140100465350928 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29781/tid=29796] ppid=29779 vsize=2966184 CPUtime=1.22 cores=0,2,4,6
/proc/29781/task/29796/stat : 29796 (java) S 29779 29781 25443 0 -1 4202560 7795 0 0 0 120 2 0 0 20 0 22 0 341368921 3037372416 241959 33554432000 1073741824 1073778376 140736943141936 140100464298808 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29781/tid=29797] ppid=29779 vsize=2966184 CPUtime=1.49 cores=0,2,4,6
/proc/29781/task/29797/stat : 29797 (java) S 29779 29781 25443 0 -1 4202560 7549 0 0 0 147 2 0 0 20 0 22 0 341368921 3037372416 241959 33554432000 1073741824 1073778376 140736943141936 140100463246264 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29781/tid=29798] ppid=29779 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/29781/task/29798/stat : 29798 (java) S 29779 29781 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341368921 3037372416 241959 33554432000 1073741824 1073778376 140736943141936 140100462193400 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29781/tid=29799] ppid=29779 vsize=2966184 CPUtime=0.31 cores=0,2,4,6
/proc/29781/task/29799/stat : 29799 (java) S 29779 29781 25443 0 -1 4202560 51 0 0 0 17 14 0 0 20 0 22 0 341368921 3037372416 241959 33554432000 1073741824 1073778376 140736943141936 140100461141064 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29781/tid=29802] ppid=29779 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/29781/task/29802/stat : 29802 (java) S 29779 29781 25443 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341369571 3037372416 241959 33554432000 1073741824 1073778376 140736943141936 140100457980712 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29781/tid=29803] ppid=29779 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/29781/task/29803/stat : 29803 (java) S 29779 29781 25443 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341369571 3037372416 241959 33554432000 1073741824 1073778376 140736943141936 140100456928168 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29781/tid=29814] ppid=29779 vsize=2966184 CPUtime=747.6 cores=0,2,4,6
/proc/29781/task/29814/stat : 29814 (java) R 29779 29781 25443 0 -1 4202560 483 0 0 0 74746 14 0 0 20 0 22 0 341378096 3037372416 241959 33554432000 1073741824 1073778376 140736943141936 140100459032208 140100562079850 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=29781/tid=29815] ppid=29779 vsize=2966184 CPUtime=747.62 cores=0,2,4,6
/proc/29781/task/29815/stat : 29815 (java) R 29779 29781 25443 0 -1 4202560 435 0 0 0 74748 14 0 0 20 0 22 0 341378096 3037372416 241959 33554432000 1073741824 1073778376 140736943141936 140100460084128 140100562137729 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1750.04
Current children cumulated vsize (KiB) 2966184
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+907.301 s]
/proc/loadavg: 3.74 3.77 3.70 5/219 29962
/proc/meminfo: memFree=25267820/32873660 swapFree=7120/7120
[pid=29781] ppid=29779 vsize=2966184 CPUtime=1800 cores=0,2,4,6
/proc/29781/stat : 29781 (java) S 29779 29781 25443 0 -1 4202496 23979 0 1 0 179820 180 0 0 20 0 22 0 341368916 3037372416 241959 33554432000 1073741824 1073778376 140736943141936 140736943133072 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29781/statm: 741546 241959 2287 9 0 732240 0
[pid=29781/tid=29782] ppid=29779 vsize=2966184 CPUtime=6.55 cores=0,2,4,6
/proc/29781/task/29782/stat : 29782 (java) S 29779 29781 25443 0 -1 4202560 2905 0 1 0 653 2 0 0 20 0 22 0 341368916 3037372416 241959 33554432000 1073741824 1073778376 140736943141936 140100621550728 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29781/tid=29784] ppid=29779 vsize=2966184 CPUtime=7.72 cores=0,2,4,6
/proc/29781/task/29784/stat : 29784 (java) S 29779 29781 25443 0 -1 4202560 372 0 0 0 761 11 0 0 20 0 22 0 341368917 3037372416 241959 33554432000 1073741824 1073778376 140736943141936 140100488075688 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29781/tid=29785] ppid=29779 vsize=2966184 CPUtime=7.39 cores=0,2,4,6
/proc/29781/task/29785/stat : 29785 (java) S 29779 29781 25443 0 -1 4202560 336 0 0 0 730 9 0 0 20 0 22 0 341368917 3037372416 241959 33554432000 1073741824 1073778376 140736943141936 140100487023144 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29781/tid=29786] ppid=29779 vsize=2966184 CPUtime=7.58 cores=0,2,4,6
/proc/29781/task/29786/stat : 29786 (java) S 29779 29781 25443 0 -1 4202560 357 0 0 0 748 10 0 0 20 0 22 0 341368917 3037372416 241959 33554432000 1073741824 1073778376 140736943141936 140100485970088 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29781/tid=29787] ppid=29779 vsize=2966184 CPUtime=7.77 cores=0,2,4,6
/proc/29781/task/29787/stat : 29787 (java) S 29779 29781 25443 0 -1 4202560 341 0 0 0 767 10 0 0 20 0 22 0 341368917 3037372416 241959 33554432000 1073741824 1073778376 140736943141936 140100484917544 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29781/tid=29788] ppid=29779 vsize=2966184 CPUtime=7.66 cores=0,2,4,6
/proc/29781/task/29788/stat : 29788 (java) S 29779 29781 25443 0 -1 4202560 366 0 0 0 755 11 0 0 20 0 22 0 341368917 3037372416 241959 33554432000 1073741824 1073778376 140736943141936 140100483865512 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29781/tid=29789] ppid=29779 vsize=2966184 CPUtime=7.56 cores=0,2,4,6
/proc/29781/task/29789/stat : 29789 (java) S 29779 29781 25443 0 -1 4202560 355 0 0 0 745 11 0 0 20 0 22 0 341368917 3037372416 241959 33554432000 1073741824 1073778376 140736943141936 140100482812968 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29781/tid=29790] ppid=29779 vsize=2966184 CPUtime=7.63 cores=0,2,4,6
/proc/29781/task/29790/stat : 29790 (java) S 29779 29781 25443 0 -1 4202560 353 0 0 0 753 10 0 0 20 0 22 0 341368917 3037372416 241959 33554432000 1073741824 1073778376 140736943141936 140100481759912 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29781/tid=29791] ppid=29779 vsize=2966184 CPUtime=7.61 cores=0,2,4,6
/proc/29781/task/29791/stat : 29791 (java) S 29779 29781 25443 0 -1 4202560 374 0 0 0 749 12 0 0 20 0 22 0 341368917 3037372416 241959 33554432000 1073741824 1073778376 140736943141936 140100480707368 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29781/tid=29792] ppid=29779 vsize=2966184 CPUtime=29.11 cores=0,2,4,6
/proc/29781/task/29792/stat : 29792 (java) S 29779 29781 25443 0 -1 4202560 253 0 0 0 2857 54 0 0 20 0 22 0 341368918 3037372416 241959 33554432000 1073741824 1073778376 140736943141936 140100468509032 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29781/tid=29793] ppid=29779 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/29781/task/29793/stat : 29793 (java) S 29779 29781 25443 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341368919 3037372416 241959 33554432000 1073741824 1073778376 140736943141936 140100467455352 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29781/tid=29794] ppid=29779 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/29781/task/29794/stat : 29794 (java) S 29779 29781 25443 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 341368919 3037372416 241959 33554432000 1073741824 1073778376 140736943141936 140100466402184 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29781/tid=29795] ppid=29779 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/29781/task/29795/stat : 29795 (java) S 29779 29781 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341368921 3037372416 241959 33554432000 1073741824 1073778376 140736943141936 140100465350928 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29781/tid=29796] ppid=29779 vsize=2966184 CPUtime=1.22 cores=0,2,4,6
/proc/29781/task/29796/stat : 29796 (java) S 29779 29781 25443 0 -1 4202560 7795 0 0 0 120 2 0 0 20 0 22 0 341368921 3037372416 241959 33554432000 1073741824 1073778376 140736943141936 140100464298808 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29781/tid=29797] ppid=29779 vsize=2966184 CPUtime=1.49 cores=0,2,4,6
/proc/29781/task/29797/stat : 29797 (java) S 29779 29781 25443 0 -1 4202560 7549 0 0 0 147 2 0 0 20 0 22 0 341368921 3037372416 241959 33554432000 1073741824 1073778376 140736943141936 140100463246264 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29781/tid=29798] ppid=29779 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/29781/task/29798/stat : 29798 (java) S 29779 29781 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341368921 3037372416 241959 33554432000 1073741824 1073778376 140736943141936 140100462193400 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29781/tid=29799] ppid=29779 vsize=2966184 CPUtime=0.33 cores=0,2,4,6
/proc/29781/task/29799/stat : 29799 (java) S 29779 29781 25443 0 -1 4202560 53 0 0 0 18 15 0 0 20 0 22 0 341368921 3037372416 241959 33554432000 1073741824 1073778376 140736943141936 140100461141064 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29781/tid=29802] ppid=29779 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/29781/task/29802/stat : 29802 (java) S 29779 29781 25443 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341369571 3037372416 241959 33554432000 1073741824 1073778376 140736943141936 140100457980712 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29781/tid=29803] ppid=29779 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/29781/task/29803/stat : 29803 (java) S 29779 29781 25443 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341369571 3037372416 241959 33554432000 1073741824 1073778376 140736943141936 140100456928168 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29781/tid=29814] ppid=29779 vsize=2966184 CPUtime=771.13 cores=0,2,4,6
/proc/29781/task/29814/stat : 29814 (java) R 29779 29781 25443 0 -1 4202560 501 0 0 0 77099 14 0 0 20 0 22 0 341378096 3037372416 241959 33554432000 1073741824 1073778376 140736943141936 140100459033472 140100562137538 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=29781/tid=29815] ppid=29779 vsize=2966184 CPUtime=771.14 cores=0,2,4,6
/proc/29781/task/29815/stat : 29815 (java) R 29779 29781 25443 0 -1 4202560 445 0 0 0 77100 14 0 0 20 0 22 0 341378096 3037372416 241959 33554432000 1073741824 1073778376 140736943141936 140100460084944 140100562080096 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 2966184
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+907.301 s]
/proc/loadavg: 3.74 3.77 3.70 5/219 29962
/proc/meminfo: memFree=25267820/32873660 swapFree=7120/7120
[pid=29781] ppid=29779 vsize=2966184 CPUtime=1800 cores=0,2,4,6
/proc/29781/stat : 29781 (java) S 29779 29781 25443 0 -1 4202496 23979 0 1 0 179820 180 0 0 20 0 22 0 341368916 3037372416 241959 33554432000 1073741824 1073778376 140736943141936 140736943133072 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29781/statm: 741546 241959 2287 9 0 732240 0
[pid=29781/tid=29782] ppid=29779 vsize=2966184 CPUtime=6.55 cores=0,2,4,6
/proc/29781/task/29782/stat : 29782 (java) S 29779 29781 25443 0 -1 4202560 2905 0 1 0 653 2 0 0 20 0 22 0 341368916 3037372416 241959 33554432000 1073741824 1073778376 140736943141936 140100621550728 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29781/tid=29784] ppid=29779 vsize=2966184 CPUtime=7.72 cores=0,2,4,6
/proc/29781/task/29784/stat : 29784 (java) S 29779 29781 25443 0 -1 4202560 372 0 0 0 761 11 0 0 20 0 22 0 341368917 3037372416 241959 33554432000 1073741824 1073778376 140736943141936 140100488075688 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29781/tid=29785] ppid=29779 vsize=2966184 CPUtime=7.39 cores=0,2,4,6
/proc/29781/task/29785/stat : 29785 (java) S 29779 29781 25443 0 -1 4202560 336 0 0 0 730 9 0 0 20 0 22 0 341368917 3037372416 241959 33554432000 1073741824 1073778376 140736943141936 140100487023144 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29781/tid=29786] ppid=29779 vsize=2966184 CPUtime=7.58 cores=0,2,4,6
/proc/29781/task/29786/stat : 29786 (java) S 29779 29781 25443 0 -1 4202560 357 0 0 0 748 10 0 0 20 0 22 0 341368917 3037372416 241959 33554432000 1073741824 1073778376 140736943141936 140100485970088 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29781/tid=29787] ppid=29779 vsize=2966184 CPUtime=7.77 cores=0,2,4,6
/proc/29781/task/29787/stat : 29787 (java) S 29779 29781 25443 0 -1 4202560 341 0 0 0 767 10 0 0 20 0 22 0 341368917 3037372416 241959 33554432000 1073741824 1073778376 140736943141936 140100484917544 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29781/tid=29788] ppid=29779 vsize=2966184 CPUtime=7.66 cores=0,2,4,6
/proc/29781/task/29788/stat : 29788 (java) S 29779 29781 25443 0 -1 4202560 366 0 0 0 755 11 0 0 20 0 22 0 341368917 3037372416 241959 33554432000 1073741824 1073778376 140736943141936 140100483865512 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29781/tid=29789] ppid=29779 vsize=2966184 CPUtime=7.56 cores=0,2,4,6
/proc/29781/task/29789/stat : 29789 (java) S 29779 29781 25443 0 -1 4202560 355 0 0 0 745 11 0 0 20 0 22 0 341368917 3037372416 241959 33554432000 1073741824 1073778376 140736943141936 140100482812968 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29781/tid=29790] ppid=29779 vsize=2966184 CPUtime=7.63 cores=0,2,4,6
/proc/29781/task/29790/stat : 29790 (java) S 29779 29781 25443 0 -1 4202560 353 0 0 0 753 10 0 0 20 0 22 0 341368917 3037372416 241959 33554432000 1073741824 1073778376 140736943141936 140100481759912 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29781/tid=29791] ppid=29779 vsize=2966184 CPUtime=7.61 cores=0,2,4,6
/proc/29781/task/29791/stat : 29791 (java) S 29779 29781 25443 0 -1 4202560 374 0 0 0 749 12 0 0 20 0 22 0 341368917 3037372416 241959 33554432000 1073741824 1073778376 140736943141936 140100480707368 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29781/tid=29792] ppid=29779 vsize=2966184 CPUtime=29.11 cores=0,2,4,6
/proc/29781/task/29792/stat : 29792 (java) S 29779 29781 25443 0 -1 4202560 253 0 0 0 2857 54 0 0 20 0 22 0 341368918 3037372416 241959 33554432000 1073741824 1073778376 140736943141936 140100468509032 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29781/tid=29793] ppid=29779 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/29781/task/29793/stat : 29793 (java) S 29779 29781 25443 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341368919 3037372416 241959 33554432000 1073741824 1073778376 140736943141936 140100467455352 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29781/tid=29794] ppid=29779 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/29781/task/29794/stat : 29794 (java) S 29779 29781 25443 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 341368919 3037372416 241959 33554432000 1073741824 1073778376 140736943141936 140100466402184 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29781/tid=29795] ppid=29779 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/29781/task/29795/stat : 29795 (java) S 29779 29781 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341368921 3037372416 241959 33554432000 1073741824 1073778376 140736943141936 140100465350928 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29781/tid=29796] ppid=29779 vsize=2966184 CPUtime=1.22 cores=0,2,4,6
/proc/29781/task/29796/stat : 29796 (java) S 29779 29781 25443 0 -1 4202560 7795 0 0 0 120 2 0 0 20 0 22 0 341368921 3037372416 241959 33554432000 1073741824 1073778376 140736943141936 140100464298808 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29781/tid=29797] ppid=29779 vsize=2966184 CPUtime=1.49 cores=0,2,4,6
/proc/29781/task/29797/stat : 29797 (java) S 29779 29781 25443 0 -1 4202560 7549 0 0 0 147 2 0 0 20 0 22 0 341368921 3037372416 241959 33554432000 1073741824 1073778376 140736943141936 140100463246264 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29781/tid=29798] ppid=29779 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/29781/task/29798/stat : 29798 (java) S 29779 29781 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341368921 3037372416 241959 33554432000 1073741824 1073778376 140736943141936 140100462193400 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29781/tid=29799] ppid=29779 vsize=2966184 CPUtime=0.33 cores=0,2,4,6
/proc/29781/task/29799/stat : 29799 (java) S 29779 29781 25443 0 -1 4202560 53 0 0 0 18 15 0 0 20 0 22 0 341368921 3037372416 241959 33554432000 1073741824 1073778376 140736943141936 140100461141064 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29781/tid=29802] ppid=29779 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/29781/task/29802/stat : 29802 (java) S 29779 29781 25443 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341369571 3037372416 241959 33554432000 1073741824 1073778376 140736943141936 140100457980712 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29781/tid=29803] ppid=29779 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/29781/task/29803/stat : 29803 (java) S 29779 29781 25443 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341369571 3037372416 241959 33554432000 1073741824 1073778376 140736943141936 140100456928168 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29781/tid=29814] ppid=29779 vsize=2966184 CPUtime=771.13 cores=0,2,4,6
/proc/29781/task/29814/stat : 29814 (java) R 29779 29781 25443 0 -1 4202560 501 0 0 0 77099 14 0 0 20 0 22 0 341378096 3037372416 241959 33554432000 1073741824 1073778376 140736943141936 140100459033472 140100562137538 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=29781/tid=29815] ppid=29779 vsize=2966184 CPUtime=771.14 cores=0,2,4,6
/proc/29781/task/29815/stat : 29815 (java) R 29779 29781 25443 0 -1 4202560 445 0 0 0 77100 14 0 0 20 0 22 0 341378096 3037372416 241959 33554432000 1073741824 1073778376 140736943141936 140100460084944 140100562080096 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 2966184
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 29781 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=970275
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=200665
# CPU time returned by wait4() is 1796.17
# while last known CPU time is 1800
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 0.169998
# lost CPU user time (s): 0.190002
# lost CPU system time (s): -0.02
Real time (s): 907.348
CPU time (s): 1800.17
CPU user time (s): 1798.39
CPU system time (s): 1.78
CPU usage (%): 198.399
Max. virtual memory (cumulated for all children) (KiB): 2966184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.97
system time used= 2.20066
maximum resident set size= 967952
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24010
page faults= 1
swaps= 0
block input operations= 8
block output operations= 944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 53124
involuntary context switches= 105587
runsolver used 3.38948 second user time and 8.17476 second system time
The end