Trace number 1779574

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) 3019.29 1000.05

General information on the benchmark

NameAPPLICATIONS/crypto/
desgen/gss-25-s100.cnf
MD5SUMc4b5df05f50ec97b624a18161f6d43b5
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 variables31931
Number of clauses96111
Sum of the clauses size226723
Maximum clause length3
Minimum clause length1
Number of clauses of size 164
Number of clauses of size 261482
Number of clauses of size 334565
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Parsing...
0.04/0.07	c ==============================================================================
0.04/0.07	c |           |     ORIGINAL     |              LEARNT              |          |
0.04/0.07	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.04/0.07	c ==============================================================================
0.04/0.07	c |         0 |   95911   226247 |   28773       0        0     nan |  0.000 % |
1.01/1.01	c |         0 |   59414   177649 |      --       0       --      -- |     --   | -36157/-47622
1.01/1.01	c ==============================================================================
1.01/1.01	c Result  :   #vars: 14275   #clauses: 59414   #literals: 177649
1.01/1.01	c CPU time:   0.97 s
1.01/1.01	c ==============================================================================
3019.24/1000.03	HOME/manysat.sh: line 55: 18155 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-1779574-1243527391/watcher-1779574-1243527391 -o /tmp/evaluation-result-1779574-1243527391/solver-1779574-1243527391 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1779574-1243527391.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: 5.89 5.79 5.74 4/124 18152
/proc/meminfo: memFree=2103276/3368532 swapFree=1957708/1959888
[pid=18152] ppid=18150 vsize=2412 CPUtime=0
/proc/18152/stat : 18152 (manysat.sh) R 18150 18152 21334 0 -1 4194304 334 0 0 0 0 0 0 0 18 0 1 0 1117403128 2469888 273 4294967295 134512640 135169312 3216367264 3216365740 3085911924 0 65538 4 65536 0 0 0 17 1 0 0 0
/proc/18152/statm: 603 273 231 161 0 42 0
[pid=18153] ppid=18152 vsize=2464 CPUtime=0
/proc/18153/stat : 18153 (SatElite) R 18152 18152 21334 0 -1 4202496 459 0 0 0 0 0 0 0 18 0 1 0 1117403128 2523136 396 4294967295 134512640 135034092 3214273648 3214269936 134544897 0 0 0 3 0 0 0 17 1 0 0 0
/proc/18153/statm: 616 398 50 128 0 486 0

[startup+0.049116 s]
/proc/loadavg: 5.89 5.79 5.74 4/124 18152
/proc/meminfo: memFree=2103276/3368532 swapFree=1957708/1959888
[pid=18152] ppid=18150 vsize=2412 CPUtime=0
/proc/18152/stat : 18152 (manysat.sh) S 18150 18152 21334 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1117403128 2469888 273 4294967295 134512640 135169312 3216367264 3216365800 3085909742 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/18152/statm: 603 273 231 161 0 42 0
[pid=18153] ppid=18152 vsize=9380 CPUtime=0.04
/proc/18153/stat : 18153 (SatElite) R 18152 18152 21334 0 -1 4202496 2215 0 0 0 3 1 0 0 20 0 1 0 1117403128 9605120 2152 4294967295 134512640 135034092 3214273648 3214269608 134673244 0 0 0 3 0 0 0 17 1 0 0 0
/proc/18153/statm: 2345 2152 50 128 0 2215 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 11792

[startup+0.109097 s]
/proc/loadavg: 5.89 5.79 5.74 4/124 18152
/proc/meminfo: memFree=2103276/3368532 swapFree=1957708/1959888
[pid=18152] ppid=18150 vsize=2412 CPUtime=0
/proc/18152/stat : 18152 (manysat.sh) S 18150 18152 21334 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1117403128 2469888 273 4294967295 134512640 135169312 3216367264 3216365800 3085909742 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/18152/statm: 603 273 231 161 0 42 0
[pid=18153] ppid=18152 vsize=14284 CPUtime=0.1
/proc/18153/stat : 18153 (SatElite) R 18152 18152 21334 0 -1 4202496 3597 0 0 0 9 1 0 0 20 0 1 0 1117403128 14626816 3311 4294967295 134512640 135034092 3214273648 3214269644 134691101 0 0 0 3 0 0 0 17 1 0 0 0
/proc/18153/statm: 3571 3311 67 128 0 3441 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 16696

[startup+0.309077 s]
/proc/loadavg: 5.89 5.79 5.74 4/124 18152
/proc/meminfo: memFree=2103276/3368532 swapFree=1957708/1959888
[pid=18152] ppid=18150 vsize=2412 CPUtime=0
/proc/18152/stat : 18152 (manysat.sh) S 18150 18152 21334 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1117403128 2469888 273 4294967295 134512640 135169312 3216367264 3216365800 3085909742 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/18152/statm: 603 273 231 161 0 42 0
[pid=18153] ppid=18152 vsize=14988 CPUtime=0.3
/proc/18153/stat : 18153 (SatElite) R 18152 18152 21334 0 -1 4202496 3734 0 0 0 26 4 0 0 20 0 1 0 1117403128 15347712 3448 4294967295 134512640 135034092 3214273648 3214269644 134691101 0 0 0 3 0 0 0 17 1 0 0 0
/proc/18153/statm: 3747 3448 67 128 0 3617 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 17400

