Trace number 1779316

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) 3985.89 1000.03

General information on the benchmark

NameAPPLICATIONS/crypto/
desgen/gss-31-s100.cnf
MD5SUM5dbb80f29538e26a3285bf497c57f592
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 variables32310
Number of clauses97279
Sum of the clauses size229607
Maximum clause length3
Minimum clause length1
Number of clauses of size 164
Number of clauses of size 262102
Number of clauses of size 335113
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.07/0.07	c ==============================================================================
0.07/0.07	c |           |     ORIGINAL     |              LEARNT              |          |
0.07/0.07	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.07/0.07	c ==============================================================================
0.07/0.07	c |         0 |   97087   229155 |   29126       0        0     nan |  0.000 % |
1.02/1.01	c |         0 |   60326   180505 |      --       0       --      -- |     --   | -36641/-48226
1.02/1.01	c ==============================================================================
1.02/1.01	c Result  :   #vars: 14508   #clauses: 60326   #literals: 180505
1.02/1.01	c CPU time:   0.99 s
1.02/1.01	c ==============================================================================
3985.82/1000.02	HOME/manysat.sh: line 55: 27878 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-1779316-1243522898/watcher-1779316-1243522898 -o /tmp/evaluation-result-1779316-1243522898/solver-1779316-1243522898 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1779316-1243522898.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.75 4.66 4.57 3/115 27875
/proc/meminfo: memFree=3026340/3368532 swapFree=1941392/1959888
[pid=27875] ppid=27873 vsize=2416 CPUtime=0
/proc/27875/stat : 27875 (manysat.sh) R 27873 27875 12261 0 -1 4194304 335 0 0 0 0 0 0 0 18 0 1 0 1116969583 2473984 274 4294967295 134512640 135169312 3214976336 3214974812 3085059956 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/27875/statm: 604 274 231 161 0 43 0
[pid=27876] ppid=27875 vsize=2720 CPUtime=0.01
/proc/27876/stat : 27876 (SatElite) R 27875 27875 12261 0 -1 4202496 579 0 0 0 0 1 0 0 18 0 1 0 1116969583 2785280 515 4294967295 134512640 135034092 3218653344 3218649456 134675816 0 0 0 3 0 0 0 17 0 0 0 0
/proc/27876/statm: 680 522 50 128 0 550 0

[startup+0.063351 s]
/proc/loadavg: 4.75 4.66 4.57 3/115 27875
/proc/meminfo: memFree=3026340/3368532 swapFree=1941392/1959888
[pid=27875] ppid=27873 vsize=2416 CPUtime=0
/proc/27875/stat : 27875 (manysat.sh) S 27873 27875 12261 0 -1 4194304 351 0 0 0 0 0 0 0 18 0 1 0 1116969583 2473984 274 4294967295 134512640 135169312 3214976336 3214974872 3085057774 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/27875/statm: 604 274 231 161 0 43 0
[pid=27876] ppid=27875 vsize=10968 CPUtime=0.07
/proc/27876/stat : 27876 (SatElite) R 27875 27875 12261 0 -1 4202496 2662 0 0 0 4 3 0 0 19 0 1 0 1116969583 11231232 2598 4294967295 134512640 135034092 3218653344 3218649688 134691005 0 0 0 3 0 0 0 17 0 0 0 0
/proc/27876/statm: 2742 2599 50 128 0 2612 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 13384

[startup+0.113339 s]
/proc/loadavg: 4.75 4.66 4.57 3/115 27875
/proc/meminfo: memFree=3026340/3368532 swapFree=1941392/1959888
[pid=27875] ppid=27873 vsize=2416 CPUtime=0
/proc/27875/stat : 27875 (manysat.sh) S 27873 27875 12261 0 -1 4194304 351 0 0 0 0 0 0 0 18 0 1 0 1116969583 2473984 274 4294967295 134512640 135169312 3214976336 3214974872 3085057774 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/27875/statm: 604 274 231 161 0 43 0
[pid=27876] ppid=27875 vsize=14184 CPUtime=0.12
/proc/27876/stat : 27876 (SatElite) R 27875 27875 12261 0 -1 4202496 3495 0 0 0 9 3 0 0 19 0 1 0 1116969583 14524416 3325 4294967295 134512640 135034092 3218653344 3218649340 134691101 0 0 0 3 0 0 0 17 0 0 0 0
/proc/27876/statm: 3546 3325 67 128 0 3416 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 16600

[startup+0.31332 s]
/proc/loadavg: 4.75 4.66 4.57 3/115 27875
/proc/meminfo: memFree=3026340/3368532 swapFree=1941392/1959888
[pid=27875] ppid=27873 vsize=2416 CPUtime=0
/proc/27875/stat : 27875 (manysat.sh) S 27873 27875 12261 0 -1 4194304 351 0 0 0 0 0 0 0 18 0 1 0 1116969583 2473984 274 4294967295 134512640 135169312 3214976336 3214974872 3085057774 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/27875/statm: 604 274 231 161 0 43 0
[pid=27876] ppid=27875 vsize=14788 CPUtime=0.32
/proc/27876/stat : 27876 (SatElite) R 27875 27875 12261 0 -1 4202496 3630 0 0 0 29 3 0 0 20 0 1 0 1116969583 15142912 3460 4294967295 134512640 135034092 3218653344 3218649340 134691101 0 0 0 3 0 0 0 17 0 0 0 0
/proc/27876/statm: 3697 3460 67 128 0 3567 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 17204

