Trace number 3362410

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) 20398.4 5100.02

General information on the benchmark

NameSAT02/industrial/dellacherie/
comb/comb1.shuffled.cnf
MD5SUM0e9d17eb95ee436fc1015c5591cfb63f
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark72.7379
Satisfiable
(Un)Satisfiability was proved
Number of variables5910
Number of clauses16804
Sum of the clauses size38654
Maximum clause length28
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 213041
Number of clauses of size 32838
Number of clauses of size 4787
Number of clauses of size 5103
Number of clauses of size over 534

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 |   16803    38653 |    5040       0        0     nan |  0.000 % |
0.00/0.07	c |         0 |    8377    24913 |      --       0       --      -- |     --   | -8417/-13719
0.00/0.07	c ==============================================================================
0.00/0.07	c Result  :   #vars: 1686   #clauses: 8377   #literals: 24913
0.00/0.07	c CPU time:   0.067989 s
0.00/0.07	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-3362410-1305305317/watcher-3362410-1305305317 -o /tmp/evaluation-result-3362410-1305305317/solver-3362410-1305305317 -C 40000 -W 5100 -M 31000 manysat.sh HOME/instance-3362410-1305305317.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: 3.68 3.92 3.89 1/301 7450
/proc/meminfo: memFree=8673752/32950928 swapFree=67111348/67111528
[pid=7450] ppid=7448 vsize=8700 CPUtime=0 cores=0-7
/proc/7450/stat : 7450 (manysat.sh) S 7448 7450 6995 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 642130501 8908800 250 33554432000 4194304 4922060 140734627920320 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/7450/statm: 2175 250 209 178 0 68 0

[startup+0.0303929 s]
/proc/loadavg: 3.68 3.92 3.89 1/301 7450
/proc/meminfo: memFree=8673752/32950928 swapFree=67111348/67111528
[pid=7450] ppid=7448 vsize=8700 CPUtime=0 cores=0-7
/proc/7450/stat : 7450 (manysat.sh) S 7448 7450 6995 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 642130501 8908800 250 33554432000 4194304 4922060 140734627920320 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/7450/statm: 2175 250 209 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.101992 s]
/proc/loadavg: 3.68 3.92 3.89 1/301 7450
/proc/meminfo: memFree=8673752/32950928 swapFree=67111348/67111528
[pid=7450] ppid=7448 vsize=8700 CPUtime=0.07 cores=0-7
/proc/7450/stat : 7450 (manysat.sh) S 7448 7450 6995 0 -1 4202496 357 915 0 0 0 0 7 0 25 0 1 0 642130501 8908800 253 33554432000 4194304 4922060 140734627920320 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/7450/statm: 2175 253 209 178 0 68 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 8700

[startup+0.300346 s]
/proc/loadavg: 3.68 3.92 3.89 1/301 7450
/proc/meminfo: memFree=8673752/32950928 swapFree=67111348/67111528
[pid=7450] ppid=7448 vsize=8700 CPUtime=0.07 cores=0-7
/proc/7450/stat : 7450 (manysat.sh) S 7448 7450 6995 0 -1 4202496 357 915 0 0 0 0 7 0 25 0 1 0 642130501 8908800 253 33554432000 4194304 4922060 140734627920320 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/7450/statm: 2175 253 209 178 0 68 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 8700

[startup+0.700275 s]
/proc/loadavg: 3.68 3.92 3.89 1/301 7450
/proc/meminfo: memFree=8673752/32950928 swapFree=67111348/67111528
[pid=7450] ppid=7448 vsize=8700 CPUtime=0.07 cores=0-7
/proc/7450/stat : 7450 (manysat.sh) S 7448 7450 6995 0 -1 4202496 357 915 0 0 0 0 7 0 25 0 1 0 642130501 8908800 253 33554432000 4194304 4922060 140734627920320 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/7450/statm: 2175 253 209 178 0 68 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 8700

[startup+1.50113 s]
/proc/loadavg: 3.68 3.92 3.89 5/306 7456
/proc/meminfo: memFree=8665164/32950928 swapFree=67111348/67111528
[pid=7450] ppid=7448 vsize=8700 CPUtime=0.07 cores=0-7
/proc/7450/stat : 7450 (manysat.sh) S 7448 7450 6995 0 -1 4202496 357 915 0 0 0 0 7 0 25 0 1 0 642130501 8908800 253 33554432000 4194304 4922060 140734627920320 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/7450/statm: 2175 253 209 178 0 68 0
[pid=7453] ppid=7450 vsize=45072 CPUtime=5.64 cores=0-7
/proc/7453/stat : 7453 (manysat1.1_stat) R 7450 7450 6995 0 -1 4202496 2884 0 0 0 562 2 0 0 18 0 4 0 642130509 46153728 2831 33554432000 134512640 135305190 4294491616 18446744073709551615 134528503 0 0 4096 3 18446744073709551615 0 0 17 3 0 0 0
/proc/7453/statm: 11268 2831 84 194 0 11072 0
[pid=7453/tid=7454] ppid=7450 vsize=45072 CPUtime=1.4 cores=0-7
/proc/7453/task/7454/stat : 7454 (manysat1.1_stat) R 7450 7450 6995 0 -1 4202560 495 0 0 0 140 0 0 0 25 0 4 0 642130510 46153728 2831 33554432000 134512640 135305190 4294491616 18446744073709551615 134551639 0 0 4096 3 0 0 0 -1 0 0 0 0
[pid=7453/tid=7455] ppid=7450 vsize=45072 CPUtime=1.4 cores=0-7
/proc/7453/task/7455/stat : 7455 (manysat1.1_stat) R 7450 7450 6995 0 -1 4202560 478 0 0 0 140 0 0 0 18 0 4 0 642130510 46153728 2831 33554432000 134512640 135305190 4294491616 18446744073709551615 134553373 0 0 4096 3 0 0 0 -1 4 0 0 0
[pid=7453/tid=7456] ppid=7450 vsize=45072 CPUtime=1.39 cores=0-7
/proc/7453/task/7456/stat : 7456 (manysat1.1_stat) R 7450 7450 6995 0 -1 4202560 587 0 0 0 139 0 0 0 18 0 4 0 642130510 46153728 2831 33554432000 134512640 135305190 4294491616 18446744073709551615 134528301 0 0 4096 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.71
Current children cumulated vsize (KiB) 53772

