Trace number 1779535

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

General information on the benchmark

NameAPPLICATIONS/crypto/
desgen/gss-21-s100.cnf
MD5SUMd34c45eae853ce60c342643824196dbf
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 variables31613
Number of clauses95104
Sum of the clauses size224206
Maximum clause length3
Minimum clause length1
Number of clauses of size 164
Number of clauses of size 260978
Number of clauses of size 334062
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-1779535-1243644375/watcher-1779535-1243644375 -o /tmp/evaluation-result-1779535-1243644375/solver-1779535-1243644375 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1779535-1243644375.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.49 5.48 5.36 6/114 3521
/proc/meminfo: memFree=3196976/3368532 swapFree=1954888/1959888
[pid=3520] ppid=3518 vsize=968 CPUtime=0
/proc/3520/stat : 3520 (satake) R 3518 3520 8716 0 -1 4202496 108 0 0 0 0 0 0 0 19 0 2 0 1129101506 991232 65 4294967295 134512640 135180984 3215853104 3215852448 134705812 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/3520/statm: 242 65 54 164 0 77 0
[pid=3520/tid=3521] ppid=3518 vsize=968 CPUtime=0
/proc/3520/task/3521/stat : 3521 (satake) R 3518 3520 8716 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 2 0 1129101506 991232 65 4294967295 134512640 135180984 3215853104 3086816068 134705812 0 0 0 0 0 0 0 -1 2 0 0 0

[startup+0.027913 s]
/proc/loadavg: 5.49 5.48 5.36 6/114 3521
/proc/meminfo: memFree=3196976/3368532 swapFree=1954888/1959888
[pid=3520] ppid=3518 vsize=7076 CPUtime=0.03
/proc/3520/stat : 3520 (satake) S 3518 3520 8716 0 -1 4202496 1558 0 0 0 2 1 0 0 19 0 5 0 1129101506 7245824 1506 4294967295 134512640 135180984 3215853104 3215852540 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/3520/statm: 1769 1506 63 164 0 1604 0
[pid=3520/tid=3521] ppid=3518 vsize=7076 CPUtime=0
/proc/3520/task/3521/stat : 3521 (satake) S 3518 3520 8716 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 5 0 1129101506 7245824 1506 4294967295 134512640 135180984 3215853104 3086815248 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 7076

[startup+0.107903 s]
/proc/loadavg: 5.49 5.48 5.36 6/114 3521
/proc/meminfo: memFree=3196976/3368532 swapFree=1954888/1959888
[pid=3520] ppid=3518 vsize=23108 CPUtime=0.15
/proc/3520/stat : 3520 (satake) S 3518 3520 8716 0 -1 4202496 5018 0 0 0 14 1 0 0 19 0 5 0 1129101506 23662592 4944 4294967295 134512640 135180984 3215853104 3215852540 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/3520/statm: 5777 4944 63 164 0 5612 0
[pid=3520/tid=3521] ppid=3518 vsize=23108 CPUtime=0
/proc/3520/task/3521/stat : 3521 (satake) S 3518 3520 8716 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 5 0 1129101506 23662592 4944 4294967295 134512640 135180984 3215853104 3086815248 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 23108

[startup+0.30789 s]
/proc/loadavg: 5.49 5.48 5.36 6/114 3521
/proc/meminfo: memFree=3196976/3368532 swapFree=1954888/1959888
[pid=3520] ppid=3518 vsize=24880 CPUtime=0.53
/proc/3520/stat : 3520 (satake) S 3518 3520 8716 0 -1 4202496 6557 0 0 0 51 2 0 0 19 0 5 0 1129101506 25477120 5349 4294967295 134512640 135180984 3215853104 3215852540 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/3520/statm: 6220 5349 68 164 0 6055 0
[pid=3520/tid=3521] ppid=3518 vsize=24880 CPUtime=0.01
/proc/3520/task/3521/stat : 3521 (satake) S 3518 3520 8716 0 -1 4202560 565 0 0 0 0 1 0 0 18 0 5 0 1129101506 25477120 5349 4294967295 134512640 135180984 3215853104 3086815248 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 24880

[startup+0.707853 s]
/proc/loadavg: 5.49 5.48 5.36 6/114 3521
/proc/meminfo: memFree=3196976/3368532 swapFree=1954888/1959888
[pid=3520] ppid=3518 vsize=25188 CPUtime=1.31
/proc/3520/stat : 3520 (satake) S 3518 3520 8716 0 -1 4202496 6645 0 0 0 129 2 0 0 19 0 5 0 1129101506 25792512 5437 4294967295 134512640 135180984 3215853104 3215852540 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/3520/statm: 6297 5437 68 164 0 6132 0
[pid=3520/tid=3521] ppid=3518 vsize=25188 CPUtime=0.01
/proc/3520/task/3521/stat : 3521 (satake) S 3518 3520 8716 0 -1 4202560 565 0 0 0 0 1 0 0 16 0 5 0 1129101506 25792512 5437 4294967295 134512640 135180984 3215853104 3086815248 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 25188

