Trace number 1780900

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
satake 2009-03-22 (4 threads)? (TO) 1351.27 1000.07

General information on the benchmark

NameAPPLICATIONS/satComp09_BioInstances/
ndhf_xits_15_UNKNOWN.cnf
MD5SUM8e41b9860982308be5a85106d5324611
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 variables3152
Number of clauses330948
Sum of the clauses size988222
Maximum clause length16
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 25025
Number of clauses of size 3325892
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 531

Solver Data


Verifier Data 

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

Watcher Data 

runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w /tmp/evaluation-result-1780900-1243651031/watcher-1780900-1243651031 -o /tmp/evaluation-result-1780900-1243651031/solver-1780900-1243651031 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1780900-1243651031.cnf 4 10000 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 2096128 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 2147328 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 7.12 7.40 7.20 8/114 19043
/proc/meminfo: memFree=2263560/3368532 swapFree=1953000/1959888
[pid=19042] ppid=19040 vsize=964 CPUtime=0
/proc/19042/stat : 19042 (satake) R 19040 19042 20665 0 -1 4202496 108 0 0 0 0 0 0 0 19 0 2 0 1119240423 987136 64 4294967295 134512640 135180984 3220771552 3220770896 134705812 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/19042/statm: 241 64 54 164 0 76 0
[pid=19042/tid=19043] ppid=19040 vsize=964 CPUtime=0
/proc/19042/task/19043/stat : 19043 (satake) R 19040 19042 20665 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 2 0 1119240423 987136 64 4294967295 134512640 135180984 3220771552 3086050116 134705812 0 0 0 0 0 0 0 -1 3 0 0 0

[startup+0.066881 s]
/proc/loadavg: 7.12 7.40 7.20 8/114 19043
/proc/meminfo: memFree=2263560/3368532 swapFree=1953000/1959888
[pid=19042] ppid=19040 vsize=964 CPUtime=0
/proc/19042/stat : 19042 (satake) R 19040 19042 20665 0 -1 4202496 115 0 0 0 0 0 0 0 19 0 2 0 1119240423 987136 71 4294967295 134512640 135180984 3220771552 3220770896 134705812 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/19042/statm: 241 71 59 164 0 76 0
[pid=19042/tid=19043] ppid=19040 vsize=964 CPUtime=0
/proc/19042/task/19043/stat : 19043 (satake) S 19040 19042 20665 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 2 0 1119240423 987136 71 4294967295 134512640 135180984 3220771552 3086049296 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 964

[startup+0.116871 s]
/proc/loadavg: 7.12 7.40 7.20 8/114 19043
/proc/meminfo: memFree=2263560/3368532 swapFree=1953000/1959888
[pid=19042] ppid=19040 vsize=8484 CPUtime=0.04
/proc/19042/stat : 19042 (satake) S 19040 19042 20665 0 -1 4202496 1956 0 0 0 4 0 0 0 19 0 5 0 1119240423 8687616 1912 4294967295 134512640 135180984 3220771552 3220770988 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/19042/statm: 2121 1912 63 164 0 1956 0
[pid=19042/tid=19043] ppid=19040 vsize=8484 CPUtime=0
/proc/19042/task/19043/stat : 19043 (satake) S 19040 19042 20665 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 5 0 1119240423 8687616 1912 4294967295 134512640 135180984 3220771552 3086049296 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 8484

[startup+0.316857 s]
/proc/loadavg: 7.12 7.40 7.20 8/114 19043
/proc/meminfo: memFree=2263560/3368532 swapFree=1953000/1959888
[pid=19042] ppid=19040 vsize=28796 CPUtime=0.19
/proc/19042/stat : 19042 (satake) S 19040 19042 20665 0 -1 4202496 6514 0 0 0 17 2 0 0 19 0 5 0 1119240423 29487104 6470 4294967295 134512640 135180984 3220771552 3220770988 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/19042/statm: 7199 6475 63 164 0 7034 0
[pid=19042/tid=19043] ppid=19040 vsize=28796 CPUtime=0
/proc/19042/task/19043/stat : 19043 (satake) S 19040 19042 20665 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 5 0 1119240423 29487104 6475 4294967295 134512640 135180984 3220771552 3086049296 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 28796

[startup+0.716827 s]
/proc/loadavg: 7.12 7.40 7.20 8/114 19043
/proc/meminfo: memFree=2263560/3368532 swapFree=1953000/1959888
[pid=19042] ppid=19040 vsize=47428 CPUtime=0.78
/proc/19042/stat : 19042 (satake) S 19040 19042 20665 0 -1 4202496 13535 0 0 0 74 4 0 0 19 0 5 0 1119240423 48566272 10735 4294967295 134512640 135180984 3220771552 3220770988 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/19042/statm: 11857 10736 68 164 0 11692 0
[pid=19042/tid=19043] ppid=19040 vsize=47428 CPUtime=0
/proc/19042/task/19043/stat : 19043 (satake) S 19040 19042 20665 0 -1 4202560 64 0 0 0 0 0 0 0 15 0 5 0 1119240423 48566272 10736 4294967295 134512640 135180984 3220771552 3086049296 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.78
Current children cumulated vsize (KiB) 47428