[startup+0.713305 s]
/proc/loadavg: 4.75 4.66 4.57 3/115 27875
/proc/meminfo: memFree=3026340/3368532 swapFree=1941392/1959888
[pid=27875] ppid=27873 vsize=2416 CPUtime=0
/proc/27875/stat : 27875 (manysat.sh) S 27873 27875 12261 0 -1 4194304 351 0 0 0 0 0 0 0 18 0 1 0 1116969583 2473984 274 4294967295 134512640 135169312 3214976336 3214974872 3085057774 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/27875/statm: 604 274 231 161 0 43 0
[pid=27876] ppid=27875 vsize=15564 CPUtime=0.72
/proc/27876/stat : 27876 (SatElite) R 27875 27875 12261 0 -1 4202496 3846 0 0 0 69 3 0 0 21 0 1 0 1116969583 15937536 3676 4294967295 134512640 135034092 3218653344 3218649584 134566565 0 0 0 3 0 0 0 17 0 0 0 0
/proc/27876/statm: 3891 3676 90 128 0 3761 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 17980

[startup+1.51328 s]
/proc/loadavg: 4.75 4.66 4.57 2/117 27877
/proc/meminfo: memFree=3007840/3368532 swapFree=1941392/1959888
[pid=27875] ppid=27873 vsize=2420 CPUtime=1.09
/proc/27875/stat : 27875 (manysat.sh) S 27873 27875 12261 0 -1 4194304 371 4065 0 0 0 0 106 3 18 0 1 0 1116969583 2478080 275 4294967295 134512640 135169312 3214976336 3214972552 3085057774 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/27875/statm: 605 275 231 161 0 44 0
Current children cumulated CPU time (s) 1.09
Current children cumulated vsize (KiB) 2420

[startup+3.11323 s]
/proc/loadavg: 4.75 4.66 4.57 5/120 27881
/proc/meminfo: memFree=3001044/3368532 swapFree=1941392/1959888
[pid=27875] ppid=27873 vsize=2420 CPUtime=1.09
/proc/27875/stat : 27875 (manysat.sh) S 27873 27875 12261 0 -1 4194304 371 4065 0 0 0 0 106 3 18 0 1 0 1116969583 2478080 275 4294967295 134512640 135169312 3214976336 3214972552 3085057774 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/27875/statm: 605 275 231 161 0 44 0
[pid=27878] ppid=27875 vsize=49860 CPUtime=7.59
/proc/27878/stat : 27878 (manysat1.1_stat) R 27875 27875 12261 0 -1 4202496 5601 0 0 0 749 10 0 0 19 0 4 0 1116969692 51056640 5536 4294967295 134512640 135305190 3219925504 3219923680 134528298 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/27878/statm: 12465 5536 79 194 0 12269 0
[pid=27878/tid=27879] ppid=27875 vsize=49860 CPUtime=1.88
/proc/27878/task/27879/stat : 27879 (manysat1.1_stat) R 27875 27875 12261 0 -1 4202560 185 0 0 0 184 4 0 0 21 0 4 0 1116969705 51056640 5536 4294967295 134512640 135305190 3219925504 3082304704 134528768 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=27878/tid=27880] ppid=27875 vsize=49860 CPUtime=1.84
/proc/27878/task/27880/stat : 27880 (manysat1.1_stat) R 27875 27875 12261 0 -1 4202560 190 0 0 0 183 1 0 0 20 0 4 0 1116969705 51056640 5536 4294967295 134512640 135305190 3219925504 3073916096 134528458 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=27878/tid=27881] ppid=27875 vsize=49860 CPUtime=1.85
/proc/27878/task/27881/stat : 27881 (manysat1.1_stat) R 27875 27875 12261 0 -1 4202560 303 0 0 0 185 0 0 0 20 0 4 0 1116969705 51056640 5536 4294967295 134512640 135305190 3219925504 3065527216 134557241 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 8.68
Current children cumulated vsize (KiB) 52280

[startup+6.31309 s]
/proc/loadavg: 4.69 4.64 4.56 6/120 27881
/proc/meminfo: memFree=2999920/3368532 swapFree=1941392/1959888
[pid=27875] ppid=27873 vsize=2420 CPUtime=1.09
/proc/27875/stat : 27875 (manysat.sh) S 27873 27875 12261 0 -1 4194304 371 4065 0 0 0 0 106 3 18 0 1 0 1116969583 2478080 275 4294967295 134512640 135169312 3214976336 3214972552 3085057774 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/27875/statm: 605 275 231 161 0 44 0
[pid=27878] ppid=27875 vsize=50648 CPUtime=20.35
/proc/27878/stat : 27878 (manysat1.1_stat) R 27875 27875 12261 0 -1 4202496 5816 0 0 0 2024 11 0 0 25 0 4 0 1116969692 51863552 5751 4294967295 134512640 135305190 3219925504 3219923680 134528539 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/27878/statm: 12662 5751 79 194 0 12466 0
[pid=27878/tid=27879] ppid=27875 vsize=50648 CPUtime=5.05
/proc/27878/task/27879/stat : 27879 (manysat1.1_stat) R 27875 27875 12261 0 -1 4202560 234 0 0 0 501 4 0 0 25 0 4 0 1116969705 51863552 5751 4294967295 134512640 135305190 3219925504 3082304704 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=27878/tid=27880] ppid=27875 vsize=50648 CPUtime=5.04
/proc/27878/task/27880/stat : 27880 (manysat1.1_stat) R 27875 27875 12261 0 -1 4202560 215 0 0 0 502 2 0 0 25 0 4 0 1116969705 51863552 5751 4294967295 134512640 135305190 3219925504 3073915712 134551681 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=27878/tid=27881] ppid=27875 vsize=50648 CPUtime=5.05
/proc/27878/task/27881/stat : 27881 (manysat1.1_stat) R 27875 27875 12261 0 -1 4202560 408 0 0 0 505 0 0 0 25 0 4 0 1116969705 51863552 5751 4294967295 134512640 135305190 3219925504 3065527280 134550297 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 21.44
Current children cumulated vsize (KiB) 53068

