Trace number 3439591

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)UNSAT 8219.56 1028.71

General information on the benchmark

NameSAT05/crafted/sorge05/QG7/
gensys-icl007.shuffled-as.sat05-3133.cnf
MD5SUM88361752c7b0c05e849791aafdd7bdba
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark219.938
Satisfiable
(Un)Satisfiability was proved
Number of variables762
Number of clauses17262
Sum of the clauses size76511
Maximum clause length13
Minimum clause length1
Number of clauses of size 142
Number of clauses of size 21135
Number of clauses of size 38742
Number of clauses of size 4236
Number of clauses of size 5256
Number of clauses of size over 56851

Solver Data 

8219.27/1028.62	
8219.27/1028.62	s UNSATISFIABLE
8219.27/1028.62	c createReplaced produced conflict

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3439591-1306965638/watcher-3439591-1306965638 -o /tmp/evaluation-result-3439591-1306965638/solver-3439591-1306965638 -C 40000 -W 5100 -M 31000 SArTagnan HOME/instance-3439591-1306965638.cnf -threads=8 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 40000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 40030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 7.43 7.91 7.93 2/266 25790
/proc/meminfo: memFree=28407684/32951124 swapFree=55664332/67111528
[pid=25790] ppid=25788 vsize=19776 CPUtime=0 cores=0-7
/proc/25790/stat : 25790 (SArTagnan) R 25788 25790 25549 0 -1 4202496 657 0 0 0 0 0 0 0 25 0 1 0 808164519 20250624 569 33554432000 4194304 4625164 140735058378384 18446744073709551615 222921473803 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/25790/statm: 4944 584 299 106 0 447 0

[startup+0.141721 s]
/proc/loadavg: 7.43 7.91 7.93 2/266 25790
/proc/meminfo: memFree=28407684/32951124 swapFree=55664332/67111528
[pid=25790] ppid=25788 vsize=500212 CPUtime=3.6 cores=0-7
/proc/25790/stat : 25790 (SArTagnan) R 25788 25790 25549 0 -1 4202496 10276 0 0 0 359 1 0 0 25 0 8 0 808164519 512217088 5805 33554432000 4194304 4625164 140735058378384 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/25790/statm: 124933 7625 352 106 0 120436 0
Current children cumulated CPU time (s) 3.6
Current children cumulated vsize (KiB) 500212

[startup+0.943054 s]
/proc/loadavg: 7.43 7.91 7.93 2/266 25790
/proc/meminfo: memFree=28407684/32951124 swapFree=55664332/67111528
[pid=25790] ppid=25788 vsize=501764 CPUtime=7.36 cores=0-7
/proc/25790/stat : 25790 (SArTagnan) R 25788 25790 25549 0 -1 4202496 15735 0 0 0 734 2 0 0 25 0 8 0 808164519 513806336 8052 33554432000 4194304 4625164 140735058378384 18446744073709551615 4519268 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/25790/statm: 125441 8052 352 106 0 120944 0
Current children cumulated CPU time (s) 7.36
Current children cumulated vsize (KiB) 501764

[startup+1.04304 s]
/proc/loadavg: 7.43 7.91 7.93 2/266 25790
/proc/meminfo: memFree=28407684/32951124 swapFree=55664332/67111528
[pid=25790] ppid=25788 vsize=503512 CPUtime=8.17 cores=0-7
/proc/25790/stat : 25790 (SArTagnan) R 25788 25790 25549 0 -1 4202496 17283 0 0 0 814 3 0 0 25 0 8 0 808164519 515596288 8739 33554432000 4194304 4625164 140735058378384 18446744073709551615 4519388 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/25790/statm: 125878 8739 352 106 0 121381 0
Current children cumulated CPU time (s) 8.17
Current children cumulated vsize (KiB) 503512

[startup+1.14302 s]
/proc/loadavg: 7.43 7.91 7.93 2/266 25790
/proc/meminfo: memFree=28407684/32951124 swapFree=55664332/67111528
[pid=25790] ppid=25788 vsize=503512 CPUtime=8.97 cores=0-7
/proc/25790/stat : 25790 (SArTagnan) R 25788 25790 25549 0 -1 4202496 18034 0 0 0 894 3 0 0 25 0 8 0 808164519 515596288 9280 33554432000 4194304 4625164 140735058378384 18446744073709551615 4356423 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/25790/statm: 125878 9280 352 106 0 121381 0
Current children cumulated CPU time (s) 8.97
Current children cumulated vsize (KiB) 503512

[startup+1.50095 s]
/proc/loadavg: 7.43 7.91 7.93 2/266 25790
/proc/meminfo: memFree=28407684/32951124 swapFree=55664332/67111528
[pid=25790] ppid=25788 vsize=505796 CPUtime=11.83 cores=0-7
/proc/25790/stat : 25790 (SArTagnan) R 25788 25790 25549 0 -1 4202496 22251 0 0 0 1180 3 0 0 25 0 8 0 808164519 517935104 10533 33554432000 4194304 4625164 140735058378384 18446744073709551615 4512315 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/25790/statm: 126449 10533 352 106 0 121952 0
Current children cumulated CPU time (s) 11.83
Current children cumulated vsize (KiB) 505796

