Trace number 1775740

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

General information on the benchmark

Nameindustrial/anbulagan/
hard-unsat/dated-5-17-u.cnf
MD5SUM83ece6745238c422c7e68e5a07fc7f73
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark830.37
Satisfiable
(Un)Satisfiability was proved
Number of variables183464
Number of clauses855717
Sum of the clauses size1974802
Maximum clause length10
Minimum clause length1
Number of clauses of size 115316
Number of clauses of size 2664917
Number of clauses of size 3141084
Number of clauses of size 43820
Number of clauses of size 515280
Number of clauses of size over 515300

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-1775740-1243632260/watcher-1775740-1243632260 -o /tmp/evaluation-result-1775740-1243632260/solver-1775740-1243632260 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1775740-1243632260.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.78 2.87 1.98 3/98 1832
/proc/meminfo: memFree=3137204/3368532 swapFree=1959840/1959888
[pid=1832] ppid=1830 vsize=3216 CPUtime=0
/proc/1832/stat : 1832 (satake) S 1830 1832 30957 0 -1 4202496 443 0 0 0 0 0 0 0 18 0 5 0 944802898 3293184 399 4294967295 134512640 135180984 3212917616 3212917052 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/1832/statm: 804 403 63 164 0 639 0
[pid=1832/tid=1833] ppid=1830 vsize=5264 CPUtime=0
/proc/1832/task/1833/stat : 1833 (satake) S 1830 1832 30957 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 944802898 5390336 684 4294967295 134512640 135180984 3212917616 3086995472 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=1832/tid=1834] ppid=1830 vsize=5264 CPUtime=0
/proc/1832/task/1834/stat : 1834 (satake) R 1830 1832 30957 0 -1 4202560 615 0 0 0 0 0 0 0 19 0 5 0 944802898 5390336 689 4294967295 134512640 135180984 3212917616 3086930212 134583077 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=1832/tid=1835] ppid=1830 vsize=5264 CPUtime=0
/proc/1832/task/1835/stat : 1835 (satake) R 1830 1832 30957 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 5 0 944802898 5390336 693 4294967295 134512640 135180984 3212917616 3086865220 134705812 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=1832/tid=1836] ppid=1830 vsize=5264 CPUtime=0
/proc/1832/task/1836/stat : 1836 (satake) R 1830 1832 30957 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 5 0 944802898 5390336 699 4294967295 134512640 135180984 3212917616 3086799684 134705812 0 0 0 0 0 0 0 -1 2 0 0 0

[startup+0.067605 s]
/proc/loadavg: 2.78 2.87 1.98 3/98 1832
/proc/meminfo: memFree=3137204/3368532 swapFree=1959840/1959888
[pid=1832] ppid=1830 vsize=57912 CPUtime=0.13
/proc/1832/stat : 1832 (satake) S 1830 1832 30957 0 -1 4202496 13324 0 0 0 5 8 0 0 18 0 5 0 944802898 59301888 13276 4294967295 134512640 135180984 3212917616 3212917052 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/1832/statm: 14435 13468 63 164 0 14270 0
[pid=1832/tid=1833] ppid=1830 vsize=57740 CPUtime=0
/proc/1832/task/1833/stat : 1833 (satake) S 1830 1832 30957 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 944802898 59125760 13468 4294967295 134512640 135180984 3212917616 3086995472 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=1832/tid=1834] ppid=1830 vsize=57740 CPUtime=0.07
/proc/1832/task/1834/stat : 1834 (satake) R 1830 1832 30957 0 -1 4202560 4701 0 0 0 2 5 0 0 18 0 5 0 944802898 59125760 13469 4294967295 134512640 135180984 3212917616 3086930068 134579486 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=1832/tid=1835] ppid=1830 vsize=57740 CPUtime=0.05
/proc/1832/task/1835/stat : 1835 (satake) S 1830 1832 30957 0 -1 4202560 4865 0 0 0 3 2 0 0 19 0 5 0 944802898 59125760 13476 4294967295 134512640 135180984 3212917616 3086864532 134579486 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=1832/tid=1836] ppid=1830 vsize=57912 CPUtime=0.01
/proc/1832/task/1836/stat : 1836 (satake) R 1830 1832 30957 0 -1 4202560 3881 0 0 0 0 1 0 0 20 0 5 0 944802898 59301888 13526 4294967295 134512640 135180984 3212917616 3086799028 134579745 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 57912

