Trace number 3289221

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 2787.77 698.162

General information on the benchmark

Nameapplication/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom13.cnf
MD5SUMf3c2fb082f5fbc8fb1f714d6ee13929d
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark53.8988
Satisfiable
(Un)Satisfiability was proved
Number of variables19995
Number of clauses66333
Sum of the clauses size168341
Maximum clause length698
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 235137
Number of clauses of size 330832
Number of clauses of size 490
Number of clauses of size 511
Number of clauses of size over 5262

Solver Data 

2787.63/698.12	
2787.63/698.12	s UNSATISFIABLE
2787.63/698.12	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-3289221-1304082165/watcher-3289221-1304082165 -o /tmp/evaluation-result-3289221-1304082165/solver-3289221-1304082165 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3289221-1304082165.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: 6.07 7.59 7.42 2/174 18170
/proc/meminfo: memFree=17902384/32951124 swapFree=67111528/67111528
[pid=18170] ppid=18168 vsize=22128 CPUtime=0 cores=1,3,5,7
/proc/18170/stat : 18170 (SArTagnan) R 18168 18170 18138 0 -1 4202496 893 0 0 0 0 0 0 0 25 0 1 0 519819083 22659072 831 33554432000 4194304 4623224 140735875035840 18446744073709551615 216634515200 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18170/statm: 5532 833 301 105 0 1036 0

[startup+0.153812 s]
/proc/loadavg: 6.07 7.59 7.42 2/174 18170
/proc/meminfo: memFree=17902384/32951124 swapFree=67111528/67111528
[pid=18170] ppid=18168 vsize=266524 CPUtime=0.49 cores=1,3,5,7
/proc/18170/stat : 18170 (SArTagnan) R 18168 18170 18138 0 -1 4202496 7969 0 0 0 49 0 0 0 25 0 4 0 519819083 272920576 5883 33554432000 4194304 4623224 140735875035840 18446744073709551615 4412610 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18170/statm: 66631 5883 343 105 0 62135 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 266524

[startup+0.200809 s]
/proc/loadavg: 6.07 7.59 7.42 2/174 18170
/proc/meminfo: memFree=17902384/32951124 swapFree=67111528/67111528
[pid=18170] ppid=18168 vsize=267488 CPUtime=0.68 cores=1,3,5,7
/proc/18170/stat : 18170 (SArTagnan) R 18168 18170 18138 0 -1 4202496 8861 0 0 0 68 0 0 0 25 0 4 0 519819083 273907712 6775 33554432000 4194304 4623224 140735875035840 18446744073709551615 4507318 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18170/statm: 66872 6775 343 105 0 62376 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 267488

[startup+0.300789 s]
/proc/loadavg: 6.07 7.59 7.42 2/174 18170
/proc/meminfo: memFree=17902384/32951124 swapFree=67111528/67111528
[pid=18170] ppid=18168 vsize=267488 CPUtime=1.08 cores=1,3,5,7
/proc/18170/stat : 18170 (SArTagnan) R 18168 18170 18138 0 -1 4202496 8899 0 0 0 108 0 0 0 25 0 4 0 519819083 273907712 6813 33554432000 4194304 4623224 140735875035840 18446744073709551615 4517612 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18170/statm: 66872 6813 343 105 0 62376 0
Current children cumulated CPU time (s) 1.08
Current children cumulated vsize (KiB) 267488

[startup+0.700719 s]
/proc/loadavg: 6.07 7.59 7.42 2/174 18170
/proc/meminfo: memFree=17902384/32951124 swapFree=67111528/67111528
[pid=18170] ppid=18168 vsize=268936 CPUtime=2.69 cores=1,3,5,7
/proc/18170/stat : 18170 (SArTagnan) R 18168 18170 18138 0 -1 4202496 9291 0 0 0 268 1 0 0 25 0 4 0 519819083 275390464 7205 33554432000 4194304 4623224 140735875035840 18446744073709551615 4510090 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18170/statm: 67234 7205 343 105 0 62738 0
Current children cumulated CPU time (s) 2.69
Current children cumulated vsize (KiB) 268936

[startup+1.50058 s]
/proc/loadavg: 6.07 7.59 7.42 9/184 18183
/proc/meminfo: memFree=17809800/32951124 swapFree=67111528/67111528
[pid=18170] ppid=18168 vsize=335692 CPUtime=5.87 cores=1,3,5,7
/proc/18170/stat : 18170 (SArTagnan) R 18168 18170 18138 0 -1 4202496 46521 0 0 0 580 7 0 0 25 0 4 0 519819083 343748608 22804 33554432000 4194304 4623224 140735875035840 18446744073709551615 4412338 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18170/statm: 83923 22804 344 105 0 79427 0
[pid=18170/tid=18172] ppid=18168 vsize=335692 CPUtime=1.45 cores=1,3,5,7
/proc/18170/task/18172/stat : 18172 (SArTagnan) R 18168 18170 18138 0 -1 4202560 8349 0 0 0 144 1 0 0 25 0 4 0 519819087 343748608 22804 33554432000 4194304 4623224 140735875035840 18446744073709551615 4467674 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18170/tid=18173] ppid=18168 vsize=335692 CPUtime=1.44 cores=1,3,5,7
/proc/18170/task/18173/stat : 18173 (SArTagnan) R 18168 18170 18138 0 -1 4202560 6838 0 0 0 144 0 0 0 25 0 4 0 519819087 343748608 22804 33554432000 4194304 4623224 140735875035840 18446744073709551615 4488825 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18170/tid=18174] ppid=18168 vsize=335692 CPUtime=1.45 cores=1,3,5,7
/proc/18170/task/18174/stat : 18174 (SArTagnan) R 18168 18170 18138 0 -1 4202560 9771 0 0 0 144 1 0 0 25 0 4 0 519819087 343748608 22804 33554432000 4194304 4623224 140735875035840 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.87
Current children cumulated vsize (KiB) 335692

