Trace number 1779580

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

General information on the benchmark

NameAPPLICATIONS/crypto/
desgen/gss-25-s100.cnf
MD5SUMc4b5df05f50ec97b624a18161f6d43b5
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 variables31931
Number of clauses96111
Sum of the clauses size226723
Maximum clause length3
Minimum clause length1
Number of clauses of size 164
Number of clauses of size 261482
Number of clauses of size 334565
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

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-1779580-1243644922/watcher-1779580-1243644922 -o /tmp/evaluation-result-1779580-1243644922/solver-1779580-1243644922 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1779580-1243644922.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.45 5.37 5.27 5/118 15798
/proc/meminfo: memFree=3106536/3368532 swapFree=1959840/1959888
[pid=15797] ppid=15795 vsize=968 CPUtime=0
/proc/15797/stat : 15797 (satake) R 15795 15797 17312 0 -1 4202496 108 0 0 0 0 0 0 0 20 0 2 0 1129154985 991232 65 4294967295 134512640 135180984 3216516832 3216516176 134705812 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/15797/statm: 242 65 54 164 0 77 0
[pid=15797/tid=15798] ppid=15795 vsize=968 CPUtime=0
/proc/15797/task/15798/stat : 15798 (satake) R 15795 15797 17312 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 2 0 1129154985 991232 65 4294967295 134512640 135180984 3216516832 3085955908 134705812 0 0 0 0 0 0 0 -1 2 0 0 0

[startup+0.058373 s]
/proc/loadavg: 5.45 5.37 5.27 5/118 15798
/proc/meminfo: memFree=3106536/3368532 swapFree=1959840/1959888
[pid=15797] ppid=15795 vsize=21108 CPUtime=0.09
/proc/15797/stat : 15797 (satake) S 15795 15797 17312 0 -1 4202496 4537 0 0 0 7 2 0 0 20 0 5 0 1129154985 21614592 4470 4294967295 134512640 135180984 3216516832 3216516268 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/15797/statm: 5277 4470 63 164 0 5112 0
[pid=15797/tid=15798] ppid=15795 vsize=21108 CPUtime=0
/proc/15797/task/15798/stat : 15798 (satake) S 15795 15797 17312 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 5 0 1129154985 21614592 4470 4294967295 134512640 135180984 3216516832 3085955088 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21108

[startup+0.10837 s]
/proc/loadavg: 5.45 5.37 5.27 5/118 15798
/proc/meminfo: memFree=3106536/3368532 swapFree=1959840/1959888
[pid=15797] ppid=15795 vsize=24156 CPUtime=0.18
/proc/15797/stat : 15797 (satake) S 15795 15797 17312 0 -1 4202496 5319 0 0 0 16 2 0 0 20 0 5 0 1129154985 24735744 5252 4294967295 134512640 135180984 3216516832 3216516268 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/15797/statm: 6039 5252 63 164 0 5874 0
[pid=15797/tid=15798] ppid=15795 vsize=24156 CPUtime=0
/proc/15797/task/15798/stat : 15798 (satake) S 15795 15797 17312 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 5 0 1129154985 24735744 5252 4294967295 134512640 135180984 3216516832 3085955088 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 24156

[startup+0.308364 s]
/proc/loadavg: 5.45 5.37 5.27 5/118 15798
/proc/meminfo: memFree=3106536/3368532 swapFree=1959840/1959888
[pid=15797] ppid=15795 vsize=25176 CPUtime=0.53
/proc/15797/stat : 15797 (satake) S 15795 15797 17312 0 -1 4202496 6606 0 0 0 50 3 0 0 20 0 5 0 1129154985 25780224 5393 4294967295 134512640 135180984 3216516832 3216516268 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/15797/statm: 6294 5393 68 164 0 6129 0
[pid=15797/tid=15798] ppid=15795 vsize=25176 CPUtime=0.01
/proc/15797/task/15798/stat : 15798 (satake) S 15795 15797 17312 0 -1 4202560 564 0 0 0 1 0 0 0 19 0 5 0 1129154985 25780224 5393 4294967295 134512640 135180984 3216516832 3085955088 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 25176

[startup+0.708339 s]
/proc/loadavg: 5.45 5.37 5.27 5/118 15798
/proc/meminfo: memFree=3106536/3368532 swapFree=1959840/1959888
[pid=15797] ppid=15795 vsize=25640 CPUtime=1.33
/proc/15797/stat : 15797 (satake) S 15795 15797 17312 0 -1 4202496 6708 0 0 0 130 3 0 0 20 0 5 0 1129154985 26255360 5495 4294967295 134512640 135180984 3216516832 3216516268 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/15797/statm: 6410 5495 68 164 0 6245 0
[pid=15797/tid=15798] ppid=15795 vsize=25640 CPUtime=0.01
/proc/15797/task/15798/stat : 15798 (satake) S 15795 15797 17312 0 -1 4202560 564 0 0 0 1 0 0 0 15 0 5 0 1129154985 26255360 5495 4294967295 134512640 135180984 3216516832 3085955088 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 25640