[startup+3.10085 s]
/proc/loadavg: 3.68 3.92 3.89 5/306 7456
/proc/meminfo: memFree=8658576/32950928 swapFree=67111348/67111528
[pid=7450] ppid=7448 vsize=8700 CPUtime=0.07 cores=0-7
/proc/7450/stat : 7450 (manysat.sh) S 7448 7450 6995 0 -1 4202496 357 915 0 0 0 0 7 0 25 0 1 0 642130501 8908800 253 33554432000 4194304 4922060 140734627920320 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/7450/statm: 2175 253 209 178 0 68 0
[pid=7453] ppid=7450 vsize=51420 CPUtime=12.03 cores=0-7
/proc/7453/stat : 7453 (manysat1.1_stat) R 7450 7450 6995 0 -1 4202496 4438 0 0 0 1200 3 0 0 18 0 4 0 642130509 52654080 4385 33554432000 134512640 135305190 4294491616 18446744073709551615 134556787 0 0 4096 3 18446744073709551615 0 0 17 3 0 0 0
/proc/7453/statm: 12855 4385 84 194 0 12659 0
[pid=7453/tid=7454] ppid=7450 vsize=51420 CPUtime=3 cores=0-7
/proc/7453/task/7454/stat : 7454 (manysat1.1_stat) R 7450 7450 6995 0 -1 4202560 834 0 0 0 300 0 0 0 19 0 4 0 642130510 52654080 4385 33554432000 134512640 135305190 4294491616 18446744073709551615 134836420 0 0 4096 3 0 0 0 -1 0 0 0 0
[pid=7453/tid=7455] ppid=7450 vsize=51420 CPUtime=2.99 cores=0-7
/proc/7453/task/7455/stat : 7455 (manysat1.1_stat) R 7450 7450 6995 0 -1 4202560 790 0 0 0 299 0 0 0 18 0 4 0 642130510 52654080 4385 33554432000 134512640 135305190 4294491616 18446744073709551615 134528298 0 0 4096 3 0 0 0 -1 4 0 0 0
[pid=7453/tid=7456] ppid=7450 vsize=51420 CPUtime=3 cores=0-7
/proc/7453/task/7456/stat : 7456 (manysat1.1_stat) R 7450 7450 6995 0 -1 4202560 1066 0 0 0 299 1 0 0 18 0 4 0 642130510 52654080 4385 33554432000 134512640 135305190 4294491616 18446744073709551615 134528376 0 0 4096 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.1
Current children cumulated vsize (KiB) 60120

[startup+6.30029 s]
/proc/loadavg: 3.71 3.93 3.89 5/306 7456
/proc/meminfo: memFree=8653740/32950928 swapFree=67111348/67111528
[pid=7450] ppid=7448 vsize=8700 CPUtime=0.07 cores=0-7
/proc/7450/stat : 7450 (manysat.sh) S 7448 7450 6995 0 -1 4202496 357 915 0 0 0 0 7 0 25 0 1 0 642130501 8908800 253 33554432000 4194304 4922060 140734627920320 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/7450/statm: 2175 253 209 178 0 68 0
[pid=7453] ppid=7450 vsize=60728 CPUtime=24.82 cores=0-7
/proc/7453/stat : 7453 (manysat1.1_stat) R 7450 7450 6995 0 -1 4202496 6559 0 0 0 2478 4 0 0 18 0 4 0 642130509 62185472 6506 33554432000 134512640 135305190 4294491616 18446744073709551615 134528298 0 0 4096 3 18446744073709551615 0 0 17 3 0 0 0
/proc/7453/statm: 15182 6506 84 194 0 14986 0
[pid=7453/tid=7454] ppid=7450 vsize=60728 CPUtime=6.19 cores=0-7
/proc/7453/task/7454/stat : 7454 (manysat1.1_stat) R 7450 7450 6995 0 -1 4202560 1346 0 0 0 619 0 0 0 18 0 4 0 642130510 62185472 6506 33554432000 134512640 135305190 4294491616 18446744073709551615 134528503 0 0 4096 3 0 0 0 -1 0 0 0 0
[pid=7453/tid=7455] ppid=7450 vsize=60728 CPUtime=6.19 cores=0-7
/proc/7453/task/7455/stat : 7455 (manysat1.1_stat) R 7450 7450 6995 0 -1 4202560 1229 0 0 0 619 0 0 0 18 0 4 0 642130510 62185472 6506 33554432000 134512640 135305190 4294491616 18446744073709551615 134528557 0 0 4096 3 0 0 0 -1 4 0 0 0
[pid=7453/tid=7456] ppid=7450 vsize=60728 CPUtime=6.19 cores=0-7
/proc/7453/task/7456/stat : 7456 (manysat1.1_stat) R 7450 7450 6995 0 -1 4202560 1701 0 0 0 618 1 0 0 18 0 4 0 642130510 62185472 6506 33554432000 134512640 135305190 4294491616 18446744073709551615 134528520 0 0 4096 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 24.89
Current children cumulated vsize (KiB) 69428

