Trace number 3742400

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.03 1796.33

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K156.opb
MD5SUMb01d5fef61cfdf78caaec08ee0d21bae
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables18564
Total number of constraints18878
Number of constraints which are clauses18722
Number of constraints which are cardinality constraints (but not clauses)156
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint156
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 157
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.07/0.10	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.07/0.10	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.07/0.10	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.07/0.10	c no version file found!!!
0.07/0.10	c sun.arch.data.model	64
0.07/0.10	c java.version	1.6.0_24
0.07/0.10	c os.name	Linux
0.07/0.10	c os.version	2.6.32-71.29.1.el6.x86_64
0.07/0.10	c os.arch	amd64
0.07/0.10	c Free memory 1599470296
0.07/0.10	c Max memory 1607860224
0.07/0.10	c Total memory 1607860224
0.07/0.10	c Number of processors 8
0.07/0.12	--- Begin Solver configuration ---
0.07/0.12	c Stops conflict analysis at the first Unique Implication Point
0.07/0.12	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1cb1c5fa
0.07/0.12	c Learn all clauses as in MiniSAT
0.07/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.12	c VSIDS like heuristics from MiniSAT using a heap
0.07/0.12	c No reason simplification
0.07/0.12	c --- End Solver configuration ---
0.07/0.13	c solving HOME/instance-3742400-1338767733.opb
0.07/0.13	c reading problem ... 
1.13/0.63	c ... done. Wall clock time 0.507s.
1.13/0.63	c CPU time (experimental) 0.59s.
1.13/0.63	c #vars     18564
1.13/0.63	c #constraints  18876
1229.32/1226.63	c cleaning 368821 clauses out of 738472 for limit 1.0437850660535319E-5
1230.43/1227.78	c cleaning 184727 clauses out of 370151 for limit 3.434172230482812E-5
1230.83/1228.15	c cleaning 92353 clauses out of 185926 for limit 1.1297589321302889E-4
1231.13/1228.43	c cleaning 46411 clauses out of 94072 for limit 3.678636769915338E-4
1231.34/1228.69	c cleaning 23029 clauses out of 48163 for limit 0.0011872950708977901
1231.63/1228.93	c cleaning 11607 clauses out of 25631 for limit 0.003668250593785977
1231.83/1229.14	c cleaning 5869 clauses out of 14525 for limit 0.010685597340096721
1232.03/1229.33	c cleaning 2931 clauses out of 9155 for limit 0.027930452549805244
1232.13/1229.49	c cleaning 1598 clauses out of 6725 for limit 0.06276744219099145
1232.44/1229.76	c cleaning 1900 clauses out of 5633 for limit 0.1243225548444742
1232.63/1229.98	c cleaning 1501 clauses out of 4226 for limit 0.2713779075099436
1232.83/1230.11	c cleaning 1002 clauses out of 3225 for limit 0.5864488651645355
1232.93/1230.29	c cleaning 790 clauses out of 2723 for limit 1.1454288429789412
1233.13/1230.44	c cleaning 774 clauses out of 2433 for limit 2.1141195109101223
1233.33/1230.63	c cleaning 606 clauses out of 2159 for limit 3.928935397572933
1233.43/1230.79	c cleaning 542 clauses out of 2053 for limit 6.813879795488064
1233.64/1230.97	c cleaning 524 clauses out of 2012 for limit 11.477461367395097
1233.83/1231.11	c cleaning 487 clauses out of 1990 for limit 19.175453779823698
1234.03/1231.31	c cleaning 479 clauses out of 2000 for limit 31.370474127193315
1234.13/1231.45	c cleaning 513 clauses out of 2021 for limit 51.19654478247308
1234.23/1231.58	c cleaning 463 clauses out of 2009 for limit 85.0192808898003
1234.33/1231.68	c cleaning 477 clauses out of 2045 for limit 137.60221566157537
1234.43/1231.78	c cleaning 456 clauses out of 2068 for limit 224.40064033823808
1234.53/1231.86	c cleaning 461 clauses out of 2113 for limit 362.5480119704055
1234.64/1231.94	c cleaning 451 clauses out of 2151 for limit 586.7403963979526
1234.74/1232.04	c cleaning 467 clauses out of 2201 for limit 946.5787628321787
1234.83/1232.14	c cleaning 470 clauses out of 2233 for limit 1537.125938667912
1234.93/1232.24	c cleaning 485 clauses out of 2263 for limit 2501.3214498709826
1235.03/1232.35	c cleaning 467 clauses out of 2278 for limit 4097.851617281921
1235.13/1232.44	c cleaning 493 clauses out of 2312 for limit 6665.189743928195
1235.23/1232.54	c cleaning 484 clauses out of 2318 for limit 10952.374633766689
1235.33/1232.65	c cleaning 497 clauses out of 2335 for limit 17948.379193035
1235.43/1232.76	c cleaning 480 clauses out of 2339 for limit 29578.237929476294
1235.53/1232.84	c cleaning 481 clauses out of 2358 for limit 48337.04470449491
1235.63/1232.91	c cleaning 468 clauses out of 2376 for limit 79031.2469175297
1235.74/1233.02	c cleaning 519 clauses out of 2410 for limit 128751.74930981176
1235.84/1233.14	c cleaning 500 clauses out of 2389 for limit 213767.11432033655
1235.93/1233.24	c cleaning 470 clauses out of 2390 for limit 352735.80223937467
1236.03/1233.36	c cleaning 1199 clauses out of 2419 for limit 574160.0222687909
1236.13/1233.49	c cleaning 461 clauses out of 1721 for limit 1332227.354945081
1236.33/1233.60	c cleaning 490 clauses out of 1759 for limit 2147408.921097346
1236.43/1233.71	c cleaning 268 clauses out of 1769 for limit 3521345.5664087324
1236.53/1233.82	c cleaning 384 clauses out of 2001 for limit 5133874.853443302
1236.63/1233.95	c cleaning 352 clauses out of 2117 for limit 8002531.557897042
1236.73/1234.07	c cleaning 584 clauses out of 2266 for limit 1.2341806887869937E7
1236.94/1234.21	c cleaning 533 clauses out of 2181 for limit 2.112537183775925E7
1237.03/1234.35	c cleaning 787 clauses out of 2148 for limit 3.537379360137149E7
1237.13/1234.47	c cleaning 344 clauses out of 1861 for limit 6.733260676248764E7
1237.23/1234.57	c cleaning 418 clauses out of 2017 for limit 1.0245231834819327E8
1237.33/1234.68	c cleaning 1045 clauses out of 2099 for limit 1.6235704449905682E8
1237.53/1234.80	c cleaning 577 clauses out of 1554 for limit 3.616499822117211E8
1237.63/1234.99	c cleaning 524 clauses out of 1477 for limit 6.275016241546581E8
1237.83/1235.20	c cleaning 316 clauses out of 1453 for limit 1.0519270481727977E9
1238.04/1235.35	c cleaning 433 clauses out of 1640 for limit 1.5415826393604357E9
1238.23/1235.56	c cleaning 684 clauses out of 1704 for limit 2.4394584204393682E9
1238.43/1235.73	c cleaning 420 clauses out of 1520 for limit 4.509987203607724E9
1238.63/1235.95	c cleaning 583 clauses out of 1600 for limit 7.065693622340998E9
1238.83/1236.16	c cleaning 507 clauses out of 1517 for limit 1.2289807794143435E10
1238.93/1236.30	c cleaning 420 clauses out of 1510 for limit 2.0361492623863613E10
1239.04/1236.40	c cleaning 337 clauses out of 1591 for limit 3.1901182216306454E10
1239.23/1236.52	c cleaning 437 clauses out of 1753 for limit 4.769978445167003E10
1239.43/1236.73	c cleaning 495 clauses out of 1816 for limit 7.59343667366898E10
1239.63/1236.94	c cleaning 462 clauses out of 1821 for limit 1.2488209071116185E11
1239.83/1237.11	c cleaning 749 clauses out of 1859 for limit 2.0173748572998846E11
1239.93/1237.25	c cleaning 476 clauses out of 1612 for limit 3.8443760832360675E11
1240.14/1237.42	c cleaning 465 clauses out of 1634 for limit 6.242028043339313E11
1240.33/1237.61	c cleaning 376 clauses out of 1669 for limit 1.007806878071969E12
1240.43/1237.76	c cleaning 463 clauses out of 1793 for limit 1.5470674620210703E12
1240.65/1237.92	c cleaning 430 clauses out of 1830 for limit 2.499737117860217E12
1240.85/1238.10	c cleaning 491 clauses out of 1900 for limit 3.9705229877087144E12
1240.95/1238.29	c cleaning 493 clauses out of 1909 for limit 6.517053321219811E12
1241.15/1238.44	c cleaning 497 clauses out of 1916 for limit 1.0708227392269152E13
1241.36/1238.67	c cleaning 496 clauses out of 1919 for limit 1.763169245676542E13
1241.55/1238.84	c cleaning 477 clauses out of 1925 for limit 2.90444497704755E13
1241.65/1238.97	c cleaning 577 clauses out of 1949 for limit 4.7355720317209695E13
1241.85/1239.11	c cleaning 452 clauses out of 1870 for limit 8.123244833261445E13
1242.05/1239.30	c cleaning 489 clauses out of 1917 for limit 1.305480568388691E14
1242.25/1239.53	c cleaning 466 clauses out of 1928 for limit 2.1406288891424528E14
1242.46/1239.75	c cleaning 469 clauses out of 1962 for limit 3.469007954918211E14
1242.65/1239.96	c cleaning 559 clauses out of 1993 for limit 5.631873444626299E14
1242.85/1240.13	c cleaning 471 clauses out of 1934 for limit 9.571050397299281E14
1243.05/1240.35	c cleaning 480 clauses out of 1963 for limit 1.555076148237248E15
1243.25/1240.55	c cleaning 496 clauses out of 1983 for limit 2.5386634630927825E15
1243.46/1240.76	c cleaning 626 clauses out of 1987 for limit 4.178167693802654E15
1243.56/1240.87	c cleaning 877 clauses out of 1861 for limit 7.356872809010661E-5
1243.65/1240.97	c cleaning 633 clauses out of 1484 for limit 1.521463741150401E-4
1243.85/1241.11	c cleaning 456 clauses out of 1351 for limit 2.756106820467312E-4
1243.95/1241.26	c cleaning 400 clauses out of 1395 for limit 4.401828056982494E-4
1244.05/1241.39	c cleaning 345 clauses out of 1495 for limit 6.773637891719713E-4
1244.25/1241.56	c cleaning 336 clauses out of 1651 for limit 0.0010125267236675865
1244.45/1241.75	c cleaning 385 clauses out of 1814 for limit 0.001518230319513958
1244.66/1241.95	c cleaning 478 clauses out of 1929 for limit 0.0023544994983949624
1244.85/1242.14	c cleaning 476 clauses out of 1951 for limit 0.003839100201957223
1245.05/1242.32	c cleaning 529 clauses out of 1975 for limit 0.00625425384112082
1245.15/1242.48	c cleaning 502 clauses out of 1947 for limit 0.010472902278065771
1245.35/1242.65	c cleaning 520 clauses out of 1944 for limit 0.01728057213881711
1245.55/1242.84	c cleaning 504 clauses out of 1924 for limit 0.02879421195904106
1245.76/1243.05	c cleaning 477 clauses out of 1920 for limit 0.047584435681930076
1245.95/1243.23	c cleaning 511 clauses out of 1943 for limit 0.07754418544988555
1246.05/1243.36	c cleaning 496 clauses out of 1932 for limit 0.12860883490802277
1246.25/1243.52	c cleaning 489 clauses out of 1940 for limit 0.21206555338798158
1246.45/1243.71	c cleaning 498 clauses out of 1948 for limit 0.3472444068826762
1246.65/1243.90	c cleaning 501 clauses out of 1949 for limit 0.5717863031984216
1246.76/1244.03	c cleaning 500 clauses out of 1948 for limit 0.9434361678334878
1246.86/1244.17	c cleaning 505 clauses out of 1948 for limit 1.5558524513899554
1246.95/1244.29	c cleaning 473 clauses out of 1943 for limit 2.5724115295570797
1247.15/1244.41	c cleaning 480 clauses out of 1971 for limit 4.1861715567554585
1247.25/1244.53	c cleaning 495 clauses out of 1990 for limit 6.830805912084108
1247.45/1244.72	c cleaning 524 clauses out of 1995 for limit 11.236679893838057
1247.65/1244.91	c cleaning 503 clauses out of 1971 for limit 18.756429619663972
1247.87/1245.15	c cleaning 507 clauses out of 1968 for limit 30.979013861188395
1248.06/1245.35	c cleaning 513 clauses out of 1961 for limit 51.2709041763821
1248.26/1245.51	c cleaning 494 clauses out of 1950 for limit 85.19985767234134
1248.36/1245.67	c cleaning 483 clauses out of 1955 for limit 140.00646623254224
1248.56/1245.83	c cleaning 481 clauses out of 1974 for limit 229.12507392562392
1248.66/1245.98	c cleaning 497 clauses out of 1990 for limit 373.6965097993816
1248.86/1246.17	c cleaning 497 clauses out of 1995 for limit 615.9622952944043
1249.07/1246.36	c cleaning 514 clauses out of 1996 for limit 1013.265731630158
1249.16/1246.50	c cleaning 491 clauses out of 1982 for limit 1682.8140486731947
1249.36/1246.61	c cleaning 487 clauses out of 1991 for limit 2762.640702858908
1249.46/1246.73	c cleaning 470 clauses out of 2005 for limit 4528.680560892452
1249.66/1246.91	c cleaning 496 clauses out of 2034 for limit 7354.556548750725
1249.76/1247.08	c cleaning 477 clauses out of 2038 for limit 12104.842623619701
1249.96/1247.28	c cleaning 569 clauses out of 2061 for limit 19739.73065040744
1250.17/1247.47	c cleaning 481 clauses out of 1992 for limit 33681.061247013226
1250.36/1247.63	c cleaning 477 clauses out of 2011 for limit 55019.78862756306
1250.46/1247.77	c cleaning 537 clauses out of 2034 for limit 89708.98163002431
1250.66/1247.92	c cleaning 498 clauses out of 1997 for limit 150683.15238928213
1250.86/1248.12	c cleaning 523 clauses out of 2002 for limit 248621.17315624809
1250.96/1248.28	c cleaning 490 clauses out of 1976 for limit 414159.46978826064
1251.27/1248.50	c cleaning 492 clauses out of 1986 for limit 679565.2754200901
1251.36/1248.67	c cleaning 502 clauses out of 1994 for limit 1116197.784789701
1251.66/1248.91	c cleaning 521 clauses out of 1992 for limit 1842607.621464082
1251.76/1249.05	c cleaning 493 clauses out of 1971 for limit 3071082.3354257667
1251.96/1249.23	c cleaning 512 clauses out of 1978 for limit 5046702.266704558
1252.06/1249.34	c cleaning 509 clauses out of 1966 for limit 8373486.891797942
1252.16/1249.48	c cleaning 478 clauses out of 1957 for limit 1.3872505946271762E7
1252.37/1249.65	c cleaning 844 clauses out of 1978 for limit 2.2634731391426213E7
1252.56/1249.89	c cleaning 798 clauses out of 1633 for limit 4.52138339053555E7
1252.76/1250.06	c cleaning 617 clauses out of 1336 for limit 9.12307951191052E7
1252.86/1250.19	c cleaning 491 clauses out of 1218 for limit 1.648625469852689E8
1253.06/1250.30	c cleaning 512 clauses out of 1228 for limit 2.699363214867318E8
1253.16/1250.49	c cleaning 452 clauses out of 1215 for limit 4.494742220561402E8
1253.37/1250.66	c cleaning 443 clauses out of 1264 for limit 7.132214437014804E8
1253.56/1250.86	c cleaning 569 clauses out of 1320 for limit 1.1251719844323907E9
1253.76/1251.00	c cleaning 429 clauses out of 1251 for limit 1.9579041128619094E9
1253.86/1251.18	c cleaning 555 clauses out of 1325 for limit 3.0576816887393746E9
1254.06/1251.39	c cleaning 442 clauses out of 1268 for limit 5.258668092413863E9
1254.26/1251.58	c cleaning 461 clauses out of 1325 for limit 8.290877743609997E9
1254.47/1251.79	c cleaning 480 clauses out of 1364 for limit 1.3281829659983395E10
1254.66/1251.99	c cleaning 630 clauses out of 1384 for limit 2.158698915305598E10
1254.86/1252.11	c cleaning 370 clauses out of 1254 for limit 3.929040576497545E10
1254.96/1252.22	c cleaning 677 clauses out of 1387 for limit 5.875800091999205E10
1255.06/1252.35	c cleaning 568 clauses out of 1207 for limit 1.110167615239323E11
1255.16/1252.47	c cleaning 345 clauses out of 1139 for limit 1.9401172959675726E11
1255.36/1252.61	c cleaning 617 clauses out of 1294 for limit 2.816263730661129E11
1255.57/1252.81	c cleaning 510 clauses out of 1178 for limit 5.106845355097823E11
1255.67/1252.94	c cleaning 540 clauses out of 1168 for limit 8.493976233510327E11
1255.86/1253.12	c cleaning 450 clauses out of 1127 for limit 1.4502782820404673E12
1256.06/1253.31	c cleaning 496 clauses out of 1177 for limit 2.2901012492576025E12
1256.26/1253.54	c cleaning 480 clauses out of 1181 for limit 3.7638918481703135E12
1256.46/1253.75	c cleaning 463 clauses out of 1202 for limit 6.104821423779538E12
1256.67/1253.91	c cleaning 403 clauses out of 1241 for limit 9.770809845566299E12
1256.77/1254.10	c cleaning 463 clauses out of 1335 for limit 1.4933906531642484E13
1257.06/1254.30	c cleaning 496 clauses out of 1372 for limit 2.3963843250794914E13
1257.16/1254.48	c cleaning 506 clauses out of 1376 for limit 3.9404700836429164E13
1257.36/1254.70	c cleaning 471 clauses out of 1371 for limit 6.528590256826837E13
1257.66/1254.94	c cleaning 480 clauses out of 1400 for limit 1.0543497967923842E14
1257.87/1255.12	c cleaning 697 clauses out of 1419 for limit 1.7137668352470594E14
1258.06/1255.33	c cleaning 563 clauses out of 1222 for limit 3.281850629829063E14
1258.16/1255.48	c cleaning 475 clauses out of 1159 for limit 5.706403371907208E14
1258.36/1255.61	c cleaning 451 clauses out of 1184 for limit 9.211918525838611E14
1258.46/1255.76	c cleaning 507 clauses out of 1233 for limit 1.4587961249849552E15
1258.66/1255.99	c cleaning 488 clauses out of 1226 for limit 2.4194858940040005E15
1258.97/1256.23	c cleaning 461 clauses out of 1238 for limit 3.951380087570327E15
1259.16/1256.45	c cleaning 482 clauses out of 1277 for limit 6.317342764895205E15
1259.26/1256.59	c cleaning 583 clauses out of 1295 for limit 1.0273335168354186E-4
1259.46/1256.75	c cleaning 564 clauses out of 1214 for limit 1.8108707316696218E-4
1259.56/1256.86	c cleaning 429 clauses out of 1148 for limit 3.1517452835928166E-4
1259.76/1257.01	c cleaning 487 clauses out of 1219 for limit 4.894915297138562E-4
1259.86/1257.11	c cleaning 361 clauses out of 1232 for limit 7.987190924502547E-4
1259.97/1257.22	c cleaning 430 clauses out of 1372 for limit 0.0011839709894359044
1260.07/1257.32	c cleaning 459 clauses out of 1441 for limit 0.0018571738797371325
1260.16/1257.49	c cleaning 490 clauses out of 1482 for limit 0.0029779968296646687
1260.36/1257.68	c cleaning 513 clauses out of 1492 for limit 0.004878198839948298
1260.66/1257.91	c cleaning 484 clauses out of 1484 for limit 0.008128733147938967
1260.86/1258.11	c cleaning 474 clauses out of 1495 for limit 0.01324033285213914
1260.96/1258.27	c cleaning 480 clauses out of 1524 for limit 0.02148397068316991
1261.17/1258.49	c cleaning 496 clauses out of 1541 for limit 0.0349340736117663
1261.46/1258.70	c cleaning 499 clauses out of 1545 for limit 0.05746180619153718
1261.66/1258.90	c cleaning 488 clauses out of 1546 for limit 0.0947009104250956
1261.76/1259.08	c cleaning 488 clauses out of 1558 for limit 0.1549715859147525
1261.96/1259.20	c cleaning 481 clauses out of 1570 for limit 0.25361548421159325
1262.06/1259.37	c cleaning 521 clauses out of 1589 for limit 0.41324480970026056
1262.27/1259.55	c cleaning 505 clauses out of 1569 for limit 0.6908738584605276
1262.36/1259.68	c cleaning 506 clauses out of 1563 for limit 1.1425733780977978
1262.56/1259.84	c cleaning 482 clauses out of 1558 for limit 1.8921955825847212
1262.76/1260.01	c cleaning 495 clauses out of 1575 for limit 3.0837154360247987
1262.86/1260.19	c cleaning 514 clauses out of 1580 for limit 5.069366060486579
1263.16/1260.47	c cleaning 583 clauses out of 1566 for limit 8.43480154930626
1263.37/1260.62	c cleaning 513 clauses out of 1483 for limit 14.688632420061248
1263.46/1260.70	c cleaning 506 clauses out of 1470 for limit 24.437741475070062
1263.56/1260.84	c cleaning 501 clauses out of 1464 for limit 40.466273377722516
1263.66/1260.97	c cleaning 491 clauses out of 1466 for limit 66.84358587589682
1263.86/1261.11	c cleaning 613 clauses out of 1471 for limit 109.53007604020753
1263.96/1261.29	c cleaning 533 clauses out of 1358 for limit 195.66005846745364
1264.16/1261.45	c cleaning 531 clauses out of 1325 for limit 330.70591110147143
1264.37/1261.68	c cleaning 512 clauses out of 1294 for limit 558.4437652228606
1264.56/1261.87	c cleaning 493 clauses out of 1282 for limit 929.5688986762548
1264.76/1262.06	c cleaning 503 clauses out of 1289 for limit 1524.6585010053727
1264.96/1262.25	c cleaning 481 clauses out of 1288 for limit 2521.358175702391
1265.16/1262.42	c cleaning 503 clauses out of 1305 for limit 4095.6869966406452
1265.36/1262.65	c cleaning 505 clauses out of 1302 for limit 6769.898754306388
1265.57/1262.82	c cleaning 496 clauses out of 1298 for limit 11210.083933030244
1265.66/1262.98	c cleaning 505 clauses out of 1301 for limit 18425.854415173544
1265.86/1263.19	c cleaning 475 clauses out of 1296 for limit 30503.93153195959
1266.06/1263.33	c cleaning 497 clauses out of 1321 for limit 49353.037649919796
1266.26/1263.51	c cleaning 483 clauses out of 1324 for limit 81205.34352756945
1266.46/1263.73	c cleaning 501 clauses out of 1341 for limit 132220.77614608977
1266.67/1263.92	c cleaning 485 clauses out of 1341 for limit 218268.01605994065
1266.86/1264.14	c cleaning 510 clauses out of 1355 for limit 355877.8505532982
1267.06/1264.32	c cleaning 491 clauses out of 1345 for limit 591253.6798416763
1267.16/1264.46	c cleaning 518 clauses out of 1354 for limit 968575.2419384846
1267.26/1264.57	c cleaning 490 clauses out of 1336 for limit 1618830.7933359207
1267.46/1264.73	c cleaning 489 clauses out of 1346 for limit 2649834.451315537
1267.56/1264.86	c cleaning 468 clauses out of 1357 for limit 4334508.325195878
1267.67/1264.99	c cleaning 484 clauses out of 1389 for limit 6983503.101479913
1267.86/1265.13	c cleaning 639 clauses out of 1405 for limit 1.1385579467318315E7
1267.96/1265.28	c cleaning 525 clauses out of 1266 for limit 2.083788536053438E7
1268.16/1265.41	c cleaning 503 clauses out of 1241 for limit 3.505673418377998E7
1268.26/1265.54	c cleaning 436 clauses out of 1240 for limit 5.797576160675428E7
1268.36/1265.66	c cleaning 401 clauses out of 1302 for limit 9.08749169375791E7
1268.46/1265.79	c cleaning 452 clauses out of 1404 for limit 1.3939504155669245E8
1268.66/1265.92	c cleaning 467 clauses out of 1449 for limit 2.2207435003174493E8
1268.77/1266.04	c cleaning 463 clauses out of 1482 for limit 3.580753858066355E8
1268.87/1266.17	c cleaning 509 clauses out of 1519 for limit 5.761303914739503E8
1269.06/1266.39	c cleaning 724 clauses out of 1510 for limit 9.557790324615574E8
1269.26/1266.58	c cleaning 468 clauses out of 1286 for limit 1.850756846348679E9
1269.46/1266.79	c cleaning 490 clauses out of 1320 for limit 2.9794857491892233E9
1269.66/1266.92	c cleaning 507 clauses out of 1328 for limit 4.874207708499555E9
1269.76/1267.09	c cleaning 646 clauses out of 1321 for limit 8.080815229747736E9
1269.97/1267.26	c cleaning 567 clauses out of 1175 for limit 1.4982214640028082E10
1270.16/1267.41	c cleaning 456 clauses out of 1108 for limit 2.6201732460118885E10
1270.26/1267.55	c cleaning 466 clauses out of 1152 for limit 4.15597738986351E10
1270.36/1267.69	c cleaning 417 clauses out of 1188 for limit 6.65938502469425E10
1270.56/1267.84	c cleaning 549 clauses out of 1269 for limit 1.0260672054518703E11
1270.76/1268.01	c cleaning 429 clauses out of 1220 for limit 1.760084367132698E11
1270.86/1268.16	c cleaning 441 clauses out of 1291 for limit 2.7429820210353326E11
1270.97/1268.30	c cleaning 460 clauses out of 1351 for limit 4.326973675536259E11
1271.16/1268.46	c cleaning 666 clauses out of 1390 for limit 6.928610969084543E11
1271.36/1268.61	c cleaning 578 clauses out of 1224 for limit 1.2975838945758276E12
1271.46/1268.74	c cleaning 440 clauses out of 1146 for limit 2.2855363543662993E12
1271.66/1268.90	c cleaning 524 clauses out of 1206 for limit 3.581635042633194E12
1271.76/1269.02	c cleaning 435 clauses out of 1182 for limit 6.026526197467279E12
1271.86/1269.16	c cleaning 463 clauses out of 1247 for limit 9.420500107617996E12
1272.07/1269.35	c cleaning 491 clauses out of 1284 for limit 1.5087986111360068E13
1272.26/1269.53	c cleaning 467 clauses out of 1293 for limit 2.470891420841278E13
1272.46/1269.72	c cleaning 510 clauses out of 1326 for limit 3.973420694011876E13
1272.66/1269.94	c cleaning 468 clauses out of 1316 for limit 6.6024948496462914E13
1272.76/1270.04	c cleaning 489 clauses out of 1348 for limit 1.0629918999481844E14
1272.96/1270.22	c cleaning 495 clauses out of 1359 for limit 1.7388266096145056E14
1273.06/1270.40	c cleaning 484 clauses out of 1364 for limit 2.857046120187024E14
1273.27/1270.57	c cleaning 470 clauses out of 1380 for limit 4.6570234202733606E14
1273.46/1270.77	c cleaning 533 clauses out of 1410 for limit 7.516649207914552E14
1273.66/1270.92	c cleaning 464 clauses out of 1377 for limit 1.269303104248414E15
1273.86/1271.12	c cleaning 526 clauses out of 1415 for limit 2.0411163103718228E15
1273.96/1271.28	c cleaning 451 clauses out of 1388 for limit 3.428120681061404E15
1274.16/1271.46	c cleaning 479 clauses out of 1437 for limit 5.460654347309718E15
1274.37/1271.68	c cleaning 498 clauses out of 1457 for limit 8.872852841579968E15
1274.56/1271.85	c cleaning 679 clauses out of 1461 for limit 1.4621688419907034E-4
1274.76/1272.05	c cleaning 560 clauses out of 1280 for limit 2.746784796104467E-4
1274.96/1272.22	c cleaning 420 clauses out of 1220 for limit 4.752593402829846E-4
1275.06/1272.39	c cleaning 448 clauses out of 1300 for limit 7.355344631108663E-4
1275.26/1272.58	c cleaning 436 clauses out of 1352 for limit 0.0011663410843364254
1275.47/1272.76	c cleaning 491 clauses out of 1416 for limit 0.0018365167731515912
1275.66/1272.90	c cleaning 439 clauses out of 1426 for limit 0.003010433414300344
1275.76/1273.08	c cleaning 465 clauses out of 1486 for limit 0.0047593880640753525
1275.96/1273.25	c cleaning 485 clauses out of 1521 for limit 0.007668255936335191
1276.16/1273.45	c cleaning 489 clauses out of 1538 for limit 0.012531249836689561
1276.36/1273.66	c cleaning 471 clauses out of 1547 for limit 0.020504409838662703
1276.57/1273.87	c cleaning 516 clauses out of 1576 for limit 0.03319229345204265
1276.76/1274.04	c cleaning 614 clauses out of 1560 for limit 0.05529995313197423
1276.96/1274.22	c cleaning 570 clauses out of 1446 for limit 0.09838682721410998
1277.16/1274.41	c cleaning 520 clauses out of 1376 for limit 0.17050719177606455
1277.36/1274.61	c cleaning 519 clauses out of 1356 for limit 0.2853365021630353
1277.57/1274.82	c cleaning 484 clauses out of 1338 for limit 0.47736580704681486
1277.76/1275.06	c cleaning 500 clauses out of 1353 for limit 0.777733847279397
1277.96/1275.28	c cleaning 516 clauses out of 1353 for limit 1.2825871575364065
1278.16/1275.47	c cleaning 523 clauses out of 1337 for limit 2.1404700890849857
1278.36/1275.65	c cleaning 478 clauses out of 1314 for limit 3.591708582503643
1278.56/1275.83	c cleaning 476 clauses out of 1336 for limit 5.825670087382071
1278.77/1276.05	c cleaning 479 clauses out of 1360 for limit 9.437768565618526
1278.86/1276.17	c cleaning 504 clauses out of 1383 for limit 15.335959823341172
1279.06/1276.36	c cleaning 530 clauses out of 1377 for limit 25.35047290871675
1279.26/1276.55	c cleaning 484 clauses out of 1355 for limit 42.82651070869239
1279.46/1276.76	c cleaning 457 clauses out of 1363 for limit 69.65237409061288
1279.66/1276.93	c cleaning 473 clauses out of 1407 for limit 111.3853518485991
1279.87/1277.15	c cleaning 515 clauses out of 1433 for limit 180.17617515862455
1280.06/1277.35	c cleaning 488 clauses out of 1418 for limit 300.27778932582555
1280.26/1277.54	c cleaning 485 clauses out of 1430 for limit 491.04273529365906
1280.36/1277.68	c cleaning 487 clauses out of 1445 for limit 801.3889828790334
1280.56/1277.82	c cleaning 496 clauses out of 1458 for limit 1309.8138482611298
1280.66/1277.99	c cleaning 554 clauses out of 1462 for limit 2154.148387425213
1280.87/1278.20	c cleaning 501 clauses out of 1408 for limit 3688.7245060708806
1281.16/1278.40	c cleaning 502 clauses out of 1407 for limit 6087.523704605173
1281.36/1278.60	c cleaning 498 clauses out of 1405 for limit 10053.431555363915
1281.46/1278.79	c cleaning 460 clauses out of 1407 for limit 16555.88646064234
1281.66/1278.99	c cleaning 484 clauses out of 1447 for limit 26548.127376444278
1281.97/1279.20	c cleaning 491 clauses out of 1463 for limit 43302.60113659949
1282.16/1279.43	c cleaning 509 clauses out of 1472 for limit 70975.16124168738
1282.36/1279.63	c cleaning 488 clauses out of 1463 for limit 117767.58213289267
1282.46/1279.77	c cleaning 486 clauses out of 1475 for limit 192634.4474524296
1282.66/1279.92	c cleaning 494 clauses out of 1489 for limit 314693.0568743953
1282.86/1280.10	c cleaning 479 clauses out of 1495 for limit 516888.12311598874
1800.03/1796.32	c starts		: 22
1800.03/1796.32	c conflicts		: 1397902
1800.03/1796.32	c decisions		: 8142320
1800.03/1796.32	c propagations		: 1378982309
1800.03/1796.32	c inspects		: 8744742897
1800.03/1796.32	c learnt literals	: 35
1800.03/1796.32	c learnt binary clauses	: 121748
1800.03/1796.32	c learnt ternary clauses	: 83205
1800.03/1796.32	c learnt clauses	: 1397867
1800.03/1796.32	c root simplifications	: 0
1800.03/1796.32	c removed literals (reason simplification)	: 0
1800.03/1796.32	c reason swapping (by a shorter reason)	: 0
1800.03/1796.32	c Calls to reduceDB	: 314
1800.03/1796.32	c speed (decisions/second)	: 4534.41638251105
1800.03/1796.32	c non guided choices	14306
1800.03/1796.32	s UNKNOWN
1800.03/1796.32	c Total wall clock time (ms): 1796.192

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-3742400-1338767733/watcher-3742400-1338767733 -o /tmp/evaluation-result-3742400-1338767733/solver-3742400-1338767733 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3742400-1338767733.opb 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.93 2.00 1.99 3/194 18404
/proc/meminfo: memFree=23867380/32873844 swapFree=7628/7628
[pid=18404] ppid=18402 vsize=2500 CPUtime=0 cores=0,2,4,6
/proc/18404/stat : 18404 (java) D 18402 18404 16961 0 -1 4202496 93 0 0 0 0 0 0 0 20 0 1 0 342897673 2560000 46 33554432000 1073741824 1073778376 140733430593936 140733430591064 251035479335 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/18404/statm: 625 46 37 9 0 29 0

