Trace number 1779499

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
ManySAT 1.1 aimd 1/2009-03-20 (4 threads)? (TO) 3985.15 43

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.92/1.00	c |         0 |   58435   174205 |      --       0       --      -- |     --   | -36425/-49269
0.92/1.00	c ==============================================================================
0.92/1.00	c Result  :   #vars: 14053   #clauses: 58435   #literals: 174205
0.92/1.00	c CPU time:   0.96 s
0.92/1.00	c ==============================================================================
3985.07/1000.03	HOME/manysat.sh: line 55: 21917 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-1779499-1243525733/watcher-1779499-1243525733 -o /tmp/evaluation-result-1779499-1243525733/solver-1779499-1243525733 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1779499-1243525733.cnf aimd 1 

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


[startup+0 s]
/proc/loadavg: 4.79 4.70 4.63 3/98 21914
/proc/meminfo: memFree=2932208/3368532 swapFree=1959840/1959888
[pid=21914] ppid=21912 vsize=2416 CPUtime=0
/proc/21914/stat : 21914 (manysat.sh) S 21912 21914 28360 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 934150050 2473984 274 4294967295 134512640 135169312 3220314720 3220313256 3085586158 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/21914/statm: 604 274 231 161 0 43 0
[pid=21915] ppid=21914 vsize=2464 CPUtime=0
/proc/21915/stat : 21915 (SatElite) R 21914 21914 28360 0 -1 4202496 441 0 0 0 0 0 0 0 18 0 1 0 934150050 2523136 378 4294967295 134512640 135034092 3214570672 3214566960 134544849 0 0 0 3 0 0 0 17 0 0 0 0
/proc/21915/statm: 616 380 50 128 0 486 0

[startup+0.088677 s]
/proc/loadavg: 4.79 4.70 4.63 3/98 21914
/proc/meminfo: memFree=2932208/3368532 swapFree=1959840/1959888
[pid=21914] ppid=21912 vsize=2416 CPUtime=0
/proc/21914/stat : 21914 (manysat.sh) S 21912 21914 28360 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 934150050 2473984 274 4294967295 134512640 135169312 3220314720 3220313256 3085586158 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/21914/statm: 604 274 231 161 0 43 0
[pid=21915] ppid=21914 vsize=13628 CPUtime=0.09
/proc/21915/stat : 21915 (SatElite) R 21914 21914 28360 0 -1 4202496 3373 0 0 0 8 1 0 0 18 0 1 0 934150050 13955072 3199 4294967295 134512640 135034092 3214570672 3214566668 134691101 0 0 0 3 0 0 0 17 0 0 0 0
/proc/21915/statm: 3407 3199 67 128 0 3277 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16044

[startup+0.118676 s]
/proc/loadavg: 4.79 4.70 4.63 3/98 21914
/proc/meminfo: memFree=2932208/3368532 swapFree=1959840/1959888
[pid=21914] ppid=21912 vsize=2416 CPUtime=0
/proc/21914/stat : 21914 (manysat.sh) S 21912 21914 28360 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 934150050 2473984 274 4294967295 134512640 135169312 3220314720 3220313256 3085586158 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/21914/statm: 604 274 231 161 0 43 0
[pid=21915] ppid=21914 vsize=13916 CPUtime=0.12
/proc/21915/stat : 21915 (SatElite) R 21914 21914 28360 0 -1 4202496 3469 0 0 0 10 2 0 0 18 0 1 0 934150050 14249984 3295 4294967295 134512640 135034092 3214570672 3214566668 134691101 0 0 0 3 0 0 0 17 0 0 0 0
/proc/21915/statm: 3479 3295 67 128 0 3349 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 16332

[startup+0.318659 s]
/proc/loadavg: 4.79 4.70 4.63 3/98 21914
/proc/meminfo: memFree=2932208/3368532 swapFree=1959840/1959888
[pid=21914] ppid=21912 vsize=2416 CPUtime=0
/proc/21914/stat : 21914 (manysat.sh) S 21912 21914 28360 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 934150050 2473984 274 4294967295 134512640 135169312 3220314720 3220313256 3085586158 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/21914/statm: 604 274 231 161 0 43 0
[pid=21915] ppid=21914 vsize=14620 CPUtime=0.32
/proc/21915/stat : 21915 (SatElite) R 21914 21914 28360 0 -1 4202496 3602 0 0 0 29 3 0 0 18 0 1 0 934150050 14970880 3428 4294967295 134512640 135034092 3214570672 3214566668 134691101 0 0 0 3 0 0 0 17 0 0 0 0
/proc/21915/statm: 3655 3428 67 128 0 3525 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 17036

[startup+0.718629 s]
/proc/loadavg: 4.79 4.70 4.63 3/98 21914
/proc/meminfo: memFree=2932208/3368532 swapFree=1959840/1959888
[pid=21914] ppid=21912 vsize=2416 CPUtime=0
/proc/21914/stat : 21914 (manysat.sh) S 21912 21914 28360 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 934150050 2473984 274 4294967295 134512640 135169312 3220314720 3220313256 3085586158 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/21914/statm: 604 274 231 161 0 43 0
[pid=21915] ppid=21914 vsize=15872 CPUtime=0.72
/proc/21915/stat : 21915 (SatElite) R 21914 21914 28360 0 -1 4202496 3767 0 0 0 68 4 0 0 18 0 1 0 934150050 16252928 3593 4294967295 134512640 135034092 3214570672 3214566912 134566565 0 0 0 3 0 0 0 17 2 0 0 0
/proc/21915/statm: 3968 3593 67 128 0 3838 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 18288

