Trace number 1780975

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

General information on the benchmark

NameAPPLICATIONS/satComp09_BioInstances/
rpoc_xits_12_UNKNOWN.cnf
MD5SUMfbf37caab2e9eafe910c795f49053484
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 variables1898
Number of clauses128735
Sum of the clauses size383430
Maximum clause length13
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 23005
Number of clauses of size 3125707
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 523

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-1780975-1243651259/watcher-1780975-1243651259 -o /tmp/evaluation-result-1780975-1243651259/solver-1780975-1243651259 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1780975-1243651259.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: 6.55 6.53 6.45 6/112 21509
/proc/meminfo: memFree=3056148/3368532 swapFree=1953788/1959888
[pid=21508] ppid=21506 vsize=968 CPUtime=0
/proc/21508/stat : 21508 (satake) R 21506 21508 23155 0 -1 4202496 107 0 0 0 0 0 0 0 25 0 2 0 1129789965 991232 64 4294967295 134512640 135180984 3221039920 3221039264 134705812 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/21508/statm: 242 64 54 164 0 77 0
[pid=21508/tid=21509] ppid=21506 vsize=968 CPUtime=0
/proc/21508/task/21509/stat : 21509 (satake) R 21506 21508 23155 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 2 0 1129789965 991232 64 4294967295 134512640 135180984 3221039920 3086848836 134705812 0 0 0 0 0 0 0 -1 3 0 0 0

[startup+0.061339 s]
/proc/loadavg: 6.55 6.53 6.45 6/112 21509
/proc/meminfo: memFree=3056148/3368532 swapFree=1953788/1959888
[pid=21508] ppid=21506 vsize=8872 CPUtime=0.05
/proc/21508/stat : 21508 (satake) S 21506 21508 23155 0 -1 4202496 1907 0 0 0 4 1 0 0 25 0 5 0 1129789965 9084928 1861 4294967295 134512640 135180984 3221039920 3221039356 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/21508/statm: 2218 1861 63 164 0 2053 0
[pid=21508/tid=21509] ppid=21506 vsize=8872 CPUtime=0
/proc/21508/task/21509/stat : 21509 (satake) S 21506 21508 23155 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 5 0 1129789965 9084928 1861 4294967295 134512640 135180984 3221039920 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) 8872

[startup+0.161324 s]
/proc/loadavg: 6.55 6.53 6.45 6/112 21509
/proc/meminfo: memFree=3056148/3368532 swapFree=1953788/1959888
[pid=21508] ppid=21506 vsize=14048 CPUtime=0.15
/proc/21508/stat : 21508 (satake) S 21506 21508 23155 0 -1 4202496 3563 0 0 0 13 2 0 0 25 0 5 0 1129789965 14385152 3007 4294967295 134512640 135180984 3221039920 3221039356 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/21508/statm: 3512 3007 68 164 0 3347 0
[pid=21508/tid=21509] ppid=21506 vsize=14048 CPUtime=0
/proc/21508/task/21509/stat : 21509 (satake) S 21506 21508 23155 0 -1 4202560 41 0 0 0 0 0 0 0 24 0 5 0 1129789965 14385152 3007 4294967295 134512640 135180984 3221039920 3086848016 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 14048

[startup+0.31131 s]
/proc/loadavg: 6.55 6.53 6.45 6/112 21509
/proc/meminfo: memFree=3056148/3368532 swapFree=1953788/1959888
[pid=21508] ppid=21506 vsize=15496 CPUtime=0.28
/proc/21508/stat : 21508 (satake) S 21506 21508 23155 0 -1 4202496 4050 0 0 0 26 2 0 0 25 0 5 0 1129789965 15867904 3494 4294967295 134512640 135180984 3221039920 3221039356 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/21508/statm: 3874 3494 68 164 0 3709 0
[pid=21508/tid=21509] ppid=21506 vsize=15496 CPUtime=0
/proc/21508/task/21509/stat : 21509 (satake) S 21506 21508 23155 0 -1 4202560 41 0 0 0 0 0 0 0 23 0 5 0 1129789965 15867904 3494 4294967295 134512640 135180984 3221039920 3086848016 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 15496

[startup+0.71128 s]
/proc/loadavg: 6.55 6.53 6.45 6/112 21509
/proc/meminfo: memFree=3056148/3368532 swapFree=1953788/1959888
[pid=21508] ppid=21506 vsize=18780 CPUtime=0.68
/proc/21508/stat : 21508 (satake) S 21506 21508 23155 0 -1 4202496 5935 0 0 0 64 4 0 0 25 0 5 0 1129789965 19230720 4359 4294967295 134512640 135180984 3221039920 3221039356 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/21508/statm: 4695 4359 68 164 0 4530 0
[pid=21508/tid=21509] ppid=21506 vsize=18780 CPUtime=0
/proc/21508/task/21509/stat : 21509 (satake) S 21506 21508 23155 0 -1 4202560 41 0 0 0 0 0 0 0 19 0 5 0 1129789965 19230720 4359 4294967295 134512640 135180984 3221039920 3086848016 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 18780

