Trace number 1775830

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

General information on the benchmark

Nameindustrial/anbulagan/
hard-unsat/partial-10-19-u.cnf
MD5SUMec6ae8f44e827ed5bcc8aed459990775
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 variables330372
Number of clauses1570953
Sum of the clauses size3643384
Maximum clause length10
Minimum clause length1
Number of clauses of size 124592
Number of clauses of size 21203951
Number of clauses of size 3281190
Number of clauses of size 46800
Number of clauses of size 527200
Number of clauses of size over 527220

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-1775830-1243632904/watcher-1775830-1243632904 -o /tmp/evaluation-result-1775830-1243632904/solver-1775830-1243632904 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1775830-1243632904.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.76 2.92 2.60 3/99 28287
/proc/meminfo: memFree=3154868/3368532 swapFree=1953580/1959888
[pid=28287] ppid=28285 vsize=5260 CPUtime=0
/proc/28287/stat : 28287 (satake) S 28285 28287 21929 0 -1 4202496 730 0 0 0 0 0 0 0 18 0 5 0 1127955008 5386240 686 4294967295 134512640 135180984 3218616544 3218615980 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/28287/statm: 1315 690 63 164 0 1150 0
[pid=28287/tid=28288] ppid=28285 vsize=5260 CPUtime=0
/proc/28287/task/28288/stat : 28288 (satake) S 28285 28287 21929 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1127955008 5386240 708 4294967295 134512640 135180984 3218616544 3086114832 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=28287/tid=28289] ppid=28285 vsize=5260 CPUtime=0
/proc/28287/task/28289/stat : 28289 (satake) R 28285 28287 21929 0 -1 4202560 639 0 0 0 0 0 0 0 19 0 5 0 1127955008 5386240 713 4294967295 134512640 135180984 3218616544 3086049572 134583077 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=28287/tid=28290] ppid=28285 vsize=5260 CPUtime=0
/proc/28287/task/28290/stat : 28290 (satake) R 28285 28287 21929 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 5 0 1127955008 5386240 718 4294967295 134512640 135180984 3218616544 3085984580 134705812 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=28287/tid=28291] ppid=28285 vsize=5260 CPUtime=0
/proc/28287/task/28291/stat : 28291 (satake) R 28285 28287 21929 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 5 0 1127955008 5386240 723 4294967295 134512640 135180984 3218616544 3085919044 134705812 0 0 0 0 0 0 0 -1 2 0 0 0

[startup+0.088261 s]
/proc/loadavg: 2.76 2.92 2.60 3/99 28287
/proc/meminfo: memFree=3154868/3368532 swapFree=1953580/1959888
[pid=28287] ppid=28285 vsize=104832 CPUtime=0.19
/proc/28287/stat : 28287 (satake) S 28285 28287 21929 0 -1 4202496 23010 0 0 0 2 17 0 0 18 0 5 0 1127955008 107347968 22955 4294967295 134512640 135180984 3218616544 3218615980 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/28287/statm: 26400 23154 63 164 0 26235 0
[pid=28287/tid=28288] ppid=28285 vsize=105600 CPUtime=0
/proc/28287/task/28288/stat : 28288 (satake) S 28285 28287 21929 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1127955008 108134400 23323 4294967295 134512640 135180984 3218616544 3086114832 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=28287/tid=28289] ppid=28285 vsize=105600 CPUtime=0.08
/proc/28287/task/28289/stat : 28289 (satake) R 28285 28287 21929 0 -1 4202560 8473 0 0 0 1 7 0 0 19 0 5 0 1127955008 108134400 23790 4294967295 134512640 135180984 3218616544 3086049288 134702083 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=28287/tid=28290] ppid=28285 vsize=106756 CPUtime=0.07
/proc/28287/task/28290/stat : 28290 (satake) R 28285 28287 21929 0 -1 4202560 8523 0 0 0 1 6 0 0 19 0 5 0 1127955008 109318144 24040 4294967295 134512640 135180984 3218616544 3085983832 134675846 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=28287/tid=28291] ppid=28285 vsize=103968 CPUtime=0.04
/proc/28287/task/28291/stat : 28291 (satake) R 28285 28287 21929 0 -1 4202560 7229 0 0 0 0 4 0 0 20 0 5 0 1127955008 106463232 24362 4294967295 134512640 135180984 3218616544 3085918208 134666192 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 104832

