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-3456992-1307214755/watcher-3456992-1307214755 -o /tmp/evaluation-result-3456992-1307214755/solver-3456992-1307214755 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456992-1307214755.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.01 1.00 1.00 1/394 16993
/proc/meminfo: memFree=29995812/32950904 swapFree=56615552/67111528
[pid=16993] ppid=16991 vsize=36924 CPUtime=0 cores=1,3,5,7
/proc/16993/stat : 16993 (java) S 16991 16993 15661 0 -1 4202496 1369 0 1 0 0 0 0 0 25 0 2 0 833075244 37810176 1072 33554432000 1073741824 1073778376 140734911139760 18446744073709551615 237290682341 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/16993/statm: 9231 1072 832 9 0 387 0
[pid=16993/tid=16994] ppid=16991 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/16993/task/16994/stat : 16994 (java) R 16991 16993 15661 0 -1 4202560 2585 0 1 0 0 0 0 0 25 0 2 0 833075245 10694979584 3401 33554432000 1073741824 1073778376 140734911139760 18446744073709551615 237278573627 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.0634691 s]
/proc/loadavg: 1.01 1.00 1.00 1/394 16993
/proc/meminfo: memFree=29995812/32950904 swapFree=56615552/67111528
[pid=16993] ppid=16991 vsize=10538184 CPUtime=0.04 cores=1,3,5,7
/proc/16993/stat : 16993 (java) S 16991 16993 15661 0 -1 4202496 11644 0 1 0 3 1 0 0 25 0 18 0 833075244 10791100416 11341 33554432000 1073741824 1073778376 140734911139760 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/16993/statm: 2634546 11341 1730 9 0 2625287 0
[pid=16993/tid=16994] ppid=16991 vsize=10538184 CPUtime=0.04 cores=1,3,5,7
/proc/16993/task/16994/stat : 16994 (java) R 16991 16993 15661 0 -1 4202560 10469 0 1 0 3 1 0 0 25 0 18 0 833075245 10791100416 11341 33554432000 1073741824 1073778376 140734911139760 18446744073709551615 237290698497 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10538184
[startup+0.101611 s]
/proc/loadavg: 1.01 1.00 1.00 1/394 16993
/proc/meminfo: memFree=29995812/32950904 swapFree=56615552/67111528
[pid=16993] ppid=16991 vsize=10538784 CPUtime=0.1 cores=1,3,5,7
/proc/16993/stat : 16993 (java) S 16991 16993 15661 0 -1 4202496 12877 0 1 0 8 2 0 0 25 0 18 0 833075244 10791714816 12574 33554432000 1073741824 1073778376 140734911139760 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/16993/statm: 2634696 12574 2090 9 0 2625430 0
[pid=16993/tid=16994] ppid=16991 vsize=10538784 CPUtime=0.08 cores=1,3,5,7
/proc/16993/task/16994/stat : 16994 (java) R 16991 16993 15661 0 -1 4202560 11116 0 1 0 7 1 0 0 25 0 18 0 833075245 10791714816 12574 33554432000 1073741824 1073778376 140734911139760 18446744073709551615 237278555426 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10538784
[startup+0.300429 s]
/proc/loadavg: 1.01 1.00 1.00 1/394 16993
/proc/meminfo: memFree=29995812/32950904 swapFree=56615552/67111528
[pid=16993] ppid=16991 vsize=10544048 CPUtime=0.52 cores=1,3,5,7
/proc/16993/stat : 16993 (java) S 16991 16993 15661 0 -1 4202496 20536 0 1 0 49 3 0 0 25 0 19 0 833075244 10797105152 18594 33554432000 1073741824 1073778376 140734911139760 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/16993/statm: 2636012 18594 2203 9 0 2626746 0
[pid=16993/tid=16994] ppid=16991 vsize=10544048 CPUtime=0.28 cores=1,3,5,7
/proc/16993/task/16994/stat : 16994 (java) R 16991 16993 15661 0 -1 4202560 13598 0 1 0 26 2 0 0 25 0 19 0 833075245 10797105152 18594 33554432000 1073741824 1073778376 140734911139760 18446744073709551615 46937583158163 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 10544048
[startup+0.700356 s]
/proc/loadavg: 1.01 1.00 1.00 1/394 16993
/proc/meminfo: memFree=29995812/32950904 swapFree=56615552/67111528
[pid=16993] ppid=16991 vsize=10552760 CPUtime=1.66 cores=1,3,5,7
/proc/16993/stat : 16993 (java) S 16991 16993 15661 0 -1 4202496 50411 0 1 0 158 8 0 0 25 0 19 0 833075244 10806026240 47624 33554432000 1073741824 1073778376 140734911139760 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/16993/statm: 2638190 47624 2219 9 0 2628924 0
[pid=16993/tid=16994] ppid=16991 vsize=10552760 CPUtime=0.68 cores=1,3,5,7
/proc/16993/task/16994/stat : 16994 (java) R 16991 16993 15661 0 -1 4202560 39683 0 1 0 62 6 0 0 25 0 19 0 833075245 10806026240 47624 33554432000 1073741824 1073778376 140734911139760 18446744073709551615 46912505178896 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.66
Current children cumulated vsize (KiB) 10552760
[startup+1.50122 s]
/proc/loadavg: 1.01 1.00 1.00 2/413 17012
/proc/meminfo: memFree=29683684/32950904 swapFree=56615552/67111528
[pid=16993] ppid=16991 vsize=10552760 CPUtime=2.65 cores=1,3,5,7
/proc/16993/stat : 16993 (java) S 16991 16993 15661 0 -1 4202496 138442 0 1 0 245 20 0 0 25 0 19 0 833075244 10806026240 135655 33554432000 1073741824 1073778376 140734911139760 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/16993/statm: 2638190 135659 2225 9 0 2628924 0
[pid=16993/tid=16994] ppid=16991 vsize=10552760 CPUtime=1.48 cores=1,3,5,7
/proc/16993/task/16994/stat : 16994 (java) R 16991 16993 15661 0 -1 4202560 127595 0 1 0 130 18 0 0 18 0 19 0 833075245 10806026240 135662 33554432000 1073741824 1073778376 140734911139760 18446744073709551615 46912505546826 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=16993/tid=16996] ppid=16991 vsize=10552760 CPUtime=0 cores=1,3,5,7
/proc/16993/task/16996/stat : 16996 (java) S 16991 16993 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833075246 10806026240 135667 33554432000 1073741824 1073778376 140734911139760 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078976 0 0 -1 1 0 0 0
[pid=16993/tid=16997] ppid=16991 vsize=10552760 CPUtime=0 cores=1,3,5,7
/proc/16993/task/16997/stat : 16997 (java) S 16991 16993 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833075246 10806026240 135673 33554432000 1073741824 1073778376 140734911139760 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078976 0 0 -1 1 0 0 0
[pid=16993/tid=16998] ppid=16991 vsize=10552760 CPUtime=0 cores=1,3,5,7
/proc/16993/task/16998/stat : 16998 (java) S 16991 16993 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833075246 10806026240 135678 33554432000 1073741824 1073778376 140734911139760 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078976 0 0 -1 1 0 0 0
[pid=16993/tid=16999] ppid=16991 vsize=10552760 CPUtime=0 cores=1,3,5,7
/proc/16993/task/16999/stat : 16999 (java) S 16991 16993 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833075246 10806026240 135683 33554432000 1073741824 1073778376 140734911139760 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078976 0 0 -1 3 0 0 0
[pid=16993/tid=17000] ppid=16991 vsize=10552760 CPUtime=0 cores=1,3,5,7
/proc/16993/task/17000/stat : 17000 (java) S 16991 16993 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833075246 10806026240 135688 33554432000 1073741824 1073778376 140734911139760 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078976 0 0 -1 3 0 0 0
[pid=16993/tid=17001] ppid=16991 vsize=10552760 CPUtime=0 cores=1,3,5,7
/proc/16993/task/17001/stat : 17001 (java) S 16991 16993 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833075246 10806026240 135690 33554432000 1073741824 1073778376 140734911139760 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078976 0 0 -1 3 0 0 0
[pid=16993/tid=17002] ppid=16991 vsize=10552760 CPUtime=0 cores=1,3,5,7
/proc/16993/task/17002/stat : 17002 (java) S 16991 16993 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833075246 10806026240 135690 33554432000 1073741824 1073778376 140734911139760 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078976 0 0 -1 3 0 0 0
[pid=16993/tid=17003] ppid=16991 vsize=10552760 CPUtime=0 cores=1,3,5,7
/proc/16993/task/17003/stat : 17003 (java) S 16991 16993 15661 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 833075246 10806026240 135694 33554432000 1073741824 1073778376 140734911139760 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078976 0 0 -1 7 0 0 0
[pid=16993/tid=17004] ppid=16991 vsize=10552760 CPUtime=0 cores=1,3,5,7
/proc/16993/task/17004/stat : 17004 (java) S 16991 16993 15661 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 833075247 10806026240 135695 33554432000 1073741824 1073778376 140734911139760 18446744073709551615 237290696192 0 0 0 16800975 18446604459786078976 0 0 -1 7 0 0 0
[pid=16993/tid=17005] ppid=16991 vsize=10552760 CPUtime=0 cores=1,3,5,7
/proc/16993/task/17005/stat : 17005 (java) S 16991 16993 15661 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833075248 10806026240 135695 33554432000 1073741824 1073778376 140734911139760 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078976 0 0 -1 7 0 0 0
[pid=16993/tid=17006] ppid=16991 vsize=10552760 CPUtime=0 cores=1,3,5,7
/proc/16993/task/17006/stat : 17006 (java) S 16991 16993 15661 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 833075248 10806026240 135695 33554432000 1073741824 1073778376 140734911139760 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078976 0 0 -1 3 0 0 0
[pid=16993/tid=17007] ppid=16991 vsize=10552760 CPUtime=0 cores=1,3,5,7
/proc/16993/task/17007/stat : 17007 (java) S 16991 16993 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833075250 10806026240 135696 33554432000 1073741824 1073778376 140734911139760 18446744073709551615 237290703281 0 4 0 16800975 18446604459786078976 0 0 -1 7 0 0 0
[pid=16993/tid=17008] ppid=16991 vsize=10552760 CPUtime=0.62 cores=1,3,5,7
/proc/16993/task/17008/stat : 17008 (java) S 16991 16993 15661 0 -1 4202560 5273 0 0 0 62 0 0 0 20 0 19 0 833075250 10806026240 135698 33554432000 1073741824 1073778376 140734911139760 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078976 0 0 -1 1 0 0 0
[pid=16993/tid=17009] ppid=16991 vsize=10552760 CPUtime=0.52 cores=1,3,5,7
/proc/16993/task/17009/stat : 17009 (java) S 16991 16993 15661 0 -1 4202560 4420 0 0 0 51 1 0 0 19 0 19 0 833075250 10806026240 135700 33554432000 1073741824 1073778376 140734911139760 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078976 0 0 -1 1 0 0 0
[pid=16993/tid=17010] ppid=16991 vsize=10552760 CPUtime=0 cores=1,3,5,7
/proc/16993/task/17010/stat : 17010 (java) S 16991 16993 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833075250 10806026240 135702 33554432000 1073741824 1073778376 140734911139760 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078976 0 0 -1 7 0 0 0
[pid=16993/tid=17011] ppid=16991 vsize=10552760 CPUtime=0 cores=1,3,5,7
/proc/16993/task/17011/stat : 17011 (java) S 16991 16993 15661 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833075250 10806026240 135704 33554432000 1073741824 1073778376 140734911139760 18446744073709551615 237290696192 0 4 0 16800975 18446604459786078976 0 0 -1 3 0 0 0
[pid=16993/tid=17012] ppid=16991 vsize=10552760 CPUtime=0 cores=1,3,5,7
/proc/16993/task/17012/stat : 17012 (java) S 16991 16993 15661 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833075261 10806026240 135706 33554432000 1073741824 1073778376 140734911139760 18446744073709551615 237290696192 0 4 0 16800975 18446604459786078976 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.65
Current children cumulated vsize (KiB) 10552760
[startup+3.10093 s]
/proc/loadavg: 1.01 1.00 1.00 2/413 17012
/proc/meminfo: memFree=29198084/32950904 swapFree=56615552/67111528
[pid=16993] ppid=16991 vsize=10552760 CPUtime=4.27 cores=1,3,5,7
/proc/16993/stat : 16993 (java) S 16991 16993 15661 0 -1 4202496 284472 0 1 0 388 39 0 0 25 0 19 0 833075244 10806026240 281684 33554432000 1073741824 1073778376 140734911139760 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/16993/statm: 2638190 281689 2225 9 0 2628924 0
[pid=16993/tid=16994] ppid=16991 vsize=10552760 CPUtime=3.08 cores=1,3,5,7
/proc/16993/task/16994/stat : 16994 (java) R 16991 16993 15661 0 -1 4202560 273624 0 1 0 272 36 0 0 21 0 19 0 833075245 10806026240 281692 33554432000 1073741824 1073778376 140734911139760 18446744073709551615 46912505580240 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=16993/tid=16996] ppid=16991 vsize=10552760 CPUtime=0 cores=1,3,5,7
/proc/16993/task/16996/stat : 16996 (java) S 16991 16993 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833075246 10806026240 281692 33554432000 1073741824 1073778376 140734911139760 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078976 0 0 -1 1 0 0 0
[pid=16993/tid=16997] ppid=16991 vsize=10552760 CPUtime=0 cores=1,3,5,7
/proc/16993/task/16997/stat : 16997 (java) S 16991 16993 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833075246 10806026240 281693 33554432000 1073741824 1073778376 140734911139760 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078976 0 0 -1 1 0 0 0
[pid=16993/tid=16998] ppid=16991 vsize=10552760 CPUtime=0 cores=1,3,5,7
/proc/16993/task/16998/stat : 16998 (java) S 16991 16993 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833075246 10806026240 281700 33554432000 1073741824 1073778376 140734911139760 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078976 0 0 -1 1 0 0 0
[pid=16993/tid=16999] ppid=16991 vsize=10552760 CPUtime=0 cores=1,3,5,7
/proc/16993/task/16999/stat : 16999 (java) S 16991 16993 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833075246 10806026240 281700 33554432000 1073741824 1073778376 140734911139760 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078976 0 0 -1 3 0 0 0
[pid=16993/tid=17000] ppid=16991 vsize=10552760 CPUtime=0 cores=1,3,5,7
/proc/16993/task/17000/stat : 17000 (java) S 16991 16993 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833075246 10806026240 281700 33554432000 1073741824 1073778376 140734911139760 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078976 0 0 -1 3 0 0 0
[pid=16993/tid=17001] ppid=16991 vsize=10552760 CPUtime=0 cores=1,3,5,7
/proc/16993/task/17001/stat : 17001 (java) S 16991 16993 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833075246 10806026240 281704 33554432000 1073741824 1073778376 140734911139760 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078976 0 0 -1 3 0 0 0
[pid=16993/tid=17002] ppid=16991 vsize=10552760 CPUtime=0 cores=1,3,5,7
/proc/16993/task/17002/stat : 17002 (java) S 16991 16993 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833075246 10806026240 281708 33554432000 1073741824 1073778376 140734911139760 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078976 0 0 -1 3 0 0 0
[pid=16993/tid=17003] ppid=16991 vsize=10552760 CPUtime=0 cores=1,3,5,7
/proc/16993/task/17003/stat : 17003 (java) S 16991 16993 15661 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 833075246 10806026240 281708 33554432000 1073741824 1073778376 140734911139760 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078976 0 0 -1 7 0 0 0
[pid=16993/tid=17004] ppid=16991 vsize=10552760 CPUtime=0 cores=1,3,5,7
/proc/16993/task/17004/stat : 17004 (java) S 16991 16993 15661 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 833075247 10806026240 281710 33554432000 1073741824 1073778376 140734911139760 18446744073709551615 237290696192 0 0 0 16800975 18446604459786078976 0 0 -1 7 0 0 0
[pid=16993/tid=17005] ppid=16991 vsize=10552760 CPUtime=0 cores=1,3,5,7
/proc/16993/task/17005/stat : 17005 (java) S 16991 16993 15661 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833075248 10806026240 281716 33554432000 1073741824 1073778376 140734911139760 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078976 0 0 -1 7 0 0 0
[pid=16993/tid=17006] ppid=16991 vsize=10552760 CPUtime=0 cores=1,3,5,7
/proc/16993/task/17006/stat : 17006 (java) S 16991 16993 15661 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 833075248 10806026240 281716 33554432000 1073741824 1073778376 140734911139760 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078976 0 0 -1 3 0 0 0
[pid=16993/tid=17007] ppid=16991 vsize=10552760 CPUtime=0 cores=1,3,5,7
/proc/16993/task/17007/stat : 17007 (java) S 16991 16993 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833075250 10806026240 281717 33554432000 1073741824 1073778376 140734911139760 18446744073709551615 237290703281 0 4 0 16800975 18446604459786078976 0 0 -1 7 0 0 0
[pid=16993/tid=17008] ppid=16991 vsize=10552760 CPUtime=0.63 cores=1,3,5,7
/proc/16993/task/17008/stat : 17008 (java) S 16991 16993 15661 0 -1 4202560 5275 0 0 0 63 0 0 0 15 0 19 0 833075250 10806026240 281722 33554432000 1073741824 1073778376 140734911139760 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078976 0 0 -1 1 0 0 0
[pid=16993/tid=17009] ppid=16991 vsize=10552760 CPUtime=0.52 cores=1,3,5,7
/proc/16993/task/17009/stat : 17009 (java) S 16991 16993 15661 0 -1 4202560 4420 0 0 0 51 1 0 0 18 0 19 0 833075250 10806026240 281724 33554432000 1073741824 1073778376 140734911139760 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078976 0 0 -1 7 0 0 0
[pid=16993/tid=17010] ppid=16991 vsize=10552760 CPUtime=0 cores=1,3,5,7
/proc/16993/task/17010/stat : 17010 (java) S 16991 16993 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833075250 10806026240 281725 33554432000 1073741824 1073778376 140734911139760 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078976 0 0 -1 7 0 0 0
[pid=16993/tid=17011] ppid=16991 vsize=10552760 CPUtime=0 cores=1,3,5,7
/proc/16993/task/17011/stat : 17011 (java) S 16991 16993 15661 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833075250 10806026240 281727 33554432000 1073741824 1073778376 140734911139760 18446744073709551615 237290696192 0 4 0 16800975 18446604459786078976 0 0 -1 3 0 0 0
[pid=16993/tid=17012] ppid=16991 vsize=10552760 CPUtime=0 cores=1,3,5,7
/proc/16993/task/17012/stat : 17012 (java) S 16991 16993 15661 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833075261 10806026240 281732 33554432000 1073741824 1073778376 140734911139760 18446744073709551615 237290696192 0 4 0 16800975 18446604459786078976 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.27
Current children cumulated vsize (KiB) 10552760
[startup+6.30136 s]
/proc/loadavg: 1.01 1.00 1.00 2/413 17012
/proc/meminfo: memFree=28330828/32950904 swapFree=56615552/67111528
[pid=16993] ppid=16991 vsize=10552760 CPUtime=7.46 cores=1,3,5,7
/proc/16993/stat : 16993 (java) S 16991 16993 15661 0 -1 4202496 467233 0 1 0 686 60 0 0 25 0 19 0 833075244 10806026240 464403 33554432000 1073741824 1073778376 140734911139760 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/16993/statm: 2638190 464408 2226 9 0 2628924 0
[pid=16993/tid=16994] ppid=16991 vsize=10552760 CPUtime=6.28 cores=1,3,5,7
/proc/16993/task/16994/stat : 16994 (java) R 16991 16993 15661 0 -1 4202560 456381 0 1 0 571 57 0 0 25 0 19 0 833075245 10806026240 464408 33554432000 1073741824 1073778376 140734911139760 18446744073709551615 46912505580240 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=16993/tid=16996] ppid=16991 vsize=10552760 CPUtime=0 cores=1,3,5,7
/proc/16993/task/16996/stat : 16996 (java) S 16991 16993 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833075246 10806026240 464408 33554432000 1073741824 1073778376 140734911139760 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078976 0 0 -1 1 0 0 0
[pid=16993/tid=16997] ppid=16991 vsize=10552760 CPUtime=0 cores=1,3,5,7
/proc/16993/task/16997/stat : 16997 (java) S 16991 16993 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833075246 10806026240 464408 33554432000 1073741824 1073778376 140734911139760 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078976 0 0 -1 1 0 0 0
[pid=16993/tid=16998] ppid=16991 vsize=10552760 CPUtime=0 cores=1,3,5,7
/proc/16993/task/16998/stat : 16998 (java) S 16991 16993 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833075246 10806026240 464408 33554432000 1073741824 1073778376 140734911139760 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078976 0 0 -1 1 0 0 0
[pid=16993/tid=16999] ppid=16991 vsize=10552760 CPUtime=0 cores=1,3,5,7
/proc/16993/task/16999/stat : 16999 (java) S 16991 16993 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833075246 10806026240 464408 33554432000 1073741824 1073778376 140734911139760 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078976 0 0 -1 3 0 0 0
[pid=16993/tid=17000] ppid=16991 vsize=10552760 CPUtime=0 cores=1,3,5,7
/proc/16993/task/17000/stat : 17000 (java) S 16991 16993 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833075246 10806026240 464409 33554432000 1073741824 1073778376 140734911139760 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078976 0 0 -1 3 0 0 0
[pid=16993/tid=17001] ppid=16991 vsize=10552760 CPUtime=0 cores=1,3,5,7
/proc/16993/task/17001/stat : 17001 (java) S 16991 16993 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833075246 10806026240 464409 33554432000 1073741824 1073778376 140734911139760 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078976 0 0 -1 3 0 0 0
[pid=16993/tid=17002] ppid=16991 vsize=10552760 CPUtime=0 cores=1,3,5,7
/proc/16993/task/17002/stat : 17002 (java) S 16991 16993 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833075246 10806026240 464409 33554432000 1073741824 1073778376 140734911139760 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078976 0 0 -1 3 0 0 0
[pid=16993/tid=17003] ppid=16991 vsize=10552760 CPUtime=0 cores=1,3,5,7
/proc/16993/task/17003/stat : 17003 (java) S 16991 16993 15661 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 833075246 10806026240 464409 33554432000 1073741824 1073778376 140734911139760 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078976 0 0 -1 7 0 0 0
[pid=16993/tid=17004] ppid=16991 vsize=10552760 CPUtime=0 cores=1,3,5,7
/proc/16993/task/17004/stat : 17004 (java) S 16991 16993 15661 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 833075247 10806026240 464409 33554432000 1073741824 1073778376 140734911139760 18446744073709551615 237290696192 0 0 0 16800975 18446604459786078976 0 0 -1 7 0 0 0
[pid=16993/tid=17005] ppid=16991 vsize=10552760 CPUtime=0 cores=1,3,5,7
/proc/16993/task/17005/stat : 17005 (java) S 16991 16993 15661 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833075248 10806026240 464409 33554432000 1073741824 1073778376 140734911139760 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078976 0 0 -1 7 0 0 0
[pid=16993/tid=17006] ppid=16991 vsize=10552760 CPUtime=0 cores=1,3,5,7
/proc/16993/task/17006/stat : 17006 (java) S 16991 16993 15661 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 833075248 10806026240 464409 33554432000 1073741824 1073778376 140734911139760 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078976 0 0 -1 3 0 0 0
[pid=16993/tid=17007] ppid=16991 vsize=10552760 CPUtime=0 cores=1,3,5,7
/proc/16993/task/17007/stat : 17007 (java) S 16991 16993 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833075250 10806026240 464413 33554432000 1073741824 1073778376 140734911139760 18446744073709551615 237290703281 0 4 0 16800975 18446604459786078976 0 0 -1 7 0 0 0
[pid=16993/tid=17008] ppid=16991 vsize=10552760 CPUtime=0.63 cores=1,3,5,7
/proc/16993/task/17008/stat : 17008 (java) S 16991 16993 15661 0 -1 4202560 5275 0 0 0 63 0 0 0 15 0 19 0 833075250 10806026240 464416 33554432000 1073741824 1073778376 140734911139760 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078976 0 0 -1 1 0 0 0
[pid=16993/tid=17009] ppid=16991 vsize=10552760 CPUtime=0.52 cores=1,3,5,7
/proc/16993/task/17009/stat : 17009 (java) S 16991 16993 15661 0 -1 4202560 4420 0 0 0 51 1 0 0 18 0 19 0 833075250 10806026240 464416 33554432000 1073741824 1073778376 140734911139760 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078976 0 0 -1 7 0 0 0
[pid=16993/tid=17010] ppid=16991 vsize=10552760 CPUtime=0 cores=1,3,5,7
/proc/16993/task/17010/stat : 17010 (java) S 16991 16993 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833075250 10806026240 464416 33554432000 1073741824 1073778376 140734911139760 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078976 0 0 -1 7 0 0 0
[pid=16993/tid=17011] ppid=16991 vsize=10552760 CPUtime=0 cores=1,3,5,7
/proc/16993/task/17011/stat : 17011 (java) S 16991 16993 15661 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 833075250 10806026240 464416 33554432000 1073741824 1073778376 140734911139760 18446744073709551615 237290696192 0 4 0 16800975 18446604459786078976 0 0 -1 3 0 0 0
[pid=16993/tid=17012] ppid=16991 vsize=10552760 CPUtime=0 cores=1,3,5,7
/proc/16993/task/17012/stat : 17012 (java) S 16991 16993 15661 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833075261 10806026240 464416 33554432000 1073741824 1073778376 140734911139760 18446744073709551615 237290696192 0 4 0 16800975 18446604459786078976 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 7.46
Current children cumulated vsize (KiB) 10552760
[startup+12.7012 s]
/proc/loadavg: 1.01 1.00 1.00 2/413 17013
/proc/meminfo: memFree=27810028/32950904 swapFree=56615552/67111528
[pid=16993] ppid=16991 vsize=10552760 CPUtime=13.87 cores=1,3,5,7
/proc/16993/stat : 16993 (java) S 16991 16993 15661 0 -1 4202496 562218 0 1 0 1315 72 0 0 25 0 19 0 833075244 10806026240 558425 33554432000 1073741824 1073778376 140734911139760 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/16993/statm: 2638190 558425 2226 9 0 2628924 0
[pid=16993/tid=16994] ppid=16991 vsize=10552760 CPUtime=12.68 cores=1,3,5,7
/proc/16993/task/16994/stat : 16994 (java) R 16991 16993 15661 0 -1 4202560 551358 0 1 0 1199 69 0 0 25 0 19 0 833075245 10806026240 558425 33554432000 1073741824 1073778376 140734911139760 18446744073709551615 46912505581134 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=16993/tid=16996] ppid=16991 vsize=10552760 CPUtime=0 cores=1,3,5,7
/proc/16993/task/16996/stat : 16996 (java) S 16991 16993 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833075246 10806026240 558425 33554432000 1073741824 1073778376 140734911139760 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078976 0 0 -1 1 0 0 0
[pid=16993/tid=16997] ppid=16991 vsize=10552760 CPUtime=0 cores=1,3,5,7
/proc/16993/task/16997/stat : 16997 (java) S 16991 16993 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833075246 10806026240 558425 33554432000 1073741824 1073778376 140734911139760 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078976 0 0 -1 1 0 0 0
[pid=16993/tid=16998] ppid=16991 vsize=10552760 CPUtime=0 cores=1,3,5,7
/proc/16993/task/16998/stat : 16998 (java) S 16991 16993 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833075246 10806026240 558425 33554432000 1073741824 1073778376 140734911139760 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078976 0 0 -1 1 0 0 0
[pid=16993/tid=16999] ppid=16991 vsize=10552760 CPUtime=0 cores=1,3,5,7
/proc/16993/task/16999/stat : 16999 (java) S 16991 16993 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833075246 10806026240 558425 33554432000 1073741824 1073778376 140734911139760 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078976 0 0 -1 3 0 0 0
[pid=16993/tid=17000] ppid=16991 vsize=10552760 CPUtime=0 cores=1,3,5,7
/proc/16993/task/17000/stat : 17000 (java) S 16991 16993 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833075246 10806026240 558425 33554432000 1073741824 1073778376 140734911139760 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078976 0 0 -1 3 0 0 0
[pid=16993/tid=17001] ppid=16991 vsize=10552760 CPUtime=0 cores=1,3,5,7
/proc/16993/task/17001/stat : 17001 (java) S 16991 16993 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833075246 10806026240 558425 33554432000 1073741824 1073778376 140734911139760 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078976 0 0 -1 3 0 0 0
[pid=16993/tid=17002] ppid=16991 vsize=10552760 CPUtime=0 cores=1,3,5,7
/proc/16993/task/17002/stat : 17002 (java) S 16991 16993 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833075246 10806026240 558425 33554432000 1073741824 1073778376 140734911139760 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078976 0 0 -1 3 0 0 0
[pid=16993/tid=17003] ppid=16991 vsize=10552760 CPUtime=0 cores=1,3,5,7
/proc/16993/task/17003/stat : 17003 (java) S 16991 16993 15661 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 833075246 10806026240 558425 33554432000 1073741824 1073778376 140734911139760 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078976 0 0 -1 7 0 0 0
[pid=16993/tid=17004] ppid=16991 vsize=10552760 CPUtime=0 cores=1,3,5,7
/proc/16993/task/17004/stat : 17004 (java) S 16991 16993 15661 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 833075247 10806026240 558425 33554432000 1073741824 1073778376 140734911139760 18446744073709551615 237290696192 0 0 0 16800975 18446604459786078976 0 0 -1 7 0 0 0
[pid=16993/tid=17005] ppid=16991 vsize=10552760 CPUtime=0 cores=1,3,5,7
/proc/16993/task/17005/stat : 17005 (java) S 16991 16993 15661 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833075248 10806026240 558425 33554432000 1073741824 1073778376 140734911139760 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078976 0 0 -1 7 0 0 0
[pid=16993/tid=17006] ppid=16991 vsize=10552760 CPUtime=0 cores=1,3,5,7
/proc/16993/task/17006/stat : 17006 (java) S 16991 16993 15661 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 833075248 10806026240 558425 33554432000 1073741824 1073778376 140734911139760 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078976 0 0 -1 3 0 0 0
[pid=16993/tid=17007] ppid=16991 vsize=10552760 CPUtime=0 cores=1,3,5,7
/proc/16993/task/17007/stat : 17007 (java) S 16991 16993 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833075250 10806026240 558425 33554432000 1073741824 1073778376 140734911139760 18446744073709551615 237290703281 0 4 0 16800975 18446604459786078976 0 0 -1 7 0 0 0
[pid=16993/tid=17008] ppid=16991 vsize=10552760 CPUtime=0.63 cores=1,3,5,7
/proc/16993/task/17008/stat : 17008 (java) S 16991 16993 15661 0 -1 4202560 5275 0 0 0 63 0 0 0 15 0 19 0 833075250 10806026240 558425 33554432000 1073741824 1073778376 140734911139760 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078976 0 0 -1 1 0 0 0
[pid=16993/tid=17009] ppid=16991 vsize=10552760 CPUtime=0.53 cores=1,3,5,7
/proc/16993/task/17009/stat : 17009 (java) S 16991 16993 15661 0 -1 4202560 4422 0 0 0 52 1 0 0 18 0 19 0 833075250 10806026240 558425 33554432000 1073741824 1073778376 140734911139760 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078976 0 0 -1 7 0 0 0
[pid=16993/tid=17010] ppid=16991 vsize=10552760 CPUtime=0 cores=1,3,5,7
/proc/16993/task/17010/stat : 17010 (java) S 16991 16993 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833075250 10806026240 558425 33554432000 1073741824 1073778376 140734911139760 18446744073709551615 237290695577 0 4 0 16800975 18446604459786078976 0 0 -1 7 0 0 0
[pid=16993/tid=17011] ppid=16991 vsize=10552760 CPUtime=0 cores=1,3,5,7
/proc/16993/task/17011/stat : 17011 (java) S 16991 16993 15661 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 833075250 10806026240 558425 33554432000 1073741824 1073778376 140734911139760 18446744073709551615 237290696192 0 4 0 16800975 18446604459786078976 0 0 -1 3 0 0 0
[pid=16993/tid=17012] ppid=16991 vsize=10552760 CPUtime=0 cores=1,3,5,7
/proc/16993/task/17012/stat : 17012 (java) S 16991 16993 15661 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833075261 10806026240 558425 33554432000 1073741824 1073778376 140734911139760 18446744073709551615 237290696192 0 4 0 16800975 18446604459786078976 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 13.87
Current children cumulated vsize (KiB) 10552760
Solver just ended. Dumping a history of the last processes samples
[startup+13.1011 s]
/proc/loadavg: 1.00 1.00 1.00 2/396 17014
/proc/meminfo: memFree=29049100/32950904 swapFree=56615552/67111528
[pid=16993] ppid=16991 vsize=0 CPUtime=14.28 cores=1,3,5,7
/proc/16993/stat : 16993 (java) Z 16991 16993 15661 0 -1 4203548 565102 0 1 0 1349 79 0 0 18 0 2 0 833075244 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/16993/statm: 0 0 0 0 0 0 0
[pid=16993/tid=16998] ppid=16991 vsize=0 CPUtime=0.06 cores=1,3,5,7
/proc/16993/task/16998/stat : 16998 (java) R 16991 16993 15661 0 -1 4203588 1 0 0 0 0 6 0 0 18 0 2 0 833075246 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 14.28
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 13.137
CPU time (s): 14.3188
CPU user time (s): 13.4989
CPU system time (s): 0.819875
CPU usage (%): 108.997
Max. virtual memory (cumulated for all children) (KiB): 10554756
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.4989
system time used= 0.819875
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 565102
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= 535
involuntary context switches= 285
runsolver used 0.050992 second user time and 0.134979 second system time
The end