Trace number 2071449

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SAT4J CSP 2.1.1? (TO) 1801.56 1804.3

General information on the benchmark

Namecsp/travellingSalesman-25/
normalized-tsp-25-13_ext.xml
MD5SUMeef28a8aaa5ab23398c7f7cc139b9a88
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.2938
Satisfiable
(Un)Satisfiability was proved
Number of variables76
Number of constraints350
Maximum constraint arity3
Maximum domain size1001
Number of constraints which are defined in extension350
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data 

0.08/0.15	c SAT4J: a SATisfiability library for Java (c) 2004-2008 Daniel Le Berre
0.08/0.15	c This is free software under the dual EPL/GNU LGPL licenses.
0.08/0.15	c See www.sat4j.org for details.
0.08/0.15	c That software uses the Rhino library from the Mozilla project.
0.08/0.17	c version 2.1.1.v20090622
0.08/0.17	c sun.arch.data.model	32
0.08/0.17	c java.version	1.6.0_12
0.08/0.17	c os.name	Linux
0.08/0.17	c os.version	2.6.9-22.EL.rootsmp
0.08/0.17	c os.arch	i386
0.08/0.17	c Free memory 671000808
0.08/0.17	c Max memory 672137216
0.08/0.17	c Total memory 672137216
0.08/0.17	c Number of processors 2
0.18/0.26	c c --- Begin Solver configuration ---
0.18/0.26	c Stops conflict analysis at the first Unique Implication Point
0.18/0.26	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@1f14ceb
0.18/0.26	c Learn all clauses as in MiniSAT
0.18/0.26	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.18/0.26	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.18/0.26	c Expensive reason simplification
0.18/0.26	c MiniSAT restarts strategy
0.18/0.26	c Memory based learned constraints deletion strategy
0.18/0.26	c timeout=2147483s
0.18/0.26	c DB Simplification allowed=false
0.18/0.26	c --- End Solver configuration ---
0.18/0.26	c solving HOME/instance-2071449-1247353771.xml
0.18/0.26	c reading problem ... 
0.48/0.51	c reading problem named null
0.48/0.51	c reading domains done.
0.48/0.52	c reading variables done.
0.68/0.76	c reading relations done.
1.58/1.63	c reading constraints
213.64/213.48	c done with constraints.
213.64/213.48	c ... done. Wall clock time 213.216s.
213.64/213.48	c #vars     28868
213.64/213.48	c #constraints  9383809
213.64/213.48	c constraints type 
213.64/213.48	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 9350502
213.64/213.48	c org.sat4j.minisat.constraints.cnf.UnitClauses => 2
213.64/213.48	c org.sat4j.minisat.constraints.card.AtLeast => 74
213.64/213.48	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 8637
230.25/230.15	c cleaning 169 clauses out of 494
234.34/234.26	c cleaning 261 clauses out of 824
238.41/238.33	c cleaning 360 clauses out of 1063
242.79/242.74	c cleaning 457 clauses out of 1203
248.17/248.14	c cleaning 505 clauses out of 1246
252.34/252.34	c cleaning 517 clauses out of 1246
256.52/256.59	c cleaning 391 clauses out of 1223
260.90/260.91	c cleaning 513 clauses out of 1333
266.47/266.51	c cleaning 462 clauses out of 1318
270.46/270.50	c cleaning 488 clauses out of 1357
274.84/274.93	c cleaning 438 clauses out of 1369
278.91/279.06	c cleaning 544 clauses out of 1430
284.58/284.80	c cleaning 486 clauses out of 1387
288.96/289.12	c cleaning 515 clauses out of 1400
293.24/293.45	c cleaning 513 clauses out of 1384
297.61/297.87	c cleaning 440 clauses out of 1371
303.08/303.37	c cleaning 505 clauses out of 1431
307.46/307.72	c cleaning 472 clauses out of 1436
311.94/312.21	c cleaning 478 clauses out of 1464
315.92/316.29	c cleaning 518 clauses out of 1477
321.29/321.68	c cleaning 503 clauses out of 1458
325.47/325.89	c cleaning 504 clauses out of 1458
329.85/330.25	c cleaning 413 clauses out of 1451
334.23/334.63	c cleaning 424 clauses out of 1538
339.61/340.06	c cleaning 563 clauses out of 1614
343.89/344.36	c cleaning 542 clauses out of 1550
348.27/348.75	c cleaning 482 clauses out of 1508
352.84/353.35	c cleaning 472 clauses out of 1526
358.41/358.91	c cleaning 421 clauses out of 1554
362.69/363.20	c cleaning 513 clauses out of 1633
366.87/367.45	c cleaning 503 clauses out of 1620
371.15/371.77	c cleaning 501 clauses out of 1620
376.52/377.13	c cleaning 511 clauses out of 1616
380.80/381.44	c cleaning 508 clauses out of 1609
385.17/385.84	c cleaning 556 clauses out of 1600
389.45/390.18	c cleaning 503 clauses out of 1539
394.83/395.51	c cleaning 525 clauses out of 1536
399.01/399.77	c cleaning 503 clauses out of 1511
403.48/404.25	c cleaning 473 clauses out of 1508
407.86/408.67	c cleaning 496 clauses out of 1540
413.53/414.35	c cleaning 467 clauses out of 1540
417.71/418.58	c cleaning 473 clauses out of 1573
422.19/423.04	c cleaning 694 clauses out of 1599
426.66/427.58	c cleaning 366 clauses out of 1405
432.23/433.15	c cleaning 355 clauses out of 1539
436.62/437.56	c cleaning 456 clauses out of 1684
441.20/442.12	c cleaning 783 clauses out of 1730
445.58/446.54	c cleaning 556 clauses out of 1445
451.24/452.20	c cleaning 580 clauses out of 1389
455.62/456.67	c cleaning 412 clauses out of 1309
460.00/461.04	c cleaning 431 clauses out of 1397
464.58/465.60	c cleaning 678 clauses out of 1466
470.15/471.24	c cleaning 535 clauses out of 1288
474.63/475.74	c cleaning 382 clauses out of 1254
479.01/480.13	c cleaning 408 clauses out of 1370
483.58/484.75	c cleaning 634 clauses out of 1462
489.25/490.47	c cleaning 580 clauses out of 1328
493.83/495.04	c cleaning 362 clauses out of 1252
498.11/499.32	c cleaning 380 clauses out of 1386
502.49/503.73	c cleaning 456 clauses out of 1507
507.96/509.26	c cleaning 393 clauses out of 1551
512.34/513.62	c cleaning 729 clauses out of 1660
516.61/517.98	c cleaning 564 clauses out of 1428
520.99/522.40	c cleaning 405 clauses out of 1364
526.46/527.89	c cleaning 402 clauses out of 1459
530.84/532.26	c cleaning 709 clauses out of 1558
535.21/536.68	c cleaning 381 clauses out of 1348
539.49/540.98	c cleaning 503 clauses out of 1467
544.96/546.42	c cleaning 440 clauses out of 1464
549.24/550.72	c cleaning 444 clauses out of 1526
553.63/555.16	c cleaning 651 clauses out of 1584
557.91/559.49	c cleaning 410 clauses out of 1429
563.48/565.02	c cleaning 639 clauses out of 1519
567.95/569.50	c cleaning 542 clauses out of 1382
572.14/573.73	c cleaning 554 clauses out of 1341
576.52/578.19	c cleaning 392 clauses out of 1284
581.99/583.66	c cleaning 367 clauses out of 1392
586.66/588.36	c cleaning 632 clauses out of 1525
591.15/592.90	c cleaning 547 clauses out of 1393
595.42/597.18	c cleaning 348 clauses out of 1346
600.89/602.62	c cleaning 594 clauses out of 1498
605.17/606.96	c cleaning 546 clauses out of 1404
609.54/611.39	c cleaning 506 clauses out of 1358
614.12/615.95	c cleaning 366 clauses out of 1352
619.60/621.47	c cleaning 409 clauses out of 1490
624.08/625.94	c cleaning 447 clauses out of 1577
628.55/630.43	c cleaning 337 clauses out of 1630
632.83/634.71	c cleaning 419 clauses out of 1793
638.31/640.26	c cleaning 484 clauses out of 1872
642.88/644.80	c cleaning 497 clauses out of 1889
647.15/649.11	c cleaning 504 clauses out of 1891
651.63/653.61	c cleaning 454 clauses out of 1887
657.10/659.18	c cleaning 475 clauses out of 1933
661.68/663.78	c cleaning 487 clauses out of 1958
666.26/668.39	c cleaning 468 clauses out of 1971
670.83/672.95	c cleaning 464 clauses out of 2003
676.30/678.45	c cleaning 477 clauses out of 2040
680.89/683.02	c cleaning 484 clauses out of 2064
685.46/687.69	c cleaning 448 clauses out of 2078
689.84/692.04	c cleaning 487 clauses out of 2130
695.31/697.59	c cleaning 477 clauses out of 2143
699.68/702.00	c cleaning 452 clauses out of 2171
704.16/706.48	c cleaning 479 clauses out of 2214
708.74/711.08	c cleaning 514 clauses out of 2235
713.23/715.56	c cleaning 462 clauses out of 2221
716.93/719.24	c cleaning 478 clauses out of 2260
720.53/722.84	c cleaning 469 clauses out of 2281
724.13/726.43	c cleaning 479 clauses out of 2312
728.53/730.81	c cleaning 498 clauses out of 2333
732.02/734.37	c cleaning 477 clauses out of 2335
735.62/737.99	c cleaning 495 clauses out of 2358
739.32/741.63	c cleaning 529 clauses out of 2363
743.72/746.09	c cleaning 679 clauses out of 2333
747.41/749.79	c cleaning 528 clauses out of 2154
751.21/753.56	c cleaning 605 clauses out of 2126
754.91/757.21	c cleaning 522 clauses out of 2021
759.30/761.69	c cleaning 559 clauses out of 1999
763.00/765.32	c cleaning 461 clauses out of 1939
766.60/768.95	c cleaning 505 clauses out of 1978
770.30/772.68	c cleaning 505 clauses out of 1973
774.70/777.04	c cleaning 554 clauses out of 1968
778.29/780.70	c cleaning 474 clauses out of 1914
782.09/784.45	c cleaning 458 clauses out of 1940
785.79/788.16	c cleaning 431 clauses out of 1982
790.19/792.60	c cleaning 541 clauses out of 2052
793.88/796.27	c cleaning 479 clauses out of 2012
797.48/799.82	c cleaning 474 clauses out of 2031
801.08/803.46	c cleaning 478 clauses out of 2057
805.39/807.79	c cleaning 505 clauses out of 2079
809.09/811.44	c cleaning 483 clauses out of 2074
812.59/815.00	c cleaning 496 clauses out of 2104
816.38/818.75	c cleaning 426 clauses out of 2095
820.78/823.10	c cleaning 450 clauses out of 2169
824.38/826.75	c cleaning 460 clauses out of 2219
828.08/830.42	c cleaning 510 clauses out of 2268
831.58/833.95	c cleaning 519 clauses out of 2249
836.07/838.40	c cleaning 500 clauses out of 2230
839.67/842.01	c cleaning 503 clauses out of 2230
843.27/845.66	c cleaning 524 clauses out of 2227
846.97/849.39	c cleaning 890 clauses out of 2203
851.47/853.80	c cleaning 573 clauses out of 1819
855.16/857.59	c cleaning 386 clauses out of 1740
858.97/861.31	c cleaning 392 clauses out of 1854
862.66/865.07	c cleaning 815 clauses out of 1962
867.26/869.69	c cleaning 406 clauses out of 1647
870.96/873.39	c cleaning 451 clauses out of 1741
874.66/877.03	c cleaning 365 clauses out of 1791
878.35/880.71	c cleaning 400 clauses out of 1925
882.75/885.17	c cleaning 443 clauses out of 2025
886.45/888.83	c cleaning 466 clauses out of 2084
890.25/892.61	c cleaning 807 clauses out of 2116
894.05/896.41	c cleaning 528 clauses out of 1809
898.55/900.91	c cleaning 459 clauses out of 1781
902.24/904.61	c cleaning 408 clauses out of 1822
905.94/908.32	c cleaning 421 clauses out of 1914
909.64/912.03	c cleaning 411 clauses out of 1993
913.94/916.39	c cleaning 746 clauses out of 2082
917.74/920.10	c cleaning 606 clauses out of 1837
921.33/923.75	c cleaning 406 clauses out of 1730
924.93/927.37	c cleaning 348 clauses out of 1824
929.33/931.76	c cleaning 442 clauses out of 1976
933.02/935.49	c cleaning 442 clauses out of 2035
936.82/939.22	c cleaning 778 clauses out of 2092
940.62/943.00	c cleaning 471 clauses out of 1814
945.02/947.49	c cleaning 544 clauses out of 1843
948.82/951.25	c cleaning 383 clauses out of 1799
952.51/954.98	c cleaning 446 clauses out of 1916
956.31/958.70	c cleaning 413 clauses out of 1970
960.71/963.17	c cleaning 496 clauses out of 2057
964.42/966.81	c cleaning 463 clauses out of 2061
968.31/970.74	c cleaning 793 clauses out of 2120
971.91/974.39	c cleaning 548 clauses out of 1805
976.31/978.79	c cleaning 347 clauses out of 1757
980.01/982.43	c cleaning 368 clauses out of 1910
983.50/986.00	c cleaning 511 clauses out of 2043
987.40/989.88	c cleaning 477 clauses out of 2028
991.90/994.37	c cleaning 745 clauses out of 2051
996.10/998.52	c cleaning 533 clauses out of 1803
999.90/1002.32	c cleaning 39 clauses out of 1770
1003.79/1006.21	c cleaning 248 clauses out of 2231
1008.29/1010.78	c cleaning 372 clauses out of 2483
1011.99/1014.48	c cleaning 449 clauses out of 2611
1015.78/1018.28	c cleaning 401 clauses out of 2662
1019.68/1022.16	c cleaning 475 clauses out of 2761
1024.28/1026.75	c cleaning 587 clauses out of 2785
1028.08/1030.52	c cleaning 407 clauses out of 2698
1031.88/1034.36	c cleaning 478 clauses out of 2791
1035.48/1037.98	c cleaning 547 clauses out of 2813
1039.87/1042.35	c cleaning 565 clauses out of 2766
1043.68/1046.11	c cleaning 458 clauses out of 2701
1047.47/1049.93	c cleaning 586 clauses out of 2743
1051.17/1053.61	c cleaning 513 clauses out of 2659
1055.47/1057.99	c cleaning 505 clauses out of 2644
1059.36/1061.80	c cleaning 513 clauses out of 2638
1063.26/1065.74	c cleaning 556 clauses out of 2623
1067.06/1069.53	c cleaning 534 clauses out of 2565
1071.57/1074.08	c cleaning 525 clauses out of 2532
1075.26/1077.79	c cleaning 432 clauses out of 2506
1079.07/1081.56	c cleaning 444 clauses out of 2574
1082.86/1085.38	c cleaning 456 clauses out of 2634
1087.36/1089.85	c cleaning 505 clauses out of 2674
1091.26/1093.70	c cleaning 536 clauses out of 2669
1095.06/1097.57	c cleaning 459 clauses out of 2633
1098.86/1101.38	c cleaning 488 clauses out of 2674
1103.45/1105.93	c cleaning 439 clauses out of 2686
1107.25/1109.80	c cleaning 553 clauses out of 2749
1111.25/1113.72	c cleaning 422 clauses out of 2697
1114.95/1117.44	c cleaning 444 clauses out of 2772
1119.45/1121.99	c cleaning 445 clauses out of 2828
1123.24/1125.77	c cleaning 513 clauses out of 2883
1127.04/1129.60	c cleaning 366 clauses out of 2869
1131.04/1133.50	c cleaning 548 clauses out of 3003
1135.34/1137.87	c cleaning 541 clauses out of 2955
1139.24/1141.72	c cleaning 507 clauses out of 2914
1143.03/1145.51	c cleaning 504 clauses out of 2907
1146.73/1149.29	c cleaning 481 clauses out of 2904
1151.33/1153.89	c cleaning 562 clauses out of 2922
1155.12/1157.64	c cleaning 541 clauses out of 2860
1158.92/1161.41	c cleaning 486 clauses out of 2819
1162.62/1165.14	c cleaning 506 clauses out of 2833
1166.42/1168.97	c cleaning 434 clauses out of 2827
1170.22/1172.78	c cleaning 408 clauses out of 2893
1173.92/1176.43	c cleaning 571 clauses out of 2985
1177.61/1180.13	c cleaning 580 clauses out of 2916
1182.22/1184.71	c cleaning 522 clauses out of 2834
1186.01/1188.59	c cleaning 370 clauses out of 2812
1189.91/1192.44	c cleaning 480 clauses out of 2942
1193.70/1196.25	c cleaning 529 clauses out of 2962
1197.51/1200.08	c cleaning 484 clauses out of 2933
1201.40/1203.98	c cleaning 555 clauses out of 2949
1205.10/1207.69	c cleaning 548 clauses out of 2894
1208.90/1211.42	c cleaning 546 clauses out of 2846
1213.39/1215.92	c cleaning 422 clauses out of 2800
1217.09/1219.68	c cleaning 1163 clauses out of 2878
1220.89/1223.42	c cleaning 700 clauses out of 2215
1224.69/1227.26	c cleaning 416 clauses out of 2015
1228.49/1231.01	c cleaning 409 clauses out of 2100
1232.19/1234.74	c cleaning 240 clauses out of 2190
1235.99/1238.51	c cleaning 353 clauses out of 2450
1239.68/1242.28	c cleaning 405 clauses out of 2597
1244.18/1246.80	c cleaning 449 clauses out of 2694
1247.98/1250.56	c cleaning 456 clauses out of 2745
1251.68/1254.26	c cleaning 466 clauses out of 2787
1255.37/1257.94	c cleaning 1070 clauses out of 2823
1259.87/1262.48	c cleaning 699 clauses out of 2253
1263.58/1266.17	c cleaning 475 clauses out of 2054
1267.37/1269.91	c cleaning 237 clauses out of 2079
1271.07/1273.68	c cleaning 316 clauses out of 2340
1275.67/1278.22	c cleaning 412 clauses out of 2524
1279.57/1282.16	c cleaning 442 clauses out of 2612
1283.46/1286.03	c cleaning 414 clauses out of 2670
1287.16/1289.77	c cleaning 416 clauses out of 2756
1291.16/1293.74	c cleaning 420 clauses out of 2840
1294.86/1297.49	c cleaning 407 clauses out of 2922
1298.66/1301.28	c cleaning 1112 clauses out of 3013
1302.35/1304.98	c cleaning 721 clauses out of 2401
1306.85/1309.49	c cleaning 406 clauses out of 2181
1310.95/1313.50	c cleaning 675 clauses out of 2274
1314.85/1317.42	c cleaning 244 clauses out of 2099
1318.55/1321.17	c cleaning 328 clauses out of 2355
1323.05/1325.68	c cleaning 395 clauses out of 2530
1326.85/1329.48	c cleaning 388 clauses out of 2634
1330.65/1333.27	c cleaning 514 clauses out of 2744
1334.35/1336.98	c cleaning 527 clauses out of 2730
1339.14/1341.75	c cleaning 536 clauses out of 2703
1343.04/1345.61	c cleaning 945 clauses out of 2665
1346.84/1349.42	c cleaning 626 clauses out of 2220
1350.54/1353.18	c cleaning 391 clauses out of 2094
1354.94/1357.55	c cleaning 375 clauses out of 2203
1358.73/1361.39	c cleaning 250 clauses out of 2329
1362.54/1365.18	c cleaning 409 clauses out of 2578
1366.43/1369.03	c cleaning 451 clauses out of 2669
1370.93/1373.52	c cleaning 164 clauses out of 2720
1374.63/1377.28	c cleaning 328 clauses out of 3055
1378.32/1380.93	c cleaning 394 clauses out of 3226
1382.02/1384.68	c cleaning 448 clauses out of 3332
1386.62/1389.22	c cleaning 561 clauses out of 3384
1390.42/1393.02	c cleaning 493 clauses out of 3323
1394.22/1396.83	c cleaning 446 clauses out of 3330
1398.02/1400.60	c cleaning 568 clauses out of 3384
1402.51/1405.12	c cleaning 550 clauses out of 3316
1406.21/1408.90	c cleaning 475 clauses out of 3268
1410.01/1412.61	c cleaning 547 clauses out of 3291
1413.71/1416.37	c cleaning 472 clauses out of 3244
1417.61/1420.20	c cleaning 504 clauses out of 3277
1421.40/1424.02	c cleaning 451 clauses out of 3268
1425.20/1427.85	c cleaning 506 clauses out of 3317
1429.00/1431.66	c cleaning 438 clauses out of 3311
1432.80/1435.41	c cleaning 503 clauses out of 3373
1436.50/1439.20	c cleaning 484 clauses out of 3370
1440.40/1443.06	c cleaning 511 clauses out of 3389
1444.29/1446.92	c cleaning 505 clauses out of 3381
1447.99/1450.69	c cleaning 481 clauses out of 3370
1451.89/1454.53	c cleaning 478 clauses out of 3389
1455.79/1458.41	c cleaning 645 clauses out of 3411
1459.59/1462.26	c cleaning 642 clauses out of 3266
1464.28/1466.94	c cleaning 512 clauses out of 3124
1468.08/1470.75	c cleaning 453 clauses out of 3112
1471.88/1474.56	c cleaning 486 clauses out of 3159
1475.78/1478.44	c cleaning 485 clauses out of 3173
1480.28/1482.94	c cleaning 476 clauses out of 3189
1484.08/1486.79	c cleaning 477 clauses out of 3215
1487.89/1490.58	c cleaning 447 clauses out of 3235
1491.58/1494.28	c cleaning 386 clauses out of 3289
1495.38/1498.03	c cleaning 460 clauses out of 3410
1498.98/1501.69	c cleaning 478 clauses out of 3442
1502.77/1505.40	c cleaning 465 clauses out of 3464
1506.48/1509.16	c cleaning 491 clauses out of 3499
1510.17/1512.90	c cleaning 488 clauses out of 3508
1513.87/1516.55	c cleaning 478 clauses out of 3520
1517.57/1520.25	c cleaning 494 clauses out of 3546
1521.27/1523.94	c cleaning 502 clauses out of 3548
1524.97/1527.69	c cleaning 496 clauses out of 3555
1528.66/1531.34	c cleaning 497 clauses out of 3552
1532.36/1535.08	c cleaning 500 clauses out of 3553
1536.16/1538.87	c cleaning 673 clauses out of 3553
1539.96/1542.67	c cleaning 657 clauses out of 3379
1543.86/1546.54	c cleaning 505 clauses out of 3222
1547.65/1550.32	c cleaning 568 clauses out of 3217
1551.35/1554.01	c cleaning 526 clauses out of 3151
1555.95/1558.62	c cleaning 545 clauses out of 3123
1559.75/1562.45	c cleaning 546 clauses out of 3080
1563.55/1566.29	c cleaning 485 clauses out of 3032
1567.54/1570.23	c cleaning 476 clauses out of 3048
1572.14/1574.87	c cleaning 1146 clauses out of 3071
1576.04/1578.70	c cleaning 685 clauses out of 2427
1579.83/1582.54	c cleaning 206 clauses out of 2240
1583.74/1586.47	c cleaning 367 clauses out of 2534
1588.33/1591.04	c cleaning 449 clauses out of 2667
1592.13/1594.83	c cleaning 458 clauses out of 2720
1595.93/1598.63	c cleaning 496 clauses out of 2760
1599.83/1602.53	c cleaning 490 clauses out of 2764
1604.52/1607.21	c cleaning 454 clauses out of 2777
1608.32/1611.01	c cleaning 396 clauses out of 2820
1612.02/1614.74	c cleaning 461 clauses out of 2925
1615.82/1618.56	c cleaning 962 clauses out of 2964
1620.22/1622.95	c cleaning 650 clauses out of 2501
1624.02/1626.77	c cleaning 354 clauses out of 2352
1627.82/1630.59	c cleaning 737 clauses out of 2497
1631.62/1634.32	c cleaning 380 clauses out of 2260
1636.23/1638.91	c cleaning 347 clauses out of 2380
1639.92/1642.70	c cleaning 415 clauses out of 2533
1643.81/1646.60	c cleaning 478 clauses out of 2619
1647.61/1650.39	c cleaning 434 clauses out of 2640
1652.11/1654.86	c cleaning 445 clauses out of 2709
1655.91/1658.64	c cleaning 451 clauses out of 2761
1659.80/1662.58	c cleaning 404 clauses out of 2810
1663.60/1666.31	c cleaning 858 clauses out of 2908
1668.11/1670.83	c cleaning 739 clauses out of 2549
1671.90/1674.69	c cleaning 283 clauses out of 2309
1675.80/1678.56	c cleaning 402 clauses out of 2526
1679.60/1682.33	c cleaning 447 clauses out of 2627
1684.20/1686.98	c cleaning 310 clauses out of 2677
1688.09/1690.87	c cleaning 454 clauses out of 2867
1691.89/1694.67	c cleaning 509 clauses out of 2918
1695.59/1698.38	c cleaning 493 clauses out of 2904
1699.39/1702.14	c cleaning 497 clauses out of 2914
1703.09/1705.89	c cleaning 848 clauses out of 2914
1706.78/1709.59	c cleaning 828 clauses out of 2567
1710.58/1713.32	c cleaning 291 clauses out of 2240
1714.39/1717.16	c cleaning 380 clauses out of 2447
1718.28/1721.05	c cleaning 428 clauses out of 2567
1722.08/1724.83	c cleaning 0 clauses out of 2639
1725.88/1728.63	c cleaning 186 clauses out of 3141
1730.38/1733.15	c cleaning 349 clauses out of 3453
1734.17/1736.92	c cleaning 451 clauses out of 3604
1737.97/1740.78	c cleaning 488 clauses out of 3655
1741.87/1744.62	c cleaning 505 clauses out of 3665
1746.47/1749.22	c cleaning 498 clauses out of 3660
1750.26/1753.06	c cleaning 491 clauses out of 3662
1754.16/1756.94	c cleaning 489 clauses out of 3671
1757.96/1760.79	c cleaning 519 clauses out of 3682
1761.86/1764.65	c cleaning 504 clauses out of 3665
1765.66/1768.44	c cleaning 527 clauses out of 3661
1769.46/1772.24	c cleaning 548 clauses out of 3634
1773.25/1776.08	c cleaning 558 clauses out of 3584
1777.75/1780.55	c cleaning 520 clauses out of 3526
1781.65/1784.43	c cleaning 454 clauses out of 3506
1785.34/1788.17	c cleaning 488 clauses out of 3552
1789.25/1792.07	c cleaning 527 clauses out of 3564
1793.94/1796.76	c cleaning 498 clauses out of 3537
1797.85/1800.62	c cleaning 444 clauses out of 3539
1801.34/1804.13	c starts		: 17
1801.34/1804.13	c conflicts		: 191019
1801.34/1804.13	c decisions		: 3221143
1801.34/1804.13	c propagations		: 16505620
1801.34/1804.13	c inspects		: 619139519
1801.34/1804.13	c learnt literals	: 34
1801.34/1804.13	c learnt binary clauses	: 1355
1801.34/1804.14	c learnt ternary clauses	: 2588
1801.34/1804.14	c learnt clauses	: 190985
1801.34/1804.14	c ignored clauses	: 0
1801.34/1804.14	c root simplifications	: 0
1801.34/1804.14	c removed literals (reason simplification)	: 898938
1801.34/1804.14	c reason swapping (by a shorter reason)	: 0
1801.34/1804.14	c Calls to reduceDB	: 382
1801.34/1804.14	c speed (assignments/second)	: 10376.716354855522
1801.34/1804.14	c non guided choices	11024
1801.34/1804.15	c learnt constraints type 
1801.34/1804.15	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 1355
1801.34/1804.15	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 1768
1801.34/1804.15	c constraints type 
1801.34/1804.15	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 9350502
1801.34/1804.15	c org.sat4j.minisat.constraints.cnf.UnitClauses => 2
1801.34/1804.15	c org.sat4j.minisat.constraints.card.AtLeast => 74
1801.34/1804.15	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 8637
1801.34/1804.15	s UNKNOWN
1801.34/1804.15	c Total wall clock time (in seconds) : 1803.872

