Trace number 1779484

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) 3987.27 1000.05

General information on the benchmark

NameAPPLICATIONS/crypto/
desgen/gss-33-s100.cnf
MD5SUMabeb2c5a0bb0ad39fbdbdbc07efbecf7
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 variables32402
Number of clauses97556
Sum of the clauses size230290
Maximum clause length3
Minimum clause length1
Number of clauses of size 164
Number of clauses of size 262250
Number of clauses of size 335242
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.05/0.07	c ==============================================================================
0.05/0.07	c |           |     ORIGINAL     |              LEARNT              |          |
0.05/0.07	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.05/0.07	c ==============================================================================
0.05/0.07	c |         0 |   97364   229838 |   29209       0        0     nan |  0.000 % |
1.01/1.01	c |         0 |   60515   180710 |      --       0       --      -- |     --   | -36729/-48704
1.01/1.01	c ==============================================================================
1.01/1.01	c Result  :   #vars: 14564   #clauses: 60515   #literals: 180710
1.01/1.01	c CPU time:   0.96 s
1.01/1.01	c ==============================================================================
3987.18/1000.04	HOME/manysat.sh: line 55: 21190 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-1779484-1243525483/watcher-1779484-1243525483 -o /tmp/evaluation-result-1779484-1243525483/solver-1779484-1243525483 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1779484-1243525483.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: 5.10 4.73 4.63 3/96 21187
/proc/meminfo: memFree=3013468/3368532 swapFree=1953788/1959888
[pid=21187] ppid=21185 vsize=2416 CPUtime=0
/proc/21187/stat : 21187 (manysat.sh) S 21185 21187 27966 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1117212375 2473984 274 4294967295 134512640 135169312 3220912896 3220911432 3085782766 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/21187/statm: 604 274 231 161 0 43 0
[pid=21188] ppid=21187 vsize=2464 CPUtime=0
/proc/21188/stat : 21188 (SatElite) R 21187 21187 27966 0 -1 4202496 420 0 0 0 0 0 0 0 18 0 1 0 1117212375 2523136 357 4294967295 134512640 135034092 3217995760 3217992048 134544856 0 0 0 3 0 0 0 17 0 0 0 0
/proc/21188/statm: 616 359 50 128 0 486 0

[startup+0.048733 s]
/proc/loadavg: 5.10 4.73 4.63 3/96 21187
/proc/meminfo: memFree=3013468/3368532 swapFree=1953788/1959888
[pid=21187] ppid=21185 vsize=2416 CPUtime=0
/proc/21187/stat : 21187 (manysat.sh) S 21185 21187 27966 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1117212375 2473984 274 4294967295 134512640 135169312 3220912896 3220911432 3085782766 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/21187/statm: 604 274 231 161 0 43 0
[pid=21188] ppid=21187 vsize=9252 CPUtime=0.05
/proc/21188/stat : 21188 (SatElite) R 21187 21187 27966 0 -1 4202496 2199 0 0 0 4 1 0 0 18 0 1 0 1117212375 9474048 2136 4294967295 134512640 135034092 3217995760 3217992104 134691005 0 0 0 3 0 0 0 17 0 0 0 0
/proc/21188/statm: 2313 2137 50 128 0 2183 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 11668

[startup+0.108728 s]
/proc/loadavg: 5.10 4.73 4.63 3/96 21187
/proc/meminfo: memFree=3013468/3368532 swapFree=1953788/1959888
[pid=21187] ppid=21185 vsize=2416 CPUtime=0
/proc/21187/stat : 21187 (manysat.sh) S 21185 21187 27966 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1117212375 2473984 274 4294967295 134512640 135169312 3220912896 3220911432 3085782766 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/21187/statm: 604 274 231 161 0 43 0
[pid=21188] ppid=21187 vsize=14224 CPUtime=0.11
/proc/21188/stat : 21188 (SatElite) R 21187 21187 27966 0 -1 4202496 3501 0 0 0 10 1 0 0 18 0 1 0 1117212375 14565376 3331 4294967295 134512640 135034092 3217995760 3217991756 134691101 0 0 0 3 0 0 0 17 0 0 0 0
/proc/21188/statm: 3556 3331 67 128 0 3426 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 16640

[startup+0.308711 s]
/proc/loadavg: 5.10 4.73 4.63 3/96 21187
/proc/meminfo: memFree=3013468/3368532 swapFree=1953788/1959888
[pid=21187] ppid=21185 vsize=2416 CPUtime=0
/proc/21187/stat : 21187 (manysat.sh) S 21185 21187 27966 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1117212375 2473984 274 4294967295 134512640 135169312 3220912896 3220911432 3085782766 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/21187/statm: 604 274 231 161 0 43 0
[pid=21188] ppid=21187 vsize=14820 CPUtime=0.31
/proc/21188/stat : 21188 (SatElite) R 21187 21187 27966 0 -1 4202496 3636 0 0 0 26 5 0 0 18 0 1 0 1117212375 15175680 3466 4294967295 134512640 135034092 3217995760 3217991756 134691101 0 0 0 3 0 0 0 17 0 0 0 0
/proc/21188/statm: 3705 3466 67 128 0 3575 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 17236

