Trace number 3386061

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 2369.85 793.377

General information on the benchmark

Namecrafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-21_401.cnf
MD5SUM4e87573be2b7b7324c13131d6c6896b8
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark194.97
Satisfiable
(Un)Satisfiability was proved
Number of variables201
Number of clauses21509
Sum of the clauses size94265
Maximum clause length21
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2266
Number of clauses of size 319560
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 51683

Solver Data 

2369.67/793.35	
2369.67/793.35	s UNSATISFIABLE
2369.67/793.35	c Conflict at level 0

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3386061-1305582130/watcher-3386061-1305582130 -o /tmp/evaluation-result-3386061-1305582130/solver-3386061-1305582130 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3386061-1305582130.cnf -threads=4 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 4/384 17504
/proc/meminfo: memFree=18100384/32951124 swapFree=63485432/67111528
[pid=17504] ppid=17502 vsize=20572 CPUtime=0 cores=0,2,4,6
/proc/17504/stat : 17504 (SArTagnan) R 17502 17504 17466 0 -1 4202496 1181 0 0 0 0 0 0 0 25 0 1 0 650628927 21065728 833 33554432000 4194304 4625164 140737052582464 18446744073709551615 220815897285 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/17504/statm: 5143 833 296 106 0 646 0

[startup+0.071196 s]
/proc/loadavg: 2.00 2.00 2.00 4/384 17504
/proc/meminfo: memFree=18100384/32951124 swapFree=63485432/67111528
[pid=17504] ppid=17502 vsize=188816 CPUtime=0.17 cores=0,2,4,6
/proc/17504/stat : 17504 (SArTagnan) R 17502 17504 17466 0 -1 4202496 3354 0 0 0 17 0 0 0 25 0 4 0 650628927 193347584 2256 33554432000 4194304 4625164 140737052582464 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17504/statm: 47204 2256 338 106 0 42707 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 188816

[startup+0.271132 s]
/proc/loadavg: 2.00 2.00 2.00 4/384 17504
/proc/meminfo: memFree=18100384/32951124 swapFree=63485432/67111528
[pid=17504] ppid=17502 vsize=188016 CPUtime=0.76 cores=0,2,4,6
/proc/17504/stat : 17504 (SArTagnan) R 17502 17504 17466 0 -1 4202496 5133 0 0 0 76 0 0 0 25 0 4 0 650628927 192528384 2497 33554432000 4194304 4625164 140737052582464 18446744073709551615 4513053 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17504/statm: 47004 2497 338 106 0 42507 0
Current children cumulated CPU time (s) 0.76
Current children cumulated vsize (KiB) 188016

[startup+0.300127 s]
/proc/loadavg: 2.00 2.00 2.00 4/384 17504
/proc/meminfo: memFree=18100384/32951124 swapFree=63485432/67111528
[pid=17504] ppid=17502 vsize=188708 CPUtime=0.85 cores=0,2,4,6
/proc/17504/stat : 17504 (SArTagnan) R 17502 17504 17466 0 -1 4202496 5723 0 0 0 85 0 0 0 25 0 4 0 650628927 193236992 2628 33554432000 4194304 4625164 140737052582464 18446744073709551615 4513053 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17504/statm: 47177 2628 338 106 0 42680 0
Current children cumulated CPU time (s) 0.85
Current children cumulated vsize (KiB) 188708

[startup+0.701054 s]
/proc/loadavg: 2.00 2.00 2.00 4/384 17504
/proc/meminfo: memFree=18100384/32951124 swapFree=63485432/67111528
[pid=17504] ppid=17502 vsize=190652 CPUtime=2.05 cores=0,2,4,6
/proc/17504/stat : 17504 (SArTagnan) R 17502 17504 17466 0 -1 4202496 8006 0 0 0 205 0 0 0 25 0 4 0 650628927 195227648 3544 33554432000 4194304 4625164 140737052582464 18446744073709551615 4512326 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17504/statm: 47663 3544 338 106 0 43166 0
Current children cumulated CPU time (s) 2.05
Current children cumulated vsize (KiB) 190652

[startup+1.50091 s]
/proc/loadavg: 2.64 2.13 2.04 11/391 17511
/proc/meminfo: memFree=18068848/32951124 swapFree=63485432/67111528
[pid=17504] ppid=17502 vsize=192576 CPUtime=4.44 cores=0,2,4,6
/proc/17504/stat : 17504 (SArTagnan) R 17502 17504 17466 0 -1 4202496 13871 0 0 0 443 1 0 0 25 0 4 0 650628927 197197824 4939 33554432000 4194304 4625164 140737052582464 18446744073709551615 4512066 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17504/statm: 48144 4939 341 106 0 43647 0
[pid=17504/tid=17509] ppid=17502 vsize=192576 CPUtime=1.35 cores=0,2,4,6
/proc/17504/task/17509/stat : 17509 (SArTagnan) R 17502 17504 17466 0 -1 4202560 2216 0 0 0 135 0 0 0 25 0 4 0 650628929 197197824 4939 33554432000 4194304 4625164 140737052582464 18446744073709551615 4351764 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17504/tid=17510] ppid=17502 vsize=192576 CPUtime=1.21 cores=0,2,4,6
/proc/17504/task/17510/stat : 17510 (SArTagnan) R 17502 17504 17466 0 -1 4202560 2091 0 0 0 121 0 0 0 25 0 4 0 650628929 197197824 4939 33554432000 4194304 4625164 140737052582464 18446744073709551615 4465128 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17504/tid=17511] ppid=17502 vsize=192576 CPUtime=0.77 cores=0,2,4,6
/proc/17504/task/17511/stat : 17511 (SArTagnan) R 17502 17504 17466 0 -1 4202560 6961 0 0 0 77 0 0 0 25 0 4 0 650628929 197197824 4939 33554432000 4194304 4625164 140737052582464 18446744073709551615 4335407 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4.44
Current children cumulated vsize (KiB) 192576

