0.00/0.00 c Parsing...
1.01/1.08 c ==============================================================================
1.01/1.08 c | | ORIGINAL | LEARNT | |
1.01/1.08 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
1.01/1.08 c ==============================================================================
1.01/1.08 c | 0 | 1291713 3013997 | 387513 0 0 nan | 0.000 % |
7.20/7.29 c | 0 | 547995 2160666 | -- 0 -- -- | -- | -743716/-853326
7.20/7.30 c ==============================================================================
7.20/7.30 c Result : #vars: 68748 #clauses: 547995 #literals: 2160666
7.20/7.30 c CPU time: 6.99 s
7.20/7.30 c ==============================================================================
1274.70/326.99 c This is ManySAT 1.1 : 4 thread(s) on 4 core(s).
1274.70/326.99 c ============================[ Problem Statistics ]=============================
1274.70/326.99 c | |
1274.70/326.99 c threadId : 1
1274.70/326.99 c restarts : 6835
1274.70/326.99 c conflicts : 430563 (341 /sec)
1274.70/326.99 c decisions : 5121305 (1.61 % random) (4051 /sec)
1274.70/326.99 c propagations : 342499197 (270920 /sec)
1274.70/326.99 c conflict literals : 9087705 (19.35 % deleted)
1274.70/326.99 c Memory used : 458.88 MB
1274.70/326.99 c CPU time : 1264.21 s
1274.70/326.99
1274.70/326.99 c --->m=4, e=8, aimd=0, HOME/20046_many.cnf time: 316.053 conflicts: 430563
1275.04/327.02 s UNSATISFIABLE
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1776781-1243513526/watcher-1776781-1243513526 -o /tmp/evaluation-result-1776781-1243513526/solver-1776781-1243513526 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1776781-1243513526.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: 4.13 4.47 4.42 3/96 20046
/proc/meminfo: memFree=2924240/3368532 swapFree=1954076/1959888
[pid=20046] ppid=20044 vsize=2416 CPUtime=0
/proc/20046/stat : 20046 (manysat.sh) S 20044 20046 1628 0 -1 4194304 351 0 0 0 0 0 0 0 18 0 1 0 1105453941 2473984 274 4294967295 134512640 135169312 3215459776 3215458312 3085700846 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/20046/statm: 604 274 231 161 0 43 0
[pid=20047] ppid=20046 vsize=1168 CPUtime=0
/proc/20047/stat : 20047 (SatElite) R 20046 20046 1628 0 -1 4202496 232 0 0 0 0 0 0 0 18 0 1 0 1105453941 1196032 168 4294967295 134512640 135034092 3220572784 3220568744 134673244 0 0 0 3 0 0 0 17 2 0 0 0
/proc/20047/statm: 292 169 49 128 0 162 0
[startup+0.07724 s]
/proc/loadavg: 4.13 4.47 4.42 3/96 20046
/proc/meminfo: memFree=2924240/3368532 swapFree=1954076/1959888
[pid=20046] ppid=20044 vsize=2416 CPUtime=0
/proc/20046/stat : 20046 (manysat.sh) S 20044 20046 1628 0 -1 4194304 351 0 0 0 0 0 0 0 18 0 1 0 1105453941 2473984 274 4294967295 134512640 135169312 3215459776 3215458312 3085700846 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/20046/statm: 604 274 231 161 0 43 0
[pid=20047] ppid=20046 vsize=15692 CPUtime=0.07
/proc/20047/stat : 20047 (SatElite) R 20046 20046 1628 0 -1 4202496 3329 0 0 0 5 2 0 0 18 0 1 0 1105453941 16068608 3265 4294967295 134512640 135034092 3220572784 3220568744 134673244 0 0 0 3 0 0 0 17 2 0 0 0
/proc/20047/statm: 3923 3265 49 128 0 3793 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 18108
[startup+0.107226 s]
/proc/loadavg: 4.13 4.47 4.42 3/96 20046
/proc/meminfo: memFree=2924240/3368532 swapFree=1954076/1959888
[pid=20046] ppid=20044 vsize=2416 CPUtime=0
/proc/20046/stat : 20046 (manysat.sh) S 20044 20046 1628 0 -1 4194304 351 0 0 0 0 0 0 0 18 0 1 0 1105453941 2473984 274 4294967295 134512640 135169312 3215459776 3215458312 3085700846 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/20046/statm: 604 274 231 161 0 43 0
[pid=20047] ppid=20046 vsize=19504 CPUtime=0.1
/proc/20047/stat : 20047 (SatElite) R 20046 20046 1628 0 -1 4202496 4485 0 0 0 7 3 0 0 18 0 1 0 1105453941 19972096 4421 4294967295 134512640 135034092 3220572784 3220569128 134691005 0 0 0 3 0 0 0 17 2 0 0 0
/proc/20047/statm: 4876 4422 49 128 0 4746 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 21920
[startup+0.307212 s]
/proc/loadavg: 4.13 4.47 4.42 3/96 20046
/proc/meminfo: memFree=2924240/3368532 swapFree=1954076/1959888
[pid=20046] ppid=20044 vsize=2416 CPUtime=0
/proc/20046/stat : 20046 (manysat.sh) S 20044 20046 1628 0 -1 4194304 351 0 0 0 0 0 0 0 18 0 1 0 1105453941 2473984 274 4294967295 134512640 135169312 3215459776 3215458312 3085700846 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/20046/statm: 604 274 231 161 0 43 0
[pid=20047] ppid=20046 vsize=59836 CPUtime=0.3
/proc/20047/stat : 20047 (SatElite) R 20046 20046 1628 0 -1 4202496 12219 0 0 0 25 5 0 0 18 0 1 0 1105453941 61272064 12155 4294967295 134512640 135034092 3220572784 3220569128 134691005 0 0 0 3 0 0 0 17 2 0 0 0
/proc/20047/statm: 14992 12157 49 128 0 14862 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 62252
[startup+0.707186 s]
/proc/loadavg: 4.13 4.47 4.42 3/96 20046
/proc/meminfo: memFree=2924240/3368532 swapFree=1954076/1959888
[pid=20046] ppid=20044 vsize=2416 CPUtime=0
/proc/20046/stat : 20046 (manysat.sh) S 20044 20046 1628 0 -1 4194304 351 0 0 0 0 0 0 0 18 0 1 0 1105453941 2473984 274 4294967295 134512640 135169312 3215459776 3215458312 3085700846 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/20046/statm: 604 274 231 161 0 43 0
[pid=20047] ppid=20046 vsize=126992 CPUtime=0.7
/proc/20047/stat : 20047 (SatElite) R 20046 20046 1628 0 -1 4202496 27169 0 0 0 61 9 0 0 18 0 1 0 1105453941 130039808 27105 4294967295 134512640 135034092 3220572784 3220569072 134544849 0 0 0 3 0 0 0 17 2 0 0 0
/proc/20047/statm: 31748 27105 49 128 0 31618 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 129408
[startup+1.50714 s]
/proc/loadavg: 4.13 4.47 4.42 2/98 20048
/proc/meminfo: memFree=2768104/3368532 swapFree=1954076/1959888
[pid=20046] ppid=20044 vsize=2416 CPUtime=0
/proc/20046/stat : 20046 (manysat.sh) S 20044 20046 1628 0 -1 4194304 351 0 0 0 0 0 0 0 18 0 1 0 1105453941 2473984 274 4294967295 134512640 135169312 3215459776 3215458312 3085700846 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/20046/statm: 604 274 231 161 0 43 0
[pid=20047] ppid=20046 vsize=192328 CPUtime=1.5
/proc/20047/stat : 20047 (SatElite) R 20046 20046 1628 0 -1 4202496 47384 0 0 0 137 13 0 0 20 0 1 0 1105453941 196943872 43737 4294967295 134512640 135034092 3220572784 3220568780 134691101 0 0 0 3 0 0 0 17 2 0 0 0
/proc/20047/statm: 48082 43737 67 128 0 47952 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 194744
[startup+3.10702 s]
/proc/loadavg: 4.13 4.47 4.42 2/98 20048
/proc/meminfo: memFree=2738996/3368532 swapFree=1954076/1959888
[pid=20046] ppid=20044 vsize=2416 CPUtime=0
/proc/20046/stat : 20046 (manysat.sh) S 20044 20046 1628 0 -1 4194304 351 0 0 0 0 0 0 0 18 0 1 0 1105453941 2473984 274 4294967295 134512640 135169312 3215459776 3215458312 3085700846 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/20046/statm: 604 274 231 161 0 43 0
[pid=20047] ppid=20046 vsize=201360 CPUtime=3.1
/proc/20047/stat : 20047 (SatElite) R 20046 20046 1628 0 -1 4202496 49438 0 0 0 290 20 0 0 25 0 1 0 1105453941 206192640 45791 4294967295 134512640 135034092 3220572784 3220568780 134691101 0 0 0 3 0 0 0 17 2 0 0 0
/proc/20047/statm: 50340 45791 67 128 0 50210 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 203776
[startup+6.30681 s]
/proc/loadavg: 3.88 4.41 4.40 2/98 20048
/proc/meminfo: memFree=2695200/3368532 swapFree=1954076/1959888
[pid=20046] ppid=20044 vsize=2416 CPUtime=0
/proc/20046/stat : 20046 (manysat.sh) S 20044 20046 1628 0 -1 4194304 351 0 0 0 0 0 0 0 18 0 1 0 1105453941 2473984 274 4294967295 134512640 135169312 3215459776 3215458312 3085700846 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/20046/statm: 604 274 231 161 0 43 0
[pid=20047] ppid=20046 vsize=209600 CPUtime=6.3
/proc/20047/stat : 20047 (SatElite) R 20046 20046 1628 0 -1 4202496 52440 0 0 0 600 30 0 0 25 0 1 0 1105453941 214630400 47876 4294967295 134512640 135034092 3220572784 3220569328 134579342 0 0 0 3 0 0 0 17 2 0 0 0
/proc/20047/statm: 52400 47876 67 128 0 52270 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 212016
[startup+12.7096 s]
/proc/loadavg: 3.89 4.40 4.40 4/101 20236
/proc/meminfo: memFree=2695844/3368532 swapFree=1954076/1959888
[pid=20046] ppid=20044 vsize=2420 CPUtime=8.15
/proc/20046/stat : 20046 (manysat.sh) S 20044 20046 1628 0 -1 4194304 371 56860 0 0 0 0 779 36 18 0 1 0 1105453941 2478080 275 4294967295 134512640 135169312 3215459776 3215455992 3085700846 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/20046/statm: 605 275 231 161 0 44 0
[pid=20050] ppid=20046 vsize=212488 CPUtime=13.55
/proc/20050/stat : 20050 (manysat1.1_stat) R 20046 20046 1628 0 -1 4202496 45181 0 0 0 1255 100 0 0 16 0 4 0 1105454757 217587712 45029 4294967295 134512640 135305190 3216762608 3216760720 134869156 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/20050/statm: 53122 45029 79 194 0 52926 0
[pid=20050/tid=20234] ppid=20046 vsize=212488 CPUtime=3.18
/proc/20050/task/20234/stat : 20234 (manysat1.1_stat) D 20046 20046 1628 0 -1 4202560 2163 0 0 0 303 15 0 0 15 0 4 0 1105454881 217587712 45029 4294967295 134512640 135305190 3216762608 3048934516 134694990 0 0 0 3 3223098951 0 0 -1 2 0 0 0
[pid=20050/tid=20235] ppid=20046 vsize=212488 CPUtime=3.16
/proc/20050/task/20235/stat : 20235 (manysat1.1_stat) R 20046 20046 1628 0 -1 4202560 2418 0 0 0 293 23 0 0 15 0 4 0 1105454881 217587712 45029 4294967295 134512640 135305190 3216762608 3040545732 134840070 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=20050/tid=20236] ppid=20046 vsize=212488 CPUtime=2.96
/proc/20050/task/20236/stat : 20236 (manysat1.1_stat) R 20046 20046 1628 0 -1 4202560 1785 0 0 0 279 17 0 0 16 0 4 0 1105454881 217587712 45029 4294967295 134512640 135305190 3216762608 3032157092 134695249 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 21.7
Current children cumulated vsize (KiB) 214908
[startup+25.5053 s]
/proc/loadavg: 4.28 4.47 4.42 6/101 20236
/proc/meminfo: memFree=2660788/3368532 swapFree=1954076/1959888
[pid=20046] ppid=20044 vsize=2420 CPUtime=8.15
/proc/20046/stat : 20046 (manysat.sh) S 20044 20046 1628 0 -1 4194304 371 56860 0 0 0 0 779 36 18 0 1 0 1105453941 2478080 275 4294967295 134512640 135169312 3215459776 3215455992 3085700846 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/20046/statm: 605 275 231 161 0 44 0
[pid=20050] ppid=20046 vsize=245508 CPUtime=64.4
/proc/20050/stat : 20050 (manysat1.1_stat) R 20046 20046 1628 0 -1 4202496 53427 0 0 0 6320 120 0 0 16 0 4 0 1105454757 251400192 53266 4294967295 134512640 135305190 3216762608 3216760784 134528298 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/20050/statm: 61377 53266 79 194 0 61181 0
[pid=20050/tid=20234] ppid=20046 vsize=245508 CPUtime=15.93
/proc/20050/task/20234/stat : 20234 (manysat1.1_stat) R 20046 20046 1628 0 -1 4202560 3232 0 0 0 1575 18 0 0 16 0 4 0 1105454881 251400192 53266 4294967295 134512640 135305190 3216762608 3048934592 134528512 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=20050/tid=20235] ppid=20046 vsize=245508 CPUtime=15.89
/proc/20050/task/20235/stat : 20235 (manysat1.1_stat) R 20046 20046 1628 0 -1 4202560 6786 0 0 0 1559 30 0 0 16 0 4 0 1105454881 251400192 53266 4294967295 134512640 135305190 3216762608 3040545984 134528229 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=20050/tid=20236] ppid=20046 vsize=245508 CPUtime=15.69
/proc/20050/task/20236/stat : 20236 (manysat1.1_stat) R 20046 20046 1628 0 -1 4202560 2910 0 0 0 1548 21 0 0 16 0 4 0 1105454881 251400192 53266 4294967295 134512640 135305190 3216762608 3032157376 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 72.55
Current children cumulated vsize (KiB) 247928
[startup+51.104 s]
/proc/loadavg: 4.41 4.49 4.43 5/101 20244
/proc/meminfo: memFree=2621132/3368532 swapFree=1954076/1959888
[pid=20046] ppid=20044 vsize=2420 CPUtime=8.15
/proc/20046/stat : 20046 (manysat.sh) S 20044 20046 1628 0 -1 4194304 371 56860 0 0 0 0 779 36 18 0 1 0 1105453941 2478080 275 4294967295 134512640 135169312 3215459776 3215455992 3085700846 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/20046/statm: 605 275 231 161 0 44 0
[pid=20050] ppid=20046 vsize=286316 CPUtime=166.67
/proc/20050/stat : 20050 (manysat1.1_stat) R 20046 20046 1628 0 -1 4202496 63485 0 0 0 16534 133 0 0 25 0 4 0 1105454757 293187584 63324 4294967295 134512640 135305190 3216762608 3216760536 134840070 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/20050/statm: 71579 63324 79 194 0 71383 0
[pid=20050/tid=20234] ppid=20046 vsize=286316 CPUtime=41.49
/proc/20050/task/20234/stat : 20234 (manysat1.1_stat) R 20046 20046 1628 0 -1 4202560 4528 0 0 0 4128 21 0 0 25 0 4 0 1105454881 293187584 63324 4294967295 134512640 135305190 3216762608 3048934592 134528252 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=20050/tid=20235] ppid=20046 vsize=286316 CPUtime=41.41
/proc/20050/task/20235/stat : 20235 (manysat1.1_stat) R 20046 20046 1628 0 -1 4202560 12832 0 0 0 4108 33 0 0 25 0 4 0 1105454881 293187584 63324 4294967295 134512640 135305190 3216762608 3040545600 134551978 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=20050/tid=20236] ppid=20046 vsize=286316 CPUtime=41.29
/proc/20050/task/20236/stat : 20236 (manysat1.1_stat) R 20046 20046 1628 0 -1 4202560 4071 0 0 0 4103 26 0 0 25 0 4 0 1105454881 293187584 63324 4294967295 134512640 135305190 3216762608 3032157264 134529062 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 174.82
Current children cumulated vsize (KiB) 288736
[startup+102.321 s]
/proc/loadavg: 4.32 4.44 4.41 5/101 20430
/proc/meminfo: memFree=2591400/3368532 swapFree=1954076/1959888
[pid=20046] ppid=20044 vsize=2420 CPUtime=8.15
/proc/20046/stat : 20046 (manysat.sh) S 20044 20046 1628 0 -1 4194304 371 56860 0 0 0 0 779 36 18 0 1 0 1105453941 2478080 275 4294967295 134512640 135169312 3215459776 3215455992 3085700846 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/20046/statm: 605 275 231 161 0 44 0
[pid=20050] ppid=20046 vsize=313516 CPUtime=370.92
/proc/20050/stat : 20050 (manysat1.1_stat) R 20046 20046 1628 0 -1 4202496 70458 0 0 0 36927 165 0 0 25 0 4 0 1105454757 321040384 70297 4294967295 134512640 135305190 3216762608 3216760784 134528298 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/20050/statm: 78379 70297 79 194 0 78183 0
[pid=20050/tid=20234] ppid=20046 vsize=313516 CPUtime=92.54
/proc/20050/task/20234/stat : 20234 (manysat1.1_stat) R 20046 20046 1628 0 -1 4202560 5240 0 0 0 9221 33 0 0 25 0 4 0 1105454881 321040384 70297 4294967295 134512640 135305190 3216762608 3048934592 134528512 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=20050/tid=20235] ppid=20046 vsize=313516 CPUtime=92.39
/proc/20050/task/20235/stat : 20235 (manysat1.1_stat) R 20046 20046 1628 0 -1 4202560 17280 0 0 0 9200 39 0 0 25 0 4 0 1105454881 321040384 70297 4294967295 134512640 135305190 3216762608 3040545984 134528229 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=20050/tid=20236] ppid=20046 vsize=313516 CPUtime=92.39
/proc/20050/task/20236/stat : 20236 (manysat1.1_stat) R 20046 20046 1628 0 -1 4202560 4935 0 0 0 9206 33 0 0 25 0 4 0 1105454881 321040384 70297 4294967295 134512640 135305190 3216762608 3032157376 134528229 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 379.07
Current children cumulated vsize (KiB) 315936
[startup+162.316 s]
/proc/loadavg: 4.54 4.49 4.43 5/101 20618
/proc/meminfo: memFree=2540600/3368532 swapFree=1954076/1959888
[pid=20046] ppid=20044 vsize=2420 CPUtime=8.15
/proc/20046/stat : 20046 (manysat.sh) S 20044 20046 1628 0 -1 4194304 371 56860 0 0 0 0 779 36 18 0 1 0 1105453941 2478080 275 4294967295 134512640 135169312 3215459776 3215455992 3085700846 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/20046/statm: 605 275 231 161 0 44 0
[pid=20050] ppid=20046 vsize=367060 CPUtime=610.29
/proc/20050/stat : 20050 (manysat1.1_stat) R 20046 20046 1628 0 -1 4202496 83469 0 0 0 60838 191 0 0 25 0 4 0 1105454757 375869440 83308 4294967295 134512640 135305190 3216762608 3216760784 134528229 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/20050/statm: 91765 83308 79 194 0 91569 0
[pid=20050/tid=20234] ppid=20046 vsize=367060 CPUtime=152.37
/proc/20050/task/20234/stat : 20234 (manysat1.1_stat) R 20046 20046 1628 0 -1 4202560 6932 0 0 0 15197 40 0 0 25 0 4 0 1105454881 375869440 83308 4294967295 134512640 135305190 3216762608 3048934592 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=20050/tid=20235] ppid=20046 vsize=367060 CPUtime=152.03
/proc/20050/task/20235/stat : 20235 (manysat1.1_stat) R 20046 20046 1628 0 -1 4202560 24976 0 0 0 15154 49 0 0 25 0 4 0 1105454881 375869440 83308 4294967295 134512640 135305190 3216762608 3040545984 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=20050/tid=20236] ppid=20046 vsize=367060 CPUtime=152.35
/proc/20050/task/20236/stat : 20236 (manysat1.1_stat) R 20046 20046 1628 0 -1 4202560 6398 0 0 0 15199 36 0 0 25 0 4 0 1105454881 375869440 83308 4294967295 134512640 135305190 3216762608 3032157376 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 618.44
Current children cumulated vsize (KiB) 369480
[startup+222.312 s]
/proc/loadavg: 4.28 4.43 4.41 5/101 20808
/proc/meminfo: memFree=2488420/3368532 swapFree=1954076/1959888
[pid=20046] ppid=20044 vsize=2420 CPUtime=8.15
################
# More data... #
################
/proc/20050/stat : 20050 (manysat1.1_stat) R 20046 20046 1628 0 -1 4202496 96374 0 0 0 84736 217 0 0 25 0 4 0 1105454757 430600192 96213 4294967295 134512640 135305190 3216762608 3216760784 134528298 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/20050/statm: 105127 96213 79 194 0 104931 0
[pid=20050/tid=20234] ppid=20046 vsize=420508 CPUtime=212.2
/proc/20050/task/20234/stat : 20234 (manysat1.1_stat) R 20046 20046 1628 0 -1 4202560 8215 0 0 0 21175 45 0 0 25 0 4 0 1105454881 430600192 96213 4294967295 134512640 135305190 3216762608 3048934592 134528329 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=20050/tid=20235] ppid=20046 vsize=420508 CPUtime=211.94
/proc/20050/task/20235/stat : 20235 (manysat1.1_stat) R 20046 20046 1628 0 -1 4202560 33850 0 0 0 21129 65 0 0 25 0 4 0 1105454881 430600192 96213 4294967295 134512640 135305190 3216762608 3040545984 134528768 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=20050/tid=20236] ppid=20046 vsize=420508 CPUtime=212.26
/proc/20050/task/20236/stat : 20236 (manysat1.1_stat) R 20046 20046 1628 0 -1 4202560 7537 0 0 0 21190 36 0 0 25 0 4 0 1105454881 430600192 96213 4294967295 134512640 135305190 3216762608 3032157376 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 857.68
Current children cumulated vsize (KiB) 422928
[startup+282.308 s]
/proc/loadavg: 4.50 4.46 4.42 5/101 20996
/proc/meminfo: memFree=2451984/3368532 swapFree=1954076/1959888
[pid=20046] ppid=20044 vsize=2420 CPUtime=8.15
/proc/20046/stat : 20046 (manysat.sh) S 20044 20046 1628 0 -1 4194304 371 56860 0 0 0 0 779 36 18 0 1 0 1105453941 2478080 275 4294967295 134512640 135169312 3215459776 3215455992 3085700846 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/20046/statm: 605 275 231 161 0 44 0
[pid=20050] ppid=20046 vsize=458900 CPUtime=1088.76
/proc/20050/stat : 20050 (manysat1.1_stat) R 20046 20046 1628 0 -1 4202496 105715 0 0 0 108627 249 0 0 25 0 4 0 1105454757 469913600 105550 4294967295 134512640 135305190 3216762608 3216760784 134528503 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/20050/statm: 114725 105550 79 194 0 114529 0
[pid=20050/tid=20234] ppid=20046 vsize=458900 CPUtime=272.09
/proc/20050/task/20234/stat : 20234 (manysat1.1_stat) R 20046 20046 1628 0 -1 4202560 9704 0 0 0 27161 48 0 0 25 0 4 0 1105454881 469913600 105550 4294967295 134512640 135305190 3216762608 3048934592 134528319 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=20050/tid=20235] ppid=20046 vsize=458900 CPUtime=271.91
/proc/20050/task/20235/stat : 20235 (manysat1.1_stat) R 20046 20046 1628 0 -1 4202560 38731 0 0 0 27117 74 0 0 25 0 4 0 1105454881 469913600 105550 4294967295 134512640 135305190 3216762608 3040545984 134528768 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=20050/tid=20236] ppid=20046 vsize=458900 CPUtime=272.12
/proc/20050/task/20236/stat : 20236 (manysat1.1_stat) R 20046 20046 1628 0 -1 4202560 8583 0 0 0 27161 51 0 0 25 0 4 0 1105454881 469913600 105550 4294967295 134512640 135305190 3216762608 3032157376 134528189 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1096.91
Current children cumulated vsize (KiB) 461320
Solver just ended. Dumping a history of the last processes samples
[startup+307.117 s]
/proc/loadavg: 4.45 4.45 4.42 5/101 20997
/proc/meminfo: memFree=2441252/3368532 swapFree=1954076/1959888
[pid=20046] ppid=20044 vsize=2420 CPUtime=8.15
/proc/20046/stat : 20046 (manysat.sh) S 20044 20046 1628 0 -1 4194304 371 56860 0 0 0 0 779 36 18 0 1 0 1105453941 2478080 275 4294967295 134512640 135169312 3215459776 3215455992 3085700846 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/20046/statm: 605 275 231 161 0 44 0
[pid=20050] ppid=20046 vsize=467848 CPUtime=1187.75
/proc/20050/stat : 20050 (manysat1.1_stat) R 20046 20046 1628 0 -1 4202496 108124 0 0 0 118515 260 0 0 25 0 4 0 1105454757 479076352 107959 4294967295 134512640 135305190 3216762608 3216760784 134528229 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/20050/statm: 116962 107959 79 194 0 116766 0
[pid=20050/tid=20234] ppid=20046 vsize=467848 CPUtime=296.83
/proc/20050/task/20234/stat : 20234 (manysat1.1_stat) R 20046 20046 1628 0 -1 4202560 10155 0 0 0 29632 51 0 0 25 0 4 0 1105454881 479076352 107959 4294967295 134512640 135305190 3216762608 3048934592 134528256 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=20050/tid=20235] ppid=20046 vsize=467848 CPUtime=296.71
/proc/20050/task/20235/stat : 20235 (manysat1.1_stat) R 20046 20046 1628 0 -1 4202560 39546 0 0 0 29597 74 0 0 25 0 4 0 1105454881 479076352 107959 4294967295 134512640 135305190 3216762608 3040545984 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=20050/tid=20236] ppid=20046 vsize=467848 CPUtime=296.78
/proc/20050/task/20236/stat : 20236 (manysat1.1_stat) R 20046 20046 1628 0 -1 4202560 9039 0 0 0 29623 55 0 0 25 0 4 0 1105454881 479076352 107959 4294967295 134512640 135305190 3216762608 3032157376 134528768 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1195.9
Current children cumulated vsize (KiB) 470268
[startup+319.916 s]
/proc/loadavg: 4.46 4.45 4.42 5/101 21181
/proc/meminfo: memFree=2438040/3368532 swapFree=1954076/1959888
[pid=20046] ppid=20044 vsize=2420 CPUtime=8.15
/proc/20046/stat : 20046 (manysat.sh) S 20044 20046 1628 0 -1 4194304 371 56860 0 0 0 0 779 36 18 0 1 0 1105453941 2478080 275 4294967295 134512640 135169312 3215459776 3215455992 3085700846 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/20046/statm: 605 275 231 161 0 44 0
[pid=20050] ppid=20046 vsize=469456 CPUtime=1238.55
/proc/20050/stat : 20050 (manysat1.1_stat) R 20046 20046 1628 0 -1 4202496 108544 0 0 0 123591 264 0 0 25 0 4 0 1105454757 480722944 108379 4294967295 134512640 135305190 3216762608 3216760784 134528480 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/20050/statm: 117364 108379 79 194 0 117168 0
[pid=20050/tid=20234] ppid=20046 vsize=469456 CPUtime=309.51
/proc/20050/task/20234/stat : 20234 (manysat1.1_stat) R 20046 20046 1628 0 -1 4202560 10156 0 0 0 30898 53 0 0 25 0 4 0 1105454881 480722944 108379 4294967295 134512640 135305190 3216762608 3048934592 134528768 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=20050/tid=20235] ppid=20046 vsize=469456 CPUtime=309.47
/proc/20050/task/20235/stat : 20235 (manysat1.1_stat) R 20046 20046 1628 0 -1 4202560 39948 0 0 0 30872 75 0 0 25 0 4 0 1105454881 480722944 108379 4294967295 134512640 135305190 3216762608 3040545984 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=20050/tid=20236] ppid=20046 vsize=469456 CPUtime=309.48
/proc/20050/task/20236/stat : 20236 (manysat1.1_stat) R 20046 20046 1628 0 -1 4202560 9039 0 0 0 30892 56 0 0 25 0 4 0 1105454881 480722944 108379 4294967295 134512640 135305190 3216762608 3032157376 134528523 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1246.7
Current children cumulated vsize (KiB) 471876
[startup+323.116 s]
/proc/loadavg: 4.42 4.45 4.42 5/101 21181
/proc/meminfo: memFree=2438040/3368532 swapFree=1954076/1959888
[pid=20046] ppid=20044 vsize=2420 CPUtime=8.15
/proc/20046/stat : 20046 (manysat.sh) S 20044 20046 1628 0 -1 4194304 371 56860 0 0 0 0 779 36 18 0 1 0 1105453941 2478080 275 4294967295 134512640 135169312 3215459776 3215455992 3085700846 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/20046/statm: 605 275 231 161 0 44 0
[pid=20050] ppid=20046 vsize=469744 CPUtime=1251.35
/proc/20050/stat : 20050 (manysat1.1_stat) R 20046 20046 1628 0 -1 4202496 108608 0 0 0 124870 265 0 0 25 0 4 0 1105454757 481017856 108443 4294967295 134512640 135305190 3216762608 3216760784 134528480 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/20050/statm: 117436 108443 79 194 0 117240 0
[pid=20050/tid=20234] ppid=20046 vsize=469744 CPUtime=312.71
/proc/20050/task/20234/stat : 20234 (manysat1.1_stat) R 20046 20046 1628 0 -1 4202560 10156 0 0 0 31218 53 0 0 25 0 4 0 1105454881 481017856 108443 4294967295 134512640 135305190 3216762608 3048934592 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=20050/tid=20235] ppid=20046 vsize=469744 CPUtime=312.67
/proc/20050/task/20235/stat : 20235 (manysat1.1_stat) R 20046 20046 1628 0 -1 4202560 39996 0 0 0 31192 75 0 0 25 0 4 0 1105454881 481017856 108443 4294967295 134512640 135305190 3216762608 3040545984 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=20050/tid=20236] ppid=20046 vsize=469744 CPUtime=312.68
/proc/20050/task/20236/stat : 20236 (manysat1.1_stat) R 20046 20046 1628 0 -1 4202560 9039 0 0 0 31211 57 0 0 25 0 4 0 1105454881 481017856 108443 4294967295 134512640 135305190 3216762608 3032157376 134528310 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1259.5
Current children cumulated vsize (KiB) 472164
[startup+324.715 s]
/proc/loadavg: 4.42 4.45 4.42 5/101 21181
/proc/meminfo: memFree=2437948/3368532 swapFree=1954076/1959888
[pid=20046] ppid=20044 vsize=2420 CPUtime=8.15
/proc/20046/stat : 20046 (manysat.sh) S 20044 20046 1628 0 -1 4194304 371 56860 0 0 0 0 779 36 18 0 1 0 1105453941 2478080 275 4294967295 134512640 135169312 3215459776 3215455992 3085700846 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/20046/statm: 605 275 231 161 0 44 0
[pid=20050] ppid=20046 vsize=469744 CPUtime=1257.74
/proc/20050/stat : 20050 (manysat1.1_stat) R 20046 20046 1628 0 -1 4202496 108627 0 0 0 125509 265 0 0 25 0 4 0 1105454757 481017856 108462 4294967295 134512640 135305190 3216762608 3216760452 134695249 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/20050/statm: 117436 108462 79 194 0 117240 0
[pid=20050/tid=20234] ppid=20046 vsize=469744 CPUtime=314.31
/proc/20050/task/20234/stat : 20234 (manysat1.1_stat) R 20046 20046 1628 0 -1 4202560 10159 0 0 0 31378 53 0 0 25 0 4 0 1105454881 481017856 108462 4294967295 134512640 135305190 3216762608 3048934592 134528229 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=20050/tid=20235] ppid=20046 vsize=469744 CPUtime=314.27
/proc/20050/task/20235/stat : 20235 (manysat1.1_stat) R 20046 20046 1628 0 -1 4202560 40010 0 0 0 31352 75 0 0 25 0 4 0 1105454881 481017856 108462 4294967295 134512640 135305190 3216762608 3040545984 134530561 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=20050/tid=20236] ppid=20046 vsize=469744 CPUtime=314.28
/proc/20050/task/20236/stat : 20236 (manysat1.1_stat) R 20046 20046 1628 0 -1 4202560 9039 0 0 0 31371 57 0 0 25 0 4 0 1105454881 481017856 108462 4294967295 134512640 135305190 3216762608 3032157376 134528263 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1265.89
Current children cumulated vsize (KiB) 472164
[startup+326.315 s]
/proc/loadavg: 4.39 4.44 4.42 5/101 21181
/proc/meminfo: memFree=2437824/3368532 swapFree=1954076/1959888
[pid=20046] ppid=20044 vsize=2420 CPUtime=8.15
/proc/20046/stat : 20046 (manysat.sh) S 20044 20046 1628 0 -1 4194304 371 56860 0 0 0 0 779 36 18 0 1 0 1105453941 2478080 275 4294967295 134512640 135169312 3215459776 3215455992 3085700846 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/20046/statm: 605 275 231 161 0 44 0
[pid=20050] ppid=20046 vsize=469884 CPUtime=1264.15
/proc/20050/stat : 20050 (manysat1.1_stat) R 20046 20046 1628 0 -1 4202496 108646 0 0 0 126149 266 0 0 25 0 4 0 1105454757 481161216 108481 4294967295 134512640 135305190 3216762608 3216760784 134528594 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/20050/statm: 117471 108481 79 194 0 117275 0
[pid=20050/tid=20234] ppid=20046 vsize=469884 CPUtime=315.91
/proc/20050/task/20234/stat : 20234 (manysat1.1_stat) R 20046 20046 1628 0 -1 4202560 10163 0 0 0 31538 53 0 0 25 0 4 0 1105454881 481161216 108481 4294967295 134512640 135305190 3216762608 3048934592 134528229 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=20050/tid=20235] ppid=20046 vsize=469884 CPUtime=315.87
/proc/20050/task/20235/stat : 20235 (manysat1.1_stat) R 20046 20046 1628 0 -1 4202560 40017 0 0 0 31512 75 0 0 25 0 4 0 1105454881 481161216 108481 4294967295 134512640 135305190 3216762608 3040545984 134528768 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=20050/tid=20236] ppid=20046 vsize=469884 CPUtime=315.88
/proc/20050/task/20236/stat : 20236 (manysat1.1_stat) R 20046 20046 1628 0 -1 4202560 9040 0 0 0 31530 58 0 0 25 0 4 0 1105454881 481161216 108481 4294967295 134512640 135305190 3216762608 3032157376 134528480 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1272.3
Current children cumulated vsize (KiB) 472304
[startup+326.715 s]
/proc/loadavg: 4.39 4.44 4.42 5/101 21182
/proc/meminfo: memFree=2437824/3368532 swapFree=1954076/1959888
[pid=20046] ppid=20044 vsize=2420 CPUtime=8.15
/proc/20046/stat : 20046 (manysat.sh) S 20044 20046 1628 0 -1 4194304 371 56860 0 0 0 0 779 36 18 0 1 0 1105453941 2478080 275 4294967295 134512640 135169312 3215459776 3215455992 3085700846 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/20046/statm: 605 275 231 161 0 44 0
[pid=20050] ppid=20046 vsize=469884 CPUtime=1265.75
/proc/20050/stat : 20050 (manysat1.1_stat) R 20046 20046 1628 0 -1 4202496 108660 0 0 0 126309 266 0 0 25 0 4 0 1105454757 481161216 108495 4294967295 134512640 135305190 3216762608 3216760632 134695249 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/20050/statm: 117471 108495 79 194 0 117275 0
[pid=20050/tid=20234] ppid=20046 vsize=469884 CPUtime=316.31
/proc/20050/task/20234/stat : 20234 (manysat1.1_stat) R 20046 20046 1628 0 -1 4202560 10165 0 0 0 31578 53 0 0 25 0 4 0 1105454881 481161216 108495 4294967295 134512640 135305190 3216762608 3048934592 134528189 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=20050/tid=20235] ppid=20046 vsize=469884 CPUtime=316.27
/proc/20050/task/20235/stat : 20235 (manysat1.1_stat) R 20046 20046 1628 0 -1 4202560 40019 0 0 0 31552 75 0 0 25 0 4 0 1105454881 481161216 108495 4294967295 134512640 135305190 3216762608 3040545984 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=20050/tid=20236] ppid=20046 vsize=469884 CPUtime=316.28
/proc/20050/task/20236/stat : 20236 (manysat1.1_stat) R 20046 20046 1628 0 -1 4202560 9044 0 0 0 31570 58 0 0 25 0 4 0 1105454881 481161216 108495 4294967295 134512640 135305190 3216762608 3032157376 134528768 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1273.9
Current children cumulated vsize (KiB) 472304
[startup+326.915 s]
/proc/loadavg: 4.39 4.44 4.42 5/101 21182
/proc/meminfo: memFree=2437824/3368532 swapFree=1954076/1959888
[pid=20046] ppid=20044 vsize=2420 CPUtime=8.15
/proc/20046/stat : 20046 (manysat.sh) S 20044 20046 1628 0 -1 4194304 371 56860 0 0 0 0 779 36 18 0 1 0 1105453941 2478080 275 4294967295 134512640 135169312 3215459776 3215455992 3085700846 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/20046/statm: 605 275 231 161 0 44 0
[pid=20050] ppid=20046 vsize=469884 CPUtime=1266.55
/proc/20050/stat : 20050 (manysat1.1_stat) R 20046 20046 1628 0 -1 4202496 108668 0 0 0 126389 266 0 0 25 0 4 0 1105454757 481161216 108503 4294967295 134512640 135305190 3216762608 3216760784 134528455 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/20050/statm: 117471 108503 79 194 0 117275 0
[pid=20050/tid=20234] ppid=20046 vsize=469884 CPUtime=316.51
/proc/20050/task/20234/stat : 20234 (manysat1.1_stat) R 20046 20046 1628 0 -1 4202560 10165 0 0 0 31598 53 0 0 25 0 4 0 1105454881 481161216 108503 4294967295 134512640 135305190 3216762608 3048934592 134528229 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=20050/tid=20235] ppid=20046 vsize=469884 CPUtime=316.47
/proc/20050/task/20235/stat : 20235 (manysat1.1_stat) R 20046 20046 1628 0 -1 4202560 40019 0 0 0 31572 75 0 0 25 0 4 0 1105454881 481161216 108503 4294967295 134512640 135305190 3216762608 3040545984 134528145 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=20050/tid=20236] ppid=20046 vsize=469884 CPUtime=316.48
/proc/20050/task/20236/stat : 20236 (manysat1.1_stat) R 20046 20046 1628 0 -1 4202560 9045 0 0 0 31590 58 0 0 25 0 4 0 1105454881 481161216 108503 4294967295 134512640 135305190 3216762608 3032157376 134528229 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1274.7
Current children cumulated vsize (KiB) 472304
[startup+327.015 s]
/proc/loadavg: 4.39 4.44 4.42 5/101 21182
/proc/meminfo: memFree=2437824/3368532 swapFree=1954076/1959888
[pid=20046] ppid=20044 vsize=2420 CPUtime=8.15
/proc/20046/stat : 20046 (manysat.sh) S 20044 20046 1628 0 -1 4194304 371 56860 0 0 0 0 779 36 18 0 1 0 1105453941 2478080 275 4294967295 134512640 135169312 3215459776 3215455992 3085700846 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/20046/statm: 605 275 231 161 0 44 0
[pid=20050] ppid=20046 vsize=0 CPUtime=1266.89
/proc/20050/stat : 20050 (manysat1.1_stat) Z 20046 20046 1628 0 -1 4202500 108688 0 0 0 126421 268 0 0 25 0 2 0 1105454757 0 0 4294967295 0 0 0 0 0 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/20050/statm: 0 0 0 0 0 0 0
[pid=20050/tid=20235] ppid=20046 vsize=0 CPUtime=316.57
/proc/20050/task/20235/stat : 20235 (manysat1.1_stat) R 20046 20046 1628 0 -1 4203588 40019 0 0 0 31580 77 0 0 25 0 2 0 1105454881 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) 1275.04
Current children cumulated vsize (KiB) 2420
Child status: 20
Real time (s): 327.046
CPU time (s): 1275.07
CPU user time (s): 1272
CPU system time (s): 3.07
CPU usage (%): 389.875
Max. virtual memory (cumulated for all children) (KiB): 472304
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1272
system time used= 3.07
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 166192
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= 90620
involuntary context switches= 62286
runsolver used 0.03 second user time and 0.02 second system time
The end
Begin job on tipi44 at 2009-05-28 14:25:26
IDJOB=1776781
IDBENCH=69591
IDSOLVER=620
FILE ID=tipi44/1776781-1243513526
PBS_JOBID=
Free space on /tmp= 15870 MiB
SOLVER NAME= ManySAT 1.1 aimd 0/2009-03-20 (4 threads)
BENCH NAME= SAT_RACE08/cnf/manol-pipe-c10nidw.cnf
COMMAND LINE= manysat.sh BENCHNAME aimd 0
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1776781-1243513526/watcher-1776781-1243513526 -o /tmp/evaluation-result-1776781-1243513526/solver-1776781-1243513526 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1776781-1243513526.cnf aimd 0
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 4
MD5SUM BENCH= 943fd86d922b13236c21a74c4f82b6d0
RANDOM SEED= 1110380400
Linux tipi44 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.116
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.42
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.116
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.10
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.116
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.116
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.16
clflush size : 64
/proc/meminfo:
MemTotal: 3368532 kB
MemFree: 2924684 kB
Buffers: 139832 kB
Cached: 197120 kB
SwapCached: 2180 kB
Active: 126864 kB
Inactive: 219752 kB
HighTotal: 2489216 kB
HighFree: 2280116 kB
LowTotal: 879316 kB
LowFree: 644568 kB
SwapTotal: 1959888 kB
SwapFree: 1954076 kB
Dirty: 25476 kB
Writeback: 0 kB
AnonPages: 8716 kB
Mapped: 3316 kB
Slab: 87492 kB
SReclaimable: 77108 kB
SUnreclaim: 10384 kB
PageTables: 492 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 3644152 kB
Committed_AS: 88088 kB
VmallocTotal: 114680 kB
VmallocUsed: 1444 kB
VmallocChunk: 113072 kB
Free space on /tmp at the end= 15870 MiB
End job on tipi44 at 2009-05-28 14:30:55