Trace number 1779025

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
satake 2009-03-22 (4 threads)? (TO) 3002.66 1000.08

General information on the benchmark

NameAPPLICATIONS/bitverif/
maxxororand/maxxororand128.cnf
MD5SUM3022ff2a7ae31b29e9b784d8e848042f
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 variables365168
Number of clauses1093967
Sum of the clauses size2552587
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2729310
Number of clauses of size 3364655
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

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-1779025-1243641074/watcher-1779025-1243641074 -o /tmp/evaluation-result-1779025-1243641074/solver-1779025-1243641074 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1779025-1243641074.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.81 2.95 2.98 3/99 22050
/proc/meminfo: memFree=3140732/3368532 swapFree=1953580/1959888
[pid=22050] ppid=22048 vsize=5264 CPUtime=0
/proc/22050/stat : 22050 (satake) S 22048 22050 21929 0 -1 4202496 704 0 0 0 0 0 0 0 18 0 5 0 1128771929 5390336 661 4294967295 134512640 135180984 3215762976 3215762412 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/22050/statm: 1316 665 63 164 0 1151 0
[pid=22050/tid=22051] ppid=22048 vsize=5264 CPUtime=0
/proc/22050/task/22051/stat : 22051 (satake) S 22048 22050 21929 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1128771929 5390336 704 4294967295 134512640 135180984 3215762976 3086438416 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=22050/tid=22052] ppid=22048 vsize=5264 CPUtime=0
/proc/22050/task/22052/stat : 22052 (satake) R 22048 22050 21929 0 -1 4202560 634 0 0 0 0 0 0 0 20 0 5 0 1128771929 5390336 709 4294967295 134512640 135180984 3215762976 3086373156 134583077 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=22050/tid=22053] ppid=22048 vsize=5264 CPUtime=0
/proc/22050/task/22053/stat : 22053 (satake) R 22048 22050 21929 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 5 0 1128771929 5390336 714 4294967295 134512640 135180984 3215762976 3086308164 134705812 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=22050/tid=22054] ppid=22048 vsize=5264 CPUtime=0
/proc/22050/task/22054/stat : 22054 (satake) R 22048 22050 21929 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 5 0 1128771929 5390336 720 4294967295 134512640 135180984 3215762976 3086242628 134705812 0 0 0 0 0 0 0 -1 0 0 0 0

[startup+0.097115 s]
/proc/loadavg: 2.81 2.95 2.98 3/99 22050
/proc/meminfo: memFree=3140732/3368532 swapFree=1953580/1959888
[pid=22050] ppid=22048 vsize=71204 CPUtime=0.25
/proc/22050/stat : 22050 (satake) S 22048 22050 21929 0 -1 4202496 17199 0 0 0 12 13 0 0 18 0 5 0 1128771929 72912896 17150 4294967295 134512640 135180984 3215762976 3215762412 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/22050/statm: 17801 17152 63 164 0 17636 0
[pid=22050/tid=22051] ppid=22048 vsize=71204 CPUtime=0
/proc/22050/task/22051/stat : 22051 (satake) S 22048 22050 21929 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1128771929 72912896 17152 4294967295 134512640 135180984 3215762976 3086438416 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=22050/tid=22052] ppid=22048 vsize=71204 CPUtime=0.09
/proc/22050/task/22052/stat : 22052 (satake) R 22048 22050 21929 0 -1 4202560 5779 0 0 0 5 4 0 0 20 0 5 0 1128771929 72912896 17152 4294967295 134512640 135180984 3215762976 3086373012 134579486 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=22050/tid=22053] ppid=22048 vsize=71204 CPUtime=0.08
/proc/22050/task/22053/stat : 22053 (satake) R 22048 22050 21929 0 -1 4202560 5672 0 0 0 4 4 0 0 20 0 5 0 1128771929 72912896 17153 4294967295 134512640 135180984 3215762976 3086307556 134680927 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=22050/tid=22054] ppid=22048 vsize=71204 CPUtime=0.08
/proc/22050/task/22054/stat : 22054 (satake) R 22048 22050 21929 0 -1 4202560 5634 0 0 0 3 5 0 0 20 0 5 0 1128771929 72912896 17154 4294967295 134512640 135180984 3215762976 3086241880 134675767 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 71204

[startup+0.116933 s]
/proc/loadavg: 2.81 2.95 2.98 3/99 22050
/proc/meminfo: memFree=3140732/3368532 swapFree=1953580/1959888
[pid=22050] ppid=22048 vsize=77120 CPUtime=0.29
/proc/22050/stat : 22050 (satake) S 22048 22050 21929 0 -1 4202496 18115 0 0 0 16 13 0 0 18 0 5 0 1128771929 78970880 18059 4294967295 134512640 135180984 3215762976 3215762412 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/22050/statm: 19280 18060 63 164 0 19115 0
[pid=22050/tid=22051] ppid=22048 vsize=77120 CPUtime=0
/proc/22050/task/22051/stat : 22051 (satake) S 22048 22050 21929 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1128771929 78970880 18060 4294967295 134512640 135180984 3215762976 3086438416 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=22050/tid=22052] ppid=22048 vsize=77120 CPUtime=0.1
/proc/22050/task/22052/stat : 22052 (satake) R 22048 22050 21929 0 -1 4202560 6117 0 0 0 6 4 0 0 20 0 5 0 1128771929 78970880 18060 4294967295 134512640 135180984 3215762976 3086373120 134522243 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=22050/tid=22053] ppid=22048 vsize=77120 CPUtime=0.1
/proc/22050/task/22053/stat : 22053 (satake) R 22048 22050 21929 0 -1 4202560 5982 0 0 0 6 4 0 0 20 0 5 0 1128771929 78970880 18060 4294967295 134512640 135180984 3215762976 3086307568 134522576 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=22050/tid=22054] ppid=22048 vsize=77120 CPUtime=0.1
/proc/22050/task/22054/stat : 22054 (satake) R 22048 22050 21929 0 -1 4202560 5899 0 0 0 5 5 0 0 20 0 5 0 1128771929 78970880 18060 4294967295 134512640 135180984 3215762976 3086242080 134513762 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 77120

