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-3705172-1338094756/watcher-3705172-1338094756 -o /tmp/evaluation-result-3705172-1338094756/solver-3705172-1338094756 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705172-1338094756.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3240
/proc/meminfo: memFree=29736364/32873844 swapFree=7628/7628
[pid=3240] ppid=3238 vsize=83824 CPUtime=0 cores=0,2,4,6
/proc/3240/stat : 3240 (wbo1.7) S 3238 3240 2698 0 -1 4202496 881 0 0 0 0 0 0 0 20 0 2 0 275599926 85835776 828 33554432000 4194304 5963574 140735420077584 140735420077104 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3240/statm: 20956 828 195 432 0 20521 0
[pid=3240/tid=3241] ppid=3238 vsize=83824 CPUtime=0 cores=0,2,4,6
/proc/3240/task/3241/stat : 3241 (wbo1.7) R 3238 3240 2698 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 275599927 85835776 828 33554432000 4194304 5963574 140735420077584 140733326908584 5236023 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[startup+0.0301311 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3240
/proc/meminfo: memFree=29736364/32873844 swapFree=7628/7628
[pid=3240] ppid=3238 vsize=83824 CPUtime=0.02 cores=0,2,4,6
/proc/3240/stat : 3240 (wbo1.7) S 3238 3240 2698 0 -1 4202496 1020 0 0 0 2 0 0 0 20 0 2 0 275599926 85835776 967 33554432000 4194304 5963574 140735420077584 140735420077104 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3240/statm: 20956 967 195 432 0 20521 0
[pid=3240/tid=3241] ppid=3238 vsize=83824 CPUtime=0.01 cores=0,2,4,6
/proc/3240/task/3241/stat : 3241 (wbo1.7) R 3238 3240 2698 0 -1 4202560 268 0 0 0 1 0 0 0 20 0 2 0 275599927 85835776 967 33554432000 4194304 5963574 140735420077584 140733326908584 5236023 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 83824
[startup+0.100299 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3240
/proc/meminfo: memFree=29736364/32873844 swapFree=7628/7628
[pid=3240] ppid=3238 vsize=83824 CPUtime=0.09 cores=0,2,4,6
/proc/3240/stat : 3240 (wbo1.7) S 3238 3240 2698 0 -1 4202496 1332 0 0 0 9 0 0 0 20 0 2 0 275599926 85835776 1262 33554432000 4194304 5963574 140735420077584 140735420077104 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3240/statm: 20956 1262 198 432 0 20521 0
[pid=3240/tid=3241] ppid=3238 vsize=83824 CPUtime=0.08 cores=0,2,4,6
/proc/3240/task/3241/stat : 3241 (wbo1.7) R 3238 3240 2698 0 -1 4202560 580 0 0 0 8 0 0 0 20 0 2 0 275599927 85835776 1262 33554432000 4194304 5963574 140735420077584 140733326908584 4372653 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 83824
[startup+0.300264 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3240
/proc/meminfo: memFree=29736364/32873844 swapFree=7628/7628
[pid=3240] ppid=3238 vsize=83824 CPUtime=0.29 cores=0,2,4,6
/proc/3240/stat : 3240 (wbo1.7) S 3238 3240 2698 0 -1 4202496 1642 0 0 0 29 0 0 0 20 0 2 0 275599926 85835776 1568 33554432000 4194304 5963574 140735420077584 140735420077104 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3240/statm: 20956 1568 198 432 0 20521 0
[pid=3240/tid=3241] ppid=3238 vsize=83824 CPUtime=0.28 cores=0,2,4,6
/proc/3240/task/3241/stat : 3241 (wbo1.7) R 3238 3240 2698 0 -1 4202560 890 0 0 0 28 0 0 0 20 0 2 0 275599927 85835776 1568 33554432000 4194304 5963574 140735420077584 140400721623576 4388696 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 83824
[startup+0.700266 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3240
/proc/meminfo: memFree=29736364/32873844 swapFree=7628/7628
[pid=3240] ppid=3238 vsize=83824 CPUtime=0.69 cores=0,2,4,6
/proc/3240/stat : 3240 (wbo1.7) S 3238 3240 2698 0 -1 4202496 1991 0 0 0 69 0 0 0 20 0 2 0 275599926 85835776 1885 33554432000 4194304 5963574 140735420077584 140735420077104 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3240/statm: 20956 1885 198 432 0 20521 0
[pid=3240/tid=3241] ppid=3238 vsize=83824 CPUtime=0.68 cores=0,2,4,6
/proc/3240/task/3241/stat : 3241 (wbo1.7) R 3238 3240 2698 0 -1 4202560 1239 0 0 0 68 0 0 0 20 0 2 0 275599927 85835776 1885 33554432000 4194304 5963574 140735420077584 140400721623576 4403213 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 83824
[startup+1.50027 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3281
/proc/meminfo: memFree=30073060/32873844 swapFree=7628/7628
[pid=3240] ppid=3238 vsize=83968 CPUtime=1.48 cores=0,2,4,6
/proc/3240/stat : 3240 (wbo1.7) S 3238 3240 2698 0 -1 4202496 2753 0 0 0 148 0 0 0 20 0 2 0 275599926 85983232 2647 33554432000 4194304 5963574 140735420077584 140735420077104 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3240/statm: 20992 2647 198 432 0 20557 0
[pid=3240/tid=3241] ppid=3238 vsize=83968 CPUtime=1.48 cores=0,2,4,6
/proc/3240/task/3241/stat : 3241 (wbo1.7) R 3238 3240 2698 0 -1 4202560 2001 0 0 0 148 0 0 0 20 0 2 0 275599927 85983232 2647 33554432000 4194304 5963574 140735420077584 140400721622840 5135642 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 83968
[startup+3.10027 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3281
/proc/meminfo: memFree=30067712/32873844 swapFree=7628/7628
[pid=3240] ppid=3238 vsize=83824 CPUtime=3.08 cores=0,2,4,6
/proc/3240/stat : 3240 (wbo1.7) S 3238 3240 2698 0 -1 4202496 3122 0 0 0 308 0 0 0 20 0 2 0 275599926 85835776 2989 33554432000 4194304 5963574 140735420077584 140735420077104 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3240/statm: 20956 2989 198 432 0 20521 0
[pid=3240/tid=3241] ppid=3238 vsize=83824 CPUtime=3.07 cores=0,2,4,6
/proc/3240/task/3241/stat : 3241 (wbo1.7) R 3238 3240 2698 0 -1 4202560 2370 0 0 0 307 0 0 0 20 0 2 0 275599927 85835776 2989 33554432000 4194304 5963574 140735420077584 140400721623080 5135572 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 83824
[startup+6.30028 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3281
/proc/meminfo: memFree=30050220/32873844 swapFree=7628/7628
[pid=3240] ppid=3238 vsize=84040 CPUtime=6.28 cores=0,2,4,6
/proc/3240/stat : 3240 (wbo1.7) S 3238 3240 2698 0 -1 4202496 5088 0 0 0 627 1 0 0 20 0 2 0 275599926 86056960 4955 33554432000 4194304 5963574 140735420077584 140735420077104 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3240/statm: 21010 4955 198 432 0 20575 0
[pid=3240/tid=3241] ppid=3238 vsize=84040 CPUtime=6.26 cores=0,2,4,6
/proc/3240/task/3241/stat : 3241 (wbo1.7) R 3238 3240 2698 0 -1 4202560 4336 0 0 0 625 1 0 0 20 0 2 0 275599927 86056960 4955 33554432000 4194304 5963574 140735420077584 140400721622840 4408791 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 84040
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3281
/proc/meminfo: memFree=30037636/32873844 swapFree=7628/7628
[pid=3240] ppid=3238 vsize=84308 CPUtime=12.68 cores=0,2,4,6
/proc/3240/stat : 3240 (wbo1.7) S 3238 3240 2698 0 -1 4202496 7861 0 0 0 1266 2 0 0 20 0 2 0 275599926 86331392 7728 33554432000 4194304 5963574 140735420077584 140735420077104 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3240/statm: 21077 7728 198 432 0 20642 0
[pid=3240/tid=3241] ppid=3238 vsize=84308 CPUtime=12.64 cores=0,2,4,6
/proc/3240/task/3241/stat : 3241 (wbo1.7) R 3238 3240 2698 0 -1 4202560 7109 0 0 0 1262 2 0 0 20 0 2 0 275599927 86331392 7728 33554432000 4194304 5963574 140735420077584 140400721623032 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 84308
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3281
/proc/meminfo: memFree=30007512/32873844 swapFree=7628/7628
[pid=3240] ppid=3238 vsize=83824 CPUtime=25.48 cores=0,2,4,6
/proc/3240/stat : 3240 (wbo1.7) S 3238 3240 2698 0 -1 4202496 10582 0 0 0 2545 3 0 0 20 0 2 0 275599926 85835776 11043 33554432000 4194304 5963574 140735420077584 140735420077104 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3240/statm: 20956 11043 198 432 0 20521 0
[pid=3240/tid=3241] ppid=3238 vsize=83824 CPUtime=25.41 cores=0,2,4,6
/proc/3240/task/3241/stat : 3241 (wbo1.7) R 3238 3240 2698 0 -1 4202560 9830 0 0 0 2538 3 0 0 20 0 2 0 275599927 85835776 11043 33554432000 4194304 5963574 140735420077584 140400721623576 4399633 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 83824
[startup+51.1003 s]
/proc/loadavg: 2.07 2.02 2.00 3/180 3284
/proc/meminfo: memFree=29974556/32873844 swapFree=7628/7628
[pid=3240] ppid=3238 vsize=83824 CPUtime=51.08 cores=0,2,4,6
/proc/3240/stat : 3240 (wbo1.7) S 3238 3240 2698 0 -1 4202496 16873 0 0 0 5103 5 0 0 20 0 2 0 275599926 85835776 17334 33554432000 4194304 5963574 140735420077584 140735420077104 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3240/statm: 20956 17334 198 432 0 20521 0
[pid=3240/tid=3241] ppid=3238 vsize=83824 CPUtime=50.94 cores=0,2,4,6
/proc/3240/task/3241/stat : 3241 (wbo1.7) R 3238 3240 2698 0 -1 4202560 16121 0 0 0 5089 5 0 0 20 0 2 0 275599927 85835776 17334 33554432000 4194304 5963574 140735420077584 140400721623032 5135572 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 83824
[startup+102.306 s]
/proc/loadavg: 2.03 2.01 2.00 3/180 3284
/proc/meminfo: memFree=29845616/32873844 swapFree=7628/7628
[pid=3240] ppid=3238 vsize=150084 CPUtime=102.24 cores=0,2,4,6
/proc/3240/stat : 3240 (wbo1.7) S 3238 3240 2698 0 -1 4202496 32804 0 0 0 10214 10 0 0 20 0 2 0 275599926 153686016 33313 33554432000 4194304 5963574 140735420077584 140735420077104 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3240/statm: 37521 33313 198 432 0 37086 0
[pid=3240/tid=3241] ppid=3238 vsize=150084 CPUtime=101.99 cores=0,2,4,6
/proc/3240/task/3241/stat : 3241 (wbo1.7) R 3238 3240 2698 0 -1 4202560 32052 0 0 0 10188 11 0 0 20 0 2 0 275599927 153686016 33313 33554432000 4194304 5963574 140735420077584 140400721622840 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 150084
[startup+162.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/180 3308
/proc/meminfo: memFree=29772832/32873844 swapFree=7628/7628
[pid=3240] ppid=3238 vsize=215980 CPUtime=162.22 cores=0,2,4,6
/proc/3240/stat : 3240 (wbo1.7) S 3238 3240 2698 0 -1 4202496 39813 0 0 0 16208 14 0 0 20 0 2 0 275599926 221163520 40322 33554432000 4194304 5963574 140735420077584 140735420077104 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3240/statm: 53995 40322 198 432 0 53560 0
[pid=3240/tid=3241] ppid=3238 vsize=215980 CPUtime=161.83 cores=0,2,4,6
/proc/3240/task/3241/stat : 3241 (wbo1.7) R 3238 3240 2698 0 -1 4202560 39061 0 0 0 16167 16 0 0 20 0 2 0 275599927 221163520 40322 33554432000 4194304 5963574 140735420077584 140400721623032 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 215980
[startup+222.3 s]
/proc/loadavg: 2.07 2.03 2.01 3/179 3308
/proc/meminfo: memFree=29715180/32873844 swapFree=7628/7628
[pid=3240] ppid=3238 vsize=214896 CPUtime=222.2 cores=0,2,4,6
/proc/3240/stat : 3240 (wbo1.7) S 3238 3240 2698 0 -1 4202496 42330 0 0 0 22205 15 0 0 20 0 2 0 275599926 220053504 42800 33554432000 4194304 5963574 140735420077584 140735420077104 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3240/statm: 53724 42800 198 432 0 53289 0
[pid=3240/tid=3241] ppid=3238 vsize=214896 CPUtime=221.66 cores=0,2,4,6
/proc/3240/task/3241/stat : 3241 (wbo1.7) R 3238 3240 2698 0 -1 4202560 41578 0 0 0 22148 18 0 0 20 0 2 0 275599927 220053504 42800 33554432000 4194304 5963574 140735420077584 140400721623992 4399614 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 214896
[startup+282.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/179 3308
/proc/meminfo: memFree=29679672/32873844 swapFree=7628/7628
[pid=3240] ppid=3238 vsize=214896 CPUtime=282.17 cores=0,2,4,6
/proc/3240/stat : 3240 (wbo1.7) S 3238 3240 2698 0 -1 4202496 42449 0 0 0 28202 15 0 0 20 0 2 0 275599926 220053504 43138 33554432000 4194304 5963574 140735420077584 140735420077104 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3240/statm: 53724 43138 198 432 0 53289 0
[pid=3240/tid=3241] ppid=3238 vsize=214896 CPUtime=281.48 cores=0,2,4,6
/proc/3240/task/3241/stat : 3241 (wbo1.7) R 3238 3240 2698 0 -1 4202560 41697 0 0 0 28129 19 0 0 20 0 2 0 275599927 220053504 43138 33554432000 4194304 5963574 140735420077584 140400721623992 4399639 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 214896
[startup+342.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/179 3308
/proc/meminfo: memFree=29650876/32873844 swapFree=7628/7628
[pid=3240] ppid=3238 vsize=280432 CPUtime=342.16 cores=0,2,4,6
/proc/3240/stat : 3240 (wbo1.7) S 3238 3240 2698 0 -1 4202496 49722 0 0 0 34198 18 0 0 20 0 2 0 275599926 287162368 50407 33554432000 4194304 5963574 140735420077584 140735420077104 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3240/statm: 70108 50407 198 432 0 69673 0
[pid=3240/tid=3241] ppid=3238 vsize=280432 CPUtime=341.33 cores=0,2,4,6
/proc/3240/task/3241/stat : 3241 (wbo1.7) R 3238 3240 2698 0 -1 4202560 48970 0 0 0 34110 23 0 0 20 0 2 0 275599927 287162368 50407 33554432000 4194304 5963574 140735420077584 140400721622840 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 280432
[startup+402.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/179 3308
/proc/meminfo: memFree=29619992/32873844 swapFree=7628/7628
[pid=3240] ppid=3238 vsize=280432 CPUtime=402.15 cores=0,2,4,6
/proc/3240/stat : 3240 (wbo1.7) S 3238 3240 2698 0 -1 4202496 57050 0 0 0 40194 21 0 0 20 0 2 0 275599926 287162368 57730 33554432000 4194304 5963574 140735420077584 140735420077104 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3318
/proc/meminfo: memFree=28999356/32873844 swapFree=7628/7628
[pid=3240] ppid=3238 vsize=673648 CPUtime=1421.86 cores=0,2,4,6
/proc/3240/stat : 3240 (wbo1.7) S 3238 3240 2698 0 -1 4202496 156204 0 0 0 142114 72 0 0 20 0 2 0 275599926 689815552 158212 33554432000 4194304 5963574 140735420077584 140735420077104 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3240/statm: 168412 158212 198 432 0 167977 0
[pid=3240/tid=3241] ppid=3238 vsize=673648 CPUtime=1418.43 cores=0,2,4,6
/proc/3240/task/3241/stat : 3241 (wbo1.7) R 3238 3240 2698 0 -1 4202560 155452 0 0 0 141751 92 0 0 20 0 2 0 275599927 689815552 158212 33554432000 4194304 5963574 140735420077584 140400721623032 4399542 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 673648
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3318
/proc/meminfo: memFree=28956436/32873844 swapFree=7628/7628
[pid=3240] ppid=3238 vsize=673648 CPUtime=1481.84 cores=0,2,4,6
/proc/3240/stat : 3240 (wbo1.7) S 3238 3240 2698 0 -1 4202496 160231 0 0 0 148110 74 0 0 20 0 2 0 275599926 689815552 162237 33554432000 4194304 5963574 140735420077584 140735420077104 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3240/statm: 168412 162237 198 432 0 167977 0
[pid=3240/tid=3241] ppid=3238 vsize=673648 CPUtime=1478.27 cores=0,2,4,6
/proc/3240/task/3241/stat : 3241 (wbo1.7) R 3238 3240 2698 0 -1 4202560 159479 0 0 0 147731 96 0 0 20 0 2 0 275599927 689815552 162237 33554432000 4194304 5963574 140735420077584 140400721623032 4399592 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 673648
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3318
/proc/meminfo: memFree=28901516/32873844 swapFree=7628/7628
[pid=3240] ppid=3238 vsize=739184 CPUtime=1541.83 cores=0,2,4,6
/proc/3240/stat : 3240 (wbo1.7) S 3238 3240 2698 0 -1 4202496 164526 0 0 0 154108 75 0 0 20 0 2 0 275599926 756924416 166519 33554432000 4194304 5963574 140735420077584 140735420077104 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3240/statm: 184796 166519 198 432 0 184361 0
[pid=3240/tid=3241] ppid=3238 vsize=739184 CPUtime=1538.12 cores=0,2,4,6
/proc/3240/task/3241/stat : 3241 (wbo1.7) R 3238 3240 2698 0 -1 4202560 163774 0 0 0 153714 98 0 0 20 0 2 0 275599927 756924416 166519 33554432000 4194304 5963574 140735420077584 140400721622840 4392243 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 739184
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3318
/proc/meminfo: memFree=28867408/32873844 swapFree=7628/7628
[pid=3240] ppid=3238 vsize=739184 CPUtime=1601.83 cores=0,2,4,6
/proc/3240/stat : 3240 (wbo1.7) S 3238 3240 2698 0 -1 4202496 166570 0 0 0 160107 76 0 0 20 0 2 0 275599926 756924416 168557 33554432000 4194304 5963574 140735420077584 140735420077104 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3240/statm: 184796 168557 198 432 0 184361 0
[pid=3240/tid=3241] ppid=3238 vsize=739184 CPUtime=1597.96 cores=0,2,4,6
/proc/3240/task/3241/stat : 3241 (wbo1.7) R 3238 3240 2698 0 -1 4202560 165818 0 0 0 159696 100 0 0 20 0 2 0 275599927 756924416 168557 33554432000 4194304 5963574 140735420077584 140400721622840 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 739184
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3319
/proc/meminfo: memFree=28814768/32873844 swapFree=7628/7628
[pid=3240] ppid=3238 vsize=741616 CPUtime=1661.81 cores=0,2,4,6
/proc/3240/stat : 3240 (wbo1.7) S 3238 3240 2698 0 -1 4202496 168349 0 0 0 166105 76 0 0 20 0 2 0 275599926 759414784 170844 33554432000 4194304 5963574 140735420077584 140735420077104 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3240/statm: 185404 170844 198 432 0 184969 0
[pid=3240/tid=3241] ppid=3238 vsize=741616 CPUtime=1657.81 cores=0,2,4,6
/proc/3240/task/3241/stat : 3241 (wbo1.7) R 3238 3240 2698 0 -1 4202560 167597 0 0 0 165680 101 0 0 20 0 2 0 275599927 759414784 170844 33554432000 4194304 5963574 140735420077584 140400721622840 4399482 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 741616
[startup+1722.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 3319
/proc/meminfo: memFree=28798028/32873844 swapFree=7628/7628
[pid=3240] ppid=3238 vsize=741616 CPUtime=1721.8 cores=0,2,4,6
/proc/3240/stat : 3240 (wbo1.7) S 3238 3240 2698 0 -1 4202496 170396 0 0 0 172103 77 0 0 20 0 2 0 275599926 759414784 172890 33554432000 4194304 5963574 140735420077584 140735420077104 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3240/statm: 185404 172890 198 432 0 184969 0
[pid=3240/tid=3241] ppid=3238 vsize=741616 CPUtime=1717.66 cores=0,2,4,6
/proc/3240/task/3241/stat : 3241 (wbo1.7) R 3238 3240 2698 0 -1 4202560 169644 0 0 0 171663 103 0 0 20 0 2 0 275599927 759414784 172890 33554432000 4194304 5963574 140735420077584 140400721622840 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 741616
[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 3319
/proc/meminfo: memFree=28758696/32873844 swapFree=7628/7628
[pid=3240] ppid=3238 vsize=741616 CPUtime=1781.76 cores=0,2,4,6
/proc/3240/stat : 3240 (wbo1.7) S 3238 3240 2698 0 -1 4202496 171679 0 0 0 178099 77 0 0 20 0 2 0 275599926 759414784 175271 33554432000 4194304 5963574 140735420077584 140735420077104 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3240/statm: 185404 175271 198 432 0 184969 0
[pid=3240/tid=3241] ppid=3238 vsize=741616 CPUtime=1777.47 cores=0,2,4,6
/proc/3240/task/3241/stat : 3241 (wbo1.7) R 3238 3240 2698 0 -1 4202560 170927 0 0 0 177643 104 0 0 20 0 2 0 275599927 759414784 175271 33554432000 4194304 5963574 140735420077584 140400721622904 4399627 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 741616
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 3319
/proc/meminfo: memFree=28756640/32873844 swapFree=7628/7628
[pid=3240] ppid=3238 vsize=741616 CPUtime=1791.37 cores=0,2,4,6
/proc/3240/stat : 3240 (wbo1.7) S 3238 3240 2698 0 -1 4202496 171782 0 0 0 179059 78 0 0 20 0 2 0 275599926 759414784 175617 33554432000 4194304 5963574 140735420077584 140735420077104 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3240/statm: 185404 175617 198 432 0 184969 0
[pid=3240/tid=3241] ppid=3238 vsize=741616 CPUtime=1787.05 cores=0,2,4,6
/proc/3240/task/3241/stat : 3241 (wbo1.7) R 3238 3240 2698 0 -1 4202560 171030 0 0 0 178601 104 0 0 20 0 2 0 275599927 759414784 175617 33554432000 4194304 5963574 140735420077584 140400721622840 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1791.37
Current children cumulated vsize (KiB) 741616
[startup+1795.1 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 3319
/proc/meminfo: memFree=28755632/32873844 swapFree=7628/7628
[pid=3240] ppid=3238 vsize=741616 CPUtime=1794.56 cores=0,2,4,6
/proc/3240/stat : 3240 (wbo1.7) S 3238 3240 2698 0 -1 4202496 171806 0 0 0 179378 78 0 0 20 0 2 0 275599926 759414784 175660 33554432000 4194304 5963574 140735420077584 140735420077104 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3240/statm: 185404 175660 198 432 0 184969 0
[pid=3240/tid=3241] ppid=3238 vsize=741616 CPUtime=1790.23 cores=0,2,4,6
/proc/3240/task/3241/stat : 3241 (wbo1.7) R 3238 3240 2698 0 -1 4202560 171054 0 0 0 178919 104 0 0 20 0 2 0 275599927 759414784 175660 33554432000 4194304 5963574 140735420077584 140400721622904 4399560 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1794.56
Current children cumulated vsize (KiB) 741616
[startup+1798.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 3319
/proc/meminfo: memFree=28755136/32873844 swapFree=7628/7628
[pid=3240] ppid=3238 vsize=741616 CPUtime=1797.76 cores=0,2,4,6
/proc/3240/stat : 3240 (wbo1.7) S 3238 3240 2698 0 -1 4202496 171876 0 0 0 179698 78 0 0 20 0 2 0 275599926 759414784 175730 33554432000 4194304 5963574 140735420077584 140735420077104 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3240/statm: 185404 175730 198 432 0 184969 0
[pid=3240/tid=3241] ppid=3238 vsize=741616 CPUtime=1793.42 cores=0,2,4,6
/proc/3240/task/3241/stat : 3241 (wbo1.7) R 3238 3240 2698 0 -1 4202560 171124 0 0 0 179238 104 0 0 20 0 2 0 275599927 759414784 175730 33554432000 4194304 5963574 140735420077584 140400721622904 4399468 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1797.76
Current children cumulated vsize (KiB) 741616
[startup+1799.1 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 3319
/proc/meminfo: memFree=28755136/32873844 swapFree=7628/7628
[pid=3240] ppid=3238 vsize=741616 CPUtime=1798.56 cores=0,2,4,6
/proc/3240/stat : 3240 (wbo1.7) S 3238 3240 2698 0 -1 4202496 172059 0 0 0 179778 78 0 0 20 0 2 0 275599926 759414784 175913 33554432000 4194304 5963574 140735420077584 140735420077104 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3240/statm: 185404 175913 198 432 0 184969 0
[pid=3240/tid=3241] ppid=3238 vsize=741616 CPUtime=1794.22 cores=0,2,4,6
/proc/3240/task/3241/stat : 3241 (wbo1.7) R 3238 3240 2698 0 -1 4202560 171307 0 0 0 179318 104 0 0 20 0 2 0 275599927 759414784 175913 33554432000 4194304 5963574 140735420077584 140400721622840 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1798.56
Current children cumulated vsize (KiB) 741616
[startup+1799.5 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 3319
/proc/meminfo: memFree=28754392/32873844 swapFree=7628/7628
[pid=3240] ppid=3238 vsize=741616 CPUtime=1798.96 cores=0,2,4,6
/proc/3240/stat : 3240 (wbo1.7) S 3238 3240 2698 0 -1 4202496 172062 0 0 0 179818 78 0 0 20 0 2 0 275599926 759414784 175916 33554432000 4194304 5963574 140735420077584 140735420077104 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3240/statm: 185404 175916 198 432 0 184969 0
[pid=3240/tid=3241] ppid=3238 vsize=741616 CPUtime=1794.62 cores=0,2,4,6
/proc/3240/task/3241/stat : 3241 (wbo1.7) R 3238 3240 2698 0 -1 4202560 171310 0 0 0 179358 104 0 0 20 0 2 0 275599927 759414784 175916 33554432000 4194304 5963574 140735420077584 140400721622840 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1798.96
Current children cumulated vsize (KiB) 741616
[startup+1799.9 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 3319
/proc/meminfo: memFree=28754392/32873844 swapFree=7628/7628
[pid=3240] ppid=3238 vsize=741616 CPUtime=1799.36 cores=0,2,4,6
/proc/3240/stat : 3240 (wbo1.7) S 3238 3240 2698 0 -1 4202496 172063 0 0 0 179858 78 0 0 20 0 2 0 275599926 759414784 175917 33554432000 4194304 5963574 140735420077584 140735420077104 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3240/statm: 185404 175917 198 432 0 184969 0
[pid=3240/tid=3241] ppid=3238 vsize=741616 CPUtime=1795.02 cores=0,2,4,6
/proc/3240/task/3241/stat : 3241 (wbo1.7) R 3238 3240 2698 0 -1 4202560 171311 0 0 0 179398 104 0 0 20 0 2 0 275599927 759414784 175917 33554432000 4194304 5963574 140735420077584 140400721622840 4399537 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.36
Current children cumulated vsize (KiB) 741616
[startup+1800 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 3319
/proc/meminfo: memFree=28754392/32873844 swapFree=7628/7628
[pid=3240] ppid=3238 vsize=741616 CPUtime=1799.46 cores=0,2,4,6
/proc/3240/stat : 3240 (wbo1.7) S 3238 3240 2698 0 -1 4202496 172063 0 0 0 179868 78 0 0 20 0 2 0 275599926 759414784 175917 33554432000 4194304 5963574 140735420077584 140735420077104 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3240/statm: 185404 175917 198 432 0 184969 0
[pid=3240/tid=3241] ppid=3238 vsize=741616 CPUtime=1795.12 cores=0,2,4,6
/proc/3240/task/3241/stat : 3241 (wbo1.7) R 3238 3240 2698 0 -1 4202560 171311 0 0 0 179408 104 0 0 20 0 2 0 275599927 759414784 175917 33554432000 4194304 5963574 140735420077584 140400721622840 4399474 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.46
Current children cumulated vsize (KiB) 741616
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 3240 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=89256
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=63838
# CPU time returned by wait4() is 1795.15
# while last known CPU time is 1799.46
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.01
CPU time (s): 1799.46
CPU user time (s): 1798.68
CPU system time (s): 0.78
CPU usage (%): 99.9692
Max. virtual memory (cumulated for all children) (KiB): 741616
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.09
system time used= 1.06384
maximum resident set size= 703668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 172063
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= 266
involuntary context switches= 1849
runsolver used 2.72959 second user time and 7.12292 second system time
The end