Trace number 3285725

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SArTagnan 2011-03-24? (exit code) 3259.92 817.32

General information on the benchmark

Nameapplication/rintanen/SATPlanning/
sokoban-sequential-p145-microban-sequential.080-SAT.cnf
MD5SUM1ca09a2b911e29894c6603aee8d3e672
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark153.91
Satisfiable
(Un)Satisfiability was proved
Number of variables175084
Number of clauses2826936
Sum of the clauses size6454456
Maximum clause length78
Minimum clause length1
Number of clauses of size 1696
Number of clauses of size 22728320
Number of clauses of size 37680
Number of clauses of size 435520
Number of clauses of size 515360
Number of clauses of size over 539360

Solver Data


Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3285725-1304062885/watcher-3285725-1304062885 -o /tmp/evaluation-result-3285725-1304062885/solver-3285725-1304062885 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3285725-1304062885.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: 8.25 8.07 7.85 5/180 29459
/proc/meminfo: memFree=14566956/32950928 swapFree=67111524/67111528
[pid=29459] ppid=29457 vsize=21236 CPUtime=0 cores=0,2,4,6
/proc/29459/stat : 29459 (SArTagnan) R 29457 29459 28847 0 -1 4202496 933 0 0 0 0 0 0 0 22 0 1 0 517887420 21745664 871 33554432000 4194304 4623224 140736537337040 18446744073709551615 4315013 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/29459/statm: 5309 873 290 105 0 813 0

[startup+0.0987511 s]
/proc/loadavg: 8.25 8.07 7.85 5/180 29459
/proc/meminfo: memFree=14566956/32950928 swapFree=67111524/67111528
[pid=29459] ppid=29457 vsize=100584 CPUtime=0.08 cores=0,2,4,6
/proc/29459/stat : 29459 (SArTagnan) R 29457 29459 28847 0 -1 4202496 4117 0 0 0 8 0 0 0 22 0 1 0 517887420 102998016 3787 33554432000 4194304 4623224 140736537337040 18446744073709551615 268272688896 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/29459/statm: 25146 3787 301 105 0 20650 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 100584

[startup+0.100747 s]
/proc/loadavg: 8.25 8.07 7.85 5/180 29459
/proc/meminfo: memFree=14566956/32950928 swapFree=67111524/67111528
[pid=29459] ppid=29457 vsize=100584 CPUtime=0.09 cores=0,2,4,6
/proc/29459/stat : 29459 (SArTagnan) R 29457 29459 28847 0 -1 4202496 4124 0 0 0 9 0 0 0 23 0 1 0 517887420 102998016 3794 33554432000 4194304 4623224 140736537337040 18446744073709551615 268272688896 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/29459/statm: 25146 3794 301 105 0 20650 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 100584

[startup+0.300715 s]
/proc/loadavg: 8.25 8.07 7.85 5/180 29459
/proc/meminfo: memFree=14566956/32950928 swapFree=67111524/67111528
[pid=29459] ppid=29457 vsize=123532 CPUtime=0.29 cores=0,2,4,6
/proc/29459/stat : 29459 (SArTagnan) R 29457 29459 28847 0 -1 4202496 10883 0 0 0 28 1 0 0 24 0 1 0 517887420 126496768 7173 33554432000 4194304 4623224 140736537337040 18446744073709551615 268272386517 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/29459/statm: 30883 7190 301 105 0 26387 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 123532

[startup+0.700643 s]
/proc/loadavg: 8.25 8.07 7.85 5/180 29459
/proc/meminfo: memFree=14566956/32950928 swapFree=67111524/67111528
[pid=29459] ppid=29457 vsize=142076 CPUtime=0.69 cores=0,2,4,6
/proc/29459/stat : 29459 (SArTagnan) R 29457 29459 28847 0 -1 4202496 25688 0 0 0 66 3 0 0 25 0 1 0 517887420 145485824 13177 33554432000 4194304 4623224 140736537337040 18446744073709551615 268272307777 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/29459/statm: 35519 13177 301 105 0 31023 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 142076

[startup+1.5005 s]
/proc/loadavg: 8.25 8.07 7.85 9/184 29463
/proc/meminfo: memFree=14368284/32950928 swapFree=67111524/67111528
[pid=29459] ppid=29457 vsize=547828 CPUtime=3.01 cores=0,2,4,6
/proc/29459/stat : 29459 (SArTagnan) R 29457 29459 28847 0 -1 4202496 73319 0 0 0 293 8 0 0 25 0 4 0 517887420 560975872 53561 33554432000 4194304 4623224 140736537337040 18446744073709551615 4368609 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29459/statm: 136957 53561 334 105 0 132461 0
[pid=29459/tid=29461] ppid=29457 vsize=547828 CPUtime=0.51 cores=0,2,4,6
/proc/29459/task/29461/stat : 29461 (SArTagnan) R 29457 29459 28847 0 -1 4202560 969 0 0 0 51 0 0 0 25 0 4 0 517887519 560975872 53561 33554432000 4194304 4623224 140736537337040 18446744073709551615 4364521 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29459/tid=29462] ppid=29457 vsize=547828 CPUtime=0.5 cores=0,2,4,6
/proc/29459/task/29462/stat : 29462 (SArTagnan) R 29457 29459 28847 0 -1 4202560 1157 0 0 0 50 0 0 0 25 0 4 0 517887519 560975872 53561 33554432000 4194304 4623224 140736537337040 18446744073709551615 4204720 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29459/tid=29463] ppid=29457 vsize=547828 CPUtime=0.5 cores=0,2,4,6
/proc/29459/task/29463/stat : 29463 (SArTagnan) R 29457 29459 28847 0 -1 4202560 640 0 0 0 50 0 0 0 25 0 4 0 517887519 560975872 53561 33554432000 4194304 4623224 140736537337040 18446744073709551615 4278229 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 547828