[startup+0.128172 s]
/proc/loadavg: 2.78 2.87 1.98 3/98 1832
/proc/meminfo: memFree=3137204/3368532 swapFree=1959840/1959888
[pid=1832] ppid=1830 vsize=79140 CPUtime=0.3
/proc/1832/stat : 1832 (satake) S 1830 1832 30957 0 -1 4202496 17964 0 0 0 21 9 0 0 18 0 5 0 944802898 81039360 17912 4294967295 134512640 135180984 3212917616 3212917052 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/1832/statm: 20377 18228 63 164 0 20212 0
[pid=1832/tid=1833] ppid=1830 vsize=81640 CPUtime=0
/proc/1832/task/1833/stat : 1833 (satake) S 1830 1832 30957 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 944802898 83599360 18460 4294967295 134512640 135180984 3212917616 3086995472 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=1832/tid=1834] ppid=1830 vsize=87096 CPUtime=0.13
/proc/1832/task/1834/stat : 1834 (satake) R 1830 1832 30957 0 -1 4202560 6697 0 0 0 8 5 0 0 18 0 5 0 944802898 89186304 18866 4294967295 134512640 135180984 3212917616 3086930144 134520015 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=1832/tid=1835] ppid=1830 vsize=87096 CPUtime=0.11
/proc/1832/task/1835/stat : 1835 (satake) D 1830 1832 30957 0 -1 4202560 6660 0 0 0 9 2 0 0 18 0 5 0 944802898 89186304 18904 4294967295 134512640 135180984 3212917616 3086864456 134675846 0 0 0 0 3223098951 0 0 -1 3 0 0 0
[pid=1832/tid=1836] ppid=1830 vsize=87096 CPUtime=0.08
/proc/1832/task/1836/stat : 1836 (satake) R 1830 1832 30957 0 -1 4202560 5481 0 0 0 5 3 0 0 20 0 5 0 944802898 89186304 18904 4294967295 134512640 135180984 3212917616 3086799028 134706046 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 79140

[startup+0.317392 s]
/proc/loadavg: 2.78 2.87 1.98 3/98 1832
/proc/meminfo: memFree=3137204/3368532 swapFree=1959840/1959888
[pid=1832] ppid=1830 vsize=153504 CPUtime=0.91
/proc/1832/stat : 1832 (satake) S 1830 1832 30957 0 -1 4202496 31612 0 0 0 78 13 0 0 18 0 5 0 944802898 157188096 31560 4294967295 134512640 135180984 3212917616 3212917052 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/1832/statm: 38376 31560 63 164 0 38211 0
[pid=1832/tid=1833] ppid=1830 vsize=153504 CPUtime=0
/proc/1832/task/1833/stat : 1833 (satake) S 1830 1832 30957 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 944802898 157188096 31560 4294967295 134512640 135180984 3212917616 3086995472 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=1832/tid=1834] ppid=1830 vsize=153504 CPUtime=0.33
/proc/1832/task/1834/stat : 1834 (satake) R 1830 1832 30957 0 -1 4202560 10281 0 0 0 27 6 0 0 18 0 5 0 944802898 157188096 31560 4294967295 134512640 135180984 3212917616 3086930116 134706046 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=1832/tid=1835] ppid=1830 vsize=153504 CPUtime=0.3
/proc/1832/task/1835/stat : 1835 (satake) D 1830 1832 30957 0 -1 4202560 10710 0 0 0 27 3 0 0 17 0 5 0 944802898 157188096 31560 4294967295 134512640 135180984 3212917616 3086864348 134702260 0 0 0 0 3223098951 0 0 -1 3 0 0 0
[pid=1832/tid=1836] ppid=1830 vsize=153504 CPUtime=0.28
/proc/1832/task/1836/stat : 1836 (satake) R 1830 1832 30957 0 -1 4202560 10503 0 0 0 24 4 0 0 19 0 5 0 944802898 157188096 31560 4294967295 134512640 135180984 3212917616 3086799144 134518224 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.91
Current children cumulated vsize (KiB) 153504

[startup+0.716873 s]
/proc/loadavg: 2.78 2.87 1.98 3/98 1832
/proc/meminfo: memFree=3137204/3368532 swapFree=1959840/1959888
[pid=1832] ppid=1830 vsize=198212 CPUtime=2.03
/proc/1832/stat : 1832 (satake) S 1830 1832 30957 0 -1 4202496 41691 0 0 0 186 17 0 0 18 0 5 0 944802898 202969088 41639 4294967295 134512640 135180984 3212917616 3212917052 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/1832/statm: 49553 41641 63 164 0 49388 0
[pid=1832/tid=1833] ppid=1830 vsize=198212 CPUtime=0
/proc/1832/task/1833/stat : 1833 (satake) S 1830 1832 30957 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 944802898 202969088 41641 4294967295 134512640 135180984 3212917616 3086995472 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=1832/tid=1834] ppid=1830 vsize=198212 CPUtime=0.7
/proc/1832/task/1834/stat : 1834 (satake) R 1830 1832 30957 0 -1 4202560 13828 0 0 0 63 7 0 0 17 0 5 0 944802898 202969088 41641 4294967295 134512640 135180984 3212917616 3086930256 134513427 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=1832/tid=1835] ppid=1830 vsize=198212 CPUtime=0.67
/proc/1832/task/1835/stat : 1835 (satake) R 1830 1832 30957 0 -1 4202560 14269 0 0 0 63 4 0 0 17 0 5 0 944802898 202969088 41642 4294967295 134512640 135180984 3212917616 3086864532 134579486 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=1832/tid=1836] ppid=1830 vsize=198212 CPUtime=0.66
/proc/1832/task/1836/stat : 1836 (satake) R 1830 1832 30957 0 -1 4202560 13479 0 0 0 60 6 0 0 17 0 5 0 944802898 202969088 41642 4294967295 134512640 135180984 3212917616 3086798996 134579745 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.03
Current children cumulated vsize (KiB) 198212

