Trace number 1780375

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) 1993.77 1000.07

General information on the benchmark

NameAPPLICATIONS/diagnosis/
ACG-20-10p0.cnf
MD5SUM28e85fc2a4586943a0ffdffa15206b58
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 variables374228
Number of clauses1603007
Sum of the clauses size3767588
Maximum clause length10
Minimum clause length1
Number of clauses of size 113149
Number of clauses of size 21211215
Number of clauses of size 3313283
Number of clauses of size 47260
Number of clauses of size 529040
Number of clauses of size over 529060

Solver Data


Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w /tmp/evaluation-result-1780375-1243647736/watcher-1780375-1243647736 -o /tmp/evaluation-result-1780375-1243647736/solver-1780375-1243647736 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1780375-1243647736.cnf 4 10000 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 2096128 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 2147328 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 5.03 5.14 5.16 5/105 23910
/proc/meminfo: memFree=2260688/3368532 swapFree=1954076/1959888
[pid=23909] ppid=23907 vsize=968 CPUtime=0
/proc/23909/stat : 23909 (satake) R 23907 23909 3671 0 -1 4202496 108 0 0 0 0 0 0 0 20 0 2 0 1118874997 991232 64 4294967295 134512640 135180984 3220990752 3220990096 134705812 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/23909/statm: 242 64 54 164 0 77 0
[pid=23909/tid=23910] ppid=23907 vsize=968 CPUtime=0
/proc/23909/task/23910/stat : 23910 (satake) R 23907 23909 3671 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 2 0 1118874997 991232 64 4294967295 134512640 135180984 3220990752 3086316356 134705812 0 0 0 0 0 0 0 -1 3 0 0 0

[startup+0.039352 s]
/proc/loadavg: 5.03 5.14 5.16 5/105 23910
/proc/meminfo: memFree=2260688/3368532 swapFree=1954076/1959888
[pid=23909] ppid=23907 vsize=46372 CPUtime=0.05
/proc/23909/stat : 23909 (satake) S 23907 23909 3671 0 -1 4202496 6292 0 0 0 0 5 0 0 20 0 5 0 1118874997 47484928 6249 4294967295 134512640 135180984 3220990752 3220990188 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/23909/statm: 11593 6257 63 164 0 11428 0
[pid=23909/tid=23910] ppid=23907 vsize=46372 CPUtime=0
/proc/23909/task/23910/stat : 23910 (satake) S 23907 23909 3671 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 5 0 1118874997 47484928 6260 4294967295 134512640 135180984 3220990752 3086315536 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 46372

[startup+0.109311 s]
/proc/loadavg: 5.03 5.14 5.16 5/105 23910
/proc/meminfo: memFree=2260688/3368532 swapFree=1954076/1959888
[pid=23909] ppid=23907 vsize=104388 CPUtime=0.19
/proc/23909/stat : 23909 (satake) S 23907 23909 3671 0 -1 4202496 23686 0 0 0 1 18 0 0 20 0 5 0 1118874997 106893312 23637 4294967295 134512640 135180984 3220990752 3220990188 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/23909/statm: 26097 23641 63 164 0 25932 0
[pid=23909/tid=23910] ppid=23907 vsize=104388 CPUtime=0
/proc/23909/task/23910/stat : 23910 (satake) S 23907 23909 3671 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 5 0 1118874997 106893312 23642 4294967295 134512640 135180984 3220990752 3086315536 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 104388

[startup+0.3093 s]
/proc/loadavg: 5.03 5.14 5.16 5/105 23910
/proc/meminfo: memFree=2260688/3368532 swapFree=1954076/1959888
[pid=23909] ppid=23907 vsize=186088 CPUtime=0.54
/proc/23909/stat : 23909 (satake) S 23907 23909 3671 0 -1 4202496 42829 0 0 0 28 26 0 0 20 0 5 0 1118874997 190554112 42760 4294967295 134512640 135180984 3220990752 3220990188 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/23909/statm: 46522 42760 63 164 0 46357 0
[pid=23909/tid=23910] ppid=23907 vsize=186088 CPUtime=0
/proc/23909/task/23910/stat : 23910 (satake) S 23907 23909 3671 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 5 0 1118874997 190554112 42760 4294967295 134512640 135180984 3220990752 3086315536 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 186088

[startup+0.70927 s]
/proc/loadavg: 5.03 5.14 5.16 5/105 23910
/proc/meminfo: memFree=2260688/3368532 swapFree=1954076/1959888
[pid=23909] ppid=23907 vsize=203964 CPUtime=1.24
/proc/23909/stat : 23909 (satake) S 23907 23909 3671 0 -1 4202496 47131 0 0 0 93 31 0 0 20 0 5 0 1118874997 208859136 47062 4294967295 134512640 135180984 3220990752 3220990188 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/23909/statm: 50991 47063 63 164 0 50826 0
[pid=23909/tid=23910] ppid=23907 vsize=203964 CPUtime=0
/proc/23909/task/23910/stat : 23910 (satake) S 23907 23909 3671 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 5 0 1118874997 208859136 47063 4294967295 134512640 135180984 3220990752 3086315536 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 203964