[startup+12.7128 s]
/proc/loadavg: 4.63 4.63 4.56 6/120 27882
/proc/meminfo: memFree=2998548/3368532 swapFree=1941392/1959888
[pid=27875] ppid=27873 vsize=2420 CPUtime=1.09
/proc/27875/stat : 27875 (manysat.sh) S 27873 27875 12261 0 -1 4194304 371 4065 0 0 0 0 106 3 18 0 1 0 1116969583 2478080 275 4294967295 134512640 135169312 3214976336 3214972552 3085057774 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/27875/statm: 605 275 231 161 0 44 0
[pid=27878] ppid=27875 vsize=51956 CPUtime=45.92
/proc/27878/stat : 27878 (manysat1.1_stat) R 27875 27875 12261 0 -1 4202496 6166 0 0 0 4581 11 0 0 25 0 4 0 1116969692 53202944 6101 4294967295 134512640 135305190 3219925504 3219923408 134558418 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/27878/statm: 12989 6101 79 194 0 12793 0
[pid=27878/tid=27879] ppid=27875 vsize=51956 CPUtime=11.42
/proc/27878/task/27879/stat : 27879 (manysat1.1_stat) R 27875 27875 12261 0 -1 4202560 303 0 0 0 1138 4 0 0 25 0 4 0 1116969705 53202944 6101 4294967295 134512640 135305190 3219925504 3082304432 134556770 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=27878/tid=27880] ppid=27875 vsize=51956 CPUtime=11.44
/proc/27878/task/27880/stat : 27880 (manysat1.1_stat) R 27875 27875 12261 0 -1 4202560 279 0 0 0 1142 2 0 0 25 0 4 0 1116969705 53202944 6101 4294967295 134512640 135305190 3219925504 3073915776 134553353 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=27878/tid=27881] ppid=27875 vsize=51956 CPUtime=11.45
/proc/27878/task/27881/stat : 27881 (manysat1.1_stat) R 27875 27875 12261 0 -1 4202560 567 0 0 0 1145 0 0 0 25 0 4 0 1116969705 53202944 6101 4294967295 134512640 135305190 3219925504 3065527216 134557163 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 47.01
Current children cumulated vsize (KiB) 54376

[startup+25.5123 s]
/proc/loadavg: 4.49 4.60 4.55 5/120 27882
/proc/meminfo: memFree=2995652/3368532 swapFree=1941392/1959888
[pid=27875] ppid=27873 vsize=2420 CPUtime=1.09
/proc/27875/stat : 27875 (manysat.sh) S 27873 27875 12261 0 -1 4194304 371 4065 0 0 0 0 106 3 18 0 1 0 1116969583 2478080 275 4294967295 134512640 135169312 3214976336 3214972552 3085057774 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/27875/statm: 605 275 231 161 0 44 0
[pid=27878] ppid=27875 vsize=54940 CPUtime=97.09
/proc/27878/stat : 27878 (manysat1.1_stat) R 27875 27875 12261 0 -1 4202496 6926 0 0 0 9692 17 0 0 25 0 4 0 1116969692 56258560 6861 4294967295 134512640 135305190 3219925504 3219923680 134528489 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/27878/statm: 13735 6861 79 194 0 13539 0
[pid=27878/tid=27879] ppid=27875 vsize=54940 CPUtime=24.19
/proc/27878/task/27879/stat : 27879 (manysat1.1_stat) R 27875 27875 12261 0 -1 4202560 410 0 0 0 2412 7 0 0 25 0 4 0 1116969705 56258560 6861 4294967295 134512640 135305190 3219925504 3082304704 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=27878/tid=27880] ppid=27875 vsize=54940 CPUtime=24.24
/proc/27878/task/27880/stat : 27880 (manysat1.1_stat) R 27875 27875 12261 0 -1 4202560 411 0 0 0 2421 3 0 0 25 0 4 0 1116969705 56258560 6861 4294967295 134512640 135305190 3219925504 3073916096 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=27878/tid=27881] ppid=27875 vsize=54940 CPUtime=24.25
/proc/27878/task/27881/stat : 27881 (manysat1.1_stat) R 27875 27875 12261 0 -1 4202560 989 0 0 0 2424 1 0 0 25 0 4 0 1116969705 56258560 6861 4294967295 134512640 135305190 3219925504 3065527488 134528189 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 98.18
Current children cumulated vsize (KiB) 57360