[startup+1.51857 s]
/proc/loadavg: 4.49 4.64 4.61 2/100 21916
/proc/meminfo: memFree=2914852/3368532 swapFree=1959840/1959888
[pid=21914] ppid=21912 vsize=2420 CPUtime=1.07
/proc/21914/stat : 21914 (manysat.sh) S 21912 21914 28360 0 -1 4194304 370 3994 0 0 0 0 103 4 18 0 1 0 934150050 2478080 275 4294967295 134512640 135169312 3220314720 3220310936 3085586158 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/21914/statm: 605 275 231 161 0 44 0
Current children cumulated CPU time (s) 1.07
Current children cumulated vsize (KiB) 2420

[startup+3.11844 s]
/proc/loadavg: 4.49 4.64 4.61 6/103 21920
/proc/meminfo: memFree=2907704/3368532 swapFree=1959840/1959888
[pid=21914] ppid=21912 vsize=2420 CPUtime=1.07
/proc/21914/stat : 21914 (manysat.sh) S 21912 21914 28360 0 -1 4194304 370 3994 0 0 0 0 103 4 18 0 1 0 934150050 2478080 275 4294967295 134512640 135169312 3220314720 3220310936 3085586158 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/21914/statm: 605 275 231 161 0 44 0
[pid=21917] ppid=21914 vsize=49468 CPUtime=7.61
/proc/21917/stat : 21917 (manysat1.1_stat) R 21914 21914 28360 0 -1 4202496 5467 0 0 0 756 5 0 0 22 0 4 0 934150157 50655232 5400 4294967295 134512640 135305190 3220025872 3220024048 134528576 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/21917/statm: 12367 5400 79 194 0 12171 0
[pid=21917/tid=21918] ppid=21914 vsize=49468 CPUtime=1.87
/proc/21917/task/21918/stat : 21918 (manysat1.1_stat) R 21914 21914 28360 0 -1 4202560 213 0 0 0 185 2 0 0 21 0 4 0 934150170 50655232 5400 4294967295 134512640 135305190 3220025872 3082599616 134528280 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=21917/tid=21919] ppid=21914 vsize=49468 CPUtime=1.9
/proc/21917/task/21919/stat : 21919 (manysat1.1_stat) R 21914 21914 28360 0 -1 4202560 186 0 0 0 189 1 0 0 20 0 4 0 934150170 50655232 5400 4294967295 134512640 135305190 3220025872 3074210688 134552302 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=21917/tid=21920] ppid=21914 vsize=49468 CPUtime=1.81
/proc/21917/task/21920/stat : 21920 (manysat1.1_stat) R 21914 21914 28360 0 -1 4202560 298 0 0 0 181 0 0 0 22 0 4 0 934150170 50655232 5400 4294967295 134512640 135305190 3220025872 3065822128 134557414 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 8.68
Current children cumulated vsize (KiB) 51888

[startup+6.31818 s]
/proc/loadavg: 4.45 4.62 4.60 5/103 21921
/proc/meminfo: memFree=2906668/3368532 swapFree=1959840/1959888
[pid=21914] ppid=21912 vsize=2420 CPUtime=1.07
/proc/21914/stat : 21914 (manysat.sh) S 21912 21914 28360 0 -1 4194304 370 3994 0 0 0 0 103 4 18 0 1 0 934150050 2478080 275 4294967295 134512640 135169312 3220314720 3220310936 3085586158 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/21914/statm: 605 275 231 161 0 44 0
[pid=21917] ppid=21914 vsize=50128 CPUtime=20.37
/proc/21917/stat : 21917 (manysat1.1_stat) R 21914 21914 28360 0 -1 4202496 5670 0 0 0 2030 7 0 0 25 0 4 0 934150157 51331072 5603 4294967295 134512640 135305190 3220025872 3220024048 134528298 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/21917/statm: 12532 5603 79 194 0 12336 0
[pid=21917/tid=21918] ppid=21914 vsize=50128 CPUtime=5.03
/proc/21917/task/21918/stat : 21918 (manysat1.1_stat) R 21914 21914 28360 0 -1 4202560 257 0 0 0 500 3 0 0 25 0 4 0 934150170 51331072 5603 4294967295 134512640 135305190 3220025872 3082599616 134528548 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=21917/tid=21919] ppid=21914 vsize=50128 CPUtime=5.1
/proc/21917/task/21919/stat : 21919 (manysat1.1_stat) R 21914 21914 28360 0 -1 4202560 228 0 0 0 509 1 0 0 25 0 4 0 934150170 51331072 5603 4294967295 134512640 135305190 3220025872 3074211008 134528229 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=21917/tid=21920] ppid=21914 vsize=50128 CPUtime=5.01
/proc/21917/task/21920/stat : 21920 (manysat1.1_stat) R 21914 21914 28360 0 -1 4202560 364 0 0 0 501 0 0 0 25 0 4 0 934150170 51331072 5603 4294967295 134512640 135305190 3220025872 3065822400 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 21.44
Current children cumulated vsize (KiB) 52548