[startup+1.51676 s]
/proc/loadavg: 7.12 7.40 7.20 9/118 19047
/proc/meminfo: memFree=2223304/3368532 swapFree=1953000/1959888
[pid=19042] ppid=19040 vsize=47320 CPUtime=1.99
/proc/19042/stat : 19042 (satake) S 19040 19042 20665 0 -1 4202496 14555 0 0 0 194 5 0 0 19 0 5 0 1119240423 48455680 10377 4294967295 134512640 135180984 3220771552 3220770988 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/19042/statm: 11830 10377 68 164 0 11665 0
[pid=19042/tid=19043] ppid=19040 vsize=47320 CPUtime=0
/proc/19042/task/19043/stat : 19043 (satake) S 19040 19042 20665 0 -1 4202560 64 0 0 0 0 0 0 0 15 0 5 0 1119240423 48455680 10377 4294967295 134512640 135180984 3220771552 3086049296 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=19042/tid=19045] ppid=19040 vsize=47320 CPUtime=0.68
/proc/19042/task/19045/stat : 19045 (satake) R 19040 19042 20665 0 -1 4202560 4846 0 0 0 66 2 0 0 23 0 5 0 1119240431 48455680 10377 4294967295 134512640 135180984 3220771552 3085983600 134528211 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=19042/tid=19046] ppid=19040 vsize=47320 CPUtime=0.68
/proc/19042/task/19046/stat : 19046 (satake) R 19040 19042 20665 0 -1 4202560 4777 0 0 0 65 3 0 0 21 0 5 0 1119240431 48455680 10377 4294967295 134512640 135180984 3220771552 3085918064 134528680 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=19042/tid=19047] ppid=19040 vsize=47320 CPUtime=0.63
/proc/19042/task/19047/stat : 19047 (satake) R 19040 19042 20665 0 -1 4202560 4757 0 0 0 63 0 0 0 21 0 5 0 1119240431 48455680 10377 4294967295 134512640 135180984 3220771552 3085852520 134518255 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.99
Current children cumulated vsize (KiB) 47320

[startup+3.11664 s]
/proc/loadavg: 7.12 7.40 7.20 8/118 19047
/proc/meminfo: memFree=2221144/3368532 swapFree=1953000/1959888
[pid=19042] ppid=19040 vsize=50160 CPUtime=3.96
/proc/19042/stat : 19042 (satake) S 19040 19042 20665 0 -1 4202496 15329 0 0 0 391 5 0 0 19 0 5 0 1119240423 51363840 11151 4294967295 134512640 135180984 3220771552 3220770988 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/19042/statm: 12540 11151 68 164 0 12375 0
[pid=19042/tid=19043] ppid=19040 vsize=50160 CPUtime=0
/proc/19042/task/19043/stat : 19043 (satake) S 19040 19042 20665 0 -1 4202560 64 0 0 0 0 0 0 0 15 0 5 0 1119240423 51363840 11151 4294967295 134512640 135180984 3220771552 3086049296 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=19042/tid=19045] ppid=19040 vsize=50160 CPUtime=1.14
/proc/19042/task/19045/stat : 19045 (satake) R 19040 19042 20665 0 -1 4202560 5037 0 0 0 112 2 0 0 25 0 5 0 1119240431 51363840 11151 4294967295 134512640 135180984 3220771552 3085983392 134580407 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=19042/tid=19046] ppid=19040 vsize=50160 CPUtime=1.47
/proc/19042/task/19046/stat : 19046 (satake) S 19040 19042 20665 0 -1 4202560 5088 0 0 0 144 3 0 0 21 0 5 0 1119240431 51363840 11151 4294967295 134512640 135180984 3220771552 3085917856 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=19042/tid=19047] ppid=19040 vsize=50160 CPUtime=1.35
/proc/19042/task/19047/stat : 19047 (satake) S 19040 19042 20665 0 -1 4202560 5029 0 0 0 135 0 0 0 20 0 5 0 1119240431 51363840 11151 4294967295 134512640 135180984 3220771552 3085852320 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.96
Current children cumulated vsize (KiB) 50160

[startup+6.35469 s]
/proc/loadavg: 7.11 7.39 7.19 8/118 19047
/proc/meminfo: memFree=2215536/3368532 swapFree=1953000/1959888
[pid=19042] ppid=19040 vsize=56204 CPUtime=8.12
/proc/19042/stat : 19042 (satake) S 19040 19042 20665 0 -1 4202496 16716 0 0 0 806 6 0 0 19 0 5 0 1119240423 57552896 12538 4294967295 134512640 135180984 3220771552 3220770988 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/19042/statm: 14051 12538 68 164 0 13886 0
[pid=19042/tid=19043] ppid=19040 vsize=56204 CPUtime=0.01
/proc/19042/task/19043/stat : 19043 (satake) S 19040 19042 20665 0 -1 4202560 65 0 0 0 0 1 0 0 15 0 5 0 1119240423 57552896 12538 4294967295 134512640 135180984 3220771552 3086049296 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=19042/tid=19045] ppid=19040 vsize=56204 CPUtime=1.65
/proc/19042/task/19045/stat : 19045 (satake) R 19040 19042 20665 0 -1 4202560 5237 0 0 0 163 2 0 0 25 0 5 0 1119240431 57552896 12538 4294967295 134512640 135180984 3220771552 3085983392 134580407 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=19042/tid=19046] ppid=19040 vsize=56204 CPUtime=3.12
/proc/19042/task/19046/stat : 19046 (satake) R 19040 19042 20665 0 -1 4202560 5610 0 0 0 309 3 0 0 16 0 5 0 1119240431 57552896 12538 4294967295 134512640 135180984 3220771552 3085917856 134580407 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=19042/tid=19047] ppid=19040 vsize=56204 CPUtime=3.34
/proc/19042/task/19047/stat : 19047 (satake) R 19040 19042 20665 0 -1 4202560 5693 0 0 0 334 0 0 0 15 0 5 0 1119240431 57552896 12538 4294967295 134512640 135180984 3220771552 3085852320 134580407 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 8.12
Current children cumulated vsize (KiB) 56204