[startup+1.51681 s]
/proc/loadavg: 2.78 2.87 1.98 4/103 1837
/proc/meminfo: memFree=2956496/3368532 swapFree=1959840/1959888
[pid=1832] ppid=1830 vsize=174040 CPUtime=4.44
/proc/1832/stat : 1832 (satake) S 1830 1832 30957 0 -1 4202496 48106 0 0 0 418 26 0 0 18 0 5 0 944802898 178216960 36660 4294967295 134512640 135180984 3212917616 3212917052 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/1832/statm: 43510 36660 68 164 0 43345 0
[pid=1832/tid=1833] ppid=1830 vsize=174040 CPUtime=0.08
/proc/1832/task/1833/stat : 1833 (satake) S 1830 1832 30957 0 -1 4202560 2001 0 0 0 4 4 0 0 16 0 5 0 944802898 178216960 36660 4294967295 134512640 135180984 3212917616 3086995472 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=1832/tid=1834] ppid=1830 vsize=174040 CPUtime=1.49
/proc/1832/task/1834/stat : 1834 (satake) R 1830 1832 30957 0 -1 4202560 15007 0 0 0 140 9 0 0 16 0 5 0 944802898 178216960 36660 4294967295 134512640 135180984 3212917616 3086929664 134522883 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=1832/tid=1835] ppid=1830 vsize=174040 CPUtime=1.45
/proc/1832/task/1835/stat : 1835 (satake) R 1830 1832 30957 0 -1 4202560 15534 0 0 0 140 5 0 0 16 0 5 0 944802898 178216960 36660 4294967295 134512640 135180984 3212917616 3086864240 134528775 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=1832/tid=1836] ppid=1830 vsize=174040 CPUtime=1.43
/proc/1832/task/1836/stat : 1836 (satake) R 1830 1832 30957 0 -1 4202560 15453 0 0 0 135 8 0 0 16 0 5 0 944802898 178216960 36660 4294967295 134512640 135180984 3212917616 3086798640 134523773 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.44
Current children cumulated vsize (KiB) 174040

[startup+3.11667 s]
/proc/loadavg: 2.78 2.87 1.98 4/103 1837
/proc/meminfo: memFree=2991480/3368532 swapFree=1959840/1959888
[pid=1832] ppid=1830 vsize=174040 CPUtime=9.26
/proc/1832/stat : 1832 (satake) S 1830 1832 30957 0 -1 4202496 48228 0 0 0 891 35 0 0 18 0 5 0 944802898 178216960 36782 4294967295 134512640 135180984 3212917616 3212917052 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/1832/statm: 43510 36782 68 164 0 43345 0
[pid=1832/tid=1833] ppid=1830 vsize=174040 CPUtime=0.12
/proc/1832/task/1833/stat : 1833 (satake) S 1830 1832 30957 0 -1 4202560 2001 0 0 0 5 7 0 0 16 0 5 0 944802898 178216960 36782 4294967295 134512640 135180984 3212917616 3086995472 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=1832/tid=1834] ppid=1830 vsize=174040 CPUtime=3.06
/proc/1832/task/1834/stat : 1834 (satake) R 1830 1832 30957 0 -1 4202560 15063 0 0 0 295 11 0 0 17 0 5 0 944802898 178216960 36782 4294967295 134512640 135180984 3212917616 3086929776 134528211 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=1832/tid=1835] ppid=1830 vsize=174040 CPUtime=3.05
/proc/1832/task/1835/stat : 1835 (satake) R 1830 1832 30957 0 -1 4202560 15547 0 0 0 297 8 0 0 17 0 5 0 944802898 178216960 36782 4294967295 134512640 135180984 3212917616 3086864240 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=1832/tid=1836] ppid=1830 vsize=174040 CPUtime=3.03
/proc/1832/task/1836/stat : 1836 (satake) R 1830 1832 30957 0 -1 4202560 15506 0 0 0 294 9 0 0 17 0 5 0 944802898 178216960 36782 4294967295 134512640 135180984 3212917616 3086798704 134528913 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 9.26
Current children cumulated vsize (KiB) 174040

[startup+6.31642 s]
/proc/loadavg: 2.80 2.87 1.98 4/103 1838
/proc/meminfo: memFree=2991108/3368532 swapFree=1959840/1959888
[pid=1832] ppid=1830 vsize=174040 CPUtime=18.92
/proc/1832/stat : 1832 (satake) S 1830 1832 30957 0 -1 4202496 48294 0 0 0 1835 57 0 0 18 0 5 0 944802898 178216960 36848 4294967295 134512640 135180984 3212917616 3212917052 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/1832/statm: 43510 36848 68 164 0 43345 0
[pid=1832/tid=1833] ppid=1830 vsize=174040 CPUtime=0.26
/proc/1832/task/1833/stat : 1833 (satake) R 1830 1832 30957 0 -1 4202560 2001 0 0 0 7 19 0 0 16 0 5 0 944802898 178216960 36848 4294967295 134512640 135180984 3212917616 3086995484 134706407 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=1832/tid=1834] ppid=1830 vsize=174040 CPUtime=6.24
/proc/1832/task/1834/stat : 1834 (satake) S 1830 1832 30957 0 -1 4202560 15067 0 0 0 610 14 0 0 22 0 5 0 944802898 178216960 36848 4294967295 134512640 135180984 3212917616 3086929568 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=1832/tid=1835] ppid=1830 vsize=174040 CPUtime=6.24
/proc/1832/task/1835/stat : 1835 (satake) R 1830 1832 30957 0 -1 4202560 15594 0 0 0 610 14 0 0 24 0 5 0 944802898 178216960 36848 4294967295 134512640 135180984 3212917616 3086864240 134528211 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=1832/tid=1836] ppid=1830 vsize=174040 CPUtime=6.18
/proc/1832/task/1836/stat : 1836 (satake) R 1830 1832 30957 0 -1 4202560 15521 0 0 0 608 10 0 0 21 0 5 0 944802898 178216960 36848 4294967295 134512640 135180984 3212917616 3086798628 134521133 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 18.92
Current children cumulated vsize (KiB) 174040