[startup+12.7177 s]
/proc/loadavg: 4.41 4.61 4.60 5/103 21921
/proc/meminfo: memFree=2905120/3368532 swapFree=1959840/1959888
[pid=21914] ppid=21912 vsize=2420 CPUtime=1.07
/proc/21914/stat : 21914 (manysat.sh) S 21912 21914 28360 0 -1 4194304 370 3994 0 0 0 0 103 4 18 0 1 0 934150050 2478080 275 4294967295 134512640 135169312 3220314720 3220310936 3085586158 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/21914/statm: 605 275 231 161 0 44 0
[pid=21917] ppid=21914 vsize=51568 CPUtime=45.95
/proc/21917/stat : 21917 (manysat1.1_stat) R 21914 21914 28360 0 -1 4202496 6020 0 0 0 4587 8 0 0 25 0 4 0 934150157 52805632 5953 4294967295 134512640 135305190 3220025872 3220024048 134528298 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/21917/statm: 12892 5953 79 194 0 12696 0
[pid=21917/tid=21918] ppid=21914 vsize=51568 CPUtime=11.41
/proc/21917/task/21918/stat : 21918 (manysat1.1_stat) R 21914 21914 28360 0 -1 4202560 358 0 0 0 1137 4 0 0 25 0 4 0 934150170 52805632 5953 4294967295 134512640 135305190 3220025872 3082599616 134528338 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=21917/tid=21919] ppid=21914 vsize=51568 CPUtime=11.5
/proc/21917/task/21919/stat : 21919 (manysat1.1_stat) R 21914 21914 28360 0 -1 4202560 288 0 0 0 1149 1 0 0 25 0 4 0 934150170 52805632 5953 4294967295 134512640 135305190 3220025872 3074211008 134528229 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=21917/tid=21920] ppid=21914 vsize=51568 CPUtime=11.41
/proc/21917/task/21920/stat : 21920 (manysat1.1_stat) R 21914 21914 28360 0 -1 4202560 480 0 0 0 1141 0 0 0 25 0 4 0 934150170 52805632 5953 4294967295 134512640 135305190 3220025872 3065822400 134528252 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 47.02
Current children cumulated vsize (KiB) 53988

[startup+25.5166 s]
/proc/loadavg: 4.40 4.60 4.59 5/103 21922
/proc/meminfo: memFree=2902488/3368532 swapFree=1959840/1959888
[pid=21914] ppid=21912 vsize=2420 CPUtime=1.07
/proc/21914/stat : 21914 (manysat.sh) S 21912 21914 28360 0 -1 4194304 370 3994 0 0 0 0 103 4 18 0 1 0 934150050 2478080 275 4294967295 134512640 135169312 3220314720 3220310936 3085586158 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/21914/statm: 605 275 231 161 0 44 0
[pid=21917] ppid=21914 vsize=53960 CPUtime=97.02
/proc/21917/stat : 21917 (manysat1.1_stat) R 21914 21914 28360 0 -1 4202496 6648 0 0 0 9687 15 0 0 25 0 4 0 934150157 55255040 6581 4294967295 134512640 135305190 3220025872 3220024048 134528523 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/21917/statm: 13490 6581 79 194 0 13294 0
[pid=21917/tid=21918] ppid=21914 vsize=53960 CPUtime=24.08
/proc/21917/task/21918/stat : 21918 (manysat1.1_stat) R 21914 21914 28360 0 -1 4202560 521 0 0 0 2403 5 0 0 25 0 4 0 934150170 55255040 6581 4294967295 134512640 135305190 3220025872 3082599616 134528506 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=21917/tid=21919] ppid=21914 vsize=53960 CPUtime=24.3
/proc/21917/task/21919/stat : 21919 (manysat1.1_stat) R 21914 21914 28360 0 -1 4202560 436 0 0 0 2425 5 0 0 25 0 4 0 934150170 55255040 6581 4294967295 134512640 135305190 3220025872 3074211008 134528229 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=21917/tid=21920] ppid=21914 vsize=53960 CPUtime=24.21
/proc/21917/task/21920/stat : 21920 (manysat1.1_stat) R 21914 21914 28360 0 -1 4202560 668 0 0 0 2419 2 0 0 25 0 4 0 934150170 55255040 6581 4294967295 134512640 135305190 3220025872 3065822400 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 98.09
Current children cumulated vsize (KiB) 56380

