Trace number 3285771

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 3480.37 874.118

General information on the benchmark

Nameapplication/rintanen/SATPlanning/
blocks-blocks-37-1.130-NOTKNOWN.cnf
MD5SUMc7a9573eb59580c8d4fc5a3ca880d541
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark454.45
Satisfiable
(Un)Satisfiability was proved
Number of variables559571
Number of clauses10223027
Sum of the clauses size22253097
Maximum clause length1408
Minimum clause length1
Number of clauses of size 11517
Number of clauses of size 29836450
Number of clauses of size 3365560
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 519500

Solver Data 

3480.02/873.94	
3480.02/873.94	s UNSATISFIABLE
3480.02/873.94	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: 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-3285771-1304062930/watcher-3285771-1304062930 -o /tmp/evaluation-result-3285771-1304062930/solver-3285771-1304062930 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3285771-1304062930.cnf -threads=4 

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

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


[startup+0 s]
/proc/loadavg: 7.86 8.01 7.84 5/180 29490
/proc/meminfo: memFree=21241156/32950928 swapFree=67111524/67111528
[pid=29490] ppid=29488 vsize=27232 CPUtime=0 cores=1,3,5,7
/proc/29490/stat : 29490 (SArTagnan) R 29488 29490 28847 0 -1 4202496 1711 0 0 0 0 0 0 0 21 0 1 0 517892371 27885568 1648 33554432000 4194304 4623224 140736870129760 18446744073709551615 4315013 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/29490/statm: 6808 1650 290 105 0 2312 0

[startup+0.010237 s]
/proc/loadavg: 7.86 8.01 7.84 5/180 29490
/proc/meminfo: memFree=21241156/32950928 swapFree=67111524/67111528
[pid=29490] ppid=29488 vsize=27232 CPUtime=0 cores=1,3,5,7
/proc/29490/stat : 29490 (SArTagnan) R 29488 29490 28847 0 -1 4202496 2114 0 0 0 0 0 0 0 21 0 1 0 517892371 27885568 2051 33554432000 4194304 4623224 140736870129760 18446744073709551615 4315013 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/29490/statm: 6808 2053 290 105 0 2312 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 27232

[startup+0.100223 s]
/proc/loadavg: 7.86 8.01 7.84 5/180 29490
/proc/meminfo: memFree=21241156/32950928 swapFree=67111524/67111528
[pid=29490] ppid=29488 vsize=304848 CPUtime=0.08 cores=1,3,5,7
/proc/29490/stat : 29490 (SArTagnan) R 29488 29490 28847 0 -1 4202496 10498 0 0 0 8 0 0 0 21 0 1 0 517892371 312164352 10435 33554432000 4194304 4623224 140736870129760 18446744073709551615 268272688896 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/29490/statm: 76212 10435 301 105 0 71716 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 304848

[startup+0.300187 s]
/proc/loadavg: 7.86 8.01 7.84 5/180 29490
/proc/meminfo: memFree=21241156/32950928 swapFree=67111524/67111528
[pid=29490] ppid=29488 vsize=310304 CPUtime=0.29 cores=1,3,5,7
/proc/29490/stat : 29490 (SArTagnan) R 29488 29490 28847 0 -1 4202496 13354 0 0 0 27 2 0 0 22 0 1 0 517892371 317751296 11641 33554432000 4194304 4623224 140736870129760 18446744073709551615 268272307837 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/29490/statm: 77576 11641 301 105 0 73080 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 310304

[startup+0.70012 s]
/proc/loadavg: 7.86 8.01 7.84 5/180 29490
/proc/meminfo: memFree=21241156/32950928 swapFree=67111524/67111528
[pid=29490] ppid=29488 vsize=343356 CPUtime=0.69 cores=1,3,5,7
/proc/29490/stat : 29490 (SArTagnan) R 29488 29490 28847 0 -1 4202496 30776 0 0 0 65 4 0 0 24 0 1 0 517892371 351596544 17964 33554432000 4194304 4623224 140736870129760 18446744073709551615 268272688896 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/29490/statm: 85839 17965 301 105 0 81343 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 343356

[startup+1.50097 s]
/proc/loadavg: 7.86 8.01 7.84 7/181 29491
/proc/meminfo: memFree=21148524/32950928 swapFree=67111524/67111528
[pid=29490] ppid=29488 vsize=387576 CPUtime=1.49 cores=1,3,5,7
/proc/29490/stat : 29490 (SArTagnan) R 29488 29490 28847 0 -1 4202496 57643 0 0 0 139 10 0 0 25 0 1 0 517892371 396877824 28855 33554432000 4194304 4623224 140736870129760 18446744073709551615 4365917 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/29490/statm: 96894 28855 301 105 0 92398 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 387576

[startup+3.10069 s]
/proc/loadavg: 7.86 8.01 7.84 7/181 29491
/proc/meminfo: memFree=21069536/32950928 swapFree=67111524/67111528
[pid=29490] ppid=29488 vsize=494836 CPUtime=3.09 cores=1,3,5,7
/proc/29490/stat : 29490 (SArTagnan) R 29488 29490 28847 0 -1 4202496 117451 0 0 0 287 22 0 0 25 0 1 0 517892371 506712064 52718 33554432000 4194304 4623224 140736870129760 18446744073709551615 268272688896 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/29490/statm: 123709 52718 301 105 0 119213 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 494836