[startup+0.708677 s]
/proc/loadavg: 5.10 4.73 4.63 3/96 21187
/proc/meminfo: memFree=3013468/3368532 swapFree=1953788/1959888
[pid=21187] ppid=21185 vsize=2416 CPUtime=0
/proc/21187/stat : 21187 (manysat.sh) S 21185 21187 27966 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1117212375 2473984 274 4294967295 134512640 135169312 3220912896 3220911432 3085782766 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/21187/statm: 604 274 231 161 0 43 0
[pid=21188] ppid=21187 vsize=15600 CPUtime=0.71
/proc/21188/stat : 21188 (SatElite) R 21187 21187 27966 0 -1 4202496 3853 0 0 0 66 5 0 0 18 0 1 0 1117212375 15974400 3683 4294967295 134512640 135034092 3217995760 3217992000 134566301 0 0 0 3 0 0 0 17 0 0 0 0
/proc/21188/statm: 3900 3683 89 128 0 3770 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 18016

[startup+1.50862 s]
/proc/loadavg: 4.77 4.67 4.61 2/98 21189
/proc/meminfo: memFree=2994908/3368532 swapFree=1953788/1959888
[pid=21187] ppid=21185 vsize=2420 CPUtime=1.09
/proc/21187/stat : 21187 (manysat.sh) S 21185 21187 27966 0 -1 4194304 370 4072 0 0 0 0 104 5 18 0 1 0 1117212375 2478080 275 4294967295 134512640 135169312 3220912896 3220909112 3085782766 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/21187/statm: 605 275 231 161 0 44 0
Current children cumulated CPU time (s) 1.09
Current children cumulated vsize (KiB) 2420

[startup+3.10849 s]
/proc/loadavg: 4.77 4.67 4.61 7/101 21193
/proc/meminfo: memFree=2988220/3368532 swapFree=1953788/1959888
[pid=21187] ppid=21185 vsize=2420 CPUtime=1.09
/proc/21187/stat : 21187 (manysat.sh) S 21185 21187 27966 0 -1 4194304 370 4072 0 0 0 0 104 5 18 0 1 0 1117212375 2478080 275 4294967295 134512640 135169312 3220912896 3220909112 3085782766 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/21187/statm: 605 275 231 161 0 44 0
[pid=21190] ppid=21187 vsize=49640 CPUtime=7.59
/proc/21190/stat : 21190 (manysat1.1_stat) R 21187 21187 27966 0 -1 4202496 5628 0 0 0 749 10 0 0 20 0 4 0 1117212484 50831360 5547 4294967295 134512640 135305190 3220583072 3220581248 134528201 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/21190/statm: 12410 5547 79 194 0 12214 0
[pid=21190/tid=21191] ppid=21187 vsize=49640 CPUtime=1.87
/proc/21190/task/21191/stat : 21191 (manysat1.1_stat) R 21187 21187 27966 0 -1 4202560 207 0 0 0 183 4 0 0 21 0 4 0 1117212497 50831360 5547 4294967295 134512640 135305190 3220583072 3081562992 134551639 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=21190/tid=21192] ppid=21187 vsize=49640 CPUtime=1.86
/proc/21190/task/21192/stat : 21192 (manysat1.1_stat) R 21187 21187 27966 0 -1 4202560 208 0 0 0 186 0 0 0 20 0 4 0 1117212497 50831360 5547 4294967295 134512640 135305190 3220583072 3073174400 134552302 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=21190/tid=21193] ppid=21187 vsize=49640 CPUtime=1.87
/proc/21190/task/21193/stat : 21193 (manysat1.1_stat) R 21187 21187 27966 0 -1 4202560 283 0 0 0 185 2 0 0 22 0 4 0 1117212497 50831360 5547 4294967295 134512640 135305190 3220583072 3064786112 134528480 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 8.68
Current children cumulated vsize (KiB) 52060

[startup+6.30823 s]
/proc/loadavg: 4.79 4.68 4.61 5/101 21193
/proc/meminfo: memFree=2986968/3368532 swapFree=1953788/1959888
[pid=21187] ppid=21185 vsize=2420 CPUtime=1.09
/proc/21187/stat : 21187 (manysat.sh) S 21185 21187 27966 0 -1 4194304 370 4072 0 0 0 0 104 5 18 0 1 0 1117212375 2478080 275 4294967295 134512640 135169312 3220912896 3220909112 3085782766 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/21187/statm: 605 275 231 161 0 44 0
[pid=21190] ppid=21187 vsize=50828 CPUtime=20.39
/proc/21190/stat : 21190 (manysat1.1_stat) R 21187 21187 27966 0 -1 4202496 5912 0 0 0 2028 11 0 0 25 0 4 0 1117212484 52047872 5831 4294967295 134512640 135305190 3220583072 3220581248 134528229 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/21190/statm: 12707 5831 79 194 0 12511 0
[pid=21190/tid=21191] ppid=21187 vsize=50828 CPUtime=5.07
/proc/21190/task/21191/stat : 21191 (manysat1.1_stat) R 21187 21187 27966 0 -1 4202560 238 0 0 0 503 4 0 0 25 0 4 0 1117212497 52047872 5831 4294967295 134512640 135305190 3220583072 3081563056 134557342 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=21190/tid=21192] ppid=21187 vsize=50828 CPUtime=5.06
/proc/21190/task/21192/stat : 21192 (manysat1.1_stat) R 21187 21187 27966 0 -1 4202560 238 0 0 0 505 1 0 0 25 0 4 0 1117212497 52047872 5831 4294967295 134512640 135305190 3220583072 3073174720 134528788 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=21190/tid=21193] ppid=21187 vsize=50828 CPUtime=5.07
/proc/21190/task/21193/stat : 21193 (manysat1.1_stat) R 21187 21187 27966 0 -1 4202560 479 0 0 0 505 2 0 0 25 0 4 0 1117212497 52047872 5831 4294967295 134512640 135305190 3220583072 3064786112 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 21.48
Current children cumulated vsize (KiB) 53248

