Trace number 3707245

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 NameAnswerobjective functionCPU timeWall clock time
toysat 2012-05-17? (TO) 1800.09 1800.51

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_100_10_3.opb
MD5SUM4ec3492215da9d1ca4e43111c42870de
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-28
Best CPU time to get the best result obtained on this benchmark1797.3
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -29
Optimality of the best value was proved NO
Number of variables200
Total number of constraints301
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints201
Minimum length of a constraint2
Maximum length of a constraint200
Number of terms in the objective function 100
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 100
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)2488
Sum of products size (including duplicates)4976
Number of different products1244
Sum of products size2488

Solver Data 

0.00/0.03	c 2012-05-27T18:08:45+0200
0.00/0.03	c arch = x86_64
0.00/0.03	c os = linux
0.00/0.03	c compiler = ghc 7.4
0.00/0.03	c packages:
0.00/0.03	c   OptDir-0.0.1
0.00/0.03	c   array-0.4.0.0
0.00/0.03	c   base-4.5.0.0
0.00/0.03	c   bytestring-0.9.2.1
0.00/0.03	c   containers-0.4.2.1
0.00/0.03	c   deepseq-1.3.0.0
0.00/0.03	c   mtl-2.1.1
0.00/0.03	c   old_locale-1.0.0.4
0.00/0.03	c   parse_dimacs-1.2
0.00/0.03	c   parsec-3.1.2
0.00/0.03	c   queue-0.1.2
0.00/0.03	c   stm-2.3
0.00/0.03	c   time-1.4
0.00/0.03	c command line = ["--pb","HOME/instance-3707245-1338134925.opb"]
0.00/0.03	c #vars 200
0.00/0.03	c #constraints 301
0.00/0.03	c Solving starts ...
0.09/0.16	c solving time = 0.129s
0.09/0.16	c #decision = 3065
0.09/0.16	c #conflict = 217
0.09/0.16	c #restart = 1
0.09/0.16	o -17
0.09/0.16	c Solving starts ...
0.39/0.47	c solving time = 0.308s
0.39/0.47	c #decision = 3386
0.39/0.47	c #conflict = 299
0.39/0.47	c #restart = 1
0.39/0.47	o -18
0.39/0.47	c Solving starts ...
5.50/5.59	c learnt constraints deletion: 4749 -> 2419
9.79/9.84	c learnt constraints deletion: 5170 -> 2623
12.69/12.77	c learnt constraints deletion: 5578 -> 2826
16.88/16.98	c learnt constraints deletion: 5979 -> 3022
20.59/20.61	c learnt constraints deletion: 6010 -> 3038
24.09/24.12	c learnt constraints deletion: 6469 -> 3267
27.49/27.53	c learnt constraints deletion: 6578 -> 3323
30.69/30.79	c learnt constraints deletion: 6090 -> 3045
35.38/35.49	c learnt constraints deletion: 6994 -> 3497
38.58/38.66	c learnt constraints deletion: 7093 -> 3574
41.88/41.91	c learnt constraints deletion: 7026 -> 3544
44.78/44.86	c learnt constraints deletion: 7636 -> 3840
48.08/48.18	c learnt constraints deletion: 7645 -> 3848
50.88/50.92	c learnt constraints deletion: 7648 -> 3851
53.58/53.66	c learnt constraints deletion: 7628 -> 3844
55.78/55.87	c learnt constraints deletion: 7585 -> 3817
58.68/58.78	c learnt constraints deletion: 8335 -> 4189
61.68/61.73	c learnt constraints deletion: 8262 -> 4156
64.27/64.36	c learnt constraints deletion: 8199 -> 4123
67.17/67.25	c learnt constraints deletion: 8240 -> 4141
69.77/69.86	c learnt constraints deletion: 8307 -> 4186
71.98/72.03	c learnt constraints deletion: 8142 -> 4089
74.69/74.72	c learnt constraints deletion: 8297 -> 4170
77.68/77.77	c learnt constraints deletion: 9003 -> 4522
80.38/80.45	c learnt constraints deletion: 8945 -> 4503
82.98/83.08	c learnt constraints deletion: 9022 -> 4534
85.87/85.95	c learnt constraints deletion: 9012 -> 4526
88.77/88.87	c learnt constraints deletion: 8944 -> 4494
91.28/91.38	c learnt constraints deletion: 8894 -> 4468
94.17/94.20	c learnt constraints deletion: 8797 -> 4420
96.87/96.91	c learnt constraints deletion: 8856 -> 4451
99.57/99.62	c learnt constraints deletion: 8956 -> 4504
102.07/102.17	c learnt constraints deletion: 8981 -> 4513
105.17/105.21	c learnt constraints deletion: 9690 -> 4865
108.78/108.83	c learnt constraints deletion: 9712 -> 4878
111.97/112.04	c learnt constraints deletion: 9797 -> 4935
114.76/114.82	c learnt constraints deletion: 9699 -> 4872
117.96/118.02	c learnt constraints deletion: 9769 -> 4909
120.87/120.99	c learnt constraints deletion: 9694 -> 4870
124.17/124.21	c learnt constraints deletion: 9744 -> 4899
126.96/127.00	c learnt constraints deletion: 9730 -> 4890
129.76/129.88	c learnt constraints deletion: 9683 -> 4871
132.35/132.45	c learnt constraints deletion: 9684 -> 4869
135.16/135.30	c learnt constraints deletion: 9741 -> 4900
137.96/138.09	c learnt constraints deletion: 9716 -> 4894
140.56/140.68	c learnt constraints deletion: 9786 -> 4930
144.06/144.13	c learnt constraints deletion: 10485 -> 5259
147.15/147.25	c learnt constraints deletion: 10209 -> 5116
150.65/150.77	c learnt constraints deletion: 10554 -> 5291
153.85/153.99	c learnt constraints deletion: 10561 -> 5306
156.95/157.02	c learnt constraints deletion: 10493 -> 5257
160.05/160.14	c learnt constraints deletion: 10612 -> 5325
163.55/163.61	c learnt constraints deletion: 10479 -> 5252
166.45/166.56	c learnt constraints deletion: 10468 -> 5247
169.35/169.45	c learnt constraints deletion: 10447 -> 5237
171.95/172.07	c learnt constraints deletion: 10606 -> 5319
175.05/175.13	c learnt constraints deletion: 10618 -> 5324
178.65/178.75	c learnt constraints deletion: 10533 -> 5287
181.55/181.64	c learnt constraints deletion: 10531 -> 5288
184.55/184.61	c learnt constraints deletion: 10598 -> 5320
188.15/188.23	c learnt constraints deletion: 10564 -> 5305
191.54/191.60	c learnt constraints deletion: 10606 -> 5332
194.55/194.62	c learnt constraints deletion: 10597 -> 5332
197.64/197.76	c learnt constraints deletion: 10645 -> 5364
201.25/201.31	c learnt constraints deletion: 10488 -> 5256
205.44/205.60	c learnt constraints deletion: 11530 -> 5779
209.04/209.12	c learnt constraints deletion: 11375 -> 5701
212.54/212.66	c learnt constraints deletion: 11445 -> 5737
216.14/216.25	c learnt constraints deletion: 11518 -> 5774
219.94/220.07	c learnt constraints deletion: 11436 -> 5735
223.53/223.60	c learnt constraints deletion: 11451 -> 5743
227.04/227.17	c learnt constraints deletion: 11464 -> 5749
230.53/230.64	c learnt constraints deletion: 11442 -> 5742
233.93/234.01	c learnt constraints deletion: 11506 -> 5782
237.73/237.85	c learnt constraints deletion: 11542 -> 5805
241.63/241.76	c learnt constraints deletion: 11500 -> 5763
245.43/245.50	c learnt constraints deletion: 11515 -> 5773
248.83/248.93	c learnt constraints deletion: 11498 -> 5767
251.93/252.04	c learnt constraints deletion: 11475 -> 5758
255.14/255.27	c learnt constraints deletion: 11463 -> 5752
258.73/258.84	c learnt constraints deletion: 11532 -> 5787
262.13/262.24	c learnt constraints deletion: 11544 -> 5799
265.73/265.85	c learnt constraints deletion: 11576 -> 5816
269.52/269.63	c learnt constraints deletion: 11561 -> 5811
272.93/273.09	c learnt constraints deletion: 11549 -> 5813
276.83/276.93	c learnt constraints deletion: 11552 -> 5790
280.72/280.83	c learnt constraints deletion: 11524 -> 5777
284.73/284.80	c learnt constraints deletion: 11476 -> 5755
288.22/288.31	c learnt constraints deletion: 11544 -> 5790
292.32/292.45	c learnt constraints deletion: 11538 -> 5788
296.63/296.74	c learnt constraints deletion: 12558 -> 6307
300.72/300.81	c learnt constraints deletion: 12572 -> 6318
305.32/305.45	c learnt constraints deletion: 12614 -> 6345
310.51/310.63	c learnt constraints deletion: 12446 -> 6230
315.42/315.56	c learnt constraints deletion: 12488 -> 6257
319.42/319.52	c learnt constraints deletion: 12489 -> 6253
323.22/323.37	c learnt constraints deletion: 12466 -> 6242
327.32/327.42	c learnt constraints deletion: 12420 -> 6219
331.91/332.03	c learnt constraints deletion: 12524 -> 6272
335.51/335.60	c learnt constraints deletion: 12540 -> 6281
339.21/339.35	c learnt constraints deletion: 12498 -> 6262
343.40/343.57	c learnt constraints deletion: 12476 -> 6255
348.11/348.23	c learnt constraints deletion: 12503 -> 6273
351.91/352.10	c learnt constraints deletion: 12521 -> 6280
356.31/356.41	c learnt constraints deletion: 12578 -> 6308
360.19/360.31	c learnt constraints deletion: 12583 -> 6312
364.30/364.49	c learnt constraints deletion: 12538 -> 6292
368.59/368.72	c learnt constraints deletion: 12571 -> 6311
372.79/372.97	c learnt constraints deletion: 12616 -> 6345
377.49/377.62	c learnt constraints deletion: 12451 -> 6234
381.99/382.12	c learnt constraints deletion: 12561 -> 6303
386.59/386.79	c learnt constraints deletion: 12501 -> 6261
391.19/391.38	c learnt constraints deletion: 12552 -> 6288
395.59/395.71	c learnt constraints deletion: 12514 -> 6271
400.08/400.29	c learnt constraints deletion: 12522 -> 6273
404.70/404.86	c learnt constraints deletion: 12595 -> 6310
409.38/409.50	c learnt constraints deletion: 12446 -> 6236
413.39/413.53	c learnt constraints deletion: 12562 -> 6295
417.58/417.71	c learnt constraints deletion: 12472 -> 6253
422.29/422.42	c learnt constraints deletion: 12549 -> 6300
427.08/427.22	c learnt constraints deletion: 12587 -> 6320
432.09/432.23	c learnt constraints deletion: 12615 -> 6340
437.09/437.29	c learnt constraints deletion: 12576 -> 6322
441.58/441.78	c learnt constraints deletion: 12501 -> 6264
445.39/445.57	c learnt constraints deletion: 12542 -> 6289
450.68/450.86	c learnt constraints deletion: 13644 -> 6842
456.18/456.34	c learnt constraints deletion: 13569 -> 6790
461.48/461.69	c learnt constraints deletion: 13578 -> 6797
465.77/465.91	c learnt constraints deletion: 13604 -> 6811
469.87/470.06	c learnt constraints deletion: 13609 -> 6811
474.68/474.84	c learnt constraints deletion: 13700 -> 6858
479.18/479.32	c learnt constraints deletion: 13557 -> 6788
483.77/483.91	c learnt constraints deletion: 13645 -> 6835
488.37/488.59	c learnt constraints deletion: 13636 -> 6834
493.77/493.96	c learnt constraints deletion: 13705 -> 6871
498.87/499.01	c learnt constraints deletion: 13742 -> 6903
503.57/503.77	c learnt constraints deletion: 13532 -> 6771
509.06/509.24	c learnt constraints deletion: 13697 -> 6862
514.46/514.63	c learnt constraints deletion: 13649 -> 6832
519.85/520.04	c learnt constraints deletion: 13556 -> 6789
524.85/525.05	c learnt constraints deletion: 13678 -> 6849
529.85/530.07	c learnt constraints deletion: 13640 -> 6837
534.95/535.16	c learnt constraints deletion: 13583 -> 6810
539.05/539.24	c learnt constraints deletion: 13655 -> 6847
543.25/543.43	c learnt constraints deletion: 13689 -> 6865
547.85/548.06	c learnt constraints deletion: 13686 -> 6864
552.95/553.19	c learnt constraints deletion: 13613 -> 6829
557.45/557.62	c learnt constraints deletion: 13672 -> 6863
561.64/561.89	c learnt constraints deletion: 13611 -> 6837
566.14/566.37	c learnt constraints deletion: 13701 -> 6893
570.24/570.44	c learnt constraints deletion: 13610 -> 6814
574.65/574.89	c learnt constraints deletion: 13614 -> 6816
579.15/579.32	c learnt constraints deletion: 13600 -> 6810
583.24/583.41	c learnt constraints deletion: 13663 -> 6843
587.44/587.66	c learnt constraints deletion: 13645 -> 6835
591.94/592.10	c learnt constraints deletion: 13720 -> 6877
596.64/596.84	c learnt constraints deletion: 13714 -> 6888
601.74/601.99	c learnt constraints deletion: 13598 -> 6809
606.84/607.01	c learnt constraints deletion: 13611 -> 6819
610.74/610.97	c learnt constraints deletion: 13685 -> 6855
615.33/615.51	c learnt constraints deletion: 13618 -> 6822
620.04/620.22	c learnt constraints deletion: 13684 -> 6871
624.94/625.18	c learnt constraints deletion: 13710 -> 6895
630.04/630.27	c learnt constraints deletion: 13595 -> 6812
635.03/635.26	c learnt constraints deletion: 13600 -> 6815
639.33/639.59	c learnt constraints deletion: 13655 -> 6839
643.94/644.15	c learnt constraints deletion: 13631 -> 6828
648.63/648.84	c learnt constraints deletion: 13599 -> 6813
653.14/653.34	c learnt constraints deletion: 13681 -> 6857
657.53/657.79	c learnt constraints deletion: 13604 -> 6830
662.22/662.48	c learnt constraints deletion: 13640 -> 6849
666.82/667.04	c learnt constraints deletion: 13657 -> 6862
671.62/671.81	c learnt constraints deletion: 13672 -> 6873
676.22/676.43	c learnt constraints deletion: 13700 -> 6862
681.40/681.68	c learnt constraints deletion: 14872 -> 7450
687.70/687.92	c learnt constraints deletion: 14765 -> 7390
693.01/693.28	c learnt constraints deletion: 14810 -> 7417
698.60/698.86	c learnt constraints deletion: 14898 -> 7458
704.91/705.14	c learnt constraints deletion: 14822 -> 7419
711.51/711.74	c learnt constraints deletion: 14726 -> 7373
716.30/716.52	c learnt constraints deletion: 14772 -> 7397
721.20/721.44	c learnt constraints deletion: 14870 -> 7447
726.40/726.66	c learnt constraints deletion: 14827 -> 7427
731.10/731.39	c learnt constraints deletion: 14895 -> 7475
736.30/736.53	c learnt constraints deletion: 14892 -> 7476
740.80/741.00	c learnt constraints deletion: 14903 -> 7487
745.29/745.52	c learnt constraints deletion: 14840 -> 7453
750.19/750.44	c learnt constraints deletion: 14859 -> 7441
755.30/755.57	c learnt constraints deletion: 14926 -> 7475
760.39/760.66	c learnt constraints deletion: 14795 -> 7411
765.19/765.43	c learnt constraints deletion: 14870 -> 7449
770.10/770.33	c learnt constraints deletion: 14890 -> 7461
774.70/774.91	c learnt constraints deletion: 14913 -> 7485
780.19/780.42	c learnt constraints deletion: 14797 -> 7406
785.49/785.70	c learnt constraints deletion: 14914 -> 7472
791.49/791.73	c learnt constraints deletion: 14790 -> 7402
798.09/798.31	c learnt constraints deletion: 14921 -> 7472
803.69/803.92	c learnt constraints deletion: 14847 -> 7436
808.79/809.05	c learnt constraints deletion: 14843 -> 7431
813.79/814.03	c learnt constraints deletion: 14830 -> 7425
818.28/818.52	c learnt constraints deletion: 14885 -> 7455
823.48/823.71	c learnt constraints deletion: 14891 -> 7457
828.98/829.26	c learnt constraints deletion: 14912 -> 7468
834.68/834.95	c learnt constraints deletion: 14828 -> 7428
839.57/839.81	c learnt constraints deletion: 14929 -> 7480
844.48/844.78	c learnt constraints deletion: 14818 -> 7425
849.57/849.89	c learnt constraints deletion: 14903 -> 7470
854.96/855.24	c learnt constraints deletion: 14951 -> 7497
860.17/860.45	c learnt constraints deletion: 14913 -> 7493
865.16/865.49	c learnt constraints deletion: 14809 -> 7413
870.57/870.80	c learnt constraints deletion: 14785 -> 7402
876.38/876.67	c learnt constraints deletion: 14935 -> 7478
882.16/882.46	c learnt constraints deletion: 14928 -> 7474
887.56/887.81	c learnt constraints deletion: 14906 -> 7464
893.36/893.63	c learnt constraints deletion: 14929 -> 7477
898.56/898.87	c learnt constraints deletion: 14876 -> 7452
904.76/905.09	c learnt constraints deletion: 14889 -> 7469
910.16/910.49	c learnt constraints deletion: 14949 -> 7506
916.07/916.33	c learnt constraints deletion: 14947 -> 7508
920.96/921.21	c learnt constraints deletion: 14938 -> 7477
926.06/926.35	c learnt constraints deletion: 14880 -> 7450
931.96/932.24	c learnt constraints deletion: 14893 -> 7456
938.56/938.84	c learnt constraints deletion: 14918 -> 7468
943.95/944.26	c learnt constraints deletion: 14919 -> 7473
949.06/949.32	c learnt constraints deletion: 14894 -> 7456
954.46/954.71	c learnt constraints deletion: 14925 -> 7479
959.26/959.54	c learnt constraints deletion: 14858 -> 7438
964.46/964.75	c learnt constraints deletion: 14886 -> 7452
969.35/969.69	c learnt constraints deletion: 14933 -> 7476
974.26/974.51	c learnt constraints deletion: 14944 -> 7481
978.65/978.92	c learnt constraints deletion: 14845 -> 7433
983.45/983.79	c learnt constraints deletion: 14892 -> 7455
988.66/988.97	c learnt constraints deletion: 14930 -> 7488
993.75/994.05	c learnt constraints deletion: 14942 -> 7485
999.25/999.59	c learnt constraints deletion: 14926 -> 7472
1004.24/1004.55	c learnt constraints deletion: 14850 -> 7434
1008.94/1009.29	c learnt constraints deletion: 14845 -> 7432
1013.95/1014.20	c learnt constraints deletion: 14962 -> 7495
1018.93/1019.21	c learnt constraints deletion: 14938 -> 7484
1024.03/1024.31	c learnt constraints deletion: 14829 -> 7424
1028.64/1028.92	c learnt constraints deletion: 14862 -> 7442
1033.74/1034.06	c learnt constraints deletion: 16176 -> 8097
1040.73/1041.01	c learnt constraints deletion: 16209 -> 8114
1046.83/1047.13	c learnt constraints deletion: 16231 -> 8128
1053.23/1053.58	c learnt constraints deletion: 16138 -> 8078
1060.22/1060.57	c learnt constraints deletion: 16231 -> 8128
1066.22/1066.58	c learnt constraints deletion: 16239 -> 8132
1072.02/1072.35	c learnt constraints deletion: 16172 -> 8099
1078.12/1078.48	c learnt constraints deletion: 16243 -> 8137
1084.02/1084.36	c learnt constraints deletion: 16228 -> 8130
1089.62/1090.00	c learnt constraints deletion: 16273 -> 8162
1095.12/1095.45	c learnt constraints deletion: 16235 -> 8128
1101.01/1101.36	c learnt constraints deletion: 16286 -> 8156
1106.81/1107.10	c learnt constraints deletion: 16285 -> 8157
1112.41/1112.74	c learnt constraints deletion: 16234 -> 8132
1117.51/1117.81	c learnt constraints deletion: 16180 -> 8114
1123.52/1123.80	c learnt constraints deletion: 16240 -> 8156
1129.52/1129.84	c learnt constraints deletion: 16267 -> 8172
1134.82/1135.17	c learnt constraints deletion: 16179 -> 8103
1140.61/1140.90	c learnt constraints deletion: 16152 -> 8090
1146.51/1146.81	c learnt constraints deletion: 16208 -> 8120
1153.11/1153.43	c learnt constraints deletion: 16137 -> 8088
1159.71/1160.09	c learnt constraints deletion: 16277 -> 8162
1165.21/1165.52	c learnt constraints deletion: 16251 -> 8152
1171.81/1172.15	c learnt constraints deletion: 16269 -> 8169
1177.61/1177.94	c learnt constraints deletion: 16243 -> 8159
1183.21/1183.59	c learnt constraints deletion: 16270 -> 8149
1188.50/1188.84	c learnt constraints deletion: 16291 -> 8162
1194.40/1194.77	c learnt constraints deletion: 16217 -> 8124
1200.10/1200.40	c learnt constraints deletion: 16231 -> 8133
1206.00/1206.37	c learnt constraints deletion: 16292 -> 8164
1211.99/1212.30	c learnt constraints deletion: 16175 -> 8106
1218.00/1218.30	c learnt constraints deletion: 16284 -> 8162
1223.79/1224.10	c learnt constraints deletion: 16210 -> 8129
1229.58/1229.99	c learnt constraints deletion: 16270 -> 8162
1235.78/1236.10	c learnt constraints deletion: 16293 -> 8182
1241.08/1241.42	c learnt constraints deletion: 16241 -> 8140
1246.99/1247.39	c learnt constraints deletion: 16229 -> 8138
1253.38/1253.78	c learnt constraints deletion: 16257 -> 8155
1259.09/1259.42	c learnt constraints deletion: 16284 -> 8167
1266.68/1267.01	c learnt constraints deletion: 16286 -> 8169
1272.78/1273.14	c learnt constraints deletion: 16294 -> 8176
1279.99/1280.30	c learnt constraints deletion: 16277 -> 8169
1286.68/1287.02	c learnt constraints deletion: 16303 -> 8185
1294.08/1294.45	c learnt constraints deletion: 16329 -> 8206
1300.67/1301.08	c learnt constraints deletion: 16213 -> 8126
1307.58/1307.94	c learnt constraints deletion: 16303 -> 8170
1314.18/1314.59	c learnt constraints deletion: 16280 -> 8155
1320.37/1320.76	c learnt constraints deletion: 16262 -> 8143
1326.07/1326.41	c learnt constraints deletion: 16276 -> 8153
1332.57/1332.94	c learnt constraints deletion: 16281 -> 8157
1339.16/1339.57	c learnt constraints deletion: 16271 -> 8156
1345.36/1345.70	c learnt constraints deletion: 16272 -> 8162
1351.77/1352.13	c learnt constraints deletion: 16297 -> 8178
1358.47/1358.86	c learnt constraints deletion: 16279 -> 8152
1364.67/1365.03	c learnt constraints deletion: 16241 -> 8133
1372.26/1372.61	c learnt constraints deletion: 16317 -> 8171
1378.67/1379.08	c learnt constraints deletion: 16250 -> 8142
1385.37/1385.74	c learnt constraints deletion: 16297 -> 8166
1391.86/1392.21	c learnt constraints deletion: 16280 -> 8153
1398.26/1398.70	c learnt constraints deletion: 16299 -> 8164
1404.56/1404.92	c learnt constraints deletion: 16241 -> 8138
1410.16/1410.50	c learnt constraints deletion: 16302 -> 8170
1415.86/1416.23	c learnt constraints deletion: 16276 -> 8160
1422.06/1422.45	c learnt constraints deletion: 16315 -> 8183
1428.05/1428.49	c learnt constraints deletion: 16281 -> 8175
1434.26/1434.64	c learnt constraints deletion: 16308 -> 8170
1440.05/1440.45	c learnt constraints deletion: 16252 -> 8144
1446.35/1446.72	c learnt constraints deletion: 16279 -> 8162
1452.15/1452.53	c learnt constraints deletion: 16244 -> 8145
1458.34/1458.70	c learnt constraints deletion: 16228 -> 8132
1466.14/1466.58	c learnt constraints deletion: 16303 -> 8172
1472.33/1472.77	c learnt constraints deletion: 16312 -> 8177
1478.83/1479.27	c learnt constraints deletion: 16279 -> 8163
1485.24/1485.63	c learnt constraints deletion: 16304 -> 8184
1491.53/1491.94	c learnt constraints deletion: 16291 -> 8164
1498.72/1499.12	c learnt constraints deletion: 16276 -> 8159
1505.83/1506.23	c learnt constraints deletion: 16321 -> 8185
1512.93/1513.31	c learnt constraints deletion: 16268 -> 8154
1518.82/1519.29	c learnt constraints deletion: 16321 -> 8182
1524.63/1525.08	c learnt constraints deletion: 16315 -> 8179
1531.43/1531.88	c learnt constraints deletion: 16277 -> 8160
1538.32/1538.75	c learnt constraints deletion: 16314 -> 8178
1545.22/1545.61	c learnt constraints deletion: 16288 -> 8165
1551.13/1551.50	c learnt constraints deletion: 16305 -> 8174
1557.32/1557.76	c learnt constraints deletion: 16284 -> 8163
1563.62/1564.08	c learnt constraints deletion: 16279 -> 8161
1570.22/1570.70	c learnt constraints deletion: 16295 -> 8172
1576.42/1576.84	c learnt constraints deletion: 16289 -> 8166
1583.41/1583.81	c learnt constraints deletion: 16309 -> 8180
1590.41/1590.82	c learnt constraints deletion: 16171 -> 8097
1597.61/1598.07	c learnt constraints deletion: 16244 -> 8134
1604.71/1605.17	c learnt constraints deletion: 16187 -> 8106
1613.22/1613.63	c learnt constraints deletion: 17811 -> 8928
1620.31/1620.75	c learnt constraints deletion: 17627 -> 8822
1627.91/1628.37	c learnt constraints deletion: 17648 -> 8834
1635.01/1635.43	c learnt constraints deletion: 17741 -> 8876
1643.70/1644.13	c learnt constraints deletion: 17666 -> 8840
1649.80/1650.27	c learnt constraints deletion: 17668 -> 8845
1656.01/1656.50	c learnt constraints deletion: 17756 -> 8884
1663.21/1663.62	c learnt constraints deletion: 17676 -> 8845
1670.00/1670.42	c learnt constraints deletion: 17776 -> 8895
1677.01/1677.47	c learnt constraints deletion: 17746 -> 8889
1684.60/1685.02	c learnt constraints deletion: 17727 -> 8882
1691.80/1692.27	c learnt constraints deletion: 17747 -> 8894
1698.49/1698.96	c learnt constraints deletion: 17732 -> 8888
1705.99/1706.40	c learnt constraints deletion: 17775 -> 8913
1712.59/1713.09	c learnt constraints deletion: 17740 -> 8884
1720.60/1721.09	c learnt constraints deletion: 17745 -> 8881
1728.30/1728.74	c learnt constraints deletion: 17746 -> 8886
1734.79/1735.22	c learnt constraints deletion: 17796 -> 8905
1743.09/1743.54	c learnt constraints deletion: 17738 -> 8876
1751.18/1751.64	c learnt constraints deletion: 17726 -> 8874
1758.88/1759.31	c learnt constraints deletion: 17773 -> 8899
1764.78/1765.23	c learnt constraints deletion: 17691 -> 8859
1771.08/1771.55	c learnt constraints deletion: 17733 -> 8890
1777.19/1777.68	c learnt constraints deletion: 17730 -> 8890
1783.97/1784.42	c learnt constraints deletion: 17689 -> 8852
1790.68/1791.15	c learnt constraints deletion: 17770 -> 8895
1796.88/1797.35	c learnt constraints deletion: 17771 -> 8899

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3707245-1338134925/watcher-3707245-1338134925 -o /tmp/evaluation-result-3707245-1338134925/solver-3707245-1338134925 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3707245-1338134925.opb 

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

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): 1900 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: 1.93 1.99 1.99 3/176 10692
/proc/meminfo: memFree=30797692/32873648 swapFree=6860/6860
[pid=10692] ppid=10690 vsize=6208 CPUtime=0 cores=1,3,5,7
/proc/10692/stat : 10692 (toysat) R 10690 10692 9979 0 -1 4202496 810 0 0 0 0 0 0 0 20 0 1 0 279618524 6356992 731 33554432000 4194304 8973514 140734464587376 140733193781528 4209325 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/10692/statm: 1552 732 415 1167 0 333 0

