Trace number 1778959

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

General information on the benchmark

NameAPPLICATIONS/bitverif/
mulhs/mulhs032.cnf
MD5SUM431823fbe355abc605baf058be5925a0
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 variables18792
Number of clauses56183
Sum of the clauses size131091
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 237454
Number of clauses of size 318727
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.03/0.04	c ==============================================================================
0.03/0.04	c |           |     ORIGINAL     |              LEARNT              |          |
0.03/0.04	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.03/0.04	c ==============================================================================
0.03/0.04	c |         0 |   56181   131089 |   16854       0        0     nan |  0.000 % |
0.21/0.26	c |         0 |   42760   118489 |      --       0       --      -- |     --   | -13419/-12595
0.21/0.26	c ==============================================================================
0.21/0.26	c Result  :   #vars: 10688   #clauses: 42760   #literals: 118489
0.21/0.26	c CPU time:   0.26 s
0.21/0.26	c ==============================================================================
3988.64/1000.05	HOME/manysat.sh: line 55: 28792 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-1778959-1243517621/watcher-1778959-1243517621 -o /tmp/evaluation-result-1778959-1243517621/solver-1778959-1243517621 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1778959-1243517621.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.41 4.46 4.38 3/98 28789
/proc/meminfo: memFree=2946436/3368532 swapFree=1959840/1959888
[pid=28789] ppid=28787 vsize=2412 CPUtime=0
/proc/28789/stat : 28789 (manysat.sh) S 28787 28789 28360 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 933338894 2469888 273 4294967295 134512640 135169312 3220056608 3220055144 3085123310 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/28789/statm: 603 273 231 161 0 42 0
[pid=28790] ppid=28789 vsize=1176 CPUtime=0
/proc/28790/stat : 28790 (SatElite) R 28789 28789 28360 0 -1 4202496 235 0 0 0 0 0 0 0 18 0 1 0 933338894 1204224 172 4294967295 134512640 135034092 3217915872 3217911832 134673244 0 0 0 3 0 0 0 17 0 0 0 0
/proc/28790/statm: 294 173 49 128 0 164 0

[startup+0.026601 s]
/proc/loadavg: 4.41 4.46 4.38 3/98 28789
/proc/meminfo: memFree=2946436/3368532 swapFree=1959840/1959888
[pid=28789] ppid=28787 vsize=2412 CPUtime=0
/proc/28789/stat : 28789 (manysat.sh) S 28787 28789 28360 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 933338894 2469888 273 4294967295 134512640 135169312 3220056608 3220055144 3085123310 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/28789/statm: 603 273 231 161 0 42 0
[pid=28790] ppid=28789 vsize=5320 CPUtime=0.03
/proc/28790/stat : 28790 (SatElite) R 28789 28789 28360 0 -1 4202496 1206 0 0 0 3 0 0 0 18 0 1 0 933338894 5447680 1143 4294967295 134512640 135034092 3217915872 3217911832 134673244 0 0 0 3 0 0 0 17 0 0 0 0
/proc/28790/statm: 1330 1143 49 128 0 1200 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 7732

[startup+0.106596 s]
/proc/loadavg: 4.41 4.46 4.38 3/98 28789
/proc/meminfo: memFree=2946436/3368532 swapFree=1959840/1959888
[pid=28789] ppid=28787 vsize=2412 CPUtime=0
/proc/28789/stat : 28789 (manysat.sh) S 28787 28789 28360 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 933338894 2469888 273 4294967295 134512640 135169312 3220056608 3220055144 3085123310 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/28789/statm: 603 273 231 161 0 42 0
[pid=28790] ppid=28789 vsize=11108 CPUtime=0.11
/proc/28790/stat : 28790 (SatElite) R 28789 28789 28360 0 -1 4202496 2560 0 0 0 11 0 0 0 18 0 1 0 933338894 11374592 2350 4294967295 134512640 135034092 3217915872 3217911868 134691101 0 0 0 3 0 0 0 17 0 0 0 0
/proc/28790/statm: 2777 2351 67 128 0 2647 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 13520

[startup+0.306578 s]
/proc/loadavg: 4.41 4.46 4.38 3/98 28789
/proc/meminfo: memFree=2946436/3368532 swapFree=1959840/1959888
[pid=28789] ppid=28787 vsize=2412 CPUtime=0
/proc/28789/stat : 28789 (manysat.sh) S 28787 28789 28360 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 933338894 2469888 273 4294967295 134512640 135169312 3220056608 3220055144 3085123310 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/28789/statm: 603 273 231 161 0 42 0
[pid=28790] ppid=28789 vsize=11508 CPUtime=0.31
/proc/28790/stat : 28790 (SatElite) R 28789 28789 28360 0 -1 4202496 2714 0 0 0 31 0 0 0 18 0 1 0 933338894 11784192 2449 4294967295 134512640 135034092 3217915872 3217910756 134691101 0 0 0 3 0 0 0 17 0 0 0 0
/proc/28790/statm: 2877 2449 68 128 0 2747 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 13920

[startup+0.706557 s]
/proc/loadavg: 4.41 4.46 4.38 3/98 28789
/proc/meminfo: memFree=2946436/3368532 swapFree=1959840/1959888
[pid=28789] ppid=28787 vsize=2416 CPUtime=0.31
/proc/28789/stat : 28789 (manysat.sh) S 28787 28789 28360 0 -1 4194304 370 2717 0 0 0 0 31 0 15 0 1 0 933338894 2473984 274 4294967295 134512640 135169312 3220056608 3220052824 3085123310 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/28789/statm: 604 274 231 161 0 43 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 2416

