Trace number 3361936

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
SAT09 reference solver: ManySAT 1.1 aimd 1/2009-03-20? (TO) 20394.8 5100.02

General information on the benchmark

NameAPPLICATIONS/bitverif/
smulo/smulo064.cnf
MD5SUM472e9d10d7fd1a82d06da0809d0002df
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 variables47129
Number of clauses141002
Sum of the clauses size329002
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 294000
Number of clauses of size 347000
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.06	c ==============================================================================
0.00/0.06	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.06	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.06	c ==============================================================================
0.00/0.06	c |         0 |  141000   329000 |   42299       0        0     nan |  0.000 % |
0.00/0.45	c |         0 |  105063   295988 |      --       0       --      -- |     --   | -35935/-33007
0.00/0.45	c ==============================================================================
0.00/0.45	c Result  :   #vars: 24245   #clauses: 105063   #literals: 295988
0.00/0.45	c CPU time:   0.435933 s
0.00/0.45	c ==============================================================================

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3361936-1305296422/watcher-3361936-1305296422 -o /tmp/evaluation-result-3361936-1305296422/solver-3361936-1305296422 -C 40000 -W 5100 -M 31000 manysat.sh HOME/instance-3361936-1305296422.cnf aimd 1 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 40000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 40030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 0.23 0.07 1/265 19048
/proc/meminfo: memFree=3897876/32950904 swapFree=67057400/67111528
[pid=19048] ppid=19046 vsize=8700 CPUtime=0 cores=0-7
/proc/19048/stat : 19048 (manysat.sh) S 19046 19048 18955 0 -1 4202496 329 0 0 0 0 0 0 0 21 0 1 0 641241955 8908800 250 33554432000 4194304 4922060 140734778541856 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/19048/statm: 2175 250 209 178 0 68 0

[startup+0.064163 s]
/proc/loadavg: 1.00 0.23 0.07 1/265 19048
/proc/meminfo: memFree=3897876/32950904 swapFree=67057400/67111528
[pid=19048] ppid=19046 vsize=8700 CPUtime=0 cores=0-7
/proc/19048/stat : 19048 (manysat.sh) S 19046 19048 18955 0 -1 4202496 329 0 0 0 0 0 0 0 21 0 1 0 641241955 8908800 250 33554432000 4194304 4922060 140734778541856 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/19048/statm: 2175 250 209 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.100157 s]
/proc/loadavg: 1.00 0.23 0.07 1/265 19048
/proc/meminfo: memFree=3897876/32950904 swapFree=67057400/67111528
[pid=19048] ppid=19046 vsize=8700 CPUtime=0 cores=0-7
/proc/19048/stat : 19048 (manysat.sh) S 19046 19048 18955 0 -1 4202496 329 0 0 0 0 0 0 0 21 0 1 0 641241955 8908800 250 33554432000 4194304 4922060 140734778541856 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/19048/statm: 2175 250 209 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300121 s]
/proc/loadavg: 1.00 0.23 0.07 1/265 19048
/proc/meminfo: memFree=3897876/32950904 swapFree=67057400/67111528
[pid=19048] ppid=19046 vsize=8700 CPUtime=0 cores=0-7
/proc/19048/stat : 19048 (manysat.sh) S 19046 19048 18955 0 -1 4202496 329 0 0 0 0 0 0 0 21 0 1 0 641241955 8908800 250 33554432000 4194304 4922060 140734778541856 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/19048/statm: 2175 250 209 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.701052 s]
/proc/loadavg: 1.00 0.23 0.07 1/265 19048
/proc/meminfo: memFree=3897876/32950904 swapFree=67057400/67111528
[pid=19048] ppid=19046 vsize=8700 CPUtime=0.51 cores=0-7
/proc/19048/stat : 19048 (manysat.sh) S 19046 19048 18955 0 -1 4202496 356 6578 0 0 0 0 50 1 16 0 1 0 641241955 8908800 253 33554432000 4194304 4922060 140734778541856 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19048/statm: 2175 253 209 178 0 68 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 8700

[startup+1.50091 s]
/proc/loadavg: 1.00 0.23 0.07 5/270 19054
/proc/meminfo: memFree=3858092/32950904 swapFree=67057400/67111528
[pid=19048] ppid=19046 vsize=8700 CPUtime=0.51 cores=0-7
/proc/19048/stat : 19048 (manysat.sh) S 19046 19048 18955 0 -1 4202496 356 6578 0 0 0 0 50 1 16 0 1 0 641241955 8908800 253 33554432000 4194304 4922060 140734778541856 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19048/statm: 2175 253 209 178 0 68 0
[pid=19051] ppid=19048 vsize=73744 CPUtime=3.48 cores=0-7
/proc/19051/stat : 19051 (manysat1.1_stat) R 19048 19048 18955 0 -1 4202496 9996 0 0 0 337 11 0 0 18 0 4 0 641242006 75513856 9948 33554432000 134512640 135305190 4287996160 18446744073709551615 134695249 0 0 4096 3 18446744073709551615 0 0 17 4 0 0 0
/proc/19051/statm: 18436 9948 84 194 0 18240 0
[pid=19051/tid=19052] ppid=19048 vsize=73744 CPUtime=0.85 cores=0-7
/proc/19051/task/19052/stat : 19052 (manysat1.1_stat) R 19048 19048 18955 0 -1 4202560 549 0 0 0 82 3 0 0 17 0 4 0 641242019 75513856 9948 33554432000 134512640 135305190 4287996160 18446744073709551615 134528802 0 0 4096 3 0 0 0 -1 0 0 0 0
[pid=19051/tid=19053] ppid=19048 vsize=73744 CPUtime=0.83 cores=0-7
/proc/19051/task/19053/stat : 19053 (manysat1.1_stat) R 19048 19048 18955 0 -1 4202560 458 0 0 0 81 2 0 0 18 0 4 0 641242019 75513856 9948 33554432000 134512640 135305190 4287996160 18446744073709551615 134565634 0 0 4096 3 0 0 0 -1 3 0 0 0
[pid=19051/tid=19054] ppid=19048 vsize=73744 CPUtime=0.82 cores=0-7
/proc/19051/task/19054/stat : 19054 (manysat1.1_stat) R 19048 19048 18955 0 -1 4202560 729 0 0 0 80 2 0 0 18 0 4 0 641242019 75513856 9948 33554432000 134512640 135305190 4287996160 18446744073709551615 134528252 0 0 4096 3 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.99
Current children cumulated vsize (KiB) 82444