[startup+1.50778 s]
/proc/loadavg: 5.49 5.48 5.36 6/118 3529
/proc/meminfo: memFree=3175116/3368532 swapFree=1954888/1959888
[pid=3520] ppid=3518 vsize=25352 CPUtime=2.9
/proc/3520/stat : 3520 (satake) S 3518 3520 8716 0 -1 4202496 6671 0 0 0 288 2 0 0 19 0 5 0 1129101506 25960448 5463 4294967295 134512640 135180984 3215853104 3215852540 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/3520/statm: 6338 5463 68 164 0 6173 0
[pid=3520/tid=3521] ppid=3518 vsize=25352 CPUtime=0.01
/proc/3520/task/3521/stat : 3521 (satake) S 3518 3520 8716 0 -1 4202560 565 0 0 0 0 1 0 0 15 0 5 0 1129101506 25960448 5463 4294967295 134512640 135180984 3215853104 3086815248 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=3520/tid=3523] ppid=3518 vsize=25352 CPUtime=0.59
/proc/3520/task/3523/stat : 3523 (satake) R 3518 3520 8716 0 -1 4202560 2011 0 0 0 58 1 0 0 23 0 5 0 1129101506 25960448 5463 4294967295 134512640 135180984 3215853104 3086749552 134528866 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=3520/tid=3524] ppid=3518 vsize=25352 CPUtime=0.9
/proc/3520/task/3524/stat : 3524 (satake) R 3518 3520 8716 0 -1 4202560 2004 0 0 0 90 0 0 0 23 0 5 0 1129101506 25960448 5463 4294967295 134512640 135180984 3215853104 3086683808 134580407 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=3520/tid=3525] ppid=3518 vsize=25352 CPUtime=1.4
/proc/3520/task/3525/stat : 3525 (satake) R 3518 3520 8716 0 -1 4202560 1980 0 0 0 140 0 0 0 25 0 5 0 1129101506 25960448 5463 4294967295 134512640 135180984 3215853104 3086618416 134523692 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 25352

[startup+3.10765 s]
/proc/loadavg: 5.53 5.49 5.37 7/118 3529
/proc/meminfo: memFree=3174968/3368532 swapFree=1954888/1959888
[pid=3520] ppid=3518 vsize=25352 CPUtime=6.07
/proc/3520/stat : 3520 (satake) S 3518 3520 8716 0 -1 4202496 6689 0 0 0 603 4 0 0 19 0 5 0 1129101506 25960448 5481 4294967295 134512640 135180984 3215853104 3215852540 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/3520/statm: 6338 5481 68 164 0 6173 0
[pid=3520/tid=3521] ppid=3518 vsize=25352 CPUtime=0.02
/proc/3520/task/3521/stat : 3521 (satake) S 3518 3520 8716 0 -1 4202560 565 0 0 0 0 2 0 0 16 0 5 0 1129101506 25960448 5481 4294967295 134512640 135180984 3215853104 3086815252 134580588 0 0 0 0 3223036975 0 0 -1 0 0 0 0
[pid=3520/tid=3523] ppid=3518 vsize=25352 CPUtime=1.41
/proc/3520/task/3523/stat : 3523 (satake) R 3518 3520 8716 0 -1 4202560 2012 0 0 0 140 1 0 0 25 0 5 0 1129101506 25960448 5481 4294967295 134512640 135180984 3215853104 3086749356 134706407 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=3520/tid=3524] ppid=3518 vsize=25352 CPUtime=1.68
/proc/3520/task/3524/stat : 3524 (satake) R 3518 3520 8716 0 -1 4202560 2017 0 0 0 168 0 0 0 25 0 5 0 1129101506 25960448 5481 4294967295 134512640 135180984 3215853104 3086683948 134523868 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=3520/tid=3525] ppid=3518 vsize=25352 CPUtime=2.96
/proc/3520/task/3525/stat : 3525 (satake) R 3518 3520 8716 0 -1 4202560 1984 0 0 0 295 1 0 0 25 0 5 0 1129101506 25960448 5481 4294967295 134512640 135180984 3215853104 3086618368 134522972 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.07
Current children cumulated vsize (KiB) 25352

[startup+6.30737 s]
/proc/loadavg: 5.53 5.49 5.37 7/118 3533
/proc/meminfo: memFree=3174708/3368532 swapFree=1954888/1959888
[pid=3520] ppid=3518 vsize=25484 CPUtime=12.44
/proc/3520/stat : 3520 (satake) S 3518 3520 8716 0 -1 4202496 6743 0 0 0 1239 5 0 0 19 0 5 0 1129101506 26095616 5535 4294967295 134512640 135180984 3215853104 3215852540 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/3520/statm: 6371 5535 68 164 0 6206 0
[pid=3520/tid=3521] ppid=3518 vsize=25484 CPUtime=0.02
/proc/3520/task/3521/stat : 3521 (satake) S 3518 3520 8716 0 -1 4202560 572 0 0 0 0 2 0 0 15 0 5 0 1129101506 26095616 5535 4294967295 134512640 135180984 3215853104 3086815252 134580588 0 0 0 0 3223036975 0 0 -1 0 0 0 0
[pid=3520/tid=3523] ppid=3518 vsize=25484 CPUtime=2.96
/proc/3520/task/3523/stat : 3523 (satake) R 3518 3520 8716 0 -1 4202560 2020 0 0 0 295 1 0 0 25 0 5 0 1129101506 26095616 5535 4294967295 134512640 135180984 3215853104 3086749488 134523751 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=3520/tid=3524] ppid=3518 vsize=25484 CPUtime=4.18
/proc/3520/task/3524/stat : 3524 (satake) R 3518 3520 8716 0 -1 4202560 2045 0 0 0 417 1 0 0 25 0 5 0 1129101506 26095616 5535 4294967295 134512640 135180984 3215853104 3086683808 134580407 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=3520/tid=3525] ppid=3518 vsize=25484 CPUtime=5.28
/proc/3520/task/3525/stat : 3525 (satake) R 3518 3520 8716 0 -1 4202560 1995 0 0 0 527 1 0 0 25 0 5 0 1129101506 26095616 5535 4294967295 134512640 135180984 3215853104 3086618480 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.44
Current children cumulated vsize (KiB) 25484

