Trace number 1732440

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.1 680.738

General information on the benchmark

NameCRAFTED/sgen/sat/
sgen1-sat-220-100.cnf
MD5SUM9acdfc35e72435abc5da6ab9203455c3
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark5.55815
Satisfiable
(Un)Satisfiability was proved
Number of variables220
Number of clauses528
Sum of the clauses size1320
Maximum clause length5
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2440
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 588
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:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1732440-1240780780/watcher-1732440-1240780780 -o /tmp/evaluation-result-1732440-1240780780/solver-1732440-1240780780 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1732440-1240780780.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.91 0.95 0.98 3/64 27277
/proc/meminfo: memFree=1398088/2055920 swapFree=4181276/4192956
[pid=27277] ppid=27275 vsize=1128 CPUtime=0
/proc/27277/stat : 27277 (satake) S 27275 27277 27120 0 -1 4194304 137 0 0 0 0 0 0 0 18 0 4 0 106105739 1155072 122 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27277/statm: 282 122 68 163 0 117 0
[pid=27277/tid=27278] ppid=27275 vsize=1128 CPUtime=0
/proc/27277/task/27278/stat : 27278 (satake) S 27275 27277 27120 0 -1 4194368 10 0 0 0 0 0 0 0 19 0 4 0 106105739 1155072 122 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=27277/tid=27279] ppid=27275 vsize=1128 CPUtime=0
/proc/27277/task/27279/stat : 27279 (satake) R 27275 27277 27120 0 -1 4194368 27 0 0 0 0 0 0 0 19 0 4 0 106105739 1155072 122 1992294400 134512640 135180984 4294956208 18446744073709551615 134531534 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27277/tid=27280] ppid=27275 vsize=1128 CPUtime=0
/proc/27277/task/27280/stat : 27280 (satake) R 27275 27277 27120 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 4 0 106105739 1155072 122 1992294400 134512640 135180984 4294956208 18446744073709551615 134528866 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.0142789 s]
/proc/loadavg: 0.91 0.95 0.98 3/64 27277
/proc/meminfo: memFree=1398088/2055920 swapFree=4181276/4192956
[pid=27277] ppid=27275 vsize=2152 CPUtime=0.01
/proc/27277/stat : 27277 (satake) S 27275 27277 27120 0 -1 4194304 152 0 0 0 1 0 0 0 18 0 4 0 106105739 2203648 137 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27277/statm: 538 137 70 163 0 373 0
[pid=27277/tid=27278] ppid=27275 vsize=2152 CPUtime=0
/proc/27277/task/27278/stat : 27278 (satake) R 27275 27277 27120 0 -1 4194368 12 0 0 0 0 0 0 0 16 0 4 0 106105739 2203648 137 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=27277/tid=27279] ppid=27275 vsize=2152 CPUtime=0
/proc/27277/task/27279/stat : 27279 (satake) S 27275 27277 27120 0 -1 4194368 35 0 0 0 0 0 0 0 16 0 4 0 106105739 2203648 137 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=27277/tid=27280] ppid=27275 vsize=2152 CPUtime=0
/proc/27277/task/27280/stat : 27280 (satake) R 27275 27277 27120 0 -1 4194368 22 0 0 0 0 0 0 0 19 0 4 0 106105739 2203648 137 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2152

[startup+0.101406 s]
/proc/loadavg: 0.91 0.95 0.98 3/64 27277
/proc/meminfo: memFree=1398088/2055920 swapFree=4181276/4192956
[pid=27277] ppid=27275 vsize=2284 CPUtime=0.13
/proc/27277/stat : 27277 (satake) S 27275 27277 27120 0 -1 4194304 178 0 0 0 10 3 0 0 18 0 4 0 106105739 2338816 163 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27277/statm: 571 163 70 163 0 406 0
[pid=27277/tid=27278] ppid=27275 vsize=2284 CPUtime=0.02
/proc/27277/task/27278/stat : 27278 (satake) R 27275 27277 27120 0 -1 4194368 17 0 0 0 0 2 0 0 17 0 4 0 106105739 2338816 163 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27277/tid=27279] ppid=27275 vsize=2284 CPUtime=0.05
/proc/27277/task/27279/stat : 27279 (satake) R 27275 27277 27120 0 -1 4194368 46 0 0 0 5 0 0 0 17 0 4 0 106105739 2338816 163 1992294400 134512640 135180984 4294956208 18446744073709551615 134682134 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27277/tid=27280] ppid=27275 vsize=2284 CPUtime=0.04
/proc/27277/task/27280/stat : 27280 (satake) S 27275 27277 27120 0 -1 4194368 32 0 0 0 4 0 0 0 16 0 4 0 106105739 2338816 163 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 2284

