Trace number 1781011

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

General information on the benchmark

NameAPPLICATIONS/satComp09_BioInstances/
rpoc_xits_09_UNSAT.cnf
MD5SUMfeb620c17f2a4d7899a2e7883baa7391
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 variables1430
Number of clauses87044
Sum of the clauses size258924
Maximum clause length10
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 22369
Number of clauses of size 384652
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 523

Solver Data 

0.00/0.00	c Parsing...
0.00/0.04	c ==============================================================================
0.00/0.04	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.04	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.04	c ==============================================================================
0.00/0.04	c |         0 |   87044   258924 |   26113       0        0     nan |  0.000 % |
0.00/0.61	c |         0 |   86161   373261 |      --       0       --      -- |     --   | -883/114337
0.00/0.61	c ==============================================================================
0.00/0.61	c Result  :   #vars: 871   #clauses: 86161   #literals: 373261
0.00/0.61	c CPU time:   0.61 s
0.00/0.61	c ==============================================================================
3989.81/1000.05	HOME/manysat.sh: line 55:  1867 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-1781011-1243539739/watcher-1781011-1243539739 -o /tmp/evaluation-result-1781011-1243539739/solver-1781011-1243539739 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1781011-1243539739.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.22 4.41 4.46 3/96 1864
/proc/meminfo: memFree=2931760/3368532 swapFree=1953788/1959888
[pid=1864] ppid=1862 vsize=2412 CPUtime=0
/proc/1864/stat : 1864 (manysat.sh) R 1862 1864 27966 0 -1 4194304 334 0 0 0 0 0 0 0 18 0 1 0 1118637968 2469888 274 4294967295 134512640 135169312 3213900880 3213899356 3085543284 0 65538 4 65536 0 0 0 17 2 0 0 0
/proc/1864/statm: 603 274 231 161 0 42 0

[startup+0.078048 s]
/proc/loadavg: 4.22 4.41 4.46 3/96 1864
/proc/meminfo: memFree=2931760/3368532 swapFree=1953788/1959888
[pid=1864] ppid=1862 vsize=2412 CPUtime=0
/proc/1864/stat : 1864 (manysat.sh) S 1862 1864 27966 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1118637968 2469888 274 4294967295 134512640 135169312 3213900880 3213899416 3085541102 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/1864/statm: 603 274 231 161 0 42 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2412

[startup+0.108046 s]
/proc/loadavg: 4.22 4.41 4.46 3/96 1864
/proc/meminfo: memFree=2931760/3368532 swapFree=1953788/1959888
[pid=1864] ppid=1862 vsize=2412 CPUtime=0
/proc/1864/stat : 1864 (manysat.sh) S 1862 1864 27966 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1118637968 2469888 274 4294967295 134512640 135169312 3213900880 3213899416 3085541102 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/1864/statm: 603 274 231 161 0 42 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2412

[startup+0.308027 s]
/proc/loadavg: 4.22 4.41 4.46 3/96 1864
/proc/meminfo: memFree=2931760/3368532 swapFree=1953788/1959888
[pid=1864] ppid=1862 vsize=2412 CPUtime=0
/proc/1864/stat : 1864 (manysat.sh) S 1862 1864 27966 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1118637968 2469888 274 4294967295 134512640 135169312 3213900880 3213899416 3085541102 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/1864/statm: 603 274 231 161 0 42 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2412

[startup+0.707994 s]
/proc/loadavg: 4.22 4.41 4.46 3/96 1864
/proc/meminfo: memFree=2931760/3368532 swapFree=1953788/1959888
[pid=1864] ppid=1862 vsize=2412 CPUtime=0
/proc/1864/stat : 1864 (manysat.sh) S 1862 1864 27966 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1118637968 2469888 274 4294967295 134512640 135169312 3213900880 3213899416 3085541102 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/1864/statm: 603 274 231 161 0 42 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2412

[startup+1.50794 s]
/proc/loadavg: 4.22 4.41 4.46 5/101 1870
/proc/meminfo: memFree=2905712/3368532 swapFree=1953788/1959888
[pid=1864] ppid=1862 vsize=2416 CPUtime=0.73
/proc/1864/stat : 1864 (manysat.sh) S 1862 1864 27966 0 -1 4194304 369 2407 0 0 0 0 73 0 15 0 1 0 1118637968 2473984 275 4294967295 134512640 135169312 3213900880 3213897096 3085541102 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/1864/statm: 604 275 231 161 0 43 0
[pid=1867] ppid=1864 vsize=54660 CPUtime=2.59
/proc/1867/stat : 1867 (manysat1.1_stat) R 1864 1864 27966 0 -1 4202496 7184 0 0 0 258 1 0 0 17 0 4 0 1118638041 55971840 7120 4294967295 134512640 135305190 3213073264 3213071440 134528298 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/1867/statm: 13665 7120 79 194 0 13469 0
[pid=1867/tid=1868] ppid=1864 vsize=54660 CPUtime=0.6
/proc/1867/task/1868/stat : 1868 (manysat1.1_stat) R 1864 1864 27966 0 -1 4202560 415 0 0 0 60 0 0 0 19 0 4 0 1118638057 55971840 7120 4294967295 134512640 135305190 3213073264 3084336320 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=1867/tid=1869] ppid=1864 vsize=54660 CPUtime=0.61
/proc/1867/task/1869/stat : 1869 (manysat1.1_stat) R 1864 1864 27966 0 -1 4202560 384 0 0 0 61 0 0 0 20 0 4 0 1118638057 55971840 7120 4294967295 134512640 135305190 3213073264 3075947712 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=1867/tid=1870] ppid=1864 vsize=54660 CPUtime=0.61
/proc/1867/task/1870/stat : 1870 (manysat1.1_stat) R 1864 1864 27966 0 -1 4202560 368 0 0 0 61 0 0 0 18 0 4 0 1118638057 55971840 7120 4294967295 134512640 135305190 3213073264 3067559104 134528392 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.32
Current children cumulated vsize (KiB) 57076