[startup+51.1113 s]
/proc/loadavg: 4.32 4.55 4.53 6/121 27919
/proc/meminfo: memFree=2990232/3368532 swapFree=1941392/1959888
[pid=27875] ppid=27873 vsize=2420 CPUtime=1.09
/proc/27875/stat : 27875 (manysat.sh) S 27873 27875 12261 0 -1 4194304 371 4065 0 0 0 0 106 3 18 0 1 0 1116969583 2478080 275 4294967295 134512640 135169312 3214976336 3214972552 3085057774 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/27875/statm: 605 275 231 161 0 44 0
[pid=27878] ppid=27875 vsize=59188 CPUtime=199.25
/proc/27878/stat : 27878 (manysat1.1_stat) R 27875 27875 12261 0 -1 4202496 8043 0 0 0 19898 27 0 0 25 0 4 0 1116969692 60608512 7978 4294967295 134512640 135305190 3219925504 3219923680 134528245 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/27878/statm: 14797 7978 79 194 0 14601 0
[pid=27878/tid=27879] ppid=27875 vsize=59188 CPUtime=49.7
/proc/27878/task/27879/stat : 27879 (manysat1.1_stat) R 27875 27875 12261 0 -1 4202560 653 0 0 0 4959 11 0 0 25 0 4 0 1116969705 60608512 7978 4294967295 134512640 135305190 3219925504 3082304704 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=27878/tid=27880] ppid=27875 vsize=59188 CPUtime=49.84
/proc/27878/task/27880/stat : 27880 (manysat1.1_stat) R 27875 27875 12261 0 -1 4202560 652 0 0 0 4977 7 0 0 25 0 4 0 1116969705 60608512 7978 4294967295 134512640 135305190 3219925504 3073916096 134528229 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=27878/tid=27881] ppid=27875 vsize=59188 CPUtime=49.84
/proc/27878/task/27881/stat : 27881 (manysat1.1_stat) R 27875 27875 12261 0 -1 4202560 1378 0 0 0 4981 3 0 0 25 0 4 0 1116969705 60608512 7978 4294967295 134512640 135305190 3219925504 3065527488 134528791 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 200.34
Current children cumulated vsize (KiB) 61608

[startup+102.309 s]
/proc/loadavg: 4.47 4.57 4.54 5/120 28071
/proc/meminfo: memFree=2979556/3368532 swapFree=1941392/1959888
[pid=27875] ppid=27873 vsize=2420 CPUtime=1.09
/proc/27875/stat : 27875 (manysat.sh) S 27873 27875 12261 0 -1 4194304 371 4065 0 0 0 0 106 3 18 0 1 0 1116969583 2478080 275 4294967295 134512640 135169312 3214976336 3214972552 3085057774 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/27875/statm: 605 275 231 161 0 44 0
[pid=27878] ppid=27875 vsize=71120 CPUtime=403.42
/proc/27878/stat : 27878 (manysat1.1_stat) R 27875 27875 12261 0 -1 4202496 10874 0 0 0 40298 44 0 0 25 0 4 0 1116969692 72826880 10809 4294967295 134512640 135305190 3219925504 3219923680 134528298 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/27878/statm: 17780 10809 79 194 0 17584 0
[pid=27878/tid=27879] ppid=27875 vsize=71120 CPUtime=100.86
/proc/27878/task/27879/stat : 27879 (manysat1.1_stat) R 27875 27875 12261 0 -1 4202560 1194 0 0 0 10067 19 0 0 25 0 4 0 1116969705 72826880 10809 4294967295 134512640 135305190 3219925504 3082304704 134528189 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=27878/tid=27880] ppid=27875 vsize=71120 CPUtime=101.04
/proc/27878/task/27880/stat : 27880 (manysat1.1_stat) R 27875 27875 12261 0 -1 4202560 1178 0 0 0 10096 8 0 0 25 0 4 0 1116969705 72826880 10809 4294967295 134512640 135305190 3219925504 3073915776 134553519 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=27878/tid=27881] ppid=27875 vsize=71120 CPUtime=100.85
/proc/27878/task/27881/stat : 27881 (manysat1.1_stat) R 27875 27875 12261 0 -1 4202560 2407 0 0 0 10079 6 0 0 25 0 4 0 1116969705 72826880 10809 4294967295 134512640 135305190 3219925504 3065527488 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 404.51
Current children cumulated vsize (KiB) 73540

[startup+162.317 s]
/proc/loadavg: 4.39 4.54 4.53 5/120 28264
/proc/meminfo: memFree=2972604/3368532 swapFree=1941392/1959888
[pid=27875] ppid=27873 vsize=2420 CPUtime=1.09
/proc/27875/stat : 27875 (manysat.sh) S 27873 27875 12261 0 -1 4194304 371 4065 0 0 0 0 106 3 18 0 1 0 1116969583 2478080 275 4294967295 134512640 135169312 3214976336 3214972552 3085057774 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/27875/statm: 605 275 231 161 0 44 0
[pid=27878] ppid=27875 vsize=77200 CPUtime=642.74
/proc/27878/stat : 27878 (manysat1.1_stat) R 27875 27875 12261 0 -1 4202496 12370 0 0 0 64219 55 0 0 25 0 4 0 1116969692 79052800 12305 4294967295 134512640 135305190 3219925504 3219923680 134528579 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/27878/statm: 19300 12305 79 194 0 19104 0
[pid=27878/tid=27879] ppid=27875 vsize=77200 CPUtime=160.82
/proc/27878/task/27879/stat : 27879 (manysat1.1_stat) R 27875 27875 12261 0 -1 4202560 1439 0 0 0 16060 22 0 0 25 0 4 0 1116969705 79052800 12305 4294967295 134512640 135305190 3219925504 3082304704 134528826 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=27878/tid=27880] ppid=27875 vsize=77200 CPUtime=161.04
/proc/27878/task/27880/stat : 27880 (manysat1.1_stat) R 27875 27875 12261 0 -1 4202560 1616 0 0 0 16092 12 0 0 25 0 4 0 1116969705 79052800 12305 4294967295 134512640 135305190 3219925504 3073916096 134528252 0 0 0 3 0 0 0 -1 0 0 0 0

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

