Trace number 3262224

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SArTagnan 2011-03-24UNSAT 2397.35 600.22

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 

2396.97/600.18	
2396.97/600.18	s UNSATISFIABLE
2396.97/600.18	c Import unit

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

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

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

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

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


[startup+0 s]
/proc/loadavg: 7.22 7.32 7.74 5/180 457
/proc/meminfo: memFree=21900496/32950928 swapFree=67111524/67111528
[pid=457] ppid=455 vsize=18264 CPUtime=0 cores=1,3,5,7
/proc/457/stat : 457 (SArTagnan) R 455 457 384 0 -1 4194304 242 0 0 0 0 0 0 0 25 0 1 0 521010085 18702336 191 33554432000 4194304 4623224 140735090907008 18446744073709551615 268267726312 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/457/statm: 4566 191 159 105 0 57 0

[startup+0.140445 s]
/proc/loadavg: 7.22 7.32 7.74 5/180 457
/proc/meminfo: memFree=21900496/32950928 swapFree=67111524/67111528
[pid=457] ppid=455 vsize=254200 CPUtime=0.49 cores=1,3,5,7
/proc/457/stat : 457 (SArTagnan) R 455 457 384 0 -1 4202496 5332 0 0 0 49 0 0 0 25 0 4 0 521010085 260300800 2385 33554432000 4194304 4623224 140735090907008 18446744073709551615 4511652 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/457/statm: 63550 2385 337 105 0 59054 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 254200

[startup+0.200434 s]
/proc/loadavg: 7.22 7.32 7.74 5/180 457
/proc/meminfo: memFree=21900496/32950928 swapFree=67111524/67111528
[pid=457] ppid=455 vsize=254200 CPUtime=0.73 cores=1,3,5,7
/proc/457/stat : 457 (SArTagnan) R 455 457 384 0 -1 4202496 5867 0 0 0 73 0 0 0 25 0 4 0 521010085 260300800 2550 33554432000 4194304 4623224 140735090907008 18446744073709551615 4510127 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/457/statm: 63550 2550 337 105 0 59054 0
Current children cumulated CPU time (s) 0.73
Current children cumulated vsize (KiB) 254200

[startup+0.300418 s]
/proc/loadavg: 7.22 7.32 7.74 5/180 457
/proc/meminfo: memFree=21900496/32950928 swapFree=67111524/67111528
[pid=457] ppid=455 vsize=255704 CPUtime=1.14 cores=1,3,5,7
/proc/457/stat : 457 (SArTagnan) R 455 457 384 0 -1 4202496 7846 0 0 0 113 1 0 0 25 0 4 0 521010085 261840896 2884 33554432000 4194304 4623224 140735090907008 18446744073709551615 4355951 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/457/statm: 63926 2884 337 105 0 59430 0
Current children cumulated CPU time (s) 1.14
Current children cumulated vsize (KiB) 255704

[startup+0.700347 s]
/proc/loadavg: 7.22 7.32 7.74 5/180 457
/proc/meminfo: memFree=21900496/32950928 swapFree=67111524/67111528
[pid=457] ppid=455 vsize=255704 CPUtime=2.73 cores=1,3,5,7
/proc/457/stat : 457 (SArTagnan) R 455 457 384 0 -1 4202496 11589 0 0 0 272 1 0 0 25 0 4 0 521010085 261840896 3813 33554432000 4194304 4623224 140735090907008 18446744073709551615 4510316 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/457/statm: 63926 3813 337 105 0 59430 0
Current children cumulated CPU time (s) 2.73
Current children cumulated vsize (KiB) 255704

[startup+1.50021 s]
/proc/loadavg: 7.22 7.32 7.74 9/184 471
/proc/meminfo: memFree=21882012/32950928 swapFree=67111524/67111528
[pid=457] ppid=455 vsize=257208 CPUtime=5.93 cores=1,3,5,7
/proc/457/stat : 457 (SArTagnan) R 455 457 384 0 -1 4202496 21519 0 0 0 591 2 0 0 25 0 4 0 521010085 263380992 5539 33554432000 4194304 4623224 140735090907008 18446744073709551615 4510167 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/457/statm: 64302 5539 342 105 0 59806 0
[pid=457/tid=467] ppid=455 vsize=257208 CPUtime=1.47 cores=1,3,5,7
/proc/457/task/467/stat : 467 (SArTagnan) R 455 457 384 0 -1 4202560 2666 0 0 0 147 0 0 0 25 0 4 0 521010087 263380992 5539 33554432000 4194304 4623224 140735090907008 18446744073709551615 4376829 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=457/tid=469] ppid=455 vsize=257208 CPUtime=1.47 cores=1,3,5,7
/proc/457/task/469/stat : 469 (SArTagnan) R 455 457 384 0 -1 4202560 2323 0 0 0 147 0 0 0 25 0 4 0 521010087 263380992 5539 33554432000 4194304 4623224 140735090907008 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=457/tid=471] ppid=455 vsize=257208 CPUtime=1.47 cores=1,3,5,7
/proc/457/task/471/stat : 471 (SArTagnan) R 455 457 384 0 -1 4202560 13729 0 0 0 146 1 0 0 25 0 4 0 521010087 263380992 5539 33554432000 4194304 4623224 140735090907008 18446744073709551615 4366247 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.93
Current children cumulated vsize (KiB) 257208