[startup+12.7159 s]
/proc/loadavg: 2.81 2.87 1.99 4/103 2022
/proc/meminfo: memFree=2989684/3368532 swapFree=1959840/1959888
[pid=1832] ppid=1830 vsize=174208 CPUtime=38.39
/proc/1832/stat : 1832 (satake) S 1830 1832 30957 0 -1 4202496 48340 0 0 0 3718 121 0 0 18 0 5 0 944802898 178388992 36894 4294967295 134512640 135180984 3212917616 3212917052 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/1832/statm: 43552 36894 68 164 0 43387 0
[pid=1832/tid=1833] ppid=1830 vsize=174208 CPUtime=0.68
/proc/1832/task/1833/stat : 1833 (satake) S 1830 1832 30957 0 -1 4202560 2016 0 0 0 16 52 0 0 16 0 5 0 944802898 178388992 36894 4294967295 134512640 135180984 3212917616 3086995472 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=1832/tid=1834] ppid=1830 vsize=174208 CPUtime=12.56
/proc/1832/task/1834/stat : 1834 (satake) R 1830 1832 30957 0 -1 4202560 15077 0 0 0 1232 24 0 0 25 0 5 0 944802898 178388992 36894 4294967295 134512640 135180984 3212917616 3086929776 134528680 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=1832/tid=1835] ppid=1830 vsize=174208 CPUtime=12.6
/proc/1832/task/1835/stat : 1835 (satake) R 1830 1832 30957 0 -1 4202560 15605 0 0 0 1232 28 0 0 25 0 5 0 944802898 178388992 36894 4294967295 134512640 135180984 3212917616 3086864192 134527255 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=1832/tid=1836] ppid=1830 vsize=174208 CPUtime=12.56
/proc/1832/task/1836/stat : 1836 (satake) R 1830 1832 30957 0 -1 4202560 15531 0 0 0 1239 17 0 0 25 0 5 0 944802898 178388992 36894 4294967295 134512640 135180984 3212917616 3086798696 134520667 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 38.39
Current children cumulated vsize (KiB) 174208

[startup+25.5149 s]
/proc/loadavg: 2.85 2.88 2.00 4/103 2024
/proc/meminfo: memFree=2989620/3368532 swapFree=1959840/1959888
[pid=1832] ppid=1830 vsize=175692 CPUtime=76.72
/proc/1832/stat : 1832 (satake) S 1830 1832 30957 0 -1 4202496 48576 0 0 0 7458 214 0 0 18 0 5 0 944802898 179908608 37130 4294967295 134512640 135180984 3212917616 3212917052 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/1832/statm: 43923 37130 68 164 0 43758 0
[pid=1832/tid=1833] ppid=1830 vsize=175692 CPUtime=1.34
/proc/1832/task/1833/stat : 1833 (satake) S 1830 1832 30957 0 -1 4202560 2090 0 0 0 29 105 0 0 16 0 5 0 944802898 179908608 37130 4294967295 134512640 135180984 3212917616 3086995472 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=1832/tid=1834] ppid=1830 vsize=175692 CPUtime=25.3
/proc/1832/task/1834/stat : 1834 (satake) R 1830 1832 30957 0 -1 4202560 15139 0 0 0 2493 37 0 0 25 0 5 0 944802898 179908608 37130 4294967295 134512640 135180984 3212917616 3086929776 134528896 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=1832/tid=1835] ppid=1830 vsize=175692 CPUtime=24.74
/proc/1832/task/1835/stat : 1835 (satake) R 1830 1832 30957 0 -1 4202560 15641 0 0 0 2442 32 0 0 25 0 5 0 944802898 179908608 37130 4294967295 134512640 135180984 3212917616 3086864240 134528267 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=1832/tid=1836] ppid=1830 vsize=175692 CPUtime=25.34
/proc/1832/task/1836/stat : 1836 (satake) R 1830 1832 30957 0 -1 4202560 15595 0 0 0 2494 40 0 0 25 0 5 0 944802898 179908608 37130 4294967295 134512640 135180984 3212917616 3086798704 134528628 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 76.72
Current children cumulated vsize (KiB) 175692

