Trace number 3386409

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) 4800.44 1204.76

General information on the benchmark

Nameapplication/fuhs/slp-synthesis-AES/
slp-synthesis-aes-top25.cnf
MD5SUM1d36146d5d79c91e0605a19242395228
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark527.919
Satisfiable
(Un)Satisfiability was proved
Number of variables71356
Number of clauses227126
Sum of the clauses size555264
Maximum clause length2747
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2137909
Number of clauses of size 387742
Number of clauses of size 4324
Number of clauses of size 523
Number of clauses of size over 51127

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-3386409-1305580185/watcher-3386409-1305580185 -o /tmp/evaluation-result-3386409-1305580185/solver-3386409-1305580185 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3386409-1305580185.cnf -threads=4 

running on 4 cores: 1,3,5,7

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: 8.79 9.06 9.07 6/457 959
/proc/meminfo: memFree=12441068/32950928 swapFree=67111200/67111528
[pid=959] ppid=957 vsize=19472 CPUtime=0 cores=1,3,5,7
/proc/959/stat : 959 (SArTagnan) R 957 959 617 0 -1 4202496 608 0 0 0 0 0 0 0 25 0 1 0 748249149 19939328 546 33554432000 4194304 4625164 140736449272080 18446744073709551615 4315093 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/959/statm: 4868 548 291 106 0 371 0

[startup+0.0360239 s]
/proc/loadavg: 8.79 9.06 9.07 6/457 959
/proc/meminfo: memFree=12441068/32950928 swapFree=67111200/67111528
[pid=959] ppid=957 vsize=33224 CPUtime=0.02 cores=1,3,5,7
/proc/959/stat : 959 (SArTagnan) R 957 959 617 0 -1 4202496 3378 0 0 0 2 0 0 0 25 0 1 0 748249149 34021376 2481 33554432000 4194304 4625164 140736449272080 18446744073709551615 256415391488 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/959/statm: 8306 2481 299 106 0 3809 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 33224

[startup+0.101019 s]
/proc/loadavg: 8.79 9.06 9.07 6/457 959
/proc/meminfo: memFree=12441068/32950928 swapFree=67111200/67111528
[pid=959] ppid=957 vsize=46212 CPUtime=0.09 cores=1,3,5,7
/proc/959/stat : 959 (SArTagnan) R 957 959 617 0 -1 4202496 8940 0 0 0 8 1 0 0 25 0 1 0 748249149 47321088 5533 33554432000 4194304 4625164 140736449272080 18446744073709551615 4277645 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/959/statm: 11553 5557 301 106 0 7056 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 46212

[startup+0.300917 s]
/proc/loadavg: 8.79 9.06 9.07 6/457 959
/proc/meminfo: memFree=12441068/32950928 swapFree=67111200/67111528
[pid=959] ppid=957 vsize=310608 CPUtime=0.85 cores=1,3,5,7
/proc/959/stat : 959 (SArTagnan) R 957 959 617 0 -1 4202496 18321 0 0 0 83 2 0 0 25 0 4 0 748249149 318062592 14641 33554432000 4194304 4625164 140736449272080 18446744073709551615 4390631 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/959/statm: 77652 14641 336 106 0 73155 0
Current children cumulated CPU time (s) 0.85
Current children cumulated vsize (KiB) 310608

[startup+0.700841 s]
/proc/loadavg: 8.79 9.06 9.07 6/457 959
/proc/meminfo: memFree=12441068/32950928 swapFree=67111200/67111528
[pid=959] ppid=957 vsize=311692 CPUtime=2.45 cores=1,3,5,7
/proc/959/stat : 959 (SArTagnan) R 957 959 617 0 -1 4202496 20738 0 0 0 243 2 0 0 25 0 4 0 748249149 319172608 15519 33554432000 4194304 4625164 140736449272080 18446744073709551615 4390631 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/959/statm: 77923 15519 342 106 0 73426 0
Current children cumulated CPU time (s) 2.45
Current children cumulated vsize (KiB) 311692

[startup+1.50069 s]
/proc/loadavg: 8.79 9.06 9.07 10/461 963
/proc/meminfo: memFree=12374704/32950928 swapFree=67111200/67111528
[pid=959] ppid=957 vsize=319316 CPUtime=5.63 cores=1,3,5,7
/proc/959/stat : 959 (SArTagnan) R 957 959 617 0 -1 4202496 25759 0 0 0 560 3 0 0 25 0 4 0 748249149 326979584 17516 33554432000 4194304 4625164 140736449272080 18446744073709551615 4390549 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/959/statm: 79829 17516 345 106 0 75332 0
[pid=959/tid=961] ppid=957 vsize=319316 CPUtime=1.38 cores=1,3,5,7
/proc/959/task/961/stat : 961 (SArTagnan) R 957 959 617 0 -1 4202560 1743 0 0 0 138 0 0 0 25 0 4 0 748249160 326979584 17516 33554432000 4194304 4625164 140736449272080 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=959/tid=962] ppid=957 vsize=319316 CPUtime=1.36 cores=1,3,5,7
/proc/959/task/962/stat : 962 (SArTagnan) R 957 959 617 0 -1 4202560 1601 0 0 0 136 0 0 0 25 0 4 0 748249160 326979584 17516 33554432000 4194304 4625164 140736449272080 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=959/tid=963] ppid=957 vsize=319316 CPUtime=1.38 cores=1,3,5,7
/proc/959/task/963/stat : 963 (SArTagnan) R 957 959 617 0 -1 4202560 5721 0 0 0 137 1 0 0 25 0 4 0 748249160 326979584 17516 33554432000 4194304 4625164 140736449272080 18446744073709551615 4552307 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.63
Current children cumulated vsize (KiB) 319316

