Trace number 1776955

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) 1947.88 1000.06

General information on the benchmark

Namemanol-pipe-c10nid_i.cnf
MD5SUM5845608382cee59cce4973c50f16416c
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark604.24
Satisfiable
(Un)Satisfiability was proved
Number of variables252516
Number of clauses750877
Sum of the clauses size1752045
Maximum clause length3
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2500584
Number of clauses of size 3250292
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-1776955-1243639500/watcher-1776955-1243639500 -o /tmp/evaluation-result-1776955-1243639500/solver-1776955-1243639500 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1776955-1243639500.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: 4.99 5.21 5.16 5/105 29858
/proc/meminfo: memFree=2405092/3368532 swapFree=1954076/1959888
[pid=29857] ppid=29855 vsize=968 CPUtime=0
/proc/29857/stat : 29857 (satake) R 29855 29857 3671 0 -1 4202496 108 0 0 0 0 0 0 0 20 0 2 0 1118051207 991232 65 4294967295 134512640 135180984 3217688560 3217687904 134705812 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/29857/statm: 242 65 54 164 0 77 0
[pid=29857/tid=29858] ppid=29855 vsize=968 CPUtime=0
/proc/29857/task/29858/stat : 29858 (satake) R 29855 29857 3671 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 2 0 1118051207 991232 65 4294967295 134512640 135180984 3217688560 3086242628 134705812 0 0 0 0 0 0 0 -1 2 0 0 0

[startup+0.042462 s]
/proc/loadavg: 4.99 5.21 5.16 5/105 29858
/proc/meminfo: memFree=2405092/3368532 swapFree=1954076/1959888
[pid=29857] ppid=29855 vsize=28636 CPUtime=0.05
/proc/29857/stat : 29857 (satake) S 29855 29857 3671 0 -1 4202496 5743 0 0 0 1 4 0 0 20 0 5 0 1118051207 29323264 5700 4294967295 134512640 135180984 3217688560 3217687996 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/29857/statm: 7159 5711 63 164 0 6994 0
[pid=29857/tid=29858] ppid=29855 vsize=28636 CPUtime=0
/proc/29857/task/29858/stat : 29858 (satake) S 29855 29857 3671 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 5 0 1118051207 29323264 5714 4294967295 134512640 135180984 3217688560 3086241808 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 28636

[startup+0.112447 s]
/proc/loadavg: 4.99 5.21 5.16 5/105 29858
/proc/meminfo: memFree=2405092/3368532 swapFree=1954076/1959888
[pid=29857] ppid=29855 vsize=53280 CPUtime=0.18
/proc/29857/stat : 29857 (satake) S 29855 29857 3671 0 -1 4202496 12268 0 0 0 12 6 0 0 20 0 5 0 1118051207 54558720 12217 4294967295 134512640 135180984 3217688560 3217687996 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/29857/statm: 13320 12217 63 164 0 13155 0
[pid=29857/tid=29858] ppid=29855 vsize=53280 CPUtime=0
/proc/29857/task/29858/stat : 29858 (satake) S 29855 29857 3671 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 5 0 1118051207 54558720 12218 4294967295 134512640 135180984 3217688560 3086241808 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 53280

[startup+0.302436 s]
/proc/loadavg: 4.99 5.21 5.16 5/105 29858
/proc/meminfo: memFree=2405092/3368532 swapFree=1954076/1959888
[pid=29857] ppid=29855 vsize=80904 CPUtime=0.52
/proc/29857/stat : 29857 (satake) S 29855 29857 3671 0 -1 4202496 18160 0 0 0 43 9 0 0 20 0 5 0 1118051207 82845696 18095 4294967295 134512640 135180984 3217688560 3217687996 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/29857/statm: 20226 18096 63 164 0 20061 0
[pid=29857/tid=29858] ppid=29855 vsize=80904 CPUtime=0
/proc/29857/task/29858/stat : 29858 (satake) S 29855 29857 3671 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 5 0 1118051207 82845696 18096 4294967295 134512640 135180984 3217688560 3086241808 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 80904

[startup+0.702409 s]
/proc/loadavg: 4.99 5.21 5.16 5/105 29858
/proc/meminfo: memFree=2405092/3368532 swapFree=1954076/1959888
[pid=29857] ppid=29855 vsize=145956 CPUtime=1.26
/proc/29857/stat : 29857 (satake) S 29855 29857 3671 0 -1 4202496 31074 0 0 0 111 15 0 0 20 0 5 0 1118051207 149458944 31009 4294967295 134512640 135180984 3217688560 3217687996 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/29857/statm: 36489 31011 63 164 0 36324 0
[pid=29857/tid=29858] ppid=29855 vsize=145956 CPUtime=0
/proc/29857/task/29858/stat : 29858 (satake) S 29855 29857 3671 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 5 0 1118051207 149458944 31011 4294967295 134512640 135180984 3217688560 3086241808 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 145956