[startup+12.7159 s]
/proc/loadavg: 7.18 7.40 7.20 8/118 19049
/proc/meminfo: memFree=2205892/3368532 swapFree=1953000/1959888
[pid=19042] ppid=19040 vsize=64492 CPUtime=18.88
/proc/19042/stat : 19042 (satake) S 19040 19042 20665 0 -1 4202496 18869 0 0 0 1873 15 0 0 19 0 5 0 1119240423 66039808 14691 4294967295 134512640 135180984 3220771552 3220770988 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/19042/statm: 16123 14691 68 164 0 15958 0
[pid=19042/tid=19043] ppid=19040 vsize=64492 CPUtime=0.11
/proc/19042/task/19043/stat : 19043 (satake) S 19040 19042 20665 0 -1 4202560 76 0 0 0 3 8 0 0 15 0 5 0 1119240423 66039808 14691 4294967295 134512640 135180984 3220771552 3086049296 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=19042/tid=19045] ppid=19040 vsize=64492 CPUtime=2.96
/proc/19042/task/19045/stat : 19045 (satake) R 19040 19042 20665 0 -1 4202560 5636 0 0 0 294 2 0 0 25 0 5 0 1119240431 66039808 14691 4294967295 134512640 135180984 3220771552 3085983596 134518208 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=19042/tid=19046] ppid=19040 vsize=64492 CPUtime=7.53
/proc/19042/task/19046/stat : 19046 (satake) R 19040 19042 20665 0 -1 4202560 6552 0 0 0 749 4 0 0 16 0 5 0 1119240431 66039808 14691 4294967295 134512640 135180984 3220771552 3085918064 134528470 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=19042/tid=19047] ppid=19040 vsize=64492 CPUtime=8.28
/proc/19042/task/19047/stat : 19047 (satake) R 19040 19042 20665 0 -1 4202560 6494 0 0 0 827 1 0 0 16 0 5 0 1119240431 66039808 14691 4294967295 134512640 135180984 3220771552 3085852528 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 18.88
Current children cumulated vsize (KiB) 64492

[startup+25.5149 s]
/proc/loadavg: 7.43 7.45 7.22 7/118 19049
/proc/meminfo: memFree=2189864/3368532 swapFree=1953000/1959888
[pid=19042] ppid=19040 vsize=79640 CPUtime=42.71
/proc/19042/stat : 19042 (satake) S 19040 19042 20665 0 -1 4202496 22636 0 0 0 4245 26 0 0 19 0 5 0 1119240423 81551360 18458 4294967295 134512640 135180984 3220771552 3220770988 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/19042/statm: 19910 18458 68 164 0 19745 0
[pid=19042/tid=19043] ppid=19040 vsize=79640 CPUtime=0.16
/proc/19042/task/19043/stat : 19043 (satake) S 19040 19042 20665 0 -1 4202560 95 0 0 0 4 12 0 0 15 0 5 0 1119240423 81551360 18458 4294967295 134512640 135180984 3220771552 3086049296 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=19042/tid=19045] ppid=19040 vsize=79640 CPUtime=5.73
/proc/19042/task/19045/stat : 19045 (satake) R 19040 19042 20665 0 -1 4202560 6337 0 0 0 571 2 0 0 25 0 5 0 1119240431 81551360 18458 4294967295 134512640 135180984 3220771552 3085983596 134519884 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=19042/tid=19046] ppid=19040 vsize=79640 CPUtime=18.13
/proc/19042/task/19046/stat : 19046 (satake) R 19040 19042 20665 0 -1 4202560 8468 0 0 0 1803 10 0 0 16 0 5 0 1119240431 81551360 18458 4294967295 134512640 135180984 3220771552 3085918064 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=19042/tid=19047] ppid=19040 vsize=79640 CPUtime=18.69
/proc/19042/task/19047/stat : 19047 (satake) R 19040 19042 20665 0 -1 4202560 7625 0 0 0 1867 2 0 0 25 0 5 0 1119240431 81551360 18458 4294967295 134512640 135180984 3220771552 3085852320 134580407 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 42.71
Current children cumulated vsize (KiB) 79640