[startup+3.1003 s]
/proc/loadavg: 6.23 7.59 7.43 9/184 18183
/proc/meminfo: memFree=17747676/32951124 swapFree=67111528/67111528
[pid=18170] ppid=18168 vsize=335956 CPUtime=12.26 cores=1,3,5,7
/proc/18170/stat : 18170 (SArTagnan) R 18168 18170 18138 0 -1 4202496 56120 0 0 0 1218 8 0 0 25 0 4 0 519819083 344018944 23100 33554432000 4194304 4623224 140735875035840 18446744073709551615 4510119 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18170/statm: 83989 23100 344 105 0 79493 0
[pid=18170/tid=18172] ppid=18168 vsize=335956 CPUtime=3.05 cores=1,3,5,7
/proc/18170/task/18172/stat : 18172 (SArTagnan) R 18168 18170 18138 0 -1 4202560 8430 0 0 0 304 1 0 0 25 0 4 0 519819087 344018944 23100 33554432000 4194304 4623224 140735875035840 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18170/tid=18173] ppid=18168 vsize=335956 CPUtime=3.04 cores=1,3,5,7
/proc/18170/task/18173/stat : 18173 (SArTagnan) R 18168 18170 18138 0 -1 4202560 7014 0 0 0 304 0 0 0 25 0 4 0 519819087 344018944 23101 33554432000 4194304 4623224 140735875035840 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18170/tid=18174] ppid=18168 vsize=335956 CPUtime=3.05 cores=1,3,5,7
/proc/18170/task/18174/stat : 18174 (SArTagnan) R 18168 18170 18138 0 -1 4202560 18982 0 0 0 303 2 0 0 25 0 4 0 519819087 344018944 23101 33554432000 4194304 4623224 140735875035840 18446744073709551615 4366247 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.26
Current children cumulated vsize (KiB) 335956

[startup+6.30073 s]
/proc/loadavg: 6.23 7.59 7.43 9/184 18183
/proc/meminfo: memFree=17733548/32951124 swapFree=67111528/67111528
[pid=18170] ppid=18168 vsize=344056 CPUtime=25.04 cores=1,3,5,7
/proc/18170/stat : 18170 (SArTagnan) R 18168 18170 18138 0 -1 4202496 71282 0 0 0 2493 11 0 0 25 0 4 0 519819083 352313344 25694 33554432000 4194304 4623224 140735875035840 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18170/statm: 86014 25694 344 105 0 81518 0
[pid=18170/tid=18172] ppid=18168 vsize=344056 CPUtime=6.25 cores=1,3,5,7
/proc/18170/task/18172/stat : 18172 (SArTagnan) R 18168 18170 18138 0 -1 4202560 11324 0 0 0 622 3 0 0 25 0 4 0 519819087 352313344 25694 33554432000 4194304 4623224 140735875035840 18446744073709551615 4377457 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18170/tid=18173] ppid=18168 vsize=344056 CPUtime=6.23 cores=1,3,5,7
/proc/18170/task/18173/stat : 18173 (SArTagnan) R 18168 18170 18138 0 -1 4202560 7847 0 0 0 622 1 0 0 25 0 4 0 519819087 352313344 25694 33554432000 4194304 4623224 140735875035840 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18170/tid=18174] ppid=18168 vsize=344056 CPUtime=6.25 cores=1,3,5,7
/proc/18170/task/18174/stat : 18174 (SArTagnan) R 18168 18170 18138 0 -1 4202560 30369 0 0 0 621 4 0 0 25 0 4 0 519819087 352313344 25694 33554432000 4194304 4623224 140735875035840 18446744073709551615 4551644 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.04
Current children cumulated vsize (KiB) 344056

[startup+12.7006 s]
/proc/loadavg: 6.50 7.61 7.43 10/184 18183
/proc/meminfo: memFree=17698076/32951124 swapFree=67111528/67111528
[pid=18170] ppid=18168 vsize=351392 CPUtime=50.6 cores=1,3,5,7
/proc/18170/stat : 18170 (SArTagnan) R 18168 18170 18138 0 -1 4202496 109795 0 0 0 5043 17 0 0 25 0 4 0 519819083 359825408 28725 33554432000 4194304 4623224 140735875035840 18446744073709551615 4510026 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18170/statm: 87848 28725 344 105 0 83352 0
[pid=18170/tid=18172] ppid=18168 vsize=351392 CPUtime=12.65 cores=1,3,5,7
/proc/18170/task/18172/stat : 18172 (SArTagnan) R 18168 18170 18138 0 -1 4202560 12677 0 0 0 1262 3 0 0 25 0 4 0 519819087 359825408 28725 33554432000 4194304 4623224 140735875035840 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18170/tid=18173] ppid=18168 vsize=351392 CPUtime=12.59 cores=1,3,5,7
/proc/18170/task/18173/stat : 18173 (SArTagnan) R 18168 18170 18138 0 -1 4202560 10178 0 0 0 1258 1 0 0 25 0 4 0 519819087 359825408 28725 33554432000 4194304 4623224 140735875035840 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18170/tid=18174] ppid=18168 vsize=351392 CPUtime=12.66 cores=1,3,5,7
/proc/18170/task/18174/stat : 18174 (SArTagnan) R 18168 18170 18138 0 -1 4202560 62739 0 0 0 1257 9 0 0 25 0 4 0 519819087 359825408 28725 33554432000 4194304 4623224 140735875035840 18446744073709551615 4289723 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 351392

