Trace number 1779547

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 2/2009-03-20 (4 threads)? (TO) 3986.8 1000.04

General information on the benchmark

NameAPPLICATIONS/crypto/
desgen/gss-24-s100.cnf
MD5SUM107f2922072d64498e09af3270c7b9c3
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 variables31821
Number of clauses95735
Sum of the clauses size225739
Maximum clause length3
Minimum clause length1
Number of clauses of size 164
Number of clauses of size 261338
Number of clauses of size 334333
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.06/0.07	c ==============================================================================
0.06/0.07	c |           |     ORIGINAL     |              LEARNT              |          |
0.06/0.07	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.06/0.07	c ==============================================================================
0.06/0.07	c |         0 |   95535   225263 |   28660       0        0     nan |  0.000 % |
1.01/1.01	c |         0 |   58933   176133 |      --       0       --      -- |     --   | -36262/-48154
1.01/1.01	c ==============================================================================
1.01/1.01	c Result  :   #vars: 14170   #clauses: 58933   #literals: 176133
1.01/1.01	c CPU time:   0.99 s
1.01/1.01	c ==============================================================================
3986.75/1000.03	HOME/manysat.sh: line 55:  7228 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-1779547-1243526903/watcher-1779547-1243526903 -o /tmp/evaluation-result-1779547-1243526903/solver-1779547-1243526903 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1779547-1243526903.cnf aimd 2 

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.50 4.58 4.55 3/115 7225
/proc/meminfo: memFree=3024896/3368532 swapFree=1941392/1959888
[pid=7225] ppid=7223 vsize=2416 CPUtime=0
/proc/7225/stat : 7225 (manysat.sh) S 7223 7225 12261 0 -1 4194304 351 0 0 0 0 0 0 0 18 0 1 0 1117370133 2473984 274 4294967295 134512640 135169312 3213448160 3213446696 3085860590 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/7225/statm: 604 274 231 161 0 43 0
[pid=7226] ppid=7225 vsize=2464 CPUtime=0
/proc/7226/stat : 7226 (SatElite) R 7225 7225 12261 0 -1 4202496 519 0 0 0 0 0 0 0 18 0 1 0 1117370134 2523136 456 4294967295 134512640 135034092 3214902528 3214898816 134545186 0 0 0 3 0 0 0 17 2 0 0 0
/proc/7226/statm: 616 460 50 128 0 486 0

[startup+0.069367 s]
/proc/loadavg: 4.50 4.58 4.55 3/115 7225
/proc/meminfo: memFree=3024896/3368532 swapFree=1941392/1959888
[pid=7225] ppid=7223 vsize=2416 CPUtime=0
/proc/7225/stat : 7225 (manysat.sh) S 7223 7225 12261 0 -1 4194304 351 0 0 0 0 0 0 0 18 0 1 0 1117370133 2473984 274 4294967295 134512640 135169312 3213448160 3213446696 3085860590 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/7225/statm: 604 274 231 161 0 43 0
[pid=7226] ppid=7225 vsize=12420 CPUtime=0.06
/proc/7226/stat : 7226 (SatElite) R 7225 7225 12261 0 -1 4202496 2990 0 0 0 5 1 0 0 18 0 1 0 1117370134 12718080 2927 4294967295 134512640 135034092 3214902528 3214899768 134673244 0 0 0 3 0 0 0 17 2 0 0 0
/proc/7226/statm: 3105 2929 50 128 0 2975 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 14836

[startup+0.109353 s]
/proc/loadavg: 4.50 4.58 4.55 3/115 7225
/proc/meminfo: memFree=3024896/3368532 swapFree=1941392/1959888
[pid=7225] ppid=7223 vsize=2416 CPUtime=0
/proc/7225/stat : 7225 (manysat.sh) S 7223 7225 12261 0 -1 4194304 351 0 0 0 0 0 0 0 18 0 1 0 1117370133 2473984 274 4294967295 134512640 135169312 3213448160 3213446696 3085860590 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/7225/statm: 604 274 231 161 0 43 0
[pid=7226] ppid=7225 vsize=13948 CPUtime=0.1
/proc/7226/stat : 7226 (SatElite) R 7225 7225 12261 0 -1 4202496 3569 0 0 0 9 1 0 0 18 0 1 0 1117370134 14282752 3302 4294967295 134512640 135034092 3214902528 3214898524 134691101 0 0 0 3 0 0 0 17 2 0 0 0
/proc/7226/statm: 3487 3302 67 128 0 3357 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 16364

[startup+0.309344 s]
/proc/loadavg: 4.50 4.58 4.55 3/115 7225
/proc/meminfo: memFree=3024896/3368532 swapFree=1941392/1959888
[pid=7225] ppid=7223 vsize=2416 CPUtime=0
/proc/7225/stat : 7225 (manysat.sh) S 7223 7225 12261 0 -1 4194304 351 0 0 0 0 0 0 0 18 0 1 0 1117370133 2473984 274 4294967295 134512640 135169312 3213448160 3213446696 3085860590 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/7225/statm: 604 274 231 161 0 43 0
[pid=7226] ppid=7225 vsize=14528 CPUtime=0.3
/proc/7226/stat : 7226 (SatElite) R 7225 7225 12261 0 -1 4202496 3707 0 0 0 29 1 0 0 18 0 1 0 1117370134 14876672 3440 4294967295 134512640 135034092 3214902528 3214898524 134691101 0 0 0 3 0 0 0 17 2 0 0 0
/proc/7226/statm: 3632 3440 67 128 0 3502 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 16944