[startup+522.312 s]
/proc/loadavg: 4.60 4.60 4.55 7/121 29287
/proc/meminfo: memFree=2946072/3368532 swapFree=1941392/1959888
[pid=27875] ppid=27873 vsize=2420 CPUtime=1.09
/proc/27875/stat : 27875 (manysat.sh) S 27873 27875 12261 0 -1 4194304 371 4065 0 0 0 0 106 3 18 0 1 0 1116969583 2478080 275 4294967295 134512640 135169312 3214976336 3214972552 3085057774 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/27875/statm: 605 275 231 161 0 44 0
[pid=27878] ppid=27875 vsize=103904 CPUtime=2079.63
/proc/27878/stat : 27878 (manysat1.1_stat) R 27875 27875 12261 0 -1 4202496 18909 0 0 0 207780 183 0 0 25 0 4 0 1116969692 106397696 18844 4294967295 134512640 135305190 3219925504 3219923408 134558291 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/27878/statm: 25976 18844 79 194 0 25780 0
[pid=27878/tid=27879] ppid=27875 vsize=103904 CPUtime=520.43
/proc/27878/task/27879/stat : 27879 (manysat1.1_stat) R 27875 27875 12261 0 -1 4202560 2699 0 0 0 51977 66 0 0 25 0 4 0 1116969705 106397696 18844 4294967295 134512640 135305190 3219925504 3082304432 134557462 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=27878/tid=27880] ppid=27875 vsize=103904 CPUtime=519.82
/proc/27878/task/27880/stat : 27880 (manysat1.1_stat) R 27875 27875 12261 0 -1 4202560 2990 0 0 0 51938 44 0 0 25 0 4 0 1116969705 106397696 18844 4294967295 134512640 135305190 3219925504 3073915776 134552302 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=27878/tid=27881] ppid=27875 vsize=103904 CPUtime=520.73
/proc/27878/task/27881/stat : 27881 (manysat1.1_stat) R 27875 27875 12261 0 -1 4202560 5338 0 0 0 52048 25 0 0 25 0 4 0 1116969705 106397696 18844 4294967295 134512640 135305190 3219925504 3065527488 134528329 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2080.72
Current children cumulated vsize (KiB) 106324

[startup+582.31 s]
/proc/loadavg: 4.77 4.66 4.57 6/120 29403
/proc/meminfo: memFree=2938388/3368532 swapFree=1941392/1959888
[pid=27875] ppid=27873 vsize=2420 CPUtime=1.09
/proc/27875/stat : 27875 (manysat.sh) S 27873 27875 12261 0 -1 4194304 371 4065 0 0 0 0 106 3 18 0 1 0 1116969583 2478080 275 4294967295 134512640 135169312 3214976336 3214972552 3085057774 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/27875/statm: 605 275 231 161 0 44 0
[pid=27878] ppid=27875 vsize=112660 CPUtime=2319.18
/proc/27878/stat : 27878 (manysat1.1_stat) R 27875 27875 12261 0 -1 4202496 21145 0 0 0 231724 194 0 0 25 0 4 0 1116969692 115363840 21080 4294967295 134512640 135305190 3219925504 3219923648 134570397 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/27878/statm: 28165 21080 79 194 0 27969 0
[pid=27878/tid=27879] ppid=27875 vsize=112660 CPUtime=580.41
/proc/27878/task/27879/stat : 27879 (manysat1.1_stat) R 27875 27875 12261 0 -1 4202560 3144 0 0 0 57971 70 0 0 25 0 4 0 1116969705 115363840 21080 4294967295 134512640 135305190 3219925504 3082304704 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=27878/tid=27880] ppid=27875 vsize=112660 CPUtime=579.79
/proc/27878/task/27880/stat : 27880 (manysat1.1_stat) R 27875 27875 12261 0 -1 4202560 3315 0 0 0 57933 46 0 0 25 0 4 0 1116969705 115363840 21080 4294967295 134512640 135305190 3219925504 3073916096 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=27878/tid=27881] ppid=27875 vsize=112660 CPUtime=580.73
/proc/27878/task/27881/stat : 27881 (manysat1.1_stat) R 27875 27875 12261 0 -1 4202560 6207 0 0 0 58047 26 0 0 25 0 4 0 1116969705 115363840 21080 4294967295 134512640 135305190 3219925504 3065527488 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2320.27
Current children cumulated vsize (KiB) 115080