[startup+1.50922 s]
/proc/loadavg: 5.03 5.14 5.16 5/109 23914
/proc/meminfo: memFree=2059980/3368532 swapFree=1954076/1959888
[pid=23909] ppid=23907 vsize=244096 CPUtime=2.79
/proc/23909/stat : 23909 (satake) S 23907 23909 3671 0 -1 4202496 56350 0 0 0 246 33 0 0 20 0 5 0 1118874997 249954304 56281 4294967295 134512640 135180984 3220990752 3220990188 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/23909/statm: 61024 56282 63 164 0 60859 0
[pid=23909/tid=23910] ppid=23907 vsize=244096 CPUtime=0
/proc/23909/task/23910/stat : 23910 (satake) S 23907 23909 3671 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 5 0 1118874997 249954304 56282 4294967295 134512640 135180984 3220990752 3086315536 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=23909/tid=23912] ppid=23907 vsize=244096 CPUtime=1.21
/proc/23909/task/23912/stat : 23912 (satake) R 23907 23909 3671 0 -1 4202560 20474 0 0 0 107 14 0 0 16 0 5 0 1118874997 249954304 56282 4294967295 134512640 135180984 3220990752 3086250132 134579486 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=23909/tid=23913] ppid=23907 vsize=244096 CPUtime=1.05
/proc/23909/task/23913/stat : 23913 (satake) R 23907 23909 3671 0 -1 4202560 19507 0 0 0 94 11 0 0 16 0 5 0 1118874997 249954304 56282 4294967295 134512640 135180984 3220990752 3086184536 134675767 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=23909/tid=23914] ppid=23907 vsize=244096 CPUtime=0.53
/proc/23909/task/23914/stat : 23914 (satake) R 23907 23909 3671 0 -1 4202560 16252 0 0 0 45 8 0 0 22 0 5 0 1118874997 249954304 56282 4294967295 134512640 135180984 3220990752 3086119168 134519768 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.79
Current children cumulated vsize (KiB) 244096

[startup+3.1191 s]
/proc/loadavg: 5.03 5.14 5.16 6/109 23914
/proc/meminfo: memFree=1990864/3368532 swapFree=1954076/1959888
[pid=23909] ppid=23907 vsize=357832 CPUtime=5.89
/proc/23909/stat : 23909 (satake) S 23907 23909 3671 0 -1 4202496 87296 0 0 0 543 46 0 0 20 0 5 0 1118874997 366419968 79780 4294967295 134512640 135180984 3220990752 3220990188 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/23909/statm: 89458 79780 66 164 0 89293 0
[pid=23909/tid=23910] ppid=23907 vsize=357832 CPUtime=0.09
/proc/23909/task/23910/stat : 23910 (satake) S 23907 23909 3671 0 -1 4202560 6585 0 0 0 7 2 0 0 18 0 5 0 1118874997 366419968 79780 4294967295 134512640 135180984 3220990752 3086315536 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=23909/tid=23912] ppid=23907 vsize=357832 CPUtime=2.4
/proc/23909/task/23912/stat : 23912 (satake) R 23907 23909 3671 0 -1 4202560 29467 0 0 0 222 18 0 0 16 0 5 0 1118874997 366419968 79780 4294967295 134512640 135180984 3220990752 3086249840 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=23909/tid=23913] ppid=23907 vsize=357832 CPUtime=2.07
/proc/23909/task/23913/stat : 23913 (satake) R 23907 23909 3671 0 -1 4202560 28835 0 0 0 192 15 0 0 15 0 5 0 1118874997 366419968 79780 4294967295 134512640 135180984 3220990752 3086184764 134520661 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=23909/tid=23914] ppid=23907 vsize=357832 CPUtime=1.33
/proc/23909/task/23914/stat : 23914 (satake) R 23907 23909 3671 0 -1 4202560 22298 0 0 0 122 11 0 0 18 0 5 0 1118874997 366419968 79780 4294967295 134512640 135180984 3220990752 3086119060 134579486 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.89
Current children cumulated vsize (KiB) 357832

[startup+6.30889 s]
/proc/loadavg: 5.18 5.17 5.17 8/109 23914
/proc/meminfo: memFree=1973652/3368532 swapFree=1954076/1959888
[pid=23909] ppid=23907 vsize=338332 CPUtime=12.27
/proc/23909/stat : 23909 (satake) S 23907 23909 3671 0 -1 4202496 94272 0 0 0 1175 52 0 0 20 0 5 0 1118874997 346451968 71862 4294967295 134512640 135180984 3220990752 3220990188 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/23909/statm: 84583 71862 68 164 0 84418 0
[pid=23909/tid=23910] ppid=23907 vsize=338332 CPUtime=0.1
/proc/23909/task/23910/stat : 23910 (satake) S 23907 23909 3671 0 -1 4202560 6587 0 0 0 7 3 0 0 16 0 5 0 1118874997 346451968 71862 4294967295 134512640 135180984 3220990752 3086315536 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=23909/tid=23912] ppid=23907 vsize=338332 CPUtime=3.65
/proc/23909/task/23912/stat : 23912 (satake) R 23907 23909 3671 0 -1 4202560 29499 0 0 0 347 18 0 0 17 0 5 0 1118874997 346451968 71862 4294967295 134512640 135180984 3220990752 3086249840 134528084 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=23909/tid=23913] ppid=23907 vsize=338332 CPUtime=5.25
/proc/23909/task/23913/stat : 23913 (satake) R 23907 23909 3671 0 -1 4202560 29130 0 0 0 510 15 0 0 20 0 5 0 1118874997 346451968 71862 4294967295 134512640 135180984 3220990752 3086184200 134520911 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=23909/tid=23914] ppid=23907 vsize=338332 CPUtime=3.27
/proc/23909/task/23914/stat : 23914 (satake) R 23907 23909 3671 0 -1 4202560 28945 0 0 0 311 16 0 0 17 0 5 0 1118874997 346451968 71862 4294967295 134512640 135180984 3220990752 3086118768 134528252 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.27
Current children cumulated vsize (KiB) 338332