[startup+1.51235 s]
/proc/loadavg: 4.99 5.21 5.16 7/109 29908
/proc/meminfo: memFree=2246432/3368532 swapFree=1954076/1959888
[pid=29857] ppid=29855 vsize=166476 CPUtime=2.88
/proc/29857/stat : 29857 (satake) S 29855 29857 3671 0 -1 4202496 45438 0 0 0 269 19 0 0 20 0 5 0 1118051207 170471424 38665 4294967295 134512640 135180984 3217688560 3217687996 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/29857/statm: 41619 38665 68 164 0 41454 0
[pid=29857/tid=29858] ppid=29855 vsize=166476 CPUtime=0.05
/proc/29857/task/29858/stat : 29858 (satake) S 29855 29857 3671 0 -1 4202560 4474 0 0 0 3 2 0 0 16 0 5 0 1118051207 170471424 38665 4294967295 134512640 135180984 3217688560 3086241808 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=29857/tid=29860] ppid=29855 vsize=166476 CPUtime=1.35
/proc/29857/task/29860/stat : 29860 (satake) R 29855 29857 3671 0 -1 4202560 15556 0 0 0 131 4 0 0 21 0 5 0 1118051207 170471424 38666 4294967295 134512640 135180984 3217688560 3086176128 134532624 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=29857/tid=29861] ppid=29855 vsize=166476 CPUtime=1.13
/proc/29857/task/29861/stat : 29861 (satake) R 29855 29857 3671 0 -1 4202560 15921 0 0 0 104 9 0 0 19 0 5 0 1118051207 170471424 38666 4294967295 134512640 135180984 3217688560 3086110592 134532632 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=29857/tid=29862] ppid=29855 vsize=166476 CPUtime=0.35
/proc/29857/task/29862/stat : 29862 (satake) R 29855 29857 3671 0 -1 4202560 9377 0 0 0 31 4 0 0 21 0 5 0 1118051207 170471424 38666 4294967295 134512640 135180984 3217688560 3086045256 134675767 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.88
Current children cumulated vsize (KiB) 166476

[startup+3.11224 s]
/proc/loadavg: 4.99 5.21 5.16 9/110 29916
/proc/meminfo: memFree=2228460/3368532 swapFree=1954076/1959888
[pid=29857] ppid=29855 vsize=180360 CPUtime=6.08
/proc/29857/stat : 29857 (satake) S 29855 29857 3671 0 -1 4202496 51972 0 0 0 581 27 0 0 20 0 5 0 1118051207 184688640 41845 4294967295 134512640 135180984 3217688560 3217687996 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/29857/statm: 45090 41845 68 164 0 44925 0
[pid=29857/tid=29858] ppid=29855 vsize=180360 CPUtime=0.08
/proc/29857/task/29858/stat : 29858 (satake) S 29855 29857 3671 0 -1 4202560 4482 0 0 0 3 5 0 0 15 0 5 0 1118051207 184688640 41845 4294967295 134512640 135180984 3217688560 3086241808 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=29857/tid=29860] ppid=29855 vsize=180360 CPUtime=2.92
/proc/29857/task/29860/stat : 29860 (satake) R 29855 29857 3671 0 -1 4202560 15586 0 0 0 288 4 0 0 25 0 5 0 1118051207 184688640 41845 4294967295 134512640 135180984 3217688560 3086176112 134528211 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=29857/tid=29861] ppid=29855 vsize=180360 CPUtime=1.97
/proc/29857/task/29861/stat : 29861 (satake) R 29855 29857 3671 0 -1 4202560 15981 0 0 0 188 9 0 0 20 0 5 0 1118051207 184688640 41845 4294967295 134512640 135180984 3217688560 3086110640 134532417 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=29857/tid=29862] ppid=29855 vsize=180360 CPUtime=1.11
/proc/29857/task/29862/stat : 29862 (satake) R 29855 29857 3671 0 -1 4202560 15812 0 0 0 102 9 0 0 23 0 5 0 1118051207 184688640 41845 4294967295 134512640 135180984 3217688560 3086045040 134528211 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 6.08
Current children cumulated vsize (KiB) 180360

[startup+6.31202 s]
/proc/loadavg: 5.15 5.24 5.17 6/109 30046
/proc/meminfo: memFree=2235068/3368532 swapFree=1954076/1959888
[pid=29857] ppid=29855 vsize=181796 CPUtime=12.36
/proc/29857/stat : 29857 (satake) S 29855 29857 3671 0 -1 4202496 52381 0 0 0 1195 41 0 0 20 0 5 0 1118051207 186159104 42254 4294967295 134512640 135180984 3217688560 3217687996 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/29857/statm: 45449 42255 68 164 0 45284 0
[pid=29857/tid=29858] ppid=29855 vsize=181796 CPUtime=0.2
/proc/29857/task/29858/stat : 29858 (satake) S 29855 29857 3671 0 -1 4202560 4506 0 0 0 7 13 0 0 15 0 5 0 1118051207 186159104 42255 4294967295 134512640 135180984 3217688560 3086241808 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=29857/tid=29860] ppid=29855 vsize=181796 CPUtime=5.75
/proc/29857/task/29860/stat : 29860 (satake) R 29855 29857 3671 0 -1 4202560 15738 0 0 0 570 5 0 0 25 0 5 0 1118051207 186159104 42255 4294967295 134512640 135180984 3217688560 3086176112 134528062 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=29857/tid=29861] ppid=29855 vsize=181796 CPUtime=3.94
/proc/29857/task/29861/stat : 29861 (satake) R 29855 29857 3671 0 -1 4202560 16119 0 0 0 383 11 0 0 25 0 5 0 1118051207 186159104 42255 4294967295 134512640 135180984 3217688560 3086110512 134523819 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=29857/tid=29862] ppid=29855 vsize=181796 CPUtime=2.47
/proc/29857/task/29862/stat : 29862 (satake) R 29855 29857 3671 0 -1 4202560 15908 0 0 0 235 12 0 0 25 0 5 0 1118051207 186159104 42255 4294967295 134512640 135180984 3217688560 3086044976 134523859 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 181796