[startup+6.30112 s]
/proc/loadavg: 7.71 7.97 7.83 10/184 29494
/proc/meminfo: memFree=20429728/32950928 swapFree=67111524/67111528
[pid=29490] ppid=29488 vsize=1311220 CPUtime=14.38 cores=1,3,5,7
/proc/29490/stat : 29490 (SArTagnan) R 29488 29490 28847 0 -1 4202496 259045 0 0 0 1401 37 0 0 25 0 4 0 517892371 1342689280 194172 33554432000 4194304 4623224 140736870129760 18446744073709551615 4412473 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/29490/statm: 327805 194172 344 105 0 323309 0
[pid=29490/tid=29492] ppid=29488 vsize=1311220 CPUtime=2.69 cores=1,3,5,7
/proc/29490/task/29492/stat : 29492 (SArTagnan) R 29488 29490 28847 0 -1 4202560 5105 0 0 0 269 0 0 0 18 0 4 0 517892731 1342689280 194172 33554432000 4194304 4623224 140736870129760 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29490/tid=29493] ppid=29488 vsize=1311220 CPUtime=2.69 cores=1,3,5,7
/proc/29490/task/29493/stat : 29493 (SArTagnan) R 29488 29490 28847 0 -1 4202560 3062 0 0 0 269 0 0 0 25 0 4 0 517892731 1342689280 194172 33554432000 4194304 4623224 140736870129760 18446744073709551615 4317246 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29490/tid=29494] ppid=29488 vsize=1311220 CPUtime=2.69 cores=1,3,5,7
/proc/29490/task/29494/stat : 29494 (SArTagnan) R 29488 29490 28847 0 -1 4202560 3470 0 0 0 269 0 0 0 25 0 4 0 517892731 1342689280 194172 33554432000 4194304 4623224 140736870129760 18446744073709551615 4560344 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 14.38
Current children cumulated vsize (KiB) 1311220

[startup+12.701 s]
/proc/loadavg: 7.74 7.97 7.83 10/184 29495
/proc/meminfo: memFree=20129168/32950928 swapFree=67111524/67111528
[pid=29490] ppid=29488 vsize=1437028 CPUtime=39.95 cores=1,3,5,7
/proc/29490/stat : 29490 (SArTagnan) R 29488 29490 28847 0 -1 4202496 356148 0 0 0 3945 50 0 0 25 0 4 0 517892371 1471516672 235659 33554432000 4194304 4623224 140736870129760 18446744073709551615 4412468 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/29490/statm: 359257 235659 361 105 0 354761 0
[pid=29490/tid=29492] ppid=29488 vsize=1437028 CPUtime=9.09 cores=1,3,5,7
/proc/29490/task/29492/stat : 29492 (SArTagnan) R 29488 29490 28847 0 -1 4202560 5962 0 0 0 909 0 0 0 25 0 4 0 517892731 1471516672 235659 33554432000 4194304 4623224 140736870129760 18446744073709551615 4462922 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29490/tid=29493] ppid=29488 vsize=1437028 CPUtime=9.09 cores=1,3,5,7
/proc/29490/task/29493/stat : 29493 (SArTagnan) R 29488 29490 28847 0 -1 4202560 3062 0 0 0 909 0 0 0 25 0 4 0 517892731 1471516672 235659 33554432000 4194304 4623224 140736870129760 18446744073709551615 4317199 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29490/tid=29494] ppid=29488 vsize=1437028 CPUtime=9.09 cores=1,3,5,7
/proc/29490/task/29494/stat : 29494 (SArTagnan) R 29488 29490 28847 0 -1 4202560 3831 0 0 0 909 0 0 0 25 0 4 0 517892731 1471516672 235659 33554432000 4194304 4623224 140736870129760 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 39.95
Current children cumulated vsize (KiB) 1437028

[startup+25.5007 s]
/proc/loadavg: 7.79 7.97 7.83 10/184 29495
/proc/meminfo: memFree=19694148/32950928 swapFree=67111524/67111528
[pid=29490] ppid=29488 vsize=1725436 CPUtime=91.07 cores=1,3,5,7
/proc/29490/stat : 29490 (SArTagnan) R 29488 29490 28847 0 -1 4202496 493032 0 0 0 9036 71 0 0 25 0 4 0 517892371 1766846464 284536 33554432000 4194304 4623224 140736870129760 18446744073709551615 4412473 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/29490/statm: 431359 284536 361 105 0 426863 0
[pid=29490/tid=29492] ppid=29488 vsize=1725436 CPUtime=21.89 cores=1,3,5,7
/proc/29490/task/29492/stat : 29492 (SArTagnan) R 29488 29490 28847 0 -1 4202560 9605 0 0 0 2188 1 0 0 25 0 4 0 517892731 1766846464 284536 33554432000 4194304 4623224 140736870129760 18446744073709551615 4289645 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29490/tid=29493] ppid=29488 vsize=1725436 CPUtime=21.89 cores=1,3,5,7
/proc/29490/task/29493/stat : 29493 (SArTagnan) R 29488 29490 28847 0 -1 4202560 3062 0 0 0 2189 0 0 0 25 0 4 0 517892731 1766846464 284536 33554432000 4194304 4623224 140736870129760 18446744073709551615 4317860 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29490/tid=29494] ppid=29488 vsize=1725436 CPUtime=21.89 cores=1,3,5,7
/proc/29490/task/29494/stat : 29494 (SArTagnan) R 29488 29490 28847 0 -1 4202560 3831 0 0 0 2189 0 0 0 25 0 4 0 517892731 1766846464 284536 33554432000 4194304 4623224 140736870129760 18446744073709551615 4552678 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 91.07
Current children cumulated vsize (KiB) 1725436

