Trace number 1778869

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) 3990.98 1000.04

General information on the benchmark

NameAPPLICATIONS/bitverif/countbitsrotate/
countbitsrotate032.cnf
MD5SUM8d76aa747359ea8ccf15726792949452
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 variables8527
Number of clauses25484
Sum of the clauses size59460
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 216988
Number of clauses of size 38494
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Parsing...
0.00/0.01	c ==============================================================================
0.00/0.01	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.01	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.01	c ==============================================================================
0.00/0.01	c |         0 |   25482    59458 |    7644       0        0     nan |  0.000 % |
0.10/0.12	c |         0 |   19097    53996 |      --       0       --      -- |     --   | -6383/-5457
0.10/0.12	c ==============================================================================
0.10/0.12	c Result  :   #vars: 4641   #clauses: 19097   #literals: 53996
0.10/0.12	c CPU time:   0.1 s
0.10/0.12	c ==============================================================================
3990.93/1000.03	HOME/manysat.sh: line 55: 28603 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-1778869-1243516170/watcher-1778869-1243516170 -o /tmp/evaluation-result-1778869-1243516170/solver-1778869-1243516170 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1778869-1243516170.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: 3.97 4.25 4.31 3/96 28600
/proc/meminfo: memFree=2943464/3368532 swapFree=1954076/1959888
[pid=28600] ppid=28598 vsize=2416 CPUtime=0.01
/proc/28600/stat : 28600 (manysat.sh) S 28598 28600 1628 0 -1 4194304 348 0 0 0 0 1 0 0 18 0 1 0 1105718169 2473984 273 4294967295 134512640 135169312 3215392176 3215390712 3085135598 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/28600/statm: 604 273 231 161 0 43 0
[pid=28601] ppid=28600 vsize=1180 CPUtime=0
/proc/28601/stat : 28601 (SatElite) R 28600 28600 1628 0 -1 4202496 230 0 0 0 0 0 0 0 18 0 1 0 1105718169 1208320 167 4294967295 134512640 135034092 3212888864 3212885152 134544780 0 0 0 3 0 0 0 17 3 0 0 0
/proc/28601/statm: 295 169 49 128 0 165 0

[startup+0.050529 s]
/proc/loadavg: 3.97 4.25 4.31 3/96 28600
/proc/meminfo: memFree=2943464/3368532 swapFree=1954076/1959888
[pid=28600] ppid=28598 vsize=2416 CPUtime=0.01
/proc/28600/stat : 28600 (manysat.sh) S 28598 28600 1628 0 -1 4194304 348 0 0 0 0 1 0 0 18 0 1 0 1105718169 2473984 273 4294967295 134512640 135169312 3215392176 3215390712 3085135598 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/28600/statm: 604 273 231 161 0 43 0
[pid=28601] ppid=28600 vsize=5708 CPUtime=0.04
/proc/28601/stat : 28601 (SatElite) R 28600 28600 1628 0 -1 4202496 1217 0 0 0 4 0 0 0 18 0 1 0 1105718169 5844992 1132 4294967295 134512640 135034092 3212888864 3212884860 134691101 0 0 0 3 0 0 0 17 3 0 0 0
/proc/28601/statm: 1427 1132 67 128 0 1297 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 8124

[startup+0.110524 s]
/proc/loadavg: 3.97 4.25 4.31 3/96 28600
/proc/meminfo: memFree=2943464/3368532 swapFree=1954076/1959888
[pid=28600] ppid=28598 vsize=2416 CPUtime=0.01
/proc/28600/stat : 28600 (manysat.sh) S 28598 28600 1628 0 -1 4194304 348 0 0 0 0 1 0 0 18 0 1 0 1105718169 2473984 273 4294967295 134512640 135169312 3215392176 3215390712 3085135598 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/28600/statm: 604 273 231 161 0 43 0
[pid=28601] ppid=28600 vsize=5840 CPUtime=0.09
/proc/28601/stat : 28601 (SatElite) R 28600 28600 1628 0 -1 4202496 1270 0 0 0 8 1 0 0 18 0 1 0 1105718169 5980160 1185 4294967295 134512640 135034092 3212888864 3212885104 134566462 0 0 0 3 0 0 0 17 2 0 0 0
/proc/28601/statm: 1460 1185 67 128 0 1330 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 8256

[startup+0.31052 s]
/proc/loadavg: 3.97 4.25 4.31 3/96 28600
/proc/meminfo: memFree=2943464/3368532 swapFree=1954076/1959888
[pid=28600] ppid=28598 vsize=2420 CPUtime=0.14
/proc/28600/stat : 28600 (manysat.sh) S 28598 28600 1628 0 -1 4194304 370 1301 0 0 0 1 12 1 17 0 1 0 1105718169 2478080 275 4294967295 134512640 135169312 3215392176 3215388392 3085135598 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/28600/statm: 605 275 231 161 0 44 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 2420

[startup+0.710494 s]
/proc/loadavg: 3.97 4.25 4.31 3/96 28600
/proc/meminfo: memFree=2943464/3368532 swapFree=1954076/1959888
[pid=28600] ppid=28598 vsize=2420 CPUtime=0.14
/proc/28600/stat : 28600 (manysat.sh) S 28598 28600 1628 0 -1 4194304 370 1301 0 0 0 1 12 1 17 0 1 0 1105718169 2478080 275 4294967295 134512640 135169312 3215392176 3215388392 3085135598 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/28600/statm: 605 275 231 161 0 44 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 2420