Verifier Data 

ERROR: Unexpected answer ! ('s SATISFIABLE'/'s UNSATISFIABLE' expected)
Got answer: UNKNOWN

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2071449-1247353771/watcher-2071449-1247353771 -o /tmp/evaluation-result-2071449-1247353771/solver-2071449-1247353771 -C 1800 -W 2000 -M 900 java6 -server -Xms650m -Xmx650m -jar HOME/sat4j-csp.jar HOME/instance-2071449-1247353771.xml 

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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.24 2.10 2.04 4/83 18685
/proc/meminfo: memFree=650040/2055920 swapFree=4192956/4192956
[pid=18685] ppid=18683 vsize=152 CPUtime=0
/proc/18685/stat : 18685 (java6) R 18683 18685 18296 0 -1 0 41 0 0 0 0 0 0 0 18 0 1 0 22444842 155648 26 996147200 134512640 134550932 4294956176 18446744073709551615 5828907 0 0 4096 0 0 0 0 17 0 0 0
/proc/18685/statm: 38 26 19 9 0 4 0

[startup+0.0467049 s]
/proc/loadavg: 2.24 2.10 2.04 4/83 18685
/proc/meminfo: memFree=650040/2055920 swapFree=4192956/4192956
[pid=18685] ppid=18683 vsize=800696 CPUtime=0.02
/proc/18685/stat : 18685 (java) S 18683 18685 18296 0 -1 0 2424 0 1 0 1 1 0 0 18 0 4 0 22444842 819912704 2171 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0
/proc/18685/statm: 200174 2171 938 9 0 197525 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 800696

