Trace number 3262884

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SArTagnan 2011-03-24? (TO) 4800.2 1201.75

General information on the benchmark

NameSAT03/handmade/anton/UNSAT/
SGI_30_70_19_80_8-log.shuffled-as.sat03-143.cnf
MD5SUM3aff0c2163848e3eed6bc22fc2c30cdf
Bench CategoryCRAFTED (crafted 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 variables95
Number of clauses36888
Sum of the clauses size368690
Maximum clause length10
Minimum clause length5
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 538
Number of clauses of size over 536850

Solver Data


Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3262884-1304099697/watcher-3262884-1304099697 -o /tmp/evaluation-result-3262884-1304099697/solver-3262884-1304099697 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3262884-1304099697.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: 7.86 7.98 7.88 6/180 2327
/proc/meminfo: memFree=31300440/32950928 swapFree=67111404/67111528
[pid=2327] ppid=2325 vsize=19636 CPUtime=0 cores=1,3,5,7
/proc/2327/stat : 2327 (SArTagnan) R 2325 2327 2120 0 -1 4202496 520 0 0 0 0 0 0 0 25 0 1 0 521568502 20107264 457 33554432000 4194304 4623224 140733948061440 18446744073709551615 235594866432 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/2327/statm: 4909 459 297 105 0 413 0

[startup+0.0341451 s]
/proc/loadavg: 7.86 7.98 7.88 6/180 2327
/proc/meminfo: memFree=31300440/32950928 swapFree=67111404/67111528
[pid=2327] ppid=2325 vsize=25244 CPUtime=0.03 cores=1,3,5,7
/proc/2327/stat : 2327 (SArTagnan) R 2325 2327 2120 0 -1 4202496 3037 0 0 0 3 0 0 0 25 0 1 0 521568502 25849856 1808 33554432000 4194304 4623224 140733948061440 18446744073709551615 4388305 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/2327/statm: 6311 1808 306 105 0 1815 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 25244

[startup+0.160125 s]
/proc/loadavg: 7.86 7.98 7.88 6/180 2327
/proc/meminfo: memFree=31300440/32950928 swapFree=67111404/67111528
[pid=2327] ppid=2325 vsize=266856 CPUtime=0.49 cores=1,3,5,7
/proc/2327/stat : 2327 (SArTagnan) R 2325 2327 2120 0 -1 4202496 9652 0 0 0 49 0 0 0 25 0 4 0 521568502 273260544 6547 33554432000 4194304 4623224 140733948061440 18446744073709551615 4510093 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2327/statm: 66714 6548 373 105 0 62218 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 266856

[startup+0.301102 s]
/proc/loadavg: 7.86 7.98 7.88 6/180 2327
/proc/meminfo: memFree=31300440/32950928 swapFree=67111404/67111528
[pid=2327] ppid=2325 vsize=275188 CPUtime=1.06 cores=1,3,5,7
/proc/2327/stat : 2327 (SArTagnan) R 2325 2327 2120 0 -1 4202496 11997 0 0 0 105 1 0 0 25 0 4 0 521568502 281792512 8138 33554432000 4194304 4623224 140733948061440 18446744073709551615 4510896 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2327/statm: 68797 8138 386 105 0 64301 0
Current children cumulated CPU time (s) 1.06
Current children cumulated vsize (KiB) 275188

[startup+0.701031 s]
/proc/loadavg: 7.86 7.98 7.88 6/180 2327
/proc/meminfo: memFree=31300440/32950928 swapFree=67111404/67111528
[pid=2327] ppid=2325 vsize=277008 CPUtime=2.66 cores=1,3,5,7
/proc/2327/stat : 2327 (SArTagnan) R 2325 2327 2120 0 -1 4202496 13929 0 0 0 265 1 0 0 25 0 4 0 521568502 283656192 9196 33554432000 4194304 4623224 140733948061440 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2327/statm: 69252 9196 386 105 0 64756 0
Current children cumulated CPU time (s) 2.66
Current children cumulated vsize (KiB) 277008

[startup+1.50089 s]
/proc/loadavg: 7.87 7.98 7.88 9/184 2331
/proc/meminfo: memFree=31256444/32950928 swapFree=67111404/67111528
[pid=2327] ppid=2325 vsize=282424 CPUtime=5.86 cores=1,3,5,7
/proc/2327/stat : 2327 (SArTagnan) R 2325 2327 2120 0 -1 4202496 27179 0 0 0 583 3 0 0 25 0 4 0 521568502 289202176 10912 33554432000 4194304 4623224 140733948061440 18446744073709551615 4355931 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2327/statm: 70606 10912 353 105 0 66110 0
[pid=2327/tid=2329] ppid=2325 vsize=282424 CPUtime=1.44 cores=1,3,5,7
/proc/2327/task/2329/stat : 2329 (SArTagnan) R 2325 2327 2120 0 -1 4202560 3492 0 0 0 144 0 0 0 25 0 4 0 521568506 289202176 10912 33554432000 4194304 4623224 140733948061440 18446744073709551615 4376612 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2327/tid=2330] ppid=2325 vsize=282424 CPUtime=1.44 cores=1,3,5,7
/proc/2327/task/2330/stat : 2330 (SArTagnan) R 2325 2327 2120 0 -1 4202560 3092 0 0 0 144 0 0 0 25 0 4 0 521568506 289202176 10912 33554432000 4194304 4623224 140733948061440 18446744073709551615 4376745 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2327/tid=2331] ppid=2325 vsize=282424 CPUtime=1.45 cores=1,3,5,7
/proc/2327/task/2331/stat : 2331 (SArTagnan) R 2325 2327 2120 0 -1 4202560 12677 0 0 0 144 1 0 0 25 0 4 0 521568506 289202176 10912 33554432000 4194304 4623224 140733948061440 18446744073709551615 4550487 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.86
Current children cumulated vsize (KiB) 282424