[startup+3.10039 s]
/proc/loadavg: 8.79 9.06 9.07 10/461 963
/proc/meminfo: memFree=12364716/32950928 swapFree=67111200/67111528
[pid=959] ppid=957 vsize=324192 CPUtime=12.02 cores=1,3,5,7
/proc/959/stat : 959 (SArTagnan) R 957 959 617 0 -1 4202496 32642 0 0 0 1197 5 0 0 25 0 4 0 748249149 331972608 19353 33554432000 4194304 4625164 140736449272080 18446744073709551615 4390569 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/959/statm: 81048 19353 345 106 0 76551 0
[pid=959/tid=961] ppid=957 vsize=324192 CPUtime=2.98 cores=1,3,5,7
/proc/959/task/961/stat : 961 (SArTagnan) R 957 959 617 0 -1 4202560 2977 0 0 0 298 0 0 0 25 0 4 0 748249160 331972608 19353 33554432000 4194304 4625164 140736449272080 18446744073709551615 4352280 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=959/tid=962] ppid=957 vsize=324192 CPUtime=2.95 cores=1,3,5,7
/proc/959/task/962/stat : 962 (SArTagnan) R 957 959 617 0 -1 4202560 1914 0 0 0 295 0 0 0 25 0 4 0 748249160 331972608 19353 33554432000 4194304 4625164 140736449272080 18446744073709551615 4317274 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=959/tid=963] ppid=957 vsize=324192 CPUtime=2.98 cores=1,3,5,7
/proc/959/task/963/stat : 963 (SArTagnan) R 957 959 617 0 -1 4202560 10836 0 0 0 296 2 0 0 25 0 4 0 748249160 331972608 19353 33554432000 4194304 4625164 140736449272080 18446744073709551615 4547257 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.02
Current children cumulated vsize (KiB) 324192

[startup+6.30079 s]
/proc/loadavg: 8.89 9.07 9.07 10/461 963
/proc/meminfo: memFree=12355820/32950928 swapFree=67111200/67111528
[pid=959] ppid=957 vsize=329076 CPUtime=24.76 cores=1,3,5,7
/proc/959/stat : 959 (SArTagnan) R 957 959 617 0 -1 4202496 45251 0 0 0 2469 7 0 0 25 0 4 0 748249149 336973824 21172 33554432000 4194304 4625164 140736449272080 18446744073709551615 4508979 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/959/statm: 82269 21172 345 106 0 77772 0
[pid=959/tid=961] ppid=957 vsize=329076 CPUtime=6.18 cores=1,3,5,7
/proc/959/task/961/stat : 961 (SArTagnan) R 957 959 617 0 -1 4202560 3296 0 0 0 618 0 0 0 25 0 4 0 748249160 336973824 21172 33554432000 4194304 4625164 140736449272080 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=959/tid=962] ppid=957 vsize=329076 CPUtime=6.09 cores=1,3,5,7
/proc/959/task/962/stat : 962 (SArTagnan) R 957 959 617 0 -1 4202560 3174 0 0 0 609 0 0 0 25 0 4 0 748249160 336973824 21172 33554432000 4194304 4625164 140736449272080 18446744073709551615 4353037 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=959/tid=963] ppid=957 vsize=329076 CPUtime=6.17 cores=1,3,5,7
/proc/959/task/963/stat : 963 (SArTagnan) R 957 959 617 0 -1 4202560 20957 0 0 0 614 3 0 0 25 0 4 0 748249160 336973824 21172 33554432000 4194304 4625164 140736449272080 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 24.76
Current children cumulated vsize (KiB) 329076

[startup+12.7006 s]
/proc/loadavg: 8.90 9.07 9.07 10/461 964
/proc/meminfo: memFree=12323844/32950928 swapFree=67111200/67111528
[pid=959] ppid=957 vsize=358424 CPUtime=50.27 cores=1,3,5,7
/proc/959/stat : 959 (SArTagnan) R 957 959 617 0 -1 4202496 87738 0 0 0 5013 14 0 0 25 0 4 0 748249149 367026176 28064 33554432000 4194304 4625164 140736449272080 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/959/statm: 89606 28064 347 106 0 85109 0
[pid=959/tid=961] ppid=957 vsize=358424 CPUtime=12.58 cores=1,3,5,7
/proc/959/task/961/stat : 961 (SArTagnan) R 957 959 617 0 -1 4202560 8643 0 0 0 1257 1 0 0 25 0 4 0 748249160 367026176 28064 33554432000 4194304 4625164 140736449272080 18446744073709551615 4351975 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=959/tid=962] ppid=957 vsize=358424 CPUtime=12.4 cores=1,3,5,7
/proc/959/task/962/stat : 962 (SArTagnan) R 957 959 617 0 -1 4202560 8960 0 0 0 1239 1 0 0 25 0 4 0 748249160 367026176 28064 33554432000 4194304 4625164 140736449272080 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=959/tid=963] ppid=957 vsize=358424 CPUtime=12.58 cores=1,3,5,7
/proc/959/task/963/stat : 963 (SArTagnan) R 957 959 617 0 -1 4202560 48030 0 0 0 1250 8 0 0 25 0 4 0 748249160 367026176 28064 33554432000 4194304 4625164 140736449272080 18446744073709551615 4552608 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.27
Current children cumulated vsize (KiB) 358424

