Trace number 3366063

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
SAT09 reference solver:precosat 236? (TO) 5000.05 4999.92

General information on the benchmark

NameSAT02/industrial/nam/fpga-routing/
k2fix_gr_rcs_w8.shuffled.cnf
MD5SUM82e833e539576c6d79252b19dcace0cf
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark4.63029
Satisfiable
(Un)Satisfiability was proved
Number of variables10056
Number of clauses271393
Sum of the clauses size550328
Maximum clause length8
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2270136
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 51257

Solver Data 

0.00/0.00	c PicoSATLight Version 236 3e7a3f8825c0b9e241f38a63fee5517540b2feca
0.00/0.00	c Copyright (C) 2009, Armin Biere, JKU, Linz, Austria.  All rights reserved.
0.00/0.00	c Released on Sun Mar 22 10:16:26 CET 2009
0.00/0.00	c Compiled on Tue Mar 24 21:24:39 CET 2009
0.00/0.00	c g++ (GCC) 4.3.2 20081105 (Red Hat 4.3.2-7)
0.00/0.00	c -O3 -m32 -static -Wall -Wextra -DNDEBUG -DNLOGPRECO -DNSTATSPRECO
0.00/0.00	c -finline-limit=10000000 -fomit-frame-pointer -fno-exceptions
0.00/0.00	c Linux baghera 2.6.27.19-170.2.35.fc10.i686.PAE i686
0.00/0.00	c
0.00/0.00	c reading HOME/instance-3366063-1305324610.cnf
0.00/0.00	c found header 'p cnf 10056 271393'
0.19/0.22	c finished parsing
0.19/0.22	c
0.19/0.22	c --check=0 --verbose=0 --order=3 --simprd=40 --merge=1 --hash=1
0.19/0.22	c --dominate=1 --restart=1 --restartint=100 --rebias=1 --rebiasint=1000
0.19/0.22	c --probe=1 --probeint=100000 --probeprd=10 --decompose=1 --minimize=3
0.19/0.22	c --maxdepth=1000 --strength=10 --elim=1 --elimint=300000 --elimprd=20
0.19/0.22	c --subst=1 --ands=1 --xors=1 --ites=1 --minlimit=1000 --maxlimit=10000000
0.19/0.22	c --random=1 --spread=2000 --seed=0 --skip=25
0.19/0.22	c
0.19/0.22	c sizeof     vars[0] = 16   alignment = 0       0 MB
0.19/0.22	c sizeof     orgs[0] =  8   alignment = 0       0 MB
0.19/0.22	c sizeof     occs[0] =  8   alignment = 0       0 MB
0.19/0.22	c sizeof iirfs[0..1] =  8   alignment = 0       0 MB
0.19/0.22	c
0.19/0.22	c starting search after 0.2 seconds
0.19/0.22	c no decision limit
0.19/0.23	c
0.19/0.23	c       original/binary      fixed     eliminated      learned       agility
0.19/0.23	c   seconds        variables     equivalent    conflicts       height       MB
0.19/0.23	c
0.19/0.23	c *    0.2   271393   10056      0     0      0       0      0    0.0   0   19
1.29/1.32	c s    1.3   269997    8686      0     0   1370       0      0    0.0   0   19
1.29/1.32	c l    1.3   269997    8686      0     0   1370       0  63249    0.0   0   19
1.29/1.35	c R    1.4   269997    8686      0     0   1370     101    101 1884.5   2   20
1.29/1.36	c R    1.4   269997    8686      0     0   1370     201    201 1784.7   4   20
1.39/1.49	c R    1.5   269997    8686      0     0   1370     805    805 1393.3   4   21
1.49/1.53	c B    1.5   269997    8686      0     0   1370    1000   1000 1314.9   3   21
1.69/1.79	c B    1.8   269997    8686      0     0   1370    2000   2000  993.7   5   22
1.79/1.85	c R    1.9   269997    8686      0     0   1370    2410   2410  918.7   3   22
2.79/2.82	c R    2.8   269997    8686      0     0   1370    6425   6425  500.2   3   23
3.19/3.27	c B    3.3   269997    8686      0     0   1370    8003   8003  432.1   5   23
5.09/5.14	c R    5.1   269997    8686      0     0   1370   16043  16043  255.0   4   25
6.99/7.05	c B    7.1   269997    8686      0     0   1370   24014  24014  189.7   4   27
10.49/10.51	c R   10.5   269997    8686      0     0   1370   38516  38516  134.2   2   30
16.40/16.48	c +   16.5   269997    8686      0     0   1370   63249  69573   95.6   3   36
16.59/16.65	c B   16.7   269997    8686      0     0   1370   64036  64036   94.9   4   36
20.99/21.08	c +   21.1   269997    8686      0     0   1370   79062  76530   83.6   2   38
23.29/23.33	c s   23.3   269998    8686      0     0   1370   84359  74873   80.5   2   33
24.79/24.84	c R   24.8   269998    8686      0     0   1370   89829  76544   77.4   5   37
27.19/27.30	c
27.19/27.30	c       original/binary      fixed     eliminated      learned       agility
27.19/27.30	c   seconds        variables     equivalent    conflicts       height       MB
27.19/27.30	c
27.19/27.30	c +   27.3   269998    8686      0     0   1370   98826  84183   73.6   3   38
34.90/34.92	c +   34.9   269998    8686      0     0   1370  123530  92601   65.4   4   40
41.89/41.97	c s   42.0   269999    8686      0     0   1370  145301  92601   60.4   2   36
44.59/44.61	c +   44.6   269999    8686      0     0   1370  154412 101861   59.1   2   41
46.59/46.61	c B   46.6   269999    8686      0     0   1370  160070  98263   58.4   4   43
56.39/56.47	c +   56.5   269999    8686      0     0   1370  193015 112047   58.1   3   45
60.39/60.51	c R   60.5   269999    8686      0     0   1370  205251 112058   56.1   3   47
71.99/72.02	c +   72.0   269999    8686      0     0   1370  241265 123251   52.1   4   49
72.29/72.36	c s   72.4   270000    8686      0     0   1370  241876 112665   52.0   2   40
95.00/95.04	c +   95.0   270000    8686      0     0   1370  301580 135576   48.7   3   52
124.20/124.28	c +  124.3   270000    8686      0     0   1370  376975 149133   45.7   4   56
127.19/127.28	c B  127.3   270000    8686      0     0   1370  384135 142742   45.5   2   58
159.19/159.28	c R  159.3   270000    8686      0     0   1370  461642 149151   43.9   3   60
159.99/160.08	c s  160.1   270001    8686      0     0   1370  462594 149135   43.8   2   47
163.39/163.48	c +  163.5   270002    8686      0     0   1370  471215 164046   43.7   3   53
171.29/171.34	c s  171.3   270002    8686      0     0   1370  489844 164058   42.9   3   50
184.81/184.83	c s  184.8   270003    8686      0     0   1370  521916 164050   42.1   3   50
198.80/198.82	c s  198.8   270004    8686      0     0   1370  551364 164074   41.5   3   50
215.80/215.87	c +  215.9   270004    8686      0     0   1370  589016 180450   41.0   4   61
246.30/246.33	c
246.30/246.33	c       original/binary      fixed     eliminated      learned       agility
246.30/246.33	c   seconds        variables     equivalent    conflicts       height       MB
246.30/246.33	c
246.30/246.33	c s  246.3   270005    8686      0     0   1370  654862 180452   40.6   2   55
262.30/262.32	c s  262.3   270006    8686      0     0   1370  686065 180462   40.3   5   54
276.49/276.59	c s  276.6   270007    8686      0     0   1370  717940 180455   40.0   3   55
284.09/284.12	c +  284.1   270008    8686      0     0   1370  736270 198495   39.7   3   63
289.89/289.91	c s  289.9   270008    8686      0     0   1370  748752 192959   39.5   3   57
307.40/307.45	c s  307.5   270011    8686      0     0   1370  780947 198501   39.4   2   59
366.40/366.47	c B  366.5   270011    8686      0     0   1370  896266 198500   39.1   4   74
380.30/380.35	c +  380.4   270011    8686      0     0   1370  920335 218344   39.0   2   75
431.51/431.52	c R  431.5   270011    8686      0     0   1370 1025717 218372   39.0   4   83
489.31/489.34	c +  489.4   270011    8686      0     0   1370 1150417 240178   37.7   3   87
550.70/550.77	c s  550.8   270012    8686      0     0   1370 1260605 240177   37.4   2   68
570.81/570.85	c s  570.9   270013    8686      0     0   1370 1296002 240181   37.4   4   67
590.80/590.85	c s  590.9   270014    8686      0     0   1370 1330062 240195   37.2   3   66
611.20/611.27	c s  611.3   270015    8686      0     0   1370 1367293 240208   37.2   5   67
656.20/656.23	c +  656.3   270015    8686      0     0   1370 1438025 264195   37.2   2   83
681.81/681.88	c s  681.9   270016    8686      0     0   1370 1477994 264195   37.2   2   72
707.81/707.83	c s  707.9   270020    8686      0     0   1370 1515209 264202   37.2   4   71
732.71/732.72	c s  732.7   270021    8686      0     0   1370 1553836 264194   37.1   2   71
827.72/827.78	c s  827.8   270022    8686      0     0   1370 1712946 264194   36.4   2   71
852.22/852.29	c
852.22/852.29	c       original/binary      fixed     eliminated      learned       agility
852.22/852.29	c   seconds        variables     equivalent    conflicts       height       MB
852.22/852.29	c
852.22/852.29	c s  852.3   270023    8686      0     0   1370 1748554 264196   36.4   2   71
877.72/877.76	c s  877.8   270027    8686      0     0   1370 1785637 264213   36.4   3   72
886.22/886.24	c +  886.3   270028    8686      0     0   1370 1797530 290614   36.4   3   84
904.51/904.55	c s  904.6   270028    8686      0     0   1370 1822218 288889   36.4   4   77
966.12/966.12	c s  966.1   270029    8686      0     0   1370 1910964 290614   36.5   2   78
1067.51/1067.58	c B 1067.6   270029    8686      0     0   1370 2048494 290619   36.6   3  100
1178.52/1178.59	c + 1178.6   270029    8686      0     0   1370 2246910 319675   36.6   3  104
1183.52/1183.54	c R 1183.6   270029    8686      0     0   1370 2256149 299864   36.6   3  106
1346.82/1346.86	c s 1346.9   270030    8686      0     0   1370 2505360 319676   36.9   2   86
1381.53/1381.58	c s 1381.6   270034    8686      0     0   1370 2546434 319724   36.8   4   84
1413.03/1413.04	c s 1413.1   270035    8686      0     0   1370 2586442 319681   36.8   3   84
1445.83/1445.81	c s 1445.8   270037    8686      0     0   1370 2629162 319682   36.8   3   83
1558.63/1558.63	c s 1558.7   270038    8686      0     0   1370 2770922 319675   36.8   2   84
1587.63/1587.69	c + 1587.7   270039    8686      0     0   1370 2808635 351642   36.8   4  102
1592.33/1592.34	c s 1592.4   270039    8686      0     0   1370 2813716 324795   36.8   3   85
1629.73/1629.71	c s 1629.8   270051    8686      0     0   1370 2855110 351653   36.8   4   91
1666.44/1666.47	c s 1666.5   270056    8686      0     0   1370 2898288 351670   36.7   3   91
1694.24/1694.24	c s 1694.3   270057    8686      0     0   1370 2942833 351677   36.7   4   91
1727.44/1727.44	c s 1727.5   270058    8686      0     0   1370 2988120 351652   36.7   3   90
1765.84/1765.89	c
1765.84/1765.89	c       original/binary      fixed     eliminated      learned       agility
1765.84/1765.89	c   seconds        variables     equivalent    conflicts       height       MB
1765.84/1765.89	c
1765.84/1765.89	c s 1765.9   270065    8686      0     0   1370 3031335 351645   36.7   4   90
1803.04/1803.02	c s 1803.1   270069    8686      0     0   1370 3074848 351649   36.6   4   90
2024.14/2024.16	c s 2024.2   270070    8686      0     0   1370 3329463 351642   36.7   2   90
2065.86/2065.87	c s 2065.9   270072    8686      0     0   1370 3372814 351671   36.6   3   90
2103.95/2103.96	c s 2104.0   270075    8686      0     0   1370 3416556 351649   36.6   3   90
2171.25/2171.22	c + 2171.3   270075    8686      0     0   1370 3510790 386806   36.6   3  109
2293.25/2293.27	c s 2293.3   270076    8686      0     0   1370 3652416 386806   36.6   2   97
2335.15/2335.11	c s 2335.2   270077    8686      0     0   1370 3698289 386826   36.6   3   97
2430.95/2430.96	c s 2431.0   270078    8686      0     0   1370 3798676 386806   36.6   2   98
2472.66/2472.70	c s 2472.8   270090    8686      0     0   1370 3847764 386844   36.6   3   98
2518.96/2519.00	c s 2519.1   270092    8686      0     0   1370 3892368 386845   36.6   2   98
2564.45/2564.42	c s 2564.5   270108    8686      0     0   1370 3938786 386853   36.6   4   99
2614.66/2614.63	c s 2614.7   270109    8686      0     0   1370 3987034 386809   36.6   2   98
2661.06/2661.03	c s 2661.1   270111    8686      0     0   1370 4032623 386827   36.5   4   98
2699.56/2699.58	c s 2699.7   270112    8686      0     0   1370 4078294 386839   36.5   3   98
2742.96/2742.97	c s 2743.0   270115    8686      0     0   1370 4125351 386811   36.4   3   97
3003.87/3003.83	c + 3003.9   270115    8686      0     0   1370 4388485 425486   36.6   4  129
3229.88/3229.85	c B 3229.9   270115    8686      0     0   1370 4608978 425492   36.6   2  142
3480.18/3480.12	c R 3480.2   270115    8686      0     0   1370 4922239 425497   36.8   3  154
3851.49/3851.41	c
3851.49/3851.41	c       original/binary      fixed     eliminated      learned       agility
3851.49/3851.41	c   seconds        variables     equivalent    conflicts       height       MB
3851.49/3851.41	c
3851.49/3851.41	c s 3851.5   270116    8686      0     0   1370 5337279 425487   36.4   2  105
3905.59/3905.52	c s 3905.6   270120    8686      0     0   1370 5384595 425491   36.4   3  104
3955.70/3955.63	c s 3955.7   270123    8686      0     0   1370 5433683 425503   36.4   3  104
4006.09/4006.11	c s 4006.2   270125    8686      0     0   1370 5481872 425508   36.4   3  105
4010.79/4010.72	c + 4010.8   270125    8686      0     0   1370 5485605 468034   36.4   3  116
4057.19/4057.10	c s 4057.2   270126    8686      0     0   1370 5529750 468083   36.4   4  115
4109.60/4109.54	c s 4109.6   270128    8686      0     0   1370 5579326 468034   36.4   3  115
4169.80/4169.76	c s 4169.9   270131    8686      0     0   1370 5632052 468087   36.4   4  114
4225.30/4225.29	c s 4225.4   270134    8686      0     0   1370 5684544 468057   36.3   3  114
4284.61/4284.51	c s 4284.6   270150    8686      0     0   1370 5736510 468044   36.3   3  115
4333.50/4333.47	c s 4333.6   270152    8686      0     0   1370 5791784 468069   36.3   3  113
4391.32/4391.24	c s 4391.4   270153    8686      0     0   1370 5854309 468034   36.2   2  112
4450.31/4450.29	c s 4450.4   270156    8686      0     0   1370 5908118 468044   36.2   3  113
4567.51/4567.45	c s 4567.6   270157    8686      0     0   1370 6017260 468036   36.2   2  112
4701.01/4700.90	c s 4701.0   270158    8686      0     0   1370 6145886 468033   36.2   2  111
4759.91/4759.82	c s 4759.9   270160    8686      0     0   1370 6197441 468063   36.1   4  110
4821.51/4821.40	c s 4821.5   270162    8686      0     0   1370 6251640 468036   36.1   3  110
4876.92/4876.87	c s 4877.0   270163    8686      0     0   1370 6307828 468059   36.0   2  109
5000.03/4999.91	c
5000.03/4999.91	c *** CAUGHT SIGNAL 15 ***
5000.03/4999.91	c
5000.03/4999.91	c 6453808 conflicts, 10047896 decisions, 5044 random
5000.03/4999.91	c 0 iterations, 10237 restarts, 0 skipped
5000.03/4999.91	c 21 enlarged, 66 shrunken, 63131 rescored, 1390 rebiased
5000.03/4999.91	c 67 simplifications, 0 reductions
5000.03/4999.91	c
5000.03/4999.91	c vars: 0 fixed, 0 equiv, 1370 elim, 0 merged
5000.03/4999.91	c elim: 1092263 resolutions, 2 phases, 1 rounds
5000.03/4999.91	c sbst: 0% substituted, 0.0% nots, 0.0% ands, 0.0% xors, 0.0% ites
5000.03/4999.91	c arty: 0.00 and 0.00 xor average arity
5000.03/4999.91	c prbe: 7505698 probed, 2157 phases, 432 rounds
5000.03/4999.91	c prbe: 0 failed, 0 lifted, 0 merged
5000.03/4999.91	c sccs: 0 non trivial, 0 fixed, 0 merged
5000.03/4999.91	c hash: 0 units, 0 merged
5000.03/4999.91	c mins: 296303649 learned, 36% deleted, 1 strong, 24 depth
5000.03/4999.91	c subs: 0 forward, 0 backward, 50 doms
5000.03/4999.91	c strs: 0 forward, 0 backward
5000.03/4999.91	c doms: 50 dominators, 38 high, 0 low
5000.03/4999.91	c prps: 3709489630 propagations, 0.74 megaprops
5000.03/4999.91	c
5000.03/4999.91	c 5000.0 seconds, 163 MB max, 1203 MB recycled
5000.03/4999.91	c
5000.03/4999.91	c *** CAUGHT SIGNAL 15 ***
5000.03/4999.91	c

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3366063-1305324610/watcher-3366063-1305324610 -o /tmp/evaluation-result-3366063-1305324610/solver-3366063-1305324610 -C 5000 -W 5100 -M 15500 HOME/precosat HOME/instance-3366063-1305324610.cnf 

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/354 5895
/proc/meminfo: memFree=21483724/32951124 swapFree=65581052/67111528
[pid=5895] ppid=5893 vsize=2108 CPUtime=0 cores=0,2,4,6
/proc/5895/stat : 5895 (precosat) R 5893 5895 5109 0 -1 4202496 438 0 0 0 0 0 0 0 25 0 1 0 644058744 2158592 395 33554432000 134512640 135151029 4287839088 18446744073709551615 134703758 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/5895/statm: 527 395 64 156 0 370 0

