Trace number 1775950

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) 1963.63 1000.05

General information on the benchmark

Nameindustrial/palacios/hard/
sortnet-8-ipc5-h18-unsat.cnf
MD5SUMb3381a58cbbd64d5d90a3b4fcd44bf6d
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 variables338487
Number of clauses1187589
Sum of the clauses size2886289
Maximum clause length57
Minimum clause length1
Number of clauses of size 1256
Number of clauses of size 2849854
Number of clauses of size 3326098
Number of clauses of size 4798
Number of clauses of size 5544
Number of clauses of size over 510039

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-1775950-1243634061/watcher-1775950-1243634061 -o /tmp/evaluation-result-1775950-1243634061/solver-1775950-1243634061 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1775950-1243634061.cnf 4 10000 

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


[startup+0 s]
/proc/loadavg: 6.18 6.45 6.34 6/112 32576
/proc/meminfo: memFree=3112472/3368532 swapFree=1953788/1959888
[pid=32575] ppid=32573 vsize=968 CPUtime=0
/proc/32575/stat : 32575 (satake) R 32573 32575 23155 0 -1 4202496 109 0 0 0 0 0 0 0 25 0 2 0 1128070347 991232 65 4294967295 134512640 135180984 3213808704 3213808048 134705812 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/32575/statm: 242 65 54 164 0 77 0
[pid=32575/tid=32576] ppid=32573 vsize=968 CPUtime=0
/proc/32575/task/32576/stat : 32576 (satake) R 32573 32575 23155 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 2 0 1128070347 991232 65 4294967295 134512640 135180984 3213808704 3086095172 134705812 0 0 0 0 0 0 0 -1 1 0 0 0

[startup+0.074873 s]
/proc/loadavg: 6.18 6.45 6.34 6/112 32576
/proc/meminfo: memFree=3112472/3368532 swapFree=1953788/1959888
[pid=32575] ppid=32573 vsize=56112 CPUtime=0.08
/proc/32575/stat : 32575 (satake) S 32573 32575 23155 0 -1 4202496 10290 0 0 0 1 7 0 0 25 0 5 0 1128070347 57458688 10246 4294967295 134512640 135180984 3213808704 3213808140 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/32575/statm: 14028 10246 63 164 0 13863 0
[pid=32575/tid=32576] ppid=32573 vsize=56112 CPUtime=0
/proc/32575/task/32576/stat : 32576 (satake) S 32573 32575 23155 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 5 0 1128070347 57458688 10246 4294967295 134512640 135180984 3213808704 3086094352 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 56112

[startup+0.105117 s]
/proc/loadavg: 6.18 6.45 6.34 6/112 32576
/proc/meminfo: memFree=3112472/3368532 swapFree=1953788/1959888
[pid=32575] ppid=32573 vsize=60644 CPUtime=0.11
/proc/32575/stat : 32575 (satake) S 32573 32575 23155 0 -1 4202496 10800 0 0 0 4 7 0 0 25 0 5 0 1128070347 62099456 10754 4294967295 134512640 135180984 3213808704 3213808140 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/32575/statm: 15161 10754 63 164 0 14996 0
[pid=32575/tid=32576] ppid=32573 vsize=60644 CPUtime=0
/proc/32575/task/32576/stat : 32576 (satake) S 32573 32575 23155 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 5 0 1128070347 62099456 10754 4294967295 134512640 135180984 3213808704 3086094352 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 60644

[startup+0.304851 s]
/proc/loadavg: 6.18 6.45 6.34 6/112 32576
/proc/meminfo: memFree=3112472/3368532 swapFree=1953788/1959888
[pid=32575] ppid=32573 vsize=80520 CPUtime=0.29
/proc/32575/stat : 32575 (satake) S 32573 32575 23155 0 -1 4202496 19402 0 0 0 15 14 0 0 25 0 5 0 1128070347 82452480 19356 4294967295 134512640 135180984 3213808704 3213808140 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/32575/statm: 20130 19356 63 164 0 19965 0
[pid=32575/tid=32576] ppid=32573 vsize=80520 CPUtime=0
/proc/32575/task/32576/stat : 32576 (satake) S 32573 32575 23155 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 5 0 1128070347 82452480 19356 4294967295 134512640 135180984 3213808704 3086094352 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 80520

[startup+0.704817 s]
/proc/loadavg: 6.18 6.45 6.34 6/112 32576
/proc/meminfo: memFree=3112472/3368532 swapFree=1953788/1959888
[pid=32575] ppid=32573 vsize=113320 CPUtime=0.69
/proc/32575/stat : 32575 (satake) S 32573 32575 23155 0 -1 4202496 26637 0 0 0 54 15 0 0 25 0 5 0 1128070347 116039680 26572 4294967295 134512640 135180984 3213808704 3213808140 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/32575/statm: 28330 26572 65 164 0 28165 0
[pid=32575/tid=32576] ppid=32573 vsize=113320 CPUtime=0
/proc/32575/task/32576/stat : 32576 (satake) S 32573 32575 23155 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 5 0 1128070347 116039680 26572 4294967295 134512640 135180984 3213808704 3086094352 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 113320