[startup+25.5012 s]
/proc/loadavg: 8.99 9.08 9.08 10/461 964
/proc/meminfo: memFree=12163280/32950928 swapFree=67111200/67111528
[pid=959] ppid=957 vsize=436764 CPUtime=101.28 cores=1,3,5,7
/proc/959/stat : 959 (SArTagnan) R 957 959 617 0 -1 4202496 163333 0 0 0 10104 24 0 0 25 0 4 0 748249149 447246336 65109 33554432000 4194304 4625164 140736449272080 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/959/statm: 109191 65109 356 106 0 104694 0
[pid=959/tid=961] ppid=957 vsize=436764 CPUtime=25.38 cores=1,3,5,7
/proc/959/task/961/stat : 961 (SArTagnan) R 957 959 617 0 -1 4202560 15303 0 0 0 2536 2 0 0 25 0 4 0 748249160 447246336 65109 33554432000 4194304 4625164 140736449272080 18446744073709551615 4465239 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=959/tid=962] ppid=957 vsize=436764 CPUtime=25 cores=1,3,5,7
/proc/959/task/962/stat : 962 (SArTagnan) R 957 959 617 0 -1 4202560 15160 0 0 0 2498 2 0 0 25 0 4 0 748249160 447246336 65109 33554432000 4194304 4625164 140736449272080 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=959/tid=963] ppid=957 vsize=436764 CPUtime=25.38 cores=1,3,5,7
/proc/959/task/963/stat : 963 (SArTagnan) R 957 959 617 0 -1 4202560 72535 0 0 0 2527 11 0 0 25 0 4 0 748249160 447246336 65109 33554432000 4194304 4625164 140736449272080 18446744073709551615 4288765 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.28
Current children cumulated vsize (KiB) 436764

[startup+51.1003 s]
/proc/loadavg: 9.06 9.09 9.08 10/461 965
/proc/meminfo: memFree=12131512/32950928 swapFree=67111200/67111528
[pid=959] ppid=957 vsize=471280 CPUtime=203.28 cores=1,3,5,7
/proc/959/stat : 959 (SArTagnan) R 957 959 617 0 -1 4202496 210401 0 0 0 20297 31 0 0 25 0 4 0 748249149 482590720 69430 33554432000 4194304 4625164 140736449272080 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/959/statm: 117820 69430 347 106 0 113323 0
[pid=959/tid=961] ppid=957 vsize=471280 CPUtime=50.97 cores=1,3,5,7
/proc/959/task/961/stat : 961 (SArTagnan) R 957 959 617 0 -1 4202560 19354 0 0 0 5095 2 0 0 25 0 4 0 748249160 482590720 69430 33554432000 4194304 4625164 140736449272080 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=959/tid=962] ppid=957 vsize=471280 CPUtime=50.21 cores=1,3,5,7
/proc/959/task/962/stat : 962 (SArTagnan) R 957 959 617 0 -1 4202560 18764 0 0 0 5018 3 0 0 25 0 4 0 748249160 482590720 69430 33554432000 4194304 4625164 140736449272080 18446744073709551615 4353016 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=959/tid=963] ppid=957 vsize=471280 CPUtime=50.98 cores=1,3,5,7
/proc/959/task/963/stat : 963 (SArTagnan) R 957 959 617 0 -1 4202560 111035 0 0 0 5081 17 0 0 25 0 4 0 748249160 482590720 69430 33554432000 4194304 4625164 140736449272080 18446744073709551615 4334238 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 203.28
Current children cumulated vsize (KiB) 471280

