Trace number 1780615

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) 3002.17 1000.09

General information on the benchmark

NameAPPLICATIONS/diagnosis/
UTI-20-10p0.cnf
MD5SUM209f7789e3588d11f275f2003f2c6a67
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark3581.48
Satisfiable
(Un)Satisfiability was proved
Number of variables259616
Number of clauses1374599
Sum of the clauses size3310772
Maximum clause length10
Minimum clause length1
Number of clauses of size 113149
Number of clauses of size 2982807
Number of clauses of size 3313283
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-1780615-1243649132/watcher-1780615-1243649132 -o /tmp/evaluation-result-1780615-1243649132/solver-1780615-1243649132 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1780615-1243649132.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: 2.85 2.97 2.99 3/99 23790
/proc/meminfo: memFree=3055320/3368532 swapFree=1959840/1959888
[pid=23789] ppid=23787 vsize=964 CPUtime=0
/proc/23789/stat : 23789 (satake) R 23787 23789 30957 0 -1 4202496 107 0 0 0 0 0 0 0 20 0 2 0 946490166 987136 64 4294967295 134512640 135180984 3220976416 3220975760 134705812 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/23789/statm: 241 64 54 164 0 76 0
[pid=23789/tid=23790] ppid=23787 vsize=964 CPUtime=0
/proc/23789/task/23790/stat : 23790 (satake) R 23787 23789 30957 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 2 0 946490166 987136 64 4294967295 134512640 135180984 3220976416 3086410564 134705812 0 0 0 0 0 0 0 -1 2 0 0 0

[startup+0.05468 s]
/proc/loadavg: 2.85 2.97 2.99 3/99 23790
/proc/meminfo: memFree=3055320/3368532 swapFree=1959840/1959888
[pid=23789] ppid=23787 vsize=83168 CPUtime=0.11
/proc/23789/stat : 23789 (satake) S 23787 23789 30957 0 -1 4202496 14539 0 0 0 0 11 0 0 20 0 5 0 946490166 85164032 14497 4294967295 134512640 135180984 3220976416 3220975852 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/23789/statm: 20792 14513 63 164 0 20627 0
[pid=23789/tid=23790] ppid=23787 vsize=83168 CPUtime=0
/proc/23789/task/23790/stat : 23790 (satake) S 23787 23789 30957 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 5 0 946490166 85164032 14518 4294967295 134512640 135180984 3220976416 3086409744 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 83168

[startup+0.114678 s]
/proc/loadavg: 2.85 2.97 2.99 3/99 23790
/proc/meminfo: memFree=3055320/3368532 swapFree=1959840/1959888
[pid=23789] ppid=23787 vsize=124968 CPUtime=0.28
/proc/23789/stat : 23789 (satake) S 23787 23789 30957 0 -1 4202496 28675 0 0 0 8 20 0 0 20 0 5 0 946490166 127967232 28613 4294967295 134512640 135180984 3220976416 3220975852 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/23789/statm: 31242 28619 63 164 0 31077 0
[pid=23789/tid=23790] ppid=23787 vsize=124968 CPUtime=0
/proc/23789/task/23790/stat : 23790 (satake) S 23787 23789 30957 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 5 0 946490166 127967232 28621 4294967295 134512640 135180984 3220976416 3086409744 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 124968

[startup+0.314652 s]
/proc/loadavg: 2.85 2.97 2.99 3/99 23790
/proc/meminfo: memFree=3055320/3368532 swapFree=1959840/1959888
[pid=23789] ppid=23787 vsize=183860 CPUtime=0.84
/proc/23789/stat : 23789 (satake) S 23787 23789 30957 0 -1 4202496 41860 0 0 0 51 33 0 0 20 0 5 0 946490166 188272640 41798 4294967295 134512640 135180984 3220976416 3220975852 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/23789/statm: 45965 41800 63 164 0 45800 0
[pid=23789/tid=23790] ppid=23787 vsize=183860 CPUtime=0
/proc/23789/task/23790/stat : 23790 (satake) S 23787 23789 30957 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 5 0 946490166 188272640 41801 4294967295 134512640 135180984 3220976416 3086409744 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.84
Current children cumulated vsize (KiB) 183860

[startup+0.71462 s]
/proc/loadavg: 2.85 2.97 2.99 3/99 23790
/proc/meminfo: memFree=3055320/3368532 swapFree=1959840/1959888
[pid=23789] ppid=23787 vsize=212604 CPUtime=2.02
/proc/23789/stat : 23789 (satake) S 23787 23789 30957 0 -1 4202496 48690 0 0 0 165 37 0 0 20 0 5 0 946490166 217706496 48628 4294967295 134512640 135180984 3220976416 3220975852 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/23789/statm: 53151 48629 63 164 0 52986 0
[pid=23789/tid=23790] ppid=23787 vsize=212604 CPUtime=0
/proc/23789/task/23790/stat : 23790 (satake) S 23787 23789 30957 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 5 0 946490166 217706496 48629 4294967295 134512640 135180984 3220976416 3086409744 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.02
Current children cumulated vsize (KiB) 212604