[startup+0.0094811 s]
/proc/loadavg: 1.93 2.00 1.99 3/194 18404
/proc/meminfo: memFree=23867380/32873844 swapFree=7628/7628
[pid=18404] ppid=18402 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/18404/stat : 18404 (java) D 18402 18404 16961 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 342897673 9515008 182 33554432000 1073741824 1073778376 140733430593936 140733430584968 251044642485 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/18404/statm: 2323 182 140 9 0 71 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9292

[startup+0.100263 s]
/proc/loadavg: 1.93 2.00 1.99 3/194 18404
/proc/meminfo: memFree=23867380/32873844 swapFree=7628/7628
[pid=18404] ppid=18402 vsize=2957856 CPUtime=0.07 cores=0,2,4,6
/proc/18404/stat : 18404 (java) S 18402 18404 16961 0 -1 4202496 4126 0 1 0 5 2 0 0 20 0 18 0 342897673 3028844544 5845 33554432000 1073741824 1073778376 140735047707968 140735047699104 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18404/statm: 739464 5845 1790 9 0 729885 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2957856

[startup+0.300217 s]
/proc/loadavg: 1.93 2.00 1.99 3/194 18404
/proc/meminfo: memFree=23867380/32873844 swapFree=7628/7628
[pid=18404] ppid=18402 vsize=2957856 CPUtime=0.49 cores=0,2,4,6
/proc/18404/stat : 18404 (java) S 18402 18404 16961 0 -1 4202496 8083 0 1 0 47 2 0 0 20 0 18 0 342897673 3028844544 10895 33554432000 1073741824 1073778376 140735047707968 140735047699104 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18404/statm: 739464 10895 2239 9 0 729885 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 2957856