[startup+1.50475 s]
/proc/loadavg: 6.18 6.45 6.34 7/116 32580
/proc/meminfo: memFree=2985572/3368532 swapFree=1953788/1959888
[pid=32575] ppid=32573 vsize=187784 CPUtime=1.57
/proc/32575/stat : 32575 (satake) S 32573 32575 23155 0 -1 4202496 41699 0 0 0 138 19 0 0 25 0 5 0 1128070347 192290816 41616 4294967295 134512640 135180984 3213808704 3213808140 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/32575/statm: 46946 41616 63 164 0 46781 0
[pid=32575/tid=32576] ppid=32573 vsize=187784 CPUtime=0
/proc/32575/task/32576/stat : 32576 (satake) S 32573 32575 23155 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 5 0 1128070347 192290816 41616 4294967295 134512640 135180984 3213808704 3086094352 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=32575/tid=32578] ppid=32573 vsize=187784 CPUtime=0.65
/proc/32575/task/32578/stat : 32578 (satake) R 32573 32575 23155 0 -1 4202560 15943 0 0 0 57 8 0 0 25 0 5 0 1128070348 192290816 41616 4294967295 134512640 135180984 3213808704 3086028948 134579745 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=32575/tid=32579] ppid=32573 vsize=187784 CPUtime=0.43
/proc/32575/task/32579/stat : 32579 (satake) D 32573 32575 23155 0 -1 4202560 12389 0 0 0 40 3 0 0 25 0 5 0 1128070348 192290816 41616 4294967295 134512640 135180984 3213808704 3085963412 134579486 0 0 0 0 3223098951 0 0 -1 1 0 0 0
[pid=32575/tid=32580] ppid=32573 vsize=187784 CPUtime=0.49
/proc/32575/task/32580/stat : 32580 (satake) D 32573 32575 23155 0 -1 4202560 13248 0 0 0 41 8 0 0 25 0 5 0 1128070348 192290816 41616 4294967295 134512640 135180984 3213808704 3085897656 134869198 0 0 0 0 3223098951 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.57
Current children cumulated vsize (KiB) 187784

[startup+3.10462 s]
/proc/loadavg: 6.24 6.46 6.34 7/116 32580
/proc/meminfo: memFree=2908168/3368532 swapFree=1953788/1959888
[pid=32575] ppid=32573 vsize=318948 CPUtime=3.16
/proc/32575/stat : 32575 (satake) S 32573 32575 23155 0 -1 4202496 70539 0 0 0 290 26 0 0 25 0 5 0 1128070347 326602752 65086 4294967295 134512640 135180984 3213808704 3213808140 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/32575/statm: 79737 65086 66 164 0 79572 0
[pid=32575/tid=32576] ppid=32573 vsize=318948 CPUtime=0.09
/proc/32575/task/32576/stat : 32576 (satake) S 32573 32575 23155 0 -1 4202560 5989 0 0 0 6 3 0 0 18 0 5 0 1128070347 326602752 65086 4294967295 134512640 135180984 3213808704 3086094352 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=32575/tid=32578] ppid=32573 vsize=318948 CPUtime=1.27
/proc/32575/task/32578/stat : 32578 (satake) R 32573 32575 23155 0 -1 4202560 23432 0 0 0 119 8 0 0 25 0 5 0 1128070348 326602752 65087 4294967295 134512640 135180984 3213808704 3086028656 134528211 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=32575/tid=32579] ppid=32573 vsize=318948 CPUtime=0.92
/proc/32575/task/32579/stat : 32579 (satake) R 32573 32575 23155 0 -1 4202560 21061 0 0 0 87 5 0 0 25 0 5 0 1128070348 326602752 65087 4294967295 134512640 135180984 3213808704 3085963412 134579486 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=32575/tid=32580] ppid=32573 vsize=318948 CPUtime=0.89
/proc/32575/task/32580/stat : 32580 (satake) R 32573 32575 23155 0 -1 4202560 19946 0 0 0 79 10 0 0 23 0 5 0 1128070348 326602752 65087 4294967295 134512640 135180984 3213808704 3085898032 134535185 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3.16
Current children cumulated vsize (KiB) 318948

[startup+6.30436 s]
/proc/loadavg: 6.24 6.46 6.34 7/116 32580
/proc/meminfo: memFree=2867988/3368532 swapFree=1953788/1959888
[pid=32575] ppid=32573 vsize=292612 CPUtime=7.52
/proc/32575/stat : 32575 (satake) S 32573 32575 23155 0 -1 4202496 77535 0 0 0 724 28 0 0 25 0 5 0 1128070347 299634688 61342 4294967295 134512640 135180984 3213808704 3213808140 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/32575/statm: 73153 61342 68 164 0 72988 0
[pid=32575/tid=32576] ppid=32573 vsize=292612 CPUtime=0.09
/proc/32575/task/32576/stat : 32576 (satake) S 32573 32575 23155 0 -1 4202560 5991 0 0 0 6 3 0 0 15 0 5 0 1128070347 299634688 61342 4294967295 134512640 135180984 3213808704 3086094352 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=32575/tid=32578] ppid=32573 vsize=292612 CPUtime=3.24
/proc/32575/task/32578/stat : 32578 (satake) R 32573 32575 23155 0 -1 4202560 23697 0 0 0 316 8 0 0 25 0 5 0 1128070348 299634688 61342 4294967295 134512640 135180984 3213808704 3086028656 134528211 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=32575/tid=32579] ppid=32573 vsize=292612 CPUtime=2.15
/proc/32575/task/32579/stat : 32579 (satake) S 32573 32575 23155 0 -1 4202560 23876 0 0 0 209 6 0 0 25 0 5 0 1128070348 299634688 61342 4294967295 134512640 135180984 3213808704 3085962912 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=32575/tid=32580] ppid=32573 vsize=292612 CPUtime=2.04
/proc/32575/task/32580/stat : 32580 (satake) R 32573 32575 23155 0 -1 4202560 23859 0 0 0 193 11 0 0 25 0 5 0 1128070348 299634688 61342 4294967295 134512640 135180984 3213808704 3085897388 134706407 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 7.52
Current children cumulated vsize (KiB) 292612

