Trace number 1781071

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

General information on the benchmark

NameAPPLICATIONS/satComp09_BioInstances/
ndhf_xits_09_UNSAT.cnf
MD5SUM3cd74d1813a4408b4123afc23df07d7d
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 variables1910
Number of clauses167931
Sum of the clauses size500698
Maximum clause length10
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 23312
Number of clauses of size 3164588
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 531

Solver Data 

0.00/0.00	c Parsing...
0.03/0.09	c ==============================================================================
0.03/0.09	c |           |     ORIGINAL     |              LEARNT              |          |
0.03/0.09	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.03/0.09	c ==============================================================================
0.03/0.09	c |         0 |  167931   500698 |   50379       0        0     nan |  0.000 % |
1.61/1.65	c |         0 |  166431   731017 |      --       0       --      -- |     --   | -1500/230319
1.61/1.65	c ==============================================================================
1.61/1.65	c Result  :   #vars: 1151   #clauses: 166431   #literals: 731017
1.61/1.65	c CPU time:   1.63 s
1.61/1.65	c ==============================================================================
3984.39/1000.04	HOME/manysat.sh: line 55:  7061 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-1781071-1243541291/watcher-1781071-1243541291 -o /tmp/evaluation-result-1781071-1243541291/solver-1781071-1243541291 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1781071-1243541291.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.28 4.35 4.39 3/98 7058
/proc/meminfo: memFree=2782060/3368532 swapFree=1959840/1959888
[pid=7058] ppid=7056 vsize=2416 CPUtime=0
/proc/7058/stat : 7058 (manysat.sh) S 7056 7058 28360 0 -1 4194304 351 0 0 0 0 0 0 0 18 0 1 0 935705846 2473984 274 4294967295 134512640 135169312 3214689552 3214688088 3085242094 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/7058/statm: 604 274 231 161 0 43 0
[pid=7059] ppid=7058 vsize=1212 CPUtime=0
/proc/7059/stat : 7059 (SatElite) R 7058 7058 28360 0 -1 4202496 249 0 0 0 0 0 0 0 18 0 1 0 935705846 1241088 185 4294967295 134512640 135034092 3217870816 3217866776 134673244 0 0 0 3 0 0 0 17 2 0 0 0
/proc/7059/statm: 303 186 49 128 0 173 0

[startup+0.034617 s]
/proc/loadavg: 4.28 4.35 4.39 3/98 7058
/proc/meminfo: memFree=2782060/3368532 swapFree=1959840/1959888
[pid=7058] ppid=7056 vsize=2416 CPUtime=0
/proc/7058/stat : 7058 (manysat.sh) S 7056 7058 28360 0 -1 4194304 351 0 0 0 0 0 0 0 18 0 1 0 935705846 2473984 274 4294967295 134512640 135169312 3214689552 3214688088 3085242094 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/7058/statm: 604 274 231 161 0 43 0
[pid=7059] ppid=7058 vsize=4240 CPUtime=0.03
/proc/7059/stat : 7059 (SatElite) R 7058 7058 28360 0 -1 4202496 960 0 0 0 3 0 0 0 18 0 1 0 935705846 4341760 896 4294967295 134512640 135034092 3217870816 3217866808 134673244 0 0 0 3 0 0 0 17 2 0 0 0
/proc/7059/statm: 1060 896 49 128 0 930 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 6656

[startup+0.114609 s]
/proc/loadavg: 4.28 4.35 4.39 3/98 7058
/proc/meminfo: memFree=2782060/3368532 swapFree=1959840/1959888
[pid=7058] ppid=7056 vsize=2416 CPUtime=0
/proc/7058/stat : 7058 (manysat.sh) S 7056 7058 28360 0 -1 4194304 351 0 0 0 0 0 0 0 18 0 1 0 935705846 2473984 274 4294967295 134512640 135169312 3214689552 3214688088 3085242094 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/7058/statm: 604 274 231 161 0 43 0
[pid=7059] ppid=7058 vsize=12696 CPUtime=0.11
/proc/7059/stat : 7059 (SatElite) R 7058 7058 28360 0 -1 4202496 3057 0 0 0 10 1 0 0 18 0 1 0 935705846 13000704 2993 4294967295 134512640 135034092 3217870816 3217866812 134691101 0 0 0 3 0 0 0 17 2 0 0 0
/proc/7059/statm: 3174 2993 67 128 0 3044 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 15112

[startup+0.314593 s]
/proc/loadavg: 4.28 4.35 4.39 3/98 7058
/proc/meminfo: memFree=2782060/3368532 swapFree=1959840/1959888
[pid=7058] ppid=7056 vsize=2416 CPUtime=0
/proc/7058/stat : 7058 (manysat.sh) S 7056 7058 28360 0 -1 4194304 351 0 0 0 0 0 0 0 18 0 1 0 935705846 2473984 274 4294967295 134512640 135169312 3214689552 3214688088 3085242094 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/7058/statm: 604 274 231 161 0 43 0
[pid=7059] ppid=7058 vsize=15336 CPUtime=0.31
/proc/7059/stat : 7059 (SatElite) R 7058 7058 28360 0 -1 4202496 3542 0 0 0 29 2 0 0 18 0 1 0 935705846 15704064 3478 4294967295 134512640 135034092 3217870816 3217866684 134673244 0 0 0 3 0 0 0 17 2 0 0 0
/proc/7059/statm: 3834 3478 67 128 0 3704 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 17752