[startup+12.7077 s]
/proc/loadavg: 4.73 4.66 4.61 5/101 21195
/proc/meminfo: memFree=2984644/3368532 swapFree=1953788/1959888
[pid=21187] ppid=21185 vsize=2420 CPUtime=1.09
/proc/21187/stat : 21187 (manysat.sh) S 21185 21187 27966 0 -1 4194304 370 4072 0 0 0 0 104 5 18 0 1 0 1117212375 2478080 275 4294967295 134512640 135169312 3220912896 3220909112 3085782766 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/21187/statm: 605 275 231 161 0 44 0
[pid=21190] ppid=21187 vsize=52920 CPUtime=45.92
/proc/21190/stat : 21190 (manysat1.1_stat) R 21187 21187 27966 0 -1 4202496 6450 0 0 0 4580 12 0 0 25 0 4 0 1117212484 54190080 6369 4294967295 134512640 135305190 3220583072 3220581248 134528298 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/21190/statm: 13230 6369 79 194 0 13034 0
[pid=21190/tid=21191] ppid=21187 vsize=52920 CPUtime=11.47
/proc/21190/task/21191/stat : 21191 (manysat1.1_stat) R 21187 21187 27966 0 -1 4202560 296 0 0 0 1143 4 0 0 25 0 4 0 1117212497 54190080 6369 4294967295 134512640 135305190 3220583072 3081563328 134528548 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=21190/tid=21192] ppid=21187 vsize=52920 CPUtime=11.39
/proc/21190/task/21192/stat : 21192 (manysat1.1_stat) R 21187 21187 27966 0 -1 4202560 344 0 0 0 1138 1 0 0 25 0 4 0 1117212497 54190080 6369 4294967295 134512640 135305190 3220583072 3073174720 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=21190/tid=21193] ppid=21187 vsize=52920 CPUtime=11.47
/proc/21190/task/21193/stat : 21193 (manysat1.1_stat) R 21187 21187 27966 0 -1 4202560 723 0 0 0 1144 3 0 0 25 0 4 0 1117212497 54190080 6369 4294967295 134512640 135305190 3220583072 3064786112 134528229 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 47.01
Current children cumulated vsize (KiB) 55340

[startup+25.5166 s]
/proc/loadavg: 4.57 4.63 4.60 5/101 21196
/proc/meminfo: memFree=2981360/3368532 swapFree=1953788/1959888
[pid=21187] ppid=21185 vsize=2420 CPUtime=1.09
/proc/21187/stat : 21187 (manysat.sh) S 21185 21187 27966 0 -1 4194304 370 4072 0 0 0 0 104 5 18 0 1 0 1117212375 2478080 275 4294967295 134512640 135169312 3220912896 3220909112 3085782766 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/21187/statm: 605 275 231 161 0 44 0
[pid=21190] ppid=21187 vsize=55796 CPUtime=97.13
/proc/21190/stat : 21190 (manysat1.1_stat) R 21187 21187 27966 0 -1 4202496 7201 0 0 0 9697 16 0 0 25 0 4 0 1117212484 57135104 7120 4294967295 134512640 135305190 3220583072 3220580912 134551651 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/21190/statm: 13949 7120 79 194 0 13753 0
[pid=21190/tid=21191] ppid=21187 vsize=55796 CPUtime=24.28
/proc/21190/task/21191/stat : 21191 (manysat1.1_stat) R 21187 21187 27966 0 -1 4202560 404 0 0 0 2424 4 0 0 25 0 4 0 1117212497 57135104 7120 4294967295 134512640 135305190 3220583072 3081563328 134528229 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=21190/tid=21192] ppid=21187 vsize=55796 CPUtime=24.17
/proc/21190/task/21192/stat : 21192 (manysat1.1_stat) R 21187 21187 27966 0 -1 4202560 455 0 0 0 2415 2 0 0 25 0 4 0 1117212497 57135104 7120 4294967295 134512640 135305190 3220583072 3073174400 134552302 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=21190/tid=21193] ppid=21187 vsize=55796 CPUtime=24.28
/proc/21190/task/21193/stat : 21193 (manysat1.1_stat) R 21187 21187 27966 0 -1 4202560 1134 0 0 0 2424 4 0 0 25 0 4 0 1117212497 57135104 7120 4294967295 134512640 135305190 3220583072 3064785840 134556558 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 98.22
Current children cumulated vsize (KiB) 58216