[startup+1.5083 s]
/proc/loadavg: 5.41 5.37 5.27 6/122 15802
/proc/meminfo: memFree=3084780/3368532 swapFree=1959840/1959888
[pid=15797] ppid=15795 vsize=25804 CPUtime=2.93
/proc/15797/stat : 15797 (satake) S 15795 15797 17312 0 -1 4202496 6734 0 0 0 289 4 0 0 20 0 5 0 1129154985 26423296 5521 4294967295 134512640 135180984 3216516832 3216516268 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/15797/statm: 6451 5521 68 164 0 6286 0
[pid=15797/tid=15798] ppid=15795 vsize=25804 CPUtime=0.02
/proc/15797/task/15798/stat : 15798 (satake) S 15795 15797 17312 0 -1 4202560 565 0 0 0 1 1 0 0 15 0 5 0 1129154985 26423296 5521 4294967295 134512640 135180984 3216516832 3085955088 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=15797/tid=15800] ppid=15795 vsize=25804 CPUtime=0.64
/proc/15797/task/15800/stat : 15800 (satake) R 15795 15797 17312 0 -1 4202560 2002 0 0 0 63 1 0 0 25 0 5 0 1129154986 26423296 5521 4294967295 134512640 135180984 3216516832 3085889196 134706407 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=15797/tid=15801] ppid=15795 vsize=25804 CPUtime=1.44
/proc/15797/task/15801/stat : 15801 (satake) R 15795 15797 17312 0 -1 4202560 2022 0 0 0 143 1 0 0 25 0 5 0 1129154986 26423296 5521 4294967295 134512640 135180984 3216516832 3085823852 134518257 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=15797/tid=15802] ppid=15795 vsize=25804 CPUtime=0.83
/proc/15797/task/15802/stat : 15802 (satake) R 15795 15797 17312 0 -1 4202560 2034 0 0 0 82 1 0 0 25 0 5 0 1129154986 26423296 5521 4294967295 134512640 135180984 3216516832 3085758300 134519103 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 25804

[startup+3.10822 s]
/proc/loadavg: 5.41 5.37 5.27 7/122 15802
/proc/meminfo: memFree=3084516/3368532 swapFree=1959840/1959888
[pid=15797] ppid=15795 vsize=25804 CPUtime=6.12
/proc/15797/stat : 15797 (satake) S 15795 15797 17312 0 -1 4202496 6738 0 0 0 607 5 0 0 20 0 5 0 1129154985 26423296 5525 4294967295 134512640 135180984 3216516832 3216516268 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/15797/statm: 6451 5525 68 164 0 6286 0
[pid=15797/tid=15798] ppid=15795 vsize=25804 CPUtime=0.03
/proc/15797/task/15798/stat : 15798 (satake) S 15795 15797 17312 0 -1 4202560 566 0 0 0 1 2 0 0 16 0 5 0 1129154985 26423296 5525 4294967295 134512640 135180984 3216516832 3085955088 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=15797/tid=15800] ppid=15795 vsize=25804 CPUtime=1.35
/proc/15797/task/15800/stat : 15800 (satake) R 15795 15797 17312 0 -1 4202560 2002 0 0 0 134 1 0 0 25 0 5 0 1129154986 26423296 5525 4294967295 134512640 135180984 3216516832 3085889280 134522986 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=15797/tid=15801] ppid=15795 vsize=25804 CPUtime=2.32
/proc/15797/task/15801/stat : 15801 (satake) R 15795 15797 17312 0 -1 4202560 2022 0 0 0 231 1 0 0 25 0 5 0 1129154986 26423296 5525 4294967295 134512640 135180984 3216516832 3085823848 134520863 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=15797/tid=15802] ppid=15795 vsize=25804 CPUtime=2.42
/proc/15797/task/15802/stat : 15802 (satake) R 15795 15797 17312 0 -1 4202560 2037 0 0 0 241 1 0 0 25 0 5 0 1129154986 26423296 5525 4294967295 134512640 135180984 3216516832 3085758300 134519101 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 25804

[startup+6.30805 s]
/proc/loadavg: 5.41 5.37 5.27 6/122 15811
/proc/meminfo: memFree=3083652/3368532 swapFree=1959840/1959888
[pid=15797] ppid=15795 vsize=25804 CPUtime=12.46
/proc/15797/stat : 15797 (satake) S 15795 15797 17312 0 -1 4202496 6754 0 0 0 1241 5 0 0 20 0 5 0 1129154985 26423296 5541 4294967295 134512640 135180984 3216516832 3216516268 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/15797/statm: 6451 5541 68 164 0 6286 0
[pid=15797/tid=15798] ppid=15795 vsize=25804 CPUtime=0.03
/proc/15797/task/15798/stat : 15798 (satake) S 15795 15797 17312 0 -1 4202560 569 0 0 0 1 2 0 0 15 0 5 0 1129154985 26423296 5541 4294967295 134512640 135180984 3216516832 3085955088 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=15797/tid=15800] ppid=15795 vsize=25804 CPUtime=4.15
/proc/15797/task/15800/stat : 15800 (satake) R 15795 15797 17312 0 -1 4202560 2004 0 0 0 414 1 0 0 25 0 5 0 1129154986 26423296 5541 4294967295 134512640 135180984 3216516832 3085889372 134519101 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=15797/tid=15801] ppid=15795 vsize=25804 CPUtime=3.58
/proc/15797/task/15801/stat : 15801 (satake) R 15795 15797 17312 0 -1 4202560 2022 0 0 0 357 1 0 0 25 0 5 0 1129154986 26423296 5541 4294967295 134512640 135180984 3216516832 3085823872 134532624 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=15797/tid=15802] ppid=15795 vsize=25804 CPUtime=4.7
/proc/15797/task/15802/stat : 15802 (satake) R 15795 15797 17312 0 -1 4202560 2048 0 0 0 469 1 0 0 25 0 5 0 1129154986 26423296 5541 4294967295 134512640 135180984 3216516832 3085758316 134521127 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.46
Current children cumulated vsize (KiB) 25804