[startup+0.046078 s]
/proc/loadavg: 2.00 2.00 2.00 3/354 5895
/proc/meminfo: memFree=21483724/32951124 swapFree=65581052/67111528
[pid=5895] ppid=5893 vsize=6320 CPUtime=0.04 cores=0,2,4,6
/proc/5895/stat : 5895 (precosat) R 5893 5895 5109 0 -1 4202496 1604 0 0 0 4 0 0 0 25 0 1 0 644058744 6471680 1463 33554432000 134512640 135151029 4287839088 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/5895/statm: 1613 1463 64 156 0 1456 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 6320

[startup+0.101072 s]
/proc/loadavg: 2.00 2.00 2.00 3/354 5895
/proc/meminfo: memFree=21483724/32951124 swapFree=65581052/67111528
[pid=5895] ppid=5893 vsize=13108 CPUtime=0.09 cores=0,2,4,6
/proc/5895/stat : 5895 (precosat) R 5893 5895 5109 0 -1 4202496 3430 0 0 0 9 0 0 0 25 0 1 0 644058744 13422592 3160 33554432000 134512640 135151029 4287839088 18446744073709551615 134579313 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/5895/statm: 3277 3160 64 156 0 3120 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13108

[startup+0.301038 s]
/proc/loadavg: 2.00 2.00 2.00 3/354 5895
/proc/meminfo: memFree=21483724/32951124 swapFree=65581052/67111528
[pid=5895] ppid=5893 vsize=19172 CPUtime=0.29 cores=0,2,4,6
/proc/5895/stat : 5895 (precosat) R 5893 5895 5109 0 -1 4202496 6721 0 0 0 29 0 0 0 25 0 1 0 644058744 19632128 4655 33554432000 134512640 135151029 4287839088 18446744073709551615 134522104 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/5895/statm: 4793 4655 80 156 0 4636 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19172

