Trace number 1779496

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameAPPLICATIONS/crypto/
desgen/gss-23-s100.cnf
MD5SUMaa3fff3e05d3f50a3d088c22afa455ea
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 variables31711
Number of clauses95400
Sum of the clauses size224926
Maximum clause length3
Minimum clause length1
Number of clauses of size 164
Number of clauses of size 261146
Number of clauses of size 334190
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.00/0.07	c ==============================================================================
0.00/0.07	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.07	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.07	c ==============================================================================
0.00/0.07	c |         0 |   95200   224450 |   28559       0        0     nan |  0.000 % |
0.91/1.00	c |         0 |   58435   174205 |      --       0       --      -- |     --   | -36425/-49269
1.02/1.01	c ==============================================================================
1.02/1.01	c Result  :   #vars: 14053   #clauses: 58435   #literals: 174205
1.02/1.01	c CPU time:   0.98 s
1.02/1.01	c ==============================================================================
3986.60/1000.03	HOME/manysat.sh: line 55:  4144 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-1779496-1243525902/watcher-1779496-1243525902 -o /tmp/evaluation-result-1779496-1243525902/solver-1779496-1243525902 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1779496-1243525902.cnf aimd 0 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 2096128 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 2147328 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 4.05 4.44 4.51 3/115 4141
/proc/meminfo: memFree=3025164/3368532 swapFree=1941392/1959888
[pid=4141] ppid=4139 vsize=2416 CPUtime=0.01
/proc/4141/stat : 4141 (manysat.sh) S 4139 4141 12261 0 -1 4194304 351 0 0 0 1 0 0 0 18 0 1 0 1117269995 2473984 274 4294967295 134512640 135169312 3214255264 3214253800 3084992238 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/4141/statm: 604 274 231 161 0 43 0
[pid=4142] ppid=4141 vsize=2460 CPUtime=0
/proc/4142/stat : 4142 (SatElite) R 4141 4141 12261 0 -1 4202496 463 0 0 0 0 0 0 0 18 0 1 0 1117269996 2519040 399 4294967295 134512640 135034092 3218712736 3218709024 134544732 0 0 0 3 0 0 0 17 2 0 0 0
/proc/4142/statm: 615 401 50 128 0 485 0

[startup+0.079607 s]
/proc/loadavg: 4.05 4.44 4.51 3/115 4141
/proc/meminfo: memFree=3025164/3368532 swapFree=1941392/1959888
[pid=4141] ppid=4139 vsize=2416 CPUtime=0.01
/proc/4141/stat : 4141 (manysat.sh) S 4139 4141 12261 0 -1 4194304 351 0 0 0 1 0 0 0 18 0 1 0 1117269995 2473984 274 4294967295 134512640 135169312 3214255264 3214253800 3084992238 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/4141/statm: 604 274 231 161 0 43 0
[pid=4142] ppid=4141 vsize=12992 CPUtime=0.07
/proc/4142/stat : 4142 (SatElite) R 4141 4141 12261 0 -1 4202496 3246 0 0 0 6 1 0 0 18 0 1 0 1117269996 13303808 3071 4294967295 134512640 135034092 3218712736 3218706410 134562238 0 0 0 3 0 0 0 17 2 0 0 0
/proc/4142/statm: 3248 3071 66 128 0 3118 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 15408

[startup+0.109605 s]
/proc/loadavg: 4.05 4.44 4.51 3/115 4141
/proc/meminfo: memFree=3025164/3368532 swapFree=1941392/1959888
[pid=4141] ppid=4139 vsize=2416 CPUtime=0.01
/proc/4141/stat : 4141 (manysat.sh) S 4139 4141 12261 0 -1 4194304 351 0 0 0 1 0 0 0 18 0 1 0 1117269995 2473984 274 4294967295 134512640 135169312 3214255264 3214253800 3084992238 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/4141/statm: 604 274 231 161 0 43 0
[pid=4142] ppid=4141 vsize=13912 CPUtime=0.1
/proc/4142/stat : 4142 (SatElite) R 4141 4141 12261 0 -1 4202496 3464 0 0 0 9 1 0 0 18 0 1 0 1117269996 14245888 3289 4294967295 134512640 135034092 3218712736 3218708732 134691101 0 0 0 3 0 0 0 17 2 0 0 0
/proc/4142/statm: 3478 3289 67 128 0 3348 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 16328

[startup+0.309597 s]
/proc/loadavg: 4.05 4.44 4.51 3/115 4141
/proc/meminfo: memFree=3025164/3368532 swapFree=1941392/1959888
[pid=4141] ppid=4139 vsize=2416 CPUtime=0.01
/proc/4141/stat : 4141 (manysat.sh) S 4139 4141 12261 0 -1 4194304 351 0 0 0 1 0 0 0 18 0 1 0 1117269995 2473984 274 4294967295 134512640 135169312 3214255264 3214253800 3084992238 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/4141/statm: 604 274 231 161 0 43 0
[pid=4142] ppid=4141 vsize=14616 CPUtime=0.3
/proc/4142/stat : 4142 (SatElite) R 4141 4141 12261 0 -1 4202496 3601 0 0 0 29 1 0 0 18 0 1 0 1117269996 14966784 3426 4294967295 134512640 135034092 3218712736 3218708732 134691101 0 0 0 3 0 0 0 17 2 0 0 0
/proc/4142/statm: 3654 3426 67 128 0 3524 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 17032

