Trace number 1779184

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 1/2009-03-20 (4 threads)? (TO) 3986.21 1000.05

General information on the benchmark

NameAPPLICATIONS/crypto/
md5gen/gus-md5-16.cnf
MD5SUM3cb14750de2495357cf28b8ab826b9e3
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 variables70139
Number of clauses228634
Sum of the clauses size592458
Maximum clause length3
Minimum clause length1
Number of clauses of size 1129
Number of clauses of size 293186
Number of clauses of size 3135319
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.12/0.18	c ==============================================================================
0.12/0.18	c |           |     ORIGINAL     |              LEARNT              |          |
0.12/0.18	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.12/0.18	c ==============================================================================
0.12/0.18	c |         0 |  227991   590788 |   68397       0        0     nan |  0.000 % |
0.82/0.89	c |         0 |  164401   556548 |      --       0       --      -- |     --   | -63590/-34240
0.82/0.89	c ==============================================================================
0.82/0.89	c Result  :   #vars: 28657   #clauses: 164401   #literals: 556548
0.82/0.89	c CPU time:   0.85 s
0.82/0.89	c ==============================================================================
3986.12/1000.04	HOME/manysat.sh: line 55: 12890 Terminated              $MS -verbosity=0 $TMP.cnf $TMP.result -$AIMD $AIMD_FLAG "$@"

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-1779184-1243521346/watcher-1779184-1243521346 -o /tmp/evaluation-result-1779184-1243521346/solver-1779184-1243521346 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1779184-1243521346.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: 4.20 4.34 4.39 3/96 12887
/proc/meminfo: memFree=2932020/3368532 swapFree=1954076/1959888
[pid=12887] ppid=12885 vsize=2416 CPUtime=0
/proc/12887/stat : 12887 (manysat.sh) S 12885 12887 1628 0 -1 4194304 348 0 0 0 0 0 0 0 18 0 1 0 1106235784 2473984 273 4294967295 134512640 135169312 3216129648 3216128184 3085184750 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/12887/statm: 604 273 231 161 0 43 0
[pid=12888] ppid=12887 vsize=2460 CPUtime=0.01
/proc/12888/stat : 12888 (SatElite) R 12887 12887 1628 0 -1 4202496 439 0 0 0 1 0 0 0 18 0 1 0 1106235784 2519040 376 4294967295 134512640 135034092 3221105392 3221101680 134544849 0 0 0 3 0 0 0 17 0 0 0 0
/proc/12888/statm: 615 378 50 128 0 485 0

[startup+0.013668 s]
/proc/loadavg: 4.20 4.34 4.39 3/96 12887
/proc/meminfo: memFree=2932020/3368532 swapFree=1954076/1959888
[pid=12887] ppid=12885 vsize=2416 CPUtime=0
/proc/12887/stat : 12887 (manysat.sh) S 12885 12887 1628 0 -1 4194304 348 0 0 0 0 0 0 0 18 0 1 0 1106235784 2473984 273 4294967295 134512640 135169312 3216129648 3216128184 3085184750 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/12887/statm: 604 273 231 161 0 43 0
[pid=12888] ppid=12887 vsize=7136 CPUtime=0.02
/proc/12888/stat : 12888 (SatElite) R 12887 12887 1628 0 -1 4202496 1666 0 0 0 2 0 0 0 18 0 1 0 1106235784 7307264 1556 4294967295 134512640 135034092 3221105392 3221101680 134544856 0 0 0 3 0 0 0 17 0 0 0 0
/proc/12888/statm: 1784 1558 50 128 0 1654 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9552

[startup+0.113658 s]
/proc/loadavg: 4.20 4.34 4.39 3/96 12887
/proc/meminfo: memFree=2932020/3368532 swapFree=1954076/1959888
[pid=12887] ppid=12885 vsize=2416 CPUtime=0
/proc/12887/stat : 12887 (manysat.sh) S 12885 12887 1628 0 -1 4194304 348 0 0 0 0 0 0 0 18 0 1 0 1106235784 2473984 273 4294967295 134512640 135169312 3216129648 3216128184 3085184750 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/12887/statm: 604 273 231 161 0 43 0
[pid=12888] ppid=12887 vsize=26416 CPUtime=0.12
/proc/12888/stat : 12888 (SatElite) R 12887 12887 1628 0 -1 4202496 5244 0 0 0 11 1 0 0 18 0 1 0 1106235784 27049984 5034 4294967295 134512640 135034092 3221105392 3221101384 134673244 0 0 0 3 0 0 0 17 0 0 0 0
/proc/12888/statm: 6604 5034 50 128 0 6474 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 28832