[startup+51.1012 s]
/proc/loadavg: 7.86 7.97 7.83 10/184 29496
/proc/meminfo: memFree=19224576/32950928 swapFree=67111524/67111528
[pid=29490] ppid=29488 vsize=1790972 CPUtime=193.28 cores=1,3,5,7
/proc/29490/stat : 29490 (SArTagnan) R 29488 29490 28847 0 -1 4202496 555730 0 0 0 19242 86 0 0 25 0 4 0 517892371 1833955328 322393 33554432000 4194304 4623224 140736870129760 18446744073709551615 4278624 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/29490/statm: 447743 322393 377 105 0 443247 0
[pid=29490/tid=29492] ppid=29488 vsize=1790972 CPUtime=47.5 cores=1,3,5,7
/proc/29490/task/29492/stat : 29492 (SArTagnan) R 29488 29490 28847 0 -1 4202560 16633 0 0 0 4747 3 0 0 25 0 4 0 517892731 1833955328 322393 33554432000 4194304 4623224 140736870129760 18446744073709551615 4377144 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29490/tid=29493] ppid=29488 vsize=1790972 CPUtime=47.43 cores=1,3,5,7
/proc/29490/task/29493/stat : 29493 (SArTagnan) R 29488 29490 28847 0 -1 4202560 3311 0 0 0 4743 0 0 0 25 0 4 0 517892731 1833955328 322393 33554432000 4194304 4623224 140736870129760 18446744073709551615 4317180 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29490/tid=29494] ppid=29488 vsize=1790972 CPUtime=47.49 cores=1,3,5,7
/proc/29490/task/29494/stat : 29494 (SArTagnan) R 29488 29490 28847 0 -1 4202560 20913 0 0 0 4747 2 0 0 25 0 4 0 517892731 1833955328 322393 33554432000 4194304 4623224 140736870129760 18446744073709551615 4552538 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 193.28
Current children cumulated vsize (KiB) 1790972

[startup+102.307 s]
/proc/loadavg: 7.98 7.99 7.84 10/184 29497
/proc/meminfo: memFree=18023696/32950928 swapFree=67111524/67111528
[pid=29490] ppid=29488 vsize=2574040 CPUtime=397.8 cores=1,3,5,7
/proc/29490/stat : 29490 (SArTagnan) R 29488 29490 28847 0 -1 4202496 1006595 0 0 0 39612 168 0 0 25 0 4 0 517892371 2635816960 500244 33554432000 4194304 4623224 140736870129760 18446744073709551615 4412446 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/29490/statm: 643510 500244 391 105 0 639014 0
[pid=29490/tid=29492] ppid=29488 vsize=2574040 CPUtime=98.68 cores=1,3,5,7
/proc/29490/task/29492/stat : 29492 (SArTagnan) R 29488 29490 28847 0 -1 4202560 35920 0 0 0 9860 8 0 0 25 0 4 0 517892731 2635816960 500244 33554432000 4194304 4623224 140736870129760 18446744073709551615 4278624 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29490/tid=29493] ppid=29488 vsize=2574040 CPUtime=98.64 cores=1,3,5,7
/proc/29490/task/29493/stat : 29493 (SArTagnan) R 29488 29490 28847 0 -1 4202560 8548 0 0 0 9863 1 0 0 25 0 4 0 517892731 2635816960 500244 33554432000 4194304 4623224 140736870129760 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29490/tid=29494] ppid=29488 vsize=2574040 CPUtime=98.7 cores=1,3,5,7
/proc/29490/task/29494/stat : 29494 (SArTagnan) R 29488 29490 28847 0 -1 4202560 94167 0 0 0 9859 11 0 0 25 0 4 0 517892731 2635816960 500244 33554432000 4194304 4623224 140736870129760 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 397.8
Current children cumulated vsize (KiB) 2574040

[startup+162.3 s]
/proc/loadavg: 8.03 8.00 7.85 10/184 29499
/proc/meminfo: memFree=16787596/32950928 swapFree=67111524/67111528
[pid=29490] ppid=29488 vsize=3928536 CPUtime=637.4 cores=1,3,5,7
/proc/29490/stat : 29490 (SArTagnan) R 29488 29490 28847 0 -1 4202496 1771660 0 0 0 63439 301 0 0 25 0 4 0 517892371 4022820864 801931 33554432000 4194304 4623224 140736870129760 18446744073709551615 4412510 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/29490/statm: 982134 801931 374 105 0 977638 0
[pid=29490/tid=29492] ppid=29488 vsize=3928536 CPUtime=158.62 cores=1,3,5,7
/proc/29490/task/29492/stat : 29492 (SArTagnan) R 29488 29490 28847 0 -1 4202560 76341 0 0 0 15840 22 0 0 25 0 4 0 517892731 4022820864 801931 33554432000 4194304 4623224 140736870129760 18446744073709551615 4289820 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29490/tid=29493] ppid=29488 vsize=3928536 CPUtime=158.63 cores=1,3,5,7
/proc/29490/task/29493/stat : 29493 (SArTagnan) R 29488 29490 28847 0 -1 4202560 25433 0 0 0 15859 4 0 0 25 0 4 0 517892731 4022820864 801931 33554432000 4194304 4623224 140736870129760 18446744073709551615 4317201 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29490/tid=29494] ppid=29488 vsize=3928536 CPUtime=158.7 cores=1,3,5,7
/proc/29490/task/29494/stat : 29494 (SArTagnan) R 29488 29490 28847 0 -1 4202560 94570 0 0 0 15858 12 0 0 25 0 4 0 517892731 4022820864 801931 33554432000 4194304 4623224 140736870129760 18446744073709551615 4552678 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 637.4
Current children cumulated vsize (KiB) 3928536

