Trace number 1780720

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) 1979.85 1000.07

General information on the benchmark

NameAPPLICATIONS/diagnosis/
UR-20-10p1.cnf
MD5SUM6ace5cfbe110f1a43049037cb7432998
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 variables259234
Number of clauses1387934
Sum of the clauses size3351923
Maximum clause length10
Minimum clause length1
Number of clauses of size 113149
Number of clauses of size 2981661
Number of clauses of size 3327764
Number of clauses of size 47260
Number of clauses of size 529040
Number of clauses of size over 529060

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-1780720-1243649820/watcher-1780720-1243649820 -o /tmp/evaluation-result-1780720-1243649820/solver-1780720-1243649820 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1780720-1243649820.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.72 5.72 5.64 6/114 29136
/proc/meminfo: memFree=3136260/3368532 swapFree=1954888/1959888
[pid=29135] ppid=29133 vsize=968 CPUtime=0
/proc/29135/stat : 29135 (satake) R 29133 29135 8716 0 -1 4202496 109 0 0 0 0 0 0 0 20 0 2 0 1129646217 991232 65 4294967295 134512640 135180984 3218452656 3218452000 134705812 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/29135/statm: 242 65 54 164 0 77 0
[pid=29135/tid=29136] ppid=29133 vsize=968 CPUtime=0
/proc/29135/task/29136/stat : 29136 (satake) R 29133 29135 8716 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 2 0 1129646217 991232 65 4294967295 134512640 135180984 3218452656 3086848836 134705812 0 0 0 0 0 0 0 -1 3 0 0 0

[startup+0.037825 s]
/proc/loadavg: 5.72 5.72 5.64 6/114 29136
/proc/meminfo: memFree=3136260/3368532 swapFree=1954888/1959888
[pid=29135] ppid=29133 vsize=46308 CPUtime=0.05
/proc/29135/stat : 29135 (satake) S 29133 29135 8716 0 -1 4202496 6300 0 0 0 0 5 0 0 20 0 5 0 1129646217 47419392 6256 4294967295 134512640 135180984 3218452656 3218452092 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/29135/statm: 11577 6265 63 164 0 11412 0
[pid=29135/tid=29136] ppid=29133 vsize=46308 CPUtime=0
/proc/29135/task/29136/stat : 29136 (satake) S 29133 29135 8716 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 5 0 1129646217 47419392 6268 4294967295 134512640 135180984 3218452656 3086848016 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 46308

[startup+0.117773 s]
/proc/loadavg: 5.72 5.72 5.64 6/114 29136
/proc/meminfo: memFree=3136260/3368532 swapFree=1954888/1959888
[pid=29135] ppid=29133 vsize=95388 CPUtime=0.19
/proc/29135/stat : 29135 (satake) S 29133 29135 8716 0 -1 4202496 22919 0 0 0 3 16 0 0 20 0 5 0 1129646217 97677312 22863 4294967295 134512640 135180984 3218452656 3218452092 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/29135/statm: 23847 22863 63 164 0 23682 0
[pid=29135/tid=29136] ppid=29133 vsize=95388 CPUtime=0
/proc/29135/task/29136/stat : 29136 (satake) S 29133 29135 8716 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 5 0 1129646217 97677312 22863 4294967295 134512640 135180984 3218452656 3086848016 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) 95388

[startup+0.317748 s]
/proc/loadavg: 5.72 5.72 5.64 6/114 29136
/proc/meminfo: memFree=3136260/3368532 swapFree=1954888/1959888
[pid=29135] ppid=29133 vsize=175684 CPUtime=0.5
/proc/29135/stat : 29135 (satake) S 29133 29135 8716 0 -1 4202496 39199 0 0 0 27 23 0 0 20 0 5 0 1129646217 179900416 39134 4294967295 134512640 135180984 3218452656 3218452092 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/29135/statm: 43921 39134 63 164 0 43756 0
[pid=29135/tid=29136] ppid=29133 vsize=175684 CPUtime=0
/proc/29135/task/29136/stat : 29136 (satake) S 29133 29135 8716 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 5 0 1129646217 179900416 39134 4294967295 134512640 135180984 3218452656 3086848016 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 175684

[startup+0.717718 s]
/proc/loadavg: 5.72 5.72 5.64 6/114 29136
/proc/meminfo: memFree=3136260/3368532 swapFree=1954888/1959888
[pid=29135] ppid=29133 vsize=199228 CPUtime=1.28
/proc/29135/stat : 29135 (satake) S 29133 29135 8716 0 -1 4202496 45643 0 0 0 104 24 0 0 20 0 5 0 1129646217 204009472 45578 4294967295 134512640 135180984 3218452656 3218452092 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/29135/statm: 49807 45578 63 164 0 49642 0
[pid=29135/tid=29136] ppid=29133 vsize=199228 CPUtime=0
/proc/29135/task/29136/stat : 29136 (satake) S 29133 29135 8716 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 5 0 1129646217 204009472 45578 4294967295 134512640 135180984 3218452656 3086848016 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 199228