[startup+0.709044 s]
/proc/loadavg: 5.89 5.79 5.74 4/124 18152
/proc/meminfo: memFree=2103276/3368532 swapFree=1957708/1959888
[pid=18152] ppid=18150 vsize=2412 CPUtime=0
/proc/18152/stat : 18152 (manysat.sh) S 18150 18152 21334 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1117403128 2469888 273 4294967295 134512640 135169312 3216367264 3216365800 3085909742 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/18152/statm: 603 273 231 161 0 42 0
[pid=18153] ppid=18152 vsize=15504 CPUtime=0.7
/proc/18153/stat : 18153 (SatElite) R 18152 18152 21334 0 -1 4202496 3904 0 0 0 66 4 0 0 21 0 1 0 1117403128 15876096 3618 4294967295 134512640 135034092 3214273648 3214269888 134566239 0 0 0 3 0 0 0 17 1 0 0 0
/proc/18153/statm: 3876 3618 67 128 0 3746 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 17916

[startup+1.50898 s]
/proc/loadavg: 5.57 5.73 5.72 3/126 18154
/proc/meminfo: memFree=2125868/3368532 swapFree=1957708/1959888
[pid=18152] ppid=18150 vsize=2416 CPUtime=1.08
/proc/18152/stat : 18152 (manysat.sh) S 18150 18152 21334 0 -1 4194304 371 4133 0 0 0 0 103 5 18 0 1 0 1117403128 2473984 275 4294967295 134512640 135169312 3216367264 3216363480 3085909742 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/18152/statm: 604 275 231 161 0 43 0
Current children cumulated CPU time (s) 1.08
Current children cumulated vsize (KiB) 2416

[startup+3.10885 s]
/proc/loadavg: 5.57 5.73 5.72 6/129 18158
/proc/meminfo: memFree=2020848/3368532 swapFree=1957708/1959888
[pid=18152] ppid=18150 vsize=2416 CPUtime=1.08
/proc/18152/stat : 18152 (manysat.sh) S 18150 18152 21334 0 -1 4194304 371 4133 0 0 0 0 103 5 18 0 1 0 1117403128 2473984 275 4294967295 134512640 135169312 3216367264 3216363480 3085909742 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/18152/statm: 604 275 231 161 0 43 0
[pid=18155] ppid=18152 vsize=48876 CPUtime=5.56
/proc/18155/stat : 18155 (manysat1.1_stat) R 18152 18152 21334 0 -1 4202496 5309 0 0 0 551 5 0 0 18 0 4 0 1117403236 50049024 5243 4294967295 134512640 135305190 3215250816 3215248992 134528298 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/18155/statm: 12219 5243 79 194 0 12023 0
[pid=18155/tid=18156] ppid=18152 vsize=48876 CPUtime=1.75
/proc/18155/task/18156/stat : 18156 (manysat1.1_stat) R 18152 18152 21334 0 -1 4202560 198 0 0 0 173 2 0 0 21 0 4 0 1117403250 50049024 5243 4294967295 134512640 135305190 3215250816 3081469120 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=18155/tid=18157] ppid=18152 vsize=48876 CPUtime=1.81
/proc/18155/task/18157/stat : 18157 (manysat1.1_stat) R 18152 18152 21334 0 -1 4202560 230 0 0 0 180 1 0 0 20 0 4 0 1117403250 50049024 5243 4294967295 134512640 135305190 3215250816 3073080192 134552302 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=18155/tid=18158] ppid=18152 vsize=48876 CPUtime=0.02
/proc/18155/task/18158/stat : 18158 (manysat1.1_stat) R 18152 18152 21334 0 -1 4202560 32 0 0 0 2 0 0 0 19 0 4 0 1117403250 50049024 5243 4294967295 134512640 135305190 3215250816 3064691752 134694990 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.64
Current children cumulated vsize (KiB) 51292

[startup+6.30858 s]
/proc/loadavg: 5.53 5.71 5.71 7/129 18158
/proc/meminfo: memFree=1996400/3368532 swapFree=1957708/1959888
[pid=18152] ppid=18150 vsize=2416 CPUtime=1.08
/proc/18152/stat : 18152 (manysat.sh) S 18150 18152 21334 0 -1 4194304 371 4133 0 0 0 0 103 5 18 0 1 0 1117403128 2473984 275 4294967295 134512640 135169312 3216367264 3216363480 3085909742 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/18152/statm: 604 275 231 161 0 43 0
[pid=18155] ppid=18152 vsize=49960 CPUtime=14.86
/proc/18155/stat : 18155 (manysat1.1_stat) R 18152 18152 21334 0 -1 4202496 5623 0 0 0 1479 7 0 0 19 0 4 0 1117403236 51159040 5557 4294967295 134512640 135305190 3215250816 3215248992 134528298 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/18155/statm: 12490 5557 79 194 0 12294 0
[pid=18155/tid=18156] ppid=18152 vsize=49960 CPUtime=4.78
/proc/18155/task/18156/stat : 18156 (manysat1.1_stat) R 18152 18152 21334 0 -1 4202560 219 0 0 0 476 2 0 0 25 0 4 0 1117403250 51159040 5557 4294967295 134512640 135305190 3215250816 3081469120 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=18155/tid=18157] ppid=18152 vsize=49960 CPUtime=4.88
/proc/18155/task/18157/stat : 18157 (manysat1.1_stat) R 18152 18152 21334 0 -1 4202560 264 0 0 0 487 1 0 0 25 0 4 0 1117403250 51159040 5557 4294967295 134512640 135305190 3215250816 3073080512 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=18155/tid=18158] ppid=18152 vsize=49960 CPUtime=2.37
/proc/18155/task/18158/stat : 18158 (manysat1.1_stat) R 18152 18152 21334 0 -1 4202560 276 0 0 0 235 2 0 0 18 0 4 0 1117403250 51159040 5557 4294967295 134512640 135305190 3215250816 3064691848 134840070 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 15.94
Current children cumulated vsize (KiB) 52376