[startup+3.10061 s]
/proc/loadavg: 7.87 7.98 7.88 9/184 2331
/proc/meminfo: memFree=31243920/32950928 swapFree=67111404/67111528
[pid=2327] ppid=2325 vsize=287888 CPUtime=12.25 cores=1,3,5,7
/proc/2327/stat : 2327 (SArTagnan) R 2325 2327 2120 0 -1 4202496 44741 0 0 0 1219 6 0 0 25 0 4 0 521568502 294797312 13056 33554432000 4194304 4623224 140733948061440 18446744073709551615 4414959 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2327/statm: 71972 13056 352 105 0 67476 0
[pid=2327/tid=2329] ppid=2325 vsize=287888 CPUtime=3.05 cores=1,3,5,7
/proc/2327/task/2329/stat : 2329 (SArTagnan) R 2325 2327 2120 0 -1 4202560 6035 0 0 0 303 2 0 0 25 0 4 0 521568506 294797312 13056 33554432000 4194304 4623224 140733948061440 18446744073709551615 4366412 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2327/tid=2330] ppid=2325 vsize=287888 CPUtime=3.03 cores=1,3,5,7
/proc/2327/task/2330/stat : 2330 (SArTagnan) R 2325 2327 2120 0 -1 4202560 4771 0 0 0 303 0 0 0 25 0 4 0 521568506 294797312 13056 33554432000 4194304 4623224 140733948061440 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2327/tid=2331] ppid=2325 vsize=287888 CPUtime=3.05 cores=1,3,5,7
/proc/2327/task/2331/stat : 2331 (SArTagnan) R 2325 2327 2120 0 -1 4202560 25760 0 0 0 302 3 0 0 25 0 4 0 521568506 294797312 13056 33554432000 4194304 4623224 140733948061440 18446744073709551615 4550465 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.25
Current children cumulated vsize (KiB) 287888

[startup+6.30105 s]
/proc/loadavg: 7.87 7.98 7.88 9/184 2331
/proc/meminfo: memFree=31203868/32950928 swapFree=67111404/67111528
[pid=2327] ppid=2325 vsize=300384 CPUtime=25.03 cores=1,3,5,7
/proc/2327/stat : 2327 (SArTagnan) R 2325 2327 2120 0 -1 4202496 97521 0 0 0 2490 13 0 0 25 0 4 0 521568502 307593216 17859 33554432000 4194304 4623224 140733948061440 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2327/statm: 75096 17859 354 105 0 70600 0
[pid=2327/tid=2329] ppid=2325 vsize=300384 CPUtime=6.25 cores=1,3,5,7
/proc/2327/task/2329/stat : 2329 (SArTagnan) R 2325 2327 2120 0 -1 4202560 10006 0 0 0 622 3 0 0 25 0 4 0 521568506 307593216 17859 33554432000 4194304 4623224 140733948061440 18446744073709551615 4376649 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2327/tid=2330] ppid=2325 vsize=300384 CPUtime=6.22 cores=1,3,5,7
/proc/2327/task/2330/stat : 2330 (SArTagnan) R 2325 2327 2120 0 -1 4202560 8356 0 0 0 621 1 0 0 25 0 4 0 521568506 307593216 17859 33554432000 4194304 4623224 140733948061440 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2327/tid=2331] ppid=2325 vsize=300384 CPUtime=6.25 cores=1,3,5,7
/proc/2327/task/2331/stat : 2331 (SArTagnan) R 2325 2327 2120 0 -1 4202560 68291 0 0 0 617 8 0 0 25 0 4 0 521568506 307593216 17859 33554432000 4194304 4623224 140733948061440 18446744073709551615 4544876 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.03
Current children cumulated vsize (KiB) 300384

[startup+12.7009 s]
/proc/loadavg: 7.89 7.98 7.88 9/184 2331
/proc/meminfo: memFree=31155608/32950928 swapFree=67111404/67111528
[pid=2327] ppid=2325 vsize=315260 CPUtime=50.59 cores=1,3,5,7
/proc/2327/stat : 2327 (SArTagnan) R 2325 2327 2120 0 -1 4202496 154781 0 0 0 5038 21 0 0 25 0 4 0 521568502 322826240 23617 33554432000 4194304 4623224 140733948061440 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2327/statm: 78815 23617 344 105 0 74319 0
[pid=2327/tid=2329] ppid=2325 vsize=315260 CPUtime=12.65 cores=1,3,5,7
/proc/2327/task/2329/stat : 2329 (SArTagnan) R 2325 2327 2120 0 -1 4202560 16091 0 0 0 1261 4 0 0 25 0 4 0 521568506 322826240 23617 33554432000 4194304 4623224 140733948061440 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2327/tid=2330] ppid=2325 vsize=315260 CPUtime=12.58 cores=1,3,5,7
/proc/2327/task/2330/stat : 2330 (SArTagnan) R 2325 2327 2120 0 -1 4202560 13566 0 0 0 1256 2 0 0 25 0 4 0 521568506 322826240 23617 33554432000 4194304 4623224 140733948061440 18446744073709551615 4376662 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2327/tid=2331] ppid=2325 vsize=315260 CPUtime=12.65 cores=1,3,5,7
/proc/2327/task/2331/stat : 2331 (SArTagnan) R 2325 2327 2120 0 -1 4202560 114170 0 0 0 1252 13 0 0 24 0 4 0 521568506 322826240 23617 33554432000 4194304 4623224 140733948061440 18446744073709551615 4364232 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.59
Current children cumulated vsize (KiB) 315260