[startup+12.7138 s]
/proc/loadavg: 6.21 6.45 6.34 8/116 32581
/proc/meminfo: memFree=2867524/3368532 swapFree=1953788/1959888
[pid=32575] ppid=32573 vsize=292876 CPUtime=16.36
/proc/32575/stat : 32575 (satake) S 32573 32575 23155 0 -1 4202496 77619 0 0 0 1608 28 0 0 25 0 5 0 1128070347 299905024 61426 4294967295 134512640 135180984 3213808704 3213808140 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/32575/statm: 73219 61426 68 164 0 73054 0
[pid=32575/tid=32576] ppid=32573 vsize=292876 CPUtime=0.09
/proc/32575/task/32576/stat : 32576 (satake) S 32573 32575 23155 0 -1 4202560 5997 0 0 0 6 3 0 0 15 0 5 0 1128070347 299905024 61426 4294967295 134512640 135180984 3213808704 3086094352 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=32575/tid=32578] ppid=32573 vsize=292876 CPUtime=6.28
/proc/32575/task/32578/stat : 32578 (satake) R 32573 32575 23155 0 -1 4202560 23721 0 0 0 620 8 0 0 25 0 5 0 1128070348 299905024 61426 4294967295 134512640 135180984 3213808704 3086028652 134518229 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=32575/tid=32579] ppid=32573 vsize=292876 CPUtime=5.43
/proc/32575/task/32579/stat : 32579 (satake) R 32573 32575 23155 0 -1 4202560 23906 0 0 0 537 6 0 0 25 0 5 0 1128070348 299905024 61426 4294967295 134512640 135180984 3213808704 3085963120 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=32575/tid=32580] ppid=32573 vsize=292876 CPUtime=4.56
/proc/32575/task/32580/stat : 32580 (satake) R 32573 32575 23155 0 -1 4202560 23883 0 0 0 445 11 0 0 25 0 5 0 1128070348 299905024 61426 4294967295 134512640 135180984 3213808704 3085897388 134706407 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 16.36
Current children cumulated vsize (KiB) 292876

[startup+25.5128 s]
/proc/loadavg: 6.02 6.40 6.32 7/116 32581
/proc/meminfo: memFree=2867240/3368532 swapFree=1953788/1959888
[pid=32575] ppid=32573 vsize=293140 CPUtime=30.53
/proc/32575/stat : 32575 (satake) S 32573 32575 23155 0 -1 4202496 77731 0 0 0 3025 28 0 0 25 0 5 0 1128070347 300175360 61538 4294967295 134512640 135180984 3213808704 3213808140 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/32575/statm: 73285 61538 68 164 0 73120 0
[pid=32575/tid=32576] ppid=32573 vsize=293140 CPUtime=0.1
/proc/32575/task/32576/stat : 32576 (satake) S 32573 32575 23155 0 -1 4202560 6007 0 0 0 7 3 0 0 15 0 5 0 1128070347 300175360 61538 4294967295 134512640 135180984 3213808704 3086094356 134580588 0 0 0 0 3223036975 0 0 -1 0 0 0 0
[pid=32575/tid=32578] ppid=32573 vsize=293140 CPUtime=9.16
/proc/32575/task/32578/stat : 32578 (satake) R 32573 32575 23155 0 -1 4202560 23746 0 0 0 908 8 0 0 25 0 5 0 1128070348 300175360 61538 4294967295 134512640 135180984 3213808704 3086028460 134706407 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=32575/tid=32579] ppid=32573 vsize=293140 CPUtime=12.23
/proc/32575/task/32579/stat : 32579 (satake) R 32573 32575 23155 0 -1 4202560 23942 0 0 0 1217 6 0 0 19 0 5 0 1128070348 300175360 61538 4294967295 134512640 135180984 3213808704 3085963136 134532624 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=32575/tid=32580] ppid=32573 vsize=293140 CPUtime=9.04
/proc/32575/task/32580/stat : 32580 (satake) R 32573 32575 23155 0 -1 4202560 23924 0 0 0 893 11 0 0 25 0 5 0 1128070348 300175360 61538 4294967295 134512640 135180984 3213808704 3085897576 134518230 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 30.53
Current children cumulated vsize (KiB) 293140