[startup+51.1145 s]
/proc/loadavg: 4.74 4.66 4.61 6/102 21316
/proc/meminfo: memFree=2973848/3368532 swapFree=1953788/1959888
[pid=21187] ppid=21185 vsize=2420 CPUtime=1.09
/proc/21187/stat : 21187 (manysat.sh) S 21185 21187 27966 0 -1 4194304 370 4072 0 0 0 0 104 5 18 0 1 0 1117212375 2478080 275 4294967295 134512640 135169312 3220912896 3220909112 3085782766 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/21187/statm: 605 275 231 161 0 44 0
[pid=21190] ppid=21187 vsize=62608 CPUtime=199.35
/proc/21190/stat : 21190 (manysat1.1_stat) R 21187 21187 27966 0 -1 4202496 8740 0 0 0 19910 25 0 0 25 0 4 0 1117212484 64110592 8659 4294967295 134512640 135305190 3220583072 3220580976 134558382 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/21190/statm: 15652 8659 79 194 0 15456 0
[pid=21190/tid=21191] ppid=21187 vsize=62608 CPUtime=49.83
/proc/21190/task/21191/stat : 21191 (manysat1.1_stat) R 21187 21187 27966 0 -1 4202560 704 0 0 0 4976 7 0 0 25 0 4 0 1117212497 64110592 8659 4294967295 134512640 135305190 3220583072 3081563328 134528189 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=21190/tid=21192] ppid=21187 vsize=62608 CPUtime=49.74
/proc/21190/task/21192/stat : 21192 (manysat1.1_stat) R 21187 21187 27966 0 -1 4202560 766 0 0 0 4970 4 0 0 25 0 4 0 1117212497 64110592 8659 4294967295 134512640 135305190 3220583072 3073174720 134528576 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=21190/tid=21193] ppid=21187 vsize=62608 CPUtime=49.79
/proc/21190/task/21193/stat : 21193 (manysat1.1_stat) R 21187 21187 27966 0 -1 4202560 1763 0 0 0 4972 7 0 0 25 0 4 0 1117212497 64110592 8659 4294967295 134512640 135305190 3220583072 3064786112 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 200.44
Current children cumulated vsize (KiB) 65028

[startup+102.31 s]
/proc/loadavg: 4.59 4.63 4.60 6/102 21423
/proc/meminfo: memFree=2965324/3368532 swapFree=1953788/1959888
[pid=21187] ppid=21185 vsize=2420 CPUtime=1.09
/proc/21187/stat : 21187 (manysat.sh) S 21185 21187 27966 0 -1 4194304 370 4072 0 0 0 0 104 5 18 0 1 0 1117212375 2478080 275 4294967295 134512640 135169312 3220912896 3220909112 3085782766 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/21187/statm: 605 275 231 161 0 44 0
[pid=21190] ppid=21187 vsize=71340 CPUtime=403.72
/proc/21190/stat : 21190 (manysat1.1_stat) R 21187 21187 27966 0 -1 4202496 11022 0 0 0 40337 35 0 0 25 0 4 0 1117212484 73052160 10941 4294967295 134512640 135305190 3220583072 3220581248 134528768 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/21190/statm: 17835 10941 79 194 0 17639 0
[pid=21190/tid=21191] ppid=21187 vsize=71340 CPUtime=100.99
/proc/21190/task/21191/stat : 21191 (manysat1.1_stat) R 21187 21187 27966 0 -1 4202560 1121 0 0 0 10091 8 0 0 25 0 4 0 1117212497 73052160 10941 4294967295 134512640 135305190 3220583072 3081563328 134528189 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=21190/tid=21192] ppid=21187 vsize=71340 CPUtime=100.76
/proc/21190/task/21192/stat : 21192 (manysat1.1_stat) R 21187 21187 27966 0 -1 4202560 1149 0 0 0 10070 6 0 0 25 0 4 0 1117212497 73052160 10941 4294967295 134512640 135305190 3220583072 3073174400 134555106 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=21190/tid=21193] ppid=21187 vsize=71340 CPUtime=100.79
/proc/21190/task/21193/stat : 21193 (manysat1.1_stat) R 21187 21187 27966 0 -1 4202560 2790 0 0 0 10071 8 0 0 25 0 4 0 1117212497 73052160 10941 4294967295 134512640 135305190 3220583072 3064786112 134528252 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 404.81
Current children cumulated vsize (KiB) 73760

[startup+162.305 s]
/proc/loadavg: 4.54 4.62 4.60 5/101 21573
/proc/meminfo: memFree=2958724/3368532 swapFree=1953788/1959888
[pid=21187] ppid=21185 vsize=2420 CPUtime=1.09
/proc/21187/stat : 21187 (manysat.sh) S 21185 21187 27966 0 -1 4194304 370 4072 0 0 0 0 104 5 18 0 1 0 1117212375 2478080 275 4294967295 134512640 135169312 3220912896 3220909112 3085782766 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/21187/statm: 605 275 231 161 0 44 0
[pid=21190] ppid=21187 vsize=78492 CPUtime=642.95
/proc/21190/stat : 21190 (manysat1.1_stat) R 21187 21187 27966 0 -1 4202496 12755 0 0 0 64250 45 0 0 25 0 4 0 1117212484 80375808 12674 4294967295 134512640 135305190 3220583072 3220580976 134556558 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/21190/statm: 19623 12674 79 194 0 19427 0
[pid=21190/tid=21191] ppid=21187 vsize=78492 CPUtime=160.96
/proc/21190/task/21191/stat : 21191 (manysat1.1_stat) R 21187 21187 27966 0 -1 4202560 1369 0 0 0 16087 9 0 0 25 0 4 0 1117212497 80375808 12674 4294967295 134512640 135305190 3220583072 3081563328 134528229 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=21190/tid=21192] ppid=21187 vsize=78492 CPUtime=160.76
/proc/21190/task/21192/stat : 21192 (manysat1.1_stat) R 21187 21187 27966 0 -1 4202560 1678 0 0 0 16070 6 0 0 25 0 4 0 1117212497 80375808 12674 4294967295 134512640 135305190 3220583072 3073174400 134552823 0 0 0 3 0 0 0 -1 1 0 0 0

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