[startup+25.5007 s]
/proc/loadavg: 7.91 7.98 7.88 9/184 2331
/proc/meminfo: memFree=31077324/32950928 swapFree=67111404/67111528
[pid=2327] ppid=2325 vsize=325656 CPUtime=101.71 cores=1,3,5,7
/proc/2327/stat : 2327 (SArTagnan) R 2325 2327 2120 0 -1 4202496 287299 0 0 0 10128 43 0 0 25 0 4 0 521568502 333471744 30479 33554432000 4194304 4623224 140733948061440 18446744073709551615 4355951 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2327/statm: 81414 30479 341 105 0 76918 0
[pid=2327/tid=2329] ppid=2325 vsize=325656 CPUtime=25.44 cores=1,3,5,7
/proc/2327/task/2329/stat : 2329 (SArTagnan) R 2325 2327 2120 0 -1 4202560 25250 0 0 0 2538 6 0 0 25 0 4 0 521568506 333471744 30479 33554432000 4194304 4623224 140733948061440 18446744073709551615 4377587 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2327/tid=2330] ppid=2325 vsize=325656 CPUtime=25.31 cores=1,3,5,7
/proc/2327/task/2330/stat : 2330 (SArTagnan) R 2325 2327 2120 0 -1 4202560 14455 0 0 0 2528 3 0 0 25 0 4 0 521568506 333471744 30479 33554432000 4194304 4623224 140733948061440 18446744073709551615 4376745 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2327/tid=2331] ppid=2325 vsize=325656 CPUtime=25.44 cores=1,3,5,7
/proc/2327/task/2331/stat : 2331 (SArTagnan) R 2325 2327 2120 0 -1 4202560 236602 0 0 0 2512 32 0 0 25 0 4 0 521568506 333471744 30479 33554432000 4194304 4623224 140733948061440 18446744073709551615 4376892 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.71
Current children cumulated vsize (KiB) 325656

[startup+51.1012 s]
/proc/loadavg: 7.94 7.98 7.88 9/184 2332
/proc/meminfo: memFree=30947676/32950928 swapFree=67111404/67111528
[pid=2327] ppid=2325 vsize=348328 CPUtime=203.98 cores=1,3,5,7
/proc/2327/stat : 2327 (SArTagnan) R 2325 2327 2120 0 -1 4202496 484301 0 0 0 20322 76 0 0 25 0 4 0 521568502 356687872 39334 33554432000 4194304 4623224 140733948061440 18446744073709551615 4510175 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2327/statm: 87082 39334 342 105 0 82586 0
[pid=2327/tid=2329] ppid=2325 vsize=348328 CPUtime=51.05 cores=1,3,5,7
/proc/2327/task/2329/stat : 2329 (SArTagnan) R 2325 2327 2120 0 -1 4202560 36187 0 0 0 5097 8 0 0 25 0 4 0 521568506 356687872 39334 33554432000 4194304 4623224 140733948061440 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2327/tid=2330] ppid=2325 vsize=348328 CPUtime=50.76 cores=1,3,5,7
/proc/2327/task/2330/stat : 2330 (SArTagnan) R 2325 2327 2120 0 -1 4202560 16948 0 0 0 5072 4 0 0 25 0 4 0 521568506 356687872 39334 33554432000 4194304 4623224 140733948061440 18446744073709551615 4376625 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2327/tid=2331] ppid=2325 vsize=348328 CPUtime=51.05 cores=1,3,5,7
/proc/2327/task/2331/stat : 2331 (SArTagnan) R 2325 2327 2120 0 -1 4202560 419916 0 0 0 5043 62 0 0 25 0 4 0 521568506 356687872 39334 33554432000 4194304 4623224 140733948061440 18446744073709551615 4550465 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 203.98
Current children cumulated vsize (KiB) 348328

[startup+102.307 s]
/proc/loadavg: 7.97 7.98 7.89 9/184 2333
/proc/meminfo: memFree=30698864/32950928 swapFree=67111404/67111528
[pid=2327] ppid=2325 vsize=390496 CPUtime=408.53 cores=1,3,5,7
/proc/2327/stat : 2327 (SArTagnan) R 2325 2327 2120 0 -1 4202496 693341 0 0 0 40745 108 0 0 25 0 4 0 521568502 399867904 61462 33554432000 4194304 4623224 140733948061440 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2327/statm: 97624 61462 682 105 0 93128 0
[pid=2327/tid=2329] ppid=2325 vsize=390496 CPUtime=102.25 cores=1,3,5,7
/proc/2327/task/2329/stat : 2329 (SArTagnan) R 2325 2327 2120 0 -1 4202560 54586 0 0 0 10213 12 0 0 25 0 4 0 521568506 399867904 61462 33554432000 4194304 4623224 140733948061440 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2327/tid=2330] ppid=2325 vsize=390496 CPUtime=101.69 cores=1,3,5,7
/proc/2327/task/2330/stat : 2330 (SArTagnan) R 2325 2327 2120 0 -1 4202560 25107 0 0 0 10162 7 0 0 25 0 4 0 521568506 399867904 61462 33554432000 4194304 4623224 140733948061440 18446744073709551615 4376672 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2327/tid=2331] ppid=2325 vsize=390496 CPUtime=102.25 cores=1,3,5,7
/proc/2327/task/2331/stat : 2331 (SArTagnan) R 2325 2327 2120 0 -1 4202560 593186 0 0 0 10140 85 0 0 25 0 4 0 521568506 399867904 61462 33554432000 4194304 4623224 140733948061440 18446744073709551615 4550465 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.53
Current children cumulated vsize (KiB) 390496