[startup+222.301 s]
/proc/loadavg: 8.01 8.00 7.86 10/184 29500
/proc/meminfo: memFree=16676312/32950928 swapFree=67111524/67111528
[pid=29490] ppid=29488 vsize=4098964 CPUtime=877.07 cores=1,3,5,7
/proc/29490/stat : 29490 (SArTagnan) R 29488 29490 28847 0 -1 4202496 1801052 0 0 0 87398 309 0 0 25 0 4 0 517892371 4197339136 823773 33554432000 4194304 4623224 140736870129760 18446744073709551615 4412446 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/29490/statm: 1024741 823773 486 105 0 1020245 0
[pid=29490/tid=29492] ppid=29488 vsize=4098964 CPUtime=218.62 cores=1,3,5,7
/proc/29490/task/29492/stat : 29492 (SArTagnan) R 29488 29490 28847 0 -1 4202560 95258 0 0 0 21834 28 0 0 25 0 4 0 517892731 4197339136 823773 33554432000 4194304 4623224 140736870129760 18446744073709551615 4357641 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29490/tid=29493] ppid=29488 vsize=4098964 CPUtime=218.63 cores=1,3,5,7
/proc/29490/task/29493/stat : 29493 (SArTagnan) R 29488 29490 28847 0 -1 4202560 30164 0 0 0 21858 5 0 0 25 0 4 0 517892731 4197339136 823773 33554432000 4194304 4623224 140736870129760 18446744073709551615 4317264 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29490/tid=29494] ppid=29488 vsize=4098964 CPUtime=218.7 cores=1,3,5,7
/proc/29490/task/29494/stat : 29494 (SArTagnan) R 29488 29490 28847 0 -1 4202560 98382 0 0 0 21858 12 0 0 25 0 4 0 517892731 4197339136 823773 33554432000 4194304 4623224 140736870129760 18446744073709551615 4552944 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 877.07
Current children cumulated vsize (KiB) 4098964

[startup+282.301 s]
/proc/loadavg: 8.00 8.00 7.87 10/184 29502
/proc/meminfo: memFree=15979248/32950928 swapFree=67111524/67111528
[pid=29490] ppid=29488 vsize=4098964 CPUtime=1116.75 cores=1,3,5,7
/proc/29490/stat : 29490 (SArTagnan) R 29488 29490 28847 0 -1 4202496 1810949 0 0 0 111364 311 0 0 25 0 4 0 517892371 4197339136 826956 33554432000 4194304 4623224 140736870129760 18446744073709551615 4412555 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/29490/statm: 1024741 826956 484 105 0 1020245 0
[pid=29490/tid=29492] ppid=29488 vsize=4098964 CPUtime=278.62 cores=1,3,5,7
/proc/29490/task/29492/stat : 29492 (SArTagnan) R 29488 29490 28847 0 -1 4202560 95395 0 0 0 27834 28 0 0 25 0 4 0 517892731 4197339136 826956 33554432000 4194304 4623224 140736870129760 18446744073709551615 4357622 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29490/tid=29493] ppid=29488 vsize=4098964 CPUtime=278.64 cores=1,3,5,7
/proc/29490/task/29493/stat : 29493 (SArTagnan) R 29488 29490 28847 0 -1 4202560 38257 0 0 0 27857 7 0 0 25 0 4 0 517892731 4197339136 826956 33554432000 4194304 4623224 140736870129760 18446744073709551615 4317194 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29490/tid=29494] ppid=29488 vsize=4098964 CPUtime=278.69 cores=1,3,5,7
/proc/29490/task/29494/stat : 29494 (SArTagnan) R 29488 29490 28847 0 -1 4202560 99980 0 0 0 27857 12 0 0 25 0 4 0 517892731 4197339136 826956 33554432000 4194304 4623224 140736870129760 18446744073709551615 4364414 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1116.75

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

/proc/29490/statm: 1124658 956179 349 105 0 1120162 0
[pid=29490/tid=29492] ppid=29488 vsize=4498632 CPUtime=638.64 cores=1,3,5,7
/proc/29490/task/29492/stat : 29492 (SArTagnan) R 29488 29490 28847 0 -1 4202560 96411 0 0 0 63835 29 0 0 25 0 4 0 517892731 4606599168 956179 33554432000 4194304 4623224 140736870129760 18446744073709551615 4357421 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29490/tid=29493] ppid=29488 vsize=4498632 CPUtime=638.65 cores=1,3,5,7
/proc/29490/task/29493/stat : 29493 (SArTagnan) R 29488 29490 28847 0 -1 4202560 65010 0 0 0 63853 12 0 0 25 0 4 0 517892731 4606599168 956179 33554432000 4194304 4623224 140736870129760 18446744073709551615 4278641 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29490/tid=29494] ppid=29488 vsize=4498632 CPUtime=638.72 cores=1,3,5,7
/proc/29490/task/29494/stat : 29494 (SArTagnan) R 29488 29490 28847 0 -1 4202560 824414 0 0 0 63755 117 0 0 25 0 4 0 517892731 4606599168 956179 33554432000 4194304 4623224 140736870129760 18446744073709551615 4577436 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2554.84
Current children cumulated vsize (KiB) 4498632

