Trace number 3386089

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) 2953.51 1300.17

General information on the benchmark

NameCRAFTED/edgematching/
compact/em_11_3_4_cmp.cnf
MD5SUM3b5e80540ef2fcb09cfe50ac7e3686c1
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark135.155
Satisfiable
(Un)Satisfiability was proved
Number of variables8713
Number of clauses99699
Sum of the clauses size335345
Maximum clause length81
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 210866
Number of clauses of size 367270
Number of clauses of size 410556
Number of clauses of size 510773
Number of clauses of size over 5234

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-3386089-1305577589/watcher-3386089-1305577589 -o /tmp/evaluation-result-3386089-1305577589/solver-3386089-1305577589 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3386089-1305577589.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: 11.77 12.03 11.73 9/494 8415
/proc/meminfo: memFree=13685832/32950928 swapFree=67056568/67111528
[pid=8415] ppid=8413 vsize=18532 CPUtime=0 cores=1,3,5,7
/proc/8415/stat : 8415 (SArTagnan) R 8413 8415 8278 0 -1 4202496 435 0 0 0 0 0 0 0 24 0 1 0 669356014 18976768 374 33554432000 4194304 4625164 140736544567456 18446744073709551615 4315124 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/8415/statm: 4633 374 291 106 0 136 0

[startup+0.0859711 s]
/proc/loadavg: 11.77 12.03 11.73 9/494 8415
/proc/meminfo: memFree=13685832/32950928 swapFree=67056568/67111528
[pid=8415] ppid=8413 vsize=73120 CPUtime=0.06 cores=1,3,5,7
/proc/8415/stat : 8415 (SArTagnan) R 8413 8415 8278 0 -1 4202496 8055 0 0 0 6 0 0 0 25 0 4 0 669356014 74874880 5963 33554432000 4194304 4625164 140736544567456 18446744073709551615 47652417914796 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/8415/statm: 18280 5963 301 106 0 13783 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 73120

[startup+0.118967 s]
/proc/loadavg: 11.77 12.03 11.73 9/494 8415
/proc/meminfo: memFree=13685832/32950928 swapFree=67056568/67111528
[pid=8415] ppid=8413 vsize=74476 CPUtime=0.09 cores=1,3,5,7
/proc/8415/stat : 8415 (SArTagnan) R 8413 8415 8278 0 -1 4202496 8409 0 0 0 9 0 0 0 25 0 4 0 669356014 76263424 6317 33554432000 4194304 4625164 140736544567456 18446744073709551615 47652417914796 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/8415/statm: 18619 6317 311 106 0 14122 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 74476

[startup+1.06579 s]
/proc/loadavg: 11.77 12.03 11.73 9/494 8415
/proc/meminfo: memFree=13685832/32950928 swapFree=67056568/67111528
[pid=8415] ppid=8413 vsize=284396 CPUtime=2.63 cores=1,3,5,7
/proc/8415/stat : 8415 (SArTagnan) R 8413 8415 8278 0 -1 4202496 24734 0 0 0 261 2 0 0 19 0 4 0 669356014 291221504 10219 33554432000 4194304 4625164 140736544567456 18446744073709551615 4512156 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/8415/statm: 71099 10219 338 106 0 66602 0
Current children cumulated CPU time (s) 2.63
Current children cumulated vsize (KiB) 284396

[startup+1.10078 s]
/proc/loadavg: 11.77 12.03 11.73 9/494 8415
/proc/meminfo: memFree=13685832/32950928 swapFree=67056568/67111528
[pid=8415] ppid=8413 vsize=284792 CPUtime=2.74 cores=1,3,5,7
/proc/8415/stat : 8415 (SArTagnan) R 8413 8415 8278 0 -1 4202496 25426 0 0 0 272 2 0 0 19 0 4 0 669356014 291627008 10495 33554432000 4194304 4625164 140736544567456 18446744073709551615 4513505 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/8415/statm: 71198 10495 338 106 0 66701 0
Current children cumulated CPU time (s) 2.74
Current children cumulated vsize (KiB) 284792

[startup+1.50071 s]
/proc/loadavg: 11.77 12.03 11.73 9/494 8415
/proc/meminfo: memFree=13685832/32950928 swapFree=67056568/67111528
[pid=8415] ppid=8413 vsize=288952 CPUtime=3.77 cores=1,3,5,7
/proc/8415/stat : 8415 (SArTagnan) R 8413 8415 8278 0 -1 4202496 29212 0 0 0 374 3 0 0 19 0 4 0 669356014 295886848 11872 33554432000 4194304 4625164 140736544567456 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/8415/statm: 72238 11872 338 106 0 67741 0
Current children cumulated CPU time (s) 3.77
Current children cumulated vsize (KiB) 288952