[startup+0.700967 s]
/proc/loadavg: 2.00 2.00 2.00 3/354 5895
/proc/meminfo: memFree=21483724/32951124 swapFree=65581052/67111528
[pid=5895] ppid=5893 vsize=31032 CPUtime=0.69 cores=0,2,4,6
/proc/5895/stat : 5895 (precosat) R 5893 5895 5109 0 -1 4202496 12808 0 0 0 68 1 0 0 25 0 1 0 644058744 31776768 7643 33554432000 134512640 135151029 4287839088 18446744073709551615 134548557 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/5895/statm: 7758 7644 80 156 0 7601 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 31032

[startup+1.50085 s]
/proc/loadavg: 2.00 2.00 2.00 3/355 5896
/proc/meminfo: memFree=21448632/32951124 swapFree=65581052/67111528
[pid=5895] ppid=5893 vsize=33524 CPUtime=1.49 cores=0,2,4,6
/proc/5895/stat : 5895 (precosat) R 5893 5895 5109 0 -1 4202496 14451 0 0 0 148 1 0 0 25 0 1 0 644058744 34328576 8261 33554432000 134512640 135151029 4287839088 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/5895/statm: 8381 8261 80 156 0 8224 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 33524

[startup+3.10056 s]
/proc/loadavg: 2.00 2.00 2.00 3/355 5896
/proc/meminfo: memFree=21449624/32951124 swapFree=65581052/67111528
[pid=5895] ppid=5893 vsize=33524 CPUtime=3.09 cores=0,2,4,6
/proc/5895/stat : 5895 (precosat) R 5893 5895 5109 0 -1 4202496 14451 0 0 0 308 1 0 0 25 0 1 0 644058744 34328576 8261 33554432000 134512640 135151029 4287839088 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/5895/statm: 8381 8261 80 156 0 8224 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 33524