[startup+162.301 s]
/proc/loadavg: 7.99 7.98 7.89 9/184 2335
/proc/meminfo: memFree=30472868/32950928 swapFree=67111404/67111528
[pid=2327] ppid=2325 vsize=560032 CPUtime=648.18 cores=1,3,5,7
/proc/2327/stat : 2327 (SArTagnan) R 2325 2327 2120 0 -1 4202496 800856 0 0 0 64692 126 0 0 25 0 4 0 521568502 573472768 80851 33554432000 4194304 4623224 140733948061440 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2327/statm: 140008 80851 1032 105 0 135512 0
[pid=2327/tid=2329] ppid=2325 vsize=560032 CPUtime=162.24 cores=1,3,5,7
/proc/2327/task/2329/stat : 2329 (SArTagnan) R 2325 2327 2120 0 -1 4202560 58734 0 0 0 16211 13 0 0 25 0 4 0 521568506 573472768 80851 33554432000 4194304 4623224 140733948061440 18446744073709551615 4377466 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2327/tid=2330] ppid=2325 vsize=560032 CPUtime=161.36 cores=1,3,5,7
/proc/2327/task/2330/stat : 2330 (SArTagnan) R 2325 2327 2120 0 -1 4202560 36562 0 0 0 16126 10 0 0 25 0 4 0 521568506 573472768 80851 33554432000 4194304 4623224 140733948061440 18446744073709551615 4366369 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2327/tid=2331] ppid=2325 vsize=560032 CPUtime=162.25 cores=1,3,5,7
/proc/2327/task/2331/stat : 2331 (SArTagnan) R 2325 2327 2120 0 -1 4202560 675206 0 0 0 16128 97 0 0 25 0 4 0 521568506 573472768 80851 33554432000 4194304 4623224 140733948061440 18446744073709551615 4550465 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 648.18
Current children cumulated vsize (KiB) 560032

[startup+222.301 s]
/proc/loadavg: 7.99 7.98 7.90 9/184 2336
/proc/meminfo: memFree=30282204/32950928 swapFree=67111404/67111528
[pid=2327] ppid=2325 vsize=531952 CPUtime=887.85 cores=1,3,5,7
/proc/2327/stat : 2327 (SArTagnan) R 2325 2327 2120 0 -1 4202496 1165329 0 0 0 88598 187 0 0 25 0 4 0 521568502 544718848 90853 33554432000 4194304 4623224 140733948061440 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2327/statm: 132988 90853 882 105 0 128492 0
[pid=2327/tid=2329] ppid=2325 vsize=531952 CPUtime=222.25 cores=1,3,5,7
/proc/2327/task/2329/stat : 2329 (SArTagnan) R 2325 2327 2120 0 -1 4202560 79747 0 0 0 22208 17 0 0 25 0 4 0 521568506 544718848 90853 33554432000 4194304 4623224 140733948061440 18446744073709551615 4377576 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2327/tid=2330] ppid=2325 vsize=531952 CPUtime=221.02 cores=1,3,5,7
/proc/2327/task/2330/stat : 2330 (SArTagnan) R 2325 2327 2120 0 -1 4202560 37742 0 0 0 22091 11 0 0 25 0 4 0 521568506 544718848 90853 33554432000 4194304 4623224 140733948061440 18446744073709551615 4376846 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2327/tid=2331] ppid=2325 vsize=531952 CPUtime=222.24 cores=1,3,5,7
/proc/2327/task/2331/stat : 2331 (SArTagnan) R 2325 2327 2120 0 -1 4202560 949524 0 0 0 22082 142 0 0 25 0 4 0 521568506 544718848 90853 33554432000 4194304 4623224 140733948061440 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 887.85
Current children cumulated vsize (KiB) 531952

[startup+282.301 s]

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

