Trace number 3386397

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-05-15 (fixed)? (TO) 4006.85 1300.08

General information on the benchmark

Nameapplication/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom17.cnf
MD5SUMa6df2ce216327c64a0156683acb72fc2
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 variables32733
Number of clauses109177
Sum of the clauses size278009
Maximum clause length1080
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 256533
Number of clauses of size 352066
Number of clauses of size 4152
Number of clauses of size 515
Number of clauses of size over 5410

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: 961)

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-3386397-1305580298/watcher-3386397-1305580298 -o /tmp/evaluation-result-3386397-1305580298/solver-3386397-1305580298 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3386397-1305580298.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: 9.08 9.09 9.08 7/457 993
/proc/meminfo: memFree=12871532/32950928 swapFree=67111200/67111528
[pid=993] ppid=991 vsize=21168 CPUtime=0 cores=0,2,4,6
/proc/993/stat : 993 (SArTagnan) R 991 993 617 0 -1 4202496 875 0 0 0 0 0 0 0 25 0 1 0 748260477 21676032 813 33554432000 4194304 4625164 140736680535024 18446744073709551615 4295708 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/993/statm: 5292 825 291 106 0 795 0

[startup+0.153706 s]
/proc/loadavg: 9.08 9.09 9.08 7/457 993
/proc/meminfo: memFree=12871532/32950928 swapFree=67111200/67111528
[pid=993] ppid=991 vsize=214016 CPUtime=0.32 cores=0,2,4,6
/proc/993/stat : 993 (SArTagnan) R 991 993 617 0 -1 4202496 9228 0 0 0 32 0 0 0 25 0 4 0 748260477 219152384 7247 33554432000 4194304 4625164 140736680535024 18446744073709551615 256415049938 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/993/statm: 53504 7247 333 106 0 49007 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 214016

[startup+0.200693 s]
/proc/loadavg: 9.08 9.09 9.08 7/457 993
/proc/meminfo: memFree=12871532/32950928 swapFree=67111200/67111528
[pid=993] ppid=991 vsize=215636 CPUtime=0.45 cores=0,2,4,6
/proc/993/stat : 993 (SArTagnan) R 991 993 617 0 -1 4202496 9990 0 0 0 45 0 0 0 25 0 4 0 748260477 220811264 8009 33554432000 4194304 4625164 140736680535024 18446744073709551615 4512066 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/993/statm: 53909 8009 342 106 0 49412 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 215636

[startup+0.300674 s]
/proc/loadavg: 9.08 9.09 9.08 7/457 993
/proc/meminfo: memFree=12871532/32950928 swapFree=67111200/67111528
[pid=993] ppid=991 vsize=215636 CPUtime=0.75 cores=0,2,4,6
/proc/993/stat : 993 (SArTagnan) R 991 993 617 0 -1 4202496 10323 0 0 0 75 0 0 0 25 0 4 0 748260477 220811264 8228 33554432000 4194304 4625164 140736680535024 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/993/statm: 53909 8228 342 106 0 49412 0
Current children cumulated CPU time (s) 0.75
Current children cumulated vsize (KiB) 215636

[startup+0.700598 s]
/proc/loadavg: 9.08 9.09 9.08 7/457 993
/proc/meminfo: memFree=12871532/32950928 swapFree=67111200/67111528
[pid=993] ppid=991 vsize=215636 CPUtime=1.96 cores=0,2,4,6
/proc/993/stat : 993 (SArTagnan) R 991 993 617 0 -1 4202496 11245 0 0 0 195 1 0 0 25 0 4 0 748260477 220811264 8593 33554432000 4194304 4625164 140736680535024 18446744073709551615 4509158 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/993/statm: 53909 8593 342 106 0 49412 0
Current children cumulated CPU time (s) 1.96
Current children cumulated vsize (KiB) 215636

[startup+1.50045 s]
/proc/loadavg: 9.08 9.09 9.08 11/461 997
/proc/meminfo: memFree=12837036/32950928 swapFree=67111200/67111528
[pid=993] ppid=991 vsize=221244 CPUtime=4.34 cores=0,2,4,6
/proc/993/stat : 993 (SArTagnan) R 991 993 617 0 -1 4202496 14997 0 0 0 433 1 0 0 25 0 4 0 748260477 226553856 11328 33554432000 4194304 4625164 140736680535024 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/993/statm: 55311 11328 342 106 0 50814 0
[pid=993/tid=995] ppid=991 vsize=221244 CPUtime=1.4 cores=0,2,4,6
/proc/993/task/995/stat : 995 (SArTagnan) R 991 993 617 0 -1 4202560 1317 0 0 0 140 0 0 0 25 0 4 0 748260483 226553856 11328 33554432000 4194304 4625164 140736680535024 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=993/tid=996] ppid=991 vsize=221244 CPUtime=0.63 cores=0,2,4,6
/proc/993/task/996/stat : 996 (SArTagnan) R 991 993 617 0 -1 4202560 531 0 0 0 63 0 0 0 25 0 4 0 748260483 226553856 11328 33554432000 4194304 4625164 140736680535024 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=993/tid=997] ppid=991 vsize=221244 CPUtime=0.79 cores=0,2,4,6
/proc/993/task/997/stat : 997 (SArTagnan) R 991 993 617 0 -1 4202560 3511 0 0 0 79 0 0 0 25 0 4 0 748260483 226553856 11328 33554432000 4194304 4625164 140736680535024 18446744073709551615 4351731 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.34
Current children cumulated vsize (KiB) 221244

