Trace number 1781095

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) 1978.89 1000.06

General information on the benchmark

NameAPPLICATIONS/satComp09_BioInstances/
ndhf_xits_16_UNKNOWN.cnf
MD5SUM85279cb74dedd2e1c7356e22d8e98939
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 variables3366
Number of clauses362797
Sum of the clauses size1083511
Maximum clause length17
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 25314
Number of clauses of size 3357452
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-1781095-1243652573/watcher-1781095-1243652573 -o /tmp/evaluation-result-1781095-1243652573/solver-1781095-1243652573 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1781095-1243652573.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: 5.08 5.34 5.35 6/118 18867
/proc/meminfo: memFree=3070560/3368532 swapFree=1959840/1959888
[pid=18866] ppid=18864 vsize=968 CPUtime=0
/proc/18866/stat : 18866 (satake) R 18864 18866 17312 0 -1 4202496 108 0 0 0 0 0 0 0 19 0 2 0 1129920146 991232 64 4294967295 134512640 135180984 3219458464 3219457808 134705812 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/18866/statm: 242 64 54 164 0 77 0
[pid=18866/tid=18867] ppid=18864 vsize=968 CPUtime=0
/proc/18866/task/18867/stat : 18867 (satake) R 18864 18866 17312 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 2 0 1129920146 991232 64 4294967295 134512640 135180984 3219458464 3086201668 134705812 0 0 0 0 0 0 0 -1 0 0 0 0

[startup+0.067432 s]
/proc/loadavg: 5.08 5.34 5.35 6/118 18867
/proc/meminfo: memFree=3070560/3368532 swapFree=1959840/1959888
[pid=18866] ppid=18864 vsize=25424 CPUtime=0.11
/proc/18866/stat : 18866 (satake) S 18864 18866 17312 0 -1 4202496 5836 0 0 0 6 5 0 0 19 0 5 0 1129920146 26034176 5771 4294967295 134512640 135180984 3219458464 3219457900 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/18866/statm: 6356 5771 66 164 0 6191 0
[pid=18866/tid=18867] ppid=18864 vsize=25424 CPUtime=0
/proc/18866/task/18867/stat : 18867 (satake) S 18864 18866 17312 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 5 0 1129920146 26034176 5771 4294967295 134512640 135180984 3219458464 3086200848 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 25424

[startup+0.107406 s]
/proc/loadavg: 5.08 5.34 5.35 6/118 18867
/proc/meminfo: memFree=3070560/3368532 swapFree=1959840/1959888
[pid=18866] ppid=18864 vsize=28544 CPUtime=0.18
/proc/18866/stat : 18866 (satake) S 18864 18866 17312 0 -1 4202496 6714 0 0 0 13 5 0 0 19 0 5 0 1129920146 29229056 6649 4294967295 134512640 135180984 3219458464 3219457900 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/18866/statm: 7136 6649 66 164 0 6971 0
[pid=18866/tid=18867] ppid=18864 vsize=28544 CPUtime=0
/proc/18866/task/18867/stat : 18867 (satake) S 18864 18866 17312 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 5 0 1129920146 29229056 6649 4294967295 134512640 135180984 3219458464 3086200848 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 28544

[startup+0.307396 s]
/proc/loadavg: 5.08 5.34 5.35 6/118 18867
/proc/meminfo: memFree=3070560/3368532 swapFree=1959840/1959888
[pid=18866] ppid=18864 vsize=48176 CPUtime=0.55
/proc/18866/stat : 18866 (satake) S 18864 18866 17312 0 -1 4202496 11456 0 0 0 46 9 0 0 19 0 5 0 1129920146 49332224 11389 4294967295 134512640 135180984 3219458464 3219457900 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/18866/statm: 12044 11390 64 164 0 11879 0
[pid=18866/tid=18867] ppid=18864 vsize=48176 CPUtime=0
/proc/18866/task/18867/stat : 18867 (satake) S 18864 18866 17312 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 5 0 1129920146 49332224 11390 4294967295 134512640 135180984 3219458464 3086200848 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 48176

[startup+0.707379 s]
/proc/loadavg: 5.08 5.34 5.35 6/118 18867
/proc/meminfo: memFree=3070560/3368532 swapFree=1959840/1959888
[pid=18866] ppid=18864 vsize=50032 CPUtime=1.25
/proc/18866/stat : 18866 (satake) S 18864 18866 17312 0 -1 4202496 15641 0 0 0 111 14 0 0 19 0 5 0 1129920146 51232768 11025 4294967295 134512640 135180984 3219458464 3219457900 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/18866/statm: 12508 11025 68 164 0 12343 0
[pid=18866/tid=18867] ppid=18864 vsize=50032 CPUtime=0.02
/proc/18866/task/18867/stat : 18867 (satake) S 18864 18866 17312 0 -1 4202560 67 0 0 0 0 2 0 0 15 0 5 0 1129920146 51232768 11025 4294967295 134512640 135180984 3219458464 3086200848 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 50032