[startup+12.7077 s]
/proc/loadavg: 5.43 5.37 5.27 6/122 15819
/proc/meminfo: memFree=3083524/3368532 swapFree=1959840/1959888
[pid=15797] ppid=15795 vsize=26068 CPUtime=25.22
/proc/15797/stat : 15797 (satake) S 15795 15797 17312 0 -1 4202496 6844 0 0 0 2516 6 0 0 20 0 5 0 1129154985 26693632 5631 4294967295 134512640 135180984 3216516832 3216516268 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/15797/statm: 6517 5631 68 164 0 6352 0
[pid=15797/tid=15798] ppid=15795 vsize=26068 CPUtime=0.05
/proc/15797/task/15798/stat : 15798 (satake) S 15795 15797 17312 0 -1 4202560 581 0 0 0 2 3 0 0 15 0 5 0 1129154985 26693632 5631 4294967295 134512640 135180984 3216516832 3085955088 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=15797/tid=15800] ppid=15795 vsize=26068 CPUtime=7.52
/proc/15797/task/15800/stat : 15800 (satake) R 15795 15797 17312 0 -1 4202560 2023 0 0 0 751 1 0 0 25 0 5 0 1129154986 26693632 5631 4294967295 134512640 135180984 3216516832 3085889392 134526315 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=15797/tid=15801] ppid=15795 vsize=26068 CPUtime=8.1
/proc/15797/task/15801/stat : 15801 (satake) R 15795 15797 17312 0 -1 4202560 2057 0 0 0 809 1 0 0 25 0 5 0 1129154986 26693632 5631 4294967295 134512640 135180984 3216516832 3085823760 134524757 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=15797/tid=15802] ppid=15795 vsize=26068 CPUtime=9.55
/proc/15797/task/15802/stat : 15802 (satake) R 15795 15797 17312 0 -1 4202560 2072 0 0 0 954 1 0 0 25 0 5 0 1129154986 26693632 5631 4294967295 134512640 135180984 3216516832 3085758112 134580407 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.22
Current children cumulated vsize (KiB) 26068

[startup+25.517 s]
/proc/loadavg: 5.44 5.37 5.28 7/122 15840
/proc/meminfo: memFree=3082936/3368532 swapFree=1959840/1959888
[pid=15797] ppid=15795 vsize=26468 CPUtime=50.7
/proc/15797/stat : 15797 (satake) S 15795 15797 17312 0 -1 4202496 7059 0 0 0 5057 13 0 0 20 0 5 0 1129154985 27103232 5846 4294967295 134512640 135180984 3216516832 3216516268 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/15797/statm: 6617 5846 68 164 0 6452 0
[pid=15797/tid=15798] ppid=15795 vsize=26468 CPUtime=0.09
/proc/15797/task/15798/stat : 15798 (satake) S 15795 15797 17312 0 -1 4202560 622 0 0 0 3 6 0 0 15 0 5 0 1129154985 27103232 5846 4294967295 134512640 135180984 3216516832 3085955088 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=15797/tid=15800] ppid=15795 vsize=26468 CPUtime=15.95
/proc/15797/task/15800/stat : 15800 (satake) R 15795 15797 17312 0 -1 4202560 2068 0 0 0 1594 1 0 0 25 0 5 0 1129154986 27103232 5846 4294967295 134512640 135180984 3216516832 3085889388 134518229 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=15797/tid=15801] ppid=15795 vsize=26468 CPUtime=15.15
/proc/15797/task/15801/stat : 15801 (satake) R 15795 15797 17312 0 -1 4202560 2127 0 0 0 1512 3 0 0 25 0 5 0 1129154986 27103232 5846 4294967295 134512640 135180984 3216516832 3085823856 134528766 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=15797/tid=15802] ppid=15795 vsize=26468 CPUtime=19.51
/proc/15797/task/15802/stat : 15802 (satake) R 15795 15797 17312 0 -1 4202560 2131 0 0 0 1948 3 0 0 25 0 5 0 1129154986 27103232 5846 4294967295 134512640 135180984 3216516832 3085758272 134527257 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 26468

