Trace number 3289911

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
SArTagnan 2011-03-24? (TO) 4800.23 1201.98

General information on the benchmark

Nameapplication/kullmann/AES/Benchmarks/
128/aes_128_2_keyfind_1.cnf
MD5SUM19e0b91e7d093f7cb35b11b46708a49b
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables2000
Number of clauses20544
Sum of the clauses size111944
Maximum clause length8
Minimum clause length1
Number of clauses of size 1272
Number of clauses of size 2256
Number of clauses of size 33520
Number of clauses of size 4640
Number of clauses of size 54096
Number of clauses of size over 511760

Solver Data


Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3289911-1304096439/watcher-3289911-1304096439 -o /tmp/evaluation-result-3289911-1304096439/solver-3289911-1304096439 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3289911-1304096439.cnf -threads=4 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 7.68 7.97 7.98 5/180 662
/proc/meminfo: memFree=21303276/32950928 swapFree=67111524/67111528
[pid=662] ppid=660 vsize=19112 CPUtime=0 cores=0,2,4,6
/proc/662/stat : 662 (SArTagnan) R 660 662 384 0 -1 4202496 473 0 0 0 0 0 0 0 25 0 1 0 521242672 19570688 410 33554432000 4194304 4623224 140733755297632 18446744073709551615 4366247 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/662/statm: 4778 410 300 105 0 282 0

[startup+0.022622 s]
/proc/loadavg: 7.68 7.97 7.98 5/180 662
/proc/meminfo: memFree=21303276/32950928 swapFree=67111524/67111528
[pid=662] ppid=660 vsize=55320 CPUtime=0.02 cores=0,2,4,6
/proc/662/stat : 662 (SArTagnan) R 660 662 384 0 -1 4202496 2327 0 0 0 2 0 0 0 25 0 4 0 521242672 56647680 1733 33554432000 4194304 4623224 140733755297632 18446744073709551615 4411347 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/662/statm: 13830 1733 317 105 0 9334 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 55320

[startup+0.16356 s]
/proc/loadavg: 7.68 7.97 7.98 5/180 662
/proc/meminfo: memFree=21303276/32950928 swapFree=67111524/67111528
[pid=662] ppid=660 vsize=258756 CPUtime=0.57 cores=0,2,4,6
/proc/662/stat : 662 (SArTagnan) R 660 662 384 0 -1 4202496 8255 0 0 0 56 1 0 0 25 0 4 0 521242672 264966144 4090 33554432000 4194304 4623224 140733755297632 18446744073709551615 4415051 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/662/statm: 64689 4091 340 105 0 60193 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 258756

[startup+0.300536 s]
/proc/loadavg: 7.68 7.97 7.98 5/180 662
/proc/meminfo: memFree=21303276/32950928 swapFree=67111524/67111528
[pid=662] ppid=660 vsize=259812 CPUtime=1.13 cores=0,2,4,6
/proc/662/stat : 662 (SArTagnan) R 660 662 384 0 -1 4202496 10478 0 0 0 111 2 0 0 25 0 4 0 521242672 266047488 4428 33554432000 4194304 4623224 140733755297632 18446744073709551615 4360115 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/662/statm: 64953 4429 342 105 0 60457 0
Current children cumulated CPU time (s) 1.13
Current children cumulated vsize (KiB) 259812

[startup+0.700465 s]
/proc/loadavg: 7.68 7.97 7.98 5/180 662
/proc/meminfo: memFree=21303276/32950928 swapFree=67111524/67111528
[pid=662] ppid=660 vsize=264136 CPUtime=2.73 cores=0,2,4,6
/proc/662/stat : 662 (SArTagnan) R 660 662 384 0 -1 4202496 16314 0 0 0 270 3 0 0 25 0 4 0 521242672 270475264 5432 33554432000 4194304 4623224 140733755297632 18446744073709551615 268272345045 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/662/statm: 66034 5432 343 105 0 61538 0
Current children cumulated CPU time (s) 2.73
Current children cumulated vsize (KiB) 264136

[startup+1.50032 s]
/proc/loadavg: 7.68 7.97 7.98 9/184 666
/proc/meminfo: memFree=21279940/32950928 swapFree=67111524/67111528
[pid=662] ppid=660 vsize=268368 CPUtime=5.92 cores=0,2,4,6
/proc/662/stat : 662 (SArTagnan) R 660 662 384 0 -1 4202496 27357 0 0 0 588 4 0 0 25 0 4 0 521242672 274808832 7695 33554432000 4194304 4623224 140733755297632 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/662/statm: 67092 7695 343 105 0 62596 0
[pid=662/tid=664] ppid=660 vsize=268368 CPUtime=1.46 cores=0,2,4,6
/proc/662/task/664/stat : 664 (SArTagnan) R 660 662 384 0 -1 4202560 2748 0 0 0 146 0 0 0 25 0 4 0 521242674 274808832 7695 33554432000 4194304 4623224 140733755297632 18446744073709551615 4377252 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=662/tid=665] ppid=660 vsize=268368 CPUtime=1.46 cores=0,2,4,6
/proc/662/task/665/stat : 665 (SArTagnan) R 660 662 384 0 -1 4202560 3870 0 0 0 146 0 0 0 25 0 4 0 521242674 274808832 7695 33554432000 4194304 4623224 140733755297632 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=662/tid=666] ppid=660 vsize=268368 CPUtime=1.47 cores=0,2,4,6
/proc/662/task/666/stat : 666 (SArTagnan) R 660 662 384 0 -1 4202560 15498 0 0 0 145 2 0 0 25 0 4 0 521242674 274808832 7695 33554432000 4194304 4623224 140733755297632 18446744073709551615 4550411 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.92
Current children cumulated vsize (KiB) 268368