[startup+51.1106 s]
/proc/loadavg: 6.03 6.36 6.31 7/116 32585
/proc/meminfo: memFree=2865148/3368532 swapFree=1953788/1959888
[pid=32575] ppid=32573 vsize=294992 CPUtime=69.25
/proc/32575/stat : 32575 (satake) S 32573 32575 23155 0 -1 4202496 78251 0 0 0 6891 34 0 0 25 0 5 0 1128070347 302071808 62058 4294967295 134512640 135180984 3213808704 3213808140 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/32575/statm: 73748 62058 68 164 0 73583 0
[pid=32575/tid=32576] ppid=32573 vsize=294992 CPUtime=0.16
/proc/32575/task/32576/stat : 32576 (satake) S 32573 32575 23155 0 -1 4202560 6032 0 0 0 10 6 0 0 16 0 5 0 1128070347 302071808 62058 4294967295 134512640 135180984 3213808704 3086094356 134580588 0 0 0 0 3223036975 0 0 -1 0 0 0 0
[pid=32575/tid=32578] ppid=32573 vsize=294992 CPUtime=23.35
/proc/32575/task/32578/stat : 32578 (satake) R 32573 32575 23155 0 -1 4202560 23938 0 0 0 2326 9 0 0 25 0 5 0 1128070348 302071808 62058 4294967295 134512640 135180984 3213808704 3086028460 134706407 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=32575/tid=32579] ppid=32573 vsize=294992 CPUtime=26.64
/proc/32575/task/32579/stat : 32579 (satake) R 32573 32575 23155 0 -1 4202560 24157 0 0 0 2656 8 0 0 25 0 5 0 1128070348 302071808 62058 4294967295 134512640 135180984 3213808704 3085963112 134520863 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=32575/tid=32580] ppid=32573 vsize=294992 CPUtime=19.1
/proc/32575/task/32580/stat : 32580 (satake) R 32573 32575 23155 0 -1 4202560 24012 0 0 0 1899 11 0 0 25 0 5 0 1128070348 302071808 62058 4294967295 134512640 135180984 3213808704 3085897584 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 69.25
Current children cumulated vsize (KiB) 294992

[startup+102.316 s]
/proc/loadavg: 6.31 6.40 6.33 7/116 302
/proc/meminfo: memFree=2860784/3368532 swapFree=1953788/1959888
[pid=32575] ppid=32573 vsize=299804 CPUtime=171.44
/proc/32575/stat : 32575 (satake) S 32573 32575 23155 0 -1 4202496 79342 0 0 0 17093 51 0 0 25 0 5 0 1128070347 306999296 63149 4294967295 134512640 135180984 3213808704 3213808140 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/32575/statm: 74951 63149 68 164 0 74786 0
[pid=32575/tid=32576] ppid=32573 vsize=299804 CPUtime=0.27
/proc/32575/task/32576/stat : 32576 (satake) S 32573 32575 23155 0 -1 4202560 6116 0 0 0 13 14 0 0 15 0 5 0 1128070347 306999296 63149 4294967295 134512640 135180984 3213808704 3086094352 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=32575/tid=32578] ppid=32573 vsize=299804 CPUtime=53.5
/proc/32575/task/32578/stat : 32578 (satake) R 32573 32575 23155 0 -1 4202560 24248 0 0 0 5340 10 0 0 25 0 5 0 1128070348 306999296 63149 4294967295 134512640 135180984 3213808704 3086028648 134520863 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=32575/tid=32579] ppid=32573 vsize=299804 CPUtime=62.96
/proc/32575/task/32579/stat : 32579 (satake) R 32573 32575 23155 0 -1 4202560 24612 0 0 0 6284 12 0 0 25 0 5 0 1128070348 306999296 63149 4294967295 134512640 135180984 3213808704 3085963184 134532445 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=32575/tid=32580] ppid=32573 vsize=299804 CPUtime=54.71
/proc/32575/task/32580/stat : 32580 (satake) R 32573 32575 23155 0 -1 4202560 24254 0 0 0 5456 15 0 0 25 0 5 0 1128070348 306999296 63149 4294967295 134512640 135180984 3213808704 3085897576 134520863 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 171.44
Current children cumulated vsize (KiB) 299804

[startup+162.311 s]
/proc/loadavg: 6.26 6.37 6.32 7/116 491
/proc/meminfo: memFree=2854980/3368532 swapFree=1953788/1959888
[pid=32575] ppid=32573 vsize=305720 CPUtime=291.14
/proc/32575/stat : 32575 (satake) S 32573 32575 23155 0 -1 4202496 80686 0 0 0 29054 60 0 0 25 0 5 0 1128070347 313057280 64493 4294967295 134512640 135180984 3213808704 3213808140 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/32575/statm: 76430 64493 68 164 0 76265 0
[pid=32575/tid=32576] ppid=32573 vsize=305720 CPUtime=0.35
/proc/32575/task/32576/stat : 32576 (satake) S 32573 32575 23155 0 -1 4202560 6179 0 0 0 18 17 0 0 16 0 5 0 1128070347 313057280 64493 4294967295 134512640 135180984 3213808704 3086094356 134580588 0 0 0 0 3223036975 0 0 -1 1 0 0 0
[pid=32575/tid=32578] ppid=32573 vsize=305720 CPUtime=90.55
/proc/32575/task/32578/stat : 32578 (satake) R 32573 32575 23155 0 -1 4202560 24632 0 0 0 9045 10 0 0 25 0 5 0 1128070348 313057280 64493 4294967295 134512640 135180984 3213808704 3086028648 134520863 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=32575/tid=32579] ppid=32573 vsize=305720 CPUtime=107.5
/proc/32575/task/32579/stat : 32579 (satake) R 32573 32575 23155 0 -1 4202560 25268 0 0 0 10734 16 0 0 25 0 5 0 1128070348 313057280 64493 4294967295 134512640 135180984 3213808704 3085963116 134518218 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=32575/tid=32580] ppid=32573 vsize=305720 CPUtime=92.74
/proc/32575/task/32580/stat : 32580 (satake) R 32573 32575 23155 0 -1 4202560 24495 0 0 0 9257 17 0 0 25 0 5 0 1128070348 313057280 64493 4294967295 134512640 135180984 3213808704 3085897388 134706407 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 291.14

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