[startup+3.10066 s]
/proc/loadavg: 7.43 7.91 7.93 9/274 25798
/proc/meminfo: memFree=28349888/32951124 swapFree=55664332/67111528
[pid=25790] ppid=25788 vsize=514756 CPUtime=24.61 cores=0-7
/proc/25790/stat : 25790 (SArTagnan) R 25788 25790 25549 0 -1 4202496 37447 0 0 0 2455 6 0 0 25 0 8 0 808164519 527110144 15173 33554432000 4194304 4625164 140735058378384 18446744073709551615 4512142 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/25790/statm: 128689 15173 352 106 0 124192 0
[pid=25790/tid=25792] ppid=25788 vsize=514756 CPUtime=3.08 cores=0-7
/proc/25790/task/25792/stat : 25792 (SArTagnan) R 25788 25790 25549 0 -1 4202560 2473 0 0 0 308 0 0 0 25 0 8 0 808164521 527110144 15173 33554432000 4194304 4625164 140735058378384 18446744073709551615 4352021 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25790/tid=25793] ppid=25788 vsize=514756 CPUtime=3.08 cores=0-7
/proc/25790/task/25793/stat : 25793 (SArTagnan) R 25788 25790 25549 0 -1 4202560 2454 0 0 0 308 0 0 0 25 0 8 0 808164521 527110144 15173 33554432000 4194304 4625164 140735058378384 18446744073709551615 4288731 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25790/tid=25794] ppid=25788 vsize=514756 CPUtime=3.04 cores=0-7
/proc/25790/task/25794/stat : 25794 (SArTagnan) R 25788 25790 25549 0 -1 4202560 18397 0 0 0 301 3 0 0 25 0 8 0 808164521 527110144 15173 33554432000 4194304 4625164 140735058378384 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=25790/tid=25795] ppid=25788 vsize=514756 CPUtime=3.06 cores=0-7
/proc/25790/task/25795/stat : 25795 (SArTagnan) R 25788 25790 25549 0 -1 4202560 2681 0 0 0 306 0 0 0 25 0 8 0 808164521 527110144 15173 33554432000 4194304 4625164 140735058378384 18446744073709551615 4352280 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=25790/tid=25796] ppid=25788 vsize=514756 CPUtime=3.06 cores=0-7
/proc/25790/task/25796/stat : 25796 (SArTagnan) R 25788 25790 25549 0 -1 4202560 2395 0 0 0 306 0 0 0 25 0 8 0 808164521 527110144 15173 33554432000 4194304 4625164 140735058378384 18446744073709551615 4349021 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25790/tid=25797] ppid=25788 vsize=514756 CPUtime=3.07 cores=0-7
/proc/25790/task/25797/stat : 25797 (SArTagnan) R 25788 25790 25549 0 -1 4202560 2666 0 0 0 307 0 0 0 25 0 8 0 808164521 527110144 15173 33554432000 4194304 4625164 140735058378384 18446744073709551615 4352072 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25790/tid=25798] ppid=25788 vsize=514756 CPUtime=3.07 cores=0-7
/proc/25790/task/25798/stat : 25798 (SArTagnan) R 25788 25790 25549 0 -1 4202560 2490 0 0 0 307 0 0 0 25 0 8 0 808164521 527110144 15173 33554432000 4194304 4625164 140735058378384 18446744073709551615 4464736 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 24.61
Current children cumulated vsize (KiB) 514756

[startup+6.31007 s]
/proc/loadavg: 7.48 7.91 7.93 9/274 25798
/proc/meminfo: memFree=28323848/32951124 swapFree=55664332/67111528
[pid=25790] ppid=25788 vsize=525472 CPUtime=50.26 cores=0-7
/proc/25790/stat : 25790 (SArTagnan) R 25788 25790 25549 0 -1 4202496 61374 0 0 0 5015 11 0 0 25 0 8 0 808164519 538083328 21877 33554432000 4194304 4625164 140735058378384 18446744073709551615 4512736 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/25790/statm: 131368 21877 352 106 0 126871 0
[pid=25790/tid=25792] ppid=25788 vsize=525472 CPUtime=6.29 cores=0-7
/proc/25790/task/25792/stat : 25792 (SArTagnan) R 25788 25790 25549 0 -1 4202560 4037 0 0 0 629 0 0 0 25 0 8 0 808164521 538083328 21877 33554432000 4194304 4625164 140735058378384 18446744073709551615 4352731 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25790/tid=25793] ppid=25788 vsize=525472 CPUtime=6.28 cores=0-7
/proc/25790/task/25793/stat : 25793 (SArTagnan) R 25788 25790 25549 0 -1 4202560 2973 0 0 0 628 0 0 0 25 0 8 0 808164521 538083328 21877 33554432000 4194304 4625164 140735058378384 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25790/tid=25794] ppid=25788 vsize=525472 CPUtime=6.22 cores=0-7
/proc/25790/task/25794/stat : 25794 (SArTagnan) R 25788 25790 25549 0 -1 4202560 33305 0 0 0 617 5 0 0 25 0 8 0 808164521 538083328 21877 33554432000 4194304 4625164 140735058378384 18446744073709551615 4579601 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=25790/tid=25795] ppid=25788 vsize=525472 CPUtime=6.26 cores=0-7
/proc/25790/task/25795/stat : 25795 (SArTagnan) R 25788 25790 25549 0 -1 4202560 4351 0 0 0 626 0 0 0 25 0 8 0 808164521 538083328 21877 33554432000 4194304 4625164 140735058378384 18446744073709551615 4352032 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=25790/tid=25796] ppid=25788 vsize=525472 CPUtime=6.27 cores=0-7
/proc/25790/task/25796/stat : 25796 (SArTagnan) R 25788 25790 25549 0 -1 4202560 3791 0 0 0 627 0 0 0 25 0 8 0 808164521 538083328 21877 33554432000 4194304 4625164 140735058378384 18446744073709551615 4291310 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25790/tid=25797] ppid=25788 vsize=525472 CPUtime=6.28 cores=0-7
/proc/25790/task/25797/stat : 25797 (SArTagnan) R 25788 25790 25549 0 -1 4202560 3944 0 0 0 628 0 0 0 25 0 8 0 808164521 538083328 21877 33554432000 4194304 4625164 140735058378384 18446744073709551615 4352044 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25790/tid=25798] ppid=25788 vsize=525472 CPUtime=6.28 cores=0-7
/proc/25790/task/25798/stat : 25798 (SArTagnan) R 25788 25790 25549 0 -1 4202560 3941 0 0 0 628 0 0 0 25 0 8 0 808164521 538083328 21877 33554432000 4194304 4625164 140735058378384 18446744073709551615 4351827 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.26
Current children cumulated vsize (KiB) 525472