[startup+25.5004 s]
/proc/loadavg: 6.73 7.62 7.44 9/184 18184
/proc/meminfo: memFree=17493368/32951124 swapFree=67111528/67111528
[pid=18170] ppid=18168 vsize=364960 CPUtime=101.73 cores=1,3,5,7
/proc/18170/stat : 18170 (SArTagnan) R 18168 18170 18138 0 -1 4202496 182821 0 0 0 10144 29 0 0 25 0 4 0 519819083 373719040 32385 33554432000 4194304 4623224 140735875035840 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18170/statm: 91240 32385 344 105 0 86744 0
[pid=18170/tid=18172] ppid=18168 vsize=364960 CPUtime=25.44 cores=1,3,5,7
/proc/18170/task/18172/stat : 18172 (SArTagnan) R 18168 18170 18138 0 -1 4202560 17136 0 0 0 2540 4 0 0 25 0 4 0 519819087 373719040 32385 33554432000 4194304 4623224 140735875035840 18446744073709551615 4376634 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18170/tid=18173] ppid=18168 vsize=364960 CPUtime=25.31 cores=1,3,5,7
/proc/18170/task/18173/stat : 18173 (SArTagnan) R 18168 18170 18138 0 -1 4202560 14133 0 0 0 2529 2 0 0 25 0 4 0 519819087 373719040 32385 33554432000 4194304 4623224 140735875035840 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18170/tid=18174] ppid=18168 vsize=364960 CPUtime=25.46 cores=1,3,5,7
/proc/18170/task/18174/stat : 18174 (SArTagnan) R 18168 18170 18138 0 -1 4202560 127261 0 0 0 2528 18 0 0 25 0 4 0 519819087 373719040 32385 33554432000 4194304 4623224 140735875035840 18446744073709551615 4376869 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 101.73
Current children cumulated vsize (KiB) 364960

[startup+51.1009 s]
/proc/loadavg: 7.24 7.66 7.46 12/185 18187
/proc/meminfo: memFree=17449828/32951124 swapFree=67111528/67111528
[pid=18170] ppid=18168 vsize=368756 CPUtime=203.95 cores=1,3,5,7
/proc/18170/stat : 18170 (SArTagnan) R 18168 18170 18138 0 -1 4202496 318716 0 0 0 20342 53 0 0 25 0 4 0 519819083 377606144 39566 33554432000 4194304 4623224 140735875035840 18446744073709551615 4412329 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18170/statm: 92189 39566 344 105 0 87693 0
[pid=18170/tid=18172] ppid=18168 vsize=368756 CPUtime=51.05 cores=1,3,5,7
/proc/18170/task/18172/stat : 18172 (SArTagnan) R 18168 18170 18138 0 -1 4202560 23023 0 0 0 5099 6 0 0 25 0 4 0 519819087 377606144 39566 33554432000 4194304 4623224 140735875035840 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18170/tid=18173] ppid=18168 vsize=368756 CPUtime=50.78 cores=1,3,5,7
/proc/18170/task/18173/stat : 18173 (SArTagnan) R 18168 18170 18138 0 -1 4202560 15232 0 0 0 5075 3 0 0 25 0 4 0 519819087 377606144 39566 33554432000 4194304 4623224 140735875035840 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18170/tid=18174] ppid=18168 vsize=368756 CPUtime=51.02 cores=1,3,5,7
/proc/18170/task/18174/stat : 18174 (SArTagnan) R 18168 18170 18138 0 -1 4202560 255678 0 0 0 5062 40 0 0 25 0 4 0 519819087 377606144 39566 33554432000 4194304 4623224 140735875035840 18446744073709551615 4550432 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 203.95
Current children cumulated vsize (KiB) 368756

[startup+102.301 s]
/proc/loadavg: 7.93 7.79 7.51 10/184 18189
/proc/meminfo: memFree=17316328/32951124 swapFree=67111528/67111528
[pid=18170] ppid=18168 vsize=394684 CPUtime=407.71 cores=1,3,5,7
/proc/18170/stat : 18170 (SArTagnan) R 18168 18170 18138 0 -1 4202496 585998 0 0 0 40671 100 0 0 25 0 4 0 519819083 404156416 57802 33554432000 4194304 4623224 140735875035840 18446744073709551615 4414885 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18170/statm: 98671 57802 363 105 0 94175 0
[pid=18170/tid=18172] ppid=18168 vsize=394684 CPUtime=102.25 cores=1,3,5,7
/proc/18170/task/18172/stat : 18172 (SArTagnan) R 18168 18170 18138 0 -1 4202560 34583 0 0 0 10215 10 0 0 25 0 4 0 519819087 404156416 57802 33554432000 4194304 4623224 140735875035840 18446744073709551615 4376672 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18170/tid=18173] ppid=18168 vsize=394684 CPUtime=101.69 cores=1,3,5,7
/proc/18170/task/18173/stat : 18173 (SArTagnan) R 18168 18170 18138 0 -1 4202560 22345 0 0 0 10164 5 0 0 25 0 4 0 519819087 404156416 57802 33554432000 4194304 4623224 140735875035840 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18170/tid=18174] ppid=18168 vsize=394684 CPUtime=101.44 cores=1,3,5,7
/proc/18170/task/18174/stat : 18174 (SArTagnan) R 18168 18170 18138 0 -1 4202560 498646 0 0 0 10066 78 0 0 25 0 4 0 519819087 404156416 57802 33554432000 4194304 4623224 140735875035840 18446744073709551615 4366412 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 407.71
Current children cumulated vsize (KiB) 394684