[startup+3.1004 s]
/proc/loadavg: 11.77 12.03 11.73 13/498 8419
/proc/meminfo: memFree=13621460/32950928 swapFree=67056568/67111528
[pid=8415] ppid=8413 vsize=299776 CPUtime=7.73 cores=1,3,5,7
/proc/8415/stat : 8415 (SArTagnan) R 8413 8415 8278 0 -1 4202496 43928 0 0 0 768 5 0 0 23 0 4 0 669356014 306970624 16292 33554432000 4194304 4625164 140736544567456 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/8415/statm: 74944 16292 339 106 0 70447 0
[pid=8415/tid=8417] ppid=8413 vsize=299776 CPUtime=0.71 cores=1,3,5,7
/proc/8415/task/8417/stat : 8417 (SArTagnan) R 8413 8415 8278 0 -1 4202560 2840 0 0 0 71 0 0 0 25 0 4 0 669356022 306970624 16292 33554432000 4194304 4625164 140736544567456 18446744073709551615 4339536 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8415/tid=8418] ppid=8413 vsize=299776 CPUtime=2.17 cores=1,3,5,7
/proc/8415/task/8418/stat : 8418 (SArTagnan) R 8413 8415 8278 0 -1 4202560 6292 0 0 0 217 0 0 0 21 0 4 0 669356022 306970624 16292 33554432000 4194304 4625164 140736544567456 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8415/tid=8419] ppid=8413 vsize=299776 CPUtime=1.85 cores=1,3,5,7
/proc/8415/task/8419/stat : 8419 (SArTagnan) R 8413 8415 8278 0 -1 4202560 22468 0 0 0 183 2 0 0 20 0 4 0 669356022 306970624 16292 33554432000 4194304 4625164 140736544567456 18446744073709551615 4547257 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 7.73
Current children cumulated vsize (KiB) 299776

[startup+6.30079 s]
/proc/loadavg: 11.79 12.03 11.74 13/498 8419
/proc/meminfo: memFree=13586232/32950928 swapFree=67056568/67111528
[pid=8415] ppid=8413 vsize=305304 CPUtime=15.68 cores=1,3,5,7
/proc/8415/stat : 8415 (SArTagnan) R 8413 8415 8278 0 -1 4202496 61321 0 0 0 1560 8 0 0 25 0 4 0 669356014 312631296 22830 33554432000 4194304 4625164 140736544567456 18446744073709551615 4396736 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/8415/statm: 76326 22830 346 106 0 71829 0
[pid=8415/tid=8417] ppid=8413 vsize=305304 CPUtime=2.09 cores=1,3,5,7
/proc/8415/task/8417/stat : 8417 (SArTagnan) R 8413 8415 8278 0 -1 4202560 3838 0 0 0 209 0 0 0 25 0 4 0 669356022 312631296 22830 33554432000 4194304 4625164 140736544567456 18446744073709551615 4464266 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8415/tid=8418] ppid=8413 vsize=305304 CPUtime=4 cores=1,3,5,7
/proc/8415/task/8418/stat : 8418 (SArTagnan) R 8413 8415 8278 0 -1 4202560 8311 0 0 0 399 1 0 0 25 0 4 0 669356022 312631296 22831 33554432000 4194304 4625164 140736544567456 18446744073709551615 4288950 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8415/tid=8419] ppid=8413 vsize=305304 CPUtime=3.46 cores=1,3,5,7
/proc/8415/task/8419/stat : 8419 (SArTagnan) R 8413 8415 8278 0 -1 4202560 32639 0 0 0 342 4 0 0 25 0 4 0 669356022 312631296 22831 33554432000 4194304 4625164 140736544567456 18446744073709551615 4339447 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 15.68
Current children cumulated vsize (KiB) 305304

[startup+12.7006 s]
/proc/loadavg: 11.81 12.03 11.74 13/498 8420
/proc/meminfo: memFree=13549532/32950928 swapFree=67056568/67111528
[pid=8415] ppid=8413 vsize=313476 CPUtime=30.8 cores=1,3,5,7
/proc/8415/stat : 8415 (SArTagnan) R 8413 8415 8278 0 -1 4202496 88600 0 0 0 3067 13 0 0 25 0 4 0 669356014 320999424 28967 33554432000 4194304 4625164 140736544567456 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/8415/statm: 78369 28967 347 106 0 73872 0
[pid=8415/tid=8417] ppid=8413 vsize=313476 CPUtime=5.66 cores=1,3,5,7
/proc/8415/task/8417/stat : 8417 (SArTagnan) R 8413 8415 8278 0 -1 4202560 4215 0 0 0 566 0 0 0 25 0 4 0 669356022 320999424 28969 33554432000 4194304 4625164 140736544567456 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8415/tid=8418] ppid=8413 vsize=313476 CPUtime=7.2 cores=1,3,5,7
/proc/8415/task/8418/stat : 8418 (SArTagnan) R 8413 8415 8278 0 -1 4202560 10891 0 0 0 718 2 0 0 25 0 4 0 669356022 320999424 28969 33554432000 4194304 4625164 140736544567456 18446744073709551615 4351736 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8415/tid=8419] ppid=8413 vsize=313476 CPUtime=6.55 cores=1,3,5,7
/proc/8415/task/8419/stat : 8419 (SArTagnan) R 8413 8415 8278 0 -1 4202560 49947 0 0 0 649 6 0 0 25 0 4 0 669356022 320999424 28969 33554432000 4194304 4625164 140736544567456 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 30.8
Current children cumulated vsize (KiB) 313476