[startup+0.0576719 s]
/proc/loadavg: 1.93 1.99 1.99 3/176 10692
/proc/meminfo: memFree=30797692/32873648 swapFree=6860/6860
[pid=10692] ppid=10690 vsize=11328 CPUtime=0.05 cores=1,3,5,7
/proc/10692/stat : 10692 (toysat) R 10690 10692 9979 0 -1 4202496 1900 0 0 0 5 0 0 0 20 0 1 0 279618524 11599872 1821 33554432000 4194304 8973514 140734464587376 140733193781528 7841851 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/10692/statm: 2832 1821 446 1167 0 1613 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 11328

[startup+0.100239 s]
/proc/loadavg: 1.93 1.99 1.99 3/176 10692
/proc/meminfo: memFree=30797692/32873648 swapFree=6860/6860
[pid=10692] ppid=10690 vsize=11328 CPUtime=0.09 cores=1,3,5,7
/proc/10692/stat : 10692 (toysat) R 10690 10692 9979 0 -1 4202496 2131 0 0 0 9 0 0 0 20 0 1 0 279618524 11599872 2052 33554432000 4194304 8973514 140734464587376 140733193781528 7841851 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/10692/statm: 2832 2052 446 1167 0 1613 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11328

[startup+0.300231 s]
/proc/loadavg: 1.93 1.99 1.99 3/176 10692
/proc/meminfo: memFree=30797692/32873648 swapFree=6860/6860
[pid=10692] ppid=10690 vsize=13376 CPUtime=0.29 cores=1,3,5,7
/proc/10692/stat : 10692 (toysat) R 10690 10692 9979 0 -1 4202496 2653 0 0 0 29 0 0 0 20 0 1 0 279618524 13697024 2574 33554432000 4194304 8973514 140734464587376 140733193781528 4447548 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/10692/statm: 3344 2574 456 1167 0 2125 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13376