[startup+3.10115 s]
/proc/loadavg: 9.08 9.09 9.08 10/461 997
/proc/meminfo: memFree=12797856/32950928 swapFree=67111200/67111528
[pid=993] ppid=991 vsize=332724 CPUtime=9.1 cores=0,2,4,6
/proc/993/stat : 993 (SArTagnan) R 991 993 617 0 -1 4202496 52327 0 0 0 903 7 0 0 25 0 4 0 748260477 340709376 23248 33554432000 4194304 4625164 140736680535024 18446744073709551615 4396545 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/993/statm: 83181 23250 343 106 0 78684 0
[pid=993/tid=995] ppid=991 vsize=332724 CPUtime=2.96 cores=0,2,4,6
/proc/993/task/995/stat : 995 (SArTagnan) R 991 993 617 0 -1 4202560 6939 0 0 0 296 0 0 0 19 0 4 0 748260483 340709376 23250 33554432000 4194304 4625164 140736680535024 18446744073709551615 4339447 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=993/tid=996] ppid=991 vsize=332724 CPUtime=1.99 cores=0,2,4,6
/proc/993/task/996/stat : 996 (SArTagnan) R 991 993 617 0 -1 4202560 5536 0 0 0 198 1 0 0 25 0 4 0 748260483 340709376 23250 33554432000 4194304 4625164 140736680535024 18446744073709551615 4352615 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=993/tid=997] ppid=991 vsize=332724 CPUtime=2.07 cores=0,2,4,6
/proc/993/task/997/stat : 997 (SArTagnan) R 991 993 617 0 -1 4202560 19252 0 0 0 204 3 0 0 25 0 4 0 748260483 340709376 23250 33554432000 4194304 4625164 140736680535024 18446744073709551615 4552423 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 9.1
Current children cumulated vsize (KiB) 332724

[startup+6.30054 s]
/proc/loadavg: 9.08 9.08 9.08 10/461 997
/proc/meminfo: memFree=12729168/32950928 swapFree=67111200/67111528
[pid=993] ppid=991 vsize=378400 CPUtime=18.65 cores=0,2,4,6
/proc/993/stat : 993 (SArTagnan) R 991 993 617 0 -1 4202496 81902 0 0 0 1854 11 0 0 25 0 4 0 748260477 387481600 34792 33554432000 4194304 4625164 140736680535024 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/993/statm: 94600 34792 347 106 0 90103 0
[pid=993/tid=995] ppid=991 vsize=378400 CPUtime=6.1 cores=0,2,4,6
/proc/993/task/995/stat : 995 (SArTagnan) R 991 993 617 0 -1 4202560 13405 0 0 0 609 1 0 0 25 0 4 0 748260483 387481600 34792 33554432000 4194304 4625164 140736680535024 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=993/tid=996] ppid=991 vsize=378400 CPUtime=3.99 cores=0,2,4,6
/proc/993/task/996/stat : 996 (SArTagnan) R 991 993 617 0 -1 4202560 9497 0 0 0 398 1 0 0 25 0 4 0 748260483 387481600 34792 33554432000 4194304 4625164 140736680535024 18446744073709551615 4462644 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=993/tid=997] ppid=991 vsize=378400 CPUtime=3.7 cores=0,2,4,6
/proc/993/task/997/stat : 997 (SArTagnan) R 991 993 617 0 -1 4202560 27187 0 0 0 366 4 0 0 25 0 4 0 748260483 387481600 34792 33554432000 4194304 4625164 140736680535024 18446744073709551615 4547257 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 18.65
Current children cumulated vsize (KiB) 378400

[startup+12.7003 s]
/proc/loadavg: 9.07 9.08 9.08 10/461 998
/proc/meminfo: memFree=12721324/32950928 swapFree=67111200/67111528
[pid=993] ppid=991 vsize=385288 CPUtime=37.75 cores=0,2,4,6
/proc/993/stat : 993 (SArTagnan) R 991 993 617 0 -1 4202496 85941 0 0 0 3763 12 0 0 25 0 4 0 748260477 394534912 36086 33554432000 4194304 4625164 140736680535024 18446744073709551615 4511967 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/993/statm: 96322 36086 347 106 0 91825 0
[pid=993/tid=995] ppid=991 vsize=385288 CPUtime=12.5 cores=0,2,4,6
/proc/993/task/995/stat : 995 (SArTagnan) R 991 993 617 0 -1 4202560 13863 0 0 0 1249 1 0 0 25 0 4 0 748260483 394534912 36086 33554432000 4194304 4625164 140736680535024 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=993/tid=996] ppid=991 vsize=385288 CPUtime=7.19 cores=0,2,4,6
/proc/993/task/996/stat : 996 (SArTagnan) R 991 993 617 0 -1 4202560 9601 0 0 0 718 1 0 0 25 0 4 0 748260483 394534912 36086 33554432000 4194304 4625164 140736680535024 18446744073709551615 4352553 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=993/tid=997] ppid=991 vsize=385288 CPUtime=6.89 cores=0,2,4,6
/proc/993/task/997/stat : 997 (SArTagnan) R 991 993 617 0 -1 4202560 27622 0 0 0 685 4 0 0 25 0 4 0 748260483 394534912 36086 33554432000 4194304 4625164 140736680535024 18446744073709551615 4547280 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 37.75
Current children cumulated vsize (KiB) 385288