[startup+51.1157 s]
/proc/loadavg: 5.35 5.36 5.27 6/122 15878
/proc/meminfo: memFree=3080892/3368532 swapFree=1959840/1959888
[pid=15797] ppid=15795 vsize=28568 CPUtime=101.62
/proc/15797/stat : 15797 (satake) S 15795 15797 17312 0 -1 4202496 7571 0 0 0 10119 43 0 0 20 0 5 0 1129154985 29253632 6358 4294967295 134512640 135180984 3216516832 3216516268 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/15797/statm: 7142 6358 68 164 0 6977 0
[pid=15797/tid=15798] ppid=15795 vsize=28568 CPUtime=0.27
/proc/15797/task/15798/stat : 15798 (satake) S 15795 15797 17312 0 -1 4202560 729 0 0 0 5 22 0 0 15 0 5 0 1129154985 29253632 6358 4294967295 134512640 135180984 3216516832 3085955092 134580588 0 0 0 0 3223036975 0 0 -1 2 0 0 0
[pid=15797/tid=15800] ppid=15795 vsize=28568 CPUtime=34.64
/proc/15797/task/15800/stat : 15800 (satake) R 15795 15797 17312 0 -1 4202560 2217 0 0 0 3460 4 0 0 25 0 5 0 1129154986 29253632 6358 4294967295 134512640 135180984 3216516832 3085889392 134528211 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=15797/tid=15801] ppid=15795 vsize=28568 CPUtime=30.17
/proc/15797/task/15801/stat : 15801 (satake) R 15795 15797 17312 0 -1 4202560 2258 0 0 0 3012 5 0 0 25 0 5 0 1129154986 29253632 6358 4294967295 134512640 135180984 3216516832 3085823660 134706407 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=15797/tid=15802] ppid=15795 vsize=28568 CPUtime=36.54
/proc/15797/task/15802/stat : 15802 (satake) R 15795 15797 17312 0 -1 4202560 2256 0 0 0 3642 12 0 0 25 0 5 0 1129154986 29253632 6358 4294967295 134512640 135180984 3216516832 3085758320 134528211 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.62
Current children cumulated vsize (KiB) 28568

[startup+102.313 s]
/proc/loadavg: 5.24 5.33 5.27 6/122 16144
/proc/meminfo: memFree=3076420/3368532 swapFree=1959840/1959888
[pid=15797] ppid=15795 vsize=32812 CPUtime=203.27
/proc/15797/stat : 15797 (satake) S 15795 15797 17312 0 -1 4202496 8529 0 0 0 20233 94 0 0 20 0 5 0 1129154985 33599488 7316 4294967295 134512640 135180984 3216516832 3216516268 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/15797/statm: 8203 7316 68 164 0 8038 0
[pid=15797/tid=15798] ppid=15795 vsize=32812 CPUtime=0.58
/proc/15797/task/15798/stat : 15798 (satake) S 15795 15797 17312 0 -1 4202560 928 0 0 0 12 46 0 0 16 0 5 0 1129154985 33599488 7316 4294967295 134512640 135180984 3216516832 3085955092 134580588 0 0 0 0 3223036975 0 0 -1 2 0 0 0
[pid=15797/tid=15800] ppid=15795 vsize=32812 CPUtime=67.82
/proc/15797/task/15800/stat : 15800 (satake) R 15795 15797 17312 0 -1 4202560 2494 0 0 0 6772 10 0 0 25 0 5 0 1129154986 33599488 7316 4294967295 134512640 135180984 3216516832 3085889296 134524876 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=15797/tid=15801] ppid=15795 vsize=32812 CPUtime=64.21
/proc/15797/task/15801/stat : 15801 (satake) R 15795 15797 17312 0 -1 4202560 2500 0 0 0 6406 15 0 0 25 0 5 0 1129154986 33599488 7316 4294967295 134512640 135180984 3216516832 3085823792 134523667 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=15797/tid=15802] ppid=15795 vsize=32812 CPUtime=70.66
/proc/15797/task/15802/stat : 15802 (satake) R 15795 15797 17312 0 -1 4202560 2496 0 0 0 7043 23 0 0 25 0 5 0 1129154986 33599488 7316 4294967295 134512640 135180984 3216516832 3085758124 134706407 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 203.27
Current children cumulated vsize (KiB) 32812

[startup+162.31 s]
/proc/loadavg: 5.40 5.35 5.28 6/122 16420
/proc/meminfo: memFree=3071996/3368532 swapFree=1959840/1959888
[pid=15797] ppid=15795 vsize=37916 CPUtime=322.52
/proc/15797/stat : 15797 (satake) S 15795 15797 17312 0 -1 4202496 9748 0 0 0 32088 164 0 0 20 0 5 0 1129154985 38825984 8535 4294967295 134512640 135180984 3216516832 3216516268 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/15797/statm: 9479 8535 68 164 0 9314 0
[pid=15797/tid=15798] ppid=15795 vsize=37916 CPUtime=1.11
/proc/15797/task/15798/stat : 15798 (satake) S 15795 15797 17312 0 -1 4202560 1199 0 0 0 28 83 0 0 16 0 5 0 1129154985 38825984 8535 4294967295 134512640 135180984 3216516832 3085955092 134580588 0 0 0 0 3223036975 0 0 -1 2 0 0 0
[pid=15797/tid=15800] ppid=15795 vsize=37916 CPUtime=112.84
/proc/15797/task/15800/stat : 15800 (satake) R 15795 15797 17312 0 -1 4202560 2872 0 0 0 11268 16 0 0 25 0 5 0 1129154986 38825984 8535 4294967295 134512640 135180984 3216516832 3085889392 134525969 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=15797/tid=15801] ppid=15795 vsize=37916 CPUtime=101.55
/proc/15797/task/15801/stat : 15801 (satake) R 15795 15797 17312 0 -1 4202560 2787 0 0 0 10121 34 0 0 25 0 5 0 1129154986 38825984 8535 4294967295 134512640 135180984 3216516832 3085823856 134528543 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=15797/tid=15802] ppid=15795 vsize=37916 CPUtime=107.02
/proc/15797/task/15802/stat : 15802 (satake) R 15795 15797 17312 0 -1 4202560 2779 0 0 0 10671 31 0 0 25 0 5 0 1129154986 38825984 8535 4294967295 134512640 135180984 3216516832 3085758112 134580407 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 322.52

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