[startup+3.10781 s]
/proc/loadavg: 4.22 4.41 4.46 5/101 1870
/proc/meminfo: memFree=2900500/3368532 swapFree=1953788/1959888
[pid=1864] ppid=1862 vsize=2416 CPUtime=0.73
/proc/1864/stat : 1864 (manysat.sh) S 1862 1864 27966 0 -1 4194304 369 2407 0 0 0 0 73 0 15 0 1 0 1118637968 2473984 275 4294967295 134512640 135169312 3213900880 3213897096 3085541102 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/1864/statm: 604 275 231 161 0 43 0
[pid=1867] ppid=1864 vsize=60096 CPUtime=8.99
/proc/1867/stat : 1867 (manysat1.1_stat) R 1864 1864 27966 0 -1 4202496 8447 0 0 0 898 1 0 0 19 0 4 0 1118638041 61538304 8383 4294967295 134512640 135305190 3213073264 3213071440 134528298 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/1867/statm: 15024 8383 79 194 0 14828 0
[pid=1867/tid=1868] ppid=1864 vsize=60096 CPUtime=2.2
/proc/1867/task/1868/stat : 1868 (manysat1.1_stat) R 1864 1864 27966 0 -1 4202560 612 0 0 0 220 0 0 0 21 0 4 0 1118638057 61538304 8383 4294967295 134512640 135305190 3213073264 3084336320 134528559 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=1867/tid=1869] ppid=1864 vsize=60096 CPUtime=2.21
/proc/1867/task/1869/stat : 1869 (manysat1.1_stat) R 1864 1864 27966 0 -1 4202560 930 0 0 0 221 0 0 0 25 0 4 0 1118638057 61538304 8383 4294967295 134512640 135305190 3213073264 3075947712 134528376 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=1867/tid=1870] ppid=1864 vsize=60096 CPUtime=2.21
/proc/1867/task/1870/stat : 1870 (manysat1.1_stat) R 1864 1864 27966 0 -1 4202560 725 0 0 0 221 0 0 0 20 0 4 0 1118638057 61538304 8383 4294967295 134512640 135305190 3213073264 3067559104 134528379 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 9.72
Current children cumulated vsize (KiB) 62512

[startup+6.30754 s]
/proc/loadavg: 4.20 4.41 4.46 5/101 1871
/proc/meminfo: memFree=2890920/3368532 swapFree=1953788/1959888
[pid=1864] ppid=1862 vsize=2416 CPUtime=0.73
/proc/1864/stat : 1864 (manysat.sh) S 1862 1864 27966 0 -1 4194304 369 2407 0 0 0 0 73 0 15 0 1 0 1118637968 2473984 275 4294967295 134512640 135169312 3213900880 3213897096 3085541102 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/1864/statm: 604 275 231 161 0 43 0
[pid=1867] ppid=1864 vsize=68256 CPUtime=21.78
/proc/1867/stat : 1867 (manysat1.1_stat) R 1864 1864 27966 0 -1 4202496 10350 0 0 0 2175 3 0 0 25 0 4 0 1118638041 69894144 10286 4294967295 134512640 135305190 3213073264 3213071440 134528421 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/1867/statm: 17064 10286 79 194 0 16868 0
[pid=1867/tid=1868] ppid=1864 vsize=68256 CPUtime=5.4
/proc/1867/task/1868/stat : 1868 (manysat1.1_stat) R 1864 1864 27966 0 -1 4202560 963 0 0 0 540 0 0 0 25 0 4 0 1118638057 69894144 10286 4294967295 134512640 135305190 3213073264 3084336320 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=1867/tid=1869] ppid=1864 vsize=68256 CPUtime=5.4
/proc/1867/task/1869/stat : 1869 (manysat1.1_stat) R 1864 1864 27966 0 -1 4202560 1473 0 0 0 540 0 0 0 25 0 4 0 1118638057 69894144 10286 4294967295 134512640 135305190 3213073264 3075947328 134551651 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=1867/tid=1870] ppid=1864 vsize=68256 CPUtime=5.41
/proc/1867/task/1870/stat : 1870 (manysat1.1_stat) R 1864 1864 27966 0 -1 4202560 1308 0 0 0 540 1 0 0 25 0 4 0 1118638057 69894144 10286 4294967295 134512640 135305190 3213073264 3067559104 134528248 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 22.51
Current children cumulated vsize (KiB) 70672