[startup+1.50734 s]
/proc/loadavg: 5.08 5.34 5.35 6/122 18871
/proc/meminfo: memFree=3025716/3368532 swapFree=1959840/1959888
[pid=18866] ppid=18864 vsize=52772 CPUtime=2.76
/proc/18866/stat : 18866 (satake) S 18864 18866 17312 0 -1 4202496 16375 0 0 0 262 14 0 0 19 0 5 0 1129920146 54038528 11759 4294967295 134512640 135180984 3219458464 3219457900 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/18866/statm: 13193 11759 68 164 0 13028 0
[pid=18866/tid=18867] ppid=18864 vsize=52772 CPUtime=0.02
/proc/18866/task/18867/stat : 18867 (satake) S 18864 18866 17312 0 -1 4202560 67 0 0 0 0 2 0 0 15 0 5 0 1129920146 54038528 11759 4294967295 134512640 135180984 3219458464 3086200848 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=18866/tid=18869] ppid=18864 vsize=52772 CPUtime=0.55
/proc/18866/task/18869/stat : 18869 (satake) R 18864 18866 17312 0 -1 4202560 5197 0 0 0 50 5 0 0 21 0 5 0 1129920147 54038528 11759 4294967295 134512640 135180984 3219458464 3086135152 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=18866/tid=18870] ppid=18864 vsize=52772 CPUtime=1.06
/proc/18866/task/18870/stat : 18870 (satake) R 18864 18866 17312 0 -1 4202560 5466 0 0 0 102 4 0 0 20 0 5 0 1129920147 54038528 11759 4294967295 134512640 135180984 3219458464 3086069548 134523872 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=18866/tid=18871] ppid=18864 vsize=52772 CPUtime=1.13
/proc/18866/task/18871/stat : 18871 (satake) R 18864 18866 17312 0 -1 4202560 5534 0 0 0 110 3 0 0 22 0 5 0 1129920147 54038528 11759 4294967295 134512640 135180984 3219458464 3086003796 134675846 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 52772

[startup+3.10725 s]
/proc/loadavg: 5.08 5.34 5.35 7/123 18873
/proc/meminfo: memFree=3021868/3368532 swapFree=1959840/1959888
[pid=18866] ppid=18864 vsize=57856 CPUtime=5.83
/proc/18866/stat : 18866 (satake) S 18864 18866 17312 0 -1 4202496 17608 0 0 0 568 15 0 0 19 0 5 0 1129920146 59244544 12992 4294967295 134512640 135180984 3219458464 3219457900 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/18866/statm: 14464 12992 68 164 0 14299 0
[pid=18866/tid=18867] ppid=18864 vsize=57856 CPUtime=0.02
/proc/18866/task/18867/stat : 18867 (satake) S 18864 18866 17312 0 -1 4202560 67 0 0 0 0 2 0 0 15 0 5 0 1129920146 59244544 12992 4294967295 134512640 135180984 3219458464 3086200848 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=18866/tid=18869] ppid=18864 vsize=57856 CPUtime=1.33
/proc/18866/task/18869/stat : 18869 (satake) R 18864 18866 17312 0 -1 4202560 5537 0 0 0 128 5 0 0 24 0 5 0 1129920147 59244544 12992 4294967295 134512640 135180984 3219458464 3086134868 134675846 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=18866/tid=18870] ppid=18864 vsize=57856 CPUtime=2.27
/proc/18866/task/18870/stat : 18870 (satake) R 18864 18866 17312 0 -1 4202560 5955 0 0 0 222 5 0 0 22 0 5 0 1129920147 59244544 12992 4294967295 134512640 135180984 3219458464 3086069616 134528536 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=18866/tid=18871] ppid=18864 vsize=57856 CPUtime=2.21
/proc/18866/task/18871/stat : 18871 (satake) R 18864 18866 17312 0 -1 4202560 5938 0 0 0 218 3 0 0 25 0 5 0 1129920147 59244544 12992 4294967295 134512640 135180984 3219458464 3086004080 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.83
Current children cumulated vsize (KiB) 57856

[startup+6.30709 s]
/proc/loadavg: 5.08 5.33 5.35 6/122 18880
/proc/meminfo: memFree=3012636/3368532 swapFree=1959840/1959888
[pid=18866] ppid=18864 vsize=65256 CPUtime=11.46
/proc/18866/stat : 18866 (satake) S 18864 18866 17312 0 -1 4202496 19675 0 0 0 1130 16 0 0 19 0 5 0 1129920146 66822144 15059 4294967295 134512640 135180984 3219458464 3219457900 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/18866/statm: 16314 15059 68 164 0 16149 0
[pid=18866/tid=18867] ppid=18864 vsize=65256 CPUtime=0.02
/proc/18866/task/18867/stat : 18867 (satake) S 18864 18866 17312 0 -1 4202560 67 0 0 0 0 2 0 0 15 0 5 0 1129920146 66822144 15059 4294967295 134512640 135180984 3219458464 3086200848 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=18866/tid=18869] ppid=18864 vsize=65256 CPUtime=2.99
/proc/18866/task/18869/stat : 18869 (satake) R 18864 18866 17312 0 -1 4202560 6158 0 0 0 294 5 0 0 25 0 5 0 1129920147 66822144 15059 4294967295 134512640 135180984 3219458464 3086135152 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=18866/tid=18870] ppid=18864 vsize=65256 CPUtime=4.26
/proc/18866/task/18870/stat : 18870 (satake) R 18864 18866 17312 0 -1 4202560 6655 0 0 0 421 5 0 0 25 0 5 0 1129920147 66822144 15059 4294967295 134512640 135180984 3219458464 3086069408 134580407 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=18866/tid=18871] ppid=18864 vsize=65256 CPUtime=4.19
/proc/18866/task/18871/stat : 18871 (satake) R 18864 18866 17312 0 -1 4202560 6684 0 0 0 415 4 0 0 25 0 5 0 1129920147 66822144 15059 4294967295 134512640 135180984 3219458464 3086004072 134518224 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 11.46
Current children cumulated vsize (KiB) 65256

