Trace number 3741932

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
PB07: SAT4JPseudoResolution 2007-03-23? (TO) 1800.4 1796.44

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K105.opb
MD5SUMf2bb3fbff44c335cc6fb8854fd262f5a
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark235.677
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7140
Total number of constraints7352
Number of constraints which are clauses7247
Number of constraints which are cardinality constraints (but not clauses)105
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint105
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 106
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.03/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.03/0.08	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.03/0.08	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.03/0.08	c no version file found!!!
0.03/0.08	c sun.arch.data.model	64
0.03/0.08	c java.version	1.6.0_24
0.03/0.08	c os.name	Linux
0.03/0.08	c os.version	2.6.32-71.29.1.el6.x86_64
0.03/0.08	c os.arch	amd64
0.03/0.08	c Free memory 1599470296
0.03/0.08	c Max memory 1607860224
0.03/0.08	c Total memory 1607860224
0.03/0.08	c Number of processors 8
0.08/0.10	--- Begin Solver configuration ---
0.08/0.10	c Stops conflict analysis at the first Unique Implication Point
0.08/0.10	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@18e2b22
0.08/0.10	c Learn all clauses as in MiniSAT
0.08/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.10	c VSIDS like heuristics from MiniSAT using a heap
0.08/0.10	c No reason simplification
0.08/0.10	c --- End Solver configuration ---
0.08/0.10	c solving HOME/instance-3741932-1338758133.opb
0.08/0.10	c reading problem ... 
0.79/0.44	c ... done. Wall clock time 0.334s.
0.79/0.44	c CPU time (experimental) 0.4s.
0.97/0.59	c #vars     7140
0.97/0.59	c #constraints  7350
621.60/619.09	c cleaning 277303 clauses out of 555451 for limit 4.2329653539344875E-5
622.92/620.36	c cleaning 139098 clauses out of 278649 for limit 1.3929110279962425E-4
623.61/621.02	c cleaning 69796 clauses out of 140052 for limit 4.574903621457782E-4
624.02/621.41	c cleaning 34631 clauses out of 70754 for limit 0.0014904147180312178
624.31/621.74	c cleaning 17498 clauses out of 36625 for limit 0.004757791488774883
624.61/622.01	c cleaning 8868 clauses out of 19625 for limit 0.014613701644388844
624.81/622.21	c cleaning 4680 clauses out of 11257 for limit 0.042014879548585966
624.91/622.36	c cleaning 2537 clauses out of 7085 for limit 0.11097315044830539
625.01/622.47	c cleaning 1582 clauses out of 5040 for limit 0.2552154880249821
625.12/622.56	c cleaning 1033 clauses out of 3958 for limit 0.5359418364392616
625.22/622.66	c cleaning 754 clauses out of 3425 for limit 1.0213833197767164
625.31/622.76	c cleaning 608 clauses out of 3171 for limit 1.8193195313489774
625.41/622.86	c cleaning 591 clauses out of 3066 for limit 3.112379139025356
625.51/622.93	c cleaning 549 clauses out of 2975 for limit 5.289730706577878
625.61/623.02	c cleaning 530 clauses out of 2925 for limit 8.86372019641253
625.61/623.09	c cleaning 514 clauses out of 2893 for limit 14.74960324871665
625.71/623.16	c cleaning 495 clauses out of 2879 for limit 24.442351995978914
625.81/623.25	c cleaning 515 clauses out of 2887 for limit 40.31784375076885
625.91/623.32	c cleaning 503 clauses out of 2870 for limit 66.74965848672012
625.91/623.38	c cleaning 510 clauses out of 2866 for limit 110.12251819930437
626.01/623.46	c cleaning 483 clauses out of 2858 for limit 182.47988817052013
626.11/623.54	c cleaning 487 clauses out of 2873 for limit 298.76413943535914
626.22/623.63	c cleaning 517 clauses out of 2887 for limit 490.80356537294614
626.32/623.72	c cleaning 472 clauses out of 2869 for limit 813.6644092625949
626.32/623.80	c cleaning 515 clauses out of 2899 for limit 1330.6154544394183
626.41/623.86	c cleaning 504 clauses out of 2882 for limit 2202.8943324766433
626.51/623.95	c cleaning 497 clauses out of 2880 for limit 3642.6719780892
626.61/624.04	c cleaning 488 clauses out of 2882 for limit 5997.081506473167
626.71/624.12	c cleaning 494 clauses out of 2896 for limit 9861.89287966317
626.71/624.19	c cleaning 524 clauses out of 2903 for limit 16240.604913710618
626.81/624.26	c cleaning 510 clauses out of 2875 for limit 26935.759646104812
626.91/624.34	c cleaning 458 clauses out of 2866 for limit 44604.76851290199
627.01/624.40	c cleaning 509 clauses out of 2907 for limit 72449.23755188989
627.01/624.47	c cleaning 507 clauses out of 2898 for limit 119849.5360037259
627.11/624.56	c cleaning 500 clauses out of 2894 for limit 198516.05389051462
627.21/624.64	c cleaning 503 clauses out of 2891 for limit 326737.07773136976
627.21/624.70	c cleaning 490 clauses out of 2889 for limit 539745.9211929025
627.32/624.78	c cleaning 1440 clauses out of 2900 for limit 887624.5629656486
627.42/624.83	c cleaning 128 clauses out of 1958 for limit 2163722.1238456066
627.51/624.90	c cleaning 975 clauses out of 2330 for limit 2998569.6375561985
627.51/624.95	c cleaning 350 clauses out of 1855 for limit 6211293.242023182
627.61/625.01	c cleaning 353 clauses out of 2006 for limit 9481682.689825684
627.61/625.08	c cleaning 315 clauses out of 2154 for limit 1.457676142429946E7
627.71/625.15	c cleaning 420 clauses out of 2337 for limit 2.2112349794494063E7
627.81/625.21	c cleaning 258 clauses out of 2417 for limit 3.525923170471695E7
627.81/625.28	c cleaning 382 clauses out of 2661 for limit 5.292118146493549E7
627.91/625.35	c cleaning 437 clauses out of 2777 for limit 8.346134698180477E7
628.01/625.41	c cleaning 484 clauses out of 2840 for limit 1.3458566855715978E8
628.01/625.47	c cleaning 463 clauses out of 2857 for limit 2.2084995477740398E8
628.11/625.54	c cleaning 469 clauses out of 2893 for limit 3.5931926002730936E8
628.21/625.60	c cleaning 507 clauses out of 2925 for limit 5.866694299088167E8
628.21/625.66	c cleaning 501 clauses out of 2917 for limit 9.691796244695555E8
628.31/625.71	c cleaning 488 clauses out of 2917 for limit 1.5999067620428894E9
628.31/625.79	c cleaning 494 clauses out of 2930 for limit 2.6293831864243445E9
628.42/625.86	c cleaning 945 clauses out of 2934 for limit 4.321636708617947E9
628.52/625.93	c cleaning 366 clauses out of 2489 for limit 8.401161930699778E9
628.61/626.00	c cleaning 393 clauses out of 2623 for limit 1.314685426558447E10
628.61/626.07	c cleaning 392 clauses out of 2731 for limit 2.084437309281866E10
628.71/626.15	c cleaning 438 clauses out of 2839 for limit 3.306747490350038E10
628.81/626.22	c cleaning 717 clauses out of 2900 for limit 5.3332237257188255E10
628.81/626.29	c cleaning 396 clauses out of 2683 for limit 9.506551707001949E10
628.91/626.37	c cleaning 511 clauses out of 2787 for limit 1.5092549387578885E11
629.01/626.44	c cleaning 437 clauses out of 2777 for limit 2.500426502480106E11
629.11/626.50	c cleaning 426 clauses out of 2839 for limit 4.0294517140861676E11
629.11/626.56	c cleaning 500 clauses out of 2914 for limit 6.480554984485784E11
629.21/626.63	c cleaning 494 clauses out of 2914 for limit 1.0687302122552495E12
629.21/626.69	c cleaning 514 clauses out of 2919 for limit 1.7577006545167878E12
629.31/626.76	c cleaning 504 clauses out of 2905 for limit 2.9126530794188057E12
629.43/626.81	c cleaning 469 clauses out of 2901 for limit 4.809977608571233E12
629.43/626.89	c cleaning 517 clauses out of 2933 for limit 7.853606171340192E12
629.54/626.96	c cleaning 477 clauses out of 2915 for limit 1.3018591456251037E13
629.64/627.01	c cleaning 508 clauses out of 2938 for limit 2.130132668991417E13
629.64/627.07	c cleaning 490 clauses out of 2930 for limit 3.522465199340551E13
629.73/627.14	c cleaning 496 clauses out of 2940 for limit 5.78925778169445E13
629.73/627.19	c cleaning 490 clauses out of 2946 for limit 9.546900286221047E13
629.83/627.25	c cleaning 487 clauses out of 2955 for limit 1.5680467947814328E14
629.93/627.30	c cleaning 512 clauses out of 2971 for limit 2.5797241826360703E14
629.93/627.36	c cleaning 1472 clauses out of 2955 for limit 4.260261734185413E14
630.03/627.42	c cleaning 642 clauses out of 1984 for limit 1.0474721805042102E15
630.03/627.48	c cleaning 363 clauses out of 1841 for limit 1.8597379441184492E15
630.13/627.55	c cleaning 887 clauses out of 1978 for limit 2.854533474804456E-5
630.23/627.60	c cleaning 477 clauses out of 1592 for limit 5.854755495835213E-5
630.23/627.65	c cleaning 462 clauses out of 1614 for limit 9.51414292331921E-5
630.33/627.72	c cleaning 519 clauses out of 1652 for limit 1.5329184296703315E-4
630.33/627.77	c cleaning 229 clauses out of 1633 for limit 2.557400765616472E-4
630.43/627.82	c cleaning 247 clauses out of 1904 for limit 3.617211630382498E-4
630.43/627.88	c cleaning 123 clauses out of 2157 for limit 5.265584717807481E-4
630.53/627.94	c cleaning 284 clauses out of 2534 for limit 7.391728828665287E-4
630.64/628.01	c cleaning 428 clauses out of 2750 for limit 0.0011232484547267013
630.64/628.07	c cleaning 437 clauses out of 2822 for limit 0.0018051254997055897
630.74/628.12	c cleaning 474 clauses out of 2885 for limit 0.002911886749334596
630.74/628.18	c cleaning 487 clauses out of 2911 for limit 0.004759200255330067
630.83/628.24	c cleaning 484 clauses out of 2924 for limit 0.007813663486210942
630.93/628.32	c cleaning 492 clauses out of 2940 for limit 0.01281564970777444
630.93/628.39	c cleaning 495 clauses out of 2949 for limit 0.02109131145261639
631.03/628.46	c cleaning 493 clauses out of 2953 for limit 0.034700544195951644
631.13/628.53	c cleaning 495 clauses out of 2961 for limit 0.05712835569324361
631.23/628.60	c cleaning 505 clauses out of 2966 for limit 0.09405348056583925
631.23/628.66	c cleaning 496 clauses out of 2960 for limit 0.15526575614358867
631.33/628.74	c cleaning 500 clauses out of 2965 for limit 0.2558780867773653
631.43/628.83	c cleaning 483 clauses out of 2964 for limit 0.4216974437655672
631.53/628.91	c cleaning 491 clauses out of 2981 for limit 0.69146957980158
631.63/629.02	c cleaning 505 clauses out of 2991 for limit 1.1376509675005009
631.74/629.12	c cleaning 500 clauses out of 2985 for limit 1.8780298608013244
631.84/629.21	c cleaning 544 clauses out of 2988 for limit 3.1033135518979917
631.84/629.28	c cleaning 518 clauses out of 2941 for limit 5.183983114631228
631.93/629.34	c cleaning 510 clauses out of 2924 for limit 8.607393013015159
632.03/629.42	c cleaning 499 clauses out of 2913 for limit 14.234096053310266
632.03/629.49	c cleaning 498 clauses out of 2916 for limit 23.496748463089222
632.13/629.57	c cleaning 486 clauses out of 2916 for limit 38.671821740579645
632.23/629.64	c cleaning 486 clauses out of 2930 for limit 63.47028047580293
632.23/629.70	c cleaning 518 clauses out of 2944 for limit 104.17322737159029
632.33/629.75	c cleaning 497 clauses out of 2926 for limit 172.85243028551946
632.43/629.83	c cleaning 479 clauses out of 2929 for limit 284.7648146663246
632.43/629.89	c cleaning 512 clauses out of 2951 for limit 466.58082654936595
1648.78/1645.15	c cleaning 303082 clauses out of 606438 for limit 634.0014061382396
1650.29/1646.69	c cleaning 151654 clauses out of 303855 for limit 2084.642636363745
1650.88/1647.20	c cleaning 76105 clauses out of 152699 for limit 6827.295078470427
1651.18/1647.51	c cleaning 38147 clauses out of 77094 for limit 22300.78620008994
1651.28/1647.67	c cleaning 19354 clauses out of 39447 for limit 71875.79486174208
1651.39/1647.78	c cleaning 9843 clauses out of 20595 for limit 227488.66121737575
1651.49/1647.86	c cleaning 5108 clauses out of 11250 for limit 685418.6104170864
1651.58/1647.94	c cleaning 2843 clauses out of 6645 for limit 1919432.5337269797
1651.68/1648.01	c cleaning 1594 clauses out of 4299 for limit 4878122.964478537
1651.68/1648.07	c cleaning 1090 clauses out of 3206 for limit 1.0798093145054111E7
1651.78/1648.14	c cleaning 786 clauses out of 2615 for limit 2.1810231204968665E7
1651.88/1648.20	c cleaning 1058 clauses out of 2329 for limit 4.038483949172384E7
1651.88/1648.25	c cleaning 822 clauses out of 1771 for limit 8.758408061836019E7
1651.98/1648.30	c cleaning 325 clauses out of 1449 for limit 1.7653516922355002E8
1651.98/1648.36	c cleaning 584 clauses out of 1624 for limit 2.5975833135312942E8
1652.08/1648.43	c cleaning 561 clauses out of 1540 for limit 4.5174221488095134E8
1652.18/1648.50	c cleaning 512 clauses out of 1479 for limit 7.757095008855644E8
1652.18/1648.57	c cleaning 543 clauses out of 1467 for limit 1.2897129418890293E9
1652.28/1648.63	c cleaning 546 clauses out of 1424 for limit 2.191134663640579E9
1652.28/1648.69	c cleaning 554 clauses out of 1378 for limit 3.734098141926296E9
1652.38/1648.75	c cleaning 518 clauses out of 1324 for limit 6.409185590939449E9
1652.49/1648.81	c cleaning 496 clauses out of 1307 for limit 1.0717799884917446E10
1652.49/1648.86	c cleaning 504 clauses out of 1310 for limit 1.7616973907577343E10
1652.49/1648.90	c cleaning 643 clauses out of 1311 for limit 2.9176175384329464E10
1652.59/1648.96	c cleaning 564 clauses out of 1163 for limit 5.396779399327696E10
1652.68/1649.03	c cleaning 491 clauses out of 1102 for limit 9.420895980001201E10
1652.68/1649.07	c cleaning 380 clauses out of 1108 for limit 1.5405875874063593E11
1652.78/1649.13	c cleaning 603 clauses out of 1229 for limit 2.2927920685133365E11
1652.78/1649.18	c cleaning 528 clauses out of 1125 for limit 4.126533796665883E11
1652.88/1649.24	c cleaning 524 clauses out of 1097 for limit 6.978903420311433E11
1652.98/1649.32	c cleaning 370 clauses out of 1073 for limit 1.1766572657144163E12
1652.98/1649.38	c cleaning 591 clauses out of 1203 for limit 1.730772405810039E12
1653.08/1649.46	c cleaning 398 clauses out of 1112 for limit 3.0878535149570938E12
1653.18/1649.54	c cleaning 466 clauses out of 1214 for limit 4.664431043970835E12
1653.28/1649.62	c cleaning 511 clauses out of 1248 for limit 7.482705718386272E12
1653.28/1649.68	c cleaning 478 clauses out of 1237 for limit 1.244971582021431E13
1653.38/1649.74	c cleaning 492 clauses out of 1259 for limit 2.0172480056750902E13
1653.38/1649.78	c cleaning 493 clauses out of 1270 for limit 3.307811298317066E13
1653.48/1649.84	c cleaning 484 clauses out of 1275 for limit 5.422769265047365E13
1653.48/1649.89	c cleaning 505 clauses out of 1291 for limit 8.832038538361519E13
1653.59/1649.94	c cleaning 481 clauses out of 1285 for limit 1.4618588633900994E14
1653.59/1649.98	c cleaning 649 clauses out of 1304 for limit 2.3756741305043406E14
1653.69/1650.05	c cleaning 481 clauses out of 1156 for limit 4.423815690235258E14
1653.78/1650.11	c cleaning 435 clauses out of 1174 for limit 7.176424778374846E14
1653.78/1650.17	c cleaning 450 clauses out of 1239 for limit 1.1214006786318845E15
1653.88/1650.24	c cleaning 489 clauses out of 1294 for limit 1.779615954097241E15
1653.98/1650.30	c cleaning 500 clauses out of 1300 for limit 2.906702222342543E15
1653.98/1650.34	c cleaning 626 clauses out of 1300 for limit 4.793540816309332E-5
1653.98/1650.39	c cleaning 541 clauses out of 1174 for limit 8.753617629357125E-5
1654.08/1650.43	c cleaning 443 clauses out of 1134 for limit 1.4960048903719697E-4
1654.08/1650.48	c cleaning 510 clauses out of 1190 for limit 2.3486617859112425E-4
1654.18/1650.53	c cleaning 463 clauses out of 1180 for limit 3.9060816992804643E-4
1654.18/1650.58	c cleaning 441 clauses out of 1217 for limit 6.245808132031143E-4
1654.28/1650.63	c cleaning 452 clauses out of 1276 for limit 9.823911233919997E-4
1654.28/1650.69	c cleaning 468 clauses out of 1324 for limit 0.0015613598447907116
1654.38/1650.75	c cleaning 467 clauses out of 1356 for limit 0.0025141268635493564
1654.48/1650.80	c cleaning 517 clauses out of 1389 for limit 0.004047627327006663
1654.48/1650.86	c cleaning 496 clauses out of 1375 for limit 0.006763313040233611
1654.58/1650.91	c cleaning 489 clauses out of 1377 for limit 0.011115144437999313
1654.58/1650.97	c cleaning 455 clauses out of 1388 for limit 0.01818509071097464
1654.69/1651.04	c cleaning 520 clauses out of 1432 for limit 0.02903910955156437
1654.79/1651.11	c cleaning 513 clauses out of 1412 for limit 0.048567696212609555
1654.79/1651.17	c cleaning 495 clauses out of 1399 for limit 0.0808388957788057
1654.88/1651.23	c cleaning 504 clauses out of 1404 for limit 0.1328393880690717
1654.88/1651.28	c cleaning 536 clauses out of 1400 for limit 0.21969583592376124
1654.98/1651.34	c cleaning 518 clauses out of 1364 for limit 0.3718702004031945
1655.08/1651.40	c cleaning 508 clauses out of 1346 for limit 0.6214648575163612
1655.08/1651.46	c cleaning 502 clauses out of 1339 for limit 1.0312677982068816
1655.18/1651.51	c cleaning 489 clauses out of 1336 for limit 1.7028129761790292
1655.18/1651.58	c cleaning 492 clauses out of 1349 for limit 2.7866753119155363
1655.28/1651.65	c cleaning 500 clauses out of 1355 for limit 4.5661049356330095
1655.38/1651.72	c cleaning 521 clauses out of 1360 for limit 7.540058592269953
1655.38/1651.77	c cleaning 498 clauses out of 1335 for limit 12.616828602441279
1655.48/1651.82	c cleaning 484 clauses out of 1342 for limit 20.80211050119333
1655.48/1651.86	c cleaning 481 clauses out of 1352 for limit 33.84792418952406
1655.58/1651.91	c cleaning 511 clauses out of 1371 for limit 55.046177149498504
1655.58/1651.96	c cleaning 462 clauses out of 1362 for limit 91.56139929858043
1655.68/1652.02	c cleaning 574 clauses out of 1398 for limit 146.81459142471806
1655.68/1652.09	c cleaning 536 clauses out of 1324 for limit 255.64911530672015
1655.79/1652.14	c cleaning 513 clauses out of 1288 for limit 433.38343077504067
1655.89/1652.21	c cleaning 504 clauses out of 1275 for limit 721.9944655669453
1655.89/1652.25	c cleaning 485 clauses out of 1271 for limit 1194.412637312864
1655.98/1652.34	c cleaning 511 clauses out of 1286 for limit 1946.7709575874926
1656.08/1652.40	c cleaning 494 clauses out of 1275 for limit 3238.184051795731
1656.08/1652.46	c cleaning 481 clauses out of 1282 for limit 5316.356403089798
1656.18/1652.51	c cleaning 503 clauses out of 1304 for limit 8645.377152624771
1656.18/1652.58	c cleaning 476 clauses out of 1297 for limit 14277.080203863046
1656.28/1652.64	c cleaning 504 clauses out of 1321 for limit 23117.051723767527
1656.38/1652.72	c cleaning 505 clauses out of 1317 for limit 38238.89856857325
1656.38/1652.79	c cleaning 488 clauses out of 1312 for limit 63301.383406626825
1656.48/1652.85	c cleaning 513 clauses out of 1324 for limit 103446.29441326705
1656.58/1652.90	c cleaning 509 clauses out of 1311 for limit 172288.4320744082
1656.58/1652.97	c cleaning 478 clauses out of 1303 for limit 286157.2762887987
1656.68/1653.04	c cleaning 471 clauses out of 1325 for limit 464076.1161785715
1656.78/1653.11	c cleaning 498 clauses out of 1354 for limit 748931.8819099064
1656.78/1653.16	c cleaning 496 clauses out of 1355 for limit 1232943.1815288586
1656.89/1653.21	c cleaning 502 clauses out of 1359 for limit 2027303.5864950782
1656.89/1653.26	c cleaning 599 clauses out of 1357 for limit 3348222.3014243757
1656.89/1653.30	c cleaning 414 clauses out of 1259 for limit 5957427.983929421
1656.99/1653.34	c cleaning 445 clauses out of 1344 for limit 9194045.268142387
1656.99/1653.38	c cleaning 497 clauses out of 1400 for limit 1.4570292472829252E7
1657.08/1653.43	c cleaning 693 clauses out of 1402 for limit 2.397009011919913E7
1657.18/1653.50	c cleaning 563 clauses out of 1212 for limit 4.586426973877314E7
1657.18/1653.54	c cleaning 477 clauses out of 1146 for limit 7.975259752723138E7
1657.18/1653.59	c cleaning 499 clauses out of 1169 for limit 1.289350017017889E8
1657.28/1653.66	c cleaning 414 clauses out of 1170 for limit 2.1244933046798068E8
1657.38/1653.73	c cleaning 458 clauses out of 1257 for limit 3.264347237280643E8
1657.38/1653.79	c cleaning 463 clauses out of 1298 for limit 5.208087954969749E8
1657.48/1653.84	c cleaning 472 clauses out of 1335 for limit 8.350791179585245E8
1657.58/1653.90	c cleaning 486 clauses out of 1363 for limit 1.3488663505745645E9
1657.58/1653.96	c cleaning 542 clauses out of 1377 for limit 2.2018448983772955E9
1657.68/1654.04	c cleaning 507 clauses out of 1335 for limit 3.7453748064917974E9
1657.78/1654.11	c cleaning 519 clauses out of 1329 for limit 6.210720259573806E9
1657.78/1654.18	c cleaning 509 clauses out of 1309 for limit 1.0388400345747517E10
1657.88/1654.26	c cleaning 501 clauses out of 1300 for limit 1.7250467103279713E10
1657.99/1654.32	c cleaning 482 clauses out of 1299 for limit 2.8470228155014385E10
1657.99/1654.38	c cleaning 490 clauses out of 1319 for limit 4.6331911018309975E10
1658.09/1654.44	c cleaning 512 clauses out of 1327 for limit 7.579506849162387E10
1658.18/1654.50	c cleaning 487 clauses out of 1317 for limit 1.2619757458492685E11
1658.18/1654.55	c cleaning 490 clauses out of 1328 for limit 2.0598024557700134E11
1658.28/1654.61	c cleaning 487 clauses out of 1338 for limit 3.371501988826478E11
1658.28/1654.66	c cleaning 545 clauses out of 1354 for limit 5.510871590750859E11
1658.38/1654.70	c cleaning 459 clauses out of 1306 for limit 9.393947543266995E11
1658.38/1654.75	c cleaning 514 clauses out of 1348 for limit 1.5024215844522756E12
1658.48/1654.82	c cleaning 517 clauses out of 1333 for limit 2.503069637730181E12
1658.48/1654.86	c cleaning 475 clauses out of 1316 for limit 4.181220580659164E12
1658.58/1654.92	c cleaning 663 clauses out of 1341 for limit 6.7668426487731E12
1658.58/1654.96	c cleaning 552 clauses out of 1178 for limit 1.2703560266355264E13
1658.68/1655.00	c cleaning 483 clauses out of 1127 for limit 2.1919832210244875E13
1658.68/1655.04	c cleaning 500 clauses out of 1143 for limit 3.5607073933352016E13
1658.68/1655.09	c cleaning 465 clauses out of 1144 for limit 5.872822717699743E13
1658.78/1655.13	c cleaning 386 clauses out of 1179 for limit 9.397557624105492E13
1658.78/1655.17	c cleaning 414 clauses out of 1293 for limit 1.4131431726293203E14
1658.88/1655.21	c cleaning 679 clauses out of 1378 for limit 2.184524134713454E14
1658.88/1655.25	c cleaning 390 clauses out of 1201 for limit 4.1417889766520975E14
1658.88/1655.29	c cleaning 481 clauses out of 1309 for limit 6.254292554726056E14
1658.98/1655.33	c cleaning 454 clauses out of 1332 for limit 1.017671349588978E15
1658.98/1655.38	c cleaning 448 clauses out of 1377 for limit 1.621807139183424E15
1659.09/1655.42	c cleaning 685 clauses out of 1426 for limit 2.5749332438889493E-5
1659.09/1655.47	c cleaning 566 clauses out of 1241 for limit 4.8794357668721254E-5
1659.19/1655.51	c cleaning 543 clauses out of 1175 for limit 8.498835185075804E-5
1659.19/1655.55	c cleaning 524 clauses out of 1132 for limit 1.454811528663749E-4
1659.28/1655.60	c cleaning 446 clauses out of 1109 for limit 2.4513877608817777E-4
1659.28/1655.66	c cleaning 430 clauses out of 1162 for limit 3.854417964341265E-4
1659.38/1655.71	c cleaning 425 clauses out of 1232 for limit 5.995288877440257E-4
1659.38/1655.75	c cleaning 443 clauses out of 1308 for limit 9.321879327165639E-4
1659.48/1655.81	c cleaning 451 clauses out of 1364 for limit 0.0014727133563355846
1659.48/1655.86	c cleaning 444 clauses out of 1413 for limit 0.0023444788596374
1659.58/1655.91	c cleaning 564 clauses out of 1469 for limit 0.0037189691356404615
1659.58/1655.97	c cleaning 530 clauses out of 1405 for limit 0.006412449126682194
1659.68/1656.02	c cleaning 502 clauses out of 1375 for limit 0.010805713429130155
1659.68/1656.08	c cleaning 524 clauses out of 1373 for limit 0.017846024861460013
1659.78/1656.14	c cleaning 492 clauses out of 1349 for limit 0.029954078820156934
1659.88/1656.21	c cleaning 516 clauses out of 1357 for limit 0.04910706262494234
1659.88/1656.29	c cleaning 475 clauses out of 1341 for limit 0.08195036912493331
1659.98/1656.36	c cleaning 479 clauses out of 1366 for limit 0.1326737118220332
1660.08/1656.44	c cleaning 514 clauses out of 1387 for limit 0.21548398818123835
1660.08/1656.49	c cleaning 517 clauses out of 1373 for limit 0.3589854244832728
1660.19/1656.56	c cleaning 486 clauses out of 1356 for limit 0.599437006009867
1660.29/1656.62	c cleaning 494 clauses out of 1370 for limit 0.9784498248164938
1660.29/1656.67	c cleaning 483 clauses out of 1376 for limit 1.6065586325897405
1660.38/1656.73	c cleaning 490 clauses out of 1395 for limit 2.6185792185905314
1660.38/1656.78	c cleaning 483 clauses out of 1403 for limit 4.2851804705672425
1660.48/1656.83	c cleaning 498 clauses out of 1421 for limit 6.984303591124704
1660.58/1656.91	c cleaning 518 clauses out of 1422 for limit 11.49844111891948
1660.58/1656.96	c cleaning 479 clauses out of 1404 for limit 19.205576198505767
1660.68/1657.02	c cleaning 548 clauses out of 1425 for limit 31.205810846318986
1660.68/1657.09	c cleaning 493 clauses out of 1378 for limit 53.27108191797139
1660.78/1657.14	c cleaning 515 clauses out of 1384 for limit 87.38281273177834
1660.78/1657.19	c cleaning 509 clauses out of 1369 for limit 145.6849029310571
1660.88/1657.27	c cleaning 506 clauses out of 1360 for limit 241.84380978800658
1660.98/1657.33	c cleaning 481 clauses out of 1354 for limit 400.6001492259998
1661.08/1657.40	c cleaning 501 clauses out of 1373 for limit 651.5010513062338
1661.08/1657.46	c cleaning 501 clauses out of 1374 for limit 1075.7809163803586
1661.18/1657.53	c cleaning 496 clauses out of 1371 for limit 1774.4345184968436
1661.18/1657.59	c cleaning 481 clauses out of 1375 for limit 2917.767086347989
1661.29/1657.68	c cleaning 502 clauses out of 1394 for limit 4746.204342731241
1661.39/1657.76	c cleaning 488 clauses out of 1395 for limit 7845.026606669599
1661.48/1657.82	c cleaning 488 clauses out of 1404 for limit 12816.040535263695
1661.48/1657.88	c cleaning 496 clauses out of 1418 for limit 20968.610851115445
1661.58/1657.94	c cleaning 496 clauses out of 1420 for limit 34462.311987209876
1661.68/1658.00	c cleaning 495 clauses out of 1426 for limit 56707.19155290308
1661.68/1658.05	c cleaning 460 clauses out of 1429 for limit 93134.86714516513
1661.68/1658.10	c cleaning 520 clauses out of 1469 for limit 149409.64002585056
1661.78/1658.16	c cleaning 482 clauses out of 1449 for limit 249797.40172115076
1661.88/1658.22	c cleaning 489 clauses out of 1469 for limit 407154.6667366741
1661.88/1658.27	c cleaning 498 clauses out of 1478 for limit 666029.7709030721
1661.98/1658.32	c cleaning 498 clauses out of 1480 for limit 1096887.9053417898
1661.98/1658.38	c cleaning 731 clauses out of 1482 for limit 1806473.7142523883
1662.08/1658.44	c cleaning 582 clauses out of 1251 for limit 3529217.5284001413
1662.18/1658.50	c cleaning 351 clauses out of 1169 for limit 6228408.849522805
1662.18/1658.56	c cleaning 524 clauses out of 1318 for limit 9110287.887360562
1662.28/1658.63	c cleaning 377 clauses out of 1294 for limit 1.5302737268172E7
1662.28/1658.69	c cleaning 441 clauses out of 1417 for limit 2.3045675108612593E7
1662.39/1658.75	c cleaning 493 clauses out of 1478 for limit 3.650982588236158E7
1662.49/1658.80	c cleaning 524 clauses out of 1483 for limit 5.9886634626015596E7
1662.49/1658.86	c cleaning 476 clauses out of 1459 for limit 1.0038565439315349E8
1662.58/1658.92	c cleaning 470 clauses out of 1483 for limit 1.6287021972961462E8
1662.58/1658.99	c cleaning 505 clauses out of 1513 for limit 2.632690415143431E8
1662.68/1659.05	c cleaning 489 clauses out of 1512 for limit 4.36195180995393E8
1662.78/1659.11	c cleaning 501 clauses out of 1519 for limit 7.131694326346126E8
1662.78/1659.16	c cleaning 739 clauses out of 1518 for limit 1.1768865777214808E9
1662.88/1659.22	c cleaning 433 clauses out of 1281 for limit 2.30452891797347E9
1662.88/1659.29	c cleaning 426 clauses out of 1346 for limit 3.609716507190273E9
1662.98/1659.35	c cleaning 446 clauses out of 1420 for limit 5.642683587866486E9
1663.08/1659.40	c cleaning 444 clauses out of 1474 for limit 8.964631576362251E9
1663.08/1659.48	c cleaning 476 clauses out of 1531 for limit 1.4247712316772053E10
1663.18/1659.55	c cleaning 752 clauses out of 1554 for limit 2.3125476436397724E10
1663.28/1659.61	c cleaning 474 clauses out of 1302 for limit 4.551835998828562E10
1663.28/1659.68	c cleaning 479 clauses out of 1328 for limit 7.359620193918486E10
1663.38/1659.73	c cleaning 444 clauses out of 1349 for limit 1.1948060547702704E11
1663.38/1659.80	c cleaning 474 clauses out of 1405 for limit 1.8918597049833804E11
1663.49/1659.85	c cleaning 502 clauses out of 1431 for limit 3.063243387479594E11
1663.49/1659.90	c cleaning 466 clauses out of 1429 for limit 5.0587683956408887E11
1663.59/1659.96	c cleaning 499 clauses out of 1465 for limit 8.153879918087456E11
1663.68/1660.02	c cleaning 657 clauses out of 1464 for limit 1.3429125199083345E12
1663.68/1660.07	c cleaning 436 clauses out of 1307 for limit 2.4806705961264224E12
1663.78/1660.14	c cleaning 464 clauses out of 1371 for limit 3.899986634749998E12
1663.88/1660.20	c cleaning 483 clauses out of 1407 for limit 6.267038505442082E12
1663.88/1660.25	c cleaning 485 clauses out of 1425 for limit 1.0214850031107889E13
1663.98/1660.31	c cleaning 507 clauses out of 1439 for limit 1.6665081449273748E13
1663.98/1660.39	c cleaning 500 clauses out of 1432 for limit 2.761729274765783E13
1664.08/1660.45	c cleaning 484 clauses out of 1432 for limit 4.554461031621295E13
1664.18/1660.52	c cleaning 507 clauses out of 1448 for limit 7.427921984315583E13
1664.18/1660.59	c cleaning 472 clauses out of 1441 for limit 1.230914256521223E14
1664.28/1660.65	c cleaning 484 clauses out of 1469 for limit 1.9912503895587472E14
1664.28/1660.69	c cleaning 481 clauses out of 1485 for limit 3.2484568545795356E14
1664.38/1660.74	c cleaning 473 clauses out of 1504 for limit 5.2894632893068756E14
1664.38/1660.78	c cleaning 762 clauses out of 1531 for limit 8.569197252784151E14
1664.48/1660.84	c cleaning 614 clauses out of 1269 for limit 1.7049419453540658E15
1664.48/1660.90	c cleaning 496 clauses out of 1155 for limit 3.089193557008714E15
1664.59/1660.96	c cleaning 501 clauses out of 1161 for limit 5.07831686436462E15
1664.69/1661.02	c cleaning 495 clauses out of 1158 for limit 8.37973566522253E15
1664.69/1661.09	c cleaning 552 clauses out of 1163 for limit 1.375989281507899E-4
1664.78/1661.13	c cleaning 463 clauses out of 1112 for limit 2.3756386217567516E-4
1664.78/1661.19	c cleaning 467 clauses out of 1148 for limit 3.7910948617405027E-4
1664.88/1661.24	c cleaning 364 clauses out of 1181 for limit 6.077325939049138E-4
1664.88/1661.28	c cleaning 424 clauses out of 1317 for limit 8.98736828712556E-4
1664.98/1661.36	c cleaning 452 clauses out of 1395 for limit 0.0014020678039886071
1665.08/1661.42	c cleaning 493 clauses out of 1442 for limit 0.002234597657050095
1665.08/1661.48	c cleaning 490 clauses out of 1448 for limit 0.0036662106345525984
1665.18/1661.54	c cleaning 475 clauses out of 1458 for limit 0.006004603536791745
1665.28/1661.62	c cleaning 500 clauses out of 1483 for limit 0.009735462711338846
1665.28/1661.67	c cleaning 493 clauses out of 1483 for limit 0.016055080397898634
1665.38/1661.73	c cleaning 491 clauses out of 1491 for limit 0.026361273747240684
1665.38/1661.77	c cleaning 517 clauses out of 1501 for limit 0.04322686512851836
1665.48/1661.81	c cleaning 482 clauses out of 1484 for limit 0.07210351210149032
1665.48/1661.86	c cleaning 514 clauses out of 1504 for limit 0.11756211607115848
1665.58/1661.92	c cleaning 496 clauses out of 1487 for limit 0.19550443511028304
1665.58/1661.97	c cleaning 491 clauses out of 1490 for limit 0.32144205017221894
1665.69/1662.02	c cleaning 492 clauses out of 1499 for limit 0.5269182150089207
1665.69/1662.09	c cleaning 508 clauses out of 1507 for limit 0.8643457073554704
1665.79/1662.13	c cleaning 495 clauses out of 1499 for limit 1.4330290221511008
1665.79/1662.19	c cleaning 487 clauses out of 1505 for limit 2.3561911349989426
1665.88/1662.26	c cleaning 484 clauses out of 1523 for limit 3.8590069446640425
1665.98/1662.31	c cleaning 508 clauses out of 1535 for limit 6.289048204903211
1665.98/1662.37	c cleaning 496 clauses out of 1525 for limit 10.4186229969893
1666.08/1662.43	c cleaning 495 clauses out of 1529 for limit 17.136754236911926
1666.18/1662.50	c cleaning 495 clauses out of 1534 for limit 28.168685517093063
1666.18/1662.55	c cleaning 486 clauses out of 1540 for limit 46.31926067708198
1666.28/1662.62	c cleaning 492 clauses out of 1554 for limit 75.6984892522311
1666.28/1662.68	c cleaning 517 clauses out of 1561 for limit 124.15285152516422
1666.38/1662.75	c cleaning 509 clauses out of 1546 for limit 207.1452708982777
1666.48/1662.82	c cleaning 497 clauses out of 1536 for limit 343.49045397201803
1666.48/1662.88	c cleaning 482 clauses out of 1543 for limit 566.1531078959314
1666.58/1662.94	c cleaning 513 clauses out of 1558 for limit 921.9019214180053
1666.68/1663.00	c cleaning 483 clauses out of 1543 for limit 1532.0506056875024
1666.68/1663.06	c cleaning 518 clauses out of 1560 for limit 2499.023416400719
1666.79/1663.12	c cleaning 503 clauses out of 1543 for limit 4170.800305260198
1666.79/1663.19	c cleaning 487 clauses out of 1539 for limit 6889.188661255518
1800.40/1796.43	c starts		: 23
1800.40/1796.43	c conflicts		: 1593025
1800.40/1796.43	c decisions		: 5274073
1800.40/1796.43	c propagations		: 541291632
1800.40/1796.43	c inspects		: 10357373016
1800.40/1796.43	c learnt literals	: 58
1800.40/1796.43	c learnt binary clauses	: 78069
1800.40/1796.43	c learnt ternary clauses	: 58169
1800.40/1796.43	c learnt clauses	: 1592967
1800.40/1796.43	c root simplifications	: 0
1800.40/1796.43	c removed literals (reason simplification)	: 0
1800.40/1796.43	c reason swapping (by a shorter reason)	: 0
1800.40/1796.43	c Calls to reduceDB	: 385
1800.40/1796.43	c speed (decisions/second)	: 2936.5875142748805
1800.40/1796.43	c non guided choices	6622
1800.40/1796.43	s UNKNOWN
1800.40/1796.43	c Total wall clock time (ms): 1796.327

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-3741932-1338758133/watcher-3741932-1338758133 -o /tmp/evaluation-result-3741932-1338758133/solver-3741932-1338758133 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3741932-1338758133.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.82 1.98 2.41 3/176 5047
/proc/meminfo: memFree=27905820/32873648 swapFree=7116/7116
[pid=5047] ppid=5045 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/5047/stat : 5047 (java) R 5045 5047 32179 0 -1 4202496 1057 0 0 0 0 0 0 0 20 0 1 0 341938768 23793664 784 33554432000 1073741824 1073778376 140736219447200 140736219436264 139978994986000 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/5047/statm: 5809 803 598 9 0 128 0
[pid=5047/tid=5049] ppid=5045 vsize=24200 CPUtime=0 cores=1,3,5,7
/proc/5047/task/5049/stat : 5049 (java) R 5045 5047 32179 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 2 0 341938769 24780800 866 33554432000 1073741824 1073778376 140736219447200 140736219436264 260190378161 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0