[startup+702.3 s]
/proc/loadavg: 8.20 8.11 7.95 10/184 29513
/proc/meminfo: memFree=8630256/32950928 swapFree=67111524/67111528
[pid=29490] ppid=29488 vsize=4502648 CPUtime=2794.49 cores=1,3,5,7
/proc/29490/stat : 29490 (SArTagnan) R 29488 29490 28847 0 -1 4202496 2783627 0 0 0 278983 466 0 0 25 0 4 0 517892371 4610711552 968915 33554432000 4194304 4623224 140736870129760 18446744073709551615 4412519 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/29490/statm: 1125662 968915 349 105 0 1121166 0
[pid=29490/tid=29492] ppid=29488 vsize=4502648 CPUtime=698.64 cores=1,3,5,7
/proc/29490/task/29492/stat : 29492 (SArTagnan) R 29488 29490 28847 0 -1 4202560 96521 0 0 0 69835 29 0 0 25 0 4 0 517892731 4610711552 968915 33554432000 4194304 4623224 140736870129760 18446744073709551615 4357421 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29490/tid=29493] ppid=29488 vsize=4502648 CPUtime=698.64 cores=1,3,5,7
/proc/29490/task/29493/stat : 29493 (SArTagnan) R 29488 29490 28847 0 -1 4202560 68806 0 0 0 69851 13 0 0 25 0 4 0 517892731 4610711552 968915 33554432000 4194304 4623224 140736870129760 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29490/tid=29494] ppid=29488 vsize=4502648 CPUtime=698.71 cores=1,3,5,7
/proc/29490/task/29494/stat : 29494 (SArTagnan) R 29488 29490 28847 0 -1 4202560 883121 0 0 0 69746 125 0 0 25 0 4 0 517892731 4610711552 968915 33554432000 4194304 4623224 140736870129760 18446744073709551615 4552768 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2794.49
Current children cumulated vsize (KiB) 4502648

[startup+762.307 s]
/proc/loadavg: 8.12 8.10 7.96 10/184 29515
/proc/meminfo: memFree=7024024/32950928 swapFree=67111524/67111528
[pid=29490] ppid=29488 vsize=4568184 CPUtime=3034.19 cores=1,3,5,7
/proc/29490/stat : 29490 (SArTagnan) R 29488 29490 28847 0 -1 4202496 2998225 0 0 0 302919 500 0 0 25 0 4 0 517892371 4677820416 1005796 33554432000 4194304 4623224 140736870129760 18446744073709551615 4511029 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/29490/statm: 1142046 1005796 349 105 0 1137550 0
[pid=29490/tid=29492] ppid=29488 vsize=4568184 CPUtime=758.64 cores=1,3,5,7
/proc/29490/task/29492/stat : 29492 (SArTagnan) R 29488 29490 28847 0 -1 4202560 96617 0 0 0 75835 29 0 0 25 0 4 0 517892731 4677820416 1005796 33554432000 4194304 4623224 140736870129760 18446744073709551615 4357622 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29490/tid=29493] ppid=29488 vsize=4568184 CPUtime=758.65 cores=1,3,5,7
/proc/29490/task/29493/stat : 29493 (SArTagnan) R 29488 29490 28847 0 -1 4202560 74530 0 0 0 75850 15 0 0 25 0 4 0 517892731 4677820416 1005796 33554432000 4194304 4623224 140736870129760 18446744073709551615 4278639 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29490/tid=29494] ppid=29488 vsize=4568184 CPUtime=758.71 cores=1,3,5,7
/proc/29490/task/29494/stat : 29494 (SArTagnan) R 29488 29490 28847 0 -1 4202560 1053219 0 0 0 75723 148 0 0 25 0 4 0 517892731 4677820416 1005796 33554432000 4194304 4623224 140736870129760 18446744073709551615 4363742 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3034.19
Current children cumulated vsize (KiB) 4568184

[startup+822.301 s]
/proc/loadavg: 5.83 7.48 7.75 5/175 29533
/proc/meminfo: memFree=17893232/32950928 swapFree=67111524/67111528
[pid=29490] ppid=29488 vsize=4700692 CPUtime=3273.88 cores=1,3,5,7
/proc/29490/stat : 29490 (SArTagnan) R 29488 29490 28847 0 -1 4202496 3182674 0 0 0 326858 530 0 0 25 0 4 0 517892371 4813508608 1026953 33554432000 4194304 4623224 140736870129760 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/29490/statm: 1175173 1026953 349 105 0 1170677 0
[pid=29490/tid=29492] ppid=29488 vsize=4700692 CPUtime=818.64 cores=1,3,5,7
/proc/29490/task/29492/stat : 29492 (SArTagnan) R 29488 29490 28847 0 -1 4202560 96688 0 0 0 81835 29 0 0 25 0 4 0 517892731 4813508608 1026953 33554432000 4194304 4623224 140736870129760 18446744073709551615 4486238 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29490/tid=29493] ppid=29488 vsize=4700692 CPUtime=818.65 cores=1,3,5,7
/proc/29490/task/29493/stat : 29493 (SArTagnan) R 29488 29490 28847 0 -1 4202560 76122 0 0 0 81850 15 0 0 25 0 4 0 517892731 4813508608 1026953 33554432000 4194304 4623224 140736870129760 18446744073709551615 4317176 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29490/tid=29494] ppid=29488 vsize=4700692 CPUtime=818.71 cores=1,3,5,7
/proc/29490/task/29494/stat : 29494 (SArTagnan) R 29488 29490 28847 0 -1 4202560 1214421 0 0 0 81702 169 0 0 25 0 4 0 517892731 4813508608 1026953 33554432000 4194304 4623224 140736870129760 18446744073709551615 4289658 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3273.88
Current children cumulated vsize (KiB) 4700692

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