[pid=15797/tid=15800] ppid=15795 vsize=62928 CPUtime=349.32
/proc/15797/task/15800/stat : 15800 (satake) R 15795 15797 17312 0 -1 4202560 4517 0 0 0 34857 75 0 0 25 0 5 0 1129154986 64438272 14150 4294967295 134512640 135180984 3216516832 3085889392 134526529 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=15797/tid=15801] ppid=15795 vsize=62928 CPUtime=339.13
/proc/15797/task/15801/stat : 15801 (satake) R 15795 15797 17312 0 -1 4202560 4362 0 0 0 33805 108 0 0 25 0 5 0 1129154986 64438272 14150 4294967295 134512640 135180984 3216516832 3085823856 134528230 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=15797/tid=15802] ppid=15795 vsize=62928 CPUtime=349.01
/proc/15797/task/15802/stat : 15802 (satake) R 15795 15797 17312 0 -1 4202560 4006 0 0 0 34822 79 0 0 25 0 5 0 1129154986 64438272 14150 4294967295 134512640 135180984 3216516832 3085758316 134520661 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1040.81
Current children cumulated vsize (KiB) 62928

[startup+582.308 s]
/proc/loadavg: 5.60 5.45 5.34 7/122 18360
/proc/meminfo: memFree=3044876/3368532 swapFree=1959840/1959888
[pid=15797] ppid=15795 vsize=67920 CPUtime=1159.99
/proc/15797/stat : 15797 (satake) S 15795 15797 17312 0 -1 4202496 16524 0 0 0 115446 553 0 0 20 0 5 0 1129154985 69550080 15311 4294967295 134512640 135180984 3216516832 3216516268 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/15797/statm: 16980 15311 68 164 0 16815 0
[pid=15797/tid=15798] ppid=15795 vsize=67920 CPUtime=3.72
/proc/15797/task/15798/stat : 15798 (satake) S 15795 15797 17312 0 -1 4202560 2575 0 0 0 109 263 0 0 15 0 5 0 1129154985 69550080 15311 4294967295 134512640 135180984 3216516832 3085955088 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=15797/tid=15800] ppid=15795 vsize=67920 CPUtime=388.85
/proc/15797/task/15800/stat : 15800 (satake) R 15795 15797 17312 0 -1 4202560 4787 0 0 0 38798 87 0 0 25 0 5 0 1129154986 69550080 15311 4294967295 134512640 135180984 3216516832 3085889328 134523674 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=15797/tid=15801] ppid=15795 vsize=67920 CPUtime=381.81
/proc/15797/task/15801/stat : 15801 (satake) R 15795 15797 17312 0 -1 4202560 4763 0 0 0 38067 114 0 0 25 0 5 0 1129154986 69550080 15311 4294967295 134512640 135180984 3216516832 3085823856 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=15797/tid=15802] ppid=15795 vsize=67920 CPUtime=385.61
/proc/15797/task/15802/stat : 15802 (satake) R 15795 15797 17312 0 -1 4202560 4288 0 0 0 38472 89 0 0 25 0 5 0 1129154986 69550080 15311 4294967295 134512640 135180984 3216516832 3085758316 134519895 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1159.99
Current children cumulated vsize (KiB) 67920