[startup+12.708 s]
/proc/loadavg: 5.49 5.70 5.71 11/129 18159
/proc/meminfo: memFree=2059788/3368532 swapFree=1957708/1959888
[pid=18152] ppid=18150 vsize=2416 CPUtime=1.08
/proc/18152/stat : 18152 (manysat.sh) S 18150 18152 21334 0 -1 4194304 371 4133 0 0 0 0 103 5 18 0 1 0 1117403128 2473984 275 4294967295 134512640 135169312 3216367264 3216363480 3085909742 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/18152/statm: 604 275 231 161 0 43 0
[pid=18155] ppid=18152 vsize=50964 CPUtime=33.45
/proc/18155/stat : 18155 (manysat1.1_stat) R 18152 18152 21334 0 -1 4202496 5867 0 0 0 3336 9 0 0 25 0 4 0 1117403236 52187136 5801 4294967295 134512640 135305190 3215250816 3215248992 134528410 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/18155/statm: 12741 5801 79 194 0 12545 0
[pid=18155/tid=18156] ppid=18152 vsize=50964 CPUtime=10.84
/proc/18155/task/18156/stat : 18156 (manysat1.1_stat) R 18152 18152 21334 0 -1 4202560 272 0 0 0 1082 2 0 0 25 0 4 0 1117403250 52187136 5801 4294967295 134512640 135305190 3215250816 3081468784 134551651 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=18155/tid=18157] ppid=18152 vsize=50964 CPUtime=11.01
/proc/18155/task/18157/stat : 18157 (manysat1.1_stat) R 18152 18152 21334 0 -1 4202560 318 0 0 0 1098 3 0 0 25 0 4 0 1117403250 52187136 5801 4294967295 134512640 135305190 3215250816 3073080128 134551651 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=18155/tid=18158] ppid=18152 vsize=50964 CPUtime=5.67
/proc/18155/task/18158/stat : 18158 (manysat1.1_stat) R 18152 18152 21334 0 -1 4202560 381 0 0 0 565 2 0 0 25 0 4 0 1117403250 52187136 5801 4294967295 134512640 135305190 3215250816 3064691568 134551651 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 34.53
Current children cumulated vsize (KiB) 53380

[startup+25.5069 s]
/proc/loadavg: 5.53 5.70 5.71 6/129 18159
/proc/meminfo: memFree=2055624/3368532 swapFree=1957708/1959888
[pid=18152] ppid=18150 vsize=2416 CPUtime=1.08
/proc/18152/stat : 18152 (manysat.sh) S 18150 18152 21334 0 -1 4194304 371 4133 0 0 0 0 103 5 18 0 1 0 1117403128 2473984 275 4294967295 134512640 135169312 3216367264 3216363480 3085909742 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/18152/statm: 604 275 231 161 0 43 0
[pid=18155] ppid=18152 vsize=52560 CPUtime=70.89
/proc/18155/stat : 18155 (manysat1.1_stat) R 18152 18152 21334 0 -1 4202496 6291 0 0 0 7077 12 0 0 25 0 4 0 1117403236 53821440 6225 4294967295 134512640 135305190 3215250816 3215248720 134556558 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/18155/statm: 13140 6225 79 194 0 12944 0
[pid=18155/tid=18156] ppid=18152 vsize=52560 CPUtime=23.15
/proc/18155/task/18156/stat : 18156 (manysat1.1_stat) R 18152 18152 21334 0 -1 4202560 367 0 0 0 2310 5 0 0 25 0 4 0 1117403250 53821440 6225 4294967295 134512640 135305190 3215250816 3081469120 134528229 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=18155/tid=18157] ppid=18152 vsize=52560 CPUtime=23.34
/proc/18155/task/18157/stat : 18157 (manysat1.1_stat) R 18152 18152 21334 0 -1 4202560 478 0 0 0 2331 3 0 0 25 0 4 0 1117403250 53821440 6225 4294967295 134512640 135305190 3215250816 3073080512 134528571 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=18155/tid=18158] ppid=18152 vsize=52560 CPUtime=12.01
/proc/18155/task/18158/stat : 18158 (manysat1.1_stat) R 18152 18152 21334 0 -1 4202560 490 0 0 0 1199 2 0 0 25 0 4 0 1117403250 53821440 6225 4294967295 134512640 135305190 3215250816 3064691904 134528229 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 71.97
Current children cumulated vsize (KiB) 54976