[startup+0.700232 s]
/proc/loadavg: 1.93 1.99 1.99 3/176 10692
/proc/meminfo: memFree=30797692/32873648 swapFree=6860/6860
[pid=10692] ppid=10690 vsize=13376 CPUtime=0.69 cores=1,3,5,7
/proc/10692/stat : 10692 (toysat) R 10690 10692 9979 0 -1 4202496 2653 0 0 0 68 1 0 0 20 0 1 0 279618524 13697024 2574 33554432000 4194304 8973514 140734464587376 140734464586640 4209425 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/10692/statm: 3344 2574 456 1167 0 2125 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13376

[startup+1.50026 s]
/proc/loadavg: 1.93 1.99 1.99 3/177 10693
/proc/meminfo: memFree=30787880/32873648 swapFree=6860/6860
[pid=10692] ppid=10690 vsize=15424 CPUtime=1.49 cores=1,3,5,7
/proc/10692/stat : 10692 (toysat) R 10690 10692 9979 0 -1 4202496 3165 0 0 0 148 1 0 0 20 0 1 0 279618524 15794176 3086 33554432000 4194304 8973514 140734464587376 140734464586640 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/10692/statm: 3856 3086 456 1167 0 2637 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15424

[startup+3.10026 s]
/proc/loadavg: 1.93 1.99 1.99 3/177 10693
/proc/meminfo: memFree=30786400/32873648 swapFree=6860/6860
[pid=10692] ppid=10690 vsize=17472 CPUtime=3.09 cores=1,3,5,7
/proc/10692/stat : 10692 (toysat) R 10690 10692 9979 0 -1 4202496 3677 0 0 0 308 1 0 0 20 0 1 0 279618524 17891328 3598 33554432000 4194304 8973514 140734464587376 140734464586872 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/10692/statm: 4368 3598 456 1167 0 3149 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17472

