Trace number 1778821

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
ManySAT 1.1 aimd 0/2009-03-20 (4 threads)? (TO) 3954.93 1000.03

General information on the benchmark

NameAPPLICATIONS/bitverif/
minandmaxor/minandmaxor128.cnf
MD5SUM5b2e2178738883a628728bb1ec39f4a9
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables249327
Number of clauses746444
Sum of the clauses size1741700
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2497628
Number of clauses of size 3248814
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Parsing...
0.51/0.57	c ==============================================================================
0.51/0.57	c |           |     ORIGINAL     |              LEARNT              |          |
0.51/0.57	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.51/0.57	c ==============================================================================
0.51/0.57	c |         0 |  746442  1741698 |  223932       0        0     nan |  0.000 % |
9.90/10.01	c |         0 |  397738  1362662 |      --       0       --      -- |     --   | -348682/-378983
10.00/10.01	c ==============================================================================
10.00/10.01	c Result  :   #vars: 76979   #clauses: 397738   #literals: 1362662
10.00/10.01	c CPU time:   9.78 s
10.00/10.01	c ==============================================================================

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w /tmp/evaluation-result-1778821-1243515616/watcher-1778821-1243515616 -o /tmp/evaluation-result-1778821-1243515616/solver-1778821-1243515616 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1778821-1243515616.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.26 4.38 4.34 3/98 22457
/proc/meminfo: memFree=2935576/3368532 swapFree=1959840/1959888
[pid=22457] ppid=22455 vsize=2412 CPUtime=0
/proc/22457/stat : 22457 (manysat.sh) R 22455 22457 28360 0 -1 4194304 333 0 0 0 0 0 0 0 18 0 1 0 933138415 2469888 273 4294967295 134512640 135169312 3214525664 3214524140 3085731700 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/22457/statm: 603 273 231 161 0 42 0
[pid=22458] ppid=22457 vsize=1204 CPUtime=0
/proc/22458/stat : 22458 (SatElite) R 22457 22457 28360 0 -1 4202496 231 0 0 0 0 0 0 0 18 0 1 0 933138415 1232896 167 4294967295 134512640 135034092 3213155168 3213151160 134673244 0 0 0 3 0 0 0 17 0 0 0 0
/proc/22458/statm: 301 169 49 128 0 171 0

[startup+0.027526 s]
/proc/loadavg: 4.26 4.38 4.34 3/98 22457
/proc/meminfo: memFree=2935576/3368532 swapFree=1959840/1959888
[pid=22457] ppid=22455 vsize=2412 CPUtime=0
/proc/22457/stat : 22457 (manysat.sh) S 22455 22457 28360 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 933138415 2469888 273 4294967295 134512640 135169312 3214525664 3214524200 3085729518 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/22457/statm: 603 273 231 161 0 42 0
[pid=22458] ppid=22457 vsize=5416 CPUtime=0.03
/proc/22458/stat : 22458 (SatElite) R 22457 22457 28360 0 -1 4202496 1246 0 0 0 3 0 0 0 19 0 1 0 933138415 5545984 1182 4294967295 134512640 135034092 3213155168 3213151456 134544856 0 0 0 3 0 0 0 17 0 0 0 0
/proc/22458/statm: 1354 1183 49 128 0 1224 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 7828

[startup+0.107514 s]
/proc/loadavg: 4.26 4.38 4.34 3/98 22457
/proc/meminfo: memFree=2935576/3368532 swapFree=1959840/1959888
[pid=22457] ppid=22455 vsize=2412 CPUtime=0
/proc/22457/stat : 22457 (manysat.sh) S 22455 22457 28360 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 933138415 2469888 273 4294967295 134512640 135169312 3214525664 3214524200 3085729518 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/22457/statm: 603 273 231 161 0 42 0
[pid=22458] ppid=22457 vsize=19676 CPUtime=0.11
/proc/22458/stat : 22458 (SatElite) R 22457 22457 28360 0 -1 4202496 4546 0 0 0 11 0 0 0 20 0 1 0 933138415 20148224 4482 4294967295 134512640 135034092 3213155168 3213151512 134691005 0 0 0 3 0 0 0 17 0 0 0 0
/proc/22458/statm: 4919 4483 49 128 0 4789 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 22088

[startup+0.307498 s]
/proc/loadavg: 4.26 4.38 4.34 3/98 22457
/proc/meminfo: memFree=2935576/3368532 swapFree=1959840/1959888
[pid=22457] ppid=22455 vsize=2412 CPUtime=0
/proc/22457/stat : 22457 (manysat.sh) S 22455 22457 28360 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 933138415 2469888 273 4294967295 134512640 135169312 3214525664 3214524200 3085729518 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/22457/statm: 603 273 231 161 0 42 0
[pid=22458] ppid=22457 vsize=60664 CPUtime=0.31
/proc/22458/stat : 22458 (SatElite) R 22457 22457 28360 0 -1 4202496 12559 0 0 0 30 1 0 0 20 0 1 0 933138415 62119936 12495 4294967295 134512640 135034092 3213155168 3213151456 134544897 0 0 0 3 0 0 0 17 0 0 0 0
/proc/22458/statm: 15166 12497 49 128 0 15036 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 63076