[startup+0.301426 s]
/proc/loadavg: 0.91 0.95 0.98 3/64 27277
/proc/meminfo: memFree=1398088/2055920 swapFree=4181276/4192956
[pid=27277] ppid=27275 vsize=2416 CPUtime=0.43
/proc/27277/stat : 27277 (satake) S 27275 27277 27120 0 -1 4194304 202 0 0 0 34 9 0 0 18 0 4 0 106105739 2473984 187 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27277/statm: 604 187 70 163 0 439 0
[pid=27277/tid=27278] ppid=27275 vsize=2416 CPUtime=0.05
/proc/27277/task/27278/stat : 27278 (satake) R 27275 27277 27120 0 -1 4194368 22 0 0 0 0 5 0 0 17 0 4 0 106105739 2473984 187 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27277/tid=27279] ppid=27275 vsize=2416 CPUtime=0.19
/proc/27277/task/27279/stat : 27279 (satake) R 27275 27277 27120 0 -1 4194368 60 0 0 0 17 2 0 0 16 0 4 0 106105739 2473984 187 1992294400 134512640 135180984 4294956208 18446744073709551615 134518265 0 0 4096 0 0 0 0 -1 0 0 0
[pid=27277/tid=27280] ppid=27275 vsize=2416 CPUtime=0.16
/proc/27277/task/27280/stat : 27280 (satake) S 27275 27277 27120 0 -1 4194368 37 0 0 0 15 1 0 0 16 0 4 0 106105739 2473984 187 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 2416

[startup+0.70147 s]
/proc/loadavg: 0.91 0.95 0.98 3/64 27277
/proc/meminfo: memFree=1398088/2055920 swapFree=4181276/4192956
[pid=27277] ppid=27275 vsize=2544 CPUtime=1.04
/proc/27277/stat : 27277 (satake) S 27275 27277 27120 0 -1 4194304 254 0 0 0 84 20 0 0 18 0 4 0 106105739 2605056 239 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27277/statm: 636 239 70 163 0 471 0
[pid=27277/tid=27278] ppid=27275 vsize=2544 CPUtime=0.13
/proc/27277/task/27278/stat : 27278 (satake) R 27275 27277 27120 0 -1 4194368 31 0 0 0 2 11 0 0 17 0 4 0 106105739 2605056 239 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=27277/tid=27279] ppid=27275 vsize=2544 CPUtime=0.45
/proc/27277/task/27279/stat : 27279 (satake) R 27275 27277 27120 0 -1 4194368 81 0 0 0 40 5 0 0 15 0 4 0 106105739 2605056 239 1992294400 134512640 135180984 4294956208 18446744073709551615 134530765 0 0 4096 0 0 0 0 -1 0 0 0
[pid=27277/tid=27280] ppid=27275 vsize=2544 CPUtime=0.44
/proc/27277/task/27280/stat : 27280 (satake) S 27275 27277 27120 0 -1 4194368 59 0 0 0 40 4 0 0 16 0 4 0 106105739 2605056 239 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.04
Current children cumulated vsize (KiB) 2544

[startup+1.50155 s]
/proc/loadavg: 0.91 0.95 0.98 3/68 27281
/proc/meminfo: memFree=1397160/2055920 swapFree=4181276/4192956
[pid=27277] ppid=27275 vsize=2808 CPUtime=2.29
/proc/27277/stat : 27277 (satake) S 27275 27277 27120 0 -1 4194304 326 0 0 0 190 39 0 0 18 0 4 0 106105739 2875392 311 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27277/statm: 702 311 70 163 0 537 0
[pid=27277/tid=27278] ppid=27275 vsize=2808 CPUtime=0.24
/proc/27277/task/27278/stat : 27278 (satake) R 27275 27277 27120 0 -1 4194368 56 0 0 0 3 21 0 0 16 0 4 0 106105739 2875392 311 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27277/tid=27279] ppid=27275 vsize=2808 CPUtime=1.01
/proc/27277/task/27279/stat : 27279 (satake) S 27275 27277 27120 0 -1 4194368 110 0 0 0 93 8 0 0 15 0 4 0 106105739 2875392 311 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=27277/tid=27280] ppid=27275 vsize=2808 CPUtime=1.02
/proc/27277/task/27280/stat : 27280 (satake) R 27275 27277 27120 0 -1 4194368 77 0 0 0 93 9 0 0 16 0 4 0 106105739 2875392 311 1992294400 134512640 135180984 4294956208 18446744073709551615 134526403 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.29
Current children cumulated vsize (KiB) 2808