[startup+51.1047 s]
/proc/loadavg: 6.00 5.80 5.74 6/129 18347
/proc/meminfo: memFree=2070776/3368532 swapFree=1957708/1959888
[pid=18152] ppid=18150 vsize=2416 CPUtime=1.08
/proc/18152/stat : 18152 (manysat.sh) S 18150 18152 21334 0 -1 4194304 371 4133 0 0 0 0 103 5 18 0 1 0 1117403128 2473984 275 4294967295 134512640 135169312 3216367264 3216363480 3085909742 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/18152/statm: 604 275 231 161 0 43 0
[pid=18155] ppid=18152 vsize=56000 CPUtime=146.4
/proc/18155/stat : 18155 (manysat1.1_stat) R 18152 18152 21334 0 -1 4202496 7183 0 0 0 14620 20 0 0 25 0 4 0 1117403236 57344000 7117 4294967295 134512640 135305190 3215250816 3215248992 134528768 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/18155/statm: 14000 7117 79 194 0 13804 0
[pid=18155/tid=18156] ppid=18152 vsize=56000 CPUtime=47.73
/proc/18155/task/18156/stat : 18156 (manysat1.1_stat) R 18152 18152 21334 0 -1 4202560 569 0 0 0 4766 7 0 0 25 0 4 0 1117403250 57344000 7117 4294967295 134512640 135305190 3215250816 3081469120 134530569 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=18155/tid=18157] ppid=18152 vsize=56000 CPUtime=48.67
/proc/18155/task/18157/stat : 18157 (manysat1.1_stat) R 18152 18152 21334 0 -1 4202560 747 0 0 0 4863 4 0 0 25 0 4 0 1117403250 57344000 7117 4294967295 134512640 135305190 3215250816 3073080512 134528392 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=18155/tid=18158] ppid=18152 vsize=56000 CPUtime=24.77
/proc/18155/task/18158/stat : 18158 (manysat1.1_stat) R 18152 18152 21334 0 -1 4202560 720 0 0 0 2474 3 0 0 25 0 4 0 1117403250 57344000 7117 4294967295 134512640 135305190 3215250816 3064691904 134528229 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 147.48
Current children cumulated vsize (KiB) 58416

[startup+102.32 s]
/proc/loadavg: 5.78 5.76 5.73 7/130 18477
/proc/meminfo: memFree=1960444/3368532 swapFree=1957708/1959888
[pid=18152] ppid=18150 vsize=2416 CPUtime=1.08
/proc/18152/stat : 18152 (manysat.sh) S 18150 18152 21334 0 -1 4194304 371 4133 0 0 0 0 103 5 18 0 1 0 1117403128 2473984 275 4294967295 134512640 135169312 3216367264 3216363480 3085909742 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/18152/statm: 604 275 231 161 0 43 0
[pid=18155] ppid=18152 vsize=61992 CPUtime=298.04
/proc/18155/stat : 18155 (manysat1.1_stat) R 18152 18152 21334 0 -1 4202496 8726 0 0 0 29773 31 0 0 25 0 4 0 1117403236 63479808 8660 4294967295 134512640 135305190 3215250816 3215248992 134528298 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/18155/statm: 15498 8660 79 194 0 15302 0
[pid=18155/tid=18156] ppid=18152 vsize=61992 CPUtime=97.1
/proc/18155/task/18156/stat : 18156 (manysat1.1_stat) R 18152 18152 21334 0 -1 4202560 830 0 0 0 9700 10 0 0 25 0 4 0 1117403250 63479808 8660 4294967295 134512640 135305190 3215250816 3081469120 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=18155/tid=18157] ppid=18152 vsize=61992 CPUtime=99.72
/proc/18155/task/18157/stat : 18157 (manysat1.1_stat) R 18152 18152 21334 0 -1 4202560 1411 0 0 0 9965 7 0 0 25 0 4 0 1117403250 63479808 8660 4294967295 134512640 135305190 3215250816 3073080512 134528229 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=18155/tid=18158] ppid=18152 vsize=61992 CPUtime=50.39
/proc/18155/task/18158/stat : 18158 (manysat1.1_stat) R 18152 18152 21334 0 -1 4202560 1136 0 0 0 5036 3 0 0 25 0 4 0 1117403250 63479808 8660 4294967295 134512640 135305190 3215250816 3064691696 134548949 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 299.12
Current children cumulated vsize (KiB) 64408

[startup+162.315 s]
/proc/loadavg: 5.92 5.79 5.74 9/130 18597
/proc/meminfo: memFree=2015824/3368532 swapFree=1957708/1959888
[pid=18152] ppid=18150 vsize=2416 CPUtime=1.08
/proc/18152/stat : 18152 (manysat.sh) S 18150 18152 21334 0 -1 4194304 371 4133 0 0 0 0 103 5 18 0 1 0 1117403128 2473984 275 4294967295 134512640 135169312 3216367264 3216363480 3085909742 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/18152/statm: 604 275 231 161 0 43 0
[pid=18155] ppid=18152 vsize=72924 CPUtime=477.91
/proc/18155/stat : 18155 (manysat1.1_stat) R 18152 18152 21334 0 -1 4202496 11250 0 0 0 47747 44 0 0 25 0 4 0 1117403236 74674176 11184 4294967295 134512640 135305190 3215250816 3215248992 134530561 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/18155/statm: 18231 11184 79 194 0 18035 0
[pid=18155/tid=18156] ppid=18152 vsize=72924 CPUtime=157.1
/proc/18155/task/18156/stat : 18156 (manysat1.1_stat) R 18152 18152 21334 0 -1 4202560 1317 0 0 0 15695 15 0 0 25 0 4 0 1117403250 74674176 11184 4294967295 134512640 135305190 3215250816 3081469120 134528392 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=18155/tid=18157] ppid=18152 vsize=72924 CPUtime=159.59
/proc/18155/task/18157/stat : 18157 (manysat1.1_stat) R 18152 18152 21334 0 -1 4202560 2518 0 0 0 15949 10 0 0 25 0 4 0 1117403250 74674176 11184 4294967295 134512640 135305190 3215250816 3073080192 134552302 0 0 0 3 0 0 0 -1 1 0 0 0

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

