Trace number 1780585

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.85 1000.07

General information on the benchmark

NameAPPLICATIONS/diagnosis/
UCG-20-10p1.cnf
MD5SUM4454a006891d750fc88d47a8b0848855
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 variables259258
Number of clauses1388006
Sum of the clauses size3352067
Maximum clause length10
Minimum clause length1
Number of clauses of size 113149
Number of clauses of size 2981733
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-1780585-1243649140/watcher-1780585-1243649140 -o /tmp/evaluation-result-1780585-1243649140/solver-1780585-1243649140 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1780585-1243649140.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.17 5.32 5.29 5/118 3029
/proc/meminfo: memFree=3056848/3368532 swapFree=1959840/1959888
[pid=3028] ppid=3026 vsize=968 CPUtime=0
/proc/3028/stat : 3028 (satake) R 3026 3028 17312 0 -1 4202496 107 0 0 0 0 0 0 0 20 0 2 0 1129576967 991232 64 4294967295 134512640 135180984 3220093504 3220092848 134705812 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/3028/statm: 242 64 54 164 0 77 0
[pid=3028/tid=3029] ppid=3026 vsize=968 CPUtime=0
/proc/3028/task/3029/stat : 3029 (satake) R 3026 3028 17312 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 2 0 1129576967 991232 64 4294967295 134512640 135180984 3220093504 3086422852 134705812 0 0 0 0 0 0 0 -1 1 0 0 0

[startup+0.072415 s]
/proc/loadavg: 5.17 5.32 5.29 5/118 3029
/proc/meminfo: memFree=3056848/3368532 swapFree=1959840/1959888
[pid=3028] ppid=3026 vsize=76884 CPUtime=0.11
/proc/3028/stat : 3028 (satake) S 3026 3028 17312 0 -1 4202496 16241 0 0 0 0 11 0 0 20 0 5 0 1129576967 78729216 16198 4294967295 134512640 135180984 3220093504 3220092940 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/3028/statm: 19267 16211 63 164 0 19102 0
[pid=3028/tid=3029] ppid=3026 vsize=77068 CPUtime=0
/proc/3028/task/3029/stat : 3029 (satake) S 3026 3028 17312 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 5 0 1129576967 78917632 16216 4294967295 134512640 135180984 3220093504 3086422032 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 76884

[startup+0.112407 s]
/proc/loadavg: 5.17 5.32 5.29 5/118 3029
/proc/meminfo: memFree=3056848/3368532 swapFree=1959840/1959888
[pid=3028] ppid=3026 vsize=97540 CPUtime=0.18
/proc/3028/stat : 3028 (satake) S 3026 3028 17312 0 -1 4202496 23022 0 0 0 3 15 0 0 20 0 5 0 1129576967 99880960 22967 4294967295 134512640 135180984 3220093504 3220092940 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/3028/statm: 24385 22967 63 164 0 24220 0
[pid=3028/tid=3029] ppid=3026 vsize=97540 CPUtime=0
/proc/3028/task/3029/stat : 3029 (satake) S 3026 3028 17312 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 5 0 1129576967 99880960 22967 4294967295 134512640 135180984 3220093504 3086422032 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 97540

[startup+0.312389 s]
/proc/loadavg: 5.17 5.32 5.29 5/118 3029
/proc/meminfo: memFree=3056848/3368532 swapFree=1959840/1959888
[pid=3028] ppid=3026 vsize=177636 CPUtime=0.5
/proc/3028/stat : 3028 (satake) S 3026 3028 17312 0 -1 4202496 40452 0 0 0 27 23 0 0 20 0 5 0 1129576967 181899264 40383 4294967295 134512640 135180984 3220093504 3220092940 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/3028/statm: 44409 40383 63 164 0 44244 0
[pid=3028/tid=3029] ppid=3026 vsize=177636 CPUtime=0
/proc/3028/task/3029/stat : 3029 (satake) S 3026 3028 17312 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 5 0 1129576967 181899264 40383 4294967295 134512640 135180984 3220093504 3086422032 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 177636

[startup+0.71237 s]
/proc/loadavg: 5.17 5.32 5.29 5/118 3029
/proc/meminfo: memFree=3056848/3368532 swapFree=1959840/1959888
[pid=3028] ppid=3026 vsize=197016 CPUtime=1.2
/proc/3028/stat : 3028 (satake) S 3026 3028 17312 0 -1 4202496 45327 0 0 0 92 28 0 0 20 0 5 0 1129576967 201744384 45258 4294967295 134512640 135180984 3220093504 3220092940 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/3028/statm: 49254 45259 63 164 0 49089 0
[pid=3028/tid=3029] ppid=3026 vsize=197016 CPUtime=0
/proc/3028/task/3029/stat : 3029 (satake) S 3026 3028 17312 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 5 0 1129576967 201744384 45259 4294967295 134512640 135180984 3220093504 3086422032 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 197016