[startup+51.1129 s]
/proc/loadavg: 7.40 7.44 7.22 6/118 19234
/proc/meminfo: memFree=2168088/3368532 swapFree=1953000/1959888
[pid=19042] ppid=19040 vsize=100804 CPUtime=81.19
/proc/19042/stat : 19042 (satake) S 19040 19042 20665 0 -1 4202496 27863 0 0 0 8077 42 0 0 19 0 5 0 1119240423 103223296 23685 4294967295 134512640 135180984 3220771552 3220770988 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/19042/statm: 25201 23685 68 164 0 25036 0
[pid=19042/tid=19043] ppid=19040 vsize=100804 CPUtime=0.26
/proc/19042/task/19043/stat : 19043 (satake) S 19040 19042 20665 0 -1 4202560 104 0 0 0 6 20 0 0 15 0 5 0 1119240423 103223296 23685 4294967295 134512640 135180984 3220771552 3086049296 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=19042/tid=19045] ppid=19040 vsize=100804 CPUtime=17.23
/proc/19042/task/19045/stat : 19045 (satake) S 19040 19042 20665 0 -1 4202560 7970 0 0 0 1717 6 0 0 16 0 5 0 1119240431 103223296 23685 4294967295 134512640 135180984 3220771552 3085983392 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=19042/tid=19046] ppid=19040 vsize=100804 CPUtime=33.09
/proc/19042/task/19046/stat : 19046 (satake) R 19040 19042 20665 0 -1 4202560 10487 0 0 0 3299 10 0 0 25 0 5 0 1119240431 103223296 23685 4294967295 134512640 135180984 3220771552 3085917868 134706407 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=19042/tid=19047] ppid=19040 vsize=100804 CPUtime=30.61
/proc/19042/task/19047/stat : 19047 (satake) S 19040 19042 20665 0 -1 4202560 9191 0 0 0 3055 6 0 0 16 0 5 0 1119240431 103223296 23685 4294967295 134512640 135180984 3220771552 3085852320 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 81.19
Current children cumulated vsize (KiB) 100804

[startup+102.319 s]
/proc/loadavg: 7.38 7.42 7.22 8/118 19426
/proc/meminfo: memFree=2133932/3368532 swapFree=1953000/1959888
[pid=19042] ppid=19040 vsize=133196 CPUtime=146.83
/proc/19042/stat : 19042 (satake) S 19040 19042 20665 0 -1 4202496 36002 0 0 0 14627 56 0 0 19 0 5 0 1119240423 136392704 31824 4294967295 134512640 135180984 3220771552 3220770988 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/19042/statm: 33299 31824 68 164 0 33134 0
[pid=19042/tid=19043] ppid=19040 vsize=133196 CPUtime=0.29
/proc/19042/task/19043/stat : 19043 (satake) S 19040 19042 20665 0 -1 4202560 108 0 0 0 6 23 0 0 15 0 5 0 1119240423 136392704 31824 4294967295 134512640 135180984 3220771552 3086049296 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=19042/tid=19045] ppid=19040 vsize=133196 CPUtime=36.55
/proc/19042/task/19045/stat : 19045 (satake) R 19040 19042 20665 0 -1 4202560 11089 0 0 0 3643 12 0 0 25 0 5 0 1119240431 136392704 31824 4294967295 134512640 135180984 3220771552 3085983600 134528211 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=19042/tid=19046] ppid=19040 vsize=133196 CPUtime=53.23
/proc/19042/task/19046/stat : 19046 (satake) R 19040 19042 20665 0 -1 4202560 12698 0 0 0 5312 11 0 0 25 0 5 0 1119240431 136392704 31824 4294967295 134512640 135180984 3220771552 3085918064 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=19042/tid=19047] ppid=19040 vsize=133196 CPUtime=56.76
/proc/19042/task/19047/stat : 19047 (satake) R 19040 19042 20665 0 -1 4202560 11996 0 0 0 5666 10 0 0 25 0 5 0 1119240431 136392704 31824 4294967295 134512640 135180984 3220771552 3085852528 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 146.83
Current children cumulated vsize (KiB) 133196

[startup+162.314 s]
/proc/loadavg: 7.07 7.33 7.20 8/118 19614
/proc/meminfo: memFree=2101764/3368532 swapFree=1953000/1959888
[pid=19042] ppid=19040 vsize=165392 CPUtime=223.03
/proc/19042/stat : 19042 (satake) S 19040 19042 20665 0 -1 4202496 43755 0 0 0 22237 66 0 0 19 0 5 0 1119240423 169361408 39577 4294967295 134512640 135180984 3220771552 3220770988 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/19042/statm: 41348 39577 68 164 0 41183 0
[pid=19042/tid=19043] ppid=19040 vsize=165392 CPUtime=0.33
/proc/19042/task/19043/stat : 19043 (satake) S 19040 19042 20665 0 -1 4202560 112 0 0 0 7 26 0 0 15 0 5 0 1119240423 169361408 39577 4294967295 134512640 135180984 3220771552 3086049296 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=19042/tid=19045] ppid=19040 vsize=165392 CPUtime=66.75
/proc/19042/task/19045/stat : 19045 (satake) R 19040 19042 20665 0 -1 4202560 13932 0 0 0 6661 14 0 0 19 0 5 0 1119240431 169361408 39577 4294967295 134512640 135180984 3220771552 3085983600 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=19042/tid=19046] ppid=19040 vsize=165392 CPUtime=78.62
/proc/19042/task/19046/stat : 19046 (satake) S 19040 19042 20665 0 -1 4202560 15188 0 0 0 7849 13 0 0 16 0 5 0 1119240431 169361408 39577 4294967295 134512640 135180984 3220771552 3085917856 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=19042/tid=19047] ppid=19040 vsize=165392 CPUtime=77.33
/proc/19042/task/19047/stat : 19047 (satake) R 19040 19042 20665 0 -1 4202560 14412 0 0 0 7720 13 0 0 25 0 5 0 1119240431 169361408 39577 4294967295 134512640 135180984 3220771552 3085852332 134706407 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 223.03

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