[startup+102.318 s]
/proc/loadavg: 9.11 9.09 9.08 10/461 966
/proc/meminfo: memFree=12010976/32950928 swapFree=67111200/67111528
[pid=959] ppid=957 vsize=502300 CPUtime=407.36 cores=1,3,5,7
/proc/959/stat : 959 (SArTagnan) R 957 959 617 0 -1 4202496 413227 0 0 0 40667 69 0 0 25 0 4 0 748249149 514355200 87597 33554432000 4194304 4625164 140736449272080 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/959/statm: 125575 87597 347 106 0 121078 0
[pid=959/tid=961] ppid=957 vsize=502300 CPUtime=101.98 cores=1,3,5,7
/proc/959/task/961/stat : 961 (SArTagnan) R 957 959 617 0 -1 4202560 38956 0 0 0 10186 12 0 0 25 0 4 0 748249160 514355200 87598 33554432000 4194304 4625164 140736449272080 18446744073709551615 4288686 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=959/tid=962] ppid=957 vsize=502300 CPUtime=100.85 cores=1,3,5,7
/proc/959/task/962/stat : 962 (SArTagnan) R 957 959 617 0 -1 4202560 21248 0 0 0 10081 4 0 0 25 0 4 0 748249160 514355200 87598 33554432000 4194304 4625164 140736449272080 18446744073709551615 4352528 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=959/tid=963] ppid=957 vsize=502300 CPUtime=102.19 cores=1,3,5,7
/proc/959/task/963/stat : 963 (SArTagnan) R 957 959 617 0 -1 4202560 289601 0 0 0 10176 43 0 0 25 0 4 0 748249160 514355200 87598 33554432000 4194304 4625164 140736449272080 18446744073709551615 4339447 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 407.36
Current children cumulated vsize (KiB) 502300

[startup+162.3 s]
/proc/loadavg: 9.18 9.11 9.09 10/461 999
/proc/meminfo: memFree=12642920/32950928 swapFree=67111200/67111528
[pid=959] ppid=957 vsize=573740 CPUtime=646.4 cores=1,3,5,7
/proc/959/stat : 959 (SArTagnan) R 957 959 617 0 -1 4202496 608316 0 0 0 64539 101 0 0 25 0 4 0 748249149 587509760 100038 33554432000 4194304 4625164 140736449272080 18446744073709551615 4512156 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/959/statm: 143435 100038 362 106 0 138938 0
[pid=959/tid=961] ppid=957 vsize=573740 CPUtime=161.08 cores=1,3,5,7
/proc/959/task/961/stat : 961 (SArTagnan) R 957 959 617 0 -1 4202560 44118 0 0 0 16091 17 0 0 25 0 4 0 748249160 587509760 100038 33554432000 4194304 4625164 140736449272080 18446744073709551615 4288731 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=959/tid=962] ppid=957 vsize=573740 CPUtime=160.83 cores=1,3,5,7
/proc/959/task/962/stat : 962 (SArTagnan) R 957 959 617 0 -1 4202560 25257 0 0 0 16078 5 0 0 25 0 4 0 748249160 587509760 100038 33554432000 4194304 4625164 140736449272080 18446744073709551615 4352002 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=959/tid=963] ppid=957 vsize=573740 CPUtime=162.18 cores=1,3,5,7
/proc/959/task/963/stat : 963 (SArTagnan) R 957 959 617 0 -1 4202560 475134 0 0 0 16148 70 0 0 25 0 4 0 748249160 587509760 100038 33554432000 4194304 4625164 140736449272080 18446744073709551615 4351795 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 646.4
Current children cumulated vsize (KiB) 573740

[startup+222.301 s]
/proc/loadavg: 9.25 9.13 9.10 10/461 1000
/proc/meminfo: memFree=12577200/32950928 swapFree=67111200/67111528
[pid=959] ppid=957 vsize=576520 CPUtime=885.5 cores=1,3,5,7
/proc/959/stat : 959 (SArTagnan) R 957 959 617 0 -1 4202496 814976 0 0 0 88416 134 0 0 25 0 4 0 748249149 590356480 104523 33554432000 4194304 4625164 140736449272080 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/959/statm: 144130 104523 347 106 0 139633 0
[pid=959/tid=961] ppid=957 vsize=576520 CPUtime=220.18 cores=1,3,5,7
/proc/959/task/961/stat : 961 (SArTagnan) R 957 959 617 0 -1 4202560 46192 0 0 0 22001 17 0 0 25 0 4 0 748249160 590356480 104523 33554432000 4194304 4625164 140736449272080 18446744073709551615 4464305 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=959/tid=962] ppid=957 vsize=576520 CPUtime=220.82 cores=1,3,5,7
/proc/959/task/962/stat : 962 (SArTagnan) R 957 959 617 0 -1 4202560 25905 0 0 0 22076 6 0 0 25 0 4 0 748249160 590356480 104523 33554432000 4194304 4625164 140736449272080 18446744073709551615 4353016 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=959/tid=963] ppid=957 vsize=576520 CPUtime=222.18 cores=1,3,5,7
/proc/959/task/963/stat : 963 (SArTagnan) R 957 959 617 0 -1 4202560 679050 0 0 0 22117 101 0 0 25 0 4 0 748249160 590356480 104523 33554432000 4194304 4625164 140736449272080 18446744073709551615 4562357 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 885.5
Current children cumulated vsize (KiB) 576520

[startup+282.301 s]

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