[startup+0.707464 s]
/proc/loadavg: 4.26 4.38 4.34 3/98 22457
/proc/meminfo: memFree=2935576/3368532 swapFree=1959840/1959888
[pid=22457] ppid=22455 vsize=2412 CPUtime=0
/proc/22457/stat : 22457 (manysat.sh) S 22455 22457 28360 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 933138415 2469888 273 4294967295 134512640 135169312 3214525664 3214524200 3085729518 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/22457/statm: 603 273 231 161 0 42 0
[pid=22458] ppid=22457 vsize=104832 CPUtime=0.71
/proc/22458/stat : 22458 (SatElite) R 22457 22457 28360 0 -1 4202496 26928 0 0 0 66 5 0 0 21 0 1 0 933138415 107347968 24796 4294967295 134512640 135034092 3213155168 3213151164 134691101 0 0 0 3 0 0 0 17 0 0 0 0
/proc/22458/statm: 26208 24796 67 128 0 26078 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 107244

[startup+1.5074 s]
/proc/loadavg: 4.26 4.38 4.34 2/100 22459
/proc/meminfo: memFree=2832620/3368532 swapFree=1959840/1959888
[pid=22457] ppid=22455 vsize=2412 CPUtime=0
/proc/22457/stat : 22457 (manysat.sh) S 22455 22457 28360 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 933138415 2469888 273 4294967295 134512640 135169312 3214525664 3214524200 3085729518 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/22457/statm: 603 273 231 161 0 42 0
[pid=22458] ppid=22457 vsize=108404 CPUtime=1.5
/proc/22458/stat : 22458 (SatElite) R 22457 22457 28360 0 -1 4202496 27697 0 0 0 142 8 0 0 23 0 1 0 933138415 111005696 25565 4294967295 134512640 135034092 3213155168 3213151164 134691101 0 0 0 3 0 0 0 17 0 0 0 0
/proc/22458/statm: 27101 25565 67 128 0 26971 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 110816

[startup+3.10727 s]
/proc/loadavg: 4.26 4.38 4.34 2/100 22459
/proc/meminfo: memFree=2822752/3368532 swapFree=1959840/1959888
[pid=22457] ppid=22455 vsize=2412 CPUtime=0
/proc/22457/stat : 22457 (manysat.sh) S 22455 22457 28360 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 933138415 2469888 273 4294967295 134512640 135169312 3214525664 3214524200 3085729518 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/22457/statm: 603 273 231 161 0 42 0
[pid=22458] ppid=22457 vsize=113200 CPUtime=3.09
/proc/22458/stat : 22458 (SatElite) R 22457 22457 28360 0 -1 4202496 28805 0 0 0 296 13 0 0 25 0 1 0 933138415 115916800 26673 4294967295 134512640 135034092 3213155168 3213151164 134691101 0 0 0 3 0 0 0 17 2 0 0 0
/proc/22458/statm: 28300 26673 67 128 0 28170 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 115612

[startup+6.30701 s]
/proc/loadavg: 4.00 4.33 4.32 2/100 22459
/proc/meminfo: memFree=2796976/3368532 swapFree=1959840/1959888
[pid=22457] ppid=22455 vsize=2412 CPUtime=0
/proc/22457/stat : 22457 (manysat.sh) S 22455 22457 28360 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 933138415 2469888 273 4294967295 134512640 135169312 3214525664 3214524200 3085729518 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/22457/statm: 603 273 231 161 0 42 0
[pid=22458] ppid=22457 vsize=120236 CPUtime=6.29
/proc/22458/stat : 22458 (SatElite) R 22457 22457 28360 0 -1 4202496 30543 0 0 0 613 16 0 0 25 0 1 0 933138415 123121664 28411 4294967295 134512640 135034092 3213155168 3213151164 134691101 0 0 0 3 0 0 0 17 2 0 0 0
/proc/22458/statm: 30059 28411 67 128 0 29929 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 122648