[startup+3.10173 s]
/proc/loadavg: 1.00 0.97 0.99 3/68 27281
/proc/meminfo: memFree=1396648/2055920 swapFree=4181276/4192956
[pid=27277] ppid=27275 vsize=3336 CPUtime=4.8
/proc/27277/stat : 27277 (satake) S 27275 27277 27120 0 -1 4194304 461 0 0 0 406 74 0 0 18 0 4 0 106105739 3416064 446 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27277/statm: 834 446 70 163 0 669 0
[pid=27277/tid=27278] ppid=27275 vsize=3336 CPUtime=0.44
/proc/27277/task/27278/stat : 27278 (satake) R 27275 27277 27120 0 -1 4194368 114 0 0 0 8 36 0 0 16 0 4 0 106105739 3416064 446 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=27277/tid=27279] ppid=27275 vsize=3336 CPUtime=2.17
/proc/27277/task/27279/stat : 27279 (satake) R 27275 27277 27120 0 -1 4194368 155 0 0 0 199 18 0 0 15 0 4 0 106105739 3416064 446 1992294400 134512640 135180984 4294956208 18446744073709551615 134528595 0 0 4096 0 0 0 0 -1 0 0 0
[pid=27277/tid=27280] ppid=27275 vsize=3336 CPUtime=2.18
/proc/27277/task/27280/stat : 27280 (satake) R 27275 27277 27120 0 -1 4194368 109 0 0 0 199 19 0 0 16 0 4 0 106105739 3416064 446 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4.8
Current children cumulated vsize (KiB) 3336

[startup+6.30207 s]
/proc/loadavg: 1.00 0.97 0.99 3/68 27281
/proc/meminfo: memFree=1395560/2055920 swapFree=4181276/4192956
[pid=27277] ppid=27275 vsize=4264 CPUtime=9.89
/proc/27277/stat : 27277 (satake) S 27275 27277 27120 0 -1 4194304 708 0 0 0 840 149 0 0 18 0 4 0 106105739 4366336 693 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27277/statm: 1066 693 70 163 0 901 0
[pid=27277/tid=27278] ppid=27275 vsize=4264 CPUtime=0.85
/proc/27277/task/27278/stat : 27278 (satake) S 27275 27277 27120 0 -1 4194368 286 0 0 0 16 69 0 0 16 0 4 0 106105739 4366336 693 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=27277/tid=27279] ppid=27275 vsize=4264 CPUtime=4.46
/proc/27277/task/27279/stat : 27279 (satake) R 27275 27277 27120 0 -1 4194368 191 0 0 0 408 38 0 0 16 0 4 0 106105739 4366336 693 1992294400 134512640 135180984 4294956208 18446744073709551615 134526340 0 0 4096 0 0 0 0 -1 0 0 0
[pid=27277/tid=27280] ppid=27275 vsize=4264 CPUtime=4.55
/proc/27277/task/27280/stat : 27280 (satake) R 27275 27277 27120 0 -1 4194368 148 0 0 0 415 40 0 0 16 0 4 0 106105739 4366336 693 1992294400 134512640 135180984 4294956208 18446744073709551615 134528470 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 9.89
Current children cumulated vsize (KiB) 4264

[startup+12.7018 s]
/proc/loadavg: 1.08 0.99 0.99 3/68 27281
/proc/meminfo: memFree=1393640/2055920 swapFree=4181276/4192956
[pid=27277] ppid=27275 vsize=6012 CPUtime=20.05
/proc/27277/stat : 27277 (satake) S 27275 27277 27120 0 -1 4194304 1144 0 0 0 1719 286 0 0 18 0 4 0 106105739 6156288 1129 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27277/statm: 1503 1129 70 163 0 1338 0
[pid=27277/tid=27278] ppid=27275 vsize=6012 CPUtime=1.66
/proc/27277/task/27278/stat : 27278 (satake) S 27275 27277 27120 0 -1 4194368 600 0 0 0 34 132 0 0 16 0 4 0 106105739 6156288 1129 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=27277/tid=27279] ppid=27275 vsize=6012 CPUtime=9.02
/proc/27277/task/27279/stat : 27279 (satake) R 27275 27277 27120 0 -1 4194368 254 0 0 0 826 76 0 0 16 0 4 0 106105739 6156288 1129 1992294400 134512640 135180984 4294956208 18446744073709551615 134528760 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27277/tid=27280] ppid=27275 vsize=6012 CPUtime=9.35
/proc/27277/task/27280/stat : 27280 (satake) R 27275 27277 27120 0 -1 4194368 207 0 0 0 858 77 0 0 16 0 4 0 106105739 6156288 1129 1992294400 134512640 135180984 4294956208 18446744073709551615 134527235 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 20.05
Current children cumulated vsize (KiB) 6012