[startup+0.313645 s]
/proc/loadavg: 4.20 4.34 4.39 3/96 12887
/proc/meminfo: memFree=2932020/3368532 swapFree=1954076/1959888
[pid=12887] ppid=12885 vsize=2416 CPUtime=0
/proc/12887/stat : 12887 (manysat.sh) S 12885 12887 1628 0 -1 4194304 348 0 0 0 0 0 0 0 18 0 1 0 1106235784 2473984 273 4294967295 134512640 135169312 3216129648 3216128184 3085184750 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/12887/statm: 604 273 231 161 0 43 0
[pid=12888] ppid=12887 vsize=38348 CPUtime=0.32
/proc/12888/stat : 12888 (SatElite) R 12887 12887 1628 0 -1 4202496 8454 0 0 0 30 2 0 0 18 0 1 0 1106235784 39268352 8040 4294967295 134512640 135034092 3221105392 3221101388 134691101 0 0 0 3 0 0 0 17 0 0 0 0
/proc/12888/statm: 9587 8041 67 128 0 9457 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 40764

[startup+0.713617 s]
/proc/loadavg: 4.20 4.34 4.39 3/96 12887
/proc/meminfo: memFree=2932020/3368532 swapFree=1954076/1959888
[pid=12887] ppid=12885 vsize=2416 CPUtime=0
/proc/12887/stat : 12887 (manysat.sh) S 12885 12887 1628 0 -1 4194304 348 0 0 0 0 0 0 0 18 0 1 0 1106235784 2473984 273 4294967295 134512640 135169312 3216129648 3216128184 3085184750 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/12887/statm: 604 273 231 161 0 43 0
[pid=12888] ppid=12887 vsize=43108 CPUtime=0.72
/proc/12888/stat : 12888 (SatElite) R 12887 12887 1628 0 -1 4202496 9684 0 0 0 67 5 0 0 18 0 1 0 1106235784 44142592 9132 4294967295 134512640 135034092 3221105392 3221101628 134670022 0 0 0 3 0 0 0 17 0 0 0 0
/proc/12888/statm: 10777 9132 67 128 0 10647 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 45524

[startup+1.51357 s]
/proc/loadavg: 3.95 4.28 4.37 2/98 12889
/proc/meminfo: memFree=2890184/3368532 swapFree=1954076/1959888
[pid=12887] ppid=12885 vsize=2420 CPUtime=1.12
/proc/12887/stat : 12887 (manysat.sh) S 12885 12887 1628 0 -1 4194304 370 9983 0 0 0 0 106 6 18 0 1 0 1106235784 2478080 275 4294967295 134512640 135169312 3216129648 3216125864 3085184750 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/12887/statm: 605 275 231 161 0 44 0
Current children cumulated CPU time (s) 1.12
Current children cumulated vsize (KiB) 2420

[startup+3.13346 s]
/proc/loadavg: 3.95 4.28 4.37 6/101 12893
/proc/meminfo: memFree=2872152/3368532 swapFree=1954076/1959888
[pid=12887] ppid=12885 vsize=2420 CPUtime=1.12
/proc/12887/stat : 12887 (manysat.sh) S 12885 12887 1628 0 -1 4194304 370 9983 0 0 0 0 106 6 18 0 1 0 1106235784 2478080 275 4294967295 134512640 135169312 3216129648 3216125864 3085184750 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/12887/statm: 605 275 231 161 0 44 0
[pid=12890] ppid=12887 vsize=87412 CPUtime=6.5
/proc/12890/stat : 12890 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202496 14475 0 0 0 606 44 0 0 16 0 4 0 1106235896 89509888 14385 4294967295 134512640 135305190 3215670768 3215668608 134551651 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/12890/statm: 21853 14385 79 194 0 21657 0
[pid=12890/tid=12891] ppid=12887 vsize=87412 CPUtime=1.57
/proc/12890/task/12891/stat : 12891 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202560 723 0 0 0 145 12 0 0 15 0 4 0 1106235932 89509888 14385 4294967295 134512640 135305190 3215670768 3073518448 134551799 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=12890/tid=12892] ppid=12887 vsize=87412 CPUtime=1.57
/proc/12890/task/12892/stat : 12892 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202560 576 0 0 0 150 7 0 0 16 0 4 0 1106235932 89509888 14385 4294967295 134512640 135305190 3215670768 3065130176 134528768 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=12890/tid=12893] ppid=12887 vsize=87412 CPUtime=1.45
/proc/12890/task/12893/stat : 12893 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202560 832 0 0 0 134 11 0 0 16 0 4 0 1106235932 89509888 14385 4294967295 134512640 135305190 3215670768 3056741568 134528480 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 7.62
Current children cumulated vsize (KiB) 89832