[startup+0.316913 s]
/proc/loadavg: 2.81 2.95 2.98 3/99 22050
/proc/meminfo: memFree=3140732/3368532 swapFree=1953580/1959888
[pid=22050] ppid=22048 vsize=125092 CPUtime=0.88
/proc/22050/stat : 22050 (satake) S 22048 22050 21929 0 -1 4202496 27248 0 0 0 72 16 0 0 18 0 5 0 1128771929 128094208 27192 4294967295 134512640 135180984 3215762976 3215762412 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/22050/statm: 31273 27199 63 164 0 31108 0
[pid=22050/tid=22051] ppid=22048 vsize=125092 CPUtime=0
/proc/22050/task/22051/stat : 22051 (satake) S 22048 22050 21929 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1128771929 128094208 27199 4294967295 134512640 135180984 3215762976 3086438416 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=22050/tid=22052] ppid=22048 vsize=125092 CPUtime=0.3
/proc/22050/task/22052/stat : 22052 (satake) R 22048 22050 21929 0 -1 4202560 9242 0 0 0 24 6 0 0 18 0 5 0 1128771929 128094208 27200 4294967295 134512640 135180984 3215762976 3086373092 134680944 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=22050/tid=22053] ppid=22048 vsize=125092 CPUtime=0.3
/proc/22050/task/22053/stat : 22053 (satake) R 22048 22050 21929 0 -1 4202560 9050 0 0 0 26 4 0 0 18 0 5 0 1128771929 128094208 27200 4294967295 134512640 135180984 3215762976 3086307476 134579745 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=22050/tid=22054] ppid=22048 vsize=125092 CPUtime=0.29
/proc/22050/task/22054/stat : 22054 (satake) R 22048 22050 21929 0 -1 4202560 8846 0 0 0 23 6 0 0 19 0 5 0 1128771929 128094208 27201 4294967295 134512640 135180984 3215762976 3086242096 134534849 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.88
Current children cumulated vsize (KiB) 125092

[startup+0.716876 s]
/proc/loadavg: 2.81 2.95 2.98 3/99 22050
/proc/meminfo: memFree=3140732/3368532 swapFree=1953580/1959888
[pid=22050] ppid=22048 vsize=201660 CPUtime=2.08
/proc/22050/stat : 22050 (satake) S 22048 22050 21929 0 -1 4202496 46098 0 0 0 181 27 0 0 18 0 5 0 1128771929 206499840 46042 4294967295 134512640 135180984 3215762976 3215762412 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/22050/statm: 50415 46044 63 164 0 50250 0
[pid=22050/tid=22051] ppid=22048 vsize=201660 CPUtime=0
/proc/22050/task/22051/stat : 22051 (satake) S 22048 22050 21929 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1128771929 206499840 46046 4294967295 134512640 135180984 3215762976 3086438416 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=22050/tid=22052] ppid=22048 vsize=201660 CPUtime=0.7
/proc/22050/task/22052/stat : 22052 (satake) R 22048 22050 21929 0 -1 4202560 15599 0 0 0 61 9 0 0 17 0 5 0 1128771929 206499840 46046 4294967295 134512640 135180984 3215762976 3086373076 134681037 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=22050/tid=22053] ppid=22048 vsize=201660 CPUtime=0.7
/proc/22050/task/22053/stat : 22053 (satake) R 22048 22050 21929 0 -1 4202560 15359 0 0 0 59 11 0 0 17 0 5 0 1128771929 206499840 46046 4294967295 134512640 135180984 3215762976 3086307568 134522598 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=22050/tid=22054] ppid=22048 vsize=201660 CPUtime=0.69
/proc/22050/task/22054/stat : 22054 (satake) R 22048 22050 21929 0 -1 4202560 15026 0 0 0 62 7 0 0 17 0 5 0 1128771929 206499840 46046 4294967295 134512640 135180984 3215762976 3086242048 134519350 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.08
Current children cumulated vsize (KiB) 201660