[startup+12.707 s]
/proc/loadavg: 4.18 4.40 4.46 5/101 1872
/proc/meminfo: memFree=2876152/3368532 swapFree=1953788/1959888
[pid=1864] ppid=1862 vsize=2416 CPUtime=0.73
/proc/1864/stat : 1864 (manysat.sh) S 1862 1864 27966 0 -1 4194304 369 2407 0 0 0 0 73 0 15 0 1 0 1118637968 2473984 275 4294967295 134512640 135169312 3213900880 3213897096 3085541102 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/1864/statm: 604 275 231 161 0 43 0
[pid=1867] ppid=1864 vsize=81516 CPUtime=47.3
/proc/1867/stat : 1867 (manysat1.1_stat) R 1864 1864 27966 0 -1 4202496 13935 0 0 0 4722 8 0 0 25 0 4 0 1118638041 83472384 13871 4294967295 134512640 135305190 3213073264 3213071440 134528298 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/1867/statm: 20379 13871 79 194 0 20183 0
[pid=1867/tid=1868] ppid=1864 vsize=81516 CPUtime=11.79
/proc/1867/task/1868/stat : 1868 (manysat1.1_stat) R 1864 1864 27966 0 -1 4202560 1872 0 0 0 1179 0 0 0 25 0 4 0 1118638057 83472384 13871 4294967295 134512640 135305190 3213073264 3084336320 134528548 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=1867/tid=1869] ppid=1864 vsize=81516 CPUtime=11.74
/proc/1867/task/1869/stat : 1869 (manysat1.1_stat) R 1864 1864 27966 0 -1 4202560 2503 0 0 0 1174 0 0 0 25 0 4 0 1118638057 83472384 13871 4294967295 134512640 135305190 3213073264 3075947712 134528777 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=1867/tid=1870] ppid=1864 vsize=81516 CPUtime=11.81
/proc/1867/task/1870/stat : 1870 (manysat1.1_stat) R 1864 1864 27966 0 -1 4202560 1931 0 0 0 1175 6 0 0 25 0 4 0 1118638057 83472384 13871 4294967295 134512640 135305190 3213073264 3067559104 134528319 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 48.03
Current children cumulated vsize (KiB) 83932

[startup+25.506 s]
/proc/loadavg: 4.14 4.38 4.45 5/101 1873
/proc/meminfo: memFree=2862780/3368532 swapFree=1953788/1959888
[pid=1864] ppid=1862 vsize=2416 CPUtime=0.73
/proc/1864/stat : 1864 (manysat.sh) S 1862 1864 27966 0 -1 4194304 369 2407 0 0 0 0 73 0 15 0 1 0 1118637968 2473984 275 4294967295 134512640 135169312 3213900880 3213897096 3085541102 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/1864/statm: 604 275 231 161 0 43 0
[pid=1867] ppid=1864 vsize=96424 CPUtime=98.36
/proc/1867/stat : 1867 (manysat1.1_stat) R 1864 1864 27966 0 -1 4202496 17213 0 0 0 9821 15 0 0 25 0 4 0 1118638041 98738176 17102 4294967295 134512640 135305190 3213073264 3213071440 134528298 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/1867/statm: 24106 17102 79 194 0 23910 0
[pid=1867/tid=1868] ppid=1864 vsize=96424 CPUtime=24.58
/proc/1867/task/1868/stat : 1868 (manysat1.1_stat) R 1864 1864 27966 0 -1 4202560 2881 0 0 0 2457 1 0 0 25 0 4 0 1118638057 98738176 17102 4294967295 134512640 135305190 3213073264 3084336320 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=1867/tid=1869] ppid=1864 vsize=96424 CPUtime=24.41
/proc/1867/task/1869/stat : 1869 (manysat1.1_stat) R 1864 1864 27966 0 -1 4202560 3457 0 0 0 2441 0 0 0 25 0 4 0 1118638057 98738176 17102 4294967295 134512640 135305190 3213073264 3075947712 134528435 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=1867/tid=1870] ppid=1864 vsize=96424 CPUtime=24.61
/proc/1867/task/1870/stat : 1870 (manysat1.1_stat) R 1864 1864 27966 0 -1 4202560 2733 0 0 0 2452 9 0 0 25 0 4 0 1118638057 98738176 17102 4294967295 134512640 135305190 3213073264 3067559104 134528771 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 99.09
Current children cumulated vsize (KiB) 98840

[startup+51.1138 s]
/proc/loadavg: 4.15 4.36 4.44 6/101 2057
/proc/meminfo: memFree=2850344/3368532 swapFree=1953788/1959888
[pid=1864] ppid=1862 vsize=2416 CPUtime=0.73
/proc/1864/stat : 1864 (manysat.sh) S 1862 1864 27966 0 -1 4194304 369 2407 0 0 0 0 73 0 15 0 1 0 1118637968 2473984 275 4294967295 134512640 135169312 3213900880 3213897096 3085541102 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/1864/statm: 604 275 231 161 0 43 0
[pid=1867] ppid=1864 vsize=109276 CPUtime=200.39
/proc/1867/stat : 1867 (manysat1.1_stat) R 1864 1864 27966 0 -1 4202496 20158 0 0 0 20011 28 0 0 25 0 4 0 1118638041 111898624 20044 4294967295 134512640 135305190 3213073264 3213071440 134528406 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/1867/statm: 27319 20044 79 194 0 27123 0
[pid=1867/tid=1868] ppid=1864 vsize=109276 CPUtime=50.14
/proc/1867/task/1868/stat : 1868 (manysat1.1_stat) R 1864 1864 27966 0 -1 4202560 4005 0 0 0 5006 8 0 0 25 0 4 0 1118638057 111898624 20044 4294967295 134512640 135305190 3213073264 3084336320 134528768 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=1867/tid=1869] ppid=1864 vsize=109276 CPUtime=49.9
/proc/1867/task/1869/stat : 1869 (manysat1.1_stat) R 1864 1864 27966 0 -1 4202560 3669 0 0 0 4988 2 0 0 25 0 4 0 1118638057 111898624 20044 4294967295 134512640 135305190 3213073264 3075947712 134528392 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=1867/tid=1870] ppid=1864 vsize=109276 CPUtime=50.21
/proc/1867/task/1870/stat : 1870 (manysat1.1_stat) R 1864 1864 27966 0 -1 4202560 3431 0 0 0 5011 10 0 0 25 0 4 0 1118638057 111898624 20044 4294967295 134512640 135305190 3213073264 3067559104 134528771 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 201.12
Current children cumulated vsize (KiB) 111692