[startup+3.10104 s]
/proc/loadavg: 7.68 7.97 7.98 9/184 666
/proc/meminfo: memFree=21267040/32950928 swapFree=67111524/67111528
[pid=662] ppid=660 vsize=280620 CPUtime=12.31 cores=0,2,4,6
/proc/662/stat : 662 (SArTagnan) R 660 662 384 0 -1 4202496 45655 0 0 0 1223 8 0 0 25 0 4 0 521242672 287354880 11568 33554432000 4194304 4623224 140733755297632 18446744073709551615 4388004 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/662/statm: 70155 11568 343 105 0 65659 0
[pid=662/tid=664] ppid=660 vsize=280620 CPUtime=3.05 cores=0,2,4,6
/proc/662/task/664/stat : 664 (SArTagnan) R 660 662 384 0 -1 4202560 6117 0 0 0 304 1 0 0 25 0 4 0 521242674 287354880 11568 33554432000 4194304 4623224 140733755297632 18446744073709551615 4376803 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=662/tid=665] ppid=660 vsize=280620 CPUtime=3.07 cores=0,2,4,6
/proc/662/task/665/stat : 665 (SArTagnan) R 660 662 384 0 -1 4202560 6155 0 0 0 306 1 0 0 25 0 4 0 521242674 287354880 11568 33554432000 4194304 4623224 140733755297632 18446744073709551615 4376666 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=662/tid=666] ppid=660 vsize=280620 CPUtime=3.07 cores=0,2,4,6
/proc/662/task/666/stat : 666 (SArTagnan) R 660 662 384 0 -1 4202560 26469 0 0 0 303 4 0 0 25 0 4 0 521242674 287354880 11568 33554432000 4194304 4623224 140733755297632 18446744073709551615 4366247 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.31
Current children cumulated vsize (KiB) 280620

[startup+6.30047 s]
/proc/loadavg: 7.71 7.97 7.98 9/184 666
/proc/meminfo: memFree=21237996/32950928 swapFree=67111524/67111528
[pid=662] ppid=660 vsize=285448 CPUtime=25.1 cores=0,2,4,6
/proc/662/stat : 662 (SArTagnan) R 660 662 384 0 -1 4202496 78486 0 0 0 2497 13 0 0 25 0 4 0 521242672 292298752 17283 33554432000 4194304 4623224 140733755297632 18446744073709551615 4384212 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/662/statm: 71362 17283 343 105 0 66866 0
[pid=662/tid=664] ppid=660 vsize=285448 CPUtime=6.24 cores=0,2,4,6
/proc/662/task/664/stat : 664 (SArTagnan) R 660 662 384 0 -1 4202560 9849 0 0 0 622 2 0 0 25 0 4 0 521242674 292298752 17283 33554432000 4194304 4623224 140733755297632 18446744073709551615 4366391 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=662/tid=665] ppid=660 vsize=285448 CPUtime=6.26 cores=0,2,4,6
/proc/662/task/665/stat : 665 (SArTagnan) R 660 662 384 0 -1 4202560 7792 0 0 0 625 1 0 0 25 0 4 0 521242674 292298752 17283 33554432000 4194304 4623224 140733755297632 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=662/tid=666] ppid=660 vsize=285448 CPUtime=6.27 cores=0,2,4,6
/proc/662/task/666/stat : 666 (SArTagnan) R 660 662 384 0 -1 4202560 52619 0 0 0 620 7 0 0 25 0 4 0 521242674 292298752 17283 33554432000 4194304 4623224 140733755297632 18446744073709551615 4545376 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 285448

[startup+12.7003 s]
/proc/loadavg: 7.73 7.97 7.98 9/184 666
/proc/meminfo: memFree=21205396/32950928 swapFree=67111524/67111528
[pid=662] ppid=660 vsize=293644 CPUtime=50.65 cores=0,2,4,6
/proc/662/stat : 662 (SArTagnan) R 660 662 384 0 -1 4202496 128498 0 0 0 5045 20 0 0 25 0 4 0 521242672 300691456 23238 33554432000 4194304 4623224 140733755297632 18446744073709551615 4510195 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/662/statm: 73411 23238 344 105 0 68915 0
[pid=662/tid=664] ppid=660 vsize=293644 CPUtime=12.6 cores=0,2,4,6
/proc/662/task/664/stat : 664 (SArTagnan) R 660 662 384 0 -1 4202560 14976 0 0 0 1257 3 0 0 25 0 4 0 521242674 300691456 23238 33554432000 4194304 4623224 140733755297632 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=662/tid=665] ppid=660 vsize=293644 CPUtime=12.67 cores=0,2,4,6
/proc/662/task/665/stat : 665 (SArTagnan) R 660 662 384 0 -1 4202560 11160 0 0 0 1265 2 0 0 25 0 4 0 521242674 300691456 23238 33554432000 4194304 4623224 140733755297632 18446744073709551615 4366455 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=662/tid=666] ppid=660 vsize=293644 CPUtime=12.67 cores=0,2,4,6
/proc/662/task/666/stat : 666 (SArTagnan) R 660 662 384 0 -1 4202560 91282 0 0 0 1254 13 0 0 25 0 4 0 521242674 300691456 23238 33554432000 4194304 4623224 140733755297632 18446744073709551615 4364701 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 293644