[startup+522.314 s]
/proc/loadavg: 5.86 5.79 5.74 7/129 19673
/proc/meminfo: memFree=2011740/3368532 swapFree=1957708/1959888
[pid=18152] ppid=18150 vsize=2416 CPUtime=1.08
/proc/18152/stat : 18152 (manysat.sh) S 18150 18152 21334 0 -1 4194304 371 4133 0 0 0 0 103 5 18 0 1 0 1117403128 2473984 275 4294967295 134512640 135169312 3216367264 3216363480 3085909742 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/18152/statm: 604 275 231 161 0 43 0
[pid=18155] ppid=18152 vsize=92416 CPUtime=1573.19
/proc/18155/stat : 18155 (manysat1.1_stat) R 18152 18152 21334 0 -1 4202496 16058 0 0 0 157196 123 0 0 25 0 4 0 1117403236 94633984 15992 4294967295 134512640 135305190 3215250816 3215248992 134528298 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/18155/statm: 23104 15992 79 194 0 22908 0
[pid=18155/tid=18156] ppid=18152 vsize=92416 CPUtime=493.81
/proc/18155/task/18156/stat : 18156 (manysat1.1_stat) R 18152 18152 21334 0 -1 4202560 2223 0 0 0 49337 44 0 0 25 0 4 0 1117403250 94633984 15992 4294967295 134512640 135305190 3215250816 3081468848 134556558 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=18155/tid=18157] ppid=18152 vsize=92416 CPUtime=518.3
/proc/18155/task/18157/stat : 18157 (manysat1.1_stat) R 18152 18152 21334 0 -1 4202560 4028 0 0 0 51797 33 0 0 25 0 4 0 1117403250 94633984 15992 4294967295 134512640 135305190 3215250816 3073080512 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=18155/tid=18158] ppid=18152 vsize=92416 CPUtime=270.85
/proc/18155/task/18158/stat : 18158 (manysat1.1_stat) R 18152 18152 21334 0 -1 4202560 3170 0 0 0 27064 21 0 0 25 0 4 0 1117403250 94633984 15992 4294967295 134512640 135305190 3215250816 3064691904 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1574.27
Current children cumulated vsize (KiB) 94832

[startup+582.309 s]
/proc/loadavg: 5.92 5.81 5.74 6/129 19860
/proc/meminfo: memFree=2063760/3368532 swapFree=1957708/1959888
[pid=18152] ppid=18150 vsize=2416 CPUtime=1.08
/proc/18152/stat : 18152 (manysat.sh) S 18150 18152 21334 0 -1 4194304 371 4133 0 0 0 0 103 5 18 0 1 0 1117403128 2473984 275 4294967295 134512640 135169312 3216367264 3216363480 3085909742 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/18152/statm: 604 275 231 161 0 43 0
[pid=18155] ppid=18152 vsize=100936 CPUtime=1766.22
/proc/18155/stat : 18155 (manysat1.1_stat) R 18152 18152 21334 0 -1 4202496 18179 0 0 0 176489 133 0 0 25 0 4 0 1117403236 103358464 18113 4294967295 134512640 135305190 3215250816 3215248992 134528548 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/18155/statm: 25234 18113 79 194 0 25038 0
[pid=18155/tid=18156] ppid=18152 vsize=100936 CPUtime=537.83
/proc/18155/task/18156/stat : 18156 (manysat1.1_stat) R 18152 18152 21334 0 -1 4202560 2579 0 0 0 53736 47 0 0 25 0 4 0 1117403250 103358464 18113 4294967295 134512640 135305190 3215250816 3081469120 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=18155/tid=18157] ppid=18152 vsize=100936 CPUtime=578.18
/proc/18155/task/18157/stat : 18157 (manysat1.1_stat) R 18152 18152 21334 0 -1 4202560 4474 0 0 0 57780 38 0 0 25 0 4 0 1117403250 103358464 18113 4294967295 134512640 135305190 3215250816 3073080128 134551651 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=18155/tid=18158] ppid=18152 vsize=100936 CPUtime=300.01
/proc/18155/task/18158/stat : 18158 (manysat1.1_stat) R 18152 18152 21334 0 -1 4202560 3751 0 0 0 29979 22 0 0 25 0 4 0 1117403250 103358464 18113 4294967295 134512640 135305190 3215250816 3064691904 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1767.3
Current children cumulated vsize (KiB) 103352