[startup+102.31 s]
/proc/loadavg: 4.20 4.34 4.43 5/101 2247
/proc/meminfo: memFree=2825092/3368532 swapFree=1953788/1959888
[pid=1864] ppid=1862 vsize=2416 CPUtime=0.73
/proc/1864/stat : 1864 (manysat.sh) S 1862 1864 27966 0 -1 4194304 369 2407 0 0 0 0 73 0 15 0 1 0 1118637968 2473984 275 4294967295 134512640 135169312 3213900880 3213897096 3085541102 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/1864/statm: 604 275 231 161 0 43 0
[pid=1867] ppid=1864 vsize=133512 CPUtime=404.71
/proc/1867/stat : 1867 (manysat1.1_stat) R 1864 1864 27966 0 -1 4202496 26058 0 0 0 40431 40 0 0 25 0 4 0 1118638041 136716288 25944 4294967295 134512640 135305190 3213073264 3213071440 134528310 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/1867/statm: 33378 25944 79 194 0 33182 0
[pid=1867/tid=1868] ppid=1864 vsize=133512 CPUtime=101.18
/proc/1867/task/1868/stat : 1868 (manysat1.1_stat) R 1864 1864 27966 0 -1 4202560 5669 0 0 0 10109 9 0 0 25 0 4 0 1118638057 136716288 25944 4294967295 134512640 135305190 3213073264 3084336320 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=1867/tid=1869] ppid=1864 vsize=133512 CPUtime=101.07
/proc/1867/task/1869/stat : 1869 (manysat1.1_stat) R 1864 1864 27966 0 -1 4202560 4940 0 0 0 10104 3 0 0 25 0 4 0 1118638057 136716288 25944 4294967295 134512640 135305190 3213073264 3075947712 134528768 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=1867/tid=1870] ppid=1864 vsize=133512 CPUtime=101.36
/proc/1867/task/1870/stat : 1870 (manysat1.1_stat) R 1864 1864 27966 0 -1 4202560 4726 0 0 0 10122 14 0 0 25 0 4 0 1118638057 136716288 25944 4294967295 134512640 135305190 3213073264 3067559104 134528392 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 405.44
Current children cumulated vsize (KiB) 135928

[startup+162.305 s]
/proc/loadavg: 4.11 4.29 4.40 7/102 2290
/proc/meminfo: memFree=2803460/3368532 swapFree=1953788/1959888
[pid=1864] ppid=1862 vsize=2416 CPUtime=0.73
/proc/1864/stat : 1864 (manysat.sh) S 1862 1864 27966 0 -1 4194304 369 2407 0 0 0 0 73 0 15 0 1 0 1118637968 2473984 275 4294967295 134512640 135169312 3213900880 3213897096 3085541102 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/1864/statm: 604 275 231 161 0 43 0
[pid=1867] ppid=1864 vsize=158536 CPUtime=644.33
/proc/1867/stat : 1867 (manysat1.1_stat) R 1864 1864 27966 0 -1 4202496 31891 0 0 0 64372 61 0 0 25 0 4 0 1118638041 162340864 31759 4294967295 134512640 135305190 3213073264 3213071440 134528875 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/1867/statm: 39634 31759 79 194 0 39438 0
[pid=1867/tid=1868] ppid=1864 vsize=158536 CPUtime=161.17
/proc/1867/task/1868/stat : 1868 (manysat1.1_stat) R 1864 1864 27966 0 -1 4202560 7508 0 0 0 16101 16 0 0 25 0 4 0 1118638057 162340864 31759 4294967295 134512640 135305190 3213073264 3084336320 134528229 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=1867/tid=1869] ppid=1864 vsize=158536 CPUtime=161.04
/proc/1867/task/1869/stat : 1869 (manysat1.1_stat) R 1864 1864 27966 0 -1 4202560 6761 0 0 0 16097 7 0 0 25 0 4 0 1118638057 162340864 31759 4294967295 134512640 135305190 3213073264 3075947712 134528256 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=1867/tid=1870] ppid=1864 vsize=158536 CPUtime=161.33
/proc/1867/task/1870/stat : 1870 (manysat1.1_stat) R 1864 1864 27966 0 -1 4202560 5850 0 0 0 16114 19 0 0 25 0 4 0 1118638057 162340864 31759 4294967295 134512640 135305190 3213073264 3067559104 134528548 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 645.06
Current children cumulated vsize (KiB) 160952