[startup+25.5011 s]
/proc/loadavg: 7.79 7.97 7.98 9/184 675
/proc/meminfo: memFree=21139524/32950928 swapFree=67111524/67111528
[pid=662] ppid=660 vsize=316600 CPUtime=101.78 cores=0,2,4,6
/proc/662/stat : 662 (SArTagnan) R 660 662 384 0 -1 4202496 155076 0 0 0 10151 27 0 0 25 0 4 0 521242672 324198400 35610 33554432000 4194304 4623224 140733755297632 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/662/statm: 79150 35610 349 105 0 74654 0
[pid=662/tid=664] ppid=660 vsize=316600 CPUtime=25.33 cores=0,2,4,6
/proc/662/task/664/stat : 664 (SArTagnan) R 660 662 384 0 -1 4202560 16681 0 0 0 2529 4 0 0 25 0 4 0 521242674 324198400 35610 33554432000 4194304 4623224 140733755297632 18446744073709551615 4366412 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=662/tid=665] ppid=660 vsize=316600 CPUtime=25.46 cores=0,2,4,6
/proc/662/task/665/stat : 665 (SArTagnan) R 660 662 384 0 -1 4202560 16776 0 0 0 2542 4 0 0 25 0 4 0 521242674 324198400 35610 33554432000 4194304 4623224 140733755297632 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=662/tid=666] ppid=660 vsize=316600 CPUtime=25.47 cores=0,2,4,6
/proc/662/task/666/stat : 666 (SArTagnan) R 660 662 384 0 -1 4202560 101779 0 0 0 2532 15 0 0 25 0 4 0 521242674 324198400 35610 33554432000 4194304 4623224 140733755297632 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.78
Current children cumulated vsize (KiB) 316600

[startup+51.1005 s]
/proc/loadavg: 7.86 7.97 7.98 9/184 676
/proc/meminfo: memFree=21057824/32950928 swapFree=67111524/67111528
[pid=662] ppid=660 vsize=337864 CPUtime=204.04 cores=0,2,4,6
/proc/662/stat : 662 (SArTagnan) R 660 662 384 0 -1 4202496 228709 0 0 0 20364 40 0 0 25 0 4 0 521242672 345972736 51871 33554432000 4194304 4623224 140733755297632 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/662/statm: 84466 51871 346 105 0 79970 0
[pid=662/tid=664] ppid=660 vsize=337864 CPUtime=50.79 cores=0,2,4,6
/proc/662/task/664/stat : 664 (SArTagnan) R 660 662 384 0 -1 4202560 25686 0 0 0 5072 7 0 0 25 0 4 0 521242674 345972736 51871 33554432000 4194304 4623224 140733755297632 18446744073709551615 4376625 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=662/tid=665] ppid=660 vsize=337864 CPUtime=51.07 cores=0,2,4,6
/proc/662/task/665/stat : 665 (SArTagnan) R 660 662 384 0 -1 4202560 18501 0 0 0 5102 5 0 0 25 0 4 0 521242674 345972736 51871 33554432000 4194304 4623224 140733755297632 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=662/tid=666] ppid=660 vsize=337864 CPUtime=51.07 cores=0,2,4,6
/proc/662/task/666/stat : 666 (SArTagnan) R 660 662 384 0 -1 4202560 157108 0 0 0 5084 23 0 0 25 0 4 0 521242674 345972736 51871 33554432000 4194304 4623224 140733755297632 18446744073709551615 4366443 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.04
Current children cumulated vsize (KiB) 337864