[startup+6.30099 s]
/proc/loadavg: 2.00 2.00 2.00 3/355 5896
/proc/meminfo: memFree=21448420/32951124 swapFree=65581052/67111528
[pid=5895] ppid=5893 vsize=33524 CPUtime=6.29 cores=0,2,4,6
/proc/5895/stat : 5895 (precosat) R 5893 5895 5109 0 -1 4202496 14451 0 0 0 628 1 0 0 25 0 1 0 644058744 34328576 8261 33554432000 134512640 135151029 4287839088 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/5895/statm: 8381 8261 80 156 0 8224 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 33524

[startup+12.7008 s]
/proc/loadavg: 2.00 2.00 2.00 3/355 5896
/proc/meminfo: memFree=21442820/32951124 swapFree=65581052/67111528
[pid=5895] ppid=5893 vsize=38948 CPUtime=12.69 cores=0,2,4,6
/proc/5895/stat : 5895 (precosat) R 5893 5895 5109 0 -1 4202496 15784 0 0 0 1267 2 0 0 25 0 1 0 644058744 39882752 9594 33554432000 134512640 135151029 4287839088 18446744073709551615 134574081 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/5895/statm: 9737 9594 80 156 0 9580 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 38948

[startup+25.5005 s]
/proc/loadavg: 2.00 2.00 2.00 3/355 5897
/proc/meminfo: memFree=21434252/32951124 swapFree=65581052/67111528
[pid=5895] ppid=5893 vsize=45768 CPUtime=25.49 cores=0,2,4,6
/proc/5895/stat : 5895 (precosat) R 5893 5895 5109 0 -1 4202496 20087 0 0 0 2547 2 0 0 25 0 1 0 644058744 46866432 11329 33554432000 134512640 135151029 4287839088 18446744073709551615 134554549 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/5895/statm: 11442 11329 80 156 0 11285 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 45768