[startup+0.101854 s]
/proc/loadavg: 2.24 2.10 2.04 4/83 18685
/proc/meminfo: memFree=650040/2055920 swapFree=4192956/4192956
[pid=18685] ppid=18683 vsize=802164 CPUtime=0.08
/proc/18685/stat : 18685 (java) S 18683 18685 18296 0 -1 0 2895 0 1 0 6 2 0 0 18 0 7 0 22444842 821415936 2640 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0
/proc/18685/statm: 200541 2640 1043 9 0 197892 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 802164

[startup+0.301728 s]
/proc/loadavg: 2.24 2.10 2.04 4/83 18685
/proc/meminfo: memFree=650040/2055920 swapFree=4192956/4192956
[pid=18685] ppid=18683 vsize=805628 CPUtime=0.28
/proc/18685/stat : 18685 (java) S 18683 18685 18296 0 -1 0 4231 0 1 0 24 4 0 0 18 0 12 0 22444842 824963072 3968 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18685/statm: 201407 3968 1358 9 0 198734 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 805628

[startup+0.701775 s]
/proc/loadavg: 2.24 2.10 2.04 4/83 18685
/proc/meminfo: memFree=650040/2055920 swapFree=4192956/4192956
[pid=18685] ppid=18683 vsize=807184 CPUtime=0.68
/proc/18685/stat : 18685 (java) S 18683 18685 18296 0 -1 0 6019 0 1 0 63 5 0 0 18 0 12 0 22444842 826556416 5505 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18685/statm: 201796 5505 1385 9 0 199123 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 807184