[startup+25.5011 s]
/proc/loadavg: 1.35 1.05 1.01 3/68 27281
/proc/meminfo: memFree=1390760/2055920 swapFree=4181276/4192956
[pid=27277] ppid=27275 vsize=9044 CPUtime=41.22
/proc/27277/stat : 27277 (satake) S 27275 27277 27120 0 -1 4194304 1880 0 0 0 3573 549 0 0 18 0 4 0 106105739 9261056 1865 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27277/statm: 2261 1865 70 163 0 2096 0
[pid=27277/tid=27278] ppid=27275 vsize=9044 CPUtime=3.14
/proc/27277/task/27278/stat : 27278 (satake) R 27275 27277 27120 0 -1 4194368 1170 0 0 0 67 247 0 0 15 0 4 0 106105739 9261056 1865 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=27277/tid=27279] ppid=27275 vsize=9044 CPUtime=18.91
/proc/27277/task/27279/stat : 27279 (satake) R 27275 27277 27120 0 -1 4194368 341 0 0 0 1740 151 0 0 17 0 4 0 106105739 9261056 1865 1992294400 134512640 135180984 4294956208 18446744073709551615 134526524 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27277/tid=27280] ppid=27275 vsize=9044 CPUtime=19.16
/proc/27277/task/27280/stat : 27280 (satake) R 27275 27277 27120 0 -1 4194368 286 0 0 0 1765 151 0 0 15 0 4 0 106105739 9261056 1865 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 41.22
Current children cumulated vsize (KiB) 9044

[startup+51.1029 s]
/proc/loadavg: 1.71 1.16 1.05 3/68 27281
/proc/meminfo: memFree=1385448/2055920 swapFree=4181276/4192956
[pid=27277] ppid=27275 vsize=14624 CPUtime=85.77
/proc/27277/stat : 27277 (satake) S 27275 27277 27120 0 -1 4194304 3217 0 0 0 7455 1122 0 0 18 0 4 0 106105739 14974976 3202 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27277/statm: 3656 3202 70 163 0 3491 0
[pid=27277/tid=27278] ppid=27275 vsize=14624 CPUtime=6.38
/proc/27277/task/27278/stat : 27278 (satake) S 27275 27277 27120 0 -1 4194368 2248 0 0 0 133 505 0 0 15 0 4 0 106105739 14974976 3202 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=27277/tid=27279] ppid=27275 vsize=14624 CPUtime=39.52
/proc/27277/task/27279/stat : 27279 (satake) R 27275 27277 27120 0 -1 4194368 475 0 0 0 3646 306 0 0 17 0 4 0 106105739 14974976 3202 1992294400 134512640 135180984 4294956208 18446744073709551615 134518216 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27277/tid=27280] ppid=27275 vsize=14624 CPUtime=39.84
/proc/27277/task/27280/stat : 27280 (satake) R 27275 27277 27120 0 -1 4194368 411 0 0 0 3675 309 0 0 16 0 4 0 106105739 14974976 3202 1992294400 134512640 135180984 4294956208 18446744073709551615 134523644 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 85.77
Current children cumulated vsize (KiB) 14624

[startup+102.307 s]
/proc/loadavg: 2.04 1.34 1.12 3/68 27281
/proc/meminfo: memFree=1374056/2055920 swapFree=4181276/4192956
[pid=27277] ppid=27275 vsize=28104 CPUtime=174.13
/proc/27277/stat : 27277 (satake) S 27275 27277 27120 0 -1 4194304 5997 0 0 0 15130 2283 0 0 18 0 4 0 106105739 28778496 5982 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27277/statm: 7026 5982 70 163 0 6861 0
[pid=27277/tid=27278] ppid=27275 vsize=28104 CPUtime=13.1
/proc/27277/task/27278/stat : 27278 (satake) R 27275 27277 27120 0 -1 4194368 4587 0 0 0 272 1038 0 0 16 0 4 0 106105739 28778496 5982 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27277/tid=27279] ppid=27275 vsize=28104 CPUtime=80.14
/proc/27277/task/27279/stat : 27279 (satake) R 27275 27277 27120 0 -1 4194368 690 0 0 0 7393 621 0 0 15 0 4 0 106105739 28778496 5982 1992294400 134512640 135180984 4294956208 18446744073709551615 134532460 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27277/tid=27280] ppid=27275 vsize=28104 CPUtime=80.88
/proc/27277/task/27280/stat : 27280 (satake) S 27275 27277 27120 0 -1 4194368 637 0 0 0 7464 624 0 0 16 0 4 0 106105739 28778496 5982 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 174.13
Current children cumulated vsize (KiB) 28104