[startup+12.7012 s]
/proc/loadavg: 3.73 3.93 3.89 5/306 7457
/proc/meminfo: memFree=8642596/32950928 swapFree=67111348/67111528
[pid=7450] ppid=7448 vsize=8700 CPUtime=0.07 cores=0-7
/proc/7450/stat : 7450 (manysat.sh) S 7448 7450 6995 0 -1 4202496 357 915 0 0 0 0 7 0 25 0 1 0 642130501 8908800 253 33554432000 4194304 4922060 140734627920320 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/7450/statm: 2175 253 209 178 0 68 0
[pid=7453] ppid=7450 vsize=70024 CPUtime=50.41 cores=0-7
/proc/7453/stat : 7453 (manysat1.1_stat) R 7450 7450 6995 0 -1 4202496 8969 0 0 0 5036 5 0 0 19 0 4 0 642130509 71704576 8916 33554432000 134512640 135305190 4294491616 18446744073709551615 134530615 0 0 4096 3 18446744073709551615 0 0 17 3 0 0 0
/proc/7453/statm: 17506 8916 84 194 0 17310 0
[pid=7453/tid=7454] ppid=7450 vsize=70024 CPUtime=12.6 cores=0-7
/proc/7453/task/7454/stat : 7454 (manysat1.1_stat) R 7450 7450 6995 0 -1 4202560 1858 0 0 0 1259 1 0 0 25 0 4 0 642130510 71704576 8916 33554432000 134512640 135305190 4294491616 18446744073709551615 134528768 0 0 4096 3 0 0 0 -1 0 0 0 0
[pid=7453/tid=7455] ppid=7450 vsize=70024 CPUtime=12.59 cores=0-7
/proc/7453/task/7455/stat : 7455 (manysat1.1_stat) R 7450 7450 6995 0 -1 4202560 1755 0 0 0 1258 1 0 0 18 0 4 0 642130510 71704576 8916 33554432000 134512640 135305190 4294491616 18446744073709551615 134551651 0 0 4096 3 0 0 0 -1 4 0 0 0
[pid=7453/tid=7456] ppid=7450 vsize=70024 CPUtime=12.59 cores=0-7
/proc/7453/task/7456/stat : 7456 (manysat1.1_stat) R 7450 7450 6995 0 -1 4202560 2400 0 0 0 1258 1 0 0 18 0 4 0 642130510 71704576 8916 33554432000 134512640 135305190 4294491616 18446744073709551615 134528298 0 0 4096 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.48
Current children cumulated vsize (KiB) 78724

[startup+25.5009 s]
/proc/loadavg: 3.79 3.93 3.89 5/306 7457
/proc/meminfo: memFree=8631092/32950928 swapFree=67111348/67111528
[pid=7450] ppid=7448 vsize=8700 CPUtime=0.07 cores=0-7
/proc/7450/stat : 7450 (manysat.sh) S 7448 7450 6995 0 -1 4202496 357 915 0 0 0 0 7 0 25 0 1 0 642130501 8908800 253 33554432000 4194304 4922060 140734627920320 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/7450/statm: 2175 253 209 178 0 68 0
[pid=7453] ppid=7450 vsize=83616 CPUtime=101.6 cores=0-7
/proc/7453/stat : 7453 (manysat1.1_stat) R 7450 7450 6995 0 -1 4202496 12217 0 0 0 10153 7 0 0 25 0 4 0 642130509 85622784 12164 33554432000 134512640 135305190 4294491616 18446744073709551615 134528263 0 0 4096 3 18446744073709551615 0 0 17 3 0 0 0
/proc/7453/statm: 20904 12164 84 194 0 20708 0
[pid=7453/tid=7454] ppid=7450 vsize=83616 CPUtime=25.39 cores=0-7
/proc/7453/task/7454/stat : 7454 (manysat1.1_stat) R 7450 7450 6995 0 -1 4202560 2849 0 0 0 2538 1 0 0 25 0 4 0 642130510 85622784 12164 33554432000 134512640 135305190 4294491616 18446744073709551615 134528256 0 0 4096 3 0 0 0 -1 0 0 0 0
[pid=7453/tid=7455] ppid=7450 vsize=83616 CPUtime=25.38 cores=0-7
/proc/7453/task/7455/stat : 7455 (manysat1.1_stat) R 7450 7450 6995 0 -1 4202560 2347 0 0 0 2536 2 0 0 18 0 4 0 642130510 85622784 12164 33554432000 134512640 135305190 4294491616 18446744073709551615 134528768 0 0 4096 3 0 0 0 -1 4 0 0 0
[pid=7453/tid=7456] ppid=7450 vsize=83616 CPUtime=25.39 cores=0-7
/proc/7453/task/7456/stat : 7456 (manysat1.1_stat) R 7450 7450 6995 0 -1 4202560 3235 0 0 0 2537 2 0 0 18 0 4 0 642130510 85622784 12164 33554432000 134512640 135305190 4294491616 18446744073709551615 134528298 0 0 4096 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.67
Current children cumulated vsize (KiB) 92316