[startup+1.51121 s]
/proc/loadavg: 6.55 6.53 6.45 7/116 21513
/proc/meminfo: memFree=3037716/3368532 swapFree=1953788/1959888
[pid=21508] ppid=21506 vsize=21488 CPUtime=1.48
/proc/21508/stat : 21508 (satake) S 21506 21508 23155 0 -1 4202496 6378 0 0 0 143 5 0 0 25 0 5 0 1129789965 22003712 4802 4294967295 134512640 135180984 3221039920 3221039356 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/21508/statm: 5372 4802 68 164 0 5207 0
[pid=21508/tid=21509] ppid=21506 vsize=21488 CPUtime=0
/proc/21508/task/21509/stat : 21509 (satake) S 21506 21508 23155 0 -1 4202560 41 0 0 0 0 0 0 0 15 0 5 0 1129789965 22003712 4802 4294967295 134512640 135180984 3221039920 3086848016 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=21508/tid=21511] ppid=21506 vsize=21488 CPUtime=0.64
/proc/21508/task/21511/stat : 21511 (satake) R 21506 21508 23155 0 -1 4202560 2160 0 0 0 62 2 0 0 25 0 5 0 1129789966 22003712 4802 4294967295 134512640 135180984 3221039920 3086782036 134675846 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=21508/tid=21512] ppid=21506 vsize=21488 CPUtime=0.43
/proc/21508/task/21512/stat : 21512 (satake) R 21506 21508 23155 0 -1 4202560 2037 0 0 0 41 2 0 0 25 0 5 0 1129789966 22003712 4802 4294967295 134512640 135180984 3221039920 3086716784 134528562 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=21508/tid=21513] ppid=21506 vsize=21488 CPUtime=0.41
/proc/21508/task/21513/stat : 21513 (satake) R 21506 21508 23155 0 -1 4202560 2030 0 0 0 40 1 0 0 25 0 5 0 1129789966 22003712 4802 4294967295 134512640 135180984 3221039920 3086651244 134522603 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 21488

[startup+3.11108 s]
/proc/loadavg: 6.55 6.53 6.45 6/116 21513
/proc/meminfo: memFree=3035644/3368532 swapFree=1953788/1959888
[pid=21508] ppid=21506 vsize=24460 CPUtime=3.05
/proc/21508/stat : 21508 (satake) S 21506 21508 23155 0 -1 4202496 7056 0 0 0 299 6 0 0 25 0 5 0 1129789965 25047040 5480 4294967295 134512640 135180984 3221039920 3221039356 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/21508/statm: 6115 5480 68 164 0 5950 0
[pid=21508/tid=21509] ppid=21506 vsize=24460 CPUtime=0
/proc/21508/task/21509/stat : 21509 (satake) S 21506 21508 23155 0 -1 4202560 41 0 0 0 0 0 0 0 15 0 5 0 1129789965 25047040 5480 4294967295 134512640 135180984 3221039920 3086848016 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=21508/tid=21511] ppid=21506 vsize=24460 CPUtime=1.25
/proc/21508/task/21511/stat : 21511 (satake) R 21506 21508 23155 0 -1 4202560 2384 0 0 0 123 2 0 0 25 0 5 0 1129789966 25047040 5480 4294967295 134512640 135180984 3221039920 3086782320 134528680 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=21508/tid=21512] ppid=21506 vsize=24460 CPUtime=0.93
/proc/21508/task/21512/stat : 21512 (satake) R 21506 21508 23155 0 -1 4202560 2257 0 0 0 91 2 0 0 25 0 5 0 1129789966 25047040 5480 4294967295 134512640 135180984 3221039920 3086716784 134526513 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=21508/tid=21513] ppid=21506 vsize=24460 CPUtime=0.88
/proc/21508/task/21513/stat : 21513 (satake) R 21506 21508 23155 0 -1 4202560 2264 0 0 0 86 2 0 0 25 0 5 0 1129789966 25047040 5480 4294967295 134512640 135180984 3221039920 3086651248 134526677 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 24460

[startup+6.31081 s]
/proc/loadavg: 6.51 6.52 6.45 7/116 21513
/proc/meminfo: memFree=3030780/3368532 swapFree=1953788/1959888
[pid=21508] ppid=21506 vsize=27960 CPUtime=6.19
/proc/21508/stat : 21508 (satake) S 21506 21508 23155 0 -1 4202496 8167 0 0 0 613 6 0 0 25 0 5 0 1129789965 28631040 6591 4294967295 134512640 135180984 3221039920 3221039356 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/21508/statm: 6990 6591 68 164 0 6825 0
[pid=21508/tid=21509] ppid=21506 vsize=27960 CPUtime=0
/proc/21508/task/21509/stat : 21509 (satake) S 21506 21508 23155 0 -1 4202560 42 0 0 0 0 0 0 0 15 0 5 0 1129789965 28631040 6591 4294967295 134512640 135180984 3221039920 3086848016 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=21508/tid=21511] ppid=21506 vsize=27960 CPUtime=2.15
/proc/21508/task/21511/stat : 21511 (satake) R 21506 21508 23155 0 -1 4202560 2745 0 0 0 213 2 0 0 25 0 5 0 1129789966 28631040 6591 4294967295 134512640 135180984 3221039920 3086782216 134519103 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=21508/tid=21512] ppid=21506 vsize=27960 CPUtime=2.04
/proc/21508/task/21512/stat : 21512 (satake) R 21506 21508 23155 0 -1 4202560 2609 0 0 0 202 2 0 0 25 0 5 0 1129789966 28631040 6591 4294967295 134512640 135180984 3221039920 3086716776 134518209 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=21508/tid=21513] ppid=21506 vsize=27960 CPUtime=2.01
/proc/21508/task/21513/stat : 21513 (satake) R 21506 21508 23155 0 -1 4202560 2661 0 0 0 199 2 0 0 25 0 5 0 1129789966 28631040 6591 4294967295 134512640 135180984 3221039920 3086651248 134528211 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 27960