[startup+12.7068 s]
/proc/loadavg: 5.07 5.33 5.35 7/123 18972
/proc/meminfo: memFree=2997688/3368532 swapFree=1959840/1959888
[pid=18866] ppid=18864 vsize=78744 CPUtime=23.54
/proc/18866/stat : 18866 (satake) S 18864 18866 17312 0 -1 4202496 22992 0 0 0 2334 20 0 0 19 0 5 0 1129920146 80633856 18376 4294967295 134512640 135180984 3219458464 3219457900 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/18866/statm: 19686 18376 68 164 0 19521 0
[pid=18866/tid=18867] ppid=18864 vsize=78744 CPUtime=0.03
/proc/18866/task/18867/stat : 18867 (satake) S 18864 18866 17312 0 -1 4202560 67 0 0 0 0 3 0 0 15 0 5 0 1129920146 80633856 18376 4294967295 134512640 135180984 3219458464 3086200848 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=18866/tid=18869] ppid=18864 vsize=78744 CPUtime=6.07
/proc/18866/task/18869/stat : 18869 (satake) R 18864 18866 17312 0 -1 4202560 7146 0 0 0 602 5 0 0 25 0 5 0 1129920147 80633856 18376 4294967295 134512640 135180984 3219458464 3086134984 134675846 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=18866/tid=18870] ppid=18864 vsize=78744 CPUtime=9.63
/proc/18866/task/18870/stat : 18870 (satake) R 18864 18866 17312 0 -1 4202560 7834 0 0 0 956 7 0 0 25 0 5 0 1129920147 80633856 18376 4294967295 134512640 135180984 3219458464 3086069616 134528511 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=18866/tid=18871] ppid=18864 vsize=78744 CPUtime=7.81
/proc/18866/task/18871/stat : 18871 (satake) R 18864 18866 17312 0 -1 4202560 7834 0 0 0 776 5 0 0 25 0 5 0 1129920147 80633856 18376 4294967295 134512640 135180984 3219458464 3086004072 134518224 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 23.54
Current children cumulated vsize (KiB) 78744

[startup+25.5061 s]
/proc/loadavg: 5.20 5.34 5.35 6/122 19092
/proc/meminfo: memFree=2978808/3368532 swapFree=1959840/1959888
[pid=18866] ppid=18864 vsize=96864 CPUtime=48.03
/proc/18866/stat : 18866 (satake) S 18864 18866 17312 0 -1 4202496 27468 0 0 0 4773 30 0 0 19 0 5 0 1129920146 99188736 22852 4294967295 134512640 135180984 3219458464 3219457900 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/18866/statm: 24216 22852 68 164 0 24051 0
[pid=18866/tid=18867] ppid=18864 vsize=96864 CPUtime=0.05
/proc/18866/task/18867/stat : 18867 (satake) S 18864 18866 17312 0 -1 4202560 68 0 0 0 2 3 0 0 15 0 5 0 1129920146 99188736 22852 4294967295 134512640 135180984 3219458464 3086200848 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=18866/tid=18869] ppid=18864 vsize=96864 CPUtime=12.15
/proc/18866/task/18869/stat : 18869 (satake) R 18864 18866 17312 0 -1 4202560 8730 0 0 0 1210 5 0 0 25 0 5 0 1129920147 99188736 22852 4294967295 134512640 135180984 3219458464 3086134944 134580407 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=18866/tid=18870] ppid=18864 vsize=96864 CPUtime=18.2
/proc/18866/task/18870/stat : 18870 (satake) R 18864 18866 17312 0 -1 4202560 9583 0 0 0 1807 13 0 0 25 0 5 0 1129920147 99188736 22852 4294967295 134512640 135180984 3219458464 3086069608 134520863 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=18866/tid=18871] ppid=18864 vsize=96864 CPUtime=17.63
/proc/18866/task/18871/stat : 18871 (satake) R 18864 18866 17312 0 -1 4202560 8976 0 0 0 1754 9 0 0 25 0 5 0 1129920147 99188736 22852 4294967295 134512640 135180984 3219458464 3086004080 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 48.03
Current children cumulated vsize (KiB) 96864