[startup+12.7068 s]
/proc/loadavg: 5.60 5.51 5.37 6/118 3736
/proc/meminfo: memFree=3173712/3368532 swapFree=1954888/1959888
[pid=3520] ppid=3518 vsize=25748 CPUtime=25.04
/proc/3520/stat : 3520 (satake) S 3518 3520 8716 0 -1 4202496 6919 0 0 0 2492 12 0 0 19 0 5 0 1129101506 26365952 5711 4294967295 134512640 135180984 3215853104 3215852540 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/3520/statm: 6437 5711 68 164 0 6272 0
[pid=3520/tid=3521] ppid=3518 vsize=25748 CPUtime=0.06
/proc/3520/task/3521/stat : 3521 (satake) S 3518 3520 8716 0 -1 4202560 602 0 0 0 0 6 0 0 15 0 5 0 1129101506 26365952 5711 4294967295 134512640 135180984 3215853104 3086815248 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=3520/tid=3523] ppid=3518 vsize=25748 CPUtime=6.55
/proc/3520/task/3523/stat : 3523 (satake) R 3518 3520 8716 0 -1 4202560 2045 0 0 0 654 1 0 0 25 0 5 0 1129101506 26365952 5711 4294967295 134512640 135180984 3215853104 3086749544 134520863 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3520/tid=3524] ppid=3518 vsize=25748 CPUtime=7.98
/proc/3520/task/3524/stat : 3524 (satake) R 3518 3520 8716 0 -1 4202560 2121 0 0 0 796 2 0 0 25 0 5 0 1129101506 26365952 5711 4294967295 134512640 135180984 3215853104 3086683888 134522980 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=3520/tid=3525] ppid=3518 vsize=25748 CPUtime=10.45
/proc/3520/task/3525/stat : 3525 (satake) R 3518 3520 8716 0 -1 4202560 2040 0 0 0 1042 3 0 0 25 0 5 0 1129101506 26365952 5711 4294967295 134512640 135180984 3215853104 3086618480 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.04
Current children cumulated vsize (KiB) 25748

[startup+25.5057 s]
/proc/loadavg: 5.73 5.54 5.38 6/118 3758
/proc/meminfo: memFree=3172528/3368532 swapFree=1954888/1959888
[pid=3520] ppid=3518 vsize=27300 CPUtime=50.39
/proc/3520/stat : 3520 (satake) S 3518 3520 8716 0 -1 4202496 7233 0 0 0 5015 24 0 0 19 0 5 0 1129101506 27955200 6025 4294967295 134512640 135180984 3215853104 3215852540 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/3520/statm: 6825 6025 68 164 0 6660 0
[pid=3520/tid=3521] ppid=3518 vsize=27300 CPUtime=0.16
/proc/3520/task/3521/stat : 3521 (satake) S 3518 3520 8716 0 -1 4202560 675 0 0 0 3 13 0 0 15 0 5 0 1129101506 27955200 6025 4294967295 134512640 135180984 3215853104 3086815248 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=3520/tid=3523] ppid=3518 vsize=27300 CPUtime=15.62
/proc/3520/task/3523/stat : 3523 (satake) R 3518 3520 8716 0 -1 4202560 2103 0 0 0 1558 4 0 0 25 0 5 0 1129101506 27955200 6025 4294967295 134512640 135180984 3215853104 3086749552 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=3520/tid=3524] ppid=3518 vsize=27300 CPUtime=15.23
/proc/3520/task/3524/stat : 3524 (satake) R 3518 3520 8716 0 -1 4202560 2244 0 0 0 1519 4 0 0 25 0 5 0 1129101506 27955200 6025 4294967295 134512640 135180984 3215853104 3086683888 134522980 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=3520/tid=3525] ppid=3518 vsize=27300 CPUtime=19.38
/proc/3520/task/3525/stat : 3525 (satake) R 3518 3520 8716 0 -1 4202560 2100 0 0 0 1935 3 0 0 25 0 5 0 1129101506 27955200 6025 4294967295 134512640 135180984 3215853104 3086618480 134528568 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.39
Current children cumulated vsize (KiB) 27300