[startup+12.7103 s]
/proc/loadavg: 6.39 6.49 6.44 7/116 21514
/proc/meminfo: memFree=3024044/3368532 swapFree=1953788/1959888
[pid=21508] ppid=21506 vsize=34332 CPUtime=12.66
/proc/21508/stat : 21508 (satake) S 21506 21508 23155 0 -1 4202496 9694 0 0 0 1258 8 0 0 25 0 5 0 1129789965 35155968 8118 4294967295 134512640 135180984 3221039920 3221039356 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/21508/statm: 8583 8118 68 164 0 8418 0
[pid=21508/tid=21509] ppid=21506 vsize=34332 CPUtime=0.02
/proc/21508/task/21509/stat : 21509 (satake) S 21506 21508 23155 0 -1 4202560 51 0 0 0 2 0 0 0 15 0 5 0 1129789965 35155968 8118 4294967295 134512640 135180984 3221039920 3086848016 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=21508/tid=21511] ppid=21506 vsize=34332 CPUtime=3.98
/proc/21508/task/21511/stat : 21511 (satake) S 21506 21508 23155 0 -1 4202560 3307 0 0 0 395 3 0 0 25 0 5 0 1129789966 35155968 8118 4294967295 134512640 135180984 3221039920 3086782112 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=21508/tid=21512] ppid=21506 vsize=34332 CPUtime=4.24
/proc/21508/task/21512/stat : 21512 (satake) R 21506 21508 23155 0 -1 4202560 3124 0 0 0 422 2 0 0 25 0 5 0 1129789966 35155968 8118 4294967295 134512640 135180984 3221039920 3086716784 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=21508/tid=21513] ppid=21506 vsize=34332 CPUtime=4.43
/proc/21508/task/21513/stat : 21513 (satake) R 21506 21508 23155 0 -1 4202560 3102 0 0 0 440 3 0 0 25 0 5 0 1129789966 35155968 8118 4294967295 134512640 135180984 3221039920 3086651040 134580407 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 34332

[startup+25.5092 s]
/proc/loadavg: 6.31 6.47 6.44 8/116 21516
/proc/meminfo: memFree=3013232/3368532 swapFree=1953788/1959888
[pid=21508] ppid=21506 vsize=46260 CPUtime=25.83
/proc/21508/stat : 21508 (satake) S 21506 21508 23155 0 -1 4202496 12341 0 0 0 2571 12 0 0 25 0 5 0 1129789965 47370240 10765 4294967295 134512640 135180984 3221039920 3221039356 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/21508/statm: 11565 10765 68 164 0 11400 0
[pid=21508/tid=21509] ppid=21506 vsize=46260 CPUtime=0.03
/proc/21508/task/21509/stat : 21509 (satake) S 21506 21508 23155 0 -1 4202560 60 0 0 0 2 1 0 0 15 0 5 0 1129789965 47370240 10765 4294967295 134512640 135180984 3221039920 3086848016 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=21508/tid=21511] ppid=21506 vsize=46260 CPUtime=8.55
/proc/21508/task/21511/stat : 21511 (satake) R 21506 21508 23155 0 -1 4202560 4198 0 0 0 851 4 0 0 25 0 5 0 1129789966 47370240 10765 4294967295 134512640 135180984 3221039920 3086782320 134528756 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=21508/tid=21512] ppid=21506 vsize=46260 CPUtime=8.55
/proc/21508/task/21512/stat : 21512 (satake) R 21506 21508 23155 0 -1 4202560 3998 0 0 0 852 3 0 0 25 0 5 0 1129789966 47370240 10765 4294967295 134512640 135180984 3221039920 3086716784 134528214 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=21508/tid=21513] ppid=21506 vsize=46260 CPUtime=8.71
/proc/21508/task/21513/stat : 21513 (satake) R 21506 21508 23155 0 -1 4202560 3975 0 0 0 867 4 0 0 25 0 5 0 1129789966 47370240 10765 4294967295 134512640 135180984 3221039920 3086651248 134528688 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.83
Current children cumulated vsize (KiB) 46260

