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-3456336-1307224858/watcher-3456336-1307224858 -o /tmp/evaluation-result-3456336-1307224858/solver-3456336-1307224858 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456336-1307224858.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.04 2.00 2/532 31987
/proc/meminfo: memFree=19007404/32951124 swapFree=62999000/67111528
[pid=31987] ppid=31985 vsize=10444316 CPUtime=0.01 cores=0,2,4,6
/proc/31987/stat : 31987 (java) S 31985 31987 31003 0 -1 4202496 8886 0 1 0 0 1 0 0 25 0 2 0 814901429 10694979584 8587 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738207717 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/31987/statm: 2611079 8601 917 9 0 2602235 0
[pid=31987/tid=31988] ppid=31985 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/31987/task/31988/stat : 31988 (java) R 31985 31987 31003 0 -1 4202560 7833 0 1 0 0 0 0 0 25 0 2 0 814901429 10694979584 8650 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264726099003 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.119788 s]
/proc/loadavg: 2.00 2.04 2.00 2/532 31987
/proc/meminfo: memFree=19007404/32951124 swapFree=62999000/67111528
[pid=31987] ppid=31985 vsize=10540436 CPUtime=0.13 cores=0,2,4,6
/proc/31987/stat : 31987 (java) S 31985 31987 31003 0 -1 4202496 13355 0 1 0 11 2 0 0 25 0 18 0 814901429 10793406464 13021 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/31987/statm: 2635109 13021 2134 9 0 2625843 0
[pid=31987/tid=31988] ppid=31985 vsize=10540436 CPUtime=0.11 cores=0,2,4,6
/proc/31987/task/31988/stat : 31988 (java) R 31985 31987 31003 0 -1 4202560 11370 0 1 0 9 2 0 0 25 0 18 0 814901429 10793406464 13021 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 46912505213177 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 10540436
[startup+0.200772 s]
/proc/loadavg: 2.00 2.04 2.00 2/532 31987
/proc/meminfo: memFree=19007404/32951124 swapFree=62999000/67111528
[pid=31987] ppid=31985 vsize=10541444 CPUtime=0.28 cores=0,2,4,6
/proc/31987/stat : 31987 (java) S 31985 31987 31003 0 -1 4202496 14223 0 1 0 26 2 0 0 25 0 18 0 814901429 10794438656 13889 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/31987/statm: 2635361 13889 2185 9 0 2626095 0
[pid=31987/tid=31988] ppid=31985 vsize=10541444 CPUtime=0.19 cores=0,2,4,6
/proc/31987/task/31988/stat : 31988 (java) R 31985 31987 31003 0 -1 4202560 11912 0 1 0 17 2 0 0 25 0 18 0 814901429 10794438656 13889 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 46912505220225 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 10541444
[startup+0.30391 s]
/proc/loadavg: 2.00 2.04 2.00 2/532 31987
/proc/meminfo: memFree=19007404/32951124 swapFree=62999000/67111528
[pid=31987] ppid=31985 vsize=10545132 CPUtime=0.59 cores=0,2,4,6
/proc/31987/stat : 31987 (java) S 31985 31987 31003 0 -1 4202496 18415 0 1 0 56 3 0 0 25 0 18 0 814901429 10798215168 17329 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/31987/statm: 2636458 18140 2209 9 0 2627192 0
[pid=31987/tid=31988] ppid=31985 vsize=10544480 CPUtime=0.33 cores=0,2,4,6
/proc/31987/task/31988/stat : 31988 (java) R 31985 31987 31003 0 -1 4202560 15191 0 1 0 31 2 0 0 18 0 18 0 814901429 10797547520 18331 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 46912505589195 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 10545132
[startup+0.71782 s]
/proc/loadavg: 2.00 2.04 2.00 2/532 31987
/proc/meminfo: memFree=19007404/32951124 swapFree=62999000/67111528
[pid=31987] ppid=31985 vsize=10560740 CPUtime=1.65 cores=0,2,4,6
/proc/31987/stat : 31987 (java) S 31985 31987 31003 0 -1 4202496 36410 0 1 0 159 6 0 0 25 0 19 0 814901429 10814197760 31034 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/31987/statm: 2640185 31037 2236 9 0 2630919 0
[pid=31987/tid=31988] ppid=31985 vsize=10560740 CPUtime=0.7 cores=0,2,4,6
/proc/31987/task/31988/stat : 31988 (java) R 31985 31987 31003 0 -1 4202560 23368 0 1 0 66 4 0 0 19 0 19 0 814901429 10814197760 31037 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 46912505325702 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.65
Current children cumulated vsize (KiB) 10560740
[startup+1.50156 s]
/proc/loadavg: 2.00 2.04 2.00 3/551 32006
/proc/meminfo: memFree=18787472/32951124 swapFree=62999000/67111528
[pid=31987] ppid=31985 vsize=10562196 CPUtime=3.11 cores=0,2,4,6
/proc/31987/stat : 31987 (java) S 31985 31987 31003 0 -1 4202496 82182 0 1 0 300 11 0 0 25 0 19 0 814901429 10815688704 76407 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/31987/statm: 2640549 76408 2238 9 0 2631283 0
[pid=31987/tid=31988] ppid=31985 vsize=10562196 CPUtime=1.48 cores=0,2,4,6
/proc/31987/task/31988/stat : 31988 (java) R 31985 31987 31003 0 -1 4202560 66084 0 1 0 140 8 0 0 20 0 19 0 814901429 10815688704 76408 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 46912506008007 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31987/tid=31990] ppid=31985 vsize=10562196 CPUtime=0 cores=0,2,4,6
/proc/31987/task/31990/stat : 31990 (java) S 31985 31987 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814901431 10815688704 76408 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=31987/tid=31991] ppid=31985 vsize=10562196 CPUtime=0 cores=0,2,4,6
/proc/31987/task/31991/stat : 31991 (java) S 31985 31987 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814901431 10815688704 76408 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=31987/tid=31992] ppid=31985 vsize=10562196 CPUtime=0 cores=0,2,4,6
/proc/31987/task/31992/stat : 31992 (java) S 31985 31987 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814901431 10815688704 76408 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=31987/tid=31993] ppid=31985 vsize=10562196 CPUtime=0 cores=0,2,4,6
/proc/31987/task/31993/stat : 31993 (java) S 31985 31987 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814901431 10815688704 76408 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=31987/tid=31994] ppid=31985 vsize=10562196 CPUtime=0 cores=0,2,4,6
/proc/31987/task/31994/stat : 31994 (java) S 31985 31987 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814901431 10815688704 76408 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=31987/tid=31995] ppid=31985 vsize=10562196 CPUtime=0 cores=0,2,4,6
/proc/31987/task/31995/stat : 31995 (java) S 31985 31987 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814901431 10815688704 76408 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=31987/tid=31996] ppid=31985 vsize=10562196 CPUtime=0 cores=0,2,4,6
/proc/31987/task/31996/stat : 31996 (java) S 31985 31987 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814901431 10815688704 76408 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=31987/tid=31997] ppid=31985 vsize=10562196 CPUtime=0 cores=0,2,4,6
/proc/31987/task/31997/stat : 31997 (java) S 31985 31987 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814901431 10815688704 76408 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=31987/tid=31998] ppid=31985 vsize=10562196 CPUtime=0 cores=0,2,4,6
/proc/31987/task/31998/stat : 31998 (java) S 31985 31987 31003 0 -1 4202560 5 0 0 0 0 0 0 0 21 0 19 0 814901432 10815688704 76409 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738221568 0 0 0 16800975 18446604440972402752 0 0 -1 0 0 0 0
[pid=31987/tid=31999] ppid=31985 vsize=10562196 CPUtime=0 cores=0,2,4,6
/proc/31987/task/31999/stat : 31999 (java) S 31985 31987 31003 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 814901432 10815688704 76409 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 4 0 0 0
[pid=31987/tid=32000] ppid=31985 vsize=10562196 CPUtime=0 cores=0,2,4,6
/proc/31987/task/32000/stat : 32000 (java) S 31985 31987 31003 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 814901432 10815688704 76409 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=31987/tid=32001] ppid=31985 vsize=10562196 CPUtime=0 cores=0,2,4,6
/proc/31987/task/32001/stat : 32001 (java) S 31985 31987 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814901434 10815688704 76409 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738228657 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=31987/tid=32002] ppid=31985 vsize=10562196 CPUtime=0.7 cores=0,2,4,6
/proc/31987/task/32002/stat : 32002 (java) S 31985 31987 31003 0 -1 4202560 6312 0 0 0 70 0 0 0 15 0 19 0 814901434 10815688704 76409 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=31987/tid=32003] ppid=31985 vsize=10562196 CPUtime=0.9 cores=0,2,4,6
/proc/31987/task/32003/stat : 32003 (java) S 31985 31987 31003 0 -1 4202560 8625 0 0 0 89 1 0 0 15 0 19 0 814901434 10815688704 76409 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 4 0 0 0
[pid=31987/tid=32004] ppid=31985 vsize=10562196 CPUtime=0 cores=0,2,4,6
/proc/31987/task/32004/stat : 32004 (java) S 31985 31987 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814901434 10815688704 76409 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=31987/tid=32005] ppid=31985 vsize=10562196 CPUtime=0 cores=0,2,4,6
/proc/31987/task/32005/stat : 32005 (java) S 31985 31987 31003 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 814901434 10815688704 76409 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738221568 0 4 0 16800975 18446604440972402752 0 0 -1 4 0 0 0
[pid=31987/tid=32006] ppid=31985 vsize=10562196 CPUtime=0 cores=0,2,4,6
/proc/31987/task/32006/stat : 32006 (java) S 31985 31987 31003 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814901475 10815688704 76409 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738221568 0 4 0 16800975 18446604440972402752 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 10562196
[startup+3.1013 s]
/proc/loadavg: 2.00 2.04 2.00 3/551 32006
/proc/meminfo: memFree=18513056/32951124 swapFree=62999000/67111528
[pid=31987] ppid=31985 vsize=10562196 CPUtime=4.73 cores=0,2,4,6
/proc/31987/stat : 31987 (java) S 31985 31987 31003 0 -1 4202496 203657 0 1 0 447 26 0 0 25 0 19 0 814901429 10815688704 197881 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/31987/statm: 2640549 197884 2238 9 0 2631283 0
[pid=31987/tid=31988] ppid=31985 vsize=10562196 CPUtime=3.08 cores=0,2,4,6
/proc/31987/task/31988/stat : 31988 (java) R 31985 31987 31003 0 -1 4202560 187560 0 1 0 285 23 0 0 25 0 19 0 814901429 10815688704 197887 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 46912505948797 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31987/tid=31990] ppid=31985 vsize=10562196 CPUtime=0 cores=0,2,4,6
/proc/31987/task/31990/stat : 31990 (java) S 31985 31987 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814901431 10815688704 197891 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=31987/tid=31991] ppid=31985 vsize=10562196 CPUtime=0 cores=0,2,4,6
/proc/31987/task/31991/stat : 31991 (java) S 31985 31987 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814901431 10815688704 197894 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=31987/tid=31992] ppid=31985 vsize=10562196 CPUtime=0 cores=0,2,4,6
/proc/31987/task/31992/stat : 31992 (java) S 31985 31987 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814901431 10815688704 197896 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=31987/tid=31993] ppid=31985 vsize=10562196 CPUtime=0 cores=0,2,4,6
/proc/31987/task/31993/stat : 31993 (java) S 31985 31987 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814901431 10815688704 197898 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=31987/tid=31994] ppid=31985 vsize=10562196 CPUtime=0 cores=0,2,4,6
/proc/31987/task/31994/stat : 31994 (java) S 31985 31987 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814901431 10815688704 197900 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=31987/tid=31995] ppid=31985 vsize=10562196 CPUtime=0 cores=0,2,4,6
/proc/31987/task/31995/stat : 31995 (java) S 31985 31987 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814901431 10815688704 197903 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=31987/tid=31996] ppid=31985 vsize=10562196 CPUtime=0 cores=0,2,4,6
/proc/31987/task/31996/stat : 31996 (java) S 31985 31987 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814901431 10815688704 197907 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=31987/tid=31997] ppid=31985 vsize=10562196 CPUtime=0 cores=0,2,4,6
/proc/31987/task/31997/stat : 31997 (java) S 31985 31987 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814901431 10815688704 197909 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=31987/tid=31998] ppid=31985 vsize=10562196 CPUtime=0 cores=0,2,4,6
/proc/31987/task/31998/stat : 31998 (java) S 31985 31987 31003 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 814901432 10815688704 197911 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738221568 0 0 0 16800975 18446604440972402752 0 0 -1 0 0 0 0
[pid=31987/tid=31999] ppid=31985 vsize=10562196 CPUtime=0 cores=0,2,4,6
/proc/31987/task/31999/stat : 31999 (java) S 31985 31987 31003 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 814901432 10815688704 197913 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 4 0 0 0
[pid=31987/tid=32000] ppid=31985 vsize=10562196 CPUtime=0 cores=0,2,4,6
/proc/31987/task/32000/stat : 32000 (java) S 31985 31987 31003 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 814901432 10815688704 197916 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=31987/tid=32001] ppid=31985 vsize=10562196 CPUtime=0 cores=0,2,4,6
/proc/31987/task/32001/stat : 32001 (java) S 31985 31987 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814901434 10815688704 197919 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738228657 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=31987/tid=32002] ppid=31985 vsize=10562196 CPUtime=0.73 cores=0,2,4,6
/proc/31987/task/32002/stat : 32002 (java) S 31985 31987 31003 0 -1 4202560 6315 0 0 0 73 0 0 0 15 0 19 0 814901434 10815688704 197922 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=31987/tid=32003] ppid=31985 vsize=10562196 CPUtime=0.9 cores=0,2,4,6
/proc/31987/task/32003/stat : 32003 (java) S 31985 31987 31003 0 -1 4202560 8625 0 0 0 89 1 0 0 15 0 19 0 814901434 10815688704 197925 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 4 0 0 0
[pid=31987/tid=32004] ppid=31985 vsize=10562196 CPUtime=0 cores=0,2,4,6
/proc/31987/task/32004/stat : 32004 (java) S 31985 31987 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814901434 10815688704 197928 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=31987/tid=32005] ppid=31985 vsize=10562196 CPUtime=0 cores=0,2,4,6
/proc/31987/task/32005/stat : 32005 (java) S 31985 31987 31003 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 814901434 10815688704 197930 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738221568 0 4 0 16800975 18446604440972402752 0 0 -1 4 0 0 0
[pid=31987/tid=32006] ppid=31985 vsize=10562196 CPUtime=0 cores=0,2,4,6
/proc/31987/task/32006/stat : 32006 (java) S 31985 31987 31003 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814901475 10815688704 197931 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738221568 0 4 0 16800975 18446604440972402752 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.73
Current children cumulated vsize (KiB) 10562196
[startup+6.3007 s]
/proc/loadavg: 2.00 2.04 2.00 3/551 32015
/proc/meminfo: memFree=17109648/32951124 swapFree=62999000/67111528
[pid=31987] ppid=31985 vsize=10562196 CPUtime=7.99 cores=0,2,4,6
/proc/31987/stat : 31987 (java) S 31985 31987 31003 0 -1 4202496 548851 0 1 0 728 71 0 0 25 0 19 0 814901429 10815688704 543074 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/31987/statm: 2640549 543075 2238 9 0 2631283 0
[pid=31987/tid=31988] ppid=31985 vsize=10562196 CPUtime=6.28 cores=0,2,4,6
/proc/31987/task/31988/stat : 31988 (java) R 31985 31987 31003 0 -1 4202560 532745 0 1 0 560 68 0 0 25 0 19 0 814901429 10815688704 543076 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 46912505905822 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31987/tid=31990] ppid=31985 vsize=10562196 CPUtime=0 cores=0,2,4,6
/proc/31987/task/31990/stat : 31990 (java) S 31985 31987 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814901431 10815688704 543076 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=31987/tid=31991] ppid=31985 vsize=10562196 CPUtime=0 cores=0,2,4,6
/proc/31987/task/31991/stat : 31991 (java) S 31985 31987 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814901431 10815688704 543077 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=31987/tid=31992] ppid=31985 vsize=10562196 CPUtime=0 cores=0,2,4,6
/proc/31987/task/31992/stat : 31992 (java) S 31985 31987 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814901431 10815688704 543078 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=31987/tid=31993] ppid=31985 vsize=10562196 CPUtime=0 cores=0,2,4,6
/proc/31987/task/31993/stat : 31993 (java) S 31985 31987 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814901431 10815688704 543079 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=31987/tid=31994] ppid=31985 vsize=10562196 CPUtime=0 cores=0,2,4,6
/proc/31987/task/31994/stat : 31994 (java) S 31985 31987 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814901431 10815688704 543079 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=31987/tid=31995] ppid=31985 vsize=10562196 CPUtime=0 cores=0,2,4,6
/proc/31987/task/31995/stat : 31995 (java) S 31985 31987 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814901431 10815688704 543079 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=31987/tid=31996] ppid=31985 vsize=10562196 CPUtime=0 cores=0,2,4,6
/proc/31987/task/31996/stat : 31996 (java) S 31985 31987 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814901431 10815688704 543079 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=31987/tid=31997] ppid=31985 vsize=10562196 CPUtime=0 cores=0,2,4,6
/proc/31987/task/31997/stat : 31997 (java) S 31985 31987 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814901431 10815688704 543079 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=31987/tid=31998] ppid=31985 vsize=10562196 CPUtime=0 cores=0,2,4,6
/proc/31987/task/31998/stat : 31998 (java) S 31985 31987 31003 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 814901432 10815688704 543079 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738221568 0 0 0 16800975 18446604440972402752 0 0 -1 0 0 0 0
[pid=31987/tid=31999] ppid=31985 vsize=10562196 CPUtime=0 cores=0,2,4,6
/proc/31987/task/31999/stat : 31999 (java) S 31985 31987 31003 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 814901432 10815688704 543080 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 4 0 0 0
[pid=31987/tid=32000] ppid=31985 vsize=10562196 CPUtime=0 cores=0,2,4,6
/proc/31987/task/32000/stat : 32000 (java) S 31985 31987 31003 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 814901432 10815688704 543081 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=31987/tid=32001] ppid=31985 vsize=10562196 CPUtime=0 cores=0,2,4,6
/proc/31987/task/32001/stat : 32001 (java) S 31985 31987 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814901434 10815688704 543082 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738228657 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=31987/tid=32002] ppid=31985 vsize=10562196 CPUtime=0.78 cores=0,2,4,6
/proc/31987/task/32002/stat : 32002 (java) S 31985 31987 31003 0 -1 4202560 6320 0 0 0 78 0 0 0 15 0 19 0 814901434 10815688704 543082 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=31987/tid=32003] ppid=31985 vsize=10562196 CPUtime=0.9 cores=0,2,4,6
/proc/31987/task/32003/stat : 32003 (java) S 31985 31987 31003 0 -1 4202560 8625 0 0 0 89 1 0 0 15 0 19 0 814901434 10815688704 543083 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 4 0 0 0
################
# More data... #
################
/proc/31987/task/31999/stat : 31999 (java) S 31985 31987 31003 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 814901432 10815688704 992720 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 4 0 0 0
[pid=31987/tid=32000] ppid=31985 vsize=10562196 CPUtime=0 cores=0,2,4,6
/proc/31987/task/32000/stat : 32000 (java) S 31985 31987 31003 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 814901432 10815688704 992720 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=31987/tid=32001] ppid=31985 vsize=10562196 CPUtime=0 cores=0,2,4,6
/proc/31987/task/32001/stat : 32001 (java) S 31985 31987 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814901434 10815688704 992720 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738228657 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=31987/tid=32002] ppid=31985 vsize=10562196 CPUtime=1.03 cores=0,2,4,6
/proc/31987/task/32002/stat : 32002 (java) S 31985 31987 31003 0 -1 4202560 6340 0 0 0 103 0 0 0 15 0 19 0 814901434 10815688704 992720 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=31987/tid=32003] ppid=31985 vsize=10562196 CPUtime=0.99 cores=0,2,4,6
/proc/31987/task/32003/stat : 32003 (java) S 31985 31987 31003 0 -1 4202560 8630 0 0 0 98 1 0 0 15 0 19 0 814901434 10815688704 992720 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 4 0 0 0
[pid=31987/tid=32004] ppid=31985 vsize=10562196 CPUtime=0 cores=0,2,4,6
/proc/31987/task/32004/stat : 32004 (java) S 31985 31987 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814901434 10815688704 992720 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=31987/tid=32005] ppid=31985 vsize=10562196 CPUtime=0 cores=0,2,4,6
/proc/31987/task/32005/stat : 32005 (java) S 31985 31987 31003 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 814901434 10815688704 992720 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738221568 0 4 0 16800975 18446604440972402752 0 0 -1 2 0 0 0
[pid=31987/tid=32006] ppid=31985 vsize=10562196 CPUtime=0 cores=0,2,4,6
/proc/31987/task/32006/stat : 32006 (java) S 31985 31987 31003 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814901475 10815688704 992720 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738221568 0 4 0 16800975 18446604440972402752 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1670.2
Current children cumulated vsize (KiB) 10562196
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/551 32064
/proc/meminfo: memFree=13409528/32951124 swapFree=62999000/67111528
[pid=31987] ppid=31985 vsize=10562196 CPUtime=1730.44 cores=0,2,4,6
/proc/31987/stat : 31987 (java) S 31985 31987 31003 0 -1 4202496 1003714 0 1 0 172910 134 0 0 25 0 19 0 814901429 10815688704 994399 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/31987/statm: 2640549 994399 2268 9 0 2631283 0
[pid=31987/tid=31988] ppid=31985 vsize=10562196 CPUtime=1718.67 cores=0,2,4,6
/proc/31987/task/31988/stat : 31988 (java) R 31985 31987 31003 0 -1 4202560 808646 0 1 0 171764 103 0 0 25 0 19 0 814901429 10815688704 994399 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 46912505978665 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=31987/tid=31990] ppid=31985 vsize=10562196 CPUtime=1.15 cores=0,2,4,6
/proc/31987/task/31990/stat : 31990 (java) S 31985 31987 31003 0 -1 4202560 21893 0 0 0 112 3 0 0 15 0 19 0 814901431 10815688704 994399 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 0 0 0 0
[pid=31987/tid=31991] ppid=31985 vsize=10562196 CPUtime=1.16 cores=0,2,4,6
/proc/31987/task/31991/stat : 31991 (java) S 31985 31987 31003 0 -1 4202560 29132 0 0 0 113 3 0 0 15 0 19 0 814901431 10815688704 994399 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=31987/tid=31992] ppid=31985 vsize=10562196 CPUtime=1.09 cores=0,2,4,6
/proc/31987/task/31992/stat : 31992 (java) S 31985 31987 31003 0 -1 4202560 23405 0 0 0 106 3 0 0 15 0 19 0 814901431 10815688704 994399 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 4 0 0 0
[pid=31987/tid=31993] ppid=31985 vsize=10562196 CPUtime=1.07 cores=0,2,4,6
/proc/31987/task/31993/stat : 31993 (java) S 31985 31987 31003 0 -1 4202560 20405 0 0 0 105 2 0 0 16 0 19 0 814901431 10815688704 994399 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 2 0 0 0
[pid=31987/tid=31994] ppid=31985 vsize=10562196 CPUtime=1.05 cores=0,2,4,6
/proc/31987/task/31994/stat : 31994 (java) S 31985 31987 31003 0 -1 4202560 16869 0 0 0 103 2 0 0 16 0 19 0 814901431 10815688704 994399 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 0 0 0 0
[pid=31987/tid=31995] ppid=31985 vsize=10562196 CPUtime=0.92 cores=0,2,4,6
/proc/31987/task/31995/stat : 31995 (java) S 31985 31987 31003 0 -1 4202560 15959 0 0 0 90 2 0 0 15 0 19 0 814901431 10815688704 994399 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=31987/tid=31996] ppid=31985 vsize=10562196 CPUtime=1.4 cores=0,2,4,6
/proc/31987/task/31996/stat : 31996 (java) S 31985 31987 31003 0 -1 4202560 25550 0 0 0 136 4 0 0 16 0 19 0 814901431 10815688704 994399 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=31987/tid=31997] ppid=31985 vsize=10562196 CPUtime=1.11 cores=0,2,4,6
/proc/31987/task/31997/stat : 31997 (java) S 31985 31987 31003 0 -1 4202560 25086 0 0 0 107 4 0 0 16 0 19 0 814901431 10815688704 994399 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 4 0 0 0
[pid=31987/tid=31998] ppid=31985 vsize=10562196 CPUtime=0.69 cores=0,2,4,6
/proc/31987/task/31998/stat : 31998 (java) S 31985 31987 31003 0 -1 4202560 546 0 0 0 68 1 0 0 15 0 19 0 814901432 10815688704 994399 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738221568 0 0 0 16800975 18446604440972402752 0 0 -1 4 0 0 0
[pid=31987/tid=31999] ppid=31985 vsize=10562196 CPUtime=0 cores=0,2,4,6
/proc/31987/task/31999/stat : 31999 (java) S 31985 31987 31003 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 814901432 10815688704 994399 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 4 0 0 0
[pid=31987/tid=32000] ppid=31985 vsize=10562196 CPUtime=0 cores=0,2,4,6
/proc/31987/task/32000/stat : 32000 (java) S 31985 31987 31003 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 814901432 10815688704 994399 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=31987/tid=32001] ppid=31985 vsize=10562196 CPUtime=0 cores=0,2,4,6
/proc/31987/task/32001/stat : 32001 (java) S 31985 31987 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814901434 10815688704 994399 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738228657 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=31987/tid=32002] ppid=31985 vsize=10562196 CPUtime=1.03 cores=0,2,4,6
/proc/31987/task/32002/stat : 32002 (java) S 31985 31987 31003 0 -1 4202560 6340 0 0 0 103 0 0 0 15 0 19 0 814901434 10815688704 994399 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=31987/tid=32003] ppid=31985 vsize=10562196 CPUtime=0.99 cores=0,2,4,6
/proc/31987/task/32003/stat : 32003 (java) S 31985 31987 31003 0 -1 4202560 8630 0 0 0 98 1 0 0 15 0 19 0 814901434 10815688704 994399 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 4 0 0 0
[pid=31987/tid=32004] ppid=31985 vsize=10562196 CPUtime=0 cores=0,2,4,6
/proc/31987/task/32004/stat : 32004 (java) S 31985 31987 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814901434 10815688704 994399 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=31987/tid=32005] ppid=31985 vsize=10562196 CPUtime=0 cores=0,2,4,6
/proc/31987/task/32005/stat : 32005 (java) S 31985 31987 31003 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 814901434 10815688704 994399 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738221568 0 4 0 16800975 18446604440972402752 0 0 -1 2 0 0 0
[pid=31987/tid=32006] ppid=31985 vsize=10562196 CPUtime=0 cores=0,2,4,6
/proc/31987/task/32006/stat : 32006 (java) S 31985 31987 31003 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814901475 10815688704 994399 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738221568 0 4 0 16800975 18446604440972402752 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1730.44
Current children cumulated vsize (KiB) 10562196
[startup+1782.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/551 32066
/proc/meminfo: memFree=13390512/32951124 swapFree=62999000/67111528
[pid=31987] ppid=31985 vsize=10562196 CPUtime=1790.65 cores=0,2,4,6
/proc/31987/stat : 31987 (java) S 31985 31987 31003 0 -1 4202496 1005395 0 1 0 178931 134 0 0 25 0 19 0 814901429 10815688704 996035 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/31987/statm: 2640549 996035 2268 9 0 2631283 0
[pid=31987/tid=31988] ppid=31985 vsize=10562196 CPUtime=1778.57 cores=0,2,4,6
/proc/31987/task/31988/stat : 31988 (java) R 31985 31987 31003 0 -1 4202560 808651 0 1 0 177754 103 0 0 25 0 19 0 814901429 10815688704 996035 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 46912505949084 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=31987/tid=31990] ppid=31985 vsize=10562196 CPUtime=1.19 cores=0,2,4,6
/proc/31987/task/31990/stat : 31990 (java) S 31985 31987 31003 0 -1 4202560 22104 0 0 0 116 3 0 0 16 0 19 0 814901431 10815688704 996035 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 0 0 0 0
[pid=31987/tid=31991] ppid=31985 vsize=10562196 CPUtime=1.19 cores=0,2,4,6
/proc/31987/task/31991/stat : 31991 (java) S 31985 31987 31003 0 -1 4202560 29288 0 0 0 116 3 0 0 15 0 19 0 814901431 10815688704 996035 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 0 0 0 0
[pid=31987/tid=31992] ppid=31985 vsize=10562196 CPUtime=1.16 cores=0,2,4,6
/proc/31987/task/31992/stat : 31992 (java) S 31985 31987 31003 0 -1 4202560 23753 0 0 0 113 3 0 0 16 0 19 0 814901431 10815688704 996035 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 4 0 0 0
[pid=31987/tid=31993] ppid=31985 vsize=10562196 CPUtime=1.09 cores=0,2,4,6
/proc/31987/task/31993/stat : 31993 (java) S 31985 31987 31003 0 -1 4202560 20489 0 0 0 107 2 0 0 15 0 19 0 814901431 10815688704 996035 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 2 0 0 0
[pid=31987/tid=31994] ppid=31985 vsize=10562196 CPUtime=1.08 cores=0,2,4,6
/proc/31987/task/31994/stat : 31994 (java) S 31985 31987 31003 0 -1 4202560 17005 0 0 0 106 2 0 0 16 0 19 0 814901431 10815688704 996035 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=31987/tid=31995] ppid=31985 vsize=10562196 CPUtime=0.94 cores=0,2,4,6
/proc/31987/task/31995/stat : 31995 (java) S 31985 31987 31003 0 -1 4202560 16062 0 0 0 92 2 0 0 15 0 19 0 814901431 10815688704 996035 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 2 0 0 0
[pid=31987/tid=31996] ppid=31985 vsize=10562196 CPUtime=1.42 cores=0,2,4,6
/proc/31987/task/31996/stat : 31996 (java) S 31985 31987 31003 0 -1 4202560 25684 0 0 0 138 4 0 0 15 0 19 0 814901431 10815688704 996035 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=31987/tid=31997] ppid=31985 vsize=10562196 CPUtime=1.18 cores=0,2,4,6
/proc/31987/task/31997/stat : 31997 (java) S 31985 31987 31003 0 -1 4202560 25586 0 0 0 114 4 0 0 16 0 19 0 814901431 10815688704 996035 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 2 0 0 0
[pid=31987/tid=31998] ppid=31985 vsize=10562196 CPUtime=0.69 cores=0,2,4,6
/proc/31987/task/31998/stat : 31998 (java) S 31985 31987 31003 0 -1 4202560 548 0 0 0 68 1 0 0 15 0 19 0 814901432 10815688704 996035 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738221568 0 0 0 16800975 18446604440972402752 0 0 -1 4 0 0 0
[pid=31987/tid=31999] ppid=31985 vsize=10562196 CPUtime=0 cores=0,2,4,6
/proc/31987/task/31999/stat : 31999 (java) S 31985 31987 31003 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 814901432 10815688704 996035 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 4 0 0 0
[pid=31987/tid=32000] ppid=31985 vsize=10562196 CPUtime=0 cores=0,2,4,6
/proc/31987/task/32000/stat : 32000 (java) S 31985 31987 31003 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 814901432 10815688704 996035 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=31987/tid=32001] ppid=31985 vsize=10562196 CPUtime=0 cores=0,2,4,6
/proc/31987/task/32001/stat : 32001 (java) S 31985 31987 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814901434 10815688704 996035 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738228657 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=31987/tid=32002] ppid=31985 vsize=10562196 CPUtime=1.03 cores=0,2,4,6
/proc/31987/task/32002/stat : 32002 (java) S 31985 31987 31003 0 -1 4202560 6340 0 0 0 103 0 0 0 15 0 19 0 814901434 10815688704 996035 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=31987/tid=32003] ppid=31985 vsize=10562196 CPUtime=0.99 cores=0,2,4,6
/proc/31987/task/32003/stat : 32003 (java) S 31985 31987 31003 0 -1 4202560 8630 0 0 0 98 1 0 0 15 0 19 0 814901434 10815688704 996035 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 4 0 0 0
[pid=31987/tid=32004] ppid=31985 vsize=10562196 CPUtime=0 cores=0,2,4,6
/proc/31987/task/32004/stat : 32004 (java) S 31985 31987 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814901434 10815688704 996035 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=31987/tid=32005] ppid=31985 vsize=10562196 CPUtime=0 cores=0,2,4,6
/proc/31987/task/32005/stat : 32005 (java) S 31985 31987 31003 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 814901434 10815688704 996035 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738221568 0 4 0 16800975 18446604440972402752 0 0 -1 2 0 0 0
[pid=31987/tid=32006] ppid=31985 vsize=10562196 CPUtime=0 cores=0,2,4,6
/proc/31987/task/32006/stat : 32006 (java) S 31985 31987 31003 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814901475 10815688704 996035 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738221568 0 4 0 16800975 18446604440972402752 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1790.65
Current children cumulated vsize (KiB) 10562196
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1791.6 s]
/proc/loadavg: 1.96 2.00 2.00 3/551 32114
/proc/meminfo: memFree=15769800/32951124 swapFree=62999000/67111528
[pid=31987] ppid=31985 vsize=10562196 CPUtime=1800.02 cores=0,2,4,6
/proc/31987/stat : 31987 (java) S 31985 31987 31003 0 -1 4202496 1005653 0 1 0 179868 134 0 0 25 0 19 0 814901429 10815688704 996282 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/31987/statm: 2640549 996282 2268 9 0 2631283 0
[pid=31987/tid=31988] ppid=31985 vsize=10562196 CPUtime=1787.87 cores=0,2,4,6
/proc/31987/task/31988/stat : 31988 (java) R 31985 31987 31003 0 -1 4202560 808652 0 1 0 178684 103 0 0 25 0 19 0 814901429 10815688704 996282 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 46912505935269 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=31987/tid=31990] ppid=31985 vsize=10562196 CPUtime=1.2 cores=0,2,4,6
/proc/31987/task/31990/stat : 31990 (java) S 31985 31987 31003 0 -1 4202560 22159 0 0 0 117 3 0 0 16 0 19 0 814901431 10815688704 996282 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 0 0 0 0
[pid=31987/tid=31991] ppid=31985 vsize=10562196 CPUtime=1.19 cores=0,2,4,6
/proc/31987/task/31991/stat : 31991 (java) S 31985 31987 31003 0 -1 4202560 29288 0 0 0 116 3 0 0 15 0 19 0 814901431 10815688704 996282 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 0 0 0 0
[pid=31987/tid=31992] ppid=31985 vsize=10562196 CPUtime=1.18 cores=0,2,4,6
/proc/31987/task/31992/stat : 31992 (java) S 31985 31987 31003 0 -1 4202560 23854 0 0 0 115 3 0 0 16 0 19 0 814901431 10815688704 996282 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 4 0 0 0
[pid=31987/tid=31993] ppid=31985 vsize=10562196 CPUtime=1.11 cores=0,2,4,6
/proc/31987/task/31993/stat : 31993 (java) S 31985 31987 31003 0 -1 4202560 20586 0 0 0 109 2 0 0 16 0 19 0 814901431 10815688704 996282 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 2 0 0 0
[pid=31987/tid=31994] ppid=31985 vsize=10562196 CPUtime=1.08 cores=0,2,4,6
/proc/31987/task/31994/stat : 31994 (java) S 31985 31987 31003 0 -1 4202560 17005 0 0 0 106 2 0 0 15 0 19 0 814901431 10815688704 996282 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=31987/tid=31995] ppid=31985 vsize=10562196 CPUtime=0.94 cores=0,2,4,6
/proc/31987/task/31995/stat : 31995 (java) S 31985 31987 31003 0 -1 4202560 16062 0 0 0 92 2 0 0 15 0 19 0 814901431 10815688704 996282 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 2 0 0 0
[pid=31987/tid=31996] ppid=31985 vsize=10562196 CPUtime=1.42 cores=0,2,4,6
/proc/31987/task/31996/stat : 31996 (java) S 31985 31987 31003 0 -1 4202560 25684 0 0 0 138 4 0 0 15 0 19 0 814901431 10815688704 996282 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=31987/tid=31997] ppid=31985 vsize=10562196 CPUtime=1.2 cores=0,2,4,6
/proc/31987/task/31997/stat : 31997 (java) S 31985 31987 31003 0 -1 4202560 25588 0 0 0 116 4 0 0 16 0 19 0 814901431 10815688704 996282 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=31987/tid=31998] ppid=31985 vsize=10562196 CPUtime=0.69 cores=0,2,4,6
/proc/31987/task/31998/stat : 31998 (java) S 31985 31987 31003 0 -1 4202560 548 0 0 0 68 1 0 0 15 0 19 0 814901432 10815688704 996282 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738221568 0 0 0 16800975 18446604440972402752 0 0 -1 4 0 0 0
[pid=31987/tid=31999] ppid=31985 vsize=10562196 CPUtime=0 cores=0,2,4,6
/proc/31987/task/31999/stat : 31999 (java) S 31985 31987 31003 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 814901432 10815688704 996282 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 4 0 0 0
[pid=31987/tid=32000] ppid=31985 vsize=10562196 CPUtime=0 cores=0,2,4,6
/proc/31987/task/32000/stat : 32000 (java) S 31985 31987 31003 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 814901432 10815688704 996282 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=31987/tid=32001] ppid=31985 vsize=10562196 CPUtime=0 cores=0,2,4,6
/proc/31987/task/32001/stat : 32001 (java) S 31985 31987 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814901434 10815688704 996282 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738228657 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=31987/tid=32002] ppid=31985 vsize=10562196 CPUtime=1.03 cores=0,2,4,6
/proc/31987/task/32002/stat : 32002 (java) S 31985 31987 31003 0 -1 4202560 6340 0 0 0 103 0 0 0 15 0 19 0 814901434 10815688704 996282 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=31987/tid=32003] ppid=31985 vsize=10562196 CPUtime=0.99 cores=0,2,4,6
/proc/31987/task/32003/stat : 32003 (java) S 31985 31987 31003 0 -1 4202560 8630 0 0 0 98 1 0 0 15 0 19 0 814901434 10815688704 996282 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 4 0 0 0
[pid=31987/tid=32004] ppid=31985 vsize=10562196 CPUtime=0 cores=0,2,4,6
/proc/31987/task/32004/stat : 32004 (java) S 31985 31987 31003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814901434 10815688704 996282 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=31987/tid=32005] ppid=31985 vsize=10562196 CPUtime=0 cores=0,2,4,6
/proc/31987/task/32005/stat : 32005 (java) S 31985 31987 31003 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 814901434 10815688704 996282 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738221568 0 4 0 16800975 18446604440972402752 0 0 -1 2 0 0 0
[pid=31987/tid=32006] ppid=31985 vsize=10562196 CPUtime=0 cores=0,2,4,6
/proc/31987/task/32006/stat : 32006 (java) S 31985 31987 31003 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814901475 10815688704 996282 33554432000 1073741824 1073778376 140734114836096 18446744073709551615 264738221568 0 4 0 16800975 18446604440972402752 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 10562196
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1791.8 s]
/proc/loadavg: 1.96 2.00 2.00 3/551 32114
/proc/meminfo: memFree=15769800/32951124 swapFree=62999000/67111528
[pid=31987] ppid=31985 vsize=0 CPUtime=1800.26 cores=0,2,4,6
/proc/31987/stat : 31987 (java) Z 31985 31987 31003 0 -1 4203548 1005693 0 1 0 179879 147 0 0 17 0 2 0 814901429 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/31987/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.26
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1791.83
CPU time (s): 1800.3
CPU user time (s): 1798.79
CPU system time (s): 1.50877
CPU usage (%): 100.473
Max. virtual memory (cumulated for all children) (KiB): 10562196
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.79
system time used= 1.50877
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1005693
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= 40928
involuntary context switches= 21956
runsolver used 10.1405 second user time and 20.8468 second system time
The end