[pid=19042/tid=19045] ppid=19040 vsize=313636 CPUtime=256.75
/proc/19042/task/19045/stat : 19045 (satake) R 19040 19042 20665 0 -1 4202560 27561 0 0 0 25649 26 0 0 25 0 5 0 1119240431 321163264 75970 4294967295 134512640 135180984 3220771552 3085983592 134518214 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=19042/tid=19046] ppid=19040 vsize=313636 CPUtime=251.49
/proc/19042/task/19046/stat : 19046 (satake) R 19040 19042 20665 0 -1 4202560 25389 0 0 0 25127 22 0 0 25 0 5 0 1119240431 321163264 75970 4294967295 134512640 135180984 3220771552 3085918064 134528658 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=19042/tid=19047] ppid=19040 vsize=313636 CPUtime=184.27
/proc/19042/task/19047/stat : 19047 (satake) R 19040 19042 20665 0 -1 4202560 26969 0 0 0 18408 19 0 0 25 0 5 0 1119240431 321163264 75970 4294967295 134512640 135180984 3220771552 3085852320 134580407 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 692.87
Current children cumulated vsize (KiB) 313636

[startup+582.312 s]
/proc/loadavg: 7.11 7.23 7.18 6/118 20936
/proc/meminfo: memFree=1929028/3368532 swapFree=1953000/1959888
[pid=19042] ppid=19040 vsize=330532 CPUtime=776.37
/proc/19042/stat : 19042 (satake) S 19040 19042 20665 0 -1 4202496 84464 0 0 0 77533 104 0 0 19 0 5 0 1119240423 338464768 80286 4294967295 134512640 135180984 3220771552 3220770988 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/19042/statm: 82633 80286 68 164 0 82468 0
[pid=19042/tid=19043] ppid=19040 vsize=330532 CPUtime=0.38
/proc/19042/task/19043/stat : 19043 (satake) S 19040 19042 20665 0 -1 4202560 122 0 0 0 7 31 0 0 15 0 5 0 1119240423 338464768 80286 4294967295 134512640 135180984 3220771552 3086049296 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=19042/tid=19045] ppid=19040 vsize=330532 CPUtime=287.8
/proc/19042/task/19045/stat : 19045 (satake) R 19040 19042 20665 0 -1 4202560 29148 0 0 0 28749 31 0 0 16 0 5 0 1119240431 338464768 80286 4294967295 134512640 135180984 3220771552 3085983600 134528532 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=19042/tid=19046] ppid=19040 vsize=330532 CPUtime=285.29
/proc/19042/task/19046/stat : 19046 (satake) R 19040 19042 20665 0 -1 4202560 26666 0 0 0 28506 23 0 0 16 0 5 0 1119240431 338464768 80286 4294967295 134512640 135180984 3220771552 3085918064 134528680 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=19042/tid=19047] ppid=19040 vsize=330532 CPUtime=202.9
/proc/19042/task/19047/stat : 19047 (satake) R 19040 19042 20665 0 -1 4202560 28417 0 0 0 20271 19 0 0 25 0 5 0 1119240431 338464768 80286 4294967295 134512640 135180984 3220771552 3085852528 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 776.37
Current children cumulated vsize (KiB) 330532

[startup+642.317 s]
/proc/loadavg: 7.20 7.21 7.18 8/118 21125
/proc/meminfo: memFree=1913336/3368532 swapFree=1953000/1959888
[pid=19042] ppid=19040 vsize=344032 CPUtime=868.23
/proc/19042/stat : 19042 (satake) S 19040 19042 20665 0 -1 4202496 87661 0 0 0 86715 108 0 0 19 0 5 0 1119240423 352288768 83483 4294967295 134512640 135180984 3220771552 3220770988 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/19042/statm: 86008 83483 68 164 0 85843 0
[pid=19042/tid=19043] ppid=19040 vsize=344032 CPUtime=0.38
/proc/19042/task/19043/stat : 19043 (satake) S 19040 19042 20665 0 -1 4202560 125 0 0 0 7 31 0 0 15 0 5 0 1119240423 352288768 83483 4294967295 134512640 135180984 3220771552 3086049296 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=19042/tid=19045] ppid=19040 vsize=344032 CPUtime=323.21
/proc/19042/task/19045/stat : 19045 (satake) R 19040 19042 20665 0 -1 4202560 30641 0 0 0 32288 33 0 0 25 0 5 0 1119240431 352288768 83483 4294967295 134512640 135180984 3220771552 3085983392 134580407 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=19042/tid=19046] ppid=19040 vsize=344032 CPUtime=321.73
/proc/19042/task/19046/stat : 19046 (satake) R 19040 19042 20665 0 -1 4202560 27496 0 0 0 32150 23 0 0 25 0 5 0 1119240431 352288768 83483 4294967295 134512640 135180984 3220771552 3085918056 134518216 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=19042/tid=19047] ppid=19040 vsize=344032 CPUtime=222.91
/proc/19042/task/19047/stat : 19047 (satake) R 19040 19042 20665 0 -1 4202560 29288 0 0 0 22270 21 0 0 25 0 5 0 1119240431 352288768 83483 4294967295 134512640 135180984 3220771552 3085852528 134528519 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 868.23
Current children cumulated vsize (KiB) 344032