[startup+0.051331 s]
/proc/loadavg: 1.82 1.98 2.41 3/176 5047
/proc/meminfo: memFree=27905820/32873648 swapFree=7116/7116
[pid=5047] ppid=5045 vsize=2623916 CPUtime=0.03 cores=1,3,5,7
/proc/5047/stat : 5047 (java) S 5045 5047 32179 0 -1 4202496 3955 0 1 0 3 0 0 0 20 0 13 0 341938768 2686889984 5162 33554432000 1073741824 1073778376 140736219447200 140736219438336 260193681469 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5047/statm: 655979 5162 1709 9 0 646680 0
[pid=5047/tid=5049] ppid=5045 vsize=2623916 CPUtime=0.02 cores=1,3,5,7
/proc/5047/task/5049/stat : 5049 (java) R 5045 5047 32179 0 -1 4202560 2773 0 1 0 2 0 0 0 20 0 13 0 341938769 2686889984 5162 33554432000 1073741824 1073778376 140736219447200 139978988348552 139978992371033 0 4 0 16800971 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 2623916

[startup+0.100223 s]
/proc/loadavg: 1.82 1.98 2.41 3/176 5047
/proc/meminfo: memFree=27905820/32873648 swapFree=7116/7116
[pid=5047] ppid=5045 vsize=2957856 CPUtime=0.08 cores=1,3,5,7
/proc/5047/stat : 5047 (java) S 5045 5047 32179 0 -1 4202496 4890 0 3 0 7 1 0 0 20 0 18 0 341938768 3028844544 6589 33554432000 1073741824 1073778376 140736219447200 140736219438336 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5047/statm: 739464 6589 2099 9 0 729885 0
[pid=5047/tid=5049] ppid=5045 vsize=2957856 CPUtime=0.06 cores=1,3,5,7
/proc/5047/task/5049/stat : 5049 (java) R 5045 5047 32179 0 -1 4202560 2995 0 3 0 6 0 0 0 20 0 18 0 341938769 3028844544 6589 33554432000 1073741824 1073778376 140736219447200 139978988343584 260193707277 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2957856