[startup+1.50649 s]
/proc/loadavg: 4.41 4.46 4.38 6/103 28795
/proc/meminfo: memFree=2927788/3368532 swapFree=1959840/1959888
[pid=28789] ppid=28787 vsize=2416 CPUtime=0.31
/proc/28789/stat : 28789 (manysat.sh) S 28787 28789 28360 0 -1 4194304 370 2717 0 0 0 0 31 0 15 0 1 0 933338894 2473984 274 4294967295 134512640 135169312 3220056608 3220052824 3085123310 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/28789/statm: 604 274 231 161 0 43 0
[pid=28792] ppid=28789 vsize=49024 CPUtime=4.45
/proc/28792/stat : 28792 (manysat1.1_stat) R 28789 28789 28360 0 -1 4202496 5503 0 0 0 441 4 0 0 16 0 4 0 933338925 50200576 5438 4294967295 134512640 135305190 3215447472 3215445648 134528298 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/28792/statm: 12256 5438 79 194 0 12060 0
[pid=28792/tid=28793] ppid=28789 vsize=49024 CPUtime=1.09
/proc/28792/task/28793/stat : 28793 (manysat1.1_stat) R 28789 28789 28360 0 -1 4202560 411 0 0 0 108 1 0 0 15 0 4 0 933338933 50200576 5438 4294967295 134512640 135305190 3215447472 3083291840 134528229 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=28792/tid=28794] ppid=28789 vsize=49024 CPUtime=1.06
/proc/28792/task/28794/stat : 28794 (manysat1.1_stat) R 28789 28789 28360 0 -1 4202560 595 0 0 0 106 0 0 0 17 0 4 0 933338933 50200576 5438 4294967295 134512640 135305190 3215447472 3074903156 134695249 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=28792/tid=28795] ppid=28789 vsize=49024 CPUtime=1.1
/proc/28792/task/28795/stat : 28795 (manysat1.1_stat) R 28789 28789 28360 0 -1 4202560 517 0 0 0 110 0 0 0 16 0 4 0 933338933 50200576 5438 4294967295 134512640 135305190 3215447472 3066514696 134695249 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.76
Current children cumulated vsize (KiB) 51440

[startup+3.12498 s]
/proc/loadavg: 4.41 4.46 4.38 6/103 28795
/proc/meminfo: memFree=2921748/3368532 swapFree=1959840/1959888
[pid=28789] ppid=28787 vsize=2416 CPUtime=0.31
/proc/28789/stat : 28789 (manysat.sh) S 28787 28789 28360 0 -1 4194304 370 2717 0 0 0 0 31 0 15 0 1 0 933338894 2473984 274 4294967295 134512640 135169312 3220056608 3220052824 3085123310 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/28789/statm: 604 274 231 161 0 43 0
[pid=28792] ppid=28789 vsize=57024 CPUtime=10.89
/proc/28792/stat : 28792 (manysat1.1_stat) S 28789 28789 28360 0 -1 4202496 7381 0 0 0 1082 7 0 0 15 0 4 0 933338925 58392576 7316 4294967295 134512640 135305190 3215447472 3215445572 134694990 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/28792/statm: 14256 7316 79 194 0 14060 0
[pid=28792/tid=28793] ppid=28789 vsize=57024 CPUtime=2.7
/proc/28792/task/28793/stat : 28793 (manysat1.1_stat) R 28789 28789 28360 0 -1 4202560 729 0 0 0 268 2 0 0 15 0 4 0 933338933 58392576 7316 4294967295 134512640 135305190 3215447472 3083291688 134695249 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=28792/tid=28794] ppid=28789 vsize=57024 CPUtime=2.67
/proc/28792/task/28794/stat : 28794 (manysat1.1_stat) R 28789 28789 28360 0 -1 4202560 1184 0 0 0 265 2 0 0 17 0 4 0 933338933 58392576 7316 4294967295 134512640 135305190 3215447472 3074903300 134695249 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=28792/tid=28795] ppid=28789 vsize=57024 CPUtime=2.71
/proc/28792/task/28795/stat : 28795 (manysat1.1_stat) R 28789 28789 28360 0 -1 4202560 1060 0 0 0 271 0 0 0 16 0 4 0 933338933 58392576 7316 4294967295 134512640 135305190 3215447472 3066514692 134695249 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 11.2
Current children cumulated vsize (KiB) 59440