[startup+0.709328 s]
/proc/loadavg: 4.50 4.58 4.55 3/115 7225
/proc/meminfo: memFree=3024896/3368532 swapFree=1941392/1959888
[pid=7225] ppid=7223 vsize=2416 CPUtime=0
/proc/7225/stat : 7225 (manysat.sh) S 7223 7225 12261 0 -1 4194304 351 0 0 0 0 0 0 0 18 0 1 0 1117370133 2473984 274 4294967295 134512640 135169312 3213448160 3213446696 3085860590 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/7225/statm: 604 274 231 161 0 43 0
[pid=7226] ppid=7225 vsize=15916 CPUtime=0.7
/proc/7226/stat : 7226 (SatElite) R 7225 7225 12261 0 -1 4202496 3873 0 0 0 68 2 0 0 18 0 1 0 1117370134 16297984 3606 4294967295 134512640 135034092 3214902528 3214898592 134675798 0 0 0 3 0 0 0 17 2 0 0 0
/proc/7226/statm: 3979 3606 67 128 0 3849 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 18332

[startup+1.50931 s]
/proc/loadavg: 4.50 4.58 4.55 2/117 7227
/proc/meminfo: memFree=3006692/3368532 swapFree=1941392/1959888
[pid=7225] ppid=7223 vsize=2420 CPUtime=1.08
/proc/7225/stat : 7225 (manysat.sh) S 7223 7225 12261 0 -1 4194304 370 4070 0 0 0 0 105 3 18 0 1 0 1117370133 2478080 275 4294967295 134512640 135169312 3213448160 3213444376 3085860590 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/7225/statm: 605 275 231 161 0 44 0
Current children cumulated CPU time (s) 1.08
Current children cumulated vsize (KiB) 2420

[startup+3.10925 s]
/proc/loadavg: 4.50 4.58 4.55 5/120 7231
/proc/meminfo: memFree=2999656/3368532 swapFree=1941392/1959888
[pid=7225] ppid=7223 vsize=2420 CPUtime=1.08
/proc/7225/stat : 7225 (manysat.sh) S 7223 7225 12261 0 -1 4194304 370 4070 0 0 0 0 105 3 18 0 1 0 1117370133 2478080 275 4294967295 134512640 135169312 3213448160 3213444376 3085860590 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/7225/statm: 605 275 231 161 0 44 0
[pid=7228] ppid=7225 vsize=50560 CPUtime=7.53
/proc/7228/stat : 7228 (manysat1.1_stat) R 7225 7225 12261 0 -1 4202496 5523 0 0 0 745 8 0 0 19 0 4 0 1117370242 51773440 5455 4294967295 134512640 135305190 3217946656 3217944832 134528229 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/7228/statm: 12640 5455 79 194 0 12444 0
[pid=7228/tid=7229] ppid=7225 vsize=50560 CPUtime=1.85
/proc/7228/task/7229/stat : 7229 (manysat1.1_stat) R 7225 7225 12261 0 -1 4202560 187 0 0 0 182 3 0 0 20 0 4 0 1117370254 51773440 5455 4294967295 134512640 135305190 3217946656 3082972352 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=7228/tid=7230] ppid=7225 vsize=50560 CPUtime=1.86
/proc/7228/task/7230/stat : 7230 (manysat1.1_stat) R 7225 7225 12261 0 -1 4202560 197 0 0 0 186 0 0 0 21 0 4 0 1117370254 51773440 5455 4294967295 134512640 135305190 3217946656 3074583424 134554258 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=7228/tid=7231] ppid=7225 vsize=50560 CPUtime=1.84
/proc/7228/task/7231/stat : 7231 (manysat1.1_stat) R 7225 7225 12261 0 -1 4202560 268 0 0 0 183 1 0 0 21 0 4 0 1117370254 51773440 5455 4294967295 134512640 135305190 3217946656 3066195136 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 8.61
Current children cumulated vsize (KiB) 52980

[startup+6.30912 s]
/proc/loadavg: 4.46 4.57 4.54 5/120 7231
/proc/meminfo: memFree=2998952/3368532 swapFree=1941392/1959888
[pid=7225] ppid=7223 vsize=2420 CPUtime=1.08
/proc/7225/stat : 7225 (manysat.sh) S 7223 7225 12261 0 -1 4194304 370 4070 0 0 0 0 105 3 18 0 1 0 1117370133 2478080 275 4294967295 134512640 135169312 3213448160 3213444376 3085860590 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/7225/statm: 605 275 231 161 0 44 0
[pid=7228] ppid=7225 vsize=51488 CPUtime=20.33
/proc/7228/stat : 7228 (manysat1.1_stat) R 7225 7225 12261 0 -1 4202496 5746 0 0 0 2025 8 0 0 25 0 4 0 1117370242 52723712 5678 4294967295 134512640 135305190 3217946656 3217944496 134551651 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/7228/statm: 12872 5678 79 194 0 12676 0
[pid=7228/tid=7229] ppid=7225 vsize=51488 CPUtime=5.05
/proc/7228/task/7229/stat : 7229 (manysat1.1_stat) R 7225 7225 12261 0 -1 4202560 235 0 0 0 502 3 0 0 25 0 4 0 1117370254 52723712 5678 4294967295 134512640 135305190 3217946656 3082972096 134546011 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=7228/tid=7230] ppid=7225 vsize=51488 CPUtime=5.06
/proc/7228/task/7230/stat : 7230 (manysat1.1_stat) R 7225 7225 12261 0 -1 4202560 236 0 0 0 506 0 0 0 25 0 4 0 1117370254 52723712 5678 4294967295 134512640 135305190 3217946656 3074583668 134695249 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=7228/tid=7231] ppid=7225 vsize=51488 CPUtime=5.04
/proc/7228/task/7231/stat : 7231 (manysat1.1_stat) R 7225 7225 12261 0 -1 4202560 382 0 0 0 503 1 0 0 25 0 4 0 1117370254 52723712 5678 4294967295 134512640 135305190 3217946656 3066195136 134528242 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 21.41
Current children cumulated vsize (KiB) 53908