[startup+0.300183 s]
/proc/loadavg: 1.82 1.98 2.41 3/176 5047
/proc/meminfo: memFree=27905820/32873648 swapFree=7116/7116
[pid=5047] ppid=5045 vsize=2957856 CPUtime=0.54 cores=1,3,5,7
/proc/5047/stat : 5047 (java) S 5045 5047 32179 0 -1 4202496 8033 0 3 0 52 2 0 0 20 0 18 0 341938768 3028844544 11382 33554432000 1073741824 1073778376 140736219447200 140736219438336 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5047/statm: 739464 11382 2247 9 0 729885 0
[pid=5047/tid=5049] ppid=5045 vsize=2957856 CPUtime=0.26 cores=1,3,5,7
/proc/5047/task/5049/stat : 5049 (java) R 5045 5047 32179 0 -1 4202560 3018 0 3 0 25 1 0 0 20 0 18 0 341938769 3028844544 11382 33554432000 1073741824 1073778376 140736219447200 139978988356096 139978839541718 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 2957856

[startup+0.700181 s]
/proc/loadavg: 1.82 1.98 2.41 3/176 5047
/proc/meminfo: memFree=27905820/32873648 swapFree=7116/7116
[pid=5047] ppid=5045 vsize=3024420 CPUtime=1.41 cores=1,3,5,7
/proc/5047/stat : 5047 (java) S 5045 5047 32179 0 -1 4202496 11075 0 3 0 138 3 0 0 20 0 19 0 341938768 3097006080 18614 33554432000 1073741824 1073778376 140736219447200 140736219438336 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5047/statm: 756105 18614 2273 9 0 746526 0
[pid=5047/tid=5049] ppid=5045 vsize=3024420 CPUtime=0.66 cores=1,3,5,7
/proc/5047/task/5049/stat : 5049 (java) R 5045 5047 32179 0 -1 4202560 3050 0 3 0 64 2 0 0 20 0 19 0 341938769 3097006080 18614 33554432000 1073741824 1073778376 140736219447200 139978988360400 139978840077335 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 3024420