[startup+222.32 s]

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

Current children cumulated vsize (KiB) 237268

[startup+522.315 s]
/proc/loadavg: 4.80 4.50 4.45 5/101 3401
/proc/meminfo: memFree=2722880/3368532 swapFree=1953788/1959888
[pid=1864] ppid=1862 vsize=2416 CPUtime=0.73
/proc/1864/stat : 1864 (manysat.sh) S 1862 1864 27966 0 -1 4194304 369 2407 0 0 0 0 73 0 15 0 1 0 1118637968 2473984 275 4294967295 134512640 135169312 3213900880 3213897096 3085541102 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/1864/statm: 604 275 231 161 0 43 0
[pid=1867] ppid=1864 vsize=249508 CPUtime=2081.34
/proc/1867/stat : 1867 (manysat1.1_stat) R 1864 1864 27966 0 -1 4202496 52515 0 0 0 207954 180 0 0 25 0 4 0 1118638041 255496192 52236 4294967295 134512640 135305190 3213073264 3213071440 134528768 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/1867/statm: 62377 52236 79 194 0 62181 0
[pid=1867/tid=1868] ppid=1864 vsize=249508 CPUtime=521
/proc/1867/task/1868/stat : 1868 (manysat1.1_stat) R 1864 1864 27966 0 -1 4202560 13028 0 0 0 52052 48 0 0 25 0 4 0 1118638057 255496192 52236 4294967295 134512640 135305190 3213073264 3084336320 134528523 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=1867/tid=1869] ppid=1864 vsize=249508 CPUtime=519.64
/proc/1867/task/1869/stat : 1869 (manysat1.1_stat) R 1864 1864 27966 0 -1 4202560 12609 0 0 0 51917 47 0 0 25 0 4 0 1118638057 255496192 52236 4294967295 134512640 135305190 3213073264 3075947712 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=1867/tid=1870] ppid=1864 vsize=249508 CPUtime=520.29
/proc/1867/task/1870/stat : 1870 (manysat1.1_stat) R 1864 1864 27966 0 -1 4202560 10318 0 0 0 51984 45 0 0 25 0 4 0 1118638057 255496192 52236 4294967295 134512640 135305190 3213073264 3067559104 134528392 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2082.07
Current children cumulated vsize (KiB) 251924

[startup+582.31 s]
/proc/loadavg: 4.84 4.58 4.48 5/101 3612
/proc/meminfo: memFree=2699812/3368532 swapFree=1953788/1959888
[pid=1864] ppid=1862 vsize=2416 CPUtime=0.73
/proc/1864/stat : 1864 (manysat.sh) S 1862 1864 27966 0 -1 4194304 369 2407 0 0 0 0 73 0 15 0 1 0 1118637968 2473984 275 4294967295 134512640 135169312 3213900880 3213897096 3085541102 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/1864/statm: 604 275 231 161 0 43 0
[pid=1867] ppid=1864 vsize=273740 CPUtime=2320.92
/proc/1867/stat : 1867 (manysat1.1_stat) R 1864 1864 27966 0 -1 4202496 58057 0 0 0 231887 205 0 0 25 0 4 0 1118638041 280309760 57778 4294967295 134512640 135305190 3213073264 3213071440 134528442 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/1867/statm: 68435 57778 79 194 0 68239 0
[pid=1867/tid=1868] ppid=1864 vsize=273740 CPUtime=580.8
/proc/1867/task/1868/stat : 1868 (manysat1.1_stat) R 1864 1864 27966 0 -1 4202560 14799 0 0 0 58028 52 0 0 25 0 4 0 1118638057 280309760 57778 4294967295 134512640 135305190 3213073264 3084336320 134528768 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=1867/tid=1869] ppid=1864 vsize=273740 CPUtime=579.6
/proc/1867/task/1869/stat : 1869 (manysat1.1_stat) R 1864 1864 27966 0 -1 4202560 14478 0 0 0 57906 54 0 0 25 0 4 0 1118638057 280309760 57778 4294967295 134512640 135305190 3213073264 3075947456 134542408 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=1867/tid=1870] ppid=1864 vsize=273740 CPUtime=580.16
/proc/1867/task/1870/stat : 1870 (manysat1.1_stat) R 1864 1864 27966 0 -1 4202560 11841 0 0 0 57963 53 0 0 25 0 4 0 1118638057 280309760 57778 4294967295 134512640 135305190 3213073264 3067559104 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2321.65
Current children cumulated vsize (KiB) 276156