[startup+3.10061 s]
/proc/loadavg: 2.64 2.13 2.04 11/391 17511
/proc/meminfo: memFree=18054836/32951124 swapFree=63485432/67111528
[pid=17504] ppid=17502 vsize=197728 CPUtime=9.22 cores=0,2,4,6
/proc/17504/stat : 17504 (SArTagnan) R 17502 17504 17466 0 -1 4202496 24718 0 0 0 920 2 0 0 25 0 4 0 650628927 202473472 7322 33554432000 4194304 4625164 140737052582464 18446744073709551615 4512249 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17504/statm: 49432 7322 342 106 0 44935 0
[pid=17504/tid=17509] ppid=17502 vsize=197728 CPUtime=2.94 cores=0,2,4,6
/proc/17504/task/17509/stat : 17509 (SArTagnan) R 17502 17504 17466 0 -1 4202560 3961 0 0 0 294 0 0 0 25 0 4 0 650628929 202473472 7322 33554432000 4194304 4625164 140737052582464 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17504/tid=17510] ppid=17502 vsize=197728 CPUtime=1.98 cores=0,2,4,6
/proc/17504/task/17510/stat : 17510 (SArTagnan) R 17502 17504 17466 0 -1 4202560 2942 0 0 0 198 0 0 0 25 0 4 0 650628929 202473472 7322 33554432000 4194304 4625164 140737052582464 18446744073709551615 4339559 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17504/tid=17511] ppid=17502 vsize=197728 CPUtime=1.6 cores=0,2,4,6
/proc/17504/task/17511/stat : 17511 (SArTagnan) R 17502 17504 17466 0 -1 4202560 14891 0 0 0 159 1 0 0 25 0 4 0 650628929 202473472 7322 33554432000 4194304 4625164 140737052582464 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 9.22
Current children cumulated vsize (KiB) 197728

[startup+6.30102 s]
/proc/loadavg: 2.64 2.13 2.04 11/391 17511
/proc/meminfo: memFree=18021736/32951124 swapFree=63485432/67111528
[pid=17504] ppid=17502 vsize=199500 CPUtime=18.79 cores=0,2,4,6
/proc/17504/stat : 17504 (SArTagnan) R 17502 17504 17466 0 -1 4202496 36942 0 0 0 1875 4 0 0 25 0 4 0 650628927 204288000 10745 33554432000 4194304 4625164 140737052582464 18446744073709551615 4510188 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17504/statm: 49875 10745 342 106 0 45378 0
[pid=17504/tid=17509] ppid=17502 vsize=199500 CPUtime=4.73 cores=0,2,4,6
/proc/17504/task/17509/stat : 17509 (SArTagnan) R 17502 17504 17466 0 -1 4202560 5879 0 0 0 473 0 0 0 25 0 4 0 650628929 204288000 10745 33554432000 4194304 4625164 140737052582464 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17504/tid=17510] ppid=17502 vsize=199500 CPUtime=4.95 cores=0,2,4,6
/proc/17504/task/17510/stat : 17510 (SArTagnan) R 17502 17504 17466 0 -1 4202560 5048 0 0 0 495 0 0 0 25 0 4 0 650628929 204288000 10745 33554432000 4194304 4625164 140737052582464 18446744073709551615 4339541 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17504/tid=17511] ppid=17502 vsize=199500 CPUtime=3.19 cores=0,2,4,6
/proc/17504/task/17511/stat : 17511 (SArTagnan) R 17502 17504 17466 0 -1 4202560 22661 0 0 0 317 2 0 0 25 0 4 0 650628929 204288000 10745 33554432000 4194304 4625164 140737052582464 18446744073709551615 4552287 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 18.79
Current children cumulated vsize (KiB) 199500

[startup+12.7008 s]
/proc/loadavg: 3.77 2.39 2.13 11/391 17511
/proc/meminfo: memFree=17971332/32951124 swapFree=63485432/67111528
[pid=17504] ppid=17502 vsize=215112 CPUtime=37.91 cores=0,2,4,6
/proc/17504/stat : 17504 (SArTagnan) R 17502 17504 17466 0 -1 4202496 58608 0 0 0 3784 7 0 0 25 0 4 0 650628927 220274688 16714 33554432000 4194304 4625164 140737052582464 18446744073709551615 4512818 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17504/statm: 53778 16714 349 106 0 49281 0
[pid=17504/tid=17509] ppid=17502 vsize=215112 CPUtime=9.45 cores=0,2,4,6
/proc/17504/task/17509/stat : 17509 (SArTagnan) R 17502 17504 17466 0 -1 4202560 8806 0 0 0 944 1 0 0 25 0 4 0 650628929 220274688 16714 33554432000 4194304 4625164 140737052582464 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17504/tid=17510] ppid=17502 vsize=215112 CPUtime=9.71 cores=0,2,4,6
/proc/17504/task/17510/stat : 17510 (SArTagnan) R 17502 17504 17466 0 -1 4202560 7510 0 0 0 971 0 0 0 25 0 4 0 650628929 220274688 16714 33554432000 4194304 4625164 140737052582464 18446744073709551615 4352032 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17504/tid=17511] ppid=17502 vsize=215112 CPUtime=6.43 cores=0,2,4,6
/proc/17504/task/17511/stat : 17511 (SArTagnan) R 17502 17504 17466 0 -1 4202560 38314 0 0 0 639 4 0 0 25 0 4 0 650628929 220274688 16714 33554432000 4194304 4625164 140737052582464 18446744073709551615 4351804 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 37.91
Current children cumulated vsize (KiB) 215112