[startup+25.5011 s]
/proc/loadavg: 11.85 12.03 11.74 13/498 8420
/proc/meminfo: memFree=13455060/32950928 swapFree=67056568/67111528
[pid=8415] ppid=8413 vsize=344332 CPUtime=62.71 cores=1,3,5,7
/proc/8415/stat : 8415 (SArTagnan) R 8413 8415 8278 0 -1 4202496 136378 0 0 0 6247 24 0 0 25 0 4 0 669356014 352595968 48651 33554432000 4194304 4625164 140736544567456 18446744073709551615 4396755 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8415/statm: 86083 48651 366 106 0 81586 0
[pid=8415/tid=8417] ppid=8413 vsize=344332 CPUtime=15.47 cores=1,3,5,7
/proc/8415/task/8417/stat : 8417 (SArTagnan) R 8413 8415 8278 0 -1 4202560 9279 0 0 0 1545 2 0 0 25 0 4 0 669356022 352595968 48651 33554432000 4194304 4625164 140736544567456 18446744073709551615 4327875 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8415/tid=8418] ppid=8413 vsize=344332 CPUtime=14.2 cores=1,3,5,7
/proc/8415/task/8418/stat : 8418 (SArTagnan) R 8413 8415 8278 0 -1 4202560 23528 0 0 0 1414 6 0 0 25 0 4 0 669356022 352595968 48651 33554432000 4194304 4625164 140736544567456 18446744073709551615 4352021 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8415/tid=8419] ppid=8413 vsize=344332 CPUtime=14.59 cores=1,3,5,7
/proc/8415/task/8419/stat : 8419 (SArTagnan) R 8413 8415 8278 0 -1 4202560 75532 0 0 0 1448 11 0 0 25 0 4 0 669356022 352595968 48651 33554432000 4194304 4625164 140736544567456 18446744073709551615 4334728 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 62.71
Current children cumulated vsize (KiB) 344332

[startup+51.1002 s]
/proc/loadavg: 11.74 11.99 11.73 13/498 8451
/proc/meminfo: memFree=20851960/32950928 swapFree=67056568/67111528
[pid=8415] ppid=8413 vsize=544304 CPUtime=112.25 cores=1,3,5,7
/proc/8415/stat : 8415 (SArTagnan) R 8413 8415 8278 0 -1 4202496 309710 0 0 0 11172 53 0 0 25 0 4 0 669356014 557367296 99105 33554432000 4194304 4625164 140736544567456 18446744073709551615 239476356129 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/8415/statm: 136076 99105 347 106 0 131579 0
[pid=8415/tid=8417] ppid=8413 vsize=544304 CPUtime=29 cores=1,3,5,7
/proc/8415/task/8417/stat : 8417 (SArTagnan) R 8413 8415 8278 0 -1 4202560 26272 0 0 0 2894 6 0 0 19 0 4 0 669356022 557367296 99105 33554432000 4194304 4625164 140736544567456 18446744073709551615 4375720 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8415/tid=8418] ppid=8413 vsize=544304 CPUtime=27.3 cores=1,3,5,7
/proc/8415/task/8418/stat : 8418 (SArTagnan) R 8413 8415 8278 0 -1 4202560 46626 0 0 0 2718 12 0 0 25 0 4 0 669356022 557367296 99105 33554432000 4194304 4625164 140736544567456 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8415/tid=8419] ppid=8413 vsize=544304 CPUtime=26.65 cores=1,3,5,7
/proc/8415/task/8419/stat : 8419 (SArTagnan) R 8413 8415 8278 0 -1 4202560 152489 0 0 0 2643 22 0 0 25 0 4 0 669356022 557367296 99105 33554432000 4194304 4625164 140736544567456 18446744073709551615 239476392333 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 112.25
Current children cumulated vsize (KiB) 544304

[startup+102.3 s]
/proc/loadavg: 12.05 12.04 11.76 13/498 8453
/proc/meminfo: memFree=20359712/32950928 swapFree=67056568/67111528
[pid=8415] ppid=8413 vsize=1118024 CPUtime=215.94 cores=1,3,5,7
/proc/8415/stat : 8415 (SArTagnan) R 8413 8415 8278 0 -1 4202496 573029 0 0 0 21500 94 0 0 25 0 4 0 669356014 1144856576 208662 33554432000 4194304 4625164 140736544567456 18446744073709551615 4393110 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/8415/statm: 279506 208662 395 106 0 275009 0
[pid=8415/tid=8417] ppid=8413 vsize=1118024 CPUtime=56.7 cores=1,3,5,7
/proc/8415/task/8417/stat : 8417 (SArTagnan) R 8413 8415 8278 0 -1 4202560 40408 0 0 0 5661 9 0 0 25 0 4 0 669356022 1144856576 208662 33554432000 4194304 4625164 140736544567456 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8415/tid=8418] ppid=8413 vsize=1118024 CPUtime=50.84 cores=1,3,5,7
/proc/8415/task/8418/stat : 8418 (SArTagnan) R 8413 8415 8278 0 -1 4202560 80010 0 0 0 5061 23 0 0 25 0 4 0 669356022 1144856576 208662 33554432000 4194304 4625164 140736544567456 18446744073709551615 4352032 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8415/tid=8419] ppid=8413 vsize=1118024 CPUtime=56.42 cores=1,3,5,7
/proc/8415/task/8419/stat : 8419 (SArTagnan) R 8413 8415 8278 0 -1 4202560 194731 0 0 0 5614 28 0 0 25 0 4 0 669356022 1144856576 208662 33554432000 4194304 4625164 140736544567456 18446744073709551615 4334728 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 215.94
Current children cumulated vsize (KiB) 1118024