[startup+0.709581 s]
/proc/loadavg: 4.05 4.44 4.51 3/115 4141
/proc/meminfo: memFree=3025164/3368532 swapFree=1941392/1959888
[pid=4141] ppid=4139 vsize=2416 CPUtime=0.01
/proc/4141/stat : 4141 (manysat.sh) S 4139 4141 12261 0 -1 4194304 351 0 0 0 1 0 0 0 18 0 1 0 1117269995 2473984 274 4294967295 134512640 135169312 3214255264 3214253800 3084992238 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/4141/statm: 604 274 231 161 0 43 0
[pid=4142] ppid=4141 vsize=15868 CPUtime=0.7
/proc/4142/stat : 4142 (SatElite) R 4141 4141 12261 0 -1 4202496 3767 0 0 0 68 2 0 0 18 0 1 0 1117269996 16248832 3592 4294967295 134512640 135034092 3218712736 3218709056 134574371 0 0 0 3 0 0 0 17 2 0 0 0
/proc/4142/statm: 3967 3592 67 128 0 3837 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 18284

[startup+1.50956 s]
/proc/loadavg: 4.05 4.44 4.51 2/117 4143
/proc/meminfo: memFree=3006812/3368532 swapFree=1941392/1959888
[pid=4141] ppid=4139 vsize=2420 CPUtime=1.08
/proc/4141/stat : 4141 (manysat.sh) S 4139 4141 12261 0 -1 4194304 370 3994 0 0 1 0 105 2 18 0 1 0 1117269995 2478080 275 4294967295 134512640 135169312 3214255264 3214251480 3084992238 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/4141/statm: 605 275 231 161 0 44 0
Current children cumulated CPU time (s) 1.08
Current children cumulated vsize (KiB) 2420

[startup+3.1095 s]
/proc/loadavg: 4.05 4.44 4.51 6/120 4147
/proc/meminfo: memFree=3000000/3368532 swapFree=1941392/1959888
[pid=4141] ppid=4139 vsize=2420 CPUtime=1.08
/proc/4141/stat : 4141 (manysat.sh) S 4139 4141 12261 0 -1 4194304 370 3994 0 0 1 0 105 2 18 0 1 0 1117269995 2478080 275 4294967295 134512640 135169312 3214255264 3214251480 3084992238 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/4141/statm: 605 275 231 161 0 44 0
[pid=4144] ppid=4141 vsize=49164 CPUtime=7.61
/proc/4144/stat : 4144 (manysat1.1_stat) R 4141 4141 12261 0 -1 4202496 5426 0 0 0 750 11 0 0 19 0 4 0 1117270103 50343936 5361 4294967295 134512640 135305190 3221068560 3221066736 134528298 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/4144/statm: 12291 5361 79 194 0 12095 0
[pid=4144/tid=4145] ppid=4141 vsize=49164 CPUtime=1.87
/proc/4144/task/4145/stat : 4145 (manysat1.1_stat) R 4141 4141 12261 0 -1 4202560 202 0 0 0 185 2 0 0 20 0 4 0 1117270116 50343936 5361 4294967295 134512640 135305190 3221068560 3082017712 134556558 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=4144/tid=4146] ppid=4141 vsize=49164 CPUtime=1.86
/proc/4144/task/4146/stat : 4146 (manysat1.1_stat) R 4141 4141 12261 0 -1 4202560 213 0 0 0 185 1 0 0 20 0 4 0 1117270116 50343936 5361 4294967295 134512640 135305190 3221068560 3073629376 134528229 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=4144/tid=4147] ppid=4141 vsize=49164 CPUtime=1.87
/proc/4144/task/4147/stat : 4147 (manysat1.1_stat) R 4141 4141 12261 0 -1 4202560 204 0 0 0 185 2 0 0 21 0 4 0 1117270116 50343936 5361 4294967295 134512640 135305190 3221068560 3065240768 134528277 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 8.69
Current children cumulated vsize (KiB) 51584

[startup+6.30937 s]
/proc/loadavg: 4.12 4.45 4.51 7/121 4191
/proc/meminfo: memFree=2998148/3368532 swapFree=1941392/1959888
[pid=4141] ppid=4139 vsize=2420 CPUtime=1.08
/proc/4141/stat : 4141 (manysat.sh) S 4139 4141 12261 0 -1 4194304 370 3994 0 0 1 0 105 2 18 0 1 0 1117269995 2478080 275 4294967295 134512640 135169312 3214255264 3214251480 3084992238 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/4141/statm: 605 275 231 161 0 44 0
[pid=4144] ppid=4141 vsize=49956 CPUtime=20.4
/proc/4144/stat : 4144 (manysat1.1_stat) R 4141 4141 12261 0 -1 4202496 5646 0 0 0 2027 13 0 0 25 0 4 0 1117270103 51154944 5582 4294967295 134512640 135305190 3221068560 3221066352 134857151 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/4144/statm: 12489 5583 79 194 0 12293 0
[pid=4144/tid=4145] ppid=4141 vsize=49956 CPUtime=5.07
/proc/4144/task/4145/stat : 4145 (manysat1.1_stat) R 4141 4141 12261 0 -1 4202560 266 0 0 0 505 2 0 0 25 0 4 0 1117270116 51154944 5584 4294967295 134512640 135305190 3221068560 3082017984 134528229 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=4144/tid=4146] ppid=4141 vsize=49956 CPUtime=5.06
/proc/4144/task/4146/stat : 4146 (manysat1.1_stat) R 4141 4141 12261 0 -1 4202560 254 0 0 0 505 1 0 0 25 0 4 0 1117270116 51154944 5584 4294967295 134512640 135305190 3221068560 3073629376 134528235 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=4144/tid=4147] ppid=4141 vsize=49956 CPUtime=5.06
/proc/4144/task/4147/stat : 4147 (manysat1.1_stat) R 4141 4141 12261 0 -1 4202560 275 0 0 0 502 4 0 0 25 0 4 0 1117270116 51154944 5584 4294967295 134512640 135305190 3221068560 3065240496 134557401 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 21.48
Current children cumulated vsize (KiB) 52376