[startup+1.50061 s]
/proc/loadavg: 1.82 1.98 2.41 3/213 5084
/proc/meminfo: memFree=27779492/32873648 swapFree=7116/7116
[pid=5047] ppid=5045 vsize=3024420 CPUtime=2.22 cores=1,3,5,7
/proc/5047/stat : 5047 (java) S 5045 5047 32179 0 -1 4202496 11081 0 3 0 219 3 0 0 20 0 19 0 341938768 3097006080 19641 33554432000 1073741824 1073778376 140736219447200 140736219438336 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5047/statm: 756105 19641 2275 9 0 746526 0
[pid=5047/tid=5049] ppid=5045 vsize=3024420 CPUtime=1.46 cores=1,3,5,7
/proc/5047/task/5049/stat : 5049 (java) R 5045 5047 32179 0 -1 4202560 3053 0 3 0 144 2 0 0 20 0 19 0 341938769 3097006080 19641 33554432000 1073741824 1073778376 140736219447200 139978988358296 139978840076720 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=5047/tid=5059] ppid=5045 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5047/task/5059/stat : 5059 (java) S 5045 5047 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341938770 3097006080 19641 33554432000 1073741824 1073778376 140736219447200 139978971785384 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5047/tid=5060] ppid=5045 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5047/task/5060/stat : 5060 (java) S 5045 5047 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341938770 3097006080 19641 33554432000 1073741824 1073778376 140736219447200 139978970732840 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5047/tid=5061] ppid=5045 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5047/task/5061/stat : 5061 (java) S 5045 5047 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341938770 3097006080 19641 33554432000 1073741824 1073778376 140736219447200 139978969680296 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5047/tid=5062] ppid=5045 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5047/task/5062/stat : 5062 (java) S 5045 5047 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341938770 3097006080 19641 33554432000 1073741824 1073778376 140736219447200 139978968627752 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5047/tid=5063] ppid=5045 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5047/task/5063/stat : 5063 (java) S 5045 5047 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341938770 3097006080 19641 33554432000 1073741824 1073778376 140736219447200 139978967575208 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5047/tid=5064] ppid=5045 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5047/task/5064/stat : 5064 (java) S 5045 5047 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341938770 3097006080 19641 33554432000 1073741824 1073778376 140736219447200 139978966522664 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5047/tid=5065] ppid=5045 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5047/task/5065/stat : 5065 (java) S 5045 5047 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341938770 3097006080 19641 33554432000 1073741824 1073778376 140736219447200 139978965470120 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5047/tid=5066] ppid=5045 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5047/task/5066/stat : 5066 (java) S 5045 5047 32179 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 341938770 3097006080 19641 33554432000 1073741824 1073778376 140736219447200 139978964417576 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5047/tid=5068] ppid=5045 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5047/task/5068/stat : 5068 (java) S 5045 5047 32179 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 341938771 3097006080 19641 33554432000 1073741824 1073778376 140736219447200 139978834155624 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5047/tid=5071] ppid=5045 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5047/task/5071/stat : 5071 (java) S 5045 5047 32179 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 341938771 3097006080 19641 33554432000 1073741824 1073778376 140736219447200 139978833101944 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5047/tid=5072] ppid=5045 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5047/task/5072/stat : 5072 (java) S 5045 5047 32179 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341938771 3097006080 19641 33554432000 1073741824 1073778376 140736219447200 139978832049288 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5047/tid=5073] ppid=5045 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5047/task/5073/stat : 5073 (java) S 5045 5047 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341938774 3097006080 19641 33554432000 1073741824 1073778376 140736219447200 139978830998032 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5047/tid=5075] ppid=5045 vsize=3024420 CPUtime=0.35 cores=1,3,5,7
/proc/5047/task/5075/stat : 5075 (java) S 5045 5047 32179 0 -1 4202560 3674 0 0 0 35 0 0 0 20 0 19 0 341938774 3097006080 19641 33554432000 1073741824 1073778376 140736219447200 139978829945400 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5047/tid=5077] ppid=5045 vsize=3024420 CPUtime=0.36 cores=1,3,5,7
/proc/5047/task/5077/stat : 5077 (java) S 5045 5047 32179 0 -1 4202560 3159 0 0 0 36 0 0 0 20 0 19 0 341938774 3097006080 19641 33554432000 1073741824 1073778376 140736219447200 139978828892856 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5047/tid=5079] ppid=5045 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5047/task/5079/stat : 5079 (java) S 5045 5047 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341938774 3097006080 19641 33554432000 1073741824 1073778376 140736219447200 139978827840504 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5047/tid=5081] ppid=5045 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5047/task/5081/stat : 5081 (java) S 5045 5047 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341938774 3097006080 19641 33554432000 1073741824 1073778376 140736219447200 139978826788168 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5047/tid=5084] ppid=5045 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5047/task/5084/stat : 5084 (java) S 5045 5047 32179 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341938813 3097006080 19641 33554432000 1073741824 1073778376 140736219447200 139978824655656 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.22
Current children cumulated vsize (KiB) 3024420