[startup+12.7165 s]
/proc/loadavg: 3.76 4.27 4.30 5/103 22466
/proc/meminfo: memFree=2758232/3368532 swapFree=1959840/1959888
[pid=22457] ppid=22455 vsize=2416 CPUtime=10.55
/proc/22457/stat : 22457 (manysat.sh) S 22455 22457 28360 0 -1 4194304 369 35714 0 0 0 0 1025 30 18 0 1 0 933138415 2473984 274 4294967295 134512640 135169312 3214525664 3214521880 3085729518 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/22457/statm: 604 274 231 161 0 43 0
[pid=22463] ppid=22457 vsize=161368 CPUtime=5.29
/proc/22463/stat : 22463 (manysat1.1_stat) R 22457 22457 28360 0 -1 4202496 32536 0 0 0 494 35 0 0 16 0 4 0 933139471 165240832 32343 4294967295 134512640 135305190 3220271696 3220269796 134695249 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/22463/statm: 40342 32343 79 194 0 40146 0
[pid=22463/tid=22464] ppid=22457 vsize=161368 CPUtime=1.2
/proc/22463/task/22464/stat : 22464 (manysat1.1_stat) R 22457 22457 28360 0 -1 4202560 1223 0 0 0 111 9 0 0 16 0 4 0 933139552 165240832 32343 4294967295 134512640 135305190 3220271696 3051293888 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=22463/tid=22465] ppid=22457 vsize=161368 CPUtime=1.07
/proc/22463/task/22465/stat : 22465 (manysat1.1_stat) R 22457 22457 28360 0 -1 4202560 1327 0 0 0 103 4 0 0 16 0 4 0 933139552 165240832 32343 4294967295 134512640 135305190 3220271696 3042905280 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=22463/tid=22466] ppid=22457 vsize=161368 CPUtime=1.01
/proc/22463/task/22466/stat : 22466 (manysat1.1_stat) R 22457 22457 28360 0 -1 4202560 1040 0 0 0 98 3 0 0 16 0 4 0 933139552 165240832 32343 4294967295 134512640 135305190 3220271696 3034516672 134531185 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 15.84
Current children cumulated vsize (KiB) 163784

[startup+25.5155 s]
/proc/loadavg: 4.24 4.35 4.33 5/103 22467
/proc/meminfo: memFree=2742208/3368532 swapFree=1959840/1959888
[pid=22457] ppid=22455 vsize=2416 CPUtime=10.55
/proc/22457/stat : 22457 (manysat.sh) S 22455 22457 28360 0 -1 4194304 369 35714 0 0 0 0 1025 30 18 0 1 0 933138415 2473984 274 4294967295 134512640 135169312 3214525664 3214521880 3085729518 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/22457/statm: 604 274 231 161 0 43 0
[pid=22463] ppid=22457 vsize=175572 CPUtime=56.36
/proc/22463/stat : 22463 (manysat1.1_stat) R 22457 22457 28360 0 -1 4202496 36094 0 0 0 5596 40 0 0 25 0 4 0 933139471 179785728 35901 4294967295 134512640 135305190 3220271696 3220269616 134541935 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/22463/statm: 43893 35901 79 194 0 43697 0
[pid=22463/tid=22464] ppid=22457 vsize=175572 CPUtime=14
/proc/22463/task/22464/stat : 22464 (manysat1.1_stat) R 22457 22457 28360 0 -1 4202560 1943 0 0 0 1389 11 0 0 25 0 4 0 933139552 179785728 35901 4294967295 134512640 135305190 3220271696 3051293632 134541974 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=22463/tid=22465] ppid=22457 vsize=175572 CPUtime=13.83
/proc/22463/task/22465/stat : 22465 (manysat1.1_stat) R 22457 22457 28360 0 -1 4202560 2389 0 0 0 1378 5 0 0 25 0 4 0 933139552 179785728 35901 4294967295 134512640 135305190 3220271696 3042905280 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=22463/tid=22466] ppid=22457 vsize=175572 CPUtime=13.8
/proc/22463/task/22466/stat : 22466 (manysat1.1_stat) R 22457 22457 28360 0 -1 4202560 1947 0 0 0 1377 3 0 0 25 0 4 0 933139552 179785728 35901 4294967295 134512640 135305190 3220271696 3034516672 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 66.91
Current children cumulated vsize (KiB) 177988

[startup+51.1134 s]
/proc/loadavg: 4.37 4.37 4.33 5/103 22651
/proc/meminfo: memFree=2721972/3368532 swapFree=1959840/1959888
[pid=22457] ppid=22455 vsize=2416 CPUtime=10.55
/proc/22457/stat : 22457 (manysat.sh) S 22455 22457 28360 0 -1 4194304 369 35714 0 0 0 0 1025 30 18 0 1 0 933138415 2473984 274 4294967295 134512640 135169312 3214525664 3214521880 3085729518 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/22457/statm: 604 274 231 161 0 43 0
[pid=22463] ppid=22457 vsize=194468 CPUtime=158.19
/proc/22463/stat : 22463 (manysat1.1_stat) R 22457 22457 28360 0 -1 4202496 40876 0 0 0 15771 48 0 0 25 0 4 0 933139471 199135232 40683 4294967295 134512640 135305190 3220271696 3220269552 134843311 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/22463/statm: 48617 40683 79 194 0 48421 0
[pid=22463/tid=22464] ppid=22457 vsize=194468 CPUtime=39.28
/proc/22463/task/22464/stat : 22464 (manysat1.1_stat) R 22457 22457 28360 0 -1 4202560 3291 0 0 0 3914 14 0 0 25 0 4 0 933139552 199135232 40683 4294967295 134512640 135305190 3220271696 3051293888 134528189 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=22463/tid=22465] ppid=22457 vsize=194468 CPUtime=39.39
/proc/22463/task/22465/stat : 22465 (manysat1.1_stat) R 22457 22457 28360 0 -1 4202560 4061 0 0 0 3931 8 0 0 25 0 4 0 933139552 199135232 40683 4294967295 134512640 135305190 3220271696 3042905280 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=22463/tid=22466] ppid=22457 vsize=194468 CPUtime=39.28
/proc/22463/task/22466/stat : 22466 (manysat1.1_stat) R 22457 22457 28360 0 -1 4202560 2685 0 0 0 3925 3 0 0 25 0 4 0 933139552 199135232 40683 4294967295 134512640 135305190 3220271696 3034516464 134547668 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 168.74
Current children cumulated vsize (KiB) 196884