[startup+1.5168 s]
/proc/loadavg: 2.83 2.95 2.98 5/104 22055
/proc/meminfo: memFree=2899344/3368532 swapFree=1953580/1959888
[pid=22050] ppid=22048 vsize=287940 CPUtime=4.55
/proc/22050/stat : 22050 (satake) S 22048 22050 21929 0 -1 4202496 75857 0 0 0 411 44 0 0 18 0 5 0 1128771929 294850560 60774 4294967295 134512640 135180984 3215762976 3215762412 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/22050/statm: 71985 60774 66 164 0 71820 0
[pid=22050/tid=22051] ppid=22048 vsize=287940 CPUtime=0.11
/proc/22050/task/22051/stat : 22051 (satake) S 22048 22050 21929 0 -1 4202560 6031 0 0 0 8 3 0 0 18 0 5 0 1128771929 294850560 60774 4294967295 134512640 135180984 3215762976 3086438416 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=22050/tid=22052] ppid=22048 vsize=287940 CPUtime=1.49
/proc/22050/task/22052/stat : 22052 (satake) R 22048 22050 21929 0 -1 4202560 23259 0 0 0 136 13 0 0 16 0 5 0 1128771929 294850560 60774 4294967295 134512640 135180984 3215762976 3086372716 134520901 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=22050/tid=22053] ppid=22048 vsize=287940 CPUtime=1.49
/proc/22050/task/22053/stat : 22053 (satake) R 22048 22050 21929 0 -1 4202560 23113 0 0 0 134 15 0 0 16 0 5 0 1128771929 294850560 60774 4294967295 134512640 135180984 3215762976 3086307184 134528084 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=22050/tid=22054] ppid=22048 vsize=287940 CPUtime=1.47
/proc/22050/task/22054/stat : 22054 (satake) R 22048 22050 21929 0 -1 4202560 23343 0 0 0 134 13 0 0 16 0 5 0 1128771929 294850560 60774 4294967295 134512640 135180984 3215762976 3086241648 134528101 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.55
Current children cumulated vsize (KiB) 287940

[startup+3.11665 s]
/proc/loadavg: 2.83 2.95 2.98 4/104 22055
/proc/meminfo: memFree=2897716/3368532 swapFree=1953580/1959888
[pid=22050] ppid=22048 vsize=288104 CPUtime=9.35
/proc/22050/stat : 22050 (satake) S 22048 22050 21929 0 -1 4202496 76260 0 0 0 890 45 0 0 18 0 5 0 1128771929 295018496 61177 4294967295 134512640 135180984 3215762976 3215762412 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/22050/statm: 72026 61177 68 164 0 71861 0
[pid=22050/tid=22051] ppid=22048 vsize=288104 CPUtime=0.11
/proc/22050/task/22051/stat : 22051 (satake) S 22048 22050 21929 0 -1 4202560 6036 0 0 0 8 3 0 0 16 0 5 0 1128771929 295018496 61177 4294967295 134512640 135180984 3215762976 3086438416 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=22050/tid=22052] ppid=22048 vsize=288104 CPUtime=3.09
/proc/22050/task/22052/stat : 22052 (satake) R 22048 22050 21929 0 -1 4202560 23336 0 0 0 295 14 0 0 17 0 5 0 1128771929 295018496 61177 4294967295 134512640 135180984 3215762976 3086372784 134532460 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=22050/tid=22053] ppid=22048 vsize=288104 CPUtime=3.09
/proc/22050/task/22053/stat : 22053 (satake) R 22048 22050 21929 0 -1 4202560 23325 0 0 0 294 15 0 0 17 0 5 0 1128771929 295018496 61177 4294967295 134512640 135180984 3215762976 3086307176 134520863 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=22050/tid=22054] ppid=22048 vsize=288104 CPUtime=3.07
/proc/22050/task/22054/stat : 22054 (satake) R 22048 22050 21929 0 -1 4202560 23452 0 0 0 294 13 0 0 17 0 5 0 1128771929 295018496 61177 4294967295 134512640 135180984 3215762976 3086241648 134528568 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 9.35
Current children cumulated vsize (KiB) 288104

[startup+6.31634 s]
/proc/loadavg: 2.83 2.95 2.98 4/104 22055
/proc/meminfo: memFree=2896060/3368532 swapFree=1953580/1959888
[pid=22050] ppid=22048 vsize=288368 CPUtime=18.97
/proc/22050/stat : 22050 (satake) S 22048 22050 21929 0 -1 4202496 76454 0 0 0 1850 47 0 0 18 0 5 0 1128771929 295288832 61371 4294967295 134512640 135180984 3215762976 3215762412 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/22050/statm: 72092 61371 68 164 0 71927 0
[pid=22050/tid=22051] ppid=22048 vsize=288368 CPUtime=0.13
/proc/22050/task/22051/stat : 22051 (satake) S 22048 22050 21929 0 -1 4202560 6045 0 0 0 9 4 0 0 16 0 5 0 1128771929 295288832 61371 4294967295 134512640 135180984 3215762976 3086438416 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=22050/tid=22052] ppid=22048 vsize=288368 CPUtime=6.29
/proc/22050/task/22052/stat : 22052 (satake) R 22048 22050 21929 0 -1 4202560 23384 0 0 0 614 15 0 0 25 0 5 0 1128771929 295288832 61371 4294967295 134512640 135180984 3215762976 3086372720 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=22050/tid=22053] ppid=22048 vsize=288368 CPUtime=6.29
/proc/22050/task/22053/stat : 22053 (satake) R 22048 22050 21929 0 -1 4202560 23429 0 0 0 614 15 0 0 25 0 5 0 1128771929 295288832 61371 4294967295 134512640 135180984 3215762976 3086307184 134528211 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=22050/tid=22054] ppid=22048 vsize=288368 CPUtime=6.27
/proc/22050/task/22054/stat : 22054 (satake) R 22048 22050 21929 0 -1 4202560 23485 0 0 0 614 13 0 0 25 0 5 0 1128771929 295288832 61371 4294967295 134512640 135180984 3215762976 3086241648 134521074 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 18.97
Current children cumulated vsize (KiB) 288368