[startup+642.308 s]
/proc/loadavg: 4.87 4.72 4.60 5/120 29590
/proc/meminfo: memFree=2937636/3368532 swapFree=1941392/1959888
[pid=27875] ppid=27873 vsize=2420 CPUtime=1.09
/proc/27875/stat : 27875 (manysat.sh) S 27873 27875 12261 0 -1 4194304 371 4065 0 0 0 0 106 3 18 0 1 0 1116969583 2478080 275 4294967295 134512640 135169312 3214976336 3214972552 3085057774 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/27875/statm: 605 275 231 161 0 44 0
[pid=27878] ppid=27875 vsize=112892 CPUtime=2558.49
/proc/27878/stat : 27878 (manysat1.1_stat) R 27875 27875 12261 0 -1 4202496 21189 0 0 0 255641 208 0 0 25 0 4 0 1116969692 115601408 21124 4294967295 134512640 135305190 3219925504 3219923680 134528229 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/27878/statm: 28223 21124 79 194 0 28027 0
[pid=27878/tid=27879] ppid=27875 vsize=112892 CPUtime=640.32
/proc/27878/task/27879/stat : 27879 (manysat1.1_stat) R 27875 27875 12261 0 -1 4202560 3144 0 0 0 63957 75 0 0 25 0 4 0 1116969705 115601408 21124 4294967295 134512640 135305190 3219925504 3082304704 134528768 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=27878/tid=27880] ppid=27875 vsize=112892 CPUtime=639.77
/proc/27878/task/27880/stat : 27880 (manysat1.1_stat) R 27875 27875 12261 0 -1 4202560 3353 0 0 0 63927 50 0 0 25 0 4 0 1116969705 115601408 21124 4294967295 134512640 135305190 3219925504 3073916096 134528421 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=27878/tid=27881] ppid=27875 vsize=112892 CPUtime=640.72
/proc/27878/task/27881/stat : 27881 (manysat1.1_stat) R 27875 27875 12261 0 -1 4202560 6207 0 0 0 64044 28 0 0 25 0 4 0 1116969705 115601408 21124 4294967295 134512640 135305190 3219925504 3065527488 134528846 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2559.58
Current children cumulated vsize (KiB) 115312

[startup+702.315 s]
/proc/loadavg: 4.85 4.75 4.62 5/120 29776
/proc/meminfo: memFree=2936280/3368532 swapFree=1941392/1959888
[pid=27875] ppid=27873 vsize=2420 CPUtime=1.09
/proc/27875/stat : 27875 (manysat.sh) S 27873 27875 12261 0 -1 4194304 371 4065 0 0 0 0 106 3 18 0 1 0 1116969583 2478080 275 4294967295 134512640 135169312 3214976336 3214972552 3085057774 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/27875/statm: 605 275 231 161 0 44 0
[pid=27878] ppid=27875 vsize=114480 CPUtime=2797.74
/proc/27878/stat : 27878 (manysat1.1_stat) R 27875 27875 12261 0 -1 4202496 21569 0 0 0 279542 232 0 0 25 0 4 0 1116969692 117227520 21504 4294967295 134512640 135305190 3219925504 3219923408 134556734 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/27878/statm: 28620 21504 79 194 0 28424 0
[pid=27878/tid=27879] ppid=27875 vsize=114480 CPUtime=700.11
/proc/27878/task/27879/stat : 27879 (manysat1.1_stat) R 27875 27875 12261 0 -1 4202560 3170 0 0 0 69922 89 0 0 25 0 4 0 1116969705 117227520 21504 4294967295 134512640 135305190 3219925504 3082304432 134556798 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=27878/tid=27880] ppid=27875 vsize=114480 CPUtime=699.77
/proc/27878/task/27880/stat : 27880 (manysat1.1_stat) R 27875 27875 12261 0 -1 4202560 3688 0 0 0 69926 51 0 0 25 0 4 0 1116969705 117227520 21504 4294967295 134512640 135305190 3219925504 3073916096 134528229 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=27878/tid=27881] ppid=27875 vsize=114480 CPUtime=700.71
/proc/27878/task/27881/stat : 27881 (manysat1.1_stat) R 27875 27875 12261 0 -1 4202560 6216 0 0 0 70038 33 0 0 25 0 4 0 1116969705 117227520 21504 4294967295 134512640 135305190 3219925504 3065527152 134551651 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2798.83
Current children cumulated vsize (KiB) 116900

[startup+762.313 s]
/proc/loadavg: 4.74 4.74 4.62 4/120 29965
/proc/meminfo: memFree=2932304/3368532 swapFree=1941392/1959888
[pid=27875] ppid=27873 vsize=2420 CPUtime=1.09
/proc/27875/stat : 27875 (manysat.sh) S 27873 27875 12261 0 -1 4194304 371 4065 0 0 0 0 106 3 18 0 1 0 1116969583 2478080 275 4294967295 134512640 135169312 3214976336 3214972552 3085057774 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/27875/statm: 605 275 231 161 0 44 0
[pid=27878] ppid=27875 vsize=119644 CPUtime=3036.79
/proc/27878/stat : 27878 (manysat1.1_stat) R 27875 27875 12261 0 -1 4202496 22685 0 0 0 303421 258 0 0 25 0 4 0 1116969692 122515456 22620 4294967295 134512640 135305190 3219925504 3219923344 134551651 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/27878/statm: 29911 22620 79 194 0 29715 0
[pid=27878/tid=27879] ppid=27875 vsize=119644 CPUtime=759.8
/proc/27878/task/27879/stat : 27879 (manysat1.1_stat) R 27875 27875 12261 0 -1 4202560 3533 0 0 0 75881 99 0 0 25 0 4 0 1116969705 122515456 22620 4294967295 134512640 135305190 3219925504 3082304552 134695249 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=27878/tid=27880] ppid=27875 vsize=119644 CPUtime=759.6
/proc/27878/task/27880/stat : 27880 (manysat1.1_stat) R 27875 27875 12261 0 -1 4202560 3914 0 0 0 75905 55 0 0 25 0 4 0 1116969705 122515456 22620 4294967295 134512640 135305190 3219925504 3073916096 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=27878/tid=27881] ppid=27875 vsize=119644 CPUtime=760.69
/proc/27878/task/27881/stat : 27881 (manysat1.1_stat) R 27875 27875 12261 0 -1 4202560 6587 0 0 0 76032 37 0 0 25 0 4 0 1116969705 122515456 22620 4294967295 134512640 135305190 3219925504 3065527488 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3037.88
Current children cumulated vsize (KiB) 122064