[startup+12.7009 s]
/proc/loadavg: 7.52 7.91 7.93 9/274 25798
/proc/meminfo: memFree=28292240/32951124 swapFree=55664332/67111528
[pid=25790] ppid=25788 vsize=551616 CPUtime=101.34 cores=0-7
/proc/25790/stat : 25790 (SArTagnan) R 25788 25790 25549 0 -1 4202496 111999 0 0 0 10115 19 0 0 25 0 8 0 808164519 564854784 31598 33554432000 4194304 4625164 140735058378384 18446744073709551615 4508843 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/25790/statm: 137904 31598 352 106 0 133407 0
[pid=25790/tid=25792] ppid=25788 vsize=551616 CPUtime=12.68 cores=0-7
/proc/25790/task/25792/stat : 25792 (SArTagnan) R 25788 25790 25549 0 -1 4202560 8575 0 0 0 1267 1 0 0 25 0 8 0 808164521 564854784 31598 33554432000 4194304 4625164 140735058378384 18446744073709551615 4352280 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25790/tid=25793] ppid=25788 vsize=551616 CPUtime=12.68 cores=0-7
/proc/25790/task/25793/stat : 25793 (SArTagnan) R 25788 25790 25549 0 -1 4202560 4349 0 0 0 1267 1 0 0 25 0 8 0 808164521 564854784 31598 33554432000 4194304 4625164 140735058378384 18446744073709551615 4352728 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25790/tid=25794] ppid=25788 vsize=551616 CPUtime=12.56 cores=0-7
/proc/25790/task/25794/stat : 25794 (SArTagnan) R 25788 25790 25549 0 -1 4202560 66713 0 0 0 1246 10 0 0 25 0 8 0 808164521 564854784 31598 33554432000 4194304 4625164 140735058378384 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=25790/tid=25795] ppid=25788 vsize=551616 CPUtime=12.65 cores=0-7
/proc/25790/task/25795/stat : 25795 (SArTagnan) R 25788 25790 25549 0 -1 4202560 6913 0 0 0 1265 0 0 0 25 0 8 0 808164521 564854784 31598 33554432000 4194304 4625164 140735058378384 18446744073709551615 4288548 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=25790/tid=25796] ppid=25788 vsize=551616 CPUtime=12.65 cores=0-7
/proc/25790/task/25796/stat : 25796 (SArTagnan) R 25788 25790 25549 0 -1 4202560 5777 0 0 0 1265 0 0 0 25 0 8 0 808164521 564854784 31598 33554432000 4194304 4625164 140735058378384 18446744073709551615 4348903 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25790/tid=25797] ppid=25788 vsize=551616 CPUtime=12.67 cores=0-7
/proc/25790/task/25797/stat : 25797 (SArTagnan) R 25788 25790 25549 0 -1 4202560 8469 0 0 0 1266 1 0 0 25 0 8 0 808164521 564854784 31598 33554432000 4194304 4625164 140735058378384 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25790/tid=25798] ppid=25788 vsize=551616 CPUtime=12.67 cores=0-7
/proc/25790/task/25798/stat : 25798 (SArTagnan) R 25788 25790 25549 0 -1 4202560 5822 0 0 0 1266 1 0 0 25 0 8 0 808164521 564854784 31598 33554432000 4194304 4625164 140735058378384 18446744073709551615 4352044 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 101.34
Current children cumulated vsize (KiB) 551616

[startup+25.5006 s]
/proc/loadavg: 7.62 7.91 7.93 9/274 25807
/proc/meminfo: memFree=28235140/32951124 swapFree=55664332/67111528
[pid=25790] ppid=25788 vsize=558984 CPUtime=203.6 cores=0-7
/proc/25790/stat : 25790 (SArTagnan) R 25788 25790 25549 0 -1 4202496 172488 0 0 0 20329 31 0 0 25 0 8 0 808164519 572399616 44078 33554432000 4194304 4625164 140735058378384 18446744073709551615 4512046 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/25790/statm: 139746 44078 360 106 0 135249 0
[pid=25790/tid=25792] ppid=25788 vsize=558984 CPUtime=25.47 cores=0-7
/proc/25790/task/25792/stat : 25792 (SArTagnan) R 25788 25790 25549 0 -1 4202560 9422 0 0 0 2546 1 0 0 25 0 8 0 808164521 572399616 44078 33554432000 4194304 4625164 140735058378384 18446744073709551615 4339549 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25790/tid=25793] ppid=25788 vsize=558984 CPUtime=25.47 cores=0-7
/proc/25790/task/25793/stat : 25793 (SArTagnan) R 25788 25790 25549 0 -1 4202560 6578 0 0 0 2546 1 0 0 25 0 8 0 808164521 572399616 44078 33554432000 4194304 4625164 140735058378384 18446744073709551615 4351996 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25790/tid=25794] ppid=25788 vsize=558984 CPUtime=25.25 cores=0-7
/proc/25790/task/25794/stat : 25794 (SArTagnan) R 25788 25790 25549 0 -1 4202560 110544 0 0 0 2507 18 0 0 25 0 8 0 808164521 572399616 44078 33554432000 4194304 4625164 140735058378384 18446744073709551615 4352021 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=25790/tid=25795] ppid=25788 vsize=558984 CPUtime=25.45 cores=0-7
/proc/25790/task/25795/stat : 25795 (SArTagnan) R 25788 25790 25549 0 -1 4202560 9976 0 0 0 2544 1 0 0 25 0 8 0 808164521 572399616 44078 33554432000 4194304 4625164 140735058378384 18446744073709551615 4351894 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=25790/tid=25796] ppid=25788 vsize=558984 CPUtime=25.46 cores=0-7
/proc/25790/task/25796/stat : 25796 (SArTagnan) R 25788 25790 25549 0 -1 4202560 6780 0 0 0 2545 1 0 0 25 0 8 0 808164521 572399616 44078 33554432000 4194304 4625164 140735058378384 18446744073709551615 4348864 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25790/tid=25797] ppid=25788 vsize=558984 CPUtime=25.46 cores=0-7
/proc/25790/task/25797/stat : 25797 (SArTagnan) R 25788 25790 25549 0 -1 4202560 13245 0 0 0 2543 3 0 0 25 0 8 0 808164521 572399616 44078 33554432000 4194304 4625164 140735058378384 18446744073709551615 4351777 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25790/tid=25798] ppid=25788 vsize=558984 CPUtime=25.47 cores=0-7
/proc/25790/task/25798/stat : 25798 (SArTagnan) R 25788 25790 25549 0 -1 4202560 9023 0 0 0 2546 1 0 0 25 0 8 0 808164521 572399616 44078 33554432000 4194304 4625164 140735058378384 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 203.6
Current children cumulated vsize (KiB) 558984