[startup+0.118177 s]
/proc/loadavg: 2.76 2.92 2.60 3/99 28287
/proc/meminfo: memFree=3154868/3368532 swapFree=1953580/1959888
[pid=28287] ppid=28285 vsize=110876 CPUtime=0.27
/proc/28287/stat : 28287 (satake) S 28285 28287 21929 0 -1 4202496 25921 0 0 0 7 20 0 0 18 0 5 0 1127955008 113537024 25855 4294967295 134512640 135180984 3218616544 3218615980 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/28287/statm: 27975 25856 63 164 0 27810 0
[pid=28287/tid=28288] ppid=28285 vsize=111900 CPUtime=0
/proc/28287/task/28288/stat : 28288 (satake) S 28285 28287 21929 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1127955008 114585600 25856 4294967295 134512640 135180984 3218616544 3086114832 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=28287/tid=28289] ppid=28285 vsize=111900 CPUtime=0.11
/proc/28287/task/28289/stat : 28289 (satake) R 28285 28287 21929 0 -1 4202560 8681 0 0 0 4 7 0 0 19 0 5 0 1127955008 114585600 25860 4294967295 134512640 135180984 3218616544 3086049664 134514132 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=28287/tid=28290] ppid=28285 vsize=111900 CPUtime=0.09
/proc/28287/task/28290/stat : 28290 (satake) R 28285 28287 21929 0 -1 4202560 8694 0 0 0 3 6 0 0 19 0 5 0 1127955008 114585600 25860 4294967295 134512640 135180984 3218616544 3085983672 134664766 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=28287/tid=28291] ppid=28285 vsize=111900 CPUtime=0.07
/proc/28287/task/28291/stat : 28291 (satake) R 28285 28287 21929 0 -1 4202560 8433 0 0 0 0 7 0 0 20 0 5 0 1127955008 114585600 25861 4294967295 134512640 135180984 3218616544 3085918464 134522408 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 110876

[startup+0.318332 s]
/proc/loadavg: 2.76 2.92 2.60 3/99 28287
/proc/meminfo: memFree=3154868/3368532 swapFree=1953580/1959888
[pid=28287] ppid=28285 vsize=195068 CPUtime=0.86
/proc/28287/stat : 28287 (satake) S 28285 28287 21929 0 -1 4202496 43994 0 0 0 56 30 0 0 18 0 5 0 1127955008 199749632 43928 4294967295 134512640 135180984 3218616544 3218615980 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/28287/statm: 49312 44669 63 164 0 49147 0
[pid=28287/tid=28288] ppid=28285 vsize=197512 CPUtime=0
/proc/28287/task/28288/stat : 28288 (satake) S 28285 28287 21929 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1127955008 202252288 45066 4294967295 134512640 135180984 3218616544 3086114832 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=28287/tid=28289] ppid=28285 vsize=198932 CPUtime=0.33
/proc/28287/task/28289/stat : 28289 (satake) R 28285 28287 21929 0 -1 4202560 15395 0 0 0 23 10 0 0 18 0 5 0 1127955008 203706368 45814 4294967295 134512640 135180984 3218616544 3086049208 134869198 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=28287/tid=28290] ppid=28285 vsize=200616 CPUtime=0.31
/proc/28287/task/28290/stat : 28290 (satake) D 28285 28287 21929 0 -1 4202560 15867 0 0 0 23 8 0 0 18 0 5 0 1127955008 205430784 46756 4294967295 134512640 135180984 3218616544 3085983716 134675846 0 0 0 0 3223098951 0 0 -1 2 0 0 0
[pid=28287/tid=28291] ppid=28285 vsize=200880 CPUtime=0.3
/proc/28287/task/28291/stat : 28291 (satake) D 28285 28287 21929 0 -1 4202560 15279 0 0 0 17 13 0 0 19 0 5 0 1127955008 205701120 47359 4294967295 134512640 135180984 3218616544 3085918180 134675767 0 0 0 0 3223098951 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.86
Current children cumulated vsize (KiB) 195068

[startup+0.707743 s]
/proc/loadavg: 2.76 2.92 2.60 3/99 28287
/proc/meminfo: memFree=3154868/3368532 swapFree=1953580/1959888
[pid=28287] ppid=28285 vsize=296440 CPUtime=2
/proc/28287/stat : 28287 (satake) S 28285 28287 21929 0 -1 4202496 59752 0 0 0 165 35 0 0 18 0 5 0 1127955008 303554560 59686 4294967295 134512640 135180984 3218616544 3218615980 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/28287/statm: 74110 59686 63 164 0 73945 0
[pid=28287/tid=28288] ppid=28285 vsize=296440 CPUtime=0
/proc/28287/task/28288/stat : 28288 (satake) S 28285 28287 21929 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1127955008 303554560 59686 4294967295 134512640 135180984 3218616544 3086114832 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=28287/tid=28289] ppid=28285 vsize=296440 CPUtime=0.69
/proc/28287/task/28289/stat : 28289 (satake) D 28285 28287 21929 0 -1 4202560 19810 0 0 0 59 10 0 0 17 0 5 0 1127955008 303554560 59686 4294967295 134512640 135180984 3218616544 3086049360 134702260 0 0 0 0 3223098951 0 0 -1 3 0 0 0
[pid=28287/tid=28290] ppid=28285 vsize=299000 CPUtime=0.65
/proc/28287/task/28290/stat : 28290 (satake) R 28285 28287 21929 0 -1 4202560 19851 0 0 0 54 11 0 0 17 0 5 0 1127955008 306176000 59687 4294967295 134512640 135180984 3218616544 3085984048 134534924 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=28287/tid=28291] ppid=28285 vsize=299000 CPUtime=0.66
/proc/28287/task/28291/stat : 28291 (satake) R 28285 28287 21929 0 -1 4202560 19974 0 0 0 52 14 0 0 17 0 5 0 1127955008 306176000 59688 4294967295 134512640 135180984 3218616544 3085918488 134513817 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2
Current children cumulated vsize (KiB) 296440