[pid=32575/tid=32578] ppid=32573 vsize=349412 CPUtime=353.98
/proc/32575/task/32578/stat : 32578 (satake) R 32573 32575 23155 0 -1 4202560 27651 0 0 0 35377 21 0 0 25 0 5 0 1128070348 357797888 75629 4294967295 134512640 135180984 3213808704 3086028648 134520863 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=32575/tid=32579] ppid=32573 vsize=349412 CPUtime=340.98
/proc/32575/task/32579/stat : 32579 (satake) R 32573 32575 23155 0 -1 4202560 29222 0 0 0 34067 31 0 0 25 0 5 0 1128070348 357797888 75629 4294967295 134512640 135180984 3213808704 3085963120 134528211 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=32575/tid=32580] ppid=32573 vsize=349412 CPUtime=313.92
/proc/32575/task/32580/stat : 32580 (satake) R 32573 32575 23155 0 -1 4202560 28242 0 0 0 31367 25 0 0 25 0 5 0 1128070348 357797888 75629 4294967295 134512640 135180984 3213808704 3085897388 134706407 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1009.82
Current children cumulated vsize (KiB) 349412

[startup+582.307 s]
/proc/loadavg: 6.76 6.67 6.47 8/116 1824
/proc/meminfo: memFree=2804532/3368532 swapFree=1953788/1959888
[pid=32575] ppid=32573 vsize=355856 CPUtime=1129.57
/proc/32575/stat : 32575 (satake) S 32573 32575 23155 0 -1 4202496 93109 0 0 0 112814 143 0 0 25 0 5 0 1128070347 364396544 76916 4294967295 134512640 135180984 3213808704 3213808140 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/32575/statm: 88964 76916 68 164 0 88799 0
[pid=32575/tid=32576] ppid=32573 vsize=355856 CPUtime=1.02
/proc/32575/task/32576/stat : 32576 (satake) S 32573 32575 23155 0 -1 4202560 6677 0 0 0 39 63 0 0 15 0 5 0 1128070347 364396544 76916 4294967295 134512640 135180984 3213808704 3086094352 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=32575/tid=32578] ppid=32573 vsize=355856 CPUtime=394.13
/proc/32575/task/32578/stat : 32578 (satake) R 32573 32575 23155 0 -1 4202560 27860 0 0 0 39391 22 0 0 25 0 5 0 1128070348 364396544 76916 4294967295 134512640 135180984 3213808704 3086028556 134520901 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=32575/tid=32579] ppid=32573 vsize=355856 CPUtime=381.13
/proc/32575/task/32579/stat : 32579 (satake) R 32573 32575 23155 0 -1 4202560 29895 0 0 0 38081 32 0 0 25 0 5 0 1128070348 364396544 76916 4294967295 134512640 135180984 3213808704 3085963136 134532624 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=32575/tid=32580] ppid=32573 vsize=355856 CPUtime=353.29
/proc/32575/task/32580/stat : 32580 (satake) R 32573 32575 23155 0 -1 4202560 28565 0 0 0 35303 26 0 0 25 0 5 0 1128070348 364396544 76916 4294967295 134512640 135180984 3213808704 3085897648 134532451 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1129.57
Current children cumulated vsize (KiB) 355856

[startup+642.312 s]
/proc/loadavg: 6.69 6.67 6.48 7/116 2011
/proc/meminfo: memFree=2801900/3368532 swapFree=1953788/1959888
[pid=32575] ppid=32573 vsize=358496 CPUtime=1249.38
/proc/32575/stat : 32575 (satake) S 32573 32575 23155 0 -1 4202496 93874 0 0 0 124783 155 0 0 25 0 5 0 1128070347 367099904 77681 4294967295 134512640 135180984 3213808704 3213808140 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/32575/statm: 89624 77681 68 164 0 89459 0
[pid=32575/tid=32576] ppid=32573 vsize=358496 CPUtime=1.11
/proc/32575/task/32576/stat : 32576 (satake) S 32573 32575 23155 0 -1 4202560 6743 0 0 0 42 69 0 0 15 0 5 0 1128070347 367099904 77681 4294967295 134512640 135180984 3213808704 3086094352 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=32575/tid=32578] ppid=32573 vsize=358496 CPUtime=437.16
/proc/32575/task/32578/stat : 32578 (satake) R 32573 32575 23155 0 -1 4202560 28055 0 0 0 43690 26 0 0 25 0 5 0 1128070348 367099904 77681 4294967295 134512640 135180984 3213808704 3086028656 134528211 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=32575/tid=32579] ppid=32573 vsize=358496 CPUtime=421.73
/proc/32575/task/32579/stat : 32579 (satake) R 32573 32575 23155 0 -1 4202560 30154 0 0 0 42140 33 0 0 25 0 5 0 1128070348 367099904 77681 4294967295 134512640 135180984 3213808704 3085963120 134528237 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=32575/tid=32580] ppid=32573 vsize=358496 CPUtime=389.38
/proc/32575/task/32580/stat : 32580 (satake) R 32573 32575 23155 0 -1 4202560 28810 0 0 0 38911 27 0 0 25 0 5 0 1128070348 367099904 77681 4294967295 134512640 135180984 3213808704 3085897584 134526384 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1249.38
Current children cumulated vsize (KiB) 358496