[startup+12.7091 s]
/proc/loadavg: 4.27 4.48 4.52 8/121 4246
/proc/meminfo: memFree=2996716/3368532 swapFree=1941392/1959888
[pid=4141] ppid=4139 vsize=2420 CPUtime=1.08
/proc/4141/stat : 4141 (manysat.sh) S 4139 4141 12261 0 -1 4194304 370 3994 0 0 1 0 105 2 18 0 1 0 1117269995 2478080 275 4294967295 134512640 135169312 3214255264 3214251480 3084992238 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/4141/statm: 605 275 231 161 0 44 0
[pid=4144] ppid=4141 vsize=51280 CPUtime=45.91
/proc/4144/stat : 4144 (manysat1.1_stat) R 4141 4141 12261 0 -1 4202496 5995 0 0 0 4577 14 0 0 25 0 4 0 1117270103 52510720 5930 4294967295 134512640 135305190 3221068560 3221066212 134840070 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/4144/statm: 12820 5930 79 194 0 12624 0
[pid=4144/tid=4145] ppid=4141 vsize=51280 CPUtime=11.47
/proc/4144/task/4145/stat : 4145 (manysat1.1_stat) R 4141 4141 12261 0 -1 4202560 357 0 0 0 1145 2 0 0 25 0 4 0 1117270116 52510720 5930 4294967295 134512640 135305190 3221068560 3082017648 134551651 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=4144/tid=4146] ppid=4141 vsize=51280 CPUtime=11.38
/proc/4144/task/4146/stat : 4146 (manysat1.1_stat) R 4141 4141 12261 0 -1 4202560 313 0 0 0 1137 1 0 0 25 0 4 0 1117270116 52510720 5930 4294967295 134512640 135305190 3221068560 3073629056 134552302 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=4144/tid=4147] ppid=4141 vsize=51280 CPUtime=11.45
/proc/4144/task/4147/stat : 4147 (manysat1.1_stat) R 4141 4141 12261 0 -1 4202560 404 0 0 0 1140 5 0 0 25 0 4 0 1117270116 52510720 5930 4294967295 134512640 135305190 3221068560 3065240768 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 46.99
Current children cumulated vsize (KiB) 53700

[startup+25.5186 s]
/proc/loadavg: 4.57 4.53 4.53 5/120 4332
/proc/meminfo: memFree=2994796/3368532 swapFree=1941392/1959888
[pid=4141] ppid=4139 vsize=2420 CPUtime=1.08
/proc/4141/stat : 4141 (manysat.sh) S 4139 4141 12261 0 -1 4194304 370 3994 0 0 1 0 105 2 18 0 1 0 1117269995 2478080 275 4294967295 134512640 135169312 3214255264 3214251480 3084992238 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/4141/statm: 605 275 231 161 0 44 0
[pid=4144] ppid=4141 vsize=53396 CPUtime=97.12
/proc/4144/stat : 4144 (manysat1.1_stat) R 4141 4141 12261 0 -1 4202496 6551 0 0 0 9697 15 0 0 25 0 4 0 1117270103 54677504 6486 4294967295 134512640 135305190 3221068560 3221066736 134528229 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/4144/statm: 13349 6486 79 194 0 13153 0
[pid=4144/tid=4145] ppid=4141 vsize=53396 CPUtime=24.28
/proc/4144/task/4145/stat : 4145 (manysat1.1_stat) R 4141 4141 12261 0 -1 4202560 529 0 0 0 2425 3 0 0 25 0 4 0 1117270116 54677504 6486 4294967295 134512640 135305190 3221068560 3082017712 134557241 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=4144/tid=4146] ppid=4141 vsize=53396 CPUtime=24.16
/proc/4144/task/4146/stat : 4146 (manysat1.1_stat) R 4141 4141 12261 0 -1 4202560 423 0 0 0 2415 1 0 0 25 0 4 0 1117270116 54677504 6486 4294967295 134512640 135305190 3221068560 3073629056 134555118 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=4144/tid=4147] ppid=4141 vsize=53396 CPUtime=24.26
/proc/4144/task/4147/stat : 4147 (manysat1.1_stat) R 4141 4141 12261 0 -1 4202560 502 0 0 0 2421 5 0 0 25 0 4 0 1117270116 54677504 6486 4294967295 134512640 135305190 3221068560 3065240768 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 98.2
Current children cumulated vsize (KiB) 55816

