runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
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-3484160-1307748044/watcher-3484160-1307748044 -o /tmp/evaluation-result-3484160-1307748044/solver-3484160-1307748044 -C 1200 -W 1300 -M 7680 python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3484160-1307748044.cnf -seed 1017891483 -budget 1200
running on 2 cores: 0,2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 4.08 3.90 2.71 5/236 13559
/proc/meminfo: memFree=31542840/32951124 swapFree=67062492/67111528
[pid=13559] ppid=13557 vsize=15184 CPUtime=0 cores=0,2
/proc/13559/stat : 13559 (python) S 13557 13559 12976 0 -1 4202496 713 0 0 0 0 0 0 0 25 0 1 0 867220288 15548416 603 33554432000 4194304 5683644 140735214495824 18446744073709551615 220816234496 0 2147483391 16781312 2 18446744071699207358 0 0 17 0 0 0 0
/proc/13559/statm: 3796 603 319 364 0 283 0
[startup+0.0638261 s]
/proc/loadavg: 4.08 3.90 2.71 5/236 13559
/proc/meminfo: memFree=31542840/32951124 swapFree=67062492/67111528
[pid=13559] ppid=13557 vsize=29796 CPUtime=0.03 cores=0,2
/proc/13559/stat : 13559 (python) R 13557 13559 12976 0 -1 4202496 1454 0 0 0 3 0 0 0 17 0 1 0 867220288 30511104 1294 33554432000 4194304 5683644 140735214495824 18446744073709551615 4547888 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/13559/statm: 7449 1294 443 364 0 819 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 29796
[startup+0.100819 s]
/proc/loadavg: 4.08 3.90 2.71 5/236 13559
/proc/meminfo: memFree=31542840/32951124 swapFree=67062492/67111528
[pid=13559] ppid=13557 vsize=85368 CPUtime=0.05 cores=0,2
/proc/13559/stat : 13559 (python) R 13557 13559 12976 0 -1 4202496 2595 0 0 0 4 1 0 0 17 0 1 0 867220288 87416832 2315 33554432000 4194304 5683644 140735214495824 18446744073709551615 220816234496 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/13559/statm: 21342 2315 713 364 0 1559 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 85368
[startup+0.300781 s]
/proc/loadavg: 4.08 3.90 2.71 5/236 13559
/proc/meminfo: memFree=31542840/32951124 swapFree=67062492/67111528
[pid=13559] ppid=13557 vsize=135752 CPUtime=0.17 cores=0,2
/proc/13559/stat : 13559 (python) S 13557 13559 12976 0 -1 4202496 5973 934 1 0 13 4 0 0 17 0 1 0 867220288 139010048 4149 33554432000 4194304 5683644 140735214495824 18446744073709551615 220816232453 0 2147483391 16781312 2 18446744071699207358 0 0 17 0 0 0 0
/proc/13559/statm: 33938 4149 1032 364 0 3124 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 135752
[startup+0.700724 s]
/proc/loadavg: 4.08 3.90 2.71 5/236 13559
/proc/meminfo: memFree=31542840/32951124 swapFree=67062492/67111528
[pid=13559] ppid=13557 vsize=280256 CPUtime=0.43 cores=0,2
/proc/13559/stat : 13559 (python) R 13557 13559 12976 0 -1 4202496 9712 934 1 0 32 11 0 0 16 0 1 0 867220288 286982144 7383 33554432000 4194304 5683644 140735214495824 18446744073709551615 47278517772806 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/13559/statm: 70064 7383 1761 364 0 5988 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 280256
[startup+1.50054 s]
/proc/loadavg: 4.08 3.90 2.71 5/237 13564
/proc/meminfo: memFree=31519292/32951124 swapFree=67062492/67111528
[pid=13559] ppid=13557 vsize=289584 CPUtime=0.84 cores=0,2
/proc/13559/stat : 13559 (python) S 13557 13559 12976 0 -1 4202496 10391 934 1 0 73 11 0 0 18 0 2 0 867220288 296534016 7290 33554432000 4194304 5683644 140735214495824 18446744073709551615 220828063179 0 0 16781312 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13559/statm: 72396 7290 1867 364 0 8314 0
Current children cumulated CPU time (s) 0.84
Current children cumulated vsize (KiB) 289584
[startup+3.10031 s]
/proc/loadavg: 4.08 3.90 2.71 5/240 13567
/proc/meminfo: memFree=31499056/32951124 swapFree=67062492/67111528
[pid=13559] ppid=13557 vsize=289584 CPUtime=0.84 cores=0,2
/proc/13559/stat : 13559 (python) S 13557 13559 12976 0 -1 4202496 10391 934 1 0 73 11 0 0 18 0 2 0 867220288 296534016 7290 33554432000 4194304 5683644 140735214495824 18446744073709551615 220828063179 0 0 16781312 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13559/statm: 72396 7290 1867 364 0 8314 0
[pid=13565] ppid=13559 vsize=279340 CPUtime=0 cores=0,2
/proc/13565/stat : 13565 (python) S 13559 13559 12976 0 -1 4202560 727 0 0 0 0 0 0 0 18 0 1 0 867220400 286044160 5773 33554432000 4194304 5683644 140735214495824 18446744073709551615 220816256527 0 0 16781312 514 4466432015477997828 0 0 17 0 0 0 0
/proc/13565/statm: 69835 5773 354 364 0 5753 0
[pid=13567] ppid=13565 vsize=268424 CPUtime=1.96 cores=0,2
/proc/13567/stat : 13567 (hybridGM3) R 13565 13567 13567 0 -1 4202496 4993 0 0 0 196 0 0 0 25 0 1 0 867220400 274866176 4729 33554432000 134512640 135204385 4290606208 18446744073709551615 134537143 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/13567/statm: 67106 4729 64 169 0 66936 0
[pid=13559/tid=13566] ppid=13557 vsize=289584 CPUtime=0 cores=0,2
/proc/13559/task/13566/stat : 13566 (python) S 13557 13559 12976 0 -1 4202560 26 934 0 0 0 0 0 0 18 0 2 0 867220400 296534016 7290 33554432000 4194304 5683644 140735214495824 18446744073709551615 220828060081 0 0 16781312 2 18446604453946066176 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.8
Current children cumulated vsize (KiB) 837348
[startup+6.30069 s]
/proc/loadavg: 4.07 3.90 2.71 5/240 13567
/proc/meminfo: memFree=31498196/32951124 swapFree=67062492/67111528
[pid=13559] ppid=13557 vsize=289584 CPUtime=0.84 cores=0,2
/proc/13559/stat : 13559 (python) S 13557 13559 12976 0 -1 4202496 10391 934 1 0 73 11 0 0 18 0 2 0 867220288 296534016 7290 33554432000 4194304 5683644 140735214495824 18446744073709551615 220828063179 0 0 16781312 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13559/statm: 72396 7290 1867 364 0 8314 0
[pid=13565] ppid=13559 vsize=279340 CPUtime=0 cores=0,2
/proc/13565/stat : 13565 (python) S 13559 13559 12976 0 -1 4202560 860 0 0 0 0 0 0 0 18 0 1 0 867220400 286044160 5796 33554432000 4194304 5683644 140735214495824 18446744073709551615 220816256527 0 0 16781312 514 4466432015477997828 0 0 17 0 0 0 0
/proc/13565/statm: 69835 5796 377 364 0 5753 0
[pid=13567] ppid=13565 vsize=268820 CPUtime=5.15 cores=0,2
/proc/13567/stat : 13567 (hybridGM3) R 13565 13567 13567 0 -1 4202496 5672 0 0 0 515 0 0 0 25 0 1 0 867220400 275271680 5114 33554432000 134512640 135204385 4290606208 18446744073709551615 134537357 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/13567/statm: 67205 5114 85 169 0 67035 0
[pid=13559/tid=13566] ppid=13557 vsize=289584 CPUtime=0 cores=0,2
/proc/13559/task/13566/stat : 13566 (python) S 13557 13559 12976 0 -1 4202560 26 934 0 0 0 0 0 0 18 0 2 0 867220400 296534016 7290 33554432000 4194304 5683644 140735214495824 18446744073709551615 220828060081 0 0 16781312 2 18446604453946066176 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.99
Current children cumulated vsize (KiB) 837744
[startup+12.7005 s]
/proc/loadavg: 4.06 3.90 2.72 5/240 13568
/proc/meminfo: memFree=31496108/32951124 swapFree=67062492/67111528
[pid=13559] ppid=13557 vsize=289584 CPUtime=0.84 cores=0,2
/proc/13559/stat : 13559 (python) S 13557 13559 12976 0 -1 4202496 10391 934 1 0 73 11 0 0 18 0 2 0 867220288 296534016 7290 33554432000 4194304 5683644 140735214495824 18446744073709551615 220828063179 0 0 16781312 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13559/statm: 72396 7290 1867 364 0 8314 0
[pid=13565] ppid=13559 vsize=279340 CPUtime=0.01 cores=0,2
/proc/13565/stat : 13565 (python) S 13559 13559 12976 0 -1 4202560 864 0 0 0 1 0 0 0 18 0 1 0 867220400 286044160 5796 33554432000 4194304 5683644 140735214495824 18446744073709551615 220816256527 0 0 16781312 514 17128508796843294980 0 0 17 0 0 0 0
/proc/13565/statm: 69835 5796 377 364 0 5753 0
[pid=13567] ppid=13565 vsize=268820 CPUtime=11.54 cores=0,2
/proc/13567/stat : 13567 (hybridGM3) R 13565 13567 13567 0 -1 4202496 5956 0 0 0 1154 0 0 0 25 0 1 0 867220400 275271680 5114 33554432000 134512640 135204385 4290606208 18446744073709551615 134536705 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/13567/statm: 67205 5114 85 169 0 67035 0
[pid=13559/tid=13566] ppid=13557 vsize=289584 CPUtime=0 cores=0,2
/proc/13559/task/13566/stat : 13566 (python) S 13557 13559 12976 0 -1 4202560 26 934 0 0 0 0 0 0 18 0 2 0 867220400 296534016 7290 33554432000 4194304 5683644 140735214495824 18446744073709551615 220828060081 0 0 16781312 2 18446604453946066176 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.39
Current children cumulated vsize (KiB) 837744
[startup+25.5012 s]
/proc/loadavg: 4.05 3.91 2.74 5/240 13568
/proc/meminfo: memFree=31496592/32951124 swapFree=67062492/67111528
[pid=13559] ppid=13557 vsize=289584 CPUtime=0.84 cores=0,2
/proc/13559/stat : 13559 (python) S 13557 13559 12976 0 -1 4202496 10391 934 1 0 73 11 0 0 18 0 2 0 867220288 296534016 7290 33554432000 4194304 5683644 140735214495824 18446744073709551615 220828063179 0 0 16781312 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13559/statm: 72396 7290 1867 364 0 8314 0
[pid=13565] ppid=13559 vsize=279340 CPUtime=0.03 cores=0,2
/proc/13565/stat : 13565 (python) S 13559 13559 12976 0 -1 4202560 871 0 0 0 2 1 0 0 18 0 1 0 867220400 286044160 5796 33554432000 4194304 5683644 140735214495824 18446744073709551615 220816256527 0 0 16781312 514 17128508796843294980 0 0 17 0 0 0 0
/proc/13565/statm: 69835 5796 377 364 0 5753 0
[pid=13567] ppid=13565 vsize=268884 CPUtime=24.32 cores=0,2
/proc/13567/stat : 13567 (hybridGM3) R 13565 13567 13567 0 -1 4202496 6240 0 0 0 2432 0 0 0 25 0 1 0 867220400 275337216 5114 33554432000 134512640 135204385 4290606208 18446744073709551615 134536993 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/13567/statm: 67221 5114 85 169 0 67051 0
[pid=13559/tid=13566] ppid=13557 vsize=289584 CPUtime=0 cores=0,2
/proc/13559/task/13566/stat : 13566 (python) S 13557 13559 12976 0 -1 4202560 26 934 0 0 0 0 0 0 18 0 2 0 867220400 296534016 7290 33554432000 4194304 5683644 140735214495824 18446744073709551615 220828060081 0 0 16781312 2 18446604453946066176 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.19
Current children cumulated vsize (KiB) 837808
Solver just ended. Dumping a history of the last processes samples
[startup+31.908 s]
/proc/loadavg: 4.05 3.91 2.75 5/240 13568
/proc/meminfo: memFree=31495844/32951124 swapFree=67062492/67111528
[pid=13559] ppid=13557 vsize=289584 CPUtime=0.84 cores=0,2
/proc/13559/stat : 13559 (python) S 13557 13559 12976 0 -1 4202496 10391 934 1 0 73 11 0 0 18 0 2 0 867220288 296534016 7290 33554432000 4194304 5683644 140735214495824 18446744073709551615 220828063179 0 0 16781312 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13559/statm: 72396 7290 1867 364 0 8314 0
[pid=13565] ppid=13559 vsize=279340 CPUtime=0.04 cores=0,2
/proc/13565/stat : 13565 (python) S 13559 13559 12976 0 -1 4202560 874 0 0 0 3 1 0 0 18 0 1 0 867220400 286044160 5796 33554432000 4194304 5683644 140735214495824 18446744073709551615 220816256527 0 0 16781312 514 17128508796843294980 0 0 17 0 0 0 0
/proc/13565/statm: 69835 5796 377 364 0 5753 0
[pid=13567] ppid=13565 vsize=270392 CPUtime=30.72 cores=0,2
/proc/13567/stat : 13567 (hybridGM3) R 13565 13567 13567 0 -1 4202496 6533 0 0 0 3072 0 0 0 25 0 1 0 867220400 276881408 5407 33554432000 134512640 135204385 4290606208 18446744073709551615 134536851 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/13567/statm: 67598 5407 85 169 0 67428 0
[pid=13559/tid=13566] ppid=13557 vsize=289584 CPUtime=0 cores=0,2
/proc/13559/task/13566/stat : 13566 (python) S 13557 13559 12976 0 -1 4202560 26 934 0 0 0 0 0 0 18 0 2 0 867220400 296534016 7290 33554432000 4194304 5683644 140735214495824 18446744073709551615 220828060081 0 0 16781312 2 18446604453946066176 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 31.6
Current children cumulated vsize (KiB) 839316
[startup+33.5007 s]
/proc/loadavg: 4.05 3.91 2.75 5/240 13568
/proc/meminfo: memFree=31495964/32951124 swapFree=67062492/67111528
[pid=13559] ppid=13557 vsize=289584 CPUtime=0.84 cores=0,2
/proc/13559/stat : 13559 (python) S 13557 13559 12976 0 -1 4202496 10391 934 1 0 73 11 0 0 18 0 2 0 867220288 296534016 7290 33554432000 4194304 5683644 140735214495824 18446744073709551615 220828063179 0 0 16781312 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13559/statm: 72396 7290 1867 364 0 8314 0
[pid=13565] ppid=13559 vsize=279340 CPUtime=0.04 cores=0,2
/proc/13565/stat : 13565 (python) S 13559 13559 12976 0 -1 4202560 874 0 0 0 3 1 0 0 18 0 1 0 867220400 286044160 5796 33554432000 4194304 5683644 140735214495824 18446744073709551615 220816256527 0 0 16781312 514 17128508796843294980 0 0 17 0 0 0 0
/proc/13565/statm: 69835 5796 377 364 0 5753 0
[pid=13567] ppid=13565 vsize=270392 CPUtime=32.32 cores=0,2
/proc/13567/stat : 13567 (hybridGM3) R 13565 13567 13567 0 -1 4202496 6533 0 0 0 3232 0 0 0 25 0 1 0 867220400 276881408 5407 33554432000 134512640 135204385 4290606208 18446744073709551615 134536843 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/13567/statm: 67598 5407 85 169 0 67428 0
[pid=13559/tid=13566] ppid=13557 vsize=289584 CPUtime=0 cores=0,2
/proc/13559/task/13566/stat : 13566 (python) S 13557 13559 12976 0 -1 4202560 26 934 0 0 0 0 0 0 18 0 2 0 867220400 296534016 7290 33554432000 4194304 5683644 140735214495824 18446744073709551615 220828060081 0 0 16781312 2 18446604453946066176 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 33.2
Current children cumulated vsize (KiB) 839316
[startup+35.1004 s]
/proc/loadavg: 4.04 3.91 2.75 5/247 13575
/proc/meminfo: memFree=31478424/32951124 swapFree=67062492/67111528
[pid=13559] ppid=13557 vsize=289584 CPUtime=0.84 cores=0,2
/proc/13559/stat : 13559 (python) S 13557 13559 12976 0 -1 4202496 10391 934 1 0 73 11 0 0 18 0 2 0 867220288 296534016 7290 33554432000 4194304 5683644 140735214495824 18446744073709551615 220828063179 0 0 16781312 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13559/statm: 72396 7290 1867 364 0 8314 0
[pid=13565] ppid=13559 vsize=279340 CPUtime=0.04 cores=0,2
/proc/13565/stat : 13565 (python) S 13559 13559 12976 0 -1 4202560 874 0 0 0 3 1 0 0 18 0 1 0 867220400 286044160 5796 33554432000 4194304 5683644 140735214495824 18446744073709551615 220816256527 0 0 16781312 514 17128508796843294980 0 0 17 0 0 0 0
/proc/13565/statm: 69835 5796 377 364 0 5753 0
[pid=13567] ppid=13565 vsize=270392 CPUtime=33.92 cores=0,2
/proc/13567/stat : 13567 (hybridGM3) R 13565 13567 13567 0 -1 4202496 6543 0 0 0 3392 0 0 0 25 0 1 0 867220400 276881408 5417 33554432000 134512640 135204385 4290606208 18446744073709551615 134537608 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/13567/statm: 67598 5417 85 169 0 67428 0
[pid=13559/tid=13566] ppid=13557 vsize=289584 CPUtime=0 cores=0,2
/proc/13559/task/13566/stat : 13566 (python) S 13557 13559 12976 0 -1 4202560 26 934 0 0 0 0 0 0 18 0 2 0 867220400 296534016 7290 33554432000 4194304 5683644 140735214495824 18446744073709551615 220828060081 0 0 16781312 2 18446604453946066176 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 34.8
Current children cumulated vsize (KiB) 839316
[startup+35.5003 s]
/proc/loadavg: 4.04 3.91 2.75 5/247 13575
/proc/meminfo: memFree=31478424/32951124 swapFree=67062492/67111528
[pid=13559] ppid=13557 vsize=289584 CPUtime=0.84 cores=0,2
/proc/13559/stat : 13559 (python) S 13557 13559 12976 0 -1 4202496 10391 934 1 0 73 11 0 0 18 0 2 0 867220288 296534016 7290 33554432000 4194304 5683644 140735214495824 18446744073709551615 220828063179 0 0 16781312 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13559/statm: 72396 7290 1867 364 0 8314 0
[pid=13565] ppid=13559 vsize=279340 CPUtime=0.04 cores=0,2
/proc/13565/stat : 13565 (python) S 13559 13559 12976 0 -1 4202560 877 0 0 0 3 1 0 0 18 0 1 0 867220400 286044160 5796 33554432000 4194304 5683644 140735214495824 18446744073709551615 220816256527 0 0 16781312 514 17128508796843294980 0 0 17 0 0 0 0
/proc/13565/statm: 69835 5796 377 364 0 5753 0
[pid=13567] ppid=13565 vsize=270328 CPUtime=34.31 cores=0,2
/proc/13567/stat : 13567 (hybridGM3) R 13565 13567 13567 0 -1 4202496 6544 0 0 0 3431 0 0 0 25 0 1 0 867220400 276815872 5406 33554432000 134512640 135204385 4290606208 18446744073709551615 134547385 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/13567/statm: 67582 5406 85 169 0 67412 0
[pid=13559/tid=13566] ppid=13557 vsize=289584 CPUtime=0 cores=0,2
/proc/13559/task/13566/stat : 13566 (python) S 13557 13559 12976 0 -1 4202560 26 934 0 0 0 0 0 0 18 0 2 0 867220400 296534016 7290 33554432000 4194304 5683644 140735214495824 18446744073709551615 220828060081 0 0 16781312 2 18446604453946066176 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 35.19
Current children cumulated vsize (KiB) 839252
[startup+35.9002 s]
/proc/loadavg: 4.04 3.91 2.75 5/247 13575
/proc/meminfo: memFree=31478424/32951124 swapFree=67062492/67111528
[pid=13559] ppid=13557 vsize=289584 CPUtime=0.84 cores=0,2
/proc/13559/stat : 13559 (python) S 13557 13559 12976 0 -1 4202496 10391 934 1 0 73 11 0 0 18 0 2 0 867220288 296534016 7290 33554432000 4194304 5683644 140735214495824 18446744073709551615 220828063179 0 0 16781312 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13559/statm: 72396 7290 1867 364 0 8314 0
[pid=13565] ppid=13559 vsize=279340 CPUtime=0.04 cores=0,2
/proc/13565/stat : 13565 (python) S 13559 13559 12976 0 -1 4202560 877 0 0 0 3 1 0 0 18 0 1 0 867220400 286044160 5796 33554432000 4194304 5683644 140735214495824 18446744073709551615 220816256527 0 0 16781312 514 17128508796843294980 0 0 17 0 0 0 0
/proc/13565/statm: 69835 5796 377 364 0 5753 0
[pid=13567] ppid=13565 vsize=270328 CPUtime=34.71 cores=0,2
/proc/13567/stat : 13567 (hybridGM3) R 13565 13567 13567 0 -1 4202496 6544 0 0 0 3471 0 0 0 25 0 1 0 867220400 276815872 5406 33554432000 134512640 135204385 4290606208 18446744073709551615 134547654 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/13567/statm: 67582 5406 85 169 0 67412 0
[pid=13559/tid=13566] ppid=13557 vsize=289584 CPUtime=0 cores=0,2
/proc/13559/task/13566/stat : 13566 (python) S 13557 13559 12976 0 -1 4202560 26 934 0 0 0 0 0 0 18 0 2 0 867220400 296534016 7290 33554432000 4194304 5683644 140735214495824 18446744073709551615 220828060081 0 0 16781312 2 18446604453946066176 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 35.59
Current children cumulated vsize (KiB) 839252
[startup+36.0002 s]
/proc/loadavg: 4.04 3.91 2.75 5/247 13575
/proc/meminfo: memFree=31478424/32951124 swapFree=67062492/67111528
[pid=13559] ppid=13557 vsize=289584 CPUtime=0.84 cores=0,2
/proc/13559/stat : 13559 (python) S 13557 13559 12976 0 -1 4202496 10391 934 1 0 73 11 0 0 18 0 2 0 867220288 296534016 7290 33554432000 4194304 5683644 140735214495824 18446744073709551615 220828063179 0 0 16781312 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13559/statm: 72396 7290 1867 364 0 8314 0
[pid=13565] ppid=13559 vsize=279340 CPUtime=0.04 cores=0,2
/proc/13565/stat : 13565 (python) S 13559 13559 12976 0 -1 4202560 877 0 0 0 3 1 0 0 18 0 1 0 867220400 286044160 5796 33554432000 4194304 5683644 140735214495824 18446744073709551615 220816256527 0 0 16781312 514 17128508796843294980 0 0 17 0 0 0 0
/proc/13565/statm: 69835 5796 377 364 0 5753 0
[pid=13567] ppid=13565 vsize=270328 CPUtime=34.81 cores=0,2
/proc/13567/stat : 13567 (hybridGM3) R 13565 13567 13567 0 -1 4202496 6544 0 0 0 3481 0 0 0 25 0 1 0 867220400 276815872 5406 33554432000 134512640 135204385 4290606208 18446744073709551615 134537510 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/13567/statm: 67582 5406 85 169 0 67412 0
[pid=13559/tid=13566] ppid=13557 vsize=289584 CPUtime=0 cores=0,2
/proc/13559/task/13566/stat : 13566 (python) S 13557 13559 12976 0 -1 4202560 26 934 0 0 0 0 0 0 18 0 2 0 867220400 296534016 7290 33554432000 4194304 5683644 140735214495824 18446744073709551615 220828060081 0 0 16781312 2 18446604453946066176 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 35.69
Current children cumulated vsize (KiB) 839252
Child status: 0
Real time (s): 36.088
CPU time (s): 35.8306
CPU user time (s): 35.6726
CPU system time (s): 0.157975
CPU usage (%): 99.2865
Max. virtual memory (cumulated for all children) (KiB): 839316
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 35.6726
system time used= 0.157975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23799
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= 2886
involuntary context switches= 238
runsolver used 0.082987 second user time and 0.147977 second system time
The end
Begin job on node147 at 2011-06-11 01:20:44
IDJOB=3484160
IDBENCH=82671
IDSOLVER=1975
FILE ID=node147/3484160-1307748044
RUNJOBID= node147-1307746987-12994
PBS_JOBID= 13550813
Free space on /tmp= 73948 MiB
SOLVER NAME= borg-sat 11.03.02-seq-random (fixed, 1200 s timeout)
BENCH NAME= SAT11/random/large/unif-k3-r4.2-v2500-c10500-S374960214-041-UNKNOWN.cnf
COMMAND LINE= python DIR/solve DIR/etc/borg-mix+class.random.pickle BENCHNAME -seed RANDOMSEED -budget TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3484160-1307748044/watcher-3484160-1307748044 -o /tmp/evaluation-result-3484160-1307748044/solver-3484160-1307748044 -C 1200 -W 1300 -M 7680 python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3484160-1307748044.cnf -seed 1017891483 -budget 1200
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= 11586d50c22305a7c51fb5c10a66d320
RANDOM SEED=1017891483
node147.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.836
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.67
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.836
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.836
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.836
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.836
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.836
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.76
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.836
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.836
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 31543516 kB
Buffers: 101552 kB
Cached: 780580 kB
SwapCached: 10268 kB
Active: 703128 kB
Inactive: 550948 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 31543516 kB
SwapTotal: 67111528 kB
SwapFree: 67062492 kB
Dirty: 31872 kB
Writeback: 0 kB
AnonPages: 369992 kB
Mapped: 18216 kB
Slab: 77184 kB
PageTables: 15708 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 8386076 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 73916 MiB
End job on node147 at 2011-06-11 01:21:20