[startup+642.304 s]
/proc/loadavg: 5.91 5.82 5.75 7/129 20051
/proc/meminfo: memFree=2036824/3368532 swapFree=1957708/1959888
[pid=18152] ppid=18150 vsize=2416 CPUtime=1.08
/proc/18152/stat : 18152 (manysat.sh) S 18150 18152 21334 0 -1 4194304 371 4133 0 0 0 0 103 5 18 0 1 0 1117403128 2473984 275 4294967295 134512640 135169312 3216367264 3216363480 3085909742 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/18152/statm: 604 275 231 161 0 43 0
[pid=18155] ppid=18152 vsize=103608 CPUtime=1946.12
/proc/18155/stat : 18155 (manysat1.1_stat) R 18152 18152 21334 0 -1 4202496 18894 0 0 0 194474 138 0 0 25 0 4 0 1117403236 106094592 18828 4294967295 134512640 135305190 3215250816 3215248992 134528402 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/18155/statm: 25902 18828 79 194 0 25706 0
[pid=18155/tid=18156] ppid=18152 vsize=103608 CPUtime=590.22
/proc/18155/task/18156/stat : 18156 (manysat1.1_stat) R 18152 18152 21334 0 -1 4202560 2743 0 0 0 58973 49 0 0 25 0 4 0 1117403250 106094592 18828 4294967295 134512640 135305190 3215250816 3081469120 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=18155/tid=18157] ppid=18152 vsize=103608 CPUtime=638.09
/proc/18155/task/18157/stat : 18157 (manysat1.1_stat) R 18152 18152 21334 0 -1 4202560 4614 0 0 0 63770 39 0 0 25 0 4 0 1117403250 106094592 18828 4294967295 134512640 135305190 3215250816 3073080512 134528503 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=18155/tid=18158] ppid=18152 vsize=103608 CPUtime=330.21
/proc/18155/task/18158/stat : 18158 (manysat1.1_stat) R 18152 18152 21334 0 -1 4202560 4012 0 0 0 32999 22 0 0 25 0 4 0 1117403250 106094592 18828 4294967295 134512640 135305190 3215250816 3064691904 134528229 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1947.2
Current children cumulated vsize (KiB) 106024

[startup+702.319 s]
/proc/loadavg: 5.84 5.80 5.74 6/129 20239
/proc/meminfo: memFree=1925580/3368532 swapFree=1957708/1959888
[pid=18152] ppid=18150 vsize=2416 CPUtime=1.08
/proc/18152/stat : 18152 (manysat.sh) S 18150 18152 21334 0 -1 4194304 371 4133 0 0 0 0 103 5 18 0 1 0 1117403128 2473984 275 4294967295 134512640 135169312 3216367264 3216363480 3085909742 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/18152/statm: 604 275 231 161 0 43 0
[pid=18155] ppid=18152 vsize=104440 CPUtime=2125.94
/proc/18155/stat : 18155 (manysat1.1_stat) R 18152 18152 21334 0 -1 4202496 19081 0 0 0 212445 149 0 0 25 0 4 0 1117403236 106946560 19015 4294967295 134512640 135305190 3215250816 3215248992 134528458 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/18155/statm: 26110 19015 79 194 0 25914 0
[pid=18155/tid=18156] ppid=18152 vsize=104440 CPUtime=650.22
/proc/18155/task/18156/stat : 18156 (manysat1.1_stat) R 18152 18152 21334 0 -1 4202560 2770 0 0 0 64972 50 0 0 25 0 4 0 1117403250 106946560 19015 4294967295 134512640 135305190 3215250816 3081469120 134528768 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=18155/tid=18157] ppid=18152 vsize=104440 CPUtime=697.9
/proc/18155/task/18157/stat : 18157 (manysat1.1_stat) R 18152 18152 21334 0 -1 4202560 4688 0 0 0 69745 45 0 0 25 0 4 0 1117403250 106946560 19015 4294967295 134512640 135305190 3215250816 3073080512 134528480 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=18155/tid=18158] ppid=18152 vsize=104440 CPUtime=360.19
/proc/18155/task/18158/stat : 18158 (manysat1.1_stat) R 18152 18152 21334 0 -1 4202560 4098 0 0 0 35995 24 0 0 25 0 4 0 1117403250 106946560 19015 4294967295 134512640 135305190 3215250816 3064691904 134528392 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2127.02
Current children cumulated vsize (KiB) 106856

[startup+762.313 s]
/proc/loadavg: 6.07 5.84 5.75 7/130 20418
/proc/meminfo: memFree=2036048/3368532 swapFree=1957708/1959888
[pid=18152] ppid=18150 vsize=2416 CPUtime=1.08
/proc/18152/stat : 18152 (manysat.sh) S 18150 18152 21334 0 -1 4194304 371 4133 0 0 0 0 103 5 18 0 1 0 1117403128 2473984 275 4294967295 134512640 135169312 3216367264 3216363480 3085909742 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/18152/statm: 604 275 231 161 0 43 0
[pid=18155] ppid=18152 vsize=104744 CPUtime=2305.84
/proc/18155/stat : 18155 (manysat1.1_stat) R 18152 18152 21334 0 -1 4202496 19146 0 0 0 230428 156 0 0 25 0 4 0 1117403236 107257856 19080 4294967295 134512640 135305190 3215250816 3215248992 134528506 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/18155/statm: 26186 19080 79 194 0 25990 0
[pid=18155/tid=18156] ppid=18152 vsize=104744 CPUtime=682.91
/proc/18155/task/18156/stat : 18156 (manysat1.1_stat) R 18152 18152 21334 0 -1 4202560 2770 0 0 0 68240 51 0 0 25 0 4 0 1117403250 107257856 19080 4294967295 134512640 135305190 3215250816 3081469120 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=18155/tid=18157] ppid=18152 vsize=104744 CPUtime=757.84
/proc/18155/task/18157/stat : 18157 (manysat1.1_stat) R 18152 18152 21334 0 -1 4202560 4735 0 0 0 75736 48 0 0 25 0 4 0 1117403250 107257856 19080 4294967295 134512640 135305190 3215250816 3073080192 134552302 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=18155/tid=18158] ppid=18152 vsize=104744 CPUtime=417.26
/proc/18155/task/18158/stat : 18158 (manysat1.1_stat) R 18152 18152 21334 0 -1 4202560 4100 0 0 0 41700 26 0 0 25 0 4 0 1117403250 107257856 19080 4294967295 134512640 135305190 3215250816 3064691632 134556558 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2306.92
Current children cumulated vsize (KiB) 107160