[startup+25.5005 s]
/proc/loadavg: 4.81 2.66 2.22 12/391 17511
/proc/meminfo: memFree=17899732/32951124 swapFree=63485432/67111528
[pid=17504] ppid=17502 vsize=241748 CPUtime=76.14 cores=0,2,4,6
/proc/17504/stat : 17504 (SArTagnan) R 17502 17504 17466 0 -1 4202496 75977 0 0 0 7604 10 0 0 25 0 4 0 650628927 247549952 24741 33554432000 4194304 4625164 140737052582464 18446744073709551615 4512012 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17504/statm: 60437 24741 345 106 0 55940 0
[pid=17504/tid=17509] ppid=17502 vsize=241748 CPUtime=22.09 cores=0,2,4,6
/proc/17504/task/17509/stat : 17509 (SArTagnan) R 17502 17504 17466 0 -1 4202560 17921 0 0 0 2206 3 0 0 25 0 4 0 650628929 247549952 24741 33554432000 4194304 4625164 140737052582464 18446744073709551615 4352739 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17504/tid=17510] ppid=17502 vsize=241748 CPUtime=16.21 cores=0,2,4,6
/proc/17504/task/17510/stat : 17510 (SArTagnan) R 17502 17504 17466 0 -1 4202560 8696 0 0 0 1620 1 0 0 25 0 4 0 650628929 247549952 24741 33554432000 4194304 4625164 140737052582464 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17504/tid=17511] ppid=17502 vsize=241748 CPUtime=12.74 cores=0,2,4,6
/proc/17504/task/17511/stat : 17511 (SArTagnan) R 17502 17504 17466 0 -1 4202560 44532 0 0 0 1269 5 0 0 25 0 4 0 650628929 247549952 24741 33554432000 4194304 4625164 140737052582464 18446744073709551615 4339639 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 76.14
Current children cumulated vsize (KiB) 241748

[startup+51.1008 s]
/proc/loadavg: 6.58 3.25 2.42 11/391 17512
/proc/meminfo: memFree=17760892/32951124 swapFree=63485432/67111528
[pid=17504] ppid=17502 vsize=317268 CPUtime=152.62 cores=0,2,4,6
/proc/17504/stat : 17504 (SArTagnan) R 17502 17504 17466 0 -1 4202496 150498 0 0 0 15241 21 0 0 25 0 4 0 650628927 324882432 40466 33554432000 4194304 4625164 140737052582464 18446744073709551615 4512128 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17504/statm: 79317 40466 681 106 0 74820 0
[pid=17504/tid=17509] ppid=17502 vsize=317268 CPUtime=40.79 cores=0,2,4,6
/proc/17504/task/17509/stat : 17509 (SArTagnan) R 17502 17504 17466 0 -1 4202560 26110 0 0 0 4075 4 0 0 25 0 4 0 650628929 324882432 40466 33554432000 4194304 4625164 140737052582464 18446744073709551615 4351801 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17504/tid=17510] ppid=17502 vsize=317268 CPUtime=39.13 cores=0,2,4,6
/proc/17504/task/17510/stat : 17510 (SArTagnan) R 17502 17504 17466 0 -1 4202560 16475 0 0 0 3911 2 0 0 25 0 4 0 650628929 324882432 40466 33554432000 4194304 4625164 140737052582464 18446744073709551615 4340179 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17504/tid=17511] ppid=17502 vsize=317268 CPUtime=25.56 cores=0,2,4,6
/proc/17504/task/17511/stat : 17511 (SArTagnan) R 17502 17504 17466 0 -1 4202560 100983 0 0 0 2543 13 0 0 25 0 4 0 650628929 324882432 40466 33554432000 4194304 4625164 140737052582464 18446744073709551615 4557081 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 152.62
Current children cumulated vsize (KiB) 317268

[startup+102.3 s]
/proc/loadavg: 8.73 4.41 2.87 11/391 17513
/proc/meminfo: memFree=17586764/32951124 swapFree=63485432/67111528
[pid=17504] ppid=17502 vsize=451480 CPUtime=305.6 cores=0,2,4,6
/proc/17504/stat : 17504 (SArTagnan) R 17502 17504 17466 0 -1 4202496 189055 0 0 0 30531 29 0 0 25 0 4 0 650628927 462315520 64205 33554432000 4194304 4625164 140737052582464 18446744073709551615 4519563 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17504/statm: 112870 64205 766 106 0 108373 0
[pid=17504/tid=17509] ppid=17502 vsize=451480 CPUtime=89.65 cores=0,2,4,6
/proc/17504/task/17509/stat : 17509 (SArTagnan) R 17502 17504 17466 0 -1 4202560 42647 0 0 0 8957 8 0 0 25 0 4 0 650628929 462315520 64205 33554432000 4194304 4625164 140737052582464 18446744073709551615 4351792 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17504/tid=17510] ppid=17502 vsize=451480 CPUtime=89.74 cores=0,2,4,6
/proc/17504/task/17510/stat : 17510 (SArTagnan) R 17502 17504 17466 0 -1 4202560 26833 0 0 0 8970 4 0 0 25 0 4 0 650628929 462315520 64205 33554432000 4194304 4625164 140737052582464 18446744073709551615 4353037 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17504/tid=17511] ppid=17502 vsize=451480 CPUtime=51.49 cores=0,2,4,6
/proc/17504/task/17511/stat : 17511 (SArTagnan) R 17502 17504 17466 0 -1 4202560 111443 0 0 0 5135 14 0 0 25 0 4 0 650628929 462315520 64205 33554432000 4194304 4625164 140737052582464 18446744073709551615 4352285 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 305.6
Current children cumulated vsize (KiB) 451480