[startup+51.1009 s]
/proc/loadavg: 7.81 7.93 7.93 9/274 25808
/proc/meminfo: memFree=28156908/32951124 swapFree=55664332/67111528
[pid=25790] ppid=25788 vsize=605192 CPUtime=408.18 cores=0-7
/proc/25790/stat : 25790 (SArTagnan) R 25788 25790 25549 0 -1 4202496 262289 0 0 0 40772 46 0 0 25 0 8 0 808164519 619716608 64146 33554432000 4194304 4625164 140735058378384 18446744073709551615 4510146 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/25790/statm: 151298 64146 505 106 0 146801 0
[pid=25790/tid=25792] ppid=25788 vsize=605192 CPUtime=51.07 cores=0-7
/proc/25790/task/25792/stat : 25792 (SArTagnan) R 25788 25790 25549 0 -1 4202560 14794 0 0 0 5105 2 0 0 25 0 8 0 808164521 619716608 64146 33554432000 4194304 4625164 140735058378384 18446744073709551615 4351996 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25790/tid=25793] ppid=25788 vsize=605192 CPUtime=51.07 cores=0-7
/proc/25790/task/25793/stat : 25793 (SArTagnan) R 25788 25790 25549 0 -1 4202560 9332 0 0 0 5106 1 0 0 25 0 8 0 808164521 619716608 64146 33554432000 4194304 4625164 140735058378384 18446744073709551615 4352731 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25790/tid=25794] ppid=25788 vsize=605192 CPUtime=50.65 cores=0-7
/proc/25790/task/25794/stat : 25794 (SArTagnan) R 25788 25790 25549 0 -1 4202560 175533 0 0 0 5037 28 0 0 25 0 8 0 808164521 619716608 64146 33554432000 4194304 4625164 140735058378384 18446744073709551615 4352021 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=25790/tid=25795] ppid=25788 vsize=605192 CPUtime=51.06 cores=0-7
/proc/25790/task/25795/stat : 25795 (SArTagnan) R 25788 25790 25549 0 -1 4202560 15100 0 0 0 5104 2 0 0 25 0 8 0 808164521 619716608 64146 33554432000 4194304 4625164 140735058378384 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=25790/tid=25796] ppid=25788 vsize=605192 CPUtime=51.06 cores=0-7
/proc/25790/task/25796/stat : 25796 (SArTagnan) R 25788 25790 25549 0 -1 4202560 9531 0 0 0 5104 2 0 0 25 0 8 0 808164521 619716608 64146 33554432000 4194304 4625164 140735058378384 18446744073709551615 4348817 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25790/tid=25797] ppid=25788 vsize=605192 CPUtime=51.06 cores=0-7
/proc/25790/task/25797/stat : 25797 (SArTagnan) R 25788 25790 25549 0 -1 4202560 19392 0 0 0 5102 4 0 0 25 0 8 0 808164521 619716608 64146 33554432000 4194304 4625164 140735058378384 18446744073709551615 4352760 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25790/tid=25798] ppid=25788 vsize=605192 CPUtime=51.07 cores=0-7
/proc/25790/task/25798/stat : 25798 (SArTagnan) R 25788 25790 25549 0 -1 4202560 9601 0 0 0 5105 2 0 0 25 0 8 0 808164521 619716608 64146 33554432000 4194304 4625164 140735058378384 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 408.18
Current children cumulated vsize (KiB) 605192

[startup+102.301 s]
/proc/loadavg: 7.99 7.96 7.94 9/274 25810
/proc/meminfo: memFree=28014548/32951124 swapFree=55664332/67111528
[pid=25790] ppid=25788 vsize=791032 CPUtime=817.36 cores=0-7
/proc/25790/stat : 25790 (SArTagnan) R 25788 25790 25549 0 -1 4202496 394906 0 0 0 81665 71 0 0 25 0 8 0 808164519 810016768 100004 33554432000 4194304 4625164 140735058378384 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/25790/statm: 197758 100004 885 106 0 193261 0
[pid=25790/tid=25792] ppid=25788 vsize=791032 CPUtime=102.27 cores=0-7
/proc/25790/task/25792/stat : 25792 (SArTagnan) R 25788 25790 25549 0 -1 4202560 21369 0 0 0 10224 3 0 0 25 0 8 0 808164521 810016768 100004 33554432000 4194304 4625164 140735058378384 18446744073709551615 4351777 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25790/tid=25793] ppid=25788 vsize=791032 CPUtime=102.27 cores=0-7
/proc/25790/task/25793/stat : 25793 (SArTagnan) R 25788 25790 25549 0 -1 4202560 13917 0 0 0 10225 2 0 0 25 0 8 0 808164521 810016768 100004 33554432000 4194304 4625164 140735058378384 18446744073709551615 4351764 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25790/tid=25794] ppid=25788 vsize=791032 CPUtime=101.43 cores=0-7
/proc/25790/task/25794/stat : 25794 (SArTagnan) R 25788 25790 25549 0 -1 4202560 259083 0 0 0 10099 44 0 0 25 0 8 0 808164521 810016768 100004 33554432000 4194304 4625164 140735058378384 18446744073709551615 4339600 0 0 4096 2 0 0 0 -1 7 0 0 0

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