[startup+642.315 s]
/proc/loadavg: 5.66 5.50 5.36 7/122 18639
/proc/meminfo: memFree=3040280/3368532 swapFree=1959840/1959888
[pid=15797] ppid=15795 vsize=72168 CPUtime=1280.7
/proc/15797/stat : 15797 (satake) S 15795 15797 17312 0 -1 4202496 17555 0 0 0 127439 631 0 0 20 0 5 0 1129154985 73900032 16342 4294967295 134512640 135180984 3216516832 3216516268 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/15797/statm: 18042 16342 68 164 0 17877 0
[pid=15797/tid=15798] ppid=15795 vsize=72168 CPUtime=4.21
/proc/15797/task/15798/stat : 15798 (satake) S 15795 15797 17312 0 -1 4202560 2818 0 0 0 125 296 0 0 15 0 5 0 1129154985 73900032 16342 4294967295 134512640 135180984 3216516832 3085955088 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=15797/tid=15800] ppid=15795 vsize=72168 CPUtime=428.65
/proc/15797/task/15800/stat : 15800 (satake) R 15795 15797 17312 0 -1 4202560 5013 0 0 0 42765 100 0 0 25 0 5 0 1129154986 73900032 16342 4294967295 134512640 135180984 3216516832 3085889392 134526206 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=15797/tid=15801] ppid=15795 vsize=72168 CPUtime=418.66
/proc/15797/task/15801/stat : 15801 (satake) R 15795 15797 17312 0 -1 4202560 5035 0 0 0 41737 129 0 0 25 0 5 0 1129154986 73900032 16342 4294967295 134512640 135180984 3216516832 3085823848 134520863 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=15797/tid=15802] ppid=15795 vsize=72168 CPUtime=429.18
/proc/15797/task/15802/stat : 15802 (satake) R 15795 15797 17312 0 -1 4202560 4578 0 0 0 42812 106 0 0 25 0 5 0 1129154986 73900032 16342 4294967295 134512640 135180984 3216516832 3085758320 134528543 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1280.7
Current children cumulated vsize (KiB) 72168

[startup+702.312 s]
/proc/loadavg: 5.48 5.48 5.36 7/122 18915
/proc/meminfo: memFree=3037388/3368532 swapFree=1959840/1959888
[pid=15797] ppid=15795 vsize=76864 CPUtime=1399.74
/proc/15797/stat : 15797 (satake) S 15795 15797 17312 0 -1 4202496 18454 0 0 0 139246 728 0 0 20 0 5 0 1129154985 78708736 17241 4294967295 134512640 135180984 3216516832 3216516268 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/15797/statm: 19216 17241 68 164 0 19051 0
[pid=15797/tid=15798] ppid=15795 vsize=76864 CPUtime=4.8
/proc/15797/task/15798/stat : 15798 (satake) S 15795 15797 17312 0 -1 4202560 3086 0 0 0 142 338 0 0 16 0 5 0 1129154985 78708736 17241 4294967295 134512640 135180984 3216516832 3085955092 134580588 0 0 0 0 3223036975 0 0 -1 0 0 0 0
[pid=15797/tid=15800] ppid=15795 vsize=76864 CPUtime=465.27
/proc/15797/task/15800/stat : 15800 (satake) R 15795 15797 17312 0 -1 4202560 5221 0 0 0 46409 118 0 0 25 0 5 0 1129154986 78708736 17241 4294967295 134512640 135180984 3216516832 3085889392 134528211 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=15797/tid=15801] ppid=15795 vsize=76864 CPUtime=457.31
/proc/15797/task/15801/stat : 15801 (satake) R 15795 15797 17312 0 -1 4202560 5256 0 0 0 45584 147 0 0 25 0 5 0 1129154986 78708736 17241 4294967295 134512640 135180984 3216516832 3085823920 134532445 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=15797/tid=15802] ppid=15795 vsize=76864 CPUtime=472.36
/proc/15797/task/15802/stat : 15802 (satake) R 15795 15797 17312 0 -1 4202560 4780 0 0 0 47111 125 0 0 25 0 5 0 1129154986 78708736 17241 4294967295 134512640 135180984 3216516832 3085758124 134706407 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1399.74
Current children cumulated vsize (KiB) 76864

[startup+762.319 s]
/proc/loadavg: 5.37 5.45 5.36 6/122 19191
/proc/meminfo: memFree=3031460/3368532 swapFree=1959840/1959888
[pid=15797] ppid=15795 vsize=82612 CPUtime=1518.89
/proc/15797/stat : 15797 (satake) S 15795 15797 17312 0 -1 4202496 19640 0 0 0 151100 789 0 0 20 0 5 0 1129154985 84594688 18419 4294967295 134512640 135180984 3216516832 3216516268 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/15797/statm: 20653 18419 68 164 0 20488 0
[pid=15797/tid=15798] ppid=15795 vsize=82612 CPUtime=5.25
/proc/15797/task/15798/stat : 15798 (satake) S 15795 15797 17312 0 -1 4202560 3301 0 0 0 157 368 0 0 15 0 5 0 1129154985 84594688 18419 4294967295 134512640 135180984 3216516832 3085955088 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=15797/tid=15800] ppid=15795 vsize=82612 CPUtime=503.52
/proc/15797/task/15800/stat : 15800 (satake) R 15795 15797 17312 0 -1 4202560 5456 0 0 0 50225 127 0 0 25 0 5 0 1129154986 84594688 18419 4294967295 134512640 135180984 3216516832 3085889392 134526365 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=15797/tid=15801] ppid=15795 vsize=82612 CPUtime=497.21
/proc/15797/task/15801/stat : 15801 (satake) R 15795 15797 17312 0 -1 4202560 5602 0 0 0 49562 159 0 0 25 0 5 0 1129154986 84594688 18419 4294967295 134512640 135180984 3216516832 3085823856 134528963 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=15797/tid=15802] ppid=15795 vsize=82612 CPUtime=512.91
/proc/15797/task/15802/stat : 15802 (satake) R 15795 15797 17312 0 -1 4202560 5170 0 0 0 51156 135 0 0 25 0 5 0 1129154986 84594688 18419 4294967295 134512640 135180984 3216516832 3085758208 134522785 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1518.89
Current children cumulated vsize (KiB) 82612