[startup+162.3 s]
/proc/loadavg: 9.62 5.45 3.32 11/391 17515
/proc/meminfo: memFree=17480472/32951124 swapFree=63485432/67111528
[pid=17504] ppid=17502 vsize=479356 CPUtime=484.8 cores=0,2,4,6
/proc/17504/stat : 17504 (SArTagnan) R 17502 17504 17466 0 -1 4202496 211675 0 0 0 48447 33 0 0 25 0 4 0 650628927 490860544 72055 33554432000 4194304 4625164 140737052582464 18446744073709551615 4511936 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17504/statm: 119839 72055 796 106 0 115342 0
[pid=17504/tid=17509] ppid=17502 vsize=479356 CPUtime=146.19 cores=0,2,4,6
/proc/17504/task/17509/stat : 17509 (SArTagnan) R 17502 17504 17466 0 -1 4202560 59593 0 0 0 14608 11 0 0 25 0 4 0 650628929 490860544 72055 33554432000 4194304 4625164 140737052582464 18446744073709551615 4339660 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17504/tid=17510] ppid=17502 vsize=479356 CPUtime=122.42 cores=0,2,4,6
/proc/17504/task/17510/stat : 17510 (SArTagnan) R 17502 17504 17466 0 -1 4202560 27110 0 0 0 12238 4 0 0 25 0 4 0 650628929 490860544 72055 33554432000 4194304 4625164 140737052582464 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17504/tid=17511] ppid=17502 vsize=479356 CPUtime=81.48 cores=0,2,4,6
/proc/17504/task/17511/stat : 17511 (SArTagnan) R 17502 17504 17466 0 -1 4202560 112581 0 0 0 8134 14 0 0 25 0 4 0 650628929 490860544 72055 33554432000 4194304 4625164 140737052582464 18446744073709551615 4547847 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 484.8
Current children cumulated vsize (KiB) 479356

[startup+222.315 s]
/proc/loadavg: 9.94 6.31 3.75 11/391 17516
/proc/meminfo: memFree=17318748/32951124 swapFree=63485432/67111528
[pid=17504] ppid=17502 vsize=523004 CPUtime=664.07 cores=0,2,4,6
/proc/17504/stat : 17504 (SArTagnan) R 17502 17504 17466 0 -1 4202496 339989 0 0 0 66357 50 0 0 25 0 4 0 650628927 535556096 88087 33554432000 4194304 4625164 140737052582464 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17504/statm: 130751 88087 465 106 0 126254 0
[pid=17504/tid=17509] ppid=17502 vsize=523004 CPUtime=201.21 cores=0,2,4,6
/proc/17504/task/17509/stat : 17509 (SArTagnan) R 17502 17504 17466 0 -1 4202560 65770 0 0 0 20108 13 0 0 25 0 4 0 650628929 535556096 88087 33554432000 4194304 4625164 140737052582464 18446744073709551615 4351814 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17504/tid=17510] ppid=17502 vsize=523004 CPUtime=152.32 cores=0,2,4,6
/proc/17504/task/17510/stat : 17510 (SArTagnan) R 17502 17504 17466 0 -1 4202560 35917 0 0 0 15226 6 0 0 25 0 4 0 650628929 535556096 88087 33554432000 4194304 4625164 140737052582464 18446744073709551615 4339643 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17504/tid=17511] ppid=17502 vsize=523004 CPUtime=115.84 cores=0,2,4,6
/proc/17504/task/17511/stat : 17511 (SArTagnan) R 17502 17504 17466 0 -1 4202560 219564 0 0 0 11557 27 0 0 25 0 4 0 650628929 535556096 88087 33554432000 4194304 4625164 140737052582464 18446744073709551615 4469343 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 664.07
Current children cumulated vsize (KiB) 523004

[startup+282.301 s]

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

/proc/17504/task/17511/stat : 17511 (SArTagnan) R 17502 17504 17466 0 -1 4202560 1427823 0 0 0 41110 191 0 0 25 0 4 0 650628929 780152832 144746 33554432000 4194304 4625164 140737052582464 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1739.4
Current children cumulated vsize (KiB) 761868

