Trace number 1779469

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.95 1000.05

General information on the benchmark

NameAPPLICATIONS/crypto/
desgen/gss-34-s100.cnf
MD5SUMd33264afbb7fa6f88a24b97cfc468c5a
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 variables32465
Number of clauses97748
Sum of the clauses size230766
Maximum clause length3
Minimum clause length1
Number of clauses of size 164
Number of clauses of size 262350
Number of clauses of size 335334
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.04/0.07	c ==============================================================================
0.04/0.07	c |           |     ORIGINAL     |              LEARNT              |          |
0.04/0.07	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.04/0.07	c ==============================================================================
0.04/0.07	c |         0 |   97556   230314 |   29266       0        0     nan |  0.000 % |
1.02/1.01	c |         0 |   60741   181511 |      --       0       --      -- |     --   | -36695/-48379
1.02/1.01	c ==============================================================================
1.02/1.01	c Result  :   #vars: 14617   #clauses: 60741   #literals: 181511
1.02/1.01	c CPU time:   1 s
1.02/1.01	c ==============================================================================
3986.87/1000.04	HOME/manysat.sh: line 55: 21126 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-1779469-1243525614/watcher-1779469-1243525614 -o /tmp/evaluation-result-1779469-1243525614/solver-1779469-1243525614 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1779469-1243525614.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.16 4.46 4.51 3/109 21123
/proc/meminfo: memFree=2274892/3368532 swapFree=1959840/1959888
[pid=21123] ppid=21121 vsize=2412 CPUtime=0.01
/proc/21123/stat : 21123 (manysat.sh) S 21121 21123 29143 0 -1 4194304 349 0 0 0 1 0 0 0 18 0 1 0 1117224243 2469888 273 4294967295 134512640 135169312 3216340640 3216339176 3084893934 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/21123/statm: 603 273 231 161 0 42 0
[pid=21124] ppid=21123 vsize=2460 CPUtime=0
/proc/21124/stat : 21124 (SatElite) R 21123 21123 29143 0 -1 4202496 458 0 0 0 0 0 0 0 18 0 1 0 1117224243 2519040 394 4294967295 134512640 135034092 3213052736 3213049024 134544780 0 0 0 3 0 0 0 17 0 0 0 0
/proc/21124/statm: 615 397 50 128 0 485 0

[startup+0.030428 s]
/proc/loadavg: 4.16 4.46 4.51 3/109 21123
/proc/meminfo: memFree=2274892/3368532 swapFree=1959840/1959888
[pid=21123] ppid=21121 vsize=2412 CPUtime=0.01
/proc/21123/stat : 21123 (manysat.sh) S 21121 21123 29143 0 -1 4194304 349 0 0 0 1 0 0 0 18 0 1 0 1117224243 2469888 273 4294967295 134512640 135169312 3216340640 3216339176 3084893934 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/21123/statm: 603 273 231 161 0 42 0
[pid=21124] ppid=21123 vsize=7012 CPUtime=0.03
/proc/21124/stat : 21124 (SatElite) R 21123 21123 29143 0 -1 4202496 1671 0 0 0 3 0 0 0 18 0 1 0 1117224243 7180288 1607 4294967295 134512640 135034092 3213052736 3213048696 134673244 0 0 0 3 0 0 0 17 0 0 0 0
/proc/21124/statm: 1753 1608 50 128 0 1623 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9424

[startup+0.110423 s]
/proc/loadavg: 4.16 4.46 4.51 3/109 21123
/proc/meminfo: memFree=2274892/3368532 swapFree=1959840/1959888
[pid=21123] ppid=21121 vsize=2412 CPUtime=0.01
/proc/21123/stat : 21123 (manysat.sh) S 21121 21123 29143 0 -1 4194304 349 0 0 0 1 0 0 0 18 0 1 0 1117224243 2469888 273 4294967295 134512640 135169312 3216340640 3216339176 3084893934 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/21123/statm: 603 273 231 161 0 42 0
[pid=21124] ppid=21123 vsize=14252 CPUtime=0.11
/proc/21124/stat : 21124 (SatElite) R 21123 21123 29143 0 -1 4202496 3509 0 0 0 11 0 0 0 18 0 1 0 1117224243 14594048 3338 4294967295 134512640 135034092 3213052736 3213048732 134691101 0 0 0 3 0 0 0 17 0 0 0 0
/proc/21124/statm: 3563 3338 67 128 0 3433 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 16664

[startup+0.310413 s]
/proc/loadavg: 4.16 4.46 4.51 3/109 21123
/proc/meminfo: memFree=2274892/3368532 swapFree=1959840/1959888
[pid=21123] ppid=21121 vsize=2412 CPUtime=0.01
/proc/21123/stat : 21123 (manysat.sh) S 21121 21123 29143 0 -1 4194304 349 0 0 0 1 0 0 0 18 0 1 0 1117224243 2469888 273 4294967295 134512640 135169312 3216340640 3216339176 3084893934 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/21123/statm: 603 273 231 161 0 42 0
[pid=21124] ppid=21123 vsize=14848 CPUtime=0.31
/proc/21124/stat : 21124 (SatElite) R 21123 21123 29143 0 -1 4202496 3643 0 0 0 31 0 0 0 18 0 1 0 1117224243 15204352 3472 4294967295 134512640 135034092 3213052736 3213048732 134691101 0 0 0 3 0 0 0 17 0 0 0 0
/proc/21124/statm: 3712 3472 67 128 0 3582 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 17260