[startup+6.3061 s]
/proc/loadavg: 4.45 4.46 4.38 9/106 28798
/proc/meminfo: memFree=2908092/3368532 swapFree=1959840/1959888
[pid=28789] ppid=28787 vsize=2416 CPUtime=0.31
/proc/28789/stat : 28789 (manysat.sh) S 28787 28789 28360 0 -1 4194304 370 2717 0 0 0 0 31 0 15 0 1 0 933338894 2473984 274 4294967295 134512640 135169312 3220056608 3220052824 3085123310 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/28789/statm: 604 274 231 161 0 43 0
[pid=28792] ppid=28789 vsize=69180 CPUtime=23.62
/proc/28792/stat : 28792 (manysat1.1_stat) R 28789 28789 28360 0 -1 4202496 10394 0 0 0 2352 10 0 0 16 0 4 0 933338925 70840320 10317 4294967295 134512640 135305190 3215447472 3215445648 134528189 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/28792/statm: 17295 10317 79 194 0 17099 0
[pid=28792/tid=28793] ppid=28789 vsize=69180 CPUtime=5.87
/proc/28792/task/28793/stat : 28793 (manysat1.1_stat) R 28789 28789 28360 0 -1 4202560 1195 0 0 0 585 2 0 0 16 0 4 0 933338933 70840320 10317 4294967295 134512640 135305190 3215447472 3083291840 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=28792/tid=28794] ppid=28789 vsize=69180 CPUtime=5.86
/proc/28792/task/28794/stat : 28794 (manysat1.1_stat) R 28789 28789 28360 0 -1 4202560 2174 0 0 0 583 3 0 0 18 0 4 0 933338933 70840320 10317 4294967295 134512640 135305190 3215447472 3074902912 134552738 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=28792/tid=28795] ppid=28789 vsize=69180 CPUtime=5.9
/proc/28792/task/28795/stat : 28795 (manysat1.1_stat) R 28789 28789 28360 0 -1 4202560 2046 0 0 0 588 2 0 0 16 0 4 0 933338933 70840320 10317 4294967295 134512640 135305190 3215447472 3066514592 134570397 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 23.93
Current children cumulated vsize (KiB) 71596

[startup+12.7056 s]
/proc/loadavg: 4.58 4.49 4.39 6/105 28800
/proc/meminfo: memFree=2895064/3368532 swapFree=1959840/1959888
[pid=28789] ppid=28787 vsize=2416 CPUtime=0.31
/proc/28789/stat : 28789 (manysat.sh) S 28787 28789 28360 0 -1 4194304 370 2717 0 0 0 0 31 0 15 0 1 0 933338894 2473984 274 4294967295 134512640 135169312 3220056608 3220052824 3085123310 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/28789/statm: 604 274 231 161 0 43 0
[pid=28792] ppid=28789 vsize=80416 CPUtime=49.07
/proc/28792/stat : 28792 (manysat1.1_stat) R 28789 28789 28360 0 -1 4202496 13377 0 0 0 4890 17 0 0 16 0 4 0 933338925 82345984 13300 4294967295 134512640 135305190 3215447472 3215445312 134551697 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/28792/statm: 20104 13300 79 194 0 19908 0
[pid=28792/tid=28793] ppid=28789 vsize=80416 CPUtime=12.26
/proc/28792/task/28793/stat : 28793 (manysat1.1_stat) R 28789 28789 28360 0 -1 4202560 1711 0 0 0 1222 4 0 0 18 0 4 0 933338933 82345984 13300 4294967295 134512640 135305190 3215447472 3083291840 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=28792/tid=28794] ppid=28789 vsize=80416 CPUtime=12.16
/proc/28792/task/28794/stat : 28794 (manysat1.1_stat) R 28789 28789 28360 0 -1 4202560 3031 0 0 0 1213 3 0 0 25 0 4 0 933338933 82345984 13300 4294967295 134512640 135305190 3215447472 3074903232 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=28792/tid=28795] ppid=28789 vsize=80416 CPUtime=12.26
/proc/28792/task/28795/stat : 28795 (manysat1.1_stat) R 28789 28789 28360 0 -1 4202560 2992 0 0 0 1221 5 0 0 15 0 4 0 933338933 82345984 13300 4294967295 134512640 135305190 3215447472 3066514416 134550995 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 49.38
Current children cumulated vsize (KiB) 82832

[startup+25.5045 s]
/proc/loadavg: 4.60 4.50 4.39 7/104 28851
/proc/meminfo: memFree=2878448/3368532 swapFree=1959840/1959888
[pid=28789] ppid=28787 vsize=2416 CPUtime=0.31
/proc/28789/stat : 28789 (manysat.sh) S 28787 28789 28360 0 -1 4194304 370 2717 0 0 0 0 31 0 15 0 1 0 933338894 2473984 274 4294967295 134512640 135169312 3220056608 3220052824 3085123310 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/28789/statm: 604 274 231 161 0 43 0
[pid=28792] ppid=28789 vsize=96340 CPUtime=99.95
/proc/28792/stat : 28792 (manysat1.1_stat) R 28789 28789 28360 0 -1 4202496 17250 0 0 0 9973 22 0 0 21 0 4 0 933338925 98652160 17173 4294967295 134512640 135305190 3215447472 3215445376 134556819 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/28792/statm: 24085 17173 79 194 0 23889 0
[pid=28792/tid=28793] ppid=28789 vsize=96340 CPUtime=24.93
/proc/28792/task/28793/stat : 28793 (manysat1.1_stat) R 28789 28789 28360 0 -1 4202560 2320 0 0 0 2487 6 0 0 25 0 4 0 933338933 98652160 17173 4294967295 134512640 135305190 3215447472 3083291504 134551651 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=28792/tid=28794] ppid=28789 vsize=96340 CPUtime=24.87
/proc/28792/task/28794/stat : 28794 (manysat1.1_stat) R 28789 28789 28360 0 -1 4202560 4554 0 0 0 2484 3 0 0 25 0 4 0 933338933 98652160 17173 4294967295 134512640 135305190 3215447472 3074903080 134694990 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=28792/tid=28795] ppid=28789 vsize=96340 CPUtime=25.01
/proc/28792/task/28795/stat : 28795 (manysat1.1_stat) R 28789 28789 28360 0 -1 4202560 3967 0 0 0 2495 6 0 0 20 0 4 0 933338933 98652160 17173 4294967295 134512640 135305190 3215447472 3066514352 134556558 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 100.26
Current children cumulated vsize (KiB) 98756