[startup+822.308 s]
/proc/loadavg: 5.97 5.84 5.75 7/130 20563
/proc/meminfo: memFree=2073952/3368532 swapFree=1957708/1959888
[pid=18152] ppid=18150 vsize=2416 CPUtime=1.08
/proc/18152/stat : 18152 (manysat.sh) S 18150 18152 21334 0 -1 4194304 371 4133 0 0 0 0 103 5 18 0 1 0 1117403128 2473984 275 4294967295 134512640 135169312 3216367264 3216363480 3085909742 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/18152/statm: 604 275 231 161 0 43 0
[pid=18155] ppid=18152 vsize=105416 CPUtime=2485.7
/proc/18155/stat : 18155 (manysat1.1_stat) R 18152 18152 21334 0 -1 4202496 19312 0 0 0 248406 164 0 0 25 0 4 0 1117403236 107945984 19246 4294967295 134512640 135305190 3215250816 3215248992 134528298 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/18155/statm: 26354 19246 79 194 0 26158 0
[pid=18155/tid=18156] ppid=18152 vsize=105416 CPUtime=712.91
/proc/18155/task/18156/stat : 18156 (manysat1.1_stat) R 18152 18152 21334 0 -1 4202560 2771 0 0 0 71240 51 0 0 25 0 4 0 1117403250 107945984 19246 4294967295 134512640 135305190 3215250816 3081469120 134528768 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=18155/tid=18157] ppid=18152 vsize=105416 CPUtime=817.71
/proc/18155/task/18157/stat : 18157 (manysat1.1_stat) R 18152 18152 21334 0 -1 4202560 4865 0 0 0 81723 48 0 0 25 0 4 0 1117403250 107945984 19246 4294967295 134512640 135305190 3215250816 3073080512 134528768 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=18155/tid=18158] ppid=18152 vsize=105416 CPUtime=477.25
/proc/18155/task/18158/stat : 18158 (manysat1.1_stat) R 18152 18152 21334 0 -1 4202560 4125 0 0 0 47694 31 0 0 25 0 4 0 1117403250 107945984 19246 4294967295 134512640 135305190 3215250816 3064691904 134528256 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2486.78
Current children cumulated vsize (KiB) 107832

[startup+882.303 s]
/proc/loadavg: 5.77 5.81 5.74 7/130 20733
/proc/meminfo: memFree=2055416/3368532 swapFree=1957708/1959888
[pid=18152] ppid=18150 vsize=2416 CPUtime=1.08
/proc/18152/stat : 18152 (manysat.sh) S 18150 18152 21334 0 -1 4194304 371 4133 0 0 0 0 103 5 18 0 1 0 1117403128 2473984 275 4294967295 134512640 135169312 3216367264 3216363480 3085909742 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/18152/statm: 604 275 231 161 0 43 0
[pid=18155] ppid=18152 vsize=108716 CPUtime=2665.36
/proc/18155/stat : 18155 (manysat1.1_stat) R 18152 18152 21334 0 -1 4202496 19957 0 0 0 266358 178 0 0 25 0 4 0 1117403236 111325184 19891 4294967295 134512640 135305190 3215250816 3215248720 134556789 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/18155/statm: 27179 19891 79 194 0 26983 0
[pid=18155/tid=18156] ppid=18152 vsize=108716 CPUtime=742.91
/proc/18155/task/18156/stat : 18156 (manysat1.1_stat) R 18152 18152 21334 0 -1 4202560 2842 0 0 0 74235 56 0 0 25 0 4 0 1117403250 111325184 19891 4294967295 134512640 135305190 3215250816 3081468848 134556770 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=18155/tid=18157] ppid=18152 vsize=108716 CPUtime=877.66
/proc/18155/task/18157/stat : 18157 (manysat1.1_stat) R 18152 18152 21334 0 -1 4202560 5011 0 0 0 87716 50 0 0 25 0 4 0 1117403250 111325184 19891 4294967295 134512640 135305190 3215250816 3073080512 134528379 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=18155/tid=18158] ppid=18152 vsize=108716 CPUtime=536.96
/proc/18155/task/18158/stat : 18158 (manysat1.1_stat) R 18152 18152 21334 0 -1 4202560 4482 0 0 0 53660 36 0 0 25 0 4 0 1117403250 111325184 19891 4294967295 134512640 135305190 3215250816 3064691904 134528603 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2666.44
Current children cumulated vsize (KiB) 111132