[startup+12.7157 s]
/proc/loadavg: 2.85 2.95 2.98 5/104 22214
/proc/meminfo: memFree=2891668/3368532 swapFree=1953580/1959888
[pid=22050] ppid=22048 vsize=291224 CPUtime=38.23
/proc/22050/stat : 22050 (satake) S 22048 22050 21929 0 -1 4202496 76981 0 0 0 3746 77 0 0 18 0 5 0 1128771929 298213376 61898 4294967295 134512640 135180984 3215762976 3215762412 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/22050/statm: 72806 61898 68 164 0 72641 0
[pid=22050/tid=22051] ppid=22048 vsize=291224 CPUtime=0.3
/proc/22050/task/22051/stat : 22051 (satake) S 22048 22050 21929 0 -1 4202560 6076 0 0 0 12 18 0 0 16 0 5 0 1128771929 298213376 61898 4294967295 134512640 135180984 3215762976 3086438416 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=22050/tid=22052] ppid=22048 vsize=291224 CPUtime=12.65
/proc/22050/task/22052/stat : 22052 (satake) R 22048 22050 21929 0 -1 4202560 23620 0 0 0 1245 20 0 0 25 0 5 0 1128771929 298213376 61898 4294967295 134512640 135180984 3215762976 3086372736 134532624 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=22050/tid=22053] ppid=22048 vsize=291224 CPUtime=12.64
/proc/22050/task/22053/stat : 22053 (satake) R 22048 22050 21929 0 -1 4202560 23553 0 0 0 1241 23 0 0 25 0 5 0 1128771929 298213376 61898 4294967295 134512640 135180984 3215762976 3086307184 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=22050/tid=22054] ppid=22048 vsize=291224 CPUtime=12.65
/proc/22050/task/22054/stat : 22054 (satake) R 22048 22050 21929 0 -1 4202560 23621 0 0 0 1249 16 0 0 25 0 5 0 1128771929 298213376 61898 4294967295 134512640 135180984 3215762976 3086241640 134520863 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 38.23
Current children cumulated vsize (KiB) 291224

[startup+25.5145 s]
/proc/loadavg: 2.88 2.95 2.98 4/104 22240
/proc/meminfo: memFree=2888916/3368532 swapFree=1953580/1959888
[pid=22050] ppid=22048 vsize=296144 CPUtime=76.82
/proc/22050/stat : 22050 (satake) S 22048 22050 21929 0 -1 4202496 78041 0 0 0 7568 114 0 0 18 0 5 0 1128771929 303251456 62958 4294967295 134512640 135180984 3215762976 3215762412 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/22050/statm: 74036 62958 68 164 0 73871 0
[pid=22050/tid=22051] ppid=22048 vsize=296144 CPUtime=0.49
/proc/22050/task/22051/stat : 22051 (satake) S 22048 22050 21929 0 -1 4202560 6123 0 0 0 14 35 0 0 16 0 5 0 1128771929 303251456 62958 4294967295 134512640 135180984 3215762976 3086438416 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=22050/tid=22052] ppid=22048 vsize=296144 CPUtime=25.45
/proc/22050/task/22052/stat : 22052 (satake) R 22048 22050 21929 0 -1 4202560 23729 0 0 0 2516 29 0 0 25 0 5 0 1128771929 303251456 62958 4294967295 134512640 135180984 3215762976 3086372720 134528514 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=22050/tid=22053] ppid=22048 vsize=296144 CPUtime=25.44
/proc/22050/task/22053/stat : 22053 (satake) R 22048 22050 21929 0 -1 4202560 24027 0 0 0 2512 32 0 0 25 0 5 0 1128771929 303251456 62958 4294967295 134512640 135180984 3215762976 3086307088 134524629 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=22050/tid=22054] ppid=22048 vsize=296144 CPUtime=25.45
/proc/22050/task/22054/stat : 22054 (satake) R 22048 22050 21929 0 -1 4202560 24051 0 0 0 2527 18 0 0 25 0 5 0 1128771929 303251456 62958 4294967295 134512640 135180984 3215762976 3086241552 134525312 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 76.82
Current children cumulated vsize (KiB) 296144