[startup+3.10062 s]
/proc/loadavg: 1.00 0.23 0.07 5/270 19054
/proc/meminfo: memFree=3852144/32950904 swapFree=67057400/67111528
[pid=19048] ppid=19046 vsize=8700 CPUtime=0.51 cores=0-7
/proc/19048/stat : 19048 (manysat.sh) S 19046 19048 18955 0 -1 4202496 356 6578 0 0 0 0 50 1 16 0 1 0 641241955 8908800 253 33554432000 4194304 4922060 140734778541856 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19048/statm: 2175 253 209 178 0 68 0
[pid=19051] ppid=19048 vsize=80476 CPUtime=9.87 cores=0-7
/proc/19051/stat : 19051 (manysat1.1_stat) R 19048 19048 18955 0 -1 4202496 11544 0 0 0 974 13 0 0 18 0 4 0 641242006 82407424 11496 33554432000 134512640 135305190 4287996160 18446744073709551615 134528503 0 0 4096 3 18446744073709551615 0 0 17 4 0 0 0
/proc/19051/statm: 20119 11496 84 194 0 19923 0
[pid=19051/tid=19052] ppid=19048 vsize=80476 CPUtime=2.44 cores=0-7
/proc/19051/task/19052/stat : 19052 (manysat1.1_stat) R 19048 19048 18955 0 -1 4202560 935 0 0 0 241 3 0 0 19 0 4 0 641242019 82407424 11496 33554432000 134512640 135305190 4287996160 18446744073709551615 134530636 0 0 4096 3 0 0 0 -1 0 0 0 0
[pid=19051/tid=19053] ppid=19048 vsize=80476 CPUtime=2.43 cores=0-7
/proc/19051/task/19053/stat : 19053 (manysat1.1_stat) R 19048 19048 18955 0 -1 4202560 601 0 0 0 241 2 0 0 18 0 4 0 641242019 82407424 11496 33554432000 134512640 135305190 4287996160 18446744073709551615 134551651 0 0 4096 3 0 0 0 -1 3 0 0 0
[pid=19051/tid=19054] ppid=19048 vsize=80476 CPUtime=2.42 cores=0-7
/proc/19051/task/19054/stat : 19054 (manysat1.1_stat) R 19048 19048 18955 0 -1 4202560 1277 0 0 0 239 3 0 0 18 0 4 0 641242019 82407424 11496 33554432000 134512640 135305190 4287996160 18446744073709551615 134695249 0 0 4096 3 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 10.38
Current children cumulated vsize (KiB) 89176

[startup+6.30105 s]
/proc/loadavg: 1.24 0.29 0.09 5/270 19054
/proc/meminfo: memFree=3842992/32950904 swapFree=67057400/67111528
[pid=19048] ppid=19046 vsize=8700 CPUtime=0.51 cores=0-7
/proc/19048/stat : 19048 (manysat.sh) S 19046 19048 18955 0 -1 4202496 356 6578 0 0 0 0 50 1 16 0 1 0 641241955 8908800 253 33554432000 4194304 4922060 140734778541856 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19048/statm: 2175 253 209 178 0 68 0
[pid=19051] ppid=19048 vsize=86440 CPUtime=22.66 cores=0-7
/proc/19051/stat : 19051 (manysat1.1_stat) R 19048 19048 18955 0 -1 4202496 13042 0 0 0 2252 14 0 0 18 0 4 0 641242006 88514560 12988 33554432000 134512640 135305190 4287996160 18446744073709551615 134528298 0 0 4096 3 18446744073709551615 0 0 17 4 0 0 0
/proc/19051/statm: 21610 12988 84 194 0 21414 0
[pid=19051/tid=19052] ppid=19048 vsize=86440 CPUtime=5.63 cores=0-7
/proc/19051/task/19052/stat : 19052 (manysat1.1_stat) R 19048 19048 18955 0 -1 4202560 1299 0 0 0 560 3 0 0 18 0 4 0 641242019 88514560 12988 33554432000 134512640 135305190 4287996160 18446744073709551615 134556831 0 0 4096 3 0 0 0 -1 0 0 0 0
[pid=19051/tid=19053] ppid=19048 vsize=86440 CPUtime=5.63 cores=0-7
/proc/19051/task/19053/stat : 19053 (manysat1.1_stat) R 19048 19048 18955 0 -1 4202560 712 0 0 0 561 2 0 0 18 0 4 0 641242019 88514560 12988 33554432000 134512640 135305190 4287996160 18446744073709551615 134551998 0 0 4096 3 0 0 0 -1 3 0 0 0
[pid=19051/tid=19054] ppid=19048 vsize=86440 CPUtime=5.61 cores=0-7
/proc/19051/task/19054/stat : 19054 (manysat1.1_stat) R 19048 19048 18955 0 -1 4202560 1847 0 0 0 558 3 0 0 18 0 4 0 641242019 88514560 12988 33554432000 134512640 135305190 4287996160 18446744073709551615 134528573 0 0 4096 3 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 23.17
Current children cumulated vsize (KiB) 95140