[startup+51.1004 s]
/proc/loadavg: 3.86 3.93 3.90 5/306 7458
/proc/meminfo: memFree=8614900/32950928 swapFree=67111348/67111528
[pid=7450] ppid=7448 vsize=8700 CPUtime=0.07 cores=0-7
/proc/7450/stat : 7450 (manysat.sh) S 7448 7450 6995 0 -1 4202496 357 915 0 0 0 0 7 0 25 0 1 0 642130501 8908800 253 33554432000 4194304 4922060 140734627920320 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/7450/statm: 2175 253 209 178 0 68 0
[pid=7453] ppid=7450 vsize=99576 CPUtime=203.96 cores=0-7
/proc/7453/stat : 7453 (manysat1.1_stat) R 7450 7450 6995 0 -1 4202496 16174 0 0 0 20385 11 0 0 25 0 4 0 642130509 101965824 16121 33554432000 134512640 135305190 4294491616 18446744073709551615 134528319 0 0 4096 3 18446744073709551615 0 0 17 3 0 0 0
/proc/7453/statm: 24894 16121 84 194 0 24698 0
[pid=7453/tid=7454] ppid=7450 vsize=99576 CPUtime=50.98 cores=0-7
/proc/7453/task/7454/stat : 7454 (manysat1.1_stat) R 7450 7450 6995 0 -1 4202560 4268 0 0 0 5096 2 0 0 25 0 4 0 642130510 101965824 16121 33554432000 134512640 135305190 4294491616 18446744073709551615 134528254 0 0 4096 3 0 0 0 -1 0 0 0 0
[pid=7453/tid=7455] ppid=7450 vsize=99576 CPUtime=50.97 cores=0-7
/proc/7453/task/7455/stat : 7455 (manysat1.1_stat) R 7450 7450 6995 0 -1 4202560 3134 0 0 0 5094 3 0 0 18 0 4 0 642130510 101965824 16121 33554432000 134512640 135305190 4294491616 18446744073709551615 134528189 0 0 4096 3 0 0 0 -1 4 0 0 0
[pid=7453/tid=7456] ppid=7450 vsize=99576 CPUtime=50.98 cores=0-7
/proc/7453/task/7456/stat : 7456 (manysat1.1_stat) R 7450 7450 6995 0 -1 4202560 3900 0 0 0 5096 2 0 0 18 0 4 0 642130510 101965824 16121 33554432000 134512640 135305190 4294491616 18446744073709551615 134528571 0 0 4096 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 204.03
Current children cumulated vsize (KiB) 108276

[startup+102.311 s]
/proc/loadavg: 3.94 3.94 3.90 5/306 7459
/proc/meminfo: memFree=8587608/32950928 swapFree=67111348/67111528
[pid=7450] ppid=7448 vsize=8700 CPUtime=0.07 cores=0-7
/proc/7450/stat : 7450 (manysat.sh) S 7448 7450 6995 0 -1 4202496 357 915 0 0 0 0 7 0 25 0 1 0 642130501 8908800 253 33554432000 4194304 4922060 140734627920320 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/7450/statm: 2175 253 209 178 0 68 0
[pid=7453] ppid=7450 vsize=128180 CPUtime=408.74 cores=0-7
/proc/7453/stat : 7453 (manysat1.1_stat) R 7450 7450 6995 0 -1 4202496 22859 0 0 0 40856 18 0 0 25 0 4 0 642130509 131256320 22806 33554432000 134512640 135305190 4294491616 18446744073709551615 134528229 0 0 4096 3 18446744073709551615 0 0 17 3 0 0 0
/proc/7453/statm: 32045 22806 84 194 0 31849 0
[pid=7453/tid=7454] ppid=7450 vsize=128180 CPUtime=102.16 cores=0-7
/proc/7453/task/7454/stat : 7454 (manysat1.1_stat) R 7450 7450 6995 0 -1 4202560 6468 0 0 0 10212 4 0 0 25 0 4 0 642130510 131256320 22806 33554432000 134512640 135305190 4294491616 18446744073709551615 134556734 0 0 4096 3 0 0 0 -1 0 0 0 0
[pid=7453/tid=7455] ppid=7450 vsize=128180 CPUtime=102.16 cores=0-7
/proc/7453/task/7455/stat : 7455 (manysat1.1_stat) R 7450 7450 6995 0 -1 4202560 4832 0 0 0 10212 4 0 0 18 0 4 0 642130510 131256320 22806 33554432000 134512640 135305190 4294491616 18446744073709551615 134528298 0 0 4096 3 0 0 0 -1 4 0 0 0
[pid=7453/tid=7456] ppid=7450 vsize=128180 CPUtime=102.18 cores=0-7
/proc/7453/task/7456/stat : 7456 (manysat1.1_stat) R 7450 7450 6995 0 -1 4202560 5186 0 0 0 10214 4 0 0 18 0 4 0 642130510 131256320 22806 33554432000 134512640 135305190 4294491616 18446744073709551615 134528242 0 0 4096 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 408.81
Current children cumulated vsize (KiB) 136880

[startup+162.301 s]
/proc/loadavg: 3.98 3.95 3.91 5/306 7461
/proc/meminfo: memFree=8562152/32950928 swapFree=67111348/67111528
[pid=7450] ppid=7448 vsize=8700 CPUtime=0.07 cores=0-7
/proc/7450/stat : 7450 (manysat.sh) S 7448 7450 6995 0 -1 4202496 357 915 0 0 0 0 7 0 25 0 1 0 642130501 8908800 253 33554432000 4194304 4922060 140734627920320 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/7450/statm: 2175 253 209 178 0 68 0
[pid=7453] ppid=7450 vsize=155932 CPUtime=648.65 cores=0-7
/proc/7453/stat : 7453 (manysat1.1_stat) R 7450 7450 6995 0 -1 4202496 29299 0 0 0 64840 25 0 0 25 0 4 0 642130509 159674368 29246 33554432000 134512640 135305190 4294491616 18446744073709551615 134528298 0 0 4096 3 18446744073709551615 0 0 17 3 0 0 0
/proc/7453/statm: 38983 29246 84 194 0 38787 0
[pid=7453/tid=7454] ppid=7450 vsize=155932 CPUtime=162.14 cores=0-7

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