[startup+0.700225 s]
/proc/loadavg: 1.93 2.00 1.99 3/194 18404
/proc/meminfo: memFree=23867380/32873844 swapFree=7628/7628
[pid=18404] ppid=18402 vsize=3024420 CPUtime=1.34 cores=0,2,4,6
/proc/18404/stat : 18404 (java) S 18402 18404 16961 0 -1 4202496 9810 0 1 0 130 4 0 0 20 0 19 0 342897673 3097006080 34475 33554432000 1073741824 1073778376 140735047707968 140735047699104 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18404/statm: 756105 34475 2268 9 0 746526 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 3024420

[startup+1.5007 s]
/proc/loadavg: 1.93 2.00 1.99 5/213 18423
/proc/meminfo: memFree=23738812/32873844 swapFree=7628/7628
[pid=18404] ppid=18402 vsize=3024420 CPUtime=2.35 cores=0,2,4,6
/proc/18404/stat : 18404 (java) S 18402 18404 16961 0 -1 4202496 9869 0 1 0 231 4 0 0 20 0 19 0 342897673 3097006080 34469 33554432000 1073741824 1073778376 140735047707968 140735047699104 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18404/statm: 756105 34469 2271 9 0 746526 0
[pid=18404/tid=18406] ppid=18402 vsize=3024420 CPUtime=1.45 cores=0,2,4,6
/proc/18404/task/18406/stat : 18406 (java) R 18402 18404 16961 0 -1 4202560 3104 0 1 0 142 3 0 0 20 0 19 0 342897674 3097006080 34469 33554432000 1073741824 1073778376 140735047707968 140275749700056 140275595583612 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18404/tid=18407] ppid=18402 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18407/stat : 18407 (java) S 18402 18404 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342897676 3097006080 34469 33554432000 1073741824 1073778376 140735047707968 140275733125672 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18404/tid=18408] ppid=18402 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18408/stat : 18408 (java) S 18402 18404 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342897676 3097006080 34469 33554432000 1073741824 1073778376 140735047707968 140275732072872 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18404/tid=18409] ppid=18402 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18409/stat : 18409 (java) S 18402 18404 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342897676 3097006080 34469 33554432000 1073741824 1073778376 140735047707968 140275731020072 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18404/tid=18410] ppid=18402 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18410/stat : 18410 (java) S 18402 18404 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342897676 3097006080 34469 33554432000 1073741824 1073778376 140735047707968 140275729967272 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18404/tid=18411] ppid=18402 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18411/stat : 18411 (java) S 18402 18404 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342897676 3097006080 34469 33554432000 1073741824 1073778376 140735047707968 140275728915496 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18404/tid=18412] ppid=18402 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18412/stat : 18412 (java) S 18402 18404 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342897676 3097006080 34469 33554432000 1073741824 1073778376 140735047707968 140275727862696 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18404/tid=18413] ppid=18402 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18413/stat : 18413 (java) S 18402 18404 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342897676 3097006080 34469 33554432000 1073741824 1073778376 140735047707968 140275726809896 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18404/tid=18414] ppid=18402 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18414/stat : 18414 (java) S 18402 18404 16961 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342897676 3097006080 34469 33554432000 1073741824 1073778376 140735047707968 140275725757096 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18404/tid=18415] ppid=18402 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18415/stat : 18415 (java) S 18402 18404 16961 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 342897677 3097006080 34469 33554432000 1073741824 1073778376 140735047707968 140275713346024 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18404/tid=18416] ppid=18402 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18416/stat : 18416 (java) S 18402 18404 16961 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342897678 3097006080 34469 33554432000 1073741824 1073778376 140735047707968 140275594814712 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18404/tid=18417] ppid=18402 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18417/stat : 18417 (java) S 18402 18404 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342897678 3097006080 34469 33554432000 1073741824 1073778376 140735047707968 140275593761800 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18404/tid=18418] ppid=18402 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18418/stat : 18418 (java) S 18402 18404 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342897681 3097006080 34469 33554432000 1073741824 1073778376 140735047707968 140275592710288 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18404/tid=18419] ppid=18402 vsize=3024420 CPUtime=0.47 cores=0,2,4,6
/proc/18404/task/18419/stat : 18419 (java) S 18402 18404 16961 0 -1 4202560 2475 0 0 0 47 0 0 0 20 0 19 0 342897681 3097006080 34469 33554432000 1073741824 1073778376 140735047707968 140275591658424 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18404/tid=18420] ppid=18402 vsize=3024420 CPUtime=0.38 cores=0,2,4,6
/proc/18404/task/18420/stat : 18420 (java) S 18402 18404 16961 0 -1 4202560 3096 0 0 0 38 0 0 0 20 0 19 0 342897681 3097006080 34469 33554432000 1073741824 1073778376 140735047707968 140275590605624 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18404/tid=18421] ppid=18402 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18421/stat : 18421 (java) S 18402 18404 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342897681 3097006080 34469 33554432000 1073741824 1073778376 140735047707968 140275589553016 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18404/tid=18422] ppid=18402 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18422/stat : 18422 (java) S 18402 18404 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342897681 3097006080 34469 33554432000 1073741824 1073778376 140735047707968 140275588500424 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18404/tid=18423] ppid=18402 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18423/stat : 18423 (java) S 18402 18404 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342897738 3097006080 34469 33554432000 1073741824 1073778376 140735047707968 140275586299048 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.35
Current children cumulated vsize (KiB) 3024420