[startup+51.1145 s]
/proc/loadavg: 4.39 4.58 4.59 6/103 21924
/proc/meminfo: memFree=2898652/3368532 swapFree=1959840/1959888
[pid=21914] ppid=21912 vsize=2420 CPUtime=1.07
/proc/21914/stat : 21914 (manysat.sh) S 21912 21914 28360 0 -1 4194304 370 3994 0 0 0 0 103 4 18 0 1 0 934150050 2478080 275 4294967295 134512640 135169312 3220314720 3220310936 3085586158 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/21914/statm: 605 275 231 161 0 44 0
[pid=21917] ppid=21914 vsize=57716 CPUtime=199.33
/proc/21917/stat : 21917 (manysat1.1_stat) R 21914 21914 28360 0 -1 4202496 7644 0 0 0 19917 16 0 0 25 0 4 0 934150157 59101184 7577 4294967295 134512640 135305190 3220025872 3220024048 134528252 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/21917/statm: 14429 7577 79 194 0 14233 0
[pid=21917/tid=21918] ppid=21914 vsize=57716 CPUtime=49.59
/proc/21917/task/21918/stat : 21918 (manysat1.1_stat) R 21914 21914 28360 0 -1 4202560 791 0 0 0 4954 5 0 0 25 0 4 0 934150170 59101184 7577 4294967295 134512640 135305190 3220025872 3082599616 134528506 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=21917/tid=21919] ppid=21914 vsize=57716 CPUtime=49.9
/proc/21917/task/21919/stat : 21919 (manysat1.1_stat) R 21914 21914 28360 0 -1 4202560 605 0 0 0 4984 6 0 0 25 0 4 0 934150170 59101184 7577 4294967295 134512640 135305190 3220025872 3074211008 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=21917/tid=21920] ppid=21914 vsize=57716 CPUtime=49.81
/proc/21917/task/21920/stat : 21920 (manysat1.1_stat) R 21914 21914 28360 0 -1 4202560 968 0 0 0 4979 2 0 0 25 0 4 0 934150170 59101184 7577 4294967295 134512640 135305190 3220025872 3065822400 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 200.4
Current children cumulated vsize (KiB) 60136

[startup+102.31 s]
/proc/loadavg: 4.75 4.66 4.61 5/103 22111
/proc/meminfo: memFree=2890188/3368532 swapFree=1959840/1959888
[pid=21914] ppid=21912 vsize=2420 CPUtime=1.07
/proc/21914/stat : 21914 (manysat.sh) S 21912 21914 28360 0 -1 4194304 370 3994 0 0 0 0 103 4 18 0 1 0 934150050 2478080 275 4294967295 134512640 135169312 3220314720 3220310936 3085586158 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/21914/statm: 605 275 231 161 0 44 0
[pid=21917] ppid=21914 vsize=66328 CPUtime=403.91
/proc/21917/stat : 21917 (manysat1.1_stat) R 21914 21914 28360 0 -1 4202496 9830 0 0 0 40359 32 0 0 25 0 4 0 934150157 67919872 9763 4294967295 134512640 135305190 3220025872 3220024048 134528229 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/21917/statm: 16582 9763 79 194 0 16386 0
[pid=21917/tid=21918] ppid=21914 vsize=66328 CPUtime=100.62
/proc/21917/task/21918/stat : 21918 (manysat1.1_stat) R 21914 21914 28360 0 -1 4202560 1344 0 0 0 10054 8 0 0 25 0 4 0 934150170 67919872 9763 4294967295 134512640 135305190 3220025872 3082599616 134528229 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=21917/tid=21919] ppid=21914 vsize=66328 CPUtime=101.09
/proc/21917/task/21919/stat : 21919 (manysat1.1_stat) R 21914 21914 28360 0 -1 4202560 1053 0 0 0 10097 12 0 0 25 0 4 0 934150170 67919872 9763 4294967295 134512640 135305190 3220025872 3074211008 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=21917/tid=21920] ppid=21914 vsize=66328 CPUtime=101
/proc/21917/task/21920/stat : 21920 (manysat1.1_stat) R 21914 21914 28360 0 -1 4202560 1659 0 0 0 10097 3 0 0 25 0 4 0 934150170 67919872 9763 4294967295 134512640 135305190 3220025872 3065822128 134556558 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 404.98
Current children cumulated vsize (KiB) 68748

[startup+162.305 s]
/proc/loadavg: 5.02 4.75 4.65 5/103 22299
/proc/meminfo: memFree=2883276/3368532 swapFree=1959840/1959888
[pid=21914] ppid=21912 vsize=2420 CPUtime=1.07
/proc/21914/stat : 21914 (manysat.sh) S 21912 21914 28360 0 -1 4194304 370 3994 0 0 0 0 103 4 18 0 1 0 934150050 2478080 275 4294967295 134512640 135169312 3220314720 3220310936 3085586158 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/21914/statm: 605 275 231 161 0 44 0
[pid=21917] ppid=21914 vsize=72760 CPUtime=643.23
/proc/21917/stat : 21917 (manysat1.1_stat) R 21914 21914 28360 0 -1 4202496 11381 0 0 0 64278 45 0 0 25 0 4 0 934150157 74506240 11314 4294967295 134512640 135305190 3220025872 3220024048 134530592 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/21917/statm: 18190 11314 79 194 0 17994 0
[pid=21917/tid=21918] ppid=21914 vsize=72760 CPUtime=160.59
/proc/21917/task/21918/stat : 21918 (manysat1.1_stat) R 21914 21914 28360 0 -1 4202560 1526 0 0 0 16049 10 0 0 25 0 4 0 934150170 74506240 11314 4294967295 134512640 135305190 3220025872 3082599616 134530633 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=21917/tid=21919] ppid=21914 vsize=72760 CPUtime=160.65
/proc/21917/task/21919/stat : 21919 (manysat1.1_stat) R 21914 21914 28360 0 -1 4202560 1536 0 0 0 16050 15 0 0 25 0 4 0 934150170 74506240 11314 4294967295 134512640 135305190 3220025872 3074211008 134528341 0 0 0 3 0 0 0 -1 2 0 0 0

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

/proc/21917/task/21920/stat : 21920 (manysat1.1_stat) R 21914 21914 28360 0 -1 4202560 4065 0 0 0 46007 25 0 0 25 0 4 0 934150170 99360768 17035 4294967295 134512640 135305190 3220025872 3065822400 134528536 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1840.53
Current children cumulated vsize (KiB) 99452