[startup+3.10092 s]
/proc/loadavg: 7.22 7.32 7.74 9/184 471
/proc/meminfo: memFree=21871244/32950928 swapFree=67111524/67111528
[pid=457] ppid=455 vsize=261908 CPUtime=12.33 cores=1,3,5,7
/proc/457/stat : 457 (SArTagnan) R 455 457 384 0 -1 4202496 36956 0 0 0 1228 5 0 0 25 0 4 0 521010085 268193792 8413 33554432000 4194304 4623224 140735090907008 18446744073709551615 4517483 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/457/statm: 65477 8413 342 105 0 60981 0
[pid=457/tid=467] ppid=455 vsize=261908 CPUtime=3.08 cores=1,3,5,7
/proc/457/task/467/stat : 467 (SArTagnan) R 455 457 384 0 -1 4202560 5414 0 0 0 307 1 0 0 25 0 4 0 521010087 268193792 8413 33554432000 4194304 4623224 140735090907008 18446744073709551615 4376846 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=457/tid=469] ppid=455 vsize=261908 CPUtime=3.06 cores=1,3,5,7
/proc/457/task/469/stat : 469 (SArTagnan) R 455 457 384 0 -1 4202560 3547 0 0 0 306 0 0 0 25 0 4 0 521010087 268193792 8413 33554432000 4194304 4623224 140735090907008 18446744073709551615 4376844 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=457/tid=471] ppid=455 vsize=261908 CPUtime=3.08 cores=1,3,5,7
/proc/457/task/471/stat : 471 (SArTagnan) R 455 457 384 0 -1 4202560 24822 0 0 0 305 3 0 0 25 0 4 0 521010087 268193792 8413 33554432000 4194304 4623224 140735090907008 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.33
Current children cumulated vsize (KiB) 261908

[startup+6.30035 s]
/proc/loadavg: 7.36 7.35 7.74 9/184 471
/proc/meminfo: memFree=21843220/32950928 swapFree=67111524/67111528
[pid=457] ppid=455 vsize=272976 CPUtime=25.11 cores=1,3,5,7
/proc/457/stat : 457 (SArTagnan) R 455 457 384 0 -1 4202496 45890 0 0 0 2503 8 0 0 25 0 4 0 521010085 279527424 13500 33554432000 4194304 4623224 140735090907008 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/457/statm: 68244 13500 351 105 0 63748 0
[pid=457/tid=467] ppid=455 vsize=272976 CPUtime=6.27 cores=1,3,5,7
/proc/457/task/467/stat : 467 (SArTagnan) R 455 457 384 0 -1 4202560 8574 0 0 0 625 2 0 0 25 0 4 0 521010087 279527424 13500 33554432000 4194304 4623224 140735090907008 18446744073709551615 4366381 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=457/tid=469] ppid=455 vsize=272976 CPUtime=6.24 cores=1,3,5,7
/proc/457/task/469/stat : 469 (SArTagnan) R 455 457 384 0 -1 4202560 5557 0 0 0 624 0 0 0 25 0 4 0 521010087 279527424 13500 33554432000 4194304 4623224 140735090907008 18446744073709551615 4377576 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=457/tid=471] ppid=455 vsize=272976 CPUtime=6.28 cores=1,3,5,7
/proc/457/task/471/stat : 471 (SArTagnan) R 455 457 384 0 -1 4202560 27728 0 0 0 624 4 0 0 25 0 4 0 521010087 279527424 13500 33554432000 4194304 4623224 140735090907008 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 272976

[startup+12.7002 s]
/proc/loadavg: 7.41 7.36 7.74 9/184 471
/proc/meminfo: memFree=21803524/32950928 swapFree=67111524/67111528
[pid=457] ppid=455 vsize=282640 CPUtime=50.68 cores=1,3,5,7
/proc/457/stat : 457 (SArTagnan) R 455 457 384 0 -1 4202496 109901 0 0 0 5050 18 0 0 25 0 4 0 521010085 289423360 20335 33554432000 4194304 4623224 140735090907008 18446744073709551615 4366391 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/457/statm: 70660 20335 349 105 0 66164 0
[pid=457/tid=467] ppid=455 vsize=282640 CPUtime=12.67 cores=1,3,5,7
/proc/457/task/467/stat : 467 (SArTagnan) R 455 457 384 0 -1 4202560 12540 0 0 0 1264 3 0 0 25 0 4 0 521010087 289423360 20335 33554432000 4194304 4623224 140735090907008 18446744073709551615 4377368 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=457/tid=469] ppid=455 vsize=282640 CPUtime=12.61 cores=1,3,5,7
/proc/457/task/469/stat : 469 (SArTagnan) R 455 457 384 0 -1 4202560 9025 0 0 0 1259 2 0 0 25 0 4 0 521010087 289423360 20335 33554432000 4194304 4623224 140735090907008 18446744073709551615 4377864 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=457/tid=471] ppid=455 vsize=282640 CPUtime=12.67 cores=1,3,5,7
/proc/457/task/471/stat : 471 (SArTagnan) R 455 457 384 0 -1 4202560 83680 0 0 0 1256 11 0 0 25 0 4 0 521010087 289423360 20335 33554432000 4194304 4623224 140735090907008 18446744073709551615 4550465 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.68
Current children cumulated vsize (KiB) 282640