[startup+1.50767 s]
/proc/loadavg: 2.78 2.92 2.60 3/104 28292
/proc/meminfo: memFree=2892720/3368532 swapFree=1953580/1959888
[pid=28287] ppid=28285 vsize=385452 CPUtime=4.32
/proc/28287/stat : 28287 (satake) S 28285 28287 21929 0 -1 4202496 79699 0 0 0 380 52 0 0 18 0 5 0 1127955008 394702848 79633 4294967295 134512640 135180984 3218616544 3218615980 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/28287/statm: 96363 79634 63 164 0 96198 0
[pid=28287/tid=28288] ppid=28285 vsize=385452 CPUtime=0
/proc/28287/task/28288/stat : 28288 (satake) S 28285 28287 21929 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1127955008 394702848 79634 4294967295 134512640 135180984 3218616544 3086114832 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=28287/tid=28289] ppid=28285 vsize=385452 CPUtime=1.46
/proc/28287/task/28289/stat : 28289 (satake) R 28285 28287 21929 0 -1 4202560 26702 0 0 0 129 17 0 0 15 0 5 0 1127955008 394702848 79634 4294967295 134512640 135180984 3218616544 3086049428 134579745 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=28287/tid=28290] ppid=28285 vsize=385452 CPUtime=1.4
/proc/28287/task/28290/stat : 28290 (satake) R 28285 28287 21929 0 -1 4202560 26396 0 0 0 124 16 0 0 15 0 5 0 1127955008 394702848 79635 4294967295 134512640 135180984 3218616544 3085983892 134579745 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=28287/tid=28291] ppid=28285 vsize=385452 CPUtime=1.46
/proc/28287/task/28291/stat : 28291 (satake) R 28285 28287 21929 0 -1 4202560 26484 0 0 0 127 19 0 0 15 0 5 0 1127955008 394702848 79635 4294967295 134512640 135180984 3218616544 3085918512 134534839 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.32
Current children cumulated vsize (KiB) 385452

[startup+3.10752 s]
/proc/loadavg: 2.78 2.92 2.60 5/104 28292
/proc/meminfo: memFree=2840476/3368532 swapFree=1953580/1959888
[pid=28287] ppid=28285 vsize=332092 CPUtime=9.14
/proc/28287/stat : 28287 (satake) S 28285 28287 21929 0 -1 4202496 89360 0 0 0 851 63 0 0 18 0 5 0 1127955008 340062208 67673 4294967295 134512640 135180984 3218616544 3218615980 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/28287/statm: 83023 67673 68 164 0 82858 0
[pid=28287/tid=28288] ppid=28285 vsize=332092 CPUtime=0.14
/proc/28287/task/28288/stat : 28288 (satake) S 28285 28287 21929 0 -1 4202560 3799 0 0 0 11 3 0 0 16 0 5 0 1127955008 340062208 67673 4294967295 134512640 135180984 3218616544 3086114832 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=28287/tid=28289] ppid=28285 vsize=332092 CPUtime=3.05
/proc/28287/task/28289/stat : 28289 (satake) R 28285 28287 21929 0 -1 4202560 28430 0 0 0 287 18 0 0 16 0 5 0 1127955008 340062208 67673 4294967295 134512640 135180984 3218616544 3086049024 134522980 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=28287/tid=28290] ppid=28285 vsize=332092 CPUtime=2.96
/proc/28287/task/28290/stat : 28290 (satake) R 28285 28287 21929 0 -1 4202560 28522 0 0 0 276 20 0 0 16 0 5 0 1127955008 340062208 67673 4294967295 134512640 135180984 3218616544 3085983600 134526939 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=28287/tid=28291] ppid=28285 vsize=332092 CPUtime=3
/proc/28287/task/28291/stat : 28291 (satake) R 28285 28287 21929 0 -1 4202560 28498 0 0 0 278 22 0 0 16 0 5 0 1127955008 340062208 67673 4294967295 134512640 135180984 3218616544 3085918112 134524262 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 9.14
Current children cumulated vsize (KiB) 332092

[startup+6.30731 s]
/proc/loadavg: 2.78 2.92 2.60 4/104 28292
/proc/meminfo: memFree=2884632/3368532 swapFree=1953580/1959888
[pid=28287] ppid=28285 vsize=333032 CPUtime=18.79
/proc/28287/stat : 28287 (satake) S 28285 28287 21929 0 -1 4202496 89739 0 0 0 1801 78 0 0 18 0 5 0 1127955008 341024768 68052 4294967295 134512640 135180984 3218616544 3218615980 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/28287/statm: 83258 68052 68 164 0 83093 0
[pid=28287/tid=28288] ppid=28285 vsize=333032 CPUtime=0.24
/proc/28287/task/28288/stat : 28288 (satake) S 28285 28287 21929 0 -1 4202560 3806 0 0 0 13 11 0 0 16 0 5 0 1127955008 341024768 68052 4294967295 134512640 135180984 3218616544 3086114832 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=28287/tid=28289] ppid=28285 vsize=333032 CPUtime=6.23
/proc/28287/task/28289/stat : 28289 (satake) R 28285 28287 21929 0 -1 4202560 28542 0 0 0 601 22 0 0 21 0 5 0 1127955008 341024768 68052 4294967295 134512640 135180984 3218616544 3086049152 134532624 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=28287/tid=28290] ppid=28285 vsize=333032 CPUtime=6.15
/proc/28287/task/28290/stat : 28290 (satake) R 28285 28287 21929 0 -1 4202560 28706 0 0 0 594 21 0 0 21 0 5 0 1127955008 341024768 68052 4294967295 134512640 135180984 3218616544 3085983616 134518730 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=28287/tid=28291] ppid=28285 vsize=333032 CPUtime=6.18
/proc/28287/task/28291/stat : 28291 (satake) R 28285 28287 21929 0 -1 4202560 28574 0 0 0 594 24 0 0 20 0 5 0 1127955008 341024768 68052 4294967295 134512640 135180984 3218616544 3085918056 134520863 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 18.79
Current children cumulated vsize (KiB) 333032

