Trace number 1562556

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? (TO) 1200.28 601.783

General information on the benchmark

NameCRAFTED/edgematching/
fbcolors/em_12_2_4_fbc.cnf
MD5SUM9fee570f53de23cb47dfa378d421371e
Bench CategoryCRAFTED (crafted 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 variables12584
Number of clauses202912
Sum of the clauses size618320
Maximum clause length100
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 264604
Number of clauses of size 3103200
Number of clauses of size 417828
Number of clauses of size 517000
Number of clauses of size over 5280

Solver Data


Verifier Data 

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

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1562556-1238776739/watcher-1562556-1238776739 -o /tmp/evaluation-result-1562556-1238776739/solver-1562556-1238776739 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1562556-1238776739.cnf 3 1200 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 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: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.99 0.98 0.99 3/73 29005
/proc/meminfo: memFree=1851584/2055920 swapFree=4176836/4192956
[pid=29005] ppid=29003 vsize=6152 CPUtime=0
/proc/29005/stat : 29005 (satake) S 29003 29005 28726 0 -1 4194304 818 0 0 0 0 0 0 0 20 0 4 0 934062529 6299648 803 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29005/statm: 1538 808 65 163 0 1373 0
[pid=29005/tid=29006] ppid=29003 vsize=6152 CPUtime=0
/proc/29005/task/29006/stat : 29006 (satake) S 29003 29005 28726 0 -1 4194368 7 0 0 0 0 0 0 0 21 0 4 0 934062529 6299648 828 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=29005/tid=29007] ppid=29003 vsize=6152 CPUtime=0
/proc/29005/task/29007/stat : 29007 (satake) R 29003 29005 28726 0 -1 4194368 611 0 0 0 0 0 0 0 21 0 4 0 934062529 6299648 836 1992294400 134512640 135180984 4294956208 18446744073709551615 134583077 0 0 4096 0 0 0 0 -1 1 0 0
[pid=29005/tid=29008] ppid=29003 vsize=6152 CPUtime=0
/proc/29005/task/29008/stat : 29008 (satake) R 29003 29005 28726 0 -1 4194368 150 0 0 0 0 0 0 0 21 0 4 0 934062530 6299648 844 1992294400 134512640 135180984 4294956208 18446744073709551615 134583077 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.0867849 s]
/proc/loadavg: 0.99 0.98 0.99 3/73 29005
/proc/meminfo: memFree=1851584/2055920 swapFree=4176836/4192956
[pid=29005] ppid=29003 vsize=18464 CPUtime=0.15
/proc/29005/stat : 29005 (satake) S 29003 29005 28726 0 -1 4194304 4096 0 0 0 13 2 0 0 20 0 4 0 934062529 18907136 4081 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29005/statm: 4616 4082 65 163 0 4451 0
[pid=29005/tid=29006] ppid=29003 vsize=18464 CPUtime=0
/proc/29005/task/29006/stat : 29006 (satake) S 29003 29005 28726 0 -1 4194368 7 0 0 0 0 0 0 0 21 0 4 0 934062529 18907136 4082 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=29005/tid=29007] ppid=29003 vsize=18464 CPUtime=0.08
/proc/29005/task/29007/stat : 29007 (satake) R 29003 29005 28726 0 -1 4194368 2010 0 0 0 7 1 0 0 16 0 4 0 934062529 18907136 4083 1992294400 134512640 135180984 4294956208 18446744073709551615 134675846 0 0 4096 0 0 0 0 -1 1 0 0
[pid=29005/tid=29008] ppid=29003 vsize=18464 CPUtime=0.07
/proc/29005/task/29008/stat : 29008 (satake) R 29003 29005 28726 0 -1 4194368 1998 0 0 0 6 1 0 0 16 0 4 0 934062530 18907136 4083 1992294400 134512640 135180984 4294956208 18446744073709551615 134579486 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 18464