[startup+12.7089 s]
/proc/loadavg: 4.42 4.56 4.54 5/120 7232
/proc/meminfo: memFree=2996988/3368532 swapFree=1941392/1959888
[pid=7225] ppid=7223 vsize=2420 CPUtime=1.08
/proc/7225/stat : 7225 (manysat.sh) S 7223 7225 12261 0 -1 4194304 370 4070 0 0 0 0 105 3 18 0 1 0 1117370133 2478080 275 4294967295 134512640 135169312 3213448160 3213444376 3085860590 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/7225/statm: 605 275 231 161 0 44 0
[pid=7228] ppid=7225 vsize=52552 CPUtime=45.88
/proc/7228/stat : 7228 (manysat1.1_stat) R 7225 7225 12261 0 -1 4202496 6044 0 0 0 4574 14 0 0 25 0 4 0 1117370242 53813248 5976 4294967295 134512640 135305190 3217946656 3217944832 134528298 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/7228/statm: 13138 5976 79 194 0 12942 0
[pid=7228/tid=7229] ppid=7225 vsize=52552 CPUtime=11.45
/proc/7228/task/7229/stat : 7229 (manysat1.1_stat) R 7225 7225 12261 0 -1 4202560 321 0 0 0 1141 4 0 0 25 0 4 0 1117370254 53813248 5976 4294967295 134512640 135305190 3217946656 3082971952 134857151 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=7228/tid=7230] ppid=7225 vsize=52552 CPUtime=11.41
/proc/7228/task/7230/stat : 7230 (manysat1.1_stat) R 7225 7225 12261 0 -1 4202560 309 0 0 0 1137 4 0 0 25 0 4 0 1117370254 53813248 5976 4294967295 134512640 135305190 3217946656 3074583424 134552906 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=7228/tid=7231] ppid=7225 vsize=52552 CPUtime=11.44
/proc/7228/task/7231/stat : 7231 (manysat1.1_stat) R 7225 7225 12261 0 -1 4202560 466 0 0 0 1142 2 0 0 25 0 4 0 1117370254 53813248 5976 4294967295 134512640 135305190 3217946656 3066195136 134528341 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 46.96
Current children cumulated vsize (KiB) 54972

[startup+25.5084 s]
/proc/loadavg: 4.33 4.53 4.53 6/120 7235
/proc/meminfo: memFree=2994788/3368532 swapFree=1941392/1959888
[pid=7225] ppid=7223 vsize=2420 CPUtime=1.08
/proc/7225/stat : 7225 (manysat.sh) S 7223 7225 12261 0 -1 4194304 370 4070 0 0 0 0 105 3 18 0 1 0 1117370133 2478080 275 4294967295 134512640 135169312 3213448160 3213444376 3085860590 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/7225/statm: 605 275 231 161 0 44 0
[pid=7228] ppid=7225 vsize=54964 CPUtime=97.07
/proc/7228/stat : 7228 (manysat1.1_stat) R 7225 7225 12261 0 -1 4202496 6652 0 0 0 9691 16 0 0 25 0 4 0 1117370242 56283136 6584 4294967295 134512640 135305190 3217946656 3217944832 134528298 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/7228/statm: 13741 6584 79 194 0 13545 0
[pid=7228/tid=7229] ppid=7225 vsize=54964 CPUtime=24.25
/proc/7228/task/7229/stat : 7229 (manysat1.1_stat) R 7225 7225 12261 0 -1 4202560 461 0 0 0 2421 4 0 0 25 0 4 0 1117370254 56283136 6584 4294967295 134512640 135305190 3217946656 3082972352 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=7228/tid=7230] ppid=7225 vsize=54964 CPUtime=24.2
/proc/7228/task/7230/stat : 7230 (manysat1.1_stat) R 7225 7225 12261 0 -1 4202560 474 0 0 0 2415 5 0 0 25 0 4 0 1117370254 56283136 6584 4294967295 134512640 135305190 3217946656 3074583744 134528392 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=7228/tid=7231] ppid=7225 vsize=54964 CPUtime=24.24
/proc/7228/task/7231/stat : 7231 (manysat1.1_stat) R 7225 7225 12261 0 -1 4202560 615 0 0 0 2421 3 0 0 25 0 4 0 1117370254 56283136 6584 4294967295 134512640 135305190 3217946656 3066194864 134556558 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 98.15
Current children cumulated vsize (KiB) 57384