[startup+3.10067 s]
/proc/loadavg: 1.83 1.98 2.41 3/213 5084
/proc/meminfo: memFree=27767312/32873648 swapFree=7116/7116
[pid=5047] ppid=5045 vsize=3024420 CPUtime=3.84 cores=1,3,5,7
/proc/5047/stat : 5047 (java) S 5045 5047 32179 0 -1 4202496 11097 0 3 0 381 3 0 0 20 0 19 0 341938768 3097006080 21689 33554432000 1073741824 1073778376 140736219447200 140736219438336 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5047/statm: 756105 21689 2275 9 0 746526 0
[pid=5047/tid=5049] ppid=5045 vsize=3024420 CPUtime=3.06 cores=1,3,5,7
/proc/5047/task/5049/stat : 5049 (java) R 5045 5047 32179 0 -1 4202560 3058 0 3 0 304 2 0 0 20 0 19 0 341938769 3097006080 21689 33554432000 1073741824 1073778376 140736219447200 139978988360104 139978840171039 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=5047/tid=5059] ppid=5045 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5047/task/5059/stat : 5059 (java) S 5045 5047 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341938770 3097006080 21689 33554432000 1073741824 1073778376 140736219447200 139978971785384 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5047/tid=5060] ppid=5045 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5047/task/5060/stat : 5060 (java) S 5045 5047 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341938770 3097006080 21689 33554432000 1073741824 1073778376 140736219447200 139978970732840 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5047/tid=5061] ppid=5045 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5047/task/5061/stat : 5061 (java) S 5045 5047 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341938770 3097006080 21689 33554432000 1073741824 1073778376 140736219447200 139978969680296 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5047/tid=5062] ppid=5045 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5047/task/5062/stat : 5062 (java) S 5045 5047 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341938770 3097006080 21689 33554432000 1073741824 1073778376 140736219447200 139978968627752 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5047/tid=5063] ppid=5045 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5047/task/5063/stat : 5063 (java) S 5045 5047 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341938770 3097006080 21689 33554432000 1073741824 1073778376 140736219447200 139978967575208 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5047/tid=5064] ppid=5045 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5047/task/5064/stat : 5064 (java) S 5045 5047 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341938770 3097006080 21689 33554432000 1073741824 1073778376 140736219447200 139978966522664 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5047/tid=5065] ppid=5045 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5047/task/5065/stat : 5065 (java) S 5045 5047 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341938770 3097006080 21689 33554432000 1073741824 1073778376 140736219447200 139978965470120 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5047/tid=5066] ppid=5045 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5047/task/5066/stat : 5066 (java) S 5045 5047 32179 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 341938770 3097006080 21689 33554432000 1073741824 1073778376 140736219447200 139978964417576 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5047/tid=5068] ppid=5045 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5047/task/5068/stat : 5068 (java) S 5045 5047 32179 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 341938771 3097006080 21689 33554432000 1073741824 1073778376 140736219447200 139978834155624 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5047/tid=5071] ppid=5045 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5047/task/5071/stat : 5071 (java) S 5045 5047 32179 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 341938771 3097006080 21689 33554432000 1073741824 1073778376 140736219447200 139978833101944 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5047/tid=5072] ppid=5045 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5047/task/5072/stat : 5072 (java) S 5045 5047 32179 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341938771 3097006080 21689 33554432000 1073741824 1073778376 140736219447200 139978832049288 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5047/tid=5073] ppid=5045 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5047/task/5073/stat : 5073 (java) S 5045 5047 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341938774 3097006080 21689 33554432000 1073741824 1073778376 140736219447200 139978830998032 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5047/tid=5075] ppid=5045 vsize=3024420 CPUtime=0.37 cores=1,3,5,7
/proc/5047/task/5075/stat : 5075 (java) S 5045 5047 32179 0 -1 4202560 3685 0 0 0 37 0 0 0 20 0 19 0 341938774 3097006080 21689 33554432000 1073741824 1073778376 140736219447200 139978829945400 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5047/tid=5077] ppid=5045 vsize=3024420 CPUtime=0.37 cores=1,3,5,7
/proc/5047/task/5077/stat : 5077 (java) S 5045 5047 32179 0 -1 4202560 3159 0 0 0 37 0 0 0 20 0 19 0 341938774 3097006080 21689 33554432000 1073741824 1073778376 140736219447200 139978828892856 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5047/tid=5079] ppid=5045 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5047/task/5079/stat : 5079 (java) S 5045 5047 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341938774 3097006080 21689 33554432000 1073741824 1073778376 140736219447200 139978827840504 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5047/tid=5081] ppid=5045 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5047/task/5081/stat : 5081 (java) S 5045 5047 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341938774 3097006080 21689 33554432000 1073741824 1073778376 140736219447200 139978826788168 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5047/tid=5084] ppid=5045 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5047/task/5084/stat : 5084 (java) S 5045 5047 32179 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341938813 3097006080 21689 33554432000 1073741824 1073778376 140736219447200 139978824655656 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.84
Current children cumulated vsize (KiB) 3024420