[pid=25790] ppid=25788 vsize=2603692 CPUtime=8009.17 cores=0-7
/proc/25790/stat : 25790 (SArTagnan) R 25788 25790 25549 0 -1 4202496 3403047 0 0 0 800364 553 0 0 25 0 8 0 808164519 2666180608 457167 33554432000 4194304 4625164 140735058378384 18446744073709551615 4512007 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/25790/statm: 650923 457167 352 106 0 646426 0
[pid=25790/tid=25792] ppid=25788 vsize=2603692 CPUtime=1002.26 cores=0-7
/proc/25790/task/25792/stat : 25792 (SArTagnan) R 25788 25790 25549 0 -1 4202560 98499 0 0 0 100211 15 0 0 25 0 8 0 808164521 2666180608 457167 33554432000 4194304 4625164 140735058378384 18446744073709551615 4351884 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25790/tid=25793] ppid=25788 vsize=2603692 CPUtime=1002.29 cores=0-7
/proc/25790/task/25793/stat : 25793 (SArTagnan) R 25788 25790 25549 0 -1 4202560 44968 0 0 0 100221 8 0 0 25 0 8 0 808164521 2666180608 457167 33554432000 4194304 4625164 140735058378384 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25790/tid=25794] ppid=25788 vsize=2603692 CPUtime=993.74 cores=0-7
/proc/25790/task/25794/stat : 25794 (SArTagnan) R 25788 25790 25549 0 -1 4202560 2544630 0 0 0 98962 412 0 0 25 0 8 0 808164521 2666180608 457167 33554432000 4194304 4625164 140735058378384 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=25790/tid=25795] ppid=25788 vsize=2603692 CPUtime=1002.28 cores=0-7
/proc/25790/task/25795/stat : 25795 (SArTagnan) R 25788 25790 25549 0 -1 4202560 101351 0 0 0 100211 17 0 0 25 0 8 0 808164521 2666180608 457167 33554432000 4194304 4625164 140735058378384 18446744073709551615 222921433045 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=25790/tid=25796] ppid=25788 vsize=2603692 CPUtime=1001.8 cores=0-7
/proc/25790/task/25796/stat : 25796 (SArTagnan) R 25788 25790 25549 0 -1 4202560 44195 0 0 0 100171 9 0 0 25 0 8 0 808164521 2666180608 457167 33554432000 4194304 4625164 140735058378384 18446744073709551615 4349019 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25790/tid=25797] ppid=25788 vsize=2603692 CPUtime=1002.28 cores=0-7
/proc/25790/task/25797/stat : 25797 (SArTagnan) R 25788 25790 25549 0 -1 4202560 103389 0 0 0 100207 21 0 0 25 0 8 0 808164521 2666180608 457167 33554432000 4194304 4625164 140735058378384 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25790/tid=25798] ppid=25788 vsize=2603692 CPUtime=1002.27 cores=0-7
/proc/25790/task/25798/stat : 25798 (SArTagnan) R 25788 25790 25549 0 -1 4202560 42880 0 0 0 100220 7 0 0 25 0 8 0 808164521 2666180608 457167 33554432000 4194304 4625164 140735058378384 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 8009.17
Current children cumulated vsize (KiB) 2603692

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

[startup+1011.9 s]
/proc/loadavg: 8.07 8.05 8.00 9/274 25837
/proc/meminfo: memFree=26561356/32951124 swapFree=55664332/67111528
[pid=25790] ppid=25788 vsize=2603692 CPUtime=8085.89 cores=0-7
/proc/25790/stat : 25790 (SArTagnan) R 25788 25790 25549 0 -1 4202496 3426423 0 0 0 808031 558 0 0 25 0 8 0 808164519 2666180608 461675 33554432000 4194304 4625164 140735058378384 18446744073709551615 4519334 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/25790/statm: 650923 461675 352 106 0 646426 0
[pid=25790/tid=25792] ppid=25788 vsize=2603692 CPUtime=1011.86 cores=0-7
/proc/25790/task/25792/stat : 25792 (SArTagnan) R 25788 25790 25549 0 -1 4202560 98849 0 0 0 101171 15 0 0 25 0 8 0 808164521 2666180608 461675 33554432000 4194304 4625164 140735058378384 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25790/tid=25793] ppid=25788 vsize=2603692 CPUtime=1011.89 cores=0-7
/proc/25790/task/25793/stat : 25793 (SArTagnan) R 25788 25790 25549 0 -1 4202560 45263 0 0 0 101181 8 0 0 25 0 8 0 808164521 2666180608 461675 33554432000 4194304 4625164 140735058378384 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25790/tid=25794] ppid=25788 vsize=2603692 CPUtime=1003.26 cores=0-7
/proc/25790/task/25794/stat : 25794 (SArTagnan) R 25788 25790 25549 0 -1 4202560 2563611 0 0 0 99911 415 0 0 25 0 8 0 808164521 2666180608 461675 33554432000 4194304 4625164 140735058378384 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=25790/tid=25795] ppid=25788 vsize=2603692 CPUtime=1011.88 cores=0-7
/proc/25790/task/25795/stat : 25795 (SArTagnan) R 25788 25790 25549 0 -1 4202560 101351 0 0 0 101171 17 0 0 25 0 8 0 808164521 2666180608 461675 33554432000 4194304 4625164 140735058378384 18446744073709551615 4288731 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=25790/tid=25796] ppid=25788 vsize=2603692 CPUtime=1011.4 cores=0-7
/proc/25790/task/25796/stat : 25796 (SArTagnan) R 25788 25790 25549 0 -1 4202560 44195 0 0 0 101131 9 0 0 25 0 8 0 808164521 2666180608 461675 33554432000 4194304 4625164 140735058378384 18446744073709551615 4339549 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25790/tid=25797] ppid=25788 vsize=2603692 CPUtime=1011.88 cores=0-7
/proc/25790/task/25797/stat : 25797 (SArTagnan) R 25788 25790 25549 0 -1 4202560 103389 0 0 0 101167 21 0 0 25 0 8 0 808164521 2666180608 461675 33554432000 4194304 4625164 140735058378384 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25790/tid=25798] ppid=25788 vsize=2603692 CPUtime=1011.87 cores=0-7
/proc/25790/task/25798/stat : 25798 (SArTagnan) R 25788 25790 25549 0 -1 4202560 42927 0 0 0 101180 7 0 0 25 0 8 0 808164521 2666180608 461675 33554432000 4194304 4625164 140735058378384 18446744073709551615 4352743 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 8085.89
Current children cumulated vsize (KiB) 2603692