[startup+162.301 s]
/proc/loadavg: 12.12 12.06 11.78 13/498 8455
/proc/meminfo: memFree=20063092/32950928 swapFree=67056568/67111528
[pid=8415] ppid=8413 vsize=1445556 CPUtime=353.93 cores=1,3,5,7
/proc/8415/stat : 8415 (SArTagnan) R 8413 8415 8278 0 -1 4202496 800995 0 0 0 35261 132 0 0 25 0 4 0 669356014 1480249344 275010 33554432000 4194304 4625164 140736544567456 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8415/statm: 361389 275010 395 106 0 356892 0
[pid=8415/tid=8417] ppid=8413 vsize=1445556 CPUtime=86.6 cores=1,3,5,7
/proc/8415/task/8417/stat : 8417 (SArTagnan) R 8413 8415 8278 0 -1 4202560 54066 0 0 0 8648 12 0 0 25 0 4 0 669356022 1480249344 275010 33554432000 4194304 4625164 140736544567456 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8415/tid=8418] ppid=8413 vsize=1445556 CPUtime=81.18 cores=1,3,5,7
/proc/8415/task/8418/stat : 8418 (SArTagnan) R 8413 8415 8278 0 -1 4202560 116048 0 0 0 8086 32 0 0 25 0 4 0 669356022 1480249344 275010 33554432000 4194304 4625164 140736544567456 18446744073709551615 4487616 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8415/tid=8419] ppid=8413 vsize=1445556 CPUtime=104.69 cores=1,3,5,7
/proc/8415/task/8419/stat : 8419 (SArTagnan) R 8413 8415 8278 0 -1 4202560 254617 0 0 0 10431 38 0 0 25 0 4 0 669356022 1480249344 275010 33554432000 4194304 4625164 140736544567456 18446744073709551615 4351918 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 353.93
Current children cumulated vsize (KiB) 1445556

[startup+222.301 s]
/proc/loadavg: 11.99 12.04 11.79 13/498 8516
/proc/meminfo: memFree=19403392/32950928 swapFree=67056568/67111528
[pid=8415] ppid=8413 vsize=1992400 CPUtime=495.64 cores=1,3,5,7
/proc/8415/stat : 8415 (SArTagnan) R 8413 8415 8278 0 -1 4202496 1070995 0 0 0 49387 177 0 0 25 0 4 0 669356014 2040217600 399892 33554432000 4194304 4625164 140736544567456 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8415/statm: 498100 399892 347 106 0 493603 0
[pid=8415/tid=8417] ppid=8413 vsize=1992400 CPUtime=118.78 cores=1,3,5,7
/proc/8415/task/8417/stat : 8417 (SArTagnan) R 8413 8415 8278 0 -1 4202560 79274 0 0 0 11858 20 0 0 25 0 4 0 669356022 2040217600 399892 33554432000 4194304 4625164 140736544567456 18446744073709551615 4352739 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8415/tid=8418] ppid=8413 vsize=1992400 CPUtime=113.83 cores=1,3,5,7
/proc/8415/task/8418/stat : 8418 (SArTagnan) R 8413 8415 8278 0 -1 4202560 139488 0 0 0 11343 40 0 0 25 0 4 0 669356022 2040217600 399892 33554432000 4194304 4625164 140736544567456 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8415/tid=8419] ppid=8413 vsize=1992400 CPUtime=151.37 cores=1,3,5,7
/proc/8415/task/8419/stat : 8419 (SArTagnan) R 8413 8415 8278 0 -1 4202560 265918 0 0 0 15097 40 0 0 25 0 4 0 669356022 2040217600 399892 33554432000 4194304 4625164 140736544567456 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 495.64
Current children cumulated vsize (KiB) 1992400

[startup+282.319 s]
/proc/loadavg: 12.11 12.06 11.82 13/498 8518
/proc/meminfo: memFree=18667592/32950928 swapFree=67056568/67111528
[pid=8415] ppid=8413 vsize=2025704 CPUtime=643.08 cores=1,3,5,7
/proc/8415/stat : 8415 (SArTagnan) R 8413 8415 8278 0 -1 4202496 1128150 0 0 0 64116 192 0 0 25 0 4 0 669356014 2074320896 439470 33554432000 4194304 4625164 140736544567456 18446744073709551615 4512156 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8415/statm: 506426 439470 347 106 0 501929 0
[pid=8415/tid=8417] ppid=8413 vsize=2025704 CPUtime=148.59 cores=1,3,5,7

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