[startup+822.311 s]
/proc/loadavg: 4.71 4.73 4.63 5/120 30153
/proc/meminfo: memFree=2930080/3368532 swapFree=1941392/1959888
[pid=27875] ppid=27873 vsize=2420 CPUtime=1.09
/proc/27875/stat : 27875 (manysat.sh) S 27873 27875 12261 0 -1 4194304 371 4065 0 0 0 0 106 3 18 0 1 0 1116969583 2478080 275 4294967295 134512640 135169312 3214976336 3214972552 3085057774 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/27875/statm: 605 275 231 161 0 44 0
[pid=27878] ppid=27875 vsize=120656 CPUtime=3276.42
/proc/27878/stat : 27878 (manysat1.1_stat) R 27875 27875 12261 0 -1 4202496 22875 0 0 0 327360 282 0 0 25 0 4 0 1116969692 123551744 22810 4294967295 134512640 135305190 3219925504 3219923680 134528548 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/27878/statm: 30164 22810 79 194 0 29968 0
[pid=27878/tid=27879] ppid=27875 vsize=120656 CPUtime=819.72
/proc/27878/task/27879/stat : 27879 (manysat1.1_stat) R 27875 27875 12261 0 -1 4202560 3533 0 0 0 81865 107 0 0 25 0 4 0 1116969705 123551744 22810 4294967295 134512640 135305190 3219925504 3082304432 134556558 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=27878/tid=27880] ppid=27875 vsize=120656 CPUtime=819.53
/proc/27878/task/27880/stat : 27880 (manysat1.1_stat) R 27875 27875 12261 0 -1 4202560 3983 0 0 0 81895 58 0 0 25 0 4 0 1116969705 123551744 22810 4294967295 134512640 135305190 3219925504 3073916096 134528229 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=27878/tid=27881] ppid=27875 vsize=120656 CPUtime=820.66
/proc/27878/task/27881/stat : 27881 (manysat1.1_stat) R 27875 27875 12261 0 -1 4202560 6641 0 0 0 82028 38 0 0 25 0 4 0 1116969705 123551744 22810 4294967295 134512640 135305190 3219925504 3065527488 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3277.51
Current children cumulated vsize (KiB) 123076

[startup+882.318 s]
/proc/loadavg: 4.77 4.72 4.63 6/120 30346
/proc/meminfo: memFree=2929908/3368532 swapFree=1941392/1959888
[pid=27875] ppid=27873 vsize=2420 CPUtime=1.09
/proc/27875/stat : 27875 (manysat.sh) S 27873 27875 12261 0 -1 4194304 371 4065 0 0 0 0 106 3 18 0 1 0 1116969583 2478080 275 4294967295 134512640 135169312 3214976336 3214972552 3085057774 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/27875/statm: 605 275 231 161 0 44 0
[pid=27878] ppid=27875 vsize=121212 CPUtime=3515.71
/proc/27878/stat : 27878 (manysat1.1_stat) R 27875 27875 12261 0 -1 4202496 23004 0 0 0 351279 292 0 0 25 0 4 0 1116969692 124121088 22939 4294967295 134512640 135305190 3219925504 3219923680 134528298 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/27878/statm: 30303 22939 79 194 0 30107 0
[pid=27878/tid=27879] ppid=27875 vsize=121212 CPUtime=879.68
/proc/27878/task/27879/stat : 27879 (manysat1.1_stat) R 27875 27875 12261 0 -1 4202560 3534 0 0 0 87856 112 0 0 25 0 4 0 1116969705 124121088 22939 4294967295 134512640 135305190 3219925504 3082304368 134551651 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=27878/tid=27880] ppid=27875 vsize=121212 CPUtime=879.53
/proc/27878/task/27880/stat : 27880 (manysat1.1_stat) R 27875 27875 12261 0 -1 4202560 3986 0 0 0 87893 60 0 0 25 0 4 0 1116969705 124121088 22939 4294967295 134512640 135305190 3219925504 3073916096 134528410 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=27878/tid=27881] ppid=27875 vsize=121212 CPUtime=880.55
/proc/27878/task/27881/stat : 27881 (manysat1.1_stat) R 27875 27875 12261 0 -1 4202560 6673 0 0 0 88016 39 0 0 25 0 4 0 1116969705 124121088 22939 4294967295 134512640 135305190 3219925504 3065527488 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3516.8
Current children cumulated vsize (KiB) 123632