[startup+51.1176 s]
/proc/loadavg: 4.56 4.54 4.54 5/120 4340
/proc/meminfo: memFree=2991644/3368532 swapFree=1941392/1959888
[pid=4141] ppid=4139 vsize=2420 CPUtime=1.08
/proc/4141/stat : 4141 (manysat.sh) S 4139 4141 12261 0 -1 4194304 370 3994 0 0 1 0 105 2 18 0 1 0 1117269995 2478080 275 4294967295 134512640 135169312 3214255264 3214251480 3084992238 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/4141/statm: 605 275 231 161 0 44 0
[pid=4144] ppid=4141 vsize=56964 CPUtime=199.38
/proc/4144/stat : 4144 (manysat1.1_stat) R 4141 4141 12261 0 -1 4202496 7498 0 0 0 19915 23 0 0 25 0 4 0 1117270103 58331136 7433 4294967295 134512640 135305190 3221068560 3221066736 134528229 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/4144/statm: 14241 7433 79 194 0 14045 0
[pid=4144/tid=4145] ppid=4141 vsize=56964 CPUtime=49.75
/proc/4144/task/4145/stat : 4145 (manysat1.1_stat) R 4141 4141 12261 0 -1 4202560 734 0 0 0 4968 7 0 0 25 0 4 0 1117270116 58331136 7433 4294967295 134512640 135305190 3221068560 3082017984 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=4144/tid=4146] ppid=4141 vsize=56964 CPUtime=49.76
/proc/4144/task/4146/stat : 4146 (manysat1.1_stat) R 4141 4141 12261 0 -1 4202560 571 0 0 0 4974 2 0 0 25 0 4 0 1117270116 58331136 7433 4294967295 134512640 135305190 3221068560 3073629376 134528520 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=4144/tid=4147] ppid=4141 vsize=56964 CPUtime=49.86
/proc/4144/task/4147/stat : 4147 (manysat1.1_stat) R 4141 4141 12261 0 -1 4202560 873 0 0 0 4979 7 0 0 25 0 4 0 1117270116 58331136 7433 4294967295 134512640 135305190 3221068560 3065240308 134840070 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 200.46
Current children cumulated vsize (KiB) 59384

[startup+102.316 s]
/proc/loadavg: 4.75 4.58 4.55 6/120 4525
/proc/meminfo: memFree=2982244/3368532 swapFree=1941392/1959888
[pid=4141] ppid=4139 vsize=2420 CPUtime=1.08
/proc/4141/stat : 4141 (manysat.sh) S 4139 4141 12261 0 -1 4194304 370 3994 0 0 1 0 105 2 18 0 1 0 1117269995 2478080 275 4294967295 134512640 135169312 3214255264 3214251480 3084992238 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/4141/statm: 605 275 231 161 0 44 0
[pid=4144] ppid=4141 vsize=66820 CPUtime=403.56
/proc/4144/stat : 4144 (manysat1.1_stat) R 4141 4141 12261 0 -1 4202496 9767 0 0 0 40322 34 0 0 25 0 4 0 1117270103 68423680 9702 4294967295 134512640 135305190 3221068560 3221066464 134556558 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/4144/statm: 16705 9702 79 194 0 16509 0
[pid=4144/tid=4145] ppid=4141 vsize=66820 CPUtime=100.89
/proc/4144/task/4145/stat : 4145 (manysat1.1_stat) R 4141 4141 12261 0 -1 4202560 1189 0 0 0 10079 10 0 0 25 0 4 0 1117270116 68423680 9702 4294967295 134512640 135305190 3221068560 3082017648 134551848 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=4144/tid=4146] ppid=4141 vsize=66820 CPUtime=100.6
/proc/4144/task/4146/stat : 4146 (manysat1.1_stat) R 4141 4141 12261 0 -1 4202560 1177 0 0 0 10058 2 0 0 25 0 4 0 1117270116 68423680 9702 4294967295 134512640 135305190 3221068560 3073628992 134551651 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=4144/tid=4147] ppid=4141 vsize=66820 CPUtime=100.86
/proc/4144/task/4147/stat : 4147 (manysat1.1_stat) R 4141 4141 12261 0 -1 4202560 1606 0 0 0 10076 10 0 0 25 0 4 0 1117270116 68423680 9702 4294967295 134512640 135305190 3221068560 3065240432 134551639 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 404.64
Current children cumulated vsize (KiB) 69240

[startup+162.303 s]
/proc/loadavg: 4.93 4.65 4.57 6/120 4713
/proc/meminfo: memFree=2973872/3368532 swapFree=1941392/1959888
[pid=4141] ppid=4139 vsize=2420 CPUtime=1.08
/proc/4141/stat : 4141 (manysat.sh) S 4139 4141 12261 0 -1 4194304 370 3994 0 0 1 0 105 2 18 0 1 0 1117269995 2478080 275 4294967295 134512640 135169312 3214255264 3214251480 3084992238 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/4141/statm: 605 275 231 161 0 44 0
[pid=4144] ppid=4141 vsize=73824 CPUtime=643.21
/proc/4144/stat : 4144 (manysat1.1_stat) R 4141 4141 12261 0 -1 4202496 11468 0 0 0 64270 51 0 0 25 0 4 0 1117270103 75595776 11403 4294967295 134512640 135305190 3221068560 3221066736 134528298 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/4144/statm: 18456 11403 79 194 0 18260 0
[pid=4144/tid=4145] ppid=4141 vsize=73824 CPUtime=160.85
/proc/4144/task/4145/stat : 4145 (manysat1.1_stat) R 4141 4141 12261 0 -1 4202560 1477 0 0 0 16075 10 0 0 25 0 4 0 1117270116 75595776 11403 4294967295 134512640 135305190 3221068560 3082017984 134530682 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=4144/tid=4146] ppid=4141 vsize=73824 CPUtime=160.53
/proc/4144/task/4146/stat : 4146 (manysat1.1_stat) R 4141 4141 12261 0 -1 4202560 1547 0 0 0 16044 9 0 0 25 0 4 0 1117270116 75595776 11403 4294967295 134512640 135305190 3221068560 3073629376 134528298 0 0 0 3 0 0 0 -1 2 0 0 0

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