[startup+102.306 s]
/proc/loadavg: 7.94 7.97 7.98 9/184 677
/proc/meminfo: memFree=20863484/32950928 swapFree=67111524/67111528
[pid=662] ppid=660 vsize=615588 CPUtime=408.57 cores=0,2,4,6
/proc/662/stat : 662 (SArTagnan) R 660 662 384 0 -1 4202496 431660 0 0 0 40783 74 0 0 25 0 4 0 521242672 630362112 93648 33554432000 4194304 4623224 140733755297632 18446744073709551615 4414990 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/662/statm: 153897 93648 468 105 0 149401 0
[pid=662/tid=664] ppid=660 vsize=615588 CPUtime=101.71 cores=0,2,4,6
/proc/662/task/664/stat : 664 (SArTagnan) R 660 662 384 0 -1 4202560 39789 0 0 0 10159 12 0 0 25 0 4 0 521242674 630362112 93648 33554432000 4194304 4623224 140733755297632 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=662/tid=665] ppid=660 vsize=615588 CPUtime=102.28 cores=0,2,4,6
/proc/662/task/665/stat : 665 (SArTagnan) R 660 662 384 0 -1 4202560 26259 0 0 0 10220 8 0 0 25 0 4 0 521242674 630362112 93648 33554432000 4194304 4623224 140733755297632 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=662/tid=666] ppid=660 vsize=615588 CPUtime=102.27 cores=0,2,4,6
/proc/662/task/666/stat : 666 (SArTagnan) R 660 662 384 0 -1 4202560 267360 0 0 0 10187 40 0 0 25 0 4 0 521242674 630362112 93648 33554432000 4194304 4623224 140733755297632 18446744073709551615 4550465 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.57
Current children cumulated vsize (KiB) 615588

[startup+162.301 s]
/proc/loadavg: 8.06 8.00 7.99 9/184 679
/proc/meminfo: memFree=20745156/32950928 swapFree=67111524/67111528
[pid=662] ppid=660 vsize=695332 CPUtime=648.23 cores=0,2,4,6
/proc/662/stat : 662 (SArTagnan) R 660 662 384 0 -1 4202496 903180 0 0 0 64666 157 0 0 25 0 4 0 521242672 712019968 107291 33554432000 4194304 4623224 140733755297632 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/662/statm: 173833 107291 468 105 0 169337 0
[pid=662/tid=664] ppid=660 vsize=695332 CPUtime=161.38 cores=0,2,4,6
/proc/662/task/664/stat : 664 (SArTagnan) R 660 662 384 0 -1 4202560 40983 0 0 0 16126 12 0 0 25 0 4 0 521242674 712019968 107291 33554432000 4194304 4623224 140733755297632 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=662/tid=665] ppid=660 vsize=695332 CPUtime=162.26 cores=0,2,4,6
/proc/662/task/665/stat : 665 (SArTagnan) R 660 662 384 0 -1 4202560 28893 0 0 0 16217 9 0 0 25 0 4 0 521242674 712019968 107291 33554432000 4194304 4623224 140733755297632 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=662/tid=666] ppid=660 vsize=695332 CPUtime=162.26 cores=0,2,4,6
/proc/662/task/666/stat : 666 (SArTagnan) R 660 662 384 0 -1 4202560 731847 0 0 0 16108 118 0 0 25 0 4 0 521242674 712019968 107291 33554432000 4194304 4623224 140733755297632 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 648.23
Current children cumulated vsize (KiB) 695332

[startup+222.301 s]
/proc/loadavg: 8.33 8.08 8.02 10/185 684
/proc/meminfo: memFree=20609932/32950928 swapFree=67111524/67111528
[pid=662] ppid=660 vsize=744844 CPUtime=887.53 cores=0,2,4,6
/proc/662/stat : 662 (SArTagnan) R 660 662 384 0 -1 4202496 1092518 0 0 0 88562 191 0 0 25 0 4 0 521242672 762720256 123640 33554432000 4194304 4623224 140733755297632 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/662/statm: 186211 123640 344 105 0 181715 0
[pid=662/tid=664] ppid=660 vsize=744844 CPUtime=220.85 cores=0,2,4,6
/proc/662/task/664/stat : 664 (SArTagnan) R 660 662 384 0 -1 4202560 57840 0 0 0 22066 19 0 0 25 0 4 0 521242674 762720256 123640 33554432000 4194304 4623224 140733755297632 18446744073709551615 4376708 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=662/tid=665] ppid=660 vsize=744844 CPUtime=222.11 cores=0,2,4,6
/proc/662/task/665/stat : 665 (SArTagnan) R 660 662 384 0 -1 4202560 35802 0 0 0 22201 10 0 0 25 0 4 0 521242674 762720256 123640 33554432000 4194304 4623224 140733755297632 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=662/tid=666] ppid=660 vsize=744844 CPUtime=222.27 cores=0,2,4,6
/proc/662/task/666/stat : 666 (SArTagnan) R 660 662 384 0 -1 4202560 881248 0 0 0 22084 143 0 0 25 0 4 0 521242674 762720256 123640 33554432000 4194304 4623224 140733755297632 18446744073709551615 4366247 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 887.53
Current children cumulated vsize (KiB) 744844

[startup+282.3 s]

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