[startup+51.1047 s]
/proc/loadavg: 5.26 5.35 5.35 7/122 19134
/proc/meminfo: memFree=2944456/3368532 swapFree=1959840/1959888
[pid=18866] ppid=18864 vsize=133048 CPUtime=97.3
/proc/18866/stat : 18866 (satake) S 18864 18866 17312 0 -1 4202496 36349 0 0 0 9693 37 0 0 19 0 5 0 1129920146 136241152 31733 4294967295 134512640 135180984 3219458464 3219457900 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/18866/statm: 33262 31733 68 164 0 33097 0
[pid=18866/tid=18867] ppid=18864 vsize=133048 CPUtime=0.06
/proc/18866/task/18867/stat : 18867 (satake) S 18864 18866 17312 0 -1 4202560 70 0 0 0 2 4 0 0 15 0 5 0 1129920146 136241152 31733 4294967295 134512640 135180984 3219458464 3086200848 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=18866/tid=18869] ppid=18864 vsize=133048 CPUtime=29.04
/proc/18866/task/18869/stat : 18869 (satake) R 18864 18866 17312 0 -1 4202560 11901 0 0 0 2895 9 0 0 25 0 5 0 1129920147 136241152 31733 4294967295 134512640 135180984 3219458464 3086134944 134580407 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=18866/tid=18870] ppid=18864 vsize=133048 CPUtime=35.23
/proc/18866/task/18870/stat : 18870 (satake) R 18864 18866 17312 0 -1 4202560 12320 0 0 0 3509 14 0 0 25 0 5 0 1129920147 136241152 31733 4294967295 134512640 135180984 3219458464 3086069448 134675767 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=18866/tid=18871] ppid=18864 vsize=133048 CPUtime=32.97
/proc/18866/task/18871/stat : 18871 (satake) R 18864 18866 17312 0 -1 4202560 11947 0 0 0 3287 10 0 0 25 0 5 0 1129920147 136241152 31733 4294967295 134512640 135180984 3219458464 3086004080 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 97.3
Current children cumulated vsize (KiB) 133048

[startup+102.322 s]
/proc/loadavg: 5.25 5.34 5.35 6/122 19397
/proc/meminfo: memFree=2889584/3368532 swapFree=1959840/1959888
[pid=18866] ppid=18864 vsize=188052 CPUtime=197.51
/proc/18866/stat : 18866 (satake) S 18864 18866 17312 0 -1 4202496 49993 0 0 0 19695 56 0 0 19 0 5 0 1129920146 192565248 45377 4294967295 134512640 135180984 3219458464 3219457900 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/18866/statm: 47013 45377 68 164 0 46848 0
[pid=18866/tid=18867] ppid=18864 vsize=188052 CPUtime=0.16
/proc/18866/task/18867/stat : 18867 (satake) S 18864 18866 17312 0 -1 4202560 92 0 0 0 6 10 0 0 15 0 5 0 1129920146 192565248 45377 4294967295 134512640 135180984 3219458464 3086200848 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=18866/tid=18869] ppid=18864 vsize=188052 CPUtime=63.71
/proc/18866/task/18869/stat : 18869 (satake) R 18864 18866 17312 0 -1 4202560 16501 0 0 0 6361 10 0 0 25 0 5 0 1129920147 192565248 45377 4294967295 134512640 135180984 3219458464 3086135148 134518246 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=18866/tid=18870] ppid=18864 vsize=188052 CPUtime=64.12
/proc/18866/task/18870/stat : 18870 (satake) R 18864 18866 17312 0 -1 4202560 17441 0 0 0 6393 19 0 0 25 0 5 0 1129920147 192565248 45377 4294967295 134512640 135180984 3219458464 3086069408 134580407 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=18866/tid=18871] ppid=18864 vsize=188052 CPUtime=69.52
/proc/18866/task/18871/stat : 18871 (satake) R 18864 18866 17312 0 -1 4202560 15848 0 0 0 6935 17 0 0 25 0 5 0 1129920147 192565248 45377 4294967295 134512640 135180984 3219458464 3086004020 134523985 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 197.51
Current children cumulated vsize (KiB) 188052

[startup+162.309 s]
/proc/loadavg: 5.29 5.32 5.34 6/122 19673
/proc/meminfo: memFree=2834732/3368532 swapFree=1959840/1959888
[pid=18866] ppid=18864 vsize=243164 CPUtime=315.66
/proc/18866/stat : 18866 (satake) S 18864 18866 17312 0 -1 4202496 63528 0 0 0 31498 68 0 0 19 0 5 0 1129920146 248999936 58912 4294967295 134512640 135180984 3219458464 3219457900 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/18866/statm: 60791 58912 68 164 0 60626 0
[pid=18866/tid=18867] ppid=18864 vsize=243164 CPUtime=0.18
/proc/18866/task/18867/stat : 18867 (satake) S 18864 18866 17312 0 -1 4202560 103 0 0 0 6 12 0 0 15 0 5 0 1129920146 248999936 58912 4294967295 134512640 135180984 3219458464 3086200848 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=18866/tid=18869] ppid=18864 vsize=243164 CPUtime=99.45
/proc/18866/task/18869/stat : 18869 (satake) R 18864 18866 17312 0 -1 4202560 22089 0 0 0 9933 12 0 0 25 0 5 0 1129920147 248999936 58912 4294967295 134512640 135180984 3219458464 3086135152 134528214 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=18866/tid=18870] ppid=18864 vsize=243164 CPUtime=104.81
/proc/18866/task/18870/stat : 18870 (satake) R 18864 18866 17312 0 -1 4202560 21981 0 0 0 10457 24 0 0 25 0 5 0 1129920147 248999936 58912 4294967295 134512640 135180984 3219458464 3086069552 134523859 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=18866/tid=18871] ppid=18864 vsize=243164 CPUtime=111.22
/proc/18866/task/18871/stat : 18871 (satake) R 18864 18866 17312 0 -1 4202560 19244 0 0 0 11102 20 0 0 25 0 5 0 1129920147 248999936 58912 4294967295 134512640 135180984 3219458464 3086004080 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 315.66

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