[startup+25.5009 s]
/proc/loadavg: 9.05 9.08 9.08 10/461 998
/proc/meminfo: memFree=12691196/32950928 swapFree=67111200/67111528
[pid=993] ppid=991 vsize=392136 CPUtime=75.94 cores=0,2,4,6
/proc/993/stat : 993 (SArTagnan) R 991 993 617 0 -1 4202496 171948 0 0 0 7569 25 0 0 25 0 4 0 748260477 401547264 40350 33554432000 4194304 4625164 140736680535024 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/993/statm: 98034 40350 347 106 0 93537 0
[pid=993/tid=995] ppid=991 vsize=392136 CPUtime=19.51 cores=0,2,4,6
/proc/993/task/995/stat : 995 (SArTagnan) R 991 993 617 0 -1 4202560 14362 0 0 0 1950 1 0 0 25 0 4 0 748260483 401547264 40350 33554432000 4194304 4625164 140736680535024 18446744073709551615 4351918 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=993/tid=996] ppid=991 vsize=392136 CPUtime=19.29 cores=0,2,4,6
/proc/993/task/996/stat : 996 (SArTagnan) R 991 993 617 0 -1 4202560 14962 0 0 0 1926 3 0 0 25 0 4 0 748260483 401547264 40350 33554432000 4194304 4625164 140736680535024 18446744073709551615 4291937 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=993/tid=997] ppid=991 vsize=392136 CPUtime=18.86 cores=0,2,4,6
/proc/993/task/997/stat : 997 (SArTagnan) R 991 993 617 0 -1 4202560 107033 0 0 0 1871 15 0 0 25 0 4 0 748260483 401547264 40350 33554432000 4194304 4625164 140736680535024 18446744073709551615 4547164 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 75.94
Current children cumulated vsize (KiB) 392136

[startup+51.1011 s]
/proc/loadavg: 9.25 9.12 9.09 10/461 999
/proc/meminfo: memFree=12638580/32950928 swapFree=67111200/67111528
[pid=993] ppid=991 vsize=401888 CPUtime=152.35 cores=0,2,4,6
/proc/993/stat : 993 (SArTagnan) R 991 993 617 0 -1 4202496 351918 0 0 0 15185 50 0 0 25 0 4 0 748260477 411533312 48433 33554432000 4194304 4625164 140736680535024 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/993/statm: 100472 48433 347 106 0 95975 0
[pid=993/tid=995] ppid=991 vsize=401888 CPUtime=31.71 cores=0,2,4,6
/proc/993/task/995/stat : 995 (SArTagnan) R 991 993 617 0 -1 4202560 15446 0 0 0 3170 1 0 0 25 0 4 0 748260483 411533312 48433 33554432000 4194304 4625164 140736680535024 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=993/tid=996] ppid=991 vsize=401888 CPUtime=42.01 cores=0,2,4,6
/proc/993/task/996/stat : 996 (SArTagnan) R 991 993 617 0 -1 4202560 21974 0 0 0 4196 5 0 0 25 0 4 0 748260483 411533312 48433 33554432000 4194304 4625164 140736680535024 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=993/tid=997] ppid=991 vsize=401888 CPUtime=43.49 cores=0,2,4,6
/proc/993/task/997/stat : 997 (SArTagnan) R 991 993 617 0 -1 4202560 278734 0 0 0 4310 39 0 0 25 0 4 0 748260483 411533312 48433 33554432000 4194304 4625164 140736680535024 18446744073709551615 4288686 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 152.35
Current children cumulated vsize (KiB) 401888

[startup+102.3 s]
/proc/loadavg: 9.18 9.12 9.09 11/461 1000
/proc/meminfo: memFree=12592328/32950928 swapFree=67111200/67111528
[pid=993] ppid=991 vsize=419424 CPUtime=305.19 cores=0,2,4,6
/proc/993/stat : 993 (SArTagnan) R 991 993 617 0 -1 4202496 654264 0 0 0 30424 95 0 0 25 0 4 0 748260477 429490176 56855 33554432000 4194304 4625164 140736680535024 18446744073709551615 4512066 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/993/statm: 104856 56855 347 106 0 100359 0
[pid=993/tid=995] ppid=991 vsize=419424 CPUtime=57.7 cores=0,2,4,6
/proc/993/task/995/stat : 995 (SArTagnan) R 991 993 617 0 -1 4202560 21373 0 0 0 5767 3 0 0 25 0 4 0 748260483 429490176 56858 33554432000 4194304 4625164 140736680535024 18446744073709551615 4352183 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=993/tid=996] ppid=991 vsize=419424 CPUtime=68.61 cores=0,2,4,6
/proc/993/task/996/stat : 996 (SArTagnan) R 991 993 617 0 -1 4202560 23035 0 0 0 6856 5 0 0 25 0 4 0 748260483 429490176 56858 33554432000 4194304 4625164 140736680535024 18446744073709551615 4352021 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=993/tid=997] ppid=991 vsize=419424 CPUtime=92.53 cores=0,2,4,6
/proc/993/task/997/stat : 997 (SArTagnan) R 991 993 617 0 -1 4202560 573064 0 0 0 9172 81 0 0 25 0 4 0 748260483 429490176 56858 33554432000 4194304 4625164 140736680535024 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 305.19
Current children cumulated vsize (KiB) 419424