[startup+6.30065 s]
/proc/loadavg: 1.83 1.98 2.41 3/213 5084
/proc/meminfo: memFree=27735800/32873648 swapFree=7116/7116
[pid=5047] ppid=5045 vsize=3024420 CPUtime=7.04 cores=1,3,5,7
/proc/5047/stat : 5047 (java) S 5045 5047 32179 0 -1 4202496 11106 0 3 0 701 3 0 0 20 0 19 0 341938768 3097006080 25231 33554432000 1073741824 1073778376 140736219447200 140736219438336 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5047/statm: 756105 25231 2276 9 0 746526 0
[pid=5047/tid=5049] ppid=5045 vsize=3024420 CPUtime=6.24 cores=1,3,5,7
/proc/5047/task/5049/stat : 5049 (java) R 5045 5047 32179 0 -1 4202560 3066 0 3 0 622 2 0 0 20 0 19 0 341938769 3097006080 25231 33554432000 1073741824 1073778376 140736219447200 139978988358064 139978840131741 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=5047/tid=5059] ppid=5045 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5047/task/5059/stat : 5059 (java) S 5045 5047 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341938770 3097006080 25231 33554432000 1073741824 1073778376 140736219447200 139978971785384 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5047/tid=5060] ppid=5045 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5047/task/5060/stat : 5060 (java) S 5045 5047 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341938770 3097006080 25231 33554432000 1073741824 1073778376 140736219447200 139978970732840 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5047/tid=5061] ppid=5045 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5047/task/5061/stat : 5061 (java) S 5045 5047 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341938770 3097006080 25231 33554432000 1073741824 1073778376 140736219447200 139978969680296 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5047/tid=5062] ppid=5045 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5047/task/5062/stat : 5062 (java) S 5045 5047 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341938770 3097006080 25231 33554432000 1073741824 1073778376 140736219447200 139978968627752 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5047/tid=5063] ppid=5045 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5047/task/5063/stat : 5063 (java) S 5045 5047 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341938770 3097006080 25231 33554432000 1073741824 1073778376 140736219447200 139978967575208 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5047/tid=5064] ppid=5045 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5047/task/5064/stat : 5064 (java) S 5045 5047 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341938770 3097006080 25231 33554432000 1073741824 1073778376 140736219447200 139978966522664 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5047/tid=5065] ppid=5045 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5047/task/5065/stat : 5065 (java) S 5045 5047 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341938770 3097006080 25231 33554432000 1073741824 1073778376 140736219447200 139978965470120 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5047/tid=5066] ppid=5045 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5047/task/5066/stat : 5066 (java) S 5045 5047 32179 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 341938770 3097006080 25231 33554432000 1073741824 1073778376 140736219447200 139978964417576 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5047/tid=5068] ppid=5045 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5047/task/5068/stat : 5068 (java) S 5045 5047 32179 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 341938771 3097006080 25231 33554432000 1073741824 1073778376 140736219447200 139978834155624 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5047/tid=5071] ppid=5045 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5047/task/5071/stat : 5071 (java) S 5045 5047 32179 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 341938771 3097006080 25231 33554432000 1073741824 1073778376 140736219447200 139978833101944 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5047/tid=5072] ppid=5045 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5047/task/5072/stat : 5072 (java) S 5045 5047 32179 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341938771 3097006080 25231 33554432000 1073741824 1073778376 140736219447200 139978832049288 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5047/tid=5073] ppid=5045 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5047/task/5073/stat : 5073 (java) S 5045 5047 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341938774 3097006080 25231 33554432000 1073741824 1073778376 140736219447200 139978830998032 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5047/tid=5075] ppid=5045 vsize=3024420 CPUtime=0.37 cores=1,3,5,7
/proc/5047/task/5075/stat : 5075 (java) S 5045 5047 32179 0 -1 4202560 3685 0 0 0 37 0 0 0 20 0 19 0 341938774 3097006080 25231 33554432000 1073741824 1073778376 140736219447200 139978829945400 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5047/tid=5077] ppid=5045 vsize=3024420 CPUtime=0.37 cores=1,3,5,7
/proc/5047/task/5077/stat : 5077 (java) S 5045 5047 32179 0 -1 4202560 3159 0 0 0 37 0 0 0 20 0 19 0 341938774 3097006080 25231 33554432000 1073741824 1073778376 140736219447200 139978828892856 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0

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

[pid=5047/tid=5075] ppid=5045 vsize=3024420 CPUtime=0.46 cores=1,3,5,7
/proc/5047/task/5075/stat : 5075 (java) S 5045 5047 32179 0 -1 4202560 3863 0 1 0 46 0 0 0 20 0 19 0 341938774 3097006080 418222 33554432000 1073741824 1073778376 140736219447200 139978829945400 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5047/tid=5077] ppid=5045 vsize=3024420 CPUtime=0.38 cores=1,3,5,7
/proc/5047/task/5077/stat : 5077 (java) S 5045 5047 32179 0 -1 4202560 3164 0 0 0 38 0 0 0 20 0 19 0 341938774 3097006080 418222 33554432000 1073741824 1073778376 140736219447200 139978828892856 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5047/tid=5079] ppid=5045 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5047/task/5079/stat : 5079 (java) S 5045 5047 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341938774 3097006080 418222 33554432000 1073741824 1073778376 140736219447200 139978827840504 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5047/tid=5081] ppid=5045 vsize=3024420 CPUtime=0.72 cores=1,3,5,7
/proc/5047/task/5081/stat : 5081 (java) S 5045 5047 32179 0 -1 4202560 100 0 0 0 32 40 0 0 20 0 19 0 341938774 3097006080 418222 33554432000 1073741824 1073778376 140736219447200 139978826788168 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5047/tid=5084] ppid=5045 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5047/task/5084/stat : 5084 (java) S 5045 5047 32179 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341938813 3097006080 418222 33554432000 1073741824 1073778376 140736219447200 139978824655656 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1726.01
Current children cumulated vsize (KiB) 3024420

