Trace number 3365993

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.09 5000.02

General information on the benchmark

NameSAT03/industrial/kukula/addm_bench/
am_7_7.shuffled-as.sat03-363.cnf
MD5SUMc7f51e1ee7556440ab29e1c4bfe29538
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables4264
Number of clauses14751
Sum of the clauses size40035
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 24214
Number of clauses of size 310535
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

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-3365993-1305322515.cnf
0.00/0.00	c found header 'p cnf 4264 14751'
0.00/0.00	c finished parsing
0.00/0.00	c
0.00/0.00	c --check=0 --verbose=0 --order=3 --simprd=40 --merge=1 --hash=1
0.00/0.00	c --dominate=1 --restart=1 --restartint=100 --rebias=1 --rebiasint=1000
0.00/0.00	c --probe=1 --probeint=100000 --probeprd=10 --decompose=1 --minimize=3
0.00/0.00	c --maxdepth=1000 --strength=10 --elim=1 --elimint=300000 --elimprd=20
0.00/0.00	c --subst=1 --ands=1 --xors=1 --ites=1 --minlimit=1000 --maxlimit=10000000
0.00/0.00	c --random=1 --spread=2000 --seed=0 --skip=25
0.00/0.00	c
0.00/0.00	c sizeof     vars[0] = 16   alignment = 0       0 MB
0.00/0.00	c sizeof     orgs[0] =  8   alignment = 0       0 MB
0.00/0.00	c sizeof     occs[0] =  8   alignment = 0       0 MB
0.00/0.00	c sizeof iirfs[0..1] =  8   alignment = 0       0 MB
0.00/0.00	c
0.00/0.00	c starting search after 0.0 seconds
0.00/0.00	c no decision limit
0.00/0.00	c
0.00/0.00	c       original/binary      fixed     eliminated      learned       agility
0.00/0.00	c   seconds        variables     equivalent    conflicts       height       MB
0.00/0.00	c
0.00/0.00	c *    0.0    14746    4262      2     0      0       0      0    0.0   0    1
0.00/0.05	c s    0.1     3638     709   3165   129    261       0      0    0.0   0    1
0.00/0.05	c l    0.1     3638     709   3165   129    261       0   2502    0.0   0    1
0.00/0.06	c R    0.1     3707     709   3165   129    261     100     93   31.4  14    1
0.00/0.06	c R    0.1     3758     709   3165   129    261     200    191   26.8  22    1
0.00/0.08	c N    0.1     3796     709   3165   129    261     802    789   37.4  32    1
0.08/0.08	c B    0.1     3800     709   3165   129    261    1000    987   38.2  29    1
0.09/0.12	c s    0.1     3801     709   3165   129    261    1902   1889   39.1  36    1
0.09/0.12	c B    0.1     3808     709   3165   129    261    2000   1987   38.2  32    1
0.09/0.14	c N    0.1     3816     709   3165   129    261    2410   2396   38.3  31    1
0.09/0.14	c +    0.1     3817     709   3165   129    261    2502   2752   38.2  29    1
0.09/0.17	c +    0.2     3819     709   3165   129    261    3125   3027   38.0  37    1
0.19/0.20	c +    0.2     3820     709   3165   129    261    3906   3329   37.9  38    1
0.19/0.24	c s    0.2     3820     709   3165   129    261    4609   3400   37.5  35    1
0.19/0.25	c +    0.3     3852     709   3165   129    261    4881   3661   35.8  29    1
0.29/0.30	c +    0.3     3853     709   3165   129    261    6101   4027   33.8  32    2
0.29/0.32	c N    0.3     3853     709   3165   129    261    6425   4036   33.4  34    2
0.29/0.38	c +    0.4     3853     709   3165   129    261    7627   4429   32.2  31    2
0.29/0.39	c s    0.4     3853     709   3165   129    261    7732   4176   32.2  33    1
0.39/0.40	c
0.39/0.40	c       original/binary      fixed     eliminated      learned       agility
0.39/0.40	c   seconds        variables     equivalent    conflicts       height       MB
0.39/0.40	c
0.39/0.40	c B    0.4     3862     709   3165   129    261    8006   4433   31.9  29    2
0.39/0.46	c +    0.5     3886     708   3166   129    261    9530   4871   35.8  34    2
0.49/0.54	c s    0.5     3864     708   3166   129    261   11355   4875   37.8  38    2
0.49/0.54	c -    0.5     3864     708   3166   129    261   11355   4677   37.8  38    2
0.49/0.54	c +    0.5     3865     708   3166   129    261   11435   5144   38.0  31    2
0.59/0.67	c +    0.7     3910     708   3166   129    261   14290   5658   38.5  41    2
0.69/0.74	c s    0.7     3911     708   3166   129    261   15926   5732   38.2  34    2
0.79/0.80	c +    0.8     3911     708   3166   129    261   17863   6223   37.4  32    2
0.89/0.97	c +    1.0     3911     708   3166   129    261   22325   6845   35.6  30    2
1.01/1.02	c s    1.0     3913     708   3166   129    261   23464   7774   36.3  41    2
1.01/1.04	c B    1.0     3918     708   3166   129    261   24009   6878   36.3  26    2
1.01/1.05	c N    1.1     3919     708   3166   129    261   24168   6885   36.4  28    2
1.11/1.19	c +    1.2     3926     708   3166   129    261   27905   7529   36.6  37    2
1.19/1.29	c s    1.3     3926     708   3166   129    261   29815   7573   36.5  35    2
1.49/1.53	c s    1.5     3952     708   3166   129    261   34724   7542   36.6  26    2
1.49/1.54	c +    1.5     3952     708   3166   129    261   34880   8281   36.5  30    2
1.79/1.85	c s    1.9     3953     708   3166   129    261   40705   8343   35.4  32    2
1.99/2.00	c +    2.0     3953     708   3166   129    261   43601   9109   35.9  32    3
2.21/2.21	c N    2.2     3953     708   3166   129    261   46610   9175   35.9  44    3
2.69/2.76	c
2.69/2.76	c       original/binary      fixed     eliminated      learned       agility
2.69/2.76	c   seconds        variables     equivalent    conflicts       height       MB
2.69/2.76	c
2.69/2.76	c s    2.8     3961     708   3166   129    261   54044   6865   36.3  37    2
2.69/2.78	c +    2.8     3961     708   3166   129    261   54500  10019   36.3  34    2
2.99/3.05	c s    3.1     3962     708   3166   129    261   59598  10062   35.6  38    3
3.21/3.30	c B    3.3     3962     708   3166   129    261   64020  10085   36.3  39    3
3.39/3.46	c +    3.5     3962     708   3166   129    261   68126  11020   36.6  35    3
4.41/4.48	c s    4.5     3959     705   3166   129    264   80963   8338   38.7  40    3
4.59/4.68	c +    4.7     3959     705   3166   129    264   85155  12122   37.9  32    3
4.79/4.80	c s    4.8     3960     705   3166   129    264   87250  12168   37.6  36    3
5.41/5.43	c s    5.4     3961     705   3166   129    264   97230  16839   39.9  32    4
5.89/5.97	c +    6.0     3954     703   3168   129    264  106441  13334   39.5  33    3
5.99/6.06	c s    6.1     3954     703   3168   129    264  108489  12642   39.5  33    3
6.39/6.50	c s    6.5     3965     703   3168   129    264  115952  13397   40.2  39    3
6.89/6.96	c s    7.0     3969     703   3168   129    264  125482  13377   39.3  33    3
7.39/7.41	c s    7.4     3980     703   3168   129    264  131722  13382   38.8  32    3
7.39/7.49	c +    7.5     3980     703   3168   129    264  133050  14667   38.7  35    4
8.39/8.43	c s    8.4     3990     703   3168   129    264  146169  11071   38.0  44    3
8.71/8.79	c s    8.8     3883     697   3168   129    270  153744  12117   38.1  36    3
9.09/9.10	c B    9.1     3883     697   3168   129    270  160042  14700   38.3  26    3
9.19/9.25	c s    9.3     3887     697   3168   129    270  162331  14729   38.4  28    3
9.39/9.42	c
9.39/9.42	c       original/binary      fixed     eliminated      learned       agility
9.39/9.42	c   seconds        variables     equivalent    conflicts       height       MB
9.39/9.42	c
9.39/9.42	c +    9.4     3887     697   3168   129    270  166310  16133   38.7  31    3
10.79/10.83	c N   10.8     3887     697   3168   129    270  187083  16187   39.7  28    5
11.89/11.91	c s   11.9     3889     697   3168   129    270  198668  12142   40.1  31    3
12.49/12.56	c +   12.6     3889     697   3168   129    270  207885  17746   39.9  38    4
16.51/16.54	c s   16.5     3890     697   3168   129    270  252916  13773   39.3  33    3
16.79/16.88	c +   16.9     3903     697   3168   129    270  259855  19520   39.7  29    4
16.99/17.01	c s   17.0     3914     697   3168   129    270  261496  19434   39.8  31    4
17.69/17.71	c s   17.7     3915     697   3168   129    270  274191  19644   39.9  36    4
18.39/18.44	c s   18.5     3935     697   3168   129    270  283415  19990   40.1  35    5
20.29/20.35	c N   20.4     3935     697   3168   129    270  302488  29125   39.7  34    8
20.39/20.42	c s   20.4     3936     697   3168   129    270  302686  14680   39.7  36    4
20.91/20.94	c s   20.9     3938     697   3168   129    270  312224  19565   39.6  30    5
21.79/21.89	c +   21.9     3938     697   3168   129    270  324816  21472   39.5  38    6
27.09/27.11	c B   27.1     3938     697   3168   129    270  384081  21553   38.4  36    5
28.39/28.49	c s   28.5     3939     697   3168   129    270  399112  21506   38.4  37    6
28.99/29.00	c +   29.0     3948     697   3168   129    270  406021  23619   38.3  38    6
29.29/29.37	c s   29.4     3949     697   3168   129    270  410856  23648   38.2  31    6
30.29/30.34	c s   30.3     3953     697   3168   129    270  422169  23694   38.4  37    6
31.09/31.14	c s   31.1     3959     697   3168   129    270  434420  23686   38.6  33    6
31.99/32.07	c
31.99/32.07	c       original/binary      fixed     eliminated      learned       agility
31.99/32.07	c   seconds        variables     equivalent    conflicts       height       MB
31.99/32.07	c
31.99/32.07	c s   32.1     3967     697   3168   129    270  448097  23696   39.0  32    5
33.09/33.14	c s   33.1     3968     697   3168   129    270  462567  23698   39.0  37    5
34.19/34.24	c s   34.2     3969     697   3168   129    270  479088  23682   38.9  33    5
34.99/35.11	c s   35.1     3988     697   3168   129    270  490911  23715   38.7  38    5
35.89/35.97	c s   36.0     3997     697   3168   129    270  503286  23758   38.5  34    5
36.09/36.15	c +   36.2     3997     697   3168   129    270  507526  25980   38.4  32    5
39.39/39.47	c N   39.5     3997     697   3168   129    270  558883  26027   38.1  35    7
46.29/46.39	c +   46.4     3997     697   3168   129    270  634407  28578   37.4  41    8
50.39/50.49	c s   50.5     3998     697   3168   129    270  671567  21509   37.3  32    5
51.29/51.32	c s   51.3     3992     696   3169   129    270  684590  26481   37.0  34    6
60.89/60.92	c s   60.9     3993     696   3169   129    270  774792  28598   36.2  31    6
62.29/62.39	c +   62.4     3993     696   3169   129    270  793005  31435   36.2  32    7
70.89/70.95	c B   71.0     3993     696   3169   129    270  896172  31478   36.0  34    8
79.39/79.47	c +   79.5     3993     696   3169   129    270  991256  34578   35.9  31    8
83.99/84.03	c s   84.0     3994     696   3169   129    270 1045461  34592   35.9  33    6
86.99/87.07	c s   87.1     3995     696   3169   129    270 1079655  27859   36.1  27    7
102.09/102.21	c +  102.2     3995     696   3169   129    270 1239071  38035   35.2  29    8
119.09/119.16	c s  119.2     3996     696   3169   129    270 1387992  31081   34.5  37    6
120.29/120.39	c s  120.4     4006     696   3169   129    270 1403476  38091   34.3  30    8
121.89/121.95	c
121.89/121.95	c       original/binary      fixed     eliminated      learned       agility
121.89/121.95	c   seconds        variables     equivalent    conflicts       height       MB
121.89/121.95	c
121.89/121.95	c s  122.0     4016     696   3169   129    270 1419480  38066   34.3  31    8
123.59/123.63	c s  123.6     4019     696   3169   129    270 1443889  38119   34.1  35    7
134.20/134.23	c +  134.2     4019     696   3169   129    270 1548835  41838   34.1  32   12
150.99/151.03	c N  151.0     4019     696   3169   129    270 1708395  47588   34.0  32   13
174.39/174.48	c +  174.5     4019     696   3169   129    270 1936040  46021   33.9  35   12
187.90/187.93	c B  187.9     4019     696   3169   129    270 2048358  46042   33.9  33   11
197.91/197.98	c s  198.0     4020     696   3169   129    270 2141641  34583   34.1  39    9
200.50/200.52	c s  200.5     4022     696   3169   129    270 2172661  46056   34.3  25    9
206.10/206.18	c s  206.2     3978     693   3170   129    272 2240577  34542   34.3  39    6
222.21/222.27	c s  222.3     3979     693   3170   129    272 2365576  46037   34.8  31   10
224.20/224.20	c s  224.2     3980     693   3170   129    272 2388442  46104   34.7  36   10
227.71/227.71	c +  227.7     3980     693   3170   129    272 2420050  50623   34.8  34   12
284.59/284.63	c s  284.6     3981     693   3170   129    272 2870978  50631   34.0  23    6
287.01/287.11	c s  287.1     3982     693   3170   129    272 2903749  39920   34.0  29    9
291.29/291.39	c N  291.4     3982     693   3170   129    272 2938756  69213   34.1  42   19
299.89/299.96	c +  300.0     3982     693   3170   129    272 3025060  55685   34.0  35   13
337.29/337.35	c s  337.4     3985     693   3170   129    272 3322829  55735   33.9  25   10
389.49/389.51	c s  389.5     3986     693   3170   129    272 3739938  41829   34.1  41   11
392.71/392.75	c +  392.8     3986     693   3170   129    272 3781325  61253   34.2  40   14
478.99/479.09	c
478.99/479.09	c       original/binary      fixed     eliminated      learned       agility
478.99/479.09	c   seconds        variables     equivalent    conflicts       height       MB
478.99/479.09	c
478.99/479.09	c s  479.1     3989     693   3170   129    272 4377375  89449   34.2  25   20
495.19/495.20	c s  495.2     3993     693   3170   129    272 4482035  45984   34.2  35   10
509.89/509.93	c B  509.9     3993     693   3170   129    272 4608741  55492   34.6  27   13
524.80/524.84	c +  524.9     3993     693   3170   129    272 4726657  67378   34.8  27   16
648.70/648.77	c N  648.8     3993     693   3170   129    272 5604248  55922   34.5  36   15
693.50/693.51	c +  693.5     3993     693   3170   129    272 5908320  74115   34.3  33   14
789.40/789.41	c s  789.4     3994     693   3170   129    272 6481857  56507   34.3  37   14
931.30/931.31	c +  931.3     3994     693   3170   129    272 7385400  81526   34.1  32   19
987.82/987.89	c s  987.9     3995     693   3170   129    272 7728501  61226   34.2  42   15
1120.40/1120.44	c s 1120.5     3996     693   3170   129    272 8538123  76628   33.9  32   18
1222.30/1222.32	c + 1222.3     3996     693   3170   129    272 9231751  89678   33.8  33   25
1306.21/1306.21	c s 1306.2     4005     693   3170   129    272 9722424  67340   34.1  37   18
1369.81/1369.88	c s 1369.9     4006     693   3170   129    272 10131734  89742   34.3  32   16
1386.91/1386.97	c B 1387.0     4006     693   3170   129    272 10241492 124570   34.4  37   37
1499.11/1499.20	c s 1499.2     4007     693   3170   129    272 10965964  89736   34.4  29   18
1503.91/1503.98	c s 1504.0     4040     693   3170   129    272 11005861  89730   34.4  31   16
1508.61/1508.64	c s 1508.7     4043     693   3170   129    272 11041154  89806   34.4  38   16
1555.11/1555.18	c N 1555.2     4043     693   3170   129    272 11344818 119844   34.4  40   31
1576.61/1576.66	c s 1576.7     4044     693   3170   129    272 11465361  73047   34.3  30   12
1703.22/1703.27	c
1703.22/1703.27	c       original/binary      fixed     eliminated      learned       agility
1703.22/1703.27	c   seconds        variables     equivalent    conflicts       height       MB
1703.22/1703.27	c
1703.22/1703.27	c s 1703.3     4045     693   3170   129    272 12175651  71524   34.2  31   18
1758.02/1758.07	c s 1758.1     4046     693   3170   129    272 12525862  67331   34.2  33   17
1803.22/1803.26	c s 1803.3     3986     690   3170   130    274 12766542  64928   34.1  34   13
1855.42/1855.41	c s 1855.4     3987     690   3170   130    274 13089775  89683   34.1  31   19
1878.73/1878.81	c s 1878.8     3988     690   3170   130    274 13229344  77886   34.2  28   19
2008.63/2008.63	c s 2008.7     3990     690   3170   130    274 14076024  89693   34.1  31   18
3415.04/3415.02	c B 3415.1     3990     690   3170   130    274 22531065  89788   33.6  39   26
3578.64/3578.64	c s 3578.7     3991     690   3170   130    274 23457631  69674   33.5  32   12
3606.54/3606.58	c N 3606.6     3991     690   3170   130    274 23645639  89734   33.5  28   23
3854.14/3854.10	c s 3854.2     3992     690   3170   130    274 25106072  87224   33.4  36   22
4061.26/4061.22	c s 4061.3     3993     690   3170   130    274 26187486  67906   33.2  31   16
4196.85/4196.83	c s 4196.9     3994     690   3170   130    274 27058659  71199   33.2  32   16
4224.95/4224.97	c s 4225.0     3995     690   3170   130    274 27193747  74043   33.3  32   18
4320.76/4320.75	c s 4320.8     3999     690   3170   130    274 27819445  89713   33.3  25   20
4527.95/4527.96	c s 4528.0     4000     690   3170   130    274 29028379  89719   33.1  25   16
4868.67/4868.63	c s 4868.7     4001     690   3170   130    274 31161754  89689   33.2  31   13
5000.07/5000.01	c
5000.07/5000.01	c *** CAUGHT SIGNAL 15 ***
5000.07/5000.01	c
5000.07/5000.01	c 31982439 conflicts, 37246902 decisions, 1 random
5000.07/5000.01	c 3 iterations, 115 restarts, 44967 skipped
5000.07/5000.01	c 38 enlarged, 234 shrunken, 312527 rescored, 5628 rebiased
5000.07/5000.01	c 81 simplifications, 184 reductions
5000.07/5000.01	c
5000.07/5000.01	c vars: 3170 fixed, 130 equiv, 274 elim, 207 merged
5000.07/5000.01	c elim: 69417 resolutions, 6 phases, 6 rounds
5000.07/5000.01	c sbst: 96% substituted, 0.4% nots, 92.8% ands, 6.4% xors, 0.4% ites
5000.07/5000.01	c arty: 2.00 and 2.00 xor average arity
5000.07/5000.01	c prbe: 429171 probed, 303 phases, 307 rounds
5000.07/5000.01	c prbe: 166 failed, 1512 lifted, 4 merged
5000.07/5000.01	c sccs: 3 non trivial, 0 fixed, 3 merged
5000.07/5000.01	c hash: 1 units, 200 merged
5000.07/5000.01	c mins: 1407902865 learned, 38% deleted, 2730 strong, 74 depth
5000.07/5000.01	c subs: 273 forward, 450 backward, 1994 doms
5000.07/5000.01	c strs: 37 forward, 77 backward
5000.07/5000.01	c doms: 4464 dominators, 90 high, 3 low
5000.07/5000.01	c prps: 3022672182 propagations, 0.60 megaprops
5000.07/5000.01	c
5000.07/5000.01	c 5000.1 seconds, 47 MB max, 1995 MB recycled
5000.07/5000.01	c
5000.07/5000.01	c *** CAUGHT SIGNAL 15 ***
5000.07/5000.01	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-3365993-1305322515/watcher-3365993-1305322515 -o /tmp/evaluation-result-3365993-1305322515/solver-3365993-1305322515 -C 5000 -W 5100 -M 15500 HOME/precosat HOME/instance-3365993-1305322515.cnf 

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

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 2/366 32673
/proc/meminfo: memFree=7331608/32951124 swapFree=45193364/67111528
[pid=32673] ppid=32671 vsize=2452 CPUtime=0.01 cores=1,3,5,7
/proc/32673/stat : 32673 (precosat) R 32671 32673 32307 0 -1 4202496 546 0 0 0 1 0 0 0 25 0 1 0 722482159 2510848 502 33554432000 134512640 135151029 4292617120 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 3 0 0 0
/proc/32673/statm: 613 502 80 156 0 456 0