[startup+522.309 s]
/proc/loadavg: 4.44 4.57 4.54 5/120 5666
/proc/meminfo: memFree=2953872/3368532 swapFree=1941392/1959888
[pid=4141] ppid=4139 vsize=2420 CPUtime=1.08
/proc/4141/stat : 4141 (manysat.sh) S 4139 4141 12261 0 -1 4194304 370 3994 0 0 1 0 105 2 18 0 1 0 1117269995 2478080 275 4294967295 134512640 135169312 3214255264 3214251480 3084992238 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/4141/statm: 605 275 231 161 0 44 0
[pid=4144] ppid=4141 vsize=96268 CPUtime=2079.24
/proc/4144/stat : 4144 (manysat1.1_stat) R 4141 4141 12261 0 -1 4202496 16793 0 0 0 207742 182 0 0 25 0 4 0 1117270103 98578432 16707 4294967295 134512640 135305190 3221068560 3221066736 134528512 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/4144/statm: 24067 16707 79 194 0 23871 0
[pid=4144/tid=4145] ppid=4141 vsize=96268 CPUtime=520.46
/proc/4144/task/4145/stat : 4145 (manysat1.1_stat) R 4141 4141 12261 0 -1 4202560 2370 0 0 0 52018 28 0 0 25 0 4 0 1117270116 98578432 16707 4294967295 134512640 135305190 3221068560 3082017984 134528189 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=4144/tid=4146] ppid=4141 vsize=96268 CPUtime=518.47
/proc/4144/task/4146/stat : 4146 (manysat1.1_stat) R 4141 4141 12261 0 -1 4202560 3113 0 0 0 51817 30 0 0 25 0 4 0 1117270116 98578432 16707 4294967295 134512640 135305190 3221068560 3073629056 134552667 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=4144/tid=4147] ppid=4141 vsize=96268 CPUtime=519.24
/proc/4144/task/4147/stat : 4147 (manysat1.1_stat) R 4141 4141 12261 0 -1 4202560 3961 0 0 0 51841 83 0 0 25 0 4 0 1117270116 98578432 16707 4294967295 134512640 135305190 3221068560 3065240496 134557200 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2080.32
Current children cumulated vsize (KiB) 98688

[startup+582.316 s]
/proc/loadavg: 4.46 4.55 4.54 5/120 5855
/proc/meminfo: memFree=2947052/3368532 swapFree=1941392/1959888
[pid=4141] ppid=4139 vsize=2420 CPUtime=1.08
/proc/4141/stat : 4141 (manysat.sh) S 4139 4141 12261 0 -1 4194304 370 3994 0 0 1 0 105 2 18 0 1 0 1117269995 2478080 275 4294967295 134512640 135169312 3214255264 3214251480 3084992238 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/4141/statm: 605 275 231 161 0 44 0
[pid=4144] ppid=4141 vsize=103980 CPUtime=2318.97
/proc/4144/stat : 4144 (manysat1.1_stat) R 4141 4141 12261 0 -1 4202496 18706 0 0 0 231692 205 0 0 25 0 4 0 1117270103 106475520 18620 4294967295 134512640 135305190 3221068560 3221066736 134528229 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/4144/statm: 25995 18620 79 194 0 25799 0
[pid=4144/tid=4145] ppid=4141 vsize=103980 CPUtime=580.46
/proc/4144/task/4145/stat : 4145 (manysat1.1_stat) R 4141 4141 12261 0 -1 4202560 2671 0 0 0 58014 32 0 0 25 0 4 0 1117270116 106475520 18620 4294967295 134512640 135305190 3221068560 3082017984 134528480 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=4144/tid=4146] ppid=4141 vsize=103980 CPUtime=578.43
/proc/4144/task/4146/stat : 4146 (manysat1.1_stat) R 4141 4141 12261 0 -1 4202560 3288 0 0 0 57806 37 0 0 25 0 4 0 1117270116 106475520 18620 4294967295 134512640 135305190 3221068560 3073629056 134555190 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=4144/tid=4147] ppid=4141 vsize=103980 CPUtime=579.01
/proc/4144/task/4147/stat : 4147 (manysat1.1_stat) R 4141 4141 12261 0 -1 4202560 4928 0 0 0 57809 92 0 0 25 0 4 0 1117270116 106475520 18620 4294967295 134512640 135305190 3221068560 3065240768 134528410 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2320.05
Current children cumulated vsize (KiB) 106400