[startup+102.309 s]
/proc/loadavg: 4.16 4.31 4.31 5/103 22840
/proc/meminfo: memFree=2677520/3368532 swapFree=1959840/1959888
[pid=22457] ppid=22455 vsize=2416 CPUtime=10.55
/proc/22457/stat : 22457 (manysat.sh) S 22455 22457 28360 0 -1 4194304 369 35714 0 0 0 0 1025 30 18 0 1 0 933138415 2473984 274 4294967295 134512640 135169312 3214525664 3214521880 3085729518 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/22457/statm: 604 274 231 161 0 43 0
[pid=22463] ppid=22457 vsize=238668 CPUtime=362.38
/proc/22463/stat : 22463 (manysat1.1_stat) R 22457 22457 28360 0 -1 4202496 51880 0 0 0 36169 69 0 0 25 0 4 0 933139471 244396032 51661 4294967295 134512640 135305190 3220271696 3220269616 134542031 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/22463/statm: 59667 51661 79 194 0 59471 0
[pid=22463/tid=22464] ppid=22457 vsize=238668 CPUtime=90.39
/proc/22463/task/22464/stat : 22464 (manysat1.1_stat) R 22457 22457 28360 0 -1 4202560 5416 0 0 0 9024 15 0 0 25 0 4 0 933139552 244396032 51661 4294967295 134512640 135305190 3220271696 3051293888 134528201 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=22463/tid=22465] ppid=22457 vsize=238668 CPUtime=90.49
/proc/22463/task/22465/stat : 22465 (manysat1.1_stat) R 22457 22457 28360 0 -1 4202560 8907 0 0 0 9031 18 0 0 25 0 4 0 933139552 244396032 51661 4294967295 134512640 135305190 3220271696 3042905220 134846376 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=22463/tid=22466] ppid=22457 vsize=238668 CPUtime=90.27
/proc/22463/task/22466/stat : 22466 (manysat1.1_stat) R 22457 22457 28360 0 -1 4202560 4216 0 0 0 9018 9 0 0 25 0 4 0 933139552 244396032 51661 4294967295 134512640 135305190 3220271696 3034516672 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 372.93
Current children cumulated vsize (KiB) 241084

[startup+162.304 s]
/proc/loadavg: 4.14 4.27 4.30 6/104 22914
/proc/meminfo: memFree=2636308/3368532 swapFree=1959840/1959888
[pid=22457] ppid=22455 vsize=2416 CPUtime=10.55
/proc/22457/stat : 22457 (manysat.sh) S 22455 22457 28360 0 -1 4194304 369 35714 0 0 0 0 1025 30 18 0 1 0 933138415 2473984 274 4294967295 134512640 135169312 3214525664 3214521880 3085729518 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/22457/statm: 604 274 231 161 0 43 0
[pid=22463] ppid=22457 vsize=280756 CPUtime=601.71
/proc/22463/stat : 22463 (manysat1.1_stat) R 22457 22457 28360 0 -1 4202496 62397 0 0 0 60070 101 0 0 25 0 4 0 933139471 287494144 62178 4294967295 134512640 135305190 3220271696 3220269816 134840070 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/22463/statm: 70189 62178 79 194 0 69993 0
[pid=22463/tid=22464] ppid=22457 vsize=280756 CPUtime=150.36
/proc/22463/task/22464/stat : 22464 (manysat1.1_stat) R 22457 22457 28360 0 -1 4202560 7316 0 0 0 15014 22 0 0 25 0 4 0 933139552 287494144 62178 4294967295 134512640 135305190 3220271696 3051293812 134695249 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=22463/tid=22465] ppid=22457 vsize=280756 CPUtime=150.26
/proc/22463/task/22465/stat : 22465 (manysat1.1_stat) R 22457 22457 28360 0 -1 4202560 13952 0 0 0 15002 24 0 0 25 0 4 0 933139552 287494144 62178 4294967295 134512640 135305190 3220271696 3042905280 134528252 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=22463/tid=22466] ppid=22457 vsize=280756 CPUtime=150.09
/proc/22463/task/22466/stat : 22466 (manysat1.1_stat) R 22457 22457 28360 0 -1 4202560 5283 0 0 0 14996 13 0 0 25 0 4 0 933139552 287494144 62178 4294967295 134512640 135305190 3220271696 3034516416 134541947 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 612.26
Current children cumulated vsize (KiB) 283172

[startup+222.309 s]
/proc/loadavg: 4.20 4.26 4.29 6/104 23091
/proc/meminfo: memFree=2616600/3368532 swapFree=1959840/1959888
[pid=22457] ppid=22455 vsize=2416 CPUtime=10.55