[startup+1.51044 s]
/proc/loadavg: 3.97 4.25 4.31 6/101 28606
/proc/meminfo: memFree=2935664/3368532 swapFree=1954076/1959888
[pid=28600] ppid=28598 vsize=2420 CPUtime=0.14
/proc/28600/stat : 28600 (manysat.sh) S 28598 28600 1628 0 -1 4194304 370 1301 0 0 0 1 12 1 17 0 1 0 1105718169 2478080 275 4294967295 134512640 135169312 3215392176 3215388392 3085135598 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/28600/statm: 605 275 231 161 0 44 0
[pid=28603] ppid=28600 vsize=35696 CPUtime=5.27
/proc/28603/stat : 28603 (manysat1.1_stat) R 28600 28600 1628 0 -1 4202496 2233 0 0 0 526 1 0 0 19 0 4 0 1105718183 36552704 2168 4294967295 134512640 135305190 3216822016 3216820192 134528771 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/28603/statm: 8924 2168 79 194 0 8728 0
[pid=28603/tid=28604] ppid=28600 vsize=35696 CPUtime=1.32
/proc/28603/task/28604/stat : 28604 (manysat1.1_stat) R 28600 28600 1628 0 -1 4202560 104 0 0 0 132 0 0 0 21 0 4 0 1105718187 36552704 2168 4294967295 134512640 135305190 3216822016 3086032064 134528332 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=28603/tid=28605] ppid=28600 vsize=35696 CPUtime=1.3
/proc/28603/task/28605/stat : 28605 (manysat1.1_stat) R 28600 28600 1628 0 -1 4202560 108 0 0 0 130 0 0 0 21 0 4 0 1105718187 36552704 2168 4294967295 134512640 135305190 3216822016 3077643136 134552302 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=28603/tid=28606] ppid=28600 vsize=35696 CPUtime=1.29
/proc/28603/task/28606/stat : 28606 (manysat1.1_stat) R 28600 28600 1628 0 -1 4202560 275 0 0 0 128 1 0 0 21 0 4 0 1105718187 36552704 2168 4294967295 134512640 135305190 3216822016 3069254848 134528571 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.41
Current children cumulated vsize (KiB) 38116

[startup+3.11033 s]
/proc/loadavg: 3.97 4.25 4.31 6/101 28606
/proc/meminfo: memFree=2934924/3368532 swapFree=1954076/1959888
[pid=28600] ppid=28598 vsize=2420 CPUtime=0.14
/proc/28600/stat : 28600 (manysat.sh) S 28598 28600 1628 0 -1 4194304 370 1301 0 0 0 1 12 1 17 0 1 0 1105718169 2478080 275 4294967295 134512640 135169312 3215392176 3215388392 3085135598 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/28600/statm: 605 275 231 161 0 44 0
[pid=28603] ppid=28600 vsize=37016 CPUtime=11.67
/proc/28603/stat : 28603 (manysat1.1_stat) R 28600 28600 1628 0 -1 4202496 2597 0 0 0 1166 1 0 0 24 0 4 0 1105718183 37904384 2532 4294967295 134512640 135305190 3216822016 3216819920 134556752 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/28603/statm: 9254 2533 79 194 0 9058 0
[pid=28603/tid=28604] ppid=28600 vsize=37016 CPUtime=2.92
/proc/28603/task/28604/stat : 28604 (manysat1.1_stat) R 28600 28600 1628 0 -1 4202560 165 0 0 0 292 0 0 0 25 0 4 0 1105718187 37904384 2533 4294967295 134512640 135305190 3216822016 3086032064 134528503 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=28603/tid=28605] ppid=28600 vsize=37016 CPUtime=2.9
/proc/28603/task/28605/stat : 28605 (manysat1.1_stat) R 28600 28600 1628 0 -1 4202560 210 0 0 0 290 0 0 0 25 0 4 0 1105718187 37904384 2533 4294967295 134512640 135305190 3216822016 3077643400 134840070 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=28603/tid=28606] ppid=28600 vsize=37016 CPUtime=2.89
/proc/28603/task/28606/stat : 28606 (manysat1.1_stat) R 28600 28600 1628 0 -1 4202560 415 0 0 0 288 1 0 0 25 0 4 0 1105718187 37904384 2533 4294967295 134512640 135305190 3216822016 3069254576 134556787 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 11.81
Current children cumulated vsize (KiB) 39436