[startup+51.1035 s]
/proc/loadavg: 5.56 5.51 5.38 6/118 3795
/proc/meminfo: memFree=3170260/3368532 swapFree=1954888/1959888
[pid=3520] ppid=3518 vsize=29528 CPUtime=101.05
/proc/3520/stat : 3520 (satake) S 3518 3520 8716 0 -1 4202496 7848 0 0 0 10065 40 0 0 19 0 5 0 1129101506 30236672 6640 4294967295 134512640 135180984 3215853104 3215852540 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/3520/statm: 7382 6640 68 164 0 7217 0
[pid=3520/tid=3521] ppid=3518 vsize=29528 CPUtime=0.3
/proc/3520/task/3521/stat : 3521 (satake) S 3518 3520 8716 0 -1 4202560 813 0 0 0 7 23 0 0 15 0 5 0 1129101506 30236672 6640 4294967295 134512640 135180984 3215853104 3086815248 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=3520/tid=3523] ppid=3518 vsize=29528 CPUtime=34.8
/proc/3520/task/3523/stat : 3523 (satake) R 3518 3520 8716 0 -1 4202560 2229 0 0 0 3471 9 0 0 25 0 5 0 1129101506 30236672 6640 4294967295 134512640 135180984 3215853104 3086749552 134528524 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=3520/tid=3524] ppid=3518 vsize=29528 CPUtime=29.24
/proc/3520/task/3524/stat : 3524 (satake) R 3518 3520 8716 0 -1 4202560 2456 0 0 0 2919 5 0 0 25 0 5 0 1129101506 30236672 6640 4294967295 134512640 135180984 3215853104 3086684008 134520909 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3520/tid=3525] ppid=3518 vsize=29528 CPUtime=36.71
/proc/3520/task/3525/stat : 3525 (satake) R 3518 3520 8716 0 -1 4202560 2239 0 0 0 3668 3 0 0 25 0 5 0 1129101506 30236672 6640 4294967295 134512640 135180984 3215853104 3086618480 134528954 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.05
Current children cumulated vsize (KiB) 29528

[startup+102.319 s]
/proc/loadavg: 5.57 5.52 5.38 7/118 4060
/proc/meminfo: memFree=3165012/3368532 swapFree=1954888/1959888
[pid=3520] ppid=3518 vsize=35172 CPUtime=202.34
/proc/3520/stat : 3520 (satake) S 3518 3520 8716 0 -1 4202496 9107 0 0 0 20143 91 0 0 19 0 5 0 1129101506 36016128 7899 4294967295 134512640 135180984 3215853104 3215852540 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/3520/statm: 8793 7899 68 164 0 8628 0
[pid=3520/tid=3521] ppid=3518 vsize=35172 CPUtime=0.67
/proc/3520/task/3521/stat : 3521 (satake) S 3518 3520 8716 0 -1 4202560 1096 0 0 0 20 47 0 0 15 0 5 0 1129101506 36016128 7899 4294967295 134512640 135180984 3215853104 3086815248 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=3520/tid=3523] ppid=3518 vsize=35172 CPUtime=69.95
/proc/3520/task/3523/stat : 3523 (satake) R 3518 3520 8716 0 -1 4202560 2444 0 0 0 6979 16 0 0 25 0 5 0 1129101506 36016128 7899 4294967295 134512640 135180984 3215853104 3086749544 134520863 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=3520/tid=3524] ppid=3518 vsize=35172 CPUtime=58.38
/proc/3520/task/3524/stat : 3524 (satake) R 3518 3520 8716 0 -1 4202560 2972 0 0 0 5821 17 0 0 25 0 5 0 1129101506 36016128 7899 4294967295 134512640 135180984 3215853104 3086683948 134518208 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3520/tid=3525] ppid=3518 vsize=35172 CPUtime=73.34
/proc/3520/task/3525/stat : 3525 (satake) R 3518 3520 8716 0 -1 4202560 2484 0 0 0 7323 11 0 0 25 0 5 0 1129101506 36016128 7899 4294967295 134512640 135180984 3215853104 3086618480 134528963 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 202.34
Current children cumulated vsize (KiB) 35172

[startup+162.314 s]
/proc/loadavg: 5.27 5.43 5.36 6/118 4334
/proc/meminfo: memFree=3159204/3368532 swapFree=1954888/1959888
[pid=3520] ppid=3518 vsize=41340 CPUtime=321.09
/proc/3520/stat : 3520 (satake) S 3518 3520 8716 0 -1 4202496 10492 0 0 0 31964 145 0 0 19 0 5 0 1129101506 42332160 9284 4294967295 134512640 135180984 3215853104 3215852540 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/3520/statm: 10335 9284 68 164 0 10170 0
[pid=3520/tid=3521] ppid=3518 vsize=41340 CPUtime=1.04
/proc/3520/task/3521/stat : 3521 (satake) S 3518 3520 8716 0 -1 4202560 1441 0 0 0 27 77 0 0 15 0 5 0 1129101506 42332160 9284 4294967295 134512640 135180984 3215853104 3086815252 134580588 0 0 0 0 3223036975 0 0 -1 0 0 0 0
[pid=3520/tid=3523] ppid=3518 vsize=41340 CPUtime=109.2
/proc/3520/task/3523/stat : 3523 (satake) R 3518 3520 8716 0 -1 4202560 2679 0 0 0 10899 21 0 0 25 0 5 0 1129101506 42332160 9284 4294967295 134512640 135180984 3215853104 3086749552 134528800 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=3520/tid=3524] ppid=3518 vsize=41340 CPUtime=95.05
/proc/3520/task/3524/stat : 3524 (satake) R 3518 3520 8716 0 -1 4202560 3499 0 0 0 9476 29 0 0 25 0 5 0 1129101506 42332160 9284 4294967295 134512640 135180984 3215853104 3086683820 134706407 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=3520/tid=3525] ppid=3518 vsize=41340 CPUtime=115.8
/proc/3520/task/3525/stat : 3525 (satake) R 3518 3520 8716 0 -1 4202560 2762 0 0 0 11562 18 0 0 25 0 5 0 1129101506 42332160 9284 4294967295 134512640 135180984 3215853104 3086618432 134527257 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 321.09

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