[startup+3.10022 s]
/proc/loadavg: 8.22 8.07 7.85 9/184 29463
/proc/meminfo: memFree=14354148/32950928 swapFree=67111524/67111528
[pid=29459] ppid=29457 vsize=547828 CPUtime=9.4 cores=0,2,4,6
/proc/29459/stat : 29459 (SArTagnan) R 29457 29459 28847 0 -1 4202496 82901 0 0 0 930 10 0 0 25 0 4 0 517887420 560975872 61350 33554432000 4194304 4623224 140736537337040 18446744073709551615 4412457 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29459/statm: 136957 61350 342 105 0 132461 0
[pid=29459/tid=29461] ppid=29457 vsize=547828 CPUtime=2.1 cores=0,2,4,6
/proc/29459/task/29461/stat : 29461 (SArTagnan) R 29457 29459 28847 0 -1 4202560 1036 0 0 0 210 0 0 0 25 0 4 0 517887519 560975872 61350 33554432000 4194304 4623224 140736537337040 18446744073709551615 4462398 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29459/tid=29462] ppid=29457 vsize=547828 CPUtime=2.1 cores=0,2,4,6
/proc/29459/task/29462/stat : 29462 (SArTagnan) R 29457 29459 28847 0 -1 4202560 2343 0 0 0 210 0 0 0 18 0 4 0 517887519 560975872 61350 33554432000 4194304 4623224 140736537337040 18446744073709551615 4317194 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29459/tid=29463] ppid=29457 vsize=547828 CPUtime=2.09 cores=0,2,4,6
/proc/29459/task/29463/stat : 29463 (SArTagnan) R 29457 29459 28847 0 -1 4202560 1764 0 0 0 209 0 0 0 25 0 4 0 517887519 560975872 61350 33554432000 4194304 4623224 140736537337040 18446744073709551615 4376550 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 9.4
Current children cumulated vsize (KiB) 547828

[startup+6.30065 s]
/proc/loadavg: 8.22 8.07 7.85 9/184 29463
/proc/meminfo: memFree=14275744/32950928 swapFree=67111524/67111528
[pid=29459] ppid=29457 vsize=585156 CPUtime=22.18 cores=0,2,4,6
/proc/29459/stat : 29459 (SArTagnan) R 29457 29459 28847 0 -1 4202496 101431 0 0 0 2205 13 0 0 25 0 4 0 517887420 599199744 70474 33554432000 4194304 4623224 140736537337040 18446744073709551615 4412768 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29459/statm: 146289 70474 335 105 0 141793 0
[pid=29459/tid=29461] ppid=29457 vsize=585156 CPUtime=5.29 cores=0,2,4,6
/proc/29459/task/29461/stat : 29461 (SArTagnan) R 29457 29459 28847 0 -1 4202560 1194 0 0 0 529 0 0 0 25 0 4 0 517887519 599199744 70474 33554432000 4194304 4623224 140736537337040 18446744073709551615 4376634 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29459/tid=29462] ppid=29457 vsize=585156 CPUtime=5.3 cores=0,2,4,6
/proc/29459/task/29462/stat : 29462 (SArTagnan) R 29457 29459 28847 0 -1 4202560 4441 0 0 0 530 0 0 0 25 0 4 0 517887519 599199744 70474 33554432000 4194304 4623224 140736537337040 18446744073709551615 4462365 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29459/tid=29463] ppid=29457 vsize=585156 CPUtime=5.27 cores=0,2,4,6
/proc/29459/task/29463/stat : 29463 (SArTagnan) R 29457 29459 28847 0 -1 4202560 1825 0 0 0 527 0 0 0 25 0 4 0 517887519 599199744 70474 33554432000 4194304 4623224 140736537337040 18446744073709551615 4330680 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 22.18
Current children cumulated vsize (KiB) 585156

[startup+12.7005 s]
/proc/loadavg: 8.19 8.07 7.85 9/184 29463
/proc/meminfo: memFree=13824784/32950928 swapFree=67111524/67111528
[pid=29459] ppid=29457 vsize=609200 CPUtime=47.75 cores=0,2,4,6
/proc/29459/stat : 29459 (SArTagnan) R 29457 29459 28847 0 -1 4202496 136324 0 0 0 4756 19 0 0 25 0 4 0 517887420 623820800 91547 33554432000 4194304 4623224 140736537337040 18446744073709551615 4412473 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29459/statm: 152300 91547 405 105 0 147804 0
[pid=29459/tid=29461] ppid=29457 vsize=609200 CPUtime=11.69 cores=0,2,4,6
/proc/29459/task/29461/stat : 29461 (SArTagnan) R 29457 29459 28847 0 -1 4202560 2396 0 0 0 1169 0 0 0 25 0 4 0 517887519 623820800 91547 33554432000 4194304 4623224 140736537337040 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29459/tid=29462] ppid=29457 vsize=609200 CPUtime=11.7 cores=0,2,4,6
/proc/29459/task/29462/stat : 29462 (SArTagnan) R 29457 29459 28847 0 -1 4202560 10420 0 0 0 1168 2 0 0 25 0 4 0 517887519 623820800 91547 33554432000 4194304 4623224 140736537337040 18446744073709551615 4317176 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29459/tid=29463] ppid=29457 vsize=609200 CPUtime=11.64 cores=0,2,4,6
/proc/29459/task/29463/stat : 29463 (SArTagnan) R 29457 29459 28847 0 -1 4202560 4619 0 0 0 1163 1 0 0 25 0 4 0 517887519 623820800 91547 33554432000 4194304 4623224 140736537337040 18446744073709551615 4289723 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 47.75
Current children cumulated vsize (KiB) 609200