[startup+12.7085 s]
/proc/loadavg: 5.17 5.16 5.17 6/109 23914
/proc/meminfo: memFree=1973104/3368532 swapFree=1954076/1959888
[pid=23909] ppid=23907 vsize=338332 CPUtime=26.43
/proc/23909/stat : 23909 (satake) S 23907 23909 3671 0 -1 4202496 94291 0 0 0 2584 59 0 0 20 0 5 0 1118874997 346451968 71881 4294967295 134512640 135180984 3220990752 3220990188 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/23909/statm: 84583 71881 68 164 0 84418 0
[pid=23909/tid=23910] ppid=23907 vsize=338332 CPUtime=0.16
/proc/23909/task/23910/stat : 23910 (satake) S 23907 23909 3671 0 -1 4202560 6589 0 0 0 9 7 0 0 15 0 5 0 1118874997 346451968 71881 4294967295 134512640 135180984 3220990752 3086315536 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=23909/tid=23912] ppid=23907 vsize=338332 CPUtime=8.26
/proc/23909/task/23912/stat : 23912 (satake) R 23907 23909 3671 0 -1 4202560 29502 0 0 0 807 19 0 0 25 0 5 0 1118874997 346451968 71881 4294967295 134512640 135180984 3220990752 3086249856 134532656 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=23909/tid=23913] ppid=23907 vsize=338332 CPUtime=9.33
/proc/23909/task/23913/stat : 23913 (satake) R 23907 23909 3671 0 -1 4202560 29142 0 0 0 918 15 0 0 25 0 5 0 1118874997 346451968 71881 4294967295 134512640 135180984 3220990752 3086184296 134520863 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=23909/tid=23914] ppid=23907 vsize=338332 CPUtime=8.68
/proc/23909/task/23914/stat : 23914 (satake) R 23907 23909 3671 0 -1 4202560 28947 0 0 0 850 18 0 0 25 0 5 0 1118874997 346451968 71881 4294967295 134512640 135180984 3220990752 3086118760 134520863 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 26.43
Current children cumulated vsize (KiB) 338332

[startup+25.5076 s]
/proc/loadavg: 5.13 5.16 5.16 6/109 23917
/proc/meminfo: memFree=1972392/3368532 swapFree=1954076/1959888
[pid=23909] ppid=23907 vsize=339040 CPUtime=51.84
/proc/23909/stat : 23909 (satake) S 23907 23909 3671 0 -1 4202496 94450 0 0 0 5112 72 0 0 20 0 5 0 1118874997 347176960 72040 4294967295 134512640 135180984 3220990752 3220990188 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/23909/statm: 84760 72040 68 164 0 84595 0
[pid=23909/tid=23910] ppid=23907 vsize=339040 CPUtime=0.25
/proc/23909/task/23910/stat : 23910 (satake) S 23907 23909 3671 0 -1 4202560 6594 0 0 0 11 14 0 0 15 0 5 0 1118874997 347176960 72040 4294967295 134512640 135180984 3220990752 3086315536 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=23909/tid=23912] ppid=23907 vsize=339040 CPUtime=16.08
/proc/23909/task/23912/stat : 23912 (satake) R 23907 23909 3671 0 -1 4202560 29528 0 0 0 1588 20 0 0 25 0 5 0 1118874997 347176960 72040 4294967295 134512640 135180984 3220990752 3086249644 134706407 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=23909/tid=23913] ppid=23907 vsize=339040 CPUtime=17.27
/proc/23909/task/23913/stat : 23913 (satake) R 23907 23909 3671 0 -1 4202560 29202 0 0 0 1710 17 0 0 25 0 5 0 1118874997 347176960 72040 4294967295 134512640 135180984 3220990752 3086184304 134528211 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=23909/tid=23914] ppid=23907 vsize=339040 CPUtime=18.24
/proc/23909/task/23914/stat : 23914 (satake) R 23907 23909 3671 0 -1 4202560 29015 0 0 0 1803 21 0 0 25 0 5 0 1118874997 347176960 72040 4294967295 134512640 135180984 3220990752 3086118832 134532451 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 51.84
Current children cumulated vsize (KiB) 339040