[pid=2327] ppid=2325 vsize=969020 CPUtime=2805.22 cores=1,3,5,7
/proc/2327/stat : 2327 (SArTagnan) R 2325 2327 2120 0 -1 4202496 4071904 0 0 0 279878 644 0 0 25 0 4 0 521568502 992276480 171924 33554432000 4194304 4623224 140733948061440 18446744073709551615 4517494 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2327/statm: 242255 171924 745 105 0 237759 0
[pid=2327/tid=2329] ppid=2325 vsize=969020 CPUtime=702.25 cores=1,3,5,7
/proc/2327/task/2329/stat : 2329 (SArTagnan) R 2325 2327 2120 0 -1 4202560 135075 0 0 0 70188 37 0 0 25 0 4 0 521568506 992276480 171924 33554432000 4194304 4623224 140733948061440 18446744073709551615 4377576 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2327/tid=2330] ppid=2325 vsize=969020 CPUtime=698.4 cores=1,3,5,7
/proc/2327/task/2330/stat : 2330 (SArTagnan) R 2325 2327 2120 0 -1 4202560 54696 0 0 0 69822 18 0 0 25 0 4 0 521568506 992276480 171924 33554432000 4194304 4623224 140733948061440 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2327/tid=2331] ppid=2325 vsize=969020 CPUtime=702.26 cores=1,3,5,7
/proc/2327/task/2331/stat : 2331 (SArTagnan) R 2325 2327 2120 0 -1 4202560 3707192 0 0 0 69665 561 0 0 25 0 4 0 521568506 992276480 171924 33554432000 4194304 4623224 140733948061440 18446744073709551615 4376846 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2805.22
Current children cumulated vsize (KiB) 969020

[startup+762.306 s]
/proc/loadavg: 8.16 8.12 8.00 9/184 2363
/proc/meminfo: memFree=28911252/32950928 swapFree=67111404/67111528
[pid=2327] ppid=2325 vsize=969020 CPUtime=3044.91 cores=1,3,5,7
/proc/2327/stat : 2327 (SArTagnan) R 2325 2327 2120 0 -1 4202496 4494795 0 0 0 303782 709 0 0 25 0 4 0 521568502 992276480 175582 33554432000 4194304 4623224 140733948061440 18446744073709551615 4517494 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2327/statm: 242255 175582 685 105 0 237759 0
[pid=2327/tid=2329] ppid=2325 vsize=969020 CPUtime=762.26 cores=1,3,5,7
/proc/2327/task/2329/stat : 2329 (SArTagnan) R 2325 2327 2120 0 -1 4202560 136969 0 0 0 76186 40 0 0 25 0 4 0 521568506 992276480 175582 33554432000 4194304 4623224 140733948061440 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2327/tid=2330] ppid=2325 vsize=969020 CPUtime=758.07 cores=1,3,5,7
/proc/2327/task/2330/stat : 2330 (SArTagnan) R 2325 2327 2120 0 -1 4202560 54837 0 0 0 75789 18 0 0 25 0 4 0 521568506 992276480 175582 33554432000 4194304 4623224 140733948061440 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2327/tid=2331] ppid=2325 vsize=969020 CPUtime=762.26 cores=1,3,5,7
/proc/2327/task/2331/stat : 2331 (SArTagnan) R 2325 2327 2120 0 -1 4202560 4127293 0 0 0 75603 623 0 0 25 0 4 0 521568506 992276480 175582 33554432000 4194304 4623224 140733948061440 18446744073709551615 4545680 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3044.91
Current children cumulated vsize (KiB) 969020

[startup+822.301 s]
/proc/loadavg: 8.16 8.13 8.00 9/184 2364
/proc/meminfo: memFree=28750480/32950928 swapFree=67111404/67111528
[pid=2327] ppid=2325 vsize=969020 CPUtime=3284.57 cores=1,3,5,7
/proc/2327/stat : 2327 (SArTagnan) R 2325 2327 2120 0 -1 4202496 4555531 0 0 0 327736 721 0 0 25 0 4 0 521568502 992276480 181738 33554432000 4194304 4623224 140733948061440 18446744073709551615 4517494 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2327/statm: 242255 181738 671 105 0 237759 0
[pid=2327/tid=2329] ppid=2325 vsize=969020 CPUtime=822.26 cores=1,3,5,7
/proc/2327/task/2329/stat : 2329 (SArTagnan) R 2325 2327 2120 0 -1 4202560 137666 0 0 0 82186 40 0 0 25 0 4 0 521568506 992276480 181738 33554432000 4194304 4623224 140733948061440 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2327/tid=2330] ppid=2325 vsize=969020 CPUtime=817.74 cores=1,3,5,7
/proc/2327/task/2330/stat : 2330 (SArTagnan) R 2325 2327 2120 0 -1 4202560 59128 0 0 0 81755 19 0 0 25 0 4 0 521568506 992276480 181738 33554432000 4194304 4623224 140733948061440 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2327/tid=2331] ppid=2325 vsize=969020 CPUtime=822.26 cores=1,3,5,7
/proc/2327/task/2331/stat : 2331 (SArTagnan) R 2325 2327 2120 0 -1 4202560 4182113 0 0 0 81593 633 0 0 25 0 4 0 521568506 992276480 181738 33554432000 4194304 4623224 140733948061440 18446744073709551615 4376757 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3284.57
Current children cumulated vsize (KiB) 969020