[startup+25.5009 s]
/proc/loadavg: 7.61 7.41 7.75 9/184 471
/proc/meminfo: memFree=21732840/32950928 swapFree=67111524/67111528
[pid=457] ppid=455 vsize=303788 CPUtime=101.8 cores=1,3,5,7
/proc/457/stat : 457 (SArTagnan) R 455 457 384 0 -1 4202496 176708 0 0 0 10152 28 0 0 25 0 4 0 521010085 311078912 30631 33554432000 4194304 4623224 140735090907008 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/457/statm: 75947 30631 369 105 0 71451 0
[pid=457/tid=467] ppid=455 vsize=303788 CPUtime=25.47 cores=1,3,5,7
/proc/457/task/467/stat : 467 (SArTagnan) R 455 457 384 0 -1 4202560 18919 0 0 0 2542 5 0 0 25 0 4 0 521010087 311078912 30631 33554432000 4194304 4623224 140735090907008 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=457/tid=469] ppid=455 vsize=303788 CPUtime=25.33 cores=1,3,5,7
/proc/457/task/469/stat : 469 (SArTagnan) R 455 457 384 0 -1 4202560 13573 0 0 0 2531 2 0 0 25 0 4 0 521010087 311078912 30631 33554432000 4194304 4623224 140735090907008 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=457/tid=471] ppid=455 vsize=303788 CPUtime=25.47 cores=1,3,5,7
/proc/457/task/471/stat : 471 (SArTagnan) R 455 457 384 0 -1 4202560 138675 0 0 0 2529 18 0 0 25 0 4 0 521010087 311078912 30631 33554432000 4194304 4623224 140735090907008 18446744073709551615 4376640 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.8
Current children cumulated vsize (KiB) 303788

[startup+51.1004 s]
/proc/loadavg: 7.74 7.46 7.76 9/184 472
/proc/meminfo: memFree=21608580/32950928 swapFree=67111524/67111528
[pid=457] ppid=455 vsize=348440 CPUtime=204.06 cores=1,3,5,7
/proc/457/stat : 457 (SArTagnan) R 455 457 384 0 -1 4202496 375968 0 0 0 20346 60 0 0 25 0 4 0 521010085 356802560 47010 33554432000 4194304 4623224 140735090907008 18446744073709551615 4510978 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/457/statm: 87110 47010 391 105 0 82614 0
[pid=457/tid=467] ppid=455 vsize=348440 CPUtime=51.07 cores=1,3,5,7
/proc/457/task/467/stat : 467 (SArTagnan) R 455 457 384 0 -1 4202560 29281 0 0 0 5100 7 0 0 25 0 4 0 521010087 356802560 47010 33554432000 4194304 4623224 140735090907008 18446744073709551615 4376865 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=457/tid=469] ppid=455 vsize=348440 CPUtime=50.79 cores=1,3,5,7
/proc/457/task/469/stat : 469 (SArTagnan) R 455 457 384 0 -1 4202560 20820 0 0 0 5075 4 0 0 25 0 4 0 521010087 356802560 47010 33554432000 4194304 4623224 140735090907008 18446744073709551615 4377128 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=457/tid=471] ppid=455 vsize=348440 CPUtime=51.07 cores=1,3,5,7
/proc/457/task/471/stat : 471 (SArTagnan) R 455 457 384 0 -1 4202560 318514 0 0 0 5061 46 0 0 25 0 4 0 521010087 356802560 47010 33554432000 4194304 4623224 140735090907008 18446744073709551615 4364911 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 204.06
Current children cumulated vsize (KiB) 348440

[startup+102.301 s]
/proc/loadavg: 7.93 7.55 7.77 9/184 473
/proc/meminfo: memFree=21444268/32950928 swapFree=67111524/67111528
[pid=457] ppid=455 vsize=444852 CPUtime=408.6 cores=1,3,5,7
/proc/457/stat : 457 (SArTagnan) R 455 457 384 0 -1 4202496 470944 0 0 0 40776 84 0 0 25 0 4 0 521010085 455528448 69738 33554432000 4194304 4623224 140735090907008 18446744073709551615 4510172 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/457/statm: 111213 69738 545 105 0 106717 0
[pid=457/tid=467] ppid=455 vsize=444852 CPUtime=102.28 cores=1,3,5,7
/proc/457/task/467/stat : 467 (SArTagnan) R 455 457 384 0 -1 4202560 56638 0 0 0 10214 14 0 0 25 0 4 0 521010087 455528448 69738 33554432000 4194304 4623224 140735090907008 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=457/tid=469] ppid=455 vsize=444852 CPUtime=101.72 cores=1,3,5,7
/proc/457/task/469/stat : 469 (SArTagnan) R 455 457 384 0 -1 4202560 31677 0 0 0 10161 11 0 0 25 0 4 0 521010087 455528448 69738 33554432000 4194304 4623224 140735090907008 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=457/tid=471] ppid=455 vsize=444852 CPUtime=102.28 cores=1,3,5,7
/proc/457/task/471/stat : 471 (SArTagnan) R 455 457 384 0 -1 4202560 372182 0 0 0 10172 56 0 0 25 0 4 0 521010087 455528448 69738 33554432000 4194304 4623224 140735090907008 18446744073709551615 4577456 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.6
Current children cumulated vsize (KiB) 444852