[startup+0.710392 s]
/proc/loadavg: 4.16 4.46 4.51 3/109 21123
/proc/meminfo: memFree=2274892/3368532 swapFree=1959840/1959888
[pid=21123] ppid=21121 vsize=2412 CPUtime=0.01
/proc/21123/stat : 21123 (manysat.sh) S 21121 21123 29143 0 -1 4194304 349 0 0 0 1 0 0 0 18 0 1 0 1117224243 2469888 273 4294967295 134512640 135169312 3216340640 3216339176 3084893934 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/21123/statm: 603 273 231 161 0 42 0
[pid=21124] ppid=21123 vsize=15624 CPUtime=0.71
/proc/21124/stat : 21124 (SatElite) R 21123 21123 29143 0 -1 4202496 3861 0 0 0 70 1 0 0 18 0 1 0 1117224243 15998976 3690 4294967295 134512640 135034092 3213052736 3213048976 134566263 0 0 0 3 0 0 0 17 0 0 0 0
/proc/21124/statm: 3906 3690 90 128 0 3776 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 18036

[startup+1.51036 s]
/proc/loadavg: 4.16 4.46 4.51 2/111 21125
/proc/meminfo: memFree=2255948/3368532 swapFree=1959840/1959888
[pid=21123] ppid=21121 vsize=2416 CPUtime=1.09
/proc/21123/stat : 21123 (manysat.sh) S 21121 21123 29143 0 -1 4194304 369 4084 0 0 1 0 107 1 18 0 1 0 1117224243 2473984 274 4294967295 134512640 135169312 3216340640 3216336856 3084893934 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/21123/statm: 604 274 231 161 0 43 0
Current children cumulated CPU time (s) 1.09
Current children cumulated vsize (KiB) 2416

[startup+3.11028 s]
/proc/loadavg: 4.16 4.46 4.51 7/114 21129
/proc/meminfo: memFree=2249124/3368532 swapFree=1959840/1959888
[pid=21123] ppid=21121 vsize=2416 CPUtime=1.09
/proc/21123/stat : 21123 (manysat.sh) S 21121 21123 29143 0 -1 4194304 369 4084 0 0 1 0 107 1 18 0 1 0 1117224243 2473984 274 4294967295 134512640 135169312 3216340640 3216336856 3084893934 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/21123/statm: 604 274 231 161 0 43 0
[pid=21126] ppid=21123 vsize=49928 CPUtime=7.59
/proc/21126/stat : 21126 (manysat1.1_stat) R 21123 21123 29143 0 -1 4202496 5646 0 0 0 749 10 0 0 19 0 4 0 1117224351 51126272 5579 4294967295 134512640 135305190 3214105712 3214103552 134551651 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/21126/statm: 12482 5579 79 194 0 12286 0
[pid=21126/tid=21127] ppid=21123 vsize=49928 CPUtime=1.86
/proc/21126/task/21127/stat : 21127 (manysat1.1_stat) R 21123 21123 29143 0 -1 4202560 211 0 0 0 184 2 0 0 20 0 4 0 1117224364 51126272 5579 4294967295 134512640 135305190 3214105712 3081915248 134551651 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=21126/tid=21128] ppid=21123 vsize=49928 CPUtime=1.87
/proc/21126/task/21128/stat : 21128 (manysat1.1_stat) R 21123 21123 29143 0 -1 4202560 190 0 0 0 185 2 0 0 20 0 4 0 1117224364 51126272 5579 4294967295 134512640 135305190 3214105712 3073526976 134528229 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=21126/tid=21129] ppid=21123 vsize=49928 CPUtime=1.86
/proc/21126/task/21129/stat : 21129 (manysat1.1_stat) R 21123 21123 29143 0 -1 4202560 318 0 0 0 186 0 0 0 21 0 4 0 1117224364 51126272 5579 4294967295 134512640 135305190 3214105712 3065138368 134528229 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 8.68
Current children cumulated vsize (KiB) 52344

[startup+6.31011 s]
/proc/loadavg: 4.15 4.45 4.51 6/114 21130
/proc/meminfo: memFree=2248256/3368532 swapFree=1959840/1959888
[pid=21123] ppid=21121 vsize=2416 CPUtime=1.09
/proc/21123/stat : 21123 (manysat.sh) S 21121 21123 29143 0 -1 4194304 369 4084 0 0 1 0 107 1 18 0 1 0 1117224243 2473984 274 4294967295 134512640 135169312 3216340640 3216336856 3084893934 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/21123/statm: 604 274 231 161 0 43 0
[pid=21126] ppid=21123 vsize=50592 CPUtime=20.39
/proc/21126/stat : 21126 (manysat1.1_stat) R 21123 21123 29143 0 -1 4202496 5868 0 0 0 2028 11 0 0 25 0 4 0 1117224351 51806208 5801 4294967295 134512640 135305190 3214105712 3214103888 134528341 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/21126/statm: 12648 5801 79 194 0 12452 0
[pid=21126/tid=21127] ppid=21123 vsize=50592 CPUtime=5.06
/proc/21126/task/21127/stat : 21127 (manysat1.1_stat) R 21123 21123 29143 0 -1 4202560 259 0 0 0 503 3 0 0 25 0 4 0 1117224364 51806208 5801 4294967295 134512640 135305190 3214105712 3081915312 134556558 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=21126/tid=21128] ppid=21123 vsize=50592 CPUtime=5.07
/proc/21126/task/21128/stat : 21128 (manysat1.1_stat) R 21123 21123 29143 0 -1 4202560 228 0 0 0 505 2 0 0 25 0 4 0 1117224364 51806208 5801 4294967295 134512640 135305190 3214105712 3073526976 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=21126/tid=21129] ppid=21123 vsize=50592 CPUtime=5.06
/proc/21126/task/21129/stat : 21129 (manysat1.1_stat) R 21123 21123 29143 0 -1 4202560 421 0 0 0 506 0 0 0 25 0 4 0 1117224364 51806208 5801 4294967295 134512640 135305190 3214105712 3065138368 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 21.48
Current children cumulated vsize (KiB) 53008