[startup+6.30026 s]
/proc/loadavg: 1.93 1.99 1.99 3/177 10693
/proc/meminfo: memFree=30778964/32873648 swapFree=6860/6860
[pid=10692] ppid=10690 vsize=24640 CPUtime=6.29 cores=1,3,5,7
/proc/10692/stat : 10692 (toysat) R 10690 10692 9979 0 -1 4202496 5474 0 0 0 626 3 0 0 20 0 1 0 279618524 25231360 5395 33554432000 4194304 8973514 140734464587376 140734464586872 4209442 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/10692/statm: 6160 5395 457 1167 0 4941 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 24640

[startup+12.7002 s]
/proc/loadavg: 1.94 1.99 1.99 3/177 10693
/proc/meminfo: memFree=30767332/32873648 swapFree=6860/6860
[pid=10692] ppid=10690 vsize=31808 CPUtime=12.69 cores=1,3,5,7
/proc/10692/stat : 10692 (toysat) R 10690 10692 9979 0 -1 4202496 7266 0 0 0 1264 5 0 0 20 0 1 0 279618524 32571392 7187 33554432000 4194304 8973514 140734464587376 140734464586872 4209357 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/10692/statm: 7952 7187 457 1167 0 6733 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 31808

[startup+25.5003 s]
/proc/loadavg: 1.95 1.99 1.99 3/177 10693
/proc/meminfo: memFree=30755180/32873648 swapFree=6860/6860
[pid=10692] ppid=10690 vsize=36928 CPUtime=25.48 cores=1,3,5,7
/proc/10692/stat : 10692 (toysat) R 10690 10692 9979 0 -1 4202496 8550 0 0 0 2540 8 0 0 20 0 1 0 279618524 37814272 8472 33554432000 4194304 8973514 140734464587376 140734464586640 7841851 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/10692/statm: 9232 8472 457 1167 0 8013 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 36928