[startup+162.301 s]
/proc/loadavg: 8.01 7.64 7.79 9/184 475
/proc/meminfo: memFree=21284544/32950928 swapFree=67111524/67111528
[pid=457] ppid=455 vsize=507788 CPUtime=648.26 cores=1,3,5,7
/proc/457/stat : 457 (SArTagnan) R 455 457 384 0 -1 4202496 846749 0 0 0 64677 149 0 0 25 0 4 0 521010085 519974912 94096 33554432000 4194304 4623224 140735090907008 18446744073709551615 4516712 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/457/statm: 126947 94096 1045 105 0 122451 0
[pid=457/tid=467] ppid=455 vsize=507788 CPUtime=162.28 cores=1,3,5,7
/proc/457/task/467/stat : 467 (SArTagnan) R 455 457 384 0 -1 4202560 59703 0 0 0 16213 15 0 0 25 0 4 0 521010087 519974912 94096 33554432000 4194304 4623224 140735090907008 18446744073709551615 4376625 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=457/tid=469] ppid=455 vsize=507788 CPUtime=161.38 cores=1,3,5,7
/proc/457/task/469/stat : 469 (SArTagnan) R 455 457 384 0 -1 4202560 45158 0 0 0 16124 14 0 0 25 0 4 0 521010087 519974912 94096 33554432000 4194304 4623224 140735090907008 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=457/tid=471] ppid=455 vsize=507788 CPUtime=162.28 cores=1,3,5,7
/proc/457/task/471/stat : 471 (SArTagnan) R 455 457 384 0 -1 4202560 727750 0 0 0 16112 116 0 0 25 0 4 0 521010087 519974912 94096 33554432000 4194304 4623224 140735090907008 18446744073709551615 4364911 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 648.26
Current children cumulated vsize (KiB) 507788

[startup+222.307 s]
/proc/loadavg: 8.04 7.72 7.81 9/184 477
/proc/meminfo: memFree=21125056/32950928 swapFree=67111524/67111528
[pid=457] ppid=455 vsize=720956 CPUtime=887.94 cores=1,3,5,7
/proc/457/stat : 457 (SArTagnan) R 455 457 384 0 -1 4202496 1151027 0 0 0 88595 199 0 0 25 0 4 0 521010085 738258944 118432 33554432000 4194304 4623224 140735090907008 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/457/statm: 180239 118432 1510 105 0 175743 0
[pid=457/tid=467] ppid=455 vsize=720956 CPUtime=222.28 cores=1,3,5,7
/proc/457/task/467/stat : 467 (SArTagnan) R 455 457 384 0 -1 4202560 82168 0 0 0 22209 19 0 0 25 0 4 0 521010087 738258944 118432 33554432000 4194304 4623224 140735090907008 18446744073709551615 4376612 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=457/tid=469] ppid=455 vsize=720956 CPUtime=221.05 cores=1,3,5,7
/proc/457/task/469/stat : 469 (SArTagnan) R 455 457 384 0 -1 4202560 47175 0 0 0 22089 16 0 0 25 0 4 0 521010087 738258944 118432 33554432000 4194304 4623224 140735090907008 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=457/tid=471] ppid=455 vsize=720956 CPUtime=222.29 cores=1,3,5,7
/proc/457/task/471/stat : 471 (SArTagnan) R 455 457 384 0 -1 4202560 996229 0 0 0 22070 159 0 0 25 0 4 0 521010087 738258944 118432 33554432000 4194304 4623224 140735090907008 18446744073709551615 4376625 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 887.94
Current children cumulated vsize (KiB) 720956

[startup+282.3 s]

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

/proc/457/task/467/stat : 467 (SArTagnan) R 455 457 384 0 -1 4202560 84057 0 0 0 28208 20 0 0 25 0 4 0 521010087 769585152 133225 33554432000 4194304 4623224 140735090907008 18446744073709551615 4376883 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=457/tid=469] ppid=455 vsize=751548 CPUtime=280.71 cores=1,3,5,7
/proc/457/task/469/stat : 469 (SArTagnan) R 455 457 384 0 -1 4202560 47379 0 0 0 28055 16 0 0 25 0 4 0 521010087 769585152 133225 33554432000 4194304 4623224 140735090907008 18446744073709551615 4376880 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=457/tid=471] ppid=455 vsize=751548 CPUtime=282.28 cores=1,3,5,7
/proc/457/task/471/stat : 471 (SArTagnan) R 455 457 384 0 -1 4202560 1288992 0 0 0 28023 205 0 0 25 0 4 0 521010087 769585152 133225 33554432000 4194304 4623224 140735090907008 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1127.59
Current children cumulated vsize (KiB) 751548