[startup+522.306 s]
/proc/loadavg: 4.82 4.71 4.64 6/104 23431
/proc/meminfo: memFree=2857512/3368532 swapFree=1959840/1959888
[pid=21914] ppid=21912 vsize=2420 CPUtime=1.07
/proc/21914/stat : 21914 (manysat.sh) S 21912 21914 28360 0 -1 4194304 370 3994 0 0 0 0 103 4 18 0 1 0 934150050 2478080 275 4294967295 134512640 135169312 3220314720 3220310936 3085586158 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/21914/statm: 605 275 231 161 0 44 0
[pid=21917] ppid=21914 vsize=98508 CPUtime=2078.83
/proc/21917/stat : 21917 (manysat1.1_stat) R 21914 21914 28360 0 -1 4202496 17527 0 0 0 207750 133 0 0 25 0 4 0 934150157 100872192 17460 4294967295 134512640 135305190 3220025872 3220024048 134528298 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/21917/statm: 24627 17460 79 194 0 24431 0
[pid=21917/tid=21918] ppid=21914 vsize=98508 CPUtime=520.21
/proc/21917/task/21918/stat : 21918 (manysat1.1_stat) R 21914 21914 28360 0 -1 4202560 2936 0 0 0 51990 31 0 0 25 0 4 0 934150170 100872192 17460 4294967295 134512640 135305190 3220025872 3082599616 134528229 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=21917/tid=21919] ppid=21914 vsize=98508 CPUtime=518.01
/proc/21917/task/21919/stat : 21919 (manysat1.1_stat) R 21914 21914 28360 0 -1 4202560 3139 0 0 0 51768 33 0 0 25 0 4 0 934150170 100872192 17460 4294967295 134512640 135305190 3220025872 3074211008 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=21917/tid=21920] ppid=21914 vsize=98508 CPUtime=520.29
/proc/21917/task/21920/stat : 21920 (manysat1.1_stat) R 21914 21914 28360 0 -1 4202560 4120 0 0 0 52004 25 0 0 25 0 4 0 934150170 100872192 17460 4294967295 134512640 135305190 3220025872 3065822400 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2079.9
Current children cumulated vsize (KiB) 100928

[startup+582.311 s]
/proc/loadavg: 4.59 4.64 4.62 6/104 23594
/proc/meminfo: memFree=2851832/3368532 swapFree=1959840/1959888
[pid=21914] ppid=21912 vsize=2420 CPUtime=1.07
/proc/21914/stat : 21914 (manysat.sh) S 21912 21914 28360 0 -1 4194304 370 3994 0 0 0 0 103 4 18 0 1 0 934150050 2478080 275 4294967295 134512640 135169312 3220314720 3220310936 3085586158 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/21914/statm: 605 275 231 161 0 44 0
[pid=21917] ppid=21914 vsize=105864 CPUtime=2318.13
/proc/21917/stat : 21917 (manysat1.1_stat) R 21914 21914 28360 0 -1 4202496 19145 0 0 0 231663 150 0 0 25 0 4 0 934150157 108404736 19078 4294967295 134512640 135305190 3220025872 3220023712 134551651 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/21917/statm: 26466 19078 79 194 0 26270 0
[pid=21917/tid=21918] ppid=21914 vsize=105864 CPUtime=580.2
/proc/21917/task/21918/stat : 21918 (manysat1.1_stat) R 21914 21914 28360 0 -1 4202560 3223 0 0 0 57988 32 0 0 25 0 4 0 934150170 108404736 19078 4294967295 134512640 135305190 3220025872 3082599616 134528402 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=21917/tid=21919] ppid=21914 vsize=105864 CPUtime=577.54
/proc/21917/task/21919/stat : 21919 (manysat1.1_stat) R 21914 21914 28360 0 -1 4202560 3351 0 0 0 57716 38 0 0 25 0 4 0 934150170 108404736 19078 4294967295 134512640 135305190 3220025872 3074211008 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=21917/tid=21920] ppid=21914 vsize=105864 CPUtime=580.23
/proc/21917/task/21920/stat : 21920 (manysat1.1_stat) R 21914 21914 28360 0 -1 4202560 4819 0 0 0 57991 32 0 0 25 0 4 0 934150170 108404736 19078 4294967295 134512640 135305190 3220025872 3065822400 134528784 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2319.2
Current children cumulated vsize (KiB) 108284