[startup+12.7066 s]
/proc/loadavg: 2.81 2.92 2.60 4/104 28293
/proc/meminfo: memFree=2883052/3368532 swapFree=1953580/1959888
[pid=28287] ppid=28285 vsize=334196 CPUtime=38.13
/proc/28287/stat : 28287 (satake) S 28285 28287 21929 0 -1 4202496 89980 0 0 0 3710 103 0 0 18 0 5 0 1127955008 342216704 68293 4294967295 134512640 135180984 3218616544 3218615980 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/28287/statm: 83549 68293 68 164 0 83384 0
[pid=28287/tid=28288] ppid=28285 vsize=334196 CPUtime=0.43
/proc/28287/task/28288/stat : 28288 (satake) S 28285 28287 21929 0 -1 4202560 3818 0 0 0 20 23 0 0 16 0 5 0 1127955008 342216704 68293 4294967295 134512640 135180984 3218616544 3086114832 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=28287/tid=28289] ppid=28285 vsize=334196 CPUtime=12.6
/proc/28287/task/28289/stat : 28289 (satake) R 28285 28287 21929 0 -1 4202560 28619 0 0 0 1231 29 0 0 25 0 5 0 1127955008 342216704 68293 4294967295 134512640 135180984 3218616544 3086049184 134535747 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=28287/tid=28290] ppid=28285 vsize=334196 CPUtime=12.54
/proc/28287/task/28290/stat : 28290 (satake) R 28285 28287 21929 0 -1 4202560 28766 0 0 0 1231 23 0 0 25 0 5 0 1127955008 342216704 68293 4294967295 134512640 135180984 3218616544 3085983536 134523809 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=28287/tid=28291] ppid=28285 vsize=334196 CPUtime=12.57
/proc/28287/task/28291/stat : 28291 (satake) R 28285 28287 21929 0 -1 4202560 28666 0 0 0 1229 28 0 0 25 0 5 0 1127955008 342216704 68293 4294967295 134512640 135180984 3218616544 3085918124 134518208 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 38.13
Current children cumulated vsize (KiB) 334196

[startup+25.5054 s]
/proc/loadavg: 2.84 2.93 2.61 4/104 28478
/proc/meminfo: memFree=2875328/3368532 swapFree=1953580/1959888
[pid=28287] ppid=28285 vsize=339120 CPUtime=76.67
/proc/28287/stat : 28287 (satake) S 28285 28287 21929 0 -1 4202496 91467 0 0 0 7514 153 0 0 18 0 5 0 1127955008 347258880 69780 4294967295 134512640 135180984 3218616544 3218615980 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/28287/statm: 84780 69780 68 164 0 84615 0
[pid=28287/tid=28288] ppid=28285 vsize=339120 CPUtime=0.79
/proc/28287/task/28288/stat : 28288 (satake) S 28285 28287 21929 0 -1 4202560 3853 0 0 0 32 47 0 0 16 0 5 0 1127955008 347258880 69780 4294967295 134512640 135180984 3218616544 3086114832 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=28287/tid=28289] ppid=28285 vsize=339120 CPUtime=25.35
/proc/28287/task/28289/stat : 28289 (satake) R 28285 28287 21929 0 -1 4202560 29005 0 0 0 2498 37 0 0 25 0 5 0 1127955008 347258880 69780 4294967295 134512640 135180984 3218616544 3086049040 134525217 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=28287/tid=28290] ppid=28285 vsize=339120 CPUtime=25.27
/proc/28287/task/28290/stat : 28290 (satake) R 28285 28287 21929 0 -1 4202560 29309 0 0 0 2494 33 0 0 25 0 5 0 1127955008 347258880 69780 4294967295 134512640 135180984 3218616544 3085983504 134525230 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=28287/tid=28291] ppid=28285 vsize=339120 CPUtime=25.27
/proc/28287/task/28291/stat : 28291 (satake) R 28285 28287 21929 0 -1 4202560 29189 0 0 0 2491 36 0 0 25 0 5 0 1127955008 347258880 69780 4294967295 134512640 135180984 3218616544 3085917964 134519071 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 76.67
Current children cumulated vsize (KiB) 339120