[startup+822.305 s]
/proc/loadavg: 5.39 5.45 5.36 6/122 19467
/proc/meminfo: memFree=3028500/3368532 swapFree=1959840/1959888
[pid=15797] ppid=15795 vsize=85664 CPUtime=1637.9
/proc/15797/stat : 15797 (satake) S 15795 15797 17312 0 -1 4202496 20529 0 0 0 162943 847 0 0 20 0 5 0 1129154985 87719936 19308 4294967295 134512640 135180984 3216516832 3216516268 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/15797/statm: 21416 19308 68 164 0 21251 0
[pid=15797/tid=15798] ppid=15795 vsize=85664 CPUtime=5.61
/proc/15797/task/15798/stat : 15798 (satake) S 15795 15797 17312 0 -1 4202560 3495 0 0 0 163 398 0 0 15 0 5 0 1129154985 87719936 19308 4294967295 134512640 135180984 3216516832 3085955088 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=15797/tid=15800] ppid=15795 vsize=85664 CPUtime=542.29
/proc/15797/task/15800/stat : 15800 (satake) R 15795 15797 17312 0 -1 4202560 5678 0 0 0 54095 134 0 0 25 0 5 0 1129154986 87719936 19308 4294967295 134512640 135180984 3216516832 3085889392 134526365 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=15797/tid=15801] ppid=15795 vsize=85664 CPUtime=536.33
/proc/15797/task/15801/stat : 15801 (satake) R 15795 15797 17312 0 -1 4202560 5865 0 0 0 53463 170 0 0 25 0 5 0 1129154986 87719936 19308 4294967295 134512640 135180984 3216516832 3085823856 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=15797/tid=15802] ppid=15795 vsize=85664 CPUtime=553.67
/proc/15797/task/15802/stat : 15802 (satake) R 15795 15797 17312 0 -1 4202560 5380 0 0 0 55222 145 0 0 25 0 5 0 1129154986 87719936 19308 4294967295 134512640 135180984 3216516832 3085758208 134522980 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1637.9
Current children cumulated vsize (KiB) 85664

[startup+882.302 s]
/proc/loadavg: 5.43 5.46 5.37 6/122 19743
/proc/meminfo: memFree=3024796/3368532 swapFree=1959840/1959888
[pid=15797] ppid=15795 vsize=89660 CPUtime=1756.97
/proc/15797/stat : 15797 (satake) S 15795 15797 17312 0 -1 4202496 21450 0 0 0 174786 911 0 0 20 0 5 0 1129154985 91811840 20229 4294967295 134512640 135180984 3216516832 3216516268 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/15797/statm: 22415 20229 68 164 0 22250 0
[pid=15797/tid=15798] ppid=15795 vsize=89660 CPUtime=6
/proc/15797/task/15798/stat : 15798 (satake) S 15795 15797 17312 0 -1 4202560 3702 0 0 0 173 427 0 0 15 0 5 0 1129154985 91811840 20229 4294967295 134512640 135180984 3216516832 3085955092 134580588 0 0 0 0 3223036975 0 0 -1 0 0 0 0
[pid=15797/tid=15800] ppid=15795 vsize=89660 CPUtime=580.12
/proc/15797/task/15800/stat : 15800 (satake) R 15795 15797 17312 0 -1 4202560 5870 0 0 0 57866 146 0 0 25 0 5 0 1129154986 91811840 20229 4294967295 134512640 135180984 3216516832 3085889392 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=15797/tid=15801] ppid=15795 vsize=89660 CPUtime=574.9
/proc/15797/task/15801/stat : 15801 (satake) R 15795 15797 17312 0 -1 4202560 6128 0 0 0 57307 183 0 0 25 0 5 0 1129154986 91811840 20229 4294967295 134512640 135180984 3216516832 3085823852 134520854 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=15797/tid=15802] ppid=15795 vsize=89660 CPUtime=595.95
/proc/15797/task/15802/stat : 15802 (satake) R 15795 15797 17312 0 -1 4202560 5639 0 0 0 59440 155 0 0 25 0 5 0 1129154986 91811840 20229 4294967295 134512640 135180984 3216516832 3085758112 134580407 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1756.97
Current children cumulated vsize (KiB) 89660