[startup+3.10075 s]
/proc/loadavg: 1.93 2.00 1.99 4/213 18423
/proc/meminfo: memFree=23738192/32873844 swapFree=7628/7628
[pid=18404] ppid=18402 vsize=3024420 CPUtime=3.96 cores=0,2,4,6
/proc/18404/stat : 18404 (java) S 18402 18404 16961 0 -1 4202496 9871 0 1 0 392 4 0 0 20 0 19 0 342897673 3097006080 34470 33554432000 1073741824 1073778376 140735047707968 140735047699104 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18404/statm: 756105 34470 2271 9 0 746526 0
[pid=18404/tid=18406] ppid=18402 vsize=3024420 CPUtime=3.04 cores=0,2,4,6
/proc/18404/task/18406/stat : 18406 (java) R 18402 18404 16961 0 -1 4202560 3105 0 1 0 301 3 0 0 20 0 19 0 342897674 3097006080 34470 33554432000 1073741824 1073778376 140735047707968 140275749700024 140275595696712 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18404/tid=18407] ppid=18402 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18407/stat : 18407 (java) S 18402 18404 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342897676 3097006080 34470 33554432000 1073741824 1073778376 140735047707968 140275733125672 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18404/tid=18408] ppid=18402 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18408/stat : 18408 (java) S 18402 18404 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342897676 3097006080 34470 33554432000 1073741824 1073778376 140735047707968 140275732072872 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18404/tid=18409] ppid=18402 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18409/stat : 18409 (java) S 18402 18404 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342897676 3097006080 34470 33554432000 1073741824 1073778376 140735047707968 140275731020072 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18404/tid=18410] ppid=18402 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18410/stat : 18410 (java) S 18402 18404 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342897676 3097006080 34470 33554432000 1073741824 1073778376 140735047707968 140275729967272 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18404/tid=18411] ppid=18402 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18411/stat : 18411 (java) S 18402 18404 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342897676 3097006080 34470 33554432000 1073741824 1073778376 140735047707968 140275728915496 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18404/tid=18412] ppid=18402 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18412/stat : 18412 (java) S 18402 18404 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342897676 3097006080 34470 33554432000 1073741824 1073778376 140735047707968 140275727862696 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18404/tid=18413] ppid=18402 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18413/stat : 18413 (java) S 18402 18404 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342897676 3097006080 34470 33554432000 1073741824 1073778376 140735047707968 140275726809896 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18404/tid=18414] ppid=18402 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18414/stat : 18414 (java) S 18402 18404 16961 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342897676 3097006080 34470 33554432000 1073741824 1073778376 140735047707968 140275725757096 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18404/tid=18415] ppid=18402 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18415/stat : 18415 (java) S 18402 18404 16961 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 342897677 3097006080 34470 33554432000 1073741824 1073778376 140735047707968 140275713346024 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18404/tid=18416] ppid=18402 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18416/stat : 18416 (java) S 18402 18404 16961 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342897678 3097006080 34470 33554432000 1073741824 1073778376 140735047707968 140275594814712 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18404/tid=18417] ppid=18402 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18417/stat : 18417 (java) S 18402 18404 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342897678 3097006080 34470 33554432000 1073741824 1073778376 140735047707968 140275593761800 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18404/tid=18418] ppid=18402 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18418/stat : 18418 (java) S 18402 18404 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342897681 3097006080 34470 33554432000 1073741824 1073778376 140735047707968 140275592710288 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18404/tid=18419] ppid=18402 vsize=3024420 CPUtime=0.48 cores=0,2,4,6
/proc/18404/task/18419/stat : 18419 (java) S 18402 18404 16961 0 -1 4202560 2475 0 0 0 48 0 0 0 20 0 19 0 342897681 3097006080 34470 33554432000 1073741824 1073778376 140735047707968 140275591658424 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18404/tid=18420] ppid=18402 vsize=3024420 CPUtime=0.38 cores=0,2,4,6
/proc/18404/task/18420/stat : 18420 (java) S 18402 18404 16961 0 -1 4202560 3096 0 0 0 38 0 0 0 20 0 19 0 342897681 3097006080 34470 33554432000 1073741824 1073778376 140735047707968 140275590605624 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18404/tid=18421] ppid=18402 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18421/stat : 18421 (java) S 18402 18404 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342897681 3097006080 34470 33554432000 1073741824 1073778376 140735047707968 140275589553016 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18404/tid=18422] ppid=18402 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18422/stat : 18422 (java) S 18402 18404 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342897681 3097006080 34470 33554432000 1073741824 1073778376 140735047707968 140275588500424 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18404/tid=18423] ppid=18402 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18423/stat : 18423 (java) S 18402 18404 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342897738 3097006080 34470 33554432000 1073741824 1073778376 140735047707968 140275586299048 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 3.96
Current children cumulated vsize (KiB) 3024420