[startup+1.50287 s]
/proc/loadavg: 2.24 2.10 2.04 4/95 18697
/proc/meminfo: memFree=691608/2055920 swapFree=4192956/4192956
[pid=18685] ppid=18683 vsize=812860 CPUtime=1.48
/proc/18685/stat : 18685 (java) S 18683 18685 18296 0 -1 0 10897 0 1 0 141 7 0 0 18 0 12 0 22444842 832368640 9232 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18685/statm: 203215 9232 1407 9 0 200542 0
[pid=18685/tid=18687] ppid=18683 vsize=812860 CPUtime=0.62
/proc/18685/task/18687/stat : 18687 (java) R 18683 18685 18296 0 -1 64 6490 0 1 0 57 5 0 0 21 0 12 0 22444844 832368640 9232 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18685/tid=18688] ppid=18683 vsize=812860 CPUtime=0
/proc/18685/task/18688/stat : 18688 (java) S 18683 18685 18296 0 -1 64 3 0 0 0 0 0 0 0 18 0 12 0 22444845 832368640 9232 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18685/tid=18689] ppid=18683 vsize=812860 CPUtime=0
/proc/18685/task/18689/stat : 18689 (java) S 18683 18685 18296 0 -1 64 1 0 0 0 0 0 0 0 19 0 12 0 22444845 832368640 9232 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18685/tid=18690] ppid=18683 vsize=812860 CPUtime=0
/proc/18685/task/18690/stat : 18690 (java) S 18683 18685 18296 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 22444847 832368640 9232 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18685/tid=18691] ppid=18683 vsize=812860 CPUtime=0
/proc/18685/task/18691/stat : 18691 (java) S 18683 18685 18296 0 -1 64 10 0 0 0 0 0 0 0 21 0 12 0 22444848 832368640 9232 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18685/tid=18692] ppid=18683 vsize=812860 CPUtime=0
/proc/18685/task/18692/stat : 18692 (java) S 18683 18685 18296 0 -1 64 4 0 0 0 0 0 0 0 22 0 12 0 22444848 832368640 9232 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18685/tid=18693] ppid=18683 vsize=812860 CPUtime=0
/proc/18685/task/18693/stat : 18693 (java) S 18683 18685 18296 0 -1 64 0 0 0 0 0 0 0 0 18 0 12 0 22444853 832368640 9232 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18685/tid=18694] ppid=18683 vsize=812860 CPUtime=0
/proc/18685/task/18694/stat : 18694 (java) S 18683 18685 18296 0 -1 64 13 0 0 0 0 0 0 0 19 0 12 0 22444853 832368640 9232 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18685/tid=18695] ppid=18683 vsize=812860 CPUtime=0.84
/proc/18685/task/18695/stat : 18695 (java) R 18683 18685 18296 0 -1 64 3651 0 0 0 83 1 0 0 17 0 12 0 22444853 832368640 9232 996147200 134512640 134550932 4294956016 18446744073709551615 103211906 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18685/tid=18696] ppid=18683 vsize=812860 CPUtime=0
/proc/18685/task/18696/stat : 18696 (java) S 18683 18685 18296 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 22444853 832368640 9232 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18685/tid=18697] ppid=18683 vsize=812860 CPUtime=0
/proc/18685/task/18697/stat : 18697 (java) S 18683 18685 18296 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 22444853 832368640 9232 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 812860