[startup+51.1058 s]
/proc/loadavg: 5.16 5.16 5.16 6/109 24106
/proc/meminfo: memFree=1967960/3368532 swapFree=1954076/1959888
[pid=23909] ppid=23907 vsize=343016 CPUtime=103
/proc/23909/stat : 23909 (satake) S 23907 23909 3671 0 -1 4202496 95265 0 0 0 10213 87 0 0 20 0 5 0 1118874997 351248384 72855 4294967295 134512640 135180984 3220990752 3220990188 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/23909/statm: 85754 72855 68 164 0 85589 0
[pid=23909/tid=23910] ppid=23907 vsize=343016 CPUtime=0.36
/proc/23909/task/23910/stat : 23910 (satake) S 23907 23909 3671 0 -1 4202560 6622 0 0 0 15 21 0 0 16 0 5 0 1118874997 351248384 72855 4294967295 134512640 135180984 3220990752 3086315536 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=23909/tid=23912] ppid=23907 vsize=343016 CPUtime=29.45
/proc/23909/task/23912/stat : 23912 (satake) R 23907 23909 3671 0 -1 4202560 29744 0 0 0 2921 24 0 0 25 0 5 0 1118874997 351248384 72855 4294967295 134512640 135180984 3220990752 3086249836 134520875 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=23909/tid=23913] ppid=23907 vsize=343016 CPUtime=33.71
/proc/23909/task/23913/stat : 23913 (satake) R 23907 23909 3671 0 -1 4202560 29534 0 0 0 3351 20 0 0 25 0 5 0 1118874997 351248384 72855 4294967295 134512640 135180984 3220990752 3086184108 134706407 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=23909/tid=23914] ppid=23907 vsize=343016 CPUtime=39.48
/proc/23909/task/23914/stat : 23914 (satake) R 23907 23909 3671 0 -1 4202560 29254 0 0 0 3926 22 0 0 25 0 5 0 1118874997 351248384 72855 4294967295 134512640 135180984 3220990752 3086118768 134528065 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 103
Current children cumulated vsize (KiB) 343016

[startup+102.322 s]
/proc/loadavg: 5.26 5.19 5.17 7/109 24121
/proc/meminfo: memFree=1954908/3368532 swapFree=1954076/1959888
[pid=23909] ppid=23907 vsize=356780 CPUtime=205.02
/proc/23909/stat : 23909 (satake) S 23907 23909 3671 0 -1 4202496 98611 0 0 0 20401 101 0 0 20 0 5 0 1118874997 365342720 76201 4294967295 134512640 135180984 3220990752 3220990188 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/23909/statm: 89195 76201 68 164 0 89030 0
[pid=23909/tid=23910] ppid=23907 vsize=356780 CPUtime=0.47
/proc/23909/task/23910/stat : 23910 (satake) S 23907 23909 3671 0 -1 4202560 6675 0 0 0 19 28 0 0 15 0 5 0 1118874997 365342720 76201 4294967295 134512640 135180984 3220990752 3086315536 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=23909/tid=23912] ppid=23907 vsize=356780 CPUtime=62.95
/proc/23909/task/23912/stat : 23912 (satake) R 23907 23909 3671 0 -1 4202560 31398 0 0 0 6270 25 0 0 25 0 5 0 1118874997 365342720 76201 4294967295 134512640 135180984 3220990752 3086249776 134523791 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=23909/tid=23913] ppid=23907 vsize=356780 CPUtime=63.19
/proc/23909/task/23913/stat : 23913 (satake) R 23907 23909 3671 0 -1 4202560 30656 0 0 0 6295 24 0 0 25 0 5 0 1118874997 365342720 76201 4294967295 134512640 135180984 3220990752 3086184368 134532443 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=23909/tid=23914] ppid=23907 vsize=356780 CPUtime=78.41
/proc/23909/task/23914/stat : 23914 (satake) R 23907 23909 3671 0 -1 4202560 29771 0 0 0 7817 24 0 0 25 0 5 0 1118874997 365342720 76201 4294967295 134512640 135180984 3220990752 3086118760 134520873 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 205.02
Current children cumulated vsize (KiB) 356780

[startup+162.308 s]
/proc/loadavg: 5.38 5.24 5.19 7/109 24307
/proc/meminfo: memFree=1936588/3368532 swapFree=1954076/1959888
[pid=23909] ppid=23907 vsize=372432 CPUtime=324.37
/proc/23909/stat : 23909 (satake) S 23907 23909 3671 0 -1 4202496 103043 0 0 0 32310 127 0 0 20 0 5 0 1118874997 381370368 80633 4294967295 134512640 135180984 3220990752 3220990188 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/23909/statm: 93108 80633 68 164 0 92943 0
[pid=23909/tid=23910] ppid=23907 vsize=372432 CPUtime=0.67
/proc/23909/task/23910/stat : 23910 (satake) S 23907 23909 3671 0 -1 4202560 6756 0 0 0 24 43 0 0 16 0 5 0 1118874997 381370368 80633 4294967295 134512640 135180984 3220990752 3086315536 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=23909/tid=23912] ppid=23907 vsize=372432 CPUtime=97.54
/proc/23909/task/23912/stat : 23912 (satake) R 23907 23909 3671 0 -1 4202560 33028 0 0 0 9725 29 0 0 25 0 5 0 1118874997 381370368 80633 4294967295 134512640 135180984 3220990752 3086249840 134526660 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=23909/tid=23913] ppid=23907 vsize=372432 CPUtime=100.32
/proc/23909/task/23913/stat : 23913 (satake) R 23907 23909 3671 0 -1 4202560 32523 0 0 0 10005 27 0 0 25 0 5 0 1118874997 381370368 80633 4294967295 134512640 135180984 3220990752 3086184208 134525183 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=23909/tid=23914] ppid=23907 vsize=372432 CPUtime=125.84
/proc/23909/task/23914/stat : 23914 (satake) R 23907 23909 3671 0 -1 4202560 30625 0 0 0 12556 28 0 0 25 0 5 0 1118874997 381370368 80633 4294967295 134512640 135180984 3220990752 3086118560 134580407 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 324.37

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