################
# More data... #
################

/proc/22463/task/22466/stat : 22466 (manysat1.1_stat) R 22457 22457 28360 0 -1 4202560 8886 0 0 0 50849 44 0 0 25 0 4 0 933139552 425476096 94997 4294967295 134512640 135305190 3220271696 3034516672 134528406 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2048.68
Current children cumulated vsize (KiB) 417920

[startup+582.31 s]
/proc/loadavg: 4.34 4.35 4.30 7/103 24349
/proc/meminfo: memFree=2485972/3368532 swapFree=1959840/1959888
[pid=22457] ppid=22455 vsize=2416 CPUtime=10.55
/proc/22457/stat : 22457 (manysat.sh) S 22455 22457 28360 0 -1 4194304 369 35714 0 0 0 0 1025 30 18 0 1 0 933138415 2473984 274 4294967295 134512640 135169312 3214525664 3214521880 3085729518 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/22457/statm: 604 274 231 161 0 43 0
[pid=22463] ppid=22457 vsize=433472 CPUtime=2277.64
/proc/22463/stat : 22463 (manysat1.1_stat) R 22457 22457 28360 0 -1 4202496 99725 0 0 0 227506 258 0 0 25 0 4 0 933139471 443875328 99506 4294967295 134512640 135305190 3220271696 3220269872 134528512 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/22463/statm: 108368 99506 79 194 0 108172 0
[pid=22463/tid=22464] ppid=22457 vsize=433472 CPUtime=569.55
/proc/22463/task/22464/stat : 22464 (manysat1.1_stat) R 22457 22457 28360 0 -1 4202560 14945 0 0 0 56894 61 0 0 25 0 4 0 933139552 443875328 99506 4294967295 134512640 135305190 3220271696 3051293776 134529059 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=22463/tid=22465] ppid=22457 vsize=433472 CPUtime=569.71
/proc/22463/task/22465/stat : 22465 (manysat1.1_stat) R 22457 22457 28360 0 -1 4202560 29319 0 0 0 56907 64 0 0 25 0 4 0 933139552 443875328 99506 4294967295 134512640 135305190 3220271696 3042905224 134840070 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=22463/tid=22466] ppid=22457 vsize=433472 CPUtime=568.8
/proc/22463/task/22466/stat : 22466 (manysat1.1_stat) R 22457 22457 28360 0 -1 4202560 9652 0 0 0 56833 47 0 0 25 0 4 0 933139552 443875328 99506 4294967295 134512640 135305190 3220271696 3034516672 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2288.19
Current children cumulated vsize (KiB) 435888

[startup+642.315 s]
/proc/loadavg: 4.23 4.31 4.29 6/104 24422
/proc/meminfo: memFree=2453952/3368532 swapFree=1959840/1959888
[pid=22457] ppid=22455 vsize=2416 CPUtime=10.55
/proc/22457/stat : 22457 (manysat.sh) S 22455 22457 28360 0 -1 4194304 369 35714 0 0 0 0 1025 30 18 0 1 0 933138415 2473984 274 4294967295 134512640 135169312 3214525664 3214521880 3085729518 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/22457/statm: 604 274 231 161 0 43 0
[pid=22463] ppid=22457 vsize=465268 CPUtime=2517.37
/proc/22463/stat : 22463 (manysat1.1_stat) R 22457 22457 28360 0 -1 4202496 107527 0 0 0 251453 284 0 0 25 0 4 0 933139471 476434432 107308 4294967295 134512640 135305190 3220271696 3220269872 134528298 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/22463/statm: 116317 107308 79 194 0 116121 0
[pid=22463/tid=22464] ppid=22457 vsize=465268 CPUtime=629.48
/proc/22463/task/22464/stat : 22464 (manysat1.1_stat) R 22457 22457 28360 0 -1 4202560 16574 0 0 0 62883 65 0 0 25 0 4 0 933139552 476434432 107308 4294967295 134512640 135305190 3220271696 3051293888 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=22463/tid=22465] ppid=22457 vsize=465268 CPUtime=629.51
/proc/22463/task/22465/stat : 22465 (manysat1.1_stat) R 22457 22457 28360 0 -1 4202560 32400 0 0 0 62877 74 0 0 25 0 4 0 933139552 476434432 107308 4294967295 134512640 135305190 3220271696 3042905280 134528571 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=22463/tid=22466] ppid=22457 vsize=465268 CPUtime=628.78
/proc/22463/task/22466/stat : 22466 (manysat1.1_stat) R 22457 22457 28360 0 -1 4202560 10395 0 0 0 62823 55 0 0 25 0 4 0 933139552 476434432 107308 4294967295 134512640 135305190 3220271696 3034516672 134528539 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2527.92
Current children cumulated vsize (KiB) 467684