[startup+0.102206 s]
/proc/loadavg: 0.99 0.98 0.99 3/73 29005
/proc/meminfo: memFree=1851584/2055920 swapFree=4176836/4192956
[pid=29005] ppid=29003 vsize=20016 CPUtime=0.18
/proc/29005/stat : 29005 (satake) S 29003 29005 28726 0 -1 4194304 4424 0 0 0 16 2 0 0 20 0 4 0 934062529 20496384 4409 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29005/statm: 5004 4409 65 163 0 4839 0
[pid=29005/tid=29006] ppid=29003 vsize=20016 CPUtime=0
/proc/29005/task/29006/stat : 29006 (satake) S 29003 29005 28726 0 -1 4194368 7 0 0 0 0 0 0 0 21 0 4 0 934062529 20496384 4409 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=29005/tid=29007] ppid=29003 vsize=20016 CPUtime=0.09
/proc/29005/task/29007/stat : 29007 (satake) R 29003 29005 28726 0 -1 4194368 2179 0 0 0 8 1 0 0 16 0 4 0 934062529 20496384 4409 1992294400 134512640 135180984 4294956208 18446744073709551615 134579486 0 0 4096 0 0 0 0 -1 1 0 0
[pid=29005/tid=29008] ppid=29003 vsize=20016 CPUtime=0.08
/proc/29005/task/29008/stat : 29008 (satake) R 29003 29005 28726 0 -1 4194368 2156 0 0 0 7 1 0 0 16 0 4 0 934062530 20496384 4410 1992294400 134512640 135180984 4294956208 18446744073709551615 134520025 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 20016

[startup+0.3013 s]
/proc/loadavg: 0.99 0.98 0.99 3/73 29005
/proc/meminfo: memFree=1851584/2055920 swapFree=4176836/4192956
[pid=29005] ppid=29003 vsize=23000 CPUtime=0.57
/proc/29005/stat : 29005 (satake) S 29003 29005 28726 0 -1 4194304 7118 0 0 0 51 6 0 0 20 0 4 0 934062529 23552000 5027 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29005/statm: 5750 5027 70 163 0 5585 0
[pid=29005/tid=29006] ppid=29003 vsize=23000 CPUtime=0
/proc/29005/task/29006/stat : 29006 (satake) S 29003 29005 28726 0 -1 4194368 229 0 0 0 0 0 0 0 16 0 4 0 934062529 23552000 5027 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=29005/tid=29007] ppid=29003 vsize=23000 CPUtime=0.27
/proc/29005/task/29007/stat : 29007 (satake) R 29003 29005 28726 0 -1 4194368 3399 0 0 0 25 2 0 0 17 0 4 0 934062529 23552000 5028 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=29005/tid=29008] ppid=29003 vsize=23000 CPUtime=0.28
/proc/29005/task/29008/stat : 29008 (satake) R 29003 29005 28726 0 -1 4194368 3408 0 0 0 25 3 0 0 16 0 4 0 934062530 23552000 5028 1992294400 134512640 135180984 4294956208 18446744073709551615 134675767 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 23000

[startup+0.701343 s]
/proc/loadavg: 0.99 0.98 0.99 3/73 29005
/proc/meminfo: memFree=1851584/2055920 swapFree=4176836/4192956
[pid=29005] ppid=29003 vsize=24684 CPUtime=1.37
/proc/29005/stat : 29005 (satake) S 29003 29005 28726 0 -1 4194304 7506 0 0 0 129 8 0 0 20 0 4 0 934062529 25276416 5415 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29005/statm: 6171 5415 70 163 0 6006 0
[pid=29005/tid=29006] ppid=29003 vsize=24684 CPUtime=0
/proc/29005/task/29006/stat : 29006 (satake) S 29003 29005 28726 0 -1 4194368 230 0 0 0 0 0 0 0 16 0 4 0 934062529 25276416 5415 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=29005/tid=29007] ppid=29003 vsize=24684 CPUtime=0.67
/proc/29005/task/29007/stat : 29007 (satake) R 29003 29005 28726 0 -1 4194368 3648 0 0 0 64 3 0 0 17 0 4 0 934062529 25276416 5415 1992294400 134512640 135180984 4294956208 18446744073709551615 134522872 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29005/tid=29008] ppid=29003 vsize=24684 CPUtime=0.67
/proc/29005/task/29008/stat : 29008 (satake) R 29003 29005 28726 0 -1 4194368 3545 0 0 0 64 3 0 0 17 0 4 0 934062530 25276416 5415 1992294400 134512640 135180984 4294956208 18446744073709551615 134518762 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 24684