[startup+12.7116 s]
/proc/loadavg: 5.14 5.23 5.17 6/109 30048
/proc/meminfo: memFree=2232716/3368532 swapFree=1954076/1959888
[pid=29857] ppid=29855 vsize=183632 CPUtime=24.97
/proc/29857/stat : 29857 (satake) S 29855 29857 3671 0 -1 4202496 52900 0 0 0 2439 58 0 0 20 0 5 0 1118051207 188039168 42773 4294967295 134512640 135180984 3217688560 3217687996 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/29857/statm: 45908 42773 68 164 0 45743 0
[pid=29857/tid=29858] ppid=29855 vsize=183632 CPUtime=0.31
/proc/29857/task/29858/stat : 29858 (satake) S 29855 29857 3671 0 -1 4202560 4559 0 0 0 9 22 0 0 15 0 5 0 1118051207 188039168 42773 4294967295 134512640 135180984 3217688560 3086241808 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=29857/tid=29860] ppid=29855 vsize=183632 CPUtime=10.32
/proc/29857/task/29860/stat : 29860 (satake) R 29855 29857 3671 0 -1 4202560 15912 0 0 0 1025 7 0 0 25 0 5 0 1118051207 188039168 42773 4294967295 134512640 135180984 3217688560 3086176112 134529006 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=29857/tid=29861] ppid=29855 vsize=183632 CPUtime=7.63
/proc/29857/task/29861/stat : 29861 (satake) R 29855 29857 3671 0 -1 4202560 16249 0 0 0 749 14 0 0 25 0 5 0 1118051207 188039168 42773 4294967295 134512640 135180984 3217688560 3086110640 134532451 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=29857/tid=29862] ppid=29855 vsize=183632 CPUtime=6.71
/proc/29857/task/29862/stat : 29862 (satake) R 29855 29857 3671 0 -1 4202560 16069 0 0 0 656 15 0 0 25 0 5 0 1118051207 188039168 42773 4294967295 134512640 135180984 3217688560 3086044976 134523821 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 24.97
Current children cumulated vsize (KiB) 183632

[startup+25.5107 s]
/proc/loadavg: 5.10 5.22 5.16 6/109 30053
/proc/meminfo: memFree=2224128/3368532 swapFree=1954076/1959888
[pid=29857] ppid=29855 vsize=192188 CPUtime=49.34
/proc/29857/stat : 29857 (satake) S 29855 29857 3671 0 -1 4202496 55149 0 0 0 4818 116 0 0 20 0 5 0 1118051207 196800512 45022 4294967295 134512640 135180984 3217688560 3217687996 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/29857/statm: 48047 45022 68 164 0 47882 0
[pid=29857/tid=29858] ppid=29855 vsize=192188 CPUtime=0.7
/proc/29857/task/29858/stat : 29858 (satake) S 29855 29857 3671 0 -1 4202560 4783 0 0 0 21 49 0 0 15 0 5 0 1118051207 196800512 45022 4294967295 134512640 135180984 3217688560 3086241808 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=29857/tid=29860] ppid=29855 vsize=192188 CPUtime=17.65
/proc/29857/task/29860/stat : 29860 (satake) R 29855 29857 3671 0 -1 4202560 16626 0 0 0 1745 20 0 0 25 0 5 0 1118051207 196800512 45022 4294967295 134512640 135180984 3217688560 3086176064 134522959 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=29857/tid=29861] ppid=29855 vsize=192188 CPUtime=15.93
/proc/29857/task/29861/stat : 29861 (satake) R 29855 29857 3671 0 -1 4202560 16879 0 0 0 1569 24 0 0 25 0 5 0 1118051207 196800512 45022 4294967295 134512640 135180984 3217688560 3086110640 134532445 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=29857/tid=29862] ppid=29855 vsize=192188 CPUtime=15.06
/proc/29857/task/29862/stat : 29862 (satake) R 29855 29857 3671 0 -1 4202560 16750 0 0 0 1483 23 0 0 25 0 5 0 1118051207 196800512 45022 4294967295 134512640 135180984 3217688560 3086045040 134528866 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 49.34
Current children cumulated vsize (KiB) 192188