[startup+882.301 s]
/proc/loadavg: 8.15 8.13 8.01 9/184 2366
/proc/meminfo: memFree=28562928/32950928 swapFree=67111404/67111528
[pid=2327] ppid=2325 vsize=1000688 CPUtime=3524.24 cores=1,3,5,7
/proc/2327/stat : 2327 (SArTagnan) R 2325 2327 2120 0 -1 4202496 4820929 0 0 0 351660 764 0 0 25 0 4 0 521568502 1024704512 186528 33554432000 4194304 4623224 140733948061440 18446744073709551615 4510090 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2327/statm: 250172 186528 660 105 0 245676 0
[pid=2327/tid=2329] ppid=2325 vsize=1000688 CPUtime=882.25 cores=1,3,5,7
/proc/2327/task/2329/stat : 2329 (SArTagnan) R 2325 2327 2120 0 -1 4202560 138551 0 0 0 88185 40 0 0 25 0 4 0 521568506 1024704512 186528 33554432000 4194304 4623224 140733948061440 18446744073709551615 4376672 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2327/tid=2330] ppid=2325 vsize=1000688 CPUtime=877.41 cores=1,3,5,7
/proc/2327/task/2330/stat : 2330 (SArTagnan) R 2325 2327 2120 0 -1 4202560 60598 0 0 0 87720 21 0 0 25 0 4 0 521568506 1024704512 186528 33554432000 4194304 4623224 140733948061440 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2327/tid=2331] ppid=2325 vsize=1000688 CPUtime=882.26 cores=1,3,5,7
/proc/2327/task/2331/stat : 2331 (SArTagnan) R 2325 2327 2120 0 -1 4202560 4427250 0 0 0 87554 672 0 0 25 0 4 0 521568506 1024704512 186528 33554432000 4194304 4623224 140733948061440 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3524.24
Current children cumulated vsize (KiB) 1000688

[startup+942.301 s]
/proc/loadavg: 8.22 8.15 8.02 9/184 2368
/proc/meminfo: memFree=28298364/32950928 swapFree=67111404/67111528
[pid=2327] ppid=2325 vsize=1088580 CPUtime=3763.93 cores=1,3,5,7
/proc/2327/stat : 2327 (SArTagnan) R 2325 2327 2120 0 -1 4202496 5035342 0 0 0 375590 803 0 0 25 0 4 0 521568502 1114705920 194183 33554432000 4194304 4623224 140733948061440 18446744073709551615 4510199 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2327/statm: 272145 194183 621 105 0 267649 0
[pid=2327/tid=2329] ppid=2325 vsize=1088580 CPUtime=942.26 cores=1,3,5,7
/proc/2327/task/2329/stat : 2329 (SArTagnan) R 2325 2327 2120 0 -1 4202560 179515 0 0 0 94180 46 0 0 25 0 4 0 521568506 1114705920 194183 33554432000 4194304 4623224 140733948061440 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2327/tid=2330] ppid=2325 vsize=1088580 CPUtime=937.08 cores=1,3,5,7
/proc/2327/task/2330/stat : 2330 (SArTagnan) R 2325 2327 2120 0 -1 4202560 61476 0 0 0 93686 22 0 0 25 0 4 0 521568506 1114705920 194183 33554432000 4194304 4623224 140733948061440 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2327/tid=2331] ppid=2325 vsize=1088580 CPUtime=942.26 cores=1,3,5,7
/proc/2327/task/2331/stat : 2331 (SArTagnan) R 2325 2327 2120 0 -1 4202560 4599058 0 0 0 93523 703 0 0 25 0 4 0 521568506 1114705920 194183 33554432000 4194304 4623224 140733948061440 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3763.93
Current children cumulated vsize (KiB) 1088580

[startup+1002.3 s]
/proc/loadavg: 8.13 8.14 8.02 9/184 2369
/proc/meminfo: memFree=28223024/32950928 swapFree=67111404/67111528
[pid=2327] ppid=2325 vsize=1134440 CPUtime=4003.59 cores=1,3,5,7
/proc/2327/stat : 2327 (SArTagnan) R 2325 2327 2120 0 -1 4202496 5050130 0 0 0 399550 809 0 0 25 0 4 0 521568502 1161666560 208859 33554432000 4194304 4623224 140733948061440 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2327/statm: 283610 208859 620 105 0 279114 0
[pid=2327/tid=2329] ppid=2325 vsize=1134440 CPUtime=1002.26 cores=1,3,5,7
/proc/2327/task/2329/stat : 2329 (SArTagnan) R 2325 2327 2120 0 -1 4202560 183804 0 0 0 100177 49 0 0 25 0 4 0 521568506 1161666560 208859 33554432000 4194304 4623224 140733948061440 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2327/tid=2330] ppid=2325 vsize=1134440 CPUtime=996.75 cores=1,3,5,7
/proc/2327/task/2330/stat : 2330 (SArTagnan) R 2325 2327 2120 0 -1 4202560 62526 0 0 0 99650 25 0 0 25 0 4 0 521568506 1161666560 208859 33554432000 4194304 4623224 140733948061440 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2327/tid=2331] ppid=2325 vsize=1134440 CPUtime=1002.27 cores=1,3,5,7
/proc/2327/task/2331/stat : 2331 (SArTagnan) R 2325 2327 2120 0 -1 4202560 4607139 0 0 0 99522 705 0 0 25 0 4 0 521568506 1161666560 208859 33554432000 4194304 4623224 140733948061440 18446744073709551615 4550465 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4003.59
Current children cumulated vsize (KiB) 1134440