[startup+1.50143 s]
/proc/loadavg: 0.99 0.98 0.99 3/77 29009
/proc/meminfo: memFree=1828832/2055920 swapFree=4176836/4192956
[pid=29005] ppid=29003 vsize=26136 CPUtime=2.95
/proc/29005/stat : 29005 (satake) S 29003 29005 28726 0 -1 4194304 8049 0 0 0 284 11 0 0 20 0 4 0 934062529 26763264 5958 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29005/statm: 6534 5958 70 163 0 6369 0
[pid=29005/tid=29006] ppid=29003 vsize=26136 CPUtime=0.01
/proc/29005/task/29006/stat : 29006 (satake) S 29003 29005 28726 0 -1 4194368 235 0 0 0 0 1 0 0 15 0 4 0 934062529 26763264 5958 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=29005/tid=29007] ppid=29003 vsize=26136 CPUtime=1.46
/proc/29005/task/29007/stat : 29007 (satake) R 29003 29005 28726 0 -1 4194368 4027 0 0 0 142 4 0 0 17 0 4 0 934062529 26763264 5958 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29005/tid=29008] ppid=29003 vsize=26136 CPUtime=1.46
/proc/29005/task/29008/stat : 29008 (satake) R 29003 29005 28726 0 -1 4194368 3704 0 0 0 141 5 0 0 17 0 4 0 934062530 26763264 5958 1992294400 134512640 135180984 4294956208 18446744073709551615 134518209 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 26136

[startup+3.10159 s]
/proc/loadavg: 1.07 1.00 1.00 3/77 29009
/proc/meminfo: memFree=1827360/2055920 swapFree=4176836/4192956
[pid=29005] ppid=29003 vsize=30428 CPUtime=6.15
/proc/29005/stat : 29005 (satake) S 29003 29005 28726 0 -1 4194304 9007 0 0 0 597 18 0 0 20 0 4 0 934062529 31158272 6916 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29005/statm: 7607 6916 70 163 0 7442 0
[pid=29005/tid=29006] ppid=29003 vsize=30428 CPUtime=0.05
/proc/29005/task/29006/stat : 29006 (satake) S 29003 29005 28726 0 -1 4194368 244 0 0 0 1 4 0 0 15 0 4 0 934062529 31158272 6916 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=29005/tid=29007] ppid=29003 vsize=30428 CPUtime=3.05
/proc/29005/task/29007/stat : 29007 (satake) R 29003 29005 28726 0 -1 4194368 4505 0 0 0 299 6 0 0 17 0 4 0 934062529 31158272 6916 1992294400 134512640 135180984 4294956208 18446744073709551615 134520863 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29005/tid=29008] ppid=29003 vsize=30428 CPUtime=3.03
/proc/29005/task/29008/stat : 29008 (satake) R 29003 29005 28726 0 -1 4194368 4175 0 0 0 296 7 0 0 17 0 4 0 934062530 31158272 6916 1992294400 134512640 135180984 4294956208 18446744073709551615 134520863 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 30428

[startup+6.30293 s]
/proc/loadavg: 1.07 1.00 1.00 3/77 29009
/proc/meminfo: memFree=1819808/2055920 swapFree=4176836/4192956
[pid=29005] ppid=29003 vsize=37488 CPUtime=12.53
/proc/29005/stat : 29005 (satake) S 29003 29005 28726 0 -1 4194304 10629 0 0 0 1223 30 0 0 20 0 4 0 934062529 38387712 8538 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29005/statm: 9372 8538 70 163 0 9207 0
[pid=29005/tid=29006] ppid=29003 vsize=37488 CPUtime=0.11
/proc/29005/task/29006/stat : 29006 (satake) S 29003 29005 28726 0 -1 4194368 262 0 0 0 2 9 0 0 15 0 4 0 934062529 38387712 8538 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=29005/tid=29007] ppid=29003 vsize=37488 CPUtime=6.22
/proc/29005/task/29007/stat : 29007 (satake) R 29003 29005 28726 0 -1 4194368 5567 0 0 0 612 10 0 0 16 0 4 0 934062529 38387712 8538 1992294400 134512640 135180984 4294956208 18446744073709551615 134518214 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29005/tid=29008] ppid=29003 vsize=37488 CPUtime=6.19
/proc/29005/task/29008/stat : 29008 (satake) R 29003 29005 28726 0 -1 4194368 4717 0 0 0 608 11 0 0 17 0 4 0 934062530 38387712 8538 1992294400 134512640 135180984 4294956208 18446744073709551615 134519096 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 37488