[startup+342.301 s]
/proc/loadavg: 8.05 7.83 7.83 9/184 480
/proc/meminfo: memFree=20935916/32950928 swapFree=67111524/67111528
[pid=457] ppid=455 vsize=751548 CPUtime=1367.26 cores=1,3,5,7
/proc/457/stat : 457 (SArTagnan) R 455 457 384 0 -1 4202496 1951535 0 0 0 136399 327 0 0 25 0 4 0 521010085 769585152 138901 33554432000 4194304 4623224 140735090907008 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/457/statm: 187887 138901 2473 105 0 183391 0
[pid=457/tid=467] ppid=455 vsize=751548 CPUtime=342.27 cores=1,3,5,7
/proc/457/task/467/stat : 467 (SArTagnan) R 455 457 384 0 -1 4202560 86163 0 0 0 34207 20 0 0 25 0 4 0 521010087 769585152 138901 33554432000 4194304 4623224 140735090907008 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=457/tid=469] ppid=455 vsize=751548 CPUtime=340.38 cores=1,3,5,7
/proc/457/task/469/stat : 469 (SArTagnan) R 455 457 384 0 -1 4202560 48088 0 0 0 34021 17 0 0 25 0 4 0 521010087 769585152 138901 33554432000 4194304 4623224 140735090907008 18446744073709551615 4366446 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=457/tid=471] ppid=455 vsize=751548 CPUtime=342.28 cores=1,3,5,7
/proc/457/task/471/stat : 471 (SArTagnan) R 455 457 384 0 -1 4202560 1779516 0 0 0 33945 283 0 0 25 0 4 0 521010087 769585152 138901 33554432000 4194304 4623224 140735090907008 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1367.26
Current children cumulated vsize (KiB) 751548

[startup+402.301 s]
/proc/loadavg: 8.13 7.89 7.85 9/184 481
/proc/meminfo: memFree=20809424/32950928 swapFree=67111524/67111528
[pid=457] ppid=455 vsize=864516 CPUtime=1606.92 cores=1,3,5,7
/proc/457/stat : 457 (SArTagnan) R 455 457 384 0 -1 4202496 2211126 0 0 0 160325 367 0 0 25 0 4 0 521010085 885264384 155912 33554432000 4194304 4623224 140735090907008 18446744073709551615 4510090 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/457/statm: 216129 155912 3131 105 0 211633 0
[pid=457/tid=467] ppid=455 vsize=864516 CPUtime=402.27 cores=1,3,5,7
/proc/457/task/467/stat : 467 (SArTagnan) R 455 457 384 0 -1 4202560 116576 0 0 0 40203 24 0 0 25 0 4 0 521010087 885264384 155912 33554432000 4194304 4623224 140735090907008 18446744073709551615 4377587 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=457/tid=469] ppid=455 vsize=864516 CPUtime=400.04 cores=1,3,5,7
/proc/457/task/469/stat : 469 (SArTagnan) R 455 457 384 0 -1 4202560 61154 0 0 0 39985 19 0 0 25 0 4 0 521010087 885264384 155912 33554432000 4194304 4623224 140735090907008 18446744073709551615 4357641 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=457/tid=471] ppid=455 vsize=864516 CPUtime=402.28 cores=1,3,5,7
/proc/457/task/471/stat : 471 (SArTagnan) R 455 457 384 0 -1 4202560 1980534 0 0 0 39914 314 0 0 25 0 4 0 521010087 885264384 155912 33554432000 4194304 4623224 140735090907008 18446744073709551615 4550465 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1606.92
Current children cumulated vsize (KiB) 864516

[startup+462.301 s]
/proc/loadavg: 8.12 7.92 7.86 9/184 483
/proc/meminfo: memFree=20692220/32950928 swapFree=67111524/67111528
[pid=457] ppid=455 vsize=880192 CPUtime=1846.58 cores=1,3,5,7
/proc/457/stat : 457 (SArTagnan) R 455 457 384 0 -1 4202496 2541267 0 0 0 184239 419 0 0 25 0 4 0 521010085 901316608 162973 33554432000 4194304 4623224 140735090907008 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/457/statm: 220048 162973 3142 105 0 215552 0
[pid=457/tid=467] ppid=455 vsize=880192 CPUtime=462.28 cores=1,3,5,7
/proc/457/task/467/stat : 467 (SArTagnan) R 455 457 384 0 -1 4202560 117956 0 0 0 46203 25 0 0 25 0 4 0 521010087 901316608 162973 33554432000 4194304 4623224 140735090907008 18446744073709551615 4377587 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=457/tid=469] ppid=455 vsize=880192 CPUtime=459.7 cores=1,3,5,7
/proc/457/task/469/stat : 469 (SArTagnan) R 455 457 384 0 -1 4202560 61856 0 0 0 45950 20 0 0 25 0 4 0 521010087 901316608 162973 33554432000 4194304 4623224 140735090907008 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=457/tid=471] ppid=455 vsize=880192 CPUtime=462.28 cores=1,3,5,7
/proc/457/task/471/stat : 471 (SArTagnan) R 455 457 384 0 -1 4202560 2298041 0 0 0 45865 363 0 0 25 0 4 0 521010087 901316608 162973 33554432000 4194304 4623224 140735090907008 18446744073709551615 4577678 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1846.58
Current children cumulated vsize (KiB) 880192