[startup+642.301 s]
/proc/loadavg: 10.10 9.15 6.04 11/391 17528
/proc/meminfo: memFree=16686708/32951124 swapFree=63485432/67111528
[pid=17504] ppid=17502 vsize=849764 CPUtime=1918.64 cores=0,2,4,6
/proc/17504/stat : 17504 (SArTagnan) R 17502 17504 17466 0 -1 4202496 1645468 0 0 0 191635 229 0 0 25 0 4 0 650628927 870158336 152648 33554432000 4194304 4625164 140737052582464 18446744073709551615 4512869 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17504/statm: 212441 152648 1537 106 0 207944 0
[pid=17504/tid=17509] ppid=17502 vsize=849764 CPUtime=483.66 cores=0,2,4,6
/proc/17504/task/17509/stat : 17509 (SArTagnan) R 17502 17504 17466 0 -1 4202560 95122 0 0 0 48348 18 0 0 25 0 4 0 650628929 870158336 152648 33554432000 4194304 4625164 140737052582464 18446744073709551615 4339541 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17504/tid=17510] ppid=17502 vsize=849764 CPUtime=378.28 cores=0,2,4,6
/proc/17504/task/17510/stat : 17510 (SArTagnan) R 17502 17504 17466 0 -1 4202560 38988 0 0 0 37821 7 0 0 25 0 4 0 650628929 870158336 152648 33554432000 4194304 4625164 140737052582464 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17504/tid=17511] ppid=17502 vsize=849764 CPUtime=472.25 cores=0,2,4,6
/proc/17504/task/17511/stat : 17511 (SArTagnan) R 17502 17504 17466 0 -1 4202560 1431803 0 0 0 47033 192 0 0 25 0 4 0 650628929 870158336 152648 33554432000 4194304 4625164 140737052582464 18446744073709551615 4547280 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1918.64
Current children cumulated vsize (KiB) 849764

[startup+702.301 s]
/proc/loadavg: 10.10 9.32 6.29 11/391 17529
/proc/meminfo: memFree=16557596/32951124 swapFree=63485432/67111528
[pid=17504] ppid=17502 vsize=932384 CPUtime=2097.86 cores=0,2,4,6
/proc/17504/stat : 17504 (SArTagnan) R 17502 17504 17466 0 -1 4202496 1837015 0 0 0 209534 252 0 0 25 0 4 0 650628927 954761216 164644 33554432000 4194304 4625164 140737052582464 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17504/statm: 233096 164644 1536 106 0 228599 0
[pid=17504/tid=17509] ppid=17502 vsize=932384 CPUtime=513.58 cores=0,2,4,6
/proc/17504/task/17509/stat : 17509 (SArTagnan) R 17502 17504 17466 0 -1 4202560 128192 0 0 0 51337 21 0 0 25 0 4 0 650628929 954761216 164644 33554432000 4194304 4625164 140737052582464 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17504/tid=17510] ppid=17502 vsize=932384 CPUtime=408.35 cores=0,2,4,6
/proc/17504/task/17510/stat : 17510 (SArTagnan) R 17502 17504 17466 0 -1 4202560 38991 0 0 0 40828 7 0 0 25 0 4 0 650628929 954761216 164644 33554432000 4194304 4625164 140737052582464 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17504/tid=17511] ppid=17502 vsize=932384 CPUtime=531.49 cores=0,2,4,6
/proc/17504/task/17511/stat : 17511 (SArTagnan) R 17502 17504 17466 0 -1 4202560 1571258 0 0 0 52940 209 0 0 25 0 4 0 650628929 954761216 164644 33554432000 4194304 4625164 140737052582464 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2097.86
Current children cumulated vsize (KiB) 932384

[startup+762.301 s]
/proc/loadavg: 10.14 9.47 6.53 12/391 17531
/proc/meminfo: memFree=16506108/32951124 swapFree=63485432/67111528
[pid=17504] ppid=17502 vsize=932384 CPUtime=2277.11 cores=0,2,4,6
/proc/17504/stat : 17504 (SArTagnan) R 17502 17504 17466 0 -1 4202496 2173587 0 0 0 227416 295 0 0 25 0 4 0 650628927 954761216 169546 33554432000 4194304 4625164 140737052582464 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17504/statm: 233096 169546 1536 106 0 228599 0
[pid=17504/tid=17509] ppid=17502 vsize=932384 CPUtime=543.5 cores=0,2,4,6
/proc/17504/task/17509/stat : 17509 (SArTagnan) R 17502 17504 17466 0 -1 4202560 128209 0 0 0 54329 21 0 0 25 0 4 0 650628929 954761216 169546 33554432000 4194304 4625164 140737052582464 18446744073709551615 4351827 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17504/tid=17510] ppid=17502 vsize=932384 CPUtime=442.85 cores=0,2,4,6
/proc/17504/task/17510/stat : 17510 (SArTagnan) R 17502 17504 17466 0 -1 4202560 39050 0 0 0 44278 7 0 0 25 0 4 0 650628929 954761216 169546 33554432000 4194304 4625164 140737052582464 18446744073709551615 4351830 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17504/tid=17511] ppid=17502 vsize=932384 CPUtime=586.33 cores=0,2,4,6
/proc/17504/task/17511/stat : 17511 (SArTagnan) R 17502 17504 17466 0 -1 4202560 1903231 0 0 0 58382 251 0 0 25 0 4 0 650628929 954761216 169546 33554432000 4194304 4625164 140737052582464 18446744073709551615 4552340 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2277.11
Current children cumulated vsize (KiB) 932384

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