[startup+162.301 s]
/proc/loadavg: 9.26 9.14 9.10 10/461 1002
/proc/meminfo: memFree=12446504/32950928 swapFree=67111200/67111528
[pid=993] ppid=991 vsize=457424 CPUtime=484.25 cores=0,2,4,6
/proc/993/stat : 993 (SArTagnan) R 991 993 617 0 -1 4202496 774577 0 0 0 48310 115 0 0 25 0 4 0 748260477 468402176 72723 33554432000 4194304 4625164 140736680535024 18446744073709551615 4390435 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/993/statm: 114356 72723 347 106 0 109859 0
[pid=993/tid=995] ppid=991 vsize=457424 CPUtime=92.7 cores=0,2,4,6
/proc/993/task/995/stat : 995 (SArTagnan) R 991 993 617 0 -1 4202560 32520 0 0 0 9264 6 0 0 25 0 4 0 748260483 468402176 72723 33554432000 4194304 4625164 140736680535024 18446744073709551615 4351827 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=993/tid=996] ppid=991 vsize=457424 CPUtime=119.38 cores=0,2,4,6
/proc/993/task/996/stat : 996 (SArTagnan) R 991 993 617 0 -1 4202560 26936 0 0 0 11930 8 0 0 25 0 4 0 748260483 468402176 72723 33554432000 4194304 4625164 140736680535024 18446744073709551615 4352021 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=993/tid=997] ppid=991 vsize=457424 CPUtime=125.81 cores=0,2,4,6
/proc/993/task/997/stat : 997 (SArTagnan) R 991 993 617 0 -1 4202560 672642 0 0 0 12487 94 0 0 25 0 4 0 748260483 468402176 72723 33554432000 4194304 4625164 140736680535024 18446744073709551615 4579376 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 484.25
Current children cumulated vsize (KiB) 457424

[startup+222.318 s]
/proc/loadavg: 9.20 9.14 9.10 10/461 1003
/proc/meminfo: memFree=12349896/32950928 swapFree=67111200/67111528
[pid=993] ppid=991 vsize=512120 CPUtime=663.37 cores=0,2,4,6
/proc/993/stat : 993 (SArTagnan) R 991 993 617 0 -1 4202496 1004192 0 0 0 66186 151 0 0 25 0 4 0 748260477 524410880 88246 33554432000 4194304 4625164 140736680535024 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/993/statm: 128030 88246 347 106 0 123533 0
[pid=993/tid=995] ppid=991 vsize=512120 CPUtime=124.48 cores=0,2,4,6
/proc/993/task/995/stat : 995 (SArTagnan) R 991 993 617 0 -1 4202560 50058 0 0 0 12438 10 0 0 25 0 4 0 748260483 524410880 88246 33554432000 4194304 4625164 140736680535024 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=993/tid=996] ppid=991 vsize=512120 CPUtime=168.25 cores=0,2,4,6
/proc/993/task/996/stat : 996 (SArTagnan) R 991 993 617 0 -1 4202560 35924 0 0 0 16815 10 0 0 25 0 4 0 748260483 524410880 88246 33554432000 4194304 4625164 140736680535024 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=993/tid=997] ppid=991 vsize=512120 CPUtime=166.69 cores=0,2,4,6
/proc/993/task/997/stat : 997 (SArTagnan) R 991 993 617 0 -1 4202560 865852 0 0 0 16546 123 0 0 25 0 4 0 748260483 524410880 88246 33554432000 4194304 4625164 140736680535024 18446744073709551615 4334728 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 663.37
Current children cumulated vsize (KiB) 512120

[startup+282.3 s]

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