[startup+1.51256 s]
/proc/loadavg: 5.08 5.30 5.28 6/122 3033
/proc/meminfo: memFree=2863116/3368532 swapFree=1959840/1959888
[pid=3028] ppid=3026 vsize=242008 CPUtime=2.65
/proc/3028/stat : 3028 (satake) S 3026 3028 17312 0 -1 4202496 56215 0 0 0 231 34 0 0 20 0 5 0 1129576967 247816192 56146 4294967295 134512640 135180984 3220093504 3220092940 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/3028/statm: 60502 56146 63 164 0 60337 0
[pid=3028/tid=3029] ppid=3026 vsize=242008 CPUtime=0
/proc/3028/task/3029/stat : 3029 (satake) S 3026 3028 17312 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 5 0 1129576967 247816192 56146 4294967295 134512640 135180984 3220093504 3086422032 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=3028/tid=3031] ppid=3026 vsize=242008 CPUtime=0.98
/proc/3028/task/3031/stat : 3031 (satake) R 3026 3028 17312 0 -1 4202560 18857 0 0 0 86 12 0 0 16 0 5 0 1129576967 247816192 56146 4294967295 134512640 135180984 3220093504 3086356816 134513421 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=3028/tid=3032] ppid=3026 vsize=242008 CPUtime=0.43
/proc/3028/task/3032/stat : 3032 (satake) R 3026 3028 17312 0 -1 4202560 15371 0 0 0 35 8 0 0 22 0 5 0 1129576967 247816192 56146 4294967295 134512640 135180984 3220093504 3086291032 134675846 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=3028/tid=3033] ppid=3026 vsize=242008 CPUtime=1.25
/proc/3028/task/3033/stat : 3033 (satake) R 3026 3028 17312 0 -1 4202560 21870 0 0 0 111 14 0 0 16 0 5 0 1129576967 247816192 56146 4294967295 134512640 135180984 3220093504 3086225496 134674926 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.65
Current children cumulated vsize (KiB) 242008

[startup+3.11262 s]
/proc/loadavg: 5.08 5.30 5.28 6/122 3037
/proc/meminfo: memFree=2828056/3368532 swapFree=1959840/1959888
[pid=3028] ppid=3026 vsize=249456 CPUtime=5.75
/proc/3028/stat : 3028 (satake) S 3026 3028 17312 0 -1 4202496 70498 0 0 0 533 42 0 0 20 0 5 0 1129576967 255442944 57267 4294967295 134512640 135180984 3220093504 3220092940 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/3028/statm: 62364 57267 68 164 0 62199 0
[pid=3028/tid=3029] ppid=3026 vsize=249456 CPUtime=0.09
/proc/3028/task/3029/stat : 3029 (satake) R 3026 3028 17312 0 -1 4202560 3165 0 0 0 7 2 0 0 18 0 5 0 1129576967 255442944 57267 4294967295 134512640 135180984 3220093504 3086422036 134580588 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=3028/tid=3031] ppid=3026 vsize=249456 CPUtime=2.21
/proc/3028/task/3031/stat : 3031 (satake) S 3026 3028 17312 0 -1 4202560 24310 0 0 0 206 15 0 0 16 0 5 0 1129576967 255442944 57267 4294967295 134512640 135180984 3220093504 3086356128 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=3028/tid=3032] ppid=3026 vsize=249456 CPUtime=0.92
/proc/3028/task/3032/stat : 3032 (satake) R 3026 3028 17312 0 -1 4202560 18232 0 0 0 84 8 0 0 23 0 5 0 1129576967 255442944 57267 4294967295 134512640 135180984 3220093504 3086291248 134534957 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=3028/tid=3033] ppid=3026 vsize=249456 CPUtime=2.53
/proc/3028/task/3033/stat : 3033 (satake) R 3026 3028 17312 0 -1 4202560 24681 0 0 0 236 17 0 0 16 0 5 0 1129576967 255442944 57267 4294967295 134512640 135180984 3220093504 3086225256 134520863 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.75
Current children cumulated vsize (KiB) 249456

[startup+6.31246 s]
/proc/loadavg: 5.08 5.30 5.28 6/122 3042
/proc/meminfo: memFree=2828320/3368532 swapFree=1959840/1959888
[pid=3028] ppid=3026 vsize=247020 CPUtime=12.09
/proc/3028/stat : 3028 (satake) S 3026 3028 17312 0 -1 4202496 76786 0 0 0 1161 48 0 0 20 0 5 0 1129576967 252948480 56974 4294967295 134512640 135180984 3220093504 3220092940 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/3028/statm: 61755 56974 68 164 0 61590 0
[pid=3028/tid=3029] ppid=3026 vsize=247020 CPUtime=0.1
/proc/3028/task/3029/stat : 3029 (satake) S 3026 3028 17312 0 -1 4202560 3165 0 0 0 8 2 0 0 15 0 5 0 1129576967 252948480 56974 4294967295 134512640 135180984 3220093504 3086422032 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=3028/tid=3031] ppid=3026 vsize=247020 CPUtime=4.01
/proc/3028/task/3031/stat : 3031 (satake) R 3026 3028 17312 0 -1 4202560 24324 0 0 0 386 15 0 0 16 0 5 0 1129576967 252948480 56974 4294967295 134512640 135180984 3220093504 3086356336 134526482 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=3028/tid=3032] ppid=3026 vsize=247020 CPUtime=2.96
/proc/3028/task/3032/stat : 3032 (satake) R 3026 3028 17312 0 -1 4202560 24491 0 0 0 283 13 0 0 25 0 5 0 1129576967 252948480 56974 4294967295 134512640 135180984 3220093504 3086290800 134528943 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=3028/tid=3033] ppid=3026 vsize=247020 CPUtime=5.02
/proc/3028/task/3033/stat : 3033 (satake) R 3026 3028 17312 0 -1 4202560 24696 0 0 0 484 18 0 0 18 0 5 0 1129576967 252948480 56974 4294967295 134512640 135180984 3220093504 3086225264 134528206 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.09
Current children cumulated vsize (KiB) 247020