[startup+6.31011 s]
/proc/loadavg: 3.97 4.24 4.30 6/101 28606
/proc/meminfo: memFree=2932560/3368532 swapFree=1954076/1959888
[pid=28600] ppid=28598 vsize=2420 CPUtime=0.14
/proc/28600/stat : 28600 (manysat.sh) S 28598 28600 1628 0 -1 4194304 370 1301 0 0 0 1 12 1 17 0 1 0 1105718169 2478080 275 4294967295 134512640 135169312 3215392176 3215388392 3085135598 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/28600/statm: 605 275 231 161 0 44 0
[pid=28603] ppid=28600 vsize=39160 CPUtime=24.46
/proc/28603/stat : 28603 (manysat1.1_stat) R 28600 28600 1628 0 -1 4202496 3162 0 0 0 2444 2 0 0 25 0 4 0 1105718183 40099840 3097 4294967295 134512640 135305190 3216822016 3216820192 134528418 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/28603/statm: 9790 3097 79 194 0 9594 0
[pid=28603/tid=28604] ppid=28600 vsize=39160 CPUtime=6.12
/proc/28603/task/28604/stat : 28604 (manysat1.1_stat) R 28600 28600 1628 0 -1 4202560 289 0 0 0 612 0 0 0 25 0 4 0 1105718187 40099840 3097 4294967295 134512640 135305190 3216822016 3086031792 134557484 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=28603/tid=28605] ppid=28600 vsize=39160 CPUtime=6.1
/proc/28603/task/28605/stat : 28605 (manysat1.1_stat) R 28600 28600 1628 0 -1 4202560 369 0 0 0 610 0 0 0 25 0 4 0 1105718187 40099840 3097 4294967295 134512640 135305190 3216822016 3077643456 134528501 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=28603/tid=28606] ppid=28600 vsize=39160 CPUtime=6.08
/proc/28603/task/28606/stat : 28606 (manysat1.1_stat) R 28600 28600 1628 0 -1 4202560 596 0 0 0 607 1 0 0 25 0 4 0 1105718187 40099840 3097 4294967295 134512640 135305190 3216822016 3069254576 134558264 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 24.6
Current children cumulated vsize (KiB) 41580

[startup+12.7197 s]
/proc/loadavg: 3.97 4.24 4.30 5/101 28790
/proc/meminfo: memFree=2927412/3368532 swapFree=1954076/1959888
[pid=28600] ppid=28598 vsize=2420 CPUtime=0.14
/proc/28600/stat : 28600 (manysat.sh) S 28598 28600 1628 0 -1 4194304 370 1301 0 0 0 1 12 1 17 0 1 0 1105718169 2478080 275 4294967295 134512640 135169312 3215392176 3215388392 3085135598 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/28600/statm: 605 275 231 161 0 44 0
[pid=28603] ppid=28600 vsize=43556 CPUtime=49.8
/proc/28603/stat : 28603 (manysat1.1_stat) R 28600 28600 1628 0 -1 4202496 4002 0 0 0 4975 5 0 0 25 0 4 0 1105718183 44601344 3937 4294967295 134512640 135305190 3216822016 3216820192 134528768 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/28603/statm: 10889 3937 79 194 0 10693 0
[pid=28603/tid=28604] ppid=28600 vsize=43556 CPUtime=12.47
/proc/28603/task/28604/stat : 28604 (manysat1.1_stat) R 28600 28600 1628 0 -1 4202560 462 0 0 0 1246 1 0 0 25 0 4 0 1105718187 44601344 3937 4294967295 134512640 135305190 3216822016 3086032064 134530646 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=28603/tid=28605] ppid=28600 vsize=43556 CPUtime=12.45
/proc/28603/task/28605/stat : 28605 (manysat1.1_stat) R 28600 28600 1628 0 -1 4202560 583 0 0 0 1244 1 0 0 25 0 4 0 1105718187 44601344 3937 4294967295 134512640 135305190 3216822016 3077643456 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=28603/tid=28606] ppid=28600 vsize=43556 CPUtime=12.44
/proc/28603/task/28606/stat : 28606 (manysat1.1_stat) R 28600 28600 1628 0 -1 4202560 899 0 0 0 1242 2 0 0 25 0 4 0 1105718187 44601344 3937 4294967295 134512640 135305190 3216822016 3069254848 134528229 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 49.94
Current children cumulated vsize (KiB) 45976

[startup+25.5188 s]
/proc/loadavg: 3.98 4.23 4.30 5/101 28797
/proc/meminfo: memFree=2921688/3368532 swapFree=1954076/1959888
[pid=28600] ppid=28598 vsize=2420 CPUtime=0.14
/proc/28600/stat : 28600 (manysat.sh) S 28598 28600 1628 0 -1 4194304 370 1301 0 0 0 1 12 1 17 0 1 0 1105718169 2478080 275 4294967295 134512640 135169312 3215392176 3215388392 3085135598 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/28600/statm: 605 275 231 161 0 44 0
[pid=28603] ppid=28600 vsize=49744 CPUtime=100.95
/proc/28603/stat : 28603 (manysat1.1_stat) R 28600 28600 1628 0 -1 4202496 5684 0 0 0 10079 16 0 0 25 0 4 0 1105718183 50937856 5619 4294967295 134512640 135305190 3216822016 3216820192 134528536 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/28603/statm: 12436 5619 79 194 0 12240 0
[pid=28603/tid=28604] ppid=28600 vsize=49744 CPUtime=25.27
/proc/28603/task/28604/stat : 28604 (manysat1.1_stat) R 28600 28600 1628 0 -1 4202560 770 0 0 0 2524 3 0 0 25 0 4 0 1105718187 50937856 5619 4294967295 134512640 135305190 3216822016 3086032064 134528363 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=28603/tid=28605] ppid=28600 vsize=49744 CPUtime=25.24
/proc/28603/task/28605/stat : 28605 (manysat1.1_stat) R 28600 28600 1628 0 -1 4202560 949 0 0 0 2519 5 0 0 25 0 4 0 1105718187 50937856 5619 4294967295 134512640 135305190 3216822016 3077643072 134551651 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=28603/tid=28606] ppid=28600 vsize=49744 CPUtime=25.2
/proc/28603/task/28606/stat : 28606 (manysat1.1_stat) R 28600 28600 1628 0 -1 4202560 1515 0 0 0 2514 6 0 0 25 0 4 0 1105718187 50937856 5619 4294967295 134512640 135305190 3216822016 3069254848 134528252 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.09
Current children cumulated vsize (KiB) 52164