[startup+642.314 s]
/proc/loadavg: 4.43 4.54 4.54 6/120 6043
/proc/meminfo: memFree=2941084/3368532 swapFree=1941392/1959888
[pid=4141] ppid=4139 vsize=2420 CPUtime=1.08
/proc/4141/stat : 4141 (manysat.sh) S 4139 4141 12261 0 -1 4194304 370 3994 0 0 1 0 105 2 18 0 1 0 1117269995 2478080 275 4294967295 134512640 135169312 3214255264 3214251480 3084992238 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/4141/statm: 605 275 231 161 0 44 0
[pid=4144] ppid=4141 vsize=108420 CPUtime=2558.56
/proc/4144/stat : 4144 (manysat1.1_stat) R 4141 4141 12261 0 -1 4202496 19820 0 0 0 255636 220 0 0 25 0 4 0 1117270103 111022080 19734 4294967295 134512640 135305190 3221068560 3221066736 134528277 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/4144/statm: 27105 19734 79 194 0 26909 0
[pid=4144/tid=4145] ppid=4141 vsize=108420 CPUtime=640.45
/proc/4144/task/4145/stat : 4145 (manysat1.1_stat) R 4141 4141 12261 0 -1 4202560 2851 0 0 0 64013 32 0 0 25 0 4 0 1117270116 111022080 19734 4294967295 134512640 135305190 3221068560 3082017712 134556734 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=4144/tid=4146] ppid=4141 vsize=108420 CPUtime=638.35
/proc/4144/task/4146/stat : 4146 (manysat1.1_stat) R 4141 4141 12261 0 -1 4202560 3628 0 0 0 63796 39 0 0 25 0 4 0 1117270116 111022080 19734 4294967295 134512640 135305190 3221068560 3073629056 134552302 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=4144/tid=4147] ppid=4141 vsize=108420 CPUtime=638.76
/proc/4144/task/4147/stat : 4147 (manysat1.1_stat) R 4141 4141 12261 0 -1 4202560 5225 0 0 0 63776 100 0 0 25 0 4 0 1117270116 111022080 19734 4294967295 134512640 135305190 3221068560 3065240768 134528229 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2559.64
Current children cumulated vsize (KiB) 110840

[startup+702.312 s]
/proc/loadavg: 4.41 4.51 4.53 5/120 6234
/proc/meminfo: memFree=2940968/3368532 swapFree=1941392/1959888
[pid=4141] ppid=4139 vsize=2420 CPUtime=1.08
/proc/4141/stat : 4141 (manysat.sh) S 4139 4141 12261 0 -1 4194304 370 3994 0 0 1 0 105 2 18 0 1 0 1117269995 2478080 275 4294967295 134512640 135169312 3214255264 3214251480 3084992238 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/4141/statm: 605 275 231 161 0 44 0
[pid=4144] ppid=4141 vsize=108904 CPUtime=2798.16
/proc/4144/stat : 4144 (manysat1.1_stat) R 4141 4141 12261 0 -1 4202496 19920 0 0 0 279571 245 0 0 25 0 4 0 1117270103 111517696 19834 4294967295 134512640 135305190 3221068560 3221066736 134528525 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/4144/statm: 27226 19834 79 194 0 27030 0
[pid=4144/tid=4145] ppid=4141 vsize=108904 CPUtime=700.45
/proc/4144/task/4145/stat : 4145 (manysat1.1_stat) R 4141 4141 12261 0 -1 4202560 2852 0 0 0 70013 32 0 0 25 0 4 0 1117270116 111517696 19834 4294967295 134512640 135305190 3221068560 3082017984 134528301 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=4144/tid=4146] ppid=4141 vsize=108904 CPUtime=698.33
/proc/4144/task/4146/stat : 4146 (manysat1.1_stat) R 4141 4141 12261 0 -1 4202560 3689 0 0 0 69786 47 0 0 25 0 4 0 1117270116 111517696 19834 4294967295 134512640 135305190 3221068560 3073629376 134528936 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=4144/tid=4147] ppid=4141 vsize=108904 CPUtime=698.67
/proc/4144/task/4147/stat : 4147 (manysat1.1_stat) R 4141 4141 12261 0 -1 4202560 5263 0 0 0 69761 106 0 0 25 0 4 0 1117270116 111517696 19834 4294967295 134512640 135305190 3221068560 3065240768 134528512 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2799.24
Current children cumulated vsize (KiB) 111324

[startup+762.319 s]
/proc/loadavg: 4.65 4.56 4.54 5/120 6426
/proc/meminfo: memFree=2941020/3368532 swapFree=1941392/1959888
[pid=4141] ppid=4139 vsize=2420 CPUtime=1.08
/proc/4141/stat : 4141 (manysat.sh) S 4139 4141 12261 0 -1 4194304 370 3994 0 0 1 0 105 2 18 0 1 0 1117269995 2478080 275 4294967295 134512640 135169312 3214255264 3214251480 3084992238 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/4141/statm: 605 275 231 161 0 44 0
[pid=4144] ppid=4141 vsize=109252 CPUtime=3037.22
/proc/4144/stat : 4144 (manysat1.1_stat) R 4141 4141 12261 0 -1 4202496 19995 0 0 0 303455 267 0 0 25 0 4 0 1117270103 111874048 19909 4294967295 134512640 135305190 3221068560 3221066464 134557557 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/4144/statm: 27313 19909 79 194 0 27117 0
[pid=4144/tid=4145] ppid=4141 vsize=109252 CPUtime=760.44
/proc/4144/task/4145/stat : 4145 (manysat1.1_stat) R 4141 4141 12261 0 -1 4202560 2871 0 0 0 76006 38 0 0 25 0 4 0 1117270116 111874048 19909 4294967295 134512640 135305190 3221068560 3082017984 134528399 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=4144/tid=4146] ppid=4141 vsize=109252 CPUtime=757.7
/proc/4144/task/4146/stat : 4146 (manysat1.1_stat) R 4141 4141 12261 0 -1 4202560 3689 0 0 0 75721 49 0 0 25 0 4 0 1117270116 111874048 19909 4294967295 134512640 135305190 3221068560 3073629376 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=4144/tid=4147] ppid=4141 vsize=109252 CPUtime=758.68
/proc/4144/task/4147/stat : 4147 (manysat1.1_stat) R 4141 4141 12261 0 -1 4202560 5308 0 0 0 75761 107 0 0 25 0 4 0 1117270116 111874048 19909 4294967295 134512640 135305190 3221068560 3065240768 134528229 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3038.3
Current children cumulated vsize (KiB) 111672