[pid=993] ppid=991 vsize=1087772 CPUtime=2275.09 cores=0,2,4,6
/proc/993/stat : 993 (SArTagnan) R 991 993 617 0 -1 4202496 2174104 0 0 0 227166 343 0 0 25 0 4 0 748260477 1113878528 222012 33554432000 4194304 4625164 140736680535024 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/993/statm: 271943 222012 476 106 0 267446 0
[pid=993/tid=995] ppid=991 vsize=1087772 CPUtime=528.93 cores=0,2,4,6
/proc/993/task/995/stat : 995 (SArTagnan) R 991 993 617 0 -1 4202560 87564 0 0 0 52872 21 0 0 25 0 4 0 748260483 1113878528 222012 33554432000 4194304 4625164 140736680535024 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=993/tid=996] ppid=991 vsize=1087772 CPUtime=504.4 cores=0,2,4,6
/proc/993/task/996/stat : 996 (SArTagnan) R 991 993 617 0 -1 4202560 43648 0 0 0 50423 17 0 0 25 0 4 0 748260483 1113878528 222012 33554432000 4194304 4625164 140736680535024 18446744073709551615 4351818 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=993/tid=997] ppid=991 vsize=1087772 CPUtime=552.59 cores=0,2,4,6
/proc/993/task/997/stat : 997 (SArTagnan) R 991 993 617 0 -1 4202560 1828122 0 0 0 54988 271 0 0 25 0 4 0 748260483 1113878528 222012 33554432000 4194304 4625164 140736680535024 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2275.09
Current children cumulated vsize (KiB) 1087772

[startup+822.301 s]
/proc/loadavg: 9.06 9.14 9.09 10/461 1019
/proc/meminfo: memFree=11344184/32950928 swapFree=67111200/67111528
[pid=993] ppid=991 vsize=1168692 CPUtime=2454.16 cores=0,2,4,6
/proc/993/stat : 993 (SArTagnan) R 991 993 617 0 -1 4202496 2219983 0 0 0 245066 350 0 0 25 0 4 0 748260477 1196740608 235829 33554432000 4194304 4625164 140736680535024 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/993/statm: 292173 235829 476 106 0 287676 0
[pid=993/tid=995] ppid=991 vsize=1168692 CPUtime=558.49 cores=0,2,4,6
/proc/993/task/995/stat : 995 (SArTagnan) R 991 993 617 0 -1 4202560 88331 0 0 0 55827 22 0 0 25 0 4 0 748260483 1196740608 235829 33554432000 4194304 4625164 140736680535024 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=993/tid=996] ppid=991 vsize=1168692 CPUtime=533.92 cores=0,2,4,6
/proc/993/task/996/stat : 996 (SArTagnan) R 991 993 617 0 -1 4202560 43820 0 0 0 53375 17 0 0 25 0 4 0 748260483 1196740608 235829 33554432000 4194304 4625164 140736680535024 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=993/tid=997] ppid=991 vsize=1168692 CPUtime=612.58 cores=0,2,4,6
/proc/993/task/997/stat : 997 (SArTagnan) R 991 993 617 0 -1 4202560 1832584 0 0 0 60985 273 0 0 25 0 4 0 748260483 1196740608 235829 33554432000 4194304 4625164 140736680535024 18446744073709551615 4334485 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2454.16
Current children cumulated vsize (KiB) 1168692

[startup+882.318 s]
/proc/loadavg: 9.09 9.14 9.09 10/461 1021
/proc/meminfo: memFree=11302888/32950928 swapFree=67111200/67111528
[pid=993] ppid=991 vsize=1183952 CPUtime=2633.28 cores=0,2,4,6
/proc/993/stat : 993 (SArTagnan) R 991 993 617 0 -1 4202496 2229998 0 0 0 262976 352 0 0 25 0 4 0 748260477 1212366848 244566 33554432000 4194304 4625164 140736680535024 18446744073709551615 4511967 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/993/statm: 295988 244566 430 106 0 291491 0
[pid=993/tid=995] ppid=991 vsize=1183952 CPUtime=588.02 cores=0,2,4,6
/proc/993/task/995/stat : 995 (SArTagnan) R 991 993 617 0 -1 4202560 89329 0 0 0 58780 22 0 0 25 0 4 0 748260483 1212366848 244566 33554432000 4194304 4625164 140736680535024 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=993/tid=996] ppid=991 vsize=1183952 CPUtime=563.47 cores=0,2,4,6
/proc/993/task/996/stat : 996 (SArTagnan) R 991 993 617 0 -1 4202560 43917 0 0 0 56330 17 0 0 25 0 4 0 748260483 1212366848 244566 33554432000 4194304 4625164 140736680535024 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=993/tid=997] ppid=991 vsize=1183952 CPUtime=672.6 cores=0,2,4,6
/proc/993/task/997/stat : 997 (SArTagnan) R 991 993 617 0 -1 4202560 1836727 0 0 0 66986 274 0 0 25 0 4 0 748260483 1212366848 244566 33554432000 4194304 4625164 140736680535024 18446744073709551615 4547221 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2633.28
Current children cumulated vsize (KiB) 1183952