[startup+12.7009 s]
/proc/loadavg: 1.46 0.35 0.11 5/270 19054
/proc/meminfo: memFree=3829096/32950904 swapFree=67057400/67111528
[pid=19048] ppid=19046 vsize=8700 CPUtime=0.51 cores=0-7
/proc/19048/stat : 19048 (manysat.sh) S 19046 19048 18955 0 -1 4202496 356 6578 0 0 0 0 50 1 16 0 1 0 641241955 8908800 253 33554432000 4194304 4922060 140734778541856 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19048/statm: 2175 253 209 178 0 68 0
[pid=19051] ppid=19048 vsize=102688 CPUtime=48.25 cores=0-7
/proc/19051/stat : 19051 (manysat1.1_stat) R 19048 19048 18955 0 -1 4202496 17022 0 0 0 4808 17 0 0 18 0 4 0 641242006 105152512 16968 33554432000 134512640 135305190 4287996160 18446744073709551615 134528301 0 0 4096 3 18446744073709551615 0 0 17 4 0 0 0
/proc/19051/statm: 25672 16968 84 194 0 25476 0
[pid=19051/tid=19052] ppid=19048 vsize=102688 CPUtime=12.03 cores=0-7
/proc/19051/task/19052/stat : 19052 (manysat1.1_stat) R 19048 19048 18955 0 -1 4202560 2013 0 0 0 1199 4 0 0 25 0 4 0 641242019 105152512 16968 33554432000 134512640 135305190 4287996160 18446744073709551615 134528559 0 0 4096 3 0 0 0 -1 0 0 0 0
[pid=19051/tid=19053] ppid=19048 vsize=102688 CPUtime=12.03 cores=0-7
/proc/19051/task/19053/stat : 19053 (manysat1.1_stat) R 19048 19048 18955 0 -1 4202560 1725 0 0 0 1200 3 0 0 18 0 4 0 641242019 105152512 16969 33554432000 134512640 135305190 4287996160 18446744073709551615 134695249 0 0 4096 3 0 0 0 -1 3 0 0 0
[pid=19051/tid=19054] ppid=19048 vsize=102688 CPUtime=12.02 cores=0-7
/proc/19051/task/19054/stat : 19054 (manysat1.1_stat) R 19048 19048 18955 0 -1 4202560 3004 0 0 0 1197 5 0 0 18 0 4 0 641242019 105152512 16969 33554432000 134512640 135305190 4287996160 18446744073709551615 134843311 0 0 4096 3 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 48.76
Current children cumulated vsize (KiB) 111388

[startup+25.5006 s]
/proc/loadavg: 2.03 0.53 0.18 5/270 19055
/proc/meminfo: memFree=3804532/32950904 swapFree=67057400/67111528
[pid=19048] ppid=19046 vsize=8700 CPUtime=0.51 cores=0-7
/proc/19048/stat : 19048 (manysat.sh) S 19046 19048 18955 0 -1 4202496 356 6578 0 0 0 0 50 1 16 0 1 0 641241955 8908800 253 33554432000 4194304 4922060 140734778541856 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19048/statm: 2175 253 209 178 0 68 0
[pid=19051] ppid=19048 vsize=127740 CPUtime=99.42 cores=0-7
/proc/19051/stat : 19051 (manysat1.1_stat) R 19048 19048 18955 0 -1 4202496 23153 0 0 0 9921 21 0 0 19 0 4 0 641242006 130805760 23099 33554432000 134512640 135305190 4287996160 18446744073709551615 134528254 0 0 4096 3 18446744073709551615 0 0 17 4 0 0 0
/proc/19051/statm: 31935 23099 84 194 0 31739 0
[pid=19051/tid=19052] ppid=19048 vsize=127740 CPUtime=24.82 cores=0-7
/proc/19051/task/19052/stat : 19052 (manysat1.1_stat) R 19048 19048 18955 0 -1 4202560 2979 0 0 0 2478 4 0 0 25 0 4 0 641242019 130805760 23099 33554432000 134512640 135305190 4287996160 18446744073709551615 134528576 0 0 4096 3 0 0 0 -1 0 0 0 0
[pid=19051/tid=19053] ppid=19048 vsize=127740 CPUtime=24.82 cores=0-7
/proc/19051/task/19053/stat : 19053 (manysat1.1_stat) R 19048 19048 18955 0 -1 4202560 4156 0 0 0 2479 3 0 0 23 0 4 0 641242019 130805760 23099 33554432000 134512640 135305190 4287996160 18446744073709551615 134553324 0 0 4096 3 0 0 0 -1 3 0 0 0
[pid=19051/tid=19054] ppid=19048 vsize=127740 CPUtime=24.81 cores=0-7
/proc/19051/task/19054/stat : 19054 (manysat1.1_stat) R 19048 19048 18955 0 -1 4202560 4463 0 0 0 2475 6 0 0 20 0 4 0 641242019 130805760 23099 33554432000 134512640 135305190 4287996160 18446744073709551615 134528256 0 0 4096 3 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 99.93
Current children cumulated vsize (KiB) 136440