[startup+1.51765 s]
/proc/loadavg: 5.72 5.72 5.64 6/118 29140
/proc/meminfo: memFree=2939588/3368532 swapFree=1954888/1959888
[pid=29135] ppid=29133 vsize=244068 CPUtime=2.75
/proc/29135/stat : 29135 (satake) S 29133 29135 8716 0 -1 4202496 57000 0 0 0 247 28 0 0 20 0 5 0 1129646217 249925632 56935 4294967295 134512640 135180984 3218452656 3218452092 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/29135/statm: 61017 56936 63 164 0 60852 0
[pid=29135/tid=29136] ppid=29133 vsize=244068 CPUtime=0
/proc/29135/task/29136/stat : 29136 (satake) S 29133 29135 8716 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 5 0 1129646217 249925632 56936 4294967295 134512640 135180984 3218452656 3086848016 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=29135/tid=29138] ppid=29133 vsize=244068 CPUtime=1
/proc/29135/task/29138/stat : 29138 (satake) R 29133 29135 8716 0 -1 4202560 19085 0 0 0 89 11 0 0 22 0 5 0 1129646218 249925632 56936 4294967295 134512640 135180984 3218452656 3086782768 134534894 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=29135/tid=29139] ppid=29133 vsize=244068 CPUtime=0.51
/proc/29135/task/29139/stat : 29139 (satake) R 29133 29135 8716 0 -1 4202560 15609 0 0 0 44 7 0 0 19 0 5 0 1129646218 249925632 56936 4294967295 134512640 135180984 3218452656 3086717232 134535247 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=29135/tid=29140] ppid=29133 vsize=244068 CPUtime=1.24
/proc/29135/task/29140/stat : 29140 (satake) R 29133 29135 8716 0 -1 4202560 22189 0 0 0 114 10 0 0 15 0 5 0 1129646218 249925632 56937 4294967295 134512640 135180984 3218452656 3086651364 134675767 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.75
Current children cumulated vsize (KiB) 244068

[startup+3.11752 s]
/proc/loadavg: 5.72 5.72 5.64 6/118 29140
/proc/meminfo: memFree=2914576/3368532 swapFree=1954888/1959888
[pid=29135] ppid=29133 vsize=236416 CPUtime=5.85
/proc/29135/stat : 29135 (satake) S 29133 29135 8716 0 -1 4202496 67446 0 0 0 551 34 0 0 20 0 5 0 1129646217 242089984 54219 4294967295 134512640 135180984 3218452656 3218452092 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/29135/statm: 59104 54219 66 164 0 58939 0
[pid=29135/tid=29136] ppid=29133 vsize=236416 CPUtime=0
/proc/29135/task/29136/stat : 29136 (satake) S 29133 29135 8716 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 5 0 1129646217 242089984 54219 4294967295 134512640 135180984 3218452656 3086848016 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=29135/tid=29138] ppid=29133 vsize=236416 CPUtime=1
/proc/29135/task/29138/stat : 29138 (satake) R 29133 29135 8716 0 -1 4202560 19114 0 0 0 89 11 0 0 22 0 5 0 1129646218 242089984 54219 4294967295 134512640 135180984 3218452656 3086782768 134534996 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=29135/tid=29139] ppid=29133 vsize=236416 CPUtime=2.06
/proc/29135/task/29139/stat : 29139 (satake) R 29133 29135 8716 0 -1 4202560 23193 0 0 0 194 12 0 0 16 0 5 0 1129646218 242089984 54219 4294967295 134512640 135180984 3218452656 3086716784 134528401 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=29135/tid=29140] ppid=29133 vsize=236416 CPUtime=2.79
/proc/29135/task/29140/stat : 29140 (satake) R 29133 29135 8716 0 -1 4202560 25020 0 0 0 268 11 0 0 16 0 5 0 1129646218 242089984 54219 4294967295 134512640 135180984 3218452656 3086651248 134528576 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.85
Current children cumulated vsize (KiB) 236416

[startup+6.31723 s]
/proc/loadavg: 5.66 5.71 5.63 7/118 29144
/proc/meminfo: memFree=2909340/3368532 swapFree=1954888/1959888
[pid=29135] ppid=29133 vsize=246912 CPUtime=12.56
/proc/29135/stat : 29135 (satake) S 29133 29135 8716 0 -1 4202496 76678 0 0 0 1213 43 0 0 20 0 5 0 1129646217 252837888 56870 4294967295 134512640 135180984 3218452656 3218452092 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/29135/statm: 61728 56870 68 164 0 61563 0
[pid=29135/tid=29136] ppid=29133 vsize=246912 CPUtime=0.1
/proc/29135/task/29136/stat : 29136 (satake) S 29133 29135 8716 0 -1 4202560 4414 0 0 0 4 6 0 0 16 0 5 0 1129646217 252837888 56870 4294967295 134512640 135180984 3218452656 3086848020 134580588 0 0 0 0 3223036975 0 0 -1 1 0 0 0
[pid=29135/tid=29138] ppid=29133 vsize=246912 CPUtime=2.37
/proc/29135/task/29138/stat : 29138 (satake) R 29133 29135 8716 0 -1 4202560 23718 0 0 0 226 11 0 0 25 0 5 0 1129646218 252837888 56870 4294967295 134512640 135180984 3218452656 3086782124 134706407 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=29135/tid=29139] ppid=29133 vsize=246912 CPUtime=5.17
/proc/29135/task/29139/stat : 29139 (satake) R 29133 29135 8716 0 -1 4202560 23394 0 0 0 503 14 0 0 18 0 5 0 1129646218 252837888 56870 4294967295 134512640 135180984 3218452656 3086716688 134525171 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=29135/tid=29140] ppid=29133 vsize=246912 CPUtime=4.92
/proc/29135/task/29140/stat : 29140 (satake) R 29133 29135 8716 0 -1 4202560 25040 0 0 0 480 12 0 0 17 0 5 0 1129646218 252837888 56870 4294967295 134512640 135180984 3218452656 3086651240 134520863 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 246912