[startup+51.1029 s]
/proc/loadavg: 2.89 2.93 2.62 4/104 28479
/proc/meminfo: memFree=2858596/3368532 swapFree=1953580/1959888
[pid=28287] ppid=28285 vsize=359008 CPUtime=153.73
/proc/28287/stat : 28287 (satake) S 28285 28287 21929 0 -1 4202496 95974 0 0 0 15160 213 0 0 18 0 5 0 1127955008 367624192 74287 4294967295 134512640 135180984 3218616544 3218615980 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/28287/statm: 89752 74287 68 164 0 89587 0
[pid=28287/tid=28288] ppid=28285 vsize=359008 CPUtime=1.12
/proc/28287/task/28288/stat : 28288 (satake) S 28285 28287 21929 0 -1 4202560 3892 0 0 0 37 75 0 0 16 0 5 0 1127955008 367624192 74287 4294967295 134512640 135180984 3218616544 3086114832 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=28287/tid=28289] ppid=28285 vsize=359008 CPUtime=50.93
/proc/28287/task/28289/stat : 28289 (satake) R 28285 28287 21929 0 -1 4202560 30589 0 0 0 5047 46 0 0 25 0 5 0 1127955008 367624192 74287 4294967295 134512640 135180984 3218616544 3086049136 134528211 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=28287/tid=28290] ppid=28285 vsize=359008 CPUtime=50.85
/proc/28287/task/28290/stat : 28290 (satake) R 28285 28287 21929 0 -1 4202560 30595 0 0 0 5036 49 0 0 25 0 5 0 1127955008 367624192 74287 4294967295 134512640 135180984 3218616544 3085983500 134520901 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=28287/tid=28291] ppid=28285 vsize=359008 CPUtime=50.84
/proc/28287/task/28291/stat : 28291 (satake) R 28285 28287 21929 0 -1 4202560 30787 0 0 0 5041 43 0 0 25 0 5 0 1127955008 367624192 74287 4294967295 134512640 135180984 3218616544 3085917968 134525177 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 153.73
Current children cumulated vsize (KiB) 359008

[startup+102.318 s]
/proc/loadavg: 2.96 2.94 2.64 4/104 28668

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

[pid=28287/tid=28289] ppid=28285 vsize=740612 CPUtime=521.94
/proc/28287/task/28289/stat : 28289 (satake) R 28285 28287 21929 0 -1 4202560 67958 0 0 0 52031 163 0 0 25 0 5 0 1127955008 758386688 169369 4294967295 134512640 135180984 3218616544 3086049136 134519265 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=28287/tid=28290] ppid=28285 vsize=740612 CPUtime=521.44
/proc/28287/task/28290/stat : 28290 (satake) R 28285 28287 21929 0 -1 4202560 57130 0 0 0 52034 110 0 0 25 0 5 0 1127955008 758386688 169369 4294967295 134512640 135180984 3218616544 3085983504 134525333 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=28287/tid=28291] ppid=28285 vsize=740612 CPUtime=521.31
/proc/28287/task/28291/stat : 28291 (satake) R 28285 28287 21929 0 -1 4202560 61723 0 0 0 52037 94 0 0 25 0 5 0 1127955008 758386688 169369 4294967295 134512640 135180984 3218616544 3085917968 134525209 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1567.48
Current children cumulated vsize (KiB) 740612

[startup+582.302 s]
/proc/loadavg: 3.00 3.00 2.77 5/104 30174
/proc/meminfo: memFree=2424724/3368532 swapFree=1953580/1959888
[pid=28287] ppid=28285 vsize=792912 CPUtime=1747.45
/proc/28287/stat : 28287 (satake) S 28285 28287 21929 0 -1 4202496 204315 0 0 0 174151 594 0 0 18 0 5 0 1127955008 811941888 182628 4294967295 134512640 135180984 3218616544 3218615980 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/28287/statm: 198228 182628 68 164 0 198063 0
[pid=28287/tid=28288] ppid=28285 vsize=792912 CPUtime=2.86
/proc/28287/task/28288/stat : 28288 (satake) S 28285 28287 21929 0 -1 4202560 4149 0 0 0 77 209 0 0 16 0 5 0 1127955008 811941888 182628 4294967295 134512640 135180984 3218616544 3086114832 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=28287/tid=28289] ppid=28285 vsize=792912 CPUtime=581.94
/proc/28287/task/28289/stat : 28289 (satake) R 28285 28287 21929 0 -1 4202560 73407 0 0 0 58022 172 0 0 25 0 5 0 1127955008 811941888 182628 4294967295 134512640 135180984 3218616544 3086049072 134523696 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=28287/tid=28290] ppid=28285 vsize=792912 CPUtime=581.42
/proc/28287/task/28290/stat : 28290 (satake) R 28285 28287 21929 0 -1 4202560 59783 0 0 0 58027 115 0 0 25 0 5 0 1127955008 811941888 182628 4294967295 134512640 135180984 3218616544 3085983600 134526482 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=28287/tid=28291] ppid=28285 vsize=792912 CPUtime=581.23
/proc/28287/task/28291/stat : 28291 (satake) R 28285 28287 21929 0 -1 4202560 66865 0 0 0 58025 98 0 0 25 0 5 0 1127955008 811941888 182628 4294967295 134512640 135180984 3218616544 3085918064 134528211 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1747.45
Current children cumulated vsize (KiB) 792912