/proc/7453/task/7456/stat : 7456 (manysat1.1_stat) R 7450 7450 6995 0 -1 4202560 30330 0 0 0 466142 49 0 0 25 0 4 0 642130510 794869760 174476 33554432000 134512640 135305190 4294491616 18446744073709551615 134528298 0 0 4096 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 18647.6
Current children cumulated vsize (KiB) 784940

[startup+4722.31 s]
/proc/loadavg: 4.00 4.00 3.98 5/306 7606
/proc/meminfo: memFree=7964344/32950928 swapFree=67111348/67111528
[pid=7450] ppid=7448 vsize=8700 CPUtime=0.07 cores=0-7
/proc/7450/stat : 7450 (manysat.sh) S 7448 7450 6995 0 -1 4202496 357 915 0 0 0 0 7 0 25 0 1 0 642130501 8908800 253 33554432000 4194304 4922060 140734627920320 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/7450/statm: 2175 253 209 178 0 68 0
[pid=7453] ppid=7450 vsize=789688 CPUtime=18887.6 cores=0-7
/proc/7453/stat : 7453 (manysat1.1_stat) R 7450 7450 6995 0 -1 4202496 178929 0 0 0 1888518 237 0 0 25 0 4 0 642130509 808640512 178133 33554432000 134512640 135305190 4294491616 18446744073709551615 134528252 0 0 4096 3 18446744073709551615 0 0 17 3 0 0 0
/proc/7453/statm: 197422 178133 84 194 0 197226 0
[pid=7453/tid=7454] ppid=7450 vsize=789688 CPUtime=4721.89 cores=0-7
/proc/7453/task/7454/stat : 7454 (manysat1.1_stat) R 7450 7450 6995 0 -1 4202560 34350 0 0 0 472150 39 0 0 25 0 4 0 642130510 808640512 178133 33554432000 134512640 135305190 4294491616 18446744073709551615 134528520 0 0 4096 3 0 0 0 -1 0 0 0 0
[pid=7453/tid=7455] ppid=7450 vsize=789688 CPUtime=4721.83 cores=0-7
/proc/7453/task/7455/stat : 7455 (manysat1.1_stat) R 7450 7450 6995 0 -1 4202560 82271 0 0 0 472083 100 0 0 18 0 4 0 642130510 808640512 178133 33554432000 134512640 135305190 4294491616 18446744073709551615 134528298 0 0 4096 3 0 0 0 -1 2 0 0 0
[pid=7453/tid=7456] ppid=7450 vsize=789688 CPUtime=4721.92 cores=0-7
/proc/7453/task/7456/stat : 7456 (manysat1.1_stat) R 7450 7450 6995 0 -1 4202560 30708 0 0 0 472143 49 0 0 25 0 4 0 642130510 808640512 178133 33554432000 134512640 135305190 4294491616 18446744073709551615 134528350 0 0 4096 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 18887.6
Current children cumulated vsize (KiB) 798388

[startup+4782.3 s]
/proc/loadavg: 4.00 4.00 3.98 5/306 7608
/proc/meminfo: memFree=7944716/32950928 swapFree=67111348/67111528
[pid=7450] ppid=7448 vsize=8700 CPUtime=0.07 cores=0-7
/proc/7450/stat : 7450 (manysat.sh) S 7448 7450 6995 0 -1 4202496 357 915 0 0 0 0 7 0 25 0 1 0 642130501 8908800 253 33554432000 4194304 4922060 140734627920320 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/7450/statm: 2175 253 209 178 0 68 0
[pid=7453] ppid=7450 vsize=810616 CPUtime=19127.5 cores=0-7
/proc/7453/stat : 7453 (manysat1.1_stat) R 7450 7450 6995 0 -1 4202496 183923 0 0 0 1912510 241 0 0 25 0 4 0 642130509 830070784 183041 33554432000 134512640 135305190 4294491616 18446744073709551615 134528872 0 0 4096 3 18446744073709551615 0 0 17 3 0 0 0
/proc/7453/statm: 202654 183041 84 194 0 202458 0
[pid=7453/tid=7454] ppid=7450 vsize=810616 CPUtime=4781.88 cores=0-7
/proc/7453/task/7454/stat : 7454 (manysat1.1_stat) R 7450 7450 6995 0 -1 4202560 35146 0 0 0 478148 40 0 0 25 0 4 0 642130510 830070784 183041 33554432000 134512640 135305190 4294491616 18446744073709551615 134528298 0 0 4096 3 0 0 0 -1 0 0 0 0
[pid=7453/tid=7455] ppid=7450 vsize=810616 CPUtime=4781.81 cores=0-7
/proc/7453/task/7455/stat : 7455 (manysat1.1_stat) R 7450 7450 6995 0 -1 4202560 85530 0 0 0 478078 103 0 0 19 0 4 0 642130510 830070784 183041 33554432000 134512640 135305190 4294491616 18446744073709551615 134530636 0 0 4096 3 0 0 0 -1 2 0 0 0
[pid=7453/tid=7456] ppid=7450 vsize=810616 CPUtime=4781.91 cores=0-7
/proc/7453/task/7456/stat : 7456 (manysat1.1_stat) R 7450 7450 6995 0 -1 4202560 31118 0 0 0 478141 50 0 0 25 0 4 0 642130510 830070784 183041 33554432000 134512640 135305190 4294491616 18446744073709551615 134528298 0 0 4096 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 19127.6
Current children cumulated vsize (KiB) 819316