[startup+162.303 s]
/proc/loadavg: 2.20 1.50 1.18 3/68 27281
/proc/meminfo: memFree=1361896/2055920 swapFree=4181276/4192956
[pid=27277] ppid=27275 vsize=41896 CPUtime=281.35
/proc/27277/stat : 27277 (satake) S 27275 27277 27120 0 -1 4194304 9052 0 0 0 24449 3686 0 0 18 0 4 0 106105739 42901504 9037 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27277/statm: 10474 9037 70 163 0 10309 0
[pid=27277/tid=27278] ppid=27275 vsize=41896 CPUtime=21.2
/proc/27277/task/27278/stat : 27278 (satake) R 27275 27277 27120 0 -1 4194368 7080 0 0 0 440 1680 0 0 16 0 4 0 106105739 42901504 9037 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=27277/tid=27279] ppid=27275 vsize=41896 CPUtime=130.3

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

Current children cumulated vsize (KiB) 41896

[startup+222.301 s]
/proc/loadavg: 2.21 1.64 1.25 3/68 27281
/proc/meminfo: memFree=1349160/2055920 swapFree=4181276/4192956
[pid=27277] ppid=27275 vsize=56768 CPUtime=387.48
/proc/27277/stat : 27277 (satake) S 27275 27277 27120 0 -1 4194304 12213 0 0 0 33601 5147 0 0 18 0 4 0 106105739 58130432 12198 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27277/statm: 14192 12198 70 163 0 14027 0
[pid=27277/tid=27278] ppid=27275 vsize=56768 CPUtime=29.6
/proc/27277/task/27278/stat : 27278 (satake) R 27275 27277 27120 0 -1 4194368 9715 0 0 0 623 2337 0 0 16 0 4 0 106105739 58130432 12198 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27277/tid=27279] ppid=27275 vsize=56768 CPUtime=179.73
/proc/27277/task/27279/stat : 27279 (satake) R 27275 27277 27120 0 -1 4194368 1233 0 0 0 16559 1414 0 0 15 0 4 0 106105739 58130432 12198 1992294400 134512640 135180984 4294956208 18446744073709551615 134528441 0 0 4096 0 0 0 0 -1 0 0 0
[pid=27277/tid=27280] ppid=27275 vsize=56768 CPUtime=178.13
/proc/27277/task/27280/stat : 27280 (satake) R 27275 27277 27120 0 -1 4194368 1182 0 0 0 16418 1395 0 0 16 0 4 0 106105739 58130432 12198 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 387.48
Current children cumulated vsize (KiB) 56768

[startup+282.302 s]
/proc/loadavg: 2.38 1.78 1.32 3/68 27281
/proc/meminfo: memFree=1333544/2055920 swapFree=4181276/4192956
[pid=27277] ppid=27275 vsize=77996 CPUtime=490.13
/proc/27277/stat : 27277 (satake) S 27275 27277 27120 0 -1 4194304 16103 0 0 0 42137 6876 0 0 18 0 4 0 106105739 79867904 16088 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27277/statm: 19499 16088 70 163 0 19334 0
[pid=27277/tid=27278] ppid=27275 vsize=77996 CPUtime=39.9
/proc/27277/task/27278/stat : 27278 (satake) R 27275 27277 27120 0 -1 4194368 12886 0 0 0 850 3140 0 0 16 0 4 0 106105739 79867904 16088 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=27277/tid=27279] ppid=27275 vsize=77996 CPUtime=226.19
/proc/27277/task/27279/stat : 27279 (satake) R 27275 27277 27120 0 -1 4194368 1616 0 0 0 20736 1883 0 0 16 0 4 0 106105739 79867904 16088 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27277/tid=27280] ppid=27275 vsize=77996 CPUtime=224.02
/proc/27277/task/27280/stat : 27280 (satake) S 27275 27277 27120 0 -1 4194368 1518 0 0 0 20550 1852 0 0 15 0 4 0 106105739 79867904 16088 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 490.13
Current children cumulated vsize (KiB) 77996