[startup+6.31325 s]
/proc/loadavg: 3.95 4.28 4.37 6/101 12893
/proc/meminfo: memFree=2866060/3368532 swapFree=1954076/1959888
[pid=12887] ppid=12885 vsize=2420 CPUtime=1.12
/proc/12887/stat : 12887 (manysat.sh) S 12885 12887 1628 0 -1 4194304 370 9983 0 0 0 0 106 6 18 0 1 0 1106235784 2478080 275 4294967295 134512640 135169312 3216129648 3216125864 3085184750 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/12887/statm: 605 275 231 161 0 44 0
[pid=12890] ppid=12887 vsize=90040 CPUtime=19.21
/proc/12890/stat : 12890 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202496 15166 0 0 0 1876 45 0 0 18 0 4 0 1106235896 92200960 15076 4294967295 134512640 135305190 3215670768 3215668608 134551945 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/12890/statm: 22510 15076 79 194 0 22314 0
[pid=12890/tid=12891] ppid=12887 vsize=90040 CPUtime=4.74
/proc/12890/task/12891/stat : 12891 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202560 912 0 0 0 462 12 0 0 18 0 4 0 1106235932 92200960 15076 4294967295 134512640 135305190 3215670768 3073518448 134551697 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=12890/tid=12892] ppid=12887 vsize=90040 CPUtime=4.75
/proc/12890/task/12892/stat : 12892 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202560 692 0 0 0 468 7 0 0 18 0 4 0 1106235932 92200960 15076 4294967295 134512640 135305190 3215670768 3065129856 134552932 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=12890/tid=12893] ppid=12887 vsize=90040 CPUtime=4.63
/proc/12890/task/12893/stat : 12893 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202560 1037 0 0 0 451 12 0 0 18 0 4 0 1106235932 92200960 15076 4294967295 134512640 135305190 3215670768 3056741568 134528229 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 20.33
Current children cumulated vsize (KiB) 92460

[startup+12.7128 s]
/proc/loadavg: 4.10 4.31 4.38 5/101 12894
/proc/meminfo: memFree=2862216/3368532 swapFree=1954076/1959888
[pid=12887] ppid=12885 vsize=2420 CPUtime=1.12
/proc/12887/stat : 12887 (manysat.sh) S 12885 12887 1628 0 -1 4194304 370 9983 0 0 0 0 106 6 18 0 1 0 1106235784 2478080 275 4294967295 134512640 135169312 3216129648 3216125864 3085184750 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/12887/statm: 605 275 231 161 0 44 0
[pid=12890] ppid=12887 vsize=92924 CPUtime=44.79
/proc/12890/stat : 12890 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202496 15983 0 0 0 4432 47 0 0 25 0 4 0 1106235896 95154176 15893 4294967295 134512640 135305190 3215670768 3215668944 134528768 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/12890/statm: 23231 15893 79 194 0 23035 0
[pid=12890/tid=12891] ppid=12887 vsize=92924 CPUtime=11.14
/proc/12890/task/12891/stat : 12891 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202560 1104 0 0 0 1102 12 0 0 25 0 4 0 1106235932 95154176 15893 4294967295 134512640 135305190 3215670768 3073518784 134528768 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=12890/tid=12892] ppid=12887 vsize=92924 CPUtime=11.15
/proc/12890/task/12892/stat : 12892 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202560 905 0 0 0 1107 8 0 0 25 0 4 0 1106235932 95154176 15893 4294967295 134512640 135305190 3215670768 3065129856 134552885 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=12890/tid=12893] ppid=12887 vsize=92924 CPUtime=11.01
/proc/12890/task/12893/stat : 12893 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202560 1296 0 0 0 1089 12 0 0 25 0 4 0 1106235932 95154176 15893 4294967295 134512640 135305190 3215670768 3056741568 134528489 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 45.91
Current children cumulated vsize (KiB) 95344

[startup+25.5119 s]
/proc/loadavg: 4.39 4.36 4.40 6/101 13080
/proc/meminfo: memFree=2856648/3368532 swapFree=1954076/1959888
[pid=12887] ppid=12885 vsize=2420 CPUtime=1.12
/proc/12887/stat : 12887 (manysat.sh) S 12885 12887 1628 0 -1 4194304 370 9983 0 0 0 0 106 6 18 0 1 0 1106235784 2478080 275 4294967295 134512640 135169312 3216129648 3216125864 3085184750 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/12887/statm: 605 275 231 161 0 44 0
[pid=12890] ppid=12887 vsize=97776 CPUtime=95.52
/proc/12890/stat : 12890 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202496 17238 0 0 0 9500 52 0 0 25 0 4 0 1106235896 100122624 17148 4294967295 134512640 135305190 3215670768 3215668944 134528298 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/12890/statm: 24444 17148 79 194 0 24248 0
[pid=12890/tid=12891] ppid=12887 vsize=97776 CPUtime=23.92
/proc/12890/task/12891/stat : 12891 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202560 1432 0 0 0 2379 13 0 0 25 0 4 0 1106235932 100122624 17148 4294967295 134512640 135305190 3215670768 3073518784 134528768 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=12890/tid=12892] ppid=12887 vsize=97776 CPUtime=23.83
/proc/12890/task/12892/stat : 12892 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202560 1088 0 0 0 2374 9 0 0 25 0 4 0 1106235932 100122624 17148 4294967295 134512640 135305190 3215670768 3065130176 134528229 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=12890/tid=12893] ppid=12887 vsize=97776 CPUtime=23.55
/proc/12890/task/12893/stat : 12893 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202560 1718 0 0 0 2341 14 0 0 25 0 4 0 1106235932 100122624 17148 4294967295 134512640 135305190 3215670768 3056741568 134528545 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 96.64
Current children cumulated vsize (KiB) 100196