[pid=959] ppid=957 vsize=1041644 CPUtime=2798.28 cores=1,3,5,7
/proc/959/stat : 959 (SArTagnan) R 957 959 617 0 -1 4202496 2509151 0 0 0 279410 418 0 0 25 0 4 0 748249149 1066643456 191834 33554432000 4194304 4625164 140736449272080 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/959/statm: 260411 191834 472 106 0 255914 0
[pid=959/tid=961] ppid=957 vsize=1041644 CPUtime=692.96 cores=1,3,5,7
/proc/959/task/961/stat : 961 (SArTagnan) R 957 959 617 0 -1 4202560 93565 0 0 0 69258 38 0 0 25 0 4 0 748249160 1066643456 191834 33554432000 4194304 4625164 140736449272080 18446744073709551615 4288686 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=959/tid=962] ppid=957 vsize=1041644 CPUtime=700.83 cores=1,3,5,7
/proc/959/task/962/stat : 962 (SArTagnan) R 957 959 617 0 -1 4202560 52695 0 0 0 70066 17 0 0 25 0 4 0 748249160 1066643456 191834 33554432000 4194304 4625164 140736449272080 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=959/tid=963] ppid=957 vsize=1041644 CPUtime=702.2 cores=1,3,5,7
/proc/959/task/963/stat : 963 (SArTagnan) R 957 959 617 0 -1 4202560 2271794 0 0 0 69871 349 0 0 25 0 4 0 748249160 1066643456 191834 33554432000 4194304 4625164 140736449272080 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2798.28
Current children cumulated vsize (KiB) 1041644

[startup+762.317 s]
/proc/loadavg: 9.19 9.16 9.10 10/461 1015
/proc/meminfo: memFree=11661768/32950928 swapFree=67111200/67111528
[pid=959] ppid=957 vsize=1049324 CPUtime=3037.45 cores=1,3,5,7
/proc/959/stat : 959 (SArTagnan) R 957 959 617 0 -1 4202496 2518034 0 0 0 303322 423 0 0 25 0 4 0 748249149 1074507776 200571 33554432000 4194304 4625164 140736449272080 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/959/statm: 262331 200571 466 106 0 257834 0
[pid=959/tid=961] ppid=957 vsize=1049324 CPUtime=752.07 cores=1,3,5,7
/proc/959/task/961/stat : 961 (SArTagnan) R 957 959 617 0 -1 4202560 96262 0 0 0 75167 40 0 0 25 0 4 0 748249160 1074507776 200571 33554432000 4194304 4625164 140736449272080 18446744073709551615 4375338 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=959/tid=962] ppid=957 vsize=1049324 CPUtime=760.85 cores=1,3,5,7
/proc/959/task/962/stat : 962 (SArTagnan) R 957 959 617 0 -1 4202560 55485 0 0 0 76066 19 0 0 25 0 4 0 748249160 1074507776 200571 33554432000 4194304 4625164 140736449272080 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=959/tid=963] ppid=957 vsize=1049324 CPUtime=762.21 cores=1,3,5,7
/proc/959/task/963/stat : 963 (SArTagnan) R 957 959 617 0 -1 4202560 2273096 0 0 0 75872 349 0 0 25 0 4 0 748249160 1074507776 200571 33554432000 4194304 4625164 140736449272080 18446744073709551615 4351731 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3037.45
Current children cumulated vsize (KiB) 1049324

[startup+822.301 s]
/proc/loadavg: 9.20 9.17 9.10 10/461 1016
/proc/meminfo: memFree=11567148/32950928 swapFree=67111200/67111528
[pid=959] ppid=957 vsize=1080764 CPUtime=3276.5 cores=1,3,5,7
/proc/959/stat : 959 (SArTagnan) R 957 959 617 0 -1 4202496 2769730 0 0 0 327178 472 0 0 25 0 4 0 748249149 1106702336 210193 33554432000 4194304 4625164 140736449272080 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/959/statm: 270191 210193 347 106 0 265694 0
[pid=959/tid=961] ppid=957 vsize=1080764 CPUtime=811.16 cores=1,3,5,7
/proc/959/task/961/stat : 961 (SArTagnan) R 957 959 617 0 -1 4202560 100021 0 0 0 81072 44 0 0 25 0 4 0 748249160 1106702336 210194 33554432000 4194304 4625164 140736449272080 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=959/tid=962] ppid=957 vsize=1080764 CPUtime=820.83 cores=1,3,5,7
/proc/959/task/962/stat : 962 (SArTagnan) R 957 959 617 0 -1 4202560 56546 0 0 0 82063 20 0 0 25 0 4 0 748249160 1106702336 210194 33554432000 4194304 4625164 140736449272080 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=959/tid=963] ppid=957 vsize=1080764 CPUtime=822.2 cores=1,3,5,7
/proc/959/task/963/stat : 963 (SArTagnan) R 957 959 617 0 -1 4202560 2504453 0 0 0 81829 391 0 0 25 0 4 0 748249160 1106702336 210195 33554432000 4194304 4625164 140736449272080 18446744073709551615 4339447 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3276.5
Current children cumulated vsize (KiB) 1080764