[pid=23909/tid=23912] ppid=23907 vsize=487496 CPUtime=317.49
/proc/23909/task/23912/stat : 23912 (satake) R 23907 23909 3671 0 -1 4202560 43448 0 0 0 31705 44 0 0 25 0 5 0 1118874997 499195904 109105 4294967295 134512640 135180984 3220990752 3086249744 134525232 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=23909/tid=23913] ppid=23907 vsize=487496 CPUtime=325.91
/proc/23909/task/23913/stat : 23913 (satake) R 23907 23909 3671 0 -1 4202560 43998 0 0 0 32554 37 0 0 25 0 5 0 1118874997 499195904 109105 4294967295 134512640 135180984 3220990752 3086184108 134706407 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=23909/tid=23914] ppid=23907 vsize=487496 CPUtime=396.86
/proc/23909/task/23914/stat : 23914 (satake) R 23907 23909 3671 0 -1 4202560 37020 0 0 0 39640 46 0 0 25 0 5 0 1118874997 499195904 109105 4294967295 134512640 135180984 3220990752 3086118672 134525230 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1041.49
Current children cumulated vsize (KiB) 487496

[startup+582.309 s]
/proc/loadavg: 5.41 5.38 5.28 6/109 25629
/proc/meminfo: memFree=1797212/3368532 swapFree=1954076/1959888
[pid=23909] ppid=23907 vsize=507384 CPUtime=1161.05
/proc/23909/stat : 23909 (satake) S 23907 23909 3671 0 -1 4202496 136467 0 0 0 115886 219 0 0 20 0 5 0 1118874997 519561216 114057 4294967295 134512640 135180984 3220990752 3220990188 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/23909/statm: 126846 114057 68 164 0 126681 0
[pid=23909/tid=23910] ppid=23907 vsize=507384 CPUtime=1.31
/proc/23909/task/23910/stat : 23910 (satake) S 23907 23909 3671 0 -1 4202560 6942 0 0 0 44 87 0 0 15 0 5 0 1118874997 519561216 114057 4294967295 134512640 135180984 3220990752 3086315536 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=23909/tid=23912] ppid=23907 vsize=507384 CPUtime=357.53
/proc/23909/task/23912/stat : 23912 (satake) R 23907 23909 3671 0 -1 4202560 45289 0 0 0 35707 46 0 0 25 0 5 0 1118874997 519561216 114057 4294967295 134512640 135180984 3220990752 3086249832 134518227 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=23909/tid=23913] ppid=23907 vsize=507384 CPUtime=366.56
/proc/23909/task/23913/stat : 23913 (satake) R 23907 23909 3671 0 -1 4202560 45976 0 0 0 36618 38 0 0 25 0 5 0 1118874997 519561216 114057 4294967295 134512640 135180984 3220990752 3086184200 134519101 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=23909/tid=23914] ppid=23907 vsize=507384 CPUtime=435.65
/proc/23909/task/23914/stat : 23914 (satake) R 23907 23909 3671 0 -1 4202560 38149 0 0 0 43517 48 0 0 25 0 5 0 1118874997 519561216 114057 4294967295 134512640 135180984 3220990752 3086118572 134706407 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1161.05
Current children cumulated vsize (KiB) 507384

[startup+642.305 s]
/proc/loadavg: 5.47 5.41 5.29 7/109 25817
/proc/meminfo: memFree=1777612/3368532 swapFree=1954076/1959888
[pid=23909] ppid=23907 vsize=525872 CPUtime=1280.7
/proc/23909/stat : 23909 (satake) S 23907 23909 3671 0 -1 4202496 141031 0 0 0 127839 231 0 0 20 0 5 0 1118874997 538492928 118621 4294967295 134512640 135180984 3220990752 3220990188 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/23909/statm: 131468 118621 68 164 0 131303 0
[pid=23909/tid=23910] ppid=23907 vsize=525872 CPUtime=1.35
/proc/23909/task/23910/stat : 23910 (satake) S 23907 23909 3671 0 -1 4202560 6948 0 0 0 44 91 0 0 15 0 5 0 1118874997 538492928 118621 4294967295 134512640 135180984 3220990752 3086315536 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=23909/tid=23912] ppid=23907 vsize=525872 CPUtime=393.8
/proc/23909/task/23912/stat : 23912 (satake) R 23907 23909 3671 0 -1 4202560 47116 0 0 0 39330 50 0 0 25 0 5 0 1118874997 538492928 118621 4294967295 134512640 135180984 3220990752 3086249904 134532436 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=23909/tid=23913] ppid=23907 vsize=525872 CPUtime=407.14
/proc/23909/task/23913/stat : 23913 (satake) R 23907 23909 3671 0 -1 4202560 48067 0 0 0 40672 42 0 0 25 0 5 0 1118874997 538492928 118621 4294967295 134512640 135180984 3220990752 3086184304 134528211 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=23909/tid=23914] ppid=23907 vsize=525872 CPUtime=478.41
/proc/23909/task/23914/stat : 23914 (satake) R 23907 23909 3671 0 -1 4202560 38789 0 0 0 47793 48 0 0 25 0 5 0 1118874997 538492928 118621 4294967295 134512640 135180984 3220990752 3086118828 134532594 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1280.7
Current children cumulated vsize (KiB) 525872