[startup+1.51462 s]
/proc/loadavg: 2.85 2.97 2.99 4/103 23794
/proc/meminfo: memFree=2841164/3368532 swapFree=1959840/1959888
[pid=23789] ppid=23787 vsize=278900 CPUtime=4.38
/proc/23789/stat : 23789 (satake) S 23787 23789 30957 0 -1 4202496 66995 0 0 0 388 50 0 0 20 0 5 0 946490166 285593600 66933 4294967295 134512640 135180984 3220976416 3220975852 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/23789/statm: 69725 66934 63 164 0 69560 0
[pid=23789/tid=23790] ppid=23787 vsize=278900 CPUtime=0
/proc/23789/task/23790/stat : 23790 (satake) S 23787 23789 30957 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 5 0 946490166 285593600 66934 4294967295 134512640 135180984 3220976416 3086409744 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=23789/tid=23792] ppid=23787 vsize=278900 CPUtime=1.47
/proc/23789/task/23792/stat : 23792 (satake) R 23787 23789 30957 0 -1 4202560 22235 0 0 0 130 17 0 0 15 0 5 0 946490167 285593600 66934 4294967295 134512640 135180984 3220976416 3086344340 134579486 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=23789/tid=23793] ppid=23787 vsize=279032 CPUtime=1.45
/proc/23789/task/23793/stat : 23793 (satake) R 23787 23789 30957 0 -1 4202560 22052 0 0 0 128 17 0 0 15 0 5 0 946490167 285728768 66934 4294967295 134512640 135180984 3220976416 3086278628 134675767 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=23789/tid=23794] ppid=23787 vsize=279032 CPUtime=1.47
/proc/23789/task/23794/stat : 23794 (satake) R 23787 23789 30957 0 -1 4202560 22592 0 0 0 131 16 0 0 16 0 5 0 946490167 285728768 66935 4294967295 134512640 135180984 3220976416 3086213408 134513762 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.38
Current children cumulated vsize (KiB) 278900

[startup+3.11424 s]
/proc/loadavg: 2.85 2.97 2.99 5/103 23794
/proc/meminfo: memFree=2841584/3368532 swapFree=1959840/1959888
[pid=23789] ppid=23787 vsize=242864 CPUtime=9.17
/proc/23789/stat : 23789 (satake) S 23787 23789 30957 0 -1 4202496 75702 0 0 0 856 61 0 0 20 0 5 0 946490166 248692736 56143 4294967295 134512640 135180984 3220976416 3220975852 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/23789/statm: 60716 56143 68 164 0 60551 0
[pid=23789/tid=23790] ppid=23787 vsize=242864 CPUtime=0.1
/proc/23789/task/23790/stat : 23790 (satake) S 23787 23789 30957 0 -1 4202560 2043 0 0 0 8 2 0 0 16 0 5 0 946490166 248692736 56143 4294967295 134512640 135180984 3220976416 3086409744 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=23789/tid=23792] ppid=23787 vsize=242864 CPUtime=3.01
/proc/23789/task/23792/stat : 23792 (satake) R 23787 23789 30957 0 -1 4202560 24574 0 0 0 282 19 0 0 16 0 5 0 946490167 248692736 56143 4294967295 134512640 135180984 3220976416 3086343952 134525198 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=23789/tid=23793] ppid=23787 vsize=242864 CPUtime=3.03
/proc/23789/task/23793/stat : 23793 (satake) R 23787 23789 30957 0 -1 4202560 24465 0 0 0 285 18 0 0 16 0 5 0 946490167 248692736 56143 4294967295 134512640 135180984 3220976416 3086278512 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=23789/tid=23794] ppid=23787 vsize=242864 CPUtime=3.03
/proc/23789/task/23794/stat : 23794 (satake) R 23787 23789 30957 0 -1 4202560 24510 0 0 0 281 22 0 0 16 0 5 0 946490167 248692736 56143 4294967295 134512640 135180984 3220976416 3086212972 134519895 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 9.17
Current children cumulated vsize (KiB) 242864

[startup+6.31398 s]
/proc/loadavg: 2.95 2.99 2.99 4/103 23794
/proc/meminfo: memFree=2831536/3368532 swapFree=1959840/1959888
[pid=23789] ppid=23787 vsize=244912 CPUtime=18.84
/proc/23789/stat : 23789 (satake) S 23787 23789 30957 0 -1 4202496 75896 0 0 0 1810 74 0 0 20 0 5 0 946490166 250789888 56337 4294967295 134512640 135180984 3220976416 3220975852 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/23789/statm: 61228 56337 68 164 0 61063 0
[pid=23789/tid=23790] ppid=23787 vsize=244912 CPUtime=0.18
/proc/23789/task/23790/stat : 23790 (satake) S 23787 23789 30957 0 -1 4202560 2043 0 0 0 10 8 0 0 16 0 5 0 946490166 250789888 56337 4294967295 134512640 135180984 3220976416 3086409744 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=23789/tid=23792] ppid=23787 vsize=244912 CPUtime=6.22
/proc/23789/task/23792/stat : 23792 (satake) R 23787 23789 30957 0 -1 4202560 24640 0 0 0 600 22 0 0 21 0 5 0 946490167 250789888 56337 4294967295 134512640 135180984 3220976416 3086344040 134520670 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=23789/tid=23793] ppid=23787 vsize=244912 CPUtime=6.22
/proc/23789/task/23793/stat : 23793 (satake) R 23787 23789 30957 0 -1 4202560 24521 0 0 0 602 20 0 0 20 0 5 0 946490167 250789888 56337 4294967295 134512640 135180984 3220976416 3086278512 134528062 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=23789/tid=23794] ppid=23787 vsize=244912 CPUtime=6.23
/proc/23789/task/23794/stat : 23794 (satake) R 23787 23789 30957 0 -1 4202560 24582 0 0 0 599 24 0 0 20 0 5 0 946490167 250789888 56337 4294967295 134512640 135180984 3220976416 3086212976 134528211 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 18.84
Current children cumulated vsize (KiB) 244912