[startup+522.315 s]
/proc/loadavg: 4.94 4.74 4.64 5/101 22705
/proc/meminfo: memFree=2929840/3368532 swapFree=1953788/1959888
[pid=21187] ppid=21185 vsize=2420 CPUtime=1.09
/proc/21187/stat : 21187 (manysat.sh) S 21185 21187 27966 0 -1 4194304 370 4072 0 0 0 0 104 5 18 0 1 0 1117212375 2478080 275 4294967295 134512640 135169312 3220912896 3220909112 3085782766 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/21187/statm: 605 275 231 161 0 44 0
[pid=21190] ppid=21187 vsize=107980 CPUtime=2079.27
/proc/21190/stat : 21190 (manysat1.1_stat) R 21187 21187 27966 0 -1 4202496 19924 0 0 0 207783 144 0 0 25 0 4 0 1117212484 110571520 19843 4294967295 134512640 135305190 3220583072 3220581248 134528298 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/21190/statm: 26995 19843 79 194 0 26799 0
[pid=21190/tid=21191] ppid=21187 vsize=107980 CPUtime=520.09
/proc/21190/task/21191/stat : 21191 (manysat1.1_stat) R 21187 21187 27966 0 -1 4202560 2609 0 0 0 51973 36 0 0 25 0 4 0 1117212497 110571520 19843 4294967295 134512640 135305190 3220583072 3081563056 134557466 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=21190/tid=21192] ppid=21187 vsize=107980 CPUtime=519.96
/proc/21190/task/21192/stat : 21192 (manysat1.1_stat) R 21187 21187 27966 0 -1 4202560 3443 0 0 0 51966 30 0 0 25 0 4 0 1117212497 110571520 19843 4294967295 134512640 135305190 3220583072 3073174720 134528229 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=21190/tid=21193] ppid=21187 vsize=107980 CPUtime=519.46
/proc/21190/task/21193/stat : 21193 (manysat1.1_stat) R 21187 21187 27966 0 -1 4202560 6194 0 0 0 51919 27 0 0 25 0 4 0 1117212497 110571520 19843 4294967295 134512640 135305190 3220583072 3064785776 134551651 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2080.36
Current children cumulated vsize (KiB) 110400

[startup+582.31 s]
/proc/loadavg: 4.76 4.73 4.64 5/101 22892
/proc/meminfo: memFree=2921400/3368532 swapFree=1953788/1959888
[pid=21187] ppid=21185 vsize=2420 CPUtime=1.09
/proc/21187/stat : 21187 (manysat.sh) S 21185 21187 27966 0 -1 4194304 370 4072 0 0 0 0 104 5 18 0 1 0 1117212375 2478080 275 4294967295 134512640 135169312 3220912896 3220909112 3085782766 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/21187/statm: 605 275 231 161 0 44 0
[pid=21190] ppid=21187 vsize=117612 CPUtime=2318.5
/proc/21190/stat : 21190 (manysat1.1_stat) R 21187 21187 27966 0 -1 4202496 22257 0 0 0 231692 158 0 0 25 0 4 0 1117212484 120434688 22176 4294967295 134512640 135305190 3220583072 3220580976 134556558 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/21190/statm: 29403 22176 79 194 0 29207 0
[pid=21190/tid=21191] ppid=21187 vsize=117612 CPUtime=579.98
/proc/21190/task/21191/stat : 21191 (manysat1.1_stat) R 21187 21187 27966 0 -1 4202560 3135 0 0 0 57961 37 0 0 25 0 4 0 1117212497 120434688 22176 4294967295 134512640 135305190 3220583072 3081563328 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=21190/tid=21192] ppid=21187 vsize=117612 CPUtime=579.89
/proc/21190/task/21192/stat : 21192 (manysat1.1_stat) R 21187 21187 27966 0 -1 4202560 3877 0 0 0 57955 34 0 0 25 0 4 0 1117212497 120434688 22176 4294967295 134512640 135305190 3220583072 3073174400 134554270 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=21190/tid=21193] ppid=21187 vsize=117612 CPUtime=579.41
/proc/21190/task/21193/stat : 21193 (manysat1.1_stat) R 21187 21187 27966 0 -1 4202560 7173 0 0 0 57910 31 0 0 25 0 4 0 1117212497 120434688 22176 4294967295 134512640 135305190 3220583072 3064785776 134551681 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2319.59
Current children cumulated vsize (KiB) 120032

[startup+642.315 s]
/proc/loadavg: 4.57 4.70 4.63 5/101 23080
/proc/meminfo: memFree=2917060/3368532 swapFree=1953788/1959888
[pid=21187] ppid=21185 vsize=2420 CPUtime=1.09
/proc/21187/stat : 21187 (manysat.sh) S 21185 21187 27966 0 -1 4194304 370 4072 0 0 0 0 104 5 18 0 1 0 1117212375 2478080 275 4294967295 134512640 135169312 3220912896 3220909112 3085782766 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/21187/statm: 605 275 231 161 0 44 0
[pid=21190] ppid=21187 vsize=120424 CPUtime=2557.82
/proc/21190/stat : 21190 (manysat1.1_stat) R 21187 21187 27966 0 -1 4202496 22981 0 0 0 255611 171 0 0 25 0 4 0 1117212484 123314176 22900 4294967295 134512640 135305190 3220583072 3220581248 134528229 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/21190/statm: 30106 22900 79 194 0 29910 0
[pid=21190/tid=21191] ppid=21187 vsize=120424 CPUtime=639.84
/proc/21190/task/21191/stat : 21191 (manysat1.1_stat) R 21187 21187 27966 0 -1 4202560 3270 0 0 0 63944 40 0 0 25 0 4 0 1117212497 123314176 22900 4294967295 134512640 135305190 3220583072 3081562992 134551712 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=21190/tid=21192] ppid=21187 vsize=120424 CPUtime=639.89
/proc/21190/task/21192/stat : 21192 (manysat1.1_stat) R 21187 21187 27966 0 -1 4202560 4156 0 0 0 63953 36 0 0 25 0 4 0 1117212497 123314176 22900 4294967295 134512640 135305190 3220583072 3073174720 134530613 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=21190/tid=21193] ppid=21187 vsize=120424 CPUtime=639.39
/proc/21190/task/21193/stat : 21193 (manysat1.1_stat) R 21187 21187 27966 0 -1 4202560 7349 0 0 0 63906 33 0 0 25 0 4 0 1117212497 123314176 22900 4294967295 134512640 135305190 3220583072 3064786112 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2558.91
Current children cumulated vsize (KiB) 122844