[startup+3.10205 s]
/proc/loadavg: 2.22 2.10 2.04 4/95 18697
/proc/meminfo: memFree=671384/2055920 swapFree=4192956/4192956
[pid=18685] ppid=18683 vsize=812860 CPUtime=3.05
/proc/18685/stat : 18685 (java) S 18683 18685 18296 0 -1 0 15635 0 1 0 296 9 0 0 18 0 12 0 22444842 832368640 13968 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18685/statm: 203215 13969 1412 9 0 200542 0
[pid=18685/tid=18687] ppid=18683 vsize=812860 CPUtime=1.56
/proc/18685/task/18687/stat : 18687 (java) R 18683 18685 18296 0 -1 64 11107 0 1 0 150 6 0 0 17 0 12 0 22444844 832368640 13969 996147200 134512640 134550932 4294956016 18446744073709551615 4109658036 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18685/tid=18688] ppid=18683 vsize=812860 CPUtime=0
/proc/18685/task/18688/stat : 18688 (java) S 18683 18685 18296 0 -1 64 3 0 0 0 0 0 0 0 18 0 12 0 22444845 832368640 13970 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18685/tid=18689] ppid=18683 vsize=812860 CPUtime=0
/proc/18685/task/18689/stat : 18689 (java) S 18683 18685 18296 0 -1 64 1 0 0 0 0 0 0 0 19 0 12 0 22444845 832368640 13970 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18685/tid=18690] ppid=18683 vsize=812860 CPUtime=0
/proc/18685/task/18690/stat : 18690 (java) S 18683 18685 18296 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 22444847 832368640 13971 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18685/tid=18691] ppid=18683 vsize=812860 CPUtime=0
/proc/18685/task/18691/stat : 18691 (java) S 18683 18685 18296 0 -1 64 10 0 0 0 0 0 0 0 21 0 12 0 22444848 832368640 13971 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18685/tid=18692] ppid=18683 vsize=812860 CPUtime=0
/proc/18685/task/18692/stat : 18692 (java) S 18683 18685 18296 0 -1 64 4 0 0 0 0 0 0 0 22 0 12 0 22444848 832368640 13972 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18685/tid=18693] ppid=18683 vsize=812860 CPUtime=0
/proc/18685/task/18693/stat : 18693 (java) S 18683 18685 18296 0 -1 64 0 0 0 0 0 0 0 0 18 0 12 0 22444853 832368640 13972 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18685/tid=18694] ppid=18683 vsize=812860 CPUtime=0
/proc/18685/task/18694/stat : 18694 (java) S 18683 18685 18296 0 -1 64 13 0 0 0 0 0 0 0 19 0 12 0 22444853 832368640 13973 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18685/tid=18695] ppid=18683 vsize=812860 CPUtime=1.46
/proc/18685/task/18695/stat : 18695 (java) S 18683 18685 18296 0 -1 64 3773 0 0 0 145 1 0 0 17 0 12 0 22444853 832368640 13973 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18685/tid=18696] ppid=18683 vsize=812860 CPUtime=0
/proc/18685/task/18696/stat : 18696 (java) S 18683 18685 18296 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 22444853 832368640 13974 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18685/tid=18697] ppid=18683 vsize=812860 CPUtime=0
/proc/18685/task/18697/stat : 18697 (java) S 18683 18685 18296 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 22444853 832368640 13974 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 812860

[startup+6.30242 s]
/proc/loadavg: 2.22 2.10 2.04 3/95 18697
/proc/meminfo: memFree=624728/2055920 swapFree=4192956/4192956
[pid=18685] ppid=18683 vsize=812860 CPUtime=6.24
/proc/18685/stat : 18685 (java) S 18683 18685 18296 0 -1 0 25920 0 1 0 610 14 0 0 18 0 12 0 22444842 832368640 24249 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18685/statm: 203215 24249 1422 9 0 200542 0
[pid=18685/tid=18687] ppid=18683 vsize=812860 CPUtime=4.5
/proc/18685/task/18687/stat : 18687 (java) R 18683 18685 18296 0 -1 64 16920 0 1 0 441 9 0 0 25 0 12 0 22444844 832368640 24249 996147200 134512640 134550932 4294956016 18446744073709551615 4109649614 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18685/tid=18688] ppid=18683 vsize=812860 CPUtime=0.09
/proc/18685/task/18688/stat : 18688 (java) S 18683 18685 18296 0 -1 64 2314 0 0 0 8 1 0 0 17 0 12 0 22444845 832368640 24249 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18685/tid=18689] ppid=18683 vsize=812860 CPUtime=0.07
/proc/18685/task/18689/stat : 18689 (java) S 18683 18685 18296 0 -1 64 2137 0 0 0 7 0 0 0 17 0 12 0 22444845 832368640 24249 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18685/tid=18690] ppid=18683 vsize=812860 CPUtime=0
/proc/18685/task/18690/stat : 18690 (java) S 18683 18685 18296 0 -1 64 19 0 0 0 0 0 0 0 16 0 12 0 22444847 832368640 24249 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18685/tid=18691] ppid=18683 vsize=812860 CPUtime=0
/proc/18685/task/18691/stat : 18691 (java) S 18683 18685 18296 0 -1 64 10 0 0 0 0 0 0 0 16 0 12 0 22444848 832368640 24249 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18685/tid=18692] ppid=18683 vsize=812860 CPUtime=0
/proc/18685/task/18692/stat : 18692 (java) S 18683 18685 18296 0 -1 64 7 0 0 0 0 0 0 0 16 0 12 0 22444848 832368640 24249 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18685/tid=18693] ppid=18683 vsize=812860 CPUtime=0
/proc/18685/task/18693/stat : 18693 (java) S 18683 18685 18296 0 -1 64 0 0 0 0 0 0 0 0 18 0 12 0 22444853 832368640 24249 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18685/tid=18694] ppid=18683 vsize=812860 CPUtime=0
/proc/18685/task/18694/stat : 18694 (java) S 18683 18685 18296 0 -1 64 13 0 0 0 0 0 0 0 19 0 12 0 22444853 832368640 24249 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18685/tid=18695] ppid=18683 vsize=812860 CPUtime=1.52
/proc/18685/task/18695/stat : 18695 (java) S 18683 18685 18296 0 -1 64 3777 0 0 0 151 1 0 0 16 0 12 0 22444853 832368640 24249 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18685/tid=18696] ppid=18683 vsize=812860 CPUtime=0
/proc/18685/task/18696/stat : 18696 (java) S 18683 18685 18296 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 22444853 832368640 24249 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18685/tid=18697] ppid=18683 vsize=812860 CPUtime=0
/proc/18685/task/18697/stat : 18697 (java) S 18683 18685 18296 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 22444853 832368640 24249 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 812860