[startup+51.119 s]
/proc/loadavg: 4.99 5.18 5.15 6/109 30054
/proc/meminfo: memFree=2203344/3368532 swapFree=1954076/1959888
[pid=29857] ppid=29855 vsize=213140 CPUtime=97.38
/proc/29857/stat : 29857 (satake) S 29855 29857 3671 0 -1 4202496 60387 0 0 0 9515 223 0 0 20 0 5 0 1118051207 218255360 50260 4294967295 134512640 135180984 3217688560 3217687996 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/29857/statm: 53285 50260 68 164 0 53120 0
[pid=29857/tid=29858] ppid=29855 vsize=213140 CPUtime=1.54
/proc/29857/task/29858/stat : 29858 (satake) S 29855 29857 3671 0 -1 4202560 5316 0 0 0 43 111 0 0 15 0 5 0 1118051207 218255360 50260 4294967295 134512640 135180984 3217688560 3086241808 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=29857/tid=29860] ppid=29855 vsize=213140 CPUtime=32.02
/proc/29857/task/29860/stat : 29860 (satake) R 29855 29857 3671 0 -1 4202560 17891 0 0 0 3163 39 0 0 25 0 5 0 1118051207 218255360 50260 4294967295 134512640 135180984 3217688560 3086176048 134523800 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=29857/tid=29861] ppid=29855 vsize=213140 CPUtime=33.11
/proc/29857/task/29861/stat : 29861 (satake) R 29855 29857 3671 0 -1 4202560 18226 0 0 0 3278 33 0 0 25 0 5 0 1118051207 218255360 50260 4294967295 134512640 135180984 3217688560 3086110568 134520863 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=29857/tid=29862] ppid=29855 vsize=213140 CPUtime=30.71
/proc/29857/task/29862/stat : 29862 (satake) R 29855 29857 3671 0 -1 4202560 18843 0 0 0 3031 40 0 0 25 0 5 0 1118051207 218255360 50260 4294967295 134512640 135180984 3217688560 3086045056 134518561 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 97.38
Current children cumulated vsize (KiB) 213140

[startup+102.315 s]
/proc/loadavg: 5.15 5.20 5.16 5/109 30242
/proc/meminfo: memFree=2167540/3368532 swapFree=1954076/1959888
[pid=29857] ppid=29855 vsize=248156 CPUtime=195.33
/proc/29857/stat : 29857 (satake) S 29855 29857 3671 0 -1 4202496 69039 0 0 0 19175 358 0 0 20 0 5 0 1118051207 254111744 58912 4294967295 134512640 135180984 3217688560 3217687996 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/29857/statm: 62039 58912 68 164 0 61874 0
[pid=29857/tid=29858] ppid=29855 vsize=248156 CPUtime=2.48
/proc/29857/task/29858/stat : 29858 (satake) S 29855 29857 3671 0 -1 4202560 5982 0 0 0 77 171 0 0 15 0 5 0 1118051207 254111744 58912 4294967295 134512640 135180984 3217688560 3086241808 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=29857/tid=29860] ppid=29855 vsize=248156 CPUtime=64.49
/proc/29857/task/29860/stat : 29860 (satake) R 29855 29857 3671 0 -1 4202560 20379 0 0 0 6383 66 0 0 25 0 5 0 1118051207 254111744 58912 4294967295 134512640 135180984 3217688560 3086176112 134528568 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=29857/tid=29861] ppid=29855 vsize=248156 CPUtime=65.25
/proc/29857/task/29861/stat : 29861 (satake) R 29855 29857 3671 0 -1 4202560 20775 0 0 0 6470 55 0 0 25 0 5 0 1118051207 254111744 58912 4294967295 134512640 135180984 3217688560 3086110368 134580407 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=29857/tid=29862] ppid=29855 vsize=248156 CPUtime=63.11
/proc/29857/task/29862/stat : 29862 (satake) S 29855 29857 3671 0 -1 4202560 21792 0 0 0 6245 66 0 0 25 0 5 0 1118051207 254111744 58912 4294967295 134512640 135180984 3217688560 3086044832 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 195.33
Current children cumulated vsize (KiB) 248156

[startup+162.311 s]
/proc/loadavg: 5.11 5.18 5.15 6/109 30430
/proc/meminfo: memFree=2128584/3368532 swapFree=1954076/1959888
[pid=29857] ppid=29855 vsize=287140 CPUtime=309.48
/proc/29857/stat : 29857 (satake) S 29855 29857 3671 0 -1 4202496 78566 0 0 0 30411 537 0 0 20 0 5 0 1118051207 294031360 68439 4294967295 134512640 135180984 3217688560 3217687996 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/29857/statm: 71785 68439 68 164 0 71620 0
[pid=29857/tid=29858] ppid=29855 vsize=287140 CPUtime=3.91
/proc/29857/task/29858/stat : 29858 (satake) S 29855 29857 3671 0 -1 4202560 7028 0 0 0 124 267 0 0 16 0 5 0 1118051207 294031360 68439 4294967295 134512640 135180984 3217688560 3086241808 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=29857/tid=29860] ppid=29855 vsize=287140 CPUtime=103.87
/proc/29857/task/29860/stat : 29860 (satake) R 29855 29857 3671 0 -1 4202560 23070 0 0 0 10302 85 0 0 25 0 5 0 1118051207 294031360 68439 4294967295 134512640 135180984 3217688560 3086176112 134528576 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=29857/tid=29861] ppid=29855 vsize=287140 CPUtime=105.96
/proc/29857/task/29861/stat : 29861 (satake) R 29855 29857 3671 0 -1 4202560 23513 0 0 0 10510 86 0 0 25 0 5 0 1118051207 294031360 68439 4294967295 134512640 135180984 3217688560 3086110576 134521049 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=29857/tid=29862] ppid=29855 vsize=287140 CPUtime=95.74
/proc/29857/task/29862/stat : 29862 (satake) R 29855 29857 3671 0 -1 4202560 24844 0 0 0 9475 99 0 0 25 0 5 0 1118051207 294031360 68439 4294967295 134512640 135180984 3217688560 3086044844 134706407 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 309.48

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