[startup+25.5002 s]
/proc/loadavg: 8.16 8.06 7.85 9/184 29464
/proc/meminfo: memFree=13566560/32950928 swapFree=67111524/67111528
[pid=29459] ppid=29457 vsize=763420 CPUtime=98.88 cores=0,2,4,6
/proc/29459/stat : 29459 (SArTagnan) R 29457 29459 28847 0 -1 4202496 223904 0 0 0 9852 36 0 0 25 0 4 0 517887420 781742080 122695 33554432000 4194304 4623224 140736537337040 18446744073709551615 4412457 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29459/statm: 190855 122695 350 105 0 186359 0
[pid=29459/tid=29461] ppid=29457 vsize=763420 CPUtime=24.49 cores=0,2,4,6
/proc/29459/task/29461/stat : 29461 (SArTagnan) R 29457 29459 28847 0 -1 4202560 8159 0 0 0 2448 1 0 0 25 0 4 0 517887519 781742080 122695 33554432000 4194304 4623224 140736537337040 18446744073709551615 4289853 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29459/tid=29462] ppid=29457 vsize=763420 CPUtime=24.49 cores=0,2,4,6
/proc/29459/task/29462/stat : 29462 (SArTagnan) R 29457 29459 28847 0 -1 4202560 20676 0 0 0 2445 4 0 0 25 0 4 0 517887519 781742080 122695 33554432000 4194304 4623224 140736537337040 18446744073709551615 4376536 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29459/tid=29463] ppid=29457 vsize=763420 CPUtime=24.37 cores=0,2,4,6
/proc/29459/task/29463/stat : 29463 (SArTagnan) R 29457 29459 28847 0 -1 4202560 23260 0 0 0 2433 4 0 0 25 0 4 0 517887519 781742080 122695 33554432000 4194304 4623224 140736537337040 18446744073709551615 4552683 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 98.88
Current children cumulated vsize (KiB) 763420

[startup+51.1007 s]
/proc/loadavg: 7.86 8.01 7.84 6/181 29491
/proc/meminfo: memFree=21149392/32950928 swapFree=67111524/67111528
[pid=29459] ppid=29457 vsize=990296 CPUtime=201.11 cores=0,2,4,6
/proc/29459/stat : 29459 (SArTagnan) R 29457 29459 28847 0 -1 4202496 342493 0 0 0 20051 60 0 0 25 0 4 0 517887420 1014063104 180393 33554432000 4194304 4623224 140736537337040 18446744073709551615 4412513 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29459/statm: 247574 180393 335 105 0 243078 0
[pid=29459/tid=29461] ppid=29457 vsize=990296 CPUtime=50.06 cores=0,2,4,6
/proc/29459/task/29461/stat : 29461 (SArTagnan) R 29457 29459 28847 0 -1 4202560 17494 0 0 0 5000 6 0 0 25 0 4 0 517887519 1014063104 180393 33554432000 4194304 4623224 140736537337040 18446744073709551615 4463067 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29459/tid=29462] ppid=29457 vsize=990296 CPUtime=50.09 cores=0,2,4,6
/proc/29459/task/29462/stat : 29462 (SArTagnan) R 29457 29459 28847 0 -1 4202560 43146 0 0 0 5000 9 0 0 25 0 4 0 517887519 1014063104 180393 33554432000 4194304 4623224 140736537337040 18446744073709551615 4289723 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29459/tid=29463] ppid=29457 vsize=990296 CPUtime=49.84 cores=0,2,4,6
/proc/29459/task/29463/stat : 29463 (SArTagnan) R 29457 29459 28847 0 -1 4202560 51188 0 0 0 4976 8 0 0 25 0 4 0 517887519 1014063104 180393 33554432000 4194304 4623224 140736537337040 18446744073709551615 4545209 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 201.11
Current children cumulated vsize (KiB) 990296

[startup+102.307 s]
/proc/loadavg: 7.87 7.97 7.83 9/184 29496
/proc/meminfo: memFree=19115204/32950928 swapFree=67111524/67111528
[pid=29459] ppid=29457 vsize=1967496 CPUtime=405.63 cores=0,2,4,6
/proc/29459/stat : 29459 (SArTagnan) R 29457 29459 28847 0 -1 4202496 909702 0 0 0 40406 157 0 0 25 0 4 0 517887420 2014715904 383914 33554432000 4194304 4623224 140736537337040 18446744073709551615 4412507 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29459/statm: 491874 383914 415 105 0 487378 0
[pid=29459/tid=29461] ppid=29457 vsize=1967496 CPUtime=101.23 cores=0,2,4,6
/proc/29459/task/29461/stat : 29461 (SArTagnan) R 29457 29459 28847 0 -1 4202560 55195 0 0 0 10109 14 0 0 25 0 4 0 517887519 2014715904 383914 33554432000 4194304 4623224 140736537337040 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29459/tid=29462] ppid=29457 vsize=1967496 CPUtime=101.29 cores=0,2,4,6
/proc/29459/task/29462/stat : 29462 (SArTagnan) R 29457 29459 28847 0 -1 4202560 89502 0 0 0 10113 16 0 0 25 0 4 0 517887519 2014715904 383914 33554432000 4194304 4623224 140736537337040 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29459/tid=29463] ppid=29457 vsize=1967496 CPUtime=100.77 cores=0,2,4,6
/proc/29459/task/29463/stat : 29463 (SArTagnan) R 29457 29459 28847 0 -1 4202560 142143 0 0 0 10057 20 0 0 25 0 4 0 517887519 2014715904 383914 33554432000 4194304 4623224 140736537337040 18446744073709551615 4363755 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 405.63
Current children cumulated vsize (KiB) 1967496