[startup+702.307 s]
/proc/loadavg: 6.51 6.61 6.46 8/116 2198
/proc/meminfo: memFree=2797588/3368532 swapFree=1953788/1959888
[pid=32575] ppid=32573 vsize=361400 CPUtime=1369.2
/proc/32575/stat : 32575 (satake) S 32573 32575 23155 0 -1 4202496 94704 0 0 0 136755 165 0 0 25 0 5 0 1128070347 370073600 78511 4294967295 134512640 135180984 3213808704 3213808140 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/32575/statm: 90350 78511 68 164 0 90185 0
[pid=32575/tid=32576] ppid=32573 vsize=361400 CPUtime=1.21
/proc/32575/task/32576/stat : 32576 (satake) S 32573 32575 23155 0 -1 4202560 6803 0 0 0 43 78 0 0 15 0 5 0 1128070347 370073600 78511 4294967295 134512640 135180984 3213808704 3086094352 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=32575/tid=32578] ppid=32573 vsize=361400 CPUtime=472.75
/proc/32575/task/32578/stat : 32578 (satake) R 32573 32575 23155 0 -1 4202560 28242 0 0 0 47249 26 0 0 25 0 5 0 1128070348 370073600 78511 4294967295 134512640 135180984 3213808704 3086028720 134532451 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=32575/tid=32579] ppid=32573 vsize=361400 CPUtime=461.58
/proc/32575/task/32579/stat : 32579 (satake) R 32573 32575 23155 0 -1 4202560 30436 0 0 0 46124 34 0 0 25 0 5 0 1128070348 370073600 78511 4294967295 134512640 135180984 3213808704 3085963120 134528644 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=32575/tid=32580] ppid=32573 vsize=361400 CPUtime=433.66
/proc/32575/task/32580/stat : 32580 (satake) R 32573 32575 23155 0 -1 4202560 29111 0 0 0 43339 27 0 0 25 0 5 0 1128070348 370073600 78511 4294967295 134512640 135180984 3213808704 3085897584 134528211 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1369.2
Current children cumulated vsize (KiB) 361400

[startup+762.322 s]
/proc/loadavg: 6.61 6.60 6.47 7/116 2391
/proc/meminfo: memFree=2793272/3368532 swapFree=1953788/1959888
[pid=32575] ppid=32573 vsize=366532 CPUtime=1489.06
/proc/32575/stat : 32575 (satake) S 32573 32575 23155 0 -1 4202496 95910 0 0 0 148735 171 0 0 25 0 5 0 1128070347 375328768 79717 4294967295 134512640 135180984 3213808704 3213808140 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/32575/statm: 91633 79717 68 164 0 91468 0
[pid=32575/tid=32576] ppid=32573 vsize=366532 CPUtime=1.29
/proc/32575/task/32576/stat : 32576 (satake) S 32573 32575 23155 0 -1 4202560 6869 0 0 0 46 83 0 0 15 0 5 0 1128070347 375328768 79717 4294967295 134512640 135180984 3213808704 3086094352 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=32575/tid=32578] ppid=32573 vsize=366532 CPUtime=513.64
/proc/32575/task/32578/stat : 32578 (satake) R 32573 32575 23155 0 -1 4202560 28453 0 0 0 51337 27 0 0 25 0 5 0 1128070348 375328768 79717 4294967295 134512640 135180984 3213808704 3086028656 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=32575/tid=32579] ppid=32573 vsize=366532 CPUtime=498.33
/proc/32575/task/32579/stat : 32579 (satake) R 32573 32575 23155 0 -1 4202560 30749 0 0 0 49799 34 0 0 25 0 5 0 1128070348 375328768 79717 4294967295 134512640 135180984 3213808704 3085963120 134528918 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=32575/tid=32580] ppid=32573 vsize=366532 CPUtime=475.8
/proc/32575/task/32580/stat : 32580 (satake) R 32573 32575 23155 0 -1 4202560 29727 0 0 0 47553 27 0 0 25 0 5 0 1128070348 375328768 79717 4294967295 134512640 135180984 3213808704 3085897472 134522980 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1489.06
Current children cumulated vsize (KiB) 366532