[pid=29857/tid=29860] ppid=29855 vsize=409208 CPUtime=336.44
/proc/29857/task/29860/stat : 29860 (satake) R 29855 29857 3671 0 -1 4202560 31426 0 0 0 33446 198 0 0 25 0 5 0 1118051207 419028992 98061 4294967295 134512640 135180984 3217688560 3086176104 134520863 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=29857/tid=29861] ppid=29855 vsize=409208 CPUtime=342.63
/proc/29857/task/29861/stat : 29861 (satake) R 29855 29857 3671 0 -1 4202560 31445 0 0 0 34080 183 0 0 25 0 5 0 1118051207 419028992 98061 4294967295 134512640 135180984 3217688560 3086110568 134518224 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=29857/tid=29862] ppid=29855 vsize=409208 CPUtime=318.87
/proc/29857/task/29862/stat : 29862 (satake) R 29855 29857 3671 0 -1 4202560 34953 0 0 0 31700 187 0 0 25 0 5 0 1118051207 419028992 98061 4294967295 134512640 135180984 3217688560 3086045040 134528209 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1007.23
Current children cumulated vsize (KiB) 409208

[startup+582.313 s]
/proc/loadavg: 5.10 5.13 5.13 6/109 31750
/proc/meminfo: memFree=1999988/3368532 swapFree=1954076/1959888
[pid=29857] ppid=29855 vsize=414580 CPUtime=1125
/proc/29857/stat : 29857 (satake) S 29855 29857 3671 0 -1 4202496 109291 0 0 0 111219 1281 0 0 20 0 5 0 1118051207 424529920 99164 4294967295 134512640 135180984 3217688560 3217687996 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/29857/statm: 103645 99164 68 164 0 103480 0
[pid=29857/tid=29858] ppid=29855 vsize=414580 CPUtime=9.53
/proc/29857/task/29858/stat : 29858 (satake) S 29855 29857 3671 0 -1 4202560 10412 0 0 0 269 684 0 0 15 0 5 0 1118051207 424529920 99164 4294967295 134512640 135180984 3217688560 3086241808 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=29857/tid=29860] ppid=29855 vsize=414580 CPUtime=373.72
/proc/29857/task/29860/stat : 29860 (satake) R 29855 29857 3671 0 -1 4202560 31870 0 0 0 37169 203 0 0 25 0 5 0 1118051207 424529920 99164 4294967295 134512640 135180984 3217688560 3086176112 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=29857/tid=29861] ppid=29855 vsize=414580 CPUtime=385.23
/proc/29857/task/29861/stat : 29861 (satake) R 29855 29857 3671 0 -1 4202560 31877 0 0 0 38325 198 0 0 25 0 5 0 1118051207 424529920 99164 4294967295 134512640 135180984 3217688560 3086110544 134520027 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=29857/tid=29862] ppid=29855 vsize=414580 CPUtime=356.52
/proc/29857/task/29862/stat : 29862 (satake) R 29855 29857 3671 0 -1 4202560 35021 0 0 0 35456 196 0 0 25 0 5 0 1118051207 424529920 99164 4294967295 134512640 135180984 3217688560 3086044944 134525248 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1125
Current children cumulated vsize (KiB) 414580

[startup+642.319 s]
/proc/loadavg: 5.08 5.12 5.13 6/109 31938
/proc/meminfo: memFree=1980504/3368532 swapFree=1954076/1959888
[pid=29857] ppid=29855 vsize=432216 CPUtime=1242.72
/proc/29857/stat : 29857 (satake) S 29855 29857 3671 0 -1 4202496 114044 0 0 0 122916 1356 0 0 20 0 5 0 1118051207 442589184 103917 4294967295 134512640 135180984 3217688560 3217687996 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/29857/statm: 108054 103917 68 164 0 107889 0
[pid=29857/tid=29858] ppid=29855 vsize=432216 CPUtime=10.21
/proc/29857/task/29858/stat : 29858 (satake) S 29855 29857 3671 0 -1 4202560 10817 0 0 0 292 729 0 0 15 0 5 0 1118051207 442589184 103917 4294967295 134512640 135180984 3217688560 3086241812 134580588 0 0 0 0 3223036975 0 0 -1 1 0 0 0
[pid=29857/tid=29860] ppid=29855 vsize=432216 CPUtime=408.91
/proc/29857/task/29860/stat : 29860 (satake) R 29855 29857 3671 0 -1 4202560 33235 0 0 0 40678 213 0 0 25 0 5 0 1118051207 442589184 103917 4294967295 134512640 135180984 3217688560 3086176104 134520863 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=29857/tid=29861] ppid=29855 vsize=432216 CPUtime=428.56
/proc/29857/task/29861/stat : 29861 (satake) R 29855 29857 3671 0 -1 4202560 33726 0 0 0 42651 205 0 0 25 0 5 0 1118051207 442589184 103917 4294967295 134512640 135180984 3217688560 3086110292 134675767 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=29857/tid=29862] ppid=29855 vsize=432216 CPUtime=395.04
/proc/29857/task/29862/stat : 29862 (satake) R 29855 29857 3671 0 -1 4202560 36155 0 0 0 39295 209 0 0 25 0 5 0 1118051207 442589184 103917 4294967295 134512640 135180984 3217688560 3086044832 134580407 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1242.72
Current children cumulated vsize (KiB) 432216