[startup+162.301 s]
/proc/loadavg: 7.98 7.99 7.84 9/184 29497
/proc/meminfo: memFree=17907244/32950928 swapFree=67111524/67111528
[pid=29459] ppid=29457 vsize=2383488 CPUtime=645.28 cores=0,2,4,6
/proc/29459/stat : 29459 (SArTagnan) R 29457 29459 28847 0 -1 4202496 1158765 0 0 0 64321 207 0 0 25 0 4 0 517887420 2440691712 483947 33554432000 4194304 4623224 140736537337040 18446744073709551615 4507293 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29459/statm: 595872 483947 343 105 0 591376 0
[pid=29459/tid=29461] ppid=29457 vsize=2383488 CPUtime=161.21 cores=0,2,4,6
/proc/29459/task/29461/stat : 29461 (SArTagnan) R 29457 29459 28847 0 -1 4202560 65107 0 0 0 16104 17 0 0 25 0 4 0 517887519 2440691712 483947 33554432000 4194304 4623224 140736537337040 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29459/tid=29462] ppid=29457 vsize=2383488 CPUtime=161.29 cores=0,2,4,6
/proc/29459/task/29462/stat : 29462 (SArTagnan) R 29457 29459 28847 0 -1 4202560 117600 0 0 0 16106 23 0 0 25 0 4 0 517887519 2440691712 483947 33554432000 4194304 4623224 140736537337040 18446744073709551615 4357776 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29459/tid=29463] ppid=29457 vsize=2383488 CPUtime=160.45 cores=0,2,4,6
/proc/29459/task/29463/stat : 29463 (SArTagnan) R 29457 29459 28847 0 -1 4202560 258770 0 0 0 16008 37 0 0 25 0 4 0 517887519 2440691712 483947 33554432000 4194304 4623224 140736537337040 18446744073709551615 268272386512 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 645.28
Current children cumulated vsize (KiB) 2383488

[startup+222.301 s]
/proc/loadavg: 8.02 8.00 7.85 9/184 29499
/proc/meminfo: memFree=16766008/32950928 swapFree=67111524/67111528
[pid=29459] ppid=29457 vsize=2384084 CPUtime=884.95 cores=0,2,4,6
/proc/29459/stat : 29459 (SArTagnan) R 29457 29459 28847 0 -1 4202496 1334818 0 0 0 88260 235 0 0 25 0 4 0 517887420 2441302016 488650 33554432000 4194304 4623224 140736537337040 18446744073709551615 4510217 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29459/statm: 596021 488650 343 105 0 591525 0
[pid=29459/tid=29461] ppid=29457 vsize=2384084 CPUtime=221.2 cores=0,2,4,6
/proc/29459/task/29461/stat : 29461 (SArTagnan) R 29457 29459 28847 0 -1 4202560 65120 0 0 0 22103 17 0 0 25 0 4 0 517887519 2441302016 488650 33554432000 4194304 4623224 140736537337040 18446744073709551615 4357641 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29459/tid=29462] ppid=29457 vsize=2384084 CPUtime=221.3 cores=0,2,4,6
/proc/29459/task/29462/stat : 29462 (SArTagnan) R 29457 29459 28847 0 -1 4202560 117727 0 0 0 22107 23 0 0 25 0 4 0 517887519 2441302016 488650 33554432000 4194304 4623224 140736537337040 18446744073709551615 4357622 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29459/tid=29463] ppid=29457 vsize=2384084 CPUtime=220.12 cores=0,2,4,6
/proc/29459/task/29463/stat : 29463 (SArTagnan) R 29457 29459 28847 0 -1 4202560 432259 0 0 0 21947 65 0 0 25 0 4 0 517887519 2441302016 488650 33554432000 4194304 4623224 140736537337040 18446744073709551615 4552660 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 884.95
Current children cumulated vsize (KiB) 2384084

[startup+282.301 s]

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