[startup+12.7022 s]
/proc/loadavg: 2.27 2.11 2.04 4/95 18697
/proc/meminfo: memFree=610264/2055920 swapFree=4192956/4192956
[pid=18685] ppid=18683 vsize=812860 CPUtime=12.63
/proc/18685/stat : 18685 (java) S 18683 18685 18296 0 -1 0 28860 0 1 0 1248 15 0 0 18 0 12 0 22444842 832368640 27144 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18685/statm: 203215 27144 1422 9 0 200542 0
[pid=18685/tid=18687] ppid=18683 vsize=812860 CPUtime=10.59
/proc/18685/task/18687/stat : 18687 (java) R 18683 18685 18296 0 -1 64 16927 0 1 0 1050 9 0 0 25 0 12 0 22444844 832368640 27144 996147200 134512640 134550932 4294956016 18446744073709551615 4109812406 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18685/tid=18688] ppid=18683 vsize=812860 CPUtime=0.22
/proc/18685/task/18688/stat : 18688 (java) S 18683 18685 18296 0 -1 64 3551 0 0 0 21 1 0 0 16 0 12 0 22444845 832368640 27144 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18685/tid=18689] ppid=18683 vsize=812860 CPUtime=0.26
/proc/18685/task/18689/stat : 18689 (java) S 18683 18685 18296 0 -1 64 3833 0 0 0 25 1 0 0 17 0 12 0 22444845 832368640 27144 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18685/tid=18690] ppid=18683 vsize=812860 CPUtime=0
/proc/18685/task/18690/stat : 18690 (java) S 18683 18685 18296 0 -1 64 19 0 0 0 0 0 0 0 16 0 12 0 22444847 832368640 27144 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18685/tid=18691] ppid=18683 vsize=812860 CPUtime=0
/proc/18685/task/18691/stat : 18691 (java) S 18683 18685 18296 0 -1 64 10 0 0 0 0 0 0 0 16 0 12 0 22444848 832368640 27144 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18685/tid=18692] ppid=18683 vsize=812860 CPUtime=0
/proc/18685/task/18692/stat : 18692 (java) S 18683 18685 18296 0 -1 64 7 0 0 0 0 0 0 0 16 0 12 0 22444848 832368640 27144 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18685/tid=18693] ppid=18683 vsize=812860 CPUtime=0
/proc/18685/task/18693/stat : 18693 (java) S 18683 18685 18296 0 -1 64 0 0 0 0 0 0 0 0 18 0 12 0 22444853 832368640 27144 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18685/tid=18694] ppid=18683 vsize=812860 CPUtime=0
/proc/18685/task/18694/stat : 18694 (java) S 18683 18685 18296 0 -1 64 13 0 0 0 0 0 0 0 19 0 12 0 22444853 832368640 27144 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18685/tid=18695] ppid=18683 vsize=812860 CPUtime=1.52
/proc/18685/task/18695/stat : 18695 (java) S 18683 18685 18296 0 -1 64 3777 0 0 0 151 1 0 0 16 0 12 0 22444853 832368640 27144 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18685/tid=18696] ppid=18683 vsize=812860 CPUtime=0
/proc/18685/task/18696/stat : 18696 (java) S 18683 18685 18296 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 22444853 832368640 27144 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18685/tid=18697] ppid=18683 vsize=812860 CPUtime=0
/proc/18685/task/18697/stat : 18697 (java) S 18683 18685 18296 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 22444853 832368640 27144 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 812860

[startup+25.5016 s]
/proc/loadavg: 2.22 2.11 2.04 3/95 18697
/proc/meminfo: memFree=601176/2055920 swapFree=4192956/4192956
[pid=18685] ppid=18683 vsize=812860 CPUtime=25.37
/proc/18685/stat : 18685 (java) S 18683 18685 18296 0 -1 0 28874 0 1 0 2522 15 0 0 18 0 12 0 22444842 832368640 27144 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18685/statm: 203215 27144 1422 9 0 200542 0
[pid=18685/tid=18687] ppid=18683 vsize=812860 CPUtime=23.3
/proc/18685/task/18687/stat : 18687 (java) R 18683 18685 18296 0 -1 64 16941 0 1 0 2321 9 0 0 25 0 12 0 22444844 832368640 27144 996147200 134512640 134550932 4294956016 18446744073709551615 4109812179 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18685/tid=18688] ppid=18683 vsize=812860 CPUtime=0.22
/proc/18685/task/18688/stat : 18688 (java) S 18683 18685 18296 0 -1 64 3551 0 0 0 21 1 0 0 17 0 12 0 22444845 832368640 27144 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18685/tid=18689] ppid=18683 vsize=812860 CPUtime=0.27
/proc/18685/task/18689/stat : 18689 (java) S 18683 18685 18296 0 -1 64 3833 0 0 0 26 1 0 0 16 0 12 0 22444845 832368640 27144 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18685/tid=18690] ppid=18683 vsize=812860 CPUtime=0
/proc/18685/task/18690/stat : 18690 (java) S 18683 18685 18296 0 -1 64 19 0 0 0 0 0 0 0 16 0 12 0 22444847 832368640 27144 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18685/tid=18691] ppid=18683 vsize=812860 CPUtime=0
/proc/18685/task/18691/stat : 18691 (java) S 18683 18685 18296 0 -1 64 10 0 0 0 0 0 0 0 16 0 12 0 22444848 832368640 27144 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18685/tid=18692] ppid=18683 vsize=812860 CPUtime=0
/proc/18685/task/18692/stat : 18692 (java) S 18683 18685 18296 0 -1 64 7 0 0 0 0 0 0 0 16 0 12 0 22444848 832368640 27144 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18685/tid=18693] ppid=18683 vsize=812860 CPUtime=0
/proc/18685/task/18693/stat : 18693 (java) S 18683 18685 18296 0 -1 64 0 0 0 0 0 0 0 0 18 0 12 0 22444853 832368640 27144 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18685/tid=18694] ppid=18683 vsize=812860 CPUtime=0

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

[pid=18685/tid=18690] ppid=18683 vsize=813184 CPUtime=1388.34
/proc/18685/task/18690/stat : 18690 (java) R 18683 18685 18296 0 -1 64 4027 0 0 0 138823 11 0 0 25 0 13 0 22444847 832700416 172486 996147200 134512640 134550932 4294956016 18446744073709551615 105880877 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18685/tid=18691] ppid=18683 vsize=813184 CPUtime=0
/proc/18685/task/18691/stat : 18691 (java) S 18683 18685 18296 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 22444848 832700416 172486 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18685/tid=18692] ppid=18683 vsize=813184 CPUtime=0
/proc/18685/task/18692/stat : 18692 (java) S 18683 18685 18296 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 22444848 832700416 172486 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18685/tid=18693] ppid=18683 vsize=813184 CPUtime=0
/proc/18685/task/18693/stat : 18693 (java) S 18683 18685 18296 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 22444853 832700416 172486 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18685/tid=18694] ppid=18683 vsize=813184 CPUtime=0.26
/proc/18685/task/18694/stat : 18694 (java) S 18683 18685 18296 0 -1 64 32 0 0 0 26 0 0 0 16 0 13 0 22444853 832700416 172486 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18685/tid=18695] ppid=18683 vsize=813184 CPUtime=2.3
/proc/18685/task/18695/stat : 18695 (java) S 18683 18685 18296 0 -1 64 3876 0 0 0 228 2 0 0 16 0 13 0 22444853 832700416 172486 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18685/tid=18696] ppid=18683 vsize=813184 CPUtime=0
/proc/18685/task/18696/stat : 18696 (java) S 18683 18685 18296 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 22444853 832700416 172486 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18685/tid=18697] ppid=18683 vsize=813184 CPUtime=0
/proc/18685/task/18697/stat : 18697 (java) S 18683 18685 18296 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 22444853 832700416 172486 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18685/tid=18698] ppid=18683 vsize=813184 CPUtime=0
/proc/18685/task/18698/stat : 18698 (java) S 18683 18685 18296 0 -1 64 5 0 0 0 0 0 0 0 20 0 13 0 22466210 832700416 172486 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1719.58
Current children cumulated vsize (KiB) 813184