[startup+51.1002 s]
/proc/loadavg: 1.97 1.99 1.99 3/177 10693
/proc/meminfo: memFree=30735128/32873648 swapFree=6860/6860
[pid=10692] ppid=10690 vsize=44096 CPUtime=51.07 cores=1,3,5,7
/proc/10692/stat : 10692 (toysat) R 10690 10692 9979 0 -1 4202496 11369 0 0 0 5091 16 0 0 20 0 1 0 279618524 45154304 10264 33554432000 4194304 8973514 140734464587376 140734464586872 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/10692/statm: 11024 10264 457 1167 0 9805 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 44096

[startup+102.306 s]
/proc/loadavg: 2.06 2.01 2.00 3/178 10696
/proc/meminfo: memFree=30692428/32873648 swapFree=6860/6860
[pid=10692] ppid=10690 vsize=50240 CPUtime=102.28 cores=1,3,5,7
/proc/10692/stat : 10692 (toysat) R 10690 10692 9979 0 -1 4202496 15465 0 0 0 10193 35 0 0 20 0 1 0 279618524 51445760 11800 33554432000 4194304 8973514 140734464587376 140734464586872 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/10692/statm: 12560 11800 457 1167 0 11341 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 50240

[startup+162.3 s]
/proc/loadavg: 2.02 2.00 2.00 3/177 10696
/proc/meminfo: memFree=30669348/32873648 swapFree=6860/6860
[pid=10692] ppid=10690 vsize=64576 CPUtime=162.25 cores=1,3,5,7
/proc/10692/stat : 10692 (toysat) R 10690 10692 9979 0 -1 4202496 26741 0 0 0 16167 58 0 0 20 0 1 0 279618524 66125824 15384 33554432000 4194304 8973514 140734464587376 140734464586872 5382621 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/10692/statm: 16144 15384 457 1167 0 14925 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 64576