[startup+6.3007 s]
/proc/loadavg: 1.93 2.00 1.99 4/213 18423
/proc/meminfo: memFree=23733724/32873844 swapFree=7628/7628
[pid=18404] ppid=18402 vsize=3024420 CPUtime=7.19 cores=0,2,4,6
/proc/18404/stat : 18404 (java) S 18402 18404 16961 0 -1 4202496 9879 0 1 0 715 4 0 0 20 0 19 0 342897673 3097006080 35727 33554432000 1073741824 1073778376 140735047707968 140735047699104 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18404/statm: 756105 35727 2272 9 0 746526 0
[pid=18404/tid=18406] ppid=18402 vsize=3024420 CPUtime=6.23 cores=0,2,4,6
/proc/18404/task/18406/stat : 18406 (java) R 18402 18404 16961 0 -1 4202560 3109 0 1 0 620 3 0 0 20 0 19 0 342897674 3097006080 35727 33554432000 1073741824 1073778376 140735047707968 140275749700152 140275595696784 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18404/tid=18407] ppid=18402 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18407/stat : 18407 (java) S 18402 18404 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342897676 3097006080 35727 33554432000 1073741824 1073778376 140735047707968 140275733125672 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18404/tid=18408] ppid=18402 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18408/stat : 18408 (java) S 18402 18404 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342897676 3097006080 35727 33554432000 1073741824 1073778376 140735047707968 140275732072872 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18404/tid=18409] ppid=18402 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18409/stat : 18409 (java) S 18402 18404 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342897676 3097006080 35727 33554432000 1073741824 1073778376 140735047707968 140275731020072 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18404/tid=18410] ppid=18402 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18410/stat : 18410 (java) S 18402 18404 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342897676 3097006080 35727 33554432000 1073741824 1073778376 140735047707968 140275729967272 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18404/tid=18411] ppid=18402 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18411/stat : 18411 (java) S 18402 18404 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342897676 3097006080 35727 33554432000 1073741824 1073778376 140735047707968 140275728915496 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18404/tid=18412] ppid=18402 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18412/stat : 18412 (java) S 18402 18404 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342897676 3097006080 35727 33554432000 1073741824 1073778376 140735047707968 140275727862696 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18404/tid=18413] ppid=18402 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18413/stat : 18413 (java) S 18402 18404 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342897676 3097006080 35727 33554432000 1073741824 1073778376 140735047707968 140275726809896 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18404/tid=18414] ppid=18402 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18414/stat : 18414 (java) S 18402 18404 16961 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342897676 3097006080 35727 33554432000 1073741824 1073778376 140735047707968 140275725757096 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18404/tid=18415] ppid=18402 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18415/stat : 18415 (java) S 18402 18404 16961 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 342897677 3097006080 35727 33554432000 1073741824 1073778376 140735047707968 140275713346024 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18404/tid=18416] ppid=18402 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18416/stat : 18416 (java) S 18402 18404 16961 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342897678 3097006080 35727 33554432000 1073741824 1073778376 140735047707968 140275594814712 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18404/tid=18417] ppid=18402 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18417/stat : 18417 (java) S 18402 18404 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342897678 3097006080 35727 33554432000 1073741824 1073778376 140735047707968 140275593761800 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18404/tid=18418] ppid=18402 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18418/stat : 18418 (java) S 18402 18404 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342897681 3097006080 35727 33554432000 1073741824 1073778376 140735047707968 140275592710288 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18404/tid=18419] ppid=18402 vsize=3024420 CPUtime=0.5 cores=0,2,4,6
/proc/18404/task/18419/stat : 18419 (java) S 18402 18404 16961 0 -1 4202560 2476 0 0 0 50 0 0 0 20 0 19 0 342897681 3097006080 35727 33554432000 1073741824 1073778376 140735047707968 140275591658424 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18404/tid=18420] ppid=18402 vsize=3024420 CPUtime=0.4 cores=0,2,4,6
/proc/18404/task/18420/stat : 18420 (java) S 18402 18404 16961 0 -1 4202560 3099 0 0 0 40 0 0 0 20 0 19 0 342897681 3097006080 35727 33554432000 1073741824 1073778376 140735047707968 140275590605624 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18404/tid=18421] ppid=18402 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18421/stat : 18421 (java) S 18402 18404 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342897681 3097006080 35727 33554432000 1073741824 1073778376 140735047707968 140275589553016 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18404/tid=18422] ppid=18402 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18422/stat : 18422 (java) S 18402 18404 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342897681 3097006080 35727 33554432000 1073741824 1073778376 140735047707968 140275588500424 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18404/tid=18423] ppid=18402 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18423/stat : 18423 (java) S 18402 18404 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342897738 3097006080 35727 33554432000 1073741824 1073778376 140735047707968 140275586299048 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 7.19
Current children cumulated vsize (KiB) 3024420