[startup+882.3 s]
/proc/loadavg: 9.15 9.17 9.10 10/461 1018
/proc/meminfo: memFree=11401356/32950928 swapFree=67111200/67111528
[pid=959] ppid=957 vsize=1231932 CPUtime=3515.57 cores=1,3,5,7
/proc/959/stat : 959 (SArTagnan) R 957 959 617 0 -1 4202496 3205994 0 0 0 351015 542 0 0 25 0 4 0 748249149 1261498368 231894 33554432000 4194304 4625164 140736449272080 18446744073709551615 4512156 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/959/statm: 307983 231894 719 106 0 303486 0
[pid=959/tid=961] ppid=957 vsize=1231932 CPUtime=870.24 cores=1,3,5,7
/proc/959/task/961/stat : 961 (SArTagnan) R 957 959 617 0 -1 4202560 126252 0 0 0 86973 51 0 0 25 0 4 0 748249160 1261498368 231894 33554432000 4194304 4625164 140736449272080 18446744073709551615 4351769 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=959/tid=962] ppid=957 vsize=1231932 CPUtime=880.83 cores=1,3,5,7
/proc/959/task/962/stat : 962 (SArTagnan) R 957 959 617 0 -1 4202560 57744 0 0 0 88063 20 0 0 25 0 4 0 748249160 1261498368 231894 33554432000 4194304 4625164 140736449272080 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=959/tid=963] ppid=957 vsize=1231932 CPUtime=882.2 cores=1,3,5,7
/proc/959/task/963/stat : 963 (SArTagnan) R 957 959 617 0 -1 4202560 2905010 0 0 0 87768 452 0 0 25 0 4 0 748249160 1261498368 231894 33554432000 4194304 4625164 140736449272080 18446744073709551615 4552369 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3515.57
Current children cumulated vsize (KiB) 1231932

[startup+942.301 s]
/proc/loadavg: 9.05 9.13 9.09 10/461 1019
/proc/meminfo: memFree=11338852/32950928 swapFree=67111200/67111528
[pid=959] ppid=957 vsize=1239360 CPUtime=3754.65 cores=1,3,5,7
/proc/959/stat : 959 (SArTagnan) R 957 959 617 0 -1 4202496 3408868 0 0 0 374889 576 0 0 25 0 4 0 748249149 1269104640 236567 33554432000 4194304 4625164 140736449272080 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/959/statm: 309840 236567 718 106 0 305343 0
[pid=959/tid=961] ppid=957 vsize=1239360 CPUtime=929.32 cores=1,3,5,7
/proc/959/task/961/stat : 961 (SArTagnan) R 957 959 617 0 -1 4202560 126646 0 0 0 92880 52 0 0 25 0 4 0 748249160 1269104640 236567 33554432000 4194304 4625164 140736449272080 18446744073709551615 4352032 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=959/tid=962] ppid=957 vsize=1239360 CPUtime=940.83 cores=1,3,5,7
/proc/959/task/962/stat : 962 (SArTagnan) R 957 959 617 0 -1 4202560 58182 0 0 0 94062 21 0 0 25 0 4 0 748249160 1269104640 236567 33554432000 4194304 4625164 140736449272080 18446744073709551615 4351906 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=959/tid=963] ppid=957 vsize=1239360 CPUtime=942.2 cores=1,3,5,7
/proc/959/task/963/stat : 963 (SArTagnan) R 957 959 617 0 -1 4202560 3106537 0 0 0 93737 483 0 0 25 0 4 0 748249160 1269104640 236567 33554432000 4194304 4625164 140736449272080 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3754.65
Current children cumulated vsize (KiB) 1239360

[startup+1002.3 s]
/proc/loadavg: 9.17 9.15 9.10 10/461 1021
/proc/meminfo: memFree=11285280/32950928 swapFree=67111200/67111528
[pid=959] ppid=957 vsize=1239360 CPUtime=3993.74 cores=1,3,5,7
/proc/959/stat : 959 (SArTagnan) R 957 959 617 0 -1 4202496 3823008 0 0 0 398737 637 0 0 25 0 4 0 748249149 1269104640 239056 33554432000 4194304 4625164 140736449272080 18446744073709551615 4512156 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/959/statm: 309840 239056 718 106 0 305343 0
[pid=959/tid=961] ppid=957 vsize=1239360 CPUtime=988.4 cores=1,3,5,7
/proc/959/task/961/stat : 961 (SArTagnan) R 957 959 617 0 -1 4202560 126912 0 0 0 98788 52 0 0 25 0 4 0 748249160 1269104640 239056 33554432000 4194304 4625164 140736449272080 18446744073709551615 4464984 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=959/tid=962] ppid=957 vsize=1239360 CPUtime=1000.83 cores=1,3,5,7
/proc/959/task/962/stat : 962 (SArTagnan) R 957 959 617 0 -1 4202560 58204 0 0 0 100062 21 0 0 25 0 4 0 748249160 1269104640 239056 33554432000 4194304 4625164 140736449272080 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=959/tid=963] ppid=957 vsize=1239360 CPUtime=1002.2 cores=1,3,5,7
/proc/959/task/963/stat : 963 (SArTagnan) R 957 959 617 0 -1 4202560 3520267 0 0 0 99676 544 0 0 25 0 4 0 748249160 1269104640 239056 33554432000 4194304 4625164 140736449272080 18446744073709551615 4334485 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3993.74
Current children cumulated vsize (KiB) 1239360