[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.04 3/213 5101
/proc/meminfo: memFree=24562420/32873648 swapFree=7116/7116
[pid=5047] ppid=5045 vsize=3024420 CPUtime=1786.03 cores=1,3,5,7
/proc/5047/stat : 5047 (java) S 5045 5047 32179 0 -1 4202496 13623 0 4 0 178437 166 0 0 20 0 19 0 341938768 3097006080 418222 33554432000 1073741824 1073778376 140736219447200 140736219438336 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5047/statm: 756105 418222 2304 9 0 746526 0
[pid=5047/tid=5049] ppid=5045 vsize=3024420 CPUtime=1775.05 cores=1,3,5,7
/proc/5047/task/5049/stat : 5049 (java) R 5045 5047 32179 0 -1 4202560 3247 0 3 0 177473 32 0 0 20 0 19 0 341938769 3097006080 418222 33554432000 1073741824 1073778376 140736219447200 139978988358960 139978840076857 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=5047/tid=5059] ppid=5045 vsize=3024420 CPUtime=0.28 cores=1,3,5,7
/proc/5047/task/5059/stat : 5059 (java) S 5045 5047 32179 0 -1 4202560 169 0 0 0 18 10 0 0 20 0 19 0 341938770 3097006080 418222 33554432000 1073741824 1073778376 140736219447200 139978971785384 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5047/tid=5060] ppid=5045 vsize=3024420 CPUtime=0.37 cores=1,3,5,7
/proc/5047/task/5060/stat : 5060 (java) S 5045 5047 32179 0 -1 4202560 184 0 0 0 26 11 0 0 20 0 19 0 341938770 3097006080 418222 33554432000 1073741824 1073778376 140736219447200 139978970732840 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5047/tid=5061] ppid=5045 vsize=3024420 CPUtime=0.51 cores=1,3,5,7
/proc/5047/task/5061/stat : 5061 (java) S 5045 5047 32179 0 -1 4202560 331 0 0 0 31 20 0 0 20 0 19 0 341938770 3097006080 418222 33554432000 1073741824 1073778376 140736219447200 139978969680296 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5047/tid=5062] ppid=5045 vsize=3024420 CPUtime=0.33 cores=1,3,5,7
/proc/5047/task/5062/stat : 5062 (java) S 5045 5047 32179 0 -1 4202560 248 0 0 0 19 14 0 0 20 0 19 0 341938770 3097006080 418222 33554432000 1073741824 1073778376 140736219447200 139978968627752 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5047/tid=5063] ppid=5045 vsize=3024420 CPUtime=0.42 cores=1,3,5,7
/proc/5047/task/5063/stat : 5063 (java) S 5045 5047 32179 0 -1 4202560 254 0 0 0 27 15 0 0 20 0 19 0 341938770 3097006080 418222 33554432000 1073741824 1073778376 140736219447200 139978967575208 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5047/tid=5064] ppid=5045 vsize=3024420 CPUtime=0.36 cores=1,3,5,7
/proc/5047/task/5064/stat : 5064 (java) S 5045 5047 32179 0 -1 4202560 173 0 0 0 25 11 0 0 20 0 19 0 341938770 3097006080 418222 33554432000 1073741824 1073778376 140736219447200 139978966522664 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5047/tid=5065] ppid=5045 vsize=3024420 CPUtime=0.36 cores=1,3,5,7
/proc/5047/task/5065/stat : 5065 (java) S 5045 5047 32179 0 -1 4202560 229 0 0 0 23 13 0 0 20 0 19 0 341938770 3097006080 418222 33554432000 1073741824 1073778376 140736219447200 139978965470120 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5047/tid=5066] ppid=5045 vsize=3024420 CPUtime=0.46 cores=1,3,5,7
/proc/5047/task/5066/stat : 5066 (java) S 5045 5047 32179 0 -1 4202560 259 0 0 0 30 16 0 0 20 0 19 0 341938770 3097006080 418222 33554432000 1073741824 1073778376 140736219447200 139978964417576 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5047/tid=5068] ppid=5045 vsize=3024420 CPUtime=1.8 cores=1,3,5,7
/proc/5047/task/5068/stat : 5068 (java) S 5045 5047 32179 0 -1 4202560 217 0 0 0 173 7 0 0 20 0 19 0 341938771 3097006080 418222 33554432000 1073741824 1073778376 140736219447200 139978834155624 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5047/tid=5071] ppid=5045 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5047/task/5071/stat : 5071 (java) S 5045 5047 32179 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 341938771 3097006080 418222 33554432000 1073741824 1073778376 140736219447200 139978833101944 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5047/tid=5072] ppid=5045 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5047/task/5072/stat : 5072 (java) S 5045 5047 32179 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 341938771 3097006080 418222 33554432000 1073741824 1073778376 140736219447200 139978832049288 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5047/tid=5073] ppid=5045 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5047/task/5073/stat : 5073 (java) S 5045 5047 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341938774 3097006080 418222 33554432000 1073741824 1073778376 140736219447200 139978830998032 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5047/tid=5075] ppid=5045 vsize=3024420 CPUtime=0.46 cores=1,3,5,7
/proc/5047/task/5075/stat : 5075 (java) S 5045 5047 32179 0 -1 4202560 3863 0 1 0 46 0 0 0 20 0 19 0 341938774 3097006080 418222 33554432000 1073741824 1073778376 140736219447200 139978829945400 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5047/tid=5077] ppid=5045 vsize=3024420 CPUtime=0.38 cores=1,3,5,7
/proc/5047/task/5077/stat : 5077 (java) S 5045 5047 32179 0 -1 4202560 3164 0 0 0 38 0 0 0 20 0 19 0 341938774 3097006080 418222 33554432000 1073741824 1073778376 140736219447200 139978828892856 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5047/tid=5079] ppid=5045 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5047/task/5079/stat : 5079 (java) S 5045 5047 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341938774 3097006080 418222 33554432000 1073741824 1073778376 140736219447200 139978827840504 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5047/tid=5081] ppid=5045 vsize=3024420 CPUtime=0.74 cores=1,3,5,7
/proc/5047/task/5081/stat : 5081 (java) S 5045 5047 32179 0 -1 4202560 104 0 0 0 33 41 0 0 20 0 19 0 341938774 3097006080 418222 33554432000 1073741824 1073778376 140736219447200 139978826788168 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5047/tid=5084] ppid=5045 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5047/task/5084/stat : 5084 (java) S 5045 5047 32179 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341938813 3097006080 418222 33554432000 1073741824 1073778376 140736219447200 139978824655656 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1786.03
Current children cumulated vsize (KiB) 3024420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1796.31 s]
/proc/loadavg: 2.01 2.00 2.04 3/213 5101
/proc/meminfo: memFree=24562548/32873648 swapFree=7116/7116
[pid=5047] ppid=5045 vsize=3024420 CPUtime=1800.04 cores=1,3,5,7
/proc/5047/stat : 5047 (java) S 5045 5047 32179 0 -1 4202496 13623 0 4 0 179838 166 0 0 20 0 19 0 341938768 3097006080 418222 33554432000 1073741824 1073778376 140736219447200 140736219438336 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5047/statm: 756105 418222 2304 9 0 746526 0
[pid=5047/tid=5049] ppid=5045 vsize=3024420 CPUtime=1789.03 cores=1,3,5,7
/proc/5047/task/5049/stat : 5049 (java) R 5045 5047 32179 0 -1 4202560 3247 0 3 0 178870 33 0 0 20 0 19 0 341938769 3097006080 418222 33554432000 1073741824 1073778376 140736219447200 139978988358960 139978840108079 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=5047/tid=5059] ppid=5045 vsize=3024420 CPUtime=0.28 cores=1,3,5,7
/proc/5047/task/5059/stat : 5059 (java) S 5045 5047 32179 0 -1 4202560 169 0 0 0 18 10 0 0 20 0 19 0 341938770 3097006080 418222 33554432000 1073741824 1073778376 140736219447200 139978971785384 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5047/tid=5060] ppid=5045 vsize=3024420 CPUtime=0.37 cores=1,3,5,7
/proc/5047/task/5060/stat : 5060 (java) S 5045 5047 32179 0 -1 4202560 184 0 0 0 26 11 0 0 20 0 19 0 341938770 3097006080 418222 33554432000 1073741824 1073778376 140736219447200 139978970732840 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5047/tid=5061] ppid=5045 vsize=3024420 CPUtime=0.51 cores=1,3,5,7
/proc/5047/task/5061/stat : 5061 (java) S 5045 5047 32179 0 -1 4202560 331 0 0 0 31 20 0 0 20 0 19 0 341938770 3097006080 418222 33554432000 1073741824 1073778376 140736219447200 139978969680296 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5047/tid=5062] ppid=5045 vsize=3024420 CPUtime=0.33 cores=1,3,5,7
/proc/5047/task/5062/stat : 5062 (java) S 5045 5047 32179 0 -1 4202560 248 0 0 0 19 14 0 0 20 0 19 0 341938770 3097006080 418222 33554432000 1073741824 1073778376 140736219447200 139978968627752 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5047/tid=5063] ppid=5045 vsize=3024420 CPUtime=0.42 cores=1,3,5,7
/proc/5047/task/5063/stat : 5063 (java) S 5045 5047 32179 0 -1 4202560 254 0 0 0 27 15 0 0 20 0 19 0 341938770 3097006080 418222 33554432000 1073741824 1073778376 140736219447200 139978967575208 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5047/tid=5064] ppid=5045 vsize=3024420 CPUtime=0.36 cores=1,3,5,7
/proc/5047/task/5064/stat : 5064 (java) S 5045 5047 32179 0 -1 4202560 173 0 0 0 25 11 0 0 20 0 19 0 341938770 3097006080 418222 33554432000 1073741824 1073778376 140736219447200 139978966522664 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5047/tid=5065] ppid=5045 vsize=3024420 CPUtime=0.36 cores=1,3,5,7
/proc/5047/task/5065/stat : 5065 (java) S 5045 5047 32179 0 -1 4202560 229 0 0 0 23 13 0 0 20 0 19 0 341938770 3097006080 418222 33554432000 1073741824 1073778376 140736219447200 139978965470120 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5047/tid=5066] ppid=5045 vsize=3024420 CPUtime=0.46 cores=1,3,5,7
/proc/5047/task/5066/stat : 5066 (java) S 5045 5047 32179 0 -1 4202560 259 0 0 0 30 16 0 0 20 0 19 0 341938770 3097006080 418222 33554432000 1073741824 1073778376 140736219447200 139978964417576 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5047/tid=5068] ppid=5045 vsize=3024420 CPUtime=1.81 cores=1,3,5,7
/proc/5047/task/5068/stat : 5068 (java) S 5045 5047 32179 0 -1 4202560 217 0 0 0 174 7 0 0 20 0 19 0 341938771 3097006080 418222 33554432000 1073741824 1073778376 140736219447200 139978834155624 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5047/tid=5071] ppid=5045 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5047/task/5071/stat : 5071 (java) S 5045 5047 32179 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 341938771 3097006080 418222 33554432000 1073741824 1073778376 140736219447200 139978833101944 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5047/tid=5072] ppid=5045 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5047/task/5072/stat : 5072 (java) S 5045 5047 32179 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 341938771 3097006080 418222 33554432000 1073741824 1073778376 140736219447200 139978832049288 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5047/tid=5073] ppid=5045 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5047/task/5073/stat : 5073 (java) S 5045 5047 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341938774 3097006080 418222 33554432000 1073741824 1073778376 140736219447200 139978830998032 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5047/tid=5075] ppid=5045 vsize=3024420 CPUtime=0.46 cores=1,3,5,7
/proc/5047/task/5075/stat : 5075 (java) S 5045 5047 32179 0 -1 4202560 3863 0 1 0 46 0 0 0 20 0 19 0 341938774 3097006080 418222 33554432000 1073741824 1073778376 140736219447200 139978829945400 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5047/tid=5077] ppid=5045 vsize=3024420 CPUtime=0.38 cores=1,3,5,7
/proc/5047/task/5077/stat : 5077 (java) S 5045 5047 32179 0 -1 4202560 3164 0 0 0 38 0 0 0 20 0 19 0 341938774 3097006080 418222 33554432000 1073741824 1073778376 140736219447200 139978828892856 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5047/tid=5079] ppid=5045 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5047/task/5079/stat : 5079 (java) S 5045 5047 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341938774 3097006080 418222 33554432000 1073741824 1073778376 140736219447200 139978827840504 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5047/tid=5081] ppid=5045 vsize=3024420 CPUtime=0.75 cores=1,3,5,7
/proc/5047/task/5081/stat : 5081 (java) S 5045 5047 32179 0 -1 4202560 104 0 0 0 33 42 0 0 20 0 19 0 341938774 3097006080 418222 33554432000 1073741824 1073778376 140736219447200 139978826788168 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5047/tid=5084] ppid=5045 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5047/task/5084/stat : 5084 (java) S 5045 5047 32179 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341938813 3097006080 418222 33554432000 1073741824 1073778376 140736219447200 139978824655656 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 3024420

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

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