[startup+51.1128 s]
/proc/loadavg: 2.90 2.89 2.03 4/103 2025
/proc/meminfo: memFree=2987640/3368532 swapFree=1959840/1959888
[pid=1832] ppid=1830 vsize=178528 CPUtime=153.44
/proc/1832/stat : 1832 (satake) S 1830 1832 30957 0 -1 4202496 49203 0 0 0 14970 374 0 0 18 0 5 0 944802898 182812672 37757 4294967295 134512640 135180984 3212917616 3212917052 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/1832/statm: 44632 37757 68 164 0 44467 0
[pid=1832/tid=1833] ppid=1830 vsize=178528 CPUtime=2.45
/proc/1832/task/1833/stat : 1833 (satake) S 1830 1832 30957 0 -1 4202560 2302 0 0 0 56 189 0 0 15 0 5 0 944802898 182812672 37757 4294967295 134512640 135180984 3212917616 3086995472 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=1832/tid=1834] ppid=1830 vsize=178528 CPUtime=50.88
/proc/1832/task/1834/stat : 1834 (satake) R 1830 1832 30957 0 -1 4202560 15224 0 0 0 5030 58 0 0 25 0 5 0 944802898 182812672 37757 4294967295 134512640 135180984 3212917616 3086929776 134528536 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=1832/tid=1835] ppid=1830 vsize=178528 CPUtime=49.23
/proc/1832/task/1835/stat : 1835 (satake) R 1830 1832 30957 0 -1 4202560 15718 0 0 0 4870 53 0 0 25 0 5 0 944802898 182812672 37757 4294967295 134512640 135180984 3212917616 3086864352 134530765 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=1832/tid=1836] ppid=1830 vsize=178528 CPUtime=50.89
/proc/1832/task/1836/stat : 1836 (satake) R 1830 1832 30957 0 -1 4202560 15848 0 0 0 5015 74 0 0 25 0 5 0 944802898 182812672 37757 4294967295 134512640 135180984 3212917616 3086798576 134522712 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 153.44
Current children cumulated vsize (KiB) 178528

[startup+102.319 s]
/proc/loadavg: 2.96 2.90 2.08 4/103 2213

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

[pid=1832/tid=1834] ppid=1830 vsize=274064 CPUtime=520.97
/proc/1832/task/1834/stat : 1834 (satake) R 1830 1832 30957 0 -1 4202560 20521 0 0 0 51853 244 0 0 25 0 5 0 944802898 280641536 60247 4294967295 134512640 135180984 3212917616 3086929776 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=1832/tid=1835] ppid=1830 vsize=274064 CPUtime=510.76
/proc/1832/task/1835/stat : 1835 (satake) R 1830 1832 30957 0 -1 4202560 21344 0 0 0 50829 247 0 0 25 0 5 0 944802898 280641536 60247 4294967295 134512640 135180984 3212917616 3086864240 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=1832/tid=1836] ppid=1830 vsize=274064 CPUtime=521.59
/proc/1832/task/1836/stat : 1836 (satake) R 1830 1832 30957 0 -1 4202560 23471 0 0 0 51687 472 0 0 25 0 5 0 944802898 280641536 60247 4294967295 134512640 135180984 3212917616 3086798696 134520863 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1565.76
Current children cumulated vsize (KiB) 274064

[startup+582.31 s]
/proc/loadavg: 3.03 2.98 2.44 4/103 3769
/proc/meminfo: memFree=2890052/3368532 swapFree=1959840/1959888
[pid=1832] ppid=1830 vsize=281256 CPUtime=1745.7
/proc/1832/stat : 1832 (satake) S 1830 1832 30957 0 -1 4202496 73373 0 0 0 172508 2062 0 0 18 0 5 0 944802898 288006144 61927 4294967295 134512640 135180984 3212917616 3212917052 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/1832/statm: 70314 61927 68 164 0 70149 0
[pid=1832/tid=1833] ppid=1830 vsize=281256 CPUtime=13.42
/proc/1832/task/1833/stat : 1833 (satake) S 1830 1832 30957 0 -1 4202560 6647 0 0 0 326 1016 0 0 16 0 5 0 944802898 288006144 61927 4294967295 134512640 135180984 3212917616 3086995472 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=1832/tid=1834] ppid=1830 vsize=281256 CPUtime=580.05
/proc/1832/task/1834/stat : 1834 (satake) R 1830 1832 30957 0 -1 4202560 20894 0 0 0 57743 262 0 0 25 0 5 0 944802898 288006144 61927 4294967295 134512640 135180984 3212917616 3086929768 134518224 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=1832/tid=1835] ppid=1830 vsize=281256 CPUtime=570.69
/proc/1832/task/1835/stat : 1835 (satake) R 1830 1832 30957 0 -1 4202560 21701 0 0 0 56801 268 0 0 25 0 5 0 944802898 288006144 61927 4294967295 134512640 135180984 3212917616 3086864240 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=1832/tid=1836] ppid=1830 vsize=281256 CPUtime=581.55
/proc/1832/task/1836/stat : 1836 (satake) R 1830 1832 30957 0 -1 4202560 24020 0 0 0 57639 516 0 0 25 0 5 0 944802898 288006144 61927 4294967295 134512640 135180984 3212917616 3086798640 134523696 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1745.7
Current children cumulated vsize (KiB) 281256