[startup+1018.31 s]
/proc/loadavg: 8.06 8.05 8.00 9/274 25837
/proc/meminfo: memFree=26546228/32951124 swapFree=55664332/67111528
[pid=25790] ppid=25788 vsize=2606724 CPUtime=8137.1 cores=0-7
/proc/25790/stat : 25790 (SArTagnan) R 25788 25790 25549 0 -1 4202496 3437560 0 0 0 813151 559 0 0 25 0 8 0 808164519 2669285376 465748 33554432000 4194304 4625164 140735058378384 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/25790/statm: 651681 465748 353 106 0 647184 0
[pid=25790/tid=25792] ppid=25788 vsize=2606724 CPUtime=1018.27 cores=0-7
/proc/25790/task/25792/stat : 25792 (SArTagnan) R 25788 25790 25549 0 -1 4202560 99118 0 0 0 101812 15 0 0 25 0 8 0 808164521 2669285376 465748 33554432000 4194304 4625164 140735058378384 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25790/tid=25793] ppid=25788 vsize=2606724 CPUtime=1018.29 cores=0-7
/proc/25790/task/25793/stat : 25793 (SArTagnan) R 25788 25790 25549 0 -1 4202560 45280 0 0 0 101821 8 0 0 25 0 8 0 808164521 2669285376 465748 33554432000 4194304 4625164 140735058378384 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25790/tid=25794] ppid=25788 vsize=2606724 CPUtime=1009.61 cores=0-7
/proc/25790/task/25794/stat : 25794 (SArTagnan) R 25788 25790 25549 0 -1 4202560 2571230 0 0 0 100545 416 0 0 25 0 8 0 808164521 2669285376 465748 33554432000 4194304 4625164 140735058378384 18446744073709551615 4547280 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=25790/tid=25795] ppid=25788 vsize=2606724 CPUtime=1018.29 cores=0-7
/proc/25790/task/25795/stat : 25795 (SArTagnan) R 25788 25790 25549 0 -1 4202560 101367 0 0 0 101812 17 0 0 25 0 8 0 808164521 2669285376 465748 33554432000 4194304 4625164 140735058378384 18446744073709551615 4351884 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=25790/tid=25796] ppid=25788 vsize=2606724 CPUtime=1017.81 cores=0-7
/proc/25790/task/25796/stat : 25796 (SArTagnan) R 25788 25790 25549 0 -1 4202560 44195 0 0 0 101772 9 0 0 25 0 8 0 808164521 2669285376 465748 33554432000 4194304 4625164 140735058378384 18446744073709551615 4348903 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25790/tid=25797] ppid=25788 vsize=2606724 CPUtime=1018.29 cores=0-7
/proc/25790/task/25797/stat : 25797 (SArTagnan) R 25788 25790 25549 0 -1 4202560 103439 0 0 0 101807 22 0 0 25 0 8 0 808164521 2669285376 465748 33554432000 4194304 4625164 140735058378384 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25790/tid=25798] ppid=25788 vsize=2606724 CPUtime=1018.28 cores=0-7
/proc/25790/task/25798/stat : 25798 (SArTagnan) R 25788 25790 25549 0 -1 4202560 42927 0 0 0 101821 7 0 0 25 0 8 0 808164521 2669285376 465748 33554432000 4194304 4625164 140735058378384 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 8137.1
Current children cumulated vsize (KiB) 2606724

[startup+1024.7 s]
/proc/loadavg: 8.05 8.05 8.00 9/274 25837
/proc/meminfo: memFree=26537048/32951124 swapFree=55664332/67111528
[pid=25790] ppid=25788 vsize=2606724 CPUtime=8188.17 cores=0-7
/proc/25790/stat : 25790 (SArTagnan) R 25788 25790 25549 0 -1 4202496 3459544 0 0 0 818253 564 0 0 25 0 8 0 808164519 2669285376 470242 33554432000 4194304 4625164 140735058378384 18446744073709551615 4512156 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/25790/statm: 651681 470242 352 106 0 647184 0
[pid=25790/tid=25792] ppid=25788 vsize=2606724 CPUtime=1024.65 cores=0-7
/proc/25790/task/25792/stat : 25792 (SArTagnan) R 25788 25790 25549 0 -1 4202560 99118 0 0 0 102450 15 0 0 25 0 8 0 808164521 2669285376 470242 33554432000 4194304 4625164 140735058378384 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25790/tid=25793] ppid=25788 vsize=2606724 CPUtime=1024.68 cores=0-7
/proc/25790/task/25793/stat : 25793 (SArTagnan) R 25788 25790 25549 0 -1 4202560 45306 0 0 0 102460 8 0 0 25 0 8 0 808164521 2669285376 470242 33554432000 4194304 4625164 140735058378384 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25790/tid=25794] ppid=25788 vsize=2606724 CPUtime=1015.96 cores=0-7
/proc/25790/task/25794/stat : 25794 (SArTagnan) R 25788 25790 25549 0 -1 4202560 2588088 0 0 0 101177 419 0 0 25 0 8 0 808164521 2669285376 470242 33554432000 4194304 4625164 140735058378384 18446744073709551615 4547280 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=25790/tid=25795] ppid=25788 vsize=2606724 CPUtime=1024.67 cores=0-7
/proc/25790/task/25795/stat : 25795 (SArTagnan) R 25788 25790 25549 0 -1 4202560 101391 0 0 0 102450 17 0 0 25 0 8 0 808164521 2669285376 470242 33554432000 4194304 4625164 140735058378384 18446744073709551615 4351792 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=25790/tid=25796] ppid=25788 vsize=2606724 CPUtime=1024.2 cores=0-7
/proc/25790/task/25796/stat : 25796 (SArTagnan) R 25788 25790 25549 0 -1 4202560 44326 0 0 0 102411 9 0 0 25 0 8 0 808164521 2669285376 470242 33554432000 4194304 4625164 140735058378384 18446744073709551615 4442735 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25790/tid=25797] ppid=25788 vsize=2606724 CPUtime=1024.68 cores=0-7
/proc/25790/task/25797/stat : 25797 (SArTagnan) R 25788 25790 25549 0 -1 4202560 103439 0 0 0 102446 22 0 0 19 0 8 0 808164521 2669285376 470242 33554432000 4194304 4625164 140735058378384 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25790/tid=25798] ppid=25788 vsize=2606724 CPUtime=1024.67 cores=0-7
/proc/25790/task/25798/stat : 25798 (SArTagnan) R 25788 25790 25549 0 -1 4202560 42927 0 0 0 102460 7 0 0 25 0 8 0 808164521 2669285376 470242 33554432000 4194304 4625164 140735058378384 18446744073709551615 4352285 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 8188.17
Current children cumulated vsize (KiB) 2606724