[startup+51.1009 s]
/proc/loadavg: 2.00 2.00 2.00 3/355 5898
/proc/meminfo: memFree=21426484/32951124 swapFree=65581052/67111528
[pid=5895] ppid=5893 vsize=51848 CPUtime=51.09 cores=0,2,4,6
/proc/5895/stat : 5895 (precosat) R 5893 5895 5109 0 -1 4202496 22535 0 0 0 5106 3 0 0 25 0 1 0 644058744 53092352 12816 33554432000 134512640 135151029 4287839088 18446744073709551615 134554774 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/5895/statm: 12962 12816 80 156 0 12805 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 51848

[startup+102.314 s]
/proc/loadavg: 2.00 2.00 2.00 3/355 5899
/proc/meminfo: memFree=21420148/32951124 swapFree=65581052/67111528
[pid=5895] ppid=5893 vsize=62232 CPUtime=102.31 cores=0,2,4,6
/proc/5895/stat : 5895 (precosat) R 5893 5895 5109 0 -1 4202496 26035 0 0 0 10227 4 0 0 25 0 1 0 644058744 63725568 15302 33554432000 134512640 135151029 4287839088 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/5895/statm: 15558 15302 80 156 0 15401 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 62232

[startup+162.301 s]
/proc/loadavg: 2.08 2.02 2.01 3/355 5900
/proc/meminfo: memFree=21414412/32951124 swapFree=65581052/67111528
[pid=5895] ppid=5893 vsize=67396 CPUtime=162.29 cores=0,2,4,6
/proc/5895/stat : 5895 (precosat) R 5893 5895 5109 0 -1 4202496 28506 0 0 0 16224 5 0 0 25 0 1 0 644058744 69013504 16614 33554432000 134512640 135151029 4287839088 18446744073709551615 134554513 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/5895/statm: 16849 16614 80 156 0 16692 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 67396

[startup+222.301 s]
/proc/loadavg: 2.03 2.01 2.00 3/355 5902
/proc/meminfo: memFree=21410400/32951124 swapFree=65581052/67111528
[pid=5895] ppid=5893 vsize=72808 CPUtime=222.3 cores=0,2,4,6
/proc/5895/stat : 5895 (precosat) R 5893 5895 5109 0 -1 4202496 32406 0 0 0 22224 6 0 0 25 0 1 0 644058744 74555392 17963 33554432000 134512640 135151029 4287839088 18446744073709551615 134554549 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/5895/statm: 18202 17963 80 156 0 18045 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 72808

[startup+282.301 s]
/proc/loadavg: 2.08 2.03 2.01 3/355 5904
/proc/meminfo: memFree=21405544/32951124 swapFree=65581052/67111528
[pid=5895] ppid=5893 vsize=77000 CPUtime=282.3 cores=0,2,4,6
/proc/5895/stat : 5895 (precosat) R 5893 5895 5109 0 -1 4202496 35763 0 0 0 28224 6 0 0 25 0 1 0 644058744 78848000 19010 33554432000 134512640 135151029 4287839088 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/5895/statm: 19250 19010 80 156 0 19093 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 77000