[startup+1062.3 s]
/proc/loadavg: 9.17 9.15 9.09 10/461 1023
/proc/meminfo: memFree=11225136/32950928 swapFree=67111200/67111528
[pid=959] ppid=957 vsize=1239360 CPUtime=4232.85 cores=1,3,5,7
/proc/959/stat : 959 (SArTagnan) R 957 959 617 0 -1 4202496 4186564 0 0 0 422589 696 0 0 25 0 4 0 748249149 1269104640 241900 33554432000 4194304 4625164 140736449272080 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/959/statm: 309840 241900 374 106 0 305343 0
[pid=959/tid=961] ppid=957 vsize=1239360 CPUtime=1047.51 cores=1,3,5,7
/proc/959/task/961/stat : 961 (SArTagnan) R 957 959 617 0 -1 4202560 128004 0 0 0 104699 52 0 0 25 0 4 0 748249160 1269104640 241900 33554432000 4194304 4625164 140736449272080 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=959/tid=962] ppid=957 vsize=1239360 CPUtime=1060.83 cores=1,3,5,7
/proc/959/task/962/stat : 962 (SArTagnan) R 957 959 617 0 -1 4202560 60040 0 0 0 106061 22 0 0 25 0 4 0 748249160 1269104640 241900 33554432000 4194304 4625164 140736449272080 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=959/tid=963] ppid=957 vsize=1239360 CPUtime=1062.2 cores=1,3,5,7
/proc/959/task/963/stat : 963 (SArTagnan) R 957 959 617 0 -1 4202560 3880448 0 0 0 105619 601 0 0 25 0 4 0 748249160 1269104640 241900 33554432000 4194304 4625164 140736449272080 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4232.85
Current children cumulated vsize (KiB) 1239360

[startup+1122.3 s]
/proc/loadavg: 9.17 9.15 9.09 10/461 1024
/proc/meminfo: memFree=11156184/32950928 swapFree=67111200/67111528
[pid=959] ppid=957 vsize=1239360 CPUtime=4471.96 cores=1,3,5,7
/proc/959/stat : 959 (SArTagnan) R 957 959 617 0 -1 4202496 4588220 0 0 0 446430 766 0 0 25 0 4 0 748249149 1269104640 248796 33554432000 4194304 4625164 140736449272080 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/959/statm: 309840 248796 347 106 0 305343 0
[pid=959/tid=961] ppid=957 vsize=1239360 CPUtime=1106.62 cores=1,3,5,7
/proc/959/task/961/stat : 961 (SArTagnan) R 957 959 617 0 -1 4202560 131768 0 0 0 110604 58 0 0 25 0 4 0 748249160 1269104640 248796 33554432000 4194304 4625164 140736449272080 18446744073709551615 4352005 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=959/tid=962] ppid=957 vsize=1239360 CPUtime=1120.84 cores=1,3,5,7
/proc/959/task/962/stat : 962 (SArTagnan) R 957 959 617 0 -1 4202560 61047 0 0 0 112060 24 0 0 25 0 4 0 748249160 1269104640 248796 33554432000 4194304 4625164 140736449272080 18446744073709551615 4352021 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=959/tid=963] ppid=957 vsize=1239360 CPUtime=1122.2 cores=1,3,5,7
/proc/959/task/963/stat : 963 (SArTagnan) R 957 959 617 0 -1 4202560 4276636 0 0 0 111556 664 0 0 25 0 4 0 748249160 1269104640 248796 33554432000 4194304 4625164 140736449272080 18446744073709551615 4557081 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4471.96
Current children cumulated vsize (KiB) 1239360