[startup+51.1011 s]
/proc/loadavg: 2.70 0.81 0.28 5/270 19055
/proc/meminfo: memFree=3766532/32950904 swapFree=67057400/67111528
[pid=19048] ppid=19046 vsize=8700 CPUtime=0.51 cores=0-7
/proc/19048/stat : 19048 (manysat.sh) S 19046 19048 18955 0 -1 4202496 356 6578 0 0 0 0 50 1 16 0 1 0 641241955 8908800 253 33554432000 4194304 4922060 140734778541856 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19048/statm: 2175 253 209 178 0 68 0
[pid=19051] ppid=19048 vsize=167872 CPUtime=201.77 cores=0-7
/proc/19051/stat : 19051 (manysat1.1_stat) R 19048 19048 18955 0 -1 4202496 33302 0 0 0 20151 26 0 0 18 0 4 0 641242006 171900928 33248 33554432000 134512640 135305190 4287996160 18446744073709551615 134528858 0 0 4096 3 18446744073709551615 0 0 17 4 0 0 0
/proc/19051/statm: 41968 33248 84 194 0 41772 0
[pid=19051/tid=19052] ppid=19048 vsize=167872 CPUtime=50.41 cores=0-7
/proc/19051/task/19052/stat : 19052 (manysat1.1_stat) R 19048 19048 18955 0 -1 4202560 4390 0 0 0 5036 5 0 0 25 0 4 0 641242019 171900928 33248 33554432000 134512640 135305190 4287996160 18446744073709551615 134528265 0 0 4096 3 0 0 0 -1 0 0 0 0
[pid=19051/tid=19053] ppid=19048 vsize=167872 CPUtime=50.4 cores=0-7
/proc/19051/task/19053/stat : 19053 (manysat1.1_stat) R 19048 19048 18955 0 -1 4202560 9236 0 0 0 5035 5 0 0 21 0 4 0 641242019 171900928 33248 33554432000 134512640 135305190 4287996160 18446744073709551615 134528242 0 0 4096 3 0 0 0 -1 3 0 0 0
[pid=19051/tid=19054] ppid=19048 vsize=167872 CPUtime=50.4 cores=0-7
/proc/19051/task/19054/stat : 19054 (manysat1.1_stat) R 19048 19048 18955 0 -1 4202560 6588 0 0 0 5032 8 0 0 18 0 4 0 641242019 171900928 33248 33554432000 134512640 135305190 4287996160 18446744073709551615 134528252 0 0 4096 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 202.28
Current children cumulated vsize (KiB) 176572

[startup+102.31 s]
/proc/loadavg: 3.49 1.31 0.47 5/270 19057
/proc/meminfo: memFree=3731660/32950904 swapFree=67057400/67111528
[pid=19048] ppid=19046 vsize=8700 CPUtime=0.51 cores=0-7
/proc/19048/stat : 19048 (manysat.sh) S 19046 19048 18955 0 -1 4202496 356 6578 0 0 0 0 50 1 16 0 1 0 641241955 8908800 253 33554432000 4194304 4922060 140734778541856 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19048/statm: 2175 253 209 178 0 68 0
[pid=19051] ppid=19048 vsize=200000 CPUtime=406.54 cores=0-7
/proc/19051/stat : 19051 (manysat1.1_stat) R 19048 19048 18955 0 -1 4202496 41209 0 0 0 40620 34 0 0 18 0 4 0 641242006 204800000 41155 33554432000 134512640 135305190 4287996160 18446744073709551615 134528265 0 0 4096 3 18446744073709551615 0 0 17 4 0 0 0
/proc/19051/statm: 50000 41155 84 194 0 49804 0
[pid=19051/tid=19052] ppid=19048 vsize=200000 CPUtime=101.6 cores=0-7
/proc/19051/task/19052/stat : 19052 (manysat1.1_stat) R 19048 19048 18955 0 -1 4202560 5447 0 0 0 10154 6 0 0 25 0 4 0 641242019 204800000 41155 33554432000 134512640 135305190 4287996160 18446744073709551615 134528768 0 0 4096 3 0 0 0 -1 0 0 0 0
[pid=19051/tid=19053] ppid=19048 vsize=200000 CPUtime=101.6 cores=0-7
/proc/19051/task/19053/stat : 19053 (manysat1.1_stat) R 19048 19048 18955 0 -1 4202560 13282 0 0 0 10152 8 0 0 25 0 4 0 641242019 204800000 41155 33554432000 134512640 135305190 4287996160 18446744073709551615 134551656 0 0 4096 3 0 0 0 -1 3 0 0 0
[pid=19051/tid=19054] ppid=19048 vsize=200000 CPUtime=101.59 cores=0-7
/proc/19051/task/19054/stat : 19054 (manysat1.1_stat) R 19048 19048 18955 0 -1 4202560 8243 0 0 0 10149 10 0 0 18 0 4 0 641242019 204800000 41155 33554432000 134512640 135305190 4287996160 18446744073709551615 134551694 0 0 4096 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 407.05
Current children cumulated vsize (KiB) 208700

[startup+162.3 s]
/proc/loadavg: 3.81 1.80 0.69 5/270 19058
/proc/meminfo: memFree=3655620/32950904 swapFree=67057400/67111528
[pid=19048] ppid=19046 vsize=8700 CPUtime=0.51 cores=0-7
/proc/19048/stat : 19048 (manysat.sh) S 19046 19048 18955 0 -1 4202496 356 6578 0 0 0 0 50 1 16 0 1 0 641241955 8908800 253 33554432000 4194304 4922060 140734778541856 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19048/statm: 2175 253 209 178 0 68 0
[pid=19051] ppid=19048 vsize=278112 CPUtime=646.47 cores=0-7
/proc/19051/stat : 19051 (manysat1.1_stat) R 19048 19048 18955 0 -1 4202496 60479 0 0 0 64602 45 0 0 25 0 4 0 641242006 284786688 60425 33554432000 134512640 135305190 4287996160 18446744073709551615 134551697 0 0 4096 3 18446744073709551615 0 0 17 4 0 0 0
/proc/19051/statm: 69528 60425 84 194 0 69332 0
[pid=19051/tid=19052] ppid=19048 vsize=278112 CPUtime=161.57 cores=0-7

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