[startup+12.7007 s]

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

[pid=18404/tid=18419] ppid=18402 vsize=3024420 CPUtime=0.55 cores=0,2,4,6
/proc/18404/task/18419/stat : 18419 (java) S 18402 18404 16961 0 -1 4202560 2485 0 0 0 55 0 0 0 20 0 19 0 342897681 3097006080 418320 33554432000 1073741824 1073778376 140735047707968 140275591658424 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18404/tid=18420] ppid=18402 vsize=3024420 CPUtime=0.45 cores=0,2,4,6
/proc/18404/task/18420/stat : 18420 (java) S 18402 18404 16961 0 -1 4202560 3106 0 0 0 45 0 0 0 20 0 19 0 342897681 3097006080 418320 33554432000 1073741824 1073778376 140735047707968 140275590605624 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18404/tid=18421] ppid=18402 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18421/stat : 18421 (java) S 18402 18404 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342897681 3097006080 418320 33554432000 1073741824 1073778376 140735047707968 140275589553016 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18404/tid=18422] ppid=18402 vsize=3024420 CPUtime=0.74 cores=0,2,4,6
/proc/18404/task/18422/stat : 18422 (java) S 18402 18404 16961 0 -1 4202560 99 0 0 0 43 31 0 0 20 0 19 0 342897681 3097006080 418320 33554432000 1073741824 1073778376 140735047707968 140275588500424 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18404/tid=18423] ppid=18402 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18423/stat : 18423 (java) S 18402 18404 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342897738 3097006080 418320 33554432000 1073741824 1073778376 140735047707968 140275586299048 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1725.47
Current children cumulated vsize (KiB) 3024420

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 18522
/proc/meminfo: memFree=22570564/32873844 swapFree=7628/7628
[pid=18404] ppid=18402 vsize=3024420 CPUtime=1786.02 cores=0,2,4,6
/proc/18404/stat : 18404 (java) S 18402 18404 16961 0 -1 4202496 12126 0 1 0 178463 139 0 0 20 0 19 0 342897673 3097006080 418374 33554432000 1073741824 1073778376 140735047707968 140735047699104 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18404/statm: 756105 418374 2302 9 0 746526 0
[pid=18404/tid=18406] ppid=18402 vsize=3024420 CPUtime=1775.15 cores=0,2,4,6
/proc/18404/task/18406/stat : 18406 (java) R 18402 18404 16961 0 -1 4202560 3268 0 1 0 177480 35 0 0 20 0 19 0 342897674 3097006080 418374 33554432000 1073741824 1073778376 140735047707968 140275749698896 140275595583889 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=18404/tid=18407] ppid=18402 vsize=3024420 CPUtime=0.45 cores=0,2,4,6
/proc/18404/task/18407/stat : 18407 (java) S 18402 18404 16961 0 -1 4202560 231 0 0 0 31 14 0 0 20 0 19 0 342897676 3097006080 418374 33554432000 1073741824 1073778376 140735047707968 140275733125672 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18404/tid=18408] ppid=18402 vsize=3024420 CPUtime=0.37 cores=0,2,4,6
/proc/18404/task/18408/stat : 18408 (java) S 18402 18404 16961 0 -1 4202560 211 0 0 0 25 12 0 0 20 0 19 0 342897676 3097006080 418374 33554432000 1073741824 1073778376 140735047707968 140275732072872 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18404/tid=18409] ppid=18402 vsize=3024420 CPUtime=0.4 cores=0,2,4,6
/proc/18404/task/18409/stat : 18409 (java) S 18402 18404 16961 0 -1 4202560 179 0 0 0 30 10 0 0 20 0 19 0 342897676 3097006080 418374 33554432000 1073741824 1073778376 140735047707968 140275731020072 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18404/tid=18410] ppid=18402 vsize=3024420 CPUtime=0.42 cores=0,2,4,6
/proc/18404/task/18410/stat : 18410 (java) S 18402 18404 16961 0 -1 4202560 292 0 0 0 24 18 0 0 20 0 19 0 342897676 3097006080 418374 33554432000 1073741824 1073778376 140735047707968 140275729967272 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18404/tid=18411] ppid=18402 vsize=3024420 CPUtime=0.6 cores=0,2,4,6
/proc/18404/task/18411/stat : 18411 (java) S 18402 18404 16961 0 -1 4202560 314 0 0 0 41 19 0 0 20 0 19 0 342897676 3097006080 418374 33554432000 1073741824 1073778376 140735047707968 140275728915496 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18404/tid=18412] ppid=18402 vsize=3024420 CPUtime=0.29 cores=0,2,4,6
/proc/18404/task/18412/stat : 18412 (java) S 18402 18404 16961 0 -1 4202560 143 0 0 0 21 8 0 0 20 0 19 0 342897676 3097006080 418374 33554432000 1073741824 1073778376 140735047707968 140275727862696 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18404/tid=18413] ppid=18402 vsize=3024420 CPUtime=0.32 cores=0,2,4,6
/proc/18404/task/18413/stat : 18413 (java) S 18402 18404 16961 0 -1 4202560 147 0 0 0 24 8 0 0 20 0 19 0 342897676 3097006080 418374 33554432000 1073741824 1073778376 140735047707968 140275726809896 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18404/tid=18414] ppid=18402 vsize=3024420 CPUtime=0.33 cores=0,2,4,6
/proc/18404/task/18414/stat : 18414 (java) S 18402 18404 16961 0 -1 4202560 216 0 0 0 21 12 0 0 20 0 19 0 342897676 3097006080 418374 33554432000 1073741824 1073778376 140735047707968 140275725757096 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18404/tid=18415] ppid=18402 vsize=3024420 CPUtime=1.7 cores=0,2,4,6
/proc/18404/task/18415/stat : 18415 (java) S 18402 18404 16961 0 -1 4202560 251 0 0 0 162 8 0 0 20 0 19 0 342897677 3097006080 418374 33554432000 1073741824 1073778376 140735047707968 140275713346024 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18404/tid=18416] ppid=18402 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18416/stat : 18416 (java) S 18402 18404 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342897678 3097006080 418374 33554432000 1073741824 1073778376 140735047707968 140275594814712 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18404/tid=18417] ppid=18402 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18417/stat : 18417 (java) S 18402 18404 16961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342897678 3097006080 418374 33554432000 1073741824 1073778376 140735047707968 140275593761800 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18404/tid=18418] ppid=18402 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18418/stat : 18418 (java) S 18402 18404 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342897681 3097006080 418374 33554432000 1073741824 1073778376 140735047707968 140275592710288 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18404/tid=18419] ppid=18402 vsize=3024420 CPUtime=0.55 cores=0,2,4,6
/proc/18404/task/18419/stat : 18419 (java) S 18402 18404 16961 0 -1 4202560 2485 0 0 0 55 0 0 0 20 0 19 0 342897681 3097006080 418374 33554432000 1073741824 1073778376 140735047707968 140275591658424 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18404/tid=18420] ppid=18402 vsize=3024420 CPUtime=0.45 cores=0,2,4,6
/proc/18404/task/18420/stat : 18420 (java) S 18402 18404 16961 0 -1 4202560 3106 0 0 0 45 0 0 0 20 0 19 0 342897681 3097006080 418374 33554432000 1073741824 1073778376 140735047707968 140275590605624 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18404/tid=18421] ppid=18402 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18421/stat : 18421 (java) S 18402 18404 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342897681 3097006080 418374 33554432000 1073741824 1073778376 140735047707968 140275589553016 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18404/tid=18422] ppid=18402 vsize=3024420 CPUtime=0.77 cores=0,2,4,6
/proc/18404/task/18422/stat : 18422 (java) S 18402 18404 16961 0 -1 4202560 103 0 0 0 45 32 0 0 20 0 19 0 342897681 3097006080 418374 33554432000 1073741824 1073778376 140735047707968 140275588500424 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18404/tid=18423] ppid=18402 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18423/stat : 18423 (java) S 18402 18404 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342897738 3097006080 418374 33554432000 1073741824 1073778376 140735047707968 140275586299048 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1786.02
Current children cumulated vsize (KiB) 3024420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1796.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 18522
/proc/meminfo: memFree=22570564/32873844 swapFree=7628/7628
[pid=18404] ppid=18402 vsize=3024420 CPUtime=1800.03 cores=0,2,4,6
/proc/18404/stat : 18404 (java) S 18402 18404 16961 0 -1 4202496 12126 0 1 0 179864 139 0 0 20 0 19 0 342897673 3097006080 418374 33554432000 1073741824 1073778376 140735047707968 140735047699104 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18404/statm: 756105 418374 2302 9 0 746526 0
[pid=18404/tid=18406] ppid=18402 vsize=3024420 CPUtime=1789.13 cores=0,2,4,6
/proc/18404/task/18406/stat : 18406 (java) R 18402 18404 16961 0 -1 4202560 3268 0 1 0 178877 36 0 0 20 0 19 0 342897674 3097006080 418374 33554432000 1073741824 1073778376 140735047707968 140275749698896 140275595583593 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=18404/tid=18407] ppid=18402 vsize=3024420 CPUtime=0.45 cores=0,2,4,6
/proc/18404/task/18407/stat : 18407 (java) S 18402 18404 16961 0 -1 4202560 231 0 0 0 31 14 0 0 20 0 19 0 342897676 3097006080 418374 33554432000 1073741824 1073778376 140735047707968 140275733125672 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18404/tid=18408] ppid=18402 vsize=3024420 CPUtime=0.37 cores=0,2,4,6
/proc/18404/task/18408/stat : 18408 (java) S 18402 18404 16961 0 -1 4202560 211 0 0 0 25 12 0 0 20 0 19 0 342897676 3097006080 418374 33554432000 1073741824 1073778376 140735047707968 140275732072872 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18404/tid=18409] ppid=18402 vsize=3024420 CPUtime=0.4 cores=0,2,4,6
/proc/18404/task/18409/stat : 18409 (java) S 18402 18404 16961 0 -1 4202560 179 0 0 0 30 10 0 0 20 0 19 0 342897676 3097006080 418374 33554432000 1073741824 1073778376 140735047707968 140275731020072 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18404/tid=18410] ppid=18402 vsize=3024420 CPUtime=0.42 cores=0,2,4,6
/proc/18404/task/18410/stat : 18410 (java) S 18402 18404 16961 0 -1 4202560 292 0 0 0 24 18 0 0 20 0 19 0 342897676 3097006080 418374 33554432000 1073741824 1073778376 140735047707968 140275729967272 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18404/tid=18411] ppid=18402 vsize=3024420 CPUtime=0.6 cores=0,2,4,6
/proc/18404/task/18411/stat : 18411 (java) S 18402 18404 16961 0 -1 4202560 314 0 0 0 41 19 0 0 20 0 19 0 342897676 3097006080 418374 33554432000 1073741824 1073778376 140735047707968 140275728915496 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18404/tid=18412] ppid=18402 vsize=3024420 CPUtime=0.29 cores=0,2,4,6
/proc/18404/task/18412/stat : 18412 (java) S 18402 18404 16961 0 -1 4202560 143 0 0 0 21 8 0 0 20 0 19 0 342897676 3097006080 418374 33554432000 1073741824 1073778376 140735047707968 140275727862696 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18404/tid=18413] ppid=18402 vsize=3024420 CPUtime=0.32 cores=0,2,4,6
/proc/18404/task/18413/stat : 18413 (java) S 18402 18404 16961 0 -1 4202560 147 0 0 0 24 8 0 0 20 0 19 0 342897676 3097006080 418374 33554432000 1073741824 1073778376 140735047707968 140275726809896 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18404/tid=18414] ppid=18402 vsize=3024420 CPUtime=0.33 cores=0,2,4,6
/proc/18404/task/18414/stat : 18414 (java) S 18402 18404 16961 0 -1 4202560 216 0 0 0 21 12 0 0 20 0 19 0 342897676 3097006080 418374 33554432000 1073741824 1073778376 140735047707968 140275725757096 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18404/tid=18415] ppid=18402 vsize=3024420 CPUtime=1.7 cores=0,2,4,6
/proc/18404/task/18415/stat : 18415 (java) S 18402 18404 16961 0 -1 4202560 251 0 0 0 162 8 0 0 20 0 19 0 342897677 3097006080 418374 33554432000 1073741824 1073778376 140735047707968 140275713346024 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18404/tid=18416] ppid=18402 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18416/stat : 18416 (java) S 18402 18404 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342897678 3097006080 418374 33554432000 1073741824 1073778376 140735047707968 140275594814712 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18404/tid=18417] ppid=18402 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18417/stat : 18417 (java) S 18402 18404 16961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342897678 3097006080 418374 33554432000 1073741824 1073778376 140735047707968 140275593761800 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18404/tid=18418] ppid=18402 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18418/stat : 18418 (java) S 18402 18404 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342897681 3097006080 418374 33554432000 1073741824 1073778376 140735047707968 140275592710288 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18404/tid=18419] ppid=18402 vsize=3024420 CPUtime=0.55 cores=0,2,4,6
/proc/18404/task/18419/stat : 18419 (java) S 18402 18404 16961 0 -1 4202560 2485 0 0 0 55 0 0 0 20 0 19 0 342897681 3097006080 418374 33554432000 1073741824 1073778376 140735047707968 140275591658424 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18404/tid=18420] ppid=18402 vsize=3024420 CPUtime=0.45 cores=0,2,4,6
/proc/18404/task/18420/stat : 18420 (java) S 18402 18404 16961 0 -1 4202560 3106 0 0 0 45 0 0 0 20 0 19 0 342897681 3097006080 418374 33554432000 1073741824 1073778376 140735047707968 140275590605624 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18404/tid=18421] ppid=18402 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18421/stat : 18421 (java) S 18402 18404 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342897681 3097006080 418374 33554432000 1073741824 1073778376 140735047707968 140275589553016 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18404/tid=18422] ppid=18402 vsize=3024420 CPUtime=0.78 cores=0,2,4,6
/proc/18404/task/18422/stat : 18422 (java) S 18402 18404 16961 0 -1 4202560 103 0 0 0 45 33 0 0 20 0 19 0 342897681 3097006080 418374 33554432000 1073741824 1073778376 140735047707968 140275588500424 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18404/tid=18423] ppid=18402 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18423/stat : 18423 (java) S 18402 18404 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342897738 3097006080 418374 33554432000 1073741824 1073778376 140735047707968 140275586299048 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
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.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 18522
/proc/meminfo: memFree=22570564/32873844 swapFree=7628/7628
[pid=18404] ppid=18402 vsize=3024420 CPUtime=1800.03 cores=0,2,4,6
/proc/18404/stat : 18404 (java) S 18402 18404 16961 0 -1 4202496 12126 0 1 0 179864 139 0 0 20 0 19 0 342897673 3097006080 418374 33554432000 1073741824 1073778376 140735047707968 140735047699104 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18404/statm: 756105 418374 2302 9 0 746526 0
[pid=18404/tid=18406] ppid=18402 vsize=3024420 CPUtime=1789.13 cores=0,2,4,6
/proc/18404/task/18406/stat : 18406 (java) R 18402 18404 16961 0 -1 4202560 3268 0 1 0 178877 36 0 0 20 0 19 0 342897674 3097006080 418374 33554432000 1073741824 1073778376 140735047707968 140275749698896 140275595583593 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=18404/tid=18407] ppid=18402 vsize=3024420 CPUtime=0.45 cores=0,2,4,6
/proc/18404/task/18407/stat : 18407 (java) S 18402 18404 16961 0 -1 4202560 231 0 0 0 31 14 0 0 20 0 19 0 342897676 3097006080 418374 33554432000 1073741824 1073778376 140735047707968 140275733125672 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18404/tid=18408] ppid=18402 vsize=3024420 CPUtime=0.37 cores=0,2,4,6
/proc/18404/task/18408/stat : 18408 (java) S 18402 18404 16961 0 -1 4202560 211 0 0 0 25 12 0 0 20 0 19 0 342897676 3097006080 418374 33554432000 1073741824 1073778376 140735047707968 140275732072872 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18404/tid=18409] ppid=18402 vsize=3024420 CPUtime=0.4 cores=0,2,4,6
/proc/18404/task/18409/stat : 18409 (java) S 18402 18404 16961 0 -1 4202560 179 0 0 0 30 10 0 0 20 0 19 0 342897676 3097006080 418374 33554432000 1073741824 1073778376 140735047707968 140275731020072 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18404/tid=18410] ppid=18402 vsize=3024420 CPUtime=0.42 cores=0,2,4,6
/proc/18404/task/18410/stat : 18410 (java) S 18402 18404 16961 0 -1 4202560 292 0 0 0 24 18 0 0 20 0 19 0 342897676 3097006080 418374 33554432000 1073741824 1073778376 140735047707968 140275729967272 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18404/tid=18411] ppid=18402 vsize=3024420 CPUtime=0.6 cores=0,2,4,6
/proc/18404/task/18411/stat : 18411 (java) S 18402 18404 16961 0 -1 4202560 314 0 0 0 41 19 0 0 20 0 19 0 342897676 3097006080 418374 33554432000 1073741824 1073778376 140735047707968 140275728915496 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18404/tid=18412] ppid=18402 vsize=3024420 CPUtime=0.29 cores=0,2,4,6
/proc/18404/task/18412/stat : 18412 (java) S 18402 18404 16961 0 -1 4202560 143 0 0 0 21 8 0 0 20 0 19 0 342897676 3097006080 418374 33554432000 1073741824 1073778376 140735047707968 140275727862696 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18404/tid=18413] ppid=18402 vsize=3024420 CPUtime=0.32 cores=0,2,4,6
/proc/18404/task/18413/stat : 18413 (java) S 18402 18404 16961 0 -1 4202560 147 0 0 0 24 8 0 0 20 0 19 0 342897676 3097006080 418374 33554432000 1073741824 1073778376 140735047707968 140275726809896 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18404/tid=18414] ppid=18402 vsize=3024420 CPUtime=0.33 cores=0,2,4,6
/proc/18404/task/18414/stat : 18414 (java) S 18402 18404 16961 0 -1 4202560 216 0 0 0 21 12 0 0 20 0 19 0 342897676 3097006080 418374 33554432000 1073741824 1073778376 140735047707968 140275725757096 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18404/tid=18415] ppid=18402 vsize=3024420 CPUtime=1.7 cores=0,2,4,6
/proc/18404/task/18415/stat : 18415 (java) S 18402 18404 16961 0 -1 4202560 251 0 0 0 162 8 0 0 20 0 19 0 342897677 3097006080 418374 33554432000 1073741824 1073778376 140735047707968 140275713346024 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18404/tid=18416] ppid=18402 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18416/stat : 18416 (java) S 18402 18404 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342897678 3097006080 418374 33554432000 1073741824 1073778376 140735047707968 140275594814712 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18404/tid=18417] ppid=18402 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18417/stat : 18417 (java) S 18402 18404 16961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342897678 3097006080 418374 33554432000 1073741824 1073778376 140735047707968 140275593761800 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18404/tid=18418] ppid=18402 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18418/stat : 18418 (java) S 18402 18404 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342897681 3097006080 418374 33554432000 1073741824 1073778376 140735047707968 140275592710288 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18404/tid=18419] ppid=18402 vsize=3024420 CPUtime=0.55 cores=0,2,4,6
/proc/18404/task/18419/stat : 18419 (java) S 18402 18404 16961 0 -1 4202560 2485 0 0 0 55 0 0 0 20 0 19 0 342897681 3097006080 418374 33554432000 1073741824 1073778376 140735047707968 140275591658424 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18404/tid=18420] ppid=18402 vsize=3024420 CPUtime=0.45 cores=0,2,4,6
/proc/18404/task/18420/stat : 18420 (java) S 18402 18404 16961 0 -1 4202560 3106 0 0 0 45 0 0 0 20 0 19 0 342897681 3097006080 418374 33554432000 1073741824 1073778376 140735047707968 140275590605624 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18404/tid=18421] ppid=18402 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18421/stat : 18421 (java) S 18402 18404 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342897681 3097006080 418374 33554432000 1073741824 1073778376 140735047707968 140275589553016 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18404/tid=18422] ppid=18402 vsize=3024420 CPUtime=0.78 cores=0,2,4,6
/proc/18404/task/18422/stat : 18422 (java) S 18402 18404 16961 0 -1 4202560 103 0 0 0 45 33 0 0 20 0 19 0 342897681 3097006080 418374 33554432000 1073741824 1073778376 140735047707968 140275588500424 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18404/tid=18423] ppid=18402 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18404/task/18423/stat : 18423 (java) S 18402 18404 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342897738 3097006080 418374 33554432000 1073741824 1073778376 140735047707968 140275586299048 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 3024420

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 18404 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=148248
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=913709
# CPU time returned by wait4() is 1796.06
# while last known CPU time is 1800.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1796.33
CPU time (s): 1800.03
CPU user time (s): 1798.64
CPU system time (s): 1.39
CPU usage (%): 100.206
Max. virtual memory (cumulated for all children) (KiB): 3024420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.15
system time used= 1.91371
maximum resident set size= 1673616
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12157
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1024
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38101
involuntary context switches= 4202