[startup+12.7121 s]
/proc/loadavg: 5.21 5.32 5.29 6/122 3050
/proc/meminfo: memFree=2828192/3368532 swapFree=1959840/1959888
[pid=3028] ppid=3026 vsize=247168 CPUtime=24.84
/proc/3028/stat : 3028 (satake) S 3026 3028 17312 0 -1 4202496 76853 0 0 0 2424 60 0 0 20 0 5 0 1129576967 253100032 57041 4294967295 134512640 135180984 3220093504 3220092940 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/3028/statm: 61792 57041 68 164 0 61627 0
[pid=3028/tid=3029] ppid=3026 vsize=247168 CPUtime=0.18
/proc/3028/task/3029/stat : 3029 (satake) S 3026 3028 17312 0 -1 4202560 3171 0 0 0 10 8 0 0 15 0 5 0 1129576967 253100032 57041 4294967295 134512640 135180984 3220093504 3086422032 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=3028/tid=3031] ppid=3026 vsize=247168 CPUtime=8.54
/proc/3028/task/3031/stat : 3031 (satake) R 3026 3028 17312 0 -1 4202560 24374 0 0 0 837 17 0 0 25 0 5 0 1129576967 253100032 57041 4294967295 134512640 135180984 3220093504 3086356140 134706407 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=3028/tid=3032] ppid=3026 vsize=247168 CPUtime=5.73
/proc/3028/task/3032/stat : 3032 (satake) R 3026 3028 17312 0 -1 4202560 24494 0 0 0 559 14 0 0 25 0 5 0 1129576967 253100032 57041 4294967295 134512640 135180984 3220093504 3086290800 134528267 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=3028/tid=3033] ppid=3026 vsize=247168 CPUtime=10.39
/proc/3028/task/3033/stat : 3033 (satake) R 3026 3028 17312 0 -1 4202560 24704 0 0 0 1018 21 0 0 25 0 5 0 1129576967 253100032 57041 4294967295 134512640 135180984 3220093504 3086225260 134519895 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 24.84
Current children cumulated vsize (KiB) 247168

[startup+25.5114 s]
/proc/loadavg: 5.26 5.33 5.29 6/122 3072
/proc/meminfo: memFree=2827728/3368532 swapFree=1959840/1959888
[pid=3028] ppid=3026 vsize=247300 CPUtime=50.28
/proc/3028/stat : 3028 (satake) S 3026 3028 17312 0 -1 4202496 76958 0 0 0 4957 71 0 0 20 0 5 0 1129576967 253235200 57146 4294967295 134512640 135180984 3220093504 3220092940 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/3028/statm: 61825 57146 68 164 0 61660 0
[pid=3028/tid=3029] ppid=3026 vsize=247300 CPUtime=0.27
/proc/3028/task/3029/stat : 3029 (satake) S 3026 3028 17312 0 -1 4202560 3172 0 0 0 12 15 0 0 15 0 5 0 1129576967 253235200 57146 4294967295 134512640 135180984 3220093504 3086422032 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=3028/tid=3031] ppid=3026 vsize=247300 CPUtime=14.35
/proc/3028/task/3031/stat : 3031 (satake) R 3026 3028 17312 0 -1 4202560 24418 0 0 0 1415 20 0 0 25 0 5 0 1129576967 253235200 57146 4294967295 134512640 135180984 3220093504 3086356240 134525245 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=3028/tid=3032] ppid=3026 vsize=247300 CPUtime=15.34
/proc/3028/task/3032/stat : 3032 (satake) R 3026 3028 17312 0 -1 4202560 24529 0 0 0 1519 15 0 0 25 0 5 0 1129576967 253235200 57146 4294967295 134512640 135180984 3220093504 3086290704 134525462 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=3028/tid=3033] ppid=3026 vsize=247300 CPUtime=20.32
/proc/3028/task/3033/stat : 3033 (satake) R 3026 3028 17312 0 -1 4202560 24729 0 0 0 2011 21 0 0 25 0 5 0 1129576967 253235200 57146 4294967295 134512640 135180984 3220093504 3086225328 134532454 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.28
Current children cumulated vsize (KiB) 247300