[startup+12.7098 s]
/proc/loadavg: 4.21 4.46 4.51 6/114 21130
/proc/meminfo: memFree=2246228/3368532 swapFree=1959840/1959888
[pid=21123] ppid=21121 vsize=2416 CPUtime=1.09
/proc/21123/stat : 21123 (manysat.sh) S 21121 21123 29143 0 -1 4194304 369 4084 0 0 1 0 107 1 18 0 1 0 1117224243 2473984 274 4294967295 134512640 135169312 3216340640 3216336856 3084893934 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/21123/statm: 604 274 231 161 0 43 0
[pid=21126] ppid=21123 vsize=52024 CPUtime=45.91
/proc/21126/stat : 21126 (manysat1.1_stat) R 21123 21123 29143 0 -1 4202496 6239 0 0 0 4578 13 0 0 25 0 4 0 1117224351 53272576 6172 4294967295 134512640 135305190 3214105712 3214103856 134570397 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/21126/statm: 13006 6172 79 194 0 12810 0
[pid=21126/tid=21127] ppid=21123 vsize=52024 CPUtime=11.46
/proc/21126/task/21127/stat : 21127 (manysat1.1_stat) R 21123 21123 29143 0 -1 4202560 323 0 0 0 1143 3 0 0 25 0 4 0 1117224364 53272576 6172 4294967295 134512640 135305190 3214105712 3081915584 134528784 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=21126/tid=21128] ppid=21123 vsize=52024 CPUtime=11.47
/proc/21126/task/21128/stat : 21128 (manysat1.1_stat) R 21123 21123 29143 0 -1 4202560 294 0 0 0 1145 2 0 0 25 0 4 0 1117224364 53272576 6172 4294967295 134512640 135305190 3214105712 3073526976 134528229 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=21126/tid=21129] ppid=21123 vsize=52024 CPUtime=11.38
/proc/21126/task/21129/stat : 21129 (manysat1.1_stat) R 21123 21123 29143 0 -1 4202560 586 0 0 0 1136 2 0 0 25 0 4 0 1117224364 53272576 6172 4294967295 134512640 135305190 3214105712 3065138096 134558354 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 47
Current children cumulated vsize (KiB) 54440

[startup+25.5091 s]
/proc/loadavg: 4.32 4.47 4.51 7/114 21131
/proc/meminfo: memFree=2243316/3368532 swapFree=1959840/1959888
[pid=21123] ppid=21121 vsize=2416 CPUtime=1.09
/proc/21123/stat : 21123 (manysat.sh) S 21121 21123 29143 0 -1 4194304 369 4084 0 0 1 0 107 1 18 0 1 0 1117224243 2473984 274 4294967295 134512640 135169312 3216340640 3216336856 3084893934 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/21123/statm: 604 274 231 161 0 43 0
[pid=21126] ppid=21123 vsize=54928 CPUtime=97.03
/proc/21126/stat : 21126 (manysat1.1_stat) R 21123 21123 29143 0 -1 4202496 7000 0 0 0 9680 23 0 0 25 0 4 0 1117224351 56246272 6933 4294967295 134512640 135305190 3214105712 3214103888 134528265 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/21126/statm: 13732 6933 79 194 0 13536 0
[pid=21126/tid=21127] ppid=21123 vsize=54928 CPUtime=24.26
/proc/21126/task/21127/stat : 21127 (manysat1.1_stat) R 21123 21123 29143 0 -1 4202560 508 0 0 0 2422 4 0 0 25 0 4 0 1117224364 56246272 6933 4294967295 134512640 135305190 3214105712 3081915248 134551998 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=21126/tid=21128] ppid=21123 vsize=54928 CPUtime=24.27
/proc/21126/task/21128/stat : 21128 (manysat1.1_stat) R 21123 21123 29143 0 -1 4202560 457 0 0 0 2423 4 0 0 25 0 4 0 1117224364 56246272 6933 4294967295 134512640 135305190 3214105712 3073526976 134528229 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=21126/tid=21129] ppid=21123 vsize=54928 CPUtime=24.1
/proc/21126/task/21129/stat : 21129 (manysat1.1_stat) R 21123 21123 29143 0 -1 4202560 796 0 0 0 2403 7 0 0 25 0 4 0 1117224364 56246272 6933 4294967295 134512640 135305190 3214105712 3065138096 134556558 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 98.12
Current children cumulated vsize (KiB) 57344