[startup+702.311 s]
/proc/loadavg: 5.32 5.39 5.29 7/109 26005
/proc/meminfo: memFree=1757152/3368532 swapFree=1954076/1959888
[pid=23909] ppid=23907 vsize=545964 CPUtime=1400.37
/proc/23909/stat : 23909 (satake) S 23907 23909 3671 0 -1 4202496 146010 0 0 0 139798 239 0 0 20 0 5 0 1118874997 559067136 123600 4294967295 134512640 135180984 3220990752 3220990188 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/23909/statm: 136491 123600 68 164 0 136326 0
[pid=23909/tid=23910] ppid=23907 vsize=545964 CPUtime=1.4
/proc/23909/task/23910/stat : 23910 (satake) S 23907 23909 3671 0 -1 4202560 6962 0 0 0 47 93 0 0 15 0 5 0 1118874997 559067136 123600 4294967295 134512640 135180984 3220990752 3086315536 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=23909/tid=23912] ppid=23907 vsize=545964 CPUtime=432.85
/proc/23909/task/23912/stat : 23912 (satake) R 23907 23909 3671 0 -1 4202560 48714 0 0 0 43232 53 0 0 25 0 5 0 1118874997 559067136 123600 4294967295 134512640 135180984 3220990752 3086249644 134706407 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=23909/tid=23913] ppid=23907 vsize=545964 CPUtime=447.16
/proc/23909/task/23913/stat : 23913 (satake) R 23907 23909 3671 0 -1 4202560 50529 0 0 0 44673 43 0 0 25 0 5 0 1118874997 559067136 123600 4294967295 134512640 135180984 3220990752 3086184300 134523599 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=23909/tid=23914] ppid=23907 vsize=545964 CPUtime=518.96
/proc/23909/task/23914/stat : 23914 (satake) R 23907 23909 3671 0 -1 4202560 39694 0 0 0 51846 50 0 0 25 0 5 0 1118874997 559067136 123600 4294967295 134512640 135180984 3220990752 3086118768 134528065 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1400.37
Current children cumulated vsize (KiB) 545964

[startup+762.317 s]
/proc/loadavg: 5.32 5.39 5.29 7/109 26196
/proc/meminfo: memFree=1737344/3368532 swapFree=1954076/1959888
[pid=23909] ppid=23907 vsize=564732 CPUtime=1519.94
/proc/23909/stat : 23909 (satake) S 23907 23909 3671 0 -1 4202496 150738 0 0 0 151741 253 0 0 20 0 5 0 1118874997 578285568 128328 4294967295 134512640 135180984 3220990752 3220990188 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/23909/statm: 141183 128328 68 164 0 141018 0
[pid=23909/tid=23910] ppid=23907 vsize=564732 CPUtime=1.46
/proc/23909/task/23910/stat : 23910 (satake) S 23907 23909 3671 0 -1 4202560 6990 0 0 0 48 98 0 0 15 0 5 0 1118874997 578285568 128328 4294967295 134512640 135180984 3220990752 3086315536 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=23909/tid=23912] ppid=23907 vsize=564732 CPUtime=470.52
/proc/23909/task/23912/stat : 23912 (satake) R 23907 23909 3671 0 -1 4202560 50485 0 0 0 46996 56 0 0 25 0 5 0 1118874997 578285568 128328 4294967295 134512640 135180984 3220990752 3086249740 134522603 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=23909/tid=23913] ppid=23907 vsize=564732 CPUtime=484.73
/proc/23909/task/23913/stat : 23913 (satake) R 23907 23909 3671 0 -1 4202560 52476 0 0 0 48426 47 0 0 25 0 5 0 1118874997 578285568 128328 4294967295 134512640 135180984 3220990752 3086184208 134525399 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=23909/tid=23914] ppid=23907 vsize=564732 CPUtime=563.23
/proc/23909/task/23914/stat : 23914 (satake) R 23907 23909 3671 0 -1 4202560 40676 0 0 0 56271 52 0 0 25 0 5 0 1118874997 578285568 128328 4294967295 134512640 135180984 3220990752 3086118768 134528211 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1519.94
Current children cumulated vsize (KiB) 564732