[startup+0.083633 s]
/proc/loadavg: 2.00 2.00 2.00 2/366 32673
/proc/meminfo: memFree=7331608/32951124 swapFree=45193364/67111528
[pid=32673] ppid=32671 vsize=2848 CPUtime=0.08 cores=1,3,5,7
/proc/32673/stat : 32673 (precosat) R 32671 32673 32307 0 -1 4202496 711 0 0 0 8 0 0 0 25 0 1 0 722482159 2916352 612 33554432000 134512640 135151029 4292617120 18446744073709551615 134554547 0 0 4096 17442 0 0 0 17 3 0 0 0
/proc/32673/statm: 712 612 80 156 0 555 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2848

[startup+0.100642 s]
/proc/loadavg: 2.00 2.00 2.00 2/366 32673
/proc/meminfo: memFree=7331608/32951124 swapFree=45193364/67111528
[pid=32673] ppid=32671 vsize=2848 CPUtime=0.09 cores=1,3,5,7
/proc/32673/stat : 32673 (precosat) R 32671 32673 32307 0 -1 4202496 711 0 0 0 9 0 0 0 25 0 1 0 722482159 2916352 612 33554432000 134512640 135151029 4292617120 18446744073709551615 134554811 0 0 4096 17442 0 0 0 17 3 0 0 0
/proc/32673/statm: 712 612 80 156 0 555 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2848