[startup+522.301 s]
/proc/loadavg: 8.11 7.95 7.87 9/184 485
/proc/meminfo: memFree=20644464/32950928 swapFree=67111524/67111528
[pid=457] ppid=455 vsize=880192 CPUtime=2086.25 cores=1,3,5,7
/proc/457/stat : 457 (SArTagnan) R 455 457 384 0 -1 4202496 2600301 0 0 0 208196 429 0 0 25 0 4 0 521010085 901316608 166700 33554432000 4194304 4623224 140735090907008 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/457/statm: 220048 166700 3130 105 0 215552 0
[pid=457/tid=467] ppid=455 vsize=880192 CPUtime=522.27 cores=1,3,5,7
/proc/457/task/467/stat : 467 (SArTagnan) R 455 457 384 0 -1 4202560 118247 0 0 0 52202 25 0 0 25 0 4 0 521010087 901316608 166700 33554432000 4194304 4623224 140735090907008 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=457/tid=469] ppid=455 vsize=880192 CPUtime=519.37 cores=1,3,5,7
/proc/457/task/469/stat : 469 (SArTagnan) R 455 457 384 0 -1 4202560 62183 0 0 0 51917 20 0 0 25 0 4 0 521010087 901316608 166700 33554432000 4194304 4623224 140735090907008 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=457/tid=471] ppid=455 vsize=880192 CPUtime=522.29 cores=1,3,5,7
/proc/457/task/471/stat : 471 (SArTagnan) R 455 457 384 0 -1 4202560 2346875 0 0 0 51858 371 0 0 25 0 4 0 521010087 901316608 166700 33554432000 4194304 4623224 140735090907008 18446744073709551615 4545376 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2086.25
Current children cumulated vsize (KiB) 880192

[startup+582.301 s]
/proc/loadavg: 8.10 7.97 7.88 9/184 486
/proc/meminfo: memFree=20563956/32950928 swapFree=67111524/67111528
[pid=457] ppid=455 vsize=969096 CPUtime=2325.9 cores=1,3,5,7
/proc/457/stat : 457 (SArTagnan) R 455 457 384 0 -1 4202496 2659912 0 0 0 232151 439 0 0 25 0 4 0 521010085 992354304 175654 33554432000 4194304 4623224 140735090907008 18446744073709551615 4510923 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/457/statm: 242274 175654 3111 105 0 237778 0
[pid=457/tid=467] ppid=455 vsize=969096 CPUtime=582.26 cores=1,3,5,7
/proc/457/task/467/stat : 467 (SArTagnan) R 455 457 384 0 -1 4202560 119740 0 0 0 58200 26 0 0 25 0 4 0 521010087 992354304 175654 33554432000 4194304 4623224 140735090907008 18446744073709551615 4376652 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=457/tid=469] ppid=455 vsize=969096 CPUtime=579.03 cores=1,3,5,7
/proc/457/task/469/stat : 469 (SArTagnan) R 455 457 384 0 -1 4202560 62266 0 0 0 57883 20 0 0 25 0 4 0 521010087 992354304 175654 33554432000 4194304 4623224 140735090907008 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=457/tid=471] ppid=455 vsize=969096 CPUtime=582.29 cores=1,3,5,7
/proc/457/task/471/stat : 471 (SArTagnan) R 455 457 384 0 -1 4202560 2386161 0 0 0 57852 377 0 0 25 0 4 0 521010087 992354304 175654 33554432000 4194304 4623224 140735090907008 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2325.9
Current children cumulated vsize (KiB) 969096

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

[startup+588.801 s]
/proc/loadavg: 8.09 7.97 7.88 9/184 487
/proc/meminfo: memFree=20556020/32950928 swapFree=67111524/67111528
[pid=457] ppid=455 vsize=969096 CPUtime=2351.86 cores=1,3,5,7
/proc/457/stat : 457 (SArTagnan) R 455 457 384 0 -1 4202496 2660426 0 0 0 234747 439 0 0 25 0 4 0 521010085 992354304 176136 33554432000 4194304 4623224 140735090907008 18446744073709551615 4413725 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/457/statm: 242274 176136 3079 105 0 237778 0
[pid=457/tid=467] ppid=455 vsize=969096 CPUtime=588.76 cores=1,3,5,7
/proc/457/task/467/stat : 467 (SArTagnan) R 455 457 384 0 -1 4202560 119740 0 0 0 58850 26 0 0 25 0 4 0 521010087 992354304 176136 33554432000 4194304 4623224 140735090907008 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=457/tid=469] ppid=455 vsize=969096 CPUtime=585.49 cores=1,3,5,7
/proc/457/task/469/stat : 469 (SArTagnan) R 455 457 384 0 -1 4202560 62266 0 0 0 58529 20 0 0 25 0 4 0 521010087 992354304 176136 33554432000 4194304 4623224 140735090907008 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=457/tid=471] ppid=455 vsize=969096 CPUtime=588.78 cores=1,3,5,7
/proc/457/task/471/stat : 471 (SArTagnan) R 455 457 384 0 -1 4202560 2386161 0 0 0 58501 377 0 0 25 0 4 0 521010087 992354304 176136 33554432000 4194304 4623224 140735090907008 18446744073709551615 4545376 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2351.86
Current children cumulated vsize (KiB) 969096