[startup+822.317 s]
/proc/loadavg: 6.54 6.58 6.46 8/116 2582
/proc/meminfo: memFree=2789620/3368532 swapFree=1953788/1959888
[pid=32575] ppid=32573 vsize=370724 CPUtime=1608.83
/proc/32575/stat : 32575 (satake) S 32573 32575 23155 0 -1 4202496 96866 0 0 0 160696 187 0 0 25 0 5 0 1128070347 379621376 80673 4294967295 134512640 135180984 3213808704 3213808140 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/32575/statm: 92681 80673 68 164 0 92516 0
[pid=32575/tid=32576] ppid=32573 vsize=370724 CPUtime=1.38
/proc/32575/task/32576/stat : 32576 (satake) S 32573 32575 23155 0 -1 4202560 6935 0 0 0 47 91 0 0 15 0 5 0 1128070347 379621376 80673 4294967295 134512640 135180984 3213808704 3086094352 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=32575/tid=32578] ppid=32573 vsize=370724 CPUtime=550.52
/proc/32575/task/32578/stat : 32578 (satake) R 32573 32575 23155 0 -1 4202560 28679 0 0 0 55024 28 0 0 25 0 5 0 1128070348 379621376 80673 4294967295 134512640 135180984 3213808704 3086028656 134528680 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=32575/tid=32579] ppid=32573 vsize=370724 CPUtime=539.52
/proc/32575/task/32579/stat : 32579 (satake) R 32573 32575 23155 0 -1 4202560 31087 0 0 0 53913 39 0 0 25 0 5 0 1128070348 379621376 80673 4294967295 134512640 135180984 3213808704 3085963120 134528267 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=32575/tid=32580] ppid=32573 vsize=370724 CPUtime=517.41
/proc/32575/task/32580/stat : 32580 (satake) R 32573 32575 23155 0 -1 4202560 30053 0 0 0 51712 29 0 0 25 0 5 0 1128070348 379621376 80673 4294967295 134512640 135180984 3213808704 3085897600 134532624 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1608.83
Current children cumulated vsize (KiB) 370724

[startup+882.312 s]
/proc/loadavg: 6.84 6.65 6.49 7/116 2777
/proc/meminfo: memFree=2784420/3368532 swapFree=1953788/1959888
[pid=32575] ppid=32573 vsize=374684 CPUtime=1728.64
/proc/32575/stat : 32575 (satake) S 32573 32575 23155 0 -1 4202496 98032 0 0 0 172668 196 0 0 25 0 5 0 1128070347 383676416 81839 4294967295 134512640 135180984 3213808704 3213808140 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/32575/statm: 93671 81839 68 164 0 93506 0
[pid=32575/tid=32576] ppid=32573 vsize=374684 CPUtime=1.5
/proc/32575/task/32576/stat : 32576 (satake) S 32573 32575 23155 0 -1 4202560 7009 0 0 0 53 97 0 0 15 0 5 0 1128070347 383676416 81839 4294967295 134512640 135180984 3213808704 3086094352 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=32575/tid=32578] ppid=32573 vsize=374684 CPUtime=587.29
/proc/32575/task/32578/stat : 32578 (satake) R 32573 32575 23155 0 -1 4202560 29049 0 0 0 58700 29 0 0 25 0 5 0 1128070348 383676416 81839 4294967295 134512640 135180984 3213808704 3086028656 134528211 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=32575/tid=32579] ppid=32573 vsize=374684 CPUtime=583.63
/proc/32575/task/32579/stat : 32579 (satake) R 32573 32575 23155 0 -1 4202560 31576 0 0 0 58324 39 0 0 25 0 5 0 1128070348 383676416 81839 4294967295 134512640 135180984 3213808704 3085963120 134528211 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=32575/tid=32580] ppid=32573 vsize=374684 CPUtime=556.22
/proc/32575/task/32580/stat : 32580 (satake) R 32573 32575 23155 0 -1 4202560 30286 0 0 0 55591 31 0 0 25 0 5 0 1128070348 383676416 81839 4294967295 134512640 135180984 3213808704 3085897584 134528267 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1728.64
Current children cumulated vsize (KiB) 374684