[startup+51.1073 s]
/proc/loadavg: 4.22 4.48 4.52 5/120 7235
/proc/meminfo: memFree=2989628/3368532 swapFree=1941392/1959888
[pid=7225] ppid=7223 vsize=2420 CPUtime=1.08
/proc/7225/stat : 7225 (manysat.sh) S 7223 7225 12261 0 -1 4194304 370 4070 0 0 0 0 105 3 18 0 1 0 1117370133 2478080 275 4294967295 134512640 135169312 3213448160 3213444376 3085860590 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/7225/statm: 605 275 231 161 0 44 0
[pid=7228] ppid=7225 vsize=59784 CPUtime=199.28
/proc/7228/stat : 7228 (manysat1.1_stat) R 7225 7225 12261 0 -1 4202496 7881 0 0 0 19905 23 0 0 25 0 4 0 1117370242 61218816 7813 4294967295 134512640 135305190 3217946656 3217944832 134528298 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/7228/statm: 14946 7813 79 194 0 14750 0
[pid=7228/tid=7229] ppid=7225 vsize=59784 CPUtime=49.85
/proc/7228/task/7229/stat : 7229 (manysat1.1_stat) R 7225 7225 12261 0 -1 4202560 726 0 0 0 4981 4 0 0 25 0 4 0 1117370254 61218816 7813 4294967295 134512640 135305190 3217946656 3082972352 134528201 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=7228/tid=7230] ppid=7225 vsize=59784 CPUtime=49.61
/proc/7228/task/7230/stat : 7230 (manysat1.1_stat) R 7225 7225 12261 0 -1 4202560 817 0 0 0 4955 6 0 0 25 0 4 0 1117370254 61218816 7813 4294967295 134512640 135305190 3217946656 3074583744 134528189 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=7228/tid=7231] ppid=7225 vsize=59784 CPUtime=49.84
/proc/7228/task/7231/stat : 7231 (manysat1.1_stat) R 7225 7225 12261 0 -1 4202560 920 0 0 0 4979 5 0 0 25 0 4 0 1117370254 61218816 7813 4294967295 134512640 135305190 3217946656 3066195136 134530640 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 200.36
Current children cumulated vsize (KiB) 62204

[startup+102.315 s]
/proc/loadavg: 4.50 4.53 4.53 5/120 7428
/proc/meminfo: memFree=2978996/3368532 swapFree=1941392/1959888
[pid=7225] ppid=7223 vsize=2420 CPUtime=1.08
/proc/7225/stat : 7225 (manysat.sh) S 7223 7225 12261 0 -1 4194304 370 4070 0 0 0 0 105 3 18 0 1 0 1117370133 2478080 275 4294967295 134512640 135169312 3213448160 3213444376 3085860590 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/7225/statm: 605 275 231 161 0 44 0
[pid=7228] ppid=7225 vsize=69944 CPUtime=403.55
/proc/7228/stat : 7228 (manysat1.1_stat) R 7225 7225 12261 0 -1 4202496 10493 0 0 0 40319 36 0 0 25 0 4 0 1117370242 71622656 10425 4294967295 134512640 135305190 3217946656 3217944832 134528480 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/7228/statm: 17486 10425 79 194 0 17290 0
[pid=7228/tid=7229] ppid=7225 vsize=69944 CPUtime=101.06
/proc/7228/task/7229/stat : 7229 (manysat1.1_stat) R 7225 7225 12261 0 -1 4202560 1327 0 0 0 10100 6 0 0 25 0 4 0 1117370254 71622656 10425 4294967295 134512640 135305190 3217946656 3082972352 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=7228/tid=7230] ppid=7225 vsize=69944 CPUtime=100.41
/proc/7228/task/7230/stat : 7230 (manysat1.1_stat) R 7225 7225 12261 0 -1 4202560 1331 0 0 0 10028 13 0 0 25 0 4 0 1117370254 71622656 10425 4294967295 134512640 135305190 3217946656 3074583492 134840070 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=7228/tid=7231] ppid=7225 vsize=69944 CPUtime=101.03
/proc/7228/task/7231/stat : 7231 (manysat1.1_stat) R 7225 7225 12261 0 -1 4202560 1770 0 0 0 10095 8 0 0 25 0 4 0 1117370254 71622656 10425 4294967295 134512640 135305190 3217946656 3066195136 134530561 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 404.63
Current children cumulated vsize (KiB) 72364

[startup+162.313 s]
/proc/loadavg: 4.57 4.54 4.53 6/120 7614
/proc/meminfo: memFree=2972904/3368532 swapFree=1941392/1959888
[pid=7225] ppid=7223 vsize=2420 CPUtime=1.08
/proc/7225/stat : 7225 (manysat.sh) S 7223 7225 12261 0 -1 4194304 370 4070 0 0 0 0 105 3 18 0 1 0 1117370133 2478080 275 4294967295 134512640 135169312 3213448160 3213444376 3085860590 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/7225/statm: 605 275 231 161 0 44 0
[pid=7228] ppid=7225 vsize=75836 CPUtime=642.61
/proc/7228/stat : 7228 (manysat1.1_stat) R 7225 7225 12261 0 -1 4202496 11969 0 0 0 64211 50 0 0 25 0 4 0 1117370242 77656064 11901 4294967295 134512640 135305190 3217946656 3217944832 134528229 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/7228/statm: 18959 11901 79 194 0 18763 0
[pid=7228/tid=7229] ppid=7225 vsize=75836 CPUtime=160.82
/proc/7228/task/7229/stat : 7229 (manysat1.1_stat) R 7225 7225 12261 0 -1 4202560 1543 0 0 0 16073 9 0 0 25 0 4 0 1117370254 77656064 11901 4294967295 134512640 135305190 3217946656 3082972352 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=7228/tid=7230] ppid=7225 vsize=75836 CPUtime=159.78
/proc/7228/task/7230/stat : 7230 (manysat1.1_stat) R 7225 7225 12261 0 -1 4202560 1690 0 0 0 15962 16 0 0 25 0 4 0 1117370254 77656064 11901 4294967295 134512640 135305190 3217946656 3074583744 134528229 0 0 0 3 0 0 0 -1 2 0 0 0

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