[startup+12.7135 s]
/proc/loadavg: 2.95 2.99 2.99 4/103 23795
/proc/meminfo: memFree=2829896/3368532 swapFree=1959840/1959888
[pid=23789] ppid=23787 vsize=245580 CPUtime=38.19
/proc/23789/stat : 23789 (satake) S 23787 23789 30957 0 -1 4202496 76216 0 0 0 3715 104 0 0 20 0 5 0 946490166 251473920 56657 4294967295 134512640 135180984 3220976416 3220975852 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/23789/statm: 61395 56657 68 164 0 61230 0
[pid=23789/tid=23790] ppid=23787 vsize=245580 CPUtime=0.35
/proc/23789/task/23790/stat : 23790 (satake) S 23787 23789 30957 0 -1 4202560 2045 0 0 0 15 20 0 0 16 0 5 0 946490166 251473920 56657 4294967295 134512640 135180984 3220976416 3086409744 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=23789/tid=23792] ppid=23787 vsize=245580 CPUtime=12.61
/proc/23789/task/23792/stat : 23792 (satake) R 23787 23789 30957 0 -1 4202560 24857 0 0 0 1233 28 0 0 25 0 5 0 946490167 251473920 56657 4294967295 134512640 135180984 3220976416 3086344048 134528680 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=23789/tid=23793] ppid=23787 vsize=245580 CPUtime=12.62
/proc/23789/task/23793/stat : 23793 (satake) R 23787 23789 30957 0 -1 4202560 24566 0 0 0 1238 24 0 0 25 0 5 0 946490167 251473920 56657 4294967295 134512640 135180984 3220976416 3086278512 134528401 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=23789/tid=23794] ppid=23787 vsize=245580 CPUtime=12.62
/proc/23789/task/23794/stat : 23794 (satake) R 23787 23789 30957 0 -1 4202560 24638 0 0 0 1230 32 0 0 25 0 5 0 946490167 251473920 56657 4294967295 134512640 135180984 3220976416 3086212992 134532624 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 38.19
Current children cumulated vsize (KiB) 245580

[startup+25.5124 s]
/proc/loadavg: 2.96 2.99 2.99 4/103 23797
/proc/meminfo: memFree=2824052/3368532 swapFree=1959840/1959888
[pid=23789] ppid=23787 vsize=251392 CPUtime=76.91
/proc/23789/stat : 23789 (satake) S 23787 23789 30957 0 -1 4202496 77721 0 0 0 7522 169 0 0 20 0 5 0 946490166 257425408 58162 4294967295 134512640 135180984 3220976416 3220975852 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/23789/statm: 62848 58162 68 164 0 62683 0
[pid=23789/tid=23790] ppid=23787 vsize=251392 CPUtime=0.75
/proc/23789/task/23790/stat : 23790 (satake) S 23787 23789 30957 0 -1 4202560 2055 0 0 0 21 54 0 0 16 0 5 0 946490166 257425408 58162 4294967295 134512640 135180984 3220976416 3086409744 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=23789/tid=23792] ppid=23787 vsize=251392 CPUtime=25.35
/proc/23789/task/23792/stat : 23792 (satake) R 23787 23789 30957 0 -1 4202560 25438 0 0 0 2495 40 0 0 25 0 5 0 946490167 257425408 58162 4294967295 134512640 135180984 3220976416 3086344064 134518711 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=23789/tid=23793] ppid=23787 vsize=251392 CPUtime=25.4
/proc/23789/task/23793/stat : 23793 (satake) R 23787 23789 30957 0 -1 4202560 25107 0 0 0 2514 26 0 0 25 0 5 0 946490167 257425408 58162 4294967295 134512640 135180984 3220976416 3086278416 134525274 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=23789/tid=23794] ppid=23787 vsize=251392 CPUtime=25.41
/proc/23789/task/23794/stat : 23794 (satake) R 23787 23789 30957 0 -1 4202560 25011 0 0 0 2492 49 0 0 25 0 5 0 946490167 257425408 58162 4294967295 134512640 135180984 3220976416 3086212972 134523599 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 76.91
Current children cumulated vsize (KiB) 251392