[startup+942.318 s]
/proc/loadavg: 5.72 5.78 5.73 8/130 20889
/proc/meminfo: memFree=1842272/3368532 swapFree=1957708/1959888
[pid=18152] ppid=18150 vsize=2416 CPUtime=1.08
/proc/18152/stat : 18152 (manysat.sh) S 18150 18152 21334 0 -1 4194304 371 4133 0 0 0 0 103 5 18 0 1 0 1117403128 2473984 275 4294967295 134512640 135169312 3216367264 3216363480 3085909742 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/18152/statm: 604 275 231 161 0 43 0
[pid=18155] ppid=18152 vsize=111084 CPUtime=2845.17
/proc/18155/stat : 18155 (manysat1.1_stat) R 18152 18152 21334 0 -1 4202496 20481 0 0 0 284321 196 0 0 25 0 4 0 1117403236 113750016 20415 4294967295 134512640 135305190 3215250816 3215248992 134528298 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/18155/statm: 27771 20415 79 194 0 27575 0
[pid=18155/tid=18156] ppid=18152 vsize=111084 CPUtime=773.01
/proc/18155/task/18156/stat : 18156 (manysat1.1_stat) R 18152 18152 21334 0 -1 4202560 2955 0 0 0 77244 57 0 0 25 0 4 0 1117403250 113750016 20415 4294967295 134512640 135305190 3215250816 3081468784 134551651 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=18155/tid=18157] ppid=18152 vsize=111084 CPUtime=937.49
/proc/18155/task/18157/stat : 18157 (manysat1.1_stat) R 18152 18152 21334 0 -1 4202560 5097 0 0 0 93696 53 0 0 25 0 4 0 1117403250 113750016 20415 4294967295 134512640 135305190 3215250816 3073080512 134528571 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=18155/tid=18158] ppid=18152 vsize=111084 CPUtime=596.94
/proc/18155/task/18158/stat : 18158 (manysat1.1_stat) R 18152 18152 21334 0 -1 4202560 4762 0 0 0 59653 41 0 0 25 0 4 0 1117403250 113750016 20415 4294967295 134512640 135305190 3215250816 3064691904 134528229 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2846.25
Current children cumulated vsize (KiB) 113500



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.01 s]
/proc/loadavg: 5.84 5.79 5.74 8/130 21013
/proc/meminfo: memFree=2039020/3368532 swapFree=1957708/1959888
[pid=18152] ppid=18150 vsize=2416 CPUtime=1.08
/proc/18152/stat : 18152 (manysat.sh) S 18150 18152 21334 0 -1 4194304 371 4133 0 0 0 0 103 5 18 0 1 0 1117403128 2473984 275 4294967295 134512640 135169312 3216367264 3216363480 3085909742 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/18152/statm: 604 275 231 161 0 43 0
[pid=18155] ppid=18152 vsize=111984 CPUtime=3018.16
/proc/18155/stat : 18155 (manysat1.1_stat) R 18152 18152 21334 0 -1 4202496 20702 0 0 0 301611 205 0 0 25 0 4 0 1117403236 114671616 20636 4294967295 134512640 135305190 3215250816 3215248992 134528802 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/18155/statm: 27996 20636 79 194 0 27800 0
[pid=18155/tid=18156] ppid=18152 vsize=111984 CPUtime=801.84
/proc/18155/task/18156/stat : 18156 (manysat1.1_stat) R 18152 18152 21334 0 -1 4202560 3001 0 0 0 80126 58 0 0 25 0 4 0 1117403250 114671616 20636 4294967295 134512640 135305190 3215250816 3081469120 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=18155/tid=18157] ppid=18152 vsize=111984 CPUtime=995.18
/proc/18155/task/18157/stat : 18157 (manysat1.1_stat) R 18152 18152 21334 0 -1 4202560 5174 0 0 0 99461 57 0 0 25 0 4 0 1117403250 114671616 20636 4294967295 134512640 135305190 3215250816 3073080512 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=18155/tid=18158] ppid=18152 vsize=111984 CPUtime=654.53
/proc/18155/task/18158/stat : 18158 (manysat1.1_stat) R 18152 18152 21334 0 -1 4202560 4834 0 0 0 65411 42 0 0 25 0 4 0 1117403250 114671616 20636 4294967295 134512640 135305190 3215250816 3064691904 134528341 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3019.24
Current children cumulated vsize (KiB) 114400

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

Child status: 143
Real time (s): 1000.05
CPU time (s): 3019.29
CPU user time (s): 3017.18
CPU system time (s): 2.11
CPU usage (%): 301.915
Max. virtual memory (cumulated for all children) (KiB): 114400

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3017.18
system time used= 2.11
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25481
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= 2794
involuntary context switches= 181313

runsolver used 0 second user time and 0 second system time

The end

Launcher Data 

Begin job on  at 2009-05-28 18:16:31
IDJOB=1779574
IDBENCH=70878
IDSOLVER=623
FILE ID=/1779574-1243527391
PBS_JOBID=
Free space on /tmp= 15883 MiB

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

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

MD5SUM BENCH= c4b5df05f50ec97b624a18161f6d43b5
RANDOM SEED= 1404676393

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.105
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.43
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.105
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.105
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.105
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:       2107132 kB
Buffers:          5456 kB
Cached:         558084 kB
SwapCached:         40 kB
Active:         699036 kB
Inactive:       517712 kB
HighTotal:     2489216 kB
HighFree:      1274776 kB
LowTotal:       879316 kB
LowFree:        832356 kB
SwapTotal:     1959888 kB
SwapFree:      1957708 kB
Dirty:            3116 kB
Writeback:           0 kB
AnonPages:      653264 kB
Mapped:          35452 kB
Slab:            33800 kB
SReclaimable:    25568 kB
SUnreclaim:       8232 kB
PageTables:       1400 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:   948544 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

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