[startup+702.315 s]
/proc/loadavg: 5.14 5.13 5.13 6/109 32126
/proc/meminfo: memFree=1962292/3368532 swapFree=1954076/1959888
[pid=29857] ppid=29855 vsize=449320 CPUtime=1361.43
/proc/29857/stat : 29857 (satake) S 29855 29857 3671 0 -1 4202496 118470 0 0 0 134695 1448 0 0 20 0 5 0 1118051207 460103680 108343 4294967295 134512640 135180984 3217688560 3217687996 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/29857/statm: 112330 108343 68 164 0 112165 0
[pid=29857/tid=29858] ppid=29855 vsize=449320 CPUtime=10.96
/proc/29857/task/29858/stat : 29858 (satake) S 29855 29857 3671 0 -1 4202560 11363 0 0 0 321 775 0 0 16 0 5 0 1118051207 460103680 108343 4294967295 134512640 135180984 3217688560 3086241812 134580588 0 0 0 0 3223036975 0 0 -1 0 0 0 0
[pid=29857/tid=29860] ppid=29855 vsize=449320 CPUtime=449.11
/proc/29857/task/29860/stat : 29860 (satake) R 29855 29857 3671 0 -1 4202560 34676 0 0 0 44681 230 0 0 25 0 5 0 1118051207 460103680 108343 4294967295 134512640 135180984 3217688560 3086176048 134523699 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=29857/tid=29861] ppid=29855 vsize=449320 CPUtime=468.82
/proc/29857/task/29861/stat : 29861 (satake) R 29855 29857 3671 0 -1 4202560 34983 0 0 0 46664 218 0 0 25 0 5 0 1118051207 460103680 108343 4294967295 134512640 135180984 3217688560 3086110576 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=29857/tid=29862] ppid=29855 vsize=449320 CPUtime=432.54
/proc/29857/task/29862/stat : 29862 (satake) R 29855 29857 3671 0 -1 4202560 37337 0 0 0 43029 225 0 0 25 0 5 0 1118051207 460103680 108343 4294967295 134512640 135180984 3217688560 3086044832 134580407 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1361.43
Current children cumulated vsize (KiB) 449320

[startup+762.311 s]
/proc/loadavg: 5.09 5.11 5.12 6/109 32315
/proc/meminfo: memFree=1942956/3368532 swapFree=1954076/1959888
[pid=29857] ppid=29855 vsize=466628 CPUtime=1479.25
/proc/29857/stat : 29857 (satake) S 29855 29857 3671 0 -1 4202496 122905 0 0 0 146419 1506 0 0 20 0 5 0 1118051207 477827072 112778 4294967295 134512640 135180984 3217688560 3217687996 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/29857/statm: 116657 112778 68 164 0 116492 0
[pid=29857/tid=29858] ppid=29855 vsize=466628 CPUtime=11.4
/proc/29857/task/29858/stat : 29858 (satake) S 29855 29857 3671 0 -1 4202560 11722 0 0 0 336 804 0 0 15 0 5 0 1118051207 477827072 112778 4294967295 134512640 135180984 3217688560 3086241808 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=29857/tid=29860] ppid=29855 vsize=466628 CPUtime=488.13
/proc/29857/task/29860/stat : 29860 (satake) R 29855 29857 3671 0 -1 4202560 35871 0 0 0 48571 242 0 0 25 0 5 0 1118051207 477827072 112778 4294967295 134512640 135180984 3217688560 3086176112 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=29857/tid=29861] ppid=29855 vsize=466628 CPUtime=509.13
/proc/29857/task/29861/stat : 29861 (satake) R 29855 29857 3671 0 -1 4202560 36542 0 0 0 50684 229 0 0 25 0 5 0 1118051207 477827072 112778 4294967295 134512640 135180984 3217688560 3086110576 134528568 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=29857/tid=29862] ppid=29855 vsize=466628 CPUtime=470.59
/proc/29857/task/29862/stat : 29862 (satake) R 29855 29857 3671 0 -1 4202560 38659 0 0 0 46828 231 0 0 25 0 5 0 1118051207 477827072 112778 4294967295 134512640 135180984 3217688560 3086045040 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1479.25
Current children cumulated vsize (KiB) 466628