[startup+1782.3 s]
/proc/loadavg: 2.08 2.12 2.15 3/95 18782
/proc/meminfo: memFree=665496/2055920 swapFree=4192952/4192956
[pid=18685] ppid=18683 vsize=813184 CPUtime=1779.55
/proc/18685/stat : 18685 (java) S 18683 18685 18296 0 -1 0 175239 0 1 0 177851 104 0 0 18 0 13 0 22444842 832700416 172486 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18685/statm: 203296 172486 1455 9 0 200623 0
[pid=18685/tid=18687] ppid=18683 vsize=813184 CPUtime=316.54
/proc/18685/task/18687/stat : 18687 (java) S 18683 18685 18296 0 -1 64 29765 0 1 0 31632 22 0 0 17 0 13 0 22444844 832700416 172486 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18685/tid=18688] ppid=18683 vsize=813184 CPUtime=8.77
/proc/18685/task/18688/stat : 18688 (java) S 18683 18685 18296 0 -1 64 82854 0 0 0 834 43 0 0 16 0 13 0 22444845 832700416 172486 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18685/tid=18689] ppid=18683 vsize=813184 CPUtime=8.5
/proc/18685/task/18689/stat : 18689 (java) S 18683 18685 18296 0 -1 64 53940 0 0 0 827 23 0 0 17 0 13 0 22444845 832700416 172486 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18685/tid=18690] ppid=18683 vsize=813184 CPUtime=1443.12
/proc/18685/task/18690/stat : 18690 (java) R 18683 18685 18296 0 -1 64 4027 0 0 0 144301 11 0 0 25 0 13 0 22444847 832700416 172486 996147200 134512640 134550932 4294956016 18446744073709551615 105696579 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18685/tid=18691] ppid=18683 vsize=813184 CPUtime=0
/proc/18685/task/18691/stat : 18691 (java) S 18683 18685 18296 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 22444848 832700416 172486 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18685/tid=18692] ppid=18683 vsize=813184 CPUtime=0
/proc/18685/task/18692/stat : 18692 (java) S 18683 18685 18296 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 22444848 832700416 172486 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18685/tid=18693] ppid=18683 vsize=813184 CPUtime=0
/proc/18685/task/18693/stat : 18693 (java) S 18683 18685 18296 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 22444853 832700416 172486 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18685/tid=18694] ppid=18683 vsize=813184 CPUtime=0.26
/proc/18685/task/18694/stat : 18694 (java) S 18683 18685 18296 0 -1 64 32 0 0 0 26 0 0 0 16 0 13 0 22444853 832700416 172486 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18685/tid=18695] ppid=18683 vsize=813184 CPUtime=2.3
/proc/18685/task/18695/stat : 18695 (java) S 18683 18685 18296 0 -1 64 3876 0 0 0 228 2 0 0 16 0 13 0 22444853 832700416 172486 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18685/tid=18696] ppid=18683 vsize=813184 CPUtime=0
/proc/18685/task/18696/stat : 18696 (java) S 18683 18685 18296 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 22444853 832700416 172486 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18685/tid=18697] ppid=18683 vsize=813184 CPUtime=0
/proc/18685/task/18697/stat : 18697 (java) S 18683 18685 18296 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 22444853 832700416 172486 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18685/tid=18698] ppid=18683 vsize=813184 CPUtime=0
/proc/18685/task/18698/stat : 18698 (java) S 18683 18685 18296 0 -1 64 5 0 0 0 0 0 0 0 20 0 13 0 22466210 832700416 172486 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1779.55
Current children cumulated vsize (KiB) 813184



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1802.8 s]
/proc/loadavg: 2.13 2.13 2.15 3/95 18782
/proc/meminfo: memFree=665496/2055920 swapFree=4192952/4192956
[pid=18685] ppid=18683 vsize=813184 CPUtime=1800.05
/proc/18685/stat : 18685 (java) S 18683 18685 18296 0 -1 0 175244 0 1 0 179901 104 0 0 18 0 13 0 22444842 832700416 172486 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18685/statm: 203296 172486 1455 9 0 200623 0
[pid=18685/tid=18687] ppid=18683 vsize=813184 CPUtime=318.5
/proc/18685/task/18687/stat : 18687 (java) S 18683 18685 18296 0 -1 64 29770 0 1 0 31828 22 0 0 17 0 13 0 22444844 832700416 172486 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18685/tid=18688] ppid=18683 vsize=813184 CPUtime=8.77
/proc/18685/task/18688/stat : 18688 (java) S 18683 18685 18296 0 -1 64 82854 0 0 0 834 43 0 0 16 0 13 0 22444845 832700416 172486 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18685/tid=18689] ppid=18683 vsize=813184 CPUtime=8.5
/proc/18685/task/18689/stat : 18689 (java) S 18683 18685 18296 0 -1 64 53940 0 0 0 827 23 0 0 17 0 13 0 22444845 832700416 172486 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18685/tid=18690] ppid=18683 vsize=813184 CPUtime=1461.65
/proc/18685/task/18690/stat : 18690 (java) R 18683 18685 18296 0 -1 64 4027 0 0 0 146154 11 0 0 25 0 13 0 22444847 832700416 172486 996147200 134512640 134550932 4294956016 18446744073709551615 106157886 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18685/tid=18691] ppid=18683 vsize=813184 CPUtime=0
/proc/18685/task/18691/stat : 18691 (java) S 18683 18685 18296 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 22444848 832700416 172486 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18685/tid=18692] ppid=18683 vsize=813184 CPUtime=0
/proc/18685/task/18692/stat : 18692 (java) S 18683 18685 18296 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 22444848 832700416 172486 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18685/tid=18693] ppid=18683 vsize=813184 CPUtime=0
/proc/18685/task/18693/stat : 18693 (java) S 18683 18685 18296 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 22444853 832700416 172486 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18685/tid=18694] ppid=18683 vsize=813184 CPUtime=0.26
/proc/18685/task/18694/stat : 18694 (java) S 18683 18685 18296 0 -1 64 32 0 0 0 26 0 0 0 16 0 13 0 22444853 832700416 172486 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18685/tid=18695] ppid=18683 vsize=813184 CPUtime=2.3
/proc/18685/task/18695/stat : 18695 (java) S 18683 18685 18296 0 -1 64 3876 0 0 0 228 2 0 0 16 0 13 0 22444853 832700416 172486 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18685/tid=18696] ppid=18683 vsize=813184 CPUtime=0
/proc/18685/task/18696/stat : 18696 (java) S 18683 18685 18296 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 22444853 832700416 172486 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18685/tid=18697] ppid=18683 vsize=813184 CPUtime=0
/proc/18685/task/18697/stat : 18697 (java) S 18683 18685 18296 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 22444853 832700416 172486 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18685/tid=18698] ppid=18683 vsize=813184 CPUtime=0
/proc/18685/task/18698/stat : 18698 (java) S 18683 18685 18296 0 -1 64 5 0 0 0 0 0 0 0 20 0 13 0 22466210 832700416 172486 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 813184

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

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

