Trace number 372272

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, and are wall clock time (not CPU 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 NameAnswerObjective functionCPU timeWall clock time
wildcat-rnp 2007-03-21SAT (TO)27100 1800.11 1800.91

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/reduced/
submittedPB07/aksoy/trarea_ac/normalized-reduced-fir05_trarea_ac.opb
MD5SUMda210e6015c5a34ffbeabe5ecb901720
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark23670
Best CPU time to get the best result obtained on this benchmark0.146977
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 23670
Optimality of the best value was proved YES
Number of variables1152
Total number of constraints1774
Number of constraints which are clauses1774
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint39
Number of terms in the objective function 661
Biggest coefficient in the objective function 1066
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 524592
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 1066
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 524592
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.00/0.00	c 
0.00/0.00	c wildcat-rnp (VERSION 0.8.0-lite-rnp-devel)
0.00/0.00	c Developed by L. Liu  and M. Truszczynski 
0.00/0.00	c Last built on Sun 18 Mar 2007 03:03:40 PM EDT
0.00/0.00	c 
0.00/0.00	c /tmp/evaluation/372272-1177080874/wildcat-rnp /tmp/evaluation/372272-1177080874/instance-372272-1177080874.opb 698286144 
0.00/0.00	c =================================== BEGIN ===================================
0.00/0.00	c 
0.00/0.00	c Random Number Seed: 698286144
0.00/0.00	c Noise: 0.7 (70 : 100) 
0.00/0.01	c Starting searching:
0.00/0.01	c Phase 1 ...
0.00/0.01	c   trying 524592: vc 
0.00/0.01	o 259276
0.00/0.01	c   trying 258766: vc 
0.00/0.01	o 256765
0.00/0.01	c   trying 256258: vc 
0.00/0.01	o 240421
0.00/0.01	c   trying 239930: vc 
0.00/0.01	o 232980
0.00/0.02	c   trying 232497: vc 
0.00/0.02	o 231724
0.00/0.02	c   trying 231242: vc 
0.00/0.02	o 230882
0.00/0.03	c   trying 230401: vc 
0.00/0.03	o 229788
0.00/0.03	c   trying 229308: vc 
0.00/0.03	o 227536
0.00/0.04	c   trying 227058: vc 
0.00/0.04	o 227011
0.00/0.04	c   trying 226534: vc 
0.00/0.04	o 226290
0.00/0.04	c   trying 225814: vc 
0.00/0.04	o 223970
0.04/0.05	c   trying 223496: vc 
0.04/0.05	o 223113
0.04/0.06	c   trying 222640: vc 
0.04/0.06	o 222037
0.04/0.07	c   trying 221565: vc 
0.04/0.07	o 221426
0.04/0.08	c   trying 220955: vc 
0.04/0.08	o 220563
0.04/0.08	c   trying 220093: vc 
0.04/0.08	o 219471
0.04/0.09	c   trying 219002: vc 
0.04/0.09	o 218993
0.04/0.09	c   trying 218525: vc 
0.04/0.09	o 218102
0.09/0.11	c   trying 217634: vc 
0.09/0.11	o 217581
0.09/0.13	c   trying 217114: vc 
0.09/0.13	o 216916
0.09/0.13	c   trying 216450: vc 
0.09/0.13	o 214876
0.09/0.15	c   trying 214412: vc 
0.09/0.15	o 214138
0.09/0.15	c   trying 213675: vc 
0.09/0.15	o 213364
0.09/0.16	c   trying 212902: vc 
0.09/0.16	o 211539
0.09/0.18	c   trying 211079: vc 
0.09/0.18	o 210827
0.19/0.21	c   trying 210367: vc 
0.19/0.21	o 209852
0.19/0.21	c   trying 209393: vc 
0.19/0.21	o 208933
0.19/0.24	c   trying 208475: vc 
0.19/0.24	o 208119
0.19/0.26	c   trying 207662: vc 
0.19/0.26	o 207397
0.19/0.27	c   trying 206941: vc 
0.19/0.27	o 206525
0.19/0.28	c   trying 206070: vc 
0.19/0.28	o 205264
0.29/0.30	c   trying 204810: vc 
0.29/0.30	o 203987
0.29/0.32	c   trying 203535: vc 
0.29/0.32	o 203523
0.29/0.34	c   trying 203071: vc 
0.29/0.34	o 202774
0.29/0.36	c   trying 202323: vc 
0.29/0.36	o 201939
0.39/0.40	c   trying 201489: vc 
0.39/0.40	o 201147
0.39/0.41	c   trying 200698: vc 
0.39/0.41	o 200632
0.39/0.42	c   trying 200184: vc 
0.39/0.42	o 199572
0.39/0.43	c   trying 199125: vc 
0.39/0.43	o 198567
0.39/0.44	c   trying 198121: vc 
0.39/0.44	o 197950
0.39/0.46	c   trying 197505: vc 
0.39/0.46	o 197404
0.39/0.49	c   trying 196959: vc 
0.39/0.49	o 196722
0.39/0.49	c   trying 196278: vc 
0.39/0.49	o 195777
0.49/0.54	c   trying 195334: vc 
0.49/0.54	o 194634
0.49/0.56	c   trying 194192: vc 
0.49/0.56	o 193743
0.59/0.60	c   trying 193302: vc 
0.59/0.60	o 193150
0.59/0.63	c   trying 192710: vc 
0.59/0.63	o 192112
0.59/0.66	c   trying 191673: vc 
0.59/0.66	o 191220
0.69/0.73	c   trying 190782: vc 
0.69/0.73	o 190531
0.69/0.75	c   trying 190094: vc 
0.69/0.75	o 189889
0.69/0.78	c   trying 189453: vc 
0.69/0.78	o 189385
0.79/0.81	c   trying 188949: vc 
0.79/0.81	o 188861
0.79/0.83	c   trying 188426: vc 
0.79/0.83	o 188144
0.79/0.88	c   trying 187710: vc 
0.79/0.88	o 187104
0.89/0.92	c   trying 186671: vc 
0.89/0.92	o 186647
0.89/0.94	c   trying 186214: vc 
0.89/0.94	o 185607
0.89/0.97	c   trying 185176: vc 
0.89/0.97	o 185168
1.00/1.02	c   trying 184737: vc 
1.00/1.02	o 184352
1.00/1.05	c   trying 183922: vc 
1.00/1.05	o 183533
1.00/1.09	c   trying 183104: vc 
1.00/1.09	o 182816
1.10/1.14	c   trying 182388: vc 
1.10/1.14	o 181810
1.10/1.19	c   trying 181383: vc 
1.10/1.19	o 181266
1.19/1.23	c   trying 180840: vc 
1.19/1.23	o 180179
1.19/1.27	c   trying 179754: vc 
1.19/1.27	o 179439
1.29/1.31	c   trying 179015: vc 
1.29/1.31	o 179002
1.29/1.35	c   trying 178578: vc 
1.29/1.35	o 178462
1.29/1.39	c   trying 178039: vc 
1.29/1.39	o 177973
1.39/1.44	c   trying 177551: vc 
1.39/1.44	o 177549
1.39/1.49	c   trying 177127: vc 
1.39/1.49	o 176565
1.49/1.52	c   trying 176144: vc 
1.49/1.52	o 175818
1.49/1.55	c   trying 175398: vc 
1.49/1.55	o 175307
1.59/1.62	c   trying 174888: vc 
1.59/1.62	o 174303
1.59/1.66	c   trying 173885: vc 
1.59/1.66	o 173864
1.69/1.70	c   trying 173447: vc 
1.69/1.70	o 172747
1.69/1.75	c   trying 172331: vc 
1.69/1.75	o 171549
1.79/1.81	c   trying 171134: vc 
1.79/1.81	o 171057
1.79/1.86	c   trying 170643: vc 
1.79/1.86	o 170408
1.89/1.93	c   trying 169995: vc 
1.89/1.93	o 169258
1.89/1.99	c   trying 168846: vc 
1.89/1.99	o 168764
1.99/2.04	c   trying 168353: vc 
1.99/2.04	o 168258
1.99/2.08	c   trying 167847: vc 
1.99/2.08	o 167045
2.10/2.15	c   trying 166636: vc 
2.10/2.15	o 166573
2.20/2.23	c   trying 166164: vc 
2.20/2.23	o 165668
2.20/2.28	c   trying 165260: vc 
2.20/2.28	o 165046
2.29/2.35	c   trying 164639: vc 
2.29/2.35	o 164464
2.29/2.38	c   trying 164058: vc 
2.29/2.38	o 163355
2.39/2.43	c   trying 162950: vc 
2.39/2.43	o 162581
2.39/2.48	c   trying 162177: vc 
2.39/2.48	o 161787
2.49/2.53	c   trying 161384: vc 
2.49/2.53	o 161255
2.59/2.60	c   trying 160853: vc 
2.59/2.60	o 160763
2.59/2.65	c   trying 160362: vc 
2.59/2.65	o 159625
2.69/2.72	c   trying 159225: vc 
2.69/2.72	o 158666
2.69/2.80	c   trying 158267: vc 
2.69/2.80	o 158177
2.79/2.86	c   trying 157779: vc 
2.79/2.86	o 157778
2.89/2.91	c   trying 157380: vc 
2.89/2.91	o 157159
2.89/2.96	c   trying 156762: vc 
2.89/2.96	o 156722
3.00/3.04	c   trying 156326: vc 
3.00/3.04	o 156319
3.10/3.12	c   trying 155923: vc 
3.10/3.12	o 155701
3.10/3.18	c   trying 155306: vc 
3.10/3.18	o 155262
3.20/3.24	c   trying 154867: vc 
3.20/3.24	o 154603
3.20/3.29	c   trying 154209: vc 
3.20/3.29	o 153879
3.30/3.36	c   trying 153486: vc 
3.30/3.36	o 152817
3.39/3.44	c   trying 152426: vc 
3.39/3.44	o 151756
3.49/3.52	c   trying 151366: vc 
3.49/3.52	o 151197
3.49/3.59	c   trying 150808: vc 
3.49/3.59	o 150554
3.59/3.67	c   trying 150165: vc 
3.59/3.67	o 150113
3.69/3.75	c   trying 149725: vc 
3.69/3.75	o 149506
3.79/3.84	c   trying 149119: vc 
3.79/3.84	o 149041
3.89/3.91	c   trying 148654: vc 
3.89/3.91	o 148582
3.89/3.99	c   trying 148196: vc 
3.89/3.99	o 148174
3.99/4.07	c   trying 147789: vc 
3.99/4.07	o 147061
4.09/4.15	c   trying 146677: vc 
4.09/4.15	o 146306
4.19/4.22	c   trying 145923: vc 
4.19/4.22	o 145463
4.19/4.30	c   trying 145081: vc 
4.19/4.30	o 144905
4.30/4.40	c   trying 144524: vc 
4.30/4.40	o 144412
4.40/4.47	c   trying 144031: vc 
4.40/4.47	o 143434
4.49/4.53	c   trying 143055: vc 
4.49/4.53	o 142440
4.59/4.63	c   trying 142062: vc 
4.59/4.63	o 141669
4.69/4.72	c   trying 141292: vc 
4.69/4.72	o 140806
4.79/4.82	c   trying 140430: vc 
4.79/4.82	o 139299
4.79/4.89	c   trying 138925: vc 
4.79/4.89	o 138519
4.89/4.99	c   trying 138146: vc 
4.89/4.99	o 138117
4.99/5.08	c   trying 137745: vc 
4.99/5.08	o 137299
5.09/5.15	c   trying 136928: vc 
5.09/5.15	o 136830
5.19/5.23	c   trying 136460: vc 
5.19/5.23	o 135807
5.29/5.30	c   trying 135438: vc 
5.29/5.30	o 135368
5.40/5.41	c   trying 135000: vc 
5.40/5.41	o 134986
5.40/5.49	c   trying 134618: vc 
5.40/5.49	o 134009
5.59/5.60	c   trying 133642: vc 
5.59/5.60	o 133019
5.59/5.68	c   trying 132654: vc 
5.59/5.68	o 132652
5.69/5.78	c   trying 132287: vc 
5.69/5.78	o 132252
5.79/5.87	c   trying 131888: vc 
5.79/5.87	o 131858
5.89/5.96	c   trying 131494: vc 
5.89/5.96	o 131475
5.99/6.07	c   trying 131112: vc 
5.99/6.07	o 130500
6.09/6.16	c   trying 130138: vc 
6.09/6.16	o 129681
6.19/6.25	c   trying 129320: vc 
6.19/6.25	o 128824
6.29/6.36	c   trying 128465: vc 
6.29/6.36	o 127844
6.39/6.45	c   trying 127486: vc 
6.39/6.45	o 127270
6.50/6.55	c   trying 126913: vc 
6.50/6.55	o 126317
6.60/6.67	c   trying 125961: vc 
6.60/6.67	o 125866
6.69/6.77	c   trying 125511: vc 
6.69/6.77	o 124827
6.79/6.87	c   trying 124473: vc 
6.79/6.87	o 124451
6.89/6.97	c   trying 124098: vc 
6.89/6.97	o 123549
6.99/7.07	c   trying 123197: vc 
6.99/7.07	o 122698
7.09/7.16	c   trying 122347: vc 
7.09/7.16	o 121992
7.19/7.27	c   trying 121642: vc 
7.19/7.27	o 121557
7.39/7.42	c   trying 121208: vc 
7.39/7.42	o 121191
7.49/7.54	c   trying 120842: vc 
7.49/7.54	o 120663
7.60/7.63	c   trying 120315: vc 
7.60/7.64	o 119796
7.70/7.71	c   trying 119449: vc 
7.70/7.71	o 118942
7.79/7.83	c   trying 118597: vc 
7.79/7.83	o 118548
7.89/7.94	c   trying 118203: vc 
7.89/7.94	o 117614
7.99/8.05	c   trying 117271: vc 
7.99/8.05	o 116946
8.09/8.15	c   trying 116604: vc 
8.09/8.15	o 116375
8.19/8.29	c   trying 116033: vc 
8.19/8.29	o 116029
8.39/8.40	c   trying 115688: vc 
8.39/8.40	o 115246
8.49/8.51	c   trying 114906: vc 
8.49/8.51	o 114196
8.59/8.66	c   trying 113858: vc 
8.59/8.66	o 113837
8.70/8.77	c   trying 113499: vc 
8.70/8.77	o 113018
8.89/8.90	c   trying 112681: vc 
8.89/8.90	o 112199
8.99/9.04	c   trying 111864: vc 
8.99/9.04	o 111217
9.09/9.16	c   trying 110883: vc 
9.09/9.16	o 110764
9.19/9.28	c   trying 110431: vc 
9.19/9.28	o 110353
9.39/9.44	c   trying 110020: vc 
9.39/9.44	o 110010
9.49/9.56	c   trying 109678: vc 
9.49/9.56	o 109637
9.59/9.67	c   trying 109305: vc 
9.59/9.67	o 108781
9.80/9.80	c   trying 108451: vc 
9.80/9.80	o 108238
9.90/9.94	c   trying 107909: vc 
9.90/9.94	o 107272
9.99/10.07	c   trying 106944: vc 
9.99/10.07	o 106346
10.09/10.18	c   trying 106019: vc 
10.09/10.18	o 105593
10.29/10.34	c   trying 105268: vc 
10.29/10.34	o 105091
10.39/10.48	c   trying 104766: vc 
10.39/10.48	o 104766
10.59/10.60	c   trying 104442: vc 
10.59/10.60	o 104412
10.69/10.75	c   trying 104088: vc 
10.69/10.75	o 103849
10.89/10.91	c   trying 103526: vc 
10.89/10.91	o 103098
10.99/11.05	c   trying 102776: vc 
10.99/11.05	o 102082
11.09/11.17	c   trying 101762: vc 
11.09/11.17	o 101720
11.19/11.27	c   trying 101401: vc 
11.19/11.27	o 101394
11.39/11.43	c   trying 101075: vc 
11.39/11.43	o 100999
11.49/11.56	c   trying 100681: vc 
11.49/11.56	o 100678
11.69/11.71	c   trying 100360: vc 
11.69/11.71	o 100189
11.89/11.90	c   trying 99872: vc 
11.89/11.90	o 99839
11.99/12.08	c   trying 99523: vc 
11.99/12.08	o 99186
12.19/12.25	c   trying 98871: vc 
12.19/12.25	o 98869
12.39/12.40	c   trying 98554: vc 
12.39/12.40	o 98495
12.49/12.55	c   trying 98181: vc 
12.49/12.55	o 97726
12.59/12.68	c   trying 97413: vc 
12.59/12.68	o 97171
12.79/12.85	c   trying 96859: vc 
12.79/12.85	o 96611
12.89/12.99	c   trying 96300: vc 
12.89/12.99	o 95989
13.09/13.12	c   trying 95679: vc 
13.09/13.12	o 95083
13.29/13.33	c   trying 94774: vc 
13.29/13.33	o 94278
13.49/13.52	c   trying 93970: vc 
13.49/13.52	o 93583
13.69/13.73	c   trying 93277: vc 
13.69/13.73	o 93125
13.89/13.93	c   trying 92819: vc 
13.89/13.93	o 92817
14.09/14.10	c   trying 92512: vc 
14.09/14.10	o 91980
14.19/14.28	c   trying 91676: vc 
14.19/14.28	o 91067
14.49/14.50	c   trying 90765: vc 
14.49/14.50	o 90005
14.59/14.68	c   trying 89704: vc 
14.59/14.68	o 89464
14.79/14.88	c   trying 89164: vc 
14.79/14.88	o 88462
14.99/15.04	c   trying 88164: vc 
14.99/15.04	o 88121
15.09/15.19	c   trying 87824: vc 
15.09/15.19	o 87485
15.29/15.39	c   trying 87189: vc 
15.29/15.39	o 86602
15.59/15.60	c   trying 86307: vc 
15.59/15.60	o 86283
15.69/15.77	c   trying 85989: vc 
15.69/15.77	o 85987
15.89/15.95	c   trying 85693: vc 
15.89/15.95	o 85277
16.09/16.19	c   trying 84984: vc 
16.09/16.19	o 84748
16.39/16.41	c   trying 84456: vc 
16.39/16.41	o 84140
16.49/16.56	c   trying 83849: vc 
16.49/16.56	o 83695
16.69/16.76	c   trying 83405: vc 
16.69/16.76	o 83390
16.89/16.96	c   trying 83101: vc 
16.89/16.96	o 83020
17.09/17.19	c   trying 82731: vc 
17.09/17.19	o 82347
17.29/17.34	c   trying 82060: vc 
17.29/17.34	o 81782
17.49/17.51	c   trying 81496: vc 
17.49/17.51	o 80973
17.79/17.84	c   trying 80688: vc 
17.79/17.85	o 80034
17.99/18.05	c   trying 79751: vc 
17.99/18.05	o 79675
18.19/18.28	c   trying 79392: vc 
18.19/18.28	o 79017
18.59/18.68	c   trying 78735: vc 
18.59/18.68	o 78715
18.89/18.90	c   trying 78434: vc 
18.89/18.90	o 77891
19.09/19.13	c   trying 77611: vc 
19.09/19.13	o 77453
19.29/19.33	c   trying 77174: vc 
19.29/19.33	o 77123
19.59/19.62	c   trying 76845: vc 
19.59/19.62	o 76423
19.79/19.89	c   trying 76146: vc 
19.79/19.89	o 75951
20.08/20.17	c   trying 75675: vc 
20.08/20.17	o 75638
20.38/20.41	c   trying 75362: vc 
20.38/20.41	o 75117
20.68/20.74	c   trying 74842: vc 
20.68/20.74	o 74623
20.89/20.95	c   trying 74349: vc 
20.89/20.95	o 74287
21.18/21.20	c   trying 74014: vc 
21.18/21.20	o 73755
21.58/21.62	c   trying 73483: vc 
21.58/21.62	o 73471
21.78/21.84	c   trying 73199: vc 
21.78/21.84	o 72685
22.08/22.16	c   trying 72415: vc 
22.08/22.16	o 72145
22.38/22.45	c   trying 71876: vc 
22.38/22.45	o 71864
22.68/22.71	c   trying 71595: vc 
22.68/22.71	o 71508
22.78/22.87	c   trying 71240: vc 
22.78/22.87	o 70797
22.99/23.09	c   trying 70530: vc 
22.99/23.09	o 70204
23.18/23.29	c   trying 69939: vc 
23.18/23.29	o 69714
23.58/23.68	c   trying 69449: vc 
23.58/23.68	o 69351
23.98/24.04	c   trying 69087: vc 
23.98/24.04	o 69079
24.48/24.54	c   trying 68816: vc 
24.48/24.54	o 68354
24.78/24.85	c   trying 68092: vc 
24.78/24.85	o 67953
25.29/25.30	c   trying 67692: vc 
25.29/25.30	o 67687
25.58/25.60	c   trying 67426: vc 
25.58/25.60	o 67422
25.78/25.82	c   trying 67162: vc 
25.78/25.82	o 67041
26.18/26.26	c   trying 66782: vc 
26.18/26.26	o 66342
26.48/26.59	c   trying 66084: vc 
26.48/26.59	o 66045
26.78/26.85	c   trying 65788: vc 
26.78/26.85	o 65590
27.08/27.15	c   trying 65333: vc 
27.08/27.15	o 64960
27.39/27.49	c   trying 64705: vc 
27.39/27.49	o 64698
27.78/27.83	c   trying 64443: vc 
27.78/27.83	o 64416
27.98/28.04	c   trying 64162: vc 
27.98/28.04	o 63713
28.18/28.24	c   trying 63460: vc 
28.18/28.24	o 63051
28.38/28.50	c   trying 62799: vc 
28.38/28.50	o 62498
28.68/28.76	c   trying 62248: vc 
28.68/28.76	o 61950
28.98/29.00	c   trying 61701: vc 
28.98/29.00	o 61701
29.28/29.34	c   trying 61452: vc 
29.28/29.34	o 61046
29.69/29.78	c   trying 60798: vc 
29.69/29.78	o 60164
30.08/30.12	c   trying 59918: vc 
30.08/30.12	o 59401
30.28/30.39	c   trying 59157: vc 
30.28/30.39	o 59034
30.58/30.66	c   trying 58791: vc 
30.58/30.66	o 58476
30.88/30.98	c   trying 58234: vc 
30.88/30.98	o 57921
31.38/31.44	c   trying 57680: vc 
31.38/31.44	o 57625
31.98/32.01	c   trying 57384: vc 
31.98/32.01	o 57359
32.48/32.55	c   trying 57119: vc 
32.48/32.55	o 56495
32.88/32.91	c   trying 56257: vc 
32.88/32.91	o 56257
33.38/33.42	c   trying 56019: vc 
33.38/33.42	o 56004
33.78/33.80	c   trying 55767: vc 
33.78/33.80	o 55406
34.28/34.34	c   trying 55170: vc 
34.28/34.34	o 54589
34.58/34.65	c   trying 54355: vc 
34.58/34.65	o 54276
35.08/35.11	c   trying 54043: vc 
35.08/35.11	o 54028
35.38/35.49	c   trying 53795: vc 
35.38/35.49	o 53615
36.18/36.29	c   trying 53383: vc 
36.18/36.29	o 53383
36.78/36.86	c   trying 53151: vc 
36.78/36.86	o 52855
37.08/37.14	c   trying 52625: vc 
37.08/37.14	o 52415
37.58/37.62	c   trying 52186: vc 
37.58/37.62	o 51633
37.78/37.88	c   trying 51405: vc 
37.78/37.88	o 51228
38.08/38.12	c   trying 51001: vc 
38.08/38.12	o 50846
38.38/38.48	c   trying 50620: vc 
38.38/38.48	o 50605
38.78/38.85	c   trying 50380: vc 
38.78/38.85	o 50356
39.08/39.15	c   trying 50131: vc 
39.08/39.15	o 50127
39.48/39.51	c   trying 49903: vc 
39.48/39.51	o 49877
39.98/40.00	c   trying 49653: vc 
39.98/40.00	o 49417
41.27/41.38	c   trying 49194: vc 
41.27/41.38	o 48755
41.78/41.82	c   trying 48534: vc 
41.78/41.82	o 48018
42.17/42.25	c   trying 47798: vc 
42.17/42.25	o 47437
42.67/42.71	c   trying 47219: vc 
42.67/42.71	o 46810
43.17/43.21	c   trying 46593: vc 
43.17/43.21	o 46544
43.58/43.66	c   trying 46328: vc 
43.58/43.66	o 45933
44.17/44.25	c   trying 45718: vc 
44.17/44.25	o 45430
44.47/44.57	c   trying 45216: vc 
44.47/44.57	o 45152
44.98/45.04	c   trying 44939: vc 
44.98/45.04	o 44758
45.77/45.82	c   trying 44546: vc 
45.77/45.82	o 44534
46.67/46.77	c   trying 44322: vc 
46.67/46.77	o 44244
46.97/47.07	c   trying 44033: vc 
46.97/47.07	o 43931
47.37/47.50	c   trying 43721: vc 
47.37/47.50	o 43581
48.28/48.31	c   trying 43372: vc 
48.28/48.31	o 43073
48.87/48.94	c   trying 42865: vc 
48.87/48.94	o 42661
49.67/49.79	c   trying 42454: vc 
49.67/49.79	o 42289
50.58/50.66	c   trying 42083: vc 
50.58/50.66	o 42080
50.97/51.08	c   trying 41874: vc 
50.97/51.08	o 41807
52.77/52.87	c   trying 41602: vc 
52.77/52.87	o 41537
53.47/53.50	c   trying 41333: vc 
53.47/53.50	o 41316
54.57/54.69	c   trying 41112: vc 
54.57/54.69	o 40803
55.77/55.80	c   trying 40601: vc 
55.77/55.80	o 40287
57.97/58.02	c   trying 40086: vc 
57.97/58.02	o 40026
58.97/59.07	c   trying 39825: vc 
58.97/59.07	o 39802
61.37/61.48	c   trying 39602: vc 
61.37/61.48	o 39588
62.77/62.90	c   trying 39389: vc 
62.77/62.90	o 39001
63.57/63.69	c   trying 38803: vc 
63.57/63.69	o 38632
64.47/64.59	c   trying 38435: vc 
64.47/64.59	o 38222
65.97/66.02	c   trying 38026: vc 
65.97/66.02	o 37629
66.76/66.83	c   trying 37435: vc 
66.76/66.83	o 37197
67.76/67.85	c   trying 37004: vc 
67.76/67.85	o 36889
68.86/68.93	c   trying 36696: vc 
68.86/68.93	o 36672
70.16/70.26	c   trying 36480: vc 
70.16/70.26	o 36459
72.66/72.71	c   trying 36268: vc 
72.66/72.71	o 36258
73.76/73.81	c   trying 36067: vc 
73.76/73.81	o 36003
75.16/75.21	c   trying 35813: vc 
75.16/75.21	o 35452
76.16/76.21	c   trying 35263: vc 
76.16/76.21	o 34914
78.07/78.11	c   trying 34727: vc 
78.07/78.11	o 34506
78.96/79.03	c   trying 34320: vc 
78.96/79.03	o 34277
84.96/85.04	c   trying 34091: vc 
84.96/85.04	o 34064
99.25/99.31	c   trying 33879: xvc 
99.25/99.31	o 33836
102.55/102.68	c   trying 33652: vc 
102.55/102.68	o 33498
104.75/104.86	c   trying 33314: vc 
104.75/104.86	o 33312
106.05/106.11	c   trying 33129: vc 
106.05/106.11	o 33096
109.85/109.90	c   trying 32914: vc 
109.85/109.90	o 32877
111.15/111.24	c   trying 32695: vc 
111.15/111.24	o 32519
113.55/113.66	c   trying 32338: vc 
113.55/113.66	o 32322
117.75/117.83	c   trying 32142: vc 
117.75/117.83	o 32096
123.64/123.76	c   trying 31916: vc 
123.64/123.76	o 31885
126.14/126.30	c   trying 31706: vc 
126.14/126.30	o 31690
129.74/129.82	c   trying 31511: vc 
129.74/129.82	o 31356
135.44/135.58	c   trying 31178: vc 
135.44/135.58	o 31128
138.24/138.36	c   trying 30951: vc 
138.24/138.36	o 30820
140.33/140.43	c   trying 30644: vc 
140.33/140.43	o 30596
142.94/143.05	c   trying 30421: vc 
142.94/143.05	o 30410
146.73/146.83	c   trying 30235: vc 
146.73/146.83	o 30102
151.13/151.27	c   trying 29928: vc 
151.13/151.27	o 29904
154.13/154.25	c   trying 29731: vc 
154.13/154.25	o 29589
172.32/172.43	c   trying 29416: xvc 
172.32/172.43	o 29251
182.22/182.32	c   trying 29079: vc 
182.22/182.32	o 29014
186.52/186.63	c   trying 28843: vc 
186.52/186.63	o 28645
214.31/214.40	c   trying 28475: xxvc 
214.31/214.40	o 28379
219.30/219.48	c   trying 28210: vc 
219.30/219.48	o 28062
306.08/306.22	c   trying 27894: xxxxxxxvc 
306.08/306.22	o 27674
415.35/415.60	c   trying 27507: xxxxxxxxxxc 
415.35/415.60	c Phase 2 ...
430.73/431.05	c   trying 27673: vc 
430.73/431.05	o 27642
451.21/451.59	c   trying 27641: vc 
451.21/451.59	o 27454
597.46/597.87	c   trying 27453: xvc 
597.46/597.87	o 27438
631.05/631.44	c   trying 27437: vc 
631.05/631.44	o 27429
672.33/672.80	c   trying 27428: vc 
672.33/672.80	o 27385
686.22/686.68	c   trying 27384: vc 
686.22/686.68	o 27199
895.44/895.93	c   trying 27198: xvc 
895.44/895.93	o 27173
1356.36/1357.04	c   trying 27172: xxxxvc 
1356.36/1357.04	o 27137
1421.24/1421.92	c   trying 27136: vc 
1421.24/1421.92	o 27120
1522.89/1523.69	c   trying 27119: vc 
1522.89/1523.69	o 27100
1800.09/1800.90	c   trying 27099: xxxc 
1800.09/1800.90	c Phase 3 ...
1800.09/1800.90	c   trying 27099 again: c 
1800.09/1800.90	s SATISFIABLE
1800.09/1800.90	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28
1800.09/1800.90	v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54
1800.09/1800.90	v -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 x73 x74 -x75 -x76 -x77 -x78 x79 -x80
1800.09/1800.90	v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104
1800.09/1800.90	v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125
1800.09/1800.90	v -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146
1800.09/1800.90	v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167
1800.09/1800.90	v -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 x183 -x184 -x185 -x186 -x187 -x188
1800.09/1800.90	v -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209
1800.09/1800.90	v -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230
1800.09/1800.90	v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251
1800.09/1800.90	v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272
1800.09/1800.90	v -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 x283 x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293
1800.09/1800.90	v -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314
1800.09/1800.90	v -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335
1800.09/1800.90	v -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356
1800.09/1800.90	v -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377
1800.09/1800.90	v -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398
1800.09/1800.90	v -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419
1800.09/1800.90	v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 x439 -x440
1800.09/1800.90	v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461
1800.09/1800.90	v -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482
1800.09/1800.90	v -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503
1800.09/1800.90	v -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524
1800.09/1800.90	v -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545
1800.09/1800.90	v x546 x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566
1800.09/1800.90	v -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587
1800.09/1800.90	v -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608
1800.09/1800.90	v -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629
1800.09/1800.90	v -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650
1800.09/1800.90	v -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671
1800.09/1800.90	v -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692
1800.09/1800.90	v -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 x709 -x710 -x711 -x712 -x713
1800.09/1800.90	v -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734
1800.09/1800.90	v -x735 -x736 -x737 -x738 x739 x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755
1800.09/1800.90	v -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776
1800.09/1800.90	v -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 x794 x795 -x796 -x797
1800.09/1800.90	v -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818
1800.09/1800.90	v -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 x827 x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839
1800.09/1800.90	v -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860
1800.09/1800.90	v -x861 -x862 -x863 -x864 -x865 x866 x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881
1800.09/1800.90	v -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902
1800.09/1800.90	v -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923
1800.09/1800.90	v -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 x932 -x933 -x934 -x935 x936 x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944
1800.09/1800.90	v -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 x958 x959 -x960 -x961 -x962 -x963 -x964 -x965
1800.09/1800.90	v -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 x981 -x982 -x983 -x984 -x985 -x986
1800.09/1800.90	v -x987 -x988 -x989 -x990 -x991 -x992 -x993 x994 x995 -x996 -x997 -x998 x999 x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006
1800.09/1800.90	v -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023
1800.09/1800.90	v -x1024 x1025 x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 x1034 x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041
1800.09/1800.90	v -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058
1800.09/1800.90	v -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075
1800.09/1800.90	v -x1076 -x1077 -x1078 -x1079 -x1080 x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 x1088 -x1089 x1090 x1091 -x1092 -x1093
1800.09/1800.90	v x1094 x1095 -x1096 -x1097 -x1098 -x1099 x1100 -x1101 -x1102 -x1103 -x1104 x1105 x1106 -x1107 -x1108 -x1109 -x1110 -x1111
1800.09/1800.90	v -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 x1123 -x1124 x1125 -x1126 -x1127 -x1128 -x1129
1800.09/1800.90	v -x1130 x1131 x1132 x1133 -x1134 -x1135 -x1136 x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 x1145 -x1146 -x1147
1800.09/1800.90	v x1148 x1149 x1150 x1151 -x1152
1800.09/1800.90	c Total Number of Positive Atoms : 54
1800.09/1800.90	c 
1800.09/1800.90	c During searching:         1523.69 seconds elapsed.
1800.09/1800.90	c CPU time spent:           1523.17 seconds.
1800.09/1800.90	c 
1800.09/1800.90	c =================================== END =====================================
1800.09/1800.90	c

Verifier Data (download as text)

OK	27100

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node13/watcher-372272-1177080874 -o ROOT/results/node13/solver-372272-1177080874 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/372272-1177080874/wildcat-rnp /tmp/evaluation/372272-1177080874/instance-372272-1177080874.opb 698286144 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 2/77 21140
/proc/meminfo: memFree=1815936/2055920 swapFree=4159428/4192956
[pid=21140] ppid=21138 vsize=5972 CPUtime=0
/proc/21140/stat : 21140 (wildcat-rnp) R 21138 21140 20209 0 -1 4194304 165 0 0 0 0 0 0 0 18 0 1 0 156005266 6115328 149 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 135002146 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21140/statm: 1493 149 105 226 0 1264 0

[startup+0.0482899 s]
/proc/loadavg: 0.92 0.98 0.99 2/77 21140
/proc/meminfo: memFree=1815936/2055920 swapFree=4159428/4192956
[pid=21140] ppid=21138 vsize=6496 CPUtime=0.04
/proc/21140/stat : 21140 (wildcat-rnp) R 21138 21140 20209 0 -1 4194304 305 0 0 0 4 0 0 0 18 0 1 0 156005266 6651904 288 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 135049853 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21140/statm: 1624 288 117 226 0 1395 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 6496

[startup+0.101292 s]
/proc/loadavg: 0.92 0.98 0.99 2/77 21140
/proc/meminfo: memFree=1815936/2055920 swapFree=4159428/4192956
[pid=21140] ppid=21138 vsize=6496 CPUtime=0.09
/proc/21140/stat : 21140 (wildcat-rnp) R 21138 21140 20209 0 -1 4194304 305 0 0 0 9 0 0 0 18 0 1 0 156005266 6651904 288 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134566243 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21140/statm: 1624 288 117 226 0 1395 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6496

[startup+0.301334 s]
/proc/loadavg: 0.92 0.98 0.99 2/77 21140
/proc/meminfo: memFree=1815936/2055920 swapFree=4159428/4192956
[pid=21140] ppid=21138 vsize=6496 CPUtime=0.29
/proc/21140/stat : 21140 (wildcat-rnp) R 21138 21140 20209 0 -1 4194304 305 0 0 0 29 0 0 0 19 0 1 0 156005266 6651904 288 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134549758 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21140/statm: 1624 288 117 226 0 1395 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6496

[startup+0.70142 s]
/proc/loadavg: 0.92 0.98 0.99 2/77 21140
/proc/meminfo: memFree=1815936/2055920 swapFree=4159428/4192956
[pid=21140] ppid=21138 vsize=6496 CPUtime=0.69
/proc/21140/stat : 21140 (wildcat-rnp) R 21138 21140 20209 0 -1 4194304 305 0 0 0 69 0 0 0 23 0 1 0 156005266 6651904 288 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134607281 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21140/statm: 1624 288 117 226 0 1395 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6496

[startup+1.50159 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 21141
/proc/meminfo: memFree=1815224/2055920 swapFree=4159428/4192956
[pid=21140] ppid=21138 vsize=6496 CPUtime=1.49
/proc/21140/stat : 21140 (wildcat-rnp) R 21138 21140 20209 0 -1 4194304 305 0 0 0 149 0 0 0 25 0 1 0 156005266 6651904 288 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134877560 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21140/statm: 1624 288 117 226 0 1395 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6496

[startup+3.10293 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 21141
/proc/meminfo: memFree=1815096/2055920 swapFree=4159428/4192956
[pid=21140] ppid=21138 vsize=6496 CPUtime=3.1
/proc/21140/stat : 21140 (wildcat-rnp) R 21138 21140 20209 0 -1 4194304 305 0 0 0 310 0 0 0 25 0 1 0 156005266 6651904 288 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134611610 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21140/statm: 1624 288 117 226 0 1395 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 6496

[startup+6.30162 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 21141
/proc/meminfo: memFree=1815040/2055920 swapFree=4159428/4192956
[pid=21140] ppid=21138 vsize=6496 CPUtime=6.29
/proc/21140/stat : 21140 (wildcat-rnp) R 21138 21140 20209 0 -1 4194304 305 0 0 0 629 0 0 0 25 0 1 0 156005266 6651904 288 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134611492 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21140/statm: 1624 288 117 226 0 1395 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 6496

[startup+12.702 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 21141
/proc/meminfo: memFree=1814976/2055920 swapFree=4159428/4192956
[pid=21140] ppid=21138 vsize=6496 CPUtime=12.69
/proc/21140/stat : 21140 (wildcat-rnp) R 21138 21140 20209 0 -1 4194304 305 0 0 0 1269 0 0 0 25 0 1 0 156005266 6651904 288 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134611610 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21140/statm: 1624 288 117 226 0 1395 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 6496

[startup+25.5017 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 21141
/proc/meminfo: memFree=1814976/2055920 swapFree=4159428/4192956
[pid=21140] ppid=21138 vsize=6496 CPUtime=25.48
/proc/21140/stat : 21140 (wildcat-rnp) R 21138 21140 20209 0 -1 4194304 305 0 0 0 2548 0 0 0 25 0 1 0 156005266 6651904 288 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134611617 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21140/statm: 1624 288 117 226 0 1395 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 6496

[startup+51.1012 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 21141
/proc/meminfo: memFree=1814976/2055920 swapFree=4159428/4192956
[pid=21140] ppid=21138 vsize=6496 CPUtime=51.07
/proc/21140/stat : 21140 (wildcat-rnp) R 21138 21140 20209 0 -1 4194304 305 0 0 0 5107 0 0 0 25 0 1 0 156005266 6651904 288 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134566243 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21140/statm: 1624 288 117 226 0 1395 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 6496

[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 21141
/proc/meminfo: memFree=1815040/2055920 swapFree=4159428/4192956
[pid=21140] ppid=21138 vsize=6496 CPUtime=102.25
/proc/21140/stat : 21140 (wildcat-rnp) R 21138 21140 20209 0 -1 4194304 305 0 0 0 10225 0 0 0 25 0 1 0 156005266 6651904 288 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134877546 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21140/statm: 1624 288 117 226 0 1395 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 6496

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 21141
/proc/meminfo: memFree=1814976/2055920 swapFree=4159428/4192956
[pid=21140] ppid=21138 vsize=6496 CPUtime=162.23
/proc/21140/stat : 21140 (wildcat-rnp) R 21138 21140 20209 0 -1 4194304 305 0 0 0 16223 0 0 0 25 0 1 0 156005266 6651904 288 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134877560 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21140/statm: 1624 288 117 226 0 1395 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 6496

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 21141
/proc/meminfo: memFree=1814912/2055920 swapFree=4159428/4192956
[pid=21140] ppid=21138 vsize=6496 CPUtime=222.2
/proc/21140/stat : 21140 (wildcat-rnp) R 21138 21140 20209 0 -1 4194304 305 0 0 0 22220 0 0 0 25 0 1 0 156005266 6651904 288 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134611622 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21140/statm: 1624 288 117 226 0 1395 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 6496

[startup+282.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 21141
/proc/meminfo: memFree=1814848/2055920 swapFree=4159428/4192956
[pid=21140] ppid=21138 vsize=6496 CPUtime=282.18
/proc/21140/stat : 21140 (wildcat-rnp) R 21138 21140 20209 0 -1 4194304 305 0 0 0 28218 0 0 0 25 0 1 0 156005266 6651904 288 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134607285 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21140/statm: 1624 288 117 226 0 1395 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 6496

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 21141
/proc/meminfo: memFree=1814784/2055920 swapFree=4159428/4192956
[pid=21140] ppid=21138 vsize=6496 CPUtime=342.16
/proc/21140/stat : 21140 (wildcat-rnp) R 21138 21140 20209 0 -1 4194304 305 0 0 0 34215 1 0 0 25 0 1 0 156005266 6651904 288 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134877560 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21140/statm: 1624 288 117 226 0 1395 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 6496

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/84 21223
/proc/meminfo: memFree=1813512/2055920 swapFree=4159428/4192956
[pid=21140] ppid=21138 vsize=6496 CPUtime=402.09
/proc/21140/stat : 21140 (wildcat-rnp) R 21138 21140 20209 0 -1 4194304 305 0 0 0 40208 1 0 0 25 0 1 0 156005266 6651904 288 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134598651 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21140/statm: 1624 288 117 226 0 1395 0
Current children cumulated CPU time (s) 402.09
Current children cumulated vsize (KiB) 6496

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 21339
/proc/meminfo: memFree=1814592/2055920 swapFree=4159428/4192956
[pid=21140] ppid=21138 vsize=6496 CPUtime=462.01
/proc/21140/stat : 21140 (wildcat-rnp) R 21138 21140 20209 0 -1 4194304 305 0 0 0 46199 2 0 0 25 0 1 0 156005266 6651904 288 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134607399 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21140/statm: 1624 288 117 226 0 1395 0
Current children cumulated CPU time (s) 462.01
Current children cumulated vsize (KiB) 6496

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 21339
/proc/meminfo: memFree=1814720/2055920 swapFree=4159428/4192956
[pid=21140] ppid=21138 vsize=6496 CPUtime=521.99
/proc/21140/stat : 21140 (wildcat-rnp) R 21138 21140 20209 0 -1 4194304 305 0 0 0 52197 2 0 0 25 0 1 0 156005266 6651904 288 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134877560 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21140/statm: 1624 288 117 226 0 1395 0
Current children cumulated CPU time (s) 521.99
Current children cumulated vsize (KiB) 6496

[startup+582.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 21339
/proc/meminfo: memFree=1814784/2055920 swapFree=4159428/4192956
[pid=21140] ppid=21138 vsize=6496 CPUtime=581.96
/proc/21140/stat : 21140 (wildcat-rnp) R 21138 21140 20209 0 -1 4194304 305 0 0 0 58194 2 0 0 25 0 1 0 156005266 6651904 288 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134597168 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21140/statm: 1624 288 117 226 0 1395 0
Current children cumulated CPU time (s) 581.96
Current children cumulated vsize (KiB) 6496

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 21339
/proc/meminfo: memFree=1814784/2055920 swapFree=4159428/4192956
[pid=21140] ppid=21138 vsize=6496 CPUtime=641.94
/proc/21140/stat : 21140 (wildcat-rnp) R 21138 21140 20209 0 -1 4194304 305 0 0 0 64192 2 0 0 25 0 1 0 156005266 6651904 288 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134869248 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21140/statm: 1624 288 117 226 0 1395 0
Current children cumulated CPU time (s) 641.94
Current children cumulated vsize (KiB) 6496


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

[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 21339
/proc/meminfo: memFree=1814912/2055920 swapFree=4159428/4192956
[pid=21140] ppid=21138 vsize=6496 CPUtime=881.85
/proc/21140/stat : 21140 (wildcat-rnp) R 21138 21140 20209 0 -1 4194304 305 0 0 0 88182 3 0 0 25 0 1 0 156005266 6651904 288 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134877560 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21140/statm: 1624 288 117 226 0 1395 0
Current children cumulated CPU time (s) 881.85
Current children cumulated vsize (KiB) 6496

[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 21339
/proc/meminfo: memFree=1814912/2055920 swapFree=4159428/4192956
[pid=21140] ppid=21138 vsize=6496 CPUtime=941.82
/proc/21140/stat : 21140 (wildcat-rnp) R 21138 21140 20209 0 -1 4194304 305 0 0 0 94179 3 0 0 25 0 1 0 156005266 6651904 288 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134877560 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21140/statm: 1624 288 117 226 0 1395 0
Current children cumulated CPU time (s) 941.82
Current children cumulated vsize (KiB) 6496

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 21339
/proc/meminfo: memFree=1814912/2055920 swapFree=4159428/4192956
[pid=21140] ppid=21138 vsize=6496 CPUtime=1001.8
/proc/21140/stat : 21140 (wildcat-rnp) R 21138 21140 20209 0 -1 4194304 305 0 0 0 100177 3 0 0 25 0 1 0 156005266 6651904 288 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134605289 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21140/statm: 1624 288 117 226 0 1395 0
Current children cumulated CPU time (s) 1001.8
Current children cumulated vsize (KiB) 6496

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 21339
/proc/meminfo: memFree=1814912/2055920 swapFree=4159428/4192956
[pid=21140] ppid=21138 vsize=6496 CPUtime=1061.78
/proc/21140/stat : 21140 (wildcat-rnp) R 21138 21140 20209 0 -1 4194304 305 0 0 0 106175 3 0 0 25 0 1 0 156005266 6651904 288 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134611617 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21140/statm: 1624 288 117 226 0 1395 0
Current children cumulated CPU time (s) 1061.78
Current children cumulated vsize (KiB) 6496

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 21339
/proc/meminfo: memFree=1814912/2055920 swapFree=4159428/4192956
[pid=21140] ppid=21138 vsize=6496 CPUtime=1121.75
/proc/21140/stat : 21140 (wildcat-rnp) R 21138 21140 20209 0 -1 4194304 305 0 0 0 112172 3 0 0 25 0 1 0 156005266 6651904 288 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134611617 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21140/statm: 1624 288 117 226 0 1395 0
Current children cumulated CPU time (s) 1121.75
Current children cumulated vsize (KiB) 6496

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 21339
/proc/meminfo: memFree=1814976/2055920 swapFree=4159428/4192956
[pid=21140] ppid=21138 vsize=6496 CPUtime=1181.73
/proc/21140/stat : 21140 (wildcat-rnp) R 21138 21140 20209 0 -1 4194304 305 0 0 0 118170 3 0 0 25 0 1 0 156005266 6651904 288 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134877560 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21140/statm: 1624 288 117 226 0 1395 0
Current children cumulated CPU time (s) 1181.73
Current children cumulated vsize (KiB) 6496

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 21339
/proc/meminfo: memFree=1814912/2055920 swapFree=4159428/4192956
[pid=21140] ppid=21138 vsize=6496 CPUtime=1241.7
/proc/21140/stat : 21140 (wildcat-rnp) R 21138 21140 20209 0 -1 4194304 305 0 0 0 124167 3 0 0 25 0 1 0 156005266 6651904 288 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134877560 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21140/statm: 1624 288 117 226 0 1395 0
Current children cumulated CPU time (s) 1241.7
Current children cumulated vsize (KiB) 6496

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 21339
/proc/meminfo: memFree=1814912/2055920 swapFree=4159428/4192956
[pid=21140] ppid=21138 vsize=6496 CPUtime=1301.68
/proc/21140/stat : 21140 (wildcat-rnp) R 21138 21140 20209 0 -1 4194304 305 0 0 0 130165 3 0 0 25 0 1 0 156005266 6651904 288 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134611589 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21140/statm: 1624 288 117 226 0 1395 0
Current children cumulated CPU time (s) 1301.68
Current children cumulated vsize (KiB) 6496

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 21339
/proc/meminfo: memFree=1814848/2055920 swapFree=4159428/4192956
[pid=21140] ppid=21138 vsize=6496 CPUtime=1361.66
/proc/21140/stat : 21140 (wildcat-rnp) R 21138 21140 20209 0 -1 4194304 305 0 0 0 136162 4 0 0 25 0 1 0 156005266 6651904 288 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134877560 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21140/statm: 1624 288 117 226 0 1395 0
Current children cumulated CPU time (s) 1361.66
Current children cumulated vsize (KiB) 6496

[startup+1422.31 s]
/proc/loadavg: 1.04 1.00 1.00 2/78 21339
/proc/meminfo: memFree=1814912/2055920 swapFree=4159428/4192956
[pid=21140] ppid=21138 vsize=6496 CPUtime=1421.64
/proc/21140/stat : 21140 (wildcat-rnp) R 21138 21140 20209 0 -1 4194304 305 0 0 0 142160 4 0 0 25 0 1 0 156005266 6651904 288 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134566243 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21140/statm: 1624 288 117 226 0 1395 0
Current children cumulated CPU time (s) 1421.64
Current children cumulated vsize (KiB) 6496

[startup+1482.3 s]
/proc/loadavg: 1.10 1.03 1.01 2/78 21339
/proc/meminfo: memFree=1814912/2055920 swapFree=4159428/4192956
[pid=21140] ppid=21138 vsize=6496 CPUtime=1481.61
/proc/21140/stat : 21140 (wildcat-rnp) R 21138 21140 20209 0 -1 4194304 305 0 0 0 148157 4 0 0 25 0 1 0 156005266 6651904 288 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134611587 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21140/statm: 1624 288 117 226 0 1395 0
Current children cumulated CPU time (s) 1481.61
Current children cumulated vsize (KiB) 6496

[startup+1542.3 s]
/proc/loadavg: 1.07 1.03 1.01 2/78 21339
/proc/meminfo: memFree=1814848/2055920 swapFree=4159428/4192956
[pid=21140] ppid=21138 vsize=6496 CPUtime=1541.59
/proc/21140/stat : 21140 (wildcat-rnp) R 21138 21140 20209 0 -1 4194304 305 0 0 0 154155 4 0 0 25 0 1 0 156005266 6651904 288 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134605289 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21140/statm: 1624 288 117 226 0 1395 0
Current children cumulated CPU time (s) 1541.59
Current children cumulated vsize (KiB) 6496

[startup+1602.3 s]
/proc/loadavg: 1.06 1.04 1.01 2/78 21339
/proc/meminfo: memFree=1814848/2055920 swapFree=4159428/4192956
[pid=21140] ppid=21138 vsize=6496 CPUtime=1601.56
/proc/21140/stat : 21140 (wildcat-rnp) R 21138 21140 20209 0 -1 4194304 305 0 0 0 160152 4 0 0 25 0 1 0 156005266 6651904 288 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134611584 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21140/statm: 1624 288 117 226 0 1395 0
Current children cumulated CPU time (s) 1601.56
Current children cumulated vsize (KiB) 6496

[startup+1662.3 s]
/proc/loadavg: 1.02 1.03 1.00 2/78 21339
/proc/meminfo: memFree=1815040/2055920 swapFree=4159428/4192956
[pid=21140] ppid=21138 vsize=6496 CPUtime=1661.54
/proc/21140/stat : 21140 (wildcat-rnp) R 21138 21140 20209 0 -1 4194304 305 0 0 0 166150 4 0 0 25 0 1 0 156005266 6651904 288 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134605283 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21140/statm: 1624 288 117 226 0 1395 0
Current children cumulated CPU time (s) 1661.54
Current children cumulated vsize (KiB) 6496

[startup+1722.3 s]
/proc/loadavg: 1.01 1.02 1.00 2/78 21339
/proc/meminfo: memFree=1814976/2055920 swapFree=4159428/4192956
[pid=21140] ppid=21138 vsize=6496 CPUtime=1721.52
/proc/21140/stat : 21140 (wildcat-rnp) R 21138 21140 20209 0 -1 4194304 305 0 0 0 172147 5 0 0 25 0 1 0 156005266 6651904 288 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134877560 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21140/statm: 1624 288 117 226 0 1395 0
Current children cumulated CPU time (s) 1721.52
Current children cumulated vsize (KiB) 6496

[startup+1782.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 21339
/proc/meminfo: memFree=1814912/2055920 swapFree=4159428/4192956
[pid=21140] ppid=21138 vsize=6496 CPUtime=1781.5
/proc/21140/stat : 21140 (wildcat-rnp) R 21138 21140 20209 0 -1 4194304 305 0 0 0 178145 5 0 0 25 0 1 0 156005266 6651904 288 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134601801 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21140/statm: 1624 288 117 226 0 1395 0
Current children cumulated CPU time (s) 1781.5
Current children cumulated vsize (KiB) 6496



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.9 s]
/proc/loadavg: 1.00 1.01 1.00 3/78 21339
/proc/meminfo: memFree=1814912/2055920 swapFree=4159428/4192956
[pid=21140] ppid=21138 vsize=6496 CPUtime=1800.09
/proc/21140/stat : 21140 (wildcat-rnp) R 21138 21140 20209 0 -1 4194304 305 0 0 0 180004 5 0 0 25 0 1 0 156005266 6651904 288 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134605283 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21140/statm: 1624 288 117 226 0 1395 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 6496

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

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

[startup+1800.9 s]
/proc/loadavg: 1.00 1.01 1.00 3/78 21339
/proc/meminfo: memFree=1814912/2055920 swapFree=4159428/4192956
[pid=21140] ppid=21138 vsize=6496 CPUtime=1800.09
/proc/21140/stat : 21140 (wildcat-rnp) R 21138 21140 20209 0 -1 4194304 305 0 0 0 180004 5 0 0 25 0 1 0 156005266 6651904 288 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134605283 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21140/statm: 1624 288 117 226 0 1395 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 6496

Child status: 0
Real time (s): 1800.91
CPU time (s): 1800.11
CPU user time (s): 1800.05
CPU system time (s): 0.055991
CPU usage (%): 99.9553
Max. virtual memory (cumulated for all children) (KiB): 6496

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.05
system time used= 0.055991
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 305
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= 9
involuntary context switches= 3715

runsolver used 2.08968 second user time and 4.18936 second system time

The end

Launcher Data (download as text)

Begin job on node13 on Fri Apr 20 14:54:34 UTC 2007

IDJOB= 372272
IDBENCH= 24960
IDSOLVER= 161
FILE ID= node13/372272-1177080874

PBS_JOBID= 4640270

Free space on /tmp= 66319 MiB

SOLVER NAME= wildcat-rnp 2007-03-21
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/reduced/submittedPB07/aksoy/trarea_ac/normalized-reduced-fir05_trarea_ac.opb
COMMAND LINE= /tmp/evaluation/372272-1177080874/wildcat-rnp /tmp/evaluation/372272-1177080874/instance-372272-1177080874.opb 698286144
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node13/watcher-372272-1177080874 -o ROOT/results/node13/solver-372272-1177080874 -C 1800 -W 3600 -M 1800 --output-limit 1,15  /tmp/evaluation/372272-1177080874/wildcat-rnp /tmp/evaluation/372272-1177080874/instance-372272-1177080874.opb 698286144

META MD5SUM SOLVER= 05d21ee76b90579709a9929b8e99937a
MD5SUM BENCH=  da210e6015c5a34ffbeabe5ecb901720

RANDOM SEED= 698286144

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node13.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.259
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.259
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1816408 kB
Buffers:         33512 kB
Cached:         140092 kB
SwapCached:      12716 kB
Active:          91104 kB
Inactive:       106636 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1816408 kB
SwapTotal:     4192956 kB
SwapFree:      4159428 kB
Dirty:            2376 kB
Writeback:           0 kB
Mapped:          31176 kB
Slab:            27224 kB
Committed_AS:  6766636 kB
PageTables:       1872 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66319 MiB

End job on node13 on Fri Apr 20 15:24:37 UTC 2007