[startup+595.207 s]
/proc/loadavg: 8.08 7.97 7.88 9/184 487
/proc/meminfo: memFree=20550932/32950928 swapFree=67111524/67111528
[pid=457] ppid=455 vsize=969096 CPUtime=2377.44 cores=1,3,5,7
/proc/457/stat : 457 (SArTagnan) R 455 457 384 0 -1 4202496 2661068 0 0 0 237304 440 0 0 25 0 4 0 521010085 992354304 176746 33554432000 4194304 4623224 140735090907008 18446744073709551615 4510090 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/457/statm: 242274 176746 3047 105 0 237778 0
[pid=457/tid=467] ppid=455 vsize=969096 CPUtime=595.16 cores=1,3,5,7
/proc/457/task/467/stat : 467 (SArTagnan) R 455 457 384 0 -1 4202560 119740 0 0 0 59490 26 0 0 25 0 4 0 521010087 992354304 176746 33554432000 4194304 4623224 140735090907008 18446744073709551615 4377576 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=457/tid=469] ppid=455 vsize=969096 CPUtime=591.86 cores=1,3,5,7
/proc/457/task/469/stat : 469 (SArTagnan) R 455 457 384 0 -1 4202560 62266 0 0 0 59166 20 0 0 25 0 4 0 521010087 992354304 176746 33554432000 4194304 4623224 140735090907008 18446744073709551615 4376672 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=457/tid=471] ppid=455 vsize=969096 CPUtime=595.19 cores=1,3,5,7
/proc/457/task/471/stat : 471 (SArTagnan) R 455 457 384 0 -1 4202560 2386173 0 0 0 59142 377 0 0 25 0 4 0 521010087 992354304 176746 33554432000 4194304 4623224 140735090907008 18446744073709551615 4577664 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2377.44
Current children cumulated vsize (KiB) 969096

[startup+598.401 s]
/proc/loadavg: 8.08 7.97 7.88 9/184 487
/proc/meminfo: memFree=20548328/32950928 swapFree=67111524/67111528
[pid=457] ppid=455 vsize=969096 CPUtime=2390.2 cores=1,3,5,7
/proc/457/stat : 457 (SArTagnan) R 455 457 384 0 -1 4202496 2661404 0 0 0 238580 440 0 0 25 0 4 0 521010085 992354304 177046 33554432000 4194304 4623224 140735090907008 18446744073709551615 4510090 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/457/statm: 242274 177046 3011 105 0 237778 0
[pid=457/tid=467] ppid=455 vsize=969096 CPUtime=598.35 cores=1,3,5,7
/proc/457/task/467/stat : 467 (SArTagnan) R 455 457 384 0 -1 4202560 119740 0 0 0 59809 26 0 0 25 0 4 0 521010087 992354304 177046 33554432000 4194304 4623224 140735090907008 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=457/tid=469] ppid=455 vsize=969096 CPUtime=595.04 cores=1,3,5,7
/proc/457/task/469/stat : 469 (SArTagnan) R 455 457 384 0 -1 4202560 62266 0 0 0 59484 20 0 0 25 0 4 0 521010087 992354304 177046 33554432000 4194304 4623224 140735090907008 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=457/tid=471] ppid=455 vsize=969096 CPUtime=598.39 cores=1,3,5,7
/proc/457/task/471/stat : 471 (SArTagnan) R 455 457 384 0 -1 4202560 2386173 0 0 0 59462 377 0 0 25 0 4 0 521010087 992354304 177046 33554432000 4194304 4623224 140735090907008 18446744073709551615 4545376 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2390.2
Current children cumulated vsize (KiB) 969096

[startup+599.201 s]
/proc/loadavg: 8.08 7.97 7.88 9/184 487
/proc/meminfo: memFree=20548328/32950928 swapFree=67111524/67111528
[pid=457] ppid=455 vsize=969096 CPUtime=2393.39 cores=1,3,5,7
/proc/457/stat : 457 (SArTagnan) R 455 457 384 0 -1 4202496 2661701 0 0 0 238899 440 0 0 25 0 4 0 521010085 992354304 177298 33554432000 4194304 4623224 140735090907008 18446744073709551615 4412329 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/457/statm: 242274 177298 2966 105 0 237778 0
[pid=457/tid=467] ppid=455 vsize=969096 CPUtime=599.14 cores=1,3,5,7
/proc/457/task/467/stat : 467 (SArTagnan) R 455 457 384 0 -1 4202560 119740 0 0 0 59888 26 0 0 25 0 4 0 521010087 992354304 177298 33554432000 4194304 4623224 140735090907008 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=457/tid=469] ppid=455 vsize=969096 CPUtime=595.83 cores=1,3,5,7
/proc/457/task/469/stat : 469 (SArTagnan) R 455 457 384 0 -1 4202560 62266 0 0 0 59563 20 0 0 25 0 4 0 521010087 992354304 177298 33554432000 4194304 4623224 140735090907008 18446744073709551615 4366369 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=457/tid=471] ppid=455 vsize=969096 CPUtime=599.18 cores=1,3,5,7
/proc/457/task/471/stat : 471 (SArTagnan) R 455 457 384 0 -1 4202560 2386173 0 0 0 59541 377 0 0 25 0 4 0 521010087 992354304 177298 33554432000 4194304 4623224 140735090907008 18446744073709551615 268272344059 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2393.39
Current children cumulated vsize (KiB) 969096