[startup+844.701 s]
/proc/loadavg: 5.21 7.20 7.65 5/175 29534
/proc/meminfo: memFree=17877224/32950928 swapFree=67111524/67111528
[pid=29490] ppid=29488 vsize=4701264 CPUtime=3363.38 cores=1,3,5,7
/proc/29490/stat : 29490 (SArTagnan) R 29488 29490 28847 0 -1 4202496 3204311 0 0 0 335804 534 0 0 25 0 4 0 517892371 4814094336 1030623 33554432000 4194304 4623224 140736870129760 18446744073709551615 4510034 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/29490/statm: 1175316 1030623 349 105 0 1170820 0
[pid=29490/tid=29492] ppid=29488 vsize=4701264 CPUtime=841.04 cores=1,3,5,7
/proc/29490/task/29492/stat : 29492 (SArTagnan) R 29488 29490 28847 0 -1 4202560 96692 0 0 0 84075 29 0 0 25 0 4 0 517892731 4814094336 1030623 33554432000 4194304 4623224 140736870129760 18446744073709551615 4357403 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29490/tid=29493] ppid=29488 vsize=4701264 CPUtime=841.05 cores=1,3,5,7
/proc/29490/task/29493/stat : 29493 (SArTagnan) R 29488 29490 28847 0 -1 4202560 76164 0 0 0 84090 15 0 0 25 0 4 0 517892731 4814094336 1030623 33554432000 4194304 4623224 140736870129760 18446744073709551615 4317471 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29490/tid=29494] ppid=29488 vsize=4701264 CPUtime=841.12 cores=1,3,5,7
/proc/29490/task/29494/stat : 29494 (SArTagnan) R 29488 29490 28847 0 -1 4202560 1232449 0 0 0 83940 172 0 0 25 0 4 0 517892731 4814094336 1030623 33554432000 4194304 4623224 140736870129760 18446744073709551615 4289823 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3363.38
Current children cumulated vsize (KiB) 4701264

[startup+857.501 s]
/proc/loadavg: 5.02 7.10 7.61 5/175 29534
/proc/meminfo: memFree=17877464/32950928 swapFree=67111524/67111528
[pid=29490] ppid=29488 vsize=4701264 CPUtime=3414.5 cores=1,3,5,7
/proc/29490/stat : 29490 (SArTagnan) R 29488 29490 28847 0 -1 4202496 3231457 0 0 0 340912 538 0 0 25 0 4 0 517892371 4814094336 1031503 33554432000 4194304 4623224 140736870129760 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/29490/statm: 1175316 1031503 349 105 0 1170820 0
[pid=29490/tid=29492] ppid=29488 vsize=4701264 CPUtime=853.84 cores=1,3,5,7
/proc/29490/task/29492/stat : 29492 (SArTagnan) R 29488 29490 28847 0 -1 4202560 96704 0 0 0 85355 29 0 0 25 0 4 0 517892731 4814094336 1031503 33554432000 4194304 4623224 140736870129760 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29490/tid=29493] ppid=29488 vsize=4701264 CPUtime=853.85 cores=1,3,5,7
/proc/29490/task/29493/stat : 29493 (SArTagnan) R 29488 29490 28847 0 -1 4202560 76170 0 0 0 85370 15 0 0 25 0 4 0 517892731 4814094336 1031503 33554432000 4194304 4623224 140736870129760 18446744073709551615 4317180 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29490/tid=29494] ppid=29488 vsize=4701264 CPUtime=853.91 cores=1,3,5,7
/proc/29490/task/29494/stat : 29494 (SArTagnan) R 29488 29490 28847 0 -1 4202560 1258698 0 0 0 85215 176 0 0 25 0 4 0 517892731 4814094336 1031503 33554432000 4194304 4623224 140736870129760 18446744073709551615 4289723 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3414.5
Current children cumulated vsize (KiB) 4701264

[startup+863.901 s]
/proc/loadavg: 4.86 6.99 7.57 5/175 29535
/proc/meminfo: memFree=17867288/32950928 swapFree=67111524/67111528
[pid=29490] ppid=29488 vsize=4709156 CPUtime=3440.07 cores=1,3,5,7
/proc/29490/stat : 29490 (SArTagnan) R 29488 29490 28847 0 -1 4202496 3240956 0 0 0 343467 540 0 0 25 0 4 0 517892371 4822175744 1033091 33554432000 4194304 4623224 140736870129760 18446744073709551615 4412473 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/29490/statm: 1177289 1033091 349 105 0 1172793 0
[pid=29490/tid=29492] ppid=29488 vsize=4709156 CPUtime=860.24 cores=1,3,5,7
/proc/29490/task/29492/stat : 29492 (SArTagnan) R 29488 29490 28847 0 -1 4202560 96713 0 0 0 85995 29 0 0 25 0 4 0 517892731 4822175744 1033091 33554432000 4194304 4623224 140736870129760 18446744073709551615 4357315 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29490/tid=29493] ppid=29488 vsize=4709156 CPUtime=860.25 cores=1,3,5,7
/proc/29490/task/29493/stat : 29493 (SArTagnan) R 29488 29490 28847 0 -1 4202560 76171 0 0 0 86010 15 0 0 25 0 4 0 517892731 4822175744 1033091 33554432000 4194304 4623224 140736870129760 18446744073709551615 4317166 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29490/tid=29494] ppid=29488 vsize=4709156 CPUtime=860.31 cores=1,3,5,7
/proc/29490/task/29494/stat : 29494 (SArTagnan) R 29488 29490 28847 0 -1 4202560 1267310 0 0 0 85854 177 0 0 25 0 4 0 517892731 4822175744 1033091 33554432000 4194304 4623224 140736870129760 18446744073709551615 4330915 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3440.07
Current children cumulated vsize (KiB) 4709156