[pid=3520/tid=3523] ppid=3518 vsize=71620 CPUtime=346.76
/proc/3520/task/3523/stat : 3523 (satake) R 3518 3520 8716 0 -1 4202560 3980 0 0 0 34597 79 0 0 25 0 5 0 1129101506 73338880 16554 4294967295 134512640 135180984 3215853104 3086749552 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3520/tid=3524] ppid=3518 vsize=71620 CPUtime=331.79
/proc/3520/task/3524/stat : 3524 (satake) R 3518 3520 8716 0 -1 4202560 6338 0 0 0 33098 81 0 0 25 0 5 0 1129101506 73338880 16554 4294967295 134512640 135180984 3215853104 3086683820 134706407 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=3520/tid=3525] ppid=3518 vsize=71620 CPUtime=355.61
/proc/3520/task/3525/stat : 3525 (satake) R 3518 3520 8716 0 -1 4202560 4258 0 0 0 35491 70 0 0 25 0 5 0 1129101506 73338880 16554 4294967295 134512640 135180984 3215853104 3086618480 134528470 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1037.66
Current children cumulated vsize (KiB) 71620

[startup+582.308 s]
/proc/loadavg: 5.51 5.49 5.40 6/118 6270
/proc/meminfo: memFree=3126000/3368532 swapFree=1954888/1959888
[pid=3520] ppid=3518 vsize=76568 CPUtime=1157.65
/proc/3520/stat : 3520 (satake) S 3518 3520 8716 0 -1 4202496 19023 0 0 0 115222 543 0 0 19 0 5 0 1129101506 78405632 17815 4294967295 134512640 135180984 3215853104 3215852540 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/3520/statm: 19142 17815 68 164 0 18977 0
[pid=3520/tid=3521] ppid=3518 vsize=76568 CPUtime=3.95
/proc/3520/task/3521/stat : 3521 (satake) S 3518 3520 8716 0 -1 4202560 3325 0 0 0 108 287 0 0 15 0 5 0 1129101506 78405632 17815 4294967295 134512640 135180984 3215853104 3086815248 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=3520/tid=3523] ppid=3518 vsize=76568 CPUtime=391.6
/proc/3520/task/3523/stat : 3523 (satake) R 3518 3520 8716 0 -1 4202560 4167 0 0 0 39071 89 0 0 25 0 5 0 1129101506 78405632 17815 4294967295 134512640 135180984 3215853104 3086749552 134528543 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=3520/tid=3524] ppid=3518 vsize=76568 CPUtime=367.2
/proc/3520/task/3524/stat : 3524 (satake) R 3518 3520 8716 0 -1 4202560 6734 0 0 0 36631 89 0 0 25 0 5 0 1129101506 78405632 17815 4294967295 134512640 135180984 3215853104 3086683952 134523791 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3520/tid=3525] ppid=3518 vsize=76568 CPUtime=394.91
/proc/3520/task/3525/stat : 3525 (satake) R 3518 3520 8716 0 -1 4202560 4686 0 0 0 39413 78 0 0 25 0 5 0 1129101506 78405632 17815 4294967295 134512640 135180984 3215853104 3086618480 134528902 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1157.65
Current children cumulated vsize (KiB) 76568