[startup+51.1101 s]
/proc/loadavg: 5.45 5.37 5.30 6/122 3296
/proc/meminfo: memFree=2819416/3368532 swapFree=1959840/1959888
[pid=3028] ppid=3026 vsize=254284 CPUtime=100.99
/proc/3028/stat : 3028 (satake) S 3026 3028 17312 0 -1 4202496 78865 0 0 0 10000 99 0 0 20 0 5 0 1129576967 260386816 59053 4294967295 134512640 135180984 3220093504 3220092940 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/3028/statm: 63571 59053 68 164 0 63406 0
[pid=3028/tid=3029] ppid=3026 vsize=254284 CPUtime=0.46
/proc/3028/task/3029/stat : 3029 (satake) S 3026 3028 17312 0 -1 4202560 3194 0 0 0 16 30 0 0 15 0 5 0 1129576967 260386816 59053 4294967295 134512640 135180984 3220093504 3086422032 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=3028/tid=3031] ppid=3026 vsize=254284 CPUtime=30.2
/proc/3028/task/3031/stat : 3031 (satake) R 3026 3028 17312 0 -1 4202560 25299 0 0 0 2995 25 0 0 25 0 5 0 1129576967 260386816 59053 4294967295 134512640 135180984 3220093504 3086356336 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=3028/tid=3032] ppid=3026 vsize=254284 CPUtime=34.55
/proc/3028/task/3032/stat : 3032 (satake) R 3026 3028 17312 0 -1 4202560 25111 0 0 0 3435 20 0 0 25 0 5 0 1129576967 260386816 59053 4294967295 134512640 135180984 3220093504 3086290604 134706407 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3028/tid=3033] ppid=3026 vsize=254284 CPUtime=35.78
/proc/3028/task/3033/stat : 3033 (satake) R 3026 3028 17312 0 -1 4202560 25151 0 0 0 3554 24 0 0 25 0 5 0 1129576967 260386816 59053 4294967295 134512640 135180984 3220093504 3086225328 134532500 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 100.99
Current children cumulated vsize (KiB) 254284

[startup+102.307 s]
/proc/loadavg: 5.46 5.37 5.30 7/122 3382
/proc/meminfo: memFree=2800156/3368532 swapFree=1959840/1959888
[pid=3028] ppid=3026 vsize=275464 CPUtime=201.94
/proc/3028/stat : 3028 (satake) S 3026 3028 17312 0 -1 4202496 83818 0 0 0 20065 129 0 0 20 0 5 0 1129576967 282075136 64006 4294967295 134512640 135180984 3220093504 3220092940 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/3028/statm: 68866 64006 68 164 0 68701 0
[pid=3028/tid=3029] ppid=3026 vsize=275464 CPUtime=0.65
/proc/3028/task/3029/stat : 3029 (satake) S 3026 3028 17312 0 -1 4202560 3244 0 0 0 22 43 0 0 15 0 5 0 1129576967 282075136 64006 4294967295 134512640 135180984 3220093504 3086422032 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=3028/tid=3031] ppid=3026 vsize=275464 CPUtime=60.23
/proc/3028/task/3031/stat : 3031 (satake) R 3026 3028 17312 0 -1 4202560 27344 0 0 0 5990 33 0 0 25 0 5 0 1129576967 282075136 64006 4294967295 134512640 135180984 3220093504 3086356332 134518218 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3028/tid=3032] ppid=3026 vsize=275464 CPUtime=67.06
/proc/3028/task/3032/stat : 3032 (satake) R 3026 3028 17312 0 -1 4202560 26553 0 0 0 6681 25 0 0 25 0 5 0 1129576967 282075136 64006 4294967295 134512640 135180984 3220093504 3086290800 134528869 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=3028/tid=3033] ppid=3026 vsize=275464 CPUtime=74
/proc/3028/task/3033/stat : 3033 (satake) R 3026 3028 17312 0 -1 4202560 26567 0 0 0 7372 28 0 0 25 0 5 0 1129576967 282075136 64006 4294967295 134512640 135180984 3220093504 3086225068 134706407 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 201.94
Current children cumulated vsize (KiB) 275464