[startup+12.7167 s]
/proc/loadavg: 5.69 5.71 5.63 6/118 29156
/proc/meminfo: memFree=2908132/3368532 swapFree=1954888/1959888
[pid=29135] ppid=29133 vsize=247580 CPUtime=25.24
/proc/29135/stat : 29135 (satake) S 29133 29135 8716 0 -1 4202496 76842 0 0 0 2469 55 0 0 20 0 5 0 1129646217 253521920 57034 4294967295 134512640 135180984 3218452656 3218452092 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/29135/statm: 61895 57034 68 164 0 61730 0
[pid=29135/tid=29136] ppid=29133 vsize=247580 CPUtime=0.19
/proc/29135/task/29136/stat : 29136 (satake) S 29133 29135 8716 0 -1 4202560 4421 0 0 0 6 13 0 0 16 0 5 0 1129646217 253521920 57034 4294967295 134512640 135180984 3218452656 3086848016 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=29135/tid=29138] ppid=29133 vsize=247580 CPUtime=5.31
/proc/29135/task/29138/stat : 29138 (satake) R 29133 29135 8716 0 -1 4202560 23802 0 0 0 519 12 0 0 25 0 5 0 1129646218 253521920 57034 4294967295 134512640 135180984 3218452656 3086782312 134520863 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=29135/tid=29139] ppid=29133 vsize=247580 CPUtime=9.99
/proc/29135/task/29139/stat : 29139 (satake) R 29133 29135 8716 0 -1 4202560 23421 0 0 0 983 16 0 0 25 0 5 0 1129646218 253521920 57034 4294967295 134512640 135180984 3218452656 3086716576 134580407 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=29135/tid=29140] ppid=29133 vsize=247580 CPUtime=9.75
/proc/29135/task/29140/stat : 29140 (satake) R 29133 29135 8716 0 -1 4202560 25086 0 0 0 961 14 0 0 25 0 5 0 1129646218 253521920 57034 4294967295 134512640 135180984 3218452656 3086651244 134519884 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 247580

[startup+25.5156 s]
/proc/loadavg: 5.76 5.73 5.64 6/118 29361
/proc/meminfo: memFree=2904576/3368532 swapFree=1954888/1959888
[pid=29135] ppid=29133 vsize=250496 CPUtime=49.95
/proc/29135/stat : 29135 (satake) S 29133 29135 8716 0 -1 4202496 77610 0 0 0 4923 72 0 0 20 0 5 0 1129646217 256507904 57802 4294967295 134512640 135180984 3218452656 3218452092 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/29135/statm: 62624 57802 68 164 0 62459 0
[pid=29135/tid=29136] ppid=29133 vsize=250496 CPUtime=0.36
/proc/29135/task/29136/stat : 29136 (satake) S 29133 29135 8716 0 -1 4202560 4429 0 0 0 10 26 0 0 15 0 5 0 1129646217 256507904 57802 4294967295 134512640 135180984 3218452656 3086848016 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=29135/tid=29138] ppid=29133 vsize=250496 CPUtime=13.19
/proc/29135/task/29138/stat : 29138 (satake) R 29133 29135 8716 0 -1 4202560 24040 0 0 0 1307 12 0 0 25 0 5 0 1129646218 256507904 57802 4294967295 134512640 135180984 3218452656 3086782224 134525198 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=29135/tid=29139] ppid=29133 vsize=250496 CPUtime=17.97
/proc/29135/task/29139/stat : 29139 (satake) R 29133 29135 8716 0 -1 4202560 23744 0 0 0 1781 16 0 0 25 0 5 0 1129646218 256507904 57802 4294967295 134512640 135180984 3218452656 3086716848 134532451 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=29135/tid=29140] ppid=29133 vsize=250496 CPUtime=18.43
/proc/29135/task/29140/stat : 29140 (satake) R 29133 29135 8716 0 -1 4202560 25285 0 0 0 1825 18 0 0 25 0 5 0 1129646218 256507904 57802 4294967295 134512640 135180984 3218452656 3086651040 134580407 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 49.95
Current children cumulated vsize (KiB) 250496