[startup+12.7016 s]
/proc/loadavg: 1.22 1.03 1.01 3/77 29009
/proc/meminfo: memFree=1799144/2055920 swapFree=4176836/4192956
[pid=29005] ppid=29003 vsize=58128 CPUtime=25.29
/proc/29005/stat : 29005 (satake) S 29003 29005 28726 0 -1 4194304 15841 0 0 0 2485 44 0 0 20 0 4 0 934062529 59523072 13750 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29005/statm: 14532 13750 70 163 0 14367 0
[pid=29005/tid=29006] ppid=29003 vsize=58128 CPUtime=0.17
/proc/29005/task/29006/stat : 29006 (satake) S 29003 29005 28726 0 -1 4194368 279 0 0 0 4 13 0 0 16 0 4 0 934062529 59523072 13750 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=29005/tid=29007] ppid=29003 vsize=58128 CPUtime=12.59
/proc/29005/task/29007/stat : 29007 (satake) R 29003 29005 28726 0 -1 4194368 9013 0 0 0 1244 15 0 0 17 0 4 0 934062529 59523072 13750 1992294400 134512640 135180984 4294956208 18446744073709551615 134528633 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29005/tid=29008] ppid=29003 vsize=58128 CPUtime=12.52
/proc/29005/task/29008/stat : 29008 (satake) R 29003 29005 28726 0 -1 4194368 6466 0 0 0 1237 15 0 0 18 0 4 0 934062530 59523072 13750 1992294400 134512640 135180984 4294956208 18446744073709551615 134518582 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 58128

[startup+25.503 s]
/proc/loadavg: 1.34 1.06 1.02 3/77 29009
/proc/meminfo: memFree=1780200/2055920 swapFree=4176836/4192956
[pid=29005] ppid=29003 vsize=73916 CPUtime=50.81
/proc/29005/stat : 29005 (satake) S 29003 29005 28726 0 -1 4194304 19933 0 0 0 5000 81 0 0 20 0 4 0 934062529 75689984 17842 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29005/statm: 18479 17842 70 163 0 18314 0
[pid=29005/tid=29006] ppid=29003 vsize=73916 CPUtime=0.36
/proc/29005/task/29006/stat : 29006 (satake) S 29003 29005 28726 0 -1 4194368 347 0 0 0 8 28 0 0 15 0 4 0 934062529 75689984 17842 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=29005/tid=29007] ppid=29003 vsize=73916 CPUtime=25.21
/proc/29005/task/29007/stat : 29007 (satake) R 29003 29005 28726 0 -1 4194368 11273 0 0 0 2496 25 0 0 18 0 4 0 934062529 75689984 17842 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=29005/tid=29008] ppid=29003 vsize=73916 CPUtime=25.21
/proc/29005/task/29008/stat : 29008 (satake) R 29003 29005 28726 0 -1 4194368 8230 0 0 0 2494 27 0 0 17 0 4 0 934062530 75689984 17842 1992294400 134512640 135180984 4294956208 18446744073709551615 134528252 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.81
Current children cumulated vsize (KiB) 73916

[startup+51.1027 s]
/proc/loadavg: 1.56 1.14 1.04 3/77 29009
/proc/meminfo: memFree=1755496/2055920 swapFree=4176836/4192956
[pid=29005] ppid=29003 vsize=99340 CPUtime=101.87
/proc/29005/stat : 29005 (satake) S 29003 29005 28726 0 -1 4194304 26144 0 0 0 10047 140 0 0 20 0 4 0 934062529 101724160 24053 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29005/statm: 24835 24053 70 163 0 24670 0
[pid=29005/tid=29006] ppid=29003 vsize=99340 CPUtime=0.66
/proc/29005/task/29006/stat : 29006 (satake) S 29003 29005 28726 0 -1 4194368 453 0 0 0 14 52 0 0 15 0 4 0 934062529 101724160 24053 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=29005/tid=29007] ppid=29003 vsize=99340 CPUtime=50.57
/proc/29005/task/29007/stat : 29007 (satake) R 29003 29005 28726 0 -1 4194368 13702 0 0 0 5015 42 0 0 17 0 4 0 934062529 101724160 24053 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29005/tid=29008] ppid=29003 vsize=99340 CPUtime=50.63
/proc/29005/task/29008/stat : 29008 (satake) R 29003 29005 28726 0 -1 4194368 11906 0 0 0 5018 45 0 0 19 0 4 0 934062530 101724160 24053 1992294400 134512640 135180984 4294956208 18446744073709551615 134528633 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.87
Current children cumulated vsize (KiB) 99340