[startup+1026.3 s]
/proc/loadavg: 8.05 8.05 8.00 9/274 25837
/proc/meminfo: memFree=26522168/32951124 swapFree=55664332/67111528
[pid=25790] ppid=25788 vsize=2608640 CPUtime=8200.94 cores=0-7
/proc/25790/stat : 25790 (SArTagnan) R 25788 25790 25549 0 -1 4202496 3467706 0 0 0 819529 565 0 0 25 0 8 0 808164519 2671247360 471798 33554432000 4194304 4625164 140735058378384 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/25790/statm: 652160 471798 354 106 0 647663 0
[pid=25790/tid=25792] ppid=25788 vsize=2608640 CPUtime=1026.25 cores=0-7
/proc/25790/task/25792/stat : 25792 (SArTagnan) R 25788 25790 25549 0 -1 4202560 99118 0 0 0 102610 15 0 0 25 0 8 0 808164521 2671247360 471798 33554432000 4194304 4625164 140735058378384 18446744073709551615 4352021 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25790/tid=25793] ppid=25788 vsize=2608640 CPUtime=1026.28 cores=0-7
/proc/25790/task/25793/stat : 25793 (SArTagnan) R 25788 25790 25549 0 -1 4202560 45307 0 0 0 102620 8 0 0 25 0 8 0 808164521 2671247360 471798 33554432000 4194304 4625164 140735058378384 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25790/tid=25794] ppid=25788 vsize=2608640 CPUtime=1017.54 cores=0-7
/proc/25790/task/25794/stat : 25794 (SArTagnan) R 25788 25790 25549 0 -1 4202560 2595212 0 0 0 101334 420 0 0 25 0 8 0 808164521 2671247360 471798 33554432000 4194304 4625164 140735058378384 18446744073709551615 4547280 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=25790/tid=25795] ppid=25788 vsize=2608640 CPUtime=1026.27 cores=0-7
/proc/25790/task/25795/stat : 25795 (SArTagnan) R 25788 25790 25549 0 -1 4202560 101441 0 0 0 102610 17 0 0 25 0 8 0 808164521 2671247360 471798 33554432000 4194304 4625164 140735058378384 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=25790/tid=25796] ppid=25788 vsize=2608640 CPUtime=1025.8 cores=0-7
/proc/25790/task/25796/stat : 25796 (SArTagnan) R 25788 25790 25549 0 -1 4202560 44326 0 0 0 102571 9 0 0 25 0 8 0 808164521 2671247360 471798 33554432000 4194304 4625164 140735058378384 18446744073709551615 4349019 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25790/tid=25797] ppid=25788 vsize=2608640 CPUtime=1026.28 cores=0-7
/proc/25790/task/25797/stat : 25797 (SArTagnan) R 25788 25790 25549 0 -1 4202560 103439 0 0 0 102606 22 0 0 22 0 8 0 808164521 2671247360 471798 33554432000 4194304 4625164 140735058378384 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25790/tid=25798] ppid=25788 vsize=2608640 CPUtime=1026.27 cores=0-7
/proc/25790/task/25798/stat : 25798 (SArTagnan) R 25788 25790 25549 0 -1 4202560 42927 0 0 0 102620 7 0 0 25 0 8 0 808164521 2671247360 471798 33554432000 4194304 4625164 140735058378384 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 8200.94
Current children cumulated vsize (KiB) 2608640

[startup+1027.9 s]
/proc/loadavg: 8.05 8.05 8.00 9/274 25837
/proc/meminfo: memFree=26513364/32951124 swapFree=55664332/67111528
[pid=25790] ppid=25788 vsize=2609684 CPUtime=8213.71 cores=0-7
/proc/25790/stat : 25790 (SArTagnan) R 25788 25790 25549 0 -1 4202496 3473909 0 0 0 820804 567 0 0 25 0 8 0 808164519 2672316416 474379 33554432000 4194304 4625164 140735058378384 18446744073709551615 4512084 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/25790/statm: 652421 474379 352 106 0 647924 0
[pid=25790/tid=25792] ppid=25788 vsize=2609684 CPUtime=1027.84 cores=0-7
/proc/25790/task/25792/stat : 25792 (SArTagnan) R 25788 25790 25549 0 -1 4202560 99118 0 0 0 102769 15 0 0 25 0 8 0 808164521 2672316416 474379 33554432000 4194304 4625164 140735058378384 18446744073709551615 4351764 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25790/tid=25793] ppid=25788 vsize=2609684 CPUtime=1027.88 cores=0-7
/proc/25790/task/25793/stat : 25793 (SArTagnan) R 25788 25790 25549 0 -1 4202560 45307 0 0 0 102780 8 0 0 25 0 8 0 808164521 2672316416 474379 33554432000 4194304 4625164 140735058378384 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25790/tid=25794] ppid=25788 vsize=2609684 CPUtime=1019.13 cores=0-7
/proc/25790/task/25794/stat : 25794 (SArTagnan) R 25788 25790 25549 0 -1 4202560 2599227 0 0 0 101493 420 0 0 25 0 8 0 808164521 2672316416 474379 33554432000 4194304 4625164 140735058378384 18446744073709551615 4547307 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=25790/tid=25795] ppid=25788 vsize=2609684 CPUtime=1027.87 cores=0-7
/proc/25790/task/25795/stat : 25795 (SArTagnan) R 25788 25790 25549 0 -1 4202560 101443 0 0 0 102770 17 0 0 25 0 8 0 808164521 2672316416 474379 33554432000 4194304 4625164 140735058378384 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=25790/tid=25796] ppid=25788 vsize=2609684 CPUtime=1027.39 cores=0-7
/proc/25790/task/25796/stat : 25796 (SArTagnan) R 25788 25790 25549 0 -1 4202560 44326 0 0 0 102729 10 0 0 25 0 8 0 808164521 2672316416 474379 33554432000 4194304 4625164 140735058378384 18446744073709551615 4349019 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25790/tid=25797] ppid=25788 vsize=2609684 CPUtime=1027.87 cores=0-7
/proc/25790/task/25797/stat : 25797 (SArTagnan) R 25788 25790 25549 0 -1 4202560 103445 0 0 0 102765 22 0 0 25 0 8 0 808164521 2672316416 474379 33554432000 4194304 4625164 140735058378384 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25790/tid=25798] ppid=25788 vsize=2609684 CPUtime=1027.87 cores=0-7
/proc/25790/task/25798/stat : 25798 (SArTagnan) R 25788 25790 25549 0 -1 4202560 42927 0 0 0 102780 7 0 0 25 0 8 0 808164521 2672316416 474379 33554432000 4194304 4625164 140735058378384 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 8213.71
Current children cumulated vsize (KiB) 2609684