[startup+51.1125 s]
/proc/loadavg: 4.53 4.49 4.39 5/103 28987
/proc/meminfo: memFree=2864400/3368532 swapFree=1959840/1959888
[pid=28789] ppid=28787 vsize=2416 CPUtime=0.31
/proc/28789/stat : 28789 (manysat.sh) S 28787 28789 28360 0 -1 4194304 370 2717 0 0 0 0 31 0 15 0 1 0 933338894 2473984 274 4294967295 134512640 135169312 3220056608 3220052824 3085123310 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/28789/statm: 604 274 231 161 0 43 0
[pid=28792] ppid=28789 vsize=109980 CPUtime=202.14
/proc/28792/stat : 28792 (manysat1.1_stat) R 28789 28789 28360 0 -1 4202496 20687 0 0 0 20182 32 0 0 25 0 4 0 933338925 112619520 20610 4294967295 134512640 135305190 3215447472 3215445648 134528229 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/28792/statm: 27495 20610 79 194 0 27299 0
[pid=28792/tid=28793] ppid=28789 vsize=109980 CPUtime=50.49
/proc/28792/task/28793/stat : 28793 (manysat1.1_stat) R 28789 28789 28360 0 -1 4202560 2985 0 0 0 5040 9 0 0 25 0 4 0 933338933 112619520 20610 4294967295 134512640 135305190 3215447472 3083291840 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=28792/tid=28794] ppid=28789 vsize=109980 CPUtime=50.39
/proc/28792/task/28794/stat : 28794 (manysat1.1_stat) R 28789 28789 28360 0 -1 4202560 5655 0 0 0 5034 5 0 0 25 0 4 0 933338933 112619520 20610 4294967295 134512640 135305190 3215447472 3074903232 134528480 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=28792/tid=28795] ppid=28789 vsize=109980 CPUtime=50.53
/proc/28792/task/28795/stat : 28795 (manysat1.1_stat) R 28789 28789 28360 0 -1 4202560 4912 0 0 0 5046 7 0 0 25 0 4 0 933338933 112619520 20610 4294967295 134512640 135305190 3215447472 3066514624 134528229 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 202.45
Current children cumulated vsize (KiB) 112396

[startup+102.308 s]
/proc/loadavg: 4.32 4.44 4.38 5/103 29173
/proc/meminfo: memFree=2844296/3368532 swapFree=1959840/1959888
[pid=28789] ppid=28787 vsize=2416 CPUtime=0.31
/proc/28789/stat : 28789 (manysat.sh) S 28787 28789 28360 0 -1 4194304 370 2717 0 0 0 0 31 0 15 0 1 0 933338894 2473984 274 4294967295 134512640 135169312 3220056608 3220052824 3085123310 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/28789/statm: 604 274 231 161 0 43 0
[pid=28792] ppid=28789 vsize=129752 CPUtime=406.5
/proc/28792/stat : 28792 (manysat1.1_stat) R 28789 28789 28360 0 -1 4202496 25583 0 0 0 40590 60 0 0 25 0 4 0 933338925 132866048 25506 4294967295 134512640 135305190 3215447472 3215445648 134528229 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/28792/statm: 32438 25506 79 194 0 32242 0
[pid=28792/tid=28793] ppid=28789 vsize=129752 CPUtime=101.59
/proc/28792/task/28793/stat : 28793 (manysat1.1_stat) R 28789 28789 28360 0 -1 4202560 3877 0 0 0 10145 14 0 0 25 0 4 0 933338933 132866048 25506 4294967295 134512640 135305190 3215447472 3083291568 134556798 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=28792/tid=28794] ppid=28789 vsize=129752 CPUtime=101.43
/proc/28792/task/28794/stat : 28794 (manysat1.1_stat) R 28789 28789 28360 0 -1 4202560 7440 0 0 0 10133 10 0 0 25 0 4 0 933338933 132866048 25506 4294967295 134512640 135305190 3215447472 3074903232 134528237 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=28792/tid=28795] ppid=28789 vsize=129752 CPUtime=101.59
/proc/28792/task/28795/stat : 28795 (manysat1.1_stat) R 28789 28789 28360 0 -1 4202560 6261 0 0 0 10141 18 0 0 25 0 4 0 933338933 132866048 25506 4294967295 134512640 135305190 3215447472 3066514624 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 406.81
Current children cumulated vsize (KiB) 132168

[startup+162.313 s]
/proc/loadavg: 4.22 4.39 4.36 6/103 29361
/proc/meminfo: memFree=2821496/3368532 swapFree=1959840/1959888
[pid=28789] ppid=28787 vsize=2416 CPUtime=0.31
/proc/28789/stat : 28789 (manysat.sh) S 28787 28789 28360 0 -1 4194304 370 2717 0 0 0 0 31 0 15 0 1 0 933338894 2473984 274 4294967295 134512640 135169312 3220056608 3220052824 3085123310 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/28789/statm: 604 274 231 161 0 43 0
[pid=28792] ppid=28789 vsize=152532 CPUtime=645.95

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

Current children cumulated vsize (KiB) 229332