[startup+522.309 s]
/proc/loadavg: 4.53 4.56 4.54 8/120 8567
/proc/meminfo: memFree=2951444/3368532 swapFree=1941392/1959888
[pid=7225] ppid=7223 vsize=2420 CPUtime=1.08
/proc/7225/stat : 7225 (manysat.sh) S 7223 7225 12261 0 -1 4194304 370 4070 0 0 0 0 105 3 18 0 1 0 1117370133 2478080 275 4294967295 134512640 135169312 3213448160 3213444376 3085860590 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/7225/statm: 605 275 231 161 0 44 0
[pid=7228] ppid=7225 vsize=98532 CPUtime=2078.82
/proc/7228/stat : 7228 (manysat1.1_stat) R 7225 7225 12261 0 -1 4202496 17360 0 0 0 207707 175 0 0 25 0 4 0 1117370242 100896768 17251 4294967295 134512640 135305190 3217946656 3217944832 134528298 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/7228/statm: 24633 17251 79 194 0 24437 0
[pid=7228/tid=7229] ppid=7225 vsize=98532 CPUtime=519.93
/proc/7228/task/7229/stat : 7229 (manysat1.1_stat) R 7225 7225 12261 0 -1 4202560 2471 0 0 0 51940 53 0 0 25 0 4 0 1117370254 100896768 17251 4294967295 134512640 135305190 3217946656 3082972352 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=7228/tid=7230] ppid=7225 vsize=98532 CPUtime=517.35
/proc/7228/task/7230/stat : 7230 (manysat1.1_stat) R 7225 7225 12261 0 -1 4202560 3356 0 0 0 51695 40 0 0 25 0 4 0 1117370254 100896768 17251 4294967295 134512640 135305190 3217946656 3074583360 134551651 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=7228/tid=7231] ppid=7225 vsize=98532 CPUtime=520.74
/proc/7228/task/7231/stat : 7231 (manysat1.1_stat) R 7225 7225 12261 0 -1 4202560 4127 0 0 0 52032 42 0 0 25 0 4 0 1117370254 100896768 17251 4294967295 134512640 135305190 3217946656 3066195136 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2079.9
Current children cumulated vsize (KiB) 100952

[startup+582.306 s]
/proc/loadavg: 4.41 4.53 4.53 6/120 8756
/proc/meminfo: memFree=2944640/3368532 swapFree=1941392/1959888
[pid=7225] ppid=7223 vsize=2420 CPUtime=1.08
/proc/7225/stat : 7225 (manysat.sh) S 7223 7225 12261 0 -1 4194304 370 4070 0 0 0 0 105 3 18 0 1 0 1117370133 2478080 275 4294967295 134512640 135169312 3213448160 3213444376 3085860590 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/7225/statm: 605 275 231 161 0 44 0
[pid=7228] ppid=7225 vsize=106048 CPUtime=2318.03
/proc/7228/stat : 7228 (manysat1.1_stat) R 7225 7225 12261 0 -1 4202496 19192 0 0 0 231604 199 0 0 25 0 4 0 1117370242 108593152 19083 4294967295 134512640 135305190 3217946656 3217944832 134528189 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/7228/statm: 26512 19083 79 194 0 26316 0
[pid=7228/tid=7229] ppid=7225 vsize=106048 CPUtime=579.88
/proc/7228/task/7229/stat : 7229 (manysat1.1_stat) R 7225 7225 12261 0 -1 4202560 2765 0 0 0 57928 60 0 0 25 0 4 0 1117370254 108593152 19083 4294967295 134512640 135305190 3217946656 3082972352 134528548 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=7228/tid=7230] ppid=7225 vsize=106048 CPUtime=576.85
/proc/7228/task/7230/stat : 7230 (manysat1.1_stat) R 7225 7225 12261 0 -1 4202560 3805 0 0 0 57642 43 0 0 25 0 4 0 1117370254 108593152 19083 4294967295 134512640 135305190 3217946656 3074583744 134528229 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=7228/tid=7231] ppid=7225 vsize=106048 CPUtime=580.74
/proc/7228/task/7231/stat : 7231 (manysat1.1_stat) R 7225 7225 12261 0 -1 4202560 4865 0 0 0 58028 46 0 0 25 0 4 0 1117370254 108593152 19083 4294967295 134512640 135305190 3217946656 3066195136 134528520 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2319.11
Current children cumulated vsize (KiB) 108468

