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-3729815-1338729430/watcher-3729815-1338729430 -o /tmp/evaluation-result-3729815-1338729430/solver-3729815-1338729430 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3729815-1338729430.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: 3.63 3.53 3.52 3/197 11961
/proc/meminfo: memFree=31122744/32873648 swapFree=7628/7628
[pid=11961] ppid=11959 vsize=91816 CPUtime=0 cores=1,3,5,7
/proc/11961/stat : 11961 (java) S 11959 11961 3958 0 -1 4202496 1206 0 0 0 0 0 0 0 20 0 2 0 339068982 94019584 917 33554432000 1073741824 1073778376 140734402632592 140734402623728 217413877821 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11961/statm: 22954 917 697 9 0 16769 0
[pid=11961/tid=11962] ppid=11959 vsize=92900 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11962/stat : 11962 (java) R 11959 11961 3958 0 -1 4202560 67 0 0 0 0 0 0 0 20 0 2 0 339068982 95129600 924 33554432000 1073741824 1073778376 140734402632592 140362807053864 217401309761 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0
[startup+0.067108 s]
/proc/loadavg: 3.63 3.53 3.52 3/197 11961
/proc/meminfo: memFree=31122744/32873648 swapFree=7628/7628
[pid=11961] ppid=11959 vsize=2699928 CPUtime=0.05 cores=1,3,5,7
/proc/11961/stat : 11961 (java) S 11959 11961 3958 0 -1 4202496 3897 0 1 0 5 0 0 0 20 0 18 0 339068982 2764726272 5616 33554432000 1073741824 1073778376 140734402632592 140734402623728 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11961/statm: 674982 5616 1772 9 0 665676 0
[pid=11961/tid=11962] ppid=11959 vsize=2699928 CPUtime=0.04 cores=1,3,5,7
/proc/11961/task/11962/stat : 11962 (java) R 11959 11961 3958 0 -1 4202560 2686 0 1 0 4 0 0 0 20 0 18 0 339068982 2764726272 5616 33554432000 1073741824 1073778376 140734402632592 140362807061152 217413903533 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2699928
[startup+0.100249 s]
/proc/loadavg: 3.63 3.53 3.52 3/197 11961
/proc/meminfo: memFree=31122744/32873648 swapFree=7628/7628
[pid=11961] ppid=11959 vsize=2699928 CPUtime=0.11 cores=1,3,5,7
/proc/11961/stat : 11961 (java) S 11959 11961 3958 0 -1 4202496 4847 0 1 0 10 1 0 0 20 0 18 0 339068982 2764726272 6538 33554432000 1073741824 1073778376 140734402632592 140734402623728 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11961/statm: 674982 6544 2150 9 0 665676 0
[pid=11961/tid=11962] ppid=11959 vsize=2699928 CPUtime=0.07 cores=1,3,5,7
/proc/11961/task/11962/stat : 11962 (java) R 11959 11961 3958 0 -1 4202560 2785 0 1 0 7 0 0 0 20 0 18 0 339068982 2764726272 6546 33554432000 1073741824 1073778376 140734402632592 140362807055176 217413903629 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 2699928
[startup+0.300327 s]
/proc/loadavg: 3.63 3.53 3.52 3/197 11961
/proc/meminfo: memFree=31122744/32873648 swapFree=7628/7628
[pid=11961] ppid=11959 vsize=2900648 CPUtime=0.51 cores=1,3,5,7
/proc/11961/stat : 11961 (java) S 11959 11961 3958 0 -1 4202496 6183 0 1 0 49 2 0 0 20 0 22 0 339068982 2970263552 10314 33554432000 1073741824 1073778376 140734402632592 140734402623728 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11961/statm: 725162 10314 2228 9 0 715856 0
[pid=11961/tid=11962] ppid=11959 vsize=2900648 CPUtime=0.27 cores=1,3,5,7
/proc/11961/task/11962/stat : 11962 (java) S 11959 11961 3958 0 -1 4202560 2809 0 1 0 27 0 0 0 20 0 22 0 339068982 2970263552 10314 33554432000 1073741824 1073778376 140734402632592 140362807059608 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 2900648
[startup+0.700225 s]
/proc/loadavg: 3.63 3.53 3.52 3/197 11961
/proc/meminfo: memFree=31122744/32873648 swapFree=7628/7628
[pid=11961] ppid=11959 vsize=2966184 CPUtime=2.1 cores=1,3,5,7
/proc/11961/stat : 11961 (java) S 11959 11961 3958 0 -1 4202496 17500 0 1 0 205 5 0 0 20 0 22 0 339068982 3037372416 31152 33554432000 1073741824 1073778376 140734402632592 140734402623728 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11961/statm: 741546 31152 2245 9 0 732240 0
[pid=11961/tid=11962] ppid=11959 vsize=2966184 CPUtime=0.27 cores=1,3,5,7
/proc/11961/task/11962/stat : 11962 (java) S 11959 11961 3958 0 -1 4202560 2809 0 1 0 27 0 0 0 20 0 22 0 339068982 3037372416 31152 33554432000 1073741824 1073778376 140734402632592 140362807059608 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.1
Current children cumulated vsize (KiB) 2966184
[startup+1.5008 s]
/proc/loadavg: 3.63 3.53 3.52 7/219 11983
/proc/meminfo: memFree=30926168/32873648 swapFree=7628/7628
[pid=11961] ppid=11959 vsize=2966184 CPUtime=4.46 cores=1,3,5,7
/proc/11961/stat : 11961 (java) S 11959 11961 3958 0 -1 4202496 25824 0 1 0 438 8 0 0 20 0 22 0 339068982 3037372416 61651 33554432000 1073741824 1073778376 140734402632592 140734402623728 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11961/statm: 741546 61651 2274 9 0 732240 0
[pid=11961/tid=11962] ppid=11959 vsize=2966184 CPUtime=0.27 cores=1,3,5,7
/proc/11961/task/11962/stat : 11962 (java) S 11959 11961 3958 0 -1 4202560 2809 0 1 0 27 0 0 0 20 0 22 0 339068982 3037372416 61651 33554432000 1073741824 1073778376 140734402632592 140362807059608 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11961/tid=11964] ppid=11959 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11964/stat : 11964 (java) S 11959 11961 3958 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 339068983 3037372416 61651 33554432000 1073741824 1073778376 140734402632592 140362791340968 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11961/tid=11965] ppid=11959 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11965/stat : 11965 (java) S 11959 11961 3958 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 339068983 3037372416 61651 33554432000 1073741824 1073778376 140734402632592 140362790288424 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11961/tid=11966] ppid=11959 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11966/stat : 11966 (java) S 11959 11961 3958 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 339068983 3037372416 61651 33554432000 1073741824 1073778376 140734402632592 140362789235368 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11961/tid=11967] ppid=11959 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11967/stat : 11967 (java) S 11959 11961 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 339068983 3037372416 61651 33554432000 1073741824 1073778376 140734402632592 140362788182824 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11961/tid=11968] ppid=11959 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11968/stat : 11968 (java) S 11959 11961 3958 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 339068983 3037372416 61651 33554432000 1073741824 1073778376 140734402632592 140362787129768 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11961/tid=11969] ppid=11959 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11969/stat : 11969 (java) S 11959 11961 3958 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 339068983 3037372416 62163 33554432000 1073741824 1073778376 140734402632592 140362786077224 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11961/tid=11970] ppid=11959 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11970/stat : 11970 (java) S 11959 11961 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339068983 3037372416 62163 33554432000 1073741824 1073778376 140734402632592 140362785024168 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11961/tid=11971] ppid=11959 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11971/stat : 11971 (java) S 11959 11961 3958 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 339068983 3037372416 62163 33554432000 1073741824 1073778376 140734402632592 140362783971624 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11961/tid=11972] ppid=11959 vsize=2966184 CPUtime=0.01 cores=1,3,5,7
/proc/11961/task/11972/stat : 11972 (java) S 11959 11961 3958 0 -1 4202560 30 0 0 0 1 0 0 0 20 0 22 0 339068984 3037372416 62163 33554432000 1073741824 1073778376 140734402632592 140362771561320 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11961/tid=11973] ppid=11959 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11973/stat : 11973 (java) S 11959 11961 3958 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 339068985 3037372416 62163 33554432000 1073741824 1073778376 140734402632592 140362770507640 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11961/tid=11974] ppid=11959 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11974/stat : 11974 (java) S 11959 11961 3958 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 339068985 3037372416 62163 33554432000 1073741824 1073778376 140734402632592 140362769454472 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11961/tid=11975] ppid=11959 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11975/stat : 11975 (java) S 11959 11961 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339068987 3037372416 62163 33554432000 1073741824 1073778376 140734402632592 140362768403216 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11961/tid=11976] ppid=11959 vsize=2966184 CPUtime=0.88 cores=1,3,5,7
/proc/11961/task/11976/stat : 11976 (java) S 11959 11961 3958 0 -1 4202560 10287 0 0 0 85 3 0 0 20 0 22 0 339068987 3037372416 62163 33554432000 1073741824 1073778376 140734402632592 140362767350072 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11961/tid=11977] ppid=11959 vsize=2966184 CPUtime=0.9 cores=1,3,5,7
/proc/11961/task/11977/stat : 11977 (java) S 11959 11961 3958 0 -1 4202560 11300 0 0 0 87 3 0 0 20 0 22 0 339068987 3037372416 62163 33554432000 1073741824 1073778376 140734402632592 140362766297528 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11961/tid=11978] ppid=11959 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11978/stat : 11978 (java) S 11959 11961 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339068987 3037372416 62163 33554432000 1073741824 1073778376 140734402632592 140362765244664 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11961/tid=11979] ppid=11959 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11979/stat : 11979 (java) S 11959 11961 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339068987 3037372416 62163 33554432000 1073741824 1073778376 140734402632592 140362764192328 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11961/tid=11980] ppid=11959 vsize=2966184 CPUtime=1.15 cores=1,3,5,7
/proc/11961/task/11980/stat : 11980 (java) R 11959 11961 3958 0 -1 4202560 30 0 0 0 115 0 0 0 20 0 22 0 339069011 3037372416 62163 33554432000 1073741824 1073778376 140734402632592 140362763137992 140362635626376 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=11961/tid=11981] ppid=11959 vsize=2966184 CPUtime=1.15 cores=1,3,5,7
/proc/11961/task/11981/stat : 11981 (java) R 11959 11961 3958 0 -1 4202560 145 0 0 0 113 2 0 0 20 0 22 0 339069011 3037372416 62163 33554432000 1073741824 1073778376 140734402632592 140362762084952 140362635590717 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=11961/tid=11982] ppid=11959 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11982/stat : 11982 (java) S 11959 11961 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 339069012 3037372416 62163 33554432000 1073741824 1073778376 140734402632592 140362761033000 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11961/tid=11983] ppid=11959 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11983/stat : 11983 (java) S 11959 11961 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 339069012 3037372416 62163 33554432000 1073741824 1073778376 140734402632592 140362759980456 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.46
Current children cumulated vsize (KiB) 2966184
[startup+3.1007 s]
/proc/loadavg: 3.63 3.53 3.52 6/219 11983
/proc/meminfo: memFree=30795212/32873648 swapFree=7628/7628
[pid=11961] ppid=11959 vsize=2966184 CPUtime=6.54 cores=1,3,5,7
/proc/11961/stat : 11961 (java) S 11959 11961 3958 0 -1 4202496 25880 0 1 0 641 13 0 0 20 0 20 0 339068982 3037372416 83664 33554432000 1073741824 1073778376 140734402632592 140734402623728 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11961/statm: 741546 83664 2275 9 0 732240 0
[pid=11961/tid=11962] ppid=11959 vsize=2966184 CPUtime=0.27 cores=1,3,5,7
/proc/11961/task/11962/stat : 11962 (java) S 11959 11961 3958 0 -1 4202560 2809 0 1 0 27 0 0 0 20 0 20 0 339068982 3037372416 83664 33554432000 1073741824 1073778376 140734402632592 140362807059608 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11961/tid=11964] ppid=11959 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11964/stat : 11964 (java) S 11959 11961 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 339068983 3037372416 83664 33554432000 1073741824 1073778376 140734402632592 140362791340968 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11961/tid=11965] ppid=11959 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11965/stat : 11965 (java) S 11959 11961 3958 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 20 0 339068983 3037372416 83664 33554432000 1073741824 1073778376 140734402632592 140362790288424 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11961/tid=11966] ppid=11959 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11966/stat : 11966 (java) S 11959 11961 3958 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 339068983 3037372416 83664 33554432000 1073741824 1073778376 140734402632592 140362789235368 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11961/tid=11967] ppid=11959 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11967/stat : 11967 (java) S 11959 11961 3958 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 20 0 339068983 3037372416 83664 33554432000 1073741824 1073778376 140734402632592 140362788182824 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11961/tid=11968] ppid=11959 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11968/stat : 11968 (java) S 11959 11961 3958 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 20 0 339068983 3037372416 83664 33554432000 1073741824 1073778376 140734402632592 140362787129768 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11961/tid=11969] ppid=11959 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11969/stat : 11969 (java) S 11959 11961 3958 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 20 0 339068983 3037372416 83664 33554432000 1073741824 1073778376 140734402632592 140362786077224 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11961/tid=11970] ppid=11959 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11970/stat : 11970 (java) S 11959 11961 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339068983 3037372416 83664 33554432000 1073741824 1073778376 140734402632592 140362785024168 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11961/tid=11971] ppid=11959 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11971/stat : 11971 (java) S 11959 11961 3958 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 20 0 339068983 3037372416 83664 33554432000 1073741824 1073778376 140734402632592 140362783971624 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11961/tid=11972] ppid=11959 vsize=2966184 CPUtime=0.06 cores=1,3,5,7
/proc/11961/task/11972/stat : 11972 (java) S 11959 11961 3958 0 -1 4202560 32 0 0 0 6 0 0 0 20 0 20 0 339068984 3037372416 83664 33554432000 1073741824 1073778376 140734402632592 140362771561320 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11961/tid=11973] ppid=11959 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11973/stat : 11973 (java) S 11959 11961 3958 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 339068985 3037372416 83664 33554432000 1073741824 1073778376 140734402632592 140362770507640 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11961/tid=11974] ppid=11959 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11974/stat : 11974 (java) S 11959 11961 3958 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 339068985 3037372416 83664 33554432000 1073741824 1073778376 140734402632592 140362769454472 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11961/tid=11975] ppid=11959 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11975/stat : 11975 (java) S 11959 11961 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339068987 3037372416 83664 33554432000 1073741824 1073778376 140734402632592 140362768403216 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11961/tid=11976] ppid=11959 vsize=2966184 CPUtime=0.88 cores=1,3,5,7
/proc/11961/task/11976/stat : 11976 (java) S 11959 11961 3958 0 -1 4202560 10287 0 0 0 85 3 0 0 20 0 20 0 339068987 3037372416 83664 33554432000 1073741824 1073778376 140734402632592 140362767350072 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11961/tid=11977] ppid=11959 vsize=2966184 CPUtime=0.96 cores=1,3,5,7
/proc/11961/task/11977/stat : 11977 (java) S 11959 11961 3958 0 -1 4202560 11300 0 0 0 93 3 0 0 20 0 20 0 339068987 3037372416 83664 33554432000 1073741824 1073778376 140734402632592 140362766297528 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11961/tid=11978] ppid=11959 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11978/stat : 11978 (java) S 11959 11961 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339068987 3037372416 83664 33554432000 1073741824 1073778376 140734402632592 140362765244664 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11961/tid=11979] ppid=11959 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11979/stat : 11979 (java) S 11959 11961 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339068987 3037372416 83664 33554432000 1073741824 1073778376 140734402632592 140362764192328 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11961/tid=11982] ppid=11959 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11982/stat : 11982 (java) S 11959 11961 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 339069012 3037372416 83664 33554432000 1073741824 1073778376 140734402632592 140362761033000 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11961/tid=11983] ppid=11959 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11983/stat : 11983 (java) S 11959 11961 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 339069012 3037372416 83664 33554432000 1073741824 1073778376 140734402632592 140362759980456 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 6.54
Current children cumulated vsize (KiB) 2966184
Solver just ended. Dumping a history of the last processes samples
[startup+3.30681 s]
/proc/loadavg: 3.50 3.50 3.51 3/217 11983
/proc/meminfo: memFree=30795220/32873648 swapFree=7628/7628
[pid=11961] ppid=11959 vsize=2966184 CPUtime=6.55 cores=1,3,5,7
/proc/11961/stat : 11961 (java) S 11959 11961 3958 0 -1 4202496 25894 0 1 0 642 13 0 0 20 0 21 0 339068982 3037372416 83677 33554432000 1073741824 1073778376 140734402632592 140734402623728 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11961/statm: 741546 83677 2285 9 0 732240 0
[pid=11961/tid=11962] ppid=11959 vsize=2966184 CPUtime=0.27 cores=1,3,5,7
/proc/11961/task/11962/stat : 11962 (java) S 11959 11961 3958 0 -1 4202560 2810 0 1 0 27 0 0 0 20 0 21 0 339068982 3037372416 83677 33554432000 1073741824 1073778376 140734402632592 140362807059160 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11961/tid=11964] ppid=11959 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11964/stat : 11964 (java) S 11959 11961 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 339068983 3037372416 83677 33554432000 1073741824 1073778376 140734402632592 140362791340968 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11961/tid=11965] ppid=11959 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11965/stat : 11965 (java) S 11959 11961 3958 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 21 0 339068983 3037372416 83677 33554432000 1073741824 1073778376 140734402632592 140362790288424 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11961/tid=11966] ppid=11959 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11966/stat : 11966 (java) S 11959 11961 3958 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 339068983 3037372416 83677 33554432000 1073741824 1073778376 140734402632592 140362789235368 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11961/tid=11967] ppid=11959 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11967/stat : 11967 (java) S 11959 11961 3958 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 21 0 339068983 3037372416 83677 33554432000 1073741824 1073778376 140734402632592 140362788182824 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11961/tid=11968] ppid=11959 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11968/stat : 11968 (java) S 11959 11961 3958 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 21 0 339068983 3037372416 83677 33554432000 1073741824 1073778376 140734402632592 140362787129768 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11961/tid=11969] ppid=11959 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11969/stat : 11969 (java) S 11959 11961 3958 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 21 0 339068983 3037372416 83677 33554432000 1073741824 1073778376 140734402632592 140362786077224 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11961/tid=11970] ppid=11959 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11970/stat : 11970 (java) S 11959 11961 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 339068983 3037372416 83677 33554432000 1073741824 1073778376 140734402632592 140362785024168 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11961/tid=11971] ppid=11959 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11971/stat : 11971 (java) S 11959 11961 3958 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 21 0 339068983 3037372416 83677 33554432000 1073741824 1073778376 140734402632592 140362783971624 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11961/tid=11972] ppid=11959 vsize=2966184 CPUtime=0.06 cores=1,3,5,7
/proc/11961/task/11972/stat : 11972 (java) S 11959 11961 3958 0 -1 4202560 32 0 0 0 6 0 0 0 20 0 21 0 339068984 3037372416 83677 33554432000 1073741824 1073778376 140734402632592 140362771561320 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11961/tid=11973] ppid=11959 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11973/stat : 11973 (java) S 11959 11961 3958 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 339068985 3037372416 83677 33554432000 1073741824 1073778376 140734402632592 140362770507640 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11961/tid=11974] ppid=11959 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11974/stat : 11974 (java) S 11959 11961 3958 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 21 0 339068985 3037372416 83677 33554432000 1073741824 1073778376 140734402632592 140362769454472 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11961/tid=11975] ppid=11959 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11975/stat : 11975 (java) S 11959 11961 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 339068987 3037372416 83677 33554432000 1073741824 1073778376 140734402632592 140362768403216 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11961/tid=11976] ppid=11959 vsize=2966184 CPUtime=0.88 cores=1,3,5,7
/proc/11961/task/11976/stat : 11976 (java) S 11959 11961 3958 0 -1 4202560 10287 0 0 0 85 3 0 0 20 0 21 0 339068987 3037372416 83677 33554432000 1073741824 1073778376 140734402632592 140362767350072 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11961/tid=11977] ppid=11959 vsize=2966184 CPUtime=0.96 cores=1,3,5,7
/proc/11961/task/11977/stat : 11977 (java) R 11959 11961 3958 0 -1 4202560 11310 0 0 0 93 3 0 0 20 0 21 0 339068987 3037372416 83677 33554432000 1073741824 1073778376 140734402632592 140362766297368 217413902773 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=11961/tid=11978] ppid=11959 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11978/stat : 11978 (java) S 11959 11961 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 339068987 3037372416 83677 33554432000 1073741824 1073778376 140734402632592 140362765244664 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11961/tid=11979] ppid=11959 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11979/stat : 11979 (java) S 11959 11961 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 339068987 3037372416 83677 33554432000 1073741824 1073778376 140734402632592 140362764192328 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11961/tid=11982] ppid=11959 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11982/stat : 11982 (java) S 11959 11961 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 339069012 3037372416 83677 33554432000 1073741824 1073778376 140734402632592 140362761033000 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11961/tid=11983] ppid=11959 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11983/stat : 11983 (java) S 11959 11961 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 339069012 3037372416 83677 33554432000 1073741824 1073778376 140734402632592 140362759980456 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 6.55
Current children cumulated vsize (KiB) 2966184
Child status: 10
Real time (s): 3.31443
CPU time (s): 6.553
CPU user time (s): 6.38103
CPU system time (s): 0.171973
CPU usage (%): 197.711
Max. virtual memory (cumulated for all children) (KiB): 2966184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.38103
system time used= 0.171973
maximum resident set size= 334724
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25902
page faults= 1
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 490
involuntary context switches= 137
runsolver used 0.007998 second user time and 0.022996 second system time
The end