[startup+762.301 s]
/proc/loadavg: 12.18 12.15 11.94 13/498 8530
/proc/meminfo: memFree=11254384/32950928 swapFree=67056568/67111528
[pid=8415] ppid=8413 vsize=3870900 CPUtime=1748.37 cores=1,3,5,7
/proc/8415/stat : 8415 (SArTagnan) R 8413 8415 8278 0 -1 4202496 2103997 0 0 0 174477 360 0 0 25 0 4 0 669356014 3963801600 780685 33554432000 4194304 4625164 140736544567456 18446744073709551615 239476385880 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/8415/statm: 967725 780685 347 106 0 963228 0
[pid=8415/tid=8417] ppid=8413 vsize=3870900 CPUtime=398.69 cores=1,3,5,7
/proc/8415/task/8417/stat : 8417 (SArTagnan) R 8413 8415 8278 0 -1 4202560 150503 0 0 0 39813 56 0 0 25 0 4 0 669356022 3963801600 780685 33554432000 4194304 4625164 140736544567456 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8415/tid=8418] ppid=8413 vsize=3870900 CPUtime=478.7 cores=1,3,5,7
/proc/8415/task/8418/stat : 8418 (SArTagnan) R 8413 8415 8278 0 -1 4202560 164443 0 0 0 47827 43 0 0 25 0 4 0 669356022 3963801600 780685 33554432000 4194304 4625164 140736544567456 18446744073709551615 4488046 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8415/tid=8419] ppid=8413 vsize=3870900 CPUtime=439.43 cores=1,3,5,7
/proc/8415/task/8419/stat : 8419 (SArTagnan) R 8413 8415 8278 0 -1 4202560 375250 0 0 0 43886 57 0 0 25 0 4 0 669356022 3963801600 780685 33554432000 4194304 4625164 140736544567456 18446744073709551615 4351901 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1748.37
Current children cumulated vsize (KiB) 3870900

[startup+822.301 s]
/proc/loadavg: 12.20 12.17 11.96 13/498 8532
/proc/meminfo: memFree=10970412/32950928 swapFree=67056568/67111528
[pid=8415] ppid=8413 vsize=3943448 CPUtime=1894.26 cores=1,3,5,7
/proc/8415/stat : 8415 (SArTagnan) R 8413 8415 8278 0 -1 4202496 2134691 0 0 0 189058 368 0 0 25 0 4 0 669356014 4038090752 807786 33554432000 4194304 4625164 140736544567456 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/8415/statm: 985862 807786 347 106 0 981365 0
[pid=8415/tid=8417] ppid=8413 vsize=3943448 CPUtime=428.72 cores=1,3,5,7
/proc/8415/task/8417/stat : 8417 (SArTagnan) R 8413 8415 8278 0 -1 4202560 150538 0 0 0 42816 56 0 0 25 0 4 0 669356022 4038090752 807786 33554432000 4194304 4625164 140736544567456 18446744073709551615 4488046 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8415/tid=8418] ppid=8413 vsize=3943448 CPUtime=530.22 cores=1,3,5,7
/proc/8415/task/8418/stat : 8418 (SArTagnan) R 8413 8415 8278 0 -1 4202560 164780 0 0 0 52979 43 0 0 25 0 4 0 669356022 4038090752 807786 33554432000 4194304 4625164 140736544567456 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8415/tid=8419] ppid=8413 vsize=3943448 CPUtime=469.42 cores=1,3,5,7
/proc/8415/task/8419/stat : 8419 (SArTagnan) R 8413 8415 8278 0 -1 4202560 377573 0 0 0 46885 57 0 0 25 0 4 0 669356022 4038090752 807786 33554432000 4194304 4625164 140736544567456 18446744073709551615 4547859 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1894.26
Current children cumulated vsize (KiB) 3943448

[startup+882.301 s]
/proc/loadavg: 12.25 12.18 11.98 13/498 8534
/proc/meminfo: memFree=10820488/32950928 swapFree=67056568/67111528
[pid=8415] ppid=8413 vsize=3947224 CPUtime=2044.15 cores=1,3,5,7
/proc/8415/stat : 8415 (SArTagnan) R 8413 8415 8278 0 -1 4202496 2145603 0 0 0 204045 370 0 0 25 0 4 0 669356014 4041957376 817617 33554432000 4194304 4625164 140736544567456 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8415/statm: 986806 817617 347 106 0 982309 0
[pid=8415/tid=8417] ppid=8413 vsize=3947224 CPUtime=458.7 cores=1,3,5,7
/proc/8415/task/8417/stat : 8417 (SArTagnan) R 8413 8415 8278 0 -1 4202560 150543 0 0 0 45814 56 0 0 25 0 4 0 669356022 4041957376 817617 33554432000 4194304 4625164 140736544567456 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8415/tid=8418] ppid=8413 vsize=3947224 CPUtime=590.2 cores=1,3,5,7
/proc/8415/task/8418/stat : 8418 (SArTagnan) R 8413 8415 8278 0 -1 4202560 164920 0 0 0 58977 43 0 0 25 0 4 0 669356022 4041957376 817617 33554432000 4194304 4625164 140736544567456 18446744073709551615 4488054 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8415/tid=8419] ppid=8413 vsize=3947224 CPUtime=499.42 cores=1,3,5,7
/proc/8415/task/8419/stat : 8419 (SArTagnan) R 8413 8415 8278 0 -1 4202560 378757 0 0 0 49884 58 0 0 25 0 4 0 669356022 4041957376 817617 33554432000 4194304 4625164 140736544567456 18446744073709551615 4334273 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2044.15
Current children cumulated vsize (KiB) 3947224