[startup+522.314 s]
/proc/loadavg: 4.26 4.34 4.35 6/103 30493
/proc/meminfo: memFree=2744392/3368532 swapFree=1959840/1959888
[pid=28789] ppid=28787 vsize=2416 CPUtime=0.31
/proc/28789/stat : 28789 (manysat.sh) S 28787 28789 28360 0 -1 4194304 370 2717 0 0 0 0 31 0 15 0 1 0 933338894 2473984 274 4294967295 134512640 135169312 3220056608 3220052824 3085123310 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/28789/statm: 604 274 231 161 0 43 0
[pid=28792] ppid=28789 vsize=229960 CPUtime=2082.49
/proc/28792/stat : 28792 (manysat1.1_stat) R 28789 28789 28360 0 -1 4202496 50305 0 0 0 208012 237 0 0 17 0 4 0 933338925 235479040 50228 4294967295 134512640 135305190 3215447472 3215445648 134528298 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/28792/statm: 57490 50228 79 194 0 57294 0
[pid=28792/tid=28793] ppid=28789 vsize=229960 CPUtime=521.14
/proc/28792/task/28793/stat : 28793 (manysat1.1_stat) R 28789 28789 28360 0 -1 4202560 8157 0 0 0 52060 54 0 0 25 0 4 0 933338933 235479040 50228 4294967295 134512640 135305190 3215447472 3083291840 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=28792/tid=28794] ppid=28789 vsize=229960 CPUtime=519.56
/proc/28792/task/28794/stat : 28794 (manysat1.1_stat) R 28789 28789 28360 0 -1 4202560 18143 0 0 0 51898 58 0 0 25 0 4 0 933338933 235479040 50228 4294967295 134512640 135305190 3215447472 3074902848 134551651 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=28792/tid=28795] ppid=28789 vsize=229960 CPUtime=520.69
/proc/28792/task/28795/stat : 28795 (manysat1.1_stat) R 28789 28789 28360 0 -1 4202560 11465 0 0 0 52008 61 0 0 25 0 4 0 933338933 235479040 50228 4294967295 134512640 135305190 3215447472 3066514288 134551651 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2082.8
Current children cumulated vsize (KiB) 232376

[startup+582.309 s]
/proc/loadavg: 4.29 4.33 4.35 5/103 30682
/proc/meminfo: memFree=2742228/3368532 swapFree=1959840/1959888
[pid=28789] ppid=28787 vsize=2416 CPUtime=0.31
/proc/28789/stat : 28789 (manysat.sh) S 28787 28789 28360 0 -1 4194304 370 2717 0 0 0 0 31 0 15 0 1 0 933338894 2473984 274 4294967295 134512640 135169312 3220056608 3220052824 3085123310 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/28789/statm: 604 274 231 161 0 43 0
[pid=28792] ppid=28789 vsize=232080 CPUtime=2321.72
/proc/28792/stat : 28792 (manysat1.1_stat) R 28789 28789 28360 0 -1 4202496 50785 0 0 0 231923 249 0 0 25 0 4 0 933338925 237649920 50708 4294967295 134512640 135305190 3215447472 3215445312 134551651 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/28792/statm: 58020 50708 79 194 0 57824 0
[pid=28792/tid=28793] ppid=28789 vsize=232080 CPUtime=580.91
/proc/28792/task/28793/stat : 28793 (manysat1.1_stat) R 28789 28789 28360 0 -1 4202560 8210 0 0 0 58034 57 0 0 25 0 4 0 933338933 237649920 50708 4294967295 134512640 135305190 3215447472 3083291568 134556558 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=28792/tid=28794] ppid=28789 vsize=232080 CPUtime=579.38
/proc/28792/task/28794/stat : 28794 (manysat1.1_stat) R 28789 28789 28360 0 -1 4202560 18411 0 0 0 57879 59 0 0 25 0 4 0 933338933 237649920 50708 4294967295 134512640 135305190 3215447472 3074903232 134528229 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=28792/tid=28795] ppid=28789 vsize=232080 CPUtime=580.56
/proc/28792/task/28795/stat : 28795 (manysat1.1_stat) R 28789 28789 28360 0 -1 4202560 11543 0 0 0 57992 64 0 0 25 0 4 0 933338933 237649920 50708 4294967295 134512640 135305190 3215447472 3066514624 134530624 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2322.03
Current children cumulated vsize (KiB) 234496

[startup+642.314 s]
/proc/loadavg: 4.21 4.30 4.33 5/103 30870
/proc/meminfo: memFree=2719560/3368532 swapFree=1959840/1959888
[pid=28789] ppid=28787 vsize=2416 CPUtime=0.31
/proc/28789/stat : 28789 (manysat.sh) S 28787 28789 28360 0 -1 4194304 370 2717 0 0 0 0 31 0 15 0 1 0 933338894 2473984 274 4294967295 134512640 135169312 3220056608 3220052824 3085123310 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/28789/statm: 604 274 231 161 0 43 0
[pid=28792] ppid=28789 vsize=256128 CPUtime=2561.1
/proc/28792/stat : 28792 (manysat1.1_stat) R 28789 28789 28360 0 -1 4202496 56536 0 0 0 255835 275 0 0 25 0 4 0 933338925 262275072 56459 4294967295 134512640 135305190 3215447472 3215445648 134528788 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/28792/statm: 64032 56459 79 194 0 63836 0
[pid=28792/tid=28793] ppid=28789 vsize=256128 CPUtime=640.77
/proc/28792/task/28793/stat : 28793 (manysat1.1_stat) R 28789 28789 28360 0 -1 4202560 9318 0 0 0 64017 60 0 0 25 0 4 0 933338933 262275072 56459 4294967295 134512640 135305190 3215447472 3083291504 134551671 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=28792/tid=28794] ppid=28789 vsize=256128 CPUtime=639.22
/proc/28792/task/28794/stat : 28794 (manysat1.1_stat) R 28789 28789 28360 0 -1 4202560 20992 0 0 0 63855 67 0 0 25 0 4 0 933338933 262275072 56459 4294967295 134512640 135305190 3215447472 3074903232 134528768 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=28792/tid=28795] ppid=28789 vsize=256128 CPUtime=640.28
/proc/28792/task/28795/stat : 28795 (manysat1.1_stat) R 28789 28789 28360 0 -1 4202560 12834 0 0 0 63955 73 0 0 25 0 4 0 933338933 262275072 56459 4294967295 134512640 135305190 3215447472 3066514352 134557535 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2561.41
Current children cumulated vsize (KiB) 258544