[startup+942.306 s]
/proc/loadavg: 4.72 4.70 4.62 5/120 30535
/proc/meminfo: memFree=2929032/3368532 swapFree=1941392/1959888
[pid=27875] ppid=27873 vsize=2420 CPUtime=1.09
/proc/27875/stat : 27875 (manysat.sh) S 27873 27875 12261 0 -1 4194304 371 4065 0 0 0 0 106 3 18 0 1 0 1116969583 2478080 275 4294967295 134512640 135169312 3214976336 3214972552 3085057774 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/27875/statm: 605 275 231 161 0 44 0
[pid=27878] ppid=27875 vsize=121568 CPUtime=3754.78
/proc/27878/stat : 27878 (manysat1.1_stat) R 27875 27875 12261 0 -1 4202496 23200 0 0 0 375169 309 0 0 25 0 4 0 1116969692 124485632 23135 4294967295 134512640 135305190 3219925504 3219923408 134556819 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/27878/statm: 30392 23135 79 194 0 30196 0
[pid=27878/tid=27879] ppid=27875 vsize=121568 CPUtime=939.66
/proc/27878/task/27879/stat : 27879 (manysat1.1_stat) R 27875 27875 12261 0 -1 4202560 3546 0 0 0 93851 115 0 0 25 0 4 0 1116969705 124485632 23135 4294967295 134512640 135305190 3219925504 3082304704 134528506 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=27878/tid=27880] ppid=27875 vsize=121568 CPUtime=939.51
/proc/27878/task/27880/stat : 27880 (manysat1.1_stat) R 27875 27875 12261 0 -1 4202560 4023 0 0 0 93883 68 0 0 25 0 4 0 1116969705 124485632 23135 4294967295 134512640 135305190 3219925504 3073915776 134552302 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=27878/tid=27881] ppid=27875 vsize=121568 CPUtime=940.34
/proc/27878/task/27881/stat : 27881 (manysat1.1_stat) R 27875 27875 12261 0 -1 4202560 6707 0 0 0 93990 44 0 0 25 0 4 0 1116969705 124485632 23135 4294967295 134512640 135305190 3219925504 3065527216 134556558 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3755.87
Current children cumulated vsize (KiB) 123988



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000 s]
/proc/loadavg: 4.67 4.66 4.62 6/121 30686
/proc/meminfo: memFree=2928884/3368532 swapFree=1941392/1959888
[pid=27875] ppid=27873 vsize=2420 CPUtime=1.09
/proc/27875/stat : 27875 (manysat.sh) S 27873 27875 12261 0 -1 4194304 371 4065 0 0 0 0 106 3 18 0 1 0 1116969583 2478080 275 4294967295 134512640 135169312 3214976336 3214972552 3085057774 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/27875/statm: 605 275 231 161 0 44 0
[pid=27878] ppid=27875 vsize=122248 CPUtime=3984.73
/proc/27878/stat : 27878 (manysat1.1_stat) R 27875 27875 12261 0 -1 4202496 23384 0 0 0 398152 321 0 0 25 0 4 0 1116969692 125181952 23319 4294967295 134512640 135305190 3219925504 3219923680 134530636 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/27878/statm: 30562 23319 79 194 0 30366 0
[pid=27878/tid=27879] ppid=27875 vsize=122248 CPUtime=997.36
/proc/27878/task/27879/stat : 27879 (manysat1.1_stat) R 27875 27875 12261 0 -1 4202560 3619 0 0 0 99616 120 0 0 25 0 4 0 1116969705 125181952 23319 4294967295 134512640 135305190 3219925504 3082304704 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=27878/tid=27880] ppid=27875 vsize=122248 CPUtime=997.13
/proc/27878/task/27880/stat : 27880 (manysat1.1_stat) R 27875 27875 12261 0 -1 4202560 4103 0 0 0 99640 73 0 0 25 0 4 0 1116969705 125181952 23319 4294967295 134512640 135305190 3219925504 3073916096 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=27878/tid=27881] ppid=27875 vsize=122248 CPUtime=997.85
/proc/27878/task/27881/stat : 27881 (manysat1.1_stat) R 27875 27875 12261 0 -1 4202560 6726 0 0 0 99740 45 0 0 25 0 4 0 1116969705 125181952 23319 4294967295 134512640 135305190 3219925504 3065527488 134528837 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3985.82
Current children cumulated vsize (KiB) 124668

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.03
CPU time (s): 3985.89
CPU user time (s): 3982.64
CPU system time (s): 3.25
CPU usage (%): 398.576
Max. virtual memory (cumulated for all children) (KiB): 124668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3982.64
system time used= 3.25
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28098
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= 5409
involuntary context switches= 171276

runsolver used 0 second user time and 0.01 second system time

The end

Launcher Data 

Begin job on  at 2009-05-28 17:01:38
IDJOB=1779316
IDBENCH=70839
IDSOLVER=620
FILE ID=/1779316-1243522898
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-31-s100.cnf
COMMAND LINE= manysat.sh BENCHNAME aimd 0
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1779316-1243522898/watcher-1779316-1243522898 -o /tmp/evaluation-result-1779316-1243522898/solver-1779316-1243522898 -C 10000 -W 1000 -M 2047  manysat.sh HOME/instance-1779316-1243522898.cnf aimd 0

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

MD5SUM BENCH= 5dbb80f29538e26a3285bf497c57f592
RANDOM SEED= 738382156

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:       3026636 kB
Buffers:         31280 kB
Cached:         230076 kB
SwapCached:       4320 kB
Active:         135108 kB
Inactive:       137192 kB
HighTotal:     2489216 kB
HighFree:      2246304 kB
LowTotal:       879316 kB
LowFree:        780332 kB
SwapTotal:     1959888 kB
SwapFree:      1941392 kB
Dirty:            3268 kB
Writeback:           0 kB
AnonPages:        9536 kB
Mapped:           4076 kB
Slab:            59452 kB
SReclaimable:    50296 kB
SUnreclaim:       9156 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 17:18:18