[startup+162.3 s]
/proc/loadavg: 8.05 7.84 7.55 10/184 18190
/proc/meminfo: memFree=17184240/32951124 swapFree=67111528/67111528
[pid=18170] ppid=18168 vsize=510868 CPUtime=647.36 cores=1,3,5,7
/proc/18170/stat : 18170 (SArTagnan) R 18168 18170 18138 0 -1 4202496 868890 0 0 0 64586 150 0 0 25 0 4 0 519819083 523128832 79504 33554432000 4194304 4623224 140735875035840 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18170/statm: 127717 79504 393 105 0 123221 0
[pid=18170/tid=18172] ppid=18168 vsize=510868 CPUtime=162.24 cores=1,3,5,7
/proc/18170/task/18172/stat : 18172 (SArTagnan) R 18168 18170 18138 0 -1 4202560 52272 0 0 0 16209 15 0 0 25 0 4 0 519819087 523128832 79504 33554432000 4194304 4623224 140735875035840 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18170/tid=18173] ppid=18168 vsize=510868 CPUtime=161.37 cores=1,3,5,7
/proc/18170/task/18173/stat : 18173 (SArTagnan) R 18168 18170 18138 0 -1 4202560 24144 0 0 0 16130 7 0 0 25 0 4 0 519819087 523128832 79504 33554432000 4194304 4623224 140735875035840 18446744073709551615 4376625 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18170/tid=18174] ppid=18168 vsize=510868 CPUtime=161.43 cores=1,3,5,7
/proc/18170/task/18174/stat : 18174 (SArTagnan) R 18168 18170 18138 0 -1 4202560 756109 0 0 0 16023 120 0 0 25 0 4 0 519819087 523128832 79504 33554432000 4194304 4623224 140735875035840 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 647.36
Current children cumulated vsize (KiB) 510868

[startup+222.307 s]
/proc/loadavg: 8.08 7.89 7.58 10/184 18192
/proc/meminfo: memFree=17054624/32951124 swapFree=67111528/67111528
[pid=18170] ppid=18168 vsize=577492 CPUtime=887.06 cores=1,3,5,7
/proc/18170/stat : 18170 (SArTagnan) R 18168 18170 18138 0 -1 4202496 1226999 0 0 0 88495 211 0 0 25 0 4 0 519819083 591351808 101516 33554432000 4194304 4623224 140735875035840 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18170/statm: 144373 101517 624 105 0 139877 0
[pid=18170/tid=18172] ppid=18168 vsize=577492 CPUtime=222.25 cores=1,3,5,7
/proc/18170/task/18172/stat : 18172 (SArTagnan) R 18168 18170 18138 0 -1 4202560 72991 0 0 0 22202 23 0 0 25 0 4 0 519819087 591351808 101517 33554432000 4194304 4623224 140735875035840 18446744073709551615 4376625 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18170/tid=18173] ppid=18168 vsize=577492 CPUtime=221.05 cores=1,3,5,7
/proc/18170/task/18173/stat : 18173 (SArTagnan) R 18168 18170 18138 0 -1 4202560 24865 0 0 0 22097 8 0 0 25 0 4 0 519819087 591351808 101517 33554432000 4194304 4623224 140735875035840 18446744073709551615 4376666 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18170/tid=18174] ppid=18168 vsize=577492 CPUtime=221.44 cores=1,3,5,7
/proc/18170/task/18174/stat : 18174 (SArTagnan) R 18168 18170 18138 0 -1 4202560 1081406 0 0 0 21972 172 0 0 25 0 4 0 519819087 591351808 101517 33554432000 4194304 4623224 140735875035840 18446744073709551615 4366247 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 887.06
Current children cumulated vsize (KiB) 577492

[startup+282.301 s]

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

/proc/18170/task/18174/stat : 18174 (SArTagnan) R 18168 18170 18138 0 -1 4202560 1890128 0 0 0 51833 310 0 0 25 0 4 0 519819087 921309184 155294 33554432000 4194304 4623224 140735875035840 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2085.4
Current children cumulated vsize (KiB) 899716