[startup+102.307 s]
/proc/loadavg: 1.82 1.28 1.10 3/77 29009
/proc/meminfo: memFree=1714472/2055920 swapFree=4176836/4192956
[pid=29005] ppid=29003 vsize=139676 CPUtime=204
/proc/29005/stat : 29005 (satake) S 29003 29005 28726 0 -1 4194304 36290 0 0 0 20172 228 0 0 20 0 4 0 934062529 143028224 34199 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29005/statm: 34919 34199 70 163 0 34754 0
[pid=29005/tid=29006] ppid=29003 vsize=139676 CPUtime=1.16
/proc/29005/task/29006/stat : 29006 (satake) S 29003 29005 28726 0 -1 4194368 616 0 0 0 27 89 0 0 15 0 4 0 934062529 143028224 34199 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=29005/tid=29007] ppid=29003 vsize=139676 CPUtime=101.5
/proc/29005/task/29007/stat : 29007 (satake) R 29003 29005 28726 0 -1 4194368 19126 0 0 0 10083 67 0 0 25 0 4 0 934062529 143028224 34199 1992294400 134512640 135180984 4294956208 18446744073709551615 134528760 0 0 4096 0 0 0 0 -1 1 0 0
[pid=29005/tid=29008] ppid=29003 vsize=139676 CPUtime=101.32
/proc/29005/task/29008/stat : 29008 (satake) R 29003 29005 28726 0 -1 4194368 16465 0 0 0 10061 71 0 0 25 0 4 0 934062530 143028224 34199 1992294400 134512640 135180984 4294956208 18446744073709551615 134528425 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 204
Current children cumulated vsize (KiB) 139676

[startup+162.302 s]
/proc/loadavg: 1.93 1.41 1.15 3/77 29009
/proc/meminfo: memFree=1680936/2055920 swapFree=4176836/4192956
[pid=29005] ppid=29003 vsize=174576 CPUtime=323.67
/proc/29005/stat : 29005 (satake) S 29003 29005 28726 0 -1 4194304 44779 0 0 0 32059 308 0 0 20 0 4 0 934062529 178765824 42688 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29005/statm: 43644 42688 70 163 0 43479 0
[pid=29005/tid=29006] ppid=29003 vsize=174576 CPUtime=1.58
/proc/29005/task/29006/stat : 29006 (satake) S 29003 29005 28726 0 -1 4194368 758 0 0 0 37 121 0 0 15 0 4 0 934062529 178765824 42688 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=29005/tid=29007] ppid=29003 vsize=174576 CPUtime=160.99
/proc/29005/task/29007/stat : 29007 (satake) R 29003 29005 28726 0 -1 4194368 23568 0 0 0 16008 91 0 0 19 0 4 0 934062529 178765824 42688 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29005/tid=29008] ppid=29003 vsize=174576 CPUtime=161.08
/proc/29005/task/29008/stat : 29008 (satake) R 29003 29005 28726 0 -1 4194368 20370 0 0 0 16013 95 0 0 25 0 4 0 934062530 178765824 42688 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 323.67
Current children cumulated vsize (KiB) 174576

[startup+222.303 s]
/proc/loadavg: 1.97 1.51 1.20 3/77 29009
/proc/meminfo: memFree=1646504/2055920 swapFree=4176836/4192956
[pid=29005] ppid=29003 vsize=207536 CPUtime=443.35
/proc/29005/stat : 29005 (satake) S 29003 29005 28726 0 -1 4194304 53206 0 0 0 43962 373 0 0 20 0 4 0 934062529 212516864 51115 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29005/statm: 51884 51115 70 163 0 51719 0
[pid=29005/tid=29006] ppid=29003 vsize=207536 CPUtime=1.9
/proc/29005/task/29006/stat : 29006 (satake) S 29003 29005 28726 0 -1 4194368 856 0 0 0 46 144 0 0 15 0 4 0 934062529 212516864 51115 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=29005/tid=29007] ppid=29003 vsize=207536 CPUtime=220.52
/proc/29005/task/29007/stat : 29007 (satake) R 29003 29005 28726 0 -1 4194368 27628 0 0 0 21941 111 0 0 25 0 4 0 934062529 212516864 51115 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29005/tid=29008] ppid=29003 vsize=207536 CPUtime=220.9
/proc/29005/task/29008/stat : 29008 (satake) R 29003 29005 28726 0 -1 4194368 24639 0 0 0 21974 116 0 0 25 0 4 0 934062530 212516864 51115 1992294400 134512640 135180984 4294956208 18446744073709551615 134528749 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 443.35
Current children cumulated vsize (KiB) 207536