[startup+51.1078 s]
/proc/loadavg: 4.40 4.48 4.51 5/114 21316
/proc/meminfo: memFree=2238256/3368532 swapFree=1959840/1959888
[pid=21123] ppid=21121 vsize=2416 CPUtime=1.09
/proc/21123/stat : 21123 (manysat.sh) S 21121 21123 29143 0 -1 4194304 369 4084 0 0 1 0 107 1 18 0 1 0 1117224243 2473984 274 4294967295 134512640 135169312 3216340640 3216336856 3084893934 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/21123/statm: 604 274 231 161 0 43 0
[pid=21126] ppid=21123 vsize=59552 CPUtime=199.36
/proc/21126/stat : 21126 (manysat1.1_stat) R 21123 21123 29143 0 -1 4202496 8231 0 0 0 19910 26 0 0 25 0 4 0 1117224351 60981248 8164 4294967295 134512640 135305190 3214105712 3214103616 134557557 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/21126/statm: 14888 8164 79 194 0 14692 0
[pid=21126/tid=21127] ppid=21123 vsize=59552 CPUtime=49.85
/proc/21126/task/21127/stat : 21127 (manysat1.1_stat) R 21123 21123 29143 0 -1 4202560 775 0 0 0 4979 6 0 0 25 0 4 0 1117224364 60981248 8164 4294967295 134512640 135305190 3214105712 3081915584 134528319 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=21126/tid=21128] ppid=21123 vsize=59552 CPUtime=49.86
/proc/21126/task/21128/stat : 21128 (manysat1.1_stat) R 21123 21123 29143 0 -1 4202560 737 0 0 0 4982 4 0 0 25 0 4 0 1117224364 60981248 8164 4294967295 134512640 135305190 3214105712 3073526976 134528768 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=21126/tid=21129] ppid=21123 vsize=59552 CPUtime=49.65
/proc/21126/task/21129/stat : 21129 (manysat1.1_stat) R 21123 21123 29143 0 -1 4202560 1291 0 0 0 4957 8 0 0 25 0 4 0 1117224364 60981248 8164 4294967295 134512640 135305190 3214105712 3065138096 134556558 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 200.45
Current children cumulated vsize (KiB) 61968

[startup+102.315 s]
/proc/loadavg: 4.52 4.49 4.51 6/115 21474
/proc/meminfo: memFree=2225712/3368532 swapFree=1959840/1959888
[pid=21123] ppid=21121 vsize=2416 CPUtime=1.09
/proc/21123/stat : 21123 (manysat.sh) S 21121 21123 29143 0 -1 4194304 369 4084 0 0 1 0 107 1 18 0 1 0 1117224243 2473984 274 4294967295 134512640 135169312 3216340640 3216336856 3084893934 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/21123/statm: 604 274 231 161 0 43 0
[pid=21126] ppid=21123 vsize=71976 CPUtime=403.73
/proc/21126/stat : 21126 (manysat1.1_stat) R 21123 21123 29143 0 -1 4202496 11194 0 0 0 40332 41 0 0 25 0 4 0 1117224351 73703424 11127 4294967295 134512640 135305190 3214105712 3214103888 134528298 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/21126/statm: 17994 11127 79 194 0 17798 0
[pid=21126/tid=21127] ppid=21123 vsize=71976 CPUtime=100.85
/proc/21126/task/21127/stat : 21127 (manysat1.1_stat) R 21123 21123 29143 0 -1 4202560 1166 0 0 0 10077 8 0 0 25 0 4 0 1117224364 73703424 11127 4294967295 134512640 135305190 3214105712 3081915584 134528229 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=21126/tid=21128] ppid=21123 vsize=71976 CPUtime=101.05
/proc/21126/task/21128/stat : 21128 (manysat1.1_stat) R 21123 21123 29143 0 -1 4202560 1373 0 0 0 10095 10 0 0 25 0 4 0 1117224364 73703424 11127 4294967295 134512640 135305190 3214105712 3073526656 134553344 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=21126/tid=21129] ppid=21123 vsize=71976 CPUtime=100.66
/proc/21126/task/21129/stat : 21129 (manysat1.1_stat) R 21123 21123 29143 0 -1 4202560 2683 0 0 0 10054 12 0 0 25 0 4 0 1117224364 73703424 11127 4294967295 134512640 135305190 3214105712 3065138368 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 404.82
Current children cumulated vsize (KiB) 74392

[startup+162.312 s]
/proc/loadavg: 4.57 4.50 4.51 6/115 21613
/proc/meminfo: memFree=2220264/3368532 swapFree=1959840/1959888
[pid=21123] ppid=21121 vsize=2416 CPUtime=1.09
/proc/21123/stat : 21123 (manysat.sh) S 21121 21123 29143 0 -1 4194304 369 4084 0 0 1 0 107 1 18 0 1 0 1117224243 2473984 274 4294967295 134512640 135169312 3216340640 3216336856 3084893934 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/21123/statm: 604 274 231 161 0 43 0
[pid=21126] ppid=21123 vsize=77304 CPUtime=642.69
/proc/21126/stat : 21126 (manysat1.1_stat) R 21123 21123 29143 0 -1 4202496 12470 0 0 0 64209 60 0 0 25 0 4 0 1117224351 79159296 12403 4294967295 134512640 135305190 3214105712 3214103888 134528771 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/21126/statm: 19326 12403 79 194 0 19130 0
[pid=21126/tid=21127] ppid=21123 vsize=77304 CPUtime=160.45
/proc/21126/task/21127/stat : 21127 (manysat1.1_stat) R 21123 21123 29143 0 -1 4202560 1350 0 0 0 16033 12 0 0 25 0 4 0 1117224364 79159296 12403 4294967295 134512640 135305190 3214105712 3081915584 134528573 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=21126/tid=21128] ppid=21123 vsize=77304 CPUtime=160.49
/proc/21126/task/21128/stat : 21128 (manysat1.1_stat) R 21123 21123 29143 0 -1 4202560 1797 0 0 0 16031 18 0 0 25 0 4 0 1117224364 79159296 12403 4294967295 134512640 135305190 3214105712 3073526976 134528252 0 0 0 3 0 0 0 -1 1 0 0 0

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