[pid=29459] ppid=29457 vsize=7608964 CPUtime=2322.71 cores=0,2,4,6
/proc/29459/stat : 29459 (SArTagnan) R 29457 29459 28847 0 -1 4202496 5056490 0 0 0 231435 836 0 0 25 0 4 0 517887420 7791579136 1567925 33554432000 4194304 4623224 140736537337040 18446744073709551615 4510090 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29459/statm: 1902241 1567925 343 105 0 1897745 0
[pid=29459/tid=29461] ppid=29457 vsize=7608964 CPUtime=581.16 cores=0,2,4,6
/proc/29459/task/29461/stat : 29461 (SArTagnan) R 29457 29459 28847 0 -1 4202560 82024 0 0 0 58095 21 0 0 25 0 4 0 517887519 7791579136 1567925 33554432000 4194304 4623224 140736537337040 18446744073709551615 4486238 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29459/tid=29462] ppid=29457 vsize=7608964 CPUtime=581.18 cores=0,2,4,6
/proc/29459/task/29462/stat : 29462 (SArTagnan) R 29457 29459 28847 0 -1 4202560 383523 0 0 0 58040 78 0 0 25 0 4 0 517887519 7791579136 1567925 33554432000 4194304 4623224 140736537337040 18446744073709551615 4462443 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29459/tid=29463] ppid=29457 vsize=7608964 CPUtime=578.05 cores=0,2,4,6
/proc/29459/task/29463/stat : 29463 (SArTagnan) R 29457 29459 28847 0 -1 4202560 1450160 0 0 0 57593 212 0 0 25 0 4 0 517887519 7791579136 1567925 33554432000 4194304 4623224 140736537337040 18446744073709551615 4376584 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2322.71
Current children cumulated vsize (KiB) 7608964

[startup+642.3 s]
/proc/loadavg: 8.13 8.07 7.93 9/184 29510
/proc/meminfo: memFree=10914384/32950928 swapFree=67111524/67111528
[pid=29459] ppid=29457 vsize=8135616 CPUtime=2562.4 cores=0,2,4,6
/proc/29459/stat : 29459 (SArTagnan) R 29457 29459 28847 0 -1 4202496 5608558 0 0 0 255297 943 0 0 25 0 4 0 517887420 8330870784 1810094 33554432000 4194304 4623224 140736537337040 18446744073709551615 4412446 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29459/statm: 2033904 1810094 343 105 0 2029408 0
[pid=29459/tid=29461] ppid=29457 vsize=8135616 CPUtime=641.16 cores=0,2,4,6
/proc/29459/task/29461/stat : 29461 (SArTagnan) R 29457 29459 28847 0 -1 4202560 83238 0 0 0 64095 21 0 0 25 0 4 0 517887519 8330870784 1810094 33554432000 4194304 4623224 140736537337040 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29459/tid=29462] ppid=29457 vsize=8135616 CPUtime=641.18 cores=0,2,4,6
/proc/29459/task/29462/stat : 29462 (SArTagnan) R 29457 29459 28847 0 -1 4202560 465339 0 0 0 64020 98 0 0 25 0 4 0 517887519 8330870784 1810094 33554432000 4194304 4623224 140736537337040 18446744073709551615 4317180 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29459/tid=29463] ppid=29457 vsize=8135616 CPUtime=637.75 cores=0,2,4,6
/proc/29459/task/29463/stat : 29463 (SArTagnan) R 29457 29459 28847 0 -1 4202560 1683234 0 0 0 63530 245 0 0 25 0 4 0 517887519 8330870784 1810094 33554432000 4194304 4623224 140736537337040 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2562.4
Current children cumulated vsize (KiB) 8135616

[startup+702.301 s]
/proc/loadavg: 8.19 8.10 7.94 9/184 29512
/proc/meminfo: memFree=9574496/32950928 swapFree=67111524/67111528
[pid=29459] ppid=29457 vsize=10358316 CPUtime=2801.86 cores=0,2,4,6
/proc/29459/stat : 29459 (SArTagnan) R 29457 29459 28847 0 -1 4202496 6990618 0 0 0 279039 1147 0 0 25 0 4 0 517887420 10606915584 2131534 33554432000 4194304 4623224 140736537337040 18446744073709551615 4387993 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29459/statm: 2589579 2131534 432 105 0 2585083 0
[pid=29459/tid=29461] ppid=29457 vsize=10358316 CPUtime=701.15 cores=0,2,4,6
/proc/29459/task/29461/stat : 29461 (SArTagnan) R 29457 29459 28847 0 -1 4202560 84702 0 0 0 70094 21 0 0 25 0 4 0 517887519 10606915584 2131534 33554432000 4194304 4623224 140736537337040 18446744073709551615 4486238 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29459/tid=29462] ppid=29457 vsize=10358316 CPUtime=701.1 cores=0,2,4,6
/proc/29459/task/29462/stat : 29462 (SArTagnan) R 29457 29459 28847 0 -1 4202560 533484 0 0 0 69996 114 0 0 25 0 4 0 517887519 10606915584 2131534 33554432000 4194304 4623224 140736537337040 18446744073709551615 4317199 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29459/tid=29463] ppid=29457 vsize=10358316 CPUtime=697.3 cores=0,2,4,6
/proc/29459/task/29463/stat : 29463 (SArTagnan) R 29457 29459 28847 0 -1 4202560 1856556 0 0 0 69463 267 0 0 25 0 4 0 517887519 10606915584 2131534 33554432000 4194304 4623224 140736537337040 18446744073709551615 4552678 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2801.86
Current children cumulated vsize (KiB) 10358316