[startup+51.1134 s]
/proc/loadavg: 5.65 5.70 5.63 7/118 29404
/proc/meminfo: memFree=2897968/3368532 swapFree=1954888/1959888
[pid=29135] ppid=29133 vsize=258356 CPUtime=100.76
/proc/29135/stat : 29135 (satake) S 29133 29135 8716 0 -1 4202496 79481 0 0 0 9972 104 0 0 20 0 5 0 1129646217 264556544 59673 4294967295 134512640 135180984 3218452656 3218452092 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/29135/statm: 64589 59673 68 164 0 64424 0
[pid=29135/tid=29136] ppid=29133 vsize=258356 CPUtime=0.59
/proc/29135/task/29136/stat : 29136 (satake) S 29133 29135 8716 0 -1 4202560 4500 0 0 0 16 43 0 0 15 0 5 0 1129646217 264556544 59673 4294967295 134512640 135180984 3218452656 3086848016 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=29135/tid=29138] ppid=29133 vsize=258356 CPUtime=30.62
/proc/29135/task/29138/stat : 29138 (satake) R 29133 29135 8716 0 -1 4202560 24636 0 0 0 3044 18 0 0 25 0 5 0 1129646218 264556544 59673 4294967295 134512640 135180984 3218452656 3086782220 134519094 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=29135/tid=29139] ppid=29133 vsize=258356 CPUtime=35.33
/proc/29135/task/29139/stat : 29139 (satake) R 29133 29135 8716 0 -1 4202560 24477 0 0 0 3514 19 0 0 25 0 5 0 1129646218 264556544 59673 4294967295 134512640 135180984 3218452656 3086716784 134528592 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=29135/tid=29140] ppid=29133 vsize=258356 CPUtime=34.22
/proc/29135/task/29140/stat : 29140 (satake) R 29133 29135 8716 0 -1 4202560 25756 0 0 0 3398 24 0 0 25 0 5 0 1129646218 264556544 59673 4294967295 134512640 135180984 3218452656 3086651240 134519919 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 100.76
Current children cumulated vsize (KiB) 258356

[startup+102.309 s]
/proc/loadavg: 5.69 5.70 5.63 6/120 29666
/proc/meminfo: memFree=2874752/3368532 swapFree=1954888/1959888
[pid=29135] ppid=29133 vsize=278696 CPUtime=201.6
/proc/29135/stat : 29135 (satake) S 29133 29135 8716 0 -1 4202496 84827 0 0 0 20015 145 0 0 20 0 5 0 1129646217 285384704 65019 4294967295 134512640 135180984 3218452656 3218452092 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/29135/statm: 69674 65019 68 164 0 69509 0
[pid=29135/tid=29136] ppid=29133 vsize=278696 CPUtime=0.9
/proc/29135/task/29136/stat : 29136 (satake) S 29133 29135 8716 0 -1 4202560 4630 0 0 0 30 60 0 0 15 0 5 0 1129646217 285384704 65019 4294967295 134512640 135180984 3218452656 3086848016 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=29135/tid=29138] ppid=29133 vsize=278696 CPUtime=62.66
/proc/29135/task/29138/stat : 29138 (satake) R 29133 29135 8716 0 -1 4202560 26552 0 0 0 6237 29 0 0 25 0 5 0 1129646218 285384704 65019 4294967295 134512640 135180984 3218452656 3086782272 134522980 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=29135/tid=29139] ppid=29133 vsize=278696 CPUtime=73.04
/proc/29135/task/29139/stat : 29139 (satake) R 29133 29135 8716 0 -1 4202560 26219 0 0 0 7278 26 0 0 25 0 5 0 1129646218 285384704 65019 4294967295 134512640 135180984 3218452656 3086716576 134580407 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=29135/tid=29140] ppid=29133 vsize=278696 CPUtime=65
/proc/29135/task/29140/stat : 29140 (satake) R 29133 29135 8716 0 -1 4202560 27314 0 0 0 6470 30 0 0 25 0 5 0 1129646218 285384704 65019 4294967295 134512640 135180984 3218452656 3086651248 134528054 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 201.6
Current children cumulated vsize (KiB) 278696

[startup+162.304 s]
/proc/loadavg: 5.67 5.69 5.63 6/118 29937
/proc/meminfo: memFree=2849964/3368532 swapFree=1954888/1959888
[pid=29135] ppid=29133 vsize=305296 CPUtime=319.97
/proc/29135/stat : 29135 (satake) S 29133 29135 8716 0 -1 4202496 91466 0 0 0 31808 189 0 0 20 0 5 0 1129646217 312623104 71658 4294967295 134512640 135180984 3218452656 3218452092 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/29135/statm: 76324 71658 68 164 0 76159 0
[pid=29135/tid=29136] ppid=29133 vsize=305296 CPUtime=1.17
/proc/29135/task/29136/stat : 29136 (satake) S 29133 29135 8716 0 -1 4202560 4743 0 0 0 41 76 0 0 15 0 5 0 1129646217 312623104 71658 4294967295 134512640 135180984 3218452656 3086848016 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=29135/tid=29138] ppid=29133 vsize=305296 CPUtime=101.15
/proc/29135/task/29138/stat : 29138 (satake) R 29133 29135 8716 0 -1 4202560 29565 0 0 0 10074 41 0 0 25 0 5 0 1129646218 312623104 71658 4294967295 134512640 135180984 3218452656 3086782312 134520886 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=29135/tid=29139] ppid=29133 vsize=305296 CPUtime=112.05
/proc/29135/task/29139/stat : 29139 (satake) R 29133 29135 8716 0 -1 4202560 27916 0 0 0 11169 36 0 0 25 0 5 0 1129646218 312623104 71658 4294967295 134512640 135180984 3218452656 3086716588 134706407 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=29135/tid=29140] ppid=29133 vsize=305296 CPUtime=105.6
/proc/29135/task/29140/stat : 29140 (satake) R 29133 29135 8716 0 -1 4202560 29130 0 0 0 10524 36 0 0 25 0 5 0 1129646218 312623104 71658 4294967295 134512640 135180984 3218452656 3086651120 134522683 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 319.97

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