[startup+0.300595 s]
/proc/loadavg: 2.00 2.00 2.00 2/366 32673
/proc/meminfo: memFree=7331608/32951124 swapFree=45193364/67111528
[pid=32673] ppid=32671 vsize=2848 CPUtime=0.29 cores=1,3,5,7
/proc/32673/stat : 32673 (precosat) R 32671 32673 32307 0 -1 4202496 711 0 0 0 29 0 0 0 25 0 1 0 722482159 2916352 612 33554432000 134512640 135151029 4292617120 18446744073709551615 134520456 0 0 4096 17442 0 0 0 17 3 0 0 0
/proc/32673/statm: 712 612 80 156 0 555 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2848

[startup+0.70053 s]
/proc/loadavg: 2.00 2.00 2.00 2/366 32673
/proc/meminfo: memFree=7331608/32951124 swapFree=45193364/67111528
[pid=32673] ppid=32671 vsize=2848 CPUtime=0.69 cores=1,3,5,7
/proc/32673/stat : 32673 (precosat) R 32671 32673 32307 0 -1 4202496 711 0 0 0 69 0 0 0 25 0 1 0 722482159 2916352 612 33554432000 134512640 135151029 4292617120 18446744073709551615 134530672 0 0 4096 17442 0 0 0 17 3 0 0 0
/proc/32673/statm: 712 612 80 156 0 555 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 2848