[startup+522.303 s]
/proc/loadavg: 4.53 4.59 4.54 5/114 22645
/proc/meminfo: memFree=2191268/3368532 swapFree=1959840/1959888
[pid=21123] ppid=21121 vsize=2416 CPUtime=1.09
/proc/21123/stat : 21123 (manysat.sh) S 21121 21123 29143 0 -1 4194304 369 4084 0 0 1 0 107 1 18 0 1 0 1117224243 2473984 274 4294967295 134512640 135169312 3216340640 3216336856 3084893934 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/21123/statm: 604 274 231 161 0 43 0
[pid=21126] ppid=21123 vsize=108752 CPUtime=2079.68
/proc/21126/stat : 21126 (manysat1.1_stat) R 21123 21123 29143 0 -1 4202496 20059 0 0 0 207806 162 0 0 25 0 4 0 1117224351 111362048 19992 4294967295 134512640 135305190 3214105712 3214103888 134528298 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/21126/statm: 27188 19992 79 194 0 26992 0
[pid=21126/tid=21127] ppid=21123 vsize=108752 CPUtime=518.89
/proc/21126/task/21127/stat : 21127 (manysat1.1_stat) R 21123 21123 29143 0 -1 4202560 2834 0 0 0 51852 37 0 0 25 0 4 0 1117224364 111362048 19992 4294967295 134512640 135305190 3214105712 3081915584 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=21126/tid=21128] ppid=21123 vsize=108752 CPUtime=520.2
/proc/21126/task/21128/stat : 21128 (manysat1.1_stat) R 21123 21123 29143 0 -1 4202560 3547 0 0 0 51970 50 0 0 25 0 4 0 1117224364 111362048 19992 4294967295 134512640 135305190 3214105712 3073526976 134528768 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=21126/tid=21129] ppid=21123 vsize=108752 CPUtime=520.63
/proc/21126/task/21129/stat : 21129 (manysat1.1_stat) R 21123 21123 29143 0 -1 4202560 5823 0 0 0 52028 35 0 0 25 0 4 0 1117224364 111362048 19992 4294967295 134512640 135305190 3214105712 3065138368 134528875 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2080.77
Current children cumulated vsize (KiB) 111168

[startup+582.31 s]
/proc/loadavg: 4.72 4.63 4.56 6/114 22832
/proc/meminfo: memFree=2180604/3368532 swapFree=1959840/1959888
[pid=21123] ppid=21121 vsize=2416 CPUtime=1.09
/proc/21123/stat : 21123 (manysat.sh) S 21121 21123 29143 0 -1 4194304 369 4084 0 0 1 0 107 1 18 0 1 0 1117224243 2473984 274 4294967295 134512640 135169312 3216340640 3216336856 3084893934 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/21123/statm: 604 274 231 161 0 43 0
[pid=21126] ppid=21123 vsize=118792 CPUtime=2319.25
/proc/21126/stat : 21126 (manysat1.1_stat) R 21123 21123 29143 0 -1 4202496 22706 0 0 0 231746 179 0 0 25 0 4 0 1117224351 121643008 22639 4294967295 134512640 135305190 3214105712 3214103888 134528224 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/21126/statm: 29698 22639 79 194 0 29502 0
[pid=21126/tid=21127] ppid=21123 vsize=118792 CPUtime=578.73
/proc/21126/task/21127/stat : 21127 (manysat1.1_stat) R 21123 21123 29143 0 -1 4202560 3321 0 0 0 57833 40 0 0 25 0 4 0 1117224364 121643008 22639 4294967295 134512640 135305190 3214105712 3081915312 134556770 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=21126/tid=21128] ppid=21123 vsize=118792 CPUtime=580.18
/proc/21126/task/21128/stat : 21128 (manysat1.1_stat) R 21123 21123 29143 0 -1 4202560 4123 0 0 0 57962 56 0 0 25 0 4 0 1117224364 121643008 22639 4294967295 134512640 135305190 3214105712 3073526976 134528229 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=21126/tid=21129] ppid=21123 vsize=118792 CPUtime=580.5
/proc/21126/task/21129/stat : 21129 (manysat1.1_stat) R 21123 21123 29143 0 -1 4202560 6741 0 0 0 58011 39 0 0 25 0 4 0 1117224364 121643008 22639 4294967295 134512640 135305190 3214105712 3065138368 134528229 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2320.34
Current children cumulated vsize (KiB) 121208