[startup+1803 s]
/proc/loadavg: 2.13 2.13 2.15 3/95 18782
/proc/meminfo: memFree=665496/2055920 swapFree=4192952/4192956
[pid=18685] ppid=18683 vsize=813184 CPUtime=1800.24
/proc/18685/stat : 18685 (java) S 18683 18685 18296 0 -1 0 175246 0 1 0 179920 104 0 0 16 0 13 0 22444842 832700416 172487 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18685/statm: 203296 172487 1455 9 0 200623 0
[pid=18685/tid=18687] ppid=18683 vsize=813184 CPUtime=318.5
/proc/18685/task/18687/stat : 18687 (java) S 18683 18685 18296 0 -1 64 29770 0 1 0 31828 22 0 0 17 0 13 0 22444844 832700416 172487 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18685/tid=18688] ppid=18683 vsize=813184 CPUtime=8.77
/proc/18685/task/18688/stat : 18688 (java) S 18683 18685 18296 0 -1 64 82854 0 0 0 834 43 0 0 16 0 13 0 22444845 832700416 172487 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18685/tid=18689] ppid=18683 vsize=813184 CPUtime=8.5
/proc/18685/task/18689/stat : 18689 (java) S 18683 18685 18296 0 -1 64 53940 0 0 0 827 23 0 0 17 0 13 0 22444845 832700416 172487 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18685/tid=18690] ppid=18683 vsize=813184 CPUtime=1461.84
/proc/18685/task/18690/stat : 18690 (java) R 18683 18685 18296 0 -1 64 4027 0 0 0 146173 11 0 0 25 0 13 0 22444847 832700416 172487 996147200 134512640 134550932 4294956016 18446744073709551615 105886120 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18685/tid=18691] ppid=18683 vsize=813184 CPUtime=0
/proc/18685/task/18691/stat : 18691 (java) S 18683 18685 18296 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 22444848 832700416 172487 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18685/tid=18692] ppid=18683 vsize=813184 CPUtime=0
/proc/18685/task/18692/stat : 18692 (java) S 18683 18685 18296 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 22444848 832700416 172487 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18685/tid=18693] ppid=18683 vsize=813184 CPUtime=0
/proc/18685/task/18693/stat : 18693 (java) S 18683 18685 18296 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 22444853 832700416 172487 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18685/tid=18694] ppid=18683 vsize=813184 CPUtime=0.26
/proc/18685/task/18694/stat : 18694 (java) S 18683 18685 18296 0 -1 64 32 0 0 0 26 0 0 0 16 0 13 0 22444853 832700416 172487 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18685/tid=18695] ppid=18683 vsize=813184 CPUtime=2.3
/proc/18685/task/18695/stat : 18695 (java) S 18683 18685 18296 0 -1 64 3876 0 0 0 228 2 0 0 16 0 13 0 22444853 832700416 172487 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18685/tid=18696] ppid=18683 vsize=813184 CPUtime=0
/proc/18685/task/18696/stat : 18696 (java) S 18683 18685 18296 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 22444853 832700416 172487 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18685/tid=18697] ppid=18683 vsize=813184 CPUtime=0
/proc/18685/task/18697/stat : 18697 (java) S 18683 18685 18296 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 22444853 832700416 172487 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18685/tid=18698] ppid=18683 vsize=813184 CPUtime=0
/proc/18685/task/18698/stat : 18698 (java) S 18683 18685 18296 0 -1 64 5 0 0 0 0 0 0 0 20 0 13 0 22466210 832700416 172487 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.24
Current children cumulated vsize (KiB) 813184

[startup+1803.8 s]
/proc/loadavg: 2.13 2.13 2.15 3/95 18782
/proc/meminfo: memFree=665496/2055920 swapFree=4192952/4192956
[pid=18685] ppid=18683 vsize=813184 CPUtime=1801.04
/proc/18685/stat : 18685 (java) S 18683 18685 18296 0 -1 0 175246 0 1 0 180000 104 0 0 16 0 13 0 22444842 832700416 172487 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18685/statm: 203296 172487 1455 9 0 200623 0
[pid=18685/tid=18687] ppid=18683 vsize=813184 CPUtime=318.5
/proc/18685/task/18687/stat : 18687 (java) S 18683 18685 18296 0 -1 64 29770 0 1 0 31828 22 0 0 17 0 13 0 22444844 832700416 172487 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18685/tid=18688] ppid=18683 vsize=813184 CPUtime=8.77
/proc/18685/task/18688/stat : 18688 (java) S 18683 18685 18296 0 -1 64 82854 0 0 0 834 43 0 0 16 0 13 0 22444845 832700416 172487 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18685/tid=18689] ppid=18683 vsize=813184 CPUtime=8.5
/proc/18685/task/18689/stat : 18689 (java) S 18683 18685 18296 0 -1 64 53940 0 0 0 827 23 0 0 17 0 13 0 22444845 832700416 172487 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18685/tid=18690] ppid=18683 vsize=813184 CPUtime=1462.64
/proc/18685/task/18690/stat : 18690 (java) R 18683 18685 18296 0 -1 64 4027 0 0 0 146253 11 0 0 25 0 13 0 22444847 832700416 172487 996147200 134512640 134550932 4294956016 18446744073709551615 104187832 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18685/tid=18691] ppid=18683 vsize=813184 CPUtime=0
/proc/18685/task/18691/stat : 18691 (java) S 18683 18685 18296 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 22444848 832700416 172487 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18685/tid=18692] ppid=18683 vsize=813184 CPUtime=0
/proc/18685/task/18692/stat : 18692 (java) S 18683 18685 18296 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 22444848 832700416 172487 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18685/tid=18693] ppid=18683 vsize=813184 CPUtime=0
/proc/18685/task/18693/stat : 18693 (java) S 18683 18685 18296 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 22444853 832700416 172487 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18685/tid=18694] ppid=18683 vsize=813184 CPUtime=0.26
/proc/18685/task/18694/stat : 18694 (java) S 18683 18685 18296 0 -1 64 32 0 0 0 26 0 0 0 16 0 13 0 22444853 832700416 172487 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18685/tid=18695] ppid=18683 vsize=813184 CPUtime=2.3
/proc/18685/task/18695/stat : 18695 (java) S 18683 18685 18296 0 -1 64 3876 0 0 0 228 2 0 0 16 0 13 0 22444853 832700416 172487 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18685/tid=18696] ppid=18683 vsize=813184 CPUtime=0
/proc/18685/task/18696/stat : 18696 (java) S 18683 18685 18296 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 22444853 832700416 172487 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18685/tid=18697] ppid=18683 vsize=813184 CPUtime=0
/proc/18685/task/18697/stat : 18697 (java) S 18683 18685 18296 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 22444853 832700416 172487 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18685/tid=18698] ppid=18683 vsize=813184 CPUtime=0
/proc/18685/task/18698/stat : 18698 (java) S 18683 18685 18296 0 -1 64 5 0 0 0 0 0 0 0 20 0 13 0 22466210 832700416 172487 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1801.04
Current children cumulated vsize (KiB) 813184

[startup+1804.2 s]
/proc/loadavg: 2.13 2.13 2.15 3/96 18783
/proc/meminfo: memFree=665488/2055920 swapFree=4192952/4192956
[pid=18685] ppid=18683 vsize=0 CPUtime=1801.46
/proc/18685/stat : 18685 (java) Z 18683 18685 18296 0 -1 1036 175267 0 1 0 180041 105 0 0 16 0 2 0 22444842 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18685/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1801.46
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1804.3
CPU time (s): 1801.56
CPU user time (s): 1800.41
CPU system time (s): 1.14782
CPU usage (%): 99.8482
Max. virtual memory (cumulated for all children) (KiB): 813184

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.41
system time used= 1.14783
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 175267
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 41137
involuntary context switches= 56591

runsolver used 2.6406 second user time and 6.46202 second system time

The end

Launcher Data 

Begin job on node1 at 2009-07-12 01:09:31
IDJOB=2071449
IDBENCH=55494
IDSOLVER=731
FILE ID=node1/2071449-1247353771
PBS_JOBID= 9506933
Free space on /tmp= 66384 MiB

SOLVER NAME= SAT4J CSP 2.1.1
BENCH NAME= CPAI08/csp/travellingSalesman-25/normalized-tsp-25-13_ext.xml
COMMAND LINE= java6 -server -Xms650m -Xmx650m -jar HOME/sat4j-csp.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2071449-1247353771/watcher-2071449-1247353771 -o /tmp/evaluation-result-2071449-1247353771/solver-2071449-1247353771 -C 1800 -W 2000 -M 900  java6 -server -Xms650m -Xmx650m -jar HOME/sat4j-csp.jar HOME/instance-2071449-1247353771.xml

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0

MD5SUM BENCH= eef28a8aaa5ab23398c7f7cc139b9a88
RANDOM SEED=1836018729

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

/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.216
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.216
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:        650520 kB
Buffers:         65260 kB
Cached:         510360 kB
SwapCached:          0 kB
Active:         797976 kB
Inactive:       530104 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        650520 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            1308 kB
Writeback:           0 kB
Mapped:         768080 kB
Slab:            60900 kB
Committed_AS:   924764 kB
PageTables:       3388 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= 66384 MiB
End job on node1 at 2009-07-12 01:39:36