[startup+342.301 s]
/proc/loadavg: 2.45 1.92 1.39 3/68 27281
/proc/meminfo: memFree=1317032/2055920 swapFree=4181276/4192956
[pid=27277] ppid=27275 vsize=97072 CPUtime=591.62
/proc/27277/stat : 27277 (satake) S 27275 27277 27120 0 -1 4194304 20222 0 0 0 50513 8649 0 0 18 0 4 0 106105739 99401728 20207 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27277/statm: 24268 20207 70 163 0 24103 0
[pid=27277/tid=27278] ppid=27275 vsize=97072 CPUtime=50.56
/proc/27277/task/27278/stat : 27278 (satake) S 27275 27277 27120 0 -1 4194368 15608 0 0 0 1080 3976 0 0 15 0 4 0 106105739 99401728 20207 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=27277/tid=27279] ppid=27275 vsize=97072 CPUtime=271.55
/proc/27277/task/27279/stat : 27279 (satake) R 27275 27277 27120 0 -1 4194368 2392 0 0 0 24813 2342 0 0 16 0 4 0 106105739 99401728 20207 1992294400 134512640 135180984 4294956208 18446744073709551615 134519922 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27277/tid=27280] ppid=27275 vsize=97072 CPUtime=269.49
/proc/27277/task/27280/stat : 27280 (satake) R 27275 27277 27120 0 -1 4194368 2139 0 0 0 24619 2330 0 0 17 0 4 0 106105739 99401728 20207 1992294400 134512640 135180984 4294956208 18446744073709551615 134527298 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 591.62
Current children cumulated vsize (KiB) 97072

[startup+402.303 s]
/proc/loadavg: 2.22 1.94 1.43 4/68 27281
/proc/meminfo: memFree=1303912/2055920 swapFree=4181276/4192956
[pid=27277] ppid=27275 vsize=114916 CPUtime=696.34
/proc/27277/stat : 27277 (satake) S 27275 27277 27120 0 -1 4194304 23489 0 0 0 59615 10019 0 0 18 0 4 0 106105739 117673984 23474 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27277/statm: 28729 23474 70 163 0 28564 0
[pid=27277/tid=27278] ppid=27275 vsize=114916 CPUtime=58.68
/proc/27277/task/27278/stat : 27278 (satake) R 27275 27277 27120 0 -1 4194368 17496 0 0 0 1258 4610 0 0 16 0 4 0 106105739 117673984 23474 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27277/tid=27279] ppid=27275 vsize=114916 CPUtime=319.55
/proc/27277/task/27279/stat : 27279 (satake) R 27275 27277 27120 0 -1 4194368 3031 0 0 0 29247 2708 0 0 15 0 4 0 106105739 117673984 23474 1992294400 134512640 135180984 4294956208 18446744073709551615 134518228 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27277/tid=27280] ppid=27275 vsize=114916 CPUtime=318.08
/proc/27277/task/27280/stat : 27280 (satake) R 27275 27277 27120 0 -1 4194368 2879 0 0 0 29109 2699 0 0 16 0 4 0 106105739 117673984 23474 1992294400 134512640 135180984 4294956208 18446744073709551615 134528557 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 696.34
Current children cumulated vsize (KiB) 114916

[startup+462.301 s]
/proc/loadavg: 2.17 1.98 1.47 3/68 27281
/proc/meminfo: memFree=1291304/2055920 swapFree=4181276/4192956
[pid=27277] ppid=27275 vsize=129256 CPUtime=802.14
/proc/27277/stat : 27277 (satake) S 27275 27277 27120 0 -1 4194304 26613 0 0 0 68850 11364 0 0 18 0 4 0 106105739 132358144 26598 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27277/statm: 32314 26598 70 163 0 32149 0
[pid=27277/tid=27278] ppid=27275 vsize=129256 CPUtime=66.63
/proc/27277/task/27278/stat : 27278 (satake) R 27275 27277 27120 0 -1 4194368 19231 0 0 0 1428 5235 0 0 16 0 4 0 106105739 132358144 26598 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27277/tid=27279] ppid=27275 vsize=129256 CPUtime=368.4
/proc/27277/task/27279/stat : 27279 (satake) S 27275 27277 27120 0 -1 4194368 3804 0 0 0 33763 3077 0 0 15 0 4 0 106105739 132358144 26598 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=27277/tid=27280] ppid=27275 vsize=129256 CPUtime=367.09
/proc/27277/task/27280/stat : 27280 (satake) R 27275 27277 27120 0 -1 4194368 3495 0 0 0 33658 3051 0 0 15 0 4 0 106105739 132358144 26598 1992294400 134512640 135180984 4294956208 18446744073709551615 134518252 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 802.14
Current children cumulated vsize (KiB) 129256