[startup+870.3 s]
/proc/loadavg: 4.79 6.94 7.55 5/175 29535
/proc/meminfo: memFree=17866668/32950928 swapFree=67111524/67111528
[pid=29490] ppid=29488 vsize=4709156 CPUtime=3465.64 cores=1,3,5,7
/proc/29490/stat : 29490 (SArTagnan) R 29488 29490 28847 0 -1 4202496 3241141 0 0 0 346024 540 0 0 25 0 4 0 517892371 4822175744 1033253 33554432000 4194304 4623224 140736870129760 18446744073709551615 4412473 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/29490/statm: 1177289 1033253 349 105 0 1172793 0
[pid=29490/tid=29492] ppid=29488 vsize=4709156 CPUtime=866.64 cores=1,3,5,7
/proc/29490/task/29492/stat : 29492 (SArTagnan) R 29488 29490 28847 0 -1 4202560 96715 0 0 0 86635 29 0 0 25 0 4 0 517892731 4822175744 1033253 33554432000 4194304 4623224 140736870129760 18446744073709551615 268272356314 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29490/tid=29493] ppid=29488 vsize=4709156 CPUtime=866.65 cores=1,3,5,7
/proc/29490/task/29493/stat : 29493 (SArTagnan) R 29488 29490 28847 0 -1 4202560 76173 0 0 0 86650 15 0 0 25 0 4 0 517892731 4822175744 1033253 33554432000 4194304 4623224 140736870129760 18446744073709551615 4317197 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29490/tid=29494] ppid=29488 vsize=4709156 CPUtime=866.71 cores=1,3,5,7
/proc/29490/task/29494/stat : 29494 (SArTagnan) R 29488 29490 28847 0 -1 4202560 1267311 0 0 0 86494 177 0 0 25 0 4 0 517892731 4822175744 1033253 33554432000 4194304 4623224 140736870129760 18446744073709551615 4364650 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3465.64
Current children cumulated vsize (KiB) 4709156

[startup+871.901 s]
/proc/loadavg: 4.79 6.94 7.55 5/175 29535
/proc/meminfo: memFree=17866792/32950928 swapFree=67111524/67111528
[pid=29490] ppid=29488 vsize=4709156 CPUtime=3472.03 cores=1,3,5,7
/proc/29490/stat : 29490 (SArTagnan) R 29488 29490 28847 0 -1 4202496 3241149 0 0 0 346663 540 0 0 25 0 4 0 517892371 4822175744 1033261 33554432000 4194304 4623224 140736870129760 18446744073709551615 4412338 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/29490/statm: 1177289 1033261 349 105 0 1172793 0
[pid=29490/tid=29492] ppid=29488 vsize=4709156 CPUtime=868.24 cores=1,3,5,7
/proc/29490/task/29492/stat : 29492 (SArTagnan) R 29488 29490 28847 0 -1 4202560 96716 0 0 0 86795 29 0 0 25 0 4 0 517892731 4822175744 1033261 33554432000 4194304 4623224 140736870129760 18446744073709551615 4358015 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29490/tid=29493] ppid=29488 vsize=4709156 CPUtime=868.25 cores=1,3,5,7
/proc/29490/task/29493/stat : 29493 (SArTagnan) R 29488 29490 28847 0 -1 4202560 76175 0 0 0 86810 15 0 0 25 0 4 0 517892731 4822175744 1033261 33554432000 4194304 4623224 140736870129760 18446744073709551615 4317176 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29490/tid=29494] ppid=29488 vsize=4709156 CPUtime=868.31 cores=1,3,5,7
/proc/29490/task/29494/stat : 29494 (SArTagnan) R 29488 29490 28847 0 -1 4202560 1267311 0 0 0 86654 177 0 0 25 0 4 0 517892731 4822175744 1033261 33554432000 4194304 4623224 140736870129760 18446744073709551615 4289785 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3472.03
Current children cumulated vsize (KiB) 4709156