[startup+768.001 s]
/proc/loadavg: 10.13 9.48 6.55 11/391 17531
/proc/meminfo: memFree=16497180/32951124 swapFree=63485432/67111528
[pid=17504] ppid=17502 vsize=932384 CPUtime=2294.1 cores=0,2,4,6
/proc/17504/stat : 17504 (SArTagnan) R 17502 17504 17466 0 -1 4202496 2177662 0 0 0 229114 296 0 0 25 0 4 0 650628927 954761216 171156 33554432000 4194304 4625164 140737052582464 18446744073709551615 4511967 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17504/statm: 233096 171156 1537 106 0 228599 0
[pid=17504/tid=17509] ppid=17502 vsize=932384 CPUtime=546.09 cores=0,2,4,6
/proc/17504/task/17509/stat : 17509 (SArTagnan) R 17502 17504 17466 0 -1 4202560 128393 0 0 0 54588 21 0 0 25 0 4 0 650628929 954761216 171156 33554432000 4194304 4625164 140737052582464 18446744073709551615 4351827 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17504/tid=17510] ppid=17502 vsize=932384 CPUtime=445.95 cores=0,2,4,6
/proc/17504/task/17510/stat : 17510 (SArTagnan) R 17502 17504 17466 0 -1 4202560 39050 0 0 0 44588 7 0 0 25 0 4 0 650628929 954761216 171156 33554432000 4194304 4625164 140737052582464 18446744073709551615 4351981 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17504/tid=17511] ppid=17502 vsize=932384 CPUtime=591.95 cores=0,2,4,6
/proc/17504/task/17511/stat : 17511 (SArTagnan) R 17502 17504 17466 0 -1 4202560 1905916 0 0 0 58943 252 0 0 25 0 4 0 650628929 954761216 171156 33554432000 4194304 4625164 140737052582464 18446744073709551615 4547578 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2294.1
Current children cumulated vsize (KiB) 932384

[startup+780.8 s]
/proc/loadavg: 10.11 9.49 6.58 11/391 17531
/proc/meminfo: memFree=16473736/32951124 swapFree=63485432/67111528
[pid=17504] ppid=17502 vsize=932384 CPUtime=2332.35 cores=0,2,4,6
/proc/17504/stat : 17504 (SArTagnan) R 17502 17504 17466 0 -1 4202496 2180650 0 0 0 232938 297 0 0 25 0 4 0 650628927 954761216 174005 33554432000 4194304 4625164 140737052582464 18446744073709551615 4338055 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/17504/statm: 233096 174005 1536 106 0 228599 0
[pid=17504/tid=17509] ppid=17502 vsize=932384 CPUtime=553.66 cores=0,2,4,6
/proc/17504/task/17509/stat : 17509 (SArTagnan) R 17502 17504 17466 0 -1 4202560 128393 0 0 0 55345 21 0 0 25 0 4 0 650628929 954761216 174005 33554432000 4194304 4625164 140737052582464 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17504/tid=17510] ppid=17502 vsize=932384 CPUtime=452.76 cores=0,2,4,6
/proc/17504/task/17510/stat : 17510 (SArTagnan) R 17502 17504 17466 0 -1 4202560 39051 0 0 0 45269 7 0 0 25 0 4 0 650628929 954761216 174005 33554432000 4194304 4625164 140737052582464 18446744073709551615 4466262 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17504/tid=17511] ppid=17502 vsize=932384 CPUtime=604.41 cores=0,2,4,6
/proc/17504/task/17511/stat : 17511 (SArTagnan) R 17502 17504 17466 0 -1 4202560 1906068 0 0 0 60189 252 0 0 25 0 4 0 650628929 954761216 174005 33554432000 4194304 4625164 140737052582464 18446744073709551615 220815933536 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2332.35
Current children cumulated vsize (KiB) 932384

[startup+787.201 s]
/proc/loadavg: 10.09 9.51 6.62 11/391 17531
/proc/meminfo: memFree=16471752/32951124 swapFree=63485432/67111528
[pid=17504] ppid=17502 vsize=932384 CPUtime=2351.46 cores=0,2,4,6
/proc/17504/stat : 17504 (SArTagnan) R 17502 17504 17466 0 -1 4202496 2180650 0 0 0 234848 298 0 0 25 0 4 0 650628927 954761216 174005 33554432000 4194304 4625164 140737052582464 18446744073709551615 4391821 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17504/statm: 233096 174005 1536 106 0 228599 0
[pid=17504/tid=17509] ppid=17502 vsize=932384 CPUtime=558.49 cores=0,2,4,6
/proc/17504/task/17509/stat : 17509 (SArTagnan) R 17502 17504 17466 0 -1 4202560 128393 0 0 0 55827 22 0 0 25 0 4 0 650628929 954761216 174005 33554432000 4194304 4625164 140737052582464 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17504/tid=17510] ppid=17502 vsize=932384 CPUtime=456.94 cores=0,2,4,6
/proc/17504/task/17510/stat : 17510 (SArTagnan) R 17502 17504 17466 0 -1 4202560 39051 0 0 0 45687 7 0 0 25 0 4 0 650628929 954761216 174005 33554432000 4194304 4625164 140737052582464 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17504/tid=17511] ppid=17502 vsize=932384 CPUtime=608.78 cores=0,2,4,6
/proc/17504/task/17511/stat : 17511 (SArTagnan) R 17502 17504 17466 0 -1 4202560 1906068 0 0 0 60626 252 0 0 25 0 4 0 650628929 954761216 174005 33554432000 4194304 4625164 140737052582464 18446744073709551615 4552369 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2351.46
Current children cumulated vsize (KiB) 932384