[startup+51.1171 s]
/proc/loadavg: 4.19 4.26 4.30 5/101 28798
/proc/meminfo: memFree=2916276/3368532 swapFree=1954076/1959888
[pid=28600] ppid=28598 vsize=2420 CPUtime=0.14
/proc/28600/stat : 28600 (manysat.sh) S 28598 28600 1628 0 -1 4194304 370 1301 0 0 0 1 12 1 17 0 1 0 1105718169 2478080 275 4294967295 134512640 135169312 3215392176 3215388392 3085135598 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/28600/statm: 605 275 231 161 0 44 0
[pid=28603] ppid=28600 vsize=54860 CPUtime=203.28
/proc/28603/stat : 28603 (manysat1.1_stat) R 28600 28600 1628 0 -1 4202496 7046 0 0 0 20311 17 0 0 25 0 4 0 1105718183 56176640 6969 4294967295 134512640 135305190 3216822016 3216820192 134528480 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/28603/statm: 13715 6969 79 194 0 13519 0
[pid=28603/tid=28604] ppid=28600 vsize=54860 CPUtime=50.87
/proc/28603/task/28604/stat : 28604 (manysat1.1_stat) R 28600 28600 1628 0 -1 4202560 1008 0 0 0 5084 3 0 0 25 0 4 0 1105718187 56176640 6969 4294967295 134512640 135305190 3216822016 3086032064 134528341 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=28603/tid=28605] ppid=28600 vsize=54860 CPUtime=50.84
/proc/28603/task/28605/stat : 28605 (manysat1.1_stat) R 28600 28600 1628 0 -1 4202560 1275 0 0 0 5079 5 0 0 25 0 4 0 1105718187 56176640 6969 4294967295 134512640 135305190 3216822016 3077643136 134552871 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=28603/tid=28606] ppid=28600 vsize=54860 CPUtime=50.75
/proc/28603/task/28606/stat : 28606 (manysat1.1_stat) R 28600 28600 1628 0 -1 4202560 2031 0 0 0 5068 7 0 0 25 0 4 0 1105718187 56176640 6969 4294967295 134512640 135305190 3216822016 3069254848 134528768 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.42
Current children cumulated vsize (KiB) 57280

[startup+102.314 s]
/proc/loadavg: 4.25 4.27 4.30 5/101 28986
/proc/meminfo: memFree=2903844/3368532 swapFree=1954076/1959888
[pid=28600] ppid=28598 vsize=2420 CPUtime=0.14
/proc/28600/stat : 28600 (manysat.sh) S 28598 28600 1628 0 -1 4194304 370 1301 0 0 0 1 12 1 17 0 1 0 1105718169 2478080 275 4294967295 134512640 135169312 3215392176 3215388392 3085135598 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/28600/statm: 605 275 231 161 0 44 0
[pid=28603] ppid=28600 vsize=67560 CPUtime=407.63
/proc/28603/stat : 28603 (manysat1.1_stat) R 28600 28600 1628 0 -1 4202496 10062 0 0 0 40732 31 0 0 25 0 4 0 1105718183 69181440 9985 4294967295 134512640 135305190 3216822016 3216820192 134528768 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/28603/statm: 16890 9985 79 194 0 16694 0
[pid=28603/tid=28604] ppid=28600 vsize=67560 CPUtime=102.01
/proc/28603/task/28604/stat : 28604 (manysat1.1_stat) R 28600 28600 1628 0 -1 4202560 1508 0 0 0 10196 5 0 0 25 0 4 0 1105718187 69181440 9985 4294967295 134512640 135305190 3216822016 3086032064 134528240 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=28603/tid=28605] ppid=28600 vsize=67560 CPUtime=101.93
/proc/28603/task/28605/stat : 28605 (manysat1.1_stat) R 28600 28600 1628 0 -1 4202560 1856 0 0 0 10182 11 0 0 25 0 4 0 1105718187 69181440 9985 4294967295 134512640 135305190 3216822016 3077643136 134553519 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=28603/tid=28606] ppid=28600 vsize=67560 CPUtime=101.83
/proc/28603/task/28606/stat : 28606 (manysat1.1_stat) R 28600 28600 1628 0 -1 4202560 3230 0 0 0 10173 10 0 0 25 0 4 0 1105718187 69181440 9985 4294967295 134512640 135305190 3216822016 3069254848 134528392 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 407.77
Current children cumulated vsize (KiB) 69980

[startup+162.31 s]
/proc/loadavg: 4.48 4.33 4.32 5/101 29172
/proc/meminfo: memFree=2900008/3368532 swapFree=1954076/1959888
[pid=28600] ppid=28598 vsize=2420 CPUtime=0.14
/proc/28600/stat : 28600 (manysat.sh) S 28598 28600 1628 0 -1 4194304 370 1301 0 0 0 1 12 1 17 0 1 0 1105718169 2478080 275 4294967295 134512640 135169312 3215392176 3215388392 3085135598 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/28600/statm: 605 275 231 161 0 44 0
[pid=28603] ppid=28600 vsize=72012 CPUtime=647.07
/proc/28603/stat : 28603 (manysat1.1_stat) R 28600 28600 1628 0 -1 4202496 11001 0 0 0 64667 40 0 0 25 0 4 0 1105718183 73740288 10924 4294967295 134512640 135305190 3216822016 3216819920 134557557 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/28603/statm: 18003 10924 79 194 0 17807 0
[pid=28603/tid=28604] ppid=28600 vsize=72012 CPUtime=161.8

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