[startup+642.306 s]
/proc/loadavg: 4.65 4.63 4.62 6/104 23755
/proc/meminfo: memFree=2846104/3368532 swapFree=1959840/1959888
[pid=21914] ppid=21912 vsize=2420 CPUtime=1.07
/proc/21914/stat : 21914 (manysat.sh) S 21912 21914 28360 0 -1 4194304 370 3994 0 0 0 0 103 4 18 0 1 0 934150050 2478080 275 4294967295 134512640 135169312 3220314720 3220310936 3085586158 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/21914/statm: 605 275 231 161 0 44 0
[pid=21917] ppid=21914 vsize=111344 CPUtime=2557.41
/proc/21917/stat : 21917 (manysat1.1_stat) R 21914 21914 28360 0 -1 4202496 20503 0 0 0 255563 178 0 0 25 0 4 0 934150157 114016256 20436 4294967295 134512640 135305190 3220025872 3220024048 134528189 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/21917/statm: 27836 20436 79 194 0 27640 0
[pid=21917/tid=21918] ppid=21914 vsize=111344 CPUtime=640.19
/proc/21917/task/21918/stat : 21918 (manysat1.1_stat) R 21914 21914 28360 0 -1 4202560 3605 0 0 0 63986 33 0 0 25 0 4 0 934150170 114016256 20436 4294967295 134512640 135305190 3220025872 3082599616 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=21917/tid=21919] ppid=21914 vsize=111344 CPUtime=637.17
/proc/21917/task/21919/stat : 21919 (manysat1.1_stat) R 21914 21914 28360 0 -1 4202560 3493 0 0 0 63667 50 0 0 25 0 4 0 934150170 114016256 20436 4294967295 134512640 135305190 3220025872 3074211008 134528341 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=21917/tid=21920] ppid=21914 vsize=111344 CPUtime=639.91
/proc/21917/task/21920/stat : 21920 (manysat1.1_stat) R 21914 21914 28360 0 -1 4202560 5329 0 0 0 63949 42 0 0 25 0 4 0 934150170 114016256 20436 4294967295 134512640 135305190 3220025872 3065822128 134556752 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2558.48
Current children cumulated vsize (KiB) 113764

[startup+702.311 s]
/proc/loadavg: 4.59 4.62 4.62 8/104 23894
/proc/meminfo: memFree=2846120/3368532 swapFree=1959840/1959888
[pid=21914] ppid=21912 vsize=2420 CPUtime=1.07
/proc/21914/stat : 21914 (manysat.sh) S 21912 21914 28360 0 -1 4194304 370 3994 0 0 0 0 103 4 18 0 1 0 934150050 2478080 275 4294967295 134512640 135169312 3220314720 3220310936 3085586158 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/21914/statm: 605 275 231 161 0 44 0
[pid=21917] ppid=21914 vsize=111488 CPUtime=2796.53
/proc/21917/stat : 21917 (manysat1.1_stat) R 21914 21914 28360 0 -1 4202496 20567 0 0 0 279455 198 0 0 25 0 4 0 934150157 114163712 20500 4294967295 134512640 135305190 3220025872 3220023712 134551651 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/21917/statm: 27872 20500 79 194 0 27676 0
[pid=21917/tid=21918] ppid=21914 vsize=111488 CPUtime=700.2
/proc/21917/task/21918/stat : 21918 (manysat1.1_stat) R 21914 21914 28360 0 -1 4202560 3605 0 0 0 69985 35 0 0 25 0 4 0 934150170 114163712 20500 4294967295 134512640 135305190 3220025872 3082599280 134551651 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=21917/tid=21919] ppid=21914 vsize=111488 CPUtime=696.7
/proc/21917/task/21919/stat : 21919 (manysat1.1_stat) R 21914 21914 28360 0 -1 4202560 3546 0 0 0 69614 56 0 0 25 0 4 0 934150170 114163712 20500 4294967295 134512640 135305190 3220025872 3074211008 134528229 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=21917/tid=21920] ppid=21914 vsize=111488 CPUtime=699.49
/proc/21917/task/21920/stat : 21920 (manysat1.1_stat) R 21914 21914 28360 0 -1 4202560 5340 0 0 0 69898 51 0 0 25 0 4 0 934150170 114163712 20500 4294967295 134512640 135305190 3220025872 3065822400 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2797.6
Current children cumulated vsize (KiB) 113908

[startup+762.316 s]
/proc/loadavg: 4.74 4.64 4.62 6/104 24060
/proc/meminfo: memFree=2845568/3368532 swapFree=1959840/1959888
[pid=21914] ppid=21912 vsize=2420 CPUtime=1.07
/proc/21914/stat : 21914 (manysat.sh) S 21912 21914 28360 0 -1 4194304 370 3994 0 0 0 0 103 4 18 0 1 0 934150050 2478080 275 4294967295 134512640 135169312 3220314720 3220310936 3085586158 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/21914/statm: 605 275 231 161 0 44 0
[pid=21917] ppid=21914 vsize=112184 CPUtime=3035.72
/proc/21917/stat : 21917 (manysat1.1_stat) R 21914 21914 28360 0 -1 4202496 20714 0 0 0 303346 226 0 0 25 0 4 0 934150157 114876416 20647 4294967295 134512640 135305190 3220025872 3220023776 134556813 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/21917/statm: 28046 20647 79 194 0 27850 0
[pid=21917/tid=21918] ppid=21914 vsize=112184 CPUtime=760.19
/proc/21917/task/21918/stat : 21918 (manysat1.1_stat) R 21914 21914 28360 0 -1 4202560 3606 0 0 0 75981 38 0 0 25 0 4 0 934150170 114876416 20647 4294967295 134512640 135305190 3220025872 3082599344 134556789 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=21917/tid=21919] ppid=21914 vsize=112184 CPUtime=756.12
/proc/21917/task/21919/stat : 21919 (manysat1.1_stat) R 21914 21914 28360 0 -1 4202560 3614 0 0 0 75555 57 0 0 25 0 4 0 934150170 114876416 20647 4294967295 134512640 135305190 3220025872 3074210624 134551687 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=21917/tid=21920] ppid=21914 vsize=112184 CPUtime=759.29
/proc/21917/task/21920/stat : 21920 (manysat1.1_stat) R 21914 21914 28360 0 -1 4202560 5369 0 0 0 75863 66 0 0 25 0 4 0 934150170 114876416 20647 4294967295 134512640 135305190 3220025872 3065822128 134557432 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3036.79
Current children cumulated vsize (KiB) 114604