[startup+4842.3 s]
/proc/loadavg: 4.06 4.02 3.98 5/306 7610
/proc/meminfo: memFree=7932284/32950928 swapFree=67111348/67111528
[pid=7450] ppid=7448 vsize=8700 CPUtime=0.07 cores=0-7
/proc/7450/stat : 7450 (manysat.sh) S 7448 7450 6995 0 -1 4202496 357 915 0 0 0 0 7 0 25 0 1 0 642130501 8908800 253 33554432000 4194304 4922060 140734627920320 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/7450/statm: 2175 253 209 178 0 68 0
[pid=7453] ppid=7450 vsize=824276 CPUtime=19367.5 cores=0-7
/proc/7453/stat : 7453 (manysat1.1_stat) R 7450 7450 6995 0 -1 4202496 187089 0 0 0 1936505 246 0 0 25 0 4 0 642130509 844058624 186207 33554432000 134512640 135305190 4294491616 18446744073709551615 134549005 0 0 4096 3 18446744073709551615 0 0 17 3 0 0 0
/proc/7453/statm: 206069 186207 84 194 0 205873 0
[pid=7453/tid=7454] ppid=7450 vsize=824276 CPUtime=4841.88 cores=0-7
/proc/7453/task/7454/stat : 7454 (manysat1.1_stat) R 7450 7450 6995 0 -1 4202560 35210 0 0 0 484148 40 0 0 25 0 4 0 642130510 844058624 186207 33554432000 134512640 135305190 4294491616 18446744073709551615 134538540 0 0 4096 3 0 0 0 -1 0 0 0 0
[pid=7453/tid=7455] ppid=7450 vsize=824276 CPUtime=4841.82 cores=0-7
/proc/7453/task/7455/stat : 7455 (manysat1.1_stat) R 7450 7450 6995 0 -1 4202560 88108 0 0 0 484075 107 0 0 25 0 4 0 642130510 844058624 186207 33554432000 134512640 135305190 4294491616 18446744073709551615 134528263 0 0 4096 3 0 0 0 -1 2 0 0 0
[pid=7453/tid=7456] ppid=7450 vsize=824276 CPUtime=4841.91 cores=0-7
/proc/7453/task/7456/stat : 7456 (manysat1.1_stat) R 7450 7450 6995 0 -1 4202560 31488 0 0 0 484141 50 0 0 25 0 4 0 642130510 844058624 186207 33554432000 134512640 135305190 4294491616 18446744073709551615 134528298 0 0 4096 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 19367.6
Current children cumulated vsize (KiB) 832976

[startup+4902.3 s]
/proc/loadavg: 4.02 4.01 3.98 5/306 7611
/proc/meminfo: memFree=7926796/32950928 swapFree=67111348/67111528
[pid=7450] ppid=7448 vsize=8700 CPUtime=0.07 cores=0-7
/proc/7450/stat : 7450 (manysat.sh) S 7448 7450 6995 0 -1 4202496 357 915 0 0 0 0 7 0 25 0 1 0 642130501 8908800 253 33554432000 4194304 4922060 140734627920320 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/7450/statm: 2175 253 209 178 0 68 0
[pid=7453] ppid=7450 vsize=831548 CPUtime=19607.5 cores=0-7
/proc/7453/stat : 7453 (manysat1.1_stat) R 7450 7450 6995 0 -1 4202496 188382 0 0 0 1960504 248 0 0 25 0 4 0 642130509 851505152 187500 33554432000 134512640 135305190 4294491616 18446744073709551615 134528252 0 0 4096 3 18446744073709551615 0 0 17 3 0 0 0
/proc/7453/statm: 207887 187500 84 194 0 207691 0
[pid=7453/tid=7454] ppid=7450 vsize=831548 CPUtime=4901.88 cores=0-7
/proc/7453/task/7454/stat : 7454 (manysat1.1_stat) R 7450 7450 6995 0 -1 4202560 35210 0 0 0 490148 40 0 0 25 0 4 0 642130510 851505152 187500 33554432000 134512640 135305190 4294491616 18446744073709551615 134538543 0 0 4096 3 0 0 0 -1 0 0 0 0
[pid=7453/tid=7455] ppid=7450 vsize=831548 CPUtime=4901.82 cores=0-7
/proc/7453/task/7455/stat : 7455 (manysat1.1_stat) R 7450 7450 6995 0 -1 4202560 88707 0 0 0 490074 108 0 0 25 0 4 0 642130510 851505152 187500 33554432000 134512640 135305190 4294491616 18446744073709551615 134528455 0 0 4096 3 0 0 0 -1 2 0 0 0
[pid=7453/tid=7456] ppid=7450 vsize=831548 CPUtime=4901.92 cores=0-7
/proc/7453/task/7456/stat : 7456 (manysat1.1_stat) R 7450 7450 6995 0 -1 4202560 31784 0 0 0 490141 51 0 0 25 0 4 0 642130510 851505152 187500 33554432000 134512640 135305190 4294491616 18446744073709551615 134528256 0 0 4096 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 19607.6
Current children cumulated vsize (KiB) 840248