[startup+642.305 s]
/proc/loadavg: 4.80 4.63 4.50 5/101 3799
/proc/meminfo: memFree=2693884/3368532 swapFree=1953788/1959888
[pid=1864] ppid=1862 vsize=2416 CPUtime=0.73
/proc/1864/stat : 1864 (manysat.sh) S 1862 1864 27966 0 -1 4194304 369 2407 0 0 0 0 73 0 15 0 1 0 1118637968 2473984 275 4294967295 134512640 135169312 3213900880 3213897096 3085541102 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/1864/statm: 604 275 231 161 0 43 0
[pid=1867] ppid=1864 vsize=279636 CPUtime=2560.55
/proc/1867/stat : 1867 (manysat1.1_stat) R 1864 1864 27966 0 -1 4202496 59299 0 0 0 255834 221 0 0 25 0 4 0 1118638041 286347264 59020 4294967295 134512640 135305190 3213073264 3213071440 134528768 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/1867/statm: 69909 59020 79 194 0 69713 0
[pid=1867/tid=1868] ppid=1864 vsize=279636 CPUtime=640.46
/proc/1867/task/1868/stat : 1868 (manysat1.1_stat) R 1864 1864 27966 0 -1 4202560 14844 0 0 0 63987 59 0 0 25 0 4 0 1118638057 286347264 59020 4294967295 134512640 135305190 3213073264 3084336320 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=1867/tid=1869] ppid=1864 vsize=279636 CPUtime=639.6
/proc/1867/task/1869/stat : 1869 (manysat1.1_stat) R 1864 1864 27966 0 -1 4202560 14966 0 0 0 63905 55 0 0 25 0 4 0 1118638057 286347264 59020 4294967295 134512640 135305190 3213073264 3075947712 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=1867/tid=1870] ppid=1864 vsize=279636 CPUtime=640.13
/proc/1867/task/1870/stat : 1870 (manysat1.1_stat) R 1864 1864 27966 0 -1 4202560 12157 0 0 0 63953 60 0 0 25 0 4 0 1118638057 286347264 59020 4294967295 134512640 135305190 3213073264 3067559104 134528392 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2561.28
Current children cumulated vsize (KiB) 282052

[startup+702.31 s]
/proc/loadavg: 4.59 4.61 4.50 5/101 3992
/proc/meminfo: memFree=2686808/3368532 swapFree=1953788/1959888
[pid=1864] ppid=1862 vsize=2416 CPUtime=0.73
/proc/1864/stat : 1864 (manysat.sh) S 1862 1864 27966 0 -1 4194304 369 2407 0 0 0 0 73 0 15 0 1 0 1118637968 2473984 275 4294967295 134512640 135169312 3213900880 3213897096 3085541102 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/1864/statm: 604 275 231 161 0 43 0
[pid=1867] ppid=1864 vsize=288364 CPUtime=2800.15
/proc/1867/stat : 1867 (manysat1.1_stat) R 1864 1864 27966 0 -1 4202496 61199 0 0 0 279768 247 0 0 25 0 4 0 1118638041 295284736 60920 4294967295 134512640 135305190 3213073264 3213071440 134528771 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/1867/statm: 72091 60920 79 194 0 71895 0
[pid=1867/tid=1868] ppid=1864 vsize=288364 CPUtime=700.19
/proc/1867/task/1868/stat : 1868 (manysat1.1_stat) R 1864 1864 27966 0 -1 4202560 14962 0 0 0 69956 63 0 0 25 0 4 0 1118638057 295284736 60920 4294967295 134512640 135305190 3213073264 3084336320 134528392 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=1867/tid=1869] ppid=1864 vsize=288364 CPUtime=699.56
/proc/1867/task/1869/stat : 1869 (manysat1.1_stat) R 1864 1864 27966 0 -1 4202560 15297 0 0 0 69888 68 0 0 25 0 4 0 1118638057 295284736 60920 4294967295 134512640 135305190 3213073264 3075947712 134528392 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=1867/tid=1870] ppid=1864 vsize=288364 CPUtime=700.08
/proc/1867/task/1870/stat : 1870 (manysat1.1_stat) R 1864 1864 27966 0 -1 4202560 12767 0 0 0 69946 62 0 0 25 0 4 0 1118638057 295284736 60920 4294967295 134512640 135305190 3213073264 3067558832 134556558 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2800.88
Current children cumulated vsize (KiB) 290780

[startup+762.315 s]
/proc/loadavg: 4.32 4.54 4.48 5/101 4181
/proc/meminfo: memFree=2682972/3368532 swapFree=1953788/1959888
[pid=1864] ppid=1862 vsize=2416 CPUtime=0.73
/proc/1864/stat : 1864 (manysat.sh) S 1862 1864 27966 0 -1 4194304 369 2407 0 0 0 0 73 0 15 0 1 0 1118637968 2473984 275 4294967295 134512640 135169312 3213900880 3213897096 3085541102 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/1864/statm: 604 275 231 161 0 43 0
[pid=1867] ppid=1864 vsize=293244 CPUtime=3039.67
/proc/1867/stat : 1867 (manysat1.1_stat) R 1864 1864 27966 0 -1 4202496 62187 0 0 0 303703 264 0 0 25 0 4 0 1118638041 300281856 61908 4294967295 134512640 135305190 3213073264 3213071440 134528410 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/1867/statm: 73311 61908 79 194 0 73115 0
[pid=1867/tid=1868] ppid=1864 vsize=293244 CPUtime=760.02
/proc/1867/task/1868/stat : 1868 (manysat1.1_stat) R 1864 1864 27966 0 -1 4202560 15170 0 0 0 75934 68 0 0 25 0 4 0 1118638057 300281856 61908 4294967295 134512640 135305190 3213073264 3084336320 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=1867/tid=1869] ppid=1864 vsize=293244 CPUtime=759.37
/proc/1867/task/1869/stat : 1869 (manysat1.1_stat) R 1864 1864 27966 0 -1 4202560 15799 0 0 0 75864 73 0 0 25 0 4 0 1118638057 300281856 61908 4294967295 134512640 135305190 3213073264 3075947712 134528768 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=1867/tid=1870] ppid=1864 vsize=293244 CPUtime=759.96
/proc/1867/task/1870/stat : 1870 (manysat1.1_stat) R 1864 1864 27966 0 -1 4202560 12876 0 0 0 75931 65 0 0 25 0 4 0 1118638057 300281856 61908 4294967295 134512640 135305190 3213073264 3067559104 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3040.4
Current children cumulated vsize (KiB) 295660