[startup+51.1102 s]
/proc/loadavg: 4.33 4.35 4.39 5/101 13081
/proc/meminfo: memFree=2849004/3368532 swapFree=1954076/1959888
[pid=12887] ppid=12885 vsize=2420 CPUtime=1.12
/proc/12887/stat : 12887 (manysat.sh) S 12885 12887 1628 0 -1 4194304 370 9983 0 0 0 0 106 6 18 0 1 0 1106235784 2478080 275 4294967295 134512640 135169312 3216129648 3216125864 3085184750 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/12887/statm: 605 275 231 161 0 44 0
[pid=12890] ppid=12887 vsize=106400 CPUtime=197.85
/proc/12890/stat : 12890 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202496 19333 0 0 0 19726 59 0 0 25 0 4 0 1106235896 108953600 19243 4294967295 134512640 135305190 3215670768 3215668944 134528229 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/12890/statm: 26600 19243 79 194 0 26404 0
[pid=12890/tid=12891] ppid=12887 vsize=106400 CPUtime=49.52
/proc/12890/task/12891/stat : 12891 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202560 1910 0 0 0 4936 16 0 0 25 0 4 0 1106235932 108953600 19243 4294967295 134512640 135305190 3215670768 3073518784 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=12890/tid=12892] ppid=12887 vsize=106400 CPUtime=49.43
/proc/12890/task/12892/stat : 12892 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202560 1559 0 0 0 4934 9 0 0 25 0 4 0 1106235932 108953600 19243 4294967295 134512640 135305190 3215670768 3065129792 134551860 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=12890/tid=12893] ppid=12887 vsize=106400 CPUtime=49.15
/proc/12890/task/12893/stat : 12893 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202560 2410 0 0 0 4898 17 0 0 25 0 4 0 1106235932 108953600 19243 4294967295 134512640 135305190 3215670768 3056741296 134556734 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 198.97
Current children cumulated vsize (KiB) 108820

[startup+102.317 s]
/proc/loadavg: 4.65 4.43 4.41 6/101 13269
/proc/meminfo: memFree=2833192/3368532 swapFree=1954076/1959888
[pid=12887] ppid=12885 vsize=2420 CPUtime=1.12
/proc/12887/stat : 12887 (manysat.sh) S 12885 12887 1628 0 -1 4194304 370 9983 0 0 0 0 106 6 18 0 1 0 1106235784 2478080 275 4294967295 134512640 135169312 3216129648 3216125864 3085184750 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/12887/statm: 605 275 231 161 0 44 0
[pid=12890] ppid=12887 vsize=122428 CPUtime=402.18
/proc/12890/stat : 12890 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202496 23246 0 0 0 40144 74 0 0 25 0 4 0 1106235896 125366272 23156 4294967295 134512640 135305190 3215670768 3215668608 134551860 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/12890/statm: 30607 23156 79 194 0 30411 0
[pid=12890/tid=12891] ppid=12887 vsize=122428 CPUtime=100.71
/proc/12890/task/12891/stat : 12891 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202560 2618 0 0 0 10051 20 0 0 25 0 4 0 1106235932 125366272 23156 4294967295 134512640 135305190 3215670768 3073518784 134528418 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=12890/tid=12892] ppid=12887 vsize=122428 CPUtime=100.61
/proc/12890/task/12892/stat : 12892 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202560 2125 0 0 0 10048 13 0 0 25 0 4 0 1106235932 125366272 23156 4294967295 134512640 135305190 3215670768 3065130176 134528301 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=12890/tid=12893] ppid=12887 vsize=122428 CPUtime=100
/proc/12890/task/12893/stat : 12893 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202560 3879 0 0 0 9980 20 0 0 25 0 4 0 1106235932 125366272 23156 4294967295 134512640 135305190 3215670768 3056741568 134528392 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 403.3
Current children cumulated vsize (KiB) 124848

[startup+162.313 s]
/proc/loadavg: 4.34 4.38 4.39 5/101 13455
/proc/meminfo: memFree=2823508/3368532 swapFree=1954076/1959888
[pid=12887] ppid=12885 vsize=2420 CPUtime=1.12
/proc/12887/stat : 12887 (manysat.sh) S 12885 12887 1628 0 -1 4194304 370 9983 0 0 0 0 106 6 18 0 1 0 1106235784 2478080 275 4294967295 134512640 135169312 3216129648 3216125864 3085184750 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/12887/statm: 605 275 231 161 0 44 0
[pid=12890] ppid=12887 vsize=130716 CPUtime=641.55
/proc/12890/stat : 12890 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202496 25310 0 0 0 64064 91 0 0 25 0 4 0 1106235896 133853184 25220 4294967295 134512640 135305190 3215670768 3215668672 134557414 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/12890/statm: 32679 25220 79 194 0 32483 0
[pid=12890/tid=12891] ppid=12887 vsize=130716 CPUtime=160.46
/proc/12890/task/12891/stat : 12891 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202560 2946 0 0 0 16021 25 0 0 25 0 4 0 1106235932 133853184 25220 4294967295 134512640 135305190 3215670768 3073518512 134556558 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=12890/tid=12892] ppid=12887 vsize=130716 CPUtime=160.54
/proc/12890/task/12892/stat : 12892 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202560 2693 0 0 0 16034 20 0 0 25 0 4 0 1106235932 133853184 25220 4294967295 134512640 135305190 3215670768 3065130176 134530561 0 0 0 3 0 0 0 -1 1 0 0 0

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