[startup+51.1071 s]
/proc/loadavg: 6.01 6.38 6.41 7/116 21518
/proc/meminfo: memFree=2997444/3368532 swapFree=1953788/1959888
[pid=21508] ppid=21506 vsize=61748 CPUtime=52.69
/proc/21508/stat : 21508 (satake) S 21506 21508 23155 0 -1 4202496 16341 0 0 0 5249 20 0 0 25 0 5 0 1129789965 63229952 14765 4294967295 134512640 135180984 3221039920 3221039356 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/21508/statm: 15437 14765 68 164 0 15272 0
[pid=21508/tid=21509] ppid=21506 vsize=61748 CPUtime=0.07
/proc/21508/task/21509/stat : 21509 (satake) S 21506 21508 23155 0 -1 4202560 83 0 0 0 3 4 0 0 15 0 5 0 1129789965 63229952 14765 4294967295 134512640 135180984 3221039920 3086848016 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=21508/tid=21511] ppid=21506 vsize=61748 CPUtime=16.65
/proc/21508/task/21511/stat : 21511 (satake) R 21506 21508 23155 0 -1 4202560 5406 0 0 0 1658 7 0 0 25 0 5 0 1129789966 63229952 14765 4294967295 134512640 135180984 3221039920 3086782312 134520884 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=21508/tid=21512] ppid=21506 vsize=61748 CPUtime=17.77
/proc/21508/task/21512/stat : 21512 (satake) R 21506 21508 23155 0 -1 4202560 5284 0 0 0 1773 4 0 0 25 0 5 0 1129789966 63229952 14765 4294967295 134512640 135180984 3221039920 3086716784 134528680 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=21508/tid=21513] ppid=21506 vsize=61748 CPUtime=18.21
/proc/21508/task/21513/stat : 21513 (satake) R 21506 21508 23155 0 -1 4202560 5458 0 0 0 1816 5 0 0 25 0 5 0 1129789966 63229952 14765 4294967295 134512640 135180984 3221039920 3086651248 134528648 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 52.69
Current children cumulated vsize (KiB) 61748

[startup+102.313 s]
/proc/loadavg: 6.34 6.43 6.42 6/116 21709
/proc/meminfo: memFree=2971396/3368532 swapFree=1953788/1959888
[pid=21508] ppid=21506 vsize=88040 CPUtime=126.19
/proc/21508/stat : 21508 (satake) S 21506 21508 23155 0 -1 4202496 22876 0 0 0 12582 37 0 0 25 0 5 0 1129789965 90152960 21300 4294967295 134512640 135180984 3221039920 3221039356 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/21508/statm: 22010 21300 68 164 0 21845 0
[pid=21508/tid=21509] ppid=21506 vsize=88040 CPUtime=0.15
/proc/21508/task/21509/stat : 21509 (satake) S 21506 21508 23155 0 -1 4202560 112 0 0 0 5 10 0 0 15 0 5 0 1129789965 90152960 21300 4294967295 134512640 135180984 3221039920 3086848016 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=21508/tid=21511] ppid=21506 vsize=88040 CPUtime=41.81
/proc/21508/task/21511/stat : 21511 (satake) R 21506 21508 23155 0 -1 4202560 7491 0 0 0 4170 11 0 0 25 0 5 0 1129789966 90152960 21300 4294967295 134512640 135180984 3221039920 3086782320 134528552 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=21508/tid=21512] ppid=21506 vsize=88040 CPUtime=41.83
/proc/21508/task/21512/stat : 21512 (satake) R 21506 21508 23155 0 -1 4202560 7423 0 0 0 4175 8 0 0 25 0 5 0 1129789966 90152960 21300 4294967295 134512640 135180984 3221039920 3086716784 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=21508/tid=21513] ppid=21506 vsize=88040 CPUtime=42.41
/proc/21508/task/21513/stat : 21513 (satake) R 21506 21508 23155 0 -1 4202560 7740 0 0 0 4233 8 0 0 25 0 5 0 1129789966 90152960 21300 4294967295 134512640 135180984 3221039920 3086651244 134518218 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 126.19
Current children cumulated vsize (KiB) 88040

[startup+162.308 s]
/proc/loadavg: 6.41 6.43 6.42 7/116 21896
/proc/meminfo: memFree=2947544/3368532 swapFree=1953788/1959888
[pid=21508] ppid=21506 vsize=111296 CPUtime=239.89
/proc/21508/stat : 21508 (satake) S 21506 21508 23155 0 -1 4202496 28644 0 0 0 23933 56 0 0 25 0 5 0 1129789965 113967104 27068 4294967295 134512640 135180984 3221039920 3221039356 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/21508/statm: 27824 27068 68 164 0 27659 0
[pid=21508/tid=21509] ppid=21506 vsize=111296 CPUtime=0.26
/proc/21508/task/21509/stat : 21509 (satake) S 21506 21508 23155 0 -1 4202560 133 0 0 0 9 17 0 0 15 0 5 0 1129789965 113967104 27068 4294967295 134512640 135180984 3221039920 3086848016 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=21508/tid=21511] ppid=21506 vsize=111296 CPUtime=82.34
/proc/21508/task/21511/stat : 21511 (satake) R 21506 21508 23155 0 -1 4202560 9429 0 0 0 8223 11 0 0 25 0 5 0 1129789966 113967104 27068 4294967295 134512640 135180984 3221039920 3086782320 134528648 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=21508/tid=21512] ppid=21506 vsize=111296 CPUtime=79.03
/proc/21508/task/21512/stat : 21512 (satake) R 21506 21508 23155 0 -1 4202560 9336 0 0 0 7886 17 0 0 25 0 5 0 1129789966 113967104 27068 4294967295 134512640 135180984 3221039920 3086716784 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=21508/tid=21513] ppid=21506 vsize=111296 CPUtime=78.27
/proc/21508/task/21513/stat : 21513 (satake) R 21506 21508 23155 0 -1 4202560 9636 0 0 0 7816 11 0 0 25 0 5 0 1129789966 113967104 27068 4294967295 134512640 135180984 3221039920 3086651248 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 239.89

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