[startup+822.306 s]
/proc/loadavg: 5.24 5.15 5.13 7/109 32505
/proc/meminfo: memFree=1919644/3368532 swapFree=1954076/1959888
[pid=29857] ppid=29855 vsize=490164 CPUtime=1597.16
/proc/29857/stat : 29857 (satake) S 29855 29857 3671 0 -1 4202496 128603 0 0 0 158159 1557 0 0 20 0 5 0 1118051207 501927936 118476 4294967295 134512640 135180984 3217688560 3217687996 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/29857/statm: 122541 118476 68 164 0 122376 0
[pid=29857/tid=29858] ppid=29855 vsize=490164 CPUtime=11.87
/proc/29857/task/29858/stat : 29858 (satake) S 29855 29857 3671 0 -1 4202560 12037 0 0 0 354 833 0 0 15 0 5 0 1118051207 501927936 118476 4294967295 134512640 135180984 3217688560 3086241808 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=29857/tid=29860] ppid=29855 vsize=490164 CPUtime=528.83
/proc/29857/task/29860/stat : 29860 (satake) R 29855 29857 3671 0 -1 4202560 37451 0 0 0 52631 252 0 0 25 0 5 0 1118051207 501927936 118476 4294967295 134512640 135180984 3217688560 3086176108 134518208 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=29857/tid=29861] ppid=29855 vsize=490164 CPUtime=547.53
/proc/29857/task/29861/stat : 29861 (satake) R 29855 29857 3671 0 -1 4202560 38511 0 0 0 54520 233 0 0 25 0 5 0 1118051207 501927936 118476 4294967295 134512640 135180984 3217688560 3086110576 134528587 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=29857/tid=29862] ppid=29855 vsize=490164 CPUtime=508.93
/proc/29857/task/29862/stat : 29862 (satake) R 29855 29857 3671 0 -1 4202560 40493 0 0 0 50654 239 0 0 25 0 5 0 1118051207 501927936 118476 4294967295 134512640 135180984 3217688560 3086044832 134580407 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1597.16
Current children cumulated vsize (KiB) 490164

[startup+882.312 s]
/proc/loadavg: 5.25 5.17 5.14 6/109 32694
/proc/meminfo: memFree=1901036/3368532 swapFree=1954076/1959888
[pid=29857] ppid=29855 vsize=507144 CPUtime=1715.81
/proc/29857/stat : 29857 (satake) S 29855 29857 3671 0 -1 4202496 132965 0 0 0 169967 1614 0 0 20 0 5 0 1118051207 519315456 122838 4294967295 134512640 135180984 3217688560 3217687996 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/29857/statm: 126786 122838 68 164 0 126621 0
[pid=29857/tid=29858] ppid=29855 vsize=507144 CPUtime=12.25
/proc/29857/task/29858/stat : 29858 (satake) S 29855 29857 3671 0 -1 4202560 12388 0 0 0 366 859 0 0 16 0 5 0 1118051207 519315456 122838 4294967295 134512640 135180984 3217688560 3086241808 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=29857/tid=29860] ppid=29855 vsize=507144 CPUtime=568.07
/proc/29857/task/29860/stat : 29860 (satake) R 29855 29857 3671 0 -1 4202560 38785 0 0 0 56544 263 0 0 25 0 5 0 1118051207 519315456 122838 4294967295 134512640 135180984 3217688560 3086175916 134706407 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=29857/tid=29861] ppid=29855 vsize=507144 CPUtime=588.56
/proc/29857/task/29861/stat : 29861 (satake) R 29855 29857 3671 0 -1 4202560 39924 0 0 0 58611 245 0 0 25 0 5 0 1118051207 519315456 122838 4294967295 134512640 135180984 3217688560 3086110576 134528791 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=29857/tid=29862] ppid=29855 vsize=507144 CPUtime=546.93
/proc/29857/task/29862/stat : 29862 (satake) R 29855 29857 3671 0 -1 4202560 41757 0 0 0 54446 247 0 0 25 0 5 0 1118051207 519315456 122838 4294967295 134512640 135180984 3217688560 3086045040 134528211 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1715.81
Current children cumulated vsize (KiB) 507144