[startup+51.1103 s]
/proc/loadavg: 2.97 2.99 2.99 4/103 23798
/proc/meminfo: memFree=2808764/3368532 swapFree=1959840/1959888
[pid=23789] ppid=23787 vsize=266944 CPUtime=154.26
/proc/23789/stat : 23789 (satake) S 23787 23789 30957 0 -1 4202496 81627 0 0 0 15157 269 0 0 20 0 5 0 946490166 273350656 62068 4294967295 134512640 135180984 3220976416 3220975852 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/23789/statm: 66736 62068 68 164 0 66571 0
[pid=23789/tid=23790] ppid=23787 vsize=266944 CPUtime=1.44
/proc/23789/task/23790/stat : 23790 (satake) S 23787 23789 30957 0 -1 4202560 2080 0 0 0 45 99 0 0 16 0 5 0 946490166 273350656 62068 4294967295 134512640 135180984 3220976416 3086409744 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=23789/tid=23792] ppid=23787 vsize=266944 CPUtime=50.89
/proc/23789/task/23792/stat : 23792 (satake) R 23787 23789 30957 0 -1 4202560 26710 0 0 0 5033 56 0 0 25 0 5 0 946490167 273350656 62068 4294967295 134512640 135180984 3220976416 3086344108 134518217 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=23789/tid=23793] ppid=23787 vsize=266944 CPUtime=50.97
/proc/23789/task/23793/stat : 23793 (satake) R 23787 23789 30957 0 -1 4202560 26668 0 0 0 5056 41 0 0 25 0 5 0 946490167 273350656 62068 4294967295 134512640 135180984 3220976416 3086278416 134525462 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=23789/tid=23794] ppid=23787 vsize=266944 CPUtime=50.97
/proc/23789/task/23794/stat : 23794 (satake) R 23787 23789 30957 0 -1 4202560 26059 0 0 0 5024 73 0 0 25 0 5 0 946490167 273350656 62068 4294967295 134512640 135180984 3220976416 3086212976 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 154.26
Current children cumulated vsize (KiB) 266944

[startup+102.316 s]
/proc/loadavg: 2.99 2.99 2.99 4/103 23986
/proc/meminfo: memFree=2773920/3368532 swapFree=1959840/1959888
[pid=23789] ppid=23787 vsize=301324 CPUtime=308.39
/proc/23789/stat : 23789 (satake) S 23787 23789 30957 0 -1 4202496 90152 0 0 0 30448 391 0 0 20 0 5 0 946490166 308555776 70593 4294967295 134512640 135180984 3220976416 3220975852 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/23789/statm: 75331 70593 68 164 0 75166 0
[pid=23789/tid=23790] ppid=23787 vsize=301324 CPUtime=2.24
/proc/23789/task/23790/stat : 23790 (satake) S 23787 23789 30957 0 -1 4202560 2151 0 0 0 62 162 0 0 16 0 5 0 946490166 308555776 70593 4294967295 134512640 135180984 3220976416 3086409744 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=23789/tid=23792] ppid=23787 vsize=301324 CPUtime=101.98
/proc/23789/task/23792/stat : 23792 (satake) R 23787 23789 30957 0 -1 4202560 29749 0 0 0 10123 75 0 0 25 0 5 0 946490167 308555776 70593 4294967295 134512640 135180984 3220976416 3086343952 134524822 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=23789/tid=23793] ppid=23787 vsize=301324 CPUtime=102.09
/proc/23789/task/23793/stat : 23793 (satake) R 23787 23789 30957 0 -1 4202560 29665 0 0 0 10156 53 0 0 25 0 5 0 946490167 308555776 70593 4294967295 134512640 135180984 3220976416 3086278512 134528648 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=23789/tid=23794] ppid=23787 vsize=301324 CPUtime=102.08
/proc/23789/task/23794/stat : 23794 (satake) R 23787 23789 30957 0 -1 4202560 28477 0 0 0 10107 101 0 0 25 0 5 0 946490167 308555776 70593 4294967295 134512640 135180984 3220976416 3086212880 134525220 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 308.39
Current children cumulated vsize (KiB) 301324

[startup+162.311 s]
/proc/loadavg: 2.99 2.99 2.99 4/103 24173
/proc/meminfo: memFree=2733352/3368532 swapFree=1959840/1959888
[pid=23789] ppid=23787 vsize=341292 CPUtime=488.81
/proc/23789/stat : 23789 (satake) S 23787 23789 30957 0 -1 4202496 100223 0 0 0 48385 496 0 0 20 0 5 0 946490166 349483008 80664 4294967295 134512640 135180984 3220976416 3220975852 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/23789/statm: 85323 80664 68 164 0 85158 0
[pid=23789/tid=23790] ppid=23787 vsize=341292 CPUtime=2.79
/proc/23789/task/23790/stat : 23790 (satake) S 23787 23789 30957 0 -1 4202560 2176 0 0 0 77 202 0 0 16 0 5 0 946490166 349483008 80664 4294967295 134512640 135180984 3220976416 3086409744 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=23789/tid=23792] ppid=23787 vsize=341292 CPUtime=161.91
/proc/23789/task/23792/stat : 23792 (satake) R 23787 23789 30957 0 -1 4202560 33412 0 0 0 16089 102 0 0 25 0 5 0 946490167 349483008 80664 4294967295 134512640 135180984 3220976416 3086344048 134521074 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=23789/tid=23793] ppid=23787 vsize=341292 CPUtime=162.09
/proc/23789/task/23793/stat : 23793 (satake) R 23787 23789 30957 0 -1 4202560 33139 0 0 0 16140 69 0 0 25 0 5 0 946490167 349483008 80664 4294967295 134512640 135180984 3220976416 3086278448 134523836 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=23789/tid=23794] ppid=23787 vsize=341292 CPUtime=162.03
/proc/23789/task/23794/stat : 23794 (satake) R 23787 23789 30957 0 -1 4202560 31386 0 0 0 16080 123 0 0 25 0 5 0 946490167 349483008 80664 4294967295 134512640 135180984 3220976416 3086212912 134523677 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 488.81

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