[pid=21508/tid=21511] ppid=21506 vsize=201232 CPUtime=330.15
/proc/21508/task/21511/stat : 21511 (satake) R 21506 21508 23155 0 -1 4202560 16154 0 0 0 32992 23 0 0 25 0 5 0 1129789966 206061568 48837 4294967295 134512640 135180984 3221039920 3086782320 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=21508/tid=21512] ppid=21506 vsize=201232 CPUtime=295.73
/proc/21508/task/21512/stat : 21512 (satake) R 21506 21508 23155 0 -1 4202560 17618 0 0 0 29542 31 0 0 25 0 5 0 1129789966 206061568 48837 4294967295 134512640 135180984 3221039920 3086716784 134528536 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=21508/tid=21513] ppid=21506 vsize=201232 CPUtime=327.08
/proc/21508/task/21513/stat : 21513 (satake) R 21506 21508 23155 0 -1 4202560 16391 0 0 0 32681 27 0 0 25 0 5 0 1129789966 206061568 48837 4294967295 134512640 135180984 3221039920 3086651248 134528524 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 953.23
Current children cumulated vsize (KiB) 201232

[startup+582.313 s]
/proc/loadavg: 6.93 6.62 6.50 7/116 23220
/proc/meminfo: memFree=2851204/3368532 swapFree=1953788/1959888
[pid=21508] ppid=21506 vsize=210724 CPUtime=1072.02
/proc/21508/stat : 21508 (satake) S 21506 21508 23155 0 -1 4202496 52535 0 0 0 107097 105 0 0 25 0 5 0 1129789965 215781376 50959 4294967295 134512640 135180984 3221039920 3221039356 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/21508/statm: 52681 50959 68 164 0 52516 0
[pid=21508/tid=21509] ppid=21506 vsize=210724 CPUtime=0.28
/proc/21508/task/21509/stat : 21509 (satake) S 21506 21508 23155 0 -1 4202560 141 0 0 0 9 19 0 0 15 0 5 0 1129789965 215781376 50959 4294967295 134512640 135180984 3221039920 3086848016 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=21508/tid=21511] ppid=21506 vsize=210724 CPUtime=372.49
/proc/21508/task/21511/stat : 21511 (satake) R 21506 21508 23155 0 -1 4202560 17019 0 0 0 37225 24 0 0 25 0 5 0 1129789966 215781376 50959 4294967295 134512640 135180984 3221039920 3086782320 134526115 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=21508/tid=21512] ppid=21506 vsize=210724 CPUtime=327.95
/proc/21508/task/21512/stat : 21512 (satake) R 21506 21508 23155 0 -1 4202560 18342 0 0 0 32762 33 0 0 25 0 5 0 1129789966 215781376 50959 4294967295 134512640 135180984 3221039920 3086716784 134528719 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=21508/tid=21513] ppid=21506 vsize=210724 CPUtime=371.31
/proc/21508/task/21513/stat : 21513 (satake) R 21506 21508 23155 0 -1 4202560 16923 0 0 0 37102 29 0 0 25 0 5 0 1129789966 215781376 50959 4294967295 134512640 135180984 3221039920 3086651248 134528633 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1072.02
Current children cumulated vsize (KiB) 210724

[startup+642.308 s]
/proc/loadavg: 6.83 6.63 6.50 8/116 23409
/proc/meminfo: memFree=2843032/3368532 swapFree=1953788/1959888
[pid=21508] ppid=21506 vsize=218276 CPUtime=1190.61
/proc/21508/stat : 21508 (satake) S 21506 21508 23155 0 -1 4202496 54438 0 0 0 118953 108 0 0 25 0 5 0 1129789965 223514624 52862 4294967295 134512640 135180984 3221039920 3221039356 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/21508/statm: 54569 52862 68 164 0 54404 0
[pid=21508/tid=21509] ppid=21506 vsize=218276 CPUtime=0.28
/proc/21508/task/21509/stat : 21509 (satake) S 21506 21508 23155 0 -1 4202560 141 0 0 0 9 19 0 0 15 0 5 0 1129789965 223514624 52862 4294967295 134512640 135180984 3221039920 3086848016 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=21508/tid=21511] ppid=21506 vsize=218276 CPUtime=409.75
/proc/21508/task/21511/stat : 21511 (satake) R 21506 21508 23155 0 -1 4202560 17629 0 0 0 40949 26 0 0 25 0 5 0 1129789966 223514624 52862 4294967295 134512640 135180984 3221039920 3086782320 134528636 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=21508/tid=21512] ppid=21506 vsize=218276 CPUtime=364.57
/proc/21508/task/21512/stat : 21512 (satake) R 21506 21508 23155 0 -1 4202560 19109 0 0 0 36424 33 0 0 25 0 5 0 1129789966 223514624 52862 4294967295 134512640 135180984 3221039920 3086716784 134528680 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=21508/tid=21513] ppid=21506 vsize=218276 CPUtime=416.01
/proc/21508/task/21513/stat : 21513 (satake) R 21506 21508 23155 0 -1 4202560 17449 0 0 0 41571 30 0 0 25 0 5 0 1129789966 223514624 52862 4294967295 134512640 135180984 3221039920 3086651240 134518216 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1190.61
Current children cumulated vsize (KiB) 218276