[startup+642.317 s]
/proc/loadavg: 4.69 4.63 4.56 5/114 23020
/proc/meminfo: memFree=2177680/3368532 swapFree=1959840/1959888
[pid=21123] ppid=21121 vsize=2416 CPUtime=1.09
/proc/21123/stat : 21123 (manysat.sh) S 21121 21123 29143 0 -1 4194304 369 4084 0 0 1 0 107 1 18 0 1 0 1117224243 2473984 274 4294967295 134512640 135169312 3216340640 3216336856 3084893934 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/21123/statm: 604 274 231 161 0 43 0
[pid=21126] ppid=21123 vsize=120096 CPUtime=2558.33
/proc/21126/stat : 21126 (manysat1.1_stat) R 21123 21123 29143 0 -1 4202496 23020 0 0 0 255638 195 0 0 25 0 4 0 1117224351 122978304 22953 4294967295 134512640 135305190 3214105712 3214103888 134528252 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/21126/statm: 30024 22953 79 194 0 29828 0
[pid=21126/tid=21127] ppid=21123 vsize=120096 CPUtime=638.31
/proc/21126/task/21127/stat : 21127 (manysat1.1_stat) R 21123 21123 29143 0 -1 4202560 3424 0 0 0 63789 42 0 0 25 0 4 0 1117224364 122978304 22953 4294967295 134512640 135305190 3214105712 3081915312 134556789 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=21126/tid=21128] ppid=21123 vsize=120096 CPUtime=640.17
/proc/21126/task/21128/stat : 21128 (manysat1.1_stat) R 21123 21123 29143 0 -1 4202560 4284 0 0 0 63957 60 0 0 25 0 4 0 1117224364 122978304 22953 4294967295 134512640 135305190 3214105712 3073526976 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=21126/tid=21129] ppid=21123 vsize=120096 CPUtime=640.33
/proc/21126/task/21129/stat : 21129 (manysat1.1_stat) R 21123 21123 29143 0 -1 4202560 6775 0 0 0 63991 42 0 0 25 0 4 0 1117224364 122978304 22953 4294967295 134512640 135305190 3214105712 3065138096 134556558 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2559.42
Current children cumulated vsize (KiB) 122512

[startup+702.314 s]
/proc/loadavg: 4.82 4.67 4.58 6/114 23208
/proc/meminfo: memFree=2177472/3368532 swapFree=1959840/1959888
[pid=21123] ppid=21121 vsize=2416 CPUtime=1.09
/proc/21123/stat : 21123 (manysat.sh) S 21121 21123 29143 0 -1 4194304 369 4084 0 0 1 0 107 1 18 0 1 0 1117224243 2473984 274 4294967295 134512640 135169312 3216340640 3216336856 3084893934 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/21123/statm: 604 274 231 161 0 43 0
[pid=21126] ppid=21123 vsize=120384 CPUtime=2797.81
/proc/21126/stat : 21126 (manysat1.1_stat) R 21123 21123 29143 0 -1 4202496 23076 0 0 0 279558 223 0 0 25 0 4 0 1117224351 123273216 23009 4294967295 134512640 135305190 3214105712 3214103888 134528229 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/21126/statm: 30096 23009 79 194 0 29900 0
[pid=21126/tid=21127] ppid=21123 vsize=120384 CPUtime=698.18
/proc/21126/task/21127/stat : 21127 (manysat1.1_stat) R 21123 21123 29143 0 -1 4202560 3436 0 0 0 69755 63 0 0 25 0 4 0 1117224364 123273216 23009 4294967295 134512640 135305190 3214105712 3081915584 134528229 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=21126/tid=21128] ppid=21123 vsize=120384 CPUtime=700.14
/proc/21126/task/21128/stat : 21128 (manysat1.1_stat) R 21123 21123 29143 0 -1 4202560 4306 0 0 0 69951 63 0 0 25 0 4 0 1117224364 123273216 23009 4294967295 134512640 135305190 3214105712 3073526976 134528189 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=21126/tid=21129] ppid=21123 vsize=120384 CPUtime=700.33
/proc/21126/task/21129/stat : 21129 (manysat1.1_stat) R 21123 21123 29143 0 -1 4202560 6784 0 0 0 69988 45 0 0 25 0 4 0 1117224364 123273216 23009 4294967295 134512640 135305190 3214105712 3065138368 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2798.9
Current children cumulated vsize (KiB) 122800

[startup+762.311 s]
/proc/loadavg: 4.69 4.64 4.57 6/114 23396
/proc/meminfo: memFree=2177440/3368532 swapFree=1959840/1959888
[pid=21123] ppid=21121 vsize=2416 CPUtime=1.09
/proc/21123/stat : 21123 (manysat.sh) S 21121 21123 29143 0 -1 4194304 369 4084 0 0 1 0 107 1 18 0 1 0 1117224243 2473984 274 4294967295 134512640 135169312 3216340640 3216336856 3084893934 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/21123/statm: 604 274 231 161 0 43 0
[pid=21126] ppid=21123 vsize=121292 CPUtime=3037.15
/proc/21126/stat : 21126 (manysat1.1_stat) R 21123 21123 29143 0 -1 4202496 23253 0 0 0 303471 244 0 0 25 0 4 0 1117224351 124203008 23186 4294967295 134512640 135305190 3214105712 3214103616 134556558 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/21126/statm: 30323 23186 79 194 0 30127 0
[pid=21126/tid=21127] ppid=21123 vsize=121292 CPUtime=757.78
/proc/21126/task/21127/stat : 21127 (manysat1.1_stat) R 21123 21123 29143 0 -1 4202560 3513 0 0 0 75704 74 0 0 25 0 4 0 1117224364 124203008 23186 4294967295 134512640 135305190 3214105712 3081915584 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=21126/tid=21128] ppid=21123 vsize=121292 CPUtime=760.1
/proc/21126/task/21128/stat : 21128 (manysat1.1_stat) R 21123 21123 29143 0 -1 4202560 4344 0 0 0 75945 65 0 0 25 0 4 0 1117224364 124203008 23186 4294967295 134512640 135305190 3214105712 3073526976 134528379 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=21126/tid=21129] ppid=21123 vsize=121292 CPUtime=760.29
/proc/21126/task/21129/stat : 21129 (manysat1.1_stat) R 21123 21123 29143 0 -1 4202560 6793 0 0 0 75977 52 0 0 25 0 4 0 1117224364 124203008 23186 4294967295 134512640 135305190 3214105712 3065138368 134528768 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3038.24
Current children cumulated vsize (KiB) 123708