[startup+582.3 s]
/proc/loadavg: 8.14 8.06 7.74 10/184 18201
/proc/meminfo: memFree=16482996/32951124 swapFree=67111528/67111528
[pid=18170] ppid=18168 vsize=927688 CPUtime=2325.06 cores=1,3,5,7
/proc/18170/stat : 18170 (SArTagnan) R 18168 18170 18138 0 -1 4202496 2451684 0 0 0 232077 429 0 0 25 0 4 0 519819083 949952512 162361 33554432000 4194304 4623224 140735875035840 18446744073709551615 4510486 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18170/statm: 231922 162361 419 105 0 227426 0
[pid=18170/tid=18172] ppid=18168 vsize=927688 CPUtime=582.23 cores=1,3,5,7
/proc/18170/task/18172/stat : 18172 (SArTagnan) R 18168 18170 18138 0 -1 4202560 115465 0 0 0 58185 38 0 0 25 0 4 0 519819087 949952512 162361 33554432000 4194304 4623224 140735875035840 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18170/tid=18173] ppid=18168 vsize=927688 CPUtime=579.09 cores=1,3,5,7
/proc/18170/task/18173/stat : 18173 (SArTagnan) R 18168 18170 18138 0 -1 4202560 38557 0 0 0 57894 15 0 0 25 0 4 0 519819087 949952512 162361 33554432000 4194304 4623224 140735875035840 18446744073709551615 4376869 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18170/tid=18174] ppid=18168 vsize=927688 CPUtime=581.44 cores=1,3,5,7
/proc/18170/task/18174/stat : 18174 (SArTagnan) R 18168 18170 18138 0 -1 4202560 2182537 0 0 0 57786 358 0 0 25 0 4 0 519819087 949952512 162361 33554432000 4194304 4623224 140735875035840 18446744073709551615 4376895 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2325.06
Current children cumulated vsize (KiB) 927688

[startup+642.301 s]
/proc/loadavg: 8.10 8.06 7.76 9/184 18203
/proc/meminfo: memFree=16407940/32951124 swapFree=67111528/67111528
[pid=18170] ppid=18168 vsize=927688 CPUtime=2564.74 cores=1,3,5,7
/proc/18170/stat : 18170 (SArTagnan) R 18168 18170 18138 0 -1 4202496 2720052 0 0 0 255997 477 0 0 25 0 4 0 519819083 949952512 171851 33554432000 4194304 4623224 140735875035840 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18170/statm: 231922 171851 417 105 0 227426 0
[pid=18170/tid=18172] ppid=18168 vsize=927688 CPUtime=642.22 cores=1,3,5,7
/proc/18170/task/18172/stat : 18172 (SArTagnan) R 18168 18170 18138 0 -1 4202560 116146 0 0 0 64184 38 0 0 25 0 4 0 519819087 949952512 171851 33554432000 4194304 4623224 140735875035840 18446744073709551615 4376668 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18170/tid=18173] ppid=18168 vsize=927688 CPUtime=638.76 cores=1,3,5,7
/proc/18170/task/18173/stat : 18173 (SArTagnan) R 18168 18170 18138 0 -1 4202560 39518 0 0 0 63860 16 0 0 25 0 4 0 519819087 949952512 171851 33554432000 4194304 4623224 140735875035840 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18170/tid=18174] ppid=18168 vsize=927688 CPUtime=641.43 cores=1,3,5,7
/proc/18170/task/18174/stat : 18174 (SArTagnan) R 18168 18170 18138 0 -1 4202560 2442365 0 0 0 63741 402 0 0 25 0 4 0 519819087 949952512 171851 33554432000 4194304 4623224 140735875035840 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2564.74
Current children cumulated vsize (KiB) 927688

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

[startup+665.607 s]
/proc/loadavg: 8.15 8.07 7.77 10/184 18204
/proc/meminfo: memFree=16373452/32951124 swapFree=67111528/67111528
[pid=18170] ppid=18168 vsize=956664 CPUtime=2657.84 cores=1,3,5,7
/proc/18170/stat : 18170 (SArTagnan) R 18168 18170 18138 0 -1 4202496 2738979 0 0 0 265303 481 0 0 25 0 4 0 519819083 979623936 176487 33554432000 4194304 4623224 140735875035840 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18170/statm: 239166 176487 417 105 0 234670 0
[pid=18170/tid=18172] ppid=18168 vsize=956664 CPUtime=665.52 cores=1,3,5,7
/proc/18170/task/18172/stat : 18172 (SArTagnan) R 18168 18170 18138 0 -1 4202560 117085 0 0 0 66514 38 0 0 25 0 4 0 519819087 979623936 176487 33554432000 4194304 4623224 140735875035840 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18170/tid=18173] ppid=18168 vsize=956664 CPUtime=661.94 cores=1,3,5,7
/proc/18170/task/18173/stat : 18173 (SArTagnan) R 18168 18170 18138 0 -1 4202560 39625 0 0 0 66178 16 0 0 25 0 4 0 519819087 979623936 176487 33554432000 4194304 4623224 140735875035840 18446744073709551615 4366412 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18170/tid=18174] ppid=18168 vsize=956664 CPUtime=664.75 cores=1,3,5,7
/proc/18170/task/18174/stat : 18174 (SArTagnan) R 18168 18170 18138 0 -1 4202560 2442460 0 0 0 66072 403 0 0 25 0 4 0 519819087 979623936 176487 33554432000 4194304 4623224 140735875035840 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2657.84
Current children cumulated vsize (KiB) 956664