[startup+702.313 s]
/proc/loadavg: 6.66 6.59 6.49 7/116 23596
/proc/meminfo: memFree=2835652/3368532 swapFree=1953788/1959888
[pid=21508] ppid=21506 vsize=226204 CPUtime=1309.67
/proc/21508/stat : 21508 (satake) S 21506 21508 23155 0 -1 4202496 56189 0 0 0 130852 115 0 0 25 0 5 0 1129789965 231632896 54613 4294967295 134512640 135180984 3221039920 3221039356 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/21508/statm: 56551 54613 68 164 0 56386 0
[pid=21508/tid=21509] ppid=21506 vsize=226204 CPUtime=0.28
/proc/21508/task/21509/stat : 21509 (satake) S 21506 21508 23155 0 -1 4202560 143 0 0 0 9 19 0 0 15 0 5 0 1129789965 231632896 54613 4294967295 134512640 135180984 3221039920 3086848016 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=21508/tid=21511] ppid=21506 vsize=226204 CPUtime=446.3
/proc/21508/task/21511/stat : 21511 (satake) R 21506 21508 23155 0 -1 4202560 18246 0 0 0 44603 27 0 0 25 0 5 0 1129789966 231632896 54613 4294967295 134512640 135180984 3221039920 3086782320 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=21508/tid=21512] ppid=21506 vsize=226204 CPUtime=412.93
/proc/21508/task/21512/stat : 21512 (satake) R 21506 21508 23155 0 -1 4202560 19818 0 0 0 41258 35 0 0 25 0 5 0 1129789966 231632896 54613 4294967295 134512640 135180984 3221039920 3086716784 134528706 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=21508/tid=21513] ppid=21506 vsize=226204 CPUtime=450.16
/proc/21508/task/21513/stat : 21513 (satake) R 21506 21508 23155 0 -1 4202560 17872 0 0 0 44982 34 0 0 25 0 5 0 1129789966 231632896 54613 4294967295 134512640 135180984 3221039920 3086651248 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1309.67
Current children cumulated vsize (KiB) 226204

[startup+762.308 s]
/proc/loadavg: 6.66 6.59 6.50 9/117 23781
/proc/meminfo: memFree=2828384/3368532 swapFree=1953788/1959888
[pid=21508] ppid=21506 vsize=234372 CPUtime=1428.17
/proc/21508/stat : 21508 (satake) S 21506 21508 23155 0 -1 4202496 58021 0 0 0 142689 128 0 0 25 0 5 0 1129789965 239996928 56445 4294967295 134512640 135180984 3221039920 3221039356 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/21508/statm: 58593 56445 68 164 0 58428 0
[pid=21508/tid=21509] ppid=21506 vsize=234372 CPUtime=0.29
/proc/21508/task/21509/stat : 21509 (satake) S 21506 21508 23155 0 -1 4202560 143 0 0 0 10 19 0 0 15 0 5 0 1129789965 239996928 56445 4294967295 134512640 135180984 3221039920 3086848016 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=21508/tid=21511] ppid=21506 vsize=234372 CPUtime=486.46
/proc/21508/task/21511/stat : 21511 (satake) R 21506 21508 23155 0 -1 4202560 19007 0 0 0 48610 36 0 0 25 0 5 0 1129789966 239996928 56445 4294967295 134512640 135180984 3221039920 3086782320 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=21508/tid=21512] ppid=21506 vsize=234372 CPUtime=451.33
/proc/21508/task/21512/stat : 21512 (satake) R 21506 21508 23155 0 -1 4202560 20417 0 0 0 45096 37 0 0 25 0 5 0 1129789966 239996928 56445 4294967295 134512640 135180984 3221039920 3086716784 134528661 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=21508/tid=21513] ppid=21506 vsize=234372 CPUtime=490.1
/proc/21508/task/21513/stat : 21513 (satake) R 21506 21508 23155 0 -1 4202560 18344 0 0 0 48974 36 0 0 25 0 5 0 1129789966 239996928 56445 4294967295 134512640 135180984 3221039920 3086651240 134518224 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1428.17
Current children cumulated vsize (KiB) 234372