[startup+942.319 s]
/proc/loadavg: 12.28 12.19 11.99 13/498 8535
/proc/meminfo: memFree=10597148/32950928 swapFree=67056568/67111528
[pid=8415] ppid=8413 vsize=3954332 CPUtime=2191.13 cores=1,3,5,7
/proc/8415/stat : 8415 (SArTagnan) R 8413 8415 8278 0 -1 4202496 2158824 0 0 0 218740 373 0 0 25 0 4 0 669356014 4049235968 829213 33554432000 4194304 4625164 140736544567456 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8415/statm: 988583 829213 347 106 0 984086 0
[pid=8415/tid=8417] ppid=8413 vsize=3954332 CPUtime=488.82 cores=1,3,5,7
/proc/8415/task/8417/stat : 8417 (SArTagnan) R 8413 8415 8278 0 -1 4202560 150559 0 0 0 48826 56 0 0 25 0 4 0 669356022 4049235968 829213 33554432000 4194304 4625164 140736544567456 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8415/tid=8418] ppid=8413 vsize=3954332 CPUtime=647.2 cores=1,3,5,7
/proc/8415/task/8418/stat : 8418 (SArTagnan) R 8413 8415 8278 0 -1 4202560 165067 0 0 0 64676 44 0 0 25 0 4 0 669356022 4049235968 829213 33554432000 4194304 4625164 140736544567456 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8415/tid=8419] ppid=8413 vsize=3954332 CPUtime=529.42 cores=1,3,5,7
/proc/8415/task/8419/stat : 8419 (SArTagnan) R 8413 8415 8278 0 -1 4202560 381153 0 0 0 52884 58 0 0 25 0 4 0 669356022 4049235968 829213 33554432000 4194304 4625164 140736544567456 18446744073709551615 4552315 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2191.13
Current children cumulated vsize (KiB) 3954332

[startup+1002.3 s]
/proc/loadavg: 12.22 12.19 12.00 13/498 8537
/proc/meminfo: memFree=10369104/32950928 swapFree=67056568/67111528
[pid=8415] ppid=8413 vsize=4026996 CPUtime=2311.1 cores=1,3,5,7
/proc/8415/stat : 8415 (SArTagnan) R 8413 8415 8278 0 -1 4202496 2170903 0 0 0 230734 376 0 0 25 0 4 0 669356014 4123643904 839936 33554432000 4194304 4625164 140736544567456 18446744073709551615 4511795 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8415/statm: 1006749 839936 347 106 0 1002252 0
[pid=8415/tid=8417] ppid=8413 vsize=4026996 CPUtime=518.81 cores=1,3,5,7
/proc/8415/task/8417/stat : 8417 (SArTagnan) R 8413 8415 8278 0 -1 4202560 150581 0 0 0 51825 56 0 0 25 0 4 0 669356022 4123643904 839936 33554432000 4194304 4625164 140736544567456 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8415/tid=8418] ppid=8413 vsize=4026996 CPUtime=677.2 cores=1,3,5,7
/proc/8415/task/8418/stat : 8418 (SArTagnan) R 8413 8415 8278 0 -1 4202560 165134 0 0 0 67676 44 0 0 25 0 4 0 669356022 4123643904 839936 33554432000 4194304 4625164 140736544567456 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8415/tid=8419] ppid=8413 vsize=4026996 CPUtime=559.41 cores=1,3,5,7
/proc/8415/task/8419/stat : 8419 (SArTagnan) R 8413 8415 8278 0 -1 4202560 382891 0 0 0 55883 58 0 0 25 0 4 0 669356022 4123643904 839936 33554432000 4194304 4625164 140736544567456 18446744073709551615 4547280 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2311.1
Current children cumulated vsize (KiB) 4026996

[startup+1062.3 s]
/proc/loadavg: 12.35 12.23 12.02 13/498 8539
/proc/meminfo: memFree=10220788/32950928 swapFree=67056568/67111528
[pid=8415] ppid=8413 vsize=4030016 CPUtime=2441.7 cores=1,3,5,7
/proc/8415/stat : 8415 (SArTagnan) R 8413 8415 8278 0 -1 4202496 2185415 0 0 0 243790 380 0 0 25 0 4 0 669356014 4126736384 852765 33554432000 4194304 4625164 140736544567456 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8415/statm: 1007504 852765 347 106 0 1003007 0
[pid=8415/tid=8417] ppid=8413 vsize=4030016 CPUtime=548.63 cores=1,3,5,7
/proc/8415/task/8417/stat : 8417 (SArTagnan) R 8413 8415 8278 0 -1 4202560 150594 0 0 0 54807 56 0 0 25 0 4 0 669356022 4126736384 852765 33554432000 4194304 4625164 140736544567456 18446744073709551615 4330841 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8415/tid=8418] ppid=8413 vsize=4030016 CPUtime=717.98 cores=1,3,5,7
/proc/8415/task/8418/stat : 8418 (SArTagnan) R 8413 8415 8278 0 -1 4202560 165222 0 0 0 71754 44 0 0 25 0 4 0 669356022 4126736384 852765 33554432000 4194304 4625164 140736544567456 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8415/tid=8419] ppid=8413 vsize=4030016 CPUtime=589.41 cores=1,3,5,7
/proc/8415/task/8419/stat : 8419 (SArTagnan) R 8413 8415 8278 0 -1 4202560 384537 0 0 0 58882 59 0 0 25 0 4 0 669356022 4126736384 852765 33554432000 4194304 4625164 140736544567456 18446744073709551615 4351798 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2441.7
Current children cumulated vsize (KiB) 4030016