[pid=662] ppid=660 vsize=1130808 CPUtime=2804.45 cores=0,2,4,6
/proc/662/stat : 662 (SArTagnan) R 660 662 384 0 -1 4202496 4627055 0 0 0 279664 781 0 0 25 0 4 0 521242672 1157947392 233034 33554432000 4194304 4623224 140733755297632 18446744073709551615 4415044 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/662/statm: 282702 233034 344 105 0 278206 0
[pid=662/tid=664] ppid=660 vsize=1130808 CPUtime=697.8 cores=0,2,4,6
/proc/662/task/664/stat : 664 (SArTagnan) R 660 662 384 0 -1 4202560 95693 0 0 0 69740 40 0 0 25 0 4 0 521242674 1157947392 233034 33554432000 4194304 4623224 140733755297632 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=662/tid=665] ppid=660 vsize=1130808 CPUtime=702.11 cores=0,2,4,6
/proc/662/task/665/stat : 665 (SArTagnan) R 660 662 384 0 -1 4202560 39761 0 0 0 70200 11 0 0 25 0 4 0 521242674 1157947392 233034 33554432000 4194304 4623224 140733755297632 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=662/tid=666] ppid=660 vsize=1130808 CPUtime=702.28 cores=0,2,4,6
/proc/662/task/666/stat : 666 (SArTagnan) R 660 662 384 0 -1 4202560 4247900 0 0 0 69540 688 0 0 25 0 4 0 521242674 1157947392 233034 33554432000 4194304 4623224 140733755297632 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2804.45
Current children cumulated vsize (KiB) 1130808

[startup+762.307 s]
/proc/loadavg: 8.16 8.15 8.08 9/184 729
/proc/meminfo: memFree=20993088/32950928 swapFree=67111524/67111528
[pid=662] ppid=660 vsize=1191020 CPUtime=3044.14 cores=0,2,4,6
/proc/662/stat : 662 (SArTagnan) R 660 662 384 0 -1 4202496 5116259 0 0 0 303550 864 0 0 25 0 4 0 521242672 1219604480 244455 33554432000 4194304 4623224 140733755297632 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/662/statm: 297755 244455 344 105 0 293259 0
[pid=662/tid=664] ppid=660 vsize=1191020 CPUtime=757.64 cores=0,2,4,6
/proc/662/task/664/stat : 664 (SArTagnan) R 660 662 384 0 -1 4202560 97530 0 0 0 75723 41 0 0 25 0 4 0 521242674 1219604480 244455 33554432000 4194304 4623224 140733755297632 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=662/tid=665] ppid=660 vsize=1191020 CPUtime=762.13 cores=0,2,4,6
/proc/662/task/665/stat : 665 (SArTagnan) R 660 662 384 0 -1 4202560 49676 0 0 0 76200 13 0 0 25 0 4 0 521242674 1219604480 244455 33554432000 4194304 4623224 140733755297632 18446744073709551615 4377870 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=662/tid=666] ppid=660 vsize=1191020 CPUtime=762.11 cores=0,2,4,6
/proc/662/task/666/stat : 666 (SArTagnan) R 660 662 384 0 -1 4202560 4691512 0 0 0 75449 762 0 0 25 0 4 0 521242674 1219604480 244455 33554432000 4194304 4623224 140733755297632 18446744073709551615 4550498 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3044.14
Current children cumulated vsize (KiB) 1191020

[startup+822.3 s]
/proc/loadavg: 8.09 8.13 8.08 9/184 731
/proc/meminfo: memFree=20849960/32950928 swapFree=67111524/67111528
[pid=662] ppid=660 vsize=1258100 CPUtime=3283.79 cores=0,2,4,6
/proc/662/stat : 662 (SArTagnan) R 660 662 384 0 -1 4202496 5553942 0 0 0 327438 941 0 0 25 0 4 0 521242672 1288294400 256534 33554432000 4194304 4623224 140733755297632 18446744073709551615 4510127 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/662/statm: 314525 256534 344 105 0 310029 0
[pid=662/tid=664] ppid=660 vsize=1258100 CPUtime=817.63 cores=0,2,4,6
/proc/662/task/664/stat : 664 (SArTagnan) R 660 662 384 0 -1 4202560 98873 0 0 0 81721 42 0 0 25 0 4 0 521242674 1288294400 256534 33554432000 4194304 4623224 140733755297632 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=662/tid=665] ppid=660 vsize=1258100 CPUtime=822.12 cores=0,2,4,6
/proc/662/task/665/stat : 665 (SArTagnan) R 660 662 384 0 -1 4202560 50716 0 0 0 82198 14 0 0 25 0 4 0 521242674 1288294400 256534 33554432000 4194304 4623224 140733755297632 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=662/tid=666] ppid=660 vsize=1258100 CPUtime=821.78 cores=0,2,4,6
/proc/662/task/666/stat : 666 (SArTagnan) R 660 662 384 0 -1 4202560 5104066 0 0 0 81348 830 0 0 25 0 4 0 521242674 1288294400 256534 33554432000 4194304 4623224 140733755297632 18446744073709551615 4577681 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3283.79
Current children cumulated vsize (KiB) 1258100

