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-3459203-1307134204/watcher-3459203-1307134204 -o /tmp/evaluation-result-3459203-1307134204/solver-3459203-1307134204 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459203-1307134204.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: 2.06 2.78 3.36 3/404 2024
/proc/meminfo: memFree=23687732/32951124 swapFree=49244120/67111528
[pid=2024] ppid=2022 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/2024/stat : 2024 (java) R 2022 2024 31984 0 -1 4202496 656 0 0 0 0 0 0 0 25 0 1 0 825023136 23580672 400 33554432000 1073741824 1073778376 140733964630064 18446744073709551615 218365994773 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2024/statm: 5757 411 312 9 0 124 0
[pid=2024/tid=2025] ppid=2022 vsize=13508980 CPUtime=0 cores=1,3,5,7
/proc/2024/task/2025/stat : 2025 (java) R 2022 2024 31984 0 -1 4202560 2244 0 1 0 0 0 0 0 25 0 2 0 825023137 13833195520 3060 33554432000 1073741824 1073778376 140733964630064 18446744073709551615 218370651195 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.0680149 s]
/proc/loadavg: 2.06 2.78 3.36 3/404 2024
/proc/meminfo: memFree=23687732/32951124 swapFree=49244120/67111528
[pid=2024] ppid=2022 vsize=13554924 CPUtime=0.05 cores=1,3,5,7
/proc/2024/stat : 2024 (java) S 2022 2024 31984 0 -1 4202496 14169 0 1 0 4 1 0 0 25 0 18 0 825023136 13880242176 13866 33554432000 1073741824 1073778376 140733964630064 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/2024/statm: 3388731 13866 1733 9 0 3379472 0
[pid=2024/tid=2025] ppid=2022 vsize=13554924 CPUtime=0.05 cores=1,3,5,7
/proc/2024/task/2025/stat : 2025 (java) R 2022 2024 31984 0 -1 4202560 12995 0 1 0 4 1 0 0 25 0 18 0 825023137 13880242176 13866 33554432000 1073741824 1073778376 140733964630064 18446744073709551615 47974718560760 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13554924
[startup+0.106109 s]
/proc/loadavg: 2.06 2.78 3.36 3/404 2024
/proc/meminfo: memFree=23687732/32951124 swapFree=49244120/67111528
[pid=2024] ppid=2022 vsize=13622108 CPUtime=0.1 cores=1,3,5,7
/proc/2024/stat : 2024 (java) S 2022 2024 31984 0 -1 4202496 15582 0 1 0 9 1 0 0 25 0 18 0 825023136 13949038592 15246 33554432000 1073741824 1073778376 140733964630064 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/2024/statm: 3405527 15246 2093 9 0 3396261 0
[pid=2024/tid=2025] ppid=2022 vsize=13622108 CPUtime=0.08 cores=1,3,5,7
/proc/2024/task/2025/stat : 2025 (java) R 2022 2024 31984 0 -1 4202560 13630 0 1 0 7 1 0 0 18 0 18 0 825023137 13949038592 15246 33554432000 1073741824 1073778376 140733964630064 18446744073709551615 218382783947 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13622108
[startup+0.301005 s]
/proc/loadavg: 2.06 2.78 3.36 3/404 2024
/proc/meminfo: memFree=23687732/32951124 swapFree=49244120/67111528
[pid=2024] ppid=2022 vsize=13622844 CPUtime=0.46 cores=1,3,5,7
/proc/2024/stat : 2024 (java) S 2022 2024 31984 0 -1 4202496 18456 0 1 0 44 2 0 0 25 0 18 0 825023136 13949792256 17713 33554432000 1073741824 1073778376 140733964630064 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/2024/statm: 3405711 17713 2209 9 0 3396445 0
[pid=2024/tid=2025] ppid=2022 vsize=13622844 CPUtime=0.27 cores=1,3,5,7
/proc/2024/task/2025/stat : 2025 (java) R 2022 2024 31984 0 -1 4202560 15393 0 1 0 26 1 0 0 18 0 18 0 825023137 13949792256 17714 33554432000 1073741824 1073778376 140733964630064 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 13622844
[startup+0.700951 s]
/proc/loadavg: 2.06 2.78 3.36 3/404 2024
/proc/meminfo: memFree=23687732/32951124 swapFree=49244120/67111528
[pid=2024] ppid=2022 vsize=13625100 CPUtime=1.19 cores=1,3,5,7
/proc/2024/stat : 2024 (java) S 2022 2024 31984 0 -1 4202496 21559 0 1 0 117 2 0 0 25 0 19 0 825023136 13952102400 19341 33554432000 1073741824 1073778376 140733964630064 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/2024/statm: 3406275 19341 2252 9 0 3397009 0
[pid=2024/tid=2025] ppid=2022 vsize=13625100 CPUtime=0.67 cores=1,3,5,7
/proc/2024/task/2025/stat : 2025 (java) R 2022 2024 31984 0 -1 4202560 15713 0 1 0 65 2 0 0 19 0 19 0 825023137 13952102400 19341 33554432000 1073741824 1073778376 140733964630064 18446744073709551615 46912505630143 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.19
Current children cumulated vsize (KiB) 13625100
[startup+1.5008 s]
/proc/loadavg: 2.06 2.78 3.36 3/423 2043
/proc/meminfo: memFree=23616588/32951124 swapFree=49244120/67111528
[pid=2024] ppid=2022 vsize=13625100 CPUtime=2.03 cores=1,3,5,7
/proc/2024/stat : 2024 (java) S 2022 2024 31984 0 -1 4202496 22096 0 1 0 200 3 0 0 25 0 19 0 825023136 13952102400 19876 33554432000 1073741824 1073778376 140733964630064 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/2024/statm: 3406275 19876 2252 9 0 3397009 0
[pid=2024/tid=2025] ppid=2022 vsize=13625100 CPUtime=1.44 cores=1,3,5,7
/proc/2024/task/2025/stat : 2025 (java) R 2022 2024 31984 0 -1 4202560 15715 0 1 0 142 2 0 0 20 0 19 0 825023137 13952102400 19876 33554432000 1073741824 1073778376 140733964630064 18446744073709551615 46912505647024 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=2024/tid=2027] ppid=2022 vsize=13625100 CPUtime=0 cores=1,3,5,7
/proc/2024/task/2027/stat : 2027 (java) S 2022 2024 31984 0 -1 4202560 159 0 0 0 0 0 0 0 15 0 19 0 825023139 13952102400 19876 33554432000 1073741824 1073778376 140733964630064 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011008 0 0 -1 3 0 0 0
[pid=2024/tid=2028] ppid=2022 vsize=13625100 CPUtime=0 cores=1,3,5,7
/proc/2024/task/2028/stat : 2028 (java) S 2022 2024 31984 0 -1 4202560 26 0 0 0 0 0 0 0 16 0 19 0 825023139 13952102400 19876 33554432000 1073741824 1073778376 140733964630064 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011008 0 0 -1 3 0 0 0
[pid=2024/tid=2029] ppid=2022 vsize=13625100 CPUtime=0 cores=1,3,5,7
/proc/2024/task/2029/stat : 2029 (java) S 2022 2024 31984 0 -1 4202560 118 0 0 0 0 0 0 0 15 0 19 0 825023139 13952102400 19876 33554432000 1073741824 1073778376 140733964630064 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011008 0 0 -1 1 0 0 0
[pid=2024/tid=2030] ppid=2022 vsize=13625100 CPUtime=0 cores=1,3,5,7
/proc/2024/task/2030/stat : 2030 (java) S 2022 2024 31984 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825023139 13952102400 19876 33554432000 1073741824 1073778376 140733964630064 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011008 0 0 -1 3 0 0 0
[pid=2024/tid=2031] ppid=2022 vsize=13625100 CPUtime=0 cores=1,3,5,7
/proc/2024/task/2031/stat : 2031 (java) S 2022 2024 31984 0 -1 4202560 26 0 0 0 0 0 0 0 16 0 19 0 825023139 13952102400 19876 33554432000 1073741824 1073778376 140733964630064 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011008 0 0 -1 5 0 0 0
[pid=2024/tid=2032] ppid=2022 vsize=13625100 CPUtime=0 cores=1,3,5,7
/proc/2024/task/2032/stat : 2032 (java) S 2022 2024 31984 0 -1 4202560 30 0 0 0 0 0 0 0 15 0 19 0 825023139 13952102400 19876 33554432000 1073741824 1073778376 140733964630064 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011008 0 0 -1 1 0 0 0
[pid=2024/tid=2033] ppid=2022 vsize=13625100 CPUtime=0 cores=1,3,5,7
/proc/2024/task/2033/stat : 2033 (java) S 2022 2024 31984 0 -1 4202560 114 0 0 0 0 0 0 0 15 0 19 0 825023139 13952102400 19876 33554432000 1073741824 1073778376 140733964630064 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011008 0 0 -1 1 0 0 0
[pid=2024/tid=2034] ppid=2022 vsize=13625100 CPUtime=0 cores=1,3,5,7
/proc/2024/task/2034/stat : 2034 (java) S 2022 2024 31984 0 -1 4202560 108 0 0 0 0 0 0 0 15 0 19 0 825023139 13952102400 19876 33554432000 1073741824 1073778376 140733964630064 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011008 0 0 -1 1 0 0 0
[pid=2024/tid=2035] ppid=2022 vsize=13625100 CPUtime=0.03 cores=1,3,5,7
/proc/2024/task/2035/stat : 2035 (java) S 2022 2024 31984 0 -1 4202560 473 0 0 0 3 0 0 0 15 0 19 0 825023140 13952102400 19876 33554432000 1073741824 1073778376 140733964630064 18446744073709551615 218382773760 0 0 0 16800975 18446604463458011008 0 0 -1 7 0 0 0
[pid=2024/tid=2036] ppid=2022 vsize=13625100 CPUtime=0 cores=1,3,5,7
/proc/2024/task/2036/stat : 2036 (java) S 2022 2024 31984 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 825023140 13952102400 19876 33554432000 1073741824 1073778376 140733964630064 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011008 0 0 -1 7 0 0 0
[pid=2024/tid=2037] ppid=2022 vsize=13625100 CPUtime=0 cores=1,3,5,7
/proc/2024/task/2037/stat : 2037 (java) S 2022 2024 31984 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 825023140 13952102400 19876 33554432000 1073741824 1073778376 140733964630064 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011008 0 0 -1 7 0 0 0
[pid=2024/tid=2038] ppid=2022 vsize=13625100 CPUtime=0 cores=1,3,5,7
/proc/2024/task/2038/stat : 2038 (java) S 2022 2024 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825023143 13952102400 19876 33554432000 1073741824 1073778376 140733964630064 18446744073709551615 218382780849 0 4 0 16800975 18446604463458011008 0 0 -1 7 0 0 0
[pid=2024/tid=2039] ppid=2022 vsize=13625100 CPUtime=0.3 cores=1,3,5,7
/proc/2024/task/2039/stat : 2039 (java) S 2022 2024 31984 0 -1 4202560 2369 0 0 0 30 0 0 0 18 0 19 0 825023143 13952102400 19876 33554432000 1073741824 1073778376 140733964630064 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011008 0 0 -1 3 0 0 0
[pid=2024/tid=2040] ppid=2022 vsize=13625100 CPUtime=0.22 cores=1,3,5,7
/proc/2024/task/2040/stat : 2040 (java) S 2022 2024 31984 0 -1 4202560 1807 0 0 0 22 0 0 0 15 0 19 0 825023143 13952102400 19876 33554432000 1073741824 1073778376 140733964630064 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011008 0 0 -1 5 0 0 0
[pid=2024/tid=2041] ppid=2022 vsize=13625100 CPUtime=0 cores=1,3,5,7
/proc/2024/task/2041/stat : 2041 (java) S 2022 2024 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825023143 13952102400 19876 33554432000 1073741824 1073778376 140733964630064 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011008 0 0 -1 7 0 0 0
[pid=2024/tid=2042] ppid=2022 vsize=13625100 CPUtime=0 cores=1,3,5,7
/proc/2024/task/2042/stat : 2042 (java) S 2022 2024 31984 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825023143 13952102400 19876 33554432000 1073741824 1073778376 140733964630064 18446744073709551615 218382773760 0 4 0 16800975 18446604463458011008 0 0 -1 3 0 0 0
[pid=2024/tid=2043] ppid=2022 vsize=13625100 CPUtime=0 cores=1,3,5,7
/proc/2024/task/2043/stat : 2043 (java) S 2022 2024 31984 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 825023167 13952102400 19876 33554432000 1073741824 1073778376 140733964630064 18446744073709551615 218382773760 0 4 0 16800975 18446604463458011008 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.03
Current children cumulated vsize (KiB) 13625100
[startup+3.10151 s]
/proc/loadavg: 2.05 2.77 3.35 3/423 2043
/proc/meminfo: memFree=23614620/32951124 swapFree=49244120/67111528
[pid=2024] ppid=2022 vsize=13625100 CPUtime=3.66 cores=1,3,5,7
/proc/2024/stat : 2024 (java) S 2022 2024 31984 0 -1 4202496 22617 0 1 0 363 3 0 0 25 0 19 0 825023136 13952102400 20239 33554432000 1073741824 1073778376 140733964630064 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/2024/statm: 3406275 20239 2252 9 0 3397009 0
[pid=2024/tid=2025] ppid=2022 vsize=13625100 CPUtime=2.99 cores=1,3,5,7
/proc/2024/task/2025/stat : 2025 (java) R 2022 2024 31984 0 -1 4202560 15717 0 1 0 297 2 0 0 24 0 19 0 825023137 13952102400 20239 33554432000 1073741824 1073778376 140733964630064 18446744073709551615 46912505701057 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=2024/tid=2027] ppid=2022 vsize=13625100 CPUtime=0 cores=1,3,5,7
/proc/2024/task/2027/stat : 2027 (java) S 2022 2024 31984 0 -1 4202560 192 0 0 0 0 0 0 0 16 0 19 0 825023139 13952102400 20239 33554432000 1073741824 1073778376 140733964630064 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011008 0 0 -1 3 0 0 0
[pid=2024/tid=2028] ppid=2022 vsize=13625100 CPUtime=0 cores=1,3,5,7
/proc/2024/task/2028/stat : 2028 (java) S 2022 2024 31984 0 -1 4202560 29 0 0 0 0 0 0 0 15 0 19 0 825023139 13952102400 20239 33554432000 1073741824 1073778376 140733964630064 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011008 0 0 -1 3 0 0 0
[pid=2024/tid=2029] ppid=2022 vsize=13625100 CPUtime=0 cores=1,3,5,7
/proc/2024/task/2029/stat : 2029 (java) S 2022 2024 31984 0 -1 4202560 168 0 0 0 0 0 0 0 16 0 19 0 825023139 13952102400 20239 33554432000 1073741824 1073778376 140733964630064 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011008 0 0 -1 1 0 0 0
[pid=2024/tid=2030] ppid=2022 vsize=13625100 CPUtime=0 cores=1,3,5,7
/proc/2024/task/2030/stat : 2030 (java) S 2022 2024 31984 0 -1 4202560 28 0 0 0 0 0 0 0 15 0 19 0 825023139 13952102400 20239 33554432000 1073741824 1073778376 140733964630064 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011008 0 0 -1 3 0 0 0
[pid=2024/tid=2031] ppid=2022 vsize=13625100 CPUtime=0 cores=1,3,5,7
/proc/2024/task/2031/stat : 2031 (java) S 2022 2024 31984 0 -1 4202560 85 0 0 0 0 0 0 0 16 0 19 0 825023139 13952102400 20239 33554432000 1073741824 1073778376 140733964630064 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011008 0 0 -1 5 0 0 0
[pid=2024/tid=2032] ppid=2022 vsize=13625100 CPUtime=0 cores=1,3,5,7
/proc/2024/task/2032/stat : 2032 (java) S 2022 2024 31984 0 -1 4202560 30 0 0 0 0 0 0 0 15 0 19 0 825023139 13952102400 20239 33554432000 1073741824 1073778376 140733964630064 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011008 0 0 -1 1 0 0 0
[pid=2024/tid=2033] ppid=2022 vsize=13625100 CPUtime=0 cores=1,3,5,7
/proc/2024/task/2033/stat : 2033 (java) S 2022 2024 31984 0 -1 4202560 119 0 0 0 0 0 0 0 15 0 19 0 825023139 13952102400 20239 33554432000 1073741824 1073778376 140733964630064 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011008 0 0 -1 5 0 0 0
[pid=2024/tid=2034] ppid=2022 vsize=13625100 CPUtime=0 cores=1,3,5,7
/proc/2024/task/2034/stat : 2034 (java) S 2022 2024 31984 0 -1 4202560 121 0 0 0 0 0 0 0 16 0 19 0 825023139 13952102400 20239 33554432000 1073741824 1073778376 140733964630064 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011008 0 0 -1 1 0 0 0
[pid=2024/tid=2035] ppid=2022 vsize=13625100 CPUtime=0.08 cores=1,3,5,7
/proc/2024/task/2035/stat : 2035 (java) S 2022 2024 31984 0 -1 4202560 640 0 0 0 8 0 0 0 15 0 19 0 825023140 13952102400 20239 33554432000 1073741824 1073778376 140733964630064 18446744073709551615 218382773760 0 0 0 16800975 18446604463458011008 0 0 -1 7 0 0 0
[pid=2024/tid=2036] ppid=2022 vsize=13625100 CPUtime=0 cores=1,3,5,7
/proc/2024/task/2036/stat : 2036 (java) S 2022 2024 31984 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 825023140 13952102400 20239 33554432000 1073741824 1073778376 140733964630064 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011008 0 0 -1 7 0 0 0
[pid=2024/tid=2037] ppid=2022 vsize=13625100 CPUtime=0 cores=1,3,5,7
/proc/2024/task/2037/stat : 2037 (java) S 2022 2024 31984 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 825023140 13952102400 20239 33554432000 1073741824 1073778376 140733964630064 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011008 0 0 -1 7 0 0 0
[pid=2024/tid=2038] ppid=2022 vsize=13625100 CPUtime=0 cores=1,3,5,7
/proc/2024/task/2038/stat : 2038 (java) S 2022 2024 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825023143 13952102400 20239 33554432000 1073741824 1073778376 140733964630064 18446744073709551615 218382780849 0 4 0 16800975 18446604463458011008 0 0 -1 7 0 0 0
[pid=2024/tid=2039] ppid=2022 vsize=13625100 CPUtime=0.31 cores=1,3,5,7
/proc/2024/task/2039/stat : 2039 (java) S 2022 2024 31984 0 -1 4202560 2369 0 0 0 31 0 0 0 15 0 19 0 825023143 13952102400 20239 33554432000 1073741824 1073778376 140733964630064 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011008 0 0 -1 3 0 0 0
[pid=2024/tid=2040] ppid=2022 vsize=13625100 CPUtime=0.24 cores=1,3,5,7
/proc/2024/task/2040/stat : 2040 (java) S 2022 2024 31984 0 -1 4202560 1969 0 0 0 24 0 0 0 15 0 19 0 825023143 13952102400 20239 33554432000 1073741824 1073778376 140733964630064 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011008 0 0 -1 5 0 0 0
[pid=2024/tid=2041] ppid=2022 vsize=13625100 CPUtime=0 cores=1,3,5,7
/proc/2024/task/2041/stat : 2041 (java) S 2022 2024 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825023143 13952102400 20239 33554432000 1073741824 1073778376 140733964630064 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011008 0 0 -1 7 0 0 0
[pid=2024/tid=2042] ppid=2022 vsize=13625100 CPUtime=0 cores=1,3,5,7
/proc/2024/task/2042/stat : 2042 (java) S 2022 2024 31984 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825023143 13952102400 20239 33554432000 1073741824 1073778376 140733964630064 18446744073709551615 218382773760 0 4 0 16800975 18446604463458011008 0 0 -1 3 0 0 0
[pid=2024/tid=2043] ppid=2022 vsize=13625100 CPUtime=0 cores=1,3,5,7
/proc/2024/task/2043/stat : 2043 (java) S 2022 2024 31984 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 825023167 13952102400 20239 33554432000 1073741824 1073778376 140733964630064 18446744073709551615 218382773760 0 4 0 16800975 18446604463458011008 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.66
Current children cumulated vsize (KiB) 13625100
Solver just ended. Dumping a history of the last processes samples
[startup+3.20149 s]
/proc/loadavg: 2.05 2.77 3.35 3/423 2043
/proc/meminfo: memFree=23613392/32951124 swapFree=49244120/67111528
[pid=2024] ppid=2022 vsize=13625100 CPUtime=3.76 cores=1,3,5,7
/proc/2024/stat : 2024 (java) S 2022 2024 31984 0 -1 4202496 22617 0 1 0 373 3 0 0 25 0 19 0 825023136 13952102400 20239 33554432000 1073741824 1073778376 140733964630064 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/2024/statm: 3406275 20239 2252 9 0 3397009 0
[pid=2024/tid=2025] ppid=2022 vsize=13625100 CPUtime=3.1 cores=1,3,5,7
/proc/2024/task/2025/stat : 2025 (java) R 2022 2024 31984 0 -1 4202560 15717 0 1 0 308 2 0 0 25 0 19 0 825023137 13952102400 20239 33554432000 1073741824 1073778376 140733964630064 18446744073709551615 46912505646709 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=2024/tid=2027] ppid=2022 vsize=13625100 CPUtime=0 cores=1,3,5,7
/proc/2024/task/2027/stat : 2027 (java) S 2022 2024 31984 0 -1 4202560 192 0 0 0 0 0 0 0 16 0 19 0 825023139 13952102400 20239 33554432000 1073741824 1073778376 140733964630064 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011008 0 0 -1 3 0 0 0
[pid=2024/tid=2028] ppid=2022 vsize=13625100 CPUtime=0 cores=1,3,5,7
/proc/2024/task/2028/stat : 2028 (java) S 2022 2024 31984 0 -1 4202560 29 0 0 0 0 0 0 0 15 0 19 0 825023139 13952102400 20239 33554432000 1073741824 1073778376 140733964630064 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011008 0 0 -1 3 0 0 0
[pid=2024/tid=2029] ppid=2022 vsize=13625100 CPUtime=0 cores=1,3,5,7
/proc/2024/task/2029/stat : 2029 (java) S 2022 2024 31984 0 -1 4202560 168 0 0 0 0 0 0 0 16 0 19 0 825023139 13952102400 20239 33554432000 1073741824 1073778376 140733964630064 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011008 0 0 -1 1 0 0 0
[pid=2024/tid=2030] ppid=2022 vsize=13625100 CPUtime=0 cores=1,3,5,7
/proc/2024/task/2030/stat : 2030 (java) S 2022 2024 31984 0 -1 4202560 28 0 0 0 0 0 0 0 15 0 19 0 825023139 13952102400 20239 33554432000 1073741824 1073778376 140733964630064 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011008 0 0 -1 3 0 0 0
[pid=2024/tid=2031] ppid=2022 vsize=13625100 CPUtime=0 cores=1,3,5,7
/proc/2024/task/2031/stat : 2031 (java) S 2022 2024 31984 0 -1 4202560 85 0 0 0 0 0 0 0 16 0 19 0 825023139 13952102400 20239 33554432000 1073741824 1073778376 140733964630064 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011008 0 0 -1 5 0 0 0
[pid=2024/tid=2032] ppid=2022 vsize=13625100 CPUtime=0 cores=1,3,5,7
/proc/2024/task/2032/stat : 2032 (java) S 2022 2024 31984 0 -1 4202560 30 0 0 0 0 0 0 0 15 0 19 0 825023139 13952102400 20239 33554432000 1073741824 1073778376 140733964630064 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011008 0 0 -1 1 0 0 0
[pid=2024/tid=2033] ppid=2022 vsize=13625100 CPUtime=0 cores=1,3,5,7
/proc/2024/task/2033/stat : 2033 (java) S 2022 2024 31984 0 -1 4202560 119 0 0 0 0 0 0 0 15 0 19 0 825023139 13952102400 20239 33554432000 1073741824 1073778376 140733964630064 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011008 0 0 -1 5 0 0 0
[pid=2024/tid=2034] ppid=2022 vsize=13625100 CPUtime=0 cores=1,3,5,7
/proc/2024/task/2034/stat : 2034 (java) S 2022 2024 31984 0 -1 4202560 121 0 0 0 0 0 0 0 16 0 19 0 825023139 13952102400 20239 33554432000 1073741824 1073778376 140733964630064 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011008 0 0 -1 1 0 0 0
[pid=2024/tid=2035] ppid=2022 vsize=13625100 CPUtime=0.08 cores=1,3,5,7
/proc/2024/task/2035/stat : 2035 (java) S 2022 2024 31984 0 -1 4202560 640 0 0 0 8 0 0 0 15 0 19 0 825023140 13952102400 20239 33554432000 1073741824 1073778376 140733964630064 18446744073709551615 218382773760 0 0 0 16800975 18446604463458011008 0 0 -1 7 0 0 0
[pid=2024/tid=2036] ppid=2022 vsize=13625100 CPUtime=0 cores=1,3,5,7
/proc/2024/task/2036/stat : 2036 (java) S 2022 2024 31984 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 825023140 13952102400 20239 33554432000 1073741824 1073778376 140733964630064 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011008 0 0 -1 7 0 0 0
[pid=2024/tid=2037] ppid=2022 vsize=13625100 CPUtime=0 cores=1,3,5,7
/proc/2024/task/2037/stat : 2037 (java) S 2022 2024 31984 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 825023140 13952102400 20239 33554432000 1073741824 1073778376 140733964630064 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011008 0 0 -1 7 0 0 0
[pid=2024/tid=2038] ppid=2022 vsize=13625100 CPUtime=0 cores=1,3,5,7
/proc/2024/task/2038/stat : 2038 (java) S 2022 2024 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825023143 13952102400 20239 33554432000 1073741824 1073778376 140733964630064 18446744073709551615 218382780849 0 4 0 16800975 18446604463458011008 0 0 -1 7 0 0 0
[pid=2024/tid=2039] ppid=2022 vsize=13625100 CPUtime=0.31 cores=1,3,5,7
/proc/2024/task/2039/stat : 2039 (java) S 2022 2024 31984 0 -1 4202560 2369 0 0 0 31 0 0 0 15 0 19 0 825023143 13952102400 20239 33554432000 1073741824 1073778376 140733964630064 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011008 0 0 -1 3 0 0 0
[pid=2024/tid=2040] ppid=2022 vsize=13625100 CPUtime=0.24 cores=1,3,5,7
/proc/2024/task/2040/stat : 2040 (java) S 2022 2024 31984 0 -1 4202560 1969 0 0 0 24 0 0 0 15 0 19 0 825023143 13952102400 20239 33554432000 1073741824 1073778376 140733964630064 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011008 0 0 -1 5 0 0 0
[pid=2024/tid=2041] ppid=2022 vsize=13625100 CPUtime=0 cores=1,3,5,7
/proc/2024/task/2041/stat : 2041 (java) S 2022 2024 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825023143 13952102400 20239 33554432000 1073741824 1073778376 140733964630064 18446744073709551615 218382773145 0 4 0 16800975 18446604463458011008 0 0 -1 7 0 0 0
[pid=2024/tid=2042] ppid=2022 vsize=13625100 CPUtime=0 cores=1,3,5,7
/proc/2024/task/2042/stat : 2042 (java) S 2022 2024 31984 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825023143 13952102400 20239 33554432000 1073741824 1073778376 140733964630064 18446744073709551615 218382773760 0 4 0 16800975 18446604463458011008 0 0 -1 3 0 0 0
[pid=2024/tid=2043] ppid=2022 vsize=13625100 CPUtime=0 cores=1,3,5,7
/proc/2024/task/2043/stat : 2043 (java) S 2022 2024 31984 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 825023167 13952102400 20239 33554432000 1073741824 1073778376 140733964630064 18446744073709551615 218382773760 0 4 0 16800975 18446604463458011008 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.76
Current children cumulated vsize (KiB) 13625100
Child status: 10
Real time (s): 3.2535
CPU time (s): 3.82342
CPU user time (s): 3.78742
CPU system time (s): 0.035994
CPU usage (%): 117.517
Max. virtual memory (cumulated for all children) (KiB): 13625100
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.78742
system time used= 0.035994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22641
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= 397
involuntary context switches= 78
runsolver used 0.013997 second user time and 0.041993 second system time
The end