[pid=18866/tid=18869] ppid=18864 vsize=442372 CPUtime=336.15
/proc/18866/task/18869/stat : 18869 (satake) R 18864 18866 17312 0 -1 4202560 38805 0 0 0 33583 32 0 0 25 0 5 0 1129920147 452988928 107833 4294967295 134512640 135180984 3219458464 3086135152 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=18866/tid=18870] ppid=18864 vsize=442372 CPUtime=342.14
/proc/18866/task/18870/stat : 18870 (satake) R 18864 18866 17312 0 -1 4202560 37931 0 0 0 34166 48 0 0 25 0 5 0 1129920147 452988928 107833 4294967295 134512640 135180984 3219458464 3086069616 134528661 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=18866/tid=18871] ppid=18864 vsize=442372 CPUtime=350.09
/proc/18866/task/18871/stat : 18871 (satake) R 18864 18866 17312 0 -1 4202560 35459 0 0 0 34967 42 0 0 25 0 5 0 1129920147 452988928 107833 4294967295 134512640 135180984 3219458464 3086004080 134528669 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1028.69
Current children cumulated vsize (KiB) 442372

[startup+582.307 s]
/proc/loadavg: 5.32 5.34 5.35 6/122 21610
/proc/meminfo: memFree=2617824/3368532 swapFree=1959840/1959888
[pid=18866] ppid=18864 vsize=464232 CPUtime=1147.64
/proc/18866/stat : 18866 (satake) S 18864 18866 17312 0 -1 4202496 117731 0 0 0 114609 155 0 0 19 0 5 0 1129920146 475373568 113115 4294967295 134512640 135180984 3219458464 3219457900 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/18866/statm: 116058 113115 68 164 0 115893 0
[pid=18866/tid=18867] ppid=18864 vsize=464232 CPUtime=0.32
/proc/18866/task/18867/stat : 18867 (satake) S 18864 18866 17312 0 -1 4202560 147 0 0 0 7 25 0 0 15 0 5 0 1129920146 475373568 113115 4294967295 134512640 135180984 3219458464 3086200848 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=18866/tid=18869] ppid=18864 vsize=464232 CPUtime=373.1
/proc/18866/task/18869/stat : 18869 (satake) R 18864 18866 17312 0 -1 4202560 40524 0 0 0 37273 37 0 0 25 0 5 0 1129920147 475373568 113115 4294967295 134512640 135180984 3219458464 3086135152 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=18866/tid=18870] ppid=18864 vsize=464232 CPUtime=382.73
/proc/18866/task/18870/stat : 18870 (satake) R 18864 18866 17312 0 -1 4202560 39593 0 0 0 38223 50 0 0 25 0 5 0 1129920147 475373568 113115 4294967295 134512640 135180984 3219458464 3086069616 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=18866/tid=18871] ppid=18864 vsize=464232 CPUtime=391.49
/proc/18866/task/18871/stat : 18871 (satake) R 18864 18866 17312 0 -1 4202560 37356 0 0 0 39106 43 0 0 25 0 5 0 1129920147 475373568 113115 4294967295 134512640 135180984 3219458464 3086004080 134528680 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1147.64
Current children cumulated vsize (KiB) 464232