[startup+282.303 s]
/proc/loadavg: 1.99 1.60 1.25 3/77 29009
/proc/meminfo: memFree=1612136/2055920 swapFree=4176836/4192956
[pid=29005] ppid=29003 vsize=243224 CPUtime=563.04
/proc/29005/stat : 29005 (satake) S 29003 29005 28726 0 -1 4194304 61862 0 0 0 55877 427 0 0 20 0 4 0 934062529 249061376 59771 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29005/statm: 60806 59771 70 163 0 60641 0
[pid=29005/tid=29006] ppid=29003 vsize=243224 CPUtime=2.18
/proc/29005/task/29006/stat : 29006 (satake) S 29003 29005 28726 0 -1 4194368 937 0 0 0 53 165 0 0 15 0 4 0 934062529 249061376 59771 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=29005/tid=29007] ppid=29003 vsize=243224 CPUtime=280.1
/proc/29005/task/29007/stat : 29007 (satake) R 29003 29005 28726 0 -1 4194368 32357 0 0 0 27880 130 0 0 25 0 4 0 934062529 249061376 59771 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29005/tid=29008] ppid=29003 vsize=243224 CPUtime=280.75
/proc/29005/task/29008/stat : 29008 (satake) R 29003 29005 28726 0 -1 4194368 28485 0 0 0 27943 132 0 0 25 0 4 0 934062530 249061376 59771 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 563.04
Current children cumulated vsize (KiB) 243224

[startup+342.302 s]
/proc/loadavg: 1.99 1.67 1.29 3/77 29009
/proc/meminfo: memFree=1579752/2055920 swapFree=4176836/4192956
[pid=29005] ppid=29003 vsize=273904 CPUtime=682.73
/proc/29005/stat : 29005 (satake) S 29003 29005 28726 0 -1 4194304 69861 0 0 0 67797 476 0 0 20 0 4 0 934062529 280477696 67770 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29005/statm: 68476 67770 70 163 0 68311 0
[pid=29005/tid=29006] ppid=29003 vsize=273904 CPUtime=2.41
/proc/29005/task/29006/stat : 29006 (satake) S 29003 29005 28726 0 -1 4194368 1021 0 0 0 59 182 0 0 15 0 4 0 934062529 280477696 67770 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=29005/tid=29007] ppid=29003 vsize=273904 CPUtime=339.69
/proc/29005/task/29007/stat : 29007 (satake) R 29003 29005 28726 0 -1 4194368 36510 0 0 0 33824 145 0 0 25 0 4 0 934062529 280477696 67770 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29005/tid=29008] ppid=29003 vsize=273904 CPUtime=340.61
/proc/29005/task/29008/stat : 29008 (satake) R 29003 29005 28726 0 -1 4194368 32247 0 0 0 33913 148 0 0 25 0 4 0 934062530 280477696 67770 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 682.73
Current children cumulated vsize (KiB) 273904

[startup+402.303 s]
/proc/loadavg: 1.99 1.73 1.33 3/77 29009
/proc/meminfo: memFree=1550824/2055920 swapFree=4176836/4192956
[pid=29005] ppid=29003 vsize=304980 CPUtime=802.43
/proc/29005/stat : 29005 (satake) S 29003 29005 28726 0 -1 4194304 77095 0 0 0 79724 519 0 0 20 0 4 0 934062529 312299520 75004 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29005/statm: 76245 75004 70 163 0 76080 0
[pid=29005/tid=29006] ppid=29003 vsize=304980 CPUtime=2.61
/proc/29005/task/29006/stat : 29006 (satake) S 29003 29005 28726 0 -1 4194368 1097 0 0 0 64 197 0 0 15 0 4 0 934062529 312299520 75004 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=29005/tid=29007] ppid=29003 vsize=304980 CPUtime=399.29
/proc/29005/task/29007/stat : 29007 (satake) R 29003 29005 28726 0 -1 4194368 41065 0 0 0 39771 158 0 0 25 0 4 0 934062529 312299520 75004 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29005/tid=29008] ppid=29003 vsize=304980 CPUtime=400.49
/proc/29005/task/29008/stat : 29008 (satake) R 29003 29005 28726 0 -1 4194368 34850 0 0 0 39887 162 0 0 25 0 4 0 934062530 312299520 75004 1992294400 134512640 135180984 4294956208 18446744073709551615 134518209 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 802.43
Current children cumulated vsize (KiB) 304980