[startup+1122.3 s]
/proc/loadavg: 12.23 12.21 12.03 13/498 8540
/proc/meminfo: memFree=10147364/32950928 swapFree=67056568/67111528
[pid=8415] ppid=8413 vsize=4035212 CPUtime=2561.71 cores=1,3,5,7
/proc/8415/stat : 8415 (SArTagnan) R 8413 8415 8278 0 -1 4202496 2201424 0 0 0 255787 384 0 0 25 0 4 0 669356014 4132057088 865795 33554432000 4194304 4625164 140736544567456 18446744073709551615 4393101 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8415/statm: 1008803 865795 347 106 0 1004306 0
[pid=8415/tid=8417] ppid=8413 vsize=4035212 CPUtime=578.72 cores=1,3,5,7
/proc/8415/task/8417/stat : 8417 (SArTagnan) R 8413 8415 8278 0 -1 4202560 150627 0 0 0 57816 56 0 0 25 0 4 0 669356022 4132057088 865795 33554432000 4194304 4625164 140736544567456 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8415/tid=8418] ppid=8413 vsize=4035212 CPUtime=747.99 cores=1,3,5,7
/proc/8415/task/8418/stat : 8418 (SArTagnan) R 8413 8415 8278 0 -1 4202560 165313 0 0 0 74755 44 0 0 25 0 4 0 669356022 4132057088 865795 33554432000 4194304 4625164 140736544567456 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8415/tid=8419] ppid=8413 vsize=4035212 CPUtime=619.48 cores=1,3,5,7
/proc/8415/task/8419/stat : 8419 (SArTagnan) R 8413 8415 8278 0 -1 4202560 386666 0 0 0 61889 59 0 0 25 0 4 0 669356022 4132057088 865795 33554432000 4194304 4625164 140736544567456 18446744073709551615 4547280 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2561.71
Current children cumulated vsize (KiB) 4035212

[startup+1182.3 s]
/proc/loadavg: 12.08 12.17 12.02 12/498 8542
/proc/meminfo: memFree=9847020/32950928 swapFree=67056568/67111528
[pid=8415] ppid=8413 vsize=4824256 CPUtime=2687 cores=1,3,5,7
/proc/8415/stat : 8415 (SArTagnan) R 8413 8415 8278 0 -1 4202496 2625695 0 0 0 268266 434 0 0 25 0 4 0 669356014 4940038144 928382 33554432000 4194304 4625164 140736544567456 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8415/statm: 1206064 928382 347 106 0 1201567 0
[pid=8415/tid=8417] ppid=8413 vsize=4824256 CPUtime=608.81 cores=1,3,5,7
/proc/8415/task/8417/stat : 8417 (SArTagnan) R 8413 8415 8278 0 -1 4202560 150643 0 0 0 60825 56 0 0 25 0 4 0 669356022 4940038144 928382 33554432000 4194304 4625164 140736544567456 18446744073709551615 4488020 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8415/tid=8418] ppid=8413 vsize=4824256 CPUtime=778.08 cores=1,3,5,7
/proc/8415/task/8418/stat : 8418 (SArTagnan) R 8413 8415 8278 0 -1 4202560 165388 0 0 0 77764 44 0 0 25 0 4 0 669356022 4940038144 928382 33554432000 4194304 4625164 140736544567456 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8415/tid=8419] ppid=8413 vsize=4824256 CPUtime=649.29 cores=1,3,5,7
/proc/8415/task/8419/stat : 8419 (SArTagnan) R 8413 8415 8278 0 -1 4202560 387727 0 0 0 64870 59 0 0 25 0 4 0 669356022 4940038144 928382 33554432000 4194304 4625164 140736544567456 18446744073709551615 4547280 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2687
Current children cumulated vsize (KiB) 4824256