[startup+822.307 s]
/proc/loadavg: 4.62 4.55 4.54 5/120 6614
/proc/meminfo: memFree=2940276/3368532 swapFree=1941392/1959888
[pid=4141] ppid=4139 vsize=2420 CPUtime=1.08
/proc/4141/stat : 4141 (manysat.sh) S 4139 4141 12261 0 -1 4194304 370 3994 0 0 1 0 105 2 18 0 1 0 1117269995 2478080 275 4294967295 134512640 135169312 3214255264 3214251480 3084992238 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/4141/statm: 605 275 231 161 0 44 0
[pid=4144] ppid=4141 vsize=110072 CPUtime=3276.2
/proc/4144/stat : 4144 (manysat1.1_stat) R 4141 4141 12261 0 -1 4202496 20181 0 0 0 327337 283 0 0 25 0 4 0 1117270103 112713728 20095 4294967295 134512640 135305190 3221068560 3221066736 134528229 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/4144/statm: 27518 20095 79 194 0 27322 0
[pid=4144/tid=4145] ppid=4141 vsize=110072 CPUtime=820.42
/proc/4144/task/4145/stat : 4145 (manysat1.1_stat) R 4141 4141 12261 0 -1 4202560 2917 0 0 0 82000 42 0 0 25 0 4 0 1117270116 112713728 20095 4294967295 134512640 135305190 3221068560 3082017984 134528418 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=4144/tid=4146] ppid=4141 vsize=110072 CPUtime=816.92
/proc/4144/task/4146/stat : 4146 (manysat1.1_stat) R 4141 4141 12261 0 -1 4202560 3707 0 0 0 81638 54 0 0 25 0 4 0 1117270116 112713728 20095 4294967295 134512640 135305190 3221068560 3073629376 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=4144/tid=4147] ppid=4141 vsize=110072 CPUtime=818.66
/proc/4144/task/4147/stat : 4147 (manysat1.1_stat) R 4141 4141 12261 0 -1 4202560 5367 0 0 0 81757 109 0 0 25 0 4 0 1117270116 112713728 20095 4294967295 134512640 135305190 3221068560 3065240496 134558430 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3277.28
Current children cumulated vsize (KiB) 112492

[startup+882.304 s]
/proc/loadavg: 4.62 4.54 4.53 6/121 6803
/proc/meminfo: memFree=2939144/3368532 swapFree=1941392/1959888
[pid=4141] ppid=4139 vsize=2420 CPUtime=1.08
/proc/4141/stat : 4141 (manysat.sh) S 4139 4141 12261 0 -1 4194304 370 3994 0 0 1 0 105 2 18 0 1 0 1117269995 2478080 275 4294967295 134512640 135169312 3214255264 3214251480 3084992238 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/4141/statm: 605 275 231 161 0 44 0
[pid=4144] ppid=4141 vsize=110872 CPUtime=3515.78
/proc/4144/stat : 4144 (manysat1.1_stat) R 4141 4141 12261 0 -1 4202496 20424 0 0 0 351276 302 0 0 25 0 4 0 1117270103 113532928 20338 4294967295 134512640 135305190 3221068560 3221066736 134528298 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/4144/statm: 27718 20338 79 194 0 27522 0
[pid=4144/tid=4145] ppid=4141 vsize=110872 CPUtime=880.39
/proc/4144/task/4145/stat : 4145 (manysat1.1_stat) R 4141 4141 12261 0 -1 4202560 2983 0 0 0 87994 45 0 0 25 0 4 0 1117270116 113532928 20338 4294967295 134512640 135305190 3221068560 3082017984 134528415 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=4144/tid=4146] ppid=4141 vsize=110872 CPUtime=876.69
/proc/4144/task/4146/stat : 4146 (manysat1.1_stat) R 4141 4141 12261 0 -1 4202560 3751 0 0 0 87610 59 0 0 25 0 4 0 1117270116 113532928 20338 4294967295 134512640 135305190 3221068560 3073629376 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=4144/tid=4147] ppid=4141 vsize=110872 CPUtime=878.65
/proc/4144/task/4147/stat : 4147 (manysat1.1_stat) R 4141 4141 12261 0 -1 4202560 5433 0 0 0 87754 111 0 0 25 0 4 0 1117270116 113532928 20338 4294967295 134512640 135305190 3221068560 3065240768 134528768 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3516.86
Current children cumulated vsize (KiB) 113292