[startup+1182.3 s]
/proc/loadavg: 9.12 9.14 9.09 10/461 1026
/proc/meminfo: memFree=11022376/32950928 swapFree=67111200/67111528
[pid=959] ppid=957 vsize=1370432 CPUtime=4711.07 cores=1,3,5,7
/proc/959/stat : 959 (SArTagnan) R 957 959 617 0 -1 4202496 4972072 0 0 0 470277 830 0 0 25 0 4 0 748249149 1403322368 261110 33554432000 4194304 4625164 140736449272080 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/959/statm: 342608 261110 347 106 0 338111 0
[pid=959/tid=961] ppid=957 vsize=1370432 CPUtime=1165.73 cores=1,3,5,7
/proc/959/task/961/stat : 961 (SArTagnan) R 957 959 617 0 -1 4202560 136768 0 0 0 116508 65 0 0 25 0 4 0 748249160 1403322368 261110 33554432000 4194304 4625164 140736449272080 18446744073709551615 4351897 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=959/tid=962] ppid=957 vsize=1370432 CPUtime=1180.84 cores=1,3,5,7
/proc/959/task/962/stat : 962 (SArTagnan) R 957 959 617 0 -1 4202560 62071 0 0 0 118058 26 0 0 25 0 4 0 748249160 1403322368 261110 33554432000 4194304 4625164 140736449272080 18446744073709551615 4352280 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=959/tid=963] ppid=957 vsize=1370432 CPUtime=1182.2 cores=1,3,5,7
/proc/959/task/963/stat : 963 (SArTagnan) R 957 959 617 0 -1 4202560 4653469 0 0 0 117501 719 0 0 25 0 4 0 748249160 1403322368 261110 33554432000 4194304 4625164 140736449272080 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4711.07
Current children cumulated vsize (KiB) 1370432



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1204.7 s]
/proc/loadavg: 9.08 9.13 9.09 10/461 1026
/proc/meminfo: memFree=10997700/32950928 swapFree=67111200/67111528
[pid=959] ppid=957 vsize=1371308 CPUtime=4800.33 cores=1,3,5,7
/proc/959/stat : 959 (SArTagnan) R 957 959 617 0 -1 4202496 4984142 0 0 0 479200 833 0 0 25 0 4 0 748249149 1404219392 262458 33554432000 4194304 4625164 140736449272080 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/959/statm: 342827 262458 347 106 0 338330 0
[pid=959/tid=961] ppid=957 vsize=1371308 CPUtime=1187.77 cores=1,3,5,7
/proc/959/task/961/stat : 961 (SArTagnan) R 957 959 617 0 -1 4202560 137926 0 0 0 118712 65 0 0 25 0 4 0 748249160 1404219392 262458 33554432000 4194304 4625164 140736449272080 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=959/tid=962] ppid=957 vsize=1371308 CPUtime=1203.26 cores=1,3,5,7
/proc/959/task/962/stat : 962 (SArTagnan) R 957 959 617 0 -1 4202560 62221 0 0 0 120300 26 0 0 25 0 4 0 748249160 1404219392 262458 33554432000 4194304 4625164 140736449272080 18446744073709551615 4352035 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=959/tid=963] ppid=957 vsize=1371308 CPUtime=1204.62 cores=1,3,5,7
/proc/959/task/963/stat : 963 (SArTagnan) R 957 959 617 0 -1 4202560 4663582 0 0 0 119741 721 0 0 25 0 4 0 748249160 1404219392 262458 33554432000 4194304 4625164 140736449272080 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.33
Current children cumulated vsize (KiB) 1371308

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

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

[startup+1204.7 s]
/proc/loadavg: 9.08 9.13 9.09 10/461 1026
/proc/meminfo: memFree=10997700/32950928 swapFree=67111200/67111528
[pid=959] ppid=957 vsize=1371308 CPUtime=4800.33 cores=1,3,5,7
/proc/959/stat : 959 (SArTagnan) R 957 959 617 0 -1 4202496 4984142 0 0 0 479200 833 0 0 25 0 4 0 748249149 1404219392 262458 33554432000 4194304 4625164 140736449272080 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/959/statm: 342827 262458 347 106 0 338330 0
[pid=959/tid=961] ppid=957 vsize=1371308 CPUtime=1187.77 cores=1,3,5,7
/proc/959/task/961/stat : 961 (SArTagnan) R 957 959 617 0 -1 4202560 137926 0 0 0 118712 65 0 0 25 0 4 0 748249160 1404219392 262458 33554432000 4194304 4625164 140736449272080 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=959/tid=962] ppid=957 vsize=1371308 CPUtime=1203.26 cores=1,3,5,7
/proc/959/task/962/stat : 962 (SArTagnan) R 957 959 617 0 -1 4202560 62221 0 0 0 120300 26 0 0 25 0 4 0 748249160 1404219392 262458 33554432000 4194304 4625164 140736449272080 18446744073709551615 4352035 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=959/tid=963] ppid=957 vsize=1371308 CPUtime=1204.62 cores=1,3,5,7
/proc/959/task/963/stat : 963 (SArTagnan) R 957 959 617 0 -1 4202560 4663582 0 0 0 119741 721 0 0 25 0 4 0 748249160 1404219392 262458 33554432000 4194304 4625164 140736449272080 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.33
Current children cumulated vsize (KiB) 1371308

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1204.76
CPU time (s): 4800.44
CPU user time (s): 4792.06
CPU system time (s): 8.37473
CPU usage (%): 398.455
Max. virtual memory (cumulated for all children) (KiB): 1371308

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4792.06
system time used= 8.37473
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4984142
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= 5249
involuntary context switches= 29972

runsolver used 5.17621 second user time and 12.964 second system time

The end

Launcher Data 

Begin job on node115 at 2011-05-16 23:09:45
IDJOB=3386409
IDBENCH=83121
IDSOLVER=1871
FILE ID=node115/3386409-1305580185
RUNJOBID= node115-1305576977-636
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-top25.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3386409-1305580185/watcher-3386409-1305580185 -o /tmp/evaluation-result-3386409-1305580185/solver-3386409-1305580185 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3386409-1305580185.cnf -threads=4

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

MD5SUM BENCH= 1d36146d5d79c91e0605a19242395228
RANDOM SEED=1279317874

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:      12441348 kB
Buffers:        284008 kB
Cached:        3267332 kB
SwapCached:          0 kB
Active:       17081836 kB
Inactive:      3095896 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      12441348 kB
SwapTotal:    67111528 kB
SwapFree:     67111200 kB
Dirty:            4276 kB
Writeback:           0 kB
AnonPages:    16626756 kB
Mapped:          37048 kB
Slab:           196864 kB
PageTables:      67920 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 123596484 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= 73264 MiB
End job on node115 at 2011-05-16 23:29:52