runsolver used 6.69998 second user time and 14.6648 second system time

The end

Launcher Data 

Begin job on node143 at 2012-06-04 01:55:33
IDJOB=3742400
IDBENCH=90181
IDSOLVER=2319
FILE ID=node143/3742400-1338767733
RUNJOBID= node143-1338750755-16977
PBS_JOBID= 14636808
Free space on /tmp= 68464 MiB

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

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

MD5SUM BENCH= b01d5fef61cfdf78caaec08ee0d21bae
RANDOM SEED=465209288

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.787
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.787
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.787
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.787
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		: 2666.787
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:       32873844 kB
MemFree:        23867752 kB
Buffers:         2379096 kB
Cached:          3978604 kB
SwapCached:          188 kB
Active:          5844120 kB
Inactive:        2191360 kB
Active(anon):    1665348 kB
Inactive(anon):    10988 kB
Active(file):    4178772 kB
Inactive(file):  2180372 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67108444 kB
Dirty:              4844 kB
Writeback:             8 kB
AnonPages:       1685364 kB
Mapped:            18748 kB
Shmem:               160 kB
Slab:             822420 kB
SReclaimable:     263812 kB
SUnreclaim:       558608 kB
KernelStack:        1600 kB
PageTables:         7376 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1827128 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1644544 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 68460 MiB
End job on node143 at 2012-06-04 02:25:31