[pid=23789/tid=23792] ppid=23787 vsize=621436 CPUtime=521.64
/proc/23789/task/23792/stat : 23792 (satake) R 23787 23789 30957 0 -1 4202560 56929 0 0 0 51960 204 0 0 25 0 5 0 946490167 636350464 150598 4294967295 134512640 135180984 3220976416 3086344048 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=23789/tid=23793] ppid=23787 vsize=621436 CPUtime=521.91
/proc/23789/task/23793/stat : 23793 (satake) R 23787 23789 30957 0 -1 4202560 55868 0 0 0 52061 130 0 0 25 0 5 0 946490167 636350464 150598 4294967295 134512640 135180984 3220976416 3086278448 134527671 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=23789/tid=23794] ppid=23787 vsize=621436 CPUtime=520.91
/proc/23789/task/23794/stat : 23794 (satake) R 23787 23789 30957 0 -1 4202560 54926 0 0 0 51907 184 0 0 25 0 5 0 946490167 636350464 150598 4294967295 134512640 135180984 3220976416 3086212976 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1569.54
Current children cumulated vsize (KiB) 621436

[startup+582.307 s]
/proc/loadavg: 3.02 3.01 3.00 4/103 25494
/proc/meminfo: memFree=2412384/3368532 swapFree=1959840/1959888
[pid=23789] ppid=23787 vsize=663568 CPUtime=1749.44
/proc/23789/stat : 23789 (satake) S 23787 23789 30957 0 -1 4202496 180523 0 0 0 174002 942 0 0 20 0 5 0 946490166 679493632 160964 4294967295 134512640 135180984 3220976416 3220975852 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/23789/statm: 165892 160964 68 164 0 165727 0
[pid=23789/tid=23790] ppid=23787 vsize=663568 CPUtime=5.39
/proc/23789/task/23790/stat : 23790 (satake) S 23787 23789 30957 0 -1 4202560 2339 0 0 0 153 386 0 0 15 0 5 0 946490166 679493632 160964 4294967295 134512640 135180984 3220976416 3086409744 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=23789/tid=23792] ppid=23787 vsize=663568 CPUtime=581.59
/proc/23789/task/23792/stat : 23792 (satake) R 23787 23789 30957 0 -1 4202560 60270 0 0 0 57943 216 0 0 25 0 5 0 946490167 679493632 160964 4294967295 134512640 135180984 3220976416 3086344048 134528267 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=23789/tid=23793] ppid=23787 vsize=663568 CPUtime=581.86
/proc/23789/task/23793/stat : 23793 (satake) R 23787 23789 30957 0 -1 4202560 59098 0 0 0 58041 145 0 0 25 0 5 0 946490167 679493632 160964 4294967295 134512640 135180984 3220976416 3086278408 134520909 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=23789/tid=23794] ppid=23787 vsize=663568 CPUtime=580.6
/proc/23789/task/23794/stat : 23794 (satake) R 23787 23789 30957 0 -1 4202560 58706 0 0 0 57865 195 0 0 25 0 5 0 946490167 679493632 160964 4294967295 134512640 135180984 3220976416 3086212976 134519339 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1749.44
Current children cumulated vsize (KiB) 663568

[startup+642.312 s]
/proc/loadavg: 3.05 3.02 3.00 4/103 25682
/proc/meminfo: memFree=2360232/3368532 swapFree=1959840/1959888
[pid=23789] ppid=23787 vsize=716340 CPUtime=1929.4
/proc/23789/stat : 23789 (satake) S 23787 23789 30957 0 -1 4202496 193553 0 0 0 191950 990 0 0 20 0 5 0 946490166 733532160 173994 4294967295 134512640 135180984 3220976416 3220975852 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/23789/statm: 179085 173994 68 164 0 178920 0
[pid=23789/tid=23790] ppid=23787 vsize=716340 CPUtime=5.6
/proc/23789/task/23790/stat : 23790 (satake) S 23787 23789 30957 0 -1 4202560 2358 0 0 0 157 403 0 0 15 0 5 0 946490166 733532160 173994 4294967295 134512640 135180984 3220976416 3086409744 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=23789/tid=23792] ppid=23787 vsize=716340 CPUtime=641.54
/proc/23789/task/23792/stat : 23792 (satake) R 23787 23789 30957 0 -1 4202560 64242 0 0 0 63926 228 0 0 25 0 5 0 946490167 733532160 173994 4294967295 134512640 135180984 3220976416 3086344040 134520863 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=23789/tid=23793] ppid=23787 vsize=716340 CPUtime=641.85
/proc/23789/task/23793/stat : 23793 (satake) R 23787 23789 30957 0 -1 4202560 63364 0 0 0 64032 153 0 0 25 0 5 0 946490167 733532160 173994 4294967295 134512640 135180984 3220976416 3086278508 134520901 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=23789/tid=23794] ppid=23787 vsize=716340 CPUtime=640.41
/proc/23789/task/23794/stat : 23794 (satake) R 23787 23789 30957 0 -1 4202560 63479 0 0 0 63835 206 0 0 25 0 5 0 946490167 733532160 173994 4294967295 134512640 135180984 3220976416 3086212976 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1929.4
Current children cumulated vsize (KiB) 716340