[startup+0.714561 s]
/proc/loadavg: 4.28 4.35 4.39 3/98 7058
/proc/meminfo: memFree=2782060/3368532 swapFree=1959840/1959888
[pid=7058] ppid=7056 vsize=2416 CPUtime=0
/proc/7058/stat : 7058 (manysat.sh) S 7056 7058 28360 0 -1 4194304 351 0 0 0 0 0 0 0 18 0 1 0 935705846 2473984 274 4294967295 134512640 135169312 3214689552 3214688088 3085242094 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/7058/statm: 604 274 231 161 0 43 0
[pid=7059] ppid=7058 vsize=19552 CPUtime=0.71
/proc/7059/stat : 7059 (SatElite) R 7058 7058 28360 0 -1 4202496 4280 0 0 0 69 2 0 0 18 0 1 0 935705846 20021248 4216 4294967295 134512640 135034092 3217870816 3217867120 134569534 0 0 0 3 0 0 0 17 2 0 0 0
/proc/7059/statm: 4888 4216 67 128 0 4758 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 21968

[startup+1.5145 s]
/proc/loadavg: 4.01 4.30 4.37 2/100 7060
/proc/meminfo: memFree=2765040/3368532 swapFree=1959840/1959888
[pid=7058] ppid=7056 vsize=2416 CPUtime=0
/proc/7058/stat : 7058 (manysat.sh) S 7056 7058 28360 0 -1 4194304 351 0 0 0 0 0 0 0 18 0 1 0 935705846 2473984 274 4294967295 134512640 135169312 3214689552 3214688088 3085242094 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/7058/statm: 604 274 231 161 0 43 0
[pid=7059] ppid=7058 vsize=19552 CPUtime=1.51
/proc/7059/stat : 7059 (SatElite) R 7058 7058 28360 0 -1 4202496 4280 0 0 0 149 2 0 0 20 0 1 0 935705846 20021248 4216 4294967295 134512640 135034092 3217870816 3217867120 134569526 0 0 0 3 0 0 0 17 2 0 0 0
/proc/7059/statm: 4888 4216 67 128 0 4758 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 21968

[startup+3.11438 s]
/proc/loadavg: 4.01 4.30 4.37 2/100 7061
/proc/meminfo: memFree=2738448/3368532 swapFree=1959840/1959888
[pid=7058] ppid=7056 vsize=2420 CPUtime=1.88
/proc/7058/stat : 7058 (manysat.sh) S 7056 7058 28360 0 -1 4194304 370 4285 0 0 0 0 184 4 18 0 1 0 935705846 2478080 275 4294967295 134512640 135169312 3214689552 3214685768 3085242094 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/7058/statm: 605 275 231 161 0 44 0
[pid=7061] ppid=7058 vsize=78200 CPUtime=3.93
/proc/7061/stat : 7061 (manysat1.1_stat) R 7058 7058 28360 0 -1 4202496 12781 0 0 0 384 9 0 0 18 0 4 0 935706033 80076800 12717 4294967295 134512640 135305190 3221009152 3221007328 134528418 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/7061/statm: 19550 12717 79 194 0 19354 0
Current children cumulated CPU time (s) 5.81
Current children cumulated vsize (KiB) 80620

[startup+6.31412 s]
/proc/loadavg: 4.01 4.30 4.37 5/103 7064
/proc/meminfo: memFree=2723300/3368532 swapFree=1959840/1959888
[pid=7058] ppid=7056 vsize=2420 CPUtime=1.88
/proc/7058/stat : 7058 (manysat.sh) S 7056 7058 28360 0 -1 4194304 370 4285 0 0 0 0 184 4 18 0 1 0 935705846 2478080 275 4294967295 134512640 135169312 3214689552 3214685768 3085242094 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/7058/statm: 605 275 231 161 0 44 0
[pid=7061] ppid=7058 vsize=84456 CPUtime=16.7
/proc/7061/stat : 7061 (manysat1.1_stat) R 7058 7058 28360 0 -1 4202496 14469 0 0 0 1657 13 0 0 25 0 4 0 935706033 86482944 14405 4294967295 134512640 135305190 3221009152 3221007440 134563934 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/7061/statm: 21114 14405 79 194 0 20918 0
[pid=7061/tid=7062] ppid=7058 vsize=84456 CPUtime=4.13
/proc/7061/task/7062/stat : 7062 (manysat1.1_stat) R 7058 7058 28360 0 -1 4202560 1089 0 0 0 412 1 0 0 25 0 4 0 935706064 86482944 14405 4294967295 134512640 135305190 3221009152 3082403008 134528395 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=7061/tid=7063] ppid=7058 vsize=84456 CPUtime=4.1
/proc/7061/task/7063/stat : 7063 (manysat1.1_stat) R 7058 7058 28360 0 -1 4202560 967 0 0 0 409 1 0 0 25 0 4 0 935706064 86482944 14405 4294967295 134512640 135305190 3221009152 3074014400 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=7061/tid=7064] ppid=7058 vsize=84456 CPUtime=4.04
/proc/7061/task/7064/stat : 7064 (manysat1.1_stat) R 7058 7058 28360 0 -1 4202560 1076 0 0 0 400 4 0 0 25 0 4 0 935706064 86482944 14405 4294967295 134512640 135305190 3221009152 3065625792 134528376 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 18.58
Current children cumulated vsize (KiB) 86876