[startup+51.1121 s]
/proc/loadavg: 2.98 2.97 2.99 4/104 22242
/proc/meminfo: memFree=2878092/3368532 swapFree=1953580/1959888
[pid=22050] ppid=22048 vsize=306364 CPUtime=154.1
/proc/22050/stat : 22050 (satake) S 22048 22050 21929 0 -1 4202496 80870 0 0 0 15213 197 0 0 18 0 5 0 1128771929 313716736 65787 4294967295 134512640 135180984 3215762976 3215762412 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/22050/statm: 76591 65787 68 164 0 76426 0
[pid=22050/tid=22051] ppid=22048 vsize=306364 CPUtime=0.99
/proc/22050/task/22051/stat : 22051 (satake) S 22048 22050 21929 0 -1 4202560 6203 0 0 0 23 76 0 0 16 0 5 0 1128771929 313716736 65787 4294967295 134512640 135180984 3215762976 3086438416 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=22050/tid=22052] ppid=22048 vsize=306364 CPUtime=51.04
/proc/22050/task/22052/stat : 22052 (satake) R 22048 22050 21929 0 -1 4202560 24398 0 0 0 5058 46 0 0 25 0 5 0 1128771929 313716736 65787 4294967295 134512640 135180984 3215762976 3086372720 134525969 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=22050/tid=22053] ppid=22048 vsize=306364 CPUtime=51.04
/proc/22050/task/22053/stat : 22053 (satake) R 22048 22050 21929 0 -1 4202560 24828 0 0 0 5056 48 0 0 25 0 5 0 1128771929 313716736 65787 4294967295 134512640 135180984 3215762976 3086307120 134523728 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=22050/tid=22054] ppid=22048 vsize=306364 CPUtime=51.04
/proc/22050/task/22054/stat : 22054 (satake) R 22048 22050 21929 0 -1 4202560 25330 0 0 0 5077 27 0 0 25 0 5 0 1128771929 313716736 65787 4294967295 134512640 135180984 3215762976 3086241580 134523872 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 154.1
Current children cumulated vsize (KiB) 306364

[startup+102.317 s]
/proc/loadavg: 2.99 2.97 2.99 4/104 22430

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

[pid=22050/tid=22052] ppid=22048 vsize=572748 CPUtime=522
/proc/22050/task/22052/stat : 22052 (satake) R 22048 22050 21929 0 -1 4202560 45518 0 0 0 52041 159 0 0 25 0 5 0 1128771929 586493952 132099 4294967295 134512640 135180984 3215762976 3086372688 134519935 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=22050/tid=22053] ppid=22048 vsize=572748 CPUtime=520.88
/proc/22050/task/22053/stat : 22053 (satake) R 22048 22050 21929 0 -1 4202560 44183 0 0 0 51861 227 0 0 25 0 5 0 1128771929 586493952 132099 4294967295 134512640 135180984 3215762976 3086307016 134675846 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=22050/tid=22054] ppid=22048 vsize=572748 CPUtime=521.74
/proc/22050/task/22054/stat : 22054 (satake) R 22048 22050 21929 0 -1 4202560 50260 0 0 0 52039 135 0 0 25 0 5 0 1128771929 586493952 132099 4294967295 134512640 135180984 3215762976 3086241644 134520661 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1569.57
Current children cumulated vsize (KiB) 572748

[startup+582.312 s]
/proc/loadavg: 3.00 3.02 3.00 4/104 23941
/proc/meminfo: memFree=2584916/3368532 swapFree=1953580/1959888
[pid=22050] ppid=22048 vsize=601160 CPUtime=1749.8
/proc/22050/stat : 22050 (satake) S 22048 22050 21929 0 -1 4202496 154199 0 0 0 174010 970 0 0 18 0 5 0 1128771929 615587840 139116 4294967295 134512640 135180984 3215762976 3215762412 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/22050/statm: 150290 139116 68 164 0 150125 0
[pid=22050/tid=22051] ppid=22048 vsize=601160 CPUtime=5.29
/proc/22050/task/22051/stat : 22051 (satake) S 22048 22050 21929 0 -1 4202560 7203 0 0 0 117 412 0 0 16 0 5 0 1128771929 615587840 139116 4294967295 134512640 135180984 3215762976 3086438416 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=22050/tid=22052] ppid=22048 vsize=601160 CPUtime=581.99
/proc/22050/task/22052/stat : 22052 (satake) R 22048 22050 21929 0 -1 4202560 48092 0 0 0 58032 167 0 0 25 0 5 0 1128771929 615587840 139116 4294967295 134512640 135180984 3215762976 3086372720 134528982 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=22050/tid=22053] ppid=22048 vsize=601160 CPUtime=580.86
/proc/22050/task/22053/stat : 22053 (satake) R 22048 22050 21929 0 -1 4202560 46266 0 0 0 57843 243 0 0 25 0 5 0 1128771929 615587840 139116 4294967295 134512640 135180984 3215762976 3086307016 134675767 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=22050/tid=22054] ppid=22048 vsize=601160 CPUtime=581.67
/proc/22050/task/22054/stat : 22054 (satake) R 22048 22050 21929 0 -1 4202560 52527 0 0 0 58019 148 0 0 25 0 5 0 1128771929 615587840 139116 4294967295 134512640 135180984 3215762976 3086241648 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1749.8
Current children cumulated vsize (KiB) 601160