[startup+678.4 s]
/proc/loadavg: 8.11 8.07 7.77 9/184 18204
/proc/meminfo: memFree=16356208/32951124 swapFree=67111528/67111528
[pid=18170] ppid=18168 vsize=1022200 CPUtime=2708.95 cores=1,3,5,7
/proc/18170/stat : 18170 (SArTagnan) R 18168 18170 18138 0 -1 4202496 2826026 0 0 0 270400 495 0 0 25 0 4 0 519819083 1046732800 180321 33554432000 4194304 4623224 140735875035840 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18170/statm: 255550 180321 417 105 0 251054 0
[pid=18170/tid=18172] ppid=18168 vsize=1022200 CPUtime=678.32 cores=1,3,5,7
/proc/18170/task/18172/stat : 18172 (SArTagnan) R 18168 18170 18138 0 -1 4202560 117799 0 0 0 67793 39 0 0 25 0 4 0 519819087 1046732800 180321 33554432000 4194304 4623224 140735875035840 18446744073709551615 4376675 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18170/tid=18173] ppid=18168 vsize=1022200 CPUtime=674.67 cores=1,3,5,7
/proc/18170/task/18173/stat : 18173 (SArTagnan) R 18168 18170 18138 0 -1 4202560 39662 0 0 0 67451 16 0 0 25 0 4 0 519819087 1046732800 180321 33554432000 4194304 4623224 140735875035840 18446744073709551615 4376687 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18170/tid=18174] ppid=18168 vsize=1022200 CPUtime=677.54 cores=1,3,5,7
/proc/18170/task/18174/stat : 18174 (SArTagnan) R 18168 18170 18138 0 -1 4202560 2526676 0 0 0 67338 416 0 0 25 0 4 0 519819087 1046732800 180321 33554432000 4194304 4623224 140735875035840 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2708.95
Current children cumulated vsize (KiB) 1022200

[startup+691.201 s]
/proc/loadavg: 8.10 8.06 7.77 10/184 18204
/proc/meminfo: memFree=16288848/32951124 swapFree=67111528/67111528
[pid=18170] ppid=18168 vsize=1089836 CPUtime=2760.08 cores=1,3,5,7
/proc/18170/stat : 18170 (SArTagnan) R 18168 18170 18138 0 -1 4202496 2921730 0 0 0 275497 511 0 0 25 0 4 0 519819083 1115992064 194680 33554432000 4194304 4623224 140735875035840 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18170/statm: 272459 194680 346 105 0 267963 0
[pid=18170/tid=18172] ppid=18168 vsize=1089836 CPUtime=691.12 cores=1,3,5,7
/proc/18170/task/18172/stat : 18172 (SArTagnan) R 18168 18170 18138 0 -1 4202560 118527 0 0 0 69073 39 0 0 25 0 4 0 519819087 1115992064 194680 33554432000 4194304 4623224 140735875035840 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18170/tid=18173] ppid=18168 vsize=1089836 CPUtime=687.39 cores=1,3,5,7
/proc/18170/task/18173/stat : 18173 (SArTagnan) R 18168 18170 18138 0 -1 4202560 49805 0 0 0 68722 17 0 0 25 0 4 0 519819087 1115992064 194680 33554432000 4194304 4623224 140735875035840 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18170/tid=18174] ppid=18168 vsize=1089836 CPUtime=690.34 cores=1,3,5,7
/proc/18170/task/18174/stat : 18174 (SArTagnan) R 18168 18170 18138 0 -1 4202560 2599197 0 0 0 68606 428 0 0 25 0 4 0 519819087 1115992064 194680 33554432000 4194304 4623224 140735875035840 18446744073709551615 4364911 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2760.08
Current children cumulated vsize (KiB) 1089836

[startup+694.401 s]
/proc/loadavg: 8.09 8.06 7.78 10/184 18204
/proc/meminfo: memFree=16285128/32951124 swapFree=67111528/67111528
[pid=18170] ppid=18168 vsize=1089836 CPUtime=2772.85 cores=1,3,5,7
/proc/18170/stat : 18170 (SArTagnan) R 18168 18170 18138 0 -1 4202496 2942785 0 0 0 276771 514 0 0 25 0 4 0 519819083 1115992064 195372 33554432000 4194304 4623224 140735875035840 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18170/statm: 272459 195372 345 105 0 267963 0
[pid=18170/tid=18172] ppid=18168 vsize=1089836 CPUtime=694.31 cores=1,3,5,7
/proc/18170/task/18172/stat : 18172 (SArTagnan) R 18168 18170 18138 0 -1 4202560 118527 0 0 0 69392 39 0 0 22 0 4 0 519819087 1115992064 195372 33554432000 4194304 4623224 140735875035840 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18170/tid=18173] ppid=18168 vsize=1089836 CPUtime=690.57 cores=1,3,5,7
/proc/18170/task/18173/stat : 18173 (SArTagnan) R 18168 18170 18138 0 -1 4202560 49805 0 0 0 69040 17 0 0 25 0 4 0 519819087 1115992064 195373 33554432000 4194304 4623224 140735875035840 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18170/tid=18174] ppid=18168 vsize=1089836 CPUtime=693.54 cores=1,3,5,7
/proc/18170/task/18174/stat : 18174 (SArTagnan) R 18168 18170 18138 0 -1 4202560 2619773 0 0 0 68923 431 0 0 25 0 4 0 519819087 1115992064 195373 33554432000 4194304 4623224 140735875035840 18446744073709551615 4366247 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2772.85
Current children cumulated vsize (KiB) 1089836