[pid=29135/tid=29138] ppid=29133 vsize=465808 CPUtime=329.05
/proc/29135/task/29138/stat : 29138 (satake) R 29133 29135 8716 0 -1 4202560 45042 0 0 0 32843 62 0 0 25 0 5 0 1129646218 476987392 111554 4294967295 134512640 135180984 3218452656 3086782320 134528267 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=29135/tid=29139] ppid=29133 vsize=465808 CPUtime=348.84
/proc/29135/task/29139/stat : 29139 (satake) R 29133 29135 8716 0 -1 4202560 40503 0 0 0 34823 61 0 0 25 0 5 0 1129646218 476987392 111554 4294967295 134512640 135180984 3218452656 3086716780 134518218 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=29135/tid=29140] ppid=29133 vsize=465808 CPUtime=352.99
/proc/29135/task/29140/stat : 29140 (satake) R 29133 29135 8716 0 -1 4202560 40616 0 0 0 35233 66 0 0 25 0 5 0 1129646218 476987392 111554 4294967295 134512640 135180984 3218452656 3086651152 134524657 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1032.82
Current children cumulated vsize (KiB) 465808

[startup+582.308 s]
/proc/loadavg: 5.63 5.67 5.63 6/120 31889
/proc/meminfo: memFree=2659740/3368532 swapFree=1954888/1959888
[pid=29135] ppid=29133 vsize=494820 CPUtime=1151.72
/proc/29135/stat : 29135 (satake) S 29133 29135 8716 0 -1 4202496 138522 0 0 0 114845 327 0 0 20 0 5 0 1129646217 506695680 118714 4294967295 134512640 135180984 3218452656 3218452092 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/29135/statm: 123705 118714 68 164 0 123540 0
[pid=29135/tid=29136] ppid=29133 vsize=494820 CPUtime=2.04
/proc/29135/task/29136/stat : 29136 (satake) S 29133 29135 8716 0 -1 4202560 5130 0 0 0 81 123 0 0 15 0 5 0 1129646217 506695680 118714 4294967295 134512640 135180984 3218452656 3086848016 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=29135/tid=29138] ppid=29133 vsize=494820 CPUtime=367.38
/proc/29135/task/29138/stat : 29138 (satake) R 29133 29135 8716 0 -1 4202560 47664 0 0 0 36672 66 0 0 25 0 5 0 1129646218 506695680 118714 4294967295 134512640 135180984 3218452656 3086782192 134522714 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=29135/tid=29139] ppid=29133 vsize=494820 CPUtime=389.24
/proc/29135/task/29139/stat : 29139 (satake) R 29133 29135 8716 0 -1 4202560 43035 0 0 0 38860 64 0 0 25 0 5 0 1129646218 506695680 118714 4294967295 134512640 135180984 3218452656 3086716588 134706407 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=29135/tid=29140] ppid=29133 vsize=494820 CPUtime=393.06
/proc/29135/task/29140/stat : 29140 (satake) R 29133 29135 8716 0 -1 4202560 42581 0 0 0 39232 74 0 0 25 0 5 0 1129646218 506695680 118714 4294967295 134512640 135180984 3218452656 3086651248 134528993 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1151.72
Current children cumulated vsize (KiB) 494820

[startup+642.312 s]
/proc/loadavg: 5.79 5.70 5.64 6/118 32161
/proc/meminfo: memFree=2634436/3368532 swapFree=1954888/1959888
[pid=29135] ppid=29133 vsize=520048 CPUtime=1270.78
/proc/29135/stat : 29135 (satake) S 29133 29135 8716 0 -1 4202496 145033 0 0 0 126731 347 0 0 20 0 5 0 1129646217 532529152 125225 4294967295 134512640 135180984 3218452656 3218452092 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/29135/statm: 130012 125225 68 164 0 129847 0
[pid=29135/tid=29136] ppid=29133 vsize=520048 CPUtime=2.13
/proc/29135/task/29136/stat : 29136 (satake) S 29133 29135 8716 0 -1 4202560 5163 0 0 0 84 129 0 0 15 0 5 0 1129646217 532529152 125225 4294967295 134512640 135180984 3218452656 3086848016 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=29135/tid=29138] ppid=29133 vsize=520048 CPUtime=404.8
/proc/29135/task/29138/stat : 29138 (satake) R 29133 29135 8716 0 -1 4202560 50045 0 0 0 40412 68 0 0 25 0 5 0 1129646218 532529152 125225 4294967295 134512640 135180984 3218452656 3086782320 134528209 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=29135/tid=29139] ppid=29133 vsize=520048 CPUtime=430.45
/proc/29135/task/29139/stat : 29139 (satake) R 29133 29135 8716 0 -1 4202560 45215 0 0 0 42977 68 0 0 25 0 5 0 1129646218 532529152 125225 4294967295 134512640 135180984 3218452656 3086716576 134580407 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=29135/tid=29140] ppid=29133 vsize=520048 CPUtime=433.4
/proc/29135/task/29140/stat : 29140 (satake) R 29133 29135 8716 0 -1 4202560 44498 0 0 0 43258 82 0 0 25 0 5 0 1129646218 532529152 125225 4294967295 134512640 135180984 3218452656 3086651148 134522603 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1270.78
Current children cumulated vsize (KiB) 520048