[startup+642.306 s]
/proc/loadavg: 3.00 3.01 3.00 4/104 24130
/proc/meminfo: memFree=2559276/3368532 swapFree=1953580/1959888
[pid=22050] ppid=22048 vsize=627580 CPUtime=1929.91
/proc/22050/stat : 22050 (satake) S 22048 22050 21929 0 -1 4202496 160573 0 0 0 191951 1040 0 0 18 0 5 0 1128771929 642641920 145490 4294967295 134512640 135180984 3215762976 3215762412 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/22050/statm: 156895 145490 68 164 0 156730 0
[pid=22050/tid=22051] ppid=22048 vsize=627580 CPUtime=5.71
/proc/22050/task/22051/stat : 22051 (satake) S 22048 22050 21929 0 -1 4202560 7333 0 0 0 127 444 0 0 15 0 5 0 1128771929 642641920 145491 4294967295 134512640 135180984 3215762976 3086438416 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=22050/tid=22052] ppid=22048 vsize=627580 CPUtime=641.76
/proc/22050/task/22052/stat : 22052 (satake) R 22048 22050 21929 0 -1 4202560 50564 0 0 0 64001 175 0 0 25 0 5 0 1128771929 642641920 145491 4294967295 134512640 135180984 3215762976 3086372720 134528211 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=22050/tid=22053] ppid=22048 vsize=627580 CPUtime=640.84
/proc/22050/task/22053/stat : 22053 (satake) R 22048 22050 21929 0 -1 4202560 48108 0 0 0 63826 258 0 0 25 0 5 0 1128771929 642641920 145491 4294967295 134512640 135180984 3215762976 3086307180 134518246 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=22050/tid=22054] ppid=22048 vsize=627580 CPUtime=641.6
/proc/22050/task/22054/stat : 22054 (satake) R 22048 22050 21929 0 -1 4202560 54458 0 0 0 63997 163 0 0 25 0 5 0 1128771929 642641920 145491 4294967295 134512640 135180984 3215762976 3086241480 134675846 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1929.91
Current children cumulated vsize (KiB) 627580

[startup+702.31 s]
/proc/loadavg: 3.00 3.01 3.00 4/104 24318
/proc/meminfo: memFree=2528784/3368532 swapFree=1953580/1959888
[pid=22050] ppid=22048 vsize=657332 CPUtime=2109.78
/proc/22050/stat : 22050 (satake) S 22048 22050 21929 0 -1 4202496 168211 0 0 0 209884 1094 0 0 18 0 5 0 1128771929 673107968 153128 4294967295 134512640 135180984 3215762976 3215762412 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/22050/statm: 164333 153128 68 164 0 164168 0
[pid=22050/tid=22051] ppid=22048 vsize=657332 CPUtime=6.03
/proc/22050/task/22051/stat : 22051 (satake) S 22048 22050 21929 0 -1 4202560 7433 0 0 0 139 464 0 0 15 0 5 0 1128771929 673107968 153128 4294967295 134512640 135180984 3215762976 3086438416 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=22050/tid=22052] ppid=22048 vsize=657332 CPUtime=701.42
/proc/22050/task/22052/stat : 22052 (satake) R 22048 22050 21929 0 -1 4202560 53767 0 0 0 69952 190 0 0 25 0 5 0 1128771929 673107968 153128 4294967295 134512640 135180984 3215762976 3086372720 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=22050/tid=22053] ppid=22048 vsize=657332 CPUtime=700.81
/proc/22050/task/22053/stat : 22053 (satake) R 22048 22050 21929 0 -1 4202560 50354 0 0 0 69813 268 0 0 25 0 5 0 1128771929 673107968 153128 4294967295 134512640 135180984 3215762976 3086307184 134528198 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=22050/tid=22054] ppid=22048 vsize=657332 CPUtime=701.53
/proc/22050/task/22054/stat : 22054 (satake) R 22048 22050 21929 0 -1 4202560 56546 0 0 0 69981 172 0 0 25 0 5 0 1128771929 673107968 153128 4294967295 134512640 135180984 3215762976 3086241648 134528470 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2109.78
Current children cumulated vsize (KiB) 657332

[startup+762.314 s]
/proc/loadavg: 3.00 3.00 3.00 4/104 24504
/proc/meminfo: memFree=2498380/3368532 swapFree=1953580/1959888
[pid=22050] ppid=22048 vsize=686716 CPUtime=2289.69
/proc/22050/stat : 22050 (satake) S 22048 22050 21929 0 -1 4202496 175733 0 0 0 227811 1158 0 0 18 0 5 0 1128771929 703197184 160650 4294967295 134512640 135180984 3215762976 3215762412 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/22050/statm: 171679 160650 68 164 0 171514 0
[pid=22050/tid=22051] ppid=22048 vsize=686716 CPUtime=6.38
/proc/22050/task/22051/stat : 22051 (satake) S 22048 22050 21929 0 -1 4202560 7524 0 0 0 149 489 0 0 16 0 5 0 1128771929 703197184 160650 4294967295 134512640 135180984 3215762976 3086438416 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=22050/tid=22052] ppid=22048 vsize=686716 CPUtime=761.06
/proc/22050/task/22052/stat : 22052 (satake) R 22048 22050 21929 0 -1 4202560 56145 0 0 0 75907 199 0 0 25 0 5 0 1128771929 703197184 160650 4294967295 134512640 135180984 3215762976 3086372720 134528211 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=22050/tid=22053] ppid=22048 vsize=686716 CPUtime=760.79
/proc/22050/task/22053/stat : 22053 (satake) R 22048 22050 21929 0 -1 4202560 52772 0 0 0 75798 281 0 0 25 0 5 0 1128771929 703197184 160650 4294967295 134512640 135180984 3215762976 3086307120 134523641 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=22050/tid=22054] ppid=22048 vsize=686716 CPUtime=761.47
/proc/22050/task/22054/stat : 22054 (satake) R 22048 22050 21929 0 -1 4202560 59181 0 0 0 75958 189 0 0 25 0 5 0 1128771929 703197184 160650 4294967295 134512640 135180984 3215762976 3086241552 134525183 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2289.69
Current children cumulated vsize (KiB) 686716