Current children cumulated vsize (KiB) 102836

[startup+522.305 s]
/proc/loadavg: 5.00 4.63 4.44 5/101 30308
/proc/meminfo: memFree=2870416/3368532 swapFree=1954076/1959888
[pid=28600] ppid=28598 vsize=2420 CPUtime=0.14
/proc/28600/stat : 28600 (manysat.sh) S 28598 28600 1628 0 -1 4194304 370 1301 0 0 0 1 12 1 17 0 1 0 1105718169 2478080 275 4294967295 134512640 135169312 3215392176 3215388392 3085135598 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/28600/statm: 605 275 231 161 0 44 0
[pid=28603] ppid=28600 vsize=101916 CPUtime=2083.96
/proc/28603/stat : 28603 (manysat1.1_stat) R 28600 28600 1628 0 -1 4202496 18102 0 0 0 208280 116 0 0 25 0 4 0 1105718183 104361984 18025 4294967295 134512640 135305190 3216822016 3216820192 134528392 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/28603/statm: 25479 18025 79 194 0 25283 0
[pid=28603/tid=28604] ppid=28600 vsize=101916 CPUtime=520.65
/proc/28603/task/28604/stat : 28604 (manysat1.1_stat) R 28600 28600 1628 0 -1 4202560 3319 0 0 0 52049 16 0 0 25 0 4 0 1105718187 104361984 18025 4294967295 134512640 135305190 3216822016 3086032064 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=28603/tid=28605] ppid=28600 vsize=101916 CPUtime=521.33
/proc/28603/task/28605/stat : 28605 (manysat1.1_stat) R 28600 28600 1628 0 -1 4202560 3752 0 0 0 52104 29 0 0 25 0 4 0 1105718187 104361984 18025 4294967295 134512640 135305190 3216822016 3077643136 134553312 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=28603/tid=28606] ppid=28600 vsize=101916 CPUtime=521.38
/proc/28603/task/28606/stat : 28606 (manysat1.1_stat) R 28600 28600 1628 0 -1 4202560 5953 0 0 0 52107 31 0 0 25 0 4 0 1105718187 104361984 18025 4294967295 134512640 135305190 3216822016 3069254848 134528402 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2084.1
Current children cumulated vsize (KiB) 104336

[startup+582.301 s]
/proc/loadavg: 4.65 4.59 4.44 5/101 30496
/proc/meminfo: memFree=2866916/3368532 swapFree=1954076/1959888
[pid=28600] ppid=28598 vsize=2420 CPUtime=0.14
/proc/28600/stat : 28600 (manysat.sh) S 28598 28600 1628 0 -1 4194304 370 1301 0 0 0 1 12 1 17 0 1 0 1105718169 2478080 275 4294967295 134512640 135169312 3215392176 3215388392 3085135598 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/28600/statm: 605 275 231 161 0 44 0
[pid=28603] ppid=28600 vsize=106344 CPUtime=2323.46
/proc/28603/stat : 28603 (manysat1.1_stat) R 28600 28600 1628 0 -1 4202496 19041 0 0 0 232217 129 0 0 25 0 4 0 1105718183 108896256 18964 4294967295 134512640 135305190 3216822016 3216820192 134528298 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/28603/statm: 26586 18964 79 194 0 26390 0
[pid=28603/tid=28604] ppid=28600 vsize=106344 CPUtime=580.34
/proc/28603/task/28604/stat : 28604 (manysat1.1_stat) R 28600 28600 1628 0 -1 4202560 3466 0 0 0 58016 18 0 0 25 0 4 0 1105718187 108896256 18964 4294967295 134512640 135305190 3216822016 3086032064 134528392 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=28603/tid=28605] ppid=28600 vsize=106344 CPUtime=581.18
/proc/28603/task/28605/stat : 28605 (manysat1.1_stat) R 28600 28600 1628 0 -1 4202560 3993 0 0 0 58086 32 0 0 25 0 4 0 1105718187 108896256 18964 4294967295 134512640 135305190 3216822016 3077643344 134538524 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=28603/tid=28606] ppid=28600 vsize=106344 CPUtime=581.37
/proc/28603/task/28606/stat : 28606 (manysat1.1_stat) R 28600 28600 1628 0 -1 4202560 6364 0 0 0 58105 32 0 0 25 0 4 0 1105718187 108896256 18964 4294967295 134512640 135305190 3216822016 3069254576 134556792 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2323.6
Current children cumulated vsize (KiB) 108764