[startup+942.312 s]
/proc/loadavg: 4.97 4.65 4.57 6/121 6918
/proc/meminfo: memFree=2937880/3368532 swapFree=1941392/1959888
[pid=4141] ppid=4139 vsize=2420 CPUtime=1.08
/proc/4141/stat : 4141 (manysat.sh) S 4139 4141 12261 0 -1 4194304 370 3994 0 0 1 0 105 2 18 0 1 0 1117269995 2478080 275 4294967295 134512640 135169312 3214255264 3214251480 3084992238 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/4141/statm: 605 275 231 161 0 44 0
[pid=4144] ppid=4141 vsize=111888 CPUtime=3755.08
/proc/4144/stat : 4144 (manysat1.1_stat) R 4141 4141 12261 0 -1 4202496 20686 0 0 0 375195 313 0 0 25 0 4 0 1117270103 114573312 20600 4294967295 134512640 135305190 3221068560 3221066464 134557163 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/4144/statm: 27972 20600 79 194 0 27776 0
[pid=4144/tid=4145] ppid=4141 vsize=111888 CPUtime=940.16
/proc/4144/task/4145/stat : 4145 (manysat1.1_stat) R 4141 4141 12261 0 -1 4202560 2983 0 0 0 93969 47 0 0 25 0 4 0 1117270116 114573312 20600 4294967295 134512640 135305190 3221068560 3082017712 134556734 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=4144/tid=4146] ppid=4141 vsize=111888 CPUtime=936.3
/proc/4144/task/4146/stat : 4146 (manysat1.1_stat) R 4141 4141 12261 0 -1 4202560 3844 0 0 0 93570 60 0 0 25 0 4 0 1117270116 114573312 20600 4294967295 134512640 135305190 3221068560 3073629376 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=4144/tid=4147] ppid=4141 vsize=111888 CPUtime=938.57
/proc/4144/task/4147/stat : 4147 (manysat1.1_stat) R 4141 4141 12261 0 -1 4202560 5512 0 0 0 93741 116 0 0 25 0 4 0 1117270116 114573312 20600 4294967295 134512640 135305190 3221068560 3065240768 134528301 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3756.16
Current children cumulated vsize (KiB) 114308



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.01 s]
/proc/loadavg: 4.50 4.58 4.55 6/121 7030
/proc/meminfo: memFree=2937592/3368532 swapFree=1941392/1959888
[pid=4141] ppid=4139 vsize=2420 CPUtime=1.08
/proc/4141/stat : 4141 (manysat.sh) S 4139 4141 12261 0 -1 4194304 370 3994 0 0 1 0 105 2 18 0 1 0 1117269995 2478080 275 4294967295 134512640 135169312 3214255264 3214251480 3084992238 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/4141/statm: 605 275 231 161 0 44 0
[pid=4144] ppid=4141 vsize=112248 CPUtime=3985.52
/proc/4144/stat : 4144 (manysat1.1_stat) R 4141 4141 12261 0 -1 4202496 20769 0 0 0 398224 328 0 0 25 0 4 0 1117270103 114941952 20683 4294967295 134512640 135305190 3221068560 3221066736 134528858 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/4144/statm: 28062 20683 79 194 0 27866 0
[pid=4144/tid=4145] ppid=4141 vsize=112248 CPUtime=997.85
/proc/4144/task/4145/stat : 4145 (manysat1.1_stat) R 4141 4141 12261 0 -1 4202560 2985 0 0 0 99737 48 0 0 25 0 4 0 1117270116 114941952 20683 4294967295 134512640 135305190 3221068560 3082017984 134528245 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=4144/tid=4146] ppid=4141 vsize=112248 CPUtime=993.65
/proc/4144/task/4146/stat : 4146 (manysat1.1_stat) R 4141 4141 12261 0 -1 4202560 3925 0 0 0 99299 66 0 0 25 0 4 0 1117270116 114941952 20683 4294967295 134512640 135305190 3221068560 3073629376 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=4144/tid=4147] ppid=4141 vsize=112248 CPUtime=996.27
/proc/4144/task/4147/stat : 4147 (manysat1.1_stat) R 4141 4141 12261 0 -1 4202560 5512 0 0 0 99506 121 0 0 25 0 4 0 1117270116 114941952 20683 4294967295 134512640 135305190 3221068560 3065240768 134528229 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3986.6
Current children cumulated vsize (KiB) 114668

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.04
CPU time (s): 3986.66
CPU user time (s): 3983.35
CPU system time (s): 3.31
CPU usage (%): 398.651
Max. virtual memory (cumulated for all children) (KiB): 114668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3983.35
system time used= 3.31
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25412
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= 7442
involuntary context switches= 184772

runsolver used 0 second user time and 0 second system time

The end

Launcher Data 

Begin job on  at 2009-05-28 17:51:42
IDJOB=1779496
IDBENCH=70868
IDSOLVER=620
FILE ID=/1779496-1243525902
PBS_JOBID=
Free space on /tmp= 15728 MiB

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

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

MD5SUM BENCH= aa3fff3e05d3f50a3d088c22afa455ea
RANDOM SEED= 11359368

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.143
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.143
cache size	: 4096 KB
physical id	: 0
siblings	: 2
core id		: 1
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3990.11
clflush size	: 64

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


/proc/meminfo:
MemTotal:      3368532 kB
MemFree:       3025608 kB
Buffers:         31420 kB
Cached:         231532 kB
SwapCached:       4320 kB
Active:         135052 kB
Inactive:       138620 kB
HighTotal:     2489216 kB
HighFree:      2245408 kB
LowTotal:       879316 kB
LowFree:        780200 kB
SwapTotal:     1959888 kB
SwapFree:      1941392 kB
Dirty:            3144 kB
Writeback:           0 kB
AnonPages:        9536 kB
Mapped:           4076 kB
Slab:            58864 kB
SReclaimable:    50316 kB
SUnreclaim:       8548 kB
PageTables:        748 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:   127448 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 15728 MiB
End job on  at 2009-05-28 18:08:22