[startup+162.314 s]
/proc/loadavg: 5.40 5.37 5.30 6/122 3682
/proc/meminfo: memFree=2776496/3368532 swapFree=1959840/1959888
[pid=3028] ppid=3026 vsize=298316 CPUtime=320.97
/proc/3028/stat : 3028 (satake) S 3026 3028 17312 0 -1 4202496 89851 0 0 0 31946 151 0 0 20 0 5 0 1129576967 305475584 70039 4294967295 134512640 135180984 3220093504 3220092940 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/3028/statm: 74579 70039 68 164 0 74414 0
[pid=3028/tid=3029] ppid=3026 vsize=298316 CPUtime=0.85
/proc/3028/task/3029/stat : 3029 (satake) S 3026 3028 17312 0 -1 4202560 3297 0 0 0 32 53 0 0 15 0 5 0 1129576967 305475584 70039 4294967295 134512640 135180984 3220093504 3086422032 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=3028/tid=3031] ppid=3026 vsize=298316 CPUtime=95.92
/proc/3028/task/3031/stat : 3031 (satake) R 3026 3028 17312 0 -1 4202560 29957 0 0 0 9555 37 0 0 25 0 5 0 1129576967 305475584 70039 4294967295 134512640 135180984 3220093504 3086356140 134706407 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=3028/tid=3032] ppid=3026 vsize=298316 CPUtime=107.59
/proc/3028/task/3032/stat : 3032 (satake) R 3026 3028 17312 0 -1 4202560 28256 0 0 0 10730 29 0 0 25 0 5 0 1129576967 305475584 70039 4294967295 134512640 135180984 3220093504 3086290800 134528214 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=3028/tid=3033] ppid=3026 vsize=298316 CPUtime=116.61
/proc/3028/task/3033/stat : 3033 (satake) R 3026 3028 17312 0 -1 4202560 28231 0 0 0 11629 32 0 0 25 0 5 0 1129576967 305475584 70039 4294967295 134512640 135180984 3220093504 3086225256 134520886 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 320.97

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

[pid=3028/tid=3031] ppid=3026 vsize=447472 CPUtime=312.29
/proc/3028/task/3031/stat : 3031 (satake) R 3026 3028 17312 0 -1 4202560 43800 0 0 0 31171 58 0 0 25 0 5 0 1129576967 458211328 107078 4294967295 134512640 135180984 3220093504 3086356336 134528211 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3028/tid=3032] ppid=3026 vsize=447472 CPUtime=357.25
/proc/3028/task/3032/stat : 3032 (satake) R 3026 3028 17312 0 -1 4202560 40295 0 0 0 35668 57 0 0 25 0 5 0 1129576967 458211328 107078 4294967295 134512640 135180984 3220093504 3086290704 134524814 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=3028/tid=3033] ppid=3026 vsize=447472 CPUtime=366.67
/proc/3028/task/3033/stat : 3033 (satake) R 3026 3028 17312 0 -1 4202560 39217 0 0 0 36615 52 0 0 25 0 5 0 1129576967 458211328 107078 4294967295 134512640 135180984 3220093504 3086225068 134706407 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1038.32
Current children cumulated vsize (KiB) 447472

[startup+582.312 s]
/proc/loadavg: 5.47 5.42 5.35 6/122 5619
/proc/meminfo: memFree=2602508/3368532 swapFree=1959840/1959888
[pid=3028] ppid=3026 vsize=473356 CPUtime=1157.71
/proc/3028/stat : 3028 (satake) S 3026 3028 17312 0 -1 4202496 133152 0 0 0 115457 314 0 0 20 0 5 0 1129576967 484716544 113340 4294967295 134512640 135180984 3220093504 3220092940 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/3028/statm: 118339 113340 68 164 0 118174 0
[pid=3028/tid=3029] ppid=3026 vsize=473356 CPUtime=2.42
/proc/3028/task/3029/stat : 3029 (satake) S 3026 3028 17312 0 -1 4202560 3485 0 0 0 105 137 0 0 15 0 5 0 1129576967 484716544 113340 4294967295 134512640 135180984 3220093504 3086422032 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=3028/tid=3031] ppid=3026 vsize=473356 CPUtime=347.33
/proc/3028/task/3031/stat : 3031 (satake) R 3026 3028 17312 0 -1 4202560 45938 0 0 0 34672 61 0 0 25 0 5 0 1129576967 484716544 113340 4294967295 134512640 135180984 3220093504 3086356128 134580407 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=3028/tid=3032] ppid=3026 vsize=473356 CPUtime=397.76
/proc/3028/task/3032/stat : 3032 (satake) R 3026 3028 17312 0 -1 4202560 42447 0 0 0 39717 59 0 0 25 0 5 0 1129576967 484716544 113340 4294967295 134512640 135180984 3220093504 3086290800 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=3028/tid=3033] ppid=3026 vsize=473356 CPUtime=410.2
/proc/3028/task/3033/stat : 3033 (satake) R 3026 3028 17312 0 -1 4202560 41172 0 0 0 40963 57 0 0 25 0 5 0 1129576967 484716544 113340 4294967295 134512640 135180984 3220093504 3086225264 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1157.71
Current children cumulated vsize (KiB) 473356