[startup+642.305 s]
/proc/loadavg: 3.05 3.00 2.47 4/103 3957
/proc/meminfo: memFree=2886076/3368532 swapFree=1959840/1959888
[pid=1832] ppid=1830 vsize=285620 CPUtime=1926.73
/proc/1832/stat : 1832 (satake) S 1830 1832 30957 0 -1 4202496 74368 0 0 0 190380 2293 0 0 18 0 5 0 944802898 292474880 62922 4294967295 134512640 135180984 3212917616 3212917052 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/1832/statm: 71405 62922 68 164 0 71240 0
[pid=1832/tid=1833] ppid=1830 vsize=285620 CPUtime=14.81
/proc/1832/task/1833/stat : 1833 (satake) S 1830 1832 30957 0 -1 4202560 6879 0 0 0 358 1123 0 0 16 0 5 0 944802898 292474880 62922 4294967295 134512640 135180984 3212917616 3086995472 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=1832/tid=1834] ppid=1830 vsize=285620 CPUtime=639.86
/proc/1832/task/1834/stat : 1834 (satake) R 1830 1832 30957 0 -1 4202560 20966 0 0 0 63669 317 0 0 25 0 5 0 944802898 292474880 62922 4294967295 134512640 135180984 3212917616 3086929776 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=1832/tid=1835] ppid=1830 vsize=285620 CPUtime=630.58
/proc/1832/task/1835/stat : 1835 (satake) R 1830 1832 30957 0 -1 4202560 21855 0 0 0 62767 291 0 0 25 0 5 0 944802898 292474880 62922 4294967295 134512640 135180984 3212917616 3086864256 134532622 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=1832/tid=1836] ppid=1830 vsize=285620 CPUtime=641.48
/proc/1832/task/1836/stat : 1836 (satake) R 1830 1832 30957 0 -1 4202560 24557 0 0 0 63586 562 0 0 25 0 5 0 944802898 292474880 62922 4294967295 134512640 135180984 3212917616 3086798696 134520863 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1926.73
Current children cumulated vsize (KiB) 285620

[startup+702.31 s]
/proc/loadavg: 3.02 3.00 2.50 5/103 4146
/proc/meminfo: memFree=2880192/3368532 swapFree=1959840/1959888
[pid=1832] ppid=1830 vsize=292912 CPUtime=2107.45
/proc/1832/stat : 1832 (satake) S 1830 1832 30957 0 -1 4202496 75969 0 0 0 208288 2457 0 0 18 0 5 0 944802898 299941888 64523 4294967295 134512640 135180984 3212917616 3212917052 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/1832/statm: 73228 64523 68 164 0 73063 0
[pid=1832/tid=1833] ppid=1830 vsize=292912 CPUtime=15.75
/proc/1832/task/1833/stat : 1833 (satake) S 1830 1832 30957 0 -1 4202560 7220 0 0 0 385 1190 0 0 16 0 5 0 944802898 299941888 64523 4294967295 134512640 135180984 3212917616 3086995472 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=1832/tid=1834] ppid=1830 vsize=292912 CPUtime=699.77
/proc/1832/task/1834/stat : 1834 (satake) R 1830 1832 30957 0 -1 4202560 21525 0 0 0 69619 358 0 0 25 0 5 0 944802898 299941888 64523 4294967295 134512640 135180984 3212917616 3086929776 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=1832/tid=1835] ppid=1830 vsize=292912 CPUtime=690.48
/proc/1832/task/1835/stat : 1835 (satake) R 1830 1832 30957 0 -1 4202560 21971 0 0 0 68740 308 0 0 25 0 5 0 944802898 299941888 64523 4294967295 134512640 135180984 3212917616 3086864240 134528470 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=1832/tid=1836] ppid=1830 vsize=292912 CPUtime=701.45
/proc/1832/task/1836/stat : 1836 (satake) R 1830 1832 30957 0 -1 4202560 25142 0 0 0 69544 601 0 0 25 0 5 0 944802898 299941888 64523 4294967295 134512640 135180984 3212917616 3086798704 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2107.45
Current children cumulated vsize (KiB) 292912

[startup+762.315 s]
/proc/loadavg: 3.00 3.00 2.53 4/103 4333
/proc/meminfo: memFree=2873008/3368532 swapFree=1959840/1959888
[pid=1832] ppid=1830 vsize=298884 CPUtime=2287.88
/proc/1832/stat : 1832 (satake) S 1830 1832 30957 0 -1 4202496 77586 0 0 0 226161 2627 0 0 18 0 5 0 944802898 306057216 66140 4294967295 134512640 135180984 3212917616 3212917052 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/1832/statm: 74721 66140 68 164 0 74556 0
[pid=1832/tid=1833] ppid=1830 vsize=298884 CPUtime=16.84
/proc/1832/task/1833/stat : 1833 (satake) S 1830 1832 30957 0 -1 4202560 7584 0 0 0 410 1274 0 0 16 0 5 0 944802898 306057216 66140 4294967295 134512640 135180984 3212917616 3086995472 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=1832/tid=1834] ppid=1830 vsize=298884 CPUtime=759.7
/proc/1832/task/1834/stat : 1834 (satake) R 1830 1832 30957 0 -1 4202560 22169 0 0 0 75573 397 0 0 25 0 5 0 944802898 306057216 66140 4294967295 134512640 135180984 3212917616 3086929776 134528633 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=1832/tid=1835] ppid=1830 vsize=298884 CPUtime=750.43
/proc/1832/task/1835/stat : 1835 (satake) R 1830 1832 30957 0 -1 4202560 22031 0 0 0 74707 336 0 0 25 0 5 0 944802898 306057216 66140 4294967295 134512640 135180984 3212917616 3086864240 134528916 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=1832/tid=1836] ppid=1830 vsize=298884 CPUtime=760.92
/proc/1832/task/1836/stat : 1836 (satake) R 1830 1832 30957 0 -1 4202560 25691 0 0 0 75472 620 0 0 25 0 5 0 944802898 306057216 66143 4294967295 134512640 135180984 3212917616 3086798700 134518246 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2287.88
Current children cumulated vsize (KiB) 298884