[startup+790.401 s]
/proc/loadavg: 10.09 9.51 6.62 11/391 17532
/proc/meminfo: memFree=16468032/32951124 swapFree=63485432/67111528
[pid=17504] ppid=17502 vsize=997920 CPUtime=2361.01 cores=0,2,4,6
/proc/17504/stat : 17504 (SArTagnan) R 17502 17504 17466 0 -1 4202496 2180724 0 0 0 235803 298 0 0 25 0 4 0 650628927 1021870080 174079 33554432000 4194304 4625164 140737052582464 18446744073709551615 4512057 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17504/statm: 249480 174079 1536 106 0 244983 0
[pid=17504/tid=17509] ppid=17502 vsize=997920 CPUtime=560.55 cores=0,2,4,6
/proc/17504/task/17509/stat : 17509 (SArTagnan) R 17502 17504 17466 0 -1 4202560 128393 0 0 0 56033 22 0 0 25 0 4 0 650628929 1021870080 174079 33554432000 4194304 4625164 140737052582464 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17504/tid=17510] ppid=17502 vsize=997920 CPUtime=458.63 cores=0,2,4,6
/proc/17504/task/17510/stat : 17510 (SArTagnan) R 17502 17504 17466 0 -1 4202560 39051 0 0 0 45856 7 0 0 25 0 4 0 650628929 1021870080 174079 33554432000 4194304 4625164 140737052582464 18446744073709551615 4352005 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17504/tid=17511] ppid=17502 vsize=997920 CPUtime=611.38 cores=0,2,4,6
/proc/17504/task/17511/stat : 17511 (SArTagnan) R 17502 17504 17466 0 -1 4202560 1906068 0 0 0 60886 252 0 0 25 0 4 0 650628929 1021870080 174079 33554432000 4194304 4625164 140737052582464 18446744073709551615 4547280 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2361.01
Current children cumulated vsize (KiB) 997920

[startup+792.001 s]
/proc/loadavg: 10.08 9.52 6.64 11/391 17532
/proc/meminfo: memFree=16467040/32951124 swapFree=63485432/67111528
[pid=17504] ppid=17502 vsize=997920 CPUtime=2365.81 cores=0,2,4,6
/proc/17504/stat : 17504 (SArTagnan) R 17502 17504 17466 0 -1 4202496 2181239 0 0 0 236283 298 0 0 25 0 4 0 650628927 1021870080 174577 33554432000 4194304 4625164 140737052582464 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17504/statm: 249480 174577 1536 106 0 244983 0
[pid=17504/tid=17509] ppid=17502 vsize=997920 CPUtime=561.39 cores=0,2,4,6
/proc/17504/task/17509/stat : 17509 (SArTagnan) R 17502 17504 17466 0 -1 4202560 128393 0 0 0 56117 22 0 0 25 0 4 0 650628929 1021870080 174577 33554432000 4194304 4625164 140737052582464 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17504/tid=17510] ppid=17502 vsize=997920 CPUtime=459.38 cores=0,2,4,6
/proc/17504/task/17510/stat : 17510 (SArTagnan) R 17502 17504 17466 0 -1 4202560 39051 0 0 0 45931 7 0 0 25 0 4 0 650628929 1021870080 174577 33554432000 4194304 4625164 140737052582464 18446744073709551615 220816341486 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17504/tid=17511] ppid=17502 vsize=997920 CPUtime=613 cores=0,2,4,6
/proc/17504/task/17511/stat : 17511 (SArTagnan) R 17502 17504 17466 0 -1 4202560 1906068 0 0 0 61048 252 0 0 25 0 4 0 650628929 1021870080 174577 33554432000 4194304 4625164 140737052582464 18446744073709551615 4334728 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2365.81
Current children cumulated vsize (KiB) 997920

[startup+792.801 s]
/proc/loadavg: 10.08 9.52 6.64 11/391 17532
/proc/meminfo: memFree=16467040/32951124 swapFree=63485432/67111528
[pid=17504] ppid=17502 vsize=997920 CPUtime=2368.19 cores=0,2,4,6
/proc/17504/stat : 17504 (SArTagnan) R 17502 17504 17466 0 -1 4202496 2183850 0 0 0 236520 299 0 0 25 0 4 0 650628927 1021870080 175046 33554432000 4194304 4625164 140737052582464 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17504/statm: 249480 175046 1536 106 0 244983 0
[pid=17504/tid=17509] ppid=17502 vsize=997920 CPUtime=561.91 cores=0,2,4,6
/proc/17504/task/17509/stat : 17509 (SArTagnan) R 17502 17504 17466 0 -1 4202560 128393 0 0 0 56169 22 0 0 25 0 4 0 650628929 1021870080 175046 33554432000 4194304 4625164 140737052582464 18446744073709551615 4340066 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17504/tid=17510] ppid=17502 vsize=997920 CPUtime=459.64 cores=0,2,4,6
/proc/17504/task/17510/stat : 17510 (SArTagnan) R 17502 17504 17466 0 -1 4202560 39051 0 0 0 45957 7 0 0 25 0 4 0 650628929 1021870080 175046 33554432000 4194304 4625164 140737052582464 18446744073709551615 4352280 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17504/tid=17511] ppid=17502 vsize=997920 CPUtime=613.78 cores=0,2,4,6
/proc/17504/task/17511/stat : 17511 (SArTagnan) R 17502 17504 17466 0 -1 4202560 1908530 0 0 0 61126 252 0 0 25 0 4 0 650628929 1021870080 175046 33554432000 4194304 4625164 140737052582464 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2368.19
Current children cumulated vsize (KiB) 997920

