0.00/0.00 c Parsing...
0.42/0.49 c ==============================================================================
0.42/0.49 c | | ORIGINAL | LEARNT | |
0.42/0.49 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.42/0.49 c ==============================================================================
0.42/0.49 c | 0 | 614789 1419314 | 184436 0 0 nan | 0.000 % |
3.46/3.63 c | 0 | 248601 661061 | -- 0 -- -- | -- | -225959/-441263
3.46/3.63 c ==============================================================================
3.46/3.63 c Result : #vars: 44244 #clauses: 248601 #literals: 661061
3.46/3.63 c CPU time: 3.37 s
3.46/3.63 c ==============================================================================
2995.24/1000.05 HOME/manysat.sh: line 55: 5637 Terminated $MS -verbosity=0 $TMP.cnf $TMP.result -$AIMD $AIMD_FLAG "$@"
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1775809-1243502642/watcher-1775809-1243502642 -o /tmp/evaluation-result-1775809-1243502642/solver-1775809-1243502642 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1775809-1243502642.cnf aimd 1
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: 6.14 5.84 5.35 3/124 5634
/proc/meminfo: memFree=1891260/3368532 swapFree=1957708/1959888
[pid=5634] ppid=5632 vsize=2416 CPUtime=0.01
/proc/5634/stat : 5634 (manysat.sh) S 5632 5634 21334 0 -1 4194304 348 0 0 0 1 0 0 0 25 0 1 0 1114928289 2473984 273 4294967295 134512640 135169312 3218387088 3218385624 3085397742 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/5634/statm: 604 273 231 161 0 43 0
[pid=5635] ppid=5634 vsize=1760 CPUtime=0
/proc/5635/stat : 5635 (SatElite) R 5634 5634 21334 0 -1 4202496 393 0 0 0 0 0 0 0 18 0 1 0 1114928289 1802240 330 4294967295 134512640 135034092 3213667296 3213663584 134544849 0 0 0 3 0 0 0 17 1 0 0 0
/proc/5635/statm: 440 330 49 128 0 310 0
[startup+0.061043 s]
/proc/loadavg: 6.14 5.84 5.35 3/124 5634
/proc/meminfo: memFree=1891260/3368532 swapFree=1957708/1959888
[pid=5634] ppid=5632 vsize=2416 CPUtime=0.01
/proc/5634/stat : 5634 (manysat.sh) S 5632 5634 21334 0 -1 4194304 348 0 0 0 1 0 0 0 25 0 1 0 1114928289 2473984 273 4294967295 134512640 135169312 3218387088 3218385624 3085397742 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/5634/statm: 604 273 231 161 0 43 0
[pid=5635] ppid=5634 vsize=19428 CPUtime=0.06
/proc/5635/stat : 5635 (SatElite) R 5634 5634 21334 0 -1 4202496 3378 0 0 0 5 1 0 0 18 0 1 0 1114928289 19894272 3315 4294967295 134512640 135034092 3213667296 3213663584 134544849 0 0 0 3 0 0 0 17 1 0 0 0
/proc/5635/statm: 4857 3319 49 128 0 4727 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 21844
[startup+0.111032 s]
/proc/loadavg: 6.14 5.84 5.35 3/124 5634
/proc/meminfo: memFree=1891260/3368532 swapFree=1957708/1959888
[pid=5634] ppid=5632 vsize=2416 CPUtime=0.01
/proc/5634/stat : 5634 (manysat.sh) S 5632 5634 21334 0 -1 4194304 348 0 0 0 1 0 0 0 25 0 1 0 1114928289 2473984 273 4294967295 134512640 135169312 3218387088 3218385624 3085397742 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/5634/statm: 604 273 231 161 0 43 0
[pid=5635] ppid=5634 vsize=25220 CPUtime=0.11
/proc/5635/stat : 5635 (SatElite) R 5634 5634 21334 0 -1 4202496 6016 0 0 0 9 2 0 0 18 0 1 0 1114928289 25825280 5953 4294967295 134512640 135034092 3213667296 3213663392 134543255 0 0 0 3 0 0 0 17 1 0 0 0
/proc/5635/statm: 6305 5954 49 128 0 6175 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 27636
[startup+0.311019 s]
/proc/loadavg: 6.14 5.84 5.35 3/124 5634
/proc/meminfo: memFree=1891260/3368532 swapFree=1957708/1959888
[pid=5634] ppid=5632 vsize=2416 CPUtime=0.01
/proc/5634/stat : 5634 (manysat.sh) S 5632 5634 21334 0 -1 4194304 348 0 0 0 1 0 0 0 25 0 1 0 1114928289 2473984 273 4294967295 134512640 135169312 3218387088 3218385624 3085397742 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/5634/statm: 604 273 231 161 0 43 0
[pid=5635] ppid=5634 vsize=42612 CPUtime=0.31
/proc/5635/stat : 5635 (SatElite) R 5634 5634 21334 0 -1 4202496 10464 0 0 0 27 4 0 0 18 0 1 0 1114928289 43634688 10401 4294967295 134512640 135034092 3213667296 3213663640 134691005 0 0 0 3 0 0 0 17 1 0 0 0
/proc/5635/statm: 10653 10401 49 128 0 10523 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 45028
[startup+0.710985 s]
/proc/loadavg: 6.14 5.84 5.35 3/124 5634
/proc/meminfo: memFree=1891260/3368532 swapFree=1957708/1959888
[pid=5634] ppid=5632 vsize=2416 CPUtime=0.01
/proc/5634/stat : 5634 (manysat.sh) S 5632 5634 21334 0 -1 4194304 348 0 0 0 1 0 0 0 25 0 1 0 1114928289 2473984 273 4294967295 134512640 135169312 3218387088 3218385624 3085397742 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/5634/statm: 604 273 231 161 0 43 0
[pid=5635] ppid=5634 vsize=78492 CPUtime=0.71
/proc/5635/stat : 5635 (SatElite) R 5634 5634 21334 0 -1 4202496 17065 0 0 0 66 5 0 0 18 0 1 0 1114928289 80375808 15548 4294967295 134512640 135034092 3213667296 3213663292 134691101 0 0 0 3 0 0 0 17 1 0 0 0
/proc/5635/statm: 19623 15548 67 128 0 19493 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 80908
[startup+1.51073 s]
/proc/loadavg: 5.81 5.77 5.33 3/126 5636
/proc/meminfo: memFree=1964624/3368532 swapFree=1957708/1959888
[pid=5634] ppid=5632 vsize=2416 CPUtime=0.01
/proc/5634/stat : 5634 (manysat.sh) S 5632 5634 21334 0 -1 4194304 348 0 0 0 1 0 0 0 25 0 1 0 1114928289 2473984 273 4294967295 134512640 135169312 3218387088 3218385624 3085397742 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/5634/statm: 604 273 231 161 0 43 0
[pid=5635] ppid=5634 vsize=82756 CPUtime=1.4
/proc/5635/stat : 5635 (SatElite) R 5634 5634 21334 0 -1 4202496 18221 0 0 0 135 5 0 0 20 0 1 0 1114928289 84742144 16598 4294967295 134512640 135034092 3213667296 3213663616 134575718 0 0 0 3 0 0 0 17 1 0 0 0
/proc/5635/statm: 20689 16598 67 128 0 20559 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 85172
[startup+3.11059 s]
/proc/loadavg: 5.81 5.77 5.33 3/126 5636
/proc/meminfo: memFree=1943016/3368532 swapFree=1957708/1959888
[pid=5634] ppid=5632 vsize=2416 CPUtime=0.01
/proc/5634/stat : 5634 (manysat.sh) S 5632 5634 21334 0 -1 4194304 348 0 0 0 1 0 0 0 25 0 1 0 1114928289 2473984 273 4294967295 134512640 135169312 3218387088 3218385624 3085397742 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/5634/statm: 604 273 231 161 0 43 0
[pid=5635] ppid=5634 vsize=91472 CPUtime=2.95
/proc/5635/stat : 5635 (SatElite) R 5634 5634 21334 0 -1 4202496 21728 0 0 0 287 8 0 0 25 0 1 0 1114928289 93667328 18188 4294967295 134512640 135034092 3213667296 3213663840 134585645 0 0 0 3 0 0 0 17 0 0 0 0
/proc/5635/statm: 22868 18188 67 128 0 22738 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 93888
[startup+6.31032 s]
/proc/loadavg: 5.81 5.77 5.33 6/129 5640
/proc/meminfo: memFree=1971124/3368532 swapFree=1957708/1959888
[pid=5634] ppid=5632 vsize=2420 CPUtime=3.79
/proc/5634/stat : 5634 (manysat.sh) S 5632 5634 21334 0 -1 4194304 369 27402 0 0 1 0 367 11 18 0 1 0 1114928289 2478080 275 4294967295 134512640 135169312 3218387088 3218383304 3085397742 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/5634/statm: 605 275 231 161 0 44 0
[pid=5637] ppid=5634 vsize=100260 CPUtime=6.07
/proc/5637/stat : 5637 (manysat1.1_stat) R 5634 5634 21334 0 -1 4202496 17693 0 0 0 587 20 0 0 16 0 4 0 1114928684 102666240 17583 4294967295 134512640 135305190 3214394544 3214392720 134528189 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/5637/statm: 25065 17583 79 194 0 24869 0
[pid=5637/tid=5638] ppid=5634 vsize=100260 CPUtime=1.53
/proc/5637/task/5638/stat : 5638 (manysat1.1_stat) R 5634 5634 21334 0 -1 4202560 359 0 0 0 151 2 0 0 16 0 4 0 1114928736 102666240 17583 4294967295 134512640 135305190 3214394544 3066100928 134528503 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=5637/tid=5639] ppid=5634 vsize=100260 CPUtime=1.23
/proc/5637/task/5639/stat : 5639 (manysat1.1_stat) R 5634 5634 21334 0 -1 4202560 290 0 0 0 123 0 0 0 16 0 4 0 1114928736 102666240 17583 4294967295 134512640 135305190 3214394544 3057712320 134528189 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=5637/tid=5640] ppid=5634 vsize=100260 CPUtime=1.09
/proc/5637/task/5640/stat : 5640 (manysat1.1_stat) R 5634 5634 21334 0 -1 4202560 378 0 0 0 103 6 0 0 16 0 4 0 1114928736 102666240 17583 4294967295 134512640 135305190 3214394544 3049323712 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 9.86
Current children cumulated vsize (KiB) 102680
[startup+12.7098 s]
/proc/loadavg: 5.83 5.78 5.34 6/129 5640
/proc/meminfo: memFree=1983156/3368532 swapFree=1957708/1959888
[pid=5634] ppid=5632 vsize=2420 CPUtime=3.79
/proc/5634/stat : 5634 (manysat.sh) S 5632 5634 21334 0 -1 4194304 369 27402 0 0 1 0 367 11 18 0 1 0 1114928289 2478080 275 4294967295 134512640 135169312 3218387088 3218383304 3085397742 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/5634/statm: 605 275 231 161 0 44 0
[pid=5637] ppid=5634 vsize=100408 CPUtime=29.86
/proc/5637/stat : 5637 (manysat1.1_stat) R 5634 5634 21334 0 -1 4202496 17860 0 0 0 2962 24 0 0 25 0 4 0 1114928684 102817792 17750 4294967295 134512640 135305190 3214394544 3214392720 134528229 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/5637/statm: 25102 17750 79 194 0 24906 0
[pid=5637/tid=5638] ppid=5634 vsize=100408 CPUtime=7.92
/proc/5637/task/5638/stat : 5638 (manysat1.1_stat) R 5634 5634 21334 0 -1 4202560 400 0 0 0 790 2 0 0 25 0 4 0 1114928736 102817792 17750 4294967295 134512640 135305190 3214394544 3066100928 134528557 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=5637/tid=5639] ppid=5634 vsize=100408 CPUtime=6.32
/proc/5637/task/5639/stat : 5639 (manysat1.1_stat) R 5634 5634 21334 0 -1 4202560 337 0 0 0 631 1 0 0 25 0 4 0 1114928736 102817792 17750 4294967295 134512640 135305190 3214394544 3057712320 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=5637/tid=5640] ppid=5634 vsize=100408 CPUtime=7.26
/proc/5637/task/5640/stat : 5640 (manysat1.1_stat) R 5634 5634 21334 0 -1 4202560 419 0 0 0 719 7 0 0 25 0 4 0 1114928736 102817792 17750 4294967295 134512640 135305190 3214394544 3049323712 134528501 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 33.65
Current children cumulated vsize (KiB) 102828
[startup+25.5087 s]
/proc/loadavg: 5.70 5.75 5.34 6/129 5640
/proc/meminfo: memFree=1812484/3368532 swapFree=1957708/1959888
[pid=5634] ppid=5632 vsize=2420 CPUtime=3.79
/proc/5634/stat : 5634 (manysat.sh) S 5632 5634 21334 0 -1 4194304 369 27402 0 0 1 0 367 11 18 0 1 0 1114928289 2478080 275 4294967295 134512640 135169312 3218387088 3218383304 3085397742 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/5634/statm: 605 275 231 161 0 44 0
[pid=5637] ppid=5634 vsize=108764 CPUtime=73.78
/proc/5637/stat : 5637 (manysat1.1_stat) R 5634 5634 21334 0 -1 4202496 19785 0 0 0 7346 32 0 0 25 0 4 0 1114928684 111374336 19675 4294967295 134512640 135305190 3214394544 3214392384 134551651 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/5637/statm: 27191 19675 79 194 0 26995 0
[pid=5637/tid=5638] ppid=5634 vsize=108764 CPUtime=19.54
/proc/5637/task/5638/stat : 5638 (manysat1.1_stat) R 5634 5634 21334 0 -1 4202560 609 0 0 0 1951 3 0 0 25 0 4 0 1114928736 111374336 19675 4294967295 134512640 135305190 3214394544 3066100928 134528189 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=5637/tid=5639] ppid=5634 vsize=108764 CPUtime=16.06
/proc/5637/task/5639/stat : 5639 (manysat1.1_stat) R 5634 5634 21334 0 -1 4202560 1150 0 0 0 1603 3 0 0 25 0 4 0 1114928736 111374336 19675 4294967295 134512640 135305190 3214394544 3057712000 134552908 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=5637/tid=5640] ppid=5634 vsize=108764 CPUtime=19.69
/proc/5637/task/5640/stat : 5640 (manysat1.1_stat) R 5634 5634 21334 0 -1 4202560 1005 0 0 0 1959 10 0 0 25 0 4 0 1114928736 111374336 19675 4294967295 134512640 135305190 3214394544 3049323712 134528523 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 77.57
Current children cumulated vsize (KiB) 111184
[startup+51.1065 s]
/proc/loadavg: 5.75 5.76 5.35 8/130 5754
/proc/meminfo: memFree=1851960/3368532 swapFree=1957708/1959888
[pid=5634] ppid=5632 vsize=2420 CPUtime=3.79
/proc/5634/stat : 5634 (manysat.sh) S 5632 5634 21334 0 -1 4194304 369 27402 0 0 1 0 367 11 18 0 1 0 1114928289 2478080 275 4294967295 134512640 135169312 3218387088 3218383304 3085397742 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/5634/statm: 605 275 231 161 0 44 0
[pid=5637] ppid=5634 vsize=122380 CPUtime=150.46
/proc/5637/stat : 5637 (manysat1.1_stat) R 5634 5634 21334 0 -1 4202496 23243 0 0 0 15005 41 0 0 25 0 4 0 1114928684 125317120 23133 4294967295 134512640 135305190 3214394544 3214392720 134528189 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/5637/statm: 30595 23133 79 194 0 30399 0
[pid=5637/tid=5638] ppid=5634 vsize=122380 CPUtime=42.54
/proc/5637/task/5638/stat : 5638 (manysat1.1_stat) R 5634 5634 21334 0 -1 4202560 1530 0 0 0 4248 6 0 0 25 0 4 0 1114928736 125317120 23133 4294967295 134512640 135305190 3214394544 3066100776 134694990 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=5637/tid=5639] ppid=5634 vsize=122380 CPUtime=41.6
/proc/5637/task/5639/stat : 5639 (manysat1.1_stat) R 5634 5634 21334 0 -1 4202560 2639 0 0 0 4153 7 0 0 25 0 4 0 1114928736 125317120 23133 4294967295 134512640 135305190 3214394544 3057712320 134528229 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=5637/tid=5640] ppid=5634 vsize=122380 CPUtime=33.06
/proc/5637/task/5640/stat : 5640 (manysat1.1_stat) R 5634 5634 21334 0 -1 4202560 1527 0 0 0 3296 10 0 0 25 0 4 0 1114928736 125317120 23133 4294967295 134512640 135305190 3214394544 3049323712 134528229 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 154.25
Current children cumulated vsize (KiB) 124800
[startup+102.312 s]
/proc/loadavg: 5.58 5.73 5.36 6/129 5833
/proc/meminfo: memFree=1919940/3368532 swapFree=1957708/1959888
[pid=5634] ppid=5632 vsize=2420 CPUtime=3.79
/proc/5634/stat : 5634 (manysat.sh) S 5632 5634 21334 0 -1 4194304 369 27402 0 0 1 0 367 11 18 0 1 0 1114928289 2478080 275 4294967295 134512640 135169312 3218387088 3218383304 3085397742 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/5634/statm: 605 275 231 161 0 44 0
[pid=5637] ppid=5634 vsize=145512 CPUtime=303.97
/proc/5637/stat : 5637 (manysat1.1_stat) R 5634 5634 21334 0 -1 4202496 28732 0 0 0 30338 59 0 0 25 0 4 0 1114928684 149004288 28618 4294967295 134512640 135305190 3214394544 3214392720 134528298 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/5637/statm: 36378 28618 79 194 0 36182 0
[pid=5637/tid=5638] ppid=5634 vsize=145512 CPUtime=72.98
/proc/5637/task/5638/stat : 5638 (manysat1.1_stat) R 5634 5634 21334 0 -1 4202560 2559 0 0 0 7291 7 0 0 25 0 4 0 1114928736 149004288 28618 4294967295 134512640 135305190 3214394544 3066100928 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=5637/tid=5639] ppid=5634 vsize=145512 CPUtime=92.78
/proc/5637/task/5639/stat : 5639 (manysat1.1_stat) R 5634 5634 21334 0 -1 4202560 4332 0 0 0 9259 19 0 0 25 0 4 0 1114928736 149004288 28618 4294967295 134512640 135305190 3214394544 3057712320 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=5637/tid=5640] ppid=5634 vsize=145512 CPUtime=58.81
/proc/5637/task/5640/stat : 5640 (manysat1.1_stat) R 5634 5634 21334 0 -1 4202560 2670 0 0 0 5868 13 0 0 25 0 4 0 1114928736 149004288 28618 4294967295 134512640 135305190 3214394544 3049323712 134528576 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 307.76
Current children cumulated vsize (KiB) 147932
[startup+162.317 s]
/proc/loadavg: 5.74 5.78 5.40 6/129 6022
/proc/meminfo: memFree=1780648/3368532 swapFree=1957708/1959888
[pid=5634] ppid=5632 vsize=2420 CPUtime=3.79
/proc/5634/stat : 5634 (manysat.sh) S 5632 5634 21334 0 -1 4194304 369 27402 0 0 1 0 367 11 18 0 1 0 1114928289 2478080 275 4294967295 134512640 135169312 3218387088 3218383304 3085397742 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/5634/statm: 605 275 231 161 0 44 0
[pid=5637] ppid=5634 vsize=162056 CPUtime=483.6
/proc/5637/stat : 5637 (manysat1.1_stat) R 5634 5634 21334 0 -1 4202496 32963 0 0 0 48287 73 0 0 25 0 4 0 1114928684 165945344 32849 4294967295 134512640 135305190 3214394544 3214392384 134551712 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/5637/statm: 40514 32849 79 194 0 40318 0
[pid=5637/tid=5638] ppid=5634 vsize=162056 CPUtime=103.94
/proc/5637/task/5638/stat : 5638 (manysat1.1_stat) R 5634 5634 21334 0 -1 4202560 3070 0 0 0 10387 7 0 0 25 0 4 0 1114928736 165945344 32849 4294967295 134512640 135305190 3214394544 3066100928 134528539 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=5637/tid=5639] ppid=5634 vsize=162056 CPUtime=152.58
/proc/5637/task/5639/stat : 5639 (manysat1.1_stat) R 5634 5634 21334 0 -1 4202560 5880 0 0 0 15230 28 0 0 25 0 4 0 1114928736 165945344 32849 4294967295 134512640 135305190 3214394544 3057712320 134528768 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=5637/tid=5640] ppid=5634 vsize=162056 CPUtime=111.69
/proc/5637/task/5640/stat : 5640 (manysat1.1_stat) R 5634 5634 21334 0 -1 4202560 3928 0 0 0 11152 17 0 0 25 0 4 0 1114928736 165945344 32849 4294967295 134512640 135305190 3214394544 3049323712 134528229 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 487.39
################
# More data... #
################
[startup+522.316 s]
/proc/loadavg: 5.78 5.74 5.49 6/129 7155
/proc/meminfo: memFree=1792756/3368532 swapFree=1957708/1959888
[pid=5634] ppid=5632 vsize=2420 CPUtime=3.79
/proc/5634/stat : 5634 (manysat.sh) S 5632 5634 21334 0 -1 4194304 369 27402 0 0 1 0 367 11 18 0 1 0 1114928289 2478080 275 4294967295 134512640 135169312 3218387088 3218383304 3085397742 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/5634/statm: 605 275 231 161 0 44 0
[pid=5637] ppid=5634 vsize=249044 CPUtime=1561.03
/proc/5637/stat : 5637 (manysat1.1_stat) R 5634 5634 21334 0 -1 4202496 53704 0 0 0 155905 198 0 0 25 0 4 0 1114928684 255021056 53543 4294967295 134512640 135305190 3214394544 3214392720 134528298 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/5637/statm: 62261 53543 79 194 0 62065 0
[pid=5637/tid=5638] ppid=5634 vsize=249044 CPUtime=378.84
/proc/5637/task/5638/stat : 5638 (manysat1.1_stat) R 5634 5634 21334 0 -1 4202560 7502 0 0 0 37852 32 0 0 25 0 4 0 1114928736 255021056 53543 4294967295 134512640 135305190 3214394544 3066100928 134528229 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=5637/tid=5639] ppid=5634 vsize=249044 CPUtime=482.02
/proc/5637/task/5639/stat : 5639 (manysat1.1_stat) R 5634 5634 21334 0 -1 4202560 13568 0 0 0 48131 71 0 0 25 0 4 0 1114928736 255021056 53543 4294967295 134512640 135305190 3214394544 3057712320 134528515 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=5637/tid=5640] ppid=5634 vsize=249044 CPUtime=400.73
/proc/5637/task/5640/stat : 5640 (manysat1.1_stat) R 5634 5634 21334 0 -1 4202560 9105 0 0 0 40019 54 0 0 25 0 4 0 1114928736 255021056 53543 4294967295 134512640 135305190 3214394544 3049323712 134528189 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1564.82
Current children cumulated vsize (KiB) 251464
[startup+582.311 s]
/proc/loadavg: 5.79 5.74 5.50 6/129 7343
/proc/meminfo: memFree=1744412/3368532 swapFree=1957708/1959888
[pid=5634] ppid=5632 vsize=2420 CPUtime=3.79
/proc/5634/stat : 5634 (manysat.sh) S 5632 5634 21334 0 -1 4194304 369 27402 0 0 1 0 367 11 18 0 1 0 1114928289 2478080 275 4294967295 134512640 135169312 3218387088 3218383304 3085397742 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/5634/statm: 605 275 231 161 0 44 0
[pid=5637] ppid=5634 vsize=272792 CPUtime=1740.65
/proc/5637/stat : 5637 (manysat1.1_stat) R 5634 5634 21334 0 -1 4202496 59650 0 0 0 173846 219 0 0 25 0 4 0 1114928684 279339008 59489 4294967295 134512640 135305190 3214394544 3214392720 134528263 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/5637/statm: 68198 59489 79 194 0 68002 0
[pid=5637/tid=5638] ppid=5634 vsize=272792 CPUtime=437.04
/proc/5637/task/5638/stat : 5638 (manysat1.1_stat) R 5634 5634 21334 0 -1 4202560 9571 0 0 0 43666 38 0 0 25 0 4 0 1114928736 279339008 59489 4294967295 134512640 135305190 3214394544 3066100656 134558342 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=5637/tid=5639] ppid=5634 vsize=272792 CPUtime=532.82
/proc/5637/task/5639/stat : 5639 (manysat1.1_stat) R 5634 5634 21334 0 -1 4202560 15088 0 0 0 53204 78 0 0 25 0 4 0 1114928736 279339008 59489 4294967295 134512640 135305190 3214394544 3057712320 134528559 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=5637/tid=5640] ppid=5634 vsize=272792 CPUtime=438.1
/proc/5637/task/5640/stat : 5640 (manysat1.1_stat) R 5634 5634 21334 0 -1 4202560 10427 0 0 0 43751 59 0 0 25 0 4 0 1114928736 279339008 59489 4294967295 134512640 135305190 3214394544 3049323712 134528851 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1744.44
Current children cumulated vsize (KiB) 275212
[startup+642.305 s]
/proc/loadavg: 5.85 5.74 5.52 6/129 7530
/proc/meminfo: memFree=1718932/3368532 swapFree=1957708/1959888
[pid=5634] ppid=5632 vsize=2420 CPUtime=3.79
/proc/5634/stat : 5634 (manysat.sh) S 5632 5634 21334 0 -1 4194304 369 27402 0 0 1 0 367 11 18 0 1 0 1114928289 2478080 275 4294967295 134512640 135169312 3218387088 3218383304 3085397742 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/5634/statm: 605 275 231 161 0 44 0
[pid=5637] ppid=5634 vsize=279420 CPUtime=1920.31
/proc/5637/stat : 5637 (manysat1.1_stat) R 5634 5634 21334 0 -1 4202496 61176 0 0 0 191795 236 0 0 25 0 4 0 1114928684 286126080 61015 4294967295 134512640 135305190 3214394544 3214392720 134528298 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/5637/statm: 69855 61015 79 194 0 69659 0
[pid=5637/tid=5638] ppid=5634 vsize=279420 CPUtime=471.34
/proc/5637/task/5638/stat : 5638 (manysat1.1_stat) R 5634 5634 21334 0 -1 4202560 10046 0 0 0 47093 41 0 0 25 0 4 0 1114928736 286126080 61015 4294967295 134512640 135305190 3214394544 3066100928 134530561 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=5637/tid=5639] ppid=5634 vsize=279420 CPUtime=589.74
/proc/5637/task/5639/stat : 5639 (manysat1.1_stat) R 5634 5634 21334 0 -1 4202560 15534 0 0 0 58894 80 0 0 25 0 4 0 1114928736 286126080 61015 4294967295 134512640 135305190 3214394544 3057712320 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=5637/tid=5640] ppid=5634 vsize=279420 CPUtime=471.08
/proc/5637/task/5640/stat : 5640 (manysat1.1_stat) R 5634 5634 21334 0 -1 4202560 10624 0 0 0 47046 62 0 0 25 0 4 0 1114928736 286126080 61015 4294967295 134512640 135305190 3214394544 3049323712 134528220 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1924.1
Current children cumulated vsize (KiB) 281840
[startup+702.31 s]
/proc/loadavg: 6.01 5.78 5.54 6/129 7717
/proc/meminfo: memFree=1813716/3368532 swapFree=1957708/1959888
[pid=5634] ppid=5632 vsize=2420 CPUtime=3.79
/proc/5634/stat : 5634 (manysat.sh) S 5632 5634 21334 0 -1 4194304 369 27402 0 0 1 0 367 11 18 0 1 0 1114928289 2478080 275 4294967295 134512640 135169312 3218387088 3218383304 3085397742 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/5634/statm: 605 275 231 161 0 44 0
[pid=5637] ppid=5634 vsize=282736 CPUtime=2100.08
/proc/5637/stat : 5637 (manysat1.1_stat) R 5634 5634 21334 0 -1 4202496 61635 0 0 0 209761 247 0 0 25 0 4 0 1114928684 289521664 61474 4294967295 134512640 135305190 3214394544 3214392720 134528548 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/5637/statm: 70684 61474 79 194 0 70488 0
[pid=5637/tid=5638] ppid=5634 vsize=282736 CPUtime=501.52
/proc/5637/task/5638/stat : 5638 (manysat1.1_stat) R 5634 5634 21334 0 -1 4202560 10096 0 0 0 50110 42 0 0 25 0 4 0 1114928736 289521664 61474 4294967295 134512640 135305190 3214394544 3066100928 134528229 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=5637/tid=5639] ppid=5634 vsize=282736 CPUtime=649.62
/proc/5637/task/5639/stat : 5639 (manysat1.1_stat) R 5634 5634 21334 0 -1 4202560 15814 0 0 0 64878 84 0 0 25 0 4 0 1114928736 289521664 61474 4294967295 134512640 135305190 3214394544 3057712320 134528548 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=5637/tid=5640] ppid=5634 vsize=282736 CPUtime=500.91
/proc/5637/task/5640/stat : 5640 (manysat1.1_stat) R 5634 5634 21334 0 -1 4202560 10706 0 0 0 50027 64 0 0 25 0 4 0 1114928736 289521664 61474 4294967295 134512640 135305190 3214394544 3049323712 134528229 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2103.87
Current children cumulated vsize (KiB) 285156
[startup+762.315 s]
/proc/loadavg: 5.92 5.76 5.55 7/130 7892
/proc/meminfo: memFree=1752664/3368532 swapFree=1957708/1959888
[pid=5634] ppid=5632 vsize=2420 CPUtime=3.79
/proc/5634/stat : 5634 (manysat.sh) S 5632 5634 21334 0 -1 4194304 369 27402 0 0 1 0 367 11 18 0 1 0 1114928289 2478080 275 4294967295 134512640 135169312 3218387088 3218383304 3085397742 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/5634/statm: 605 275 231 161 0 44 0
[pid=5637] ppid=5634 vsize=299516 CPUtime=2279.77
/proc/5637/stat : 5637 (manysat1.1_stat) R 5634 5634 21334 0 -1 4202496 65554 0 0 0 227711 266 0 0 25 0 4 0 1114928684 306704384 65393 4294967295 134512640 135305190 3214394544 3214392720 134528298 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/5637/statm: 74879 65393 79 194 0 74683 0
[pid=5637/tid=5638] ppid=5634 vsize=299516 CPUtime=531.62
/proc/5637/task/5638/stat : 5638 (manysat1.1_stat) R 5634 5634 21334 0 -1 4202560 10846 0 0 0 53119 43 0 0 25 0 4 0 1114928736 306704384 65393 4294967295 134512640 135305190 3214394544 3066100928 134528402 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=5637/tid=5639] ppid=5634 vsize=299516 CPUtime=709.52
/proc/5637/task/5639/stat : 5639 (manysat1.1_stat) R 5634 5634 21334 0 -1 4202560 16959 0 0 0 70862 90 0 0 25 0 4 0 1114928736 306704384 65393 4294967295 134512640 135305190 3214394544 3057712320 134528263 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=5637/tid=5640] ppid=5634 vsize=299516 CPUtime=530.81
/proc/5637/task/5640/stat : 5640 (manysat1.1_stat) R 5634 5634 21334 0 -1 4202560 11528 0 0 0 53015 66 0 0 25 0 4 0 1114928736 306704384 65393 4294967295 134512640 135305190 3214394544 3049323712 134528341 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2283.56
Current children cumulated vsize (KiB) 301936
[startup+822.31 s]
/proc/loadavg: 5.66 5.70 5.54 7/129 8094
/proc/meminfo: memFree=1674452/3368532 swapFree=1957708/1959888
[pid=5634] ppid=5632 vsize=2420 CPUtime=3.79
/proc/5634/stat : 5634 (manysat.sh) S 5632 5634 21334 0 -1 4194304 369 27402 0 0 1 0 367 11 18 0 1 0 1114928289 2478080 275 4294967295 134512640 135169312 3218387088 3218383304 3085397742 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/5634/statm: 605 275 231 161 0 44 0
[pid=5637] ppid=5634 vsize=304900 CPUtime=2458.93
/proc/5637/stat : 5637 (manysat1.1_stat) R 5634 5634 21334 0 -1 4202496 67157 0 0 0 245615 278 0 0 25 0 4 0 1114928684 312217600 66996 4294967295 134512640 135305190 3214394544 3214392720 134528252 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/5637/statm: 76225 66996 79 194 0 76029 0
[pid=5637/tid=5638] ppid=5634 vsize=304900 CPUtime=584.33
/proc/5637/task/5638/stat : 5638 (manysat1.1_stat) R 5634 5634 21334 0 -1 4202560 11393 0 0 0 58388 45 0 0 25 0 4 0 1114928736 312217600 66996 4294967295 134512640 135305190 3214394544 3066100928 134528256 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=5637/tid=5639] ppid=5634 vsize=304900 CPUtime=747.23
/proc/5637/task/5639/stat : 5639 (manysat1.1_stat) R 5634 5634 21334 0 -1 4202560 17005 0 0 0 74631 92 0 0 25 0 4 0 1114928736 312217600 66996 4294967295 134512640 135305190 3214394544 3057712320 134530652 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=5637/tid=5640] ppid=5634 vsize=304900 CPUtime=574
/proc/5637/task/5640/stat : 5640 (manysat1.1_stat) R 5634 5634 21334 0 -1 4202560 12134 0 0 0 57330 70 0 0 25 0 4 0 1114928736 312217600 66996 4294967295 134512640 135305190 3214394544 3049323560 134694990 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2462.72
Current children cumulated vsize (KiB) 307320
[startup+882.305 s]
/proc/loadavg: 5.98 5.77 5.57 7/130 8233
/proc/meminfo: memFree=1572124/3368532 swapFree=1957708/1959888
[pid=5634] ppid=5632 vsize=2420 CPUtime=3.79
/proc/5634/stat : 5634 (manysat.sh) S 5632 5634 21334 0 -1 4194304 369 27402 0 0 1 0 367 11 18 0 1 0 1114928289 2478080 275 4294967295 134512640 135169312 3218387088 3218383304 3085397742 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/5634/statm: 605 275 231 161 0 44 0
[pid=5637] ppid=5634 vsize=308440 CPUtime=2638.7
/proc/5637/stat : 5637 (manysat1.1_stat) R 5634 5634 21334 0 -1 4202496 67806 0 0 0 263576 294 0 0 25 0 4 0 1114928684 315842560 67645 4294967295 134512640 135305190 3214394544 3214392384 134551651 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/5637/statm: 77110 67645 79 194 0 76914 0
[pid=5637/tid=5638] ppid=5634 vsize=308440 CPUtime=644.28
/proc/5637/task/5638/stat : 5638 (manysat1.1_stat) R 5634 5634 21334 0 -1 4202560 11564 0 0 0 64382 46 0 0 25 0 4 0 1114928736 315842560 67645 4294967295 134512640 135305190 3214394544 3066100928 134528480 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=5637/tid=5639] ppid=5634 vsize=308440 CPUtime=778.12
/proc/5637/task/5639/stat : 5639 (manysat1.1_stat) R 5634 5634 21334 0 -1 4202560 17112 0 0 0 77713 99 0 0 25 0 4 0 1114928736 315842560 67645 4294967295 134512640 135305190 3214394544 3057712000 134555112 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=5637/tid=5640] ppid=5634 vsize=308440 CPUtime=603.11
/proc/5637/task/5640/stat : 5640 (manysat1.1_stat) R 5634 5634 21334 0 -1 4202560 12313 0 0 0 60237 74 0 0 25 0 4 0 1114928736 315842560 67645 4294967295 134512640 135305190 3214394544 3049323712 134528319 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2642.49
Current children cumulated vsize (KiB) 310860
[startup+942.31 s]
/proc/loadavg: 5.72 5.72 5.56 8/130 8368
/proc/meminfo: memFree=1421412/3368532 swapFree=1957708/1959888
[pid=5634] ppid=5632 vsize=2420 CPUtime=3.79
/proc/5634/stat : 5634 (manysat.sh) S 5632 5634 21334 0 -1 4194304 369 27402 0 0 1 0 367 11 18 0 1 0 1114928289 2478080 275 4294967295 134512640 135169312 3218387088 3218383304 3085397742 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/5634/statm: 605 275 231 161 0 44 0
[pid=5637] ppid=5634 vsize=312796 CPUtime=2818.51
/proc/5637/stat : 5637 (manysat1.1_stat) R 5634 5634 21334 0 -1 4202496 68871 0 0 0 281541 310 0 0 25 0 4 0 1114928684 320303104 68710 4294967295 134512640 135305190 3214394544 3214392720 134528341 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/5637/statm: 78199 68710 79 194 0 78003 0
[pid=5637/tid=5638] ppid=5634 vsize=312796 CPUtime=704.1
/proc/5637/task/5638/stat : 5638 (manysat1.1_stat) R 5634 5634 21334 0 -1 4202560 11930 0 0 0 70361 49 0 0 25 0 4 0 1114928736 320303104 68710 4294967295 134512640 135305190 3214394544 3066100928 134528392 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=5637/tid=5639] ppid=5634 vsize=312796 CPUtime=808.12
/proc/5637/task/5639/stat : 5639 (manysat1.1_stat) R 5634 5634 21334 0 -1 4202560 17164 0 0 0 80708 104 0 0 25 0 4 0 1114928736 320303104 68710 4294967295 134512640 135305190 3214394544 3057712320 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=5637/tid=5640] ppid=5634 vsize=312796 CPUtime=633.12
/proc/5637/task/5640/stat : 5640 (manysat1.1_stat) R 5634 5634 21334 0 -1 4202560 12532 0 0 0 63236 76 0 0 25 0 4 0 1114928736 320303104 68710 4294967295 134512640 135305190 3214394544 3049323712 134528229 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2822.3
Current children cumulated vsize (KiB) 315216
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1000.01 s]
/proc/loadavg: 5.80 5.74 5.57 7/129 8477
/proc/meminfo: memFree=1710632/3368532 swapFree=1957708/1959888
[pid=5634] ppid=5632 vsize=2420 CPUtime=3.79
/proc/5634/stat : 5634 (manysat.sh) S 5632 5634 21334 0 -1 4194304 369 27402 0 0 1 0 367 11 18 0 1 0 1114928289 2478080 275 4294967295 134512640 135169312 3218387088 3218383304 3085397742 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/5634/statm: 605 275 231 161 0 44 0
[pid=5637] ppid=5634 vsize=315588 CPUtime=2991.45
/proc/5637/stat : 5637 (manysat1.1_stat) R 5634 5634 21334 0 -1 4202496 69643 0 0 0 298829 316 0 0 25 0 4 0 1114928684 323162112 69482 4294967295 134512640 135305190 3214394544 3214392384 134551651 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/5637/statm: 78897 69482 79 194 0 78701 0
[pid=5637/tid=5638] ppid=5634 vsize=315588 CPUtime=754.16
/proc/5637/task/5638/stat : 5638 (manysat1.1_stat) R 5634 5634 21334 0 -1 4202560 12210 0 0 0 75364 52 0 0 25 0 4 0 1114928736 323162112 69482 4294967295 134512640 135305190 3214394544 3066100928 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=5637/tid=5639] ppid=5634 vsize=315588 CPUtime=838.05
/proc/5637/task/5639/stat : 5639 (manysat1.1_stat) R 5634 5634 21334 0 -1 4202560 17208 0 0 0 83701 104 0 0 25 0 4 0 1114928736 323162112 69482 4294967295 134512640 135305190 3214394544 3057712320 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=5637/tid=5640] ppid=5634 vsize=315588 CPUtime=676.8
/proc/5637/task/5640/stat : 5640 (manysat1.1_stat) R 5634 5634 21334 0 -1 4202560 12644 0 0 0 67602 78 0 0 25 0 4 0 1114928736 323162112 69482 4294967295 134512640 135305190 3214394544 3049323712 134528229 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2995.24
Current children cumulated vsize (KiB) 318008
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)
Real time (s): 1000.05
CPU time (s): 2995.31
CPU user time (s): 2992.03
CPU system time (s): 3.28
CPU usage (%): 299.515
Max. virtual memory (cumulated for all children) (KiB): 318008
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2992.03
system time used= 3.28
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 97507
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= 9879
involuntary context switches= 186044
runsolver used 0 second user time and 0 second system time
The end
Begin job on at 2009-05-28 11:24:02
IDJOB=1775809
IDBENCH=20387
IDSOLVER=623
FILE ID=/1775809-1243502642
PBS_JOBID=
Free space on /tmp= 15874 MiB
SOLVER NAME= ManySAT 1.1 aimd 1/2009-03-20 (4 threads)
BENCH NAME= SAT07/industrial/anbulagan/hard-unsat/dated-5-13-u.cnf
COMMAND LINE= manysat.sh BENCHNAME aimd 1
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1775809-1243502642/watcher-1775809-1243502642 -o /tmp/evaluation-result-1775809-1243502642/solver-1775809-1243502642 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1775809-1243502642.cnf aimd 1
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 4
MD5SUM BENCH= 45ee13b66821e6c36f3e38be418fa121
RANDOM SEED= 469017399
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.105
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.43
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.105
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.11
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.105
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.16
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.105
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.15
clflush size : 64
/proc/meminfo:
MemTotal: 3368532 kB
MemFree: 1896736 kB
Buffers: 13972 kB
Cached: 624332 kB
SwapCached: 16 kB
Active: 838208 kB
Inactive: 572540 kB
HighTotal: 2489216 kB
HighFree: 1089608 kB
LowTotal: 879316 kB
LowFree: 807128 kB
SwapTotal: 1959888 kB
SwapFree: 1957708 kB
Dirty: 12340 kB
Writeback: 0 kB
AnonPages: 772700 kB
Mapped: 35372 kB
Slab: 50784 kB
SReclaimable: 41640 kB
SUnreclaim: 9144 kB
PageTables: 1532 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 3644152 kB
Committed_AS: 1032312 kB
VmallocTotal: 114680 kB
VmallocUsed: 1444 kB
VmallocChunk: 113072 kB
Free space on /tmp at the end= 15871 MiB
End job on at 2009-05-28 11:40:45