[startup+822.308 s]
/proc/loadavg: 4.73 4.65 4.57 5/114 23588
/proc/meminfo: memFree=2174260/3368532 swapFree=1959840/1959888
[pid=21123] ppid=21121 vsize=2416 CPUtime=1.09
/proc/21123/stat : 21123 (manysat.sh) S 21121 21123 29143 0 -1 4194304 369 4084 0 0 1 0 107 1 18 0 1 0 1117224243 2473984 274 4294967295 134512640 135169312 3216340640 3216336856 3084893934 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/21123/statm: 604 274 231 161 0 43 0
[pid=21126] ppid=21123 vsize=124804 CPUtime=3276.68
/proc/21126/stat : 21126 (manysat1.1_stat) R 21123 21123 29143 0 -1 4202496 23946 0 0 0 327403 265 0 0 25 0 4 0 1117224351 127799296 23879 4294967295 134512640 135305190 3214105712 3214103616 134556558 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/21126/statm: 31201 23879 79 194 0 31005 0
[pid=21126/tid=21127] ppid=21123 vsize=124804 CPUtime=817.55
/proc/21126/task/21127/stat : 21127 (manysat1.1_stat) R 21123 21123 29143 0 -1 4202560 3665 0 0 0 81674 81 0 0 25 0 4 0 1117224364 127799296 23879 4294967295 134512640 135305190 3214105712 3081915584 134530636 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=21126/tid=21128] ppid=21123 vsize=124804 CPUtime=819.95
/proc/21126/task/21128/stat : 21128 (manysat1.1_stat) R 21123 21123 29143 0 -1 4202560 4437 0 0 0 81924 71 0 0 25 0 4 0 1117224364 127799296 23879 4294967295 134512640 135305190 3214105712 3073526976 134528229 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=21126/tid=21129] ppid=21123 vsize=124804 CPUtime=820.22
/proc/21126/task/21129/stat : 21129 (manysat1.1_stat) R 21123 21123 29143 0 -1 4202560 7039 0 0 0 81969 53 0 0 25 0 4 0 1117224364 127799296 23879 4294967295 134512640 135305190 3214105712 3065138368 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3277.77
Current children cumulated vsize (KiB) 127220

[startup+882.304 s]
/proc/loadavg: 4.70 4.64 4.56 5/114 23775
/proc/meminfo: memFree=2169496/3368532 swapFree=1959840/1959888
[pid=21123] ppid=21121 vsize=2416 CPUtime=1.09
/proc/21123/stat : 21123 (manysat.sh) S 21121 21123 29143 0 -1 4194304 369 4084 0 0 1 0 107 1 18 0 1 0 1117224243 2473984 274 4294967295 134512640 135169312 3216340640 3216336856 3084893934 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/21123/statm: 604 274 231 161 0 43 0
[pid=21126] ppid=21123 vsize=130328 CPUtime=3515.91
/proc/21126/stat : 21126 (manysat1.1_stat) R 21123 21123 29143 0 -1 4202496 25329 0 0 0 351304 287 0 0 25 0 4 0 1117224351 133455872 25262 4294967295 134512640 135305190 3214105712 3214103888 134528263 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/21126/statm: 32582 25262 79 194 0 32386 0
[pid=21126/tid=21127] ppid=21123 vsize=130328 CPUtime=877.23
/proc/21126/task/21127/stat : 21127 (manysat1.1_stat) R 21123 21123 29143 0 -1 4202560 3757 0 0 0 87638 85 0 0 25 0 4 0 1117224364 133455872 25262 4294967295 134512640 135305190 3214105712 3081915584 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=21126/tid=21128] ppid=21123 vsize=130328 CPUtime=879.64
/proc/21126/task/21128/stat : 21128 (manysat1.1_stat) R 21123 21123 29143 0 -1 4202560 4699 0 0 0 87885 79 0 0 25 0 4 0 1117224364 133455872 25262 4294967295 134512640 135305190 3214105712 3073526656 134552299 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=21126/tid=21129] ppid=21123 vsize=130328 CPUtime=880.21
/proc/21126/task/21129/stat : 21129 (manysat1.1_stat) R 21123 21123 29143 0 -1 4202560 7667 0 0 0 87965 56 0 0 25 0 4 0 1117224364 133455872 25262 4294967295 134512640 135305190 3214105712 3065138096 134556807 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3517
Current children cumulated vsize (KiB) 132744

