0.00/0.00 c Parsing...
0.00/0.07 c ==============================================================================
0.00/0.07 c | | ORIGINAL | LEARNT | |
0.00/0.07 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.07 c ==============================================================================
0.00/0.07 c | 0 | 108399 372979 | 32519 0 0 nan | 0.000 % |
0.00/0.40 c | 0 | 94840 355025 | -- 0 -- -- | -- | -13528/-17820
0.00/0.40 c ==============================================================================
0.00/0.40 c Result : #vars: 22582 #clauses: 94840 #literals: 355025
0.00/0.40 c CPU time: 0.39394 s
0.00/0.40 c ==============================================================================
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 961)
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-3362338-1305303660/watcher-3362338-1305303660 -o /tmp/evaluation-result-3362338-1305303660/solver-3362338-1305303660 -C 40000 -W 5100 -M 31000 manysat.sh HOME/instance-3362338-1305303660.cnf aimd 1
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 40000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 40030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.54 3.90 3.97 2/391 22557
/proc/meminfo: memFree=22946588/32951132 swapFree=67093844/67111528
[pid=22557] ppid=22555 vsize=8700 CPUtime=0 cores=0-7
/proc/22557/stat : 22557 (manysat.sh) S 22555 22557 22247 0 -1 4202496 329 0 0 0 0 0 0 0 21 0 1 0 641964620 8908800 249 33554432000 4194304 4922060 140735291232144 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/22557/statm: 2175 249 209 178 0 68 0
[startup+0.0569109 s]
/proc/loadavg: 3.54 3.90 3.97 2/391 22557
/proc/meminfo: memFree=22946588/32951132 swapFree=67093844/67111528
[pid=22557] ppid=22555 vsize=8700 CPUtime=0 cores=0-7
/proc/22557/stat : 22557 (manysat.sh) S 22555 22557 22247 0 -1 4202496 329 0 0 0 0 0 0 0 21 0 1 0 641964620 8908800 249 33554432000 4194304 4922060 140735291232144 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/22557/statm: 2175 249 209 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+0.100895 s]
/proc/loadavg: 3.54 3.90 3.97 2/391 22557
/proc/meminfo: memFree=22946588/32951132 swapFree=67093844/67111528
[pid=22557] ppid=22555 vsize=8700 CPUtime=0 cores=0-7
/proc/22557/stat : 22557 (manysat.sh) S 22555 22557 22247 0 -1 4202496 329 0 0 0 0 0 0 0 21 0 1 0 641964620 8908800 249 33554432000 4194304 4922060 140735291232144 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/22557/statm: 2175 249 209 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+0.300882 s]
/proc/loadavg: 3.54 3.90 3.97 2/391 22557
/proc/meminfo: memFree=22946588/32951132 swapFree=67093844/67111528
[pid=22557] ppid=22555 vsize=8700 CPUtime=0 cores=0-7
/proc/22557/stat : 22557 (manysat.sh) S 22555 22557 22247 0 -1 4202496 329 0 0 0 0 0 0 0 21 0 1 0 641964620 8908800 249 33554432000 4194304 4922060 140735291232144 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/22557/statm: 2175 249 209 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+0.700811 s]
/proc/loadavg: 3.54 3.90 3.97 2/391 22557
/proc/meminfo: memFree=22946588/32951132 swapFree=67093844/67111528
[pid=22557] ppid=22555 vsize=8700 CPUtime=0.47 cores=0-7
/proc/22557/stat : 22557 (manysat.sh) S 22555 22557 22247 0 -1 4202496 357 4708 0 0 0 0 47 0 17 0 1 0 641964620 8908800 252 33554432000 4194304 4922060 140735291232144 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/22557/statm: 2175 252 209 178 0 68 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 8700
[startup+1.50065 s]
/proc/loadavg: 3.54 3.90 3.97 5/396 22563
/proc/meminfo: memFree=22910712/32951132 swapFree=67093844/67111528
[pid=22557] ppid=22555 vsize=8700 CPUtime=0.47 cores=0-7
/proc/22557/stat : 22557 (manysat.sh) S 22555 22557 22247 0 -1 4202496 357 4708 0 0 0 0 47 0 17 0 1 0 641964620 8908800 252 33554432000 4194304 4922060 140735291232144 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/22557/statm: 2175 252 209 178 0 68 0
[pid=22560] ppid=22557 vsize=69976 CPUtime=3.5 cores=0-7
/proc/22560/stat : 22560 (manysat1.1_stat) R 22557 22557 22247 0 -1 4202496 8683 0 0 0 347 3 0 0 18 0 4 0 641964668 71655424 8631 33554432000 134512640 135305190 4292696080 18446744073709551615 134542050 0 0 4096 3 18446744073709551615 0 0 17 5 0 0 0
/proc/22560/statm: 17494 8631 84 194 0 17298 0
[pid=22560/tid=22561] ppid=22557 vsize=69976 CPUtime=0.83 cores=0-7
/proc/22560/task/22561/stat : 22561 (manysat1.1_stat) R 22557 22557 22247 0 -1 4202560 303 0 0 0 83 0 0 0 22 0 4 0 641964686 71655424 8631 33554432000 134512640 135305190 4292696080 18446744073709551615 134541909 0 0 4096 3 0 0 0 -1 0 0 0 0
[pid=22560/tid=22562] ppid=22557 vsize=69976 CPUtime=0.82 cores=0-7
/proc/22560/task/22562/stat : 22562 (manysat1.1_stat) R 22557 22557 22247 0 -1 4202560 301 0 0 0 82 0 0 0 18 0 4 0 641964686 71655424 8631 33554432000 134512640 135305190 4292696080 18446744073709551615 134528229 0 0 4096 3 0 0 0 -1 3 0 0 0
[pid=22560/tid=22563] ppid=22557 vsize=69976 CPUtime=0.82 cores=0-7
/proc/22560/task/22563/stat : 22563 (manysat1.1_stat) R 22557 22557 22247 0 -1 4202560 326 0 0 0 82 0 0 0 18 0 4 0 641964686 71655424 8631 33554432000 134512640 135305190 4292696080 18446744073709551615 134528229 0 0 4096 3 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.97
Current children cumulated vsize (KiB) 78676
[startup+3.10037 s]
/proc/loadavg: 3.54 3.90 3.97 5/396 22563
/proc/meminfo: memFree=22907612/32951132 swapFree=67093844/67111528
[pid=22557] ppid=22555 vsize=8700 CPUtime=0.47 cores=0-7
/proc/22557/stat : 22557 (manysat.sh) S 22555 22557 22247 0 -1 4202496 357 4708 0 0 0 0 47 0 17 0 1 0 641964620 8908800 252 33554432000 4194304 4922060 140735291232144 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/22557/statm: 2175 252 209 178 0 68 0
[pid=22560] ppid=22557 vsize=72040 CPUtime=9.9 cores=0-7
/proc/22560/stat : 22560 (manysat1.1_stat) R 22557 22557 22247 0 -1 4202496 9251 0 0 0 986 4 0 0 18 0 4 0 641964668 73768960 9199 33554432000 134512640 135305190 4292696080 18446744073709551615 134528274 0 0 4096 3 18446744073709551615 0 0 17 5 0 0 0
/proc/22560/statm: 18010 9199 84 194 0 17814 0
[pid=22560/tid=22561] ppid=22557 vsize=72040 CPUtime=2.43 cores=0-7
/proc/22560/task/22561/stat : 22561 (manysat1.1_stat) R 22557 22557 22247 0 -1 4202560 440 0 0 0 243 0 0 0 25 0 4 0 641964686 73768960 9199 33554432000 134512640 135305190 4292696080 18446744073709551615 134530579 0 0 4096 3 0 0 0 -1 0 0 0 0
[pid=22560/tid=22562] ppid=22557 vsize=72040 CPUtime=2.43 cores=0-7
/proc/22560/task/22562/stat : 22562 (manysat1.1_stat) R 22557 22557 22247 0 -1 4202560 437 0 0 0 242 1 0 0 18 0 4 0 641964686 73768960 9199 33554432000 134512640 135305190 4292696080 18446744073709551615 134541976 0 0 4096 3 0 0 0 -1 3 0 0 0
[pid=22560/tid=22563] ppid=22557 vsize=72040 CPUtime=2.42 cores=0-7
/proc/22560/task/22563/stat : 22563 (manysat1.1_stat) R 22557 22557 22247 0 -1 4202560 483 0 0 0 241 1 0 0 18 0 4 0 641964686 73768960 9200 33554432000 134512640 135305190 4292696080 18446744073709551615 134528229 0 0 4096 3 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 10.37
Current children cumulated vsize (KiB) 80740
[startup+6.30082 s]
/proc/loadavg: 3.58 3.91 3.97 5/396 22563
/proc/meminfo: memFree=22899800/32951132 swapFree=67093844/67111528
[pid=22557] ppid=22555 vsize=8700 CPUtime=0.47 cores=0-7
/proc/22557/stat : 22557 (manysat.sh) S 22555 22557 22247 0 -1 4202496 357 4708 0 0 0 0 47 0 17 0 1 0 641964620 8908800 252 33554432000 4194304 4922060 140735291232144 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/22557/statm: 2175 252 209 178 0 68 0
[pid=22560] ppid=22557 vsize=83748 CPUtime=22.62 cores=0-7
/proc/22560/stat : 22560 (manysat1.1_stat) R 22557 22557 22247 0 -1 4202496 12135 0 0 0 2254 8 0 0 18 0 4 0 641964668 85757952 12083 33554432000 134512640 135305190 4292696080 18446744073709551615 134556720 0 0 4096 3 18446744073709551615 0 0 17 5 0 0 0
/proc/22560/statm: 20937 12083 84 194 0 20741 0
[pid=22560/tid=22561] ppid=22557 vsize=83748 CPUtime=5.62 cores=0-7
/proc/22560/task/22561/stat : 22561 (manysat1.1_stat) R 22557 22557 22247 0 -1 4202560 906 0 0 0 561 1 0 0 18 0 4 0 641964686 85757952 12083 33554432000 134512640 135305190 4292696080 18446744073709551615 134528784 0 0 4096 3 0 0 0 -1 2 0 0 0
[pid=22560/tid=22562] ppid=22557 vsize=83748 CPUtime=5.57 cores=0-7
/proc/22560/task/22562/stat : 22562 (manysat1.1_stat) R 22557 22557 22247 0 -1 4202560 1159 0 0 0 556 1 0 0 20 0 4 0 641964686 85757952 12083 33554432000 134512640 135305190 4292696080 18446744073709551615 134528189 0 0 4096 3 0 0 0 -1 0 0 0 0
[pid=22560/tid=22563] ppid=22557 vsize=83748 CPUtime=5.61 cores=0-7
/proc/22560/task/22563/stat : 22563 (manysat1.1_stat) R 22557 22557 22247 0 -1 4202560 1351 0 0 0 559 2 0 0 18 0 4 0 641964686 85757952 12083 33554432000 134512640 135305190 4292696080 18446744073709551615 134528189 0 0 4096 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 23.09
Current children cumulated vsize (KiB) 92448
[startup+12.7007 s]
/proc/loadavg: 3.61 3.91 3.97 5/396 22563
/proc/meminfo: memFree=22869404/32951132 swapFree=67093844/67111528
[pid=22557] ppid=22555 vsize=8700 CPUtime=0.47 cores=0-7
/proc/22557/stat : 22557 (manysat.sh) S 22555 22557 22247 0 -1 4202496 357 4708 0 0 0 0 47 0 17 0 1 0 641964620 8908800 252 33554432000 4194304 4922060 140735291232144 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/22557/statm: 2175 252 209 178 0 68 0
[pid=22560] ppid=22557 vsize=114028 CPUtime=48.22 cores=0-7
/proc/22560/stat : 22560 (manysat1.1_stat) R 22557 22557 22247 0 -1 4202496 19789 0 0 0 4809 13 0 0 18 0 4 0 641964668 116764672 19737 33554432000 134512640 135305190 4292696080 18446744073709551615 134528298 0 0 4096 3 18446744073709551615 0 0 17 5 0 0 0
/proc/22560/statm: 28507 19737 84 194 0 28311 0
[pid=22560/tid=22561] ppid=22557 vsize=114028 CPUtime=12.01 cores=0-7
/proc/22560/task/22561/stat : 22561 (manysat1.1_stat) R 22557 22557 22247 0 -1 4202560 2538 0 0 0 1199 2 0 0 18 0 4 0 641964686 116764672 19737 33554432000 134512640 135305190 4292696080 18446744073709551615 134528791 0 0 4096 3 0 0 0 -1 2 0 0 0
[pid=22560/tid=22562] ppid=22557 vsize=114028 CPUtime=11.97 cores=0-7
/proc/22560/task/22562/stat : 22562 (manysat1.1_stat) R 22557 22557 22247 0 -1 4202560 2971 0 0 0 1194 3 0 0 25 0 4 0 641964686 116764672 19737 33554432000 134512640 135305190 4292696080 18446744073709551615 134528181 0 0 4096 3 0 0 0 -1 0 0 0 0
[pid=22560/tid=22563] ppid=22557 vsize=114028 CPUtime=12 cores=0-7
/proc/22560/task/22563/stat : 22563 (manysat1.1_stat) R 22557 22557 22247 0 -1 4202560 3350 0 0 0 1197 3 0 0 18 0 4 0 641964686 116764672 19737 33554432000 134512640 135305190 4292696080 18446744073709551615 134528392 0 0 4096 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 48.69
Current children cumulated vsize (KiB) 122728
[startup+25.5005 s]
/proc/loadavg: 3.70 3.91 3.97 5/396 22564
/proc/meminfo: memFree=22832664/32951132 swapFree=67093844/67111528
[pid=22557] ppid=22555 vsize=8700 CPUtime=0.47 cores=0-7
/proc/22557/stat : 22557 (manysat.sh) S 22555 22557 22247 0 -1 4202496 357 4708 0 0 0 0 47 0 17 0 1 0 641964620 8908800 252 33554432000 4194304 4922060 140735291232144 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/22557/statm: 2175 252 209 178 0 68 0
[pid=22560] ppid=22557 vsize=150316 CPUtime=99.4 cores=0-7
/proc/22560/stat : 22560 (manysat1.1_stat) R 22557 22557 22247 0 -1 4202496 28823 0 0 0 9923 17 0 0 18 0 4 0 641964668 153923584 28771 33554432000 134512640 135305190 4292696080 18446744073709551615 134528310 0 0 4096 3 18446744073709551615 0 0 17 5 0 0 0
/proc/22560/statm: 37579 28771 84 194 0 37383 0
[pid=22560/tid=22561] ppid=22557 vsize=150316 CPUtime=24.81 cores=0-7
/proc/22560/task/22561/stat : 22561 (manysat1.1_stat) R 22557 22557 22247 0 -1 4202560 4682 0 0 0 2477 4 0 0 19 0 4 0 641964686 153923584 28771 33554432000 134512640 135305190 4292696080 18446744073709551615 134528298 0 0 4096 3 0 0 0 -1 2 0 0 0
[pid=22560/tid=22562] ppid=22557 vsize=150316 CPUtime=24.77 cores=0-7
/proc/22560/task/22562/stat : 22562 (manysat1.1_stat) R 22557 22557 22247 0 -1 4202560 4673 0 0 0 2474 3 0 0 25 0 4 0 641964686 153923584 28771 33554432000 134512640 135305190 4292696080 18446744073709551615 134528379 0 0 4096 3 0 0 0 -1 0 0 0 0
[pid=22560/tid=22563] ppid=22557 vsize=150316 CPUtime=24.81 cores=0-7
/proc/22560/task/22563/stat : 22563 (manysat1.1_stat) R 22557 22557 22247 0 -1 4202560 5641 0 0 0 2477 4 0 0 18 0 4 0 641964686 153923584 28771 33554432000 134512640 135305190 4292696080 18446744073709551615 134528379 0 0 4096 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 99.87
Current children cumulated vsize (KiB) 159016
[startup+51.1011 s]
/proc/loadavg: 3.80 3.92 3.97 5/396 22564
/proc/meminfo: memFree=22782044/32951132 swapFree=67093844/67111528
[pid=22557] ppid=22555 vsize=8700 CPUtime=0.47 cores=0-7
/proc/22557/stat : 22557 (manysat.sh) S 22555 22557 22247 0 -1 4202496 357 4708 0 0 0 0 47 0 17 0 1 0 641964620 8908800 252 33554432000 4194304 4922060 140735291232144 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/22557/statm: 2175 252 209 178 0 68 0
[pid=22560] ppid=22557 vsize=201904 CPUtime=201.78 cores=0-7
/proc/22560/stat : 22560 (manysat1.1_stat) R 22557 22557 22247 0 -1 4202496 41658 0 0 0 20151 27 0 0 19 0 4 0 641964668 206749696 41606 33554432000 134512640 135305190 4292696080 18446744073709551615 134530592 0 0 4096 3 18446744073709551615 0 0 17 5 0 0 0
/proc/22560/statm: 50476 41606 84 194 0 50280 0
[pid=22560/tid=22561] ppid=22557 vsize=201904 CPUtime=50.39 cores=0-7
/proc/22560/task/22561/stat : 22561 (manysat1.1_stat) R 22557 22557 22247 0 -1 4202560 7509 0 0 0 5032 7 0 0 18 0 4 0 641964686 206749696 41606 33554432000 134512640 135305190 4292696080 18446744073709551615 134528410 0 0 4096 3 0 0 0 -1 4 0 0 0
[pid=22560/tid=22562] ppid=22557 vsize=201904 CPUtime=50.36 cores=0-7
/proc/22560/task/22562/stat : 22562 (manysat1.1_stat) R 22557 22557 22247 0 -1 4202560 7619 0 0 0 5032 4 0 0 25 0 4 0 641964686 206749696 41606 33554432000 134512640 135305190 4292696080 18446744073709551615 134528298 0 0 4096 3 0 0 0 -1 0 0 0 0
[pid=22560/tid=22563] ppid=22557 vsize=201904 CPUtime=50.39 cores=0-7
/proc/22560/task/22563/stat : 22563 (manysat1.1_stat) R 22557 22557 22247 0 -1 4202560 8597 0 0 0 5033 6 0 0 18 0 4 0 641964686 206749696 41606 33554432000 134512640 135305190 4292696080 18446744073709551615 134528480 0 0 4096 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 202.25
Current children cumulated vsize (KiB) 210604
[startup+102.314 s]
/proc/loadavg: 3.91 3.93 3.97 5/396 22566
/proc/meminfo: memFree=22724116/32951132 swapFree=67093844/67111528
[pid=22557] ppid=22555 vsize=8700 CPUtime=0.47 cores=0-7
/proc/22557/stat : 22557 (manysat.sh) S 22555 22557 22247 0 -1 4202496 357 4708 0 0 0 0 47 0 17 0 1 0 641964620 8908800 252 33554432000 4194304 4922060 140735291232144 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/22557/statm: 2175 252 209 178 0 68 0
[pid=22560] ppid=22557 vsize=257176 CPUtime=406.53 cores=0-7
/proc/22560/stat : 22560 (manysat1.1_stat) R 22557 22557 22247 0 -1 4202496 55431 0 0 0 40612 41 0 0 18 0 4 0 641964668 263348224 55379 33554432000 134512640 135305190 4292696080 18446744073709551615 134570422 0 0 4096 3 18446744073709551615 0 0 17 5 0 0 0
/proc/22560/statm: 64294 55379 84 194 0 64098 0
[pid=22560/tid=22561] ppid=22557 vsize=257176 CPUtime=101.58 cores=0-7
/proc/22560/task/22561/stat : 22561 (manysat1.1_stat) R 22557 22557 22247 0 -1 4202560 10497 0 0 0 10145 13 0 0 18 0 4 0 641964686 263348224 55379 33554432000 134512640 135305190 4292696080 18446744073709551615 134528298 0 0 4096 3 0 0 0 -1 6 0 0 0
[pid=22560/tid=22562] ppid=22557 vsize=257176 CPUtime=101.57 cores=0-7
/proc/22560/task/22562/stat : 22562 (manysat1.1_stat) R 22557 22557 22247 0 -1 4202560 10919 0 0 0 10150 7 0 0 25 0 4 0 641964686 263348224 55379 33554432000 134512640 135305190 4292696080 18446744073709551615 134528503 0 0 4096 3 0 0 0 -1 0 0 0 0
[pid=22560/tid=22563] ppid=22557 vsize=257176 CPUtime=101.58 cores=0-7
/proc/22560/task/22563/stat : 22563 (manysat1.1_stat) R 22557 22557 22247 0 -1 4202560 11818 0 0 0 10149 9 0 0 18 0 4 0 641964686 263348224 55379 33554432000 134512640 135305190 4292696080 18446744073709551615 134528418 0 0 4096 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 407
Current children cumulated vsize (KiB) 265876
[startup+162.301 s]
/proc/loadavg: 3.97 3.94 3.97 5/396 22567
/proc/meminfo: memFree=22687024/32951132 swapFree=67093844/67111528
[pid=22557] ppid=22555 vsize=8700 CPUtime=0.47 cores=0-7
/proc/22557/stat : 22557 (manysat.sh) S 22555 22557 22247 0 -1 4202496 357 4708 0 0 0 0 47 0 17 0 1 0 641964620 8908800 252 33554432000 4194304 4922060 140735291232144 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/22557/statm: 2175 252 209 178 0 68 0
[pid=22560] ppid=22557 vsize=293356 CPUtime=646.41 cores=0-7
/proc/22560/stat : 22560 (manysat1.1_stat) R 22557 22557 22247 0 -1 4202496 64571 0 0 0 64590 51 0 0 18 0 4 0 641964668 300396544 64519 33554432000 134512640 135305190 4292696080 18446744073709551615 134528388 0 0 4096 3 18446744073709551615 0 0 17 5 0 0 0
/proc/22560/statm: 73339 64519 84 194 0 73143 0
[pid=22560/tid=22561] ppid=22557 vsize=293356 CPUtime=161.54 cores=0-7
################
# More data... #
################
/proc/22560/task/22563/stat : 22563 (manysat1.1_stat) R 22557 22557 22247 0 -1 4202560 83684 0 0 0 466021 72 0 0 25 0 4 0 641964686 1795006464 423778 33554432000 134512640 135305190 4292696080 18446744073709551615 134528229 0 0 4096 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 18643.8
Current children cumulated vsize (KiB) 1761636
[startup+4722.31 s]
/proc/loadavg: 4.00 4.00 4.00 5/396 22701
/proc/meminfo: memFree=21237656/32951132 swapFree=67093844/67111528
[pid=22557] ppid=22555 vsize=8700 CPUtime=0.47 cores=0-7
/proc/22557/stat : 22557 (manysat.sh) S 22555 22557 22247 0 -1 4202496 357 4708 0 0 0 0 47 0 17 0 1 0 641964620 8908800 252 33554432000 4194304 4922060 140735291232144 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/22557/statm: 2175 252 209 178 0 68 0
[pid=22560] ppid=22557 vsize=1761176 CPUtime=18883.3 cores=0-7
/proc/22560/stat : 22560 (manysat1.1_stat) R 22557 22557 22247 0 -1 4202496 425757 0 0 0 1887912 423 0 0 25 0 4 0 641964668 1803444224 425663 33554432000 134512640 135305190 4292696080 18446744073709551615 134528310 0 0 4096 3 18446744073709551615 0 0 17 5 0 0 0
/proc/22560/statm: 440294 425663 84 194 0 440098 0
[pid=22560/tid=22561] ppid=22557 vsize=1761176 CPUtime=4720.82 cores=0-7
/proc/22560/task/22561/stat : 22561 (manysat1.1_stat) R 22557 22557 22247 0 -1 4202560 78631 0 0 0 471952 130 0 0 25 0 4 0 641964686 1803444224 425663 33554432000 134512640 135305190 4292696080 18446744073709551615 134528298 0 0 4096 3 0 0 0 -1 6 0 0 0
[pid=22560/tid=22562] ppid=22557 vsize=1761176 CPUtime=4720.53 cores=0-7
/proc/22560/task/22562/stat : 22562 (manysat1.1_stat) R 22557 22557 22247 0 -1 4202560 139711 0 0 0 471936 117 0 0 25 0 4 0 641964686 1803444224 425663 33554432000 134512640 135305190 4292696080 18446744073709551615 134528415 0 0 4096 3 0 0 0 -1 0 0 0 0
[pid=22560/tid=22563] ppid=22557 vsize=1761176 CPUtime=4720.95 cores=0-7
/proc/22560/task/22563/stat : 22563 (manysat1.1_stat) R 22557 22557 22247 0 -1 4202560 83702 0 0 0 472023 72 0 0 25 0 4 0 641964686 1803444224 425663 33554432000 134512640 135305190 4292696080 18446744073709551615 134528298 0 0 4096 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 18883.8
Current children cumulated vsize (KiB) 1769876
[startup+4782.3 s]
/proc/loadavg: 4.00 4.00 4.00 5/396 22702
/proc/meminfo: memFree=21224132/32951132 swapFree=67093844/67111528
[pid=22557] ppid=22555 vsize=8700 CPUtime=0.47 cores=0-7
/proc/22557/stat : 22557 (manysat.sh) S 22555 22557 22247 0 -1 4202496 357 4708 0 0 0 0 47 0 17 0 1 0 641964620 8908800 252 33554432000 4194304 4922060 140735291232144 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/22557/statm: 2175 252 209 178 0 68 0
[pid=22560] ppid=22557 vsize=1773968 CPUtime=19123.3 cores=0-7
/proc/22560/stat : 22560 (manysat1.1_stat) R 22557 22557 22247 0 -1 4202496 429199 0 0 0 1911896 432 0 0 25 0 4 0 641964668 1816543232 429105 33554432000 134512640 135305190 4292696080 18446744073709551615 134528406 0 0 4096 3 18446744073709551615 0 0 17 5 0 0 0
/proc/22560/statm: 443492 429105 84 194 0 443296 0
[pid=22560/tid=22561] ppid=22557 vsize=1773968 CPUtime=4780.81 cores=0-7
/proc/22560/task/22561/stat : 22561 (manysat1.1_stat) R 22557 22557 22247 0 -1 4202560 79450 0 0 0 477947 134 0 0 25 0 4 0 641964686 1816543232 429105 33554432000 134512640 135305190 4292696080 18446744073709551615 134528415 0 0 4096 3 0 0 0 -1 6 0 0 0
[pid=22560/tid=22562] ppid=22557 vsize=1773968 CPUtime=4780.5 cores=0-7
/proc/22560/task/22562/stat : 22562 (manysat1.1_stat) R 22557 22557 22247 0 -1 4202560 141772 0 0 0 477930 120 0 0 25 0 4 0 641964686 1816543232 429105 33554432000 134512640 135305190 4292696080 18446744073709551615 134528408 0 0 4096 3 0 0 0 -1 0 0 0 0
[pid=22560/tid=22563] ppid=22557 vsize=1773968 CPUtime=4780.94 cores=0-7
/proc/22560/task/22563/stat : 22563 (manysat1.1_stat) R 22557 22557 22247 0 -1 4202560 83927 0 0 0 478021 73 0 0 21 0 4 0 641964686 1816543232 429105 33554432000 134512640 135305190 4292696080 18446744073709551615 134528256 0 0 4096 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 19123.8
Current children cumulated vsize (KiB) 1782668
[startup+4842.3 s]
/proc/loadavg: 4.00 4.00 4.00 5/396 22704
/proc/meminfo: memFree=21223984/32951132 swapFree=67093844/67111528
[pid=22557] ppid=22555 vsize=8700 CPUtime=0.47 cores=0-7
/proc/22557/stat : 22557 (manysat.sh) S 22555 22557 22247 0 -1 4202496 357 4708 0 0 0 0 47 0 17 0 1 0 641964620 8908800 252 33554432000 4194304 4922060 140735291232144 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/22557/statm: 2175 252 209 178 0 68 0
[pid=22560] ppid=22557 vsize=1774112 CPUtime=19363.3 cores=0-7
/proc/22560/stat : 22560 (manysat1.1_stat) R 22557 22557 22247 0 -1 4202496 429261 0 0 0 1935897 432 0 0 25 0 4 0 641964668 1816690688 429167 33554432000 134512640 135305190 4292696080 18446744073709551615 134528536 0 0 4096 3 18446744073709551615 0 0 17 5 0 0 0
/proc/22560/statm: 443528 429167 84 194 0 443332 0
[pid=22560/tid=22561] ppid=22557 vsize=1774112 CPUtime=4840.81 cores=0-7
/proc/22560/task/22561/stat : 22561 (manysat1.1_stat) R 22557 22557 22247 0 -1 4202560 79450 0 0 0 483947 134 0 0 18 0 4 0 641964686 1816690688 429167 33554432000 134512640 135305190 4292696080 18446744073709551615 134528480 0 0 4096 3 0 0 0 -1 6 0 0 0
[pid=22560/tid=22562] ppid=22557 vsize=1774112 CPUtime=4840.5 cores=0-7
/proc/22560/task/22562/stat : 22562 (manysat1.1_stat) R 22557 22557 22247 0 -1 4202560 141818 0 0 0 483930 120 0 0 25 0 4 0 641964686 1816690688 429167 33554432000 134512640 135305190 4292696080 18446744073709551615 134551712 0 0 4096 3 0 0 0 -1 0 0 0 0
[pid=22560/tid=22563] ppid=22557 vsize=1774112 CPUtime=4840.94 cores=0-7
/proc/22560/task/22563/stat : 22563 (manysat1.1_stat) R 22557 22557 22247 0 -1 4202560 83939 0 0 0 484021 73 0 0 25 0 4 0 641964686 1816690688 429167 33554432000 134512640 135305190 4292696080 18446744073709551615 134528503 0 0 4096 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 19363.8
Current children cumulated vsize (KiB) 1782812
[startup+4902.3 s]
/proc/loadavg: 4.00 4.00 4.00 5/396 22706
/proc/meminfo: memFree=21217772/32951132 swapFree=67093844/67111528
[pid=22557] ppid=22555 vsize=8700 CPUtime=0.47 cores=0-7
/proc/22557/stat : 22557 (manysat.sh) S 22555 22557 22247 0 -1 4202496 357 4708 0 0 0 0 47 0 17 0 1 0 641964620 8908800 252 33554432000 4194304 4922060 140735291232144 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/22557/statm: 2175 252 209 178 0 68 0
[pid=22560] ppid=22557 vsize=1781048 CPUtime=19603.3 cores=0-7
/proc/22560/stat : 22560 (manysat1.1_stat) R 22557 22557 22247 0 -1 4202496 430817 0 0 0 1959895 434 0 0 19 0 4 0 641964668 1823793152 430723 33554432000 134512640 135305190 4292696080 18446744073709551615 134528376 0 0 4096 3 18446744073709551615 0 0 17 5 0 0 0
/proc/22560/statm: 445262 430723 84 194 0 445066 0
[pid=22560/tid=22561] ppid=22557 vsize=1781048 CPUtime=4900.81 cores=0-7
/proc/22560/task/22561/stat : 22561 (manysat1.1_stat) R 22557 22557 22247 0 -1 4202560 79627 0 0 0 489947 134 0 0 25 0 4 0 641964686 1823793152 430723 33554432000 134512640 135305190 4292696080 18446744073709551615 134528298 0 0 4096 3 0 0 0 -1 6 0 0 0
[pid=22560/tid=22562] ppid=22557 vsize=1781048 CPUtime=4900.5 cores=0-7
/proc/22560/task/22562/stat : 22562 (manysat1.1_stat) R 22557 22557 22247 0 -1 4202560 142840 0 0 0 489929 121 0 0 25 0 4 0 641964686 1823793152 430723 33554432000 134512640 135305190 4292696080 18446744073709551615 134551651 0 0 4096 3 0 0 0 -1 0 0 0 0
[pid=22560/tid=22563] ppid=22557 vsize=1781048 CPUtime=4900.94 cores=0-7
/proc/22560/task/22563/stat : 22563 (manysat1.1_stat) R 22557 22557 22247 0 -1 4202560 84068 0 0 0 490021 73 0 0 25 0 4 0 641964686 1823793152 430723 33554432000 134512640 135305190 4292696080 18446744073709551615 134528298 0 0 4096 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 19603.8
Current children cumulated vsize (KiB) 1789748
[startup+4962.3 s]
/proc/loadavg: 4.05 4.01 4.00 5/396 22707
/proc/meminfo: memFree=21205108/32951132 swapFree=67093844/67111528
[pid=22557] ppid=22555 vsize=8700 CPUtime=0.47 cores=0-7
/proc/22557/stat : 22557 (manysat.sh) S 22555 22557 22247 0 -1 4202496 357 4708 0 0 0 0 47 0 17 0 1 0 641964620 8908800 252 33554432000 4194304 4922060 140735291232144 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/22557/statm: 2175 252 209 178 0 68 0
[pid=22560] ppid=22557 vsize=1793432 CPUtime=19843.3 cores=0-7
/proc/22560/stat : 22560 (manysat1.1_stat) R 22557 22557 22247 0 -1 4202496 433944 0 0 0 1983890 439 0 0 20 0 4 0 641964668 1836474368 433850 33554432000 134512640 135305190 4292696080 18446744073709551615 134528480 0 0 4096 3 18446744073709551615 0 0 17 5 0 0 0
/proc/22560/statm: 448358 433850 84 194 0 448162 0
[pid=22560/tid=22561] ppid=22557 vsize=1793432 CPUtime=4960.81 cores=0-7
/proc/22560/task/22561/stat : 22561 (manysat1.1_stat) R 22557 22557 22247 0 -1 4202560 79904 0 0 0 495946 135 0 0 25 0 4 0 641964686 1836474368 433850 33554432000 134512640 135305190 4292696080 18446744073709551615 134528503 0 0 4096 3 0 0 0 -1 6 0 0 0
[pid=22560/tid=22562] ppid=22557 vsize=1793432 CPUtime=4960.5 cores=0-7
/proc/22560/task/22562/stat : 22562 (manysat1.1_stat) R 22557 22557 22247 0 -1 4202560 145014 0 0 0 495925 125 0 0 25 0 4 0 641964686 1836474368 433850 33554432000 134512640 135305190 4292696080 18446744073709551615 134528557 0 0 4096 3 0 0 0 -1 0 0 0 0
[pid=22560/tid=22563] ppid=22557 vsize=1793432 CPUtime=4960.94 cores=0-7
/proc/22560/task/22563/stat : 22563 (manysat1.1_stat) R 22557 22557 22247 0 -1 4202560 84336 0 0 0 496020 74 0 0 25 0 4 0 641964686 1836474368 433850 33554432000 134512640 135305190 4292696080 18446744073709551615 134528298 0 0 4096 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 19843.8
Current children cumulated vsize (KiB) 1802132
[startup+5022.3 s]
/proc/loadavg: 4.02 4.01 4.00 5/396 22709
/proc/meminfo: memFree=21200388/32951132 swapFree=67093844/67111528
[pid=22557] ppid=22555 vsize=8700 CPUtime=0.47 cores=0-7
/proc/22557/stat : 22557 (manysat.sh) S 22555 22557 22247 0 -1 4202496 357 4708 0 0 0 0 47 0 17 0 1 0 641964620 8908800 252 33554432000 4194304 4922060 140735291232144 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/22557/statm: 2175 252 209 178 0 68 0
[pid=22560] ppid=22557 vsize=1798352 CPUtime=20083.3 cores=0-7
/proc/22560/stat : 22560 (manysat1.1_stat) R 22557 22557 22247 0 -1 4202496 435198 0 0 0 2007885 443 0 0 25 0 4 0 641964668 1841512448 435104 33554432000 134512640 135305190 4292696080 18446744073709551615 134528252 0 0 4096 3 18446744073709551615 0 0 17 5 0 0 0
/proc/22560/statm: 449588 435104 84 194 0 449392 0
[pid=22560/tid=22561] ppid=22557 vsize=1798352 CPUtime=5020.81 cores=0-7
/proc/22560/task/22561/stat : 22561 (manysat1.1_stat) R 22557 22557 22247 0 -1 4202560 80107 0 0 0 501945 136 0 0 25 0 4 0 641964686 1841512448 435104 33554432000 134512640 135305190 4292696080 18446744073709551615 134528301 0 0 4096 3 0 0 0 -1 6 0 0 0
[pid=22560/tid=22562] ppid=22557 vsize=1798352 CPUtime=5020.48 cores=0-7
/proc/22560/task/22562/stat : 22562 (manysat1.1_stat) R 22557 22557 22247 0 -1 4202560 145614 0 0 0 501922 126 0 0 25 0 4 0 641964686 1841512448 435104 33554432000 134512640 135305190 4292696080 18446744073709551615 134528229 0 0 4096 3 0 0 0 -1 0 0 0 0
[pid=22560/tid=22563] ppid=22557 vsize=1798352 CPUtime=5020.94 cores=0-7
/proc/22560/task/22563/stat : 22563 (manysat1.1_stat) R 22557 22557 22247 0 -1 4202560 84516 0 0 0 502020 74 0 0 25 0 4 0 641964686 1841512448 435104 33554432000 134512640 135305190 4292696080 18446744073709551615 134528263 0 0 4096 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 20083.8
Current children cumulated vsize (KiB) 1807052
[startup+5082.3 s]
/proc/loadavg: 4.05 4.02 4.00 5/396 22710
/proc/meminfo: memFree=21196652/32951132 swapFree=67093844/67111528
[pid=22557] ppid=22555 vsize=8700 CPUtime=0.47 cores=0-7
/proc/22557/stat : 22557 (manysat.sh) S 22555 22557 22247 0 -1 4202496 357 4708 0 0 0 0 47 0 17 0 1 0 641964620 8908800 252 33554432000 4194304 4922060 140735291232144 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/22557/statm: 2175 252 209 178 0 68 0
[pid=22560] ppid=22557 vsize=1802324 CPUtime=20323.3 cores=0-7
/proc/22560/stat : 22560 (manysat1.1_stat) R 22557 22557 22247 0 -1 4202496 436124 0 0 0 2031884 444 0 0 25 0 4 0 641964668 1845579776 436030 33554432000 134512640 135305190 4292696080 18446744073709551615 134528399 0 0 4096 3 18446744073709551615 0 0 17 5 0 0 0
/proc/22560/statm: 450581 436030 84 194 0 450385 0
[pid=22560/tid=22561] ppid=22557 vsize=1802324 CPUtime=5080.82 cores=0-7
/proc/22560/task/22561/stat : 22561 (manysat1.1_stat) R 22557 22557 22247 0 -1 4202560 80107 0 0 0 507946 136 0 0 25 0 4 0 641964686 1845579776 436030 33554432000 134512640 135305190 4292696080 18446744073709551615 134528406 0 0 4096 3 0 0 0 -1 6 0 0 0
[pid=22560/tid=22562] ppid=22557 vsize=1802324 CPUtime=5080.48 cores=0-7
/proc/22560/task/22562/stat : 22562 (manysat1.1_stat) R 22557 22557 22247 0 -1 4202560 146360 0 0 0 507921 127 0 0 25 0 4 0 641964686 1845579776 436030 33554432000 134512640 135305190 4292696080 18446744073709551615 134528298 0 0 4096 3 0 0 0 -1 0 0 0 0
[pid=22560/tid=22563] ppid=22557 vsize=1802324 CPUtime=5080.94 cores=0-7
/proc/22560/task/22563/stat : 22563 (manysat1.1_stat) R 22557 22557 22247 0 -1 4202560 84592 0 0 0 508020 74 0 0 25 0 4 0 641964686 1845579776 436030 33554432000 134512640 135305190 4292696080 18446744073709551615 134528298 0 0 4096 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 20323.8
Current children cumulated vsize (KiB) 1811024
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+5100 s]
/proc/loadavg: 4.04 4.02 4.00 5/396 22711
/proc/meminfo: memFree=21195408/32951132 swapFree=67093844/67111528
[pid=22557] ppid=22555 vsize=8700 CPUtime=0.47 cores=0-7
/proc/22557/stat : 22557 (manysat.sh) S 22555 22557 22247 0 -1 4202496 357 4708 0 0 0 0 47 0 17 0 1 0 641964620 8908800 252 33554432000 4194304 4922060 140735291232144 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/22557/statm: 2175 252 209 178 0 68 0
[pid=22560] ppid=22557 vsize=1803744 CPUtime=20394.1 cores=0-7
/proc/22560/stat : 22560 (manysat1.1_stat) R 22557 22557 22247 0 -1 4202496 436375 0 0 0 2038969 444 0 0 19 0 4 0 641964668 1847033856 436281 33554432000 134512640 135305190 4292696080 18446744073709551615 134528277 0 0 4096 3 18446744073709551615 0 0 17 5 0 0 0
/proc/22560/statm: 450936 436281 84 194 0 450740 0
[pid=22560/tid=22561] ppid=22557 vsize=1803744 CPUtime=5098.53 cores=0-7
/proc/22560/task/22561/stat : 22561 (manysat1.1_stat) R 22557 22557 22247 0 -1 4202560 80198 0 0 0 509717 136 0 0 25 0 4 0 641964686 1847033856 436281 33554432000 134512640 135305190 4292696080 18446744073709551615 134528252 0 0 4096 3 0 0 0 -1 6 0 0 0
[pid=22560/tid=22562] ppid=22557 vsize=1803744 CPUtime=5098.19 cores=0-7
/proc/22560/task/22562/stat : 22562 (manysat1.1_stat) R 22557 22557 22247 0 -1 4202560 146400 0 0 0 509692 127 0 0 25 0 4 0 641964686 1847033856 436281 33554432000 134512640 135305190 4292696080 18446744073709551615 134551651 0 0 4096 3 0 0 0 -1 0 0 0 0
[pid=22560/tid=22563] ppid=22557 vsize=1803744 CPUtime=5098.66 cores=0-7
/proc/22560/task/22563/stat : 22563 (manysat1.1_stat) R 22557 22557 22247 0 -1 4202560 84666 0 0 0 509792 74 0 0 25 0 4 0 641964686 1847033856 436281 33554432000 134512640 135305190 4292696080 18446744073709551615 134528263 0 0 4096 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 20394.6
Current children cumulated vsize (KiB) 1812444
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 22557 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=472928
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=9998
# CPU time returned by wait4() is 0.482926
# while last known CPU time is 20394.6
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 5100.03
CPU time (s): 20394.6
CPU user time (s): 20390.2
CPU system time (s): 4.44
CPU usage (%): 399.892
Max. virtual memory (cumulated for all children) (KiB): 1812444
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.472928
system time used= 0.009998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5065
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= 7
involuntary context switches= 4
runsolver used 18.6872 second user time and 46.252 second system time
The end
Begin job on node128 at 2011-05-13 18:21:00
IDJOB=3362338
IDBENCH=84223
IDSOLVER=1839
FILE ID=node128/3362338-1305303660
RUNJOBID= node128-1305296393-22261
PBS_JOBID= 13321425
Free space on /tmp= 51080 MiB
SOLVER NAME= ManySAT 1.1 aimd 1/2009-03-20 (4 threads)
BENCH NAME= SAT03/industrial/li/li-exam/li-exam-61.shuffled-as.sat03-366.cnf
COMMAND LINE= manysat.sh BENCHNAME aimd 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3362338-1305303660/watcher-3362338-1305303660 -o /tmp/evaluation-result-3362338-1305303660/solver-3362338-1305303660 -C 40000 -W 5100 -M 31000 manysat.sh HOME/instance-3362338-1305303660.cnf aimd 1
TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 3be662940f394fa876137a905247d755
RANDOM SEED=706996409
node128.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.852
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.70
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.852
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.852
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.852
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.852
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.852
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.75
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.852
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.852
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 : 5434.49
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951132 kB
MemFree: 22946860 kB
Buffers: 218932 kB
Cached: 4204108 kB
SwapCached: 1440 kB
Active: 6021160 kB
Inactive: 3657204 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951132 kB
LowFree: 22946860 kB
SwapTotal: 67111528 kB
SwapFree: 67093844 kB
Dirty: 4016 kB
Writeback: 0 kB
AnonPages: 5253824 kB
Mapped: 31392 kB
Slab: 220056 kB
PageTables: 37924 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587092 kB
Committed_AS: 100669248 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 51076 MiB
End job on node128 at 2011-05-13 19:46:02