[startup+942.301 s]
/proc/loadavg: 9.18 9.15 9.10 10/461 1022
/proc/meminfo: memFree=11235428/32950928 swapFree=67111200/67111528
[pid=993] ppid=991 vsize=1258148 CPUtime=2812.31 cores=0,2,4,6
/proc/993/stat : 993 (SArTagnan) R 991 993 617 0 -1 4202496 2274173 0 0 0 280872 359 0 0 25 0 4 0 748260477 1288343552 257275 33554432000 4194304 4625164 140736680535024 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/993/statm: 314537 257275 347 106 0 310040 0
[pid=993/tid=995] ppid=991 vsize=1258148 CPUtime=617.92 cores=0,2,4,6
/proc/993/task/995/stat : 995 (SArTagnan) R 991 993 617 0 -1 4202560 115100 0 0 0 61766 26 0 0 25 0 4 0 748260483 1288343552 257275 33554432000 4194304 4625164 140736680535024 18446744073709551615 4352728 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=993/tid=996] ppid=991 vsize=1258148 CPUtime=615.71 cores=0,2,4,6
/proc/993/task/996/stat : 996 (SArTagnan) R 991 993 617 0 -1 4202560 54833 0 0 0 61552 19 0 0 25 0 4 0 748260483 1288343552 257275 33554432000 4194304 4625164 140736680535024 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=993/tid=997] ppid=991 vsize=1258148 CPUtime=715.5 cores=0,2,4,6
/proc/993/task/997/stat : 997 (SArTagnan) R 991 993 617 0 -1 4202560 1839937 0 0 0 71275 275 0 0 25 0 4 0 748260483 1288343552 257275 33554432000 4194304 4625164 140736680535024 18446744073709551615 4546798 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2812.31
Current children cumulated vsize (KiB) 1258148

[startup+1002.3 s]
/proc/loadavg: 9.10 9.14 9.09 10/461 1024
/proc/meminfo: memFree=11164616/32950928 swapFree=67111200/67111528
[pid=993] ppid=991 vsize=1398828 CPUtime=2991.39 cores=0,2,4,6
/proc/993/stat : 993 (SArTagnan) R 991 993 617 0 -1 4202496 2287981 0 0 0 298775 364 0 0 25 0 4 0 748260477 1432399872 268625 33554432000 4194304 4625164 140736680535024 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/993/statm: 349707 268625 347 106 0 345210 0
[pid=993/tid=995] ppid=991 vsize=1398828 CPUtime=647.44 cores=0,2,4,6
/proc/993/task/995/stat : 995 (SArTagnan) R 991 993 617 0 -1 4202560 116715 0 0 0 64716 28 0 0 25 0 4 0 748260483 1432399872 268625 33554432000 4194304 4625164 140736680535024 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=993/tid=996] ppid=991 vsize=1398828 CPUtime=675.72 cores=0,2,4,6
/proc/993/task/996/stat : 996 (SArTagnan) R 991 993 617 0 -1 4202560 57136 0 0 0 67552 20 0 0 25 0 4 0 748260483 1432399872 268625 33554432000 4194304 4625164 140736680535024 18446744073709551615 4467475 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=993/tid=997] ppid=991 vsize=1398828 CPUtime=775.5 cores=0,2,4,6
/proc/993/task/997/stat : 997 (SArTagnan) R 991 993 617 0 -1 4202560 1844247 0 0 0 77274 276 0 0 25 0 4 0 748260483 1432399872 268625 33554432000 4194304 4625164 140736680535024 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2991.39
Current children cumulated vsize (KiB) 1398828

[startup+1062.3 s]
/proc/loadavg: 9.13 9.14 9.09 11/461 1026
/proc/meminfo: memFree=11029816/32950928 swapFree=67111200/67111528
[pid=993] ppid=991 vsize=1507272 CPUtime=3170.5 cores=0,2,4,6
/proc/993/stat : 993 (SArTagnan) R 991 993 617 0 -1 4202496 2343717 0 0 0 316678 372 0 0 25 0 4 0 748260477 1543446528 290925 33554432000 4194304 4625164 140736680535024 18446744073709551615 4512312 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/993/statm: 376818 290925 347 106 0 372321 0
[pid=993/tid=995] ppid=991 vsize=1507272 CPUtime=676.95 cores=0,2,4,6
/proc/993/task/995/stat : 995 (SArTagnan) R 991 993 617 0 -1 4202560 118580 0 0 0 67666 29 0 0 25 0 4 0 748260483 1543446528 290925 33554432000 4194304 4625164 140736680535024 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=993/tid=996] ppid=991 vsize=1507272 CPUtime=735.72 cores=0,2,4,6
/proc/993/task/996/stat : 996 (SArTagnan) R 991 993 617 0 -1 4202560 57693 0 0 0 73552 20 0 0 25 0 4 0 748260483 1543446528 290925 33554432000 4194304 4625164 140736680535024 18446744073709551615 4352186 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=993/tid=997] ppid=991 vsize=1507272 CPUtime=835.5 cores=0,2,4,6
/proc/993/task/997/stat : 997 (SArTagnan) R 991 993 617 0 -1 4202560 1848426 0 0 0 83274 276 0 0 25 0 4 0 748260483 1543446528 290925 33554432000 4194304 4625164 140736680535024 18446744073709551615 4335165 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3170.5
Current children cumulated vsize (KiB) 1507272