[startup+642.317 s]
/proc/loadavg: 4.71 4.62 4.46 5/101 30684
/proc/meminfo: memFree=2858156/3368532 swapFree=1954076/1959888
[pid=28600] ppid=28598 vsize=2420 CPUtime=0.14
/proc/28600/stat : 28600 (manysat.sh) S 28598 28600 1628 0 -1 4194304 370 1301 0 0 0 1 12 1 17 0 1 0 1105718169 2478080 275 4294967295 134512640 135169312 3215392176 3215388392 3085135598 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/28600/statm: 605 275 231 161 0 44 0
[pid=28603] ppid=28600 vsize=114792 CPUtime=2563.08
/proc/28603/stat : 28603 (manysat1.1_stat) R 28600 28600 1628 0 -1 4202496 21119 0 0 0 256166 142 0 0 25 0 4 0 1105718183 117547008 21042 4294967295 134512640 135305190 3216822016 3216819920 134556846 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/28603/statm: 28698 21042 79 194 0 28502 0
[pid=28603/tid=28604] ppid=28600 vsize=114792 CPUtime=640.2
/proc/28603/task/28604/stat : 28604 (manysat1.1_stat) R 28600 28600 1628 0 -1 4202560 4008 0 0 0 64002 18 0 0 25 0 4 0 1105718187 117547008 21042 4294967295 134512640 135305190 3216822016 3086031792 134557163 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=28603/tid=28605] ppid=28600 vsize=114792 CPUtime=641.03
/proc/28603/task/28605/stat : 28605 (manysat1.1_stat) R 28600 28600 1628 0 -1 4202560 4385 0 0 0 64070 33 0 0 25 0 4 0 1105718187 117547008 21042 4294967295 134512640 135305190 3216822016 3077643400 134839991 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=28603/tid=28606] ppid=28600 vsize=114792 CPUtime=641.34
/proc/28603/task/28606/stat : 28606 (manysat1.1_stat) R 28600 28600 1628 0 -1 4202560 7110 0 0 0 64094 40 0 0 25 0 4 0 1105718187 117547008 21042 4294967295 134512640 135305190 3216822016 3069254640 134550584 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2563.22
Current children cumulated vsize (KiB) 117212

[startup+702.313 s]
/proc/loadavg: 4.50 4.58 4.45 5/101 30873
/proc/meminfo: memFree=2857032/3368532 swapFree=1954076/1959888
[pid=28600] ppid=28598 vsize=2420 CPUtime=0.14
/proc/28600/stat : 28600 (manysat.sh) S 28598 28600 1628 0 -1 4194304 370 1301 0 0 0 1 12 1 17 0 1 0 1105718169 2478080 275 4294967295 134512640 135169312 3215392176 3215388392 3085135598 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/28600/statm: 605 275 231 161 0 44 0
[pid=28603] ppid=28600 vsize=117128 CPUtime=2802.64
/proc/28603/stat : 28603 (manysat1.1_stat) R 28600 28600 1628 0 -1 4202496 21688 0 0 0 280112 152 0 0 25 0 4 0 1105718183 119939072 21611 4294967295 134512640 135305190 3216822016 3216820192 134528256 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/28603/statm: 29282 21611 79 194 0 29086 0
[pid=28603/tid=28604] ppid=28600 vsize=117128 CPUtime=700.13
/proc/28603/task/28604/stat : 28604 (manysat1.1_stat) R 28600 28600 1628 0 -1 4202560 4091 0 0 0 69993 20 0 0 25 0 4 0 1105718187 119939072 21611 4294967295 134512640 135305190 3216822016 3086032064 134528402 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=28603/tid=28605] ppid=28600 vsize=117128 CPUtime=700.89
/proc/28603/task/28605/stat : 28605 (manysat1.1_stat) R 28600 28600 1628 0 -1 4202560 4534 0 0 0 70055 34 0 0 25 0 4 0 1105718187 119939072 21611 4294967295 134512640 135305190 3216822016 3077643456 134528248 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=28603/tid=28606] ppid=28600 vsize=117128 CPUtime=701.29
/proc/28603/task/28606/stat : 28606 (manysat1.1_stat) R 28600 28600 1628 0 -1 4202560 7265 0 0 0 70089 40 0 0 25 0 4 0 1105718187 119939072 21611 4294967295 134512640 135305190 3216822016 3069254848 134528392 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2802.78
Current children cumulated vsize (KiB) 119548

[startup+762.309 s]
/proc/loadavg: 4.47 4.56 4.45 5/101 31059
/proc/meminfo: memFree=2853384/3368532 swapFree=1954076/1959888
[pid=28600] ppid=28598 vsize=2420 CPUtime=0.14
/proc/28600/stat : 28600 (manysat.sh) S 28598 28600 1628 0 -1 4194304 370 1301 0 0 0 1 12 1 17 0 1 0 1105718169 2478080 275 4294967295 134512640 135169312 3215392176 3215388392 3085135598 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/28600/statm: 605 275 231 161 0 44 0
[pid=28603] ppid=28600 vsize=120472 CPUtime=3041.88
/proc/28603/stat : 28603 (manysat1.1_stat) R 28600 28600 1628 0 -1 4202496 22431 0 0 0 304021 167 0 0 25 0 4 0 1105718183 123363328 22354 4294967295 134512640 135305190 3216822016 3216820192 134528298 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/28603/statm: 30118 22354 79 194 0 29922 0
[pid=28603/tid=28604] ppid=28600 vsize=120472 CPUtime=760.02
/proc/28603/task/28604/stat : 28604 (manysat1.1_stat) R 28600 28600 1628 0 -1 4202560 4187 0 0 0 75980 22 0 0 25 0 4 0 1105718187 123363328 22354 4294967295 134512640 135305190 3216822016 3086032064 134528229 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=28603/tid=28605] ppid=28600 vsize=120472 CPUtime=760.7
/proc/28603/task/28605/stat : 28605 (manysat1.1_stat) R 28600 28600 1628 0 -1 4202560 4810 0 0 0 76034 36 0 0 25 0 4 0 1105718187 123363328 22354 4294967295 134512640 135305190 3216822016 3077643136 134553437 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=28603/tid=28606] ppid=28600 vsize=120472 CPUtime=761.21
/proc/28603/task/28606/stat : 28606 (manysat1.1_stat) R 28600 28600 1628 0 -1 4202560 7501 0 0 0 76073 48 0 0 25 0 4 0 1105718187 123363328 22354 4294967295 134512640 135305190 3216822016 3069254576 134557163 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3042.02
Current children cumulated vsize (KiB) 122892