[startup+522.308 s]
/proc/loadavg: 4.49 4.49 4.43 6/101 14588
/proc/meminfo: memFree=2743068/3368532 swapFree=1954076/1959888
[pid=12887] ppid=12885 vsize=2420 CPUtime=1.12
/proc/12887/stat : 12887 (manysat.sh) S 12885 12887 1628 0 -1 4194304 370 9983 0 0 0 0 106 6 18 0 1 0 1106235784 2478080 275 4294967295 134512640 135169312 3216129648 3216125864 3085184750 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/12887/statm: 605 275 231 161 0 44 0
[pid=12890] ppid=12887 vsize=211344 CPUtime=2078.35
/proc/12890/stat : 12890 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202496 45509 0 0 0 207634 201 0 0 25 0 4 0 1106235896 216416256 45419 4294967295 134512640 135305190 3215670768 3215668944 134528418 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/12890/statm: 52836 45419 79 194 0 52640 0
[pid=12890/tid=12891] ppid=12887 vsize=211344 CPUtime=519.85
/proc/12890/task/12891/stat : 12891 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202560 7040 0 0 0 51935 50 0 0 25 0 4 0 1106235932 216416256 45419 4294967295 134512640 135305190 3215670768 3073518448 134551697 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=12890/tid=12892] ppid=12887 vsize=211344 CPUtime=519.82
/proc/12890/task/12892/stat : 12892 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202560 8570 0 0 0 51929 53 0 0 25 0 4 0 1106235932 216416256 45419 4294967295 134512640 135305190 3215670768 3065130176 134528289 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=12890/tid=12893] ppid=12887 vsize=211344 CPUtime=518.59
/proc/12890/task/12893/stat : 12893 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202560 9816 0 0 0 51815 44 0 0 25 0 4 0 1106235932 216416256 45419 4294967295 134512640 135305190 3215670768 3056741568 134528755 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2079.47
Current children cumulated vsize (KiB) 213764

[startup+582.314 s]
/proc/loadavg: 4.73 4.54 4.44 5/101 14776
/proc/meminfo: memFree=2742036/3368532 swapFree=1954076/1959888
[pid=12887] ppid=12885 vsize=2420 CPUtime=1.12
/proc/12887/stat : 12887 (manysat.sh) S 12885 12887 1628 0 -1 4194304 370 9983 0 0 0 0 106 6 18 0 1 0 1106235784 2478080 275 4294967295 134512640 135169312 3216129648 3216125864 3085184750 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/12887/statm: 605 275 231 161 0 44 0
[pid=12890] ppid=12887 vsize=212256 CPUtime=2317.76
/proc/12890/stat : 12890 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202496 45748 0 0 0 231553 223 0 0 25 0 4 0 1106235896 217350144 45658 4294967295 134512640 135305190 3215670768 3215668944 134528536 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/12890/statm: 53064 45658 79 194 0 52868 0
[pid=12890/tid=12891] ppid=12887 vsize=212256 CPUtime=579.86
/proc/12890/task/12891/stat : 12891 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202560 7053 0 0 0 57932 54 0 0 25 0 4 0 1106235932 217350144 45658 4294967295 134512640 135305190 3215670768 3073518784 134528245 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=12890/tid=12892] ppid=12887 vsize=212256 CPUtime=579.83
/proc/12890/task/12892/stat : 12892 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202560 8782 0 0 0 57923 60 0 0 25 0 4 0 1106235932 217350144 45658 4294967295 134512640 135305190 3215670768 3065130176 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=12890/tid=12893] ppid=12887 vsize=212256 CPUtime=578.57
/proc/12890/task/12893/stat : 12893 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202560 9820 0 0 0 57808 49 0 0 25 0 4 0 1106235932 217350144 45658 4294967295 134512640 135305190 3215670768 3056741568 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2318.88
Current children cumulated vsize (KiB) 214676