[startup+1122.3 s]
/proc/loadavg: 7.54 8.75 8.96 6/452 1045
/proc/meminfo: memFree=12038704/32950928 swapFree=67111200/67111528
[pid=993] ppid=991 vsize=1521616 CPUtime=3349.6 cores=0,2,4,6
/proc/993/stat : 993 (SArTagnan) R 991 993 617 0 -1 4202496 2353050 0 0 0 334584 376 0 0 25 0 4 0 748260477 1558134784 299973 33554432000 4194304 4625164 140736680535024 18446744073709551615 4511936 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/993/statm: 380404 299973 347 106 0 375907 0
[pid=993/tid=995] ppid=991 vsize=1521616 CPUtime=725.39 cores=0,2,4,6
/proc/993/task/995/stat : 995 (SArTagnan) R 991 993 617 0 -1 4202560 119384 0 0 0 72510 29 0 0 25 0 4 0 748260483 1558134784 299973 33554432000 4194304 4625164 140736680535024 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=993/tid=996] ppid=991 vsize=1521616 CPUtime=776.57 cores=0,2,4,6
/proc/993/task/996/stat : 996 (SArTagnan) R 991 993 617 0 -1 4202560 58153 0 0 0 77636 21 0 0 25 0 4 0 748260483 1558134784 299973 33554432000 4194304 4625164 140736680535024 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=993/tid=997] ppid=991 vsize=1521616 CPUtime=895.5 cores=0,2,4,6
/proc/993/task/997/stat : 997 (SArTagnan) R 991 993 617 0 -1 4202560 1852286 0 0 0 89273 277 0 0 25 0 4 0 748260483 1558134784 299973 33554432000 4194304 4625164 140736680535024 18446744073709551615 4579399 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3349.6
Current children cumulated vsize (KiB) 1521616

[startup+1182.3 s]
/proc/loadavg: 6.00 8.08 8.72 6/452 1047
/proc/meminfo: memFree=11996660/32950928 swapFree=67111200/67111528
[pid=993] ppid=991 vsize=1534740 CPUtime=3537.65 cores=0,2,4,6
/proc/993/stat : 993 (SArTagnan) R 991 993 617 0 -1 4202496 2364449 0 0 0 353374 391 0 0 25 0 4 0 748260477 1571573760 310308 33554432000 4194304 4625164 140736680535024 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/993/statm: 383685 310308 347 106 0 379188 0
[pid=993/tid=995] ppid=991 vsize=1534740 CPUtime=784.5 cores=0,2,4,6
/proc/993/task/995/stat : 995 (SArTagnan) R 991 993 617 0 -1 4202560 120771 0 0 0 78417 33 0 0 25 0 4 0 748260483 1571573760 310308 33554432000 4194304 4625164 140736680535024 18446744073709551615 4352280 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=993/tid=996] ppid=991 vsize=1534740 CPUtime=811.01 cores=0,2,4,6
/proc/993/task/996/stat : 996 (SArTagnan) R 991 993 617 0 -1 4202560 58723 0 0 0 81077 24 0 0 25 0 4 0 748260483 1571573760 310308 33554432000 4194304 4625164 140736680535024 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=993/tid=997] ppid=991 vsize=1534740 CPUtime=955.5 cores=0,2,4,6
/proc/993/task/997/stat : 997 (SArTagnan) R 991 993 617 0 -1 4202560 1855814 0 0 0 95272 278 0 0 25 0 4 0 748260483 1571573760 310308 33554432000 4194304 4625164 140736680535024 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3537.65
Current children cumulated vsize (KiB) 1534740

[startup+1242.3 s]
/proc/loadavg: 5.49 7.54 8.49 6/452 1048
/proc/meminfo: memFree=11943212/32950928 swapFree=67111200/67111528
[pid=993] ppid=991 vsize=1574964 CPUtime=3776.76 cores=0,2,4,6
/proc/993/stat : 993 (SArTagnan) R 991 993 617 0 -1 4202496 2386273 0 0 0 377259 417 0 0 25 0 4 0 748260477 1612763136 323693 33554432000 4194304 4625164 140736680535024 18446744073709551615 4512029 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/993/statm: 393741 323693 347 106 0 389244 0
[pid=993/tid=995] ppid=991 vsize=1574964 CPUtime=843.62 cores=0,2,4,6
/proc/993/task/995/stat : 995 (SArTagnan) R 991 993 617 0 -1 4202560 129883 0 0 0 84316 46 0 0 25 0 4 0 748260483 1612763136 323693 33554432000 4194304 4625164 140736680535024 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=993/tid=996] ppid=991 vsize=1574964 CPUtime=871 cores=0,2,4,6
/proc/993/task/996/stat : 996 (SArTagnan) R 991 993 617 0 -1 4202560 59936 0 0 0 87069 31 0 0 25 0 4 0 748260483 1612763136 323693 33554432000 4194304 4625164 140736680535024 18446744073709551615 4352044 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=993/tid=997] ppid=991 vsize=1574964 CPUtime=1015.51 cores=0,2,4,6
/proc/993/task/997/stat : 997 (SArTagnan) R 991 993 617 0 -1 4202560 1859460 0 0 0 101271 280 0 0 25 0 4 0 748260483 1612763136 323693 33554432000 4194304 4625164 140736680535024 18446744073709551615 4339616 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3776.76
Current children cumulated vsize (KiB) 1574964



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 5.18 7.08 8.27 6/452 1050
/proc/meminfo: memFree=11885792/32950928 swapFree=67111200/67111528
[pid=993] ppid=991 vsize=1682780 CPUtime=4006.72 cores=0,2,4,6
/proc/993/stat : 993 (SArTagnan) R 991 993 617 0 -1 4202496 2449275 0 0 0 400229 443 0 0 25 0 4 0 748260477 1723166720 338013 33554432000 4194304 4625164 140736680535024 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/993/statm: 420695 338013 347 106 0 416198 0
[pid=993/tid=995] ppid=991 vsize=1682780 CPUtime=900.47 cores=0,2,4,6
/proc/993/task/995/stat : 995 (SArTagnan) R 991 993 617 0 -1 4202560 133015 0 0 0 89987 60 0 0 25 0 4 0 748260483 1723166720 338013 33554432000 4194304 4625164 140736680535024 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=993/tid=996] ppid=991 vsize=1682780 CPUtime=928.72 cores=0,2,4,6
/proc/993/task/996/stat : 996 (SArTagnan) R 991 993 617 0 -1 4202560 60966 0 0 0 92838 34 0 0 25 0 4 0 748260483 1723166720 338013 33554432000 4194304 4625164 140736680535024 18446744073709551615 4465186 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=993/tid=997] ppid=991 vsize=1682780 CPUtime=1073.23 cores=0,2,4,6
/proc/993/task/997/stat : 997 (SArTagnan) R 991 993 617 0 -1 4202560 1862924 0 0 0 107043 280 0 0 25 0 4 0 748260483 1723166720 338013 33554432000 4194304 4625164 140736680535024 18446744073709551615 4547221 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4006.72
Current children cumulated vsize (KiB) 1682780

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

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