[startup+522.302 s]
/proc/loadavg: 2.22 2.03 1.52 4/68 27281
/proc/meminfo: memFree=1278184/2055920 swapFree=4181276/4192956
[pid=27277] ppid=27275 vsize=143672 CPUtime=908.07
/proc/27277/stat : 27277 (satake) S 27275 27277 27120 0 -1 4194304 29928 0 0 0 78025 12782 0 0 18 0 4 0 106105739 147120128 29913 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27277/statm: 35918 29913 70 163 0 35753 0
[pid=27277/tid=27278] ppid=27275 vsize=143672 CPUtime=75.14
/proc/27277/task/27278/stat : 27278 (satake) R 27275 27277 27120 0 -1 4194368 21038 0 0 0 1614 5900 0 0 16 0 4 0 106105739 147120128 29913 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=27277/tid=27279] ppid=27275 vsize=143672 CPUtime=416.4
/proc/27277/task/27279/stat : 27279 (satake) S 27275 27277 27120 0 -1 4194368 4721 0 0 0 38191 3449 0 0 15 0 4 0 106105739 147120128 29913 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=27277/tid=27280] ppid=27275 vsize=143672 CPUtime=416.51
/proc/27277/task/27280/stat : 27280 (satake) R 27275 27277 27120 0 -1 4194368 4086 0 0 0 38219 3432 0 0 16 0 4 0 106105739 147120128 29913 1992294400 134512640 135180984 4294956208 18446744073709551615 134528465 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 908.07
Current children cumulated vsize (KiB) 143672

[startup+582.303 s]
/proc/loadavg: 2.27 2.07 1.56 3/68 27281
/proc/meminfo: memFree=1267432/2055920 swapFree=4181276/4192956
[pid=27277] ppid=27275 vsize=155992 CPUtime=1019.61
/proc/27277/stat : 27277 (satake) S 27275 27277 27120 0 -1 4194304 32608 0 0 0 87785 14176 0 0 18 0 4 0 106105739 159735808 32593 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27277/statm: 38998 32593 70 163 0 38833 0
[pid=27277/tid=27278] ppid=27275 vsize=155992 CPUtime=83.38
/proc/27277/task/27278/stat : 27278 (satake) S 27275 27277 27120 0 -1 4194368 22327 0 0 0 1785 6553 0 0 16 0 4 0 106105739 159735808 32593 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=27277/tid=27279] ppid=27275 vsize=155992 CPUtime=467.79
/proc/27277/task/27279/stat : 27279 (satake) R 27275 27277 27120 0 -1 4194368 5506 0 0 0 42958 3821 0 0 17 0 4 0 106105739 159735808 32593 1992294400 134512640 135180984 4294956208 18446744073709551615 134526118 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27277/tid=27280] ppid=27275 vsize=155992 CPUtime=468.43
/proc/27277/task/27280/stat : 27280 (satake) R 27275 27277 27120 0 -1 4194368 4692 0 0 0 43041 3802 0 0 17 0 4 0 106105739 159735808 32593 1992294400 134512640 135180984 4294956208 18446744073709551615 134528869 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1019.61
Current children cumulated vsize (KiB) 155992

[startup+642.302 s]
/proc/loadavg: 2.36 2.13 1.62 3/68 27281
/proc/meminfo: memFree=1255912/2055920 swapFree=4181276/4192956
[pid=27277] ppid=27275 vsize=168736 CPUtime=1129.67
/proc/27277/stat : 27277 (satake) S 27275 27277 27120 0 -1 4194304 35426 0 0 0 97390 15577 0 0 18 0 4 0 106105739 172785664 35411 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27277/statm: 42184 35411 70 163 0 42019 0
[pid=27277/tid=27278] ppid=27275 vsize=168736 CPUtime=91.64
/proc/27277/task/27278/stat : 27278 (satake) S 27275 27277 27120 0 -1 4194368 23857 0 0 0 1951 7213 0 0 16 0 4 0 106105739 172785664 35411 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=27277/tid=27279] ppid=27275 vsize=168736 CPUtime=518.81
/proc/27277/task/27279/stat : 27279 (satake) R 27275 27277 27120 0 -1 4194368 5992 0 0 0 47686 4195 0 0 16 0 4 0 106105739 172785664 35411 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 0 0 0
[pid=27277/tid=27280] ppid=27275 vsize=168736 CPUtime=519.19
/proc/27277/task/27280/stat : 27280 (satake) R 27275 27277 27120 0 -1 4194368 5494 0 0 0 47752 4167 0 0 15 0 4 0 106105739 172785664 35411 1992294400 134512640 135180984 4294956208 18446744073709551615 134518208 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1129.67
Current children cumulated vsize (KiB) 168736



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+680.702 s]
/proc/loadavg: 2.51 2.19 1.65 3/68 27281
/proc/meminfo: memFree=1248808/2055920 swapFree=4181276/4192956
[pid=27277] ppid=27275 vsize=175804 CPUtime=1200.05
/proc/27277/stat : 27277 (satake) S 27275 27277 27120 0 -1 4194304 37194 0 0 0 103585 16420 0 0 18 0 4 0 106105739 180023296 37179 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27277/statm: 43951 37179 70 163 0 43786 0
[pid=27277/tid=27278] ppid=27275 vsize=175804 CPUtime=96.65
/proc/27277/task/27278/stat : 27278 (satake) R 27275 27277 27120 0 -1 4194368 24776 0 0 0 2060 7605 0 0 16 0 4 0 106105739 180023296 37179 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=27277/tid=27279] ppid=27275 vsize=175804 CPUtime=551.46
/proc/27277/task/27279/stat : 27279 (satake) R 27275 27277 27120 0 -1 4194368 6602 0 0 0 50722 4424 0 0 16 0 4 0 106105739 180023296 37179 1992294400 134512640 135180984 4294956208 18446744073709551615 134524757 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27277/tid=27280] ppid=27275 vsize=175804 CPUtime=551.92
/proc/27277/task/27280/stat : 27280 (satake) R 27275 27277 27120 0 -1 4194368 5733 0 0 0 50802 4390 0 0 15 0 4 0 106105739 180023296 37179 1992294400 134512640 135180984 4294956208 18446744073709551615 134530765 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 175804

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

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