/proc/19051/task/19054/stat : 19054 (manysat1.1_stat) R 19048 19048 18955 0 -1 4202560 56938 0 0 0 466009 92 0 0 25 0 4 0 641242019 1176592384 270111 33554432000 134512640 135305190 4287996160 18446744073709551615 134528327 0 0 4096 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 18644.4
Current children cumulated vsize (KiB) 1157716

[startup+4722.31 s]
/proc/loadavg: 4.00 4.00 3.92 5/270 19192
/proc/meminfo: memFree=2809076/32950904 swapFree=67057400/67111528
[pid=19048] ppid=19046 vsize=8700 CPUtime=0.51 cores=0-7
/proc/19048/stat : 19048 (manysat.sh) S 19046 19048 18955 0 -1 4202496 356 6578 0 0 0 0 50 1 16 0 1 0 641241955 8908800 253 33554432000 4194304 4922060 140734778541856 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19048/statm: 2175 253 209 178 0 68 0
[pid=19051] ppid=19048 vsize=1154440 CPUtime=18883.9 cores=0-7
/proc/19051/stat : 19051 (manysat1.1_stat) R 19048 19048 18955 0 -1 4202496 271113 0 0 0 1888049 345 0 0 25 0 4 0 641242006 1182146560 271034 33554432000 134512640 135305190 4287996160 18446744073709551615 134528768 0 0 4096 3 18446744073709551615 0 0 17 4 0 0 0
/proc/19051/statm: 288610 271034 84 194 0 288414 0
[pid=19051/tid=19052] ppid=19048 vsize=1154440 CPUtime=4720.92 cores=0-7
/proc/19051/task/19052/stat : 19052 (manysat1.1_stat) R 19048 19048 18955 0 -1 4202560 44848 0 0 0 472039 53 0 0 25 0 4 0 641242019 1182146560 271034 33554432000 134512640 135305190 4287996160 18446744073709551615 134528229 0 0 4096 3 0 0 0 -1 6 0 0 0
[pid=19051/tid=19053] ppid=19048 vsize=1154440 CPUtime=4720.89 cores=0-7
/proc/19051/task/19053/stat : 19053 (manysat1.1_stat) R 19048 19048 18955 0 -1 4202560 105593 0 0 0 471969 120 0 0 25 0 4 0 641242019 1182146560 271034 33554432000 134512640 135305190 4287996160 18446744073709551615 134528252 0 0 4096 3 0 0 0 -1 3 0 0 0
[pid=19051/tid=19054] ppid=19048 vsize=1154440 CPUtime=4721.02 cores=0-7
/proc/19051/task/19054/stat : 19054 (manysat1.1_stat) R 19048 19048 18955 0 -1 4202560 57094 0 0 0 472010 92 0 0 25 0 4 0 641242019 1182146560 271034 33554432000 134512640 135305190 4287996160 18446744073709551615 134551651 0 0 4096 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 18884.5
Current children cumulated vsize (KiB) 1163140

[startup+4782.3 s]
/proc/loadavg: 4.00 4.00 3.92 5/270 19193
/proc/meminfo: memFree=2804228/32950904 swapFree=67057400/67111528
[pid=19048] ppid=19046 vsize=8700 CPUtime=0.51 cores=0-7
/proc/19048/stat : 19048 (manysat.sh) S 19046 19048 18955 0 -1 4202496 356 6578 0 0 0 0 50 1 16 0 1 0 641241955 8908800 253 33554432000 4194304 4922060 140734778541856 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19048/statm: 2175 253 209 178 0 68 0
[pid=19051] ppid=19048 vsize=1158640 CPUtime=19123.9 cores=0-7
/proc/19051/stat : 19051 (manysat1.1_stat) R 19048 19048 18955 0 -1 4202496 272325 0 0 0 1912041 348 0 0 25 0 4 0 641242006 1186447360 272246 33554432000 134512640 135305190 4287996160 18446744073709551615 134528298 0 0 4096 3 18446744073709551615 0 0 17 4 0 0 0
/proc/19051/statm: 289660 272246 84 194 0 289464 0
[pid=19051/tid=19052] ppid=19048 vsize=1158640 CPUtime=4780.91 cores=0-7
/proc/19051/task/19052/stat : 19052 (manysat1.1_stat) R 19048 19048 18955 0 -1 4202560 44978 0 0 0 478038 53 0 0 25 0 4 0 641242019 1186447360 272246 33554432000 134512640 135305190 4287996160 18446744073709551615 134556558 0 0 4096 3 0 0 0 -1 6 0 0 0
[pid=19051/tid=19053] ppid=19048 vsize=1158640 CPUtime=4780.86 cores=0-7
/proc/19051/task/19053/stat : 19053 (manysat1.1_stat) R 19048 19048 18955 0 -1 4202560 105889 0 0 0 477965 121 0 0 25 0 4 0 641242019 1186447360 272246 33554432000 134512640 135305190 4287996160 18446744073709551615 134528415 0 0 4096 3 0 0 0 -1 3 0 0 0
[pid=19051/tid=19054] ppid=19048 vsize=1158640 CPUtime=4781.01 cores=0-7
/proc/19051/task/19054/stat : 19054 (manysat1.1_stat) R 19048 19048 18955 0 -1 4202560 57361 0 0 0 478008 93 0 0 25 0 4 0 641242019 1186447360 272246 33554432000 134512640 135305190 4287996160 18446744073709551615 134528406 0 0 4096 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 19124.4
Current children cumulated vsize (KiB) 1167340