[startup+882.301 s]
/proc/loadavg: 8.03 8.11 8.07 9/184 732
/proc/meminfo: memFree=20708928/32950928 swapFree=67111524/67111528
[pid=662] ppid=660 vsize=1298008 CPUtime=3523.46 cores=0,2,4,6
/proc/662/stat : 662 (SArTagnan) R 660 662 384 0 -1 4202496 6013867 0 0 0 351330 1016 0 0 25 0 4 0 521242672 1329160192 274023 33554432000 4194304 4623224 140733755297632 18446744073709551615 4414984 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/662/statm: 324502 274023 344 105 0 320006 0
[pid=662/tid=664] ppid=660 vsize=1298008 CPUtime=877.64 cores=0,2,4,6
/proc/662/task/664/stat : 664 (SArTagnan) R 660 662 384 0 -1 4202560 104497 0 0 0 87721 43 0 0 25 0 4 0 521242674 1329160192 274023 33554432000 4194304 4623224 140733755297632 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=662/tid=665] ppid=660 vsize=1298008 CPUtime=882.13 cores=0,2,4,6
/proc/662/task/665/stat : 665 (SArTagnan) R 660 662 384 0 -1 4202560 53702 0 0 0 88195 18 0 0 25 0 4 0 521242674 1329160192 274023 33554432000 4194304 4623224 140733755297632 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=662/tid=666] ppid=660 vsize=1298008 CPUtime=881.46 cores=0,2,4,6
/proc/662/task/666/stat : 666 (SArTagnan) R 660 662 384 0 -1 4202560 5530126 0 0 0 87249 897 0 0 25 0 4 0 521242674 1329160192 274005 33554432000 4194304 4623224 140733755297632 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3523.46
Current children cumulated vsize (KiB) 1298008

[startup+942.301 s]
/proc/loadavg: 8.01 8.08 8.06 9/184 734
/proc/meminfo: memFree=20599640/32950928 swapFree=67111524/67111528
[pid=662] ppid=660 vsize=1374648 CPUtime=3763.14 cores=0,2,4,6
/proc/662/stat : 662 (SArTagnan) R 660 662 384 0 -1 4202496 6482116 0 0 0 375225 1089 0 0 25 0 4 0 521242672 1407639552 287553 33554432000 4194304 4623224 140733755297632 18446744073709551615 4510090 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/662/statm: 343662 287553 344 105 0 339166 0
[pid=662/tid=664] ppid=660 vsize=1374648 CPUtime=937.64 cores=0,2,4,6
/proc/662/task/664/stat : 664 (SArTagnan) R 660 662 384 0 -1 4202560 105166 0 0 0 93721 43 0 0 25 0 4 0 521242674 1407639552 287553 33554432000 4194304 4623224 140733755297632 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=662/tid=665] ppid=660 vsize=1374648 CPUtime=942.13 cores=0,2,4,6
/proc/662/task/665/stat : 665 (SArTagnan) R 660 662 384 0 -1 4202560 53972 0 0 0 94195 18 0 0 25 0 4 0 521242674 1407639552 287553 33554432000 4194304 4623224 140733755297632 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=662/tid=666] ppid=660 vsize=1374648 CPUtime=941.12 cores=0,2,4,6
/proc/662/task/666/stat : 666 (SArTagnan) R 660 662 384 0 -1 4202560 5952442 0 0 0 93150 962 0 0 25 0 4 0 521242674 1407639552 287553 33554432000 4194304 4623224 140733755297632 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3763.14
Current children cumulated vsize (KiB) 1374648

[startup+1002.3 s]
/proc/loadavg: 8.13 8.10 8.07 9/184 735
/proc/meminfo: memFree=20488640/32950928 swapFree=67111524/67111528
[pid=662] ppid=660 vsize=1492396 CPUtime=4002.8 cores=0,2,4,6
/proc/662/stat : 662 (SArTagnan) R 660 662 384 0 -1 4202496 6932213 0 0 0 399111 1169 0 0 25 0 4 0 521242672 1528213504 300290 33554432000 4194304 4623224 140733755297632 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/662/statm: 373099 300290 344 105 0 368603 0
[pid=662/tid=664] ppid=660 vsize=1492396 CPUtime=997.64 cores=0,2,4,6
/proc/662/task/664/stat : 664 (SArTagnan) R 660 662 384 0 -1 4202560 129459 0 0 0 99718 46 0 0 25 0 4 0 521242674 1528213504 300290 33554432000 4194304 4623224 140733755297632 18446744073709551615 4366412 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=662/tid=665] ppid=660 vsize=1492396 CPUtime=1002.13 cores=0,2,4,6
/proc/662/task/665/stat : 665 (SArTagnan) R 660 662 384 0 -1 4202560 54223 0 0 0 100195 18 0 0 25 0 4 0 521242674 1528213504 300290 33554432000 4194304 4623224 140733755297632 18446744073709551615 4376672 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=662/tid=666] ppid=660 vsize=1492396 CPUtime=1000.8 cores=0,2,4,6
/proc/662/task/666/stat : 666 (SArTagnan) R 660 662 384 0 -1 4202560 6352153 0 0 0 99048 1032 0 0 25 0 4 0 521242674 1528213504 300290 33554432000 4194304 4623224 140733755297632 18446744073709551615 4376666 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4002.8
Current children cumulated vsize (KiB) 1492396