[startup+822.31 s]
/proc/loadavg: 3.05 3.01 2.56 4/103 4520
/proc/meminfo: memFree=2866476/3368532 swapFree=1959840/1959888
[pid=1832] ppid=1830 vsize=306812 CPUtime=2467.83
/proc/1832/stat : 1832 (satake) S 1830 1832 30957 0 -1 4202496 79290 0 0 0 243996 2787 0 0 18 0 5 0 944802898 314175488 67844 4294967295 134512640 135180984 3212917616 3212917052 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/1832/statm: 76703 67844 68 164 0 76538 0
[pid=1832/tid=1833] ppid=1830 vsize=306812 CPUtime=17.85
/proc/1832/task/1833/stat : 1833 (satake) S 1830 1832 30957 0 -1 4202560 7979 0 0 0 428 1357 0 0 16 0 5 0 944802898 314175488 67844 4294967295 134512640 135180984 3212917616 3086995472 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=1832/tid=1834] ppid=1830 vsize=306812 CPUtime=819.68
/proc/1832/task/1834/stat : 1834 (satake) R 1830 1832 30957 0 -1 4202560 22760 0 0 0 81528 440 0 0 25 0 5 0 944802898 314175488 67844 4294967295 134512640 135180984 3212917616 3086929776 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=1832/tid=1835] ppid=1830 vsize=306812 CPUtime=810.43
/proc/1832/task/1835/stat : 1835 (satake) R 1830 1832 30957 0 -1 4202560 22114 0 0 0 80691 352 0 0 25 0 5 0 944802898 314175488 67844 4294967295 134512640 135180984 3212917616 3086864240 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=1832/tid=1836] ppid=1830 vsize=306812 CPUtime=819.88
/proc/1832/task/1836/stat : 1836 (satake) R 1830 1832 30957 0 -1 4202560 26326 0 0 0 81350 638 0 0 25 0 5 0 944802898 314175488 67844 4294967295 134512640 135180984 3212917616 3086798704 134528211 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2467.83
Current children cumulated vsize (KiB) 306812

[startup+882.305 s]
/proc/loadavg: 3.02 3.01 2.59 4/103 4708
/proc/meminfo: memFree=2858928/3368532 swapFree=1959840/1959888
[pid=1832] ppid=1830 vsize=316492 CPUtime=2647.71
/proc/1832/stat : 1832 (satake) S 1830 1832 30957 0 -1 4202496 81172 0 0 0 261837 2934 0 0 18 0 5 0 944802898 324087808 69726 4294967295 134512640 135180984 3212917616 3212917052 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/1832/statm: 79123 69726 68 164 0 78958 0
[pid=1832/tid=1833] ppid=1830 vsize=316492 CPUtime=18.87
/proc/1832/task/1833/stat : 1833 (satake) S 1830 1832 30957 0 -1 4202560 8333 0 0 0 451 1436 0 0 15 0 5 0 944802898 324087808 69726 4294967295 134512640 135180984 3212917616 3086995472 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=1832/tid=1834] ppid=1830 vsize=316492 CPUtime=879.64
/proc/1832/task/1834/stat : 1834 (satake) R 1830 1832 30957 0 -1 4202560 23424 0 0 0 87487 477 0 0 25 0 5 0 944802898 324087808 69726 4294967295 134512640 135180984 3212917616 3086929776 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=1832/tid=1835] ppid=1830 vsize=316492 CPUtime=870.42
/proc/1832/task/1835/stat : 1835 (satake) R 1830 1832 30957 0 -1 4202560 22355 0 0 0 86671 371 0 0 25 0 5 0 944802898 324087808 69726 4294967295 134512640 135180984 3212917616 3086864240 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=1832/tid=1836] ppid=1830 vsize=316492 CPUtime=878.79
/proc/1832/task/1836/stat : 1836 (satake) R 1830 1832 30957 0 -1 4202560 26949 0 0 0 87229 650 0 0 25 0 5 0 944802898 324087808 69726 4294967295 134512640 135180984 3212917616 3086798704 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2647.71
Current children cumulated vsize (KiB) 316492