[startup+942.319 s]
/proc/loadavg: 5.49 5.48 5.38 6/122 20018
/proc/meminfo: memFree=3021456/3368532 swapFree=1959840/1959888
[pid=15797] ppid=15795 vsize=94544 CPUtime=1876.24
/proc/15797/stat : 15797 (satake) S 15795 15797 17312 0 -1 4202496 22380 0 0 0 186657 967 0 0 20 0 5 0 1129154985 96813056 21151 4294967295 134512640 135180984 3216516832 3216516268 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/15797/statm: 23636 21151 68 164 0 23471 0
[pid=15797/tid=15798] ppid=15795 vsize=94544 CPUtime=6.41
/proc/15797/task/15798/stat : 15798 (satake) S 15795 15797 17312 0 -1 4202560 3903 0 0 0 187 454 0 0 15 0 5 0 1129154985 96813056 21151 4294967295 134512640 135180984 3216516832 3085955088 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=15797/tid=15800] ppid=15795 vsize=94544 CPUtime=618.58
/proc/15797/task/15800/stat : 15800 (satake) R 15795 15797 17312 0 -1 4202560 6319 0 0 0 61703 155 0 0 25 0 5 0 1129154986 96813056 21151 4294967295 134512640 135180984 3216516832 3085889392 134526035 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=15797/tid=15801] ppid=15795 vsize=94544 CPUtime=618.93
/proc/15797/task/15801/stat : 15801 (satake) R 15795 15797 17312 0 -1 4202560 6178 0 0 0 61696 197 0 0 25 0 5 0 1129154986 96813056 21151 4294967295 134512640 135180984 3216516832 3085823744 134522989 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=15797/tid=15802] ppid=15795 vsize=94544 CPUtime=632.32
/proc/15797/task/15802/stat : 15802 (satake) R 15795 15797 17312 0 -1 4202560 5869 0 0 0 63071 161 0 0 25 0 5 0 1129154986 96813056 21151 4294967295 134512640 135180984 3216516832 3085758320 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1876.24
Current children cumulated vsize (KiB) 94544



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.02 s]
/proc/loadavg: 5.48 5.48 5.38 6/122 20294
/proc/meminfo: memFree=3018968/3368532 swapFree=1959840/1959888
[pid=15797] ppid=15795 vsize=98600 CPUtime=1991.03
/proc/15797/stat : 15797 (satake) S 15795 15797 17312 0 -1 4202496 23134 0 0 0 198074 1029 0 0 20 0 5 0 1129154985 100966400 21905 4294967295 134512640 135180984 3216516832 3216516268 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/15797/statm: 24650 21905 68 164 0 24485 0
[pid=15797/tid=15798] ppid=15795 vsize=98600 CPUtime=6.79
/proc/15797/task/15798/stat : 15798 (satake) S 15795 15797 17312 0 -1 4202560 4091 0 0 0 196 483 0 0 15 0 5 0 1129154985 100966400 21905 4294967295 134512640 135180984 3216516832 3085955088 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=15797/tid=15800] ppid=15795 vsize=98600 CPUtime=661.85
/proc/15797/task/15800/stat : 15800 (satake) R 15795 15797 17312 0 -1 4202560 6629 0 0 0 66015 170 0 0 25 0 5 0 1129154986 100966400 21905 4294967295 134512640 135180984 3216516832 3085889312 134520711 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=15797/tid=15801] ppid=15795 vsize=98600 CPUtime=657.83
/proc/15797/task/15801/stat : 15801 (satake) R 15795 15797 17312 0 -1 4202560 6207 0 0 0 65578 205 0 0 25 0 5 0 1129154986 100966400 21905 4294967295 134512640 135180984 3216516832 3085823792 134523821 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=15797/tid=15802] ppid=15795 vsize=98600 CPUtime=664.56
/proc/15797/task/15802/stat : 15802 (satake) R 15795 15797 17312 0 -1 4202560 6096 0 0 0 66285 171 0 0 25 0 5 0 1129154986 100966400 21905 4294967295 134512640 135180984 3216516832 3085758256 134523862 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1991.03
Current children cumulated vsize (KiB) 98600

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.04
CPU time (s): 1991.07
CPU user time (s): 1980.78
CPU system time (s): 10.29
CPU usage (%): 199.099
Max. virtual memory (cumulated for all children) (KiB): 98600

deleting IPC queue 10485760
deleting IPC queue 10518529
deleting IPC queue 10551298
deleting IPC queue 10584067
deleting IPC queue 10616836
deleting IPC queue 10649605
deleting IPC queue 10682374
deleting IPC queue 10715143
deleting IPC queue 10747912
deleting IPC queue 10780681
deleting IPC queue 10813450
deleting IPC queue 10846219
deleting IPC queue 10878988
deleting IPC queue 10911757
deleting IPC queue 10944526
deleting IPC queue 10977295

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

runsolver used 0 second user time and 0 second system time

The end

Launcher Data 

Begin job on  at 2009-05-30 02:55:22
IDJOB=1779580
IDBENCH=70878
IDSOLVER=629
FILE ID=/1779580-1243644922
PBS_JOBID=
Free space on /tmp= 7984 MiB

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

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

MD5SUM BENCH= c4b5df05f50ec97b624a18161f6d43b5
RANDOM SEED= 510427667

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:       3106536 kB
Buffers:         56760 kB
Cached:          98172 kB
SwapCached:          0 kB
Active:          80436 kB
Inactive:        96616 kB
HighTotal:     2489216 kB
HighFree:      2368640 kB
LowTotal:       879316 kB
LowFree:        737896 kB
SwapTotal:     1959888 kB
SwapFree:      1959840 kB
Dirty:            2516 kB
Writeback:           0 kB
AnonPages:       22136 kB
Mapped:           8200 kB
Slab:            74076 kB
SReclaimable:    61716 kB
SUnreclaim:      12360 kB
PageTables:        796 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:   123564 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 7984 MiB
End job on  at 2009-05-30 03:12:04