[startup+702.312 s]
/proc/loadavg: 7.37 7.24 7.19 8/118 21313
/proc/meminfo: memFree=1902324/3368532 swapFree=1953000/1959888
[pid=19042] ppid=19040 vsize=354436 CPUtime=945.05
/proc/19042/stat : 19042 (satake) S 19040 19042 20665 0 -1 4202496 90018 0 0 0 94396 109 0 0 19 0 5 0 1119240423 362942464 85840 4294967295 134512640 135180984 3220771552 3220770988 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/19042/statm: 88609 85840 68 164 0 88444 0
[pid=19042/tid=19043] ppid=19040 vsize=354436 CPUtime=0.38
/proc/19042/task/19043/stat : 19043 (satake) S 19040 19042 20665 0 -1 4202560 126 0 0 0 7 31 0 0 15 0 5 0 1119240423 362942464 85840 4294967295 134512640 135180984 3220771552 3086049296 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=19042/tid=19045] ppid=19040 vsize=354436 CPUtime=349.53
/proc/19042/task/19045/stat : 19045 (satake) R 19040 19042 20665 0 -1 4202560 31279 0 0 0 34920 33 0 0 25 0 5 0 1119240431 362942464 85840 4294967295 134512640 135180984 3220771552 3085983600 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=19042/tid=19046] ppid=19040 vsize=354436 CPUtime=351.33
/proc/19042/task/19046/stat : 19046 (satake) R 19040 19042 20665 0 -1 4202560 28155 0 0 0 35109 24 0 0 25 0 5 0 1119240431 362942464 85840 4294967295 134512640 135180984 3220771552 3085918060 134520661 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=19042/tid=19047] ppid=19040 vsize=354436 CPUtime=243.81
/proc/19042/task/19047/stat : 19047 (satake) R 19040 19042 20665 0 -1 4202560 30347 0 0 0 24360 21 0 0 25 0 5 0 1119240431 362942464 85840 4294967295 134512640 135180984 3220771552 3085852320 134580407 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 945.05
Current children cumulated vsize (KiB) 354436

[startup+762.318 s]
/proc/loadavg: 7.43 7.25 7.19 8/118 21501
/proc/meminfo: memFree=1890516/3368532 swapFree=1953000/1959888
[pid=19042] ppid=19040 vsize=364624 CPUtime=1022.48
/proc/19042/stat : 19042 (satake) S 19040 19042 20665 0 -1 4202496 92564 0 0 0 102137 111 0 0 19 0 5 0 1119240423 373374976 88386 4294967295 134512640 135180984 3220771552 3220770988 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/19042/statm: 91156 88386 68 164 0 90991 0
[pid=19042/tid=19043] ppid=19040 vsize=364624 CPUtime=0.38
/proc/19042/task/19043/stat : 19043 (satake) S 19040 19042 20665 0 -1 4202560 127 0 0 0 7 31 0 0 15 0 5 0 1119240423 373374976 88386 4294967295 134512640 135180984 3220771552 3086049296 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=19042/tid=19045] ppid=19040 vsize=364624 CPUtime=375.35
/proc/19042/task/19045/stat : 19045 (satake) R 19040 19042 20665 0 -1 4202560 31950 0 0 0 37501 34 0 0 19 0 5 0 1119240431 373374976 88386 4294967295 134512640 135180984 3220771552 3085983600 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=19042/tid=19046] ppid=19040 vsize=364624 CPUtime=380.93
/proc/19042/task/19046/stat : 19046 (satake) R 19040 19042 20665 0 -1 4202560 28782 0 0 0 38068 25 0 0 22 0 5 0 1119240431 373374976 88386 4294967295 134512640 135180984 3220771552 3085918064 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=19042/tid=19047] ppid=19040 vsize=364624 CPUtime=265.82
/proc/19042/task/19047/stat : 19047 (satake) R 19040 19042 20665 0 -1 4202560 31594 0 0 0 26561 21 0 0 25 0 5 0 1119240431 373374976 88386 4294967295 134512640 135180984 3220771552 3085852528 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1022.48
Current children cumulated vsize (KiB) 364624