[startup+942.308 s]
/proc/loadavg: 5.48 5.24 5.16 6/109 415
/proc/meminfo: memFree=1886660/3368532 swapFree=1954076/1959888
[pid=29857] ppid=29855 vsize=520652 CPUtime=1834.15
/proc/29857/stat : 29857 (satake) S 29855 29857 3671 0 -1 4202496 136471 0 0 0 181757 1658 0 0 20 0 5 0 1118051207 533147648 126344 4294967295 134512640 135180984 3217688560 3217687996 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/29857/statm: 130163 126344 68 164 0 129998 0
[pid=29857/tid=29858] ppid=29855 vsize=520652 CPUtime=12.6
/proc/29857/task/29858/stat : 29858 (satake) S 29855 29857 3671 0 -1 4202560 12625 0 0 0 374 886 0 0 15 0 5 0 1118051207 533147648 126344 4294967295 134512640 135180984 3217688560 3086241808 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=29857/tid=29860] ppid=29855 vsize=520652 CPUtime=610.35
/proc/29857/task/29860/stat : 29860 (satake) R 29855 29857 3671 0 -1 4202560 39567 0 0 0 60767 268 0 0 25 0 5 0 1118051207 533147648 126344 4294967295 134512640 135180984 3217688560 3086176108 134519884 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=29857/tid=29861] ppid=29855 vsize=520652 CPUtime=628.43
/proc/29857/task/29861/stat : 29861 (satake) R 29855 29857 3671 0 -1 4202560 41477 0 0 0 62592 251 0 0 25 0 5 0 1118051207 533147648 126344 4294967295 134512640 135180984 3217688560 3086110576 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=29857/tid=29862] ppid=29855 vsize=520652 CPUtime=582.77
/proc/29857/task/29862/stat : 29862 (satake) R 29855 29857 3671 0 -1 4202560 42691 0 0 0 58024 253 0 0 25 0 5 0 1118051207 533147648 126344 4294967295 134512640 135180984 3217688560 3086045040 134528587 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1834.15
Current children cumulated vsize (KiB) 520652



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000 s]
/proc/loadavg: 5.29 5.23 5.16 6/109 603
/proc/meminfo: memFree=1870416/3368532 swapFree=1954076/1959888
[pid=29857] ppid=29855 vsize=536448 CPUtime=1947.81
/proc/29857/stat : 29857 (satake) S 29855 29857 3671 0 -1 4202496 140334 0 0 0 193048 1733 0 0 20 0 5 0 1118051207 549322752 130207 4294967295 134512640 135180984 3217688560 3217687996 134573496 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/29857/statm: 134112 130207 68 164 0 133947 0
[pid=29857/tid=29858] ppid=29855 vsize=536448 CPUtime=13.15
/proc/29857/task/29858/stat : 29858 (satake) S 29855 29857 3671 0 -1 4202560 12998 0 0 0 390 925 0 0 15 0 5 0 1118051207 549322752 130207 4294967295 134512640 135180984 3217688560 3086241808 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=29857/tid=29860] ppid=29855 vsize=536448 CPUtime=651.58
/proc/29857/task/29860/stat : 29860 (satake) R 29855 29857 3671 0 -1 4202560 40772 0 0 0 64879 279 0 0 25 0 5 0 1118051207 549322752 130207 4294967295 134512640 135180984 3217688560 3086176112 134528636 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=29857/tid=29861] ppid=29855 vsize=536448 CPUtime=662.83
/proc/29857/task/29861/stat : 29861 (satake) R 29855 29857 3671 0 -1 4202560 42582 0 0 0 66019 264 0 0 25 0 5 0 1118051207 549322752 130207 4294967295 134512640 135180984 3217688560 3086110576 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=29857/tid=29862] ppid=29855 vsize=536448 CPUtime=620.25
/proc/29857/task/29862/stat : 29862 (satake) R 29855 29857 3671 0 -1 4202560 43871 0 0 0 61760 265 0 0 25 0 5 0 1118051207 549322752 130207 4294967295 134512640 135180984 3217688560 3086045040 134528568 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1947.81
Current children cumulated vsize (KiB) 536448

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.06
CPU time (s): 1947.88
CPU user time (s): 1930.52
CPU system time (s): 17.36
CPU usage (%): 194.777
Max. virtual memory (cumulated for all children) (KiB): 536448

deleting IPC queue 5767168
deleting IPC queue 5799937
deleting IPC queue 5832706
deleting IPC queue 5865475
deleting IPC queue 5898244
deleting IPC queue 5931013
deleting IPC queue 5963782
deleting IPC queue 5996551
deleting IPC queue 6029320
deleting IPC queue 6062089
deleting IPC queue 6094858
deleting IPC queue 6127627
deleting IPC queue 6160396
deleting IPC queue 6193165
deleting IPC queue 6225934
deleting IPC queue 6258703

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1930.52
system time used= 17.36
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 140335
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= 3754531
involuntary context switches= 3677235

runsolver used 0 second user time and 0.01 second system time

The end

Launcher Data 

Begin job on tipi44 at 2009-05-30 01:25:00
IDJOB=1776955
IDBENCH=69630
IDSOLVER=629
FILE ID=tipi44/1776955-1243639500
PBS_JOBID=
Free space on /tmp= 15881 MiB

SOLVER NAME= satake 2009-03-22 (4 threads)
BENCH NAME= SAT_RACE08/cnf/manol-pipe-c10nid_i.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1776955-1243639500/watcher-1776955-1243639500 -o /tmp/evaluation-result-1776955-1243639500/solver-1776955-1243639500 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1776955-1243639500.cnf 4 10000

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

MD5SUM BENCH= 5845608382cee59cce4973c50f16416c
RANDOM SEED= 1897168670

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:       2404944 kB
Buffers:        151564 kB
Cached:         568476 kB
SwapCached:       2180 kB
Active:         666448 kB
Inactive:       199740 kB
HighTotal:     2489216 kB
HighFree:      1776256 kB
LowTotal:       879316 kB
LowFree:        628688 kB
SwapTotal:     1959888 kB
SwapFree:      1954076 kB
Dirty:           16068 kB
Writeback:           0 kB
AnonPages:      145788 kB
Mapped:           5612 kB
Slab:            87292 kB
SReclaimable:    76844 kB
SUnreclaim:      10448 kB
PageTables:        716 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:   228272 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 15881 MiB
End job on tipi44 at 2009-05-30 01:41:43