[startup+462.302 s]
/proc/loadavg: 1.99 1.77 1.37 3/77 29009
/proc/meminfo: memFree=1517352/2055920 swapFree=4176836/4192956
[pid=29005] ppid=29003 vsize=337736 CPUtime=922.1
/proc/29005/stat : 29005 (satake) S 29003 29005 28726 0 -1 4194304 85461 0 0 0 91651 559 0 0 20 0 4 0 934062529 345841664 83370 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29005/statm: 84434 83370 70 163 0 84269 0
[pid=29005/tid=29006] ppid=29003 vsize=337736 CPUtime=2.81
/proc/29005/task/29006/stat : 29006 (satake) S 29003 29005 28726 0 -1 4194368 1166 0 0 0 70 211 0 0 15 0 4 0 934062529 345841664 83370 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=29005/tid=29007] ppid=29003 vsize=337736 CPUtime=458.91
/proc/29005/task/29007/stat : 29007 (satake) R 29003 29005 28726 0 -1 4194368 46065 0 0 0 45719 172 0 0 25 0 4 0 934062529 345841664 83370 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29005/tid=29008] ppid=29003 vsize=337736 CPUtime=460.37
/proc/29005/task/29008/stat : 29008 (satake) R 29003 29005 28726 0 -1 4194368 38147 0 0 0 45862 175 0 0 25 0 4 0 934062530 345841664 83370 1992294400 134512640 135180984 4294956208 18446744073709551615 134528655 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 922.1
Current children cumulated vsize (KiB) 337736

[startup+522.302 s]
/proc/loadavg: 1.99 1.81 1.41 3/77 29009
/proc/meminfo: memFree=1480424/2055920 swapFree=4176836/4192956
[pid=29005] ppid=29003 vsize=374468 CPUtime=1041.8
/proc/29005/stat : 29005 (satake) S 29003 29005 28726 0 -1 4194304 94750 0 0 0 103584 596 0 0 20 0 4 0 934062529 383455232 92659 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29005/statm: 93617 92659 70 163 0 93452 0
[pid=29005/tid=29006] ppid=29003 vsize=374468 CPUtime=2.96
/proc/29005/task/29006/stat : 29006 (satake) S 29003 29005 28726 0 -1 4194368 1218 0 0 0 74 222 0 0 15 0 4 0 934062529 383455232 92659 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=29005/tid=29007] ppid=29003 vsize=374468 CPUtime=518.53
/proc/29005/task/29007/stat : 29007 (satake) R 29003 29005 28726 0 -1 4194368 49643 0 0 0 51671 182 0 0 25 0 4 0 934062529 383455232 92659 1992294400 134512640 135180984 4294956208 18446744073709551615 134528677 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29005/tid=29008] ppid=29003 vsize=374468 CPUtime=520.28
/proc/29005/task/29008/stat : 29008 (satake) R 29003 29005 28726 0 -1 4194368 43806 0 0 0 51838 190 0 0 25 0 4 0 934062530 383455232 92659 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1041.8
Current children cumulated vsize (KiB) 374468

[startup+582.303 s]
/proc/loadavg: 1.99 1.84 1.44 3/77 29009
/proc/meminfo: memFree=1454632/2055920 swapFree=4176836/4192956
[pid=29005] ppid=29003 vsize=401112 CPUtime=1161.49
/proc/29005/stat : 29005 (satake) S 29003 29005 28726 0 -1 4194304 101142 0 0 0 115517 632 0 0 20 0 4 0 934062529 410738688 99051 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29005/statm: 100278 99051 70 163 0 100113 0
[pid=29005/tid=29006] ppid=29003 vsize=401112 CPUtime=3.12
/proc/29005/task/29006/stat : 29006 (satake) S 29003 29005 28726 0 -1 4194368 1271 0 0 0 79 233 0 0 15 0 4 0 934062529 410738688 99051 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=29005/tid=29007] ppid=29003 vsize=401112 CPUtime=578.16
/proc/29005/task/29007/stat : 29007 (satake) R 29003 29005 28726 0 -1 4194368 52399 0 0 0 57622 194 0 0 25 0 4 0 934062529 410738688 99051 1992294400 134512640 135180984 4294956208 18446744073709551615 134520661 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29005/tid=29008] ppid=29003 vsize=401112 CPUtime=580.18
/proc/29005/task/29008/stat : 29008 (satake) R 29003 29005 28726 0 -1 4194368 47389 0 0 0 57815 203 0 0 25 0 4 0 934062530 410738688 99051 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1161.49
Current children cumulated vsize (KiB) 401112



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.707 s]
/proc/loadavg: 1.99 1.85 1.45 3/77 29009
/proc/meminfo: memFree=1444072/2055920 swapFree=4176836/4192956
[pid=29005] ppid=29003 vsize=410540 CPUtime=1200.2
/proc/29005/stat : 29005 (satake) S 29003 29005 28726 0 -1 4194304 103701 0 0 0 119377 643 0 0 20 0 4 0 934062529 420392960 101610 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29005/statm: 102635 101610 70 163 0 102470 0
[pid=29005/tid=29006] ppid=29003 vsize=410540 CPUtime=3.17
/proc/29005/task/29006/stat : 29006 (satake) S 29003 29005 28726 0 -1 4194368 1285 0 0 0 80 237 0 0 15 0 4 0 934062529 420392960 101610 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=29005/tid=29007] ppid=29003 vsize=410540 CPUtime=597.44
/proc/29005/task/29007/stat : 29007 (satake) R 29003 29005 28726 0 -1 4194368 53869 0 0 0 59548 196 0 0 25 0 4 0 934062529 420392960 101610 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29005/tid=29008] ppid=29003 vsize=410540 CPUtime=599.56
/proc/29005/task/29008/stat : 29008 (satake) R 29003 29005 28726 0 -1 4194368 48464 0 0 0 59748 208 0 0 25 0 4 0 934062530 420392960 101610 1992294400 134512640 135180984 4294956208 18446744073709551615 134528683 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1200.2
Current children cumulated vsize (KiB) 410540

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

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