[startup+642.31 s]
/proc/loadavg: 4.65 4.54 4.45 5/101 14968
/proc/meminfo: memFree=2735248/3368532 swapFree=1954076/1959888
[pid=12887] ppid=12885 vsize=2420 CPUtime=1.12
/proc/12887/stat : 12887 (manysat.sh) S 12885 12887 1628 0 -1 4194304 370 9983 0 0 0 0 106 6 18 0 1 0 1106235784 2478080 275 4294967295 134512640 135169312 3216129648 3216125864 3085184750 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/12887/statm: 605 275 231 161 0 44 0
[pid=12890] ppid=12887 vsize=219192 CPUtime=2557.38
/proc/12890/stat : 12890 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202496 47515 0 0 0 255505 233 0 0 25 0 4 0 1106235896 224452608 47425 4294967295 134512640 135305190 3215670768 3215668944 134528406 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/12890/statm: 54798 47425 79 194 0 54602 0
[pid=12890/tid=12891] ppid=12887 vsize=219192 CPUtime=639.8
/proc/12890/task/12891/stat : 12891 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202560 7446 0 0 0 63923 57 0 0 25 0 4 0 1106235932 224452608 47425 4294967295 134512640 135305190 3215670768 3073518512 134556558 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=12890/tid=12892] ppid=12887 vsize=219192 CPUtime=639.83
/proc/12890/task/12892/stat : 12892 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202560 9072 0 0 0 63921 62 0 0 25 0 4 0 1106235932 224452608 47425 4294967295 134512640 135305190 3215670768 3065130176 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=12890/tid=12893] ppid=12887 vsize=219192 CPUtime=638.38
/proc/12890/task/12893/stat : 12893 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202560 10411 0 0 0 63787 51 0 0 25 0 4 0 1106235932 224452608 47425 4294967295 134512640 135305190 3215670768 3056741568 134528229 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2558.5
Current children cumulated vsize (KiB) 221612

[startup+702.306 s]
/proc/loadavg: 4.75 4.57 4.46 5/101 15157
/proc/meminfo: memFree=2723188/3368532 swapFree=1954076/1959888
[pid=12887] ppid=12885 vsize=2420 CPUtime=1.12
/proc/12887/stat : 12887 (manysat.sh) S 12885 12887 1628 0 -1 4194304 370 9983 0 0 0 0 106 6 18 0 1 0 1106235784 2478080 275 4294967295 134512640 135169312 3216129648 3216125864 3085184750 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/12887/statm: 605 275 231 161 0 44 0
[pid=12890] ppid=12887 vsize=231784 CPUtime=2796.82
/proc/12890/stat : 12890 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202496 50298 0 0 0 279440 242 0 0 25 0 4 0 1106235896 237346816 50208 4294967295 134512640 135305190 3215670768 3215668672 134556558 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/12890/statm: 57946 50208 79 194 0 57750 0
[pid=12890/tid=12891] ppid=12887 vsize=231784 CPUtime=699.64
/proc/12890/task/12891/stat : 12891 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202560 8043 0 0 0 69905 59 0 0 25 0 4 0 1106235932 237346816 50208 4294967295 134512640 135305190 3215670768 3073518784 134528768 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=12890/tid=12892] ppid=12887 vsize=231784 CPUtime=699.81
/proc/12890/task/12892/stat : 12892 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202560 9571 0 0 0 69917 64 0 0 25 0 4 0 1106235932 237346816 50208 4294967295 134512640 135305190 3215670768 3065130176 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=12890/tid=12893] ppid=12887 vsize=231784 CPUtime=698.21
/proc/12890/task/12893/stat : 12893 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202560 11333 0 0 0 69766 55 0 0 25 0 4 0 1106235932 237346816 50208 4294967295 134512640 135305190 3215670768 3056741232 134551651 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2797.94
Current children cumulated vsize (KiB) 234204

[startup+762.322 s]
/proc/loadavg: 4.79 4.59 4.47 5/101 15343
/proc/meminfo: memFree=2705184/3368532 swapFree=1954076/1959888
[pid=12887] ppid=12885 vsize=2420 CPUtime=1.12
/proc/12887/stat : 12887 (manysat.sh) S 12885 12887 1628 0 -1 4194304 370 9983 0 0 0 0 106 6 18 0 1 0 1106235784 2478080 275 4294967295 134512640 135169312 3216129648 3216125864 3085184750 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/12887/statm: 605 275 231 161 0 44 0
[pid=12890] ppid=12887 vsize=249528 CPUtime=3036.51
/proc/12890/stat : 12890 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202496 54774 0 0 0 303391 260 0 0 25 0 4 0 1106235896 255516672 54684 4294967295 134512640 135305190 3215670768 3215668608 134551668 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/12890/statm: 62382 54684 79 194 0 62186 0
[pid=12890/tid=12891] ppid=12887 vsize=249528 CPUtime=759.65
/proc/12890/task/12891/stat : 12891 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202560 8790 0 0 0 75903 62 0 0 25 0 4 0 1106235932 255516672 54684 4294967295 134512640 135305190 3215670768 3073518784 134528503 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=12890/tid=12892] ppid=12887 vsize=249528 CPUtime=759.82
/proc/12890/task/12892/stat : 12892 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202560 10759 0 0 0 75913 69 0 0 25 0 4 0 1106235932 255516672 54684 4294967295 134512640 135305190 3215670768 3065130176 134528768 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=12890/tid=12893] ppid=12887 vsize=249528 CPUtime=758
/proc/12890/task/12893/stat : 12893 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202560 12720 0 0 0 75738 62 0 0 25 0 4 0 1106235932 255516672 54684 4294967295 134512640 135305190 3215670768 3056741568 134528768 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3037.63
Current children cumulated vsize (KiB) 251948