[startup+822.319 s]
/proc/loadavg: 3.00 3.00 3.00 4/104 24693
/proc/meminfo: memFree=2460088/3368532 swapFree=1953580/1959888
[pid=22050] ppid=22048 vsize=725544 CPUtime=2469.55
/proc/22050/stat : 22050 (satake) S 22048 22050 21929 0 -1 4202496 185291 0 0 0 245750 1205 0 0 18 0 5 0 1128771929 742957056 170208 4294967295 134512640 135180984 3215762976 3215762412 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/22050/statm: 181386 170208 68 164 0 181221 0
[pid=22050/tid=22051] ppid=22048 vsize=725544 CPUtime=6.61
/proc/22050/task/22051/stat : 22051 (satake) S 22048 22050 21929 0 -1 4202560 7572 0 0 0 157 504 0 0 16 0 5 0 1128771929 742957056 170208 4294967295 134512640 135180984 3215762976 3086438416 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=22050/tid=22052] ppid=22048 vsize=725544 CPUtime=820.77
/proc/22050/task/22052/stat : 22052 (satake) R 22048 22050 21929 0 -1 4202560 59660 0 0 0 81864 213 0 0 25 0 5 0 1128771929 742957056 170208 4294967295 134512640 135180984 3215762976 3086372656 134523862 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=22050/tid=22053] ppid=22048 vsize=725544 CPUtime=820.77
/proc/22050/task/22053/stat : 22053 (satake) R 22048 22050 21929 0 -1 4202560 55909 0 0 0 81787 290 0 0 25 0 5 0 1128771929 742957056 170208 4294967295 134512640 135180984 3215762976 3086307184 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=22050/tid=22054] ppid=22048 vsize=725544 CPUtime=821.41
/proc/22050/task/22054/stat : 22054 (satake) R 22048 22050 21929 0 -1 4202560 62039 0 0 0 81943 198 0 0 25 0 5 0 1128771929 742957056 170208 4294967295 134512640 135180984 3215762976 3086241648 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2469.55
Current children cumulated vsize (KiB) 725544

[startup+882.313 s]
/proc/loadavg: 3.00 3.00 3.00 4/104 24880
/proc/meminfo: memFree=2422404/3368532 swapFree=1953580/1959888
[pid=22050] ppid=22048 vsize=763948 CPUtime=2649.41
/proc/22050/stat : 22050 (satake) S 22048 22050 21929 0 -1 4202496 194726 0 0 0 263697 1244 0 0 18 0 5 0 1128771929 782282752 179643 4294967295 134512640 135180984 3215762976 3215762412 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/22050/statm: 190987 179643 68 164 0 190822 0
[pid=22050/tid=22051] ppid=22048 vsize=763948 CPUtime=6.88
/proc/22050/task/22051/stat : 22051 (satake) S 22048 22050 21929 0 -1 4202560 7625 0 0 0 164 524 0 0 15 0 5 0 1128771929 782282752 179643 4294967295 134512640 135180984 3215762976 3086438416 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=22050/tid=22052] ppid=22048 vsize=763948 CPUtime=880.44
/proc/22050/task/22052/stat : 22052 (satake) R 22048 22050 21929 0 -1 4202560 63229 0 0 0 87826 218 0 0 25 0 5 0 1128771929 782282752 179643 4294967295 134512640 135180984 3215762976 3086372720 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=22050/tid=22053] ppid=22048 vsize=763948 CPUtime=880.75
/proc/22050/task/22053/stat : 22053 (satake) R 22048 22050 21929 0 -1 4202560 59020 0 0 0 87778 297 0 0 25 0 5 0 1128771929 782282752 179643 4294967295 134512640 135180984 3215762976 3086307080 134520909 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=22050/tid=22054] ppid=22048 vsize=763948 CPUtime=881.35
/proc/22050/task/22054/stat : 22054 (satake) R 22048 22050 21929 0 -1 4202560 64741 0 0 0 87930 205 0 0 25 0 5 0 1128771929 782282752 179643 4294967295 134512640 135180984 3215762976 3086241552 134525499 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2649.41
Current children cumulated vsize (KiB) 763948