[startup+822.303 s]
/proc/loadavg: 6.85 6.63 6.51 8/116 23971
/proc/meminfo: memFree=2821216/3368532 swapFree=1953788/1959888
[pid=21508] ppid=21506 vsize=243472 CPUtime=1547.09
/proc/21508/stat : 21508 (satake) S 21506 21508 23155 0 -1 4202496 59886 0 0 0 154574 135 0 0 25 0 5 0 1129789965 249315328 58310 4294967295 134512640 135180984 3221039920 3221039356 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/21508/statm: 60868 58310 68 164 0 60703 0
[pid=21508/tid=21509] ppid=21506 vsize=243472 CPUtime=0.29
/proc/21508/task/21509/stat : 21509 (satake) S 21506 21508 23155 0 -1 4202560 144 0 0 0 10 19 0 0 15 0 5 0 1129789965 249315328 58310 4294967295 134512640 135180984 3221039920 3086848016 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=21508/tid=21511] ppid=21506 vsize=243472 CPUtime=533.75
/proc/21508/task/21511/stat : 21511 (satake) R 21506 21508 23155 0 -1 4202560 19596 0 0 0 53335 40 0 0 25 0 5 0 1129789966 249315328 58310 4294967295 134512640 135180984 3221039920 3086782320 134528655 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=21508/tid=21512] ppid=21506 vsize=243472 CPUtime=486.69
/proc/21508/task/21512/stat : 21512 (satake) R 21506 21508 23155 0 -1 4202560 21116 0 0 0 48630 39 0 0 25 0 5 0 1129789966 249315328 58310 4294967295 134512640 135180984 3221039920 3086716780 134520661 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=21508/tid=21513] ppid=21506 vsize=243472 CPUtime=526.37
/proc/21508/task/21513/stat : 21513 (satake) R 21506 21508 23155 0 -1 4202560 18920 0 0 0 52600 37 0 0 25 0 5 0 1129789966 249315328 58310 4294967295 134512640 135180984 3221039920 3086651040 134580407 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1547.09
Current children cumulated vsize (KiB) 243472

[startup+882.308 s]
/proc/loadavg: 7.12 6.71 6.54 9/117 24152
/proc/meminfo: memFree=2813628/3368532 swapFree=1953788/1959888
[pid=21508] ppid=21506 vsize=250276 CPUtime=1665.94
/proc/21508/stat : 21508 (satake) S 21506 21508 23155 0 -1 4202496 61778 0 0 0 166456 138 0 0 25 0 5 0 1129789965 256282624 60202 4294967295 134512640 135180984 3221039920 3221039356 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/21508/statm: 62569 60202 68 164 0 62404 0
[pid=21508/tid=21509] ppid=21506 vsize=250276 CPUtime=0.29
/proc/21508/task/21509/stat : 21509 (satake) S 21506 21508 23155 0 -1 4202560 146 0 0 0 10 19 0 0 15 0 5 0 1129789965 256282624 60202 4294967295 134512640 135180984 3221039920 3086848016 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=21508/tid=21511] ppid=21506 vsize=250276 CPUtime=576.45
/proc/21508/task/21511/stat : 21511 (satake) R 21506 21508 23155 0 -1 4202560 20282 0 0 0 57604 41 0 0 25 0 5 0 1129789966 256282624 60202 4294967295 134512640 135180984 3221039920 3086782320 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=21508/tid=21512] ppid=21506 vsize=250276 CPUtime=516.84
/proc/21508/task/21512/stat : 21512 (satake) R 21506 21508 23155 0 -1 4202560 21853 0 0 0 51643 41 0 0 25 0 5 0 1129789966 256282624 60202 4294967295 134512640 135180984 3221039920 3086716780 134518218 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=21508/tid=21513] ppid=21506 vsize=250276 CPUtime=572.37
/proc/21508/task/21513/stat : 21513 (satake) R 21506 21508 23155 0 -1 4202560 19387 0 0 0 57200 37 0 0 25 0 5 0 1129789966 256282624 60202 4294967295 134512640 135180984 3221039920 3086651248 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1665.94
Current children cumulated vsize (KiB) 250276