[startup+702.307 s]
/proc/loadavg: 3.06 3.03 3.00 4/103 25877
/proc/meminfo: memFree=2307168/3368532 swapFree=1959840/1959888
[pid=23789] ppid=23787 vsize=769924 CPUtime=2109.31
/proc/23789/stat : 23789 (satake) S 23787 23789 30957 0 -1 4202496 206791 0 0 0 209908 1023 0 0 20 0 5 0 946490166 788402176 187232 4294967295 134512640 135180984 3220976416 3220975852 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/23789/statm: 192481 187232 68 164 0 192316 0
[pid=23789/tid=23790] ppid=23787 vsize=769924 CPUtime=5.74
/proc/23789/task/23790/stat : 23790 (satake) S 23787 23789 30957 0 -1 4202560 2386 0 0 0 161 413 0 0 15 0 5 0 946490166 788402176 187232 4294967295 134512640 135180984 3220976416 3086409744 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=23789/tid=23792] ppid=23787 vsize=769924 CPUtime=701.51
/proc/23789/task/23792/stat : 23792 (satake) R 23787 23789 30957 0 -1 4202560 68375 0 0 0 69912 239 0 0 25 0 5 0 946490167 788402176 187232 4294967295 134512640 135180984 3220976416 3086344044 134519924 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=23789/tid=23793] ppid=23787 vsize=769924 CPUtime=701.8
/proc/23789/task/23793/stat : 23793 (satake) R 23787 23789 30957 0 -1 4202560 67805 0 0 0 70022 158 0 0 25 0 5 0 946490167 788402176 187232 4294967295 134512640 135180984 3220976416 3086278384 134522614 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=23789/tid=23794] ppid=23787 vsize=769924 CPUtime=700.26
/proc/23789/task/23794/stat : 23794 (satake) R 23787 23789 30957 0 -1 4202560 68115 0 0 0 69813 213 0 0 25 0 5 0 946490167 788402176 187232 4294967295 134512640 135180984 3220976416 3086212976 134528211 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2109.31
Current children cumulated vsize (KiB) 769924

[startup+762.322 s]
/proc/loadavg: 3.06 3.04 3.00 4/103 26064
/proc/meminfo: memFree=2254748/3368532 swapFree=1959840/1959888
[pid=23789] ppid=23787 vsize=822764 CPUtime=2289.25
/proc/23789/stat : 23789 (satake) S 23787 23789 30957 0 -1 4202496 219854 0 0 0 227858 1067 0 0 20 0 5 0 946490166 842510336 200295 4294967295 134512640 135180984 3220976416 3220975852 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/23789/statm: 205691 200295 68 164 0 205526 0
[pid=23789/tid=23790] ppid=23787 vsize=822764 CPUtime=6.03
/proc/23789/task/23790/stat : 23790 (satake) S 23787 23789 30957 0 -1 4202560 2402 0 0 0 175 428 0 0 16 0 5 0 946490166 842510336 200295 4294967295 134512640 135180984 3220976416 3086409744 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=23789/tid=23792] ppid=23787 vsize=822764 CPUtime=761.49
/proc/23789/task/23792/stat : 23792 (satake) R 23787 23789 30957 0 -1 4202560 72335 0 0 0 75899 250 0 0 25 0 5 0 946490167 842510336 200295 4294967295 134512640 135180984 3220976416 3086344048 134528680 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=23789/tid=23793] ppid=23787 vsize=822764 CPUtime=761.76
/proc/23789/task/23793/stat : 23793 (satake) R 23787 23789 30957 0 -1 4202560 72448 0 0 0 76008 168 0 0 25 0 5 0 946490167 842510336 200295 4294967295 134512640 135180984 3220976416 3086278416 134525458 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=23789/tid=23794] ppid=23787 vsize=822764 CPUtime=759.97
/proc/23789/task/23794/stat : 23794 (satake) R 23787 23789 30957 0 -1 4202560 72559 0 0 0 75776 221 0 0 25 0 5 0 946490167 842510336 200295 4294967295 134512640 135180984 3220976416 3086212972 134518208 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2289.25
Current children cumulated vsize (KiB) 822764