[startup+822.313 s]
/proc/loadavg: 7.46 7.28 7.20 8/118 21690
/proc/meminfo: memFree=1879872/3368532 swapFree=1953000/1959888
[pid=19042] ppid=19040 vsize=374100 CPUtime=1098.28
/proc/19042/stat : 19042 (satake) S 19040 19042 20665 0 -1 4202496 94886 0 0 0 109713 115 0 0 19 0 5 0 1119240423 383078400 90708 4294967295 134512640 135180984 3220771552 3220770988 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/19042/statm: 93525 90708 68 164 0 93360 0
[pid=19042/tid=19043] ppid=19040 vsize=374100 CPUtime=0.38
/proc/19042/task/19043/stat : 19043 (satake) S 19040 19042 20665 0 -1 4202560 129 0 0 0 7 31 0 0 15 0 5 0 1119240423 383078400 90708 4294967295 134512640 135180984 3220771552 3086049296 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=19042/tid=19045] ppid=19040 vsize=374100 CPUtime=401.85
/proc/19042/task/19045/stat : 19045 (satake) R 19040 19042 20665 0 -1 4202560 32615 0 0 0 40149 36 0 0 25 0 5 0 1119240431 383078400 90708 4294967295 134512640 135180984 3220771552 3085983600 134528636 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=19042/tid=19046] ppid=19040 vsize=374100 CPUtime=409.83
/proc/19042/task/19046/stat : 19046 (satake) R 19040 19042 20665 0 -1 4202560 29547 0 0 0 40956 27 0 0 25 0 5 0 1119240431 383078400 90708 4294967295 134512640 135180984 3220771552 3085918064 134528628 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=19042/tid=19047] ppid=19040 vsize=374100 CPUtime=286.22
/proc/19042/task/19047/stat : 19047 (satake) R 19040 19042 20665 0 -1 4202560 32484 0 0 0 28601 21 0 0 25 0 5 0 1119240431 383078400 90708 4294967295 134512640 135180984 3220771552 3085852528 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1098.28
Current children cumulated vsize (KiB) 374100

[startup+882.308 s]
/proc/loadavg: 7.61 7.34 7.22 8/118 21879
/proc/meminfo: memFree=1865508/3368532 swapFree=1953000/1959888
[pid=19042] ppid=19040 vsize=388328 CPUtime=1182.71
/proc/19042/stat : 19042 (satake) S 19040 19042 20665 0 -1 4202496 98199 0 0 0 118155 116 0 0 19 0 5 0 1119240423 397647872 94021 4294967295 134512640 135180984 3220771552 3220770988 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/19042/statm: 97082 94021 68 164 0 96917 0
[pid=19042/tid=19043] ppid=19040 vsize=388328 CPUtime=0.38
/proc/19042/task/19043/stat : 19043 (satake) S 19040 19042 20665 0 -1 4202560 131 0 0 0 7 31 0 0 15 0 5 0 1119240423 397647872 94021 4294967295 134512640 135180984 3220771552 3086049296 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=19042/tid=19045] ppid=19040 vsize=388328 CPUtime=430.55
/proc/19042/task/19045/stat : 19045 (satake) R 19040 19042 20665 0 -1 4202560 33467 0 0 0 43019 36 0 0 25 0 5 0 1119240431 397647872 94021 4294967295 134512640 135180984 3220771552 3085983600 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=19042/tid=19046] ppid=19040 vsize=388328 CPUtime=438.32
/proc/19042/task/19046/stat : 19046 (satake) R 19040 19042 20665 0 -1 4202560 30351 0 0 0 43805 27 0 0 25 0 5 0 1119240431 397647872 94021 4294967295 134512640 135180984 3220771552 3085918064 134528688 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=19042/tid=19047] ppid=19040 vsize=388328 CPUtime=313.46
/proc/19042/task/19047/stat : 19047 (satake) R 19040 19042 20665 0 -1 4202560 34139 0 0 0 31324 22 0 0 25 0 5 0 1119240431 397647872 94021 4294967295 134512640 135180984 3220771552 3085852528 134528648 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1182.71
Current children cumulated vsize (KiB) 388328