[startup+702.311 s]
/proc/loadavg: 4.70 4.71 4.64 5/101 23273
/proc/meminfo: memFree=2916904/3368532 swapFree=1953788/1959888
[pid=21187] ppid=21185 vsize=2420 CPUtime=1.09
/proc/21187/stat : 21187 (manysat.sh) S 21185 21187 27966 0 -1 4194304 370 4072 0 0 0 0 104 5 18 0 1 0 1117212375 2478080 275 4294967295 134512640 135169312 3220912896 3220909112 3085782766 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/21187/statm: 605 275 231 161 0 44 0
[pid=21190] ppid=21187 vsize=120704 CPUtime=2797.46
/proc/21190/stat : 21190 (manysat1.1_stat) R 21187 21187 27966 0 -1 4202496 23054 0 0 0 279562 184 0 0 25 0 4 0 1117212484 123600896 22973 4294967295 134512640 135305190 3220583072 3220580976 134556846 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/21190/statm: 30176 22973 79 194 0 29980 0
[pid=21190/tid=21191] ppid=21187 vsize=120704 CPUtime=699.7
/proc/21190/task/21191/stat : 21191 (manysat1.1_stat) R 21187 21187 27966 0 -1 4202560 3294 0 0 0 69926 44 0 0 25 0 4 0 1117212497 123600896 22973 4294967295 134512640 135305190 3220583072 3081563328 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=21190/tid=21192] ppid=21187 vsize=120704 CPUtime=699.82
/proc/21190/task/21192/stat : 21192 (manysat1.1_stat) R 21187 21187 27966 0 -1 4202560 4167 0 0 0 69944 38 0 0 25 0 4 0 1117212497 123600896 22973 4294967295 134512640 135305190 3220583072 3073174400 134552302 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=21190/tid=21193] ppid=21187 vsize=120704 CPUtime=699.35
/proc/21190/task/21193/stat : 21193 (manysat1.1_stat) R 21187 21187 27966 0 -1 4202560 7354 0 0 0 69899 36 0 0 25 0 4 0 1117212497 123600896 22973 4294967295 134512640 135305190 3220583072 3064785840 134558354 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2798.55
Current children cumulated vsize (KiB) 123124

[startup+762.316 s]
/proc/loadavg: 4.72 4.71 4.64 5/101 23461
/proc/meminfo: memFree=2915448/3368532 swapFree=1953788/1959888
[pid=21187] ppid=21185 vsize=2420 CPUtime=1.09
/proc/21187/stat : 21187 (manysat.sh) S 21185 21187 27966 0 -1 4194304 370 4072 0 0 0 0 104 5 18 0 1 0 1117212375 2478080 275 4294967295 134512640 135169312 3220912896 3220909112 3085782766 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/21187/statm: 605 275 231 161 0 44 0
[pid=21190] ppid=21187 vsize=121380 CPUtime=3037.13
/proc/21190/stat : 21190 (manysat1.1_stat) R 21187 21187 27966 0 -1 4202496 23262 0 0 0 303512 201 0 0 25 0 4 0 1117212484 124293120 23181 4294967295 134512640 135305190 3220583072 3220581248 134528298 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/21190/statm: 30345 23181 79 194 0 30149 0
[pid=21190/tid=21191] ppid=21187 vsize=121380 CPUtime=759.61
/proc/21190/task/21191/stat : 21191 (manysat1.1_stat) R 21187 21187 27966 0 -1 4202560 3342 0 0 0 75909 52 0 0 25 0 4 0 1117212497 124293120 23181 4294967295 134512640 135305190 3220583072 3081563328 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=21190/tid=21192] ppid=21187 vsize=121380 CPUtime=759.72
/proc/21190/task/21192/stat : 21192 (manysat1.1_stat) R 21187 21187 27966 0 -1 4202560 4228 0 0 0 75931 41 0 0 25 0 4 0 1117212497 124293120 23181 4294967295 134512640 135305190 3220583072 3073174720 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=21190/tid=21193] ppid=21187 vsize=121380 CPUtime=759.3
/proc/21190/task/21193/stat : 21193 (manysat1.1_stat) R 21187 21187 27966 0 -1 4202560 7394 0 0 0 75889 41 0 0 25 0 4 0 1117212497 124293120 23181 4294967295 134512640 135305190 3220583072 3064786112 134528768 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3038.22
Current children cumulated vsize (KiB) 123800