[startup+1300 s]
/proc/loadavg: 5.18 7.08 8.27 6/452 1050
/proc/meminfo: memFree=11885792/32950928 swapFree=67111200/67111528
[pid=993] ppid=991 vsize=1682780 CPUtime=4006.72 cores=0,2,4,6
/proc/993/stat : 993 (SArTagnan) R 991 993 617 0 -1 4202496 2449275 0 0 0 400229 443 0 0 25 0 4 0 748260477 1723166720 338013 33554432000 4194304 4625164 140736680535024 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/993/statm: 420695 338013 347 106 0 416198 0
[pid=993/tid=995] ppid=991 vsize=1682780 CPUtime=900.47 cores=0,2,4,6
/proc/993/task/995/stat : 995 (SArTagnan) R 991 993 617 0 -1 4202560 133015 0 0 0 89987 60 0 0 25 0 4 0 748260483 1723166720 338013 33554432000 4194304 4625164 140736680535024 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=993/tid=996] ppid=991 vsize=1682780 CPUtime=928.72 cores=0,2,4,6
/proc/993/task/996/stat : 996 (SArTagnan) R 991 993 617 0 -1 4202560 60966 0 0 0 92838 34 0 0 25 0 4 0 748260483 1723166720 338013 33554432000 4194304 4625164 140736680535024 18446744073709551615 4465186 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=993/tid=997] ppid=991 vsize=1682780 CPUtime=1073.23 cores=0,2,4,6
/proc/993/task/997/stat : 997 (SArTagnan) R 991 993 617 0 -1 4202560 1862924 0 0 0 107043 280 0 0 25 0 4 0 748260483 1723166720 338013 33554432000 4194304 4625164 140736680535024 18446744073709551615 4547221 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4006.72
Current children cumulated vsize (KiB) 1682780

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1300.08
CPU time (s): 4006.85
CPU user time (s): 4002.35
CPU system time (s): 4.49232
CPU usage (%): 308.2
Max. virtual memory (cumulated for all children) (KiB): 1868144

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4002.35
system time used= 4.49232
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2449275
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= 5281
involuntary context switches= 30952

runsolver used 5.8931 second user time and 13.9719 second system time

The end

Launcher Data 

Begin job on node115 at 2011-05-16 23:11:38
IDJOB=3386397
IDBENCH=83134
IDSOLVER=1871
FILE ID=node115/3386397-1305580298
RUNJOBID= node115-1305576977-635
PBS_JOBID= 13350213
Free space on /tmp= 73264 MiB

SOLVER NAME= SArTagnan 2011-05-15 (fixed)
BENCH NAME= SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom17.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3386397-1305580298/watcher-3386397-1305580298 -o /tmp/evaluation-result-3386397-1305580298/solver-3386397-1305580298 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3386397-1305580298.cnf -threads=4

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

MD5SUM BENCH= a6df2ce216327c64a0156683acb72fc2
RANDOM SEED=860468076

node115.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.811
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.62
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.811
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	: 5226.15
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.811
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.811
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.75
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.811
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.77
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.811
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.74
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.811
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.811
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      12871564 kB
Buffers:        284040 kB
Cached:        3266976 kB
SwapCached:          0 kB
Active:       16653048 kB
Inactive:      3095312 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      12871564 kB
SwapTotal:    67111528 kB
SwapFree:     67111200 kB
Dirty:            2344 kB
Writeback:           0 kB
AnonPages:    16197360 kB
Mapped:          36996 kB
Slab:           196888 kB
PageTables:      66748 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 123048208 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= 73268 MiB
End job on node115 at 2011-05-16 23:33:20