[startup+942.304 s]
/proc/loadavg: 7.40 7.32 7.22 9/118 22068
/proc/meminfo: memFree=1852600/3368532 swapFree=1953000/1959888
[pid=19042] ppid=19040 vsize=400272 CPUtime=1268.9
/proc/19042/stat : 19042 (satake) S 19040 19042 20665 0 -1 4202496 101037 0 0 0 126769 121 0 0 19 0 5 0 1119240423 409878528 96859 4294967295 134512640 135180984 3220771552 3220770988 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/19042/statm: 100068 96859 68 164 0 99903 0
[pid=19042/tid=19043] ppid=19040 vsize=400272 CPUtime=0.4
/proc/19042/task/19043/stat : 19043 (satake) S 19040 19042 20665 0 -1 4202560 135 0 0 0 7 33 0 0 15 0 5 0 1119240423 409878528 96859 4294967295 134512640 135180984 3220771552 3086049296 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=19042/tid=19045] ppid=19040 vsize=400272 CPUtime=457.03
/proc/19042/task/19045/stat : 19045 (satake) R 19040 19042 20665 0 -1 4202560 34078 0 0 0 45667 36 0 0 25 0 5 0 1119240431 409878528 96859 4294967295 134512640 135180984 3220771552 3085983600 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=19042/tid=19046] ppid=19040 vsize=400272 CPUtime=468.16
/proc/19042/task/19046/stat : 19046 (satake) R 19040 19042 20665 0 -1 4202560 31011 0 0 0 46789 27 0 0 25 0 5 0 1119240431 409878528 96859 4294967295 134512640 135180984 3220771552 3085918060 134518208 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=19042/tid=19047] ppid=19040 vsize=400272 CPUtime=343.31
/proc/19042/task/19047/stat : 19047 (satake) R 19040 19042 20665 0 -1 4202560 35702 0 0 0 34306 25 0 0 25 0 5 0 1119240431 409878528 96859 4294967295 134512640 135180984 3220771552 3085852528 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1268.9
Current children cumulated vsize (KiB) 400272



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.02 s]
/proc/loadavg: 7.54 7.36 7.24 11/119 22243
/proc/meminfo: memFree=1838264/3368532 swapFree=1953000/1959888
[pid=19042] ppid=19040 vsize=411232 CPUtime=1351.21
/proc/19042/stat : 19042 (satake) S 19040 19042 20665 0 -1 4202496 103746 0 0 0 134994 127 0 0 19 0 5 0 1119240423 421101568 99568 4294967295 134512640 135180984 3220771552 3220770988 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/19042/statm: 102808 99568 68 164 0 102643 0
[pid=19042/tid=19043] ppid=19040 vsize=411232 CPUtime=0.42
/proc/19042/task/19043/stat : 19043 (satake) S 19040 19042 20665 0 -1 4202560 142 0 0 0 7 35 0 0 15 0 5 0 1119240423 421101568 99568 4294967295 134512640 135180984 3220771552 3086049296 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=19042/tid=19045] ppid=19040 vsize=411232 CPUtime=482.49
/proc/19042/task/19045/stat : 19045 (satake) R 19040 19042 20665 0 -1 4202560 34866 0 0 0 48213 36 0 0 25 0 5 0 1119240431 421101568 99568 4294967295 134512640 135180984 3220771552 3085983600 134528696 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=19042/tid=19046] ppid=19040 vsize=411232 CPUtime=496.49
/proc/19042/task/19046/stat : 19046 (satake) R 19040 19042 20665 0 -1 4202560 31503 0 0 0 49621 28 0 0 25 0 5 0 1119240431 421101568 99568 4294967295 134512640 135180984 3220771552 3085918064 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=19042/tid=19047] ppid=19040 vsize=411232 CPUtime=371.81
/proc/19042/task/19047/stat : 19047 (satake) R 19040 19042 20665 0 -1 4202560 37124 0 0 0 37153 28 0 0 25 0 5 0 1119240431 421101568 99568 4294967295 134512640 135180984 3220771552 3085852528 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1351.21
Current children cumulated vsize (KiB) 411232

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)
Real time (s): 1000.07
CPU time (s): 1351.27
CPU user time (s): 1349.98
CPU system time (s): 1.29
CPU usage (%): 135.118
Max. virtual memory (cumulated for all children) (KiB): 411232

deleting IPC queue 12582912
deleting IPC queue 12615681
deleting IPC queue 12648450
deleting IPC queue 12681219
deleting IPC queue 12713988
deleting IPC queue 12746757
deleting IPC queue 12779526
deleting IPC queue 12812295
deleting IPC queue 12845064
deleting IPC queue 12877833
deleting IPC queue 12910602
deleting IPC queue 12943371
deleting IPC queue 12976140
deleting IPC queue 13008909
deleting IPC queue 13041678
deleting IPC queue 13074447

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

runsolver used 0.01 second user time and 0 second system time

The end

Launcher Data 

Begin job on tipi45 at 2009-05-30 04:37:11
IDJOB=1780900
IDBENCH=71077
IDSOLVER=629
FILE ID=tipi45/1780900-1243651031
PBS_JOBID=
Free space on /tmp= 15496 MiB

SOLVER NAME= satake 2009-03-22 (4 threads)
BENCH NAME= SAT09/APPLICATIONS/satComp09_BioInstances/ndhf_xits_15_UNKNOWN.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1780900-1243651031/watcher-1780900-1243651031 -o /tmp/evaluation-result-1780900-1243651031/solver-1780900-1243651031 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1780900-1243651031.cnf 4 10000

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

MD5SUM BENCH= 8e41b9860982308be5a85106d5324611
RANDOM SEED= 2130440310

Linux tipi45 2.6.21.5 #6 SMP Wed Jul 4 17:16:38 CEST 2007 i686 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.081
cache size	: 4096 KB
physical id	: 0
siblings	: 2
core id		: 0
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3992.41
clflush size	: 64

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.081
cache size	: 4096 KB
physical id	: 0
siblings	: 2
core id		: 1
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3990.10
clflush size	: 64

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.081
cache size	: 4096 KB
physical id	: 3
siblings	: 2
core id		: 0
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3990.16
clflush size	: 64

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.081
cache size	: 4096 KB
physical id	: 3
siblings	: 2
core id		: 1
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3990.14
clflush size	: 64


/proc/meminfo:
MemTotal:      3368532 kB
MemFree:       2263412 kB
Buffers:         35128 kB
Cached:         630440 kB
SwapCached:       1800 kB
Active:         491588 kB
Inactive:       525292 kB
HighTotal:     2489216 kB
HighFree:      1504900 kB
LowTotal:       879316 kB
LowFree:        758512 kB
SwapTotal:     1959888 kB
SwapFree:      1953000 kB
Dirty:            9636 kB
Writeback:           0 kB
AnonPages:      350940 kB
Mapped:           6432 kB
Slab:            74824 kB
SReclaimable:    63252 kB
SUnreclaim:      11572 kB
PageTables:       1000 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:   438932 kB
VmallocTotal:   114680 kB
VmallocUsed:     17900 kB
VmallocChunk:    96244 kB

Free space on /tmp at the end= 15496 MiB
End job on tipi45 at 2009-05-30 04:53:54