[startup+642.309 s]
/proc/loadavg: 5.35 5.40 5.35 6/122 5895
/proc/meminfo: memFree=2580016/3368532 swapFree=1959840/1959888
[pid=3028] ppid=3026 vsize=495048 CPUtime=1277.23
/proc/3028/stat : 3028 (satake) S 3026 3028 17312 0 -1 4202496 138726 0 0 0 127382 341 0 0 20 0 5 0 1129576967 506929152 118914 4294967295 134512640 135180984 3220093504 3220092940 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/3028/statm: 123762 118914 68 164 0 123597 0
[pid=3028/tid=3029] ppid=3026 vsize=495048 CPUtime=2.5
/proc/3028/task/3029/stat : 3029 (satake) S 3026 3028 17312 0 -1 4202560 3493 0 0 0 106 144 0 0 15 0 5 0 1129576967 506929152 118914 4294967295 134512640 135180984 3220093504 3086422032 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=3028/tid=3031] ppid=3026 vsize=495048 CPUtime=390.97
/proc/3028/task/3031/stat : 3031 (satake) R 3026 3028 17312 0 -1 4202560 48576 0 0 0 39027 70 0 0 25 0 5 0 1129576967 506929152 118914 4294967295 134512640 135180984 3220093504 3086356336 134528666 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=3028/tid=3032] ppid=3026 vsize=495048 CPUtime=435.85
/proc/3028/task/3032/stat : 3032 (satake) R 3026 3028 17312 0 -1 4202560 43745 0 0 0 43520 65 0 0 25 0 5 0 1129576967 506929152 118914 4294967295 134512640 135180984 3220093504 3086290724 134521144 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3028/tid=3033] ppid=3026 vsize=495048 CPUtime=447.91
/proc/3028/task/3033/stat : 3033 (satake) R 3026 3028 17312 0 -1 4202560 42802 0 0 0 44729 62 0 0 25 0 5 0 1129576967 506929152 118914 4294967295 134512640 135180984 3220093504 3086225256 134520863 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1277.23
Current children cumulated vsize (KiB) 495048

[startup+702.306 s]
/proc/loadavg: 5.44 5.43 5.36 6/122 6174
/proc/meminfo: memFree=2554996/3368532 swapFree=1959840/1959888
[pid=3028] ppid=3026 vsize=520816 CPUtime=1396.72
/proc/3028/stat : 3028 (satake) S 3026 3028 17312 0 -1 4202496 144999 0 0 0 139309 363 0 0 20 0 5 0 1129576967 533315584 125187 4294967295 134512640 135180984 3220093504 3220092940 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/3028/statm: 130204 125187 68 164 0 130039 0
[pid=3028/tid=3029] ppid=3026 vsize=520816 CPUtime=2.65
/proc/3028/task/3029/stat : 3029 (satake) S 3026 3028 17312 0 -1 4202560 3510 0 0 0 113 152 0 0 15 0 5 0 1129576967 533315584 125187 4294967295 134512640 135180984 3220093504 3086422032 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=3028/tid=3031] ppid=3026 vsize=520816 CPUtime=426.46
/proc/3028/task/3031/stat : 3031 (satake) R 3026 3028 17312 0 -1 4202560 50652 0 0 0 42571 75 0 0 25 0 5 0 1129576967 533315584 125187 4294967295 134512640 135180984 3220093504 3086356260 134521141 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3028/tid=3032] ppid=3026 vsize=520816 CPUtime=480.2
/proc/3028/task/3032/stat : 3032 (satake) R 3026 3028 17312 0 -1 4202560 46088 0 0 0 47948 72 0 0 25 0 5 0 1129576967 533315584 125187 4294967295 134512640 135180984 3220093504 3086290800 134528636 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=3028/tid=3033] ppid=3026 vsize=520816 CPUtime=487.41
/proc/3028/task/3033/stat : 3033 (satake) R 3026 3028 17312 0 -1 4202560 44639 0 0 0 48677 64 0 0 25 0 5 0 1129576967 533315584 125187 4294967295 134512640 135180984 3220093504 3086225232 134520027 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1396.72
Current children cumulated vsize (KiB) 520816

[startup+762.313 s]
/proc/loadavg: 5.28 5.39 5.35 6/122 6449
/proc/meminfo: memFree=2531292/3368532 swapFree=1959840/1959888
[pid=3028] ppid=3026 vsize=544804 CPUtime=1515.98
/proc/3028/stat : 3028 (satake) S 3026 3028 17312 0 -1 4202496 151048 0 0 0 151214 384 0 0 20 0 5 0 1129576967 557879296 131236 4294967295 134512640 135180984 3220093504 3220092940 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/3028/statm: 136201 131236 68 164 0 136036 0
[pid=3028/tid=3029] ppid=3026 vsize=544804 CPUtime=2.71
/proc/3028/task/3029/stat : 3029 (satake) S 3026 3028 17312 0 -1 4202560 3533 0 0 0 117 154 0 0 15 0 5 0 1129576967 557879296 131236 4294967295 134512640 135180984 3220093504 3086422032 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=3028/tid=3031] ppid=3026 vsize=544804 CPUtime=465.59
/proc/3028/task/3031/stat : 3031 (satake) R 3026 3028 17312 0 -1 4202560 53099 0 0 0 46478 81 0 0 25 0 5 0 1129576967 557879296 131236 4294967295 134512640 135180984 3220093504 3086356336 134529008 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=3028/tid=3032] ppid=3026 vsize=544804 CPUtime=521.61
/proc/3028/task/3032/stat : 3032 (satake) R 3026 3028 17312 0 -1 4202560 47733 0 0 0 52080 81 0 0 25 0 5 0 1129576967 557879296 131236 4294967295 134512640 135180984 3220093504 3086290592 134580407 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=3028/tid=3033] ppid=3026 vsize=544804 CPUtime=526.07
/proc/3028/task/3033/stat : 3033 (satake) R 3026 3028 17312 0 -1 4202560 46573 0 0 0 52539 68 0 0 25 0 5 0 1129576967 557879296 131236 4294967295 134512640 135180984 3220093504 3086225264 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1515.98
Current children cumulated vsize (KiB) 544804