[startup+822.31 s]
/proc/loadavg: 4.62 4.59 4.50 5/101 4368
/proc/meminfo: memFree=2679872/3368532 swapFree=1953788/1959888
[pid=1864] ppid=1862 vsize=2416 CPUtime=0.73
/proc/1864/stat : 1864 (manysat.sh) S 1862 1864 27966 0 -1 4194304 369 2407 0 0 0 0 73 0 15 0 1 0 1118637968 2473984 275 4294967295 134512640 135169312 3213900880 3213897096 3085541102 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/1864/statm: 604 275 231 161 0 43 0
[pid=1867] ppid=1864 vsize=297016 CPUtime=3279.3
/proc/1867/stat : 1867 (manysat1.1_stat) R 1864 1864 27966 0 -1 4202496 62939 0 0 0 327651 279 0 0 25 0 4 0 1118638041 304144384 62660 4294967295 134512640 135305190 3213073264 3213071440 134528768 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/1867/statm: 74254 62660 79 194 0 74058 0
[pid=1867/tid=1868] ppid=1864 vsize=297016 CPUtime=819.84
/proc/1867/task/1868/stat : 1868 (manysat1.1_stat) R 1864 1864 27966 0 -1 4202560 15208 0 0 0 81910 74 0 0 25 0 4 0 1118638057 304144384 62660 4294967295 134512640 135305190 3213073264 3084336320 134528768 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=1867/tid=1869] ppid=1864 vsize=297016 CPUtime=819.26
/proc/1867/task/1869/stat : 1869 (manysat1.1_stat) R 1864 1864 27966 0 -1 4202560 16308 0 0 0 81848 78 0 0 25 0 4 0 1118638057 304144384 62660 4294967295 134512640 135305190 3213073264 3075947712 134528503 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=1867/tid=1870] ppid=1864 vsize=297016 CPUtime=819.89
/proc/1867/task/1870/stat : 1870 (manysat1.1_stat) R 1864 1864 27966 0 -1 4202560 12910 0 0 0 81923 66 0 0 25 0 4 0 1118638057 304144384 62660 4294967295 134512640 135305190 3213073264 3067559104 134528263 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3280.03
Current children cumulated vsize (KiB) 299432

[startup+882.315 s]
/proc/loadavg: 4.71 4.60 4.51 5/101 4556
/proc/meminfo: memFree=2664984/3368532 swapFree=1953788/1959888
[pid=1864] ppid=1862 vsize=2416 CPUtime=0.73
/proc/1864/stat : 1864 (manysat.sh) S 1862 1864 27966 0 -1 4194304 369 2407 0 0 0 0 73 0 15 0 1 0 1118637968 2473984 275 4294967295 134512640 135169312 3213900880 3213897096 3085541102 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/1864/statm: 604 275 231 161 0 43 0
[pid=1867] ppid=1864 vsize=312068 CPUtime=3519.04
/proc/1867/stat : 1867 (manysat1.1_stat) R 1864 1864 27966 0 -1 4202496 66698 0 0 0 351598 306 0 0 25 0 4 0 1118638041 319557632 66419 4294967295 134512640 135305190 3213073264 3213071440 134528768 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/1867/statm: 78017 66419 79 194 0 77821 0
[pid=1867/tid=1868] ppid=1864 vsize=312068 CPUtime=879.58
/proc/1867/task/1868/stat : 1868 (manysat1.1_stat) R 1864 1864 27966 0 -1 4202560 15645 0 0 0 87881 77 0 0 25 0 4 0 1118638057 319557632 66419 4294967295 134512640 135305190 3213073264 3084336320 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=1867/tid=1869] ppid=1864 vsize=312068 CPUtime=879.25
/proc/1867/task/1869/stat : 1869 (manysat1.1_stat) R 1864 1864 27966 0 -1 4202560 17752 0 0 0 87837 88 0 0 25 0 4 0 1118638057 319557632 66419 4294967295 134512640 135305190 3213073264 3075947712 134528402 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=1867/tid=1870] ppid=1864 vsize=312068 CPUtime=879.89
/proc/1867/task/1870/stat : 1870 (manysat1.1_stat) R 1864 1864 27966 0 -1 4202560 14628 0 0 0 87915 74 0 0 25 0 4 0 1118638057 319557632 66419 4294967295 134512640 135305190 3213073264 3067559104 134528310 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3519.77
Current children cumulated vsize (KiB) 314484