[startup+702.307 s]
/proc/loadavg: 5.67 5.68 5.64 6/118 32437
/proc/meminfo: memFree=2608368/3368532 swapFree=1954888/1959888
[pid=29135] ppid=29133 vsize=545220 CPUtime=1389.77
/proc/29135/stat : 29135 (satake) S 29133 29135 8716 0 -1 4202496 151541 0 0 0 138617 360 0 0 20 0 5 0 1129646217 558305280 131733 4294967295 134512640 135180984 3218452656 3218452092 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/29135/statm: 136305 131733 68 164 0 136140 0
[pid=29135/tid=29136] ppid=29133 vsize=545220 CPUtime=2.25
/proc/29135/task/29136/stat : 29136 (satake) S 29133 29135 8716 0 -1 4202560 5190 0 0 0 90 135 0 0 15 0 5 0 1129646217 558305280 131733 4294967295 134512640 135180984 3218452656 3086848016 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=29135/tid=29138] ppid=29133 vsize=545220 CPUtime=444.09
/proc/29135/task/29138/stat : 29138 (satake) R 29133 29135 8716 0 -1 4202560 52646 0 0 0 44336 73 0 0 25 0 5 0 1129646218 558305280 131733 4294967295 134512640 135180984 3218452656 3086782320 134528428 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=29135/tid=29139] ppid=29133 vsize=545220 CPUtime=468.27
/proc/29135/task/29139/stat : 29139 (satake) R 29133 29135 8716 0 -1 4202560 46944 0 0 0 46757 70 0 0 25 0 5 0 1129646218 558305280 131733 4294967295 134512640 135180984 3218452656 3086716784 134526964 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=29135/tid=29140] ppid=29133 vsize=545220 CPUtime=475.16
/proc/29135/task/29140/stat : 29140 (satake) R 29133 29135 8716 0 -1 4202560 46649 0 0 0 47434 82 0 0 25 0 5 0 1129646218 558305280 131733 4294967295 134512640 135180984 3218452656 3086651040 134580407 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1389.77
Current children cumulated vsize (KiB) 545220

[startup+762.322 s]
/proc/loadavg: 5.89 5.72 5.65 6/118 32712
/proc/meminfo: memFree=2580188/3368532 swapFree=1954888/1959888
[pid=29135] ppid=29133 vsize=574260 CPUtime=1508.53
/proc/29135/stat : 29135 (satake) S 29133 29135 8716 0 -1 4202496 158626 0 0 0 150473 380 0 0 20 0 5 0 1129646217 588042240 138818 4294967295 134512640 135180984 3218452656 3218452092 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/29135/statm: 143565 138818 68 164 0 143400 0
[pid=29135/tid=29136] ppid=29133 vsize=574260 CPUtime=2.3
/proc/29135/task/29136/stat : 29136 (satake) S 29133 29135 8716 0 -1 4202560 5234 0 0 0 91 139 0 0 15 0 5 0 1129646217 588042240 138818 4294967295 134512640 135180984 3218452656 3086848016 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=29135/tid=29138] ppid=29133 vsize=574260 CPUtime=483.95
/proc/29135/task/29138/stat : 29138 (satake) R 29133 29135 8716 0 -1 4202560 55427 0 0 0 48321 74 0 0 25 0 5 0 1129646218 588042240 138818 4294967295 134512640 135180984 3218452656 3086782220 134519082 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=29135/tid=29139] ppid=29133 vsize=574260 CPUtime=507.52
/proc/29135/task/29139/stat : 29139 (satake) R 29133 29135 8716 0 -1 4202560 49048 0 0 0 50675 77 0 0 25 0 5 0 1129646218 588042240 138818 4294967295 134512640 135180984 3218452656 3086716588 134706407 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=29135/tid=29140] ppid=29133 vsize=574260 CPUtime=514.76
/proc/29135/task/29140/stat : 29140 (satake) R 29133 29135 8716 0 -1 4202560 48806 0 0 0 51386 90 0 0 25 0 5 0 1129646218 588042240 138819 4294967295 134512640 135180984 3218452656 3086650964 134675767 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1508.53
Current children cumulated vsize (KiB) 574260