[startup+601.707 s]
/proc/loadavg: 1.99 1.85 1.45 3/77 29009
/proc/meminfo: memFree=1444072/2055920 swapFree=4176836/4192956
[pid=29005] ppid=29003 vsize=410540 CPUtime=1200.2
/proc/29005/stat : 29005 (satake) S 29003 29005 28726 0 -1 4194304 103701 0 0 0 119377 643 0 0 20 0 4 0 934062529 420392960 101610 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29005/statm: 102635 101610 70 163 0 102470 0
[pid=29005/tid=29006] ppid=29003 vsize=410540 CPUtime=3.17
/proc/29005/task/29006/stat : 29006 (satake) S 29003 29005 28726 0 -1 4194368 1285 0 0 0 80 237 0 0 15 0 4 0 934062529 420392960 101610 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=29005/tid=29007] ppid=29003 vsize=410540 CPUtime=597.44
/proc/29005/task/29007/stat : 29007 (satake) R 29003 29005 28726 0 -1 4194368 53869 0 0 0 59548 196 0 0 25 0 4 0 934062529 420392960 101610 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29005/tid=29008] ppid=29003 vsize=410540 CPUtime=599.56
/proc/29005/task/29008/stat : 29008 (satake) R 29003 29005 28726 0 -1 4194368 48464 0 0 0 59748 208 0 0 25 0 4 0 934062530 420392960 101610 1992294400 134512640 135180984 4294956208 18446744073709551615 134528683 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1200.2
Current children cumulated vsize (KiB) 410540

Child ended because it received signal 15 (SIGTERM)
Real time (s): 601.783
CPU time (s): 1200.28
CPU user time (s): 1193.78
CPU system time (s): 6.50201
CPU usage (%): 199.455
Max. virtual memory (cumulated for all children) (KiB): 410540

deleting IPC queue 3112960
deleting IPC queue 3145729
deleting IPC queue 3178498
deleting IPC queue 3211267
deleting IPC queue 3244036
deleting IPC queue 3276805
deleting IPC queue 3309574
deleting IPC queue 3342343
deleting IPC queue 3375112

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1193.78
system time used= 6.50201
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 103701
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= 471285
involuntary context switches= 476488

runsolver used 0.763883 second user time and 1.9897 second system time

The end

Launcher Data 

Begin job on node82 at 2009-04-03 18:38:59
IDJOB=1562556
IDBENCH=70936
IDSOLVER=553
FILE ID=node82/1562556-1238776739
PBS_JOBID= 9085547
Free space on /tmp= 66496 MiB

SOLVER NAME= satake 2009-03-22
BENCH NAME= SAT09/APPLICATIONS/edgematching/fbcolors/em_12_2_4_fbc.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1562556-1238776739/watcher-1562556-1238776739 -o /tmp/evaluation-result-1562556-1238776739/solver-1562556-1238776739 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1562556-1238776739.cnf 3 1200

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 3

MD5SUM BENCH= 9fee570f53de23cb47dfa378d421371e
RANDOM SEED=2007485801

node82.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.232
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.232
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1852064 kB
Buffers:         35824 kB
Cached:          83872 kB
SwapCached:       7192 kB
Active:          23536 kB
Inactive:       105520 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1852064 kB
SwapTotal:     4192956 kB
SwapFree:      4176836 kB
Dirty:            4900 kB
Writeback:           0 kB
Mapped:          14980 kB
Slab:            59884 kB
Committed_AS:  2575036 kB
PageTables:       1996 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66496 MiB
End job on node82 at 2009-04-03 18:49:03