[startup+1062.3 s]
/proc/loadavg: 8.16 8.11 8.07 9/184 737
/proc/meminfo: memFree=20413476/32950928 swapFree=67111524/67111528
[pid=662] ppid=660 vsize=1559120 CPUtime=4242.48 cores=0,2,4,6
/proc/662/stat : 662 (SArTagnan) R 660 662 384 0 -1 4202496 7384771 0 0 0 423001 1247 0 0 25 0 4 0 521242672 1596538880 310261 33554432000 4194304 4623224 140733755297632 18446744073709551615 4510978 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/662/statm: 389780 310261 344 105 0 385284 0
[pid=662/tid=664] ppid=660 vsize=1559120 CPUtime=1057.64 cores=0,2,4,6
/proc/662/task/664/stat : 664 (SArTagnan) R 660 662 384 0 -1 4202560 130380 0 0 0 105718 46 0 0 25 0 4 0 521242674 1596538880 310261 33554432000 4194304 4623224 140733755297632 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=662/tid=665] ppid=660 vsize=1559120 CPUtime=1062.13 cores=0,2,4,6
/proc/662/task/665/stat : 665 (SArTagnan) R 660 662 384 0 -1 4202560 54443 0 0 0 106195 18 0 0 25 0 4 0 521242674 1596538880 310261 33554432000 4194304 4623224 140733755297632 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=662/tid=666] ppid=660 vsize=1559120 CPUtime=1060.47 cores=0,2,4,6
/proc/662/task/666/stat : 666 (SArTagnan) R 660 662 384 0 -1 4202560 6773171 0 0 0 104944 1103 0 0 25 0 4 0 521242674 1596538880 310261 33554432000 4194304 4623224 140733755297632 18446744073709551615 4366460 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4242.48
Current children cumulated vsize (KiB) 1559120

[startup+1122.3 s]
/proc/loadavg: 8.17 8.12 8.08 9/184 739
/proc/meminfo: memFree=20313136/32950928 swapFree=67111524/67111528
[pid=662] ppid=660 vsize=1564928 CPUtime=4482.15 cores=0,2,4,6
/proc/662/stat : 662 (SArTagnan) R 660 662 384 0 -1 4202496 7832830 0 0 0 446897 1318 0 0 25 0 4 0 521242672 1602486272 320040 33554432000 4194304 4623224 140733755297632 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/662/statm: 391232 320040 344 105 0 386736 0
[pid=662/tid=664] ppid=660 vsize=1564928 CPUtime=1117.64 cores=0,2,4,6
/proc/662/task/664/stat : 664 (SArTagnan) R 660 662 384 0 -1 4202560 132269 0 0 0 111717 47 0 0 25 0 4 0 521242674 1602486272 320040 33554432000 4194304 4623224 140733755297632 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=662/tid=665] ppid=660 vsize=1564928 CPUtime=1122.13 cores=0,2,4,6
/proc/662/task/665/stat : 665 (SArTagnan) R 660 662 384 0 -1 4202560 54559 0 0 0 112195 18 0 0 25 0 4 0 521242674 1602486272 320040 33554432000 4194304 4623224 140733755297632 18446744073709551615 4376678 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=662/tid=666] ppid=660 vsize=1564928 CPUtime=1120.15 cores=0,2,4,6
/proc/662/task/666/stat : 666 (SArTagnan) R 660 662 384 0 -1 4202560 7193983 0 0 0 110846 1169 0 0 25 0 4 0 521242674 1602486272 320040 33554432000 4194304 4623224 140733755297632 18446744073709551615 4550704 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4482.15
Current children cumulated vsize (KiB) 1564928

[startup+1182.3 s]
/proc/loadavg: 8.16 8.12 8.08 9/184 740
/proc/meminfo: memFree=20237580/32950928 swapFree=67111524/67111528
[pid=662] ppid=660 vsize=1640804 CPUtime=4721.82 cores=0,2,4,6
/proc/662/stat : 662 (SArTagnan) R 660 662 384 0 -1 4202496 8237455 0 0 0 470804 1378 0 0 25 0 4 0 521242672 1680183296 331958 33554432000 4194304 4623224 140733755297632 18446744073709551615 4510226 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/662/statm: 410201 331958 344 105 0 405705 0
[pid=662/tid=664] ppid=660 vsize=1640804 CPUtime=1177.65 cores=0,2,4,6
/proc/662/task/664/stat : 664 (SArTagnan) R 660 662 384 0 -1 4202560 133369 0 0 0 117717 48 0 0 25 0 4 0 521242674 1680183296 331958 33554432000 4194304 4623224 140733755297632 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=662/tid=665] ppid=660 vsize=1640804 CPUtime=1182.13 cores=0,2,4,6
/proc/662/task/665/stat : 665 (SArTagnan) R 660 662 384 0 -1 4202560 54656 0 0 0 118195 18 0 0 25 0 4 0 521242674 1680183296 331958 33554432000 4194304 4623224 140733755297632 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=662/tid=666] ppid=660 vsize=1640804 CPUtime=1179.82 cores=0,2,4,6
/proc/662/task/666/stat : 666 (SArTagnan) R 660 662 384 0 -1 4202560 7571362 0 0 0 116757 1225 0 0 25 0 4 0 521242674 1680183296 331958 33554432000 4194304 4623224 140733755297632 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4721.82
Current children cumulated vsize (KiB) 1640804



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.9 s]
/proc/loadavg: 8.18 8.13 8.09 9/184 741
/proc/meminfo: memFree=20220456/32950928 swapFree=67111524/67111528
[pid=662] ppid=660 vsize=1640804 CPUtime=4800.12 cores=0,2,4,6
/proc/662/stat : 662 (SArTagnan) R 660 662 384 0 -1 4202496 8382284 0 0 0 478612 1400 0 0 25 0 4 0 521242672 1680183296 333347 33554432000 4194304 4623224 140733755297632 18446744073709551615 4508306 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/662/statm: 410201 333347 344 105 0 405705 0
[pid=662/tid=664] ppid=660 vsize=1640804 CPUtime=1197.25 cores=0,2,4,6
/proc/662/task/664/stat : 664 (SArTagnan) R 660 662 384 0 -1 4202560 133438 0 0 0 119677 48 0 0 25 0 4 0 521242674 1680183296 333347 33554432000 4194304 4623224 140733755297632 18446744073709551615 4486238 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=662/tid=665] ppid=660 vsize=1640804 CPUtime=1201.74 cores=0,2,4,6
/proc/662/task/665/stat : 665 (SArTagnan) R 660 662 384 0 -1 4202560 54663 0 0 0 120156 18 0 0 25 0 4 0 521242674 1680183296 333347 33554432000 4194304 4623224 140733755297632 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=662/tid=666] ppid=660 vsize=1640804 CPUtime=1199.32 cores=0,2,4,6
/proc/662/task/666/stat : 666 (SArTagnan) R 660 662 384 0 -1 4202560 7703211 0 0 0 118687 1245 0 0 25 0 4 0 521242674 1680183296 333347 33554432000 4194304 4623224 140733755297632 18446744073709551615 4366083 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.12
Current children cumulated vsize (KiB) 1640804

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

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

