0.00/0.00 c Parsing...
1.20/1.21 c ==============================================================================
1.20/1.21 c | | ORIGINAL | LEARNT | |
1.20/1.21 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
1.20/1.21 c ==============================================================================
1.20/1.21 c | 0 | 1814188 5280500 | 544256 0 0 nan | 0.000 % |
11.50/11.59 c | 0 | 1789068 5451065 | -- 0 -- -- | -- | -25093/170622
11.50/11.59 c ==============================================================================
11.50/11.59 c Result : #vars: 84942 #clauses: 1789068 #literals: 5451065
11.50/11.59 c CPU time: 11.43 s
11.50/11.59 c ==============================================================================
2104.97/541.07 c This is ManySAT 1.1 : 4 thread(s) on 4 core(s).
2104.97/541.07 c ============================[ Problem Statistics ]=============================
2104.97/541.07 c | |
2104.97/541.07 c threadId : 3
2104.97/541.07 c restarts : 3459
2104.97/541.07 c conflicts : 412106 (197 /sec)
2104.97/541.07 c decisions : 5811792 (1.17 % random) (2784 /sec)
2104.97/541.07 c propagations : 586183997 (280776 /sec)
2104.97/541.07 c conflict literals : 19385650 (31.39 % deleted)
2104.97/541.07 c Memory used : 1093.21 MB
2104.97/541.07 c CPU time : 2087.73 s
2104.97/541.07
2104.97/541.07 c --->m=4, e=8, aimd=0, HOME/17053_many.cnf time: 521.933 conflicts: 412106
2105.08/541.14 s UNSATISFIABLE
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1781371-1243544396/watcher-1781371-1243544396 -o /tmp/evaluation-result-1781371-1243544396/solver-1781371-1243544396 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1781371-1243544396.cnf aimd 0
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 2096128 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 2147328 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 3.92 4.16 4.30 3/97 17054
/proc/meminfo: memFree=2831776/3368532 swapFree=1953788/1959888
[pid=17053] ppid=17051 vsize=2412 CPUtime=0
/proc/17053/stat : 17053 (manysat.sh) R 17051 17053 27966 0 -1 4194304 332 0 0 0 0 0 0 0 25 0 1 0 1119103869 2469888 272 4294967295 134512640 135169312 3218288752 3218287228 3085830004 0 65538 4 65536 0 0 0 17 1 0 0 0
/proc/17053/statm: 603 272 231 161 0 42 0
[pid=17054] ppid=17053 vsize=2412 CPUtime=0
/proc/17054/stat : 17054 (manysat.sh) R 17053 17053 27966 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 1 0 1119103869 2469888 41 4294967295 134512640 135169312 3218288752 3218287228 3085830004 0 65538 4 65536 0 0 0 17 1 0 0 0
/proc/17054/statm: 603 41 0 161 0 42 0
[startup+0.084944 s]
/proc/loadavg: 3.92 4.16 4.30 3/97 17054
/proc/meminfo: memFree=2831776/3368532 swapFree=1953788/1959888
[pid=17053] ppid=17051 vsize=2412 CPUtime=0
/proc/17053/stat : 17053 (manysat.sh) S 17051 17053 27966 0 -1 4194304 347 0 0 0 0 0 0 0 25 0 1 0 1119103869 2469888 272 4294967295 134512640 135169312 3218288752 3218287288 3085827822 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/17053/statm: 603 272 231 161 0 42 0
[pid=17054] ppid=17053 vsize=9304 CPUtime=0.07
/proc/17054/stat : 17054 (SatElite) R 17053 17053 27966 0 -1 4202496 2127 0 0 0 7 0 0 0 18 0 1 0 1119103869 9527296 2064 4294967295 134512640 135034092 3218796736 3218792728 134673244 0 0 0 3 0 0 0 17 2 0 0 0
/proc/17054/statm: 2326 2064 50 128 0 2196 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11716
[startup+0.114941 s]
/proc/loadavg: 3.92 4.16 4.30 3/97 17054
/proc/meminfo: memFree=2831776/3368532 swapFree=1953788/1959888
[pid=17053] ppid=17051 vsize=2412 CPUtime=0
/proc/17053/stat : 17053 (manysat.sh) S 17051 17053 27966 0 -1 4194304 347 0 0 0 0 0 0 0 25 0 1 0 1119103869 2469888 272 4294967295 134512640 135169312 3218288752 3218287288 3085827822 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/17053/statm: 603 272 231 161 0 42 0
[pid=17054] ppid=17053 vsize=13060 CPUtime=0.1
/proc/17054/stat : 17054 (SatElite) R 17053 17053 27966 0 -1 4202496 2889 0 0 0 10 0 0 0 18 0 1 0 1119103869 13373440 2826 4294967295 134512640 135034092 3218796736 3218793080 134691005 0 0 0 3 0 0 0 17 2 0 0 0
/proc/17054/statm: 3265 2826 50 128 0 3135 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15472
[startup+0.314924 s]
/proc/loadavg: 3.92 4.16 4.30 3/97 17054
/proc/meminfo: memFree=2831776/3368532 swapFree=1953788/1959888
[pid=17053] ppid=17051 vsize=2412 CPUtime=0
/proc/17053/stat : 17053 (manysat.sh) S 17051 17053 27966 0 -1 4194304 347 0 0 0 0 0 0 0 25 0 1 0 1119103869 2469888 272 4294967295 134512640 135169312 3218288752 3218287288 3085827822 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/17053/statm: 603 272 231 161 0 42 0
[pid=17054] ppid=17053 vsize=31332 CPUtime=0.3
/proc/17054/stat : 17054 (SatElite) R 17053 17053 27966 0 -1 4202496 7379 0 0 0 30 0 0 0 18 0 1 0 1119103869 32083968 7316 4294967295 134512640 135034092 3218796736 3218793080 134691005 0 0 0 3 0 0 0 17 2 0 0 0
/proc/17054/statm: 7833 7317 50 128 0 7703 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 33744
[startup+0.714891 s]
/proc/loadavg: 3.92 4.16 4.30 3/97 17054
/proc/meminfo: memFree=2831776/3368532 swapFree=1953788/1959888
[pid=17053] ppid=17051 vsize=2412 CPUtime=0
/proc/17053/stat : 17053 (manysat.sh) S 17051 17053 27966 0 -1 4194304 347 0 0 0 0 0 0 0 25 0 1 0 1119103869 2469888 272 4294967295 134512640 135169312 3218288752 3218287288 3085827822 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/17053/statm: 603 272 231 161 0 42 0
[pid=17054] ppid=17053 vsize=70792 CPUtime=0.7
/proc/17054/stat : 17054 (SatElite) R 17053 17053 27966 0 -1 4202496 15676 0 0 0 65 5 0 0 18 0 1 0 1119103869 72491008 15613 4294967295 134512640 135034092 3218796736 3218793080 134691005 0 0 0 3 0 0 0 17 2 0 0 0
/proc/17054/statm: 17698 15613 50 128 0 17568 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 73204
[startup+1.51482 s]
/proc/loadavg: 3.92 4.16 4.30 2/98 17055
/proc/meminfo: memFree=2745216/3368532 swapFree=1953788/1959888
[pid=17053] ppid=17051 vsize=2412 CPUtime=0
/proc/17053/stat : 17053 (manysat.sh) S 17051 17053 27966 0 -1 4194304 347 0 0 0 0 0 0 0 25 0 1 0 1119103869 2469888 272 4294967295 134512640 135169312 3218288752 3218287288 3085827822 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/17053/statm: 603 272 231 161 0 42 0
[pid=17054] ppid=17053 vsize=141620 CPUtime=1.5
/proc/17054/stat : 17054 (SatElite) R 17053 17053 27966 0 -1 4202496 34991 0 0 0 139 11 0 0 20 0 1 0 1119103869 145018880 32201 4294967295 134512640 135034092 3218796736 3218792604 134673244 0 0 0 3 0 0 0 17 2 0 0 0
/proc/17054/statm: 35405 32201 67 128 0 35275 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 144032
[startup+3.11469 s]
/proc/loadavg: 3.92 4.16 4.30 2/98 17055
/proc/meminfo: memFree=2696968/3368532 swapFree=1953788/1959888
[pid=17053] ppid=17051 vsize=2412 CPUtime=0
/proc/17053/stat : 17053 (manysat.sh) S 17051 17053 27966 0 -1 4194304 347 0 0 0 0 0 0 0 25 0 1 0 1119103869 2469888 272 4294967295 134512640 135169312 3218288752 3218287288 3085827822 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/17053/statm: 603 272 231 161 0 42 0
[pid=17054] ppid=17053 vsize=149632 CPUtime=3.1
/proc/17054/stat : 17054 (SatElite) R 17053 17053 27966 0 -1 4202496 36783 0 0 0 299 11 0 0 25 0 1 0 1119103869 153223168 33867 4294967295 134512640 135034092 3218796736 3218792976 134566212 0 0 0 3 0 0 0 17 0 0 0 0
/proc/17054/statm: 37408 33867 67 128 0 37278 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 152044
[startup+6.31443 s]
/proc/loadavg: 3.68 4.11 4.28 2/98 17055
/proc/meminfo: memFree=2683372/3368532 swapFree=1953788/1959888
[pid=17053] ppid=17051 vsize=2412 CPUtime=0
/proc/17053/stat : 17053 (manysat.sh) S 17051 17053 27966 0 -1 4194304 347 0 0 0 0 0 0 0 25 0 1 0 1119103869 2469888 272 4294967295 134512640 135169312 3218288752 3218287288 3085827822 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/17053/statm: 603 272 231 161 0 42 0
[pid=17054] ppid=17053 vsize=172300 CPUtime=6.3
/proc/17054/stat : 17054 (SatElite) R 17053 17053 27966 0 -1 4202496 39852 0 0 0 618 12 0 0 25 0 1 0 1119103869 176435200 36767 4294967295 134512640 135034092 3218796736 3218793280 134584306 0 0 0 3 0 0 0 17 0 0 0 0
/proc/17054/statm: 43075 36767 67 128 0 42945 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 174712
[startup+12.7139 s]
/proc/loadavg: 3.47 4.06 4.26 2/98 17056
/proc/meminfo: memFree=2687064/3368532 swapFree=1953788/1959888
[pid=17053] ppid=17051 vsize=2412 CPUtime=0
/proc/17053/stat : 17053 (manysat.sh) S 17051 17053 27966 0 -1 4194304 347 0 0 0 0 0 0 0 25 0 1 0 1119103869 2469888 272 4294967295 134512640 135169312 3218288752 3218287288 3085827822 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/17053/statm: 603 272 231 161 0 42 0
[pid=17054] ppid=17053 vsize=149456 CPUtime=12.7
/proc/17054/stat : 17054 (SatElite) R 17053 17053 27966 0 -1 4202496 46124 0 0 0 1251 19 0 0 25 0 1 0 1119103869 153042944 33908 4294967295 134512640 135034092 3218796736 3218791612 134691101 0 0 0 3 0 0 0 17 0 0 0 0
/proc/17054/statm: 37364 33908 68 128 0 37234 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 151868
[startup+25.5128 s]
/proc/loadavg: 3.38 4.01 4.24 5/101 17060
/proc/meminfo: memFree=2348616/3368532 swapFree=1953788/1959888
[pid=17053] ppid=17051 vsize=2416 CPUtime=13.6
/proc/17053/stat : 17053 (manysat.sh) S 17051 17053 27966 0 -1 4194304 369 46128 0 0 0 0 1336 24 18 0 1 0 1119103869 2473984 274 4294967295 134512640 135169312 3218288752 3218284968 3085827822 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/17053/statm: 604 274 231 161 0 43 0
[pid=17057] ppid=17053 vsize=487232 CPUtime=37.82
/proc/17057/stat : 17057 (manysat1.1_stat) R 17053 17053 27966 0 -1 4202496 111712 0 0 0 3722 60 0 0 25 0 4 0 1119105231 498925568 111621 4294967295 134512640 135305190 3215156592 3215154768 134530579 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/17057/statm: 121808 111621 79 194 0 121612 0
[pid=17057/tid=17058] ppid=17053 vsize=487232 CPUtime=8.7
/proc/17057/task/17058/stat : 17058 (manysat1.1_stat) R 17053 17053 27966 0 -1 4202560 2722 0 0 0 864 6 0 0 25 0 4 0 1119105547 498925568 111621 4294967295 134512640 135305190 3215156592 3006020800 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=17057/tid=17059] ppid=17053 vsize=487232 CPUtime=8.62
/proc/17057/task/17059/stat : 17059 (manysat1.1_stat) R 17053 17053 27966 0 -1 4202560 4537 0 0 0 854 8 0 0 25 0 4 0 1119105547 498925568 111621 4294967295 134512640 135305190 3215156592 2997632192 134528189 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=17057/tid=17060] ppid=17053 vsize=487232 CPUtime=8.69
/proc/17057/task/17060/stat : 17060 (manysat1.1_stat) R 17053 17053 27966 0 -1 4202560 2743 0 0 0 864 5 0 0 25 0 4 0 1119105547 498925568 111621 4294967295 134512640 135305190 3215156592 2989243584 134530636 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 51.42
Current children cumulated vsize (KiB) 489648
[startup+51.1107 s]
/proc/loadavg: 3.81 4.05 4.25 5/101 17245
/proc/meminfo: memFree=2280984/3368532 swapFree=1953788/1959888
[pid=17053] ppid=17051 vsize=2416 CPUtime=13.6
/proc/17053/stat : 17053 (manysat.sh) S 17051 17053 27966 0 -1 4194304 369 46128 0 0 0 0 1336 24 18 0 1 0 1119103869 2473984 274 4294967295 134512640 135169312 3218288752 3218284968 3085827822 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/17053/statm: 604 274 231 161 0 43 0
[pid=17057] ppid=17053 vsize=554716 CPUtime=139.84
/proc/17057/stat : 17057 (manysat1.1_stat) R 17053 17053 27966 0 -1 4202496 128519 0 0 0 13905 79 0 0 25 0 4 0 1119105231 568029184 128428 4294967295 134512640 135305190 3215156592 3215154768 134528298 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/17057/statm: 138679 128428 79 194 0 138483 0
[pid=17057/tid=17058] ppid=17053 vsize=554716 CPUtime=34.19
/proc/17057/task/17058/stat : 17058 (manysat1.1_stat) R 17053 17053 27966 0 -1 4202560 4602 0 0 0 3410 9 0 0 25 0 4 0 1119105547 568029184 128428 4294967295 134512640 135305190 3215156592 3006020800 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=17057/tid=17059] ppid=17053 vsize=554716 CPUtime=34.05
/proc/17057/task/17059/stat : 17059 (manysat1.1_stat) R 17053 17053 27966 0 -1 4202560 17282 0 0 0 3385 20 0 0 25 0 4 0 1119105547 568029184 128428 4294967295 134512640 135305190 3215156592 2997631872 134555097 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=17057/tid=17060] ppid=17053 vsize=554716 CPUtime=34.29
/proc/17057/task/17060/stat : 17060 (manysat1.1_stat) R 17053 17053 27966 0 -1 4202560 3443 0 0 0 3421 8 0 0 25 0 4 0 1119105547 568029184 128428 4294967295 134512640 135305190 3215156592 2989243584 134528229 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 153.44
Current children cumulated vsize (KiB) 557132
[startup+102.316 s]
/proc/loadavg: 4.02 4.07 4.25 7/102 17291
/proc/meminfo: memFree=2141596/3368532 swapFree=1953788/1959888
[pid=17053] ppid=17051 vsize=2416 CPUtime=13.6
/proc/17053/stat : 17053 (manysat.sh) S 17051 17053 27966 0 -1 4194304 369 46128 0 0 0 0 1336 24 18 0 1 0 1119103869 2473984 274 4294967295 134512640 135169312 3218288752 3218284968 3085827822 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/17053/statm: 604 274 231 161 0 43 0
[pid=17057] ppid=17053 vsize=691668 CPUtime=344.47
/proc/17057/stat : 17057 (manysat1.1_stat) R 17053 17053 27966 0 -1 4202496 162870 0 0 0 34325 122 0 0 25 0 4 0 1119105231 708268032 162779 4294967295 134512640 135305190 3215156592 3215154736 134570412 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/17057/statm: 172917 162779 79 194 0 172721 0
[pid=17057/tid=17058] ppid=17053 vsize=691668 CPUtime=85.26
/proc/17057/task/17058/stat : 17058 (manysat1.1_stat) R 17053 17053 27966 0 -1 4202560 9419 0 0 0 8509 17 0 0 25 0 4 0 1119105547 708268032 162779 4294967295 134512640 135305190 3215156592 3006020800 134528263 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=17057/tid=17059] ppid=17053 vsize=691668 CPUtime=85.21
/proc/17057/task/17059/stat : 17059 (manysat1.1_stat) R 17053 17053 27966 0 -1 4202560 43222 0 0 0 8475 46 0 0 25 0 4 0 1119105547 708268032 162779 4294967295 134512640 135305190 3215156592 2997631872 134553245 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=17057/tid=17060] ppid=17053 vsize=691668 CPUtime=85.48
/proc/17057/task/17060/stat : 17060 (manysat1.1_stat) R 17053 17053 27966 0 -1 4202560 4422 0 0 0 8534 14 0 0 25 0 4 0 1119105547 708268032 162779 4294967295 134512640 135305190 3215156592 2989243584 134528189 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 358.07
Current children cumulated vsize (KiB) 694084
[startup+162.312 s]
/proc/loadavg: 4.23 4.12 4.25 5/101 17625
/proc/meminfo: memFree=2048104/3368532 swapFree=1953788/1959888
[pid=17053] ppid=17051 vsize=2416 CPUtime=13.6
/proc/17053/stat : 17053 (manysat.sh) S 17051 17053 27966 0 -1 4194304 369 46128 0 0 0 0 1336 24 18 0 1 0 1119103869 2473984 274 4294967295 134512640 135169312 3218288752 3218284968 3085827822 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/17053/statm: 604 274 231 161 0 43 0
[pid=17057] ppid=17053 vsize=785004 CPUtime=583.81
/proc/17057/stat : 17057 (manysat1.1_stat) R 17053 17053 27966 0 -1 4202496 185813 0 0 0 58221 160 0 0 25 0 4 0 1119105231 803844096 185722 4294967295 134512640 135305190 3215156592 3215154768 134530977 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/17057/statm: 196251 185722 79 194 0 196055 0
[pid=17057/tid=17058] ppid=17053 vsize=785004 CPUtime=145.05
/proc/17057/task/17058/stat : 17058 (manysat1.1_stat) R 17053 17053 27966 0 -1 4202560 12769 0 0 0 14481 24 0 0 25 0 4 0 1119105547 803844096 185722 4294967295 134512640 135305190 3215156592 3006020744 134839991 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=17057/tid=17059] ppid=17053 vsize=785004 CPUtime=145.16
/proc/17057/task/17059/stat : 17059 (manysat1.1_stat) R 17053 17053 27966 0 -1 4202560 59511 0 0 0 14454 62 0 0 25 0 4 0 1119105547 803844096 185722 4294967295 134512640 135305190 3215156592 2997632192 134528376 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=17057/tid=17060] ppid=17053 vsize=785004 CPUtime=145.37
/proc/17057/task/17060/stat : 17060 (manysat1.1_stat) R 17053 17053 27966 0 -1 4202560 5690 0 0 0 14518 19 0 0 25 0 4 0 1119105547 803844096 185722 4294967295 134512640 135305190 3215156592 2989243584 134528229 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 597.41
Current children cumulated vsize (KiB) 787420
[startup+222.307 s]
/proc/loadavg: 4.43 4.20 4.27 6/102 17682
/proc/meminfo: memFree=1966512/3368532 swapFree=1953788/1959888
[pid=17053] ppid=17051 vsize=2416 CPUtime=13.6
/proc/17053/stat : 17053 (manysat.sh) S 17051 17053 27966 0 -1 4194304 369 46128 0 0 0 0 1336 24 18 0 1 0 1119103869 2473984 274 4294967295 134512640 135169312 3218288752 3218284968 3085827822 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/17053/statm: 604 274 231 161 0 43 0
[pid=17057] ppid=17053 vsize=868824 CPUtime=823.53
/proc/17057/stat : 17057 (manysat1.1_stat) R 17053 17053 27966 0 -1 4202496 206679 0 0 0 82157 196 0 0 25 0 4 0 1119105231 889675776 206564 4294967295 134512640 135305190 3215156592 3215154768 134528990 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/17057/statm: 217206 206564 79 194 0 217010 0
[pid=17057/tid=17058] ppid=17053 vsize=868824 CPUtime=204.88
################
# More data... #
################
/proc/17057/stat : 17057 (manysat1.1_stat) R 17053 17053 27966 0 -1 4202496 254795 0 0 0 153891 304 0 0 25 0 4 0 1119105231 1090752512 254680 4294967295 134512640 135305190 3215156592 3215154768 134528805 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/17057/statm: 266297 254680 79 194 0 266101 0
[pid=17057/tid=17058] ppid=17053 vsize=1065188 CPUtime=383.89
/proc/17057/task/17058/stat : 17058 (manysat1.1_stat) R 17053 17053 27966 0 -1 4202560 21342 0 0 0 38333 56 0 0 25 0 4 0 1119105547 1090752512 254680 4294967295 134512640 135305190 3215156592 3006020800 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=17057/tid=17059] ppid=17053 vsize=1065188 CPUtime=385.06
/proc/17057/task/17059/stat : 17059 (manysat1.1_stat) R 17053 17053 27966 0 -1 4202560 105079 0 0 0 38396 110 0 0 25 0 4 0 1119105547 1090752512 254680 4294967295 134512640 135305190 3215156592 2997632192 134528480 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=17057/tid=17060] ppid=17053 vsize=1065188 CPUtime=385.1
/proc/17057/task/17060/stat : 17060 (manysat1.1_stat) R 17053 17053 27966 0 -1 4202560 11527 0 0 0 38464 46 0 0 25 0 4 0 1119105547 1090752512 254680 4294967295 134512640 135305190 3215156592 2989243584 134528433 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1555.55
Current children cumulated vsize (KiB) 1067604
[startup+462.317 s]
/proc/loadavg: 4.25 4.29 4.29 6/101 18566
/proc/meminfo: memFree=1746048/3368532 swapFree=1953788/1959888
[pid=17053] ppid=17051 vsize=2416 CPUtime=13.6
/proc/17053/stat : 17053 (manysat.sh) S 17051 17053 27966 0 -1 4194304 369 46128 0 0 0 0 1336 24 18 0 1 0 1119103869 2473984 274 4294967295 134512640 135169312 3218288752 3218284968 3085827822 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/17053/statm: 604 274 231 161 0 43 0
[pid=17057] ppid=17053 vsize=1093468 CPUtime=1780.15
/proc/17057/stat : 17057 (manysat1.1_stat) R 17053 17053 27966 0 -1 4202496 261160 0 0 0 177685 330 0 0 25 0 4 0 1119105231 1119711232 261023 4294967295 134512640 135305190 3215156592 3215154496 134556807 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/17057/statm: 273367 261023 79 194 0 273171 0
[pid=17057/tid=17058] ppid=17053 vsize=1093468 CPUtime=443.54
/proc/17057/task/17058/stat : 17058 (manysat1.1_stat) R 17053 17053 27966 0 -1 4202560 22362 0 0 0 44292 62 0 0 25 0 4 0 1119105547 1119711232 261023 4294967295 134512640 135305190 3215156592 3006020800 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=17057/tid=17059] ppid=17053 vsize=1093468 CPUtime=444.4
/proc/17057/task/17059/stat : 17059 (manysat1.1_stat) R 17053 17053 27966 0 -1 4202560 108172 0 0 0 44324 116 0 0 25 0 4 0 1119105547 1119711232 261023 4294967295 134512640 135305190 3215156592 2997632192 134528768 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=17057/tid=17060] ppid=17053 vsize=1093468 CPUtime=444.89
/proc/17057/task/17060/stat : 17060 (manysat1.1_stat) R 17053 17053 27966 0 -1 4202560 12642 0 0 0 44436 53 0 0 25 0 4 0 1119105547 1119711232 261023 4294967295 134512640 135305190 3215156592 2989243376 134547909 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1793.75
Current children cumulated vsize (KiB) 1095884
[startup+522.312 s]
/proc/loadavg: 4.21 4.28 4.28 6/102 18644
/proc/meminfo: memFree=1722664/3368532 swapFree=1953788/1959888
[pid=17053] ppid=17051 vsize=2416 CPUtime=13.6
/proc/17053/stat : 17053 (manysat.sh) S 17051 17053 27966 0 -1 4194304 369 46128 0 0 0 0 1336 24 18 0 1 0 1119103869 2473984 274 4294967295 134512640 135169312 3218288752 3218284968 3085827822 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/17053/statm: 604 274 231 161 0 43 0
[pid=17057] ppid=17053 vsize=1117716 CPUtime=2019.72
/proc/17057/stat : 17057 (manysat1.1_stat) R 17053 17053 27966 0 -1 4202496 267269 0 0 0 201608 364 0 0 25 0 4 0 1119105231 1144541184 267132 4294967295 134512640 135305190 3215156592 3215154768 134528298 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/17057/statm: 279429 267132 79 194 0 279233 0
[pid=17057/tid=17058] ppid=17053 vsize=1117716 CPUtime=503.49
/proc/17057/task/17058/stat : 17058 (manysat1.1_stat) R 17053 17053 27966 0 -1 4202560 23524 0 0 0 50281 68 0 0 25 0 4 0 1119105547 1144541184 267132 4294967295 134512640 135305190 3215156592 3006020800 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=17057/tid=17059] ppid=17053 vsize=1117716 CPUtime=504.11
/proc/17057/task/17059/stat : 17059 (manysat1.1_stat) R 17053 17053 27966 0 -1 4202560 111280 0 0 0 50285 126 0 0 25 0 4 0 1119105547 1144541184 267132 4294967295 134512640 135305190 3215156592 2997632192 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=17057/tid=17060] ppid=17053 vsize=1117716 CPUtime=504.85
/proc/17057/task/17060/stat : 17060 (manysat1.1_stat) R 17053 17053 27966 0 -1 4202560 13512 0 0 0 50423 62 0 0 25 0 4 0 1119105547 1144541184 267132 4294967295 134512640 135305190 3215156592 2989243584 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2033.32
Current children cumulated vsize (KiB) 1120132
Solver just ended. Dumping a history of the last processes samples
[startup+524.721 s]
/proc/loadavg: 4.27 4.29 4.28 7/102 18683
/proc/meminfo: memFree=1722456/3368532 swapFree=1953788/1959888
[pid=17053] ppid=17051 vsize=2416 CPUtime=13.6
/proc/17053/stat : 17053 (manysat.sh) S 17051 17053 27966 0 -1 4194304 369 46128 0 0 0 0 1336 24 18 0 1 0 1119103869 2473984 274 4294967295 134512640 135169312 3218288752 3218284968 3085827822 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/17053/statm: 604 274 231 161 0 43 0
[pid=17057] ppid=17053 vsize=1118016 CPUtime=2029.33
/proc/17057/stat : 17057 (manysat1.1_stat) R 17053 17053 27966 0 -1 4202496 267326 0 0 0 202569 364 0 0 25 0 4 0 1119105231 1144848384 267189 4294967295 134512640 135305190 3215156592 3215154484 134695249 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/17057/statm: 279504 267189 79 194 0 279308 0
[pid=17057/tid=17058] ppid=17053 vsize=1118016 CPUtime=505.88
/proc/17057/task/17058/stat : 17058 (manysat1.1_stat) R 17053 17053 27966 0 -1 4202560 23524 0 0 0 50520 68 0 0 25 0 4 0 1119105547 1144848384 267189 4294967295 134512640 135305190 3215156592 3006020800 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=17057/tid=17059] ppid=17053 vsize=1118016 CPUtime=506.52
/proc/17057/task/17059/stat : 17059 (manysat1.1_stat) R 17053 17053 27966 0 -1 4202560 111337 0 0 0 50526 126 0 0 25 0 4 0 1119105547 1144848384 267189 4294967295 134512640 135305190 3215156592 2997631936 134542034 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=17057/tid=17060] ppid=17053 vsize=1118016 CPUtime=507.25
/proc/17057/task/17060/stat : 17060 (manysat1.1_stat) R 17053 17053 27966 0 -1 4202560 13512 0 0 0 50663 62 0 0 25 0 4 0 1119105547 1144848384 267189 4294967295 134512640 135305190 3215156592 2989243288 134695249 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2042.93
Current children cumulated vsize (KiB) 1120432
[startup+531.111 s]
/proc/loadavg: 4.33 4.30 4.28 5/101 18758
/proc/meminfo: memFree=1721936/3368532 swapFree=1953788/1959888
[pid=17053] ppid=17051 vsize=2416 CPUtime=13.6
/proc/17053/stat : 17053 (manysat.sh) S 17051 17053 27966 0 -1 4194304 369 46128 0 0 0 0 1336 24 18 0 1 0 1119103869 2473984 274 4294967295 134512640 135169312 3218288752 3218284968 3085827822 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/17053/statm: 604 274 231 161 0 43 0
[pid=17057] ppid=17053 vsize=1118760 CPUtime=2054.77
/proc/17057/stat : 17057 (manysat1.1_stat) R 17053 17053 27966 0 -1 4202496 267494 0 0 0 205109 368 0 0 25 0 4 0 1119105231 1145610240 267357 4294967295 134512640 135305190 3215156592 3215154432 134551651 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/17057/statm: 279690 267357 79 194 0 279494 0
[pid=17057/tid=17058] ppid=17053 vsize=1118760 CPUtime=512.2
/proc/17057/task/17058/stat : 17058 (manysat1.1_stat) R 17053 17053 27966 0 -1 4202560 23541 0 0 0 51152 68 0 0 25 0 4 0 1119105547 1145610240 267357 4294967295 134512640 135305190 3215156592 3006020800 134528229 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=17057/tid=17059] ppid=17053 vsize=1118760 CPUtime=512.9
/proc/17057/task/17059/stat : 17059 (manysat1.1_stat) R 17053 17053 27966 0 -1 4202560 111481 0 0 0 51164 126 0 0 25 0 4 0 1119105547 1145610240 267357 4294967295 134512640 135305190 3215156592 2997632192 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=17057/tid=17060] ppid=17053 vsize=1118760 CPUtime=513.64
/proc/17057/task/17060/stat : 17060 (manysat1.1_stat) R 17053 17053 27966 0 -1 4202560 13512 0 0 0 51300 64 0 0 25 0 4 0 1119105547 1145610240 267357 4294967295 134512640 135305190 3215156592 2989243288 134695249 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2068.37
Current children cumulated vsize (KiB) 1121176
[startup+537.51 s]
/proc/loadavg: 4.38 4.32 4.29 5/101 18759
/proc/meminfo: memFree=1721776/3368532 swapFree=1953788/1959888
[pid=17053] ppid=17051 vsize=2416 CPUtime=13.6
/proc/17053/stat : 17053 (manysat.sh) S 17051 17053 27966 0 -1 4194304 369 46128 0 0 0 0 1336 24 18 0 1 0 1119103869 2473984 274 4294967295 134512640 135169312 3218288752 3218284968 3085827822 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/17053/statm: 604 274 231 161 0 43 0
[pid=17057] ppid=17053 vsize=1118920 CPUtime=2080.35
/proc/17057/stat : 17057 (manysat1.1_stat) R 17053 17053 27966 0 -1 4202496 267618 0 0 0 207665 370 0 0 25 0 4 0 1119105231 1145774080 267481 4294967295 134512640 135305190 3215156592 3215154436 134695249 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/17057/statm: 279730 267481 79 194 0 279534 0
[pid=17057/tid=17058] ppid=17053 vsize=1118920 CPUtime=518.6
/proc/17057/task/17058/stat : 17058 (manysat1.1_stat) R 17053 17053 27966 0 -1 4202560 23541 0 0 0 51792 68 0 0 25 0 4 0 1119105547 1145774080 267481 4294967295 134512640 135305190 3215156592 3006020800 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=17057/tid=17059] ppid=17053 vsize=1118920 CPUtime=519.28
/proc/17057/task/17059/stat : 17059 (manysat1.1_stat) R 17053 17053 27966 0 -1 4202560 111554 0 0 0 51801 127 0 0 25 0 4 0 1119105547 1145774080 267481 4294967295 134512640 135305190 3215156592 2997632192 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=17057/tid=17060] ppid=17053 vsize=1118920 CPUtime=520.04
/proc/17057/task/17060/stat : 17060 (manysat1.1_stat) R 17053 17053 27966 0 -1 4202560 13531 0 0 0 51940 64 0 0 25 0 4 0 1119105547 1145774080 267481 4294967295 134512640 135305190 3215156592 2989243584 134528224 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2093.95
Current children cumulated vsize (KiB) 1121336
[startup+539.11 s]
/proc/loadavg: 4.43 4.33 4.29 5/101 18759
/proc/meminfo: memFree=1721652/3368532 swapFree=1953788/1959888
[pid=17053] ppid=17051 vsize=2416 CPUtime=13.6
/proc/17053/stat : 17053 (manysat.sh) S 17051 17053 27966 0 -1 4194304 369 46128 0 0 0 0 1336 24 18 0 1 0 1119103869 2473984 274 4294967295 134512640 135169312 3218288752 3218284968 3085827822 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/17053/statm: 604 274 231 161 0 43 0
[pid=17057] ppid=17053 vsize=1119440 CPUtime=2086.71
/proc/17057/stat : 17057 (manysat1.1_stat) R 17053 17053 27966 0 -1 4202496 267684 0 0 0 208300 371 0 0 25 0 4 0 1119105231 1146306560 267547 4294967295 134512640 135305190 3215156592 3215154616 134695249 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/17057/statm: 279860 267547 79 194 0 279664 0
[pid=17057/tid=17058] ppid=17053 vsize=1119440 CPUtime=520.2
/proc/17057/task/17058/stat : 17058 (manysat1.1_stat) R 17053 17053 27966 0 -1 4202560 23560 0 0 0 51952 68 0 0 25 0 4 0 1119105547 1146306560 267547 4294967295 134512640 135305190 3215156592 3006020688 134529553 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=17057/tid=17059] ppid=17053 vsize=1119440 CPUtime=520.88
/proc/17057/task/17059/stat : 17059 (manysat1.1_stat) R 17053 17053 27966 0 -1 4202560 111592 0 0 0 51960 128 0 0 25 0 4 0 1119105547 1146306560 267547 4294967295 134512640 135305190 3215156592 2997632192 134528229 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=17057/tid=17060] ppid=17053 vsize=1119440 CPUtime=521.61
/proc/17057/task/17060/stat : 17060 (manysat1.1_stat) R 17053 17053 27966 0 -1 4202560 13538 0 0 0 52097 64 0 0 25 0 4 0 1119105547 1146306560 267547 4294967295 134512640 135305190 3215156592 2989243584 134528455 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2100.31
Current children cumulated vsize (KiB) 1121856
[startup+539.91 s]
/proc/loadavg: 4.43 4.33 4.29 5/101 18759
/proc/meminfo: memFree=1721652/3368532 swapFree=1953788/1959888
[pid=17053] ppid=17051 vsize=2416 CPUtime=13.6
/proc/17053/stat : 17053 (manysat.sh) S 17051 17053 27966 0 -1 4194304 369 46128 0 0 0 0 1336 24 18 0 1 0 1119103869 2473984 274 4294967295 134512640 135169312 3218288752 3218284968 3085827822 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/17053/statm: 604 274 231 161 0 43 0
[pid=17057] ppid=17053 vsize=1119440 CPUtime=2089.87
/proc/17057/stat : 17057 (manysat1.1_stat) R 17053 17053 27966 0 -1 4202496 267688 0 0 0 208616 371 0 0 25 0 4 0 1119105231 1146306560 267551 4294967295 134512640 135305190 3215156592 3215154656 134529624 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/17057/statm: 279860 267551 79 194 0 279664 0
[pid=17057/tid=17058] ppid=17053 vsize=1119440 CPUtime=520.98
/proc/17057/task/17058/stat : 17058 (manysat1.1_stat) R 17053 17053 27966 0 -1 4202560 23560 0 0 0 52030 68 0 0 25 0 4 0 1119105547 1146306560 267551 4294967295 134512640 135305190 3215156592 3006020688 134529379 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=17057/tid=17059] ppid=17053 vsize=1119440 CPUtime=521.68
/proc/17057/task/17059/stat : 17059 (manysat1.1_stat) R 17053 17053 27966 0 -1 4202560 111596 0 0 0 52040 128 0 0 25 0 4 0 1119105547 1146306560 267551 4294967295 134512640 135305190 3215156592 2997633456 134657578 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=17057/tid=17060] ppid=17053 vsize=1119440 CPUtime=522.41
/proc/17057/task/17060/stat : 17060 (manysat1.1_stat) R 17053 17053 27966 0 -1 4202560 13538 0 0 0 52177 64 0 0 25 0 4 0 1119105547 1146306560 267551 4294967295 134512640 135305190 3215156592 2989244848 134657576 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2103.47
Current children cumulated vsize (KiB) 1121856
[startup+540.71 s]
/proc/loadavg: 4.43 4.33 4.29 3/101 18759
/proc/meminfo: memFree=1721652/3368532 swapFree=1953788/1959888
[pid=17053] ppid=17051 vsize=2416 CPUtime=13.6
/proc/17053/stat : 17053 (manysat.sh) S 17051 17053 27966 0 -1 4194304 369 46128 0 0 0 0 1336 24 18 0 1 0 1119103869 2473984 274 4294967295 134512640 135169312 3218288752 3218284968 3085827822 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/17053/statm: 604 274 231 161 0 43 0
[pid=17057] ppid=17053 vsize=1119440 CPUtime=2091.07
/proc/17057/stat : 17057 (manysat1.1_stat) R 17053 17053 27966 0 -1 4202496 267688 0 0 0 208736 371 0 0 25 0 4 0 1119105231 1146306560 267551 4294967295 134512640 135305190 3215156592 3215154656 134529572 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/17057/statm: 279860 267551 79 194 0 279664 0
[pid=17057/tid=17058] ppid=17053 vsize=1119440 CPUtime=521.23
/proc/17057/task/17058/stat : 17058 (manysat1.1_stat) S 17053 17053 27966 0 -1 4202560 23560 0 0 0 52055 68 0 0 25 0 4 0 1119105547 1146306560 267551 4294967295 134512640 135305190 3215156592 3006022064 134657474 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=17057/tid=17059] ppid=17053 vsize=1119440 CPUtime=521.75
/proc/17057/task/17059/stat : 17059 (manysat1.1_stat) S 17053 17053 27966 0 -1 4202560 111596 0 0 0 52047 128 0 0 25 0 4 0 1119105547 1146306560 267551 4294967295 134512640 135305190 3215156592 2997633456 134657474 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=17057/tid=17060] ppid=17053 vsize=1119440 CPUtime=522.49
/proc/17057/task/17060/stat : 17060 (manysat1.1_stat) S 17053 17053 27966 0 -1 4202560 13538 0 0 0 52185 64 0 0 25 0 4 0 1119105547 1146306560 267551 4294967295 134512640 135305190 3215156592 2989244848 134657474 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2104.67
Current children cumulated vsize (KiB) 1121856
[startup+541.11 s]
/proc/loadavg: 4.43 4.33 4.29 2/99 18759
/proc/meminfo: memFree=2297988/3368532 swapFree=1953788/1959888
[pid=17053] ppid=17051 vsize=2416 CPUtime=13.6
/proc/17053/stat : 17053 (manysat.sh) S 17051 17053 27966 0 -1 4194304 369 46128 0 0 0 0 1336 24 18 0 1 0 1119103869 2473984 274 4294967295 134512640 135169312 3218288752 3218284968 3085827822 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/17053/statm: 604 274 231 161 0 43 0
[pid=17057] ppid=17053 vsize=0 CPUtime=2091.48
/proc/17057/stat : 17057 (manysat1.1_stat) Z 17053 17053 27966 0 -1 4202500 267705 0 0 0 208773 375 0 0 25 0 2 0 1119105231 0 0 4294967295 0 0 0 0 0 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/17057/statm: 0 0 0 0 0 0 0
[pid=17057/tid=17059] ppid=17053 vsize=0 CPUtime=521.79
/proc/17057/task/17059/stat : 17059 (manysat1.1_stat) R 17053 17053 27966 0 -1 4203588 111596 0 0 0 52047 132 0 0 18 0 2 0 1119105547 0 0 4294967295 0 0 0 0 0 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2105.08
Current children cumulated vsize (KiB) 2416
Child status: 20
Real time (s): 541.161
CPU time (s): 2105.13
CPU user time (s): 2101.09
CPU system time (s): 4.04
CPU usage (%): 389.003
Max. virtual memory (cumulated for all children) (KiB): 1121856
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2101.09
system time used= 4.04
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 314474
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= 28389
involuntary context switches= 98914
runsolver used 0.02 second user time and 0 second system time
The end
Begin job on at 2009-05-28 22:59:56
IDJOB=1781371
IDBENCH=71736
IDSOLVER=620
FILE ID=/1781371-1243544396
PBS_JOBID=
Free space on /tmp= 6441 MiB
SOLVER NAME= ManySAT 1.1 aimd 0/2009-03-20 (4 threads)
BENCH NAME= SAT_RACE06/velev-vliw-uns-4.0-9C1.cnf
COMMAND LINE= manysat.sh BENCHNAME aimd 0
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1781371-1243544396/watcher-1781371-1243544396 -o /tmp/evaluation-result-1781371-1243544396/solver-1781371-1243544396 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1781371-1243544396.cnf aimd 0
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 4
MD5SUM BENCH= 0c9a15d0f561e9d1bb438b04ae3c31af
RANDOM SEED= 1499399748
Linux (none) 2.6.21.5 #6 SMP Wed Jul 4 17:16:38 CEST 2007 i686 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU 5130 @ 2.00GHz
stepping : 6
cpu MHz : 1995.061
cache size : 4096 KB
physical id : 0
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 10
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 pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 3992.41
clflush size : 64
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU 5130 @ 2.00GHz
stepping : 6
cpu MHz : 1995.061
cache size : 4096 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 10
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 pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 3990.12
clflush size : 64
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU 5130 @ 2.00GHz
stepping : 6
cpu MHz : 1995.061
cache size : 4096 KB
physical id : 3
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 10
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 pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 3990.14
clflush size : 64
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU 5130 @ 2.00GHz
stepping : 6
cpu MHz : 1995.061
cache size : 4096 KB
physical id : 3
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 10
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 pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 3990.14
clflush size : 64
/proc/meminfo:
MemTotal: 3368532 kB
MemFree: 2831876 kB
Buffers: 66616 kB
Cached: 369480 kB
SwapCached: 2256 kB
Active: 189948 kB
Inactive: 255548 kB
HighTotal: 2489216 kB
HighFree: 2108304 kB
LowTotal: 879316 kB
LowFree: 723572 kB
SwapTotal: 1959888 kB
SwapFree: 1953788 kB
Dirty: 38272 kB
Writeback: 0 kB
AnonPages: 9136 kB
Mapped: 3140 kB
Slab: 81732 kB
SReclaimable: 67868 kB
SUnreclaim: 13864 kB
PageTables: 492 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 3644152 kB
Committed_AS: 88680 kB
VmallocTotal: 114680 kB
VmallocUsed: 1444 kB
VmallocChunk: 113072 kB
Free space on /tmp at the end= 6441 MiB
End job on at 2009-05-28 23:08:59