[startup+1028.3 s]
/proc/loadavg: 8.05 8.05 8.00 9/274 25837
/proc/meminfo: memFree=26510636/32951124 swapFree=55664332/67111528
[pid=25790] ppid=25788 vsize=2609684 CPUtime=8216.88 cores=0-7
/proc/25790/stat : 25790 (SArTagnan) R 25788 25790 25549 0 -1 4202496 3475091 0 0 0 821120 568 0 0 18 0 8 0 808164519 2672316416 474890 33554432000 4194304 4625164 140735058378384 18446744073709551615 4362358 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/25790/statm: 652421 474890 352 106 0 647924 0
[pid=25790/tid=25792] ppid=25788 vsize=2609684 CPUtime=1028.24 cores=0-7
/proc/25790/task/25792/stat : 25792 (SArTagnan) R 25788 25790 25549 0 -1 4202560 99118 0 0 0 102809 15 0 0 25 0 8 0 808164521 2672316416 474890 33554432000 4194304 4625164 140735058378384 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25790/tid=25793] ppid=25788 vsize=2609684 CPUtime=1028.28 cores=0-7
/proc/25790/task/25793/stat : 25793 (SArTagnan) R 25788 25790 25549 0 -1 4202560 45307 0 0 0 102820 8 0 0 25 0 8 0 808164521 2672316416 474890 33554432000 4194304 4625164 140735058378384 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25790/tid=25794] ppid=25788 vsize=2609684 CPUtime=1019.53 cores=0-7
/proc/25790/task/25794/stat : 25794 (SArTagnan) R 25788 25790 25549 0 -1 4202560 2599913 0 0 0 101532 421 0 0 25 0 8 0 808164521 2672316416 474890 33554432000 4194304 4625164 140735058378384 18446744073709551615 4352010 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=25790/tid=25795] ppid=25788 vsize=2609684 CPUtime=1028.25 cores=0-7
/proc/25790/task/25795/stat : 25795 (SArTagnan) R 25788 25790 25549 0 -1 4202560 101443 0 0 0 102808 17 0 0 25 0 8 0 808164521 2672316416 474890 33554432000 4194304 4625164 140735058378384 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=25790/tid=25796] ppid=25788 vsize=2609684 CPUtime=1027.79 cores=0-7
/proc/25790/task/25796/stat : 25796 (SArTagnan) R 25788 25790 25549 0 -1 4202560 44326 0 0 0 102769 10 0 0 25 0 8 0 808164521 2672316416 474890 33554432000 4194304 4625164 140735058378384 18446744073709551615 222921882143 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=25790/tid=25797] ppid=25788 vsize=2609684 CPUtime=1028.27 cores=0-7
/proc/25790/task/25797/stat : 25797 (SArTagnan) R 25788 25790 25549 0 -1 4202560 103445 0 0 0 102805 22 0 0 18 0 8 0 808164521 2672316416 474890 33554432000 4194304 4625164 140735058378384 18446744073709551615 222921882143 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=25790/tid=25798] ppid=25788 vsize=2609684 CPUtime=1028.27 cores=0-7
/proc/25790/task/25798/stat : 25798 (SArTagnan) R 25788 25790 25549 0 -1 4202560 42927 0 0 0 102820 7 0 0 25 0 8 0 808164521 2672316416 474890 33554432000 4194304 4625164 140735058378384 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 8216.88
Current children cumulated vsize (KiB) 2609684

[startup+1028.7 s]
/proc/loadavg: 8.05 8.05 8.00 9/274 25837
/proc/meminfo: memFree=26510636/32951124 swapFree=55664332/67111528
[pid=25790] ppid=25788 vsize=0 CPUtime=8219.55 cores=0-7
/proc/25790/stat : 25790 (SArTagnan) Z 25788 25790 25549 0 -1 4203548 3478022 0 0 0 821379 576 0 0 18 0 2 0 808164519 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/25790/statm: 0 0 0 0 0 0 0
[pid=25790/tid=25793] ppid=25788 vsize=0 CPUtime=1028.69 cores=0-7
/proc/25790/task/25793/stat : 25793 (SArTagnan) R 25788 25790 25549 0 -1 4203588 45307 0 0 0 102853 16 0 0 25 0 2 0 808164521 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 8219.55
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 1028.71
CPU time (s): 8219.56
CPU user time (s): 8213.79
CPU system time (s): 5.77112
CPU usage (%): 799.014
Max. virtual memory (cumulated for all children) (KiB): 2609684

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8213.79
system time used= 5.77112
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3478022
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= 9376
involuntary context switches= 36165

runsolver used 2.35864 second user time and 6.06308 second system time

The end

Launcher Data 

Begin job on node109 at 2011-06-02 00:00:38
IDJOB=3439591
IDBENCH=85826
IDSOLVER=1936
FILE ID=node109/3439591-1306965638
RUNJOBID= node109-1306960629-25563
PBS_JOBID= 13497644
Free space on /tmp= 73688 MiB

SOLVER NAME= SArTagnan 2011-05-15 (fixed)
BENCH NAME= SAT05/crafted/sorge05/QG7/gensys-icl007.shuffled-as.sat05-3133.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3439591-1306965638/watcher-3439591-1306965638 -o /tmp/evaluation-result-3439591-1306965638/solver-3439591-1306965638 -C 40000 -W 5100 -M 31000  SArTagnan HOME/instance-3439591-1306965638.cnf -threads=8

TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 88361752c7b0c05e849791aafdd7bdba
RANDOM SEED=1948662230

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      28407716 kB
Buffers:        273356 kB
Cached:        2300056 kB
SwapCached:      10360 kB
Active:         899992 kB
Inactive:      3400236 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28407716 kB
SwapTotal:    67111528 kB
SwapFree:     55664332 kB
Dirty:             816 kB
Writeback:           0 kB
AnonPages:     1723204 kB
Mapped:          15196 kB
Slab:           139604 kB
PageTables:      36976 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 30863460 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= 73688 MiB
End job on node109 at 2011-06-02 00:17:47