[startup+12.7136 s]
/proc/loadavg: 4.01 4.29 4.36 5/103 7065
/proc/meminfo: memFree=2714164/3368532 swapFree=1959840/1959888
[pid=7058] ppid=7056 vsize=2420 CPUtime=1.88
/proc/7058/stat : 7058 (manysat.sh) S 7056 7058 28360 0 -1 4194304 370 4285 0 0 0 0 184 4 18 0 1 0 935705846 2478080 275 4294967295 134512640 135169312 3214689552 3214685768 3085242094 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/7058/statm: 605 275 231 161 0 44 0
[pid=7061] ppid=7058 vsize=92392 CPUtime=42.28
/proc/7061/stat : 7061 (manysat1.1_stat) R 7058 7058 28360 0 -1 4202496 16585 0 0 0 4202 26 0 0 25 0 4 0 935706033 94609408 16521 4294967295 134512640 135305190 3221009152 3221007272 134839991 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/7061/statm: 23098 16521 79 194 0 22902 0
[pid=7061/tid=7062] ppid=7058 vsize=92392 CPUtime=10.53
/proc/7061/task/7062/stat : 7062 (manysat1.1_stat) R 7058 7058 28360 0 -1 4202560 1741 0 0 0 1047 6 0 0 25 0 4 0 935706064 94609408 16521 4294967295 134512640 135305190 3221009152 3082403008 134528875 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=7061/tid=7063] ppid=7058 vsize=92392 CPUtime=10.5
/proc/7061/task/7063/stat : 7063 (manysat1.1_stat) R 7058 7058 28360 0 -1 4202560 1283 0 0 0 1045 5 0 0 25 0 4 0 935706064 94609408 16521 4294967295 134512640 135305190 3221009152 3074014400 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=7061/tid=7064] ppid=7058 vsize=92392 CPUtime=10.42
/proc/7061/task/7064/stat : 7064 (manysat1.1_stat) R 7058 7058 28360 0 -1 4202560 1600 0 0 0 1036 6 0 0 25 0 4 0 935706064 94609408 16521 4294967295 134512640 135305190 3221009152 3065625792 134528341 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 44.16
Current children cumulated vsize (KiB) 94812

[startup+25.5126 s]
/proc/loadavg: 4.01 4.28 4.36 5/103 7065
/proc/meminfo: memFree=2700328/3368532 swapFree=1959840/1959888
[pid=7058] ppid=7056 vsize=2420 CPUtime=1.88
/proc/7058/stat : 7058 (manysat.sh) S 7056 7058 28360 0 -1 4194304 370 4285 0 0 0 0 184 4 18 0 1 0 935705846 2478080 275 4294967295 134512640 135169312 3214689552 3214685768 3085242094 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/7058/statm: 605 275 231 161 0 44 0
[pid=7061] ppid=7058 vsize=106916 CPUtime=93.39
/proc/7061/stat : 7061 (manysat1.1_stat) R 7058 7058 28360 0 -1 4202496 19893 0 0 0 9310 29 0 0 25 0 4 0 935706033 109481984 19829 4294967295 134512640 135305190 3221009152 3221007328 134528341 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/7061/statm: 26729 19829 79 194 0 26533 0
[pid=7061/tid=7062] ppid=7058 vsize=106916 CPUtime=23.32
/proc/7061/task/7062/stat : 7062 (manysat1.1_stat) R 7058 7058 28360 0 -1 4202560 2732 0 0 0 2326 6 0 0 25 0 4 0 935706064 109481984 19829 4294967295 134512640 135305190 3221009152 3082403008 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=7061/tid=7063] ppid=7058 vsize=106916 CPUtime=23.3
/proc/7061/task/7063/stat : 7063 (manysat1.1_stat) R 7058 7058 28360 0 -1 4202560 1995 0 0 0 2323 7 0 0 25 0 4 0 935706064 109481984 19829 4294967295 134512640 135305190 3221009152 3074014400 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=7061/tid=7064] ppid=7058 vsize=106916 CPUtime=23.14
/proc/7061/task/7064/stat : 7064 (manysat1.1_stat) R 7058 7058 28360 0 -1 4202560 2208 0 0 0 2308 6 0 0 25 0 4 0 935706064 109481984 19829 4294967295 134512640 135305190 3221009152 3065625792 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 95.27
Current children cumulated vsize (KiB) 109336