[startup+822.315 s]
/proc/loadavg: 4.71 4.60 4.47 5/101 31251
/proc/meminfo: memFree=2848360/3368532 swapFree=1954076/1959888
[pid=28600] ppid=28598 vsize=2420 CPUtime=0.14
/proc/28600/stat : 28600 (manysat.sh) S 28598 28600 1628 0 -1 4194304 370 1301 0 0 0 1 12 1 17 0 1 0 1105718169 2478080 275 4294967295 134512640 135169312 3215392176 3215388392 3085135598 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/28600/statm: 605 275 231 161 0 44 0
[pid=28603] ppid=28600 vsize=125420 CPUtime=3281.56
/proc/28603/stat : 28603 (manysat1.1_stat) R 28600 28600 1628 0 -1 4202496 23723 0 0 0 327977 179 0 0 25 0 4 0 1105718183 128430080 23646 4294967295 134512640 135305190 3216822016 3216820136 134840070 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/28603/statm: 31355 23646 79 194 0 31159 0
[pid=28603/tid=28604] ppid=28600 vsize=125420 CPUtime=819.86
/proc/28603/task/28604/stat : 28604 (manysat1.1_stat) R 28600 28600 1628 0 -1 4202560 4474 0 0 0 81959 27 0 0 25 0 4 0 1105718187 128430080 23646 4294967295 134512640 135305190 3216822016 3086032064 134528559 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=28603/tid=28605] ppid=28600 vsize=125420 CPUtime=820.55
/proc/28603/task/28605/stat : 28605 (manysat1.1_stat) R 28600 28600 1628 0 -1 4202560 5051 0 0 0 82018 37 0 0 25 0 4 0 1105718187 128430080 23646 4294967295 134512640 135305190 3216822016 3077643136 134552678 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=28603/tid=28606] ppid=28600 vsize=125420 CPUtime=821.19
/proc/28603/task/28606/stat : 28606 (manysat1.1_stat) R 28600 28600 1628 0 -1 4202560 7993 0 0 0 82067 52 0 0 25 0 4 0 1105718187 128430080 23646 4294967295 134512640 135305190 3216822016 3069254848 134528382 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3281.7
Current children cumulated vsize (KiB) 127840

[startup+882.311 s]
/proc/loadavg: 4.72 4.62 4.48 5/101 31439
/proc/meminfo: memFree=2844416/3368532 swapFree=1954076/1959888
[pid=28600] ppid=28598 vsize=2420 CPUtime=0.14
/proc/28600/stat : 28600 (manysat.sh) S 28598 28600 1628 0 -1 4194304 370 1301 0 0 0 1 12 1 17 0 1 0 1105718169 2478080 275 4294967295 134512640 135169312 3215392176 3215388392 3085135598 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/28600/statm: 605 275 231 161 0 44 0
[pid=28603] ppid=28600 vsize=129340 CPUtime=3521.14
/proc/28603/stat : 28603 (manysat1.1_stat) R 28600 28600 1628 0 -1 4202496 24757 0 0 0 351921 193 0 0 25 0 4 0 1105718183 132444160 24680 4294967295 134512640 135305190 3216822016 3216820192 134528503 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/28603/statm: 32335 24680 79 194 0 32139 0
[pid=28603/tid=28604] ppid=28600 vsize=129340 CPUtime=879.79
/proc/28603/task/28604/stat : 28604 (manysat1.1_stat) R 28600 28600 1628 0 -1 4202560 4728 0 0 0 87951 28 0 0 25 0 4 0 1105718187 132444160 24680 4294967295 134512640 135305190 3216822016 3086032064 134528229 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=28603/tid=28605] ppid=28600 vsize=129340 CPUtime=880.36
/proc/28603/task/28605/stat : 28605 (manysat1.1_stat) R 28600 28600 1628 0 -1 4202560 5218 0 0 0 87995 41 0 0 25 0 4 0 1105718187 132444160 24680 4294967295 134512640 135305190 3216822016 3077643456 134528184 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=28603/tid=28606] ppid=28600 vsize=129340 CPUtime=881.11
/proc/28603/task/28606/stat : 28606 (manysat1.1_stat) R 28600 28600 1628 0 -1 4202560 8335 0 0 0 88054 57 0 0 25 0 4 0 1105718187 132444160 24680 4294967295 134512640 135305190 3216822016 3069254848 134528771 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3521.28
Current children cumulated vsize (KiB) 131760