[startup+702.31 s]
/proc/loadavg: 4.31 4.31 4.33 5/103 31057
/proc/meminfo: memFree=2715972/3368532 swapFree=1959840/1959888
[pid=28789] ppid=28787 vsize=2416 CPUtime=0.31
/proc/28789/stat : 28789 (manysat.sh) S 28787 28789 28360 0 -1 4194304 370 2717 0 0 0 0 31 0 15 0 1 0 933338894 2473984 274 4294967295 134512640 135169312 3220056608 3220052824 3085123310 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/28789/statm: 604 274 231 161 0 43 0
[pid=28792] ppid=28789 vsize=259372 CPUtime=2800.5
/proc/28792/stat : 28792 (manysat1.1_stat) R 28789 28789 28360 0 -1 4202496 57247 0 0 0 279753 297 0 0 25 0 4 0 933338925 265596928 57170 4294967295 134512640 135305190 3215447472 3215445440 134550801 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/28792/statm: 64843 57170 79 194 0 64647 0
[pid=28792/tid=28793] ppid=28789 vsize=259372 CPUtime=700.67
/proc/28792/task/28793/stat : 28793 (manysat1.1_stat) R 28789 28789 28360 0 -1 4202560 9331 0 0 0 70002 65 0 0 25 0 4 0 933338933 265596928 57170 4294967295 134512640 135305190 3215447472 3083291840 134528263 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=28792/tid=28794] ppid=28789 vsize=259372 CPUtime=699.06
/proc/28792/task/28794/stat : 28794 (manysat1.1_stat) R 28789 28789 28360 0 -1 4202560 21537 0 0 0 69836 70 0 0 25 0 4 0 933338933 265596928 57170 4294967295 134512640 135305190 3215447472 3074903232 134528263 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=28792/tid=28795] ppid=28789 vsize=259372 CPUtime=699.99
/proc/28792/task/28795/stat : 28795 (manysat1.1_stat) R 28789 28789 28360 0 -1 4202560 12837 0 0 0 69923 76 0 0 25 0 4 0 933338933 265596928 57170 4294967295 134512640 135305190 3215447472 3066514624 134528268 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2800.81
Current children cumulated vsize (KiB) 261788

[startup+762.315 s]
/proc/loadavg: 4.24 4.29 4.32 5/103 31249
/proc/meminfo: memFree=2707664/3368532 swapFree=1959840/1959888
[pid=28789] ppid=28787 vsize=2416 CPUtime=0.31
/proc/28789/stat : 28789 (manysat.sh) S 28787 28789 28360 0 -1 4194304 370 2717 0 0 0 0 31 0 15 0 1 0 933338894 2473984 274 4294967295 134512640 135169312 3220056608 3220052824 3085123310 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/28789/statm: 604 274 231 161 0 43 0
[pid=28792] ppid=28789 vsize=268020 CPUtime=3039.94
/proc/28792/stat : 28792 (manysat1.1_stat) R 28789 28789 28360 0 -1 4202496 59389 0 0 0 303683 311 0 0 25 0 4 0 933338925 274452480 59312 4294967295 134512640 135305190 3215447472 3215445648 134528768 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/28792/statm: 67005 59312 79 194 0 66809 0
[pid=28792/tid=28793] ppid=28789 vsize=268020 CPUtime=760.59
/proc/28792/task/28793/stat : 28793 (manysat1.1_stat) R 28789 28789 28360 0 -1 4202560 9479 0 0 0 75993 66 0 0 25 0 4 0 933338933 274452480 59312 4294967295 134512640 135305190 3215447472 3083291584 134541728 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=28792/tid=28794] ppid=28789 vsize=268020 CPUtime=758.78
/proc/28792/task/28794/stat : 28794 (manysat1.1_stat) R 28789 28789 28360 0 -1 4202560 23176 0 0 0 75798 80 0 0 25 0 4 0 933338933 274452480 59312 4294967295 134512640 135305190 3215447472 3074903232 134528768 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=28792/tid=28795] ppid=28789 vsize=268020 CPUtime=759.84
/proc/28792/task/28795/stat : 28795 (manysat1.1_stat) R 28789 28789 28360 0 -1 4202560 13006 0 0 0 75907 77 0 0 25 0 4 0 933338933 274452480 59312 4294967295 134512640 135305190 3215447472 3066514624 134528363 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3040.25
Current children cumulated vsize (KiB) 270436