[startup+702.311 s]
/proc/loadavg: 4.18 4.28 4.28 6/103 24725
/proc/meminfo: memFree=2437164/3368532 swapFree=1959840/1959888
[pid=22457] ppid=22455 vsize=2416 CPUtime=10.55
/proc/22457/stat : 22457 (manysat.sh) S 22455 22457 28360 0 -1 4194304 369 35714 0 0 0 0 1025 30 18 0 1 0 933138415 2473984 274 4294967295 134512640 135169312 3214525664 3214521880 3085729518 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/22457/statm: 604 274 231 161 0 43 0
[pid=22463] ppid=22457 vsize=481884 CPUtime=2756.4
/proc/22463/stat : 22463 (manysat1.1_stat) R 22457 22457 28360 0 -1 4202496 111549 0 0 0 275339 301 0 0 25 0 4 0 933139471 493449216 111326 4294967295 134512640 135305190 3220271696 3220269872 134528392 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/22463/statm: 120471 111326 79 194 0 120275 0
[pid=22463/tid=22464] ppid=22457 vsize=481884 CPUtime=689.21
/proc/22463/task/22464/stat : 22464 (manysat1.1_stat) R 22457 22457 28360 0 -1 4202560 17618 0 0 0 68851 70 0 0 25 0 4 0 933139552 493449216 111326 4294967295 134512640 135305190 3220271696 3051293888 134528229 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=22463/tid=22465] ppid=22457 vsize=481884 CPUtime=689.07
/proc/22463/task/22465/stat : 22465 (manysat1.1_stat) R 22457 22457 28360 0 -1 4202560 33708 0 0 0 68828 79 0 0 25 0 4 0 933139552 493449216 111326 4294967295 134512640 135305190 3220271696 3042905280 134528406 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=22463/tid=22466] ppid=22457 vsize=481884 CPUtime=688.63
/proc/22463/task/22466/stat : 22466 (manysat1.1_stat) R 22457 22457 28360 0 -1 4202560 10966 0 0 0 68802 61 0 0 25 0 4 0 933139552 493449216 111326 4294967295 134512640 135305190 3220271696 3034516672 134528410 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2766.95
Current children cumulated vsize (KiB) 484300

[startup+762.316 s]
/proc/loadavg: 4.15 4.26 4.27 6/104 24787
/proc/meminfo: memFree=2425860/3368532 swapFree=1959840/1959888
[pid=22457] ppid=22455 vsize=2416 CPUtime=10.55
/proc/22457/stat : 22457 (manysat.sh) S 22455 22457 28360 0 -1 4194304 369 35714 0 0 0 0 1025 30 18 0 1 0 933138415 2473984 274 4294967295 134512640 135169312 3214525664 3214521880 3085729518 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/22457/statm: 604 274 231 161 0 43 0
[pid=22463] ppid=22457 vsize=495292 CPUtime=2995.92
/proc/22463/stat : 22463 (manysat1.1_stat) R 22457 22457 28360 0 -1 4202496 114743 0 0 0 299269 323 0 0 25 0 4 0 933139471 507179008 114520 4294967295 134512640 135305190 3220271696 3220269616 134541935 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/22463/statm: 123823 114520 79 194 0 123627 0
[pid=22463/tid=22464] ppid=22457 vsize=495292 CPUtime=749.1
/proc/22463/task/22464/stat : 22464 (manysat1.1_stat) R 22457 22457 28360 0 -1 4202560 18081 0 0 0 74832 78 0 0 25 0 4 0 933139552 507179008 114520 4294967295 134512640 135305190 3220271696 3051293888 134528406 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=22463/tid=22465] ppid=22457 vsize=495292 CPUtime=748.71
/proc/22463/task/22465/stat : 22465 (manysat1.1_stat) R 22457 22457 28360 0 -1 4202560 35481 0 0 0 74786 85 0 0 25 0 4 0 933139552 507179008 114520 4294967295 134512640 135305190 3220271696 3042905224 134840070 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=22463/tid=22466] ppid=22457 vsize=495292 CPUtime=748.62
/proc/22463/task/22466/stat : 22466 (manysat1.1_stat) R 22457 22457 28360 0 -1 4202560 11214 0 0 0 74799 63 0 0 25 0 4 0 933139552 507179008 114520 4294967295 134512640 135305190 3220271696 3034516464 134547909 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3006.47
Current children cumulated vsize (KiB) 497708