[startup+1062.3 s]
/proc/loadavg: 8.09 8.12 8.02 9/184 2371
/proc/meminfo: memFree=26326624/32950928 swapFree=67111404/67111528
[pid=2327] ppid=2325 vsize=1203352 CPUtime=4243.27 cores=1,3,5,7
/proc/2327/stat : 2327 (SArTagnan) R 2325 2327 2120 0 -1 4202496 5055408 0 0 0 423514 813 0 0 25 0 4 0 521568502 1232232448 213973 33554432000 4194304 4623224 140733948061440 18446744073709551615 4510090 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2327/statm: 300838 213973 571 105 0 296342 0
[pid=2327/tid=2329] ppid=2325 vsize=1203352 CPUtime=1062.26 cores=1,3,5,7
/proc/2327/task/2329/stat : 2329 (SArTagnan) R 2325 2327 2120 0 -1 4202560 186245 0 0 0 106174 52 0 0 25 0 4 0 521568506 1232232448 213973 33554432000 4194304 4623224 140733948061440 18446744073709551615 4376612 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2327/tid=2330] ppid=2325 vsize=1203352 CPUtime=1056.43 cores=1,3,5,7
/proc/2327/task/2330/stat : 2330 (SArTagnan) R 2325 2327 2120 0 -1 4202560 63224 0 0 0 105618 25 0 0 25 0 4 0 521568506 1232232448 213973 33554432000 4194304 4623224 140733948061440 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2327/tid=2331] ppid=2325 vsize=1203352 CPUtime=1062.27 cores=1,3,5,7
/proc/2327/task/2331/stat : 2331 (SArTagnan) R 2325 2327 2120 0 -1 4202560 4608007 0 0 0 105522 705 0 0 25 0 4 0 521568506 1232232448 213973 33554432000 4194304 4623224 140733948061440 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4243.27
Current children cumulated vsize (KiB) 1203352

[startup+1122.3 s]
/proc/loadavg: 8.15 8.13 8.02 9/184 2372
/proc/meminfo: memFree=26210112/32950928 swapFree=67111404/67111528
[pid=2327] ppid=2325 vsize=1245732 CPUtime=4482.94 cores=1,3,5,7
/proc/2327/stat : 2327 (SArTagnan) R 2325 2327 2120 0 -1 4202496 5069766 0 0 0 447475 819 0 0 25 0 4 0 521568502 1275629568 218955 33554432000 4194304 4623224 140733948061440 18446744073709551615 4517479 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2327/statm: 311433 218955 531 105 0 306937 0
[pid=2327/tid=2329] ppid=2325 vsize=1245732 CPUtime=1122.25 cores=1,3,5,7
/proc/2327/task/2329/stat : 2329 (SArTagnan) R 2325 2327 2120 0 -1 4202560 198500 0 0 0 112168 57 0 0 25 0 4 0 521568506 1275629568 218955 33554432000 4194304 4623224 140733948061440 18446744073709551615 4376612 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2327/tid=2330] ppid=2325 vsize=1245732 CPUtime=1116.1 cores=1,3,5,7
/proc/2327/task/2330/stat : 2330 (SArTagnan) R 2325 2327 2120 0 -1 4202560 63388 0 0 0 111585 25 0 0 25 0 4 0 521568506 1275629568 218955 33554432000 4194304 4623224 140733948061440 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2327/tid=2331] ppid=2325 vsize=1245732 CPUtime=1122.27 cores=1,3,5,7
/proc/2327/task/2331/stat : 2331 (SArTagnan) R 2325 2327 2120 0 -1 4202560 4609343 0 0 0 111522 705 0 0 25 0 4 0 521568506 1275629568 218955 33554432000 4194304 4623224 140733948061440 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4482.94
Current children cumulated vsize (KiB) 1245732

[startup+1182.3 s]
/proc/loadavg: 8.16 8.13 8.03 9/184 2374
/proc/meminfo: memFree=26035444/32950928 swapFree=67111404/67111528
[pid=2327] ppid=2325 vsize=1282292 CPUtime=4722.63 cores=1,3,5,7
/proc/2327/stat : 2327 (SArTagnan) R 2325 2327 2120 0 -1 4202496 5097867 0 0 0 471434 829 0 0 25 0 4 0 521568502 1313067008 230470 33554432000 4194304 4623224 140733948061440 18446744073709551615 4414885 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2327/statm: 320573 230470 531 105 0 316077 0
[pid=2327/tid=2329] ppid=2325 vsize=1282292 CPUtime=1182.26 cores=1,3,5,7
/proc/2327/task/2329/stat : 2329 (SArTagnan) R 2325 2327 2120 0 -1 4202560 200550 0 0 0 118164 62 0 0 25 0 4 0 521568506 1313067008 230470 33554432000 4194304 4623224 140733948061440 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2327/tid=2330] ppid=2325 vsize=1282292 CPUtime=1175.77 cores=1,3,5,7
/proc/2327/task/2330/stat : 2330 (SArTagnan) R 2325 2327 2120 0 -1 4202560 84328 0 0 0 117549 28 0 0 25 0 4 0 521568506 1313067008 230470 33554432000 4194304 4623224 140733948061440 18446744073709551615 4376672 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2327/tid=2331] ppid=2325 vsize=1282292 CPUtime=1182.27 cores=1,3,5,7
/proc/2327/task/2331/stat : 2331 (SArTagnan) R 2325 2327 2120 0 -1 4202560 4609451 0 0 0 117522 705 0 0 25 0 4 0 521568506 1313067008 230470 33554432000 4194304 4623224 140733948061440 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4722.63
Current children cumulated vsize (KiB) 1282292



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.11 8.12 8.03 9/184 2407
/proc/meminfo: memFree=30359140/32950928 swapFree=67111404/67111528
[pid=2327] ppid=2325 vsize=1316280 CPUtime=4800.12 cores=1,3,5,7
/proc/2327/stat : 2327 (SArTagnan) R 2325 2327 2120 0 -1 4202496 5117472 0 0 0 479180 832 0 0 25 0 4 0 521568502 1347870720 233752 33554432000 4194304 4623224 140733948061440 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2327/statm: 329070 233752 531 105 0 324574 0
[pid=2327/tid=2329] ppid=2325 vsize=1316280 CPUtime=1201.66 cores=1,3,5,7
/proc/2327/task/2329/stat : 2329 (SArTagnan) R 2325 2327 2120 0 -1 4202560 201269 0 0 0 120103 63 0 0 25 0 4 0 521568506 1347870720 233752 33554432000 4194304 4623224 140733948061440 18446744073709551615 4376625 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2327/tid=2330] ppid=2325 vsize=1316280 CPUtime=1195.06 cores=1,3,5,7
/proc/2327/task/2330/stat : 2330 (SArTagnan) R 2325 2327 2120 0 -1 4202560 84353 0 0 0 119478 28 0 0 25 0 4 0 521568506 1347870720 233752 33554432000 4194304 4623224 140733948061440 18446744073709551615 4377587 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2327/tid=2331] ppid=2325 vsize=1316280 CPUtime=1201.67 cores=1,3,5,7
/proc/2327/task/2331/stat : 2331 (SArTagnan) R 2325 2327 2120 0 -1 4202560 4609479 0 0 0 119462 705 0 0 25 0 4 0 521568506 1347870720 233752 33554432000 4194304 4623224 140733948061440 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.12
Current children cumulated vsize (KiB) 1316280

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

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