[startup+822.311 s]
/proc/loadavg: 4.66 4.64 4.62 8/104 24198
/proc/meminfo: memFree=2844712/3368532 swapFree=1959840/1959888
[pid=21914] ppid=21912 vsize=2420 CPUtime=1.07
/proc/21914/stat : 21914 (manysat.sh) S 21912 21914 28360 0 -1 4194304 370 3994 0 0 0 0 103 4 18 0 1 0 934150050 2478080 275 4294967295 134512640 135169312 3220314720 3220310936 3085586158 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/21914/statm: 605 275 231 161 0 44 0
[pid=21917] ppid=21914 vsize=113076 CPUtime=3275.28
/proc/21917/stat : 21917 (manysat1.1_stat) R 21914 21914 28360 0 -1 4202496 21009 0 0 0 327276 252 0 0 25 0 4 0 934150157 115789824 20942 4294967295 134512640 135305190 3220025872 3220024048 134528392 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/21917/statm: 28269 20942 79 194 0 28073 0
[pid=21917/tid=21918] ppid=21914 vsize=113076 CPUtime=820.18
/proc/21917/task/21918/stat : 21918 (manysat1.1_stat) R 21914 21914 28360 0 -1 4202560 3664 0 0 0 81979 39 0 0 25 0 4 0 934150170 115789824 20942 4294967295 134512640 135305190 3220025872 3082599616 134528576 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=21917/tid=21919] ppid=21914 vsize=113076 CPUtime=815.87
/proc/21917/task/21919/stat : 21919 (manysat1.1_stat) R 21914 21914 28360 0 -1 4202560 3646 0 0 0 81524 63 0 0 25 0 4 0 934150170 115789824 20942 4294967295 134512640 135305190 3220025872 3074211008 134528229 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=21917/tid=21920] ppid=21914 vsize=113076 CPUtime=819.13
/proc/21917/task/21920/stat : 21920 (manysat1.1_stat) R 21914 21914 28360 0 -1 4202560 5462 0 0 0 81836 77 0 0 25 0 4 0 934150170 115789824 20942 4294967295 134512640 135305190 3220025872 3065822400 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3276.35
Current children cumulated vsize (KiB) 115496

[startup+882.306 s]
/proc/loadavg: 4.60 4.64 4.62 5/103 24379
/proc/meminfo: memFree=2842852/3368532 swapFree=1959840/1959888
[pid=21914] ppid=21912 vsize=2420 CPUtime=1.07
/proc/21914/stat : 21914 (manysat.sh) S 21912 21914 28360 0 -1 4194304 370 3994 0 0 0 0 103 4 18 0 1 0 934150050 2478080 275 4294967295 134512640 135169312 3220314720 3220310936 3085586158 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/21914/statm: 605 275 231 161 0 44 0
[pid=21917] ppid=21914 vsize=114188 CPUtime=3514.99
/proc/21917/stat : 21917 (manysat1.1_stat) R 21914 21914 28360 0 -1 4202496 21354 0 0 0 351237 262 0 0 25 0 4 0 934150157 116928512 21287 4294967295 134512640 135305190 3220025872 3220024048 134528229 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/21917/statm: 28547 21287 79 194 0 28351 0
[pid=21917/tid=21918] ppid=21914 vsize=114188 CPUtime=879.97
/proc/21917/task/21918/stat : 21918 (manysat1.1_stat) R 21914 21914 28360 0 -1 4202560 3728 0 0 0 87956 41 0 0 25 0 4 0 934150170 116928512 21287 4294967295 134512640 135305190 3220025872 3082599344 134556558 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=21917/tid=21919] ppid=21914 vsize=114188 CPUtime=875.81
/proc/21917/task/21919/stat : 21919 (manysat1.1_stat) R 21914 21914 28360 0 -1 4202560 3684 0 0 0 87517 64 0 0 25 0 4 0 934150170 116928512 21287 4294967295 134512640 135305190 3220025872 3074211008 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=21917/tid=21920] ppid=21914 vsize=114188 CPUtime=879.13
/proc/21917/task/21920/stat : 21920 (manysat1.1_stat) R 21914 21914 28360 0 -1 4202560 5546 0 0 0 87832 81 0 0 25 0 4 0 934150170 116928512 21287 4294967295 134512640 135305190 3220025872 3065822400 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3516.06
Current children cumulated vsize (KiB) 116608