[startup+822.307 s]
/proc/loadavg: 4.48 4.53 4.45 5/101 15531
/proc/meminfo: memFree=2704648/3368532 swapFree=1954076/1959888
[pid=12887] ppid=12885 vsize=2420 CPUtime=1.12
/proc/12887/stat : 12887 (manysat.sh) S 12885 12887 1628 0 -1 4194304 370 9983 0 0 0 0 106 6 18 0 1 0 1106235784 2478080 275 4294967295 134512640 135169312 3216129648 3216125864 3085184750 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/12887/statm: 605 275 231 161 0 44 0
[pid=12890] ppid=12887 vsize=249820 CPUtime=3275.81
/proc/12890/stat : 12890 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202496 54887 0 0 0 327293 288 0 0 25 0 4 0 1106235896 255815680 54797 4294967295 134512640 135305190 3215670768 3215668672 134557414 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/12890/statm: 62455 54797 79 194 0 62259 0
[pid=12890/tid=12891] ppid=12887 vsize=249820 CPUtime=819.33
/proc/12890/task/12891/stat : 12891 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202560 8806 0 0 0 81865 68 0 0 25 0 4 0 1106235932 255815680 54797 4294967295 134512640 135305190 3215670768 3073518512 134556770 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=12890/tid=12892] ppid=12887 vsize=249820 CPUtime=819.81
/proc/12890/task/12892/stat : 12892 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202560 10831 0 0 0 81909 72 0 0 25 0 4 0 1106235932 255815680 54797 4294967295 134512640 135305190 3215670768 3065130176 134528503 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=12890/tid=12893] ppid=12887 vsize=249820 CPUtime=817.97
/proc/12890/task/12893/stat : 12893 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202560 12720 0 0 0 81726 71 0 0 25 0 4 0 1106235932 255815680 54797 4294967295 134512640 135305190 3215670768 3056741568 134528503 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3276.93
Current children cumulated vsize (KiB) 252240

[startup+882.313 s]
/proc/loadavg: 4.55 4.52 4.46 6/102 15681
/proc/meminfo: memFree=2704312/3368532 swapFree=1954076/1959888
[pid=12887] ppid=12885 vsize=2420 CPUtime=1.12
/proc/12887/stat : 12887 (manysat.sh) S 12885 12887 1628 0 -1 4194304 370 9983 0 0 0 0 106 6 18 0 1 0 1106235784 2478080 275 4294967295 134512640 135169312 3216129648 3216125864 3085184750 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/12887/statm: 605 275 231 161 0 44 0
[pid=12890] ppid=12887 vsize=250528 CPUtime=3515.68
/proc/12890/stat : 12890 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202496 55067 0 0 0 351267 301 0 0 25 0 4 0 1106235896 256540672 54977 4294967295 134512640 135305190 3215670768 3215668944 134528768 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/12890/statm: 62632 54977 79 194 0 62436 0
[pid=12890/tid=12891] ppid=12887 vsize=250528 CPUtime=879.34
/proc/12890/task/12891/stat : 12891 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202560 8831 0 0 0 87864 70 0 0 25 0 4 0 1106235932 256540672 54977 4294967295 134512640 135305190 3215670768 3073518784 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=12890/tid=12892] ppid=12887 vsize=250528 CPUtime=879.82
/proc/12890/task/12892/stat : 12892 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202560 10986 0 0 0 87907 75 0 0 25 0 4 0 1106235932 256540672 54977 4294967295 134512640 135305190 3215670768 3065129856 134553353 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=12890/tid=12893] ppid=12887 vsize=250528 CPUtime=877.97
/proc/12890/task/12893/stat : 12893 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202560 12720 0 0 0 87725 72 0 0 25 0 4 0 1106235932 256540672 54977 4294967295 134512640 135305190 3215670768 3056741568 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3516.8
Current children cumulated vsize (KiB) 252948