[startup+4842.3 s]
/proc/loadavg: 4.00 4.00 3.92 5/270 19195
/proc/meminfo: memFree=2803084/32950904 swapFree=67057400/67111528
[pid=19048] ppid=19046 vsize=8700 CPUtime=0.51 cores=0-7
/proc/19048/stat : 19048 (manysat.sh) S 19046 19048 18955 0 -1 4202496 356 6578 0 0 0 0 50 1 16 0 1 0 641241955 8908800 253 33554432000 4194304 4922060 140734778541856 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19048/statm: 2175 253 209 178 0 68 0
[pid=19051] ppid=19048 vsize=1159780 CPUtime=19363.7 cores=0-7
/proc/19051/stat : 19051 (manysat1.1_stat) R 19048 19048 18955 0 -1 4202496 272656 0 0 0 1936022 351 0 0 25 0 4 0 641242006 1187614720 272577 33554432000 134512640 135305190 4287996160 18446744073709551615 134551684 0 0 4096 3 18446744073709551615 0 0 17 4 0 0 0
/proc/19051/statm: 289945 272577 84 194 0 289749 0
[pid=19051/tid=19052] ppid=19048 vsize=1159780 CPUtime=4840.92 cores=0-7
/proc/19051/task/19052/stat : 19052 (manysat1.1_stat) R 19048 19048 18955 0 -1 4202560 44978 0 0 0 484038 54 0 0 25 0 4 0 641242019 1187614720 272577 33554432000 134512640 135305190 4287996160 18446744073709551615 134528421 0 0 4096 3 0 0 0 -1 6 0 0 0
[pid=19051/tid=19053] ppid=19048 vsize=1159780 CPUtime=4840.86 cores=0-7
/proc/19051/task/19053/stat : 19053 (manysat1.1_stat) R 19048 19048 18955 0 -1 4202560 105912 0 0 0 483964 122 0 0 25 0 4 0 641242019 1187614720 272577 33554432000 134512640 135305190 4287996160 18446744073709551615 134528298 0 0 4096 3 0 0 0 -1 3 0 0 0
[pid=19051/tid=19054] ppid=19048 vsize=1159780 CPUtime=4841.01 cores=0-7
/proc/19051/task/19054/stat : 19054 (manysat1.1_stat) R 19048 19048 18955 0 -1 4202560 57623 0 0 0 484008 93 0 0 25 0 4 0 641242019 1187614720 272577 33554432000 134512640 135305190 4287996160 18446744073709551615 134528576 0 0 4096 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 19364.2
Current children cumulated vsize (KiB) 1168480

[startup+4902.3 s]
/proc/loadavg: 4.00 4.00 3.92 5/270 19197
/proc/meminfo: memFree=2802564/32950904 swapFree=67057400/67111528
[pid=19048] ppid=19046 vsize=8700 CPUtime=0.51 cores=0-7
/proc/19048/stat : 19048 (manysat.sh) S 19046 19048 18955 0 -1 4202496 356 6578 0 0 0 0 50 1 16 0 1 0 641241955 8908800 253 33554432000 4194304 4922060 140734778541856 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19048/statm: 2175 253 209 178 0 68 0
[pid=19051] ppid=19048 vsize=1160972 CPUtime=19603.7 cores=0-7
/proc/19051/stat : 19051 (manysat1.1_stat) R 19048 19048 18955 0 -1 4202496 272788 0 0 0 1960021 352 0 0 25 0 4 0 641242006 1188835328 272709 33554432000 134512640 135305190 4287996160 18446744073709551615 134528298 0 0 4096 3 18446744073709551615 0 0 17 4 0 0 0
/proc/19051/statm: 290243 272709 84 194 0 290047 0
[pid=19051/tid=19052] ppid=19048 vsize=1160972 CPUtime=4900.92 cores=0-7
/proc/19051/task/19052/stat : 19052 (manysat1.1_stat) R 19048 19048 18955 0 -1 4202560 44978 0 0 0 490038 54 0 0 25 0 4 0 641242019 1188835328 272709 33554432000 134512640 135305190 4287996160 18446744073709551615 134528298 0 0 4096 3 0 0 0 -1 6 0 0 0
[pid=19051/tid=19053] ppid=19048 vsize=1160972 CPUtime=4900.86 cores=0-7
/proc/19051/task/19053/stat : 19053 (manysat1.1_stat) R 19048 19048 18955 0 -1 4202560 105918 0 0 0 489964 122 0 0 25 0 4 0 641242019 1188835328 272709 33554432000 134512640 135305190 4287996160 18446744073709551615 134528559 0 0 4096 3 0 0 0 -1 3 0 0 0
[pid=19051/tid=19054] ppid=19048 vsize=1160972 CPUtime=4901 cores=0-7
/proc/19051/task/19054/stat : 19054 (manysat1.1_stat) R 19048 19048 18955 0 -1 4202560 57749 0 0 0 490007 93 0 0 25 0 4 0 641242019 1188835328 272709 33554432000 134512640 135305190 4287996160 18446744073709551615 134538311 0 0 4096 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 19604.2
Current children cumulated vsize (KiB) 1169672