[startup+822.31 s]
/proc/loadavg: 4.56 4.35 4.34 6/103 31436
/proc/meminfo: memFree=2693868/3368532 swapFree=1959840/1959888
[pid=28789] ppid=28787 vsize=2416 CPUtime=0.31
/proc/28789/stat : 28789 (manysat.sh) S 28787 28789 28360 0 -1 4194304 370 2717 0 0 0 0 31 0 15 0 1 0 933338894 2473984 274 4294967295 134512640 135169312 3220056608 3220052824 3085123310 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/28789/statm: 604 274 231 161 0 43 0
[pid=28792] ppid=28789 vsize=283632 CPUtime=3278.98
/proc/28792/stat : 28792 (manysat1.1_stat) R 28789 28789 28360 0 -1 4202496 63150 0 0 0 327556 342 0 0 25 0 4 0 933338925 290439168 63073 4294967295 134512640 135305190 3215447472 3215445376 134557811 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/28792/statm: 70908 63073 79 194 0 70712 0
[pid=28792/tid=28793] ppid=28789 vsize=283632 CPUtime=820.57
/proc/28792/task/28793/stat : 28793 (manysat1.1_stat) R 28789 28789 28360 0 -1 4202560 9988 0 0 0 81988 69 0 0 25 0 4 0 933338933 290439168 63073 4294967295 134512640 135305190 3215447472 3083291840 134528768 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=28792/tid=28794] ppid=28789 vsize=283632 CPUtime=818.51
/proc/28792/task/28794/stat : 28794 (manysat1.1_stat) R 28789 28789 28360 0 -1 4202560 25267 0 0 0 81765 86 0 0 25 0 4 0 933338933 290439168 63073 4294967295 134512640 135305190 3215447472 3074903232 134528406 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=28792/tid=28795] ppid=28789 vsize=283632 CPUtime=819.32
/proc/28792/task/28795/stat : 28795 (manysat1.1_stat) R 28789 28789 28360 0 -1 4202560 13724 0 0 0 81844 88 0 0 25 0 4 0 933338933 290439168 63073 4294967295 134512640 135305190 3215447472 3066514624 134528229 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3279.29
Current children cumulated vsize (KiB) 286048

[startup+882.305 s]
/proc/loadavg: 4.64 4.38 4.35 5/103 31625
/proc/meminfo: memFree=2679716/3368532 swapFree=1959840/1959888
[pid=28789] ppid=28787 vsize=2416 CPUtime=0.31
/proc/28789/stat : 28789 (manysat.sh) S 28787 28789 28360 0 -1 4194304 370 2717 0 0 0 0 31 0 15 0 1 0 933338894 2473984 274 4294967295 134512640 135169312 3220056608 3220052824 3085123310 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/28789/statm: 604 274 231 161 0 43 0
[pid=28792] ppid=28789 vsize=295916 CPUtime=3518.35
/proc/28792/stat : 28792 (manysat1.1_stat) R 28789 28789 28360 0 -1 4202496 66294 0 0 0 351478 357 0 0 20 0 4 0 933338925 303017984 66217 4294967295 134512640 135305190 3215447472 3215445536 134538136 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/28792/statm: 73979 66217 79 194 0 73783 0
[pid=28792/tid=28793] ppid=28789 vsize=295916 CPUtime=880.51
/proc/28792/task/28793/stat : 28793 (manysat1.1_stat) R 28789 28789 28360 0 -1 4202560 10303 0 0 0 87980 71 0 0 25 0 4 0 933338933 303017984 66217 4294967295 134512640 135305190 3215447472 3083291840 134528768 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=28792/tid=28794] ppid=28789 vsize=295916 CPUtime=878.29
/proc/28792/task/28794/stat : 28794 (manysat1.1_stat) R 28789 28789 28360 0 -1 4202560 26928 0 0 0 87739 90 0 0 25 0 4 0 933338933 303017984 66217 4294967295 134512640 135305190 3215447472 3074903232 134528265 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=28792/tid=28795] ppid=28789 vsize=295916 CPUtime=879.24
/proc/28792/task/28795/stat : 28795 (manysat1.1_stat) R 28789 28789 28360 0 -1 4202560 14358 0 0 0 87831 93 0 0 25 0 4 0 933338933 303017984 66217 4294967295 134512640 135305190 3215447472 3066514288 134551671 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3518.66
Current children cumulated vsize (KiB) 298332