[startup+342.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/355 5905
/proc/meminfo: memFree=21402408/32951124 swapFree=65581052/67111528
[pid=5895] ppid=5893 vsize=81140 CPUtime=342.3 cores=0,2,4,6
/proc/5895/stat : 5895 (precosat) R 5893 5895 5109 0 -1 4202496 38773 0 0 0 34223 7 0 0 25 0 1 0 644058744 83087360 19944 33554432000 134512640 135151029 4287839088 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/5895/statm: 20285 19944 80 156 0 20128 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 81140

[startup+402.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/355 5907
/proc/meminfo: memFree=21395436/32951124 swapFree=65581052/67111528
[pid=5895] ppid=5893 vsize=88744 CPUtime=402.3 cores=0,2,4,6
/proc/5895/stat : 5895 (precosat) R 5893 5895 5109 0 -1 4202496 40512 0 0 0 40222 8 0 0 25 0 1 0 644058744 90873856 21683 33554432000 134512640 135151029 4287839088 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/5895/statm: 22186 21683 80 156 0 22029 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 88744

[startup+462.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/355 5908
/proc/meminfo: memFree=21390204/32951124 swapFree=65581052/67111528
[pid=5895] ppid=5893 vsize=94464 CPUtime=462.31 cores=0,2,4,6
/proc/5895/stat : 5895 (precosat) R 5893 5895 5109 0 -1 4202496 41796 0 0 0 46222 9 0 0 25 0 1 0 644058744 96731136 22967 33554432000 134512640 135151029 4287839088 18446744073709551615 134554575 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/5895/statm: 23616 22967 80 156 0 23459 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 94464

[startup+522.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/355 5910
/proc/meminfo: memFree=21383208/32951124 swapFree=65581052/67111528
[pid=5895] ppid=5893 vsize=101988 CPUtime=522.3 cores=0,2,4,6
/proc/5895/stat : 5895 (precosat) R 5893 5895 5109 0 -1 4202496 43520 0 0 0 52221 9 0 0 25 0 1 0 644058744 104435712 24691 33554432000 134512640 135151029 4287839088 18446744073709551615 134554562 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/5895/statm: 25497 24691 80 156 0 25340 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 101988

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/355 5912
/proc/meminfo: memFree=21384680/32951124 swapFree=65581052/67111528
[pid=5895] ppid=5893 vsize=99204 CPUtime=582.3 cores=0,2,4,6
/proc/5895/stat : 5895 (precosat) R 5893 5895 5109 0 -1 4202496 43934 0 0 0 58221 9 0 0 25 0 1 0 644058744 101584896 24389 33554432000 134512640 135151029 4287839088 18446744073709551615 134555150 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/5895/statm: 24801 24389 80 156 0 24644 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 99204

[startup+642.301 s]

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

[startup+4062.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/349 6033
/proc/meminfo: memFree=21347504/32951124 swapFree=65581052/67111528
[pid=5895] ppid=5893 vsize=169180 CPUtime=4062.41 cores=0,2,4,6
/proc/5895/stat : 5895 (precosat) R 5893 5895 5109 0 -1 4202496 88408 0 0 0 406214 27 0 0 25 0 1 0 644058744 173240320 41624 33554432000 134512640 135151029 4287839088 18446744073709551615 134581738 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/5895/statm: 42295 41624 80 156 0 42138 0
Current children cumulated CPU time (s) 4062.41
Current children cumulated vsize (KiB) 169180

[startup+4122.3 s]
/proc/loadavg: 1.11 1.03 1.01 2/349 6035
/proc/meminfo: memFree=21347468/32951124 swapFree=65581052/67111528
[pid=5895] ppid=5893 vsize=169180 CPUtime=4122.4 cores=0,2,4,6
/proc/5895/stat : 5895 (precosat) R 5893 5895 5109 0 -1 4202496 88426 0 0 0 412213 27 0 0 25 0 1 0 644058744 173240320 41642 33554432000 134512640 135151029 4287839088 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/5895/statm: 42295 41642 80 156 0 42138 0
Current children cumulated CPU time (s) 4122.4
Current children cumulated vsize (KiB) 169180

[startup+4182.3 s]
/proc/loadavg: 1.09 1.04 1.01 2/349 6037
/proc/meminfo: memFree=21347564/32951124 swapFree=65581052/67111528
[pid=5895] ppid=5893 vsize=169180 CPUtime=4182.4 cores=0,2,4,6
/proc/5895/stat : 5895 (precosat) R 5893 5895 5109 0 -1 4202496 88464 0 0 0 418213 27 0 0 25 0 1 0 644058744 173240320 41680 33554432000 134512640 135151029 4287839088 18446744073709551615 134574641 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/5895/statm: 42295 41680 80 156 0 42138 0
Current children cumulated CPU time (s) 4182.4
Current children cumulated vsize (KiB) 169180

[startup+4242.3 s]
/proc/loadavg: 1.03 1.03 1.00 2/349 6038
/proc/meminfo: memFree=21347164/32951124 swapFree=65581052/67111528
[pid=5895] ppid=5893 vsize=169180 CPUtime=4242.4 cores=0,2,4,6
/proc/5895/stat : 5895 (precosat) R 5893 5895 5109 0 -1 4202496 88497 0 0 0 424213 27 0 0 25 0 1 0 644058744 173240320 41713 33554432000 134512640 135151029 4287839088 18446744073709551615 134574583 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/5895/statm: 42295 41713 80 156 0 42138 0
Current children cumulated CPU time (s) 4242.4
Current children cumulated vsize (KiB) 169180

[startup+4302.3 s]
/proc/loadavg: 1.01 1.02 1.00 2/349 6040
/proc/meminfo: memFree=21347132/32951124 swapFree=65581052/67111528
[pid=5895] ppid=5893 vsize=169180 CPUtime=4302.4 cores=0,2,4,6
/proc/5895/stat : 5895 (precosat) R 5893 5895 5109 0 -1 4202496 88513 0 0 0 430213 27 0 0 25 0 1 0 644058744 173240320 41729 33554432000 134512640 135151029 4287839088 18446744073709551615 134554794 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/5895/statm: 42295 41729 80 156 0 42138 0
Current children cumulated CPU time (s) 4302.4
Current children cumulated vsize (KiB) 169180

[startup+4362.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/349 6041
/proc/meminfo: memFree=21347596/32951124 swapFree=65581052/67111528
[pid=5895] ppid=5893 vsize=169180 CPUtime=4362.4 cores=0,2,4,6
/proc/5895/stat : 5895 (precosat) R 5893 5895 5109 0 -1 4202496 88517 0 0 0 436212 28 0 0 25 0 1 0 644058744 173240320 41733 33554432000 134512640 135151029 4287839088 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/5895/statm: 42295 41733 80 156 0 42138 0
Current children cumulated CPU time (s) 4362.4
Current children cumulated vsize (KiB) 169180

[startup+4422.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/349 6043
/proc/meminfo: memFree=21347184/32951124 swapFree=65581052/67111528
[pid=5895] ppid=5893 vsize=169180 CPUtime=4422.41 cores=0,2,4,6
/proc/5895/stat : 5895 (precosat) R 5893 5895 5109 0 -1 4202496 88519 0 0 0 442213 28 0 0 25 0 1 0 644058744 173240320 41735 33554432000 134512640 135151029 4287839088 18446744073709551615 134554811 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/5895/statm: 42295 41735 80 156 0 42138 0
Current children cumulated CPU time (s) 4422.41
Current children cumulated vsize (KiB) 169180

[startup+4482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/349 6045
/proc/meminfo: memFree=21347160/32951124 swapFree=65581052/67111528
[pid=5895] ppid=5893 vsize=169180 CPUtime=4482.41 cores=0,2,4,6
/proc/5895/stat : 5895 (precosat) R 5893 5895 5109 0 -1 4202496 88521 0 0 0 448213 28 0 0 25 0 1 0 644058744 173240320 41737 33554432000 134512640 135151029 4287839088 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/5895/statm: 42295 41737 80 156 0 42138 0
Current children cumulated CPU time (s) 4482.41
Current children cumulated vsize (KiB) 169180

[startup+4542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/349 6046
/proc/meminfo: memFree=21346996/32951124 swapFree=65581052/67111528
[pid=5895] ppid=5893 vsize=169180 CPUtime=4542.41 cores=0,2,4,6
/proc/5895/stat : 5895 (precosat) R 5893 5895 5109 0 -1 4202496 88594 0 0 0 454213 28 0 0 25 0 1 0 644058744 173240320 41810 33554432000 134512640 135151029 4287839088 18446744073709551615 134554888 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/5895/statm: 42295 41810 80 156 0 42138 0
Current children cumulated CPU time (s) 4542.41
Current children cumulated vsize (KiB) 169180

[startup+4602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/349 6048
/proc/meminfo: memFree=21346708/32951124 swapFree=65581052/67111528
[pid=5895] ppid=5893 vsize=169180 CPUtime=4602.41 cores=0,2,4,6
/proc/5895/stat : 5895 (precosat) R 5893 5895 5109 0 -1 4202496 88665 0 0 0 460213 28 0 0 25 0 1 0 644058744 173240320 41881 33554432000 134512640 135151029 4287839088 18446744073709551615 134554829 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/5895/statm: 42295 41881 80 156 0 42138 0
Current children cumulated CPU time (s) 4602.41
Current children cumulated vsize (KiB) 169180

[startup+4662.3 s]
/proc/loadavg: 1.08 1.02 1.01 2/349 6049
/proc/meminfo: memFree=21346560/32951124 swapFree=65581052/67111528
[pid=5895] ppid=5893 vsize=169180 CPUtime=4662.41 cores=0,2,4,6
/proc/5895/stat : 5895 (precosat) R 5893 5895 5109 0 -1 4202496 88675 0 0 0 466213 28 0 0 25 0 1 0 644058744 173240320 41891 33554432000 134512640 135151029 4287839088 18446744073709551615 134581524 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/5895/statm: 42295 41891 80 156 0 42138 0
Current children cumulated CPU time (s) 4662.41
Current children cumulated vsize (KiB) 169180

[startup+4722.31 s]
/proc/loadavg: 1.03 1.01 1.00 2/349 6051
/proc/meminfo: memFree=21346744/32951124 swapFree=65581052/67111528
[pid=5895] ppid=5893 vsize=169180 CPUtime=4722.43 cores=0,2,4,6
/proc/5895/stat : 5895 (precosat) R 5893 5895 5109 0 -1 4202496 88710 0 0 0 472215 28 0 0 25 0 1 0 644058744 173240320 41926 33554432000 134512640 135151029 4287839088 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/5895/statm: 42295 41926 80 156 0 42138 0
Current children cumulated CPU time (s) 4722.43
Current children cumulated vsize (KiB) 169180

[startup+4782.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/349 6053
/proc/meminfo: memFree=21346476/32951124 swapFree=65581052/67111528
[pid=5895] ppid=5893 vsize=169180 CPUtime=4782.41 cores=0,2,4,6
/proc/5895/stat : 5895 (precosat) R 5893 5895 5109 0 -1 4202496 88710 0 0 0 478213 28 0 0 25 0 1 0 644058744 173240320 41926 33554432000 134512640 135151029 4287839088 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/5895/statm: 42295 41926 80 156 0 42138 0
Current children cumulated CPU time (s) 4782.41
Current children cumulated vsize (KiB) 169180

[startup+4842.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/349 6054
/proc/meminfo: memFree=21346328/32951124 swapFree=65581052/67111528
[pid=5895] ppid=5893 vsize=169180 CPUtime=4842.41 cores=0,2,4,6
/proc/5895/stat : 5895 (precosat) R 5893 5895 5109 0 -1 4202496 88713 0 0 0 484213 28 0 0 25 0 1 0 644058744 173240320 41929 33554432000 134512640 135151029 4287839088 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/5895/statm: 42295 41929 80 156 0 42138 0
Current children cumulated CPU time (s) 4842.41
Current children cumulated vsize (KiB) 169180

[startup+4902.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/349 6056
/proc/meminfo: memFree=21346552/32951124 swapFree=65581052/67111528
[pid=5895] ppid=5893 vsize=169180 CPUtime=4902.42 cores=0,2,4,6
/proc/5895/stat : 5895 (precosat) R 5893 5895 5109 0 -1 4202496 88713 0 0 0 490214 28 0 0 25 0 1 0 644058744 173240320 41929 33554432000 134512640 135151029 4287839088 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/5895/statm: 42295 41929 80 156 0 42138 0
Current children cumulated CPU time (s) 4902.42
Current children cumulated vsize (KiB) 169180

[startup+4962.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/349 6057
/proc/meminfo: memFree=21346376/32951124 swapFree=65581052/67111528
[pid=5895] ppid=5893 vsize=169180 CPUtime=4962.42 cores=0,2,4,6
/proc/5895/stat : 5895 (precosat) R 5893 5895 5109 0 -1 4202496 88713 0 0 0 496213 29 0 0 25 0 1 0 644058744 173240320 41929 33554432000 134512640 135151029 4287839088 18446744073709551615 134554575 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/5895/statm: 42295 41929 80 156 0 42138 0
Current children cumulated CPU time (s) 4962.42
Current children cumulated vsize (KiB) 169180



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+4999.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/349 6059
/proc/meminfo: memFree=21346472/32951124 swapFree=65581052/67111528
[pid=5895] ppid=5893 vsize=169180 CPUtime=5000.03 cores=0,2,4,6
/proc/5895/stat : 5895 (precosat) R 5893 5895 5109 0 -1 4202496 88713 0 0 0 499974 29 0 0 25 0 1 0 644058744 173240320 41929 33554432000 134512640 135151029 4287839088 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/5895/statm: 42295 41929 80 156 0 42138 0
Current children cumulated CPU time (s) 5000.03
Current children cumulated vsize (KiB) 169180

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+4999.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/349 6059
/proc/meminfo: memFree=21346472/32951124 swapFree=65581052/67111528
[pid=5895] ppid=5893 vsize=169180 CPUtime=5000.03 cores=0,2,4,6
/proc/5895/stat : 5895 (precosat) R 5893 5895 5109 0 -1 4202496 88713 0 0 0 499974 29 0 0 25 0 1 0 644058744 173240320 41929 33554432000 134512640 135151029 4287839088 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/5895/statm: 42295 41929 80 156 0 42138 0
Current children cumulated CPU time (s) 5000.03
Current children cumulated vsize (KiB) 169180

Child ended because it received signal 15 (SIGTERM)
Real time (s): 4999.92
CPU time (s): 5000.05
CPU user time (s): 4999.75
CPU system time (s): 0.297954
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 181932

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4999.75
system time used= 0.297954
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 88714
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= 5
involuntary context switches= 8438

runsolver used 17.2664 second user time and 37.2983 second system time

The end

Launcher Data 

Begin job on node137 at 2011-05-14 00:10:10
IDJOB=3366063
IDBENCH=88062
IDSOLVER=1843
FILE ID=node137/3366063-1305324610
RUNJOBID= node137-1305315243-5127
PBS_JOBID= 13324295
Free space on /tmp= 37840 MiB

SOLVER NAME= SAT09 reference solver:precosat 236
BENCH NAME= SAT02/industrial/nam/fpga-routing/k2fix_gr_rcs_w8.shuffled.cnf
COMMAND LINE= HOME/precosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366063-1305324610/watcher-3366063-1305324610 -o /tmp/evaluation-result-3366063-1305324610/solver-3366063-1305324610 -C 5000 -W 5100 -M 15500  HOME/precosat HOME/instance-3366063-1305324610.cnf

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

MD5SUM BENCH= 82e833e539576c6d79252b19dcace0cf
RANDOM SEED=680066757

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      21483880 kB
Buffers:        216612 kB
Cached:        3560392 kB
SwapCached:      36328 kB
Active:        1566296 kB
Inactive:      9682312 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21483880 kB
SwapTotal:    67111528 kB
SwapFree:     65581052 kB
Dirty:            4248 kB
Writeback:           0 kB
AnonPages:     7444776 kB
Mapped:          19600 kB
Slab:           115048 kB
PageTables:      38416 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 75948640 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= 37840 MiB
End job on node137 at 2011-05-14 01:33:32