[startup+4962.3 s]
/proc/loadavg: 4.00 4.00 3.92 5/270 19198
/proc/meminfo: memFree=2801664/32950904 swapFree=67057400/67111528
[pid=19048] ppid=19046 vsize=8700 CPUtime=0.51 cores=0-7
/proc/19048/stat : 19048 (manysat.sh) S 19046 19048 18955 0 -1 4202496 356 6578 0 0 0 0 50 1 16 0 1 0 641241955 8908800 253 33554432000 4194304 4922060 140734778541856 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19048/statm: 2175 253 209 178 0 68 0
[pid=19051] ppid=19048 vsize=1162444 CPUtime=19843.5 cores=0-7
/proc/19051/stat : 19051 (manysat1.1_stat) R 19048 19048 18955 0 -1 4202496 273086 0 0 0 1983998 354 0 0 25 0 4 0 641242006 1190342656 273007 33554432000 134512640 135305190 4287996160 18446744073709551615 134528480 0 0 4096 3 18446744073709551615 0 0 17 4 0 0 0
/proc/19051/statm: 290611 273007 84 194 0 290415 0
[pid=19051/tid=19052] ppid=19048 vsize=1162444 CPUtime=4960.92 cores=0-7
/proc/19051/task/19052/stat : 19052 (manysat1.1_stat) R 19048 19048 18955 0 -1 4202560 45006 0 0 0 496038 54 0 0 25 0 4 0 641242019 1190342656 273007 33554432000 134512640 135305190 4287996160 18446744073709551615 134528768 0 0 4096 3 0 0 0 -1 6 0 0 0
[pid=19051/tid=19053] ppid=19048 vsize=1162444 CPUtime=4960.79 cores=0-7
/proc/19051/task/19053/stat : 19053 (manysat1.1_stat) R 19048 19048 18955 0 -1 4202560 105993 0 0 0 495956 123 0 0 25 0 4 0 641242019 1190342656 273007 33554432000 134512640 135305190 4287996160 18446744073709551615 134528298 0 0 4096 3 0 0 0 -1 3 0 0 0
[pid=19051/tid=19054] ppid=19048 vsize=1162444 CPUtime=4960.87 cores=0-7
/proc/19051/task/19054/stat : 19054 (manysat1.1_stat) R 19048 19048 18955 0 -1 4202560 57814 0 0 0 495993 94 0 0 25 0 4 0 641242019 1190342656 273007 33554432000 134512640 135305190 4287996160 18446744073709551615 134528256 0 0 4096 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 19844
Current children cumulated vsize (KiB) 1171144

[startup+5022.3 s]
/proc/loadavg: 4.00 4.00 3.92 5/270 19200
/proc/meminfo: memFree=2799288/32950904 swapFree=67057400/67111528
[pid=19048] ppid=19046 vsize=8700 CPUtime=0.51 cores=0-7
/proc/19048/stat : 19048 (manysat.sh) S 19046 19048 18955 0 -1 4202496 356 6578 0 0 0 0 50 1 16 0 1 0 641241955 8908800 253 33554432000 4194304 4922060 140734778541856 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19048/statm: 2175 253 209 178 0 68 0
[pid=19051] ppid=19048 vsize=1164684 CPUtime=20083.5 cores=0-7
/proc/19051/stat : 19051 (manysat1.1_stat) R 19048 19048 18955 0 -1 4202496 273661 0 0 0 2007996 356 0 0 25 0 4 0 641242006 1192636416 273582 33554432000 134512640 135305190 4287996160 18446744073709551615 134528229 0 0 4096 3 18446744073709551615 0 0 17 4 0 0 0
/proc/19051/statm: 291171 273582 84 194 0 290975 0
[pid=19051/tid=19052] ppid=19048 vsize=1164684 CPUtime=5020.93 cores=0-7
/proc/19051/task/19052/stat : 19052 (manysat1.1_stat) R 19048 19048 18955 0 -1 4202560 45129 0 0 0 502038 55 0 0 25 0 4 0 641242019 1192636416 273582 33554432000 134512640 135305190 4287996160 18446744073709551615 134528310 0 0 4096 3 0 0 0 -1 6 0 0 0
[pid=19051/tid=19053] ppid=19048 vsize=1164684 CPUtime=5020.79 cores=0-7
/proc/19051/task/19053/stat : 19053 (manysat1.1_stat) R 19048 19048 18955 0 -1 4202560 106022 0 0 0 501956 123 0 0 25 0 4 0 641242019 1192636416 273582 33554432000 134512640 135305190 4287996160 18446744073709551615 134528298 0 0 4096 3 0 0 0 -1 3 0 0 0
[pid=19051/tid=19054] ppid=19048 vsize=1164684 CPUtime=5020.87 cores=0-7
/proc/19051/task/19054/stat : 19054 (manysat1.1_stat) R 19048 19048 18955 0 -1 4202560 58051 0 0 0 501992 95 0 0 25 0 4 0 641242019 1192636416 273582 33554432000 134512640 135305190 4287996160 18446744073709551615 134528252 0 0 4096 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 20084
Current children cumulated vsize (KiB) 1173384