[startup+822.317 s]
/proc/loadavg: 3.02 3.03 3.00 4/103 26252
/proc/meminfo: memFree=2207672/3368532 swapFree=1959840/1959888
[pid=23789] ppid=23787 vsize=870096 CPUtime=2469.17
/proc/23789/stat : 23789 (satake) S 23787 23789 30957 0 -1 4202496 231713 0 0 0 245809 1108 0 0 20 0 5 0 946490166 890978304 212154 4294967295 134512640 135180984 3220976416 3220975852 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/23789/statm: 217524 212154 68 164 0 217359 0
[pid=23789/tid=23790] ppid=23787 vsize=870096 CPUtime=6.26
/proc/23789/task/23790/stat : 23790 (satake) S 23787 23789 30957 0 -1 4202560 2416 0 0 0 182 444 0 0 15 0 5 0 946490166 890978304 212154 4294967295 134512640 135180984 3220976416 3086409744 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=23789/tid=23792] ppid=23787 vsize=870096 CPUtime=821.48
/proc/23789/task/23792/stat : 23792 (satake) R 23787 23789 30957 0 -1 4202560 75830 0 0 0 81889 259 0 0 25 0 5 0 946490167 890978304 212154 4294967295 134512640 135180984 3220976416 3086343920 134522706 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=23789/tid=23793] ppid=23787 vsize=870096 CPUtime=821.71
/proc/23789/task/23793/stat : 23793 (satake) R 23787 23789 30957 0 -1 4202560 76742 0 0 0 81994 177 0 0 25 0 5 0 946490167 890978304 212154 4294967295 134512640 135180984 3220976416 3086278512 134528925 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=23789/tid=23794] ppid=23787 vsize=870096 CPUtime=819.72
/proc/23789/task/23794/stat : 23794 (satake) R 23787 23789 30957 0 -1 4202560 76615 0 0 0 81744 228 0 0 25 0 5 0 946490167 890978304 212154 4294967295 134512640 135180984 3220976416 3086213040 134532451 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2469.17
Current children cumulated vsize (KiB) 870096

[startup+882.312 s]
/proc/loadavg: 3.00 3.02 3.00 4/103 26440
/proc/meminfo: memFree=2169932/3368532 swapFree=1959840/1959888
[pid=23789] ppid=23787 vsize=906264 CPUtime=2649.08
/proc/23789/stat : 23789 (satake) S 23787 23789 30957 0 -1 4202496 240991 0 0 0 263766 1142 0 0 20 0 5 0 946490166 928014336 221432 4294967295 134512640 135180984 3220976416 3220975852 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/23789/statm: 226566 221432 68 164 0 226401 0
[pid=23789/tid=23790] ppid=23787 vsize=906264 CPUtime=6.46
/proc/23789/task/23790/stat : 23790 (satake) S 23787 23789 30957 0 -1 4202560 2425 0 0 0 187 459 0 0 15 0 5 0 946490166 928014336 221432 4294967295 134512640 135180984 3220976416 3086409744 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=23789/tid=23792] ppid=23787 vsize=906264 CPUtime=881.45
/proc/23789/task/23792/stat : 23792 (satake) R 23787 23789 30957 0 -1 4202560 78599 0 0 0 87879 266 0 0 25 0 5 0 946490167 928014336 221432 4294967295 134512640 135180984 3220976416 3086344048 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=23789/tid=23793] ppid=23787 vsize=906264 CPUtime=881.66
/proc/23789/task/23793/stat : 23793 (satake) R 23787 23789 30957 0 -1 4202560 79744 0 0 0 87981 185 0 0 25 0 5 0 946490167 928014336 221432 4294967295 134512640 135180984 3220976416 3086278408 134518252 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=23789/tid=23794] ppid=23787 vsize=906264 CPUtime=879.51
/proc/23789/task/23794/stat : 23794 (satake) R 23787 23789 30957 0 -1 4202560 80113 0 0 0 87719 232 0 0 25 0 5 0 946490167 928014336 221432 4294967295 134512640 135180984 3220976416 3086212912 134527501 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2649.08
Current children cumulated vsize (KiB) 906264