[startup+642.304 s]
/proc/loadavg: 4.48 4.53 4.53 6/120 8944
/proc/meminfo: memFree=2942292/3368532 swapFree=1941392/1959888
[pid=7225] ppid=7223 vsize=2420 CPUtime=1.08
/proc/7225/stat : 7225 (manysat.sh) S 7223 7225 12261 0 -1 4194304 370 4070 0 0 0 0 105 3 18 0 1 0 1117370133 2478080 275 4294967295 134512640 135169312 3213448160 3213444376 3085860590 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/7225/statm: 605 275 231 161 0 44 0
[pid=7228] ppid=7225 vsize=107128 CPUtime=2557.38
/proc/7228/stat : 7228 (manysat1.1_stat) R 7225 7225 12261 0 -1 4202496 19502 0 0 0 255516 222 0 0 25 0 4 0 1117370242 109699072 19393 4294967295 134512640 135305190 3217946656 3217944832 134528298 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/7228/statm: 26782 19393 79 194 0 26586 0
[pid=7228/tid=7229] ppid=7225 vsize=107128 CPUtime=639.88
/proc/7228/task/7229/stat : 7229 (manysat1.1_stat) R 7225 7225 12261 0 -1 4202560 2839 0 0 0 63920 68 0 0 25 0 4 0 1117370254 109699072 19393 4294967295 134512640 135305190 3217946656 3082972352 134530664 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=7228/tid=7230] ppid=7225 vsize=107128 CPUtime=636.49
/proc/7228/task/7230/stat : 7230 (manysat1.1_stat) R 7225 7225 12261 0 -1 4202560 3910 0 0 0 63603 46 0 0 25 0 4 0 1117370254 109699072 19393 4294967295 134512640 135305190 3217946656 3074583744 134528229 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=7228/tid=7231] ppid=7225 vsize=107128 CPUtime=640.74
/proc/7228/task/7231/stat : 7231 (manysat1.1_stat) R 7225 7225 12261 0 -1 4202560 4983 0 0 0 64023 51 0 0 25 0 4 0 1117370254 109699072 19393 4294967295 134512640 135305190 3217946656 3066195136 134528229 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2558.46
Current children cumulated vsize (KiB) 109548

[startup+702.311 s]
/proc/loadavg: 4.58 4.55 4.54 5/120 9133
/proc/meminfo: memFree=2941476/3368532 swapFree=1941392/1959888
[pid=7225] ppid=7223 vsize=2420 CPUtime=1.08
/proc/7225/stat : 7225 (manysat.sh) S 7223 7225 12261 0 -1 4194304 370 4070 0 0 0 0 105 3 18 0 1 0 1117370133 2478080 275 4294967295 134512640 135169312 3213448160 3213444376 3085860590 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/7225/statm: 605 275 231 161 0 44 0
[pid=7228] ppid=7225 vsize=107656 CPUtime=2796.76
/proc/7228/stat : 7228 (manysat1.1_stat) R 7225 7225 12261 0 -1 4202496 19587 0 0 0 279437 239 0 0 25 0 4 0 1117370242 110239744 19478 4294967295 134512640 135305190 3217946656 3217944832 134528229 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/7228/statm: 26914 19478 79 194 0 26718 0
[pid=7228/tid=7229] ppid=7225 vsize=107656 CPUtime=699.86
/proc/7228/task/7229/stat : 7229 (manysat1.1_stat) R 7225 7225 12261 0 -1 4202560 2839 0 0 0 69915 71 0 0 25 0 4 0 1117370254 110239744 19478 4294967295 134512640 135305190 3217946656 3082972080 134558374 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=7228/tid=7230] ppid=7225 vsize=107656 CPUtime=696.12
/proc/7228/task/7230/stat : 7230 (manysat1.1_stat) R 7225 7225 12261 0 -1 4202560 3951 0 0 0 69561 51 0 0 25 0 4 0 1117370254 110239744 19478 4294967295 134512640 135305190 3217946656 3074583424 134552302 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=7228/tid=7231] ppid=7225 vsize=107656 CPUtime=700.73
/proc/7228/task/7231/stat : 7231 (manysat1.1_stat) R 7225 7225 12261 0 -1 4202560 4983 0 0 0 70020 53 0 0 25 0 4 0 1117370254 110239744 19478 4294967295 134512640 135305190 3217946656 3066194864 134557163 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2797.84
Current children cumulated vsize (KiB) 110076

[startup+762.319 s]
/proc/loadavg: 4.61 4.55 4.54 5/120 9319
/proc/meminfo: memFree=2939756/3368532 swapFree=1941392/1959888
[pid=7225] ppid=7223 vsize=2420 CPUtime=1.08
/proc/7225/stat : 7225 (manysat.sh) S 7223 7225 12261 0 -1 4194304 370 4070 0 0 0 0 105 3 18 0 1 0 1117370133 2478080 275 4294967295 134512640 135169312 3213448160 3213444376 3085860590 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/7225/statm: 605 275 231 161 0 44 0
[pid=7228] ppid=7225 vsize=108320 CPUtime=3036.52
/proc/7228/stat : 7228 (manysat1.1_stat) R 7225 7225 12261 0 -1 4202496 19863 0 0 0 303389 263 0 0 25 0 4 0 1117370242 110919680 19754 4294967295 134512640 135305190 3217946656 3217944832 134528298 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/7228/statm: 27080 19754 79 194 0 26884 0
[pid=7228/tid=7229] ppid=7225 vsize=108320 CPUtime=759.87
/proc/7228/task/7229/stat : 7229 (manysat1.1_stat) R 7225 7225 12261 0 -1 4202560 2922 0 0 0 75908 79 0 0 25 0 4 0 1117370254 110919680 19754 4294967295 134512640 135305190 3217946656 3082972352 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=7228/tid=7230] ppid=7225 vsize=108320 CPUtime=756.09
/proc/7228/task/7230/stat : 7230 (manysat1.1_stat) R 7225 7225 12261 0 -1 4202560 4005 0 0 0 75552 57 0 0 25 0 4 0 1117370254 110919680 19754 4294967295 134512640 135305190 3217946656 3074583744 134528256 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=7228/tid=7231] ppid=7225 vsize=108320 CPUtime=760.62
/proc/7228/task/7231/stat : 7231 (manysat1.1_stat) R 7225 7225 12261 0 -1 4202560 5044 0 0 0 76000 62 0 0 25 0 4 0 1117370254 110919680 19754 4294967295 134512640 135305190 3217946656 3066195136 134528229 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3037.6
Current children cumulated vsize (KiB) 110740