[startup+822.31 s]
/proc/loadavg: 5.30 5.39 5.35 8/122 6725
/proc/meminfo: memFree=2507572/3368532 swapFree=1959840/1959888
[pid=3028] ppid=3026 vsize=568032 CPUtime=1635.31
/proc/3028/stat : 3028 (satake) S 3026 3028 17312 0 -1 4202496 157016 0 0 0 163136 395 0 0 20 0 5 0 1129576967 581664768 137204 4294967295 134512640 135180984 3220093504 3220092940 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/3028/statm: 142008 137204 68 164 0 141843 0
[pid=3028/tid=3029] ppid=3026 vsize=568032 CPUtime=2.81
/proc/3028/task/3029/stat : 3029 (satake) S 3026 3028 17312 0 -1 4202560 3546 0 0 0 124 157 0 0 15 0 5 0 1129576967 581664768 137204 4294967295 134512640 135180984 3220093504 3086422032 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=3028/tid=3031] ppid=3026 vsize=568032 CPUtime=509.7
/proc/3028/task/3031/stat : 3031 (satake) R 3026 3028 17312 0 -1 4202560 55815 0 0 0 50884 86 0 0 25 0 5 0 1129576967 581664768 137204 4294967295 134512640 135180984 3220093504 3086356232 134519101 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3028/tid=3032] ppid=3026 vsize=568032 CPUtime=560.09
/proc/3028/task/3032/stat : 3032 (satake) R 3026 3028 17312 0 -1 4202560 49437 0 0 0 55926 83 0 0 25 0 5 0 1129576967 581664768 137204 4294967295 134512640 135180984 3220093504 3086290800 134528993 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=3028/tid=3033] ppid=3026 vsize=568032 CPUtime=562.71
/proc/3028/task/3033/stat : 3033 (satake) R 3026 3028 17312 0 -1 4202560 48108 0 0 0 56202 69 0 0 25 0 5 0 1129576967 581664768 137204 4294967295 134512640 135180984 3220093504 3086225200 134523809 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1635.31
Current children cumulated vsize (KiB) 568032

[startup+882.317 s]
/proc/loadavg: 5.27 5.36 5.35 7/122 7005
/proc/meminfo: memFree=2483312/3368532 swapFree=1959840/1959888
[pid=3028] ppid=3026 vsize=593464 CPUtime=1756.14
/proc/3028/stat : 3028 (satake) S 3026 3028 17312 0 -1 4202496 163094 0 0 0 175209 405 0 0 20 0 5 0 1129576967 607707136 143282 4294967295 134512640 135180984 3220093504 3220092940 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/3028/statm: 148366 143282 68 164 0 148201 0
[pid=3028/tid=3029] ppid=3026 vsize=593464 CPUtime=2.84
/proc/3028/task/3029/stat : 3029 (satake) S 3026 3028 17312 0 -1 4202560 3560 0 0 0 127 157 0 0 15 0 5 0 1129576967 607707136 143282 4294967295 134512640 135180984 3220093504 3086422032 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=3028/tid=3031] ppid=3026 vsize=593464 CPUtime=546.05
/proc/3028/task/3031/stat : 3031 (satake) R 3026 3028 17312 0 -1 4202560 58081 0 0 0 54517 88 0 0 25 0 5 0 1129576967 607707136 143282 4294967295 134512640 135180984 3220093504 3086356336 134528211 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=3028/tid=3032] ppid=3026 vsize=593464 CPUtime=603.89
/proc/3028/task/3032/stat : 3032 (satake) R 3026 3028 17312 0 -1 4202560 51677 0 0 0 60300 89 0 0 25 0 5 0 1129576967 607707136 143282 4294967295 134512640 135180984 3220093504 3086290700 134520901 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=3028/tid=3033] ppid=3026 vsize=593464 CPUtime=603.36
/proc/3028/task/3033/stat : 3033 (satake) R 3026 3028 17312 0 -1 4202560 49666 0 0 0 60265 71 0 0 25 0 5 0 1129576967 607707136 143282 4294967295 134512640 135180984 3220093504 3086225328 134532454 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1756.14
Current children cumulated vsize (KiB) 593464