[startup+5082.3 s]
/proc/loadavg: 4.00 4.00 3.92 5/270 19201
/proc/meminfo: memFree=2797276/32950904 swapFree=67057400/67111528
[pid=19048] ppid=19046 vsize=8700 CPUtime=0.51 cores=0-7
/proc/19048/stat : 19048 (manysat.sh) S 19046 19048 18955 0 -1 4202496 356 6578 0 0 0 0 50 1 16 0 1 0 641241955 8908800 253 33554432000 4194304 4922060 140734778541856 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19048/statm: 2175 253 209 178 0 68 0
[pid=19051] ppid=19048 vsize=1167104 CPUtime=20323.5 cores=0-7
/proc/19051/stat : 19051 (manysat1.1_stat) R 19048 19048 18955 0 -1 4202496 274065 0 0 0 2031992 358 0 0 25 0 4 0 641242006 1195114496 273986 33554432000 134512640 135305190 4287996160 18446744073709551615 134528298 0 0 4096 3 18446744073709551615 0 0 17 4 0 0 0
/proc/19051/statm: 291776 273986 84 194 0 291580 0
[pid=19051/tid=19052] ppid=19048 vsize=1167104 CPUtime=5080.93 cores=0-7
/proc/19051/task/19052/stat : 19052 (manysat1.1_stat) R 19048 19048 18955 0 -1 4202560 45157 0 0 0 508038 55 0 0 25 0 4 0 641242019 1195114496 273986 33554432000 134512640 135305190 4287996160 18446744073709551615 134528298 0 0 4096 3 0 0 0 -1 6 0 0 0
[pid=19051/tid=19053] ppid=19048 vsize=1167104 CPUtime=5080.76 cores=0-7
/proc/19051/task/19053/stat : 19053 (manysat1.1_stat) R 19048 19048 18955 0 -1 4202560 106258 0 0 0 507952 124 0 0 25 0 4 0 641242019 1195114496 273986 33554432000 134512640 135305190 4287996160 18446744073709551615 134528229 0 0 4096 3 0 0 0 -1 3 0 0 0
[pid=19051/tid=19054] ppid=19048 vsize=1167104 CPUtime=5080.87 cores=0-7
/proc/19051/task/19054/stat : 19054 (manysat1.1_stat) R 19048 19048 18955 0 -1 4202560 58147 0 0 0 507992 95 0 0 25 0 4 0 641242019 1195114496 273986 33554432000 134512640 135305190 4287996160 18446744073709551615 134528768 0 0 4096 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 20324
Current children cumulated vsize (KiB) 1175804



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+5100 s]
/proc/loadavg: 4.00 4.00 3.92 5/270 19202
/proc/meminfo: memFree=2797144/32950904 swapFree=67057400/67111528
[pid=19048] ppid=19046 vsize=8700 CPUtime=0.51 cores=0-7
/proc/19048/stat : 19048 (manysat.sh) S 19046 19048 18955 0 -1 4202496 356 6578 0 0 0 0 50 1 16 0 1 0 641241955 8908800 253 33554432000 4194304 4922060 140734778541856 18446744073709551615 237278698629 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/19048/statm: 2175 253 209 178 0 68 0
[pid=19051] ppid=19048 vsize=1167328 CPUtime=20394.3 cores=0-7
/proc/19051/stat : 19051 (manysat1.1_stat) R 19048 19048 18955 0 -1 4202496 274137 0 0 0 2039076 358 0 0 25 0 4 0 641242006 1195343872 274058 33554432000 134512640 135305190 4287996160 18446744073709551615 134528229 0 0 4096 3 18446744073709551615 0 0 17 4 0 0 0
/proc/19051/statm: 291832 274058 84 194 0 291636 0
[pid=19051/tid=19052] ppid=19048 vsize=1167328 CPUtime=5098.63 cores=0-7
/proc/19051/task/19052/stat : 19052 (manysat1.1_stat) R 19048 19048 18955 0 -1 4202560 45195 0 0 0 509808 55 0 0 25 0 4 0 641242019 1195343872 274058 33554432000 134512640 135305190 4287996160 18446744073709551615 134528298 0 0 4096 3 0 0 0 -1 6 0 0 0
[pid=19051/tid=19053] ppid=19048 vsize=1167328 CPUtime=5098.47 cores=0-7
/proc/19051/task/19053/stat : 19053 (manysat1.1_stat) R 19048 19048 18955 0 -1 4202560 106261 0 0 0 509723 124 0 0 25 0 4 0 641242019 1195343872 274058 33554432000 134512640 135305190 4287996160 18446744073709551615 134551703 0 0 4096 3 0 0 0 -1 3 0 0 0
[pid=19051/tid=19054] ppid=19048 vsize=1167328 CPUtime=5098.59 cores=0-7
/proc/19051/task/19054/stat : 19054 (manysat1.1_stat) R 19048 19048 18955 0 -1 4202560 58157 0 0 0 509763 96 0 0 25 0 4 0 641242019 1195343872 274058 33554432000 134512640 135305190 4287996160 18446744073709551615 134528256 0 0 4096 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 20394.8
Current children cumulated vsize (KiB) 1176028

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

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

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 19048 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=501923
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=15997
# CPU time returned by wait4() is 0.51792
# while last known CPU time is 20394.8
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 5100.02
CPU time (s): 20394.8
CPU user time (s): 20391.3
CPU system time (s): 3.59
CPU usage (%): 399.897
Max. virtual memory (cumulated for all children) (KiB): 1176028

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

runsolver used 12.3541 second user time and 29.3895 second system time

The end

Launcher Data 

Begin job on node121 at 2011-05-13 16:20:22
IDJOB=3361936
IDBENCH=70791
IDSOLVER=1839
FILE ID=node121/3361936-1305296422
RUNJOBID= node121-1305296394-18969
PBS_JOBID= 13321432
Free space on /tmp= 43840 MiB

SOLVER NAME= ManySAT 1.1 aimd 1/2009-03-20 (4 threads)
BENCH NAME= SAT09/APPLICATIONS/bitverif/smulo/smulo064.cnf
COMMAND LINE= manysat.sh BENCHNAME aimd 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3361936-1305296422/watcher-3361936-1305296422 -o /tmp/evaluation-result-3361936-1305296422/solver-3361936-1305296422 -C 40000 -W 5100 -M 31000  manysat.sh HOME/instance-3361936-1305296422.cnf aimd 1

TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 472e9d10d7fd1a82d06da0809d0002df
RANDOM SEED=1350757878

node121.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.63
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950904 kB
MemFree:       3898396 kB
Buffers:        256608 kB
Cached:       22631176 kB
SwapCached:       7664 kB
Active:       13182024 kB
Inactive:     15074740 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950904 kB
LowFree:       3898396 kB
SwapTotal:    67111528 kB
SwapFree:     67057400 kB
Dirty:            4156 kB
Writeback:           0 kB
AnonPages:     5367260 kB
Mapped:          21476 kB
Slab:           708612 kB
PageTables:      24088 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586980 kB
Committed_AS: 30641052 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 43832 MiB
End job on node121 at 2011-05-13 17:45:24