[startup+680.702 s]
/proc/loadavg: 2.51 2.19 1.65 3/68 27281
/proc/meminfo: memFree=1248808/2055920 swapFree=4181276/4192956
[pid=27277] ppid=27275 vsize=175804 CPUtime=1200.05
/proc/27277/stat : 27277 (satake) S 27275 27277 27120 0 -1 4194304 37194 0 0 0 103585 16420 0 0 18 0 4 0 106105739 180023296 37179 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27277/statm: 43951 37179 70 163 0 43786 0
[pid=27277/tid=27278] ppid=27275 vsize=175804 CPUtime=96.65
/proc/27277/task/27278/stat : 27278 (satake) R 27275 27277 27120 0 -1 4194368 24776 0 0 0 2060 7605 0 0 16 0 4 0 106105739 180023296 37179 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=27277/tid=27279] ppid=27275 vsize=175804 CPUtime=551.46
/proc/27277/task/27279/stat : 27279 (satake) R 27275 27277 27120 0 -1 4194368 6602 0 0 0 50722 4424 0 0 16 0 4 0 106105739 180023296 37179 1992294400 134512640 135180984 4294956208 18446744073709551615 134524757 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27277/tid=27280] ppid=27275 vsize=175804 CPUtime=551.92
/proc/27277/task/27280/stat : 27280 (satake) R 27275 27277 27120 0 -1 4194368 5733 0 0 0 50802 4390 0 0 15 0 4 0 106105739 180023296 37179 1992294400 134512640 135180984 4294956208 18446744073709551615 134530765 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 175804

Child ended because it received signal 15 (SIGTERM)
Real time (s): 680.738
CPU time (s): 1200.1
CPU user time (s): 1035.87
CPU system time (s): 164.231
CPU usage (%): 176.293
Max. virtual memory (cumulated for all children) (KiB): 175804

deleting IPC queue 2064384
deleting IPC queue 2097153
deleting IPC queue 2129922
deleting IPC queue 2162691
deleting IPC queue 2195460
deleting IPC queue 2228229
deleting IPC queue 2260998
deleting IPC queue 2293767
deleting IPC queue 2326536

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1035.87
system time used= 164.231
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37194
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= 8283897
involuntary context switches= 7526455

runsolver used 0.706892 second user time and 1.9977 second system time

The end

Launcher Data 

Begin job on node47 at 2009-04-26 23:19:40
IDJOB=1732440
IDBENCH=71117
IDSOLVER=553
FILE ID=node47/1732440-1240780780
PBS_JOBID= 9187261
Free space on /tmp= 66292 MiB

SOLVER NAME= satake 2009-03-22
BENCH NAME= SAT09/CRAFTED/sgen/sat/sgen1-sat-220-100.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1732440-1240780780/watcher-1732440-1240780780 -o /tmp/evaluation-result-1732440-1240780780/solver-1732440-1240780780 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1732440-1240780780.cnf 3 1200

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

MD5SUM BENCH= 9acdfc35e72435abc5da6ab9203455c3
RANDOM SEED=1198506645

node47.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.212
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.212
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	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1398504 kB
Buffers:         73828 kB
Cached:         524296 kB
SwapCached:       6464 kB
Active:         171620 kB
Inactive:       435304 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1398504 kB
SwapTotal:     4192956 kB
SwapFree:      4181276 kB
Dirty:             756 kB
Writeback:           0 kB
Mapped:          13532 kB
Slab:            36432 kB
Committed_AS:   449980 kB
PageTables:       1444 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66288 MiB
End job on node47 at 2009-04-26 23:31:02