[startup+642.304 s]
/proc/loadavg: 5.38 5.36 5.36 7/122 21885
/proc/meminfo: memFree=2600852/3368532 swapFree=1959840/1959888
[pid=18866] ppid=18864 vsize=481464 CPUtime=1267.02
/proc/18866/stat : 18866 (satake) S 18864 18866 17312 0 -1 4202496 121832 0 0 0 126537 165 0 0 19 0 5 0 1129920146 493019136 117216 4294967295 134512640 135180984 3219458464 3219457900 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/18866/statm: 120366 117216 68 164 0 120201 0
[pid=18866/tid=18867] ppid=18864 vsize=481464 CPUtime=0.33
/proc/18866/task/18867/stat : 18867 (satake) S 18864 18866 17312 0 -1 4202560 147 0 0 0 7 26 0 0 15 0 5 0 1129920146 493019136 117216 4294967295 134512640 135180984 3219458464 3086200848 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=18866/tid=18869] ppid=18864 vsize=481464 CPUtime=408.13
/proc/18866/task/18869/stat : 18869 (satake) R 18864 18866 17312 0 -1 4202560 42157 0 0 0 40773 40 0 0 25 0 5 0 1129920147 493019136 117216 4294967295 134512640 135180984 3219458464 3086135148 134518218 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=18866/tid=18870] ppid=18864 vsize=481464 CPUtime=420.66
/proc/18866/task/18870/stat : 18870 (satake) R 18864 18866 17312 0 -1 4202560 40859 0 0 0 42013 53 0 0 25 0 5 0 1129920147 493019136 117216 4294967295 134512640 135180984 3219458464 3086069408 134580407 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=18866/tid=18871] ppid=18864 vsize=481464 CPUtime=437.9
/proc/18866/task/18871/stat : 18871 (satake) R 18864 18866 17312 0 -1 4202560 38558 0 0 0 43744 46 0 0 25 0 5 0 1129920147 493019136 117216 4294967295 134512640 135180984 3219458464 3086004080 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1267.02
Current children cumulated vsize (KiB) 481464

[startup+702.311 s]
/proc/loadavg: 5.52 5.40 5.37 6/122 22161
/proc/meminfo: memFree=2581452/3368532 swapFree=1959840/1959888
[pid=18866] ppid=18864 vsize=501432 CPUtime=1386.5
/proc/18866/stat : 18866 (satake) S 18864 18866 17312 0 -1 4202496 126874 0 0 0 138473 177 0 0 19 0 5 0 1129920146 513466368 122258 4294967295 134512640 135180984 3219458464 3219457900 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/18866/statm: 125358 122258 68 164 0 125193 0
[pid=18866/tid=18867] ppid=18864 vsize=501432 CPUtime=0.36
/proc/18866/task/18867/stat : 18867 (satake) S 18864 18866 17312 0 -1 4202560 149 0 0 0 8 28 0 0 15 0 5 0 1129920146 513466368 122258 4294967295 134512640 135180984 3219458464 3086200848 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=18866/tid=18869] ppid=18864 vsize=501432 CPUtime=446.84
/proc/18866/task/18869/stat : 18869 (satake) R 18864 18866 17312 0 -1 4202560 43909 0 0 0 44641 43 0 0 25 0 5 0 1129920147 513466368 122258 4294967295 134512640 135180984 3219458464 3086135152 134528420 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=18866/tid=18870] ppid=18864 vsize=501432 CPUtime=452.69
/proc/18866/task/18870/stat : 18870 (satake) R 18864 18866 17312 0 -1 4202560 42638 0 0 0 45215 54 0 0 25 0 5 0 1129920147 513466368 122258 4294967295 134512640 135180984 3219458464 3086069608 134518214 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=18866/tid=18871] ppid=18864 vsize=501432 CPUtime=486.61
/proc/18866/task/18871/stat : 18871 (satake) R 18864 18866 17312 0 -1 4202560 40067 0 0 0 48609 52 0 0 25 0 5 0 1129920147 513466368 122258 4294967295 134512640 135180984 3219458464 3086004072 134520667 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1386.5
Current children cumulated vsize (KiB) 501432

[startup+762.318 s]
/proc/loadavg: 5.51 5.42 5.37 6/122 22437
/proc/meminfo: memFree=2561344/3368532 swapFree=1959840/1959888
[pid=18866] ppid=18864 vsize=520768 CPUtime=1505.88
/proc/18866/stat : 18866 (satake) S 18864 18866 17312 0 -1 4202496 131693 0 0 0 150393 195 0 0 19 0 5 0 1129920146 533266432 127077 4294967295 134512640 135180984 3219458464 3219457900 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/18866/statm: 130192 127077 68 164 0 130027 0
[pid=18866/tid=18867] ppid=18864 vsize=520768 CPUtime=0.43
/proc/18866/task/18867/stat : 18867 (satake) S 18864 18866 17312 0 -1 4202560 163 0 0 0 10 33 0 0 15 0 5 0 1129920146 533266432 127077 4294967295 134512640 135180984 3219458464 3086200848 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=18866/tid=18869] ppid=18864 vsize=520768 CPUtime=485.28
/proc/18866/task/18869/stat : 18869 (satake) R 18864 18866 17312 0 -1 4202560 45306 0 0 0 48483 45 0 0 25 0 5 0 1129920147 533266432 127077 4294967295 134512640 135180984 3219458464 3086134944 134580407 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=18866/tid=18870] ppid=18864 vsize=520768 CPUtime=493.38
/proc/18866/task/18870/stat : 18870 (satake) R 18864 18866 17312 0 -1 4202560 44880 0 0 0 49278 60 0 0 25 0 5 0 1129920147 533266432 127077 4294967295 134512640 135180984 3219458464 3086069616 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=18866/tid=18871] ppid=18864 vsize=520768 CPUtime=526.79
/proc/18866/task/18871/stat : 18871 (satake) R 18864 18866 17312 0 -1 4202560 41233 0 0 0 52622 57 0 0 25 0 5 0 1129920147 533266432 127077 4294967295 134512640 135180984 3219458464 3086004080 134528628 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1505.88
Current children cumulated vsize (KiB) 520768

