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-3712904-1338201346/watcher-3712904-1338201346 -o /tmp/evaluation-result-3712904-1338201346/solver-3712904-1338201346 -C 1800 -W 1900 -M 15500 wbo1.71 -file-format=wbo HOME/instance-3712904-1338201346.wbo
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.01 2.01 2.00 3/177 22969
/proc/meminfo: memFree=27874352/32873648 swapFree=7372/7372
[pid=22969] ppid=22967 vsize=83652 CPUtime=0 cores=1,3,5,7
/proc/22969/stat : 22969 (wbo1.71) S 22967 22969 22137 0 -1 4202496 798 0 0 0 0 0 0 0 20 0 2 0 286260616 85659648 748 33554432000 4194304 5964318 140735339210992 140735339210512 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22969/statm: 20913 748 193 433 0 20477 0
[pid=22969/tid=22970] ppid=22967 vsize=83652 CPUtime=0 cores=1,3,5,7
/proc/22969/task/22970/stat : 22970 (wbo1.71) R 22967 22969 22137 0 -1 4202560 75 0 0 0 0 0 0 0 20 0 2 0 286260616 85659648 749 33554432000 4194304 5964318 140735339210992 140735060645288 5136324 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[startup+0.105886 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 22969
/proc/meminfo: memFree=27874352/32873648 swapFree=7372/7372
[pid=22969] ppid=22967 vsize=83652 CPUtime=0.1 cores=1,3,5,7
/proc/22969/stat : 22969 (wbo1.71) S 22967 22969 22137 0 -1 4202496 1131 0 0 0 10 0 0 0 20 0 2 0 286260616 85659648 1081 33554432000 4194304 5964318 140735339210992 140735339210512 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22969/statm: 20913 1081 194 433 0 20477 0
[pid=22969/tid=22970] ppid=22967 vsize=83652 CPUtime=0.09 cores=1,3,5,7
/proc/22969/task/22970/stat : 22970 (wbo1.71) R 22967 22969 22137 0 -1 4202560 407 0 0 0 9 0 0 0 20 0 2 0 286260616 85659648 1081 33554432000 4194304 5964318 140735339210992 140735060645288 4399991 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 83652
[startup+0.200248 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 22969
/proc/meminfo: memFree=27874352/32873648 swapFree=7372/7372
[pid=22969] ppid=22967 vsize=83652 CPUtime=0.19 cores=1,3,5,7
/proc/22969/stat : 22969 (wbo1.71) S 22967 22969 22137 0 -1 4202496 1325 0 0 0 19 0 0 0 20 0 2 0 286260616 85659648 1275 33554432000 4194304 5964318 140735339210992 140735339210512 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22969/statm: 20913 1275 194 433 0 20477 0
[pid=22969/tid=22970] ppid=22967 vsize=83652 CPUtime=0.18 cores=1,3,5,7
/proc/22969/task/22970/stat : 22970 (wbo1.71) R 22967 22969 22137 0 -1 4202560 601 0 0 0 18 0 0 0 20 0 2 0 286260616 85659648 1275 33554432000 4194304 5964318 140735339210992 140735060645288 5136324 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 83652
[startup+0.300238 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 22969
/proc/meminfo: memFree=27874352/32873648 swapFree=7372/7372
[pid=22969] ppid=22967 vsize=83652 CPUtime=0.29 cores=1,3,5,7
/proc/22969/stat : 22969 (wbo1.71) S 22967 22969 22137 0 -1 4202496 1494 0 0 0 29 0 0 0 20 0 2 0 286260616 85659648 1444 33554432000 4194304 5964318 140735339210992 140735339210512 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22969/statm: 20913 1444 194 433 0 20477 0
[pid=22969/tid=22970] ppid=22967 vsize=83652 CPUtime=0.28 cores=1,3,5,7
/proc/22969/task/22970/stat : 22970 (wbo1.71) R 22967 22969 22137 0 -1 4202560 770 0 0 0 28 0 0 0 20 0 2 0 286260616 85659648 1444 33554432000 4194304 5964318 140735339210992 140735060645288 4399816 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 83652
[startup+0.700212 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 22969
/proc/meminfo: memFree=27874352/32873648 swapFree=7372/7372
[pid=22969] ppid=22967 vsize=83652 CPUtime=0.69 cores=1,3,5,7
/proc/22969/stat : 22969 (wbo1.71) S 22967 22969 22137 0 -1 4202496 2007 0 0 0 69 0 0 0 20 0 2 0 286260616 85659648 1957 33554432000 4194304 5964318 140735339210992 140735339210512 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22969/statm: 20913 1957 194 433 0 20477 0
[pid=22969/tid=22970] ppid=22967 vsize=83652 CPUtime=0.68 cores=1,3,5,7
/proc/22969/task/22970/stat : 22970 (wbo1.71) R 22967 22969 22137 0 -1 4202560 1283 0 0 0 68 0 0 0 20 0 2 0 286260616 85659648 1957 33554432000 4194304 5964318 140735339210992 139980735698744 4222464 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 83652
[startup+1.50021 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 22971
/proc/meminfo: memFree=27866912/32873648 swapFree=7372/7372
[pid=22969] ppid=22967 vsize=83796 CPUtime=1.49 cores=1,3,5,7
/proc/22969/stat : 22969 (wbo1.71) S 22967 22969 22137 0 -1 4202496 2404 0 0 0 149 0 0 0 20 0 2 0 286260616 85807104 2354 33554432000 4194304 5964318 140735339210992 140735339210512 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22969/statm: 20949 2354 194 433 0 20513 0
[pid=22969/tid=22970] ppid=22967 vsize=83796 CPUtime=1.48 cores=1,3,5,7
/proc/22969/task/22970/stat : 22970 (wbo1.71) R 22967 22969 22137 0 -1 4202560 1680 0 0 0 148 0 0 0 20 0 2 0 286260616 85807104 2354 33554432000 4194304 5964318 140735339210992 139980735698744 4399824 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 83796
[startup+3.10022 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 22971
/proc/meminfo: memFree=27864672/32873648 swapFree=7372/7372
[pid=22969] ppid=22967 vsize=83868 CPUtime=3.08 cores=1,3,5,7
/proc/22969/stat : 22969 (wbo1.71) S 22967 22969 22137 0 -1 4202496 3333 0 0 0 308 0 0 0 20 0 2 0 286260616 85880832 3283 33554432000 4194304 5964318 140735339210992 140735339210512 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22969/statm: 20967 3283 194 433 0 20531 0
[pid=22969/tid=22970] ppid=22967 vsize=83868 CPUtime=3.08 cores=1,3,5,7
/proc/22969/task/22970/stat : 22970 (wbo1.71) R 22967 22969 22137 0 -1 4202560 2609 0 0 0 308 0 0 0 20 0 2 0 286260616 85880832 3283 33554432000 4194304 5964318 140735339210992 139980735698984 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 83868
[startup+6.30014 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 22971
/proc/meminfo: memFree=27857268/32873648 swapFree=7372/7372
[pid=22969] ppid=22967 vsize=83652 CPUtime=6.29 cores=1,3,5,7
/proc/22969/stat : 22969 (wbo1.71) S 22967 22969 22137 0 -1 4202496 4402 0 0 0 628 1 0 0 20 0 2 0 286260616 85659648 4300 33554432000 4194304 5964318 140735339210992 140735339210512 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22969/statm: 20913 4300 198 433 0 20477 0
[pid=22969/tid=22970] ppid=22967 vsize=83652 CPUtime=6.28 cores=1,3,5,7
/proc/22969/task/22970/stat : 22970 (wbo1.71) R 22967 22969 22137 0 -1 4202560 3678 0 0 0 627 1 0 0 20 0 2 0 286260616 85659648 4300 33554432000 4194304 5964318 140735339210992 139980735699896 4399991 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 83652
[startup+12.7001 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 22971
/proc/meminfo: memFree=27856824/32873648 swapFree=7372/7372
[pid=22969] ppid=22967 vsize=83652 CPUtime=12.69 cores=1,3,5,7
/proc/22969/stat : 22969 (wbo1.71) S 22967 22969 22137 0 -1 4202496 4485 0 0 0 1268 1 0 0 20 0 2 0 286260616 85659648 4383 33554432000 4194304 5964318 140735339210992 140735339210512 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22969/statm: 20913 4383 198 433 0 20477 0
[pid=22969/tid=22970] ppid=22967 vsize=83652 CPUtime=12.69 cores=1,3,5,7
/proc/22969/task/22970/stat : 22970 (wbo1.71) R 22967 22969 22137 0 -1 4202560 3761 0 0 0 1267 2 0 0 20 0 2 0 286260616 85659648 4383 33554432000 4194304 5964318 140735339210992 139980735699288 4399995 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 83652
[startup+25.5003 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 22972
/proc/meminfo: memFree=27847676/32873648 swapFree=7372/7372
[pid=22969] ppid=22967 vsize=83652 CPUtime=25.48 cores=1,3,5,7
/proc/22969/stat : 22969 (wbo1.71) S 22967 22969 22137 0 -1 4202496 6881 0 0 0 2547 1 0 0 20 0 2 0 286260616 85659648 6703 33554432000 4194304 5964318 140735339210992 140735339210512 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22969/statm: 20913 6703 198 433 0 20477 0
[pid=22969/tid=22970] ppid=22967 vsize=83652 CPUtime=25.48 cores=1,3,5,7
/proc/22969/task/22970/stat : 22970 (wbo1.71) R 22967 22969 22137 0 -1 4202560 6157 0 0 0 2546 2 0 0 20 0 2 0 286260616 85659648 6703 33554432000 4194304 5964318 140735339210992 139980735699896 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 83652
[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22972
/proc/meminfo: memFree=27849412/32873648 swapFree=7372/7372
[pid=22969] ppid=22967 vsize=83652 CPUtime=51.08 cores=1,3,5,7
/proc/22969/stat : 22969 (wbo1.71) S 22967 22969 22137 0 -1 4202496 7201 0 0 0 5106 2 0 0 20 0 2 0 286260616 85659648 6516 33554432000 4194304 5964318 140735339210992 140735339210512 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22969/statm: 20913 6516 198 433 0 20477 0
[pid=22969/tid=22970] ppid=22967 vsize=83652 CPUtime=51.08 cores=1,3,5,7
/proc/22969/task/22970/stat : 22970 (wbo1.71) R 22967 22969 22137 0 -1 4202560 6477 0 0 0 5106 2 0 0 20 0 2 0 286260616 85659648 6516 33554432000 4194304 5964318 140735339210992 139980735699480 4399946 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 83652
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22972
/proc/meminfo: memFree=27841228/32873648 swapFree=7372/7372
[pid=22969] ppid=22967 vsize=83652 CPUtime=102.28 cores=1,3,5,7
/proc/22969/stat : 22969 (wbo1.71) S 22967 22969 22137 0 -1 4202496 10518 0 0 0 10226 2 0 0 20 0 2 0 286260616 85659648 8416 33554432000 4194304 5964318 140735339210992 140735339210512 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22969/statm: 20913 8416 198 433 0 20477 0
[pid=22969/tid=22970] ppid=22967 vsize=83652 CPUtime=102.29 cores=1,3,5,7
/proc/22969/task/22970/stat : 22970 (wbo1.71) R 22967 22969 22137 0 -1 4202560 9794 0 0 0 10225 4 0 0 20 0 2 0 286260616 85659648 8416 33554432000 4194304 5964318 140735339210992 139980735699480 4399995 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 83652
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22972
/proc/meminfo: memFree=27830440/32873648 swapFree=7372/7372
[pid=22969] ppid=22967 vsize=83652 CPUtime=162.26 cores=1,3,5,7
/proc/22969/stat : 22969 (wbo1.71) S 22967 22969 22137 0 -1 4202496 13443 0 0 0 16223 3 0 0 20 0 2 0 286260616 85659648 11258 33554432000 4194304 5964318 140735339210992 140735339210512 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22969/statm: 20913 11258 198 433 0 20477 0
[pid=22969/tid=22970] ppid=22967 vsize=83652 CPUtime=162.29 cores=1,3,5,7
/proc/22969/task/22970/stat : 22970 (wbo1.71) R 22967 22969 22137 0 -1 4202560 12719 0 0 0 16223 6 0 0 20 0 2 0 286260616 85659648 11258 33554432000 4194304 5964318 140735339210992 139980735699480 4399890 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 83652
[startup+222.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22972
/proc/meminfo: memFree=27824492/32873648 swapFree=7372/7372
[pid=22969] ppid=22967 vsize=83652 CPUtime=222.26 cores=1,3,5,7
/proc/22969/stat : 22969 (wbo1.71) S 22967 22969 22137 0 -1 4202496 14995 0 0 0 22222 4 0 0 20 0 2 0 286260616 85659648 12681 33554432000 4194304 5964318 140735339210992 140735339210512 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22969/statm: 20913 12681 198 433 0 20477 0
[pid=22969/tid=22970] ppid=22967 vsize=83652 CPUtime=222.3 cores=1,3,5,7
/proc/22969/task/22970/stat : 22970 (wbo1.71) R 22967 22969 22137 0 -1 4202560 14271 0 0 0 22222 8 0 0 20 0 2 0 286260616 85659648 12681 33554432000 4194304 5964318 140735339210992 139980735699896 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 83652
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 22975
/proc/meminfo: memFree=27810996/32873648 swapFree=7372/7372
[pid=22969] ppid=22967 vsize=83652 CPUtime=282.23 cores=1,3,5,7
/proc/22969/stat : 22969 (wbo1.71) S 22967 22969 22137 0 -1 4202496 17801 0 0 0 28218 5 0 0 20 0 2 0 286260616 85659648 16056 33554432000 4194304 5964318 140735339210992 140735339210512 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22969/statm: 20913 16056 198 433 0 20477 0
[pid=22969/tid=22970] ppid=22967 vsize=83652 CPUtime=282.27 cores=1,3,5,7
/proc/22969/task/22970/stat : 22970 (wbo1.71) R 22967 22969 22137 0 -1 4202560 17077 0 0 0 28218 9 0 0 20 0 2 0 286260616 85659648 16056 33554432000 4194304 5964318 140735339210992 139980735699288 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 83652
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22976
/proc/meminfo: memFree=27715340/32873648 swapFree=7372/7372
[pid=22969] ppid=22967 vsize=149188 CPUtime=342.21 cores=1,3,5,7
/proc/22969/stat : 22969 (wbo1.71) S 22967 22969 22137 0 -1 4202496 23584 0 0 0 34212 9 0 0 20 0 2 0 286260616 152768512 22029 33554432000 4194304 5964318 140735339210992 140735339210512 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22969/statm: 37297 22029 198 433 0 36861 0
[pid=22969/tid=22970] ppid=22967 vsize=149188 CPUtime=342.28 cores=1,3,5,7
/proc/22969/task/22970/stat : 22970 (wbo1.71) R 22967 22969 22137 0 -1 4202560 22860 0 0 0 34213 15 0 0 20 0 2 0 286260616 152768512 22029 33554432000 4194304 5964318 140735339210992 139980735698744 4399873 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 149188
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22976
/proc/meminfo: memFree=27579960/32873648 swapFree=7372/7372
[pid=22969] ppid=22967 vsize=150272 CPUtime=402.2 cores=1,3,5,7
/proc/22969/stat : 22969 (wbo1.71) S 22967 22969 22137 0 -1 4202496 31053 0 0 0 40206 14 0 0 20 0 2 0 286260616 153878528 29491 33554432000 4194304 5964318 140735339210992 140735339210512 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
################
# More data... #
################
/proc/22969/task/22970/stat : 22970 (wbo1.71) R 22967 22969 22137 0 -1 4202560 62866 0 0 0 124173 55 0 0 20 0 2 0 286260616 286986240 62608 33554432000 4194304 5964318 140735339210992 139980735698744 4399928 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1242.04
Current children cumulated vsize (KiB) 280260
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23177
/proc/meminfo: memFree=28071216/32873648 swapFree=7372/7372
[pid=22969] ppid=22967 vsize=280260 CPUtime=1302.03 cores=1,3,5,7
/proc/22969/stat : 22969 (wbo1.71) S 22967 22969 22137 0 -1 4202496 65425 0 0 0 130165 38 0 0 20 0 2 0 286260616 286986240 64440 33554432000 4194304 5964318 140735339210992 140735339210512 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22969/statm: 70065 64440 198 433 0 69629 0
[pid=22969/tid=22970] ppid=22967 vsize=280260 CPUtime=1302.28 cores=1,3,5,7
/proc/22969/task/22970/stat : 22970 (wbo1.71) R 22967 22969 22137 0 -1 4202560 64701 0 0 0 130170 58 0 0 20 0 2 0 286260616 286986240 64440 33554432000 4194304 5964318 140735339210992 139980735698808 4399824 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1302.03
Current children cumulated vsize (KiB) 280260
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23177
/proc/meminfo: memFree=28046036/32873648 swapFree=7372/7372
[pid=22969] ppid=22967 vsize=345796 CPUtime=1362.01 cores=1,3,5,7
/proc/22969/stat : 22969 (wbo1.71) S 22967 22969 22137 0 -1 4202496 69010 0 0 0 136160 41 0 0 20 0 2 0 286260616 354095104 68421 33554432000 4194304 5964318 140735339210992 140735339210512 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22969/statm: 86449 68421 198 433 0 86013 0
[pid=22969/tid=22970] ppid=22967 vsize=345796 CPUtime=1362.27 cores=1,3,5,7
/proc/22969/task/22970/stat : 22970 (wbo1.71) R 22967 22969 22137 0 -1 4202560 68286 0 0 0 136165 62 0 0 20 0 2 0 286260616 354095104 68421 33554432000 4194304 5964318 140735339210992 139980735698744 4399824 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1362.01
Current children cumulated vsize (KiB) 345796
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23177
/proc/meminfo: memFree=27961096/32873648 swapFree=7372/7372
[pid=22969] ppid=22967 vsize=345796 CPUtime=1422.01 cores=1,3,5,7
/proc/22969/stat : 22969 (wbo1.71) S 22967 22969 22137 0 -1 4202496 72965 0 0 0 142155 46 0 0 20 0 2 0 286260616 354095104 72374 33554432000 4194304 5964318 140735339210992 140735339210512 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22969/statm: 86449 72374 198 433 0 86013 0
[pid=22969/tid=22970] ppid=22967 vsize=345796 CPUtime=1422.28 cores=1,3,5,7
/proc/22969/task/22970/stat : 22970 (wbo1.71) R 22967 22969 22137 0 -1 4202560 72241 0 0 0 142161 67 0 0 20 0 2 0 286260616 354095104 72374 33554432000 4194304 5964318 140735339210992 139980735698936 4400423 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 345796
[startup+1482.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/180 23180
/proc/meminfo: memFree=27919060/32873648 swapFree=7372/7372
[pid=22969] ppid=22967 vsize=345796 CPUtime=1481.99 cores=1,3,5,7
/proc/22969/stat : 22969 (wbo1.71) S 22967 22969 22137 0 -1 4202496 75395 0 0 0 148151 48 0 0 20 0 2 0 286260616 354095104 74804 33554432000 4194304 5964318 140735339210992 140735339210512 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22969/statm: 86449 74804 198 433 0 86013 0
[pid=22969/tid=22970] ppid=22967 vsize=345796 CPUtime=1482.27 cores=1,3,5,7
/proc/22969/task/22970/stat : 22970 (wbo1.71) R 22967 22969 22137 0 -1 4202560 74671 0 0 0 148156 71 0 0 20 0 2 0 286260616 354095104 74804 33554432000 4194304 5964318 140735339210992 139980735698744 4400336 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 345796
[startup+1542.31 s]
/proc/loadavg: 2.08 2.02 2.00 3/179 23203
/proc/meminfo: memFree=27820040/32873648 swapFree=7372/7372
[pid=22969] ppid=22967 vsize=345796 CPUtime=1541.99 cores=1,3,5,7
/proc/22969/stat : 22969 (wbo1.71) S 22967 22969 22137 0 -1 4202496 81222 0 0 0 154145 54 0 0 20 0 2 0 286260616 354095104 80631 33554432000 4194304 5964318 140735339210992 140735339210512 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22969/statm: 86449 80631 198 433 0 86013 0
[pid=22969/tid=22970] ppid=22967 vsize=345796 CPUtime=1542.28 cores=1,3,5,7
/proc/22969/task/22970/stat : 22970 (wbo1.71) R 22967 22969 22137 0 -1 4202560 80498 0 0 0 154150 78 0 0 20 0 2 0 286260616 354095104 80631 33554432000 4194304 5964318 140735339210992 139980735698984 4399900 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 345796
[startup+1602.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/179 23204
/proc/meminfo: memFree=27791252/32873648 swapFree=7372/7372
[pid=22969] ppid=22967 vsize=345796 CPUtime=1601.97 cores=1,3,5,7
/proc/22969/stat : 22969 (wbo1.71) S 22967 22969 22137 0 -1 4202496 82720 0 0 0 160141 56 0 0 20 0 2 0 286260616 354095104 82129 33554432000 4194304 5964318 140735339210992 140735339210512 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22969/statm: 86449 82129 198 433 0 86013 0
[pid=22969/tid=22970] ppid=22967 vsize=345796 CPUtime=1602.28 cores=1,3,5,7
/proc/22969/task/22970/stat : 22970 (wbo1.71) R 22967 22969 22137 0 -1 4202560 81996 0 0 0 160147 81 0 0 20 0 2 0 286260616 354095104 82129 33554432000 4194304 5964318 140735339210992 139980735698984 4399842 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 345796
[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 23243
/proc/meminfo: memFree=28406660/32873648 swapFree=7372/7372
[pid=22969] ppid=22967 vsize=411332 CPUtime=1661.96 cores=1,3,5,7
/proc/22969/stat : 22969 (wbo1.71) S 22967 22969 22137 0 -1 4202496 86130 0 0 0 166137 59 0 0 20 0 2 0 286260616 421203968 85537 33554432000 4194304 5964318 140735339210992 140735339210512 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22969/statm: 102833 85537 198 433 0 102397 0
[pid=22969/tid=22970] ppid=22967 vsize=411332 CPUtime=1662.28 cores=1,3,5,7
/proc/22969/task/22970/stat : 22970 (wbo1.71) R 22967 22969 22137 0 -1 4202560 85406 0 0 0 166143 85 0 0 20 0 2 0 286260616 421203968 85537 33554432000 4194304 5964318 140735339210992 139980735698744 4400446 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 411332
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23243
/proc/meminfo: memFree=28240616/32873648 swapFree=7372/7372
[pid=22969] ppid=22967 vsize=411332 CPUtime=1721.94 cores=1,3,5,7
/proc/22969/stat : 22969 (wbo1.71) S 22967 22969 22137 0 -1 4202496 91060 0 0 0 172130 64 0 0 20 0 2 0 286260616 421203968 90591 33554432000 4194304 5964318 140735339210992 140735339210512 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22969/statm: 102833 90591 198 433 0 102397 0
[pid=22969/tid=22970] ppid=22967 vsize=411332 CPUtime=1722.28 cores=1,3,5,7
/proc/22969/task/22970/stat : 22970 (wbo1.71) R 22967 22969 22137 0 -1 4202560 90336 0 0 0 172137 91 0 0 20 0 2 0 286260616 421203968 90591 33554432000 4194304 5964318 140735339210992 139980735698936 4399982 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 411332
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23243
/proc/meminfo: memFree=28213524/32873648 swapFree=7372/7372
[pid=22969] ppid=22967 vsize=411332 CPUtime=1781.92 cores=1,3,5,7
/proc/22969/stat : 22969 (wbo1.71) S 22967 22969 22137 0 -1 4202496 91290 0 0 0 178127 65 0 0 20 0 2 0 286260616 421203968 91172 33554432000 4194304 5964318 140735339210992 140735339210512 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22969/statm: 102833 91172 198 433 0 102397 0
[pid=22969/tid=22970] ppid=22967 vsize=411332 CPUtime=1782.26 cores=1,3,5,7
/proc/22969/task/22970/stat : 22970 (wbo1.71) R 22967 22969 22137 0 -1 4202560 90566 0 0 0 178134 92 0 0 20 0 2 0 286260616 421203968 91172 33554432000 4194304 5964318 140735339210992 139980735698744 4399982 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.92
Current children cumulated vsize (KiB) 411332
Solver just ended. Dumping a history of the last processes samples
[startup+1792.01 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23243
/proc/meminfo: memFree=28213672/32873648 swapFree=7372/7372
[pid=22969] ppid=22967 vsize=411332 CPUtime=1791.62 cores=1,3,5,7
/proc/22969/stat : 22969 (wbo1.71) S 22967 22969 22137 0 -1 4202496 91300 0 0 0 179097 65 0 0 20 0 2 0 286260616 421203968 91182 33554432000 4194304 5964318 140735339210992 140735339210512 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22969/statm: 102833 91182 198 433 0 102397 0
[pid=22969/tid=22970] ppid=22967 vsize=411332 CPUtime=1791.96 cores=1,3,5,7
/proc/22969/task/22970/stat : 22970 (wbo1.71) R 22967 22969 22137 0 -1 4202560 90576 0 0 0 179104 92 0 0 20 0 2 0 286260616 421203968 91182 33554432000 4194304 5964318 140735339210992 139980735698744 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.62
Current children cumulated vsize (KiB) 411332
[startup+1795.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23243
/proc/meminfo: memFree=28213920/32873648 swapFree=7372/7372
[pid=22969] ppid=22967 vsize=411332 CPUtime=1794.82 cores=1,3,5,7
/proc/22969/stat : 22969 (wbo1.71) S 22967 22969 22137 0 -1 4202496 91304 0 0 0 179417 65 0 0 20 0 2 0 286260616 421203968 91186 33554432000 4194304 5964318 140735339210992 140735339210512 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22969/statm: 102833 91186 198 433 0 102397 0
[pid=22969/tid=22970] ppid=22967 vsize=411332 CPUtime=1795.16 cores=1,3,5,7
/proc/22969/task/22970/stat : 22970 (wbo1.71) R 22967 22969 22137 0 -1 4202560 90580 0 0 0 179424 92 0 0 20 0 2 0 286260616 421203968 91186 33554432000 4194304 5964318 140735339210992 139980735698744 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1794.82
Current children cumulated vsize (KiB) 411332
[startup+1798.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23243
/proc/meminfo: memFree=28213672/32873648 swapFree=7372/7372
[pid=22969] ppid=22967 vsize=411332 CPUtime=1798.01 cores=1,3,5,7
/proc/22969/stat : 22969 (wbo1.71) S 22967 22969 22137 0 -1 4202496 91362 0 0 0 179736 65 0 0 20 0 2 0 286260616 421203968 91244 33554432000 4194304 5964318 140735339210992 140735339210512 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22969/statm: 102833 91244 198 433 0 102397 0
[pid=22969/tid=22970] ppid=22967 vsize=411332 CPUtime=1798.36 cores=1,3,5,7
/proc/22969/task/22970/stat : 22970 (wbo1.71) R 22967 22969 22137 0 -1 4202560 90638 0 0 0 179744 92 0 0 20 0 2 0 286260616 421203968 91244 33554432000 4194304 5964318 140735339210992 139980735698744 4399971 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.01
Current children cumulated vsize (KiB) 411332
[startup+1799.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23243
/proc/meminfo: memFree=28213796/32873648 swapFree=7372/7372
[pid=22969] ppid=22967 vsize=411332 CPUtime=1798.81 cores=1,3,5,7
/proc/22969/stat : 22969 (wbo1.71) S 22967 22969 22137 0 -1 4202496 91362 0 0 0 179816 65 0 0 20 0 2 0 286260616 421203968 91244 33554432000 4194304 5964318 140735339210992 140735339210512 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22969/statm: 102833 91244 198 433 0 102397 0
[pid=22969/tid=22970] ppid=22967 vsize=411332 CPUtime=1799.16 cores=1,3,5,7
/proc/22969/task/22970/stat : 22970 (wbo1.71) R 22967 22969 22137 0 -1 4202560 90638 0 0 0 179824 92 0 0 20 0 2 0 286260616 421203968 91244 33554432000 4194304 5964318 140735339210992 139980735698744 4399960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.81
Current children cumulated vsize (KiB) 411332
[startup+1799.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23243
/proc/meminfo: memFree=28213920/32873648 swapFree=7372/7372
[pid=22969] ppid=22967 vsize=411332 CPUtime=1799.22 cores=1,3,5,7
/proc/22969/stat : 22969 (wbo1.71) S 22967 22969 22137 0 -1 4202496 91362 0 0 0 179857 65 0 0 20 0 2 0 286260616 421203968 91244 33554432000 4194304 5964318 140735339210992 140735339210512 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22969/statm: 102833 91244 198 433 0 102397 0
[pid=22969/tid=22970] ppid=22967 vsize=411332 CPUtime=1799.56 cores=1,3,5,7
/proc/22969/task/22970/stat : 22970 (wbo1.71) R 22967 22969 22137 0 -1 4202560 90638 0 0 0 179864 92 0 0 20 0 2 0 286260616 421203968 91244 33554432000 4194304 5964318 140735339210992 139980735698744 4400446 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.22
Current children cumulated vsize (KiB) 411332
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23243
/proc/meminfo: memFree=28213920/32873648 swapFree=7372/7372
[pid=22969] ppid=22967 vsize=411332 CPUtime=1799.61 cores=1,3,5,7
/proc/22969/stat : 22969 (wbo1.71) S 22967 22969 22137 0 -1 4202496 91362 0 0 0 179896 65 0 0 20 0 2 0 286260616 421203968 91244 33554432000 4194304 5964318 140735339210992 140735339210512 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22969/statm: 102833 91244 198 433 0 102397 0
[pid=22969/tid=22970] ppid=22967 vsize=411332 CPUtime=1799.96 cores=1,3,5,7
/proc/22969/task/22970/stat : 22970 (wbo1.71) R 22967 22969 22137 0 -1 4202560 90638 0 0 0 179904 92 0 0 20 0 2 0 286260616 421203968 91244 33554432000 4194304 5964318 140735339210992 139980735698744 4399991 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.61
Current children cumulated vsize (KiB) 411332
Child status: 255
Real time (s): 1800
CPU time (s): 1799.98
CPU user time (s): 1799.05
CPU system time (s): 0.934857
CPU usage (%): 99.9987
Max. virtual memory (cumulated for all children) (KiB): 411332
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.05
system time used= 0.934857
maximum resident set size= 364984
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 91364
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 130
involuntary context switches= 1898
runsolver used 2.6336 second user time and 7.27789 second system time
The end