[startup+942.301 s]
/proc/loadavg: 4.69 4.61 4.56 6/115 23939
/proc/meminfo: memFree=2166804/3368532 swapFree=1959840/1959888
[pid=21123] ppid=21121 vsize=2416 CPUtime=1.09
/proc/21123/stat : 21123 (manysat.sh) S 21121 21123 29143 0 -1 4194304 369 4084 0 0 1 0 107 1 18 0 1 0 1117224243 2473984 274 4294967295 134512640 135169312 3216340640 3216336856 3084893934 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/21123/statm: 604 274 231 161 0 43 0
[pid=21126] ppid=21123 vsize=132916 CPUtime=3755.3
/proc/21126/stat : 21126 (manysat1.1_stat) R 21123 21123 29143 0 -1 4202496 25958 0 0 0 375225 305 0 0 25 0 4 0 1117224351 136105984 25891 4294967295 134512640 135305190 3214105712 3214103888 134528298 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/21126/statm: 33229 25891 79 194 0 33033 0
[pid=21126/tid=21127] ppid=21123 vsize=132916 CPUtime=937.22
/proc/21126/task/21127/stat : 21127 (manysat1.1_stat) R 21123 21123 29143 0 -1 4202560 3906 0 0 0 93631 91 0 0 25 0 4 0 1117224364 136105984 25891 4294967295 134512640 135305190 3214105712 3081915584 134528415 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=21126/tid=21128] ppid=21123 vsize=132916 CPUtime=939.64
/proc/21126/task/21128/stat : 21128 (manysat1.1_stat) R 21123 21123 29143 0 -1 4202560 4837 0 0 0 93883 81 0 0 25 0 4 0 1117224364 136105984 25891 4294967295 134512640 135305190 3214105712 3073526976 134528410 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=21126/tid=21129] ppid=21123 vsize=132916 CPUtime=940.08
/proc/21126/task/21129/stat : 21129 (manysat1.1_stat) R 21123 21123 29143 0 -1 4202560 7881 0 0 0 93947 61 0 0 25 0 4 0 1117224364 136105984 25891 4294967295 134512640 135305190 3214105712 3065138368 134528392 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3756.39
Current children cumulated vsize (KiB) 135332



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.02 s]
/proc/loadavg: 4.60 4.59 4.55 6/115 24076
/proc/meminfo: memFree=2166372/3368532 swapFree=1959840/1959888
[pid=21123] ppid=21121 vsize=2416 CPUtime=1.09
/proc/21123/stat : 21123 (manysat.sh) S 21121 21123 29143 0 -1 4194304 369 4084 0 0 1 0 107 1 18 0 1 0 1117224243 2473984 274 4294967295 134512640 135169312 3216340640 3216336856 3084893934 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/21123/statm: 604 274 231 161 0 43 0
[pid=21126] ppid=21123 vsize=133232 CPUtime=3985.78
/proc/21126/stat : 21126 (manysat1.1_stat) R 21123 21123 29143 0 -1 4202496 26040 0 0 0 398260 318 0 0 25 0 4 0 1117224351 136429568 25973 4294967295 134512640 135305190 3214105712 3214103888 134528298 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/21126/statm: 33308 25973 79 194 0 33112 0
[pid=21126/tid=21127] ppid=21123 vsize=133232 CPUtime=994.92
/proc/21126/task/21127/stat : 21127 (manysat1.1_stat) R 21123 21123 29143 0 -1 4202560 3977 0 0 0 99398 94 0 0 25 0 4 0 1117224364 136429568 25973 4294967295 134512640 135305190 3214105712 3081915248 134551651 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=21126/tid=21128] ppid=21123 vsize=133232 CPUtime=997.36
/proc/21126/task/21128/stat : 21128 (manysat1.1_stat) R 21123 21123 29143 0 -1 4202560 4848 0 0 0 99653 83 0 0 25 0 4 0 1117224364 136429568 25973 4294967295 134512640 135305190 3214105712 3073526656 134552302 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=21126/tid=21129] ppid=21123 vsize=133232 CPUtime=997.61
/proc/21126/task/21129/stat : 21129 (manysat1.1_stat) R 21123 21123 29143 0 -1 4202560 7881 0 0 0 99696 65 0 0 25 0 4 0 1117224364 136429568 25973 4294967295 134512640 135305190 3214105712 3065138096 134556558 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3986.87
Current children cumulated vsize (KiB) 135648

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.95
CPU user time (s): 3983.75
CPU system time (s): 3.2
CPU usage (%): 398.675
Max. virtual memory (cumulated for all children) (KiB): 135648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3983.75
system time used= 3.2
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30767
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= 7422
involuntary context switches= 209256

runsolver used 0 second user time and 0.01 second system time

The end

Launcher Data 

Begin job on  at 2009-05-28 17:46:54
IDJOB=1779469
IDBENCH=70864
IDSOLVER=623
FILE ID=/1779469-1243525614
PBS_JOBID=
Free space on /tmp= 7986 MiB

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

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

MD5SUM BENCH= d33264afbb7fa6f88a24b97cfc468c5a
RANDOM SEED= 1443167239

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.073
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.073
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.073
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.073
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:       2275336 kB
Buffers:         33908 kB
Cached:         938840 kB
SwapCached:          0 kB
Active:          49560 kB
Inactive:       942316 kB
HighTotal:     2489216 kB
HighFree:      1644832 kB
LowTotal:       879316 kB
LowFree:        630504 kB
SwapTotal:     1959888 kB
SwapFree:      1959840 kB
Dirty:            3204 kB
Writeback:           0 kB
AnonPages:       19164 kB
Mapped:           7772 kB
Slab:            91560 kB
SReclaimable:    78632 kB
SUnreclaim:      12928 kB
PageTables:        656 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:   111080 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 7986 MiB
End job on  at 2009-05-28 18:03:34