[startup+762.306 s]
/proc/loadavg: 8.16 8.11 7.95 9/184 29513
/proc/meminfo: memFree=8449932/32950928 swapFree=67111524/67111528
[pid=29459] ppid=29457 vsize=11009212 CPUtime=3041.55 cores=0,2,4,6
/proc/29459/stat : 29459 (SArTagnan) R 29457 29459 28847 0 -1 4202496 7597502 0 0 0 302912 1243 0 0 25 0 4 0 517887420 11273433088 2396674 33554432000 4194304 4623224 140736537337040 18446744073709551615 4412473 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29459/statm: 2752303 2396674 343 105 0 2747807 0
[pid=29459/tid=29461] ppid=29457 vsize=11009212 CPUtime=761.15 cores=0,2,4,6
/proc/29459/task/29461/stat : 29461 (SArTagnan) R 29457 29459 28847 0 -1 4202560 103072 0 0 0 76092 23 0 0 25 0 4 0 517887519 11273433088 2396674 33554432000 4194304 4623224 140736537337040 18446744073709551615 4486238 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29459/tid=29462] ppid=29457 vsize=11009212 CPUtime=761.1 cores=0,2,4,6
/proc/29459/task/29462/stat : 29462 (SArTagnan) R 29457 29459 28847 0 -1 4202560 591659 0 0 0 75985 125 0 0 25 0 4 0 517887519 11273433088 2396674 33554432000 4194304 4623224 140736537337040 18446744073709551615 4317214 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29459/tid=29463] ppid=29457 vsize=11009212 CPUtime=756.98 cores=0,2,4,6
/proc/29459/task/29463/stat : 29463 (SArTagnan) R 29457 29459 28847 0 -1 4202560 2101421 0 0 0 75399 299 0 0 25 0 4 0 517887519 11273433088 2396674 33554432000 4194304 4623224 140736537337040 18446744073709551615 4289664 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3041.55
Current children cumulated vsize (KiB) 11009212

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

[startup+767.901 s]
/proc/loadavg: 8.14 8.11 7.95 9/184 29514
/proc/meminfo: memFree=8355568/32950928 swapFree=67111524/67111528
[pid=29459] ppid=29457 vsize=11074748 CPUtime=3063.9 cores=0,2,4,6
/proc/29459/stat : 29459 (SArTagnan) R 29457 29459 28847 0 -1 4202496 7656875 0 0 0 305136 1254 0 0 25 0 4 0 517887420 11340541952 2424112 33554432000 4194304 4623224 140736537337040 18446744073709551615 4412513 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29459/statm: 2768687 2424112 343 105 0 2764191 0
[pid=29459/tid=29461] ppid=29457 vsize=11074748 CPUtime=766.75 cores=0,2,4,6
/proc/29459/task/29461/stat : 29461 (SArTagnan) R 29457 29459 28847 0 -1 4202560 103195 0 0 0 76652 23 0 0 25 0 4 0 517887519 11340541952 2424112 33554432000 4194304 4623224 140736537337040 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29459/tid=29462] ppid=29457 vsize=11074748 CPUtime=766.69 cores=0,2,4,6
/proc/29459/task/29462/stat : 29462 (SArTagnan) R 29457 29459 28847 0 -1 4202560 596789 0 0 0 76543 126 0 0 25 0 4 0 517887519 11340541952 2424112 33554432000 4194304 4623224 140736537337040 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29459/tid=29463] ppid=29457 vsize=11074748 CPUtime=762.54 cores=0,2,4,6
/proc/29459/task/29463/stat : 29463 (SArTagnan) R 29457 29459 28847 0 -1 4202560 2125929 0 0 0 75952 302 0 0 25 0 4 0 517887519 11340541952 2424112 33554432000 4194304 4623224 140736537337040 18446744073709551615 4289723 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3063.9
Current children cumulated vsize (KiB) 11074748

[startup+793.501 s]
/proc/loadavg: 8.17 8.11 7.96 9/184 29514
/proc/meminfo: memFree=7695496/32950928 swapFree=67111524/67111528
[pid=29459] ppid=29457 vsize=11467964 CPUtime=3166.15 cores=0,2,4,6
/proc/29459/stat : 29459 (SArTagnan) R 29457 29459 28847 0 -1 4202496 7967075 0 0 0 315299 1316 0 0 25 0 4 0 517887420 11743195136 2580064 33554432000 4194304 4623224 140736537337040 18446744073709551615 4388116 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29459/statm: 2866991 2580064 343 105 0 2862495 0
[pid=29459/tid=29461] ppid=29457 vsize=11467964 CPUtime=792.34 cores=0,2,4,6
/proc/29459/task/29461/stat : 29461 (SArTagnan) R 29457 29459 28847 0 -1 4202560 103884 0 0 0 79211 23 0 0 25 0 4 0 517887519 11743195136 2580064 33554432000 4194304 4623224 140736537337040 18446744073709551615 4357390 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29459/tid=29462] ppid=29457 vsize=11467964 CPUtime=792.3 cores=0,2,4,6
/proc/29459/task/29462/stat : 29462 (SArTagnan) R 29457 29459 28847 0 -1 4202560 614397 0 0 0 79100 130 0 0 25 0 4 0 517887519 11743195136 2580064 33554432000 4194304 4623224 140736537337040 18446744073709551615 4317296 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29459/tid=29463] ppid=29457 vsize=11467964 CPUtime=788 cores=0,2,4,6
/proc/29459/task/29463/stat : 29463 (SArTagnan) R 29457 29459 28847 0 -1 4202560 2226567 0 0 0 78483 317 0 0 25 0 4 0 517887519 11743195136 2580064 33554432000 4194304 4623224 140736537337040 18446744073709551615 4577456 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3166.15
Current children cumulated vsize (KiB) 11467964