[startup+942.317 s]
/proc/loadavg: 6.94 6.68 6.51 7/116 2966
/proc/meminfo: memFree=2780832/3368532 swapFree=1953788/1959888
[pid=32575] ppid=32573 vsize=378612 CPUtime=1848.4
/proc/32575/stat : 32575 (satake) S 32573 32575 23155 0 -1 4202496 98910 0 0 0 184637 203 0 0 25 0 5 0 1128070347 387698688 82717 4294967295 134512640 135180984 3213808704 3213808140 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/32575/statm: 94653 82717 68 164 0 94488 0
[pid=32575/tid=32576] ppid=32573 vsize=378612 CPUtime=1.54
/proc/32575/task/32576/stat : 32576 (satake) S 32573 32575 23155 0 -1 4202560 7068 0 0 0 54 100 0 0 15 0 5 0 1128070347 387698688 82717 4294967295 134512640 135180984 3213808704 3086094352 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=32575/tid=32578] ppid=32573 vsize=378612 CPUtime=627.95
/proc/32575/task/32578/stat : 32578 (satake) R 32573 32575 23155 0 -1 4202560 29425 0 0 0 62765 30 0 0 25 0 5 0 1128070348 387698688 82717 4294967295 134512640 135180984 3213808704 3086028720 134532431 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=32575/tid=32579] ppid=32573 vsize=378612 CPUtime=626.41
/proc/32575/task/32579/stat : 32579 (satake) R 32573 32575 23155 0 -1 4202560 31832 0 0 0 62599 42 0 0 25 0 5 0 1128070348 387698688 82717 4294967295 134512640 135180984 3213808704 3085963120 134528267 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=32575/tid=32580] ppid=32573 vsize=378612 CPUtime=592.5
/proc/32575/task/32580/stat : 32580 (satake) R 32573 32575 23155 0 -1 4202560 30473 0 0 0 59219 31 0 0 25 0 5 0 1128070348 387698688 82717 4294967295 134512640 135180984 3213808704 3085897576 134520863 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1848.4
Current children cumulated vsize (KiB) 378612



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.01 s]
/proc/loadavg: 6.76 6.67 6.51 7/116 3154
/proc/meminfo: memFree=2777344/3368532 swapFree=1953788/1959888
[pid=32575] ppid=32573 vsize=382460 CPUtime=1963.57
/proc/32575/stat : 32575 (satake) S 32573 32575 23155 0 -1 4202496 99985 0 0 0 196153 204 0 0 25 0 5 0 1128070347 391639040 83792 4294967295 134512640 135180984 3213808704 3213808140 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/32575/statm: 95615 83792 68 164 0 95450 0
[pid=32575/tid=32576] ppid=32573 vsize=382460 CPUtime=1.6
/proc/32575/task/32576/stat : 32576 (satake) S 32573 32575 23155 0 -1 4202560 7118 0 0 0 60 100 0 0 15 0 5 0 1128070347 391639040 83792 4294967295 134512640 135180984 3213808704 3086094352 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=32575/tid=32578] ppid=32573 vsize=382460 CPUtime=659.17
/proc/32575/task/32578/stat : 32578 (satake) R 32573 32575 23155 0 -1 4202560 29729 0 0 0 65887 30 0 0 25 0 5 0 1128070348 391639040 83792 4294967295 134512640 135180984 3213808704 3086028656 134528267 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=32575/tid=32579] ppid=32573 vsize=382460 CPUtime=668.53
/proc/32575/task/32579/stat : 32579 (satake) R 32573 32575 23155 0 -1 4202560 32090 0 0 0 66811 42 0 0 25 0 5 0 1128070348 391639040 83792 4294967295 134512640 135180984 3213808704 3085963056 134523641 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=32575/tid=32580] ppid=32573 vsize=382460 CPUtime=634.27
/proc/32575/task/32580/stat : 32580 (satake) R 32573 32575 23155 0 -1 4202560 30936 0 0 0 63395 32 0 0 25 0 5 0 1128070348 391639040 83792 4294967295 134512640 135180984 3213808704 3085897584 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1963.57
Current children cumulated vsize (KiB) 382460

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.05
CPU time (s): 1963.63
CPU user time (s): 1961.57
CPU system time (s): 2.06
CPU usage (%): 196.353
Max. virtual memory (cumulated for all children) (KiB): 382460

deleting IPC queue 1572864
deleting IPC queue 1605633
deleting IPC queue 1638402
deleting IPC queue 1671171
deleting IPC queue 1703940
deleting IPC queue 1736709
deleting IPC queue 1769478
deleting IPC queue 1802247
deleting IPC queue 1835016
deleting IPC queue 1867785
deleting IPC queue 1900554
deleting IPC queue 1933323
deleting IPC queue 1966092
deleting IPC queue 1998861
deleting IPC queue 2031630
deleting IPC queue 2064399

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1961.57
system time used= 2.06
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 99985
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= 503140
involuntary context switches= 512487

runsolver used 0 second user time and 0 second system time

The end

Launcher Data 

Begin job on  at 2009-05-29 23:54:21
IDJOB=1775950
IDBENCH=20405
IDSOLVER=629
FILE ID=/1775950-1243634061
PBS_JOBID=
Free space on /tmp= 6456 MiB

SOLVER NAME= satake 2009-03-22 (4 threads)
BENCH NAME= SAT07/industrial/palacios/hard/sortnet-8-ipc5-h18-unsat.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1775950-1243634061/watcher-1775950-1243634061 -o /tmp/evaluation-result-1775950-1243634061/solver-1775950-1243634061 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1775950-1243634061.cnf 4 10000

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

MD5SUM BENCH= b3381a58cbbd64d5d90a3b4fcd44bf6d
RANDOM SEED= 160573633

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

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

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

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

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


/proc/meminfo:
MemTotal:      3368532 kB
MemFree:       3112472 kB
Buffers:         67968 kB
Cached:          80228 kB
SwapCached:       2256 kB
Active:         123712 kB
Inactive:        41256 kB
HighTotal:     2489216 kB
HighFree:      2390092 kB
LowTotal:       879316 kB
LowFree:        722380 kB
SwapTotal:     1959888 kB
SwapFree:      1953788 kB
Dirty:           22596 kB
Writeback:           0 kB
AnonPages:       15788 kB
Mapped:           5272 kB
Slab:            81052 kB
SReclaimable:    66748 kB
SUnreclaim:      14304 kB
PageTables:        668 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:   112668 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 6456 MiB
End job on  at 2009-05-30 00:11:05