[startup+822.307 s]
/proc/loadavg: 4.87 4.62 4.56 5/120 9506
/proc/meminfo: memFree=2936792/3368532 swapFree=1941392/1959888
[pid=7225] ppid=7223 vsize=2420 CPUtime=1.08
/proc/7225/stat : 7225 (manysat.sh) S 7223 7225 12261 0 -1 4194304 370 4070 0 0 0 0 105 3 18 0 1 0 1117370133 2478080 275 4294967295 134512640 135169312 3213448160 3213444376 3085860590 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/7225/statm: 605 275 231 161 0 44 0
[pid=7228] ppid=7225 vsize=113312 CPUtime=3275.91
/proc/7228/stat : 7228 (manysat1.1_stat) R 7225 7225 12261 0 -1 4202496 20912 0 0 0 327305 286 0 0 25 0 4 0 1117370242 116031488 20803 4294967295 134512640 135305190 3217946656 3217944832 134528298 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/7228/statm: 28328 20803 79 194 0 28132 0
[pid=7228/tid=7229] ppid=7225 vsize=113312 CPUtime=819.78
/proc/7228/task/7229/stat : 7229 (manysat1.1_stat) R 7225 7225 12261 0 -1 4202560 3230 0 0 0 81890 88 0 0 25 0 4 0 1117370254 116031488 20803 4294967295 134512640 135305190 3217946656 3082972352 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=7228/tid=7230] ppid=7225 vsize=113312 CPUtime=815.87
/proc/7228/task/7230/stat : 7230 (manysat1.1_stat) R 7225 7225 12261 0 -1 4202560 4104 0 0 0 81527 60 0 0 25 0 4 0 1117370254 116031488 20803 4294967295 134512640 135305190 3217946656 3074583424 134552302 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=7228/tid=7231] ppid=7225 vsize=113312 CPUtime=820.37
/proc/7228/task/7231/stat : 7231 (manysat1.1_stat) R 7225 7225 12261 0 -1 4202560 5428 0 0 0 81968 69 0 0 25 0 4 0 1117370254 116031488 20803 4294967295 134512640 135305190 3217946656 3066195136 134528248 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3276.99
Current children cumulated vsize (KiB) 115732

[startup+882.314 s]
/proc/loadavg: 5.01 4.69 4.58 5/120 9699
/proc/meminfo: memFree=2932756/3368532 swapFree=1941392/1959888
[pid=7225] ppid=7223 vsize=2420 CPUtime=1.08
/proc/7225/stat : 7225 (manysat.sh) S 7223 7225 12261 0 -1 4194304 370 4070 0 0 0 0 105 3 18 0 1 0 1117370133 2478080 275 4294967295 134512640 135169312 3213448160 3213444376 3085860590 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/7225/statm: 605 275 231 161 0 44 0
[pid=7228] ppid=7225 vsize=116984 CPUtime=3515.43
/proc/7228/stat : 7228 (manysat1.1_stat) R 7225 7225 12261 0 -1 4202496 21819 0 0 0 351240 303 0 0 25 0 4 0 1117370242 119791616 21710 4294967295 134512640 135305190 3217946656 3217944832 134528579 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/7228/statm: 29246 21710 79 194 0 29050 0
[pid=7228/tid=7229] ppid=7225 vsize=116984 CPUtime=879.51
/proc/7228/task/7229/stat : 7229 (manysat1.1_stat) R 7225 7225 12261 0 -1 4202560 3352 0 0 0 87862 89 0 0 25 0 4 0 1117370254 119791616 21710 4294967295 134512640 135305190 3217946656 3082972352 134530633 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=7228/tid=7230] ppid=7225 vsize=116984 CPUtime=875.66
/proc/7228/task/7230/stat : 7230 (manysat1.1_stat) R 7225 7225 12261 0 -1 4202560 4180 0 0 0 87503 63 0 0 25 0 4 0 1117370254 119791616 21710 4294967295 134512640 135305190 3217946656 3074583744 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=7228/tid=7231] ppid=7225 vsize=116984 CPUtime=880.38
/proc/7228/task/7231/stat : 7231 (manysat1.1_stat) R 7225 7225 12261 0 -1 4202560 5789 0 0 0 87965 73 0 0 25 0 4 0 1117370254 119791616 21710 4294967295 134512640 135305190 3217946656 3066195136 134528229 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3516.51
Current children cumulated vsize (KiB) 119404