[startup+642.303 s]
/proc/loadavg: 5.32 5.44 5.38 6/118 6551
/proc/meminfo: memFree=3122752/3368532 swapFree=1954888/1959888
[pid=3520] ppid=3518 vsize=79572 CPUtime=1276.68
/proc/3520/stat : 3520 (satake) S 3518 3520 8716 0 -1 4202496 19709 0 0 0 127085 583 0 0 19 0 5 0 1129101506 81481728 18501 4294967295 134512640 135180984 3215853104 3215852540 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/3520/statm: 19893 18501 68 164 0 19728 0
[pid=3520/tid=3521] ppid=3518 vsize=79572 CPUtime=4.24
/proc/3520/task/3521/stat : 3521 (satake) S 3518 3520 8716 0 -1 4202560 3496 0 0 0 117 307 0 0 15 0 5 0 1129101506 81481728 18501 4294967295 134512640 135180984 3215853104 3086815252 134580588 0 0 0 0 3223036975 0 0 -1 0 0 0 0
[pid=3520/tid=3523] ppid=3518 vsize=79572 CPUtime=436.82
/proc/3520/task/3523/stat : 3523 (satake) R 3518 3520 8716 0 -1 4202560 4273 0 0 0 43586 96 0 0 25 0 5 0 1129101506 81481728 18501 4294967295 134512640 135180984 3215853104 3086749520 134519935 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3520/tid=3524] ppid=3518 vsize=79572 CPUtime=402.92
/proc/3520/task/3524/stat : 3524 (satake) R 3518 3520 8716 0 -1 4202560 6980 0 0 0 40197 95 0 0 25 0 5 0 1129101506 81481728 18501 4294967295 134512640 135180984 3215853104 3086684016 134526240 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=3520/tid=3525] ppid=3518 vsize=79572 CPUtime=432.7
/proc/3520/task/3525/stat : 3525 (satake) R 3518 3520 8716 0 -1 4202560 4849 0 0 0 43185 85 0 0 25 0 5 0 1129101506 81481728 18501 4294967295 134512640 135180984 3215853104 3086618284 134706407 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1276.68
Current children cumulated vsize (KiB) 79572

[startup+702.317 s]
/proc/loadavg: 5.38 5.45 5.39 6/118 6828
/proc/meminfo: memFree=3120464/3368532 swapFree=1954888/1959888
[pid=3520] ppid=3518 vsize=81416 CPUtime=1396.35
/proc/3520/stat : 3520 (satake) S 3518 3520 8716 0 -1 4202496 20051 0 0 0 139013 622 0 0 19 0 5 0 1129101506 83369984 18843 4294967295 134512640 135180984 3215853104 3215852540 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/3520/statm: 20354 18843 68 164 0 20189 0
[pid=3520/tid=3521] ppid=3518 vsize=81416 CPUtime=4.49
/proc/3520/task/3521/stat : 3521 (satake) S 3518 3520 8716 0 -1 4202560 3596 0 0 0 125 324 0 0 15 0 5 0 1129101506 83369984 18843 4294967295 134512640 135180984 3215853104 3086815248 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=3520/tid=3523] ppid=3518 vsize=81416 CPUtime=481.92
/proc/3520/task/3523/stat : 3523 (satake) R 3518 3520 8716 0 -1 4202560 4413 0 0 0 48089 103 0 0 25 0 5 0 1129101506 83369984 18843 4294967295 134512640 135180984 3215853104 3086749504 134527313 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3520/tid=3524] ppid=3518 vsize=81416 CPUtime=440.13
/proc/3520/task/3524/stat : 3524 (satake) R 3518 3520 8716 0 -1 4202560 7008 0 0 0 43910 103 0 0 25 0 5 0 1129101506 83369984 18843 4294967295 134512640 135180984 3215853104 3086683888 134522694 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=3520/tid=3525] ppid=3518 vsize=81416 CPUtime=469.81
/proc/3520/task/3525/stat : 3525 (satake) R 3518 3520 8716 0 -1 4202560 4923 0 0 0 46889 92 0 0 25 0 5 0 1129101506 83369984 18843 4294967295 134512640 135180984 3215853104 3086618476 134518229 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1396.35
Current children cumulated vsize (KiB) 81416

[startup+762.312 s]
/proc/loadavg: 5.56 5.48 5.40 6/118 7102
/proc/meminfo: memFree=3118636/3368532 swapFree=1954888/1959888
[pid=3520] ppid=3518 vsize=85076 CPUtime=1515.42
/proc/3520/stat : 3520 (satake) S 3518 3520 8716 0 -1 4202496 20626 0 0 0 150877 665 0 0 19 0 5 0 1129101506 87117824 19418 4294967295 134512640 135180984 3215853104 3215852540 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/3520/statm: 21269 19418 68 164 0 21104 0
[pid=3520/tid=3521] ppid=3518 vsize=85076 CPUtime=4.76
/proc/3520/task/3521/stat : 3521 (satake) S 3518 3520 8716 0 -1 4202560 3720 0 0 0 128 348 0 0 15 0 5 0 1129101506 87117824 19418 4294967295 134512640 135180984 3215853104 3086815248 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=3520/tid=3523] ppid=3518 vsize=85076 CPUtime=517.66
/proc/3520/task/3523/stat : 3523 (satake) R 3518 3520 8716 0 -1 4202560 4720 0 0 0 51657 109 0 0 25 0 5 0 1129101506 87117824 19418 4294967295 134512640 135180984 3215853104 3086749544 134520667 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=3520/tid=3524] ppid=3518 vsize=85076 CPUtime=480.19
/proc/3520/task/3524/stat : 3524 (satake) R 3518 3520 8716 0 -1 4202560 7055 0 0 0 47909 110 0 0 25 0 5 0 1129101506 87117824 19418 4294967295 134512640 135180984 3215853104 3086684016 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3520/tid=3525] ppid=3518 vsize=85076 CPUtime=512.81
/proc/3520/task/3525/stat : 3525 (satake) R 3518 3520 8716 0 -1 4202560 5020 0 0 0 51183 98 0 0 25 0 5 0 1129101506 87117824 19418 4294967295 134512640 135180984 3215853104 3086618480 134528211 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1515.42
Current children cumulated vsize (KiB) 85076