[startup+1242.3 s]
/proc/loadavg: 12.08 12.15 12.02 13/498 8543
/proc/meminfo: memFree=9017816/32950928 swapFree=67056568/67111528
[pid=8415] ppid=8413 vsize=4883912 CPUtime=2836.5 cores=1,3,5,7
/proc/8415/stat : 8415 (SArTagnan) R 8413 8415 8278 0 -1 4202496 2649861 0 0 0 283212 438 0 0 25 0 4 0 669356014 5001125888 950886 33554432000 4194304 4625164 140736544567456 18446744073709551615 4393074 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8415/statm: 1220978 950886 347 106 0 1216481 0
[pid=8415/tid=8417] ppid=8413 vsize=4883912 CPUtime=661.41 cores=1,3,5,7
/proc/8415/task/8417/stat : 8417 (SArTagnan) R 8413 8415 8278 0 -1 4202560 150652 0 0 0 66085 56 0 0 25 0 4 0 669356022 5001125888 950886 33554432000 4194304 4625164 140736544567456 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8415/tid=8418] ppid=8413 vsize=4883912 CPUtime=807.68 cores=1,3,5,7
/proc/8415/task/8418/stat : 8418 (SArTagnan) R 8413 8415 8278 0 -1 4202560 165391 0 0 0 80724 44 0 0 25 0 4 0 669356022 5001125888 950886 33554432000 4194304 4625164 140736544567456 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8415/tid=8419] ppid=8413 vsize=4883912 CPUtime=679.2 cores=1,3,5,7
/proc/8415/task/8419/stat : 8419 (SArTagnan) R 8413 8415 8278 0 -1 4202560 390210 0 0 0 67860 60 0 0 25 0 4 0 669356022 5001125888 950886 33554432000 4194304 4625164 140736544567456 18446744073709551615 4547807 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2836.5
Current children cumulated vsize (KiB) 4883912



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 12.07 12.14 12.02 13/498 8545
/proc/meminfo: memFree=8902608/32950928 swapFree=67056568/67111528
[pid=8415] ppid=8413 vsize=4889228 CPUtime=2953.32 cores=1,3,5,7
/proc/8415/stat : 8415 (SArTagnan) R 8413 8415 8278 0 -1 4202496 2655884 0 0 0 294893 439 0 0 25 0 4 0 669356014 5006569472 953229 33554432000 4194304 4625164 140736544567456 18446744073709551615 4393104 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8415/statm: 1222307 953229 350 106 0 1217810 0
[pid=8415/tid=8417] ppid=8413 vsize=4889228 CPUtime=692.5 cores=1,3,5,7
/proc/8415/task/8417/stat : 8417 (SArTagnan) R 8413 8415 8278 0 -1 4202560 150671 0 0 0 69194 56 0 0 25 0 4 0 669356022 5006569472 953229 33554432000 4194304 4625164 140736544567456 18446744073709551615 4330841 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8415/tid=8418] ppid=8413 vsize=4889228 CPUtime=836.64 cores=1,3,5,7
/proc/8415/task/8418/stat : 8418 (SArTagnan) R 8413 8415 8278 0 -1 4202560 165420 0 0 0 83620 44 0 0 25 0 4 0 669356022 5006569472 953229 33554432000 4194304 4625164 140736544567456 18446744073709551615 4488046 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8415/tid=8419] ppid=8413 vsize=4889228 CPUtime=708.18 cores=1,3,5,7
/proc/8415/task/8419/stat : 8419 (SArTagnan) R 8413 8415 8278 0 -1 4202560 396179 0 0 0 70758 60 0 0 25 0 4 0 669356022 5006569472 953229 33554432000 4194304 4625164 140736544567456 18446744073709551615 239476362202 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2953.32
Current children cumulated vsize (KiB) 4889228

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

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

[startup+1300.12 s]
/proc/loadavg: 12.07 12.14 12.02 13/498 8545
/proc/meminfo: memFree=8902608/32950928 swapFree=67056568/67111528
[pid=8415] ppid=8413 vsize=0 CPUtime=2953.45 cores=1,3,5,7
/proc/8415/stat : 8415 (SArTagnan) Z 8413 8415 8278 0 -1 4203548 2655884 0 0 0 294896 449 0 0 25 0 2 0 669356014 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8415/statm: 0 0 0 0 0 0 0
[pid=8415/tid=8419] ppid=8413 vsize=0 CPUtime=708.28 cores=1,3,5,7
/proc/8415/task/8419/stat : 8419 (SArTagnan) R 8413 8415 8278 0 -1 4203588 396179 0 0 0 70758 70 0 0 25 0 2 0 669356022 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2953.45
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1300.17
CPU time (s): 2953.51
CPU user time (s): 2948.97
CPU system time (s): 4.54231
CPU usage (%): 227.163
Max. virtual memory (cumulated for all children) (KiB): 6193696

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2948.97
system time used= 4.54231
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2655884
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= 13848
involuntary context switches= 44482

runsolver used 5.9331 second user time and 15.3247 second system time

The end

Launcher Data 

Begin job on node148 at 2011-05-16 22:26:30
IDJOB=3386089
IDBENCH=70910
IDSOLVER=1871
FILE ID=node148/3386089-1305577589
RUNJOBID= node148-1305576286-8297
PBS_JOBID= 13350202
Free space on /tmp= 72860 MiB

SOLVER NAME= SArTagnan 2011-05-15 (fixed)
BENCH NAME= SAT09/CRAFTED/edgematching/compact/em_11_3_4_cmp.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3386089-1305577589/watcher-3386089-1305577589 -o /tmp/evaluation-result-3386089-1305577589/solver-3386089-1305577589 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3386089-1305577589.cnf -threads=4

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

MD5SUM BENCH= 3b5e80540ef2fcb09cfe50ac7e3686c1
RANDOM SEED=1643380406

node148.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.854
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.70
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.854
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.854
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.83
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.854
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.854
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.82
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.854
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.854
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.82
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.854
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:      13685988 kB
Buffers:        354316 kB
Cached:        5032696 kB
SwapCached:       8488 kB
Active:       15666740 kB
Inactive:      3215448 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      13685988 kB
SwapTotal:    67111528 kB
SwapFree:     67056568 kB
Dirty:            2380 kB
Writeback:           0 kB
AnonPages:    13492728 kB
Mapped:          38168 kB
Slab:           250376 kB
PageTables:      64588 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 150962664 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= 72856 MiB
End job on node148 at 2011-05-16 22:48:12