[startup+942.308 s]
/proc/loadavg: 3.00 3.02 3.00 4/103 26628
/proc/meminfo: memFree=2119504/3368532 swapFree=1959840/1959888
[pid=23789] ppid=23787 vsize=957728 CPUtime=2828.99
/proc/23789/stat : 23789 (satake) S 23787 23789 30957 0 -1 4202496 253815 0 0 0 281730 1169 0 0 20 0 5 0 946490166 980713472 234256 4294967295 134512640 135180984 3220976416 3220975852 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/23789/statm: 239432 234256 68 164 0 239267 0
[pid=23789/tid=23790] ppid=23787 vsize=957728 CPUtime=6.6
/proc/23789/task/23790/stat : 23790 (satake) S 23787 23789 30957 0 -1 4202560 2433 0 0 0 192 468 0 0 15 0 5 0 946490166 980713472 234256 4294967295 134512640 135180984 3220976416 3086409744 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=23789/tid=23792] ppid=23787 vsize=957728 CPUtime=941.41
/proc/23789/task/23792/stat : 23792 (satake) R 23787 23789 30957 0 -1 4202560 82274 0 0 0 93870 271 0 0 25 0 5 0 946490167 980713472 234256 4294967295 134512640 135180984 3220976416 3086343952 134524723 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=23789/tid=23793] ppid=23787 vsize=957728 CPUtime=941.63
/proc/23789/task/23793/stat : 23793 (satake) R 23787 23789 30957 0 -1 4202560 84561 0 0 0 93972 191 0 0 25 0 5 0 946490167 980713472 234256 4294967295 134512640 135180984 3220976416 3086278512 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=23789/tid=23794] ppid=23787 vsize=957728 CPUtime=939.35
/proc/23789/task/23794/stat : 23794 (satake) R 23787 23789 30957 0 -1 4202560 84437 0 0 0 93696 239 0 0 25 0 5 0 946490167 980713472 234256 4294967295 134512640 135180984 3220976416 3086212848 134522980 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2828.99
Current children cumulated vsize (KiB) 957728



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.01 s]
/proc/loadavg: 3.00 3.01 3.00 4/103 26816
/proc/meminfo: memFree=2069616/3368532 swapFree=1959840/1959888
[pid=23789] ppid=23787 vsize=1007424 CPUtime=3002.07
/proc/23789/stat : 23789 (satake) S 23787 23789 30957 0 -1 4202496 266036 0 0 0 299001 1206 0 0 20 0 5 0 946490166 1031602176 246477 4294967295 134512640 135180984 3220976416 3220975852 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/23789/statm: 251856 246477 68 164 0 251691 0
[pid=23789/tid=23790] ppid=23787 vsize=1007424 CPUtime=6.76
/proc/23789/task/23790/stat : 23790 (satake) S 23787 23789 30957 0 -1 4202560 2444 0 0 0 197 479 0 0 16 0 5 0 946490166 1031602176 246477 4294967295 134512640 135180984 3220976416 3086409744 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=23789/tid=23792] ppid=23787 vsize=1007424 CPUtime=999.1
/proc/23789/task/23792/stat : 23792 (satake) R 23787 23789 30957 0 -1 4202560 86117 0 0 0 99632 278 0 0 25 0 5 0 946490167 1031602176 246477 4294967295 134512640 135180984 3220976416 3086343948 134522603 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=23789/tid=23793] ppid=23787 vsize=1007424 CPUtime=999.29
/proc/23789/task/23793/stat : 23793 (satake) R 23787 23789 30957 0 -1 4202560 88478 0 0 0 99729 200 0 0 25 0 5 0 946490167 1031602176 246477 4294967295 134512640 135180984 3220976416 3086278512 134528815 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=23789/tid=23794] ppid=23787 vsize=1007424 CPUtime=996.92
/proc/23789/task/23794/stat : 23794 (satake) R 23787 23789 30957 0 -1 4202560 88887 0 0 0 99443 249 0 0 25 0 5 0 946490167 1031602176 246477 4294967295 134512640 135180984 3220976416 3086212876 134522603 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3002.07
Current children cumulated vsize (KiB) 1007424

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.09
CPU time (s): 3002.17
CPU user time (s): 2990.06
CPU system time (s): 12.11
CPU usage (%): 300.19
Max. virtual memory (cumulated for all children) (KiB): 1007424

deleting IPC queue 13631488
deleting IPC queue 13664257
deleting IPC queue 13697026
deleting IPC queue 13729795
deleting IPC queue 13762564
deleting IPC queue 13795333
deleting IPC queue 13828102
deleting IPC queue 13860871
deleting IPC queue 13893640
deleting IPC queue 13926409
deleting IPC queue 13959178
deleting IPC queue 13991947
deleting IPC queue 14024716
deleting IPC queue 14057485
deleting IPC queue 14090254
deleting IPC queue 14123023

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2990.06
system time used= 12.11
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 266039
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= 438179
involuntary context switches= 210490

runsolver used 0 second user time and 0 second system time

The end

Launcher Data 

Begin job on tipi39 at 2009-05-30 04:05:32
IDJOB=1780615
IDBENCH=71037
IDSOLVER=629
FILE ID=tipi39/1780615-1243649132
PBS_JOBID=
Free space on /tmp= 5718 MiB

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

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

MD5SUM BENCH= 209f7789e3588d11f275f2003f2c6a67
RANDOM SEED= 1411118950

Linux tipi39 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.067
cache size	: 4096 KB
physical id	: 0
siblings	: 2
core id		: 0
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3992.41
clflush size	: 64

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.067
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.067
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:       3055468 kB
Buffers:         57320 kB
Cached:         151600 kB
SwapCached:          0 kB
Active:         116488 kB
Inactive:       108556 kB
HighTotal:     2489216 kB
HighFree:      2324104 kB
LowTotal:       879316 kB
LowFree:        731364 kB
SwapTotal:     1959888 kB
SwapFree:      1959840 kB
Dirty:           27176 kB
Writeback:           0 kB
AnonPages:       16164 kB
Mapped:           6056 kB
Slab:            77936 kB
SReclaimable:    67252 kB
SUnreclaim:      10684 kB
PageTables:        528 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:    94804 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 5718 MiB
End job on tipi39 at 2009-05-30 04:22:16