[startup+806.306 s]
/proc/loadavg: 8.14 8.11 7.96 9/184 29515
/proc/meminfo: memFree=7159060/32950928 swapFree=67111524/67111528
[pid=29459] ppid=29457 vsize=11797084 CPUtime=3217.3 cores=0,2,4,6
/proc/29459/stat : 29459 (SArTagnan) R 29457 29459 28847 0 -1 4202496 8192190 0 0 0 320369 1361 0 0 25 0 4 0 517887420 12080214016 2690321 33554432000 4194304 4623224 140736537337040 18446744073709551615 4388116 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29459/statm: 2949271 2690323 344 105 0 2944775 0
[pid=29459/tid=29461] ppid=29457 vsize=11797084 CPUtime=805.15 cores=0,2,4,6
/proc/29459/task/29461/stat : 29461 (SArTagnan) R 29457 29459 28847 0 -1 4202560 104217 0 0 0 80492 23 0 0 25 0 4 0 517887519 12080214016 2690323 33554432000 4194304 4623224 140736537337040 18446744073709551615 4357622 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29459/tid=29462] ppid=29457 vsize=11797084 CPUtime=805.1 cores=0,2,4,6
/proc/29459/task/29462/stat : 29462 (SArTagnan) R 29457 29459 28847 0 -1 4202560 622048 0 0 0 80378 132 0 0 25 0 4 0 517887519 12080214016 2690323 33554432000 4194304 4623224 140736537337040 18446744073709551615 4317180 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29459/tid=29463] ppid=29457 vsize=11797084 CPUtime=800.74 cores=0,2,4,6
/proc/29459/task/29463/stat : 29463 (SArTagnan) R 29457 29459 28847 0 -1 4202560 2275203 0 0 0 79749 325 0 0 25 0 4 0 517887519 12080214016 2690324 33554432000 4194304 4623224 140736537337040 18446744073709551615 4377241 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3217.3
Current children cumulated vsize (KiB) 11797084

[startup+812.701 s]
/proc/loadavg: 8.12 8.10 7.96 9/184 29515
/proc/meminfo: memFree=7024148/32950928 swapFree=67111524/67111528
[pid=29459] ppid=29457 vsize=11899980 CPUtime=3242.84 cores=0,2,4,6
/proc/29459/stat : 29459 (SArTagnan) R 29457 29459 28847 0 -1 4202496 8270805 0 0 0 322908 1376 0 0 25 0 4 0 517887420 12185579520 2723159 33554432000 4194304 4623224 140736537337040 18446744073709551615 4507171 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29459/statm: 2974995 2723159 343 105 0 2970499 0
[pid=29459/tid=29461] ppid=29457 vsize=11899980 CPUtime=811.54 cores=0,2,4,6
/proc/29459/task/29461/stat : 29461 (SArTagnan) R 29457 29459 28847 0 -1 4202560 104357 0 0 0 81131 23 0 0 25 0 4 0 517887519 12185579520 2723159 33554432000 4194304 4623224 140736537337040 18446744073709551615 4357390 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29459/tid=29462] ppid=29457 vsize=11899980 CPUtime=811.49 cores=0,2,4,6
/proc/29459/task/29462/stat : 29462 (SArTagnan) R 29457 29459 28847 0 -1 4202560 639049 0 0 0 81015 134 0 0 25 0 4 0 517887519 12185579520 2723159 33554432000 4194304 4623224 140736537337040 18446744073709551615 4461313 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29459/tid=29463] ppid=29457 vsize=11899980 CPUtime=807.1 cores=0,2,4,6
/proc/29459/task/29463/stat : 29463 (SArTagnan) R 29457 29459 28847 0 -1 4202560 2295990 0 0 0 80383 327 0 0 25 0 4 0 517887519 12185579520 2723159 33554432000 4194304 4623224 140736537337040 18446744073709551615 4289859 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3242.84
Current children cumulated vsize (KiB) 11899980

[startup+815.901 s]
/proc/loadavg: 8.12 8.10 7.96 9/184 29515
/proc/meminfo: memFree=6949640/32950928 swapFree=67111524/67111528
[pid=29459] ppid=29457 vsize=11936308 CPUtime=3255.63 cores=0,2,4,6
/proc/29459/stat : 29459 (SArTagnan) R 29457 29459 28847 0 -1 4202496 8320513 0 0 0 324177 1386 0 0 25 0 4 0 517887420 12222779392 2742059 33554432000 4194304 4623224 140736537337040 18446744073709551615 4510167 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29459/statm: 2984077 2742059 343 105 0 2979581 0
[pid=29459/tid=29461] ppid=29457 vsize=11936308 CPUtime=814.74 cores=0,2,4,6
/proc/29459/task/29461/stat : 29461 (SArTagnan) R 29457 29459 28847 0 -1 4202560 118517 0 0 0 81449 25 0 0 25 0 4 0 517887519 12222779392 2742059 33554432000 4194304 4623224 140736537337040 18446744073709551615 4357403 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29459/tid=29462] ppid=29457 vsize=11936308 CPUtime=814.7 cores=0,2,4,6
/proc/29459/task/29462/stat : 29462 (SArTagnan) R 29457 29459 28847 0 -1 4202560 641363 0 0 0 81335 135 0 0 25 0 4 0 517887519 12222779392 2742059 33554432000 4194304 4623224 140736537337040 18446744073709551615 4462984 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29459/tid=29463] ppid=29457 vsize=11936308 CPUtime=810.29 cores=0,2,4,6
/proc/29459/task/29463/stat : 29463 (SArTagnan) R 29457 29459 28847 0 -1 4202560 2304555 0 0 0 80700 329 0 0 25 0 4 0 517887519 12222779392 2742059 33554432000 4194304 4623224 140736537337040 18446744073709551615 4289757 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3255.63
Current children cumulated vsize (KiB) 11936308