[startup+942.312 s]
/proc/loadavg: 5.16 4.76 4.61 7/121 9866
/proc/meminfo: memFree=2927704/3368532 swapFree=1941392/1959888
[pid=7225] ppid=7223 vsize=2420 CPUtime=1.08
/proc/7225/stat : 7225 (manysat.sh) S 7223 7225 12261 0 -1 4194304 370 4070 0 0 0 0 105 3 18 0 1 0 1117370133 2478080 275 4294967295 134512640 135169312 3213448160 3213444376 3085860590 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/7225/statm: 605 275 231 161 0 44 0
[pid=7228] ppid=7225 vsize=121852 CPUtime=3755.22
/proc/7228/stat : 7228 (manysat1.1_stat) R 7225 7225 12261 0 -1 4202496 23031 0 0 0 375199 323 0 0 25 0 4 0 1117370242 124776448 22922 4294967295 134512640 135305190 3217946656 3217944832 134528229 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/7228/statm: 30463 22922 79 194 0 30267 0
[pid=7228/tid=7229] ppid=7225 vsize=121852 CPUtime=939.4
/proc/7228/task/7229/stat : 7229 (manysat1.1_stat) R 7225 7225 12261 0 -1 4202560 3506 0 0 0 93848 92 0 0 25 0 4 0 1117370254 124776448 22922 4294967295 134512640 135305190 3217946656 3082972352 134528548 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=7228/tid=7230] ppid=7225 vsize=121852 CPUtime=935.66
/proc/7228/task/7230/stat : 7230 (manysat1.1_stat) R 7225 7225 12261 0 -1 4202560 4565 0 0 0 93498 68 0 0 25 0 4 0 1117370254 124776448 22922 4294967295 134512640 135305190 3217946656 3074583744 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=7228/tid=7231] ppid=7225 vsize=121852 CPUtime=940.29
/proc/7228/task/7231/stat : 7231 (manysat1.1_stat) R 7225 7225 12261 0 -1 4202560 6271 0 0 0 93951 78 0 0 25 0 4 0 1117370254 124776448 22922 4294967295 134512640 135305190 3217946656 3066194864 134558354 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3756.3
Current children cumulated vsize (KiB) 124272



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.01 s]
/proc/loadavg: 4.94 4.76 4.62 7/121 9981
/proc/meminfo: memFree=2926588/3368532 swapFree=1941392/1959888
[pid=7225] ppid=7223 vsize=2420 CPUtime=1.08
/proc/7225/stat : 7225 (manysat.sh) S 7223 7225 12261 0 -1 4194304 370 4070 0 0 0 0 105 3 18 0 1 0 1117370133 2478080 275 4294967295 134512640 135169312 3213448160 3213444376 3085860590 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/7225/statm: 605 275 231 161 0 44 0
[pid=7228] ppid=7225 vsize=123356 CPUtime=3985.67
/proc/7228/stat : 7228 (manysat1.1_stat) R 7225 7225 12261 0 -1 4202496 23414 0 0 0 398225 342 0 0 25 0 4 0 1117370242 126316544 23284 4294967295 134512640 135305190 3217946656 3217944832 134528229 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/7228/statm: 30839 23284 79 194 0 30643 0
[pid=7228/tid=7229] ppid=7225 vsize=123356 CPUtime=997.02
/proc/7228/task/7229/stat : 7229 (manysat1.1_stat) R 7225 7225 12261 0 -1 4202560 3554 0 0 0 99603 99 0 0 25 0 4 0 1117370254 126316544 23284 4294967295 134512640 135305190 3217946656 3082972352 134528548 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=7228/tid=7230] ppid=7225 vsize=123356 CPUtime=993.37
/proc/7228/task/7230/stat : 7230 (manysat1.1_stat) R 7225 7225 12261 0 -1 4202560 4897 0 0 0 99264 73 0 0 25 0 4 0 1117370254 126316544 23284 4294967295 134512640 135305190 3217946656 3074583744 134530691 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=7228/tid=7231] ppid=7225 vsize=123356 CPUtime=997.7
/proc/7228/task/7231/stat : 7231 (manysat1.1_stat) R 7225 7225 12261 0 -1 4202560 6271 0 0 0 99687 83 0 0 25 0 4 0 1117370254 126316544 23284 4294967295 134512640 135305190 3217946656 3066194800 134551651 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3986.75
Current children cumulated vsize (KiB) 125776

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.8
CPU user time (s): 3983.35
CPU system time (s): 3.45
CPU usage (%): 398.665
Max. virtual memory (cumulated for all children) (KiB): 125776

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

runsolver used 0 second user time and 0 second system time

The end

Launcher Data 

Begin job on  at 2009-05-28 18:08:23
IDJOB=1779547
IDBENCH=70874
IDSOLVER=626
FILE ID=/1779547-1243526903
PBS_JOBID=
Free space on /tmp= 15728 MiB

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

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

MD5SUM BENCH= 107f2922072d64498e09af3270c7b9c3
RANDOM SEED= 1201044915

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:       3024896 kB
Buffers:         31444 kB
Cached:         232020 kB
SwapCached:       4320 kB
Active:         135104 kB
Inactive:       139100 kB
HighTotal:     2489216 kB
HighFree:      2244368 kB
LowTotal:       879316 kB
LowFree:        780528 kB
SwapTotal:     1959888 kB
SwapFree:      1941392 kB
Dirty:            3160 kB
Writeback:           0 kB
AnonPages:        9536 kB
Mapped:           4320 kB
Slab:            59280 kB
SReclaimable:    50356 kB
SUnreclaim:       8924 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:25:03