[startup+822.307 s]
/proc/loadavg: 5.48 5.49 5.41 6/118 7378
/proc/meminfo: memFree=3115876/3368532 swapFree=1954888/1959888
[pid=3520] ppid=3518 vsize=89316 CPUtime=1635.74
/proc/3520/stat : 3520 (satake) S 3518 3520 8716 0 -1 4202496 21225 0 0 0 162862 712 0 0 19 0 5 0 1129101506 91459584 20017 4294967295 134512640 135180984 3215853104 3215852540 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/3520/statm: 22329 20017 68 164 0 22164 0
[pid=3520/tid=3521] ppid=3518 vsize=89316 CPUtime=5.12
/proc/3520/task/3521/stat : 3521 (satake) S 3518 3520 8716 0 -1 4202560 3945 0 0 0 142 370 0 0 15 0 5 0 1129101506 91459584 20017 4294967295 134512640 135180984 3215853104 3086815248 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=3520/tid=3523] ppid=3518 vsize=89316 CPUtime=559.29
/proc/3520/task/3523/stat : 3523 (satake) R 3518 3520 8716 0 -1 4202560 4910 0 0 0 55813 116 0 0 25 0 5 0 1129101506 91459584 20017 4294967295 134512640 135180984 3215853104 3086749552 134528211 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3520/tid=3524] ppid=3518 vsize=89316 CPUtime=517.33
/proc/3520/task/3524/stat : 3524 (satake) R 3518 3520 8716 0 -1 4202560 7123 0 0 0 51613 120 0 0 25 0 5 0 1129101506 91459584 20017 4294967295 134512640 135180984 3215853104 3086684016 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=3520/tid=3525] ppid=3518 vsize=89316 CPUtime=554
/proc/3520/task/3525/stat : 3525 (satake) R 3518 3520 8716 0 -1 4202560 5136 0 0 0 55294 106 0 0 25 0 5 0 1129101506 91459584 20017 4294967295 134512640 135180984 3215853104 3086618368 134523021 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1635.74
Current children cumulated vsize (KiB) 89316

[startup+882.312 s]
/proc/loadavg: 5.59 5.53 5.43 6/118 7653
/proc/meminfo: memFree=3114056/3368532 swapFree=1954888/1959888
[pid=3520] ppid=3518 vsize=90440 CPUtime=1754.94
/proc/3520/stat : 3520 (satake) S 3518 3520 8716 0 -1 4202496 21586 0 0 0 174743 751 0 0 19 0 5 0 1129101506 92610560 20378 4294967295 134512640 135180984 3215853104 3215852540 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/3520/statm: 22610 20378 68 164 0 22445 0
[pid=3520/tid=3521] ppid=3518 vsize=90440 CPUtime=5.39
/proc/3520/task/3521/stat : 3521 (satake) S 3518 3520 8716 0 -1 4202560 4064 0 0 0 154 385 0 0 16 0 5 0 1129101506 92610560 20378 4294967295 134512640 135180984 3215853104 3086815252 134580588 0 0 0 0 3223036975 0 0 -1 2 0 0 0
[pid=3520/tid=3523] ppid=3518 vsize=90440 CPUtime=599.58
/proc/3520/task/3523/stat : 3523 (satake) R 3518 3520 8716 0 -1 4202560 5060 0 0 0 59835 123 0 0 25 0 5 0 1129101506 92610560 20378 4294967295 134512640 135180984 3215853104 3086749552 134528211 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=3520/tid=3524] ppid=3518 vsize=90440 CPUtime=551.64
/proc/3520/task/3524/stat : 3524 (satake) R 3518 3520 8716 0 -1 4202560 7165 0 0 0 55038 126 0 0 25 0 5 0 1129101506 92610560 20378 4294967295 134512640 135180984 3215853104 3086684012 134523867 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3520/tid=3525] ppid=3518 vsize=90440 CPUtime=598.33
/proc/3520/task/3525/stat : 3525 (satake) R 3518 3520 8716 0 -1 4202560 5186 0 0 0 59716 117 0 0 25 0 5 0 1129101506 92610560 20378 4294967295 134512640 135180984 3215853104 3086618284 134706407 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1754.94
Current children cumulated vsize (KiB) 90440