[startup+793.215 s]
/proc/loadavg: 10.08 9.52 6.64 11/391 17532
/proc/meminfo: memFree=16464684/32951124 swapFree=63485432/67111528
[pid=17504] ppid=17502 vsize=997920 CPUtime=2369.41 cores=0,2,4,6
/proc/17504/stat : 17504 (SArTagnan) R 17502 17504 17466 0 -1 4202496 2185129 0 0 0 236642 299 0 0 25 0 4 0 650628927 1021870080 175362 33554432000 4194304 4625164 140737052582464 18446744073709551615 4390435 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17504/statm: 249480 175362 1536 106 0 244983 0
[pid=17504/tid=17509] ppid=17502 vsize=997920 CPUtime=561.99 cores=0,2,4,6
/proc/17504/task/17509/stat : 17509 (SArTagnan) R 17502 17504 17466 0 -1 4202560 128393 0 0 0 56177 22 0 0 25 0 4 0 650628929 1021870080 175362 33554432000 4194304 4625164 140737052582464 18446744073709551615 220816341486 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17504/tid=17510] ppid=17502 vsize=997920 CPUtime=459.97 cores=0,2,4,6
/proc/17504/task/17510/stat : 17510 (SArTagnan) R 17502 17504 17466 0 -1 4202560 39051 0 0 0 45990 7 0 0 25 0 4 0 650628929 1021870080 175362 33554432000 4194304 4625164 140737052582464 18446744073709551615 4351827 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17504/tid=17511] ppid=17502 vsize=997920 CPUtime=614.2 cores=0,2,4,6
/proc/17504/task/17511/stat : 17511 (SArTagnan) R 17502 17504 17466 0 -1 4202560 1909402 0 0 0 61168 252 0 0 25 0 4 0 650628929 1021870080 175362 33554432000 4194304 4625164 140737052582464 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2369.41
Current children cumulated vsize (KiB) 997920

[startup+793.301 s]
/proc/loadavg: 10.08 9.52 6.64 11/391 17532
/proc/meminfo: memFree=16464684/32951124 swapFree=63485432/67111528
[pid=17504] ppid=17502 vsize=997920 CPUtime=2369.67 cores=0,2,4,6
/proc/17504/stat : 17504 (SArTagnan) R 17502 17504 17466 0 -1 4202496 2185980 0 0 0 236668 299 0 0 25 0 4 0 650628927 1021870080 176213 33554432000 4194304 4625164 140737052582464 18446744073709551615 4360200 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17504/statm: 249480 176213 1536 106 0 244983 0
[pid=17504/tid=17509] ppid=17502 vsize=997920 CPUtime=561.99 cores=0,2,4,6
/proc/17504/task/17509/stat : 17509 (SArTagnan) R 17502 17504 17466 0 -1 4202560 128393 0 0 0 56177 22 0 0 25 0 4 0 650628929 1021870080 176213 33554432000 4194304 4625164 140737052582464 18446744073709551615 220816341486 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17504/tid=17510] ppid=17502 vsize=997920 CPUtime=460.05 cores=0,2,4,6
/proc/17504/task/17510/stat : 17510 (SArTagnan) R 17502 17504 17466 0 -1 4202560 39051 0 0 0 45998 7 0 0 25 0 4 0 650628929 1021870080 176214 33554432000 4194304 4625164 140737052582464 18446744073709551615 4352007 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17504/tid=17511] ppid=17502 vsize=997920 CPUtime=614.28 cores=0,2,4,6
/proc/17504/task/17511/stat : 17511 (SArTagnan) R 17502 17504 17466 0 -1 4202560 1909473 0 0 0 61176 252 0 0 25 0 4 0 650628929 1021870080 176214 33554432000 4194304 4625164 140737052582464 18446744073709551615 4339447 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2369.67
Current children cumulated vsize (KiB) 997920

Child status: 20
Real time (s): 793.377
CPU time (s): 2369.85
CPU user time (s): 2366.83
CPU system time (s): 3.01854
CPU usage (%): 298.704
Max. virtual memory (cumulated for all children) (KiB): 1050704

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2366.83
system time used= 3.01854
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2186182
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= 2005
involuntary context switches= 20541

runsolver used 2.99654 second user time and 7.06393 second system time

The end

Launcher Data 

Begin job on node147 at 2011-05-16 23:42:10
IDJOB=3386061
IDBENCH=83285
IDSOLVER=1871
FILE ID=node147/3386061-1305582130
RUNJOBID= node147-1305582130-17484
PBS_JOBID= 13350289
Free space on /tmp= 73120 MiB

SOLVER NAME= SArTagnan 2011-05-15 (fixed)
BENCH NAME= SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/VanDerWaerden_pd_2-3-21_401.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3386061-1305582130/watcher-3386061-1305582130 -o /tmp/evaluation-result-3386061-1305582130/solver-3386061-1305582130 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3386061-1305582130.cnf -threads=4

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

MD5SUM BENCH= 4e87573be2b7b7324c13131d6c6896b8
RANDOM SEED=1385273820

node147.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.836
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.67
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.836
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.836
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.836
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.836
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.836
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.76
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.836
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.836
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:     32951124 kB
MemFree:      18101408 kB
Buffers:        328960 kB
Cached:        5486540 kB
SwapCached:      13124 kB
Active:        8130108 kB
Inactive:      6450280 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      18101408 kB
SwapTotal:    67111528 kB
SwapFree:     63485432 kB
Dirty:            1976 kB
Writeback:           0 kB
AnonPages:     8759472 kB
Mapped:          22892 kB
Slab:           153524 kB
PageTables:      49032 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 92399340 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= 73120 MiB
End job on node147 at 2011-05-16 23:55:24