[startup+822.311 s]
/proc/loadavg: 4.08 4.22 4.25 7/104 24972
/proc/meminfo: memFree=2393524/3368532 swapFree=1959840/1959888
[pid=22457] ppid=22455 vsize=2416 CPUtime=10.55
/proc/22457/stat : 22457 (manysat.sh) S 22455 22457 28360 0 -1 4194304 369 35714 0 0 0 0 1025 30 18 0 1 0 933138415 2473984 274 4294967295 134512640 135169312 3214525664 3214521880 3085729518 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/22457/statm: 604 274 231 161 0 43 0
[pid=22463] ppid=22457 vsize=528468 CPUtime=3235.08
/proc/22463/stat : 22463 (manysat1.1_stat) R 22457 22457 28360 0 -1 4202496 122860 0 0 0 323156 352 0 0 25 0 4 0 933139471 541151232 122637 4294967295 134512640 135305190 3220271696 3220269840 134570402 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/22463/statm: 132117 122637 79 194 0 131921 0
[pid=22463/tid=22464] ppid=22457 vsize=528468 CPUtime=809
/proc/22463/task/22464/stat : 22464 (manysat1.1_stat) R 22457 22457 28360 0 -1 4202560 19825 0 0 0 80818 82 0 0 25 0 4 0 933139552 541151232 122637 4294967295 134512640 135305190 3220271696 3051293888 134528189 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=22463/tid=22465] ppid=22457 vsize=528468 CPUtime=808.63
/proc/22463/task/22465/stat : 22465 (manysat1.1_stat) R 22457 22457 28360 0 -1 4202560 39030 0 0 0 80772 91 0 0 25 0 4 0 933139552 541151232 122637 4294967295 134512640 135305190 3220271696 3042905280 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=22463/tid=22466] ppid=22457 vsize=528468 CPUtime=808.01
/proc/22463/task/22466/stat : 22466 (manysat1.1_stat) R 22457 22457 28360 0 -1 4202560 12297 0 0 0 80729 72 0 0 25 0 4 0 933139552 541151232 122637 4294967295 134512640 135305190 3220271696 3034516672 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3245.63
Current children cumulated vsize (KiB) 530884

[startup+882.306 s]
/proc/loadavg: 4.17 4.22 4.25 6/104 25150
/proc/meminfo: memFree=2364564/3368532 swapFree=1959840/1959888
[pid=22457] ppid=22455 vsize=2416 CPUtime=10.55
/proc/22457/stat : 22457 (manysat.sh) S 22455 22457 28360 0 -1 4194304 369 35714 0 0 0 0 1025 30 18 0 1 0 933138415 2473984 274 4294967295 134512640 135169312 3214525664 3214521880 3085729518 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/22457/statm: 604 274 231 161 0 43 0
[pid=22463] ppid=22457 vsize=556548 CPUtime=3474.36
/proc/22463/stat : 22463 (manysat1.1_stat) R 22457 22457 28360 0 -1 4202496 130015 0 0 0 347060 376 0 0 25 0 4 0 933139471 569905152 129792 4294967295 134512640 135305190 3220271696 3220269872 134528263 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/22463/statm: 139137 129792 79 194 0 138941 0
[pid=22463/tid=22464] ppid=22457 vsize=556548 CPUtime=868.78
/proc/22463/task/22464/stat : 22464 (manysat1.1_stat) R 22457 22457 28360 0 -1 4202560 20601 0 0 0 86792 86 0 0 25 0 4 0 933139552 569905152 129792 4294967295 134512640 135305190 3220271696 3051293832 134840070 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=22463/tid=22465] ppid=22457 vsize=556548 CPUtime=868.61
/proc/22463/task/22465/stat : 22465 (manysat1.1_stat) R 22457 22457 28360 0 -1 4202560 43833 0 0 0 86760 101 0 0 25 0 4 0 933139552 569905152 129792 4294967295 134512640 135305190 3220271696 3042905280 134528229 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=22463/tid=22466] ppid=22457 vsize=556548 CPUtime=867.94
/proc/22463/task/22466/stat : 22466 (manysat1.1_stat) R 22457 22457 28360 0 -1 4202560 12717 0 0 0 86717 77 0 0 25 0 4 0 933139552 569905152 129792 4294967295 134512640 135305190 3220271696 3034516672 134528559 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3484.91
Current children cumulated vsize (KiB) 558964