[startup+942.312 s]
/proc/loadavg: 4.45 4.61 4.62 5/103 24568
/proc/meminfo: memFree=2839992/3368532 swapFree=1959840/1959888
[pid=21914] ppid=21912 vsize=2420 CPUtime=1.07
/proc/21914/stat : 21914 (manysat.sh) S 21912 21914 28360 0 -1 4194304 370 3994 0 0 0 0 103 4 18 0 1 0 934150050 2478080 275 4294967295 134512640 135169312 3220314720 3220310936 3085586158 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/21914/statm: 605 275 231 161 0 44 0
[pid=21917] ppid=21914 vsize=118032 CPUtime=3753.62
/proc/21917/stat : 21917 (manysat1.1_stat) R 21914 21914 28360 0 -1 4202496 22202 0 0 0 375063 299 0 0 25 0 4 0 934150157 120864768 22135 4294967295 134512640 135305190 3220025872 3220024048 134528229 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/21917/statm: 29508 22135 79 194 0 29312 0
[pid=21917/tid=21918] ppid=21914 vsize=118032 CPUtime=939.98
/proc/21917/task/21918/stat : 21918 (manysat1.1_stat) R 21914 21914 28360 0 -1 4202560 3860 0 0 0 93950 48 0 0 25 0 4 0 934150170 120864768 22135 4294967295 134512640 135305190 3220025872 3082599616 134528189 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=21917/tid=21919] ppid=21914 vsize=118032 CPUtime=934.95
/proc/21917/task/21919/stat : 21919 (manysat1.1_stat) R 21914 21914 28360 0 -1 4202560 3865 0 0 0 93420 75 0 0 25 0 4 0 934150170 120864768 22135 4294967295 134512640 135305190 3220025872 3074211008 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=21917/tid=21920] ppid=21914 vsize=118032 CPUtime=938.62
/proc/21917/task/21920/stat : 21920 (manysat1.1_stat) R 21914 21914 28360 0 -1 4202560 5887 0 0 0 93767 95 0 0 25 0 4 0 934150170 120864768 22135 4294967295 134512640 135305190 3220025872 3065822400 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3754.69
Current children cumulated vsize (KiB) 120452



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.01 s]
/proc/loadavg: 4.35 4.56 4.60 5/103 24755
/proc/meminfo: memFree=2838256/3368532 swapFree=1959840/1959888
[pid=21914] ppid=21912 vsize=2420 CPUtime=1.07
/proc/21914/stat : 21914 (manysat.sh) S 21912 21914 28360 0 -1 4194304 370 3994 0 0 0 0 103 4 18 0 1 0 934150050 2478080 275 4294967295 134512640 135169312 3220314720 3220310936 3085586158 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/21914/statm: 605 275 231 161 0 44 0
[pid=21917] ppid=21914 vsize=118268 CPUtime=3984
/proc/21917/stat : 21917 (manysat1.1_stat) R 21914 21914 28360 0 -1 4202496 22255 0 0 0 398082 318 0 0 25 0 4 0 934150157 121106432 22188 4294967295 134512640 135305190 3220025872 3220023776 134557557 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/21917/statm: 29567 22188 79 194 0 29371 0
[pid=21917/tid=21918] ppid=21914 vsize=118268 CPUtime=997.67
/proc/21917/task/21918/stat : 21918 (manysat1.1_stat) R 21914 21914 28360 0 -1 4202560 3890 0 0 0 99718 49 0 0 25 0 4 0 934150170 121106432 22188 4294967295 134512640 135305190 3220025872 3082599616 134528189 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=21917/tid=21919] ppid=21914 vsize=118268 CPUtime=992.49
/proc/21917/task/21919/stat : 21919 (manysat1.1_stat) R 21914 21914 28360 0 -1 4202560 3872 0 0 0 99168 81 0 0 25 0 4 0 934150170 121106432 22188 4294967295 134512640 135305190 3220025872 3074210688 134553329 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=21917/tid=21920] ppid=21914 vsize=118268 CPUtime=996.08
/proc/21917/task/21920/stat : 21920 (manysat1.1_stat) R 21914 21914 28360 0 -1 4202560 5902 0 0 0 99505 103 0 0 25 0 4 0 934150170 121106432 22188 4294967295 134512640 135305190 3220025872 3065822400 134528252 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3985.07
Current children cumulated vsize (KiB) 120688

Sending SIGTERM to process tree (bottom up)
Real time (s): 43
 D1000.04
CPU time (s): 3985.15
CPU user time (s): 3981.93
CPU system time (s): 3.22
CPU usage (%): 398.501
Max. virtual memory (cumulated for all children) (KiB): 120688

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3981.93
system time used= 3.22
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26895
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= 3250
involuntary context switches= 188395

runsolver used 0 second user time and 0 second system time

The end

Launcher Data 

Begin job on tipi39 at 2009-05-28 17:48:53
IDJOB=1779499
IDBENCH=70868
IDSOLVER=623
FILE ID=tipi39/1779499-1243525733
PBS_JOBID=
Free space on /tmp= 5742 MiB

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

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

MD5SUM BENCH= aa3fff3e05d3f50a3d088c22afa455ea
RANDOM SEED= 1932313850

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.067
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.10
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.067
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.16
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.067
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:       2932504 kB
Buffers:         51116 kB
Cached:         284120 kB
SwapCached:          0 kB
Active:         193296 kB
Inactive:       158184 kB
HighTotal:     2489216 kB
HighFree:      2191184 kB
LowTotal:       879316 kB
LowFree:        741320 kB
SwapTotal:     1959888 kB
SwapFree:      1959840 kB
Dirty:            3144 kB
Writeback:           0 kB
AnonPages:       16464 kB
Mapped:           6188 kB
Slab:            74684 kB
SReclaimable:    61796 kB
SUnreclaim:      12888 kB
PageTables:        500 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:    95168 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 5742 MiB
End job on tipi39 at 2009-05-28 18:05:33