[startup+1201.9 s]
/proc/loadavg: 8.18 8.13 8.09 9/184 741
/proc/meminfo: memFree=20220456/32950928 swapFree=67111524/67111528
[pid=662] ppid=660 vsize=1640804 CPUtime=4800.12 cores=0,2,4,6
/proc/662/stat : 662 (SArTagnan) R 660 662 384 0 -1 4202496 8382284 0 0 0 478612 1400 0 0 25 0 4 0 521242672 1680183296 333347 33554432000 4194304 4623224 140733755297632 18446744073709551615 4508306 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/662/statm: 410201 333347 344 105 0 405705 0
[pid=662/tid=664] ppid=660 vsize=1640804 CPUtime=1197.25 cores=0,2,4,6
/proc/662/task/664/stat : 664 (SArTagnan) R 660 662 384 0 -1 4202560 133438 0 0 0 119677 48 0 0 25 0 4 0 521242674 1680183296 333347 33554432000 4194304 4623224 140733755297632 18446744073709551615 4486238 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=662/tid=665] ppid=660 vsize=1640804 CPUtime=1201.74 cores=0,2,4,6
/proc/662/task/665/stat : 665 (SArTagnan) R 660 662 384 0 -1 4202560 54663 0 0 0 120156 18 0 0 25 0 4 0 521242674 1680183296 333347 33554432000 4194304 4623224 140733755297632 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=662/tid=666] ppid=660 vsize=1640804 CPUtime=1199.32 cores=0,2,4,6
/proc/662/task/666/stat : 666 (SArTagnan) R 660 662 384 0 -1 4202560 7703211 0 0 0 118687 1245 0 0 25 0 4 0 521242674 1680183296 333347 33554432000 4194304 4623224 140733755297632 18446744073709551615 4366083 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.12
Current children cumulated vsize (KiB) 1640804

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.98
CPU time (s): 4800.23
CPU user time (s): 4786.15
CPU system time (s): 14.0729
CPU usage (%): 399.361
Max. virtual memory (cumulated for all children) (KiB): 1640804

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4786.15
system time used= 14.0729
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8382285
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= 3748
involuntary context switches= 29595

runsolver used 2.05669 second user time and 4.50631 second system time

The end

Launcher Data 

Begin job on node122 at 2011-04-29 19:00:39
IDJOB=3289911
IDBENCH=83410
IDSOLVER=1656
FILE ID=node122/3289911-1304096439
RUNJOBID= node122-1304094031-402
PBS_JOBID= 13170588
Free space on /tmp= 71664 MiB

SOLVER NAME= SArTagnan 2011-03-24
BENCH NAME= SAT11/application/kullmann/AES/Benchmarks/128/aes_128_2_keyfind_1.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3289911-1304096439/watcher-3289911-1304096439 -o /tmp/evaluation-result-3289911-1304096439/solver-3289911-1304096439 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3289911-1304096439.cnf -threads=4

TIME LIMIT= 4800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 19e0b91e7d093f7cb35b11b46708a49b
RANDOM SEED=998608008

node122.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.64
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.97
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      21303680 kB
Buffers:       1629536 kB
Cached:        8553564 kB
SwapCached:          4 kB
Active:        1946980 kB
Inactive:      9149964 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      21303680 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            1180 kB
Writeback:           0 kB
AnonPages:      913524 kB
Mapped:          15640 kB
Slab:           485912 kB
PageTables:       6504 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  1221856 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71664 MiB
End job on node122 at 2011-04-29 19:20:43