[startup+4962.3 s]
/proc/loadavg: 4.01 4.00 3.98 5/306 7613
/proc/meminfo: memFree=7923292/32950928 swapFree=67111348/67111528
[pid=7450] ppid=7448 vsize=8700 CPUtime=0.07 cores=0-7
/proc/7450/stat : 7450 (manysat.sh) S 7448 7450 6995 0 -1 4202496 357 915 0 0 0 0 7 0 25 0 1 0 642130501 8908800 253 33554432000 4194304 4922060 140734627920320 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/7450/statm: 2175 253 209 178 0 68 0
[pid=7453] ppid=7450 vsize=834604 CPUtime=19847.5 cores=0-7
/proc/7453/stat : 7453 (manysat1.1_stat) R 7450 7450 6995 0 -1 4202496 189284 0 0 0 1984504 248 0 0 25 0 4 0 642130509 854634496 188402 33554432000 134512640 135305190 4294491616 18446744073709551615 134528229 0 0 4096 3 18446744073709551615 0 0 17 3 0 0 0
/proc/7453/statm: 208651 188402 84 194 0 208455 0
[pid=7453/tid=7454] ppid=7450 vsize=834604 CPUtime=4961.89 cores=0-7
/proc/7453/task/7454/stat : 7454 (manysat1.1_stat) R 7450 7450 6995 0 -1 4202560 35210 0 0 0 496149 40 0 0 25 0 4 0 642130510 854634496 188402 33554432000 134512640 135305190 4294491616 18446744073709551615 134538167 0 0 4096 3 0 0 0 -1 0 0 0 0
[pid=7453/tid=7455] ppid=7450 vsize=834604 CPUtime=4961.81 cores=0-7
/proc/7453/task/7455/stat : 7455 (manysat1.1_stat) R 7450 7450 6995 0 -1 4202560 89243 0 0 0 496073 108 0 0 25 0 4 0 642130510 854634496 188402 33554432000 134512640 135305190 4294491616 18446744073709551615 134528252 0 0 4096 3 0 0 0 -1 2 0 0 0
[pid=7453/tid=7456] ppid=7450 vsize=834604 CPUtime=4961.92 cores=0-7
/proc/7453/task/7456/stat : 7456 (manysat1.1_stat) R 7450 7450 6995 0 -1 4202560 32057 0 0 0 496141 51 0 0 25 0 4 0 642130510 854634496 188402 33554432000 134512640 135305190 4294491616 18446744073709551615 134528557 0 0 4096 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 19847.6
Current children cumulated vsize (KiB) 843304

[startup+5022.3 s]
/proc/loadavg: 4.00 4.00 3.98 5/306 7614
/proc/meminfo: memFree=7916684/32950928 swapFree=67111348/67111528
[pid=7450] ppid=7448 vsize=8700 CPUtime=0.07 cores=0-7
/proc/7450/stat : 7450 (manysat.sh) S 7448 7450 6995 0 -1 4202496 357 915 0 0 0 0 7 0 25 0 1 0 642130501 8908800 253 33554432000 4194304 4922060 140734627920320 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/7450/statm: 2175 253 209 178 0 68 0
[pid=7453] ppid=7450 vsize=839020 CPUtime=20087.5 cores=0-7
/proc/7453/stat : 7453 (manysat1.1_stat) R 7450 7450 6995 0 -1 4202496 190971 0 0 0 2008503 249 0 0 25 0 4 0 642130509 859156480 190089 33554432000 134512640 135305190 4294491616 18446744073709551615 134837608 0 0 4096 3 18446744073709551615 0 0 17 3 0 0 0
/proc/7453/statm: 209755 190089 84 194 0 209559 0
[pid=7453/tid=7454] ppid=7450 vsize=839020 CPUtime=5021.89 cores=0-7
/proc/7453/task/7454/stat : 7454 (manysat1.1_stat) R 7450 7450 6995 0 -1 4202560 35210 0 0 0 502149 40 0 0 25 0 4 0 642130510 859156480 190089 33554432000 134512640 135305190 4294491616 18446744073709551615 134538540 0 0 4096 3 0 0 0 -1 0 0 0 0
[pid=7453/tid=7455] ppid=7450 vsize=839020 CPUtime=5021.81 cores=0-7
/proc/7453/task/7455/stat : 7455 (manysat1.1_stat) R 7450 7450 6995 0 -1 4202560 90153 0 0 0 502072 109 0 0 25 0 4 0 642130510 859156480 190089 33554432000 134512640 135305190 4294491616 18446744073709551615 134528298 0 0 4096 3 0 0 0 -1 2 0 0 0
[pid=7453/tid=7456] ppid=7450 vsize=839020 CPUtime=5021.92 cores=0-7
/proc/7453/task/7456/stat : 7456 (manysat1.1_stat) R 7450 7450 6995 0 -1 4202560 32696 0 0 0 502141 51 0 0 25 0 4 0 642130510 859156480 190089 33554432000 134512640 135305190 4294491616 18446744073709551615 134528298 0 0 4096 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 20087.6
Current children cumulated vsize (KiB) 847720