[startup+822.315 s]
/proc/loadavg: 5.62 5.46 5.39 6/122 22717
/proc/meminfo: memFree=2538464/3368532 swapFree=1959840/1959888
[pid=18866] ppid=18864 vsize=544300 CPUtime=1625.42
/proc/18866/stat : 18866 (satake) S 18864 18866 17312 0 -1 4202496 137369 0 0 0 162330 212 0 0 19 0 5 0 1129920146 557363200 132753 4294967295 134512640 135180984 3219458464 3219457900 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/18866/statm: 136075 132753 68 164 0 135910 0
[pid=18866/tid=18867] ppid=18864 vsize=544300 CPUtime=0.48
/proc/18866/task/18867/stat : 18867 (satake) S 18864 18866 17312 0 -1 4202560 172 0 0 0 12 36 0 0 15 0 5 0 1129920146 557363200 132753 4294967295 134512640 135180984 3219458464 3086200848 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=18866/tid=18869] ppid=18864 vsize=544300 CPUtime=522.14
/proc/18866/task/18869/stat : 18869 (satake) R 18864 18866 17312 0 -1 4202560 47318 0 0 0 52169 45 0 0 25 0 5 0 1129920147 557363200 132753 4294967295 134512640 135180984 3219458464 3086134992 134691935 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=18866/tid=18870] ppid=18864 vsize=544300 CPUtime=529.65
/proc/18866/task/18870/stat : 18870 (satake) R 18864 18866 17312 0 -1 4202560 46729 0 0 0 52902 63 0 0 25 0 5 0 1129920147 557363200 132753 4294967295 134512640 135180984 3219458464 3086069612 134518218 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=18866/tid=18871] ppid=18864 vsize=544300 CPUtime=573.15
/proc/18866/task/18871/stat : 18871 (satake) R 18864 18866 17312 0 -1 4202560 43039 0 0 0 57247 68 0 0 25 0 5 0 1129920147 557363200 132753 4294967295 134512640 135180984 3219458464 3086003872 134580407 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1625.42
Current children cumulated vsize (KiB) 544300

[startup+882.311 s]
/proc/loadavg: 5.56 5.47 5.39 8/122 22996
/proc/meminfo: memFree=2515400/3368532 swapFree=1959840/1959888
[pid=18866] ppid=18864 vsize=567988 CPUtime=1744.74
/proc/18866/stat : 18866 (satake) S 18864 18866 17312 0 -1 4202496 143108 0 0 0 174243 231 0 0 19 0 5 0 1129920146 581619712 138492 4294967295 134512640 135180984 3219458464 3219457900 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/18866/statm: 141997 138492 68 164 0 141832 0
[pid=18866/tid=18867] ppid=18864 vsize=567988 CPUtime=0.5
/proc/18866/task/18867/stat : 18867 (satake) S 18864 18866 17312 0 -1 4202560 172 0 0 0 12 38 0 0 15 0 5 0 1129920146 581619712 138492 4294967295 134512640 135180984 3219458464 3086200848 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=18866/tid=18869] ppid=18864 vsize=567988 CPUtime=555.05
/proc/18866/task/18869/stat : 18869 (satake) R 18864 18866 17312 0 -1 4202560 49215 0 0 0 55457 48 0 0 25 0 5 0 1129920147 581619712 138492 4294967295 134512640 135180984 3219458464 3086135152 134528557 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=18866/tid=18870] ppid=18864 vsize=567988 CPUtime=578.87
/proc/18866/task/18870/stat : 18870 (satake) R 18864 18866 17312 0 -1 4202560 49196 0 0 0 57815 72 0 0 25 0 5 0 1129920147 581619712 138492 4294967295 134512640 135180984 3219458464 3086069616 134528605 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=18866/tid=18871] ppid=18864 vsize=567988 CPUtime=610.32
/proc/18866/task/18871/stat : 18871 (satake) R 18864 18866 17312 0 -1 4202560 44414 0 0 0 60959 73 0 0 25 0 5 0 1129920147 581619712 138492 4294967295 134512640 135180984 3219458464 3086004080 134528993 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1744.74
Current children cumulated vsize (KiB) 567988