[startup+942.313 s]
/proc/loadavg: 6.98 6.73 6.56 9/117 24278
/proc/meminfo: memFree=2807276/3368532 swapFree=1953788/1959888
[pid=21508] ppid=21506 vsize=257600 CPUtime=1784.84
/proc/21508/stat : 21508 (satake) S 21506 21508 23155 0 -1 4202496 63420 0 0 0 178337 147 0 0 25 0 5 0 1129789965 263782400 61844 4294967295 134512640 135180984 3221039920 3221039356 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/21508/statm: 64400 61844 68 164 0 64235 0
[pid=21508/tid=21509] ppid=21506 vsize=257600 CPUtime=0.29
/proc/21508/task/21509/stat : 21509 (satake) S 21506 21508 23155 0 -1 4202560 146 0 0 0 10 19 0 0 15 0 5 0 1129789965 263782400 61844 4294967295 134512640 135180984 3221039920 3086848016 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=21508/tid=21511] ppid=21506 vsize=257600 CPUtime=626.65
/proc/21508/task/21511/stat : 21511 (satake) R 21506 21508 23155 0 -1 4202560 21015 0 0 0 62624 41 0 0 25 0 5 0 1129789966 263782400 61844 4294967295 134512640 135180984 3221039920 3086782320 134528680 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=21508/tid=21512] ppid=21506 vsize=257600 CPUtime=553.8
/proc/21508/task/21512/stat : 21512 (satake) R 21506 21508 23155 0 -1 4202560 22422 0 0 0 55333 47 0 0 25 0 5 0 1129789966 263782400 61844 4294967295 134512640 135180984 3221039920 3086716776 134518224 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=21508/tid=21513] ppid=21506 vsize=257600 CPUtime=604.11
/proc/21508/task/21513/stat : 21513 (satake) R 21506 21508 23155 0 -1 4202560 19727 0 0 0 60371 40 0 0 25 0 5 0 1129789966 263782400 61844 4294967295 134512640 135180984 3221039920 3086651244 134518208 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1784.84
Current children cumulated vsize (KiB) 257600



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.02 s]
/proc/loadavg: 6.59 6.67 6.55 8/117 24394
/proc/meminfo: memFree=2802464/3368532 swapFree=1953788/1959888
[pid=21508] ppid=21506 vsize=263272 CPUtime=1899.28
/proc/21508/stat : 21508 (satake) S 21506 21508 23155 0 -1 4202496 64603 0 0 0 189779 149 0 0 25 0 5 0 1129789965 269590528 63027 4294967295 134512640 135180984 3221039920 3221039356 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/21508/statm: 65818 63027 68 164 0 65653 0
[pid=21508/tid=21509] ppid=21506 vsize=263272 CPUtime=0.31
/proc/21508/task/21509/stat : 21509 (satake) S 21506 21508 23155 0 -1 4202560 149 0 0 0 12 19 0 0 15 0 5 0 1129789965 269590528 63027 4294967295 134512640 135180984 3221039920 3086848016 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=21508/tid=21511] ppid=21506 vsize=263272 CPUtime=667.66
/proc/21508/task/21511/stat : 21511 (satake) R 21506 21508 23155 0 -1 4202560 21377 0 0 0 66725 41 0 0 25 0 5 0 1129789966 269590528 63027 4294967295 134512640 135180984 3221039920 3086782320 134528680 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=21508/tid=21512] ppid=21506 vsize=263272 CPUtime=588.09
/proc/21508/task/21512/stat : 21512 (satake) R 21506 21508 23155 0 -1 4202560 22760 0 0 0 58762 47 0 0 25 0 5 0 1129789966 269590528 63027 4294967295 134512640 135180984 3221039920 3086716576 134580407 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=21508/tid=21513] ppid=21506 vsize=263272 CPUtime=643.22
/proc/21508/task/21513/stat : 21513 (satake) R 21506 21508 23155 0 -1 4202560 20207 0 0 0 64280 42 0 0 25 0 5 0 1129789966 269590528 63027 4294967295 134512640 135180984 3221039920 3086651248 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1899.28
Current children cumulated vsize (KiB) 263272

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1000.06
CPU time (s): 1899.33
CPU user time (s): 1897.82
CPU system time (s): 1.51
CPU usage (%): 189.921
Max. virtual memory (cumulated for all children) (KiB): 263272

deleting IPC queue 14155776
deleting IPC queue 14188545
deleting IPC queue 14221314
deleting IPC queue 14254083
deleting IPC queue 14286852
deleting IPC queue 14319621
deleting IPC queue 14352390
deleting IPC queue 14385159
deleting IPC queue 14417928
deleting IPC queue 14450697
deleting IPC queue 14483466
deleting IPC queue 14516235
deleting IPC queue 14549004
deleting IPC queue 14581773
deleting IPC queue 14614542
deleting IPC queue 14647311

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1897.82
system time used= 1.51
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64603
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= 68996
involuntary context switches= 132870

runsolver used 0 second user time and 0.01 second system time

The end

Launcher Data 

Begin job on  at 2009-05-30 04:40:59
IDJOB=1780975
IDBENCH=71084
IDSOLVER=629
FILE ID=/1780975-1243651259
PBS_JOBID=
Free space on /tmp= 6475 MiB

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

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

MD5SUM BENCH= fbf37caab2e9eafe910c795f49053484
RANDOM SEED= 1815895505

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.061
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.061
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.061
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.061
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:       3056148 kB
Buffers:         72152 kB
Cached:         133456 kB
SwapCached:       2256 kB
Active:         108680 kB
Inactive:       113552 kB
HighTotal:     2489216 kB
HighFree:      2338176 kB
LowTotal:       879316 kB
LowFree:        717972 kB
SwapTotal:     1959888 kB
SwapFree:      1953788 kB
Dirty:            2936 kB
Writeback:           0 kB
AnonPages:       15896 kB
Mapped:           5152 kB
Slab:            81080 kB
SReclaimable:    66960 kB
SUnreclaim:      14120 kB
PageTables:        588 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:   112668 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 6475 MiB
End job on  at 2009-05-30 04:57:41