[startup+5082.3 s]
/proc/loadavg: 4.00 4.00 3.98 5/306 7616
/proc/meminfo: memFree=7913424/32950928 swapFree=67111348/67111528
[pid=7450] ppid=7448 vsize=8700 CPUtime=0.07 cores=0-7
/proc/7450/stat : 7450 (manysat.sh) S 7448 7450 6995 0 -1 4202496 357 915 0 0 0 0 7 0 25 0 1 0 642130501 8908800 253 33554432000 4194304 4922060 140734627920320 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/7450/statm: 2175 253 209 178 0 68 0
[pid=7453] ppid=7450 vsize=842436 CPUtime=20327.5 cores=0-7
/proc/7453/stat : 7453 (manysat1.1_stat) R 7450 7450 6995 0 -1 4202496 191752 0 0 0 2032501 251 0 0 25 0 4 0 642130509 862654464 190870 33554432000 134512640 135305190 4294491616 18446744073709551615 134528252 0 0 4096 3 18446744073709551615 0 0 17 3 0 0 0
/proc/7453/statm: 210609 190870 84 194 0 210413 0
[pid=7453/tid=7454] ppid=7450 vsize=842436 CPUtime=5081.89 cores=0-7
/proc/7453/task/7454/stat : 7454 (manysat1.1_stat) R 7450 7450 6995 0 -1 4202560 35210 0 0 0 508148 41 0 0 25 0 4 0 642130510 862654464 190870 33554432000 134512640 135305190 4294491616 18446744073709551615 134538175 0 0 4096 3 0 0 0 -1 0 0 0 0
[pid=7453/tid=7455] ppid=7450 vsize=842436 CPUtime=5081.82 cores=0-7
/proc/7453/task/7455/stat : 7455 (manysat1.1_stat) R 7450 7450 6995 0 -1 4202560 90271 0 0 0 508072 110 0 0 25 0 4 0 642130510 862654464 190870 33554432000 134512640 135305190 4294491616 18446744073709551615 134528235 0 0 4096 3 0 0 0 -1 2 0 0 0
[pid=7453/tid=7456] ppid=7450 vsize=842436 CPUtime=5081.92 cores=0-7
/proc/7453/task/7456/stat : 7456 (manysat1.1_stat) R 7450 7450 6995 0 -1 4202560 32879 0 0 0 508141 51 0 0 25 0 4 0 642130510 862654464 190870 33554432000 134512640 135305190 4294491616 18446744073709551615 134528229 0 0 4096 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 20327.6
Current children cumulated vsize (KiB) 851136



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+5100 s]
/proc/loadavg: 4.00 4.00 3.98 5/306 7616
/proc/meminfo: memFree=7912548/32950928 swapFree=67111348/67111528
[pid=7450] ppid=7448 vsize=8700 CPUtime=0.07 cores=0-7
/proc/7450/stat : 7450 (manysat.sh) S 7448 7450 6995 0 -1 4202496 357 915 0 0 0 0 7 0 25 0 1 0 642130501 8908800 253 33554432000 4194304 4922060 140734627920320 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/7450/statm: 2175 253 209 178 0 68 0
[pid=7453] ppid=7450 vsize=843728 CPUtime=20398.3 cores=0-7
/proc/7453/stat : 7453 (manysat1.1_stat) R 7450 7450 6995 0 -1 4202496 191946 0 0 0 2039583 252 0 0 25 0 4 0 642130509 863977472 191064 33554432000 134512640 135305190 4294491616 18446744073709551615 134547909 0 0 4096 3 18446744073709551615 0 0 17 3 0 0 0
/proc/7453/statm: 210932 191064 84 194 0 210736 0
[pid=7453/tid=7454] ppid=7450 vsize=843728 CPUtime=5099.6 cores=0-7
/proc/7453/task/7454/stat : 7454 (manysat1.1_stat) R 7450 7450 6995 0 -1 4202560 35210 0 0 0 509919 41 0 0 25 0 4 0 642130510 863977472 191065 33554432000 134512640 135305190 4294491616 18446744073709551615 134538154 0 0 4096 3 0 0 0 -1 0 0 0 0
[pid=7453/tid=7455] ppid=7450 vsize=843728 CPUtime=5099.52 cores=0-7
/proc/7453/task/7455/stat : 7455 (manysat1.1_stat) R 7450 7450 6995 0 -1 4202560 90403 0 0 0 509842 110 0 0 25 0 4 0 642130510 863977472 191065 33554432000 134512640 135305190 4294491616 18446744073709551615 134528224 0 0 4096 3 0 0 0 -1 2 0 0 0
[pid=7453/tid=7456] ppid=7450 vsize=843728 CPUtime=5099.63 cores=0-7
/proc/7453/task/7456/stat : 7456 (manysat1.1_stat) R 7450 7450 6995 0 -1 4202560 32927 0 0 0 509912 51 0 0 25 0 4 0 642130510 863977472 191065 33554432000 134512640 135305190 4294491616 18446744073709551615 134528237 0 0 4096 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 20398.4
Current children cumulated vsize (KiB) 852428

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 7450 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=73988
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=3999
# CPU time returned by wait4() is 0.077987
# while last known CPU time is 20398.4
#
# 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): 20398.4
CPU user time (s): 20395.9
CPU system time (s): 2.52
CPU usage (%): 399.967
Max. virtual memory (cumulated for all children) (KiB): 852428

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.073988
system time used= 0.003999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1272
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 14.7808 second user time and 35.2466 second system time

The end

Launcher Data 

Begin job on node120 at 2011-05-13 18:48:37
IDJOB=3362410
IDBENCH=88045
IDSOLVER=1839
FILE ID=node120/3362410-1305305317
RUNJOBID= node120-1305296394-7009
PBS_JOBID= 13321433
Free space on /tmp= 47972 MiB

SOLVER NAME= ManySAT 1.1 aimd 1/2009-03-20 (4 threads)
BENCH NAME= SAT02/industrial/dellacherie/comb/comb1.shuffled.cnf
COMMAND LINE= manysat.sh BENCHNAME aimd 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3362410-1305305317/watcher-3362410-1305305317 -o /tmp/evaluation-result-3362410-1305305317/solver-3362410-1305305317 -C 40000 -W 5100 -M 31000  manysat.sh HOME/instance-3362410-1305305317.cnf aimd 1

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

MD5SUM BENCH= 0e9d17eb95ee436fc1015c5591cfb63f
RANDOM SEED=2064953701

node120.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.809
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.61
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.809
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.809
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.82
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.809
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.75
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.809
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.78
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.809
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.75
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.809
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.82
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.809
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:     32950928 kB
MemFree:       8673784 kB
Buffers:        207048 kB
Cached:        7161088 kB
SwapCached:          0 kB
Active:       17259144 kB
Inactive:      6612740 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:       8673784 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:            6292 kB
Writeback:           8 kB
AnonPages:    16504112 kB
Mapped:          24568 kB
Slab:           289748 kB
PageTables:      48356 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 51547732 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= 47972 MiB
End job on node120 at 2011-05-13 20:13:39