[startup+600.001 s]
/proc/loadavg: 8.07 7.97 7.88 9/184 487
/proc/meminfo: memFree=20541880/32950928 swapFree=67111524/67111528
[pid=457] ppid=455 vsize=969096 CPUtime=2396.57 cores=1,3,5,7
/proc/457/stat : 457 (SArTagnan) R 455 457 384 0 -1 4202496 2661913 0 0 0 239216 441 0 0 25 0 4 0 521010085 992354304 177480 33554432000 4194304 4623224 140735090907008 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/457/statm: 242274 177480 2936 105 0 237778 0
[pid=457/tid=467] ppid=455 vsize=969096 CPUtime=599.93 cores=1,3,5,7
/proc/457/task/467/stat : 467 (SArTagnan) R 455 457 384 0 -1 4202560 119740 0 0 0 59967 26 0 0 25 0 4 0 521010087 992354304 177480 33554432000 4194304 4623224 140735090907008 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=457/tid=469] ppid=455 vsize=969096 CPUtime=596.61 cores=1,3,5,7
/proc/457/task/469/stat : 469 (SArTagnan) R 455 457 384 0 -1 4202560 62266 0 0 0 59641 20 0 0 25 0 4 0 521010087 992354304 177480 33554432000 4194304 4623224 140735090907008 18446744073709551615 4376672 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=457/tid=471] ppid=455 vsize=969096 CPUtime=599.98 cores=1,3,5,7
/proc/457/task/471/stat : 471 (SArTagnan) R 455 457 384 0 -1 4202560 2386173 0 0 0 59621 377 0 0 25 0 4 0 521010087 992354304 177480 33554432000 4194304 4623224 140735090907008 18446744073709551615 4545376 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2396.57
Current children cumulated vsize (KiB) 969096

[startup+600.201 s]
/proc/loadavg: 8.07 7.97 7.88 9/184 487
/proc/meminfo: memFree=20541880/32950928 swapFree=67111524/67111528
[pid=457] ppid=455 vsize=0 CPUtime=2397.32 cores=1,3,5,7
/proc/457/stat : 457 (SArTagnan) Z 455 457 384 0 -1 4203548 2662216 0 0 0 239290 442 0 0 25 0 2 0 521010085 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/457/statm: 0 0 0 0 0 0 0
[pid=457/tid=467] ppid=455 vsize=0 CPUtime=600.14 cores=1,3,5,7
/proc/457/task/467/stat : 467 (SArTagnan) R 455 457 384 0 -1 4203588 119740 0 0 0 59986 28 0 0 25 0 2 0 521010087 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2397.32
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 600.22
CPU time (s): 2397.35
CPU user time (s): 2392.9
CPU system time (s): 4.44632
CPU usage (%): 399.411
Max. virtual memory (cumulated for all children) (KiB): 969096

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2392.9
system time used= 4.44632
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2662216
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= 1767
involuntary context switches= 9425

runsolver used 0.901862 second user time and 2.37364 second system time

The end

Launcher Data 

Begin job on node122 at 2011-04-29 18:21:53
IDJOB=3262224
IDBENCH=83285
IDSOLVER=1656
FILE ID=node122/3262224-1304094113
RUNJOBID= node122-1304094031-403
PBS_JOBID= 13170588
Free space on /tmp= 71664 MiB

SOLVER NAME= SArTagnan 2011-03-24
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-3262224-1304094113/watcher-3262224-1304094113 -o /tmp/evaluation-result-3262224-1304094113/solver-3262224-1304094113 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3262224-1304094113.cnf -threads=4

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

MD5SUM BENCH= 4e87573be2b7b7324c13131d6c6896b8
RANDOM SEED=1532744083

node122.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.820
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.64
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.820
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.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
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.83
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.820
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.75
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.820
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.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
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.97
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      21900776 kB
Buffers:       1629404 kB
Cached:        8553168 kB
SwapCached:          4 kB
Active:        1349204 kB
Inactive:      9151896 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      21900776 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:             804 kB
Writeback:          32 kB
AnonPages:      318600 kB
Mapped:          15700 kB
Slab:           486092 kB
PageTables:       5352 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   529540 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= 71664 MiB
End job on node122 at 2011-04-29 18:31:53