[startup+942.307 s]
/proc/loadavg: 4.63 4.61 4.48 5/101 31627
/proc/meminfo: memFree=2843424/3368532 swapFree=1954076/1959888
[pid=28600] ppid=28598 vsize=2420 CPUtime=0.14
/proc/28600/stat : 28600 (manysat.sh) S 28598 28600 1628 0 -1 4194304 370 1301 0 0 0 1 12 1 17 0 1 0 1105718169 2478080 275 4294967295 134512640 135169312 3215392176 3215388392 3085135598 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/28600/statm: 605 275 231 161 0 44 0
[pid=28603] ppid=28600 vsize=129952 CPUtime=3760.56
/proc/28603/stat : 28603 (manysat1.1_stat) R 28600 28600 1628 0 -1 4202496 24865 0 0 0 375844 212 0 0 25 0 4 0 1105718183 133070848 24788 4294967295 134512640 135305190 3216822016 3216819920 134556734 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/28603/statm: 32488 24788 79 194 0 32292 0
[pid=28603/tid=28604] ppid=28600 vsize=129952 CPUtime=939.72
/proc/28603/task/28604/stat : 28604 (manysat1.1_stat) R 28600 28600 1628 0 -1 4202560 4728 0 0 0 93944 28 0 0 25 0 4 0 1105718187 133070848 24788 4294967295 134512640 135305190 3216822016 3086032064 134528768 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=28603/tid=28605] ppid=28600 vsize=129952 CPUtime=940.12
/proc/28603/task/28605/stat : 28605 (manysat1.1_stat) R 28600 28600 1628 0 -1 4202560 5259 0 0 0 93964 48 0 0 25 0 4 0 1105718187 133070848 24788 4294967295 134512640 135305190 3216822016 3077643456 134528189 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=28603/tid=28606] ppid=28600 vsize=129952 CPUtime=941.1
/proc/28603/task/28606/stat : 28606 (manysat1.1_stat) R 28600 28600 1628 0 -1 4202560 8335 0 0 0 94050 60 0 0 25 0 4 0 1105718187 133070848 24788 4294967295 134512640 135305190 3216822016 3069254848 134528571 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3760.7
Current children cumulated vsize (KiB) 132372



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.01 s]
/proc/loadavg: 4.72 4.62 4.49 5/101 31816
/proc/meminfo: memFree=2843592/3368532 swapFree=1954076/1959888
[pid=28600] ppid=28598 vsize=2420 CPUtime=0.14
/proc/28600/stat : 28600 (manysat.sh) S 28598 28600 1628 0 -1 4194304 370 1301 0 0 0 1 12 1 17 0 1 0 1105718169 2478080 275 4294967295 134512640 135169312 3215392176 3215388392 3085135598 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/28600/statm: 605 275 231 161 0 44 0
[pid=28603] ppid=28600 vsize=130276 CPUtime=3990.79
/proc/28603/stat : 28603 (manysat1.1_stat) R 28600 28600 1628 0 -1 4202496 24933 0 0 0 398852 227 0 0 25 0 4 0 1105718183 133402624 24856 4294967295 134512640 135305190 3216822016 3216820192 134528559 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/28603/statm: 32569 24856 79 194 0 32373 0
[pid=28603/tid=28604] ppid=28600 vsize=130276 CPUtime=997.31
/proc/28603/task/28604/stat : 28604 (manysat1.1_stat) R 28600 28600 1628 0 -1 4202560 4766 0 0 0 99699 32 0 0 25 0 4 0 1105718187 133402624 24856 4294967295 134512640 135305190 3216822016 3086032064 134528774 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=28603/tid=28605] ppid=28600 vsize=130276 CPUtime=997.65
/proc/28603/task/28605/stat : 28605 (manysat1.1_stat) R 28600 28600 1628 0 -1 4202560 5286 0 0 0 99716 49 0 0 25 0 4 0 1105718187 133402624 24856 4294967295 134512640 135305190 3216822016 3077643456 134528548 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=28603/tid=28606] ppid=28600 vsize=130276 CPUtime=998.52
/proc/28603/task/28606/stat : 28606 (manysat1.1_stat) R 28600 28600 1628 0 -1 4202560 8338 0 0 0 99789 63 0 0 25 0 4 0 1105718187 133402624 24856 4294967295 134512640 135305190 3216822016 3069254576 134557253 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3990.93
Current children cumulated vsize (KiB) 132696

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.04
CPU time (s): 3990.98
CPU user time (s): 3988.69
CPU system time (s): 2.29
CPU usage (%): 399.082
Max. virtual memory (cumulated for all children) (KiB): 132696

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3988.69
system time used= 2.29
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26878
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= 4229
involuntary context switches= 173447

runsolver used 0 second user time and 0.01 second system time

The end

Launcher Data 

Begin job on tipi44 at 2009-05-28 15:09:30
IDJOB=1778869
IDBENCH=70775
IDSOLVER=623
FILE ID=tipi44/1778869-1243516170
PBS_JOBID=
Free space on /tmp= 15893 MiB

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

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

MD5SUM BENCH= 8d76aa747359ea8ccf15726792949452
RANDOM SEED= 187793515

Linux tipi44 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.116
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.42
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.116
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.116
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.116
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.16
clflush size	: 64


/proc/meminfo:
MemTotal:      3368532 kB
MemFree:       2943760 kB
Buffers:        140628 kB
Cached:         176924 kB
SwapCached:       2180 kB
Active:         104724 kB
Inactive:       222540 kB
HighTotal:     2489216 kB
HighFree:      2300196 kB
LowTotal:       879316 kB
LowFree:        643564 kB
SwapTotal:     1959888 kB
SwapFree:      1954076 kB
Dirty:            1812 kB
Writeback:           0 kB
AnonPages:        8936 kB
Mapped:           3388 kB
Slab:            87132 kB
SReclaimable:    77172 kB
SUnreclaim:       9960 kB
PageTables:        496 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:    88080 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 15893 MiB
End job on tipi44 at 2009-05-28 15:26:10