[startup+51.1105 s]
/proc/loadavg: 4.17 4.29 4.36 6/104 7151
/proc/meminfo: memFree=2681008/3368532 swapFree=1959840/1959888
[pid=7058] ppid=7056 vsize=2420 CPUtime=1.88
/proc/7058/stat : 7058 (manysat.sh) S 7056 7058 28360 0 -1 4194304 370 4285 0 0 0 0 184 4 18 0 1 0 935705846 2478080 275 4294967295 134512640 135169312 3214689552 3214685768 3085242094 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/7058/statm: 605 275 231 161 0 44 0
[pid=7061] ppid=7058 vsize=125528 CPUtime=195.5
/proc/7061/stat : 7061 (manysat1.1_stat) R 7058 7058 28360 0 -1 4202496 24434 0 0 0 19502 48 0 0 25 0 4 0 935706033 128540672 24370 4294967295 134512640 135305190 3221009152 3221007328 134528298 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/7061/statm: 31382 24370 79 194 0 31186 0
[pid=7061/tid=7062] ppid=7058 vsize=125528 CPUtime=48.86
/proc/7061/task/7062/stat : 7062 (manysat1.1_stat) R 7058 7058 28360 0 -1 4202560 4180 0 0 0 4871 15 0 0 25 0 4 0 935706064 128540672 24370 4294967295 134512640 135305190 3221009152 3082403008 134528515 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=7061/tid=7063] ppid=7058 vsize=125528 CPUtime=48.9
/proc/7061/task/7063/stat : 7063 (manysat1.1_stat) R 7058 7058 28360 0 -1 4202560 3172 0 0 0 4880 10 0 0 25 0 4 0 935706064 128540672 24370 4294967295 134512640 135305190 3221009152 3074014400 134528322 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=7061/tid=7064] ppid=7058 vsize=125528 CPUtime=48.6
/proc/7061/task/7064/stat : 7064 (manysat1.1_stat) R 7058 7058 28360 0 -1 4202560 3446 0 0 0 4848 12 0 0 25 0 4 0 935706064 128540672 24370 4294967295 134512640 135305190 3221009152 3065625792 134528768 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 197.38
Current children cumulated vsize (KiB) 127948

[startup+102.316 s]
/proc/loadavg: 4.41 4.35 4.38 5/103 7254
/proc/meminfo: memFree=2652648/3368532 swapFree=1959840/1959888
[pid=7058] ppid=7056 vsize=2420 CPUtime=1.88
/proc/7058/stat : 7058 (manysat.sh) S 7056 7058 28360 0 -1 4194304 370 4285 0 0 0 0 184 4 18 0 1 0 935705846 2478080 275 4294967295 134512640 135169312 3214689552 3214685768 3085242094 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/7058/statm: 605 275 231 161 0 44 0
[pid=7061] ppid=7058 vsize=156632 CPUtime=399.92
/proc/7061/stat : 7061 (manysat1.1_stat) R 7058 7058 28360 0 -1 4202496 31676 0 0 0 39925 67 0 0 25 0 4 0 935706033 160391168 31612 4294967295 134512640 135305190 3221009152 3221007328 134528392 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/7061/statm: 39158 31612 79 194 0 38962 0
[pid=7061/tid=7062] ppid=7058 vsize=156632 CPUtime=99.81
/proc/7061/task/7062/stat : 7062 (manysat1.1_stat) R 7058 7058 28360 0 -1 4202560 5882 0 0 0 9955 26 0 0 25 0 4 0 935706064 160391168 31612 4294967295 134512640 135305190 3221009152 3082403008 134528406 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=7061/tid=7063] ppid=7058 vsize=156632 CPUtime=100.05
/proc/7061/task/7063/stat : 7063 (manysat1.1_stat) R 7058 7058 28360 0 -1 4202560 5368 0 0 0 9993 12 0 0 25 0 4 0 935706064 160391168 31612 4294967295 134512640 135305190 3221009152 3074014400 134528571 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=7061/tid=7064] ppid=7058 vsize=156632 CPUtime=99.81
/proc/7061/task/7064/stat : 7064 (manysat1.1_stat) R 7058 7058 28360 0 -1 4202560 4600 0 0 0 9966 15 0 0 25 0 4 0 935706064 160391168 31612 4294967295 134512640 135305190 3221009152 3065625792 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 401.8
Current children cumulated vsize (KiB) 159052

[startup+162.302 s]
/proc/loadavg: 4.48 4.39 4.38 5/103 7450
/proc/meminfo: memFree=2628460/3368532 swapFree=1959840/1959888
[pid=7058] ppid=7056 vsize=2420 CPUtime=1.88
/proc/7058/stat : 7058 (manysat.sh) S 7056 7058 28360 0 -1 4194304 370 4285 0 0 0 0 184 4 18 0 1 0 935705846 2478080 275 4294967295 134512640 135169312 3214689552 3214685768 3085242094 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/7058/statm: 605 275 231 161 0 44 0
[pid=7061] ppid=7058 vsize=182916 CPUtime=639.23
/proc/7061/stat : 7061 (manysat1.1_stat) R 7058 7058 28360 0 -1 4202496 37744 0 0 0 63835 88 0 0 25 0 4 0 935706033 187305984 37639 4294967295 134512640 135305190 3221009152 3221007328 134528768 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/7061/statm: 45729 37639 79 194 0 45533 0
[pid=7061/tid=7062] ppid=7058 vsize=182916 CPUtime=159.7
/proc/7061/task/7062/stat : 7062 (manysat1.1_stat) R 7058 7058 28360 0 -1 4202560 6962 0 0 0 15941 29 0 0 25 0 4 0 935706064 187305984 37639 4294967295 134512640 135305190 3221009152 3082403008 134528399 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=7061/tid=7063] ppid=7058 vsize=182916 CPUtime=160.03
/proc/7061/task/7063/stat : 7063 (manysat1.1_stat) R 7058 7058 28360 0 -1 4202560 7519 0 0 0 15988 15 0 0 25 0 4 0 935706064 187305984 37639 4294967295 134512640 135305190 3221009152 3074014400 134528777 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=7061/tid=7064] ppid=7058 vsize=182916 CPUtime=159.47
/proc/7061/task/7064/stat : 7064 (manysat1.1_stat) R 7058 7058 28360 0 -1 4202560 6101 0 0 0 15923 24 0 0 25 0 4 0 935706064 187305984 37639 4294967295 134512640 135305190 3221009152 3065625792 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 641.11

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