[startup+942.311 s]
/proc/loadavg: 4.21 4.24 4.26 6/104 25338
/proc/meminfo: memFree=2319812/3368532 swapFree=1959840/1959888
[pid=22457] ppid=22455 vsize=2416 CPUtime=10.55
/proc/22457/stat : 22457 (manysat.sh) S 22455 22457 28360 0 -1 4194304 369 35714 0 0 0 0 1025 30 18 0 1 0 933138415 2473984 274 4294967295 134512640 135169312 3214525664 3214521880 3085729518 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/22457/statm: 604 274 231 161 0 43 0
[pid=22463] ppid=22457 vsize=601900 CPUtime=3713.98
/proc/22463/stat : 22463 (manysat1.1_stat) R 22457 22457 28360 0 -1 4202496 141380 0 0 0 370996 402 0 0 25 0 4 0 933139471 616345600 141157 4294967295 134512640 135305190 3220271696 3220269872 134528229 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/22463/statm: 150475 141157 79 194 0 150279 0
[pid=22463/tid=22464] ppid=22457 vsize=601900 CPUtime=928.79
/proc/22463/task/22464/stat : 22464 (manysat1.1_stat) R 22457 22457 28360 0 -1 4202560 22806 0 0 0 92787 92 0 0 25 0 4 0 933139552 616345600 141157 4294967295 134512640 135305190 3220271696 3051293888 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=22463/tid=22465] ppid=22457 vsize=601900 CPUtime=928.45
/proc/22463/task/22465/stat : 22465 (manysat1.1_stat) R 22457 22457 28360 0 -1 4202560 49712 0 0 0 92733 112 0 0 25 0 4 0 933139552 616345600 141157 4294967295 134512640 135305190 3220271696 3042904896 134551720 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=22463/tid=22466] ppid=22457 vsize=601900 CPUtime=927.83
/proc/22463/task/22466/stat : 22466 (manysat1.1_stat) R 22457 22457 28360 0 -1 4202560 13851 0 0 0 92704 79 0 0 25 0 4 0 933139552 616345600 141157 4294967295 134512640 135305190 3220271696 3034516672 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3724.53
Current children cumulated vsize (KiB) 604316



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.01 s]
/proc/loadavg: 4.14 4.22 4.25 7/104 25512
/proc/meminfo: memFree=2297904/3368532 swapFree=1959840/1959888
[pid=22457] ppid=22455 vsize=2416 CPUtime=10.55
/proc/22457/stat : 22457 (manysat.sh) S 22455 22457 28360 0 -1 4194304 369 35714 0 0 0 0 1025 30 18 0 1 0 933138415 2473984 274 4294967295 134512640 135169312 3214525664 3214521880 3085729518 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/22457/statm: 604 274 231 161 0 43 0
[pid=22463] ppid=22457 vsize=625392 CPUtime=3944.38
/proc/22463/stat : 22463 (manysat1.1_stat) R 22457 22457 28360 0 -1 4202496 146786 0 0 0 394017 421 0 0 25 0 4 0 933139471 640401408 146563 4294967295 134512640 135305190 3220271696 3220269872 134528229 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/22463/statm: 156348 146563 79 194 0 156152 0
[pid=22463/tid=22464] ppid=22457 vsize=625392 CPUtime=986.4
/proc/22463/task/22464/stat : 22464 (manysat1.1_stat) R 22457 22457 28360 0 -1 4202560 23566 0 0 0 98546 94 0 0 25 0 4 0 933139552 640401408 146563 4294967295 134512640 135305190 3220271696 3051293888 134528189 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=22463/tid=22465] ppid=22457 vsize=625392 CPUtime=986.03
/proc/22463/task/22465/stat : 22465 (manysat1.1_stat) R 22457 22457 28360 0 -1 4202560 53787 0 0 0 98487 116 0 0 25 0 4 0 933139552 640401408 146563 4294967295 134512640 135305190 3220271696 3042905224 134839991 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=22463/tid=22466] ppid=22457 vsize=625392 CPUtime=985.35
/proc/22463/task/22466/stat : 22466 (manysat1.1_stat) R 22457 22457 28360 0 -1 4202560 14152 0 0 0 98452 83 0 0 25 0 4 0 933139552 640401408 146563 4294967295 134512640 135305190 3220271696 3034516560 134529062 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3954.93
Current children cumulated vsize (KiB) 627808

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 22457 and gives
#  childrusage.ru_utime.tv_sec=10
#  childrusage.ru_utime.tv_usec=250000
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=300000
# CPU time returned by wait4() is 10.55
# while last known CPU time is 3954.93
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1000.03
CPU time (s): 3954.93
CPU user time (s): 3950.42
CPU system time (s): 4.51
CPU usage (%): 395.483
Max. virtual memory (cumulated for all children) (KiB): 627808

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.25
system time used= 0.3
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36083
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= 6
involuntary context switches= 409

runsolver used 0 second user time and 0 second system time

The end

Launcher Data 

Begin job on tipi39 at 2009-05-28 15:00:16
IDJOB=1778821
IDBENCH=70769
IDSOLVER=620
FILE ID=tipi39/1778821-1243515616
PBS_JOBID=
Free space on /tmp= 5730 MiB

SOLVER NAME= ManySAT 1.1 aimd 0/2009-03-20 (4 threads)
BENCH NAME= SAT09/APPLICATIONS/bitverif/minandmaxor/minandmaxor128.cnf
COMMAND LINE= manysat.sh BENCHNAME aimd 0
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1778821-1243515616/watcher-1778821-1243515616 -o /tmp/evaluation-result-1778821-1243515616/solver-1778821-1243515616 -C 10000 -W 1000 -M 2047  manysat.sh HOME/instance-1778821-1243515616.cnf aimd 0

TIME LIMIT= 10000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 4

MD5SUM BENCH= 5b2e2178738883a628728bb1ec39f4a9
RANDOM SEED= 1294948831

Linux tipi39 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.067
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.067
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.067
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.067
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:       2935872 kB
Buffers:         49044 kB
Cached:         283560 kB
SwapCached:          0 kB
Active:         201860 kB
Inactive:       146960 kB
HighTotal:     2489216 kB
HighFree:      2192012 kB
LowTotal:       879316 kB
LowFree:        743860 kB
SwapTotal:     1959888 kB
SwapFree:      1959840 kB
Dirty:           15156 kB
Writeback:           0 kB
AnonPages:       16464 kB
Mapped:           5968 kB
Slab:            74144 kB
SReclaimable:    61628 kB
SUnreclaim:      12516 kB
PageTables:        500 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:    95160 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 5681 MiB
End job on tipi39 at 2009-05-28 15:16:59