[startup+822.311 s]
/proc/loadavg: 4.78 4.74 4.65 6/101 23648
/proc/meminfo: memFree=2913492/3368532 swapFree=1953788/1959888
[pid=21187] ppid=21185 vsize=2420 CPUtime=1.09
/proc/21187/stat : 21187 (manysat.sh) S 21185 21187 27966 0 -1 4194304 370 4072 0 0 0 0 104 5 18 0 1 0 1117212375 2478080 275 4294967295 134512640 135169312 3220912896 3220909112 3085782766 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/21187/statm: 605 275 231 161 0 44 0
[pid=21190] ppid=21187 vsize=124008 CPUtime=3276.77
/proc/21190/stat : 21190 (manysat1.1_stat) R 21187 21187 27966 0 -1 4202496 23812 0 0 0 327464 213 0 0 25 0 4 0 1117212484 126984192 23731 4294967295 134512640 135305190 3220583072 3220581248 134528298 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/21190/statm: 31002 23731 79 194 0 30806 0
[pid=21190/tid=21191] ppid=21187 vsize=124008 CPUtime=819.55
/proc/21190/task/21191/stat : 21191 (manysat1.1_stat) R 21187 21187 27966 0 -1 4202560 3444 0 0 0 81901 54 0 0 25 0 4 0 1117212497 126984192 23731 4294967295 134512640 135305190 3220583072 3081563328 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=21190/tid=21192] ppid=21187 vsize=124008 CPUtime=819.63
/proc/21190/task/21192/stat : 21192 (manysat1.1_stat) R 21187 21187 27966 0 -1 4202560 4460 0 0 0 81920 43 0 0 25 0 4 0 1117212497 126984192 23731 4294967295 134512640 135305190 3220583072 3073174720 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=21190/tid=21193] ppid=21187 vsize=124008 CPUtime=819.24
/proc/21190/task/21193/stat : 21193 (manysat1.1_stat) R 21187 21187 27966 0 -1 4202560 7466 0 0 0 81879 45 0 0 25 0 4 0 1117212497 126984192 23731 4294967295 134512640 135305190 3220583072 3064786112 134528768 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3277.86
Current children cumulated vsize (KiB) 126428

[startup+882.306 s]
/proc/loadavg: 4.70 4.73 4.65 5/101 23835
/proc/meminfo: memFree=2912224/3368532 swapFree=1953788/1959888
[pid=21187] ppid=21185 vsize=2420 CPUtime=1.09
/proc/21187/stat : 21187 (manysat.sh) S 21185 21187 27966 0 -1 4194304 370 4072 0 0 0 0 104 5 18 0 1 0 1117212375 2478080 275 4294967295 134512640 135169312 3220912896 3220909112 3085782766 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/21187/statm: 605 275 231 161 0 44 0
[pid=21190] ppid=21187 vsize=125212 CPUtime=3516.19
/proc/21190/stat : 21190 (manysat1.1_stat) R 21187 21187 27966 0 -1 4202496 24182 0 0 0 351394 225 0 0 25 0 4 0 1117212484 128217088 24101 4294967295 134512640 135305190 3220583072 3220581248 134528298 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/21190/statm: 31303 24101 79 194 0 31107 0
[pid=21190/tid=21191] ppid=21187 vsize=125212 CPUtime=879.39
/proc/21190/task/21191/stat : 21191 (manysat1.1_stat) R 21187 21187 27966 0 -1 4202560 3465 0 0 0 87879 60 0 0 25 0 4 0 1117212497 128217088 24101 4294967295 134512640 135305190 3220583072 3081563328 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=21190/tid=21192] ppid=21187 vsize=125212 CPUtime=879.63
/proc/21190/task/21192/stat : 21192 (manysat1.1_stat) R 21187 21187 27966 0 -1 4202560 4503 0 0 0 87918 45 0 0 25 0 4 0 1117212497 128217088 24101 4294967295 134512640 135305190 3220583072 3073174720 134528512 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=21190/tid=21193] ppid=21187 vsize=125212 CPUtime=879.16
/proc/21190/task/21193/stat : 21193 (manysat1.1_stat) R 21187 21187 27966 0 -1 4202560 7589 0 0 0 87869 47 0 0 25 0 4 0 1117212497 128217088 24101 4294967295 134512640 135305190 3220583072 3064786112 134528382 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3517.28
Current children cumulated vsize (KiB) 127632