[startup+942.31 s]
/proc/loadavg: 4.56 4.39 4.35 5/103 31813
/proc/meminfo: memFree=2673284/3368532 swapFree=1959840/1959888
[pid=28789] ppid=28787 vsize=2416 CPUtime=0.31
/proc/28789/stat : 28789 (manysat.sh) S 28787 28789 28360 0 -1 4194304 370 2717 0 0 0 0 31 0 15 0 1 0 933338894 2473984 274 4294967295 134512640 135169312 3220056608 3220052824 3085123310 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/28789/statm: 604 274 231 161 0 43 0
[pid=28792] ppid=28789 vsize=301984 CPUtime=3757.93
/proc/28792/stat : 28792 (manysat1.1_stat) R 28789 28789 28360 0 -1 4202496 67771 0 0 0 375413 380 0 0 25 0 4 0 933338925 309231616 67694 4294967295 134512640 135305190 3215447472 3215445648 134528298 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/28792/statm: 75496 67694 79 194 0 75300 0
[pid=28792/tid=28793] ppid=28789 vsize=301984 CPUtime=940.52
/proc/28792/task/28793/stat : 28793 (manysat1.1_stat) R 28789 28789 28360 0 -1 4202560 10344 0 0 0 93976 76 0 0 25 0 4 0 933338933 309231616 67694 4294967295 134512640 135305190 3215447472 3083291840 134528265 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=28792/tid=28794] ppid=28789 vsize=301984 CPUtime=938.26
/proc/28792/task/28794/stat : 28794 (manysat1.1_stat) R 28789 28789 28360 0 -1 4202560 28158 0 0 0 93730 96 0 0 25 0 4 0 933338933 309231616 67694 4294967295 134512640 135305190 3215447472 3074903232 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=28792/tid=28795] ppid=28789 vsize=301984 CPUtime=938.92
/proc/28792/task/28795/stat : 28795 (manysat1.1_stat) R 28789 28789 28360 0 -1 4202560 14379 0 0 0 93790 102 0 0 25 0 4 0 933338933 309231616 67694 4294967295 134512640 135305190 3215447472 3066514624 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3758.24
Current children cumulated vsize (KiB) 304400



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.02 s]
/proc/loadavg: 4.33 4.35 4.34 6/103 32000
/proc/meminfo: memFree=2671548/3368532 swapFree=1959840/1959888
[pid=28789] ppid=28787 vsize=2416 CPUtime=0.31
/proc/28789/stat : 28789 (manysat.sh) S 28787 28789 28360 0 -1 4194304 370 2717 0 0 0 0 31 0 15 0 1 0 933338894 2473984 274 4294967295 134512640 135169312 3220056608 3220052824 3085123310 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/28789/statm: 604 274 231 161 0 43 0
[pid=28792] ppid=28789 vsize=304028 CPUtime=3988.33
/proc/28792/stat : 28792 (manysat1.1_stat) R 28789 28789 28360 0 -1 4202496 68238 0 0 0 398434 399 0 0 25 0 4 0 933338925 311324672 68161 4294967295 134512640 135305190 3215447472 3215445648 134528392 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/28792/statm: 76007 68161 79 194 0 75811 0
[pid=28792/tid=28793] ppid=28789 vsize=304028 CPUtime=998.23
/proc/28792/task/28793/stat : 28793 (manysat1.1_stat) R 28789 28789 28360 0 -1 4202560 10382 0 0 0 99745 78 0 0 25 0 4 0 933338933 311324672 68161 4294967295 134512640 135305190 3215447472 3083291840 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=28792/tid=28794] ppid=28789 vsize=304028 CPUtime=995.73
/proc/28792/task/28794/stat : 28794 (manysat1.1_stat) R 28789 28789 28360 0 -1 4202560 28586 0 0 0 99466 107 0 0 25 0 4 0 933338933 311324672 68161 4294967295 134512640 135305190 3215447472 3074902848 134551709 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=28792/tid=28795] ppid=28789 vsize=304028 CPUtime=996.52
/proc/28792/task/28795/stat : 28795 (manysat1.1_stat) R 28789 28789 28360 0 -1 4202560 14380 0 0 0 99549 103 0 0 25 0 4 0 933338933 311324672 68161 4294967295 134512640 135305190 3215447472 3066514624 134528603 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3988.64
Current children cumulated vsize (KiB) 306444

Sending SIGTERM to process tree (bottom up)
SSolver just ended. Dumping a history of the last processes samples

Child status: 143
Real time (s): 1000.05
CPU time (s): 3988.73
CPU user time (s): 3984.73
CPU system time (s): 4
CPU usage (%): 398.852
Max. virtual memory (cumulated for all children) (KiB): 306444

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3984.73
system time used= 4
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71600
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= 26930
involuntary context switches= 218506

runsolver used 0 second user time and 0 second system time

The end

Launcher Data 

Begin job on tipi39 at 2009-05-28 15:33:41
IDJOB=1778959
IDBENCH=70786
IDSOLVER=623
FILE ID=tipi39/1778959-1243517621
PBS_JOBID=
Free space on /tmp= 5743 MiB

SOLVER NAME= ManySAT 1.1 aimd 1/2009-03-20 (4 threads)
BENCH NAME= SAT09/APPLICATIONS/bitverif/mulhs/mulhs032.cnf
COMMAND LINE= manysat.sh BENCHNAME aimd 1
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1778959-1243517621/watcher-1778959-1243517621 -o /tmp/evaluation-result-1778959-1243517621/solver-1778959-1243517621 -C 10000 -W 1000 -M 2047  manysat.sh HOME/instance-1778959-1243517621.cnf aimd 1

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

MD5SUM BENCH= 431823fbe355abc605baf058be5925a0
RANDOM SEED= 724279456

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:       2946436 kB
Buffers:         49744 kB
Cached:         271548 kB
SwapCached:          0 kB
Active:         190256 kB
Inactive:       147480 kB
HighTotal:     2489216 kB
HighFree:      2203412 kB
LowTotal:       879316 kB
LowFree:        743024 kB
SwapTotal:     1959888 kB
SwapFree:      1959840 kB
Dirty:            2284 kB
Writeback:           0 kB
AnonPages:       16468 kB
Mapped:           5968 kB
Slab:            74032 kB
SReclaimable:    61664 kB
SUnreclaim:      12368 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= 5743 MiB
End job on tipi39 at 2009-05-28 15:50:22