[startup+816.7 s]
/proc/loadavg: 8.12 8.10 7.96 9/184 29515
/proc/meminfo: memFree=6922236/32950928 swapFree=67111524/67111528
[pid=29459] ppid=29457 vsize=11937332 CPUtime=3258.82 cores=0,2,4,6
/proc/29459/stat : 29459 (SArTagnan) R 29457 29459 28847 0 -1 4202496 8325612 0 0 0 324496 1386 0 0 25 0 4 0 517887420 12223827968 2743778 33554432000 4194304 4623224 140736537337040 18446744073709551615 4510206 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29459/statm: 2984333 2743778 343 105 0 2979837 0
[pid=29459/tid=29461] ppid=29457 vsize=11937332 CPUtime=815.54 cores=0,2,4,6
/proc/29459/task/29461/stat : 29461 (SArTagnan) R 29457 29459 28847 0 -1 4202560 118517 0 0 0 81529 25 0 0 25 0 4 0 517887519 12223827968 2743778 33554432000 4194304 4623224 140736537337040 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29459/tid=29462] ppid=29457 vsize=11937332 CPUtime=815.5 cores=0,2,4,6
/proc/29459/task/29462/stat : 29462 (SArTagnan) R 29457 29459 28847 0 -1 4202560 641806 0 0 0 81415 135 0 0 25 0 4 0 517887519 12223827968 2743778 33554432000 4194304 4623224 140736537337040 18446744073709551615 4465915 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29459/tid=29463] ppid=29457 vsize=11937332 CPUtime=811.08 cores=0,2,4,6
/proc/29459/task/29463/stat : 29463 (SArTagnan) R 29457 29459 28847 0 -1 4202560 2307447 0 0 0 80779 329 0 0 25 0 4 0 517887519 12223827968 2743778 33554432000 4194304 4623224 140736537337040 18446744073709551615 4545677 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3258.82
Current children cumulated vsize (KiB) 11937332

[startup+817.1 s]
/proc/loadavg: 8.12 8.10 7.96 9/184 29515
/proc/meminfo: memFree=6922236/32950928 swapFree=67111524/67111528
[pid=29459] ppid=29457 vsize=0 CPUtime=3259.7 cores=0,2,4,6
/proc/29459/stat : 29459 (SArTagnan) Z 29457 29459 28847 0 -1 4202524 8328893 0 0 0 324559 1411 0 0 25 0 2 0 517887420 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29459/statm: 0 0 0 0 0 0 0
[pid=29459/tid=29463] ppid=29457 vsize=0 CPUtime=811.48 cores=0,2,4,6
/proc/29459/task/29463/stat : 29463 (SArTagnan) R 29457 29459 28847 0 -1 4203588 2308788 0 0 0 80795 353 0 0 25 0 2 0 517887519 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3259.7
Current children cumulated vsize (KiB) 0

[startup+817.306 s]
/proc/loadavg: 8.11 8.10 7.96 6/182 29515
/proc/meminfo: memFree=15313700/32950928 swapFree=67111524/67111528
[pid=29459] ppid=29457 vsize=0 CPUtime=3259.9 cores=0,2,4,6
/proc/29459/stat : 29459 (SArTagnan) Z 29457 29459 28847 0 -1 4202524 8328893 0 0 0 324559 1431 0 0 25 0 2 0 517887420 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29459/statm: 0 0 0 0 0 0 0
[pid=29459/tid=29463] ppid=29457 vsize=0 CPUtime=811.69 cores=0,2,4,6
/proc/29459/task/29463/stat : 29463 (SArTagnan) R 29457 29459 28847 0 -1 4203588 2308788 0 0 0 80795 374 0 0 25 0 2 0 517887519 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3259.9
Current children cumulated vsize (KiB) 0

Child status: 1
Real time (s): 817.32
CPU time (s): 3259.92
CPU user time (s): 3245.59
CPU system time (s): 14.3278
CPU usage (%): 398.855
Max. virtual memory (cumulated for all children) (KiB): 13377332

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3245.59
system time used= 14.3278
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8328893
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= 17166
involuntary context switches= 12680

runsolver used 1.3308 second user time and 3.05354 second system time

The end

Launcher Data 

Begin job on node122 at 2011-04-29 09:41:26
IDJOB=3285725
IDBENCH=82394
IDSOLVER=1656
FILE ID=node122/3285725-1304062885
RUNJOBID= node122-1304059984-28865
PBS_JOBID= 13170447
Free space on /tmp= 71460 MiB

SOLVER NAME= SArTagnan 2011-03-24
BENCH NAME= SAT11/application/rintanen/SATPlanning/sokoban-sequential-p145-microban-sequential.080-SAT.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3285725-1304062885/watcher-3285725-1304062885 -o /tmp/evaluation-result-3285725-1304062885/solver-3285725-1304062885 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3285725-1304062885.cnf -threads=4

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

MD5SUM BENCH= 1ca09a2b911e29894c6603aee8d3e672
RANDOM SEED=507136127

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:      14567244 kB
Buffers:       1624944 kB
Cached:        8724780 kB
SwapCached:          4 kB
Active:        8429148 kB
Inactive:      9387684 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      14567244 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           50828 kB
Writeback:           0 kB
AnonPages:     7466460 kB
Mapped:          15708 kB
Slab:           487428 kB
PageTables:      19252 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  9641692 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= 71432 MiB
End job on node122 at 2011-04-29 09:55:04