[startup+822.303 s]
/proc/loadavg: 5.18 5.33 5.27 6/109 26393
/proc/meminfo: memFree=1724564/3368532 swapFree=1954076/1959888
[pid=23909] ppid=23907 vsize=576008 CPUtime=1639.42
/proc/23909/stat : 23909 (satake) S 23907 23909 3671 0 -1 4202496 153723 0 0 0 163683 259 0 0 20 0 5 0 1118874997 589832192 131313 4294967295 134512640 135180984 3220990752 3220990188 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/23909/statm: 144002 131313 68 164 0 143837 0
[pid=23909/tid=23910] ppid=23907 vsize=576008 CPUtime=1.48
/proc/23909/task/23910/stat : 23910 (satake) S 23907 23909 3671 0 -1 4202560 6993 0 0 0 48 100 0 0 15 0 5 0 1118874997 589832192 131313 4294967295 134512640 135180984 3220990752 3086315536 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=23909/tid=23912] ppid=23907 vsize=576008 CPUtime=507.88
/proc/23909/task/23912/stat : 23912 (satake) R 23907 23909 3671 0 -1 4202560 51830 0 0 0 50731 57 0 0 25 0 5 0 1118874997 589832192 131313 4294967295 134512640 135180984 3220990752 3086249832 134520863 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=23909/tid=23913] ppid=23907 vsize=576008 CPUtime=524.13
/proc/23909/task/23913/stat : 23913 (satake) R 23907 23909 3671 0 -1 4202560 53615 0 0 0 52365 48 0 0 25 0 5 0 1118874997 589832192 131313 4294967295 134512640 135180984 3220990752 3086184236 134518218 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=23909/tid=23914] ppid=23907 vsize=576008 CPUtime=605.93
/proc/23909/task/23914/stat : 23914 (satake) R 23907 23909 3671 0 -1 4202560 41174 0 0 0 60539 54 0 0 25 0 5 0 1118874997 589832192 131313 4294967295 134512640 135180984 3220990752 3086118704 134527645 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1639.42
Current children cumulated vsize (KiB) 576008

[startup+882.319 s]
/proc/loadavg: 5.26 5.33 5.27 6/109 26581
/proc/meminfo: memFree=1704832/3368532 swapFree=1954076/1959888
[pid=23909] ppid=23907 vsize=596016 CPUtime=1759.08
/proc/23909/stat : 23909 (satake) S 23907 23909 3671 0 -1 4202496 158540 0 0 0 175635 273 0 0 20 0 5 0 1118874997 610320384 136130 4294967295 134512640 135180984 3220990752 3220990188 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/23909/statm: 149004 136130 68 164 0 148839 0
[pid=23909/tid=23910] ppid=23907 vsize=596016 CPUtime=1.55
/proc/23909/task/23910/stat : 23910 (satake) S 23907 23909 3671 0 -1 4202560 7010 0 0 0 51 104 0 0 15 0 5 0 1118874997 610320384 136130 4294967295 134512640 135180984 3220990752 3086315536 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=23909/tid=23912] ppid=23907 vsize=596016 CPUtime=542.11
/proc/23909/task/23912/stat : 23912 (satake) R 23907 23909 3671 0 -1 4202560 53502 0 0 0 54150 61 0 0 25 0 5 0 1118874997 610320384 136130 4294967295 134512640 135180984 3220990752 3086249632 134580407 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=23909/tid=23913] ppid=23907 vsize=596016 CPUtime=566.32
/proc/23909/task/23913/stat : 23913 (satake) R 23907 23909 3671 0 -1 4202560 55622 0 0 0 56580 52 0 0 25 0 5 0 1118874997 610320384 136130 4294967295 134512640 135180984 3220990752 3086184368 134532445 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=23909/tid=23914] ppid=23907 vsize=596016 CPUtime=649.1
/proc/23909/task/23914/stat : 23914 (satake) R 23907 23909 3671 0 -1 4202560 42295 0 0 0 64854 56 0 0 25 0 5 0 1118874997 610320384 136130 4294967295 134512640 135180984 3220990752 3086118768 134528267 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1759.08
Current children cumulated vsize (KiB) 596016