[startup+942.31 s]
/proc/loadavg: 4.50 4.56 4.50 5/101 4743
/proc/meminfo: memFree=2644064/3368532 swapFree=1953788/1959888
[pid=1864] ppid=1862 vsize=2416 CPUtime=0.73
/proc/1864/stat : 1864 (manysat.sh) S 1862 1864 27966 0 -1 4194304 369 2407 0 0 0 0 73 0 15 0 1 0 1118637968 2473984 275 4294967295 134512640 135169312 3213900880 3213897096 3085541102 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/1864/statm: 604 275 231 161 0 43 0
[pid=1867] ppid=1864 vsize=333644 CPUtime=3758.78
/proc/1867/stat : 1867 (manysat1.1_stat) R 1864 1864 27966 0 -1 4202496 71848 0 0 0 375555 323 0 0 25 0 4 0 1118638041 341651456 71569 4294967295 134512640 135305190 3213073264 3213071440 134528298 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/1867/statm: 83411 71569 79 194 0 83215 0
[pid=1867/tid=1868] ppid=1864 vsize=333644 CPUtime=939.42
/proc/1867/task/1868/stat : 1868 (manysat1.1_stat) R 1864 1864 27966 0 -1 4202560 17198 0 0 0 93858 84 0 0 25 0 4 0 1118638057 341651456 71569 4294967295 134512640 135305190 3213073264 3084336320 134528768 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=1867/tid=1869] ppid=1864 vsize=333644 CPUtime=939.19
/proc/1867/task/1869/stat : 1869 (manysat1.1_stat) R 1864 1864 27966 0 -1 4202560 19355 0 0 0 93828 91 0 0 25 0 4 0 1118638057 341651456 71569 4294967295 134512640 135305190 3213073264 3075947712 134528265 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=1867/tid=1870] ppid=1864 vsize=333644 CPUtime=939.87
/proc/1867/task/1870/stat : 1870 (manysat1.1_stat) R 1864 1864 27966 0 -1 4202560 16353 0 0 0 93908 79 0 0 25 0 4 0 1118638057 341651456 71569 4294967295 134512640 135305190 3213073264 3067559104 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3759.51
Current children cumulated vsize (KiB) 336060



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.02 s]
/proc/loadavg: 4.32 4.50 4.48 5/101 4932
/proc/meminfo: memFree=2641672/3368532 swapFree=1953788/1959888
[pid=1864] ppid=1862 vsize=2416 CPUtime=0.73
/proc/1864/stat : 1864 (manysat.sh) S 1862 1864 27966 0 -1 4194304 369 2407 0 0 0 0 73 0 15 0 1 0 1118637968 2473984 275 4294967295 134512640 135169312 3213900880 3213897096 3085541102 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/1864/statm: 604 275 231 161 0 43 0
[pid=1867] ppid=1864 vsize=335332 CPUtime=3989.08
/proc/1867/stat : 1867 (manysat1.1_stat) R 1864 1864 27966 0 -1 4202496 72105 0 0 0 398573 335 0 0 25 0 4 0 1118638041 343379968 71826 4294967295 134512640 135305190 3213073264 3213071440 134528768 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/1867/statm: 83833 71826 79 194 0 83637 0
[pid=1867/tid=1868] ppid=1864 vsize=335332 CPUtime=996.81
/proc/1867/task/1868/stat : 1868 (manysat1.1_stat) R 1864 1864 27966 0 -1 4202560 17346 0 0 0 99593 88 0 0 25 0 4 0 1118638057 343379968 71826 4294967295 134512640 135305190 3213073264 3084336320 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=1867/tid=1869] ppid=1864 vsize=335332 CPUtime=996.76
/proc/1867/task/1869/stat : 1869 (manysat1.1_stat) R 1864 1864 27966 0 -1 4202560 19424 0 0 0 99582 94 0 0 25 0 4 0 1118638057 343379968 71826 4294967295 134512640 135305190 3213073264 3075947712 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=1867/tid=1870] ppid=1864 vsize=335332 CPUtime=997.53
/proc/1867/task/1870/stat : 1870 (manysat1.1_stat) R 1864 1864 27966 0 -1 4202560 16359 0 0 0 99671 82 0 0 25 0 4 0 1118638057 343379968 71826 4294967295 134512640 135305190 3213073264 3067559104 134528548 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3989.81
Current children cumulated vsize (KiB) 337748

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): 3989.9
CPU user time (s): 3986.54
CPU system time (s): 3.36
CPU usage (%): 398.968
Max. virtual memory (cumulated for all children) (KiB): 337748

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3986.54
system time used= 3.36
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75157
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= 5810
involuntary context switches= 179608

runsolver used 0 second user time and 0 second system time

The end

Launcher Data 

Begin job on  at 2009-05-28 21:42:19
IDJOB=1781011
IDBENCH=71089
IDSOLVER=620
FILE ID=/1781011-1243539739
PBS_JOBID=
Free space on /tmp= 6475 MiB

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

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

MD5SUM BENCH= feb620c17f2a4d7899a2e7883baa7391
RANDOM SEED= 1389646799

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.061
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.061
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.12
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.061
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.14
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.061
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.14
clflush size	: 64


/proc/meminfo:
MemTotal:      3368532 kB
MemFree:       2932056 kB
Buffers:         58884 kB
Cached:         276996 kB
SwapCached:       2256 kB
Active:         127188 kB
Inactive:       218224 kB
HighTotal:     2489216 kB
HighFree:      2201104 kB
LowTotal:       879316 kB
LowFree:        730952 kB
SwapTotal:     1959888 kB
SwapFree:      1953788 kB
Dirty:            2872 kB
Writeback:           0 kB
AnonPages:        8592 kB
Mapped:           3128 kB
Slab:            81260 kB
SReclaimable:    67784 kB
SUnreclaim:      13476 kB
PageTables:        488 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:    88680 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 6475 MiB
End job on  at 2009-05-28 21:58:59