[startup+642.317 s]
/proc/loadavg: 3.00 3.00 2.79 4/104 30363
/proc/meminfo: memFree=2381824/3368532 swapFree=1953580/1959888
[pid=28287] ppid=28285 vsize=834340 CPUtime=1927.45
/proc/28287/stat : 28287 (satake) S 28285 28287 21929 0 -1 4202496 214829 0 0 0 192136 609 0 0 18 0 5 0 1127955008 854364160 193142 4294967295 134512640 135180984 3218616544 3218615980 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/28287/statm: 208585 193142 68 164 0 208420 0
[pid=28287/tid=28288] ppid=28285 vsize=834340 CPUtime=2.92
/proc/28287/task/28288/stat : 28288 (satake) S 28285 28287 21929 0 -1 4202560 4159 0 0 0 79 213 0 0 15 0 5 0 1127955008 854364160 193142 4294967295 134512640 135180984 3218616544 3086114832 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=28287/tid=28289] ppid=28285 vsize=834340 CPUtime=641.95
/proc/28287/task/28289/stat : 28289 (satake) R 28285 28287 21929 0 -1 4202560 77368 0 0 0 64020 175 0 0 25 0 5 0 1127955008 854364160 193142 4294967295 134512640 135180984 3218616544 3086049128 134520863 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=28287/tid=28290] ppid=28285 vsize=834340 CPUtime=641.44
/proc/28287/task/28290/stat : 28290 (satake) R 28285 28287 21929 0 -1 4202560 61466 0 0 0 64027 117 0 0 25 0 5 0 1127955008 854364160 193142 4294967295 134512640 135180984 3218616544 3085983472 134522694 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=28287/tid=28291] ppid=28285 vsize=834340 CPUtime=641.14
/proc/28287/task/28291/stat : 28291 (satake) R 28285 28287 21929 0 -1 4202560 71725 0 0 0 64010 104 0 0 25 0 5 0 1127955008 854364160 193142 4294967295 134512640 135180984 3218616544 3085918056 134520863 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1927.45
Current children cumulated vsize (KiB) 834340

[startup+702.311 s]
/proc/loadavg: 3.08 3.02 2.80 4/104 30556
/proc/meminfo: memFree=2341564/3368532 swapFree=1953580/1959888
[pid=28287] ppid=28285 vsize=875784 CPUtime=2107.36
/proc/28287/stat : 28287 (satake) S 28285 28287 21929 0 -1 4202496 224988 0 0 0 210112 624 0 0 18 0 5 0 1127955008 896802816 203301 4294967295 134512640 135180984 3218616544 3218615980 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/28287/statm: 218946 203301 68 164 0 218781 0
[pid=28287/tid=28288] ppid=28285 vsize=875784 CPUtime=2.94
/proc/28287/task/28288/stat : 28288 (satake) S 28285 28287 21929 0 -1 4202560 4160 0 0 0 79 215 0 0 15 0 5 0 1127955008 896802816 203301 4294967295 134512640 135180984 3218616544 3086114832 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=28287/tid=28289] ppid=28285 vsize=875784 CPUtime=701.92
/proc/28287/task/28289/stat : 28289 (satake) R 28285 28287 21929 0 -1 4202560 80848 0 0 0 70011 181 0 0 25 0 5 0 1127955008 896802816 203301 4294967295 134512640 135180984 3218616544 3086049136 134528211 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=28287/tid=28290] ppid=28285 vsize=875784 CPUtime=701.42
/proc/28287/task/28290/stat : 28290 (satake) R 28285 28287 21929 0 -1 4202560 62910 0 0 0 70023 119 0 0 25 0 5 0 1127955008 896802816 203301 4294967295 134512640 135180984 3218616544 3085983536 134523641 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=28287/tid=28291] ppid=28285 vsize=875784 CPUtime=701.08
/proc/28287/task/28291/stat : 28291 (satake) R 28285 28287 21929 0 -1 4202560 76959 0 0 0 69999 109 0 0 25 0 5 0 1127955008 896802816 203301 4294967295 134512640 135180984 3218616544 3085917952 134522980 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2107.36
Current children cumulated vsize (KiB) 875784

[startup+762.315 s]
/proc/loadavg: 3.15 3.04 2.83 4/104 30742
/proc/meminfo: memFree=2285360/3368532 swapFree=1953580/1959888
[pid=28287] ppid=28285 vsize=932252 CPUtime=2287.33
/proc/28287/stat : 28287 (satake) S 28285 28287 21929 0 -1 4202496 239003 0 0 0 228086 647 0 0 18 0 5 0 1127955008 954626048 217316 4294967295 134512640 135180984 3218616544 3218615980 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/28287/statm: 233063 217316 68 164 0 232898 0
[pid=28287/tid=28288] ppid=28285 vsize=932252 CPUtime=3.05
/proc/28287/task/28288/stat : 28288 (satake) S 28285 28287 21929 0 -1 4202560 4165 0 0 0 80 225 0 0 15 0 5 0 1127955008 954626048 217316 4294967295 134512640 135180984 3218616544 3086114832 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=28287/tid=28289] ppid=28285 vsize=932252 CPUtime=761.93
/proc/28287/task/28289/stat : 28289 (satake) R 28285 28287 21929 0 -1 4202560 88540 0 0 0 76005 188 0 0 25 0 5 0 1127955008 954626048 217316 4294967295 134512640 135180984 3218616544 3086048968 134675767 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=28287/tid=28290] ppid=28285 vsize=932252 CPUtime=761.41
/proc/28287/task/28290/stat : 28290 (satake) R 28285 28287 21929 0 -1 4202560 65096 0 0 0 76022 119 0 0 25 0 5 0 1127955008 954626048 217316 4294967295 134512640 135180984 3218616544 3085983504 134525399 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=28287/tid=28291] ppid=28285 vsize=932252 CPUtime=760.94
/proc/28287/task/28291/stat : 28291 (satake) R 28285 28287 21929 0 -1 4202560 81091 0 0 0 75979 115 0 0 25 0 5 0 1127955008 954626048 217316 4294967295 134512640 135180984 3218616544 3085917964 134518208 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2287.33
Current children cumulated vsize (KiB) 932252