[startup+522.303 s]
/proc/loadavg: 4.58 4.52 4.43 5/103 8582
/proc/meminfo: memFree=2569512/3368532 swapFree=1959840/1959888
[pid=7058] ppid=7056 vsize=2420 CPUtime=1.88
/proc/7058/stat : 7058 (manysat.sh) S 7056 7058 28360 0 -1 4194304 370 4285 0 0 0 0 184 4 18 0 1 0 935705846 2478080 275 4294967295 134512640 135169312 3214689552 3214685768 3085242094 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/7058/statm: 605 275 231 161 0 44 0
[pid=7061] ppid=7058 vsize=247052 CPUtime=2075.75
/proc/7061/stat : 7061 (manysat1.1_stat) R 7058 7058 28360 0 -1 4202496 52775 0 0 0 207353 222 0 0 25 0 4 0 935706033 252981248 52617 4294967295 134512640 135305190 3221009152 3221007328 134528768 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/7061/statm: 61763 52617 79 194 0 61567 0
[pid=7061/tid=7062] ppid=7058 vsize=247052 CPUtime=519.18
/proc/7061/task/7062/stat : 7062 (manysat1.1_stat) R 7058 7058 28360 0 -1 4202560 11539 0 0 0 51856 62 0 0 25 0 4 0 935706064 252981248 52617 4294967295 134512640 135305190 3221009152 3082403008 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=7061/tid=7063] ppid=7058 vsize=247052 CPUtime=519.34
/proc/7061/task/7063/stat : 7063 (manysat1.1_stat) R 7058 7058 28360 0 -1 4202560 10391 0 0 0 51889 45 0 0 25 0 4 0 935706064 252981248 52617 4294967295 134512640 135305190 3221009152 3074014400 134528402 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=7061/tid=7064] ppid=7058 vsize=247052 CPUtime=518.58
/proc/7061/task/7064/stat : 7064 (manysat1.1_stat) R 7058 7058 28360 0 -1 4202560 10623 0 0 0 51796 62 0 0 25 0 4 0 935706064 252981248 52617 4294967295 134512640 135305190 3221009152 3065625792 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2077.63
Current children cumulated vsize (KiB) 249472

[startup+582.318 s]
/proc/loadavg: 4.54 4.51 4.44 5/103 8773
/proc/meminfo: memFree=2549976/3368532 swapFree=1959840/1959888
[pid=7058] ppid=7056 vsize=2420 CPUtime=1.88
/proc/7058/stat : 7058 (manysat.sh) S 7056 7058 28360 0 -1 4194304 370 4285 0 0 0 0 184 4 18 0 1 0 935705846 2478080 275 4294967295 134512640 135169312 3214689552 3214685768 3085242094 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/7058/statm: 605 275 231 161 0 44 0
[pid=7061] ppid=7058 vsize=266804 CPUtime=2315.22
/proc/7061/stat : 7061 (manysat1.1_stat) R 7058 7058 28360 0 -1 4202496 57405 0 0 0 231278 244 0 0 25 0 4 0 935706033 273207296 57194 4294967295 134512640 135305190 3221009152 3221007328 134528768 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/7061/statm: 66701 57194 79 194 0 66505 0
[pid=7061/tid=7062] ppid=7058 vsize=266804 CPUtime=579.16
/proc/7061/task/7062/stat : 7062 (manysat1.1_stat) R 7058 7058 28360 0 -1 4202560 13605 0 0 0 57849 67 0 0 25 0 4 0 935706064 273207296 57194 4294967295 134512640 135305190 3221009152 3082403008 134528410 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=7061/tid=7063] ppid=7058 vsize=266804 CPUtime=579.29
/proc/7061/task/7063/stat : 7063 (manysat1.1_stat) R 7058 7058 28360 0 -1 4202560 10813 0 0 0 57878 51 0 0 25 0 4 0 935706064 273207296 57194 4294967295 134512640 135305190 3221009152 3074014400 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=7061/tid=7064] ppid=7058 vsize=266804 CPUtime=578.47
/proc/7061/task/7064/stat : 7064 (manysat1.1_stat) R 7058 7058 28360 0 -1 4202560 11721 0 0 0 57780 67 0 0 25 0 4 0 935706064 273207296 57194 4294967295 134512640 135305190 3221009152 3065625792 134528480 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2317.1
Current children cumulated vsize (KiB) 269224