[startup+222.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 10696
/proc/meminfo: memFree=30680644/32873648 swapFree=6860/6860
[pid=10692] ppid=10690 vsize=66624 CPUtime=222.24 cores=1,3,5,7
/proc/10692/stat : 10692 (toysat) R 10690 10692 9979 0 -1 4202496 32122 0 0 0 22143 81 0 0 20 0 1 0 279618524 68222976 15896 33554432000 4194304 8973514 140734464587376 140734464586872 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/10692/statm: 16656 15896 457 1167 0 15437 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 66624

[startup+282.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 10697
/proc/meminfo: memFree=30678712/32873648 swapFree=6860/6860
[pid=10692] ppid=10690 vsize=67648 CPUtime=282.22 cores=1,3,5,7
/proc/10692/stat : 10692 (toysat) R 10690 10692 9979 0 -1 4202496 37505 0 0 0 28122 100 0 0 20 0 1 0 279618524 69271552 16152 33554432000 4194304 8973514 140734464587376 140734464586872 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/10692/statm: 16912 16152 457 1167 0 15693 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 67648

[startup+342.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 10697
/proc/meminfo: memFree=30647020/32873648 swapFree=6860/6860
[pid=10692] ppid=10690 vsize=77888 CPUtime=342.21 cores=1,3,5,7
/proc/10692/stat : 10692 (toysat) R 10690 10692 9979 0 -1 4202496 46219 0 0 0 34096 125 0 0 20 0 1 0 279618524 79757312 18712 33554432000 4194304 8973514 140734464587376 140734464586640 4447324 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/10692/statm: 19472 18712 457 1167 0 18253 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 77888

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10697
/proc/meminfo: memFree=30627492/32873648 swapFree=6860/6860
[pid=10692] ppid=10690 vsize=66624 CPUtime=402.19 cores=1,3,5,7
/proc/10692/stat : 10692 (toysat) R 10690 10692 9979 0 -1 4202496 55957 0 0 0 40072 147 0 0 20 0 1 0 279618524 68222976 15896 33554432000 4194304 8973514 140734464587376 140734464586640 7716779 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/10692/statm: 16656 15896 457 1167 0 15437 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 66624

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10697
/proc/meminfo: memFree=30628356/32873648 swapFree=6860/6860
[pid=10692] ppid=10690 vsize=77888 CPUtime=462.18 cores=1,3,5,7
/proc/10692/stat : 10692 (toysat) R 10690 10692 9979 0 -1 4202496 63893 0 0 0 46047 171 0 0 20 0 1 0 279618524 79757312 18712 33554432000 4194304 8973514 140734464587376 140734464586872 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/10692/statm: 19472 18712 457 1167 0 18253 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 77888

[startup+522.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 10697
/proc/meminfo: memFree=30651184/32873648 swapFree=6860/6860
[pid=10692] ppid=10690 vsize=66624 CPUtime=522.15 cores=1,3,5,7
/proc/10692/stat : 10692 (toysat) R 10690 10692 9979 0 -1 4202496 75947 0 0 0 52022 193 0 0 20 0 1 0 279618524 68222976 15896 33554432000 4194304 8973514 140734464587376 140734464586872 4209234 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/10692/statm: 16656 15896 457 1167 0 15437 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 66624

[startup+582.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 10698
/proc/meminfo: memFree=30631864/32873648 swapFree=6860/6860
[pid=10692] ppid=10690 vsize=78912 CPUtime=582.14 cores=1,3,5,7
/proc/10692/stat : 10692 (toysat) R 10690 10692 9979 0 -1 4202496 88493 0 0 0 57997 217 0 0 20 0 1 0 279618524 80805888 18968 33554432000 4194304 8973514 140734464587376 140734464585344 7841851 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/10692/statm: 19728 18968 457 1167 0 18509 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 78912

[startup+642.3 s]

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

[startup+882.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 10701
/proc/meminfo: memFree=30594616/32873648 swapFree=6860/6860
[pid=10692] ppid=10690 vsize=95296 CPUtime=882.06 cores=1,3,5,7
/proc/10692/stat : 10692 (toysat) R 10690 10692 9979 0 -1 4202496 126421 0 0 0 87888 318 0 0 20 0 1 0 279618524 97583104 23064 33554432000 4194304 8973514 140734464587376 140734464586640 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/10692/statm: 23824 23064 457 1167 0 22605 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 95296

[startup+942.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 10702
/proc/meminfo: memFree=30555620/32873648 swapFree=6860/6860
[pid=10692] ppid=10690 vsize=103488 CPUtime=942.05 cores=1,3,5,7
/proc/10692/stat : 10692 (toysat) R 10690 10692 9979 0 -1 4202496 131029 0 0 0 93866 339 0 0 20 0 1 0 279618524 105971712 25112 33554432000 4194304 8973514 140734464587376 140734464586640 6570441 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/10692/statm: 25872 25112 457 1167 0 24653 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 103488

[startup+1002.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 10702
/proc/meminfo: memFree=30565080/32873648 swapFree=6860/6860
[pid=10692] ppid=10690 vsize=99392 CPUtime=1002.04 cores=1,3,5,7
/proc/10692/stat : 10692 (toysat) R 10690 10692 9979 0 -1 4202496 134877 0 0 0 99845 359 0 0 20 0 1 0 279618524 101777408 24088 33554432000 4194304 8973514 140734464587376 140734464586872 4371839 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/10692/statm: 24848 24088 457 1167 0 23629 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 99392

[startup+1062.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 10702
/proc/meminfo: memFree=30563740/32873648 swapFree=6860/6860
[pid=10692] ppid=10690 vsize=94272 CPUtime=1062.03 cores=1,3,5,7
/proc/10692/stat : 10692 (toysat) R 10690 10692 9979 0 -1 4202496 141797 0 0 0 105822 381 0 0 20 0 1 0 279618524 96534528 22808 33554432000 4194304 8973514 140734464587376 140734464586872 4459448 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/10692/statm: 23568 22808 457 1167 0 22349 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 94272

[startup+1122.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 10702
/proc/meminfo: memFree=30558604/32873648 swapFree=6860/6860
[pid=10692] ppid=10690 vsize=97344 CPUtime=1122.01 cores=1,3,5,7
/proc/10692/stat : 10692 (toysat) R 10690 10692 9979 0 -1 4202496 149989 0 0 0 111800 401 0 0 20 0 1 0 279618524 99680256 23576 33554432000 4194304 8973514 140734464587376 140734464586872 7717665 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/10692/statm: 24336 23576 457 1167 0 23117 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 97344

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10702
/proc/meminfo: memFree=30513300/32873648 swapFree=6860/6860
[pid=10692] ppid=10690 vsize=99392 CPUtime=1182 cores=1,3,5,7
/proc/10692/stat : 10692 (toysat) R 10690 10692 9979 0 -1 4202496 157925 0 0 0 117777 423 0 0 20 0 1 0 279618524 101777408 24088 33554432000 4194304 8973514 140734464587376 140734464585344 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/10692/statm: 24848 24088 457 1167 0 23629 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 99392

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10703
/proc/meminfo: memFree=30515352/32873648 swapFree=6860/6860
[pid=10692] ppid=10690 vsize=95296 CPUtime=1241.98 cores=1,3,5,7
/proc/10692/stat : 10692 (toysat) R 10690 10692 9979 0 -1 4202496 159995 0 0 0 123755 443 0 0 20 0 1 0 279618524 97583104 23064 33554432000 4194304 8973514 140734464587376 140734464586872 4381103 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/10692/statm: 23824 23064 457 1167 0 22605 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 95296

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10706
/proc/meminfo: memFree=30488268/32873648 swapFree=6860/6860
[pid=10692] ppid=10690 vsize=99392 CPUtime=1301.98 cores=1,3,5,7
/proc/10692/stat : 10692 (toysat) R 10690 10692 9979 0 -1 4202496 165627 0 0 0 129734 464 0 0 20 0 1 0 279618524 101777408 24088 33554432000 4194304 8973514 140734464587376 140734464585344 4459726 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/10692/statm: 24848 24088 457 1167 0 23629 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 99392

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10706
/proc/meminfo: memFree=30494972/32873648 swapFree=6860/6860
[pid=10692] ppid=10690 vsize=103488 CPUtime=1361.96 cores=1,3,5,7
/proc/10692/stat : 10692 (toysat) R 10690 10692 9979 0 -1 4202496 170235 0 0 0 135711 485 0 0 20 0 1 0 279618524 105971712 25112 33554432000 4194304 8973514 140734464587376 140734464586640 4441196 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/10692/statm: 25872 25112 457 1167 0 24653 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 103488

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10706
/proc/meminfo: memFree=30479708/32873648 swapFree=6860/6860
[pid=10692] ppid=10690 vsize=107584 CPUtime=1421.96 cores=1,3,5,7
/proc/10692/stat : 10692 (toysat) R 10690 10692 9979 0 -1 4202496 173307 0 0 0 141692 504 0 0 20 0 1 0 279618524 110166016 26136 33554432000 4194304 8973514 140734464587376 140734464586872 7841851 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/10692/statm: 26896 26136 457 1167 0 25677 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 107584

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10706
/proc/meminfo: memFree=30490236/32873648 swapFree=6860/6860
[pid=10692] ppid=10690 vsize=107584 CPUtime=1481.94 cores=1,3,5,7
/proc/10692/stat : 10692 (toysat) R 10690 10692 9979 0 -1 4202496 181769 0 0 0 147668 526 0 0 20 0 1 0 279618524 110166016 26136 33554432000 4194304 8973514 140734464587376 140734464586872 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/10692/statm: 26896 26136 457 1167 0 25677 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 107584

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10707
/proc/meminfo: memFree=30459496/32873648 swapFree=6860/6860
[pid=10692] ppid=10690 vsize=107584 CPUtime=1541.92 cores=1,3,5,7
/proc/10692/stat : 10692 (toysat) R 10690 10692 9979 0 -1 4202496 183563 0 0 0 153646 546 0 0 20 0 1 0 279618524 110166016 26136 33554432000 4194304 8973514 140734464587376 140734464586872 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/10692/statm: 26896 26136 457 1167 0 25677 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 107584

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10707
/proc/meminfo: memFree=30436700/32873648 swapFree=6860/6860
[pid=10692] ppid=10690 vsize=103488 CPUtime=1601.91 cores=1,3,5,7
/proc/10692/stat : 10692 (toysat) R 10690 10692 9979 0 -1 4202496 188171 0 0 0 159624 567 0 0 20 0 1 0 279618524 105971712 25112 33554432000 4194304 8973514 140734464587376 140734464586640 4441393 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/10692/statm: 25872 25112 457 1167 0 24653 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 103488

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10707
/proc/meminfo: memFree=30463488/32873648 swapFree=6860/6860
[pid=10692] ppid=10690 vsize=110656 CPUtime=1661.91 cores=1,3,5,7
/proc/10692/stat : 10692 (toysat) R 10690 10692 9979 0 -1 4202496 194571 0 0 0 165602 589 0 0 20 0 1 0 279618524 113311744 26904 33554432000 4194304 8973514 140734464587376 140734464586872 6839464 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/10692/statm: 27664 26904 457 1167 0 26445 0
Current children cumulated CPU time (s) 1661.91
Current children cumulated vsize (KiB) 110656

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10707
/proc/meminfo: memFree=30486668/32873648 swapFree=6860/6860
[pid=10692] ppid=10690 vsize=99392 CPUtime=1721.9 cores=1,3,5,7
/proc/10692/stat : 10692 (toysat) R 10690 10692 9979 0 -1 4202496 201995 0 0 0 171578 612 0 0 20 0 1 0 279618524 101777408 24088 33554432000 4194304 8973514 140734464587376 140734464586872 4209508 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/10692/statm: 24848 24088 457 1167 0 23629 0
Current children cumulated CPU time (s) 1721.9
Current children cumulated vsize (KiB) 99392

[startup+1782.3 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 10746
/proc/meminfo: memFree=30621124/32873648 swapFree=6860/6860
[pid=10692] ppid=10690 vsize=131136 CPUtime=1781.88 cores=1,3,5,7
/proc/10692/stat : 10692 (toysat) R 10690 10692 9979 0 -1 4202496 209947 0 0 0 177554 634 0 0 20 0 1 0 279618524 134283264 32024 33554432000 4194304 8973514 140734464587376 140734464586872 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/10692/statm: 32784 32024 457 1167 0 31565 0
Current children cumulated CPU time (s) 1781.88
Current children cumulated vsize (KiB) 131136



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.94 1.98 1.99 3/177 10747
/proc/meminfo: memFree=30633132/32873648 swapFree=6860/6860
[pid=10692] ppid=10690 vsize=102464 CPUtime=1800.08 cores=1,3,5,7
/proc/10692/stat : 10692 (toysat) R 10690 10692 9979 0 -1 4202496 210715 0 0 0 179366 642 0 0 20 0 1 0 279618524 104923136 24856 33554432000 4194304 8973514 140734464587376 140734464586872 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/10692/statm: 25616 24856 457 1167 0 24397 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 102464

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

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

[startup+1800.5 s]
/proc/loadavg: 1.94 1.98 1.99 3/177 10747
/proc/meminfo: memFree=30633132/32873648 swapFree=6860/6860
[pid=10692] ppid=10690 vsize=102464 CPUtime=1800.08 cores=1,3,5,7
/proc/10692/stat : 10692 (toysat) R 10690 10692 9979 0 -1 4202496 210715 0 0 0 179366 642 0 0 20 0 1 0 279618524 104923136 24856 33554432000 4194304 8973514 140734464587376 140734464586872 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/10692/statm: 25616 24856 457 1167 0 24397 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 102464

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.09
CPU user time (s): 1793.67
CPU system time (s): 6.42102
CPU usage (%): 99.9768
Max. virtual memory (cumulated for all children) (KiB): 131136

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.67
system time used= 6.42102
maximum resident set size= 128096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 210715
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= 190
involuntary context switches= 1845

runsolver used 3.02954 second user time and 9.53455 second system time

The end

Launcher Data 

Begin job on node116 at 2012-05-27 18:08:45
IDJOB=3707245
IDBENCH=48245
IDSOLVER=2285
FILE ID=node116/3707245-1338134925
RUNJOBID= node116-1338124087-9996
PBS_JOBID= 14624506
Free space on /tmp= 71464 MiB

SOLVER NAME= toysat 2012-05-17
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_100_10_3.opb
COMMAND LINE= HOME/toysat --pb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3707245-1338134925/watcher-3707245-1338134925 -o /tmp/evaluation-result-3707245-1338134925/solver-3707245-1338134925 -C 1800 -W 1900 -M 15500  HOME/toysat --pb HOME/instance-3707245-1338134925.opb

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

MD5SUM BENCH= 4ec3492215da9d1ca4e43111c42870de
RANDOM SEED=495741595

node116.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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.556
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.556
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.556
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5438.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.556
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.556
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.556
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.556
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.556
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        30798444 kB
Buffers:          355936 kB
Cached:           847756 kB
SwapCached:         3240 kB
Active:           802524 kB
Inactive:         437340 kB
Active(anon):      26980 kB
Inactive(anon):     8960 kB
Active(file):     775544 kB
Inactive(file):   428380 kB
Unevictable:        6860 kB
Mlocked:            6860 kB
SwapTotal:      67108856 kB
SwapFree:       67103664 kB
Dirty:             14804 kB
Writeback:             0 kB
AnonPages:         21072 kB
Mapped:            14428 kB
Shmem:                96 kB
Slab:             698796 kB
SReclaimable:     143240 kB
SUnreclaim:       555556 kB
KernelStack:        1464 kB
PageTables:         3692 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     148072 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71460 MiB
End job on node116 at 2012-05-27 18:38:47