[startup+822.317 s]
/proc/loadavg: 5.87 5.74 5.66 6/118 525
/proc/meminfo: memFree=2551188/3368532 swapFree=1954888/1959888
[pid=29135] ppid=29133 vsize=603628 CPUtime=1627.32
/proc/29135/stat : 29135 (satake) S 29133 29135 8716 0 -1 4202496 165942 0 0 0 162336 396 0 0 20 0 5 0 1129646217 618115072 146134 4294967295 134512640 135180984 3218452656 3218452092 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/29135/statm: 150907 146134 68 164 0 150742 0
[pid=29135/tid=29136] ppid=29133 vsize=603628 CPUtime=2.4
/proc/29135/task/29136/stat : 29136 (satake) S 29133 29135 8716 0 -1 4202560 5265 0 0 0 95 145 0 0 15 0 5 0 1129646217 618115072 146134 4294967295 134512640 135180984 3218452656 3086848016 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=29135/tid=29138] ppid=29133 vsize=603628 CPUtime=517.54
/proc/29135/task/29138/stat : 29138 (satake) R 29133 29135 8716 0 -1 4202560 57788 0 0 0 51679 75 0 0 25 0 5 0 1129646218 618115072 146134 4294967295 134512640 135180984 3218452656 3086782320 134528211 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=29135/tid=29139] ppid=29133 vsize=603628 CPUtime=550.37
/proc/29135/task/29139/stat : 29139 (satake) R 29133 29135 8716 0 -1 4202560 51488 0 0 0 54955 82 0 0 25 0 5 0 1129646218 618115072 146134 4294967295 134512640 135180984 3218452656 3086716784 134528881 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=29135/tid=29140] ppid=29133 vsize=603628 CPUtime=557.01
/proc/29135/task/29140/stat : 29140 (satake) R 29133 29135 8716 0 -1 4202560 51289 0 0 0 55607 94 0 0 25 0 5 0 1129646218 618115072 146134 4294967295 134512640 135180984 3218452656 3086651152 134525177 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1627.32
Current children cumulated vsize (KiB) 603628

[startup+882.312 s]
/proc/loadavg: 5.75 5.73 5.66 6/118 802
/proc/meminfo: memFree=2523604/3368532 swapFree=1954888/1959888
[pid=29135] ppid=29133 vsize=630900 CPUtime=1746.34
/proc/29135/stat : 29135 (satake) S 29133 29135 8716 0 -1 4202496 172662 0 0 0 174227 407 0 0 20 0 5 0 1129646217 646041600 152854 4294967295 134512640 135180984 3218452656 3218452092 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/29135/statm: 157725 152854 68 164 0 157560 0
[pid=29135/tid=29136] ppid=29133 vsize=630900 CPUtime=2.42
/proc/29135/task/29136/stat : 29136 (satake) S 29133 29135 8716 0 -1 4202560 5284 0 0 0 96 146 0 0 15 0 5 0 1129646217 646041600 152854 4294967295 134512640 135180984 3218452656 3086848016 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=29135/tid=29138] ppid=29133 vsize=630900 CPUtime=554.55
/proc/29135/task/29138/stat : 29138 (satake) R 29133 29135 8716 0 -1 4202560 60151 0 0 0 55376 79 0 0 25 0 5 0 1129646218 646041600 152854 4294967295 134512640 135180984 3218452656 3086782216 134519077 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=29135/tid=29139] ppid=29133 vsize=630900 CPUtime=589.43
/proc/29135/task/29139/stat : 29139 (satake) R 29133 29135 8716 0 -1 4202560 53346 0 0 0 58859 84 0 0 25 0 5 0 1129646218 646041600 152854 4294967295 134512640 135180984 3218452656 3086716656 134522701 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=29135/tid=29140] ppid=29133 vsize=630900 CPUtime=599.94
/proc/29135/task/29140/stat : 29140 (satake) R 29133 29135 8716 0 -1 4202560 53769 0 0 0 59896 98 0 0 25 0 5 0 1129646218 646041600 152854 4294967295 134512640 135180984 3218452656 3086651248 134528211 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1746.34
Current children cumulated vsize (KiB) 630900