[startup+1.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/367 32674
/proc/meminfo: memFree=7328612/32951124 swapFree=45193364/67111528
[pid=32673] ppid=32671 vsize=3532 CPUtime=1.49 cores=1,3,5,7
/proc/32673/stat : 32673 (precosat) R 32671 32673 32307 0 -1 4202496 851 0 0 0 149 0 0 0 25 0 1 0 722482159 3616768 752 33554432000 134512640 135151029 4292617120 18446744073709551615 134542642 0 0 4096 17442 0 0 0 17 3 0 0 0
/proc/32673/statm: 883 752 80 156 0 726 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 3532

[startup+3.10013 s]
/proc/loadavg: 2.00 2.00 2.00 3/367 32674
/proc/meminfo: memFree=7327116/32951124 swapFree=45193364/67111528
[pid=32673] ppid=32671 vsize=5812 CPUtime=3.09 cores=1,3,5,7
/proc/32673/stat : 32673 (precosat) R 32671 32673 32307 0 -1 4202496 1418 0 0 0 309 0 0 0 25 0 1 0 722482159 5951488 1319 33554432000 134512640 135151029 4292617120 18446744073709551615 134554946 0 0 4096 17442 0 0 0 17 3 0 0 0
/proc/32673/statm: 1453 1319 80 156 0 1296 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 5812

[startup+6.30059 s]
/proc/loadavg: 2.16 2.03 2.01 3/367 32674
/proc/meminfo: memFree=7324596/32951124 swapFree=45193364/67111528
[pid=32673] ppid=32671 vsize=6464 CPUtime=6.29 cores=1,3,5,7
/proc/32673/stat : 32673 (precosat) R 32671 32673 32307 0 -1 4202496 1629 0 0 0 629 0 0 0 25 0 1 0 722482159 6619136 1512 33554432000 134512640 135151029 4292617120 18446744073709551615 134530794 0 0 4096 17442 0 0 0 17 3 0 0 0
/proc/32673/statm: 1616 1512 80 156 0 1459 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 6464

[startup+12.7005 s]
/proc/loadavg: 2.15 2.03 2.01 3/367 32674
/proc/meminfo: memFree=7321512/32951124 swapFree=45193364/67111528
[pid=32673] ppid=32671 vsize=8728 CPUtime=12.69 cores=1,3,5,7
/proc/32673/stat : 32673 (precosat) R 32671 32673 32307 0 -1 4202496 2181 0 0 0 1269 0 0 0 25 0 1 0 722482159 8937472 2046 33554432000 134512640 135151029 4292617120 18446744073709551615 134574641 0 0 4096 17442 0 0 0 17 3 0 0 0
/proc/32673/statm: 2182 2046 80 156 0 2025 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 8728

[startup+25.5004 s]
/proc/loadavg: 2.11 2.03 2.01 3/367 32676
/proc/meminfo: memFree=7319172/32951124 swapFree=45193364/67111528
[pid=32673] ppid=32671 vsize=11368 CPUtime=25.49 cores=1,3,5,7
/proc/32673/stat : 32673 (precosat) R 32671 32673 32307 0 -1 4202496 2822 0 0 0 2549 0 0 0 25 0 1 0 722482159 11640832 2687 33554432000 134512640 135151029 4292617120 18446744073709551615 134574641 0 0 4096 17442 0 0 0 17 3 0 0 0
/proc/32673/statm: 2842 2687 80 156 0 2685 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 11368

[startup+51.1011 s]
/proc/loadavg: 2.07 2.03 2.01 3/367 32676
/proc/meminfo: memFree=7310348/32951124 swapFree=45193364/67111528
[pid=32673] ppid=32671 vsize=15680 CPUtime=51.09 cores=1,3,5,7
/proc/32673/stat : 32673 (precosat) R 32671 32673 32307 0 -1 4202496 3883 0 0 0 5109 0 0 0 25 0 1 0 722482159 16056320 3748 33554432000 134512640 135151029 4292617120 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 3 0 0 0
/proc/32673/statm: 3920 3748 80 156 0 3763 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 15680

[startup+102.314 s]
/proc/loadavg: 2.07 2.03 2.01 3/367 32678
/proc/meminfo: memFree=7289376/32951124 swapFree=45193364/67111528
[pid=32673] ppid=32671 vsize=18880 CPUtime=102.3 cores=1,3,5,7
/proc/32673/stat : 32673 (precosat) R 32671 32673 32307 0 -1 4202496 4715 0 0 0 10230 0 0 0 25 0 1 0 722482159 19333120 4520 33554432000 134512640 135151029 4292617120 18446744073709551615 134555039 0 0 4096 17442 0 0 0 17 3 0 0 0
/proc/32673/statm: 4720 4520 80 156 0 4563 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 18880

[startup+162.301 s]
/proc/loadavg: 2.02 2.03 2.00 3/367 32678
/proc/meminfo: memFree=7280312/32951124 swapFree=45193364/67111528
[pid=32673] ppid=32671 vsize=19912 CPUtime=162.29 cores=1,3,5,7
/proc/32673/stat : 32673 (precosat) R 32671 32673 32307 0 -1 4202496 5209 0 0 0 16229 0 0 0 25 0 1 0 722482159 20389888 4866 33554432000 134512640 135151029 4292617120 18446744073709551615 134546780 0 0 4096 17442 0 0 0 17 3 0 0 0
/proc/32673/statm: 4978 4866 80 156 0 4821 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 19912

[startup+222.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/367 32682
/proc/meminfo: memFree=7279652/32951124 swapFree=45193364/67111528
[pid=32673] ppid=32671 vsize=23876 CPUtime=222.3 cores=1,3,5,7
/proc/32673/stat : 32673 (precosat) R 32671 32673 32307 0 -1 4202496 6203 0 0 0 22229 1 0 0 25 0 1 0 722482159 24449024 5860 33554432000 134512640 135151029 4292617120 18446744073709551615 134554833 0 0 4096 17442 0 0 0 17 3 0 0 0
/proc/32673/statm: 5969 5860 80 156 0 5812 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 23876

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/367 32685
/proc/meminfo: memFree=7276176/32951124 swapFree=45193364/67111528
[pid=32673] ppid=32671 vsize=24796 CPUtime=282.29 cores=1,3,5,7
/proc/32673/stat : 32673 (precosat) R 32671 32673 32307 0 -1 4202496 7225 0 0 0 28228 1 0 0 25 0 1 0 722482159 25391104 6094 33554432000 134512640 135151029 4292617120 18446744073709551615 134554549 0 0 4096 17442 0 0 0 17 3 0 0 0
/proc/32673/statm: 6199 6094 80 156 0 6042 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 24796

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/367 32687
/proc/meminfo: memFree=7276016/32951124 swapFree=45193364/67111528
[pid=32673] ppid=32671 vsize=24796 CPUtime=342.29 cores=1,3,5,7
/proc/32673/stat : 32673 (precosat) R 32671 32673 32307 0 -1 4202496 7771 0 0 0 34228 1 0 0 25 0 1 0 722482159 25391104 6097 33554432000 134512640 135151029 4292617120 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 3 0 0 0
/proc/32673/statm: 6199 6097 80 156 0 6042 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 24796

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/367 32689
/proc/meminfo: memFree=7273512/32951124 swapFree=45193364/67111528
[pid=32673] ppid=32671 vsize=28592 CPUtime=402.29 cores=1,3,5,7
/proc/32673/stat : 32673 (precosat) R 32671 32673 32307 0 -1 4202496 8642 0 0 0 40228 1 0 0 25 0 1 0 722482159 29278208 6968 33554432000 134512640 135151029 4292617120 18446744073709551615 134554782 0 0 4096 17442 0 0 0 17 3 0 0 0
/proc/32673/statm: 7148 6968 80 156 0 6991 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 28592

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/367 32689
/proc/meminfo: memFree=7271624/32951124 swapFree=45193364/67111528
[pid=32673] ppid=32671 vsize=29104 CPUtime=462.29 cores=1,3,5,7
/proc/32673/stat : 32673 (precosat) R 32671 32673 32307 0 -1 4202496 8998 0 0 0 46228 1 0 0 25 0 1 0 722482159 29802496 7173 33554432000 134512640 135151029 4292617120 18446744073709551615 134578057 0 0 4096 17442 0 0 0 17 3 0 0 0
/proc/32673/statm: 7276 7173 80 156 0 7119 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 29104

[startup+522.3 s]
/proc/loadavg: 2.09 2.03 2.01 3/367 32691
/proc/meminfo: memFree=7267128/32951124 swapFree=45193364/67111528
[pid=32673] ppid=32671 vsize=30780 CPUtime=522.3 cores=1,3,5,7
/proc/32673/stat : 32673 (precosat) R 32671 32673 32307 0 -1 4202496 9632 0 0 0 52228 2 0 0 25 0 1 0 722482159 31518720 7490 33554432000 134512640 135151029 4292617120 18446744073709551615 134554811 0 0 4096 17442 0 0 0 17 3 0 0 0
/proc/32673/statm: 7695 7490 80 156 0 7538 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 30780

[startup+582.3 s]
/proc/loadavg: 2.07 2.03 2.01 3/367 32693
/proc/meminfo: memFree=7261268/32951124 swapFree=45193364/67111528
[pid=32673] ppid=32671 vsize=35184 CPUtime=582.3 cores=1,3,5,7
/proc/32673/stat : 32673 (precosat) R 32671 32673 32307 0 -1 4202496 10680 0 0 0 58228 2 0 0 25 0 1 0 722482159 36028416 8538 33554432000 134512640 135151029 4292617120 18446744073709551615 134530713 0 0 4096 17442 0 0 0 17 3 0 0 0
/proc/32673/statm: 8796 8538 80 156 0 8639 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 35184

[startup+642.3 s]

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

[startup+4002.3 s]
/proc/loadavg: 1.00 1.00 1.23 2/361 356
/proc/meminfo: memFree=7480904/32951124 swapFree=45193364/67111528
[pid=32673] ppid=32671 vsize=50576 CPUtime=4002.35 cores=1,3,5,7
/proc/32673/stat : 32673 (precosat) R 32671 32673 32307 0 -1 4202496 17556 0 0 0 400232 3 0 0 25 0 1 0 722482159 51789824 12545 33554432000 134512640 135151029 4292617120 18446744073709551615 134576056 0 0 4096 17442 0 0 0 17 3 0 0 0
/proc/32673/statm: 12644 12545 80 156 0 12487 0
Current children cumulated CPU time (s) 4002.35
Current children cumulated vsize (KiB) 50576

[startup+4062.31 s]
/proc/loadavg: 1.00 1.00 1.21 2/361 356
/proc/meminfo: memFree=7480132/32951124 swapFree=45193364/67111528
[pid=32673] ppid=32671 vsize=50576 CPUtime=4062.36 cores=1,3,5,7
/proc/32673/stat : 32673 (precosat) R 32671 32673 32307 0 -1 4202496 17556 0 0 0 406233 3 0 0 25 0 1 0 722482159 51789824 12545 33554432000 134512640 135151029 4292617120 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 3 0 0 0
/proc/32673/statm: 12644 12545 80 156 0 12487 0
Current children cumulated CPU time (s) 4062.36
Current children cumulated vsize (KiB) 50576

[startup+4122.3 s]
/proc/loadavg: 1.14 1.04 1.21 2/361 358
/proc/meminfo: memFree=7480968/32951124 swapFree=45193364/67111528
[pid=32673] ppid=32671 vsize=50576 CPUtime=4122.35 cores=1,3,5,7
/proc/32673/stat : 32673 (precosat) R 32671 32673 32307 0 -1 4202496 17556 0 0 0 412232 3 0 0 25 0 1 0 722482159 51789824 12545 33554432000 134512640 135151029 4292617120 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 3 0 0 0
/proc/32673/statm: 12644 12545 80 156 0 12487 0
Current children cumulated CPU time (s) 4122.35
Current children cumulated vsize (KiB) 50576

[startup+4182.3 s]
/proc/loadavg: 1.05 1.03 1.19 2/361 360
/proc/meminfo: memFree=7481180/32951124 swapFree=45193364/67111528
[pid=32673] ppid=32671 vsize=50576 CPUtime=4182.35 cores=1,3,5,7
/proc/32673/stat : 32673 (precosat) R 32671 32673 32307 0 -1 4202496 17556 0 0 0 418232 3 0 0 25 0 1 0 722482159 51789824 12545 33554432000 134512640 135151029 4292617120 18446744073709551615 134554568 0 0 4096 17442 0 0 0 17 3 0 0 0
/proc/32673/statm: 12644 12545 80 156 0 12487 0
Current children cumulated CPU time (s) 4182.35
Current children cumulated vsize (KiB) 50576

[startup+4242.3 s]
/proc/loadavg: 1.02 1.02 1.18 2/361 362
/proc/meminfo: memFree=7481144/32951124 swapFree=45193364/67111528
[pid=32673] ppid=32671 vsize=50576 CPUtime=4242.35 cores=1,3,5,7
/proc/32673/stat : 32673 (precosat) R 32671 32673 32307 0 -1 4202496 17556 0 0 0 424232 3 0 0 25 0 1 0 722482159 51789824 12545 33554432000 134512640 135151029 4292617120 18446744073709551615 134575920 0 0 4096 17442 0 0 0 17 3 0 0 0
/proc/32673/statm: 12644 12545 80 156 0 12487 0
Current children cumulated CPU time (s) 4242.35
Current children cumulated vsize (KiB) 50576

[startup+4302.3 s]
/proc/loadavg: 1.00 1.02 1.17 2/361 364
/proc/meminfo: memFree=7481120/32951124 swapFree=45193364/67111528
[pid=32673] ppid=32671 vsize=50576 CPUtime=4302.35 cores=1,3,5,7
/proc/32673/stat : 32673 (precosat) R 32671 32673 32307 0 -1 4202496 17556 0 0 0 430232 3 0 0 25 0 1 0 722482159 51789824 12545 33554432000 134512640 135151029 4292617120 18446744073709551615 134554752 0 0 4096 17442 0 0 0 17 3 0 0 0
/proc/32673/statm: 12644 12545 80 156 0 12487 0
Current children cumulated CPU time (s) 4302.35
Current children cumulated vsize (KiB) 50576

[startup+4362.3 s]
/proc/loadavg: 1.00 1.01 1.15 2/361 364
/proc/meminfo: memFree=7481704/32951124 swapFree=45193364/67111528
[pid=32673] ppid=32671 vsize=50576 CPUtime=4362.35 cores=1,3,5,7
/proc/32673/stat : 32673 (precosat) R 32671 32673 32307 0 -1 4202496 17556 0 0 0 436232 3 0 0 25 0 1 0 722482159 51789824 12545 33554432000 134512640 135151029 4292617120 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 3 0 0 0
/proc/32673/statm: 12644 12545 80 156 0 12487 0
Current children cumulated CPU time (s) 4362.35
Current children cumulated vsize (KiB) 50576

[startup+4422.3 s]
/proc/loadavg: 1.00 1.01 1.14 2/361 366
/proc/meminfo: memFree=7481300/32951124 swapFree=45193364/67111528
[pid=32673] ppid=32671 vsize=50576 CPUtime=4422.35 cores=1,3,5,7
/proc/32673/stat : 32673 (precosat) R 32671 32673 32307 0 -1 4202496 17556 0 0 0 442232 3 0 0 25 0 1 0 722482159 51789824 12545 33554432000 134512640 135151029 4292617120 18446744073709551615 134554590 0 0 4096 17442 0 0 0 17 3 0 0 0
/proc/32673/statm: 12644 12545 80 156 0 12487 0
Current children cumulated CPU time (s) 4422.35
Current children cumulated vsize (KiB) 50576

[startup+4482.3 s]
/proc/loadavg: 1.00 1.00 1.13 2/361 368
/proc/meminfo: memFree=7481392/32951124 swapFree=45193364/67111528
[pid=32673] ppid=32671 vsize=50576 CPUtime=4482.35 cores=1,3,5,7
/proc/32673/stat : 32673 (precosat) R 32671 32673 32307 0 -1 4202496 17556 0 0 0 448232 3 0 0 25 0 1 0 722482159 51789824 12545 33554432000 134512640 135151029 4292617120 18446744073709551615 134554817 0 0 4096 17442 0 0 0 17 3 0 0 0
/proc/32673/statm: 12644 12545 80 156 0 12487 0
Current children cumulated CPU time (s) 4482.35
Current children cumulated vsize (KiB) 50576

[startup+4542.3 s]
/proc/loadavg: 1.00 1.00 1.12 2/361 370
/proc/meminfo: memFree=7481476/32951124 swapFree=45193364/67111528
[pid=32673] ppid=32671 vsize=50576 CPUtime=4542.35 cores=1,3,5,7
/proc/32673/stat : 32673 (precosat) R 32671 32673 32307 0 -1 4202496 17556 0 0 0 454232 3 0 0 25 0 1 0 722482159 51789824 12545 33554432000 134512640 135151029 4292617120 18446744073709551615 134554594 0 0 4096 17442 0 0 0 17 3 0 0 0
/proc/32673/statm: 12644 12545 80 156 0 12487 0
Current children cumulated CPU time (s) 4542.35
Current children cumulated vsize (KiB) 50576

[startup+4602.3 s]
/proc/loadavg: 1.00 1.00 1.11 2/361 372
/proc/meminfo: memFree=7480820/32951124 swapFree=45193364/67111528
[pid=32673] ppid=32671 vsize=50576 CPUtime=4602.37 cores=1,3,5,7
/proc/32673/stat : 32673 (precosat) R 32671 32673 32307 0 -1 4202496 17556 0 0 0 460234 3 0 0 25 0 1 0 722482159 51789824 12545 33554432000 134512640 135151029 4292617120 18446744073709551615 134554752 0 0 4096 17442 0 0 0 17 3 0 0 0
/proc/32673/statm: 12644 12545 80 156 0 12487 0
Current children cumulated CPU time (s) 4602.37
Current children cumulated vsize (KiB) 50576

[startup+4662.3 s]
/proc/loadavg: 1.00 1.00 1.10 2/361 372
/proc/meminfo: memFree=7481660/32951124 swapFree=45193364/67111528
[pid=32673] ppid=32671 vsize=50576 CPUtime=4662.36 cores=1,3,5,7
/proc/32673/stat : 32673 (precosat) R 32671 32673 32307 0 -1 4202496 17556 0 0 0 466233 3 0 0 25 0 1 0 722482159 51789824 12545 33554432000 134512640 135151029 4292617120 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 3 0 0 0
/proc/32673/statm: 12644 12545 80 156 0 12487 0
Current children cumulated CPU time (s) 4662.36
Current children cumulated vsize (KiB) 50576

[startup+4722.31 s]
/proc/loadavg: 1.04 1.01 1.09 2/361 374
/proc/meminfo: memFree=7480884/32951124 swapFree=45193364/67111528
[pid=32673] ppid=32671 vsize=50576 CPUtime=4722.37 cores=1,3,5,7
/proc/32673/stat : 32673 (precosat) R 32671 32673 32307 0 -1 4202496 17556 0 0 0 472234 3 0 0 25 0 1 0 722482159 51789824 12545 33554432000 134512640 135151029 4292617120 18446744073709551615 134678238 0 0 4096 17442 0 0 0 17 3 0 0 0
/proc/32673/statm: 12644 12545 80 156 0 12487 0
Current children cumulated CPU time (s) 4722.37
Current children cumulated vsize (KiB) 50576

[startup+4782.3 s]
/proc/loadavg: 1.05 1.02 1.09 2/361 376
/proc/meminfo: memFree=7481848/32951124 swapFree=45193364/67111528
[pid=32673] ppid=32671 vsize=50576 CPUtime=4782.36 cores=1,3,5,7
/proc/32673/stat : 32673 (precosat) R 32671 32673 32307 0 -1 4202496 17556 0 0 0 478233 3 0 0 25 0 1 0 722482159 51789824 12545 33554432000 134512640 135151029 4292617120 18446744073709551615 134581524 0 0 4096 17442 0 0 0 17 3 0 0 0
/proc/32673/statm: 12644 12545 80 156 0 12487 0
Current children cumulated CPU time (s) 4782.36
Current children cumulated vsize (KiB) 50576

[startup+4842.3 s]
/proc/loadavg: 1.02 1.02 1.08 2/361 378
/proc/meminfo: memFree=7481564/32951124 swapFree=45193364/67111528
[pid=32673] ppid=32671 vsize=50576 CPUtime=4842.36 cores=1,3,5,7
/proc/32673/stat : 32673 (precosat) R 32671 32673 32307 0 -1 4202496 17556 0 0 0 484233 3 0 0 25 0 1 0 722482159 51789824 12545 33554432000 134512640 135151029 4292617120 18446744073709551615 134521880 0 0 4096 17442 0 0 0 17 3 0 0 0
/proc/32673/statm: 12644 12545 80 156 0 12487 0
Current children cumulated CPU time (s) 4842.36
Current children cumulated vsize (KiB) 50576

[startup+4902.3 s]
/proc/loadavg: 1.00 1.01 1.08 2/361 380
/proc/meminfo: memFree=7481776/32951124 swapFree=45193364/67111528
[pid=32673] ppid=32671 vsize=50576 CPUtime=4902.36 cores=1,3,5,7
/proc/32673/stat : 32673 (precosat) R 32671 32673 32307 0 -1 4202496 17556 0 0 0 490233 3 0 0 25 0 1 0 722482159 51789824 12545 33554432000 134512640 135151029 4292617120 18446744073709551615 134554594 0 0 4096 17442 0 0 0 17 3 0 0 0
/proc/32673/statm: 12644 12545 80 156 0 12487 0
Current children cumulated CPU time (s) 4902.36
Current children cumulated vsize (KiB) 50576

[startup+4962.3 s]
/proc/loadavg: 1.00 1.01 1.07 2/361 380
/proc/meminfo: memFree=7481620/32951124 swapFree=45193364/67111528
[pid=32673] ppid=32671 vsize=50576 CPUtime=4962.36 cores=1,3,5,7
/proc/32673/stat : 32673 (precosat) R 32671 32673 32307 0 -1 4202496 17556 0 0 0 496233 3 0 0 25 0 1 0 722482159 51789824 12545 33554432000 134512640 135151029 4292617120 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 3 0 0 0
/proc/32673/statm: 12644 12545 80 156 0 12487 0
Current children cumulated CPU time (s) 4962.36
Current children cumulated vsize (KiB) 50576



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5000 s]
/proc/loadavg: 1.00 1.00 1.07 2/361 382
/proc/meminfo: memFree=7481604/32951124 swapFree=45193364/67111528
[pid=32673] ppid=32671 vsize=50576 CPUtime=5000.07 cores=1,3,5,7
/proc/32673/stat : 32673 (precosat) R 32671 32673 32307 0 -1 4202496 17556 0 0 0 500004 3 0 0 25 0 1 0 722482159 51789824 12545 33554432000 134512640 135151029 4292617120 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 3 0 0 0
/proc/32673/statm: 12644 12545 80 156 0 12487 0
Current children cumulated CPU time (s) 5000.07
Current children cumulated vsize (KiB) 50576

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 5000.02
CPU time (s): 5000.09
CPU user time (s): 5000.05
CPU system time (s): 0.041993
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 53904

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5000.05
system time used= 0.041993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17557
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= 7130

runsolver used 16.8144 second user time and 42.2866 second system time

The end

Launcher Data 

Begin job on node118 at 2011-05-13 23:35:15
IDJOB=3365993
IDBENCH=84237
IDSOLVER=1843
FILE ID=node118/3365993-1305322515
RUNJOBID= node118-1305315246-32326
PBS_JOBID= 13324314
Free space on /tmp= 50440 MiB

SOLVER NAME= SAT09 reference solver:precosat 236
BENCH NAME= SAT03/industrial/kukula/addm_bench/am_7_7.shuffled-as.sat03-363.cnf
COMMAND LINE= HOME/precosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3365993-1305322515/watcher-3365993-1305322515 -o /tmp/evaluation-result-3365993-1305322515/solver-3365993-1305322515 -C 5000 -W 5100 -M 15500  HOME/precosat HOME/instance-3365993-1305322515.cnf

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

MD5SUM BENCH= c7f51e1ee7556440ab29e1c4bfe29538
RANDOM SEED=806651846

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:       7331904 kB
Buffers:        242596 kB
Cached:       14914012 kB
SwapCached:      22052 kB
Active:       15404156 kB
Inactive:      9645620 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       7331904 kB
SwapTotal:    67111528 kB
SwapFree:     45193364 kB
Dirty:             840 kB
Writeback:           0 kB
AnonPages:     9883812 kB
Mapped:          15556 kB
Slab:           414460 kB
PageTables:      89960 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 88851128 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= 50444 MiB
End job on node118 at 2011-05-14 00:58:37