[startup+1201.7 s]
/proc/loadavg: 8.11 8.12 8.03 9/184 2407
/proc/meminfo: memFree=30359140/32950928 swapFree=67111404/67111528
[pid=2327] ppid=2325 vsize=1316280 CPUtime=4800.12 cores=1,3,5,7
/proc/2327/stat : 2327 (SArTagnan) R 2325 2327 2120 0 -1 4202496 5117472 0 0 0 479180 832 0 0 25 0 4 0 521568502 1347870720 233752 33554432000 4194304 4623224 140733948061440 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2327/statm: 329070 233752 531 105 0 324574 0
[pid=2327/tid=2329] ppid=2325 vsize=1316280 CPUtime=1201.66 cores=1,3,5,7
/proc/2327/task/2329/stat : 2329 (SArTagnan) R 2325 2327 2120 0 -1 4202560 201269 0 0 0 120103 63 0 0 25 0 4 0 521568506 1347870720 233752 33554432000 4194304 4623224 140733948061440 18446744073709551615 4376625 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2327/tid=2330] ppid=2325 vsize=1316280 CPUtime=1195.06 cores=1,3,5,7
/proc/2327/task/2330/stat : 2330 (SArTagnan) R 2325 2327 2120 0 -1 4202560 84353 0 0 0 119478 28 0 0 25 0 4 0 521568506 1347870720 233752 33554432000 4194304 4623224 140733948061440 18446744073709551615 4377587 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2327/tid=2331] ppid=2325 vsize=1316280 CPUtime=1201.67 cores=1,3,5,7
/proc/2327/task/2331/stat : 2331 (SArTagnan) R 2325 2327 2120 0 -1 4202560 4609479 0 0 0 119462 705 0 0 25 0 4 0 521568506 1347870720 233752 33554432000 4194304 4623224 140733948061440 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.12
Current children cumulated vsize (KiB) 1316280

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.75
CPU time (s): 4800.2
CPU user time (s): 4791.84
CPU system time (s): 8.36573
CPU usage (%): 399.435
Max. virtual memory (cumulated for all children) (KiB): 1316280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4791.84
system time used= 8.36573
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5117472
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= 578
involuntary context switches= 18862

runsolver used 1.79773 second user time and 4.76927 second system time

The end

Launcher Data 

Begin job on node120 at 2011-04-29 19:54:57
IDJOB=3262884
IDBENCH=83899
IDSOLVER=1656
FILE ID=node120/3262884-1304099697
RUNJOBID= node120-1304098479-2139
PBS_JOBID= 13170619
Free space on /tmp= 72072 MiB

SOLVER NAME= SArTagnan 2011-03-24
BENCH NAME= SAT03/handmade/anton/UNSAT/SGI_30_70_19_80_8-log.shuffled-as.sat03-143.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3262884-1304099697/watcher-3262884-1304099697 -o /tmp/evaluation-result-3262884-1304099697/solver-3262884-1304099697 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3262884-1304099697.cnf -threads=4

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

MD5SUM BENCH= 3aff0c2163848e3eed6bc22fc2c30cdf
RANDOM SEED=737233474

node120.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.809
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.61
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.809
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.07
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.809
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.82
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.809
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.809
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.78
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.809
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.809
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.809
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      31300596 kB
Buffers:        480532 kB
Cached:         612300 kB
SwapCached:          8 kB
Active:         539592 kB
Inactive:       752232 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31300596 kB
SwapTotal:    67111528 kB
SwapFree:     67111404 kB
Dirty:            2956 kB
Writeback:           0 kB
AnonPages:      198260 kB
Mapped:          15664 kB
Slab:           295936 kB
PageTables:       5008 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   392796 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= 72072 MiB
End job on node120 at 2011-04-29 20:15:01