[startup+873.501 s]
/proc/loadavg: 4.73 6.89 7.53 5/175 29535
/proc/meminfo: memFree=17866668/32950928 swapFree=67111524/67111528
[pid=29490] ppid=29488 vsize=4709156 CPUtime=3478.42 cores=1,3,5,7
/proc/29490/stat : 29490 (SArTagnan) R 29488 29490 28847 0 -1 4202496 3241155 0 0 0 347302 540 0 0 25 0 4 0 517892371 4822175744 1033266 33554432000 4194304 4623224 140736870129760 18446744073709551615 4412473 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/29490/statm: 1177289 1033266 349 105 0 1172793 0
[pid=29490/tid=29492] ppid=29488 vsize=4709156 CPUtime=869.84 cores=1,3,5,7
/proc/29490/task/29492/stat : 29492 (SArTagnan) R 29488 29490 28847 0 -1 4202560 96716 0 0 0 86955 29 0 0 25 0 4 0 517892731 4822175744 1033266 33554432000 4194304 4623224 140736870129760 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29490/tid=29493] ppid=29488 vsize=4709156 CPUtime=869.85 cores=1,3,5,7
/proc/29490/task/29493/stat : 29493 (SArTagnan) R 29488 29490 28847 0 -1 4202560 76175 0 0 0 86970 15 0 0 25 0 4 0 517892731 4822175744 1033266 33554432000 4194304 4623224 140736870129760 18446744073709551615 4317194 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29490/tid=29494] ppid=29488 vsize=4709156 CPUtime=869.91 cores=1,3,5,7
/proc/29490/task/29494/stat : 29494 (SArTagnan) R 29488 29490 28847 0 -1 4202560 1267312 0 0 0 86814 177 0 0 25 0 4 0 517892731 4822175744 1033266 33554432000 4194304 4623224 140736870129760 18446744073709551615 4289723 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3478.42
Current children cumulated vsize (KiB) 4709156

[startup+873.901 s]
/proc/loadavg: 4.73 6.89 7.53 5/175 29535
/proc/meminfo: memFree=17866668/32950928 swapFree=67111524/67111528
[pid=29490] ppid=29488 vsize=4709156 CPUtime=3480.02 cores=1,3,5,7
/proc/29490/stat : 29490 (SArTagnan) R 29488 29490 28847 0 -1 4202496 3241344 0 0 0 347462 540 0 0 25 0 4 0 517892371 4822175744 1033451 33554432000 4194304 4623224 140736870129760 18446744073709551615 4412527 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/29490/statm: 1177289 1033451 349 105 0 1172793 0
[pid=29490/tid=29492] ppid=29488 vsize=4709156 CPUtime=870.24 cores=1,3,5,7
/proc/29490/task/29492/stat : 29492 (SArTagnan) R 29488 29490 28847 0 -1 4202560 96722 0 0 0 86995 29 0 0 25 0 4 0 517892731 4822175744 1033451 33554432000 4194304 4623224 140736870129760 18446744073709551615 4357376 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29490/tid=29493] ppid=29488 vsize=4709156 CPUtime=870.25 cores=1,3,5,7
/proc/29490/task/29493/stat : 29493 (SArTagnan) R 29488 29490 28847 0 -1 4202560 76175 0 0 0 87010 15 0 0 25 0 4 0 517892731 4822175744 1033451 33554432000 4194304 4623224 140736870129760 18446744073709551615 4289678 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29490/tid=29494] ppid=29488 vsize=4709156 CPUtime=870.31 cores=1,3,5,7
/proc/29490/task/29494/stat : 29494 (SArTagnan) R 29488 29490 28847 0 -1 4202560 1267312 0 0 0 86854 177 0 0 25 0 4 0 517892731 4822175744 1033451 33554432000 4194304 4623224 140736870129760 18446744073709551615 4552683 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3480.02
Current children cumulated vsize (KiB) 4709156

[startup+874.101 s]
/proc/loadavg: 4.73 6.89 7.53 5/175 29535
/proc/meminfo: memFree=17866668/32950928 swapFree=67111524/67111528
[pid=29490] ppid=29488 vsize=0 CPUtime=3480.34 cores=1,3,5,7
/proc/29490/stat : 29490 (SArTagnan) R 29488 29490 28847 0 -1 4203524 3241401 0 0 0 347479 555 0 0 25 0 1 0 517892371 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/29490/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 3480.34
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 874.118
CPU time (s): 3480.37
CPU user time (s): 3474.8
CPU system time (s): 5.57515
CPU usage (%): 398.158
Max. virtual memory (cumulated for all children) (KiB): 4709156

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3474.8
system time used= 5.57515
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3241401
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= 1615
involuntary context switches= 25606

runsolver used 1.3478 second user time and 3.36749 second system time

The end

Launcher Data 

Begin job on node122 at 2011-04-29 09:42:16
IDJOB=3285771
IDBENCH=82399
IDSOLVER=1656
FILE ID=node122/3285771-1304062930
RUNJOBID= node122-1304059984-28866
PBS_JOBID= 13170447
Free space on /tmp= 71432 MiB

SOLVER NAME= SArTagnan 2011-03-24
BENCH NAME= SAT11/application/rintanen/SATPlanning/blocks-blocks-37-1.130-NOTKNOWN.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3285771-1304062930/watcher-3285771-1304062930 -o /tmp/evaluation-result-3285771-1304062930/solver-3285771-1304062930 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3285771-1304062930.cnf -threads=4

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

MD5SUM BENCH= c7a9573eb59580c8d4fc5a3ca880d541
RANDOM SEED=2019083483

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:      21241436 kB
Buffers:       1625156 kB
Cached:        8751656 kB
SwapCached:          4 kB
Active:        1922216 kB
Inactive:      9227416 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      21241436 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:          228020 kB
Writeback:           0 kB
AnonPages:      772948 kB
Mapped:          15676 kB
Slab:           493652 kB
PageTables:       6184 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  1075564 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= 71484 MiB
End job on node122 at 2011-04-29 09:56:50