[startup+696 s]
/proc/loadavg: 8.09 8.06 7.78 9/184 18204
/proc/meminfo: memFree=16283640/32951124 swapFree=67111528/67111528
[pid=18170] ppid=18168 vsize=1089836 CPUtime=2779.24 cores=1,3,5,7
/proc/18170/stat : 18170 (SArTagnan) R 18168 18170 18138 0 -1 4202496 2953488 0 0 0 277408 516 0 0 25 0 4 0 519819083 1115992064 195589 33554432000 4194304 4623224 140735875035840 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18170/statm: 272459 195589 345 105 0 267963 0
[pid=18170/tid=18172] ppid=18168 vsize=1089836 CPUtime=695.91 cores=1,3,5,7
/proc/18170/task/18172/stat : 18172 (SArTagnan) R 18168 18170 18138 0 -1 4202560 118527 0 0 0 69552 39 0 0 25 0 4 0 519819087 1115992064 195589 33554432000 4194304 4623224 140735875035840 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18170/tid=18173] ppid=18168 vsize=1089836 CPUtime=692.17 cores=1,3,5,7
/proc/18170/task/18173/stat : 18173 (SArTagnan) R 18168 18170 18138 0 -1 4202560 49805 0 0 0 69200 17 0 0 25 0 4 0 519819087 1115992064 195589 33554432000 4194304 4623224 140735875035840 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18170/tid=18174] ppid=18168 vsize=1089836 CPUtime=695.14 cores=1,3,5,7
/proc/18170/task/18174/stat : 18174 (SArTagnan) R 18168 18170 18138 0 -1 4202560 2630286 0 0 0 69081 433 0 0 25 0 4 0 519819087 1115992064 195589 33554432000 4194304 4623224 140735875035840 18446744073709551615 4364911 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2779.24
Current children cumulated vsize (KiB) 1089836

[startup+696.8 s]
/proc/loadavg: 8.08 8.06 7.78 9/184 18204
/proc/meminfo: memFree=16282520/32951124 swapFree=67111528/67111528
[pid=18170] ppid=18168 vsize=1095252 CPUtime=2782.43 cores=1,3,5,7
/proc/18170/stat : 18170 (SArTagnan) R 18168 18170 18138 0 -1 4202496 2961272 0 0 0 277726 517 0 0 25 0 4 0 519819083 1121538048 196313 33554432000 4194304 4623224 140735875035840 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18170/statm: 273813 196313 344 105 0 269317 0
[pid=18170/tid=18172] ppid=18168 vsize=1095252 CPUtime=696.71 cores=1,3,5,7
/proc/18170/task/18172/stat : 18172 (SArTagnan) R 18168 18170 18138 0 -1 4202560 118527 0 0 0 69632 39 0 0 25 0 4 0 519819087 1121538048 196313 33554432000 4194304 4623224 140735875035840 18446744073709551615 4366412 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18170/tid=18173] ppid=18168 vsize=1095252 CPUtime=692.96 cores=1,3,5,7
/proc/18170/task/18173/stat : 18173 (SArTagnan) R 18168 18170 18138 0 -1 4202560 49805 0 0 0 69279 17 0 0 25 0 4 0 519819087 1121538048 196313 33554432000 4194304 4623224 140735875035840 18446744073709551615 4376869 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18170/tid=18174] ppid=18168 vsize=1095252 CPUtime=695.94 cores=1,3,5,7
/proc/18170/task/18174/stat : 18174 (SArTagnan) R 18168 18170 18138 0 -1 4202560 2636427 0 0 0 69160 434 0 0 25 0 4 0 519819087 1121538048 196313 33554432000 4194304 4623224 140735875035840 18446744073709551615 216634173869 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2782.43
Current children cumulated vsize (KiB) 1095252

[startup+697.601 s]
/proc/loadavg: 8.08 8.06 7.78 9/184 18204
/proc/meminfo: memFree=16275700/32951124 swapFree=67111528/67111528
[pid=18170] ppid=18168 vsize=1095252 CPUtime=2785.63 cores=1,3,5,7
/proc/18170/stat : 18170 (SArTagnan) R 18168 18170 18138 0 -1 4202496 2968360 0 0 0 278045 518 0 0 25 0 4 0 519819083 1121538048 197393 33554432000 4194304 4623224 140735875035840 18446744073709551615 4388779 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18170/statm: 273813 197394 346 105 0 269317 0
[pid=18170/tid=18172] ppid=18168 vsize=1095252 CPUtime=697.51 cores=1,3,5,7
/proc/18170/task/18172/stat : 18172 (SArTagnan) R 18168 18170 18138 0 -1 4202560 118527 0 0 0 69712 39 0 0 25 0 4 0 519819087 1121538048 197394 33554432000 4194304 4623224 140735875035840 18446744073709551615 4376853 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18170/tid=18173] ppid=18168 vsize=1095252 CPUtime=693.76 cores=1,3,5,7
/proc/18170/task/18173/stat : 18173 (SArTagnan) R 18168 18170 18138 0 -1 4202560 49805 0 0 0 69359 17 0 0 25 0 4 0 519819087 1121538048 197394 33554432000 4194304 4623224 140735875035840 18446744073709551615 4278424 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18170/tid=18174] ppid=18168 vsize=1095252 CPUtime=696.74 cores=1,3,5,7
/proc/18170/task/18174/stat : 18174 (SArTagnan) R 18168 18170 18138 0 -1 4202560 2643349 0 0 0 69239 435 0 0 25 0 4 0 519819087 1121538048 197394 33554432000 4194304 4623224 140735875035840 18446744073709551615 4366247 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2785.63
Current children cumulated vsize (KiB) 1095252