[startup+942.319 s]
/proc/loadavg: 4.50 4.51 4.45 5/101 15907
/proc/meminfo: memFree=2702680/3368532 swapFree=1954076/1959888
[pid=12887] ppid=12885 vsize=2420 CPUtime=1.12
/proc/12887/stat : 12887 (manysat.sh) S 12885 12887 1628 0 -1 4194304 370 9983 0 0 0 0 106 6 18 0 1 0 1106235784 2478080 275 4294967295 134512640 135169312 3216129648 3216125864 3085184750 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/12887/statm: 605 275 231 161 0 44 0
[pid=12890] ppid=12887 vsize=251160 CPUtime=3754.82
/proc/12890/stat : 12890 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202496 55325 0 0 0 375169 313 0 0 25 0 4 0 1106235896 257187840 55235 4294967295 134512640 135305190 3215670768 3215668944 134528480 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/12890/statm: 62790 55235 79 194 0 62594 0
[pid=12890/tid=12891] ppid=12887 vsize=251160 CPUtime=939.32
/proc/12890/task/12891/stat : 12891 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202560 8882 0 0 0 93859 73 0 0 25 0 4 0 1106235932 257187840 55235 4294967295 134512640 135305190 3215670768 3073518512 134557200 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=12890/tid=12892] ppid=12887 vsize=251160 CPUtime=939.63
/proc/12890/task/12892/stat : 12892 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202560 11119 0 0 0 93884 79 0 0 25 0 4 0 1106235932 257187840 55235 4294967295 134512640 135305190 3215670768 3065130176 134528768 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=12890/tid=12893] ppid=12887 vsize=251160 CPUtime=937.62
/proc/12890/task/12893/stat : 12893 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202560 12754 0 0 0 93688 74 0 0 25 0 4 0 1106235932 257187840 55235 4294967295 134512640 135305190 3215670768 3056741568 134528455 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3755.94
Current children cumulated vsize (KiB) 253580



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.02 s]
/proc/loadavg: 4.39 4.47 4.44 6/102 16015
/proc/meminfo: memFree=2702192/3368532 swapFree=1954076/1959888
[pid=12887] ppid=12885 vsize=2420 CPUtime=1.12
/proc/12887/stat : 12887 (manysat.sh) S 12885 12887 1628 0 -1 4194304 370 9983 0 0 0 0 106 6 18 0 1 0 1106235784 2478080 275 4294967295 134512640 135169312 3216129648 3216125864 3085184750 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/12887/statm: 605 275 231 161 0 44 0
[pid=12890] ppid=12887 vsize=251764 CPUtime=3985
/proc/12890/stat : 12890 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202496 55465 0 0 0 398175 325 0 0 25 0 4 0 1106235896 257806336 55375 4294967295 134512640 135305190 3215670768 3215668944 134528576 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/12890/statm: 62941 55375 79 194 0 62745 0
[pid=12890/tid=12891] ppid=12887 vsize=251764 CPUtime=996.92
/proc/12890/task/12891/stat : 12891 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202560 8882 0 0 0 99617 75 0 0 25 0 4 0 1106235932 257806336 55375 4294967295 134512640 135305190 3215670768 3073518784 134528771 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=12890/tid=12892] ppid=12887 vsize=251764 CPUtime=997
/proc/12890/task/12892/stat : 12892 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202560 11223 0 0 0 99618 82 0 0 25 0 4 0 1106235932 257806336 55375 4294967295 134512640 135305190 3215670768 3065130176 134528768 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=12890/tid=12893] ppid=12887 vsize=251764 CPUtime=995.14
/proc/12890/task/12893/stat : 12893 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202560 12772 0 0 0 99434 80 0 0 25 0 4 0 1106235932 257806336 55375 4294967295 134512640 135305190 3215670768 3056741568 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3986.12
Current children cumulated vsize (KiB) 254184

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

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

Child status: 143
Real time (s): 1000.05
CPU time (s): 3986.21
CPU user time (s): 3982.89
CPU system time (s): 3.32
CPU usage (%): 398.6
Max. virtual memory (cumulated for all children) (KiB): 254184

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3982.89
system time used= 3.32
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66092
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= 36596
involuntary context switches= 204154

runsolver used 0.02 second user time and 0 second system time

The end

Launcher Data 

Begin job on tipi44 at 2009-05-28 16:35:46
IDJOB=1779184
IDBENCH=70820
IDSOLVER=623
FILE ID=tipi44/1779184-1243521346
PBS_JOBID=
Free space on /tmp= 15889 MiB

SOLVER NAME= ManySAT 1.1 aimd 1/2009-03-20 (4 threads)
BENCH NAME= SAT09/APPLICATIONS/crypto/md5gen/gus-md5-16.cnf
COMMAND LINE= manysat.sh BENCHNAME aimd 1
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1779184-1243521346/watcher-1779184-1243521346 -o /tmp/evaluation-result-1779184-1243521346/solver-1779184-1243521346 -C 10000 -W 1000 -M 2047  manysat.sh HOME/instance-1779184-1243521346.cnf aimd 1

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

MD5SUM BENCH= 3cb14750de2495357cf28b8ab826b9e3
RANDOM SEED= 28810000

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:       2932464 kB
Buffers:        141120 kB
Cached:         187736 kB
SwapCached:       2180 kB
Active:         109188 kB
Inactive:       229596 kB
HighTotal:     2489216 kB
HighFree:      2289460 kB
LowTotal:       879316 kB
LowFree:        643004 kB
SwapTotal:     1959888 kB
SwapFree:      1954076 kB
Dirty:            5840 kB
Writeback:           0 kB
AnonPages:        9000 kB
Mapped:           3280 kB
Slab:            87316 kB
SReclaimable:    77272 kB
SUnreclaim:      10044 kB
PageTables:        492 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:    88080 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 15889 MiB
End job on tipi44 at 2009-05-28 16:52:26