[startup+822.31 s]
/proc/loadavg: 3.12 3.05 2.84 4/104 30930
/proc/meminfo: memFree=2235272/3368532 swapFree=1953580/1959888
[pid=28287] ppid=28285 vsize=982700 CPUtime=2467.24
/proc/28287/stat : 28287 (satake) S 28285 28287 21929 0 -1 4202496 251659 0 0 0 246068 656 0 0 18 0 5 0 1127955008 1006284800 229972 4294967295 134512640 135180984 3218616544 3218615980 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/28287/statm: 245675 229972 68 164 0 245510 0
[pid=28287/tid=28288] ppid=28285 vsize=982700 CPUtime=3.11
/proc/28287/task/28288/stat : 28288 (satake) S 28285 28287 21929 0 -1 4202560 4173 0 0 0 84 227 0 0 16 0 5 0 1127955008 1006284800 229972 4294967295 134512640 135180984 3218616544 3086114832 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=28287/tid=28289] ppid=28285 vsize=982700 CPUtime=821.91
/proc/28287/task/28289/stat : 28289 (satake) R 28285 28287 21929 0 -1 4202560 94042 0 0 0 82000 191 0 0 25 0 5 0 1127955008 1006284800 229972 4294967295 134512640 135180984 3218616544 3086049040 134524861 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=28287/tid=28290] ppid=28285 vsize=982700 CPUtime=821.39
/proc/28287/task/28290/stat : 28290 (satake) R 28285 28287 21929 0 -1 4202560 67567 0 0 0 82019 120 0 0 25 0 5 0 1127955008 1006284800 229972 4294967295 134512640 135180984 3218616544 3085983500 134518208 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=28287/tid=28291] ppid=28285 vsize=982700 CPUtime=820.83
/proc/28287/task/28291/stat : 28291 (satake) R 28285 28287 21929 0 -1 4202560 85766 0 0 0 81965 118 0 0 25 0 5 0 1127955008 1006284800 229972 4294967295 134512640 135180984 3218616544 3085917936 134522701 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2467.24
Current children cumulated vsize (KiB) 982700

[startup+882.304 s]
/proc/loadavg: 3.04 3.04 2.84 4/104 31117
/proc/meminfo: memFree=2176952/3368532 swapFree=1953580/1959888
[pid=28287] ppid=28285 vsize=1040964 CPUtime=2647.19
/proc/28287/stat : 28287 (satake) S 28285 28287 21929 0 -1 4202496 266120 0 0 0 264052 667 0 0 18 0 5 0 1127955008 1065947136 244433 4294967295 134512640 135180984 3218616544 3218615980 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/28287/statm: 260241 244433 68 164 0 260076 0
[pid=28287/tid=28288] ppid=28285 vsize=1040964 CPUtime=3.13
/proc/28287/task/28288/stat : 28288 (satake) S 28285 28287 21929 0 -1 4202560 4175 0 0 0 84 229 0 0 15 0 5 0 1127955008 1065947136 244433 4294967295 134512640 135180984 3218616544 3086114832 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=28287/tid=28289] ppid=28285 vsize=1040964 CPUtime=881.91
/proc/28287/task/28289/stat : 28289 (satake) R 28285 28287 21929 0 -1 4202560 100847 0 0 0 87994 197 0 0 25 0 5 0 1127955008 1065947136 244433 4294967295 134512640 135180984 3218616544 3086049040 134524611 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=28287/tid=28290] ppid=28285 vsize=1040964 CPUtime=881.37
/proc/28287/task/28290/stat : 28290 (satake) R 28285 28287 21929 0 -1 4202560 70018 0 0 0 88017 120 0 0 25 0 5 0 1127955008 1065947136 244433 4294967295 134512640 135180984 3218616544 3085983500 134519094 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=28287/tid=28291] ppid=28285 vsize=1040964 CPUtime=880.78
/proc/28287/task/28291/stat : 28291 (satake) R 28285 28287 21929 0 -1 4202560 90969 0 0 0 87957 121 0 0 25 0 5 0 1127955008 1065947136 244433 4294967295 134512640 135180984 3218616544 3085918064 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2647.19
Current children cumulated vsize (KiB) 1040964