[startup+642.313 s]
/proc/loadavg: 4.60 4.54 4.45 5/103 8960
/proc/meminfo: memFree=2546752/3368532 swapFree=1959840/1959888
[pid=7058] ppid=7056 vsize=2420 CPUtime=1.88
/proc/7058/stat : 7058 (manysat.sh) S 7056 7058 28360 0 -1 4194304 370 4285 0 0 0 0 184 4 18 0 1 0 935705846 2478080 275 4294967295 134512640 135169312 3214689552 3214685768 3085242094 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/7058/statm: 605 275 231 161 0 44 0
[pid=7061] ppid=7058 vsize=270188 CPUtime=2554.36
/proc/7061/stat : 7061 (manysat1.1_stat) R 7058 7058 28360 0 -1 4202496 58121 0 0 0 255172 264 0 0 25 0 4 0 935706033 276672512 57910 4294967295 134512640 135305190 3221009152 3221007328 134528428 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/7061/statm: 67547 57910 79 194 0 67351 0
[pid=7061/tid=7062] ppid=7058 vsize=270188 CPUtime=639.08
/proc/7061/task/7062/stat : 7062 (manysat1.1_stat) R 7058 7058 28360 0 -1 4202560 13889 0 0 0 63840 68 0 0 25 0 4 0 935706064 276672512 57910 4294967295 134512640 135305190 3221009152 3082403008 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=7061/tid=7063] ppid=7058 vsize=270188 CPUtime=639.23
/proc/7061/task/7063/stat : 7063 (manysat1.1_stat) R 7058 7058 28360 0 -1 4202560 10908 0 0 0 63870 53 0 0 25 0 4 0 935706064 276672512 57910 4294967295 134512640 135305190 3221009152 3074014400 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=7061/tid=7064] ppid=7058 vsize=270188 CPUtime=637.97
/proc/7061/task/7064/stat : 7064 (manysat1.1_stat) R 7058 7058 28360 0 -1 4202560 11838 0 0 0 63718 79 0 0 25 0 4 0 935706064 276672512 57910 4294967295 134512640 135305190 3221009152 3065625584 134547909 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2556.24
Current children cumulated vsize (KiB) 272608

[startup+702.308 s]
/proc/loadavg: 4.69 4.57 4.47 6/103 9148
/proc/meminfo: memFree=2540768/3368532 swapFree=1959840/1959888
[pid=7058] ppid=7056 vsize=2420 CPUtime=1.88
/proc/7058/stat : 7058 (manysat.sh) S 7056 7058 28360 0 -1 4194304 370 4285 0 0 0 0 184 4 18 0 1 0 935705846 2478080 275 4294967295 134512640 135169312 3214689552 3214685768 3085242094 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/7058/statm: 605 275 231 161 0 44 0
[pid=7061] ppid=7058 vsize=277512 CPUtime=2793.93
/proc/7061/stat : 7061 (manysat1.1_stat) R 7058 7058 28360 0 -1 4202496 59727 0 0 0 279114 279 0 0 25 0 4 0 935706033 284172288 59516 4294967295 134512640 135305190 3221009152 3221007328 134528768 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/7061/statm: 69378 59516 79 194 0 69182 0
[pid=7061/tid=7062] ppid=7058 vsize=277512 CPUtime=698.95
/proc/7061/task/7062/stat : 7062 (manysat1.1_stat) R 7058 7058 28360 0 -1 4202560 14910 0 0 0 69822 73 0 0 25 0 4 0 935706064 284172288 59516 4294967295 134512640 135305190 3221009152 3082403008 134528265 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=7061/tid=7063] ppid=7058 vsize=277512 CPUtime=699.15
/proc/7061/task/7063/stat : 7063 (manysat1.1_stat) R 7058 7058 28360 0 -1 4202560 10957 0 0 0 69858 57 0 0 25 0 4 0 935706064 284172288 59516 4294967295 134512640 135305190 3221009152 3074014344 134840070 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=7061/tid=7064] ppid=7058 vsize=277512 CPUtime=697.78
/proc/7061/task/7064/stat : 7064 (manysat1.1_stat) R 7058 7058 28360 0 -1 4202560 12019 0 0 0 69695 83 0 0 25 0 4 0 935706064 284172288 59516 4294967295 134512640 135305190 3221009152 3065625792 134528392 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2795.81
Current children cumulated vsize (KiB) 279932

[startup+762.313 s]
/proc/loadavg: 4.62 4.57 4.47 5/103 9337
/proc/meminfo: memFree=2534228/3368532 swapFree=1959840/1959888
[pid=7058] ppid=7056 vsize=2420 CPUtime=1.88
/proc/7058/stat : 7058 (manysat.sh) S 7056 7058 28360 0 -1 4194304 370 4285 0 0 0 0 184 4 18 0 1 0 935705846 2478080 275 4294967295 134512640 135169312 3214689552 3214685768 3085242094 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/7058/statm: 605 275 231 161 0 44 0
[pid=7061] ppid=7058 vsize=285616 CPUtime=3033.59
/proc/7061/stat : 7061 (manysat1.1_stat) R 7058 7058 28360 0 -1 4202496 61419 0 0 0 303051 308 0 0 25 0 4 0 935706033 292470784 61208 4294967295 134512640 135305190 3221009152 3221007328 134528298 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/7061/statm: 71404 61208 79 194 0 71208 0
[pid=7061/tid=7062] ppid=7058 vsize=285616 CPUtime=758.71
/proc/7061/task/7062/stat : 7062 (manysat1.1_stat) R 7058 7058 28360 0 -1 4202560 15406 0 0 0 75793 78 0 0 25 0 4 0 935706064 292470784 61208 4294967295 134512640 135305190 3221009152 3082403008 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=7061/tid=7063] ppid=7058 vsize=285616 CPUtime=759.14
/proc/7061/task/7063/stat : 7063 (manysat1.1_stat) R 7058 7058 28360 0 -1 4202560 11036 0 0 0 75846 68 0 0 25 0 4 0 935706064 292470784 61208 4294967295 134512640 135305190 3221009152 3074014400 134528392 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=7061/tid=7064] ppid=7058 vsize=285616 CPUtime=757.68
/proc/7061/task/7064/stat : 7064 (manysat1.1_stat) R 7058 7058 28360 0 -1 4202560 12753 0 0 0 75678 90 0 0 25 0 4 0 935706064 292470784 61208 4294967295 134512640 135305190 3221009152 3065625792 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3035.47
Current children cumulated vsize (KiB) 288036