[startup+942.31 s]
/proc/loadavg: 3.06 3.02 2.62 4/103 4900
/proc/meminfo: memFree=2852844/3368532 swapFree=1959840/1959888
[pid=1832] ppid=1830 vsize=322612 CPUtime=2827.56
/proc/1832/stat : 1832 (satake) S 1830 1832 30957 0 -1 4202496 82473 0 0 0 279694 3062 0 0 18 0 5 0 944802898 330354688 71027 4294967295 134512640 135180984 3212917616 3212917052 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/1832/statm: 80653 71027 68 164 0 80488 0
[pid=1832/tid=1833] ppid=1830 vsize=322612 CPUtime=19.78
/proc/1832/task/1833/stat : 1833 (satake) S 1830 1832 30957 0 -1 4202560 8686 0 0 0 473 1505 0 0 16 0 5 0 944802898 330354688 71027 4294967295 134512640 135180984 3212917616 3086995472 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=1832/tid=1834] ppid=1830 vsize=322612 CPUtime=939.56
/proc/1832/task/1834/stat : 1834 (satake) R 1830 1832 30957 0 -1 4202560 23730 0 0 0 93449 507 0 0 25 0 5 0 944802898 330354688 71027 4294967295 134512640 135180984 3212917616 3086929776 134528420 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=1832/tid=1835] ppid=1830 vsize=322612 CPUtime=929.83
/proc/1832/task/1835/stat : 1835 (satake) R 1830 1832 30957 0 -1 4202560 22698 0 0 0 92597 386 0 0 25 0 5 0 944802898 330354688 71027 4294967295 134512640 135180984 3212917616 3086864232 134520863 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=1832/tid=1836] ppid=1830 vsize=322612 CPUtime=938.4
/proc/1832/task/1836/stat : 1836 (satake) R 1830 1832 30957 0 -1 4202560 27248 0 0 0 93176 664 0 0 25 0 5 0 944802898 330354688 71027 4294967295 134512640 135180984 3212917616 3086798632 134520873 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2827.56
Current children cumulated vsize (KiB) 322612



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.01 s]
/proc/loadavg: 3.08 3.03 2.64 4/103 5089
/proc/meminfo: memFree=2851532/3368532 swapFree=1959840/1959888
[pid=1832] ppid=1830 vsize=322936 CPUtime=3001.57
/proc/1832/stat : 1832 (satake) S 1830 1832 30957 0 -1 4202496 82693 0 0 0 296863 3294 0 0 18 0 5 0 944802898 330686464 71247 4294967295 134512640 135180984 3212917616 3212917052 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/1832/statm: 80734 71247 68 164 0 80569 0
[pid=1832/tid=1833] ppid=1830 vsize=322936 CPUtime=21.14
/proc/1832/task/1833/stat : 1833 (satake) S 1830 1832 30957 0 -1 4202560 8884 0 0 0 501 1613 0 0 16 0 5 0 944802898 330686464 71247 4294967295 134512640 135180984 3212917616 3086995472 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=1832/tid=1834] ppid=1830 vsize=322936 CPUtime=997.22
/proc/1832/task/1834/stat : 1834 (satake) R 1830 1832 30957 0 -1 4202560 23732 0 0 0 99168 554 0 0 25 0 5 0 944802898 330686464 71247 4294967295 134512640 135180984 3212917616 3086929776 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=1832/tid=1835] ppid=1830 vsize=322936 CPUtime=987.35
/proc/1832/task/1835/stat : 1835 (satake) R 1830 1832 30957 0 -1 4202560 22711 0 0 0 98303 432 0 0 25 0 5 0 944802898 330686464 71247 4294967295 134512640 135180984 3212917616 3086864240 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=1832/tid=1836] ppid=1830 vsize=322936 CPUtime=995.86
/proc/1832/task/1836/stat : 1836 (satake) R 1830 1832 30957 0 -1 4202560 27255 0 0 0 98891 695 0 0 25 0 5 0 944802898 330686464 71247 4294967295 134512640 135180984 3212917616 3086798704 134528737 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3001.57
Current children cumulated vsize (KiB) 322936

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1000.04
CPU time (s): 3001.63
CPU user time (s): 2968.68
CPU system time (s): 32.95
CPU usage (%): 300.15
Max. virtual memory (cumulated for all children) (KiB): 322936

deleting IPC queue 1048576
deleting IPC queue 1081345
deleting IPC queue 1114114
deleting IPC queue 1146883
deleting IPC queue 1179652
deleting IPC queue 1212421
deleting IPC queue 1245190
deleting IPC queue 1277959
deleting IPC queue 1310728
deleting IPC queue 1343497
deleting IPC queue 1376266
deleting IPC queue 1409035
deleting IPC queue 1441804
deleting IPC queue 1474573
deleting IPC queue 1507342
deleting IPC queue 1540111

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2968.68
system time used= 32.95
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82693
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= 2271940
involuntary context switches= 1741529

runsolver used 0 second user time and 0 second system time

The end

Launcher Data 

Begin job on tipi39 at 2009-05-29 23:24:20
IDJOB=1775740
IDBENCH=20379
IDSOLVER=629
FILE ID=tipi39/1775740-1243632260
PBS_JOBID=
Free space on /tmp= 5729 MiB

SOLVER NAME= satake 2009-03-22 (4 threads)
BENCH NAME= SAT07/industrial/anbulagan/hard-unsat/dated-5-17-u.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1775740-1243632260/watcher-1775740-1243632260 -o /tmp/evaluation-result-1775740-1243632260/solver-1775740-1243632260 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1775740-1243632260.cnf 4 10000

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

MD5SUM BENCH= 83ece6745238c422c7e68e5a07fc7f73
RANDOM SEED= 1499817942

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:       3137204 kB
Buffers:         56176 kB
Cached:          71264 kB
SwapCached:          0 kB
Active:          95228 kB
Inactive:        48236 kB
HighTotal:     2489216 kB
HighFree:      2404036 kB
LowTotal:       879316 kB
LowFree:        733168 kB
SwapTotal:     1959888 kB
SwapFree:      1959840 kB
Dirty:           16264 kB
Writeback:           0 kB
AnonPages:       16044 kB
Mapped:           6060 kB
Slab:            77220 kB
SReclaimable:    66972 kB
SUnreclaim:      10248 kB
PageTables:        512 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:    94796 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 5729 MiB
End job on tipi39 at 2009-05-29 23:41:04