[startup+942.318 s]
/proc/loadavg: 3.01 3.03 2.85 4/104 31306
/proc/meminfo: memFree=2116428/3368532 swapFree=1953580/1959888
[pid=28287] ppid=28285 vsize=1101688 CPUtime=2827.18
/proc/28287/stat : 28287 (satake) S 28285 28287 21929 0 -1 4202496 281376 0 0 0 282036 682 0 0 18 0 5 0 1127955008 1128128512 259689 4294967295 134512640 135180984 3218616544 3218615980 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/28287/statm: 275422 259689 68 164 0 275257 0
[pid=28287/tid=28288] ppid=28285 vsize=1101688 CPUtime=3.14
/proc/28287/task/28288/stat : 28288 (satake) S 28285 28287 21929 0 -1 4202560 4175 0 0 0 84 230 0 0 15 0 5 0 1127955008 1128128512 259689 4294967295 134512640 135180984 3218616544 3086114832 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=28287/tid=28289] ppid=28285 vsize=1101688 CPUtime=941.92
/proc/28287/task/28289/stat : 28289 (satake) R 28285 28287 21929 0 -1 4202560 107078 0 0 0 93985 207 0 0 25 0 5 0 1127955008 1128128512 259689 4294967295 134512640 135180984 3218616544 3086049036 134519082 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=28287/tid=28290] ppid=28285 vsize=1101688 CPUtime=941.36
/proc/28287/task/28290/stat : 28290 (satake) R 28285 28287 21929 0 -1 4202560 72574 0 0 0 94013 123 0 0 25 0 5 0 1127955008 1128128512 259689 4294967295 134512640 135180984 3218616544 3085983472 134522714 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=28287/tid=28291] ppid=28285 vsize=1101688 CPUtime=940.76
/proc/28287/task/28291/stat : 28291 (satake) R 28285 28287 21929 0 -1 4202560 97438 0 0 0 93954 122 0 0 25 0 5 0 1127955008 1128128512 259689 4294967295 134512640 135180984 3218616544 3085918056 134520863 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2827.18
Current children cumulated vsize (KiB) 1101688



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.01 s]
/proc/loadavg: 3.00 3.02 2.85 4/104 31494
/proc/meminfo: memFree=2066080/3368532 swapFree=1953580/1959888
[pid=28287] ppid=28285 vsize=1151764 CPUtime=3000.21
/proc/28287/stat : 28287 (satake) S 28285 28287 21929 0 -1 4202496 293776 0 0 0 299321 700 0 0 18 0 5 0 1127955008 1179406336 272089 4294967295 134512640 135180984 3218616544 3218615980 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/28287/statm: 287941 272089 68 164 0 287776 0
[pid=28287/tid=28288] ppid=28285 vsize=1151764 CPUtime=3.2
/proc/28287/task/28288/stat : 28288 (satake) S 28285 28287 21929 0 -1 4202560 4188 0 0 0 88 232 0 0 16 0 5 0 1127955008 1179406336 272089 4294967295 134512640 135180984 3218616544 3086114832 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=28287/tid=28289] ppid=28285 vsize=1151764 CPUtime=999.61
/proc/28287/task/28289/stat : 28289 (satake) R 28285 28287 21929 0 -1 4202560 111181 0 0 0 99742 219 0 0 25 0 5 0 1127955008 1179406336 272089 4294967295 134512640 135180984 3218616544 3086049136 134528633 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=28287/tid=28290] ppid=28285 vsize=1151764 CPUtime=999.03
/proc/28287/task/28290/stat : 28290 (satake) R 28285 28287 21929 0 -1 4202560 75516 0 0 0 99779 124 0 0 25 0 5 0 1127955008 1179406336 272089 4294967295 134512640 135180984 3218616544 3085983568 134520027 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=28287/tid=28291] ppid=28285 vsize=1151764 CPUtime=998.37
/proc/28287/task/28291/stat : 28291 (satake) R 28285 28287 21929 0 -1 4202560 102780 0 0 0 99712 125 0 0 25 0 5 0 1127955008 1179406336 272089 4294967295 134512640 135180984 3218616544 3085918064 134528211 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3000.21
Current children cumulated vsize (KiB) 1151764

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1000.09
CPU time (s): 3000.31
CPU user time (s): 2993.26
CPU system time (s): 7.05
CPU usage (%): 300.003
Max. virtual memory (cumulated for all children) (KiB): 1151764

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= 2993.26
system time used= 7.05
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 293778
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= 240104
involuntary context switches= 110380

runsolver used 0 second user time and 0 second system time

The end

Launcher Data 

Begin job on  at 2009-05-29 23:35:04
IDJOB=1775830
IDBENCH=20388
IDSOLVER=629
FILE ID=/1775830-1243632904
PBS_JOBID=
Free space on /tmp= 15857 MiB

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

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

MD5SUM BENCH= ec6ae8f44e827ed5bcc8aed459990775
RANDOM SEED= 1031556893

Linux (none) 2.6.21.5 #6 SMP Wed Jul 4 17:16:38 CEST 2007 i686 GNU/Linux

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

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

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


/proc/meminfo:
MemTotal:      3368532 kB
MemFree:       3155312 kB
Buffers:         37924 kB
Cached:          98188 kB
SwapCached:       2424 kB
Active:         120940 kB
Inactive:        25120 kB
HighTotal:     2489216 kB
HighFree:      2378356 kB
LowTotal:       879316 kB
LowFree:        776956 kB
SwapTotal:     1959888 kB
SwapFree:      1953580 kB
Dirty:           30064 kB
Writeback:           0 kB
AnonPages:        9508 kB
Mapped:           4940 kB
Slab:            57272 kB
SReclaimable:    49268 kB
SUnreclaim:       8004 kB
PageTables:        536 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:    93572 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 15857 MiB
End job on  at 2009-05-29 23:51:48