[startup+822.308 s]
/proc/loadavg: 4.55 4.56 4.47 5/103 9524
/proc/meminfo: memFree=2529404/3368532 swapFree=1959840/1959888
[pid=7058] ppid=7056 vsize=2420 CPUtime=1.88
/proc/7058/stat : 7058 (manysat.sh) S 7056 7058 28360 0 -1 4194304 370 4285 0 0 0 0 184 4 18 0 1 0 935705846 2478080 275 4294967295 134512640 135169312 3214689552 3214685768 3085242094 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/7058/statm: 605 275 231 161 0 44 0
[pid=7061] ppid=7058 vsize=291728 CPUtime=3273.18
/proc/7061/stat : 7061 (manysat1.1_stat) R 7058 7058 28360 0 -1 4202496 62762 0 0 0 326995 323 0 0 25 0 4 0 935706033 298729472 62551 4294967295 134512640 135305190 3221009152 3221007328 134528392 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/7061/statm: 72932 62551 79 194 0 72736 0
[pid=7061/tid=7062] ppid=7058 vsize=291728 CPUtime=818.49
/proc/7061/task/7062/stat : 7062 (manysat1.1_stat) R 7058 7058 28360 0 -1 4202560 15887 0 0 0 81765 84 0 0 25 0 4 0 935706064 298729472 62551 4294967295 134512640 135305190 3221009152 3082403008 134528406 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=7061/tid=7063] ppid=7058 vsize=291728 CPUtime=819.13
/proc/7061/task/7063/stat : 7063 (manysat1.1_stat) R 7058 7058 28360 0 -1 4202560 11154 0 0 0 81843 70 0 0 25 0 4 0 935706064 298729472 62551 4294967295 134512640 135305190 3221009152 3074014400 134528768 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=7061/tid=7064] ppid=7058 vsize=291728 CPUtime=817.55
/proc/7061/task/7064/stat : 7064 (manysat1.1_stat) R 7058 7058 28360 0 -1 4202560 13028 0 0 0 81660 95 0 0 25 0 4 0 935706064 298729472 62551 4294967295 134512640 135305190 3221009152 3065625792 134528392 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3275.06
Current children cumulated vsize (KiB) 294148

[startup+882.304 s]
/proc/loadavg: 4.58 4.56 4.47 6/103 9716
/proc/meminfo: memFree=2525144/3368532 swapFree=1959840/1959888
[pid=7058] ppid=7056 vsize=2420 CPUtime=1.88
/proc/7058/stat : 7058 (manysat.sh) S 7056 7058 28360 0 -1 4194304 370 4285 0 0 0 0 184 4 18 0 1 0 935705846 2478080 275 4294967295 134512640 135169312 3214689552 3214685768 3085242094 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/7058/statm: 605 275 231 161 0 44 0
[pid=7061] ppid=7058 vsize=295892 CPUtime=3512.64
/proc/7061/stat : 7061 (manysat1.1_stat) R 7058 7058 28360 0 -1 4202496 63786 0 0 0 350919 345 0 0 25 0 4 0 935706033 302993408 63575 4294967295 134512640 135305190 3221009152 3221007328 134528768 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/7061/statm: 73973 63575 79 194 0 73777 0
[pid=7061/tid=7062] ppid=7058 vsize=295892 CPUtime=878.21
/proc/7061/task/7062/stat : 7062 (manysat1.1_stat) R 7058 7058 28360 0 -1 4202560 16113 0 0 0 87727 94 0 0 25 0 4 0 935706064 302993408 63575 4294967295 134512640 135305190 3221009152 3082403008 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=7061/tid=7063] ppid=7058 vsize=295892 CPUtime=879.09
/proc/7061/task/7063/stat : 7063 (manysat1.1_stat) R 7058 7058 28360 0 -1 4202560 11211 0 0 0 87835 74 0 0 25 0 4 0 935706064 302993408 63575 4294967295 134512640 135305190 3221009152 3074014400 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=7061/tid=7064] ppid=7058 vsize=295892 CPUtime=877.35
/proc/7061/task/7064/stat : 7064 (manysat1.1_stat) R 7058 7058 28360 0 -1 4202560 13335 0 0 0 87635 100 0 0 25 0 4 0 935706064 302993408 63575 4294967295 134512640 135305190 3221009152 3065625792 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3514.52
Current children cumulated vsize (KiB) 298312