[startup+942.307 s]
/proc/loadavg: 3.00 3.00 3.00 4/104 25073
/proc/meminfo: memFree=2387468/3368532 swapFree=1953580/1959888
[pid=22050] ppid=22048 vsize=797352 CPUtime=2829.45
/proc/22050/stat : 22050 (satake) S 22048 22050 21929 0 -1 4202496 203443 0 0 0 281663 1282 0 0 18 0 5 0 1128771929 816488448 188360 4294967295 134512640 135180984 3215762976 3215762412 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/22050/statm: 199338 188360 68 164 0 199173 0
[pid=22050/tid=22051] ppid=22048 vsize=797352 CPUtime=7.13
/proc/22050/task/22051/stat : 22051 (satake) S 22048 22050 21929 0 -1 4202560 7663 0 0 0 171 542 0 0 16 0 5 0 1128771929 816488448 188360 4294967295 134512640 135180984 3215762976 3086438416 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=22050/tid=22052] ppid=22048 vsize=797352 CPUtime=940.29
/proc/22050/task/22052/stat : 22052 (satake) R 22048 22050 21929 0 -1 4202560 66321 0 0 0 93806 223 0 0 25 0 5 0 1128771929 816488448 188360 4294967295 134512640 135180984 3215762976 3086372616 134520909 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=22050/tid=22053] ppid=22048 vsize=797352 CPUtime=940.75
/proc/22050/task/22053/stat : 22053 (satake) R 22048 22050 21929 0 -1 4202560 62158 0 0 0 93770 305 0 0 25 0 5 0 1128771929 816488448 188360 4294967295 134512640 135180984 3215762976 3086307184 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=22050/tid=22054] ppid=22048 vsize=797352 CPUtime=941.29
/proc/22050/task/22054/stat : 22054 (satake) R 22048 22050 21929 0 -1 4202560 67190 0 0 0 93917 212 0 0 25 0 5 0 1128771929 816488448 188360 4294967295 134512640 135180984 3215762976 3086241640 134520863 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2829.45
Current children cumulated vsize (KiB) 797352



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.01 s]
/proc/loadavg: 3.00 3.00 3.00 4/104 25260
/proc/meminfo: memFree=2346316/3368532 swapFree=1953580/1959888
[pid=22050] ppid=22048 vsize=839500 CPUtime=3002.58
/proc/22050/stat : 22050 (satake) S 22048 22050 21929 0 -1 4202496 213621 0 0 0 298951 1307 0 0 18 0 5 0 1128771929 859648000 198538 4294967295 134512640 135180984 3215762976 3215762412 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/22050/statm: 209875 198538 68 164 0 209710 0
[pid=22050/tid=22051] ppid=22048 vsize=839500 CPUtime=7.26
/proc/22050/task/22051/stat : 22051 (satake) S 22048 22050 21929 0 -1 4202560 7705 0 0 0 172 554 0 0 16 0 5 0 1128771929 859648000 198538 4294967295 134512640 135180984 3215762976 3086438416 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=22050/tid=22052] ppid=22048 vsize=839500 CPUtime=997.92
/proc/22050/task/22052/stat : 22052 (satake) R 22048 22050 21929 0 -1 4202560 71486 0 0 0 99565 227 0 0 25 0 5 0 1128771929 859648000 198538 4294967295 134512640 135180984 3215762976 3086372720 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=22050/tid=22053] ppid=22048 vsize=839500 CPUtime=998.45
/proc/22050/task/22053/stat : 22053 (satake) R 22048 22050 21929 0 -1 4202560 64338 0 0 0 99536 309 0 0 25 0 5 0 1128771929 859648000 198538 4294967295 134512640 135180984 3215762976 3086307016 134675767 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=22050/tid=22054] ppid=22048 vsize=839500 CPUtime=998.95
/proc/22050/task/22054/stat : 22054 (satake) R 22048 22050 21929 0 -1 4202560 69981 0 0 0 99678 217 0 0 25 0 5 0 1128771929 859648000 198538 4294967295 134512640 135180984 3215762976 3086241664 134518634 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3002.58
Current children cumulated vsize (KiB) 839500

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.08
CPU time (s): 3002.66
CPU user time (s): 2989.55
CPU system time (s): 13.11
CPU usage (%): 300.243
Max. virtual memory (cumulated for all children) (KiB): 839500

deleting IPC queue 7340032
deleting IPC queue 7372801
deleting IPC queue 7405570
deleting IPC queue 7438339
deleting IPC queue 7471108
deleting IPC queue 7503877
deleting IPC queue 7536646
deleting IPC queue 7569415
deleting IPC queue 7602184
deleting IPC queue 7634953
deleting IPC queue 7667722
deleting IPC queue 7700491
deleting IPC queue 7733260
deleting IPC queue 7766029
deleting IPC queue 7798798
deleting IPC queue 7831567

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2989.55
system time used= 13.11
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 213623
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= 530255
involuntary context switches= 290604

runsolver used 0 second user time and 0 second system time

The end

Launcher Data 

Begin job on  at 2009-05-30 01:51:14
IDJOB=1779025
IDBENCH=70794
IDSOLVER=629
FILE ID=/1779025-1243641074
PBS_JOBID=
Free space on /tmp= 15866 MiB

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

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

MD5SUM BENCH= 3022ff2a7ae31b29e9b784d8e848042f
RANDOM SEED= 1848651983

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:       3140732 kB
Buffers:         38256 kB
Cached:         112064 kB
SwapCached:       2424 kB
Active:         112500 kB
Inactive:        48000 kB
HighTotal:     2489216 kB
HighFree:      2364412 kB
LowTotal:       879316 kB
LowFree:        776320 kB
SwapTotal:     1959888 kB
SwapFree:      1953580 kB
Dirty:           21160 kB
Writeback:           0 kB
AnonPages:        9736 kB
Mapped:           4940 kB
Slab:            57404 kB
SReclaimable:    49372 kB
SUnreclaim:       8032 kB
PageTables:        536 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:    93568 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 15866 MiB
End job on  at 2009-05-30 02:07:57