[startup+942.308 s]
/proc/loadavg: 5.48 5.44 5.38 6/124 23270
/proc/meminfo: memFree=2496784/3368532 swapFree=1959840/1959888
[pid=18866] ppid=18864 vsize=585700 CPUtime=1864.01
/proc/18866/stat : 18866 (satake) S 18864 18866 17312 0 -1 4202496 147900 0 0 0 186155 246 0 0 19 0 5 0 1129920146 599756800 143284 4294967295 134512640 135180984 3219458464 3219457900 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/18866/statm: 146425 143284 68 164 0 146260 0
[pid=18866/tid=18867] ppid=18864 vsize=585700 CPUtime=0.51
/proc/18866/task/18867/stat : 18867 (satake) S 18864 18866 17312 0 -1 4202560 173 0 0 0 12 39 0 0 15 0 5 0 1129920146 599756800 143284 4294967295 134512640 135180984 3219458464 3086200848 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=18866/tid=18869] ppid=18864 vsize=585700 CPUtime=593.61
/proc/18866/task/18869/stat : 18869 (satake) R 18864 18866 17312 0 -1 4202560 50817 0 0 0 59309 52 0 0 25 0 5 0 1129920147 599756800 143284 4294967295 134512640 135180984 3219458464 3086135152 134528648 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=18866/tid=18870] ppid=18864 vsize=585700 CPUtime=619.97
/proc/18866/task/18870/stat : 18870 (satake) R 18864 18866 17312 0 -1 4202560 50923 0 0 0 61918 79 0 0 25 0 5 0 1129920147 599756800 143284 4294967295 134512640 135180984 3219458464 3086069448 134675767 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=18866/tid=18871] ppid=18864 vsize=585700 CPUtime=649.92
/proc/18866/task/18871/stat : 18871 (satake) R 18864 18866 17312 0 -1 4202560 45876 0 0 0 64916 76 0 0 25 0 5 0 1129920147 599756800 143284 4294967295 134512640 135180984 3219458464 3086003884 134706407 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1864.01
Current children cumulated vsize (KiB) 585700



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.01 s]
/proc/loadavg: 5.37 5.41 5.37 7/122 23543
/proc/meminfo: memFree=2481276/3368532 swapFree=1959840/1959888
[pid=18866] ppid=18864 vsize=601364 CPUtime=1978.83
/proc/18866/stat : 18866 (satake) S 18864 18866 17312 0 -1 4202496 151642 0 0 0 197624 259 0 0 19 0 5 0 1129920146 615796736 147026 4294967295 134512640 135180984 3219458464 3219457900 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/18866/statm: 150341 147026 68 164 0 150176 0
[pid=18866/tid=18867] ppid=18864 vsize=601364 CPUtime=0.52
/proc/18866/task/18867/stat : 18867 (satake) S 18864 18866 17312 0 -1 4202560 180 0 0 0 12 40 0 0 15 0 5 0 1129920146 615796736 147026 4294967295 134512640 135180984 3219458464 3086200848 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=18866/tid=18869] ppid=18864 vsize=601364 CPUtime=630.95
/proc/18866/task/18869/stat : 18869 (satake) R 18864 18866 17312 0 -1 4202560 51716 0 0 0 63039 56 0 0 25 0 5 0 1129920147 615796736 147026 4294967295 134512640 135180984 3219458464 3086135152 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=18866/tid=18870] ppid=18864 vsize=601364 CPUtime=658.68
/proc/18866/task/18870/stat : 18870 (satake) R 18864 18866 17312 0 -1 4202560 52332 0 0 0 65787 81 0 0 25 0 5 0 1129920147 615796736 147026 4294967295 134512640 135180984 3219458464 3086069616 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=18866/tid=18871] ppid=18864 vsize=601364 CPUtime=688.68
/proc/18866/task/18871/stat : 18871 (satake) R 18864 18866 17312 0 -1 4202560 47303 0 0 0 68786 82 0 0 25 0 5 0 1129920147 615796736 147026 4294967295 134512640 135180984 3219458464 3086004080 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1978.83
Current children cumulated vsize (KiB) 601364

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.06
CPU time (s): 1978.89
CPU user time (s): 1976.27
CPU system time (s): 2.62
CPU usage (%): 197.877
Max. virtual memory (cumulated for all children) (KiB): 601364

deleting IPC queue 15728640
deleting IPC queue 15761409
deleting IPC queue 15794178
deleting IPC queue 15826947
deleting IPC queue 15859716
deleting IPC queue 15892485
deleting IPC queue 15925254
deleting IPC queue 15958023
deleting IPC queue 15990792
deleting IPC queue 16023561
deleting IPC queue 16056330
deleting IPC queue 16089099
deleting IPC queue 16121868
deleting IPC queue 16154637
deleting IPC queue 16187406
deleting IPC queue 16220175

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

runsolver used 0 second user time and 0 second system time

The end

Launcher Data 

Begin job on  at 2009-05-30 05:02:53
IDJOB=1781095
IDBENCH=71096
IDSOLVER=629
FILE ID=/1781095-1243652573
PBS_JOBID=
Free space on /tmp= 7978 MiB

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

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

MD5SUM BENCH= 85279cb74dedd2e1c7356e22d8e98939
RANDOM SEED= 1664117598

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

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

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

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.073
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:       3070560 kB
Buffers:         58412 kB
Cached:         132816 kB
SwapCached:          0 kB
Active:          87536 kB
Inactive:       126152 kB
HighTotal:     2489216 kB
HighFree:      2334516 kB
LowTotal:       879316 kB
LowFree:        736044 kB
SwapTotal:     1959888 kB
SwapFree:      1959840 kB
Dirty:            6968 kB
Writeback:           0 kB
AnonPages:       22280 kB
Mapped:           8200 kB
Slab:            74020 kB
SReclaimable:    61836 kB
SUnreclaim:      12184 kB
PageTables:        796 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:   123556 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 7978 MiB
End job on  at 2009-05-30 05:19:36