[startup+942.314 s]
/proc/loadavg: 5.18 5.32 5.33 6/122 7281
/proc/meminfo: memFree=2459712/3368532 swapFree=1959840/1959888
[pid=3028] ppid=3026 vsize=615912 CPUtime=1875.7
/proc/3028/stat : 3028 (satake) S 3026 3028 17312 0 -1 4202496 168875 0 0 0 187153 417 0 0 20 0 5 0 1129576967 630693888 149063 4294967295 134512640 135180984 3220093504 3220092940 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/3028/statm: 153978 149063 68 164 0 153813 0
[pid=3028/tid=3029] ppid=3026 vsize=615912 CPUtime=2.87
/proc/3028/task/3029/stat : 3029 (satake) S 3026 3028 17312 0 -1 4202560 3575 0 0 0 129 158 0 0 15 0 5 0 1129576967 630693888 149063 4294967295 134512640 135180984 3220093504 3086422032 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=3028/tid=3031] ppid=3026 vsize=615912 CPUtime=584.44
/proc/3028/task/3031/stat : 3031 (satake) R 3026 3028 17312 0 -1 4202560 60617 0 0 0 58350 94 0 0 25 0 5 0 1129576967 630693888 149063 4294967295 134512640 135180984 3220093504 3086356328 134520863 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=3028/tid=3032] ppid=3026 vsize=615912 CPUtime=646.2
/proc/3028/task/3032/stat : 3032 (satake) R 3026 3028 17312 0 -1 4202560 53027 0 0 0 64528 92 0 0 25 0 5 0 1129576967 630693888 149063 4294967295 134512640 135180984 3220093504 3086290800 134528680 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3028/tid=3033] ppid=3026 vsize=615912 CPUtime=642.19
/proc/3028/task/3033/stat : 3033 (satake) R 3026 3028 17312 0 -1 4202560 51546 0 0 0 64146 73 0 0 25 0 5 0 1129576967 630693888 149063 4294967295 134512640 135180984 3220093504 3086225068 134706407 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1875.7
Current children cumulated vsize (KiB) 615912



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.01 s]
/proc/loadavg: 5.21 5.31 5.33 6/122 7556
/proc/meminfo: memFree=2436748/3368532 swapFree=1959840/1959888
[pid=3028] ppid=3026 vsize=638584 CPUtime=1991.78
/proc/3028/stat : 3028 (satake) S 3026 3028 17312 0 -1 4202496 174450 0 0 0 198747 431 0 0 20 0 5 0 1129576967 653910016 154638 4294967295 134512640 135180984 3220093504 3220092940 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/3028/statm: 159646 154638 68 164 0 159481 0
[pid=3028/tid=3029] ppid=3026 vsize=638584 CPUtime=2.98
/proc/3028/task/3029/stat : 3029 (satake) S 3026 3028 17312 0 -1 4202560 3588 0 0 0 134 164 0 0 15 0 5 0 1129576967 653910016 154638 4294967295 134512640 135180984 3220093504 3086422032 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=3028/tid=3031] ppid=3026 vsize=638584 CPUtime=623.01
/proc/3028/task/3031/stat : 3031 (satake) R 3026 3028 17312 0 -1 4202560 62976 0 0 0 62206 95 0 0 25 0 5 0 1129576967 653910016 154638 4294967295 134512640 135180984 3220093504 3086356336 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=3028/tid=3032] ppid=3026 vsize=638584 CPUtime=688.18
/proc/3028/task/3032/stat : 3032 (satake) R 3026 3028 17312 0 -1 4202560 54855 0 0 0 68723 95 0 0 25 0 5 0 1129576967 653910016 154638 4294967295 134512640 135180984 3220093504 3086290800 134528275 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3028/tid=3033] ppid=3026 vsize=638584 CPUtime=677.61
/proc/3028/task/3033/stat : 3033 (satake) R 3026 3028 17312 0 -1 4202560 52921 0 0 0 67684 77 0 0 25 0 5 0 1129576967 653910016 154638 4294967295 134512640 135180984 3220093504 3086225264 134528281 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1991.78
Current children cumulated vsize (KiB) 638584

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): 1991.85
CPU user time (s): 1987.51
CPU system time (s): 4.34
CPU usage (%): 199.172
Max. virtual memory (cumulated for all children) (KiB): 638584

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= 1987.51
system time used= 4.34
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 174451
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= 478555
involuntary context switches= 523489

runsolver used 0 second user time and 0.01 second system time

The end

Launcher Data 

Begin job on  at 2009-05-30 04:05:40
IDJOB=1780585
IDBENCH=71029
IDSOLVER=629
FILE ID=/1780585-1243649140
PBS_JOBID=
Free space on /tmp= 7959 MiB

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

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

MD5SUM BENCH= 4454a006891d750fc88d47a8b0848855
RANDOM SEED= 1431873146

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:       3056700 kB
Buffers:         58268 kB
Cached:         147080 kB
SwapCached:          0 kB
Active:         106948 kB
Inactive:       120676 kB
HighTotal:     2489216 kB
HighFree:      2320100 kB
LowTotal:       879316 kB
LowFree:        736600 kB
SwapTotal:     1959888 kB
SwapFree:      1959840 kB
Dirty:           27696 kB
Writeback:           0 kB
AnonPages:       22296 kB
Mapped:           8200 kB
Slab:            74516 kB
SReclaimable:    61796 kB
SUnreclaim:      12720 kB
PageTables:        796 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:   123560 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 7959 MiB
End job on  at 2009-05-30 04:22:24