[startup+942.307 s]
/proc/loadavg: 5.98 5.79 5.68 6/118 1090
/proc/meminfo: memFree=2502216/3368532 swapFree=1954888/1959888
[pid=29135] ppid=29133 vsize=652372 CPUtime=1865.17
/proc/29135/stat : 29135 (satake) S 29133 29135 8716 0 -1 4202496 178098 0 0 0 186098 419 0 0 20 0 5 0 1129646217 668028928 158290 4294967295 134512640 135180984 3218452656 3218452092 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/29135/statm: 163093 158290 68 164 0 162928 0
[pid=29135/tid=29136] ppid=29133 vsize=652372 CPUtime=2.45
/proc/29135/task/29136/stat : 29136 (satake) S 29133 29135 8716 0 -1 4202560 5304 0 0 0 96 149 0 0 16 0 5 0 1129646217 668028928 158290 4294967295 134512640 135180984 3218452656 3086848016 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=29135/tid=29138] ppid=29133 vsize=652372 CPUtime=592.12
/proc/29135/task/29138/stat : 29138 (satake) R 29133 29135 8716 0 -1 4202560 62333 0 0 0 59130 82 0 0 25 0 5 0 1129646218 668028928 158290 4294967295 134512640 135180984 3218452656 3086782336 134518634 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=29135/tid=29139] ppid=29133 vsize=652372 CPUtime=630.1
/proc/29135/task/29139/stat : 29139 (satake) R 29133 29135 8716 0 -1 4202560 55135 0 0 0 62923 87 0 0 25 0 5 0 1129646218 668028928 158290 4294967295 134512640 135180984 3218452656 3086716656 134522714 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=29135/tid=29140] ppid=29133 vsize=652372 CPUtime=640.5
/proc/29135/task/29140/stat : 29140 (satake) R 29133 29135 8716 0 -1 4202560 55214 0 0 0 63949 101 0 0 25 0 5 0 1129646218 668028928 158290 4294967295 134512640 135180984 3218452656 3086651040 134580407 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1865.17
Current children cumulated vsize (KiB) 652372



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.01 s]
/proc/loadavg: 6.01 5.82 5.69 6/118 1364
/proc/meminfo: memFree=2474904/3368532 swapFree=1954888/1959888
[pid=29135] ppid=29133 vsize=679024 CPUtime=1979.78
/proc/29135/stat : 29135 (satake) S 29133 29135 8716 0 -1 4202496 184693 0 0 0 197542 436 0 0 20 0 5 0 1129646217 695320576 164885 4294967295 134512640 135180984 3218452656 3218452092 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/29135/statm: 169756 164885 68 164 0 169591 0
[pid=29135/tid=29136] ppid=29133 vsize=679024 CPUtime=2.53
/proc/29135/task/29136/stat : 29136 (satake) S 29133 29135 8716 0 -1 4202560 5332 0 0 0 101 152 0 0 15 0 5 0 1129646217 695320576 164885 4294967295 134512640 135180984 3218452656 3086848016 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=29135/tid=29138] ppid=29133 vsize=679024 CPUtime=637.05
/proc/29135/task/29138/stat : 29138 (satake) R 29133 29135 8716 0 -1 4202560 65212 0 0 0 63619 86 0 0 25 0 5 0 1129646218 695320576 164885 4294967295 134512640 135180984 3218452656 3086782320 134528984 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=29135/tid=29139] ppid=29133 vsize=679024 CPUtime=665.78
/proc/29135/task/29139/stat : 29139 (satake) R 29133 29135 8716 0 -1 4202560 57088 0 0 0 66487 91 0 0 25 0 5 0 1129646218 695320576 164885 4294967295 134512640 135180984 3218452656 3086716688 134525462 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=29135/tid=29140] ppid=29133 vsize=679024 CPUtime=674.42
/proc/29135/task/29140/stat : 29140 (satake) R 29133 29135 8716 0 -1 4202560 56949 0 0 0 67335 107 0 0 25 0 5 0 1129646218 695320576 164885 4294967295 134512640 135180984 3218452656 3086651248 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1979.78
Current children cumulated vsize (KiB) 679024

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): 1979.85
CPU user time (s): 1975.46
CPU system time (s): 4.39
CPU usage (%): 197.971
Max. virtual memory (cumulated for all children) (KiB): 679024

deleting IPC queue 16777216
deleting IPC queue 16809985
deleting IPC queue 16842754
deleting IPC queue 16875523
deleting IPC queue 16908292
deleting IPC queue 16941061
deleting IPC queue 16973830
deleting IPC queue 17006599
deleting IPC queue 17039368
deleting IPC queue 17072137
deleting IPC queue 17104906
deleting IPC queue 17137675
deleting IPC queue 17170444
deleting IPC queue 17203213
deleting IPC queue 17235982
deleting IPC queue 17268751

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

runsolver used 0 second user time and 0 second system time

The end

Launcher Data 

Begin job on  at 2009-05-30 04:17:00
IDJOB=1780720
IDBENCH=71055
IDSOLVER=629
FILE ID=/1780720-1243649820
PBS_JOBID=
Free space on /tmp= 15856 MiB

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

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

MD5SUM BENCH= 6ace5cfbe110f1a43049037cb7432998
RANDOM SEED= 1611564512

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.105
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.43
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.105
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.11
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.105
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.105
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.15
clflush size	: 64


/proc/meminfo:
MemTotal:      3368532 kB
MemFree:       3136464 kB
Buffers:         14756 kB
Cached:         142400 kB
SwapCached:        720 kB
Active:          79340 kB
Inactive:        93880 kB
HighTotal:     2489216 kB
HighFree:      2327364 kB
LowTotal:       879316 kB
LowFree:        809100 kB
SwapTotal:     1959888 kB
SwapFree:      1954888 kB
Dirty:           27616 kB
Writeback:           0 kB
AnonPages:       14920 kB
Mapped:           6172 kB
Slab:            48956 kB
SReclaimable:    41268 kB
SUnreclaim:       7688 kB
PageTables:        740 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:   117260 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 15856 MiB
End job on  at 2009-05-30 04:33:44