[startup+942.315 s]
/proc/loadavg: 5.24 5.32 5.27 7/109 26769
/proc/meminfo: memFree=1686496/3368532 swapFree=1954076/1959888
[pid=23909] ppid=23907 vsize=612376 CPUtime=1878.78
/proc/23909/stat : 23909 (satake) S 23907 23909 3671 0 -1 4202496 162917 0 0 0 187590 288 0 0 20 0 5 0 1118874997 627073024 140507 4294967295 134512640 135180984 3220990752 3220990188 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/23909/statm: 153094 140507 68 164 0 152929 0
[pid=23909/tid=23910] ppid=23907 vsize=612376 CPUtime=1.62
/proc/23909/task/23910/stat : 23910 (satake) S 23907 23909 3671 0 -1 4202560 7019 0 0 0 53 109 0 0 15 0 5 0 1118874997 627073024 140507 4294967295 134512640 135180984 3220990752 3086315536 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=23909/tid=23912] ppid=23907 vsize=612376 CPUtime=577.63
/proc/23909/task/23912/stat : 23912 (satake) R 23907 23909 3671 0 -1 4202560 55220 0 0 0 57700 63 0 0 25 0 5 0 1118874997 627073024 140507 4294967295 134512640 135180984 3220990752 3086249832 134518227 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=23909/tid=23913] ppid=23907 vsize=612376 CPUtime=603.53
/proc/23909/task/23913/stat : 23913 (satake) R 23907 23909 3671 0 -1 4202560 57122 0 0 0 60297 56 0 0 25 0 5 0 1118874997 627073024 140507 4294967295 134512640 135180984 3220990752 3086184208 134524648 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=23909/tid=23914] ppid=23907 vsize=612376 CPUtime=696
/proc/23909/task/23914/stat : 23914 (satake) R 23907 23909 3671 0 -1 4202560 43445 0 0 0 69540 60 0 0 25 0 5 0 1118874997 627073024 140507 4294967295 134512640 135180984 3220990752 3086118640 134522706 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1878.78
Current children cumulated vsize (KiB) 612376



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.01 s]
/proc/loadavg: 5.26 5.32 5.27 6/109 26957
/proc/meminfo: memFree=1664400/3368532 swapFree=1954076/1959888
[pid=23909] ppid=23907 vsize=634188 CPUtime=1993.7
/proc/23909/stat : 23909 (satake) S 23907 23909 3671 0 -1 4202496 168179 0 0 0 199074 296 0 0 20 0 5 0 1118874997 649408512 145769 4294967295 134512640 135180984 3220990752 3220990188 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/23909/statm: 158547 145769 68 164 0 158382 0
[pid=23909/tid=23910] ppid=23907 vsize=634188 CPUtime=1.69
/proc/23909/task/23910/stat : 23910 (satake) S 23907 23909 3671 0 -1 4202560 7035 0 0 0 55 114 0 0 15 0 5 0 1118874997 649408512 145769 4294967295 134512640 135180984 3220990752 3086315536 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=23909/tid=23912] ppid=23907 vsize=634188 CPUtime=613.15
/proc/23909/task/23912/stat : 23912 (satake) R 23907 23909 3671 0 -1 4202560 57202 0 0 0 61251 64 0 0 25 0 5 0 1118874997 649408512 145769 4294967295 134512640 135180984 3220990752 3086249736 134519103 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=23909/tid=23913] ppid=23907 vsize=634188 CPUtime=638.21
/proc/23909/task/23913/stat : 23913 (satake) R 23907 23909 3671 0 -1 4202560 58738 0 0 0 63765 56 0 0 25 0 5 0 1118874997 649408512 145769 4294967295 134512640 135180984 3220990752 3086184136 134675767 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=23909/tid=23914] ppid=23907 vsize=634188 CPUtime=740.65
/proc/23909/task/23914/stat : 23914 (satake) R 23907 23909 3671 0 -1 4202560 45093 0 0 0 74003 62 0 0 25 0 5 0 1118874997 649408512 145769 4294967295 134512640 135180984 3220990752 3086118760 134520863 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1993.7
Current children cumulated vsize (KiB) 634188

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1000.07
CPU time (s): 1993.77
CPU user time (s): 1990.78
CPU system time (s): 2.99
CPU usage (%): 199.364
Max. virtual memory (cumulated for all children) (KiB): 634188

deleting IPC queue 11010048
deleting IPC queue 11042817
deleting IPC queue 11075586
deleting IPC queue 11108355
deleting IPC queue 11141124
deleting IPC queue 11173893
deleting IPC queue 11206662
deleting IPC queue 11239431
deleting IPC queue 11272200
deleting IPC queue 11304969
deleting IPC queue 11337738
deleting IPC queue 11370507
deleting IPC queue 11403276
deleting IPC queue 11436045
deleting IPC queue 11468814
deleting IPC queue 11501583

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1990.78
system time used= 2.99
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 168179
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= 380243
involuntary context switches= 369766

runsolver used 0 second user time and 0 second system time

The end

Launcher Data 

Begin job on tipi44 at 2009-05-30 03:42:16
IDJOB=1780375
IDBENCH=70996
IDSOLVER=629
FILE ID=tipi44/1780375-1243647736
PBS_JOBID=
Free space on /tmp= 15865 MiB

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

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

MD5SUM BENCH= 28e85fc2a4586943a0ffdffa15206b58
RANDOM SEED= 40511197

Linux tipi44 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.116
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.116
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.116
cache size	: 4096 KB
physical id	: 3
siblings	: 2
core id		: 0
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3990.14
clflush size	: 64

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.116
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.16
clflush size	: 64


/proc/meminfo:
MemTotal:      3368532 kB
MemFree:       2260688 kB
Buffers:        151660 kB
Cached:         692316 kB
SwapCached:       2180 kB
Active:         793096 kB
Inactive:       216672 kB
HighTotal:     2489216 kB
HighFree:      1632212 kB
LowTotal:       879316 kB
LowFree:        628476 kB
SwapTotal:     1959888 kB
SwapFree:      1954076 kB
Dirty:           32112 kB
Writeback:           0 kB
AnonPages:      165080 kB
Mapped:           5612 kB
Slab:            87484 kB
SReclaimable:    76948 kB
SUnreclaim:      10536 kB
PageTables:        736 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:   247924 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 15865 MiB
End job on tipi44 at 2009-05-30 03:59:01