[startup+1796.41 s]
/proc/loadavg: 2.01 2.00 2.04 3/213 5101
/proc/meminfo: memFree=24562548/32873648 swapFree=7116/7116
[pid=5047] ppid=5045 vsize=3157548 CPUtime=1800.4 cores=1,3,5,7
/proc/5047/stat : 5047 (java) S 5045 5047 32179 0 -1 4202496 13862 0 4 0 179874 166 0 0 20 0 21 0 341938768 3233329152 418458 33554432000 1073741824 1073778376 140736219447200 140736219438336 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5047/statm: 789387 418458 2304 9 0 779808 0
[pid=5047/tid=5049] ppid=5045 vsize=3157548 CPUtime=1789.04 cores=1,3,5,7
/proc/5047/task/5049/stat : 5049 (java) S 5045 5047 32179 0 -1 4202560 3247 0 3 0 178871 33 0 0 20 0 21 0 341938769 3233329152 418458 33554432000 1073741824 1073778376 140736219447200 139978988358296 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5047/tid=5059] ppid=5045 vsize=3157548 CPUtime=0.33 cores=1,3,5,7
/proc/5047/task/5059/stat : 5059 (java) R 5045 5047 32179 0 -1 4202560 358 0 0 0 23 10 0 0 20 0 21 0 341938770 3233329152 418458 33554432000 1073741824 1073778376 140736219447200 139978971785560 139978995255749 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=5047/tid=5060] ppid=5045 vsize=3157548 CPUtime=0.4 cores=1,3,5,7
/proc/5047/task/5060/stat : 5060 (java) R 5045 5047 32179 0 -1 4202560 185 0 0 0 29 11 0 0 20 0 21 0 341938770 3233329152 418458 33554432000 1073741824 1073778376 140736219447200 139978970733016 139978994881091 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=5047/tid=5061] ppid=5045 vsize=3157548 CPUtime=0.54 cores=1,3,5,7
/proc/5047/task/5061/stat : 5061 (java) R 5045 5047 32179 0 -1 4202560 333 0 0 0 34 20 0 0 20 0 21 0 341938770 3233329152 418458 33554432000 1073741824 1073778376 140736219447200 139978969680176 139978990831347 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=5047/tid=5062] ppid=5045 vsize=3157548 CPUtime=0.38 cores=1,3,5,7
/proc/5047/task/5062/stat : 5062 (java) R 5045 5047 32179 0 -1 4202560 251 0 0 0 23 15 0 0 20 0 21 0 341938770 3233329152 418458 33554432000 1073741824 1073778376 140736219447200 139978968627928 139978990831347 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=5047/tid=5063] ppid=5045 vsize=3157548 CPUtime=0.46 cores=1,3,5,7
/proc/5047/task/5063/stat : 5063 (java) R 5045 5047 32179 0 -1 4202560 254 0 0 0 31 15 0 0 20 0 21 0 341938770 3233329152 418458 33554432000 1073741824 1073778376 140736219447200 139978967575384 139978990831347 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=5047/tid=5064] ppid=5045 vsize=3157548 CPUtime=0.41 cores=1,3,5,7
/proc/5047/task/5064/stat : 5064 (java) R 5045 5047 32179 0 -1 4202560 173 0 0 0 30 11 0 0 20 0 21 0 341938770 3233329152 418458 33554432000 1073741824 1073778376 140736219447200 139978966522840 139978994868655 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=5047/tid=5065] ppid=5045 vsize=3157548 CPUtime=0.41 cores=1,3,5,7
/proc/5047/task/5065/stat : 5065 (java) R 5045 5047 32179 0 -1 4202560 232 0 0 0 28 13 0 0 20 0 21 0 341938770 3233329152 418458 33554432000 1073741824 1073778376 140736219447200 139978965470296 139978992535727 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=5047/tid=5066] ppid=5045 vsize=3157548 CPUtime=0.53 cores=1,3,5,7
/proc/5047/task/5066/stat : 5066 (java) R 5045 5047 32179 0 -1 4202560 269 0 0 0 37 16 0 0 20 0 21 0 341938770 3233329152 418458 33554432000 1073741824 1073778376 140736219447200 139978964417752 139978990831347 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=5047/tid=5068] ppid=5045 vsize=3157548 CPUtime=1.81 cores=1,3,5,7
/proc/5047/task/5068/stat : 5068 (java) S 5045 5047 32179 0 -1 4202560 218 0 0 0 174 7 0 0 20 0 21 0 341938771 3233329152 418458 33554432000 1073741824 1073778376 140736219447200 139978834154504 260193694780 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5047/tid=5071] ppid=5045 vsize=3157548 CPUtime=0 cores=1,3,5,7
/proc/5047/task/5071/stat : 5071 (java) S 5045 5047 32179 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 341938771 3233329152 418458 33554432000 1073741824 1073778376 140736219447200 139978833101944 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5047/tid=5072] ppid=5045 vsize=3157548 CPUtime=0 cores=1,3,5,7
/proc/5047/task/5072/stat : 5072 (java) S 5045 5047 32179 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 21 0 341938771 3233329152 418458 33554432000 1073741824 1073778376 140736219447200 139978832049288 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5047/tid=5073] ppid=5045 vsize=3157548 CPUtime=0 cores=1,3,5,7
/proc/5047/task/5073/stat : 5073 (java) S 5045 5047 32179 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 21 0 341938774 3233329152 418458 33554432000 1073741824 1073778376 140736219447200 139978830998032 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5047/tid=5075] ppid=5045 vsize=3157548 CPUtime=0.46 cores=1,3,5,7
/proc/5047/task/5075/stat : 5075 (java) S 5045 5047 32179 0 -1 4202560 3863 0 1 0 46 0 0 0 20 0 21 0 341938774 3233329152 418458 33554432000 1073741824 1073778376 140736219447200 139978829945400 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5047/tid=5077] ppid=5045 vsize=3157548 CPUtime=0.38 cores=1,3,5,7
/proc/5047/task/5077/stat : 5077 (java) S 5045 5047 32179 0 -1 4202560 3164 0 0 0 38 0 0 0 20 0 21 0 341938774 3233329152 418458 33554432000 1073741824 1073778376 140736219447200 139978828892856 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5047/tid=5079] ppid=5045 vsize=3157548 CPUtime=0 cores=1,3,5,7
/proc/5047/task/5079/stat : 5079 (java) S 5045 5047 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 341938774 3233329152 418458 33554432000 1073741824 1073778376 140736219447200 139978827840504 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5047/tid=5081] ppid=5045 vsize=3157548 CPUtime=0.75 cores=1,3,5,7
/proc/5047/task/5081/stat : 5081 (java) S 5045 5047 32179 0 -1 4202560 104 0 0 0 33 42 0 0 20 0 21 0 341938774 3233329152 418458 33554432000 1073741824 1073778376 140736219447200 139978826788168 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5047/tid=5084] ppid=5045 vsize=3157548 CPUtime=0 cores=1,3,5,7
/proc/5047/task/5084/stat : 5084 (java) S 5045 5047 32179 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 341938813 3233329152 418458 33554432000 1073741824 1073778376 140736219447200 139978824655656 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.4
Current children cumulated vsize (KiB) 3157548

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 5047 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=179243
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=70685
# CPU time returned by wait4() is 1796.25
# while last known CPU time is 1800.4
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1796.44
CPU time (s): 1800.4
CPU user time (s): 1798.74
CPU system time (s): 1.66
CPU usage (%): 100.22
Max. virtual memory (cumulated for all children) (KiB): 3157548

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.18
system time used= 2.07069
maximum resident set size= 1673840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13866
page faults= 4
swaps= 0
block input operations= 656
block output operations= 1064
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38097
involuntary context switches= 5429

runsolver used 5.50016 second user time and 15.7336 second system time

The end

Launcher Data 

Begin job on node123 at 2012-06-03 23:15:33
IDJOB=3741932
IDBENCH=90119
IDSOLVER=2319
FILE ID=node123/3741932-1338758133
RUNJOBID= node123-1338758132-5020
PBS_JOBID= 14636768
Free space on /tmp= 71304 MiB

SOLVER NAME= PB07: SAT4JPseudoResolution 2007-03-23
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K105.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar BENCHNAME           
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3741932-1338758133/watcher-3741932-1338758133 -o /tmp/evaluation-result-3741932-1338758133/solver-3741932-1338758133 -C 1800 -W 1900 -M 15500  java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3741932-1338758133.opb           

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

MD5SUM BENCH= f2bb3fbff44c335cc6fb8854fd262f5a
RANDOM SEED=80302918

node123.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		: 2667.217
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	: 5334.43
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		: 2667.217
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		: 2667.217
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	: 5331.92
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		: 2667.217
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		: 2667.217
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.91
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		: 2667.217
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.91
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		: 2667.217
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.91
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		: 2667.217
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:        27907892 kB
Buffers:         1807508 kB
Cached:          2258524 kB
SwapCached:         2268 kB
Active:          2167000 kB
Inactive:        1910108 kB
Active(anon):       3884 kB
Inactive(anon):     5504 kB
Active(file):    2163116 kB
Inactive(file):  1904604 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67100316 kB
Dirty:              7788 kB
Writeback:            12 kB
AnonPages:         11892 kB
Mapped:             9568 kB
Shmem:                 0 kB
Slab:             750284 kB
SReclaimable:     194400 kB
SUnreclaim:       555884 kB
KernelStack:        1384 kB
PageTables:         3828 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     103940 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:      2048 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= 71296 MiB
End job on node123 at 2012-06-03 23:45:31