[startup+942.319 s]
/proc/loadavg: 4.50 4.53 4.46 5/103 9903
/proc/meminfo: memFree=2506504/3368532 swapFree=1959840/1959888
[pid=7058] ppid=7056 vsize=2420 CPUtime=1.88
/proc/7058/stat : 7058 (manysat.sh) S 7056 7058 28360 0 -1 4194304 370 4285 0 0 0 0 184 4 18 0 1 0 935705846 2478080 275 4294967295 134512640 135169312 3214689552 3214685768 3085242094 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/7058/statm: 605 275 231 161 0 44 0
[pid=7061] ppid=7058 vsize=315800 CPUtime=3752.21
/proc/7061/stat : 7061 (manysat1.1_stat) R 7058 7058 28360 0 -1 4202496 68427 0 0 0 374846 375 0 0 25 0 4 0 935706033 323379200 68216 4294967295 134512640 135305190 3221009152 3221007328 134528298 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/7061/statm: 78950 68216 79 194 0 78754 0
[pid=7061/tid=7062] ppid=7058 vsize=315800 CPUtime=938.05
/proc/7061/task/7062/stat : 7062 (manysat1.1_stat) R 7058 7058 28360 0 -1 4202560 16701 0 0 0 93706 99 0 0 25 0 4 0 935706064 323379200 68216 4294967295 134512640 135305190 3221009152 3082403008 134528768 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=7061/tid=7063] ppid=7058 vsize=315800 CPUtime=939.05
/proc/7061/task/7063/stat : 7063 (manysat1.1_stat) R 7058 7058 28360 0 -1 4202560 11676 0 0 0 93826 79 0 0 25 0 4 0 935706064 323379200 68216 4294967295 134512640 135305190 3221009152 3074014400 134528768 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=7061/tid=7064] ppid=7058 vsize=315800 CPUtime=937.12
/proc/7061/task/7064/stat : 7064 (manysat1.1_stat) R 7058 7058 28360 0 -1 4202560 15736 0 0 0 93598 114 0 0 25 0 4 0 935706064 323379200 68216 4294967295 134512640 135305190 3221009152 3065625536 134541680 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3754.09
Current children cumulated vsize (KiB) 318220



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.01 s]
/proc/loadavg: 4.75 4.58 4.48 5/103 10091
/proc/meminfo: memFree=2501836/3368532 swapFree=1959840/1959888
[pid=7058] ppid=7056 vsize=2420 CPUtime=1.88
/proc/7058/stat : 7058 (manysat.sh) S 7056 7058 28360 0 -1 4194304 370 4285 0 0 0 0 184 4 18 0 1 0 935705846 2478080 275 4294967295 134512640 135169312 3214689552 3214685768 3085242094 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/7058/statm: 605 275 231 161 0 44 0
[pid=7061] ppid=7058 vsize=318584 CPUtime=3982.51
/proc/7061/stat : 7061 (manysat1.1_stat) R 7058 7058 28360 0 -1 4202496 69277 0 0 0 397856 395 0 0 25 0 4 0 935706033 326230016 69039 4294967295 134512640 135305190 3221009152 3221007328 134528768 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/7061/statm: 79646 69039 79 194 0 79450 0
[pid=7061/tid=7062] ppid=7058 vsize=318584 CPUtime=995.63
/proc/7061/task/7062/stat : 7062 (manysat1.1_stat) R 7058 7058 28360 0 -1 4202560 16873 0 0 0 99458 105 0 0 25 0 4 0 935706064 326230016 69039 4294967295 134512640 135305190 3221009152 3082403008 134528455 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=7061/tid=7063] ppid=7058 vsize=318584 CPUtime=996.74
/proc/7061/task/7063/stat : 7063 (manysat1.1_stat) R 7058 7058 28360 0 -1 4202560 11702 0 0 0 99593 81 0 0 25 0 4 0 935706064 326230016 69039 4294967295 134512640 135305190 3221009152 3074014400 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=7061/tid=7064] ppid=7058 vsize=318584 CPUtime=994.47
/proc/7061/task/7064/stat : 7064 (manysat1.1_stat) R 7058 7058 28360 0 -1 4202560 15858 0 0 0 99327 120 0 0 25 0 4 0 935706064 326230016 69039 4294967295 134512640 135305190 3221009152 3065625792 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3984.39
Current children cumulated vsize (KiB) 321004

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): 3984.47
CPU user time (s): 3980.46
CPU system time (s): 4.01
CPU usage (%): 398.426
Max. virtual memory (cumulated for all children) (KiB): 321004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3980.46
system time used= 4.01
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74210
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= 2696
involuntary context switches= 191359

runsolver used 0 second user time and 0 second system time

The end

Launcher Data 

Begin job on tipi39 at 2009-05-28 22:08:11
IDJOB=1781071
IDBENCH=71093
IDSOLVER=620
FILE ID=tipi39/1781071-1243541291
PBS_JOBID=
Free space on /tmp= 5741 MiB

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

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

MD5SUM BENCH= 3cd74d1813a4408b4123afc23df07d7d
RANDOM SEED= 650420370

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:       2782060 kB
Buffers:         52240 kB
Cached:         427944 kB
SwapCached:          0 kB
Active:          44596 kB
Inactive:       451932 kB
HighTotal:     2489216 kB
HighFree:      2046820 kB
LowTotal:       879316 kB
LowFree:        735240 kB
SwapTotal:     1959888 kB
SwapFree:      1959840 kB
Dirty:            4232 kB
Writeback:           0 kB
AnonPages:       16344 kB
Mapped:           6024 kB
Slab:            79404 kB
SReclaimable:    68136 kB
SUnreclaim:      11268 kB
PageTables:        512 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:    95164 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 5741 MiB
End job on tipi39 at 2009-05-28 22:24:51