[startup+942.311 s]
/proc/loadavg: 4.38 4.62 4.62 5/101 24023
/proc/meminfo: memFree=2907388/3368532 swapFree=1953788/1959888
[pid=21187] ppid=21185 vsize=2420 CPUtime=1.09
/proc/21187/stat : 21187 (manysat.sh) S 21185 21187 27966 0 -1 4194304 370 4072 0 0 0 0 104 5 18 0 1 0 1117212375 2478080 275 4294967295 134512640 135169312 3220912896 3220909112 3085782766 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/21187/statm: 605 275 231 161 0 44 0
[pid=21190] ppid=21187 vsize=129256 CPUtime=3755.75
/proc/21190/stat : 21190 (manysat1.1_stat) R 21187 21187 27966 0 -1 4202496 25159 0 0 0 375337 238 0 0 25 0 4 0 1117212484 132358144 25078 4294967295 134512640 135305190 3220583072 3220581248 134528298 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/21190/statm: 32314 25078 79 194 0 32118 0
[pid=21190/tid=21191] ppid=21187 vsize=129256 CPUtime=939.23
/proc/21190/task/21191/stat : 21191 (manysat1.1_stat) R 21187 21187 27966 0 -1 4202560 3676 0 0 0 93861 62 0 0 25 0 4 0 1117212497 132358144 25078 4294967295 134512640 135305190 3220583072 3081562992 134551651 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=21190/tid=21192] ppid=21187 vsize=129256 CPUtime=939.62
/proc/21190/task/21192/stat : 21192 (manysat1.1_stat) R 21187 21187 27966 0 -1 4202560 4756 0 0 0 93913 49 0 0 25 0 4 0 1117212497 132358144 25078 4294967295 134512640 135305190 3220583072 3073174720 134528768 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=21190/tid=21193] ppid=21187 vsize=129256 CPUtime=939.03
/proc/21190/task/21193/stat : 21193 (manysat1.1_stat) R 21187 21187 27966 0 -1 4202560 7959 0 0 0 93853 50 0 0 25 0 4 0 1117212497 132358144 25078 4294967295 134512640 135305190 3220583072 3064786112 134528301 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3756.84
Current children cumulated vsize (KiB) 131676



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.02 s]
/proc/loadavg: 4.57 4.62 4.61 5/101 24212
/proc/meminfo: memFree=2907340/3368532 swapFree=1953788/1959888
[pid=21187] ppid=21185 vsize=2420 CPUtime=1.09
/proc/21187/stat : 21187 (manysat.sh) S 21185 21187 27966 0 -1 4194304 370 4072 0 0 0 0 104 5 18 0 1 0 1117212375 2478080 275 4294967295 134512640 135169312 3220912896 3220909112 3085782766 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/21187/statm: 605 275 231 161 0 44 0
[pid=21190] ppid=21187 vsize=130088 CPUtime=3986.09
/proc/21190/stat : 21190 (manysat1.1_stat) R 21187 21187 27966 0 -1 4202496 25322 0 0 0 398359 250 0 0 25 0 4 0 1117212484 133210112 25241 4294967295 134512640 135305190 3220583072 3220581248 134528428 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/21190/statm: 32522 25241 79 194 0 32326 0
[pid=21190/tid=21191] ppid=21187 vsize=130088 CPUtime=996.93
/proc/21190/task/21191/stat : 21191 (manysat1.1_stat) R 21187 21187 27966 0 -1 4202560 3703 0 0 0 99631 62 0 0 25 0 4 0 1117212497 133210112 25241 4294967295 134512640 135305190 3220583072 3081563056 134557484 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=21190/tid=21192] ppid=21187 vsize=130088 CPUtime=997.28
/proc/21190/task/21192/stat : 21192 (manysat1.1_stat) R 21187 21187 27966 0 -1 4202560 4878 0 0 0 99675 53 0 0 25 0 4 0 1117212497 133210112 25241 4294967295 134512640 135305190 3220583072 3073174720 134528263 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=21190/tid=21193] ppid=21187 vsize=130088 CPUtime=996.68
/proc/21190/task/21193/stat : 21193 (manysat1.1_stat) R 21187 21187 27966 0 -1 4202560 7959 0 0 0 99614 54 0 0 25 0 4 0 1117212497 133210112 25241 4294967295 134512640 135305190 3220583072 3064785840 134556558 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3987.18
Current children cumulated vsize (KiB) 132508

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): 3987.27
CPU user time (s): 3984.71
CPU system time (s): 2.56
CPU usage (%): 398.709
Max. virtual memory (cumulated for all children) (KiB): 132508

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3984.71
system time used= 2.56
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30038
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= 7976
involuntary context switches= 188111

runsolver used 0 second user time and 0 second system time

The end

Launcher Data 

Begin job on  at 2009-05-28 17:44:43
IDJOB=1779484
IDBENCH=70865
IDSOLVER=623
FILE ID=/1779484-1243525483
PBS_JOBID=
Free space on /tmp= 6475 MiB

SOLVER NAME= ManySAT 1.1 aimd 1/2009-03-20 (4 threads)
BENCH NAME= SAT09/APPLICATIONS/crypto/desgen/gss-33-s100.cnf
COMMAND LINE= manysat.sh BENCHNAME aimd 1
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1779484-1243525483/watcher-1779484-1243525483 -o /tmp/evaluation-result-1779484-1243525483/solver-1779484-1243525483 -C 10000 -W 1000 -M 2047  manysat.sh HOME/instance-1779484-1243525483.cnf aimd 1

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

MD5SUM BENCH= abeb2c5a0bb0ad39fbdbdbc07efbecf7
RANDOM SEED= 1884728004

Linux (none) 2.6.21.5 #6 SMP Wed Jul 4 17:16:38 CEST 2007 i686 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.061
cache size	: 4096 KB
physical id	: 0
siblings	: 2
core id		: 0
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3992.41
clflush size	: 64

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.061
cache size	: 4096 KB
physical id	: 0
siblings	: 2
core id		: 1
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3990.12
clflush size	: 64

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.061
cache size	: 4096 KB
physical id	: 3
siblings	: 2
core id		: 0
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3990.14
clflush size	: 64

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.061
cache size	: 4096 KB
physical id	: 3
siblings	: 2
core id		: 1
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3990.14
clflush size	: 64


/proc/meminfo:
MemTotal:      3368532 kB
MemFree:       3013912 kB
Buffers:         52428 kB
Cached:         202352 kB
SwapCached:       2256 kB
Active:         117524 kB
Inactive:       146832 kB
HighTotal:     2489216 kB
HighFree:      2275832 kB
LowTotal:       879316 kB
LowFree:        738080 kB
SwapTotal:     1959888 kB
SwapFree:      1953788 kB
Dirty:            3136 kB
Writeback:           0 kB
AnonPages:        8620 kB
Mapped:           3232 kB
Slab:            80912 kB
SReclaimable:    67508 kB
SUnreclaim:      13404 kB
PageTables:        464 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:    88676 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 6475 MiB
End job on  at 2009-05-28 18:01:23