[startup+698.001 s]
/proc/loadavg: 8.08 8.06 7.78 9/184 18204
/proc/meminfo: memFree=16275700/32951124 swapFree=67111528/67111528
[pid=18170] ppid=18168 vsize=1095252 CPUtime=2787.23 cores=1,3,5,7
/proc/18170/stat : 18170 (SArTagnan) R 18168 18170 18138 0 -1 4202496 2970958 0 0 0 278203 520 0 0 25 0 4 0 519819083 1121538048 197509 33554432000 4194304 4623224 140735875035840 18446744073709551615 4413961 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18170/statm: 273813 197509 344 105 0 269317 0
[pid=18170/tid=18172] ppid=18168 vsize=1095252 CPUtime=697.91 cores=1,3,5,7
/proc/18170/task/18172/stat : 18172 (SArTagnan) R 18168 18170 18138 0 -1 4202560 118531 0 0 0 69752 39 0 0 25 0 4 0 519819087 1121538048 197509 33554432000 4194304 4623224 140735875035840 18446744073709551615 4357641 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18170/tid=18173] ppid=18168 vsize=1095252 CPUtime=694.16 cores=1,3,5,7
/proc/18170/task/18173/stat : 18173 (SArTagnan) R 18168 18170 18138 0 -1 4202560 49813 0 0 0 69399 17 0 0 25 0 4 0 519819087 1121538048 197509 33554432000 4194304 4623224 140735875035840 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18170/tid=18174] ppid=18168 vsize=1095252 CPUtime=697.14 cores=1,3,5,7
/proc/18170/task/18174/stat : 18174 (SArTagnan) R 18168 18170 18138 0 -1 4202560 2644759 0 0 0 69279 435 0 0 25 0 4 0 519819087 1121538048 197509 33554432000 4194304 4623224 140735875035840 18446744073709551615 4480274 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2787.23
Current children cumulated vsize (KiB) 1095252

[startup+698.101 s]
/proc/loadavg: 8.08 8.06 7.78 9/184 18204
/proc/meminfo: memFree=16275700/32951124 swapFree=67111528/67111528
[pid=18170] ppid=18168 vsize=1096208 CPUtime=2787.63 cores=1,3,5,7
/proc/18170/stat : 18170 (SArTagnan) R 18168 18170 18138 0 -1 4202496 2971454 0 0 0 278243 520 0 0 25 0 4 0 519819083 1122516992 197989 33554432000 4194304 4623224 140735875035840 18446744073709551615 4412338 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18170/statm: 274052 197989 344 105 0 269556 0
[pid=18170/tid=18172] ppid=18168 vsize=1096208 CPUtime=698 cores=1,3,5,7
/proc/18170/task/18172/stat : 18172 (SArTagnan) R 18168 18170 18138 0 -1 4202560 118531 0 0 0 69761 39 0 0 25 0 4 0 519819087 1122516992 197989 33554432000 4194304 4623224 140735875035840 18446744073709551615 4358052 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18170/tid=18173] ppid=18168 vsize=1096208 CPUtime=694.26 cores=1,3,5,7
/proc/18170/task/18173/stat : 18173 (SArTagnan) R 18168 18170 18138 0 -1 4202560 49813 0 0 0 69409 17 0 0 25 0 4 0 519819087 1122516992 197989 33554432000 4194304 4623224 140735875035840 18446744073709551615 4376892 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18170/tid=18174] ppid=18168 vsize=1096208 CPUtime=697.24 cores=1,3,5,7
/proc/18170/task/18174/stat : 18174 (SArTagnan) R 18168 18170 18138 0 -1 4202560 2644802 0 0 0 69289 435 0 0 25 0 4 0 519819087 1122516992 197989 33554432000 4194304 4623224 140735875035840 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2787.63
Current children cumulated vsize (KiB) 1096208

Child status: 20
Real time (s): 698.162
CPU time (s): 2787.77
CPU user time (s): 2782.53
CPU system time (s): 5.2382
CPU usage (%): 399.301
Max. virtual memory (cumulated for all children) (KiB): 1096208

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2782.53
system time used= 5.2382
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2971542
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= 2314
involuntary context switches= 13239

runsolver used 1.10083 second user time and 2.70959 second system time

The end

Launcher Data 

Begin job on node103 at 2011-04-29 15:02:45
IDJOB=3289221
IDBENCH=83117
IDSOLVER=1656
FILE ID=node103/3289221-1304082165
RUNJOBID= node103-1304082164-18157
PBS_JOBID= 13170539
Free space on /tmp= 71516 MiB

SOLVER NAME= SArTagnan 2011-03-24
BENCH NAME= SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom13.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3289221-1304082165/watcher-3289221-1304082165 -o /tmp/evaluation-result-3289221-1304082165/solver-3289221-1304082165 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3289221-1304082165.cnf -threads=4

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

MD5SUM BENCH= f3c2fb082f5fbc8fb1f714d6ee13929d
RANDOM SEED=568569881

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      17902532 kB
Buffers:       2148152 kB
Cached:       12249284 kB
SwapCached:          0 kB
Active:        5577500 kB
Inactive:      8887020 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      17902532 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            4376 kB
Writeback:           0 kB
AnonPages:       66424 kB
Mapped:          14528 kB
Slab:           519564 kB
PageTables:       4860 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   188620 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= 71512 MiB
End job on node103 at 2011-04-29 15:14:23