[startup+942.317 s]
/proc/loadavg: 5.60 5.54 5.44 6/118 7930
/proc/meminfo: memFree=3112860/3368532 swapFree=1954888/1959888
[pid=3520] ppid=3518 vsize=91516 CPUtime=1873.83
/proc/3520/stat : 3520 (satake) S 3518 3520 8716 0 -1 4202496 21796 0 0 0 186581 802 0 0 19 0 5 0 1129101506 93712384 20588 4294967295 134512640 135180984 3215853104 3215852540 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/3520/statm: 22879 20588 68 164 0 22714 0
[pid=3520/tid=3521] ppid=3518 vsize=91516 CPUtime=5.84
/proc/3520/task/3521/stat : 3521 (satake) S 3518 3520 8716 0 -1 4202560 4197 0 0 0 176 408 0 0 15 0 5 0 1129101506 93712384 20588 4294967295 134512640 135180984 3215853104 3086815252 134580588 0 0 0 0 3223036975 0 0 -1 0 0 0 0
[pid=3520/tid=3523] ppid=3518 vsize=91516 CPUtime=638.42
/proc/3520/task/3523/stat : 3523 (satake) R 3518 3520 8716 0 -1 4202560 5115 0 0 0 63710 132 0 0 25 0 5 0 1129101506 93712384 20588 4294967295 134512640 135180984 3215853104 3086749544 134519890 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=3520/tid=3524] ppid=3518 vsize=91516 CPUtime=592.19
/proc/3520/task/3524/stat : 3524 (satake) R 3518 3520 8716 0 -1 4202560 7179 0 0 0 59082 137 0 0 25 0 5 0 1129101506 93712384 20588 4294967295 134512640 135180984 3215853104 3086683820 134706407 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=3520/tid=3525] ppid=3518 vsize=91516 CPUtime=637.38
/proc/3520/task/3525/stat : 3525 (satake) R 3518 3520 8716 0 -1 4202560 5194 0 0 0 63613 125 0 0 25 0 5 0 1129101506 93712384 20588 4294967295 134512640 135180984 3215853104 3086618480 134528211 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1873.83
Current children cumulated vsize (KiB) 91516



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.01 s]
/proc/loadavg: 5.50 5.52 5.44 6/118 8206
/proc/meminfo: memFree=3111412/3368532 swapFree=1954888/1959888
[pid=3520] ppid=3518 vsize=93292 CPUtime=1988.14
/proc/3520/stat : 3520 (satake) S 3518 3520 8716 0 -1 4202496 22240 0 0 0 197965 849 0 0 19 0 5 0 1129101506 95531008 21032 4294967295 134512640 135180984 3215853104 3215852540 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/3520/statm: 23323 21032 68 164 0 23158 0
[pid=3520/tid=3521] ppid=3518 vsize=93292 CPUtime=6.21
/proc/3520/task/3521/stat : 3521 (satake) S 3518 3520 8716 0 -1 4202560 4402 0 0 0 188 433 0 0 15 0 5 0 1129101506 95531008 21032 4294967295 134512640 135180984 3215853104 3086815248 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=3520/tid=3523] ppid=3518 vsize=93292 CPUtime=681.23
/proc/3520/task/3523/stat : 3523 (satake) R 3518 3520 8716 0 -1 4202560 5266 0 0 0 67983 140 0 0 25 0 5 0 1129101506 95531008 21032 4294967295 134512640 135180984 3215853104 3086749616 134532406 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3520/tid=3524] ppid=3518 vsize=93292 CPUtime=622.33
/proc/3520/task/3524/stat : 3524 (satake) R 3518 3520 8716 0 -1 4202560 7221 0 0 0 62090 143 0 0 25 0 5 0 1129101506 95531008 21032 4294967295 134512640 135180984 3215853104 3086684016 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3520/tid=3525] ppid=3518 vsize=93292 CPUtime=678.37
/proc/3520/task/3525/stat : 3525 (satake) R 3518 3520 8716 0 -1 4202560 5240 0 0 0 67704 133 0 0 25 0 5 0 1129101506 95531008 21032 4294967295 134512640 135180984 3215853104 3086618412 134518218 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1988.14
Current children cumulated vsize (KiB) 93292

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1000.04
CPU time (s): 1988.18
CPU user time (s): 1979.69
CPU system time (s): 8.49
CPU usage (%): 198.811
Max. virtual memory (cumulated for all children) (KiB): 93292

deleting IPC queue 11534336
deleting IPC queue 11567105
deleting IPC queue 11599874
deleting IPC queue 11632643
deleting IPC queue 11665412
deleting IPC queue 11698181
deleting IPC queue 11730950
deleting IPC queue 11763719
deleting IPC queue 11796488
deleting IPC queue 11829257
deleting IPC queue 11862026
deleting IPC queue 11894795
deleting IPC queue 11927564
deleting IPC queue 11960333
deleting IPC queue 11993102
deleting IPC queue 12025871

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1979.69
system time used= 8.49
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22240
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= 2675201
involuntary context switches= 2718611

runsolver used 0 second user time and 0 second system time

The end

Launcher Data 

Begin job on  at 2009-05-30 02:46:15
IDJOB=1779535
IDBENCH=70873
IDSOLVER=629
FILE ID=/1779535-1243644375
PBS_JOBID=
Free space on /tmp= 15881 MiB

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

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

MD5SUM BENCH= d34c45eae853ce60c342643824196dbf
RANDOM SEED= 958014505

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.43
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:       3197124 kB
Buffers:         12832 kB
Cached:          84024 kB
SwapCached:        720 kB
Active:          52432 kB
Inactive:        60260 kB
HighTotal:     2489216 kB
HighFree:      2385672 kB
LowTotal:       879316 kB
LowFree:        811452 kB
SwapTotal:     1959888 kB
SwapFree:      1954888 kB
Dirty:            2376 kB
Writeback:           0 kB
AnonPages:       14944 kB
Mapped:           6060 kB
Slab:            48012 kB
SReclaimable:    40248 kB
SUnreclaim:       7764 kB
PageTables:        636 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:   117264 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

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