Trace number 3741984

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.05 1795.82

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K84.opb
MD5SUM895769e6300bec8b48d22e126916d397
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 variables5712
Total number of constraints5882
Number of constraints which are clauses5798
Number of constraints which are cardinality constraints (but not clauses)84
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint84
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 85
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.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.12	c solving HOME/instance-3741984-1338759765.opb
0.07/0.13	c reading problem ... 
0.79/0.44	c ... done. Wall clock time 0.318s.
0.79/0.44	c CPU time (experimental) 0.4s.
0.79/0.44	c #vars     5712
0.79/0.44	c #constraints  5880
1235.01/1231.73	c cleaning 308291 clauses out of 616965 for limit 201.14259159334227
1236.92/1233.64	c cleaning 154506 clauses out of 309174 for limit 661.9382709192375
1237.43/1234.19	c cleaning 77206 clauses out of 155168 for limit 2175.074718620222
1237.83/1234.55	c cleaning 38712 clauses out of 78462 for limit 7093.700622137634
1238.13/1234.87	c cleaning 19617 clauses out of 40252 for limit 22849.13041641893
1238.33/1235.02	c cleaning 9978 clauses out of 21137 for limit 71901.62466659944
1238.43/1235.13	c cleaning 5257 clauses out of 11655 for limit 214184.29006170947
1238.53/1235.21	c cleaning 2920 clauses out of 6898 for limit 596805.1855085067
1238.53/1235.27	c cleaning 1800 clauses out of 4478 for limit 1516099.0505410074
1238.63/1235.33	c cleaning 1153 clauses out of 3178 for limit 3523008.2415363505
1238.63/1235.38	c cleaning 775 clauses out of 2526 for limit 7316857.628061652
1238.73/1235.44	c cleaning 673 clauses out of 2250 for limit 1.3533084948201386E7
1238.83/1235.50	c cleaning 587 clauses out of 2077 for limit 2.417679435841216E7
1238.83/1235.56	c cleaning 686 clauses out of 1990 for limit 4.161386209730547E7
1238.93/1235.63	c cleaning 463 clauses out of 1804 for limit 7.57025404360575E7
1238.93/1235.68	c cleaning 459 clauses out of 1844 for limit 1.2250265257696979E8
1239.03/1235.74	c cleaning 923 clauses out of 1883 for limit 1.9744355085348415E8
1239.03/1235.79	c cleaning 592 clauses out of 1460 for limit 4.1994876081289375E8
1239.13/1235.85	c cleaning 367 clauses out of 1367 for limit 7.38927824847132E8
1239.23/1235.91	c cleaning 301 clauses out of 1500 for limit 1.1105424477838283E9
1239.23/1235.97	c cleaning 388 clauses out of 1701 for limit 1.6182552291574519E9
1239.33/1236.02	c cleaning 442 clauses out of 1812 for limit 2.5027329681875157E9
1239.33/1236.07	c cleaning 559 clauses out of 1870 for limit 3.999327674434166E9
1239.43/1236.13	c cleaning 445 clauses out of 1810 for limit 6.807245214218895E9
1239.43/1236.19	c cleaning 476 clauses out of 1866 for limit 1.0900056008606215E10
1239.53/1236.24	c cleaning 474 clauses out of 1889 for limit 1.7739026652572002E10
1239.63/1236.31	c cleaning 483 clauses out of 1916 for limit 2.8870655079609047E10
1239.63/1236.37	c cleaning 493 clauses out of 1936 for limit 4.726135972824528E10
1239.73/1236.45	c cleaning 502 clauses out of 1939 for limit 7.750890404200536E10
1239.83/1236.51	c cleaning 519 clauses out of 1940 for limit 1.28140701618575E11
1239.83/1236.57	c cleaning 934 clauses out of 1919 for limit 2.1320663520383E11
1239.93/1236.62	c cleaning 722 clauses out of 1484 for limit 4.5421677066523486E11
1239.93/1236.68	c cleaning 243 clauses out of 1262 for limit 8.808330434131615E11
1240.03/1236.75	c cleaning 577 clauses out of 1519 for limit 1.2068438075692935E12
1240.13/1236.80	c cleaning 249 clauses out of 1443 for limit 2.0971664817254329E12
1240.13/1236.85	c cleaning 381 clauses out of 1694 for limit 2.946060898894295E12
1240.23/1236.90	c cleaning 422 clauses out of 1812 for limit 4.5375174468369795E12
1240.23/1236.96	c cleaning 419 clauses out of 1890 for limit 7.174152168233605E12
1240.33/1237.02	c cleaning 520 clauses out of 1974 for limit 1.1361735173902867E13
1240.33/1237.09	c cleaning 828 clauses out of 1951 for limit 1.89010918638642E13
1240.43/1237.14	c cleaning 697 clauses out of 1623 for limit 3.746981332741675E13
1240.53/1237.20	c cleaning 252 clauses out of 1428 for limit 7.037149094270966E13
1240.53/1237.26	c cleaning 362 clauses out of 1675 for limit 9.883972393278478E13
1240.63/1237.31	c cleaning 453 clauses out of 1815 for limit 1.5072823590280162E14
1240.63/1237.36	c cleaning 701 clauses out of 1859 for limit 2.419603519537653E14
1240.73/1237.41	c cleaning 751 clauses out of 1660 for limit 4.477549748531886E14
1240.73/1237.46	c cleaning 337 clauses out of 1411 for limit 8.704551611869752E14
1240.83/1237.53	c cleaning 366 clauses out of 1570 for limit 1.2849659097333392E15
1240.83/1237.58	c cleaning 394 clauses out of 1704 for limit 1.9524393633558732E15
1240.93/1237.65	c cleaning 861 clauses out of 1810 for limit 3.031268856153347E-5
1241.03/1237.72	c cleaning 684 clauses out of 1449 for limit 6.244397395471328E-5
1241.03/1237.78	c cleaning 458 clauses out of 1266 for limit 1.1798196157102348E-4
1241.13/1237.83	c cleaning 452 clauses out of 1307 for limit 1.8827606192834814E-4
1241.13/1237.89	c cleaning 340 clauses out of 1355 for limit 2.994934200042216E-4
1241.23/1237.96	c cleaning 288 clauses out of 1515 for limit 4.4174316102993415E-4
1241.33/1238.03	c cleaning 390 clauses out of 1727 for limit 6.390664477938592E-4
1241.43/1238.10	c cleaning 452 clauses out of 1838 for limit 9.912501046130283E-4
1241.43/1238.17	c cleaning 474 clauses out of 1885 for limit 0.0015923508861271235
1241.53/1238.23	c cleaning 482 clauses out of 1911 for limit 0.002590271745962863
1241.63/1238.30	c cleaning 507 clauses out of 1930 for limit 0.004233885464155375
1241.63/1238.36	c cleaning 459 clauses out of 1922 for limit 0.007004294631549875
1241.73/1238.41	c cleaning 501 clauses out of 1963 for limit 0.011309759683601563
1241.73/1238.48	c cleaning 510 clauses out of 1962 for limit 0.018660812983374478
1241.83/1238.55	c cleaning 495 clauses out of 1952 for limit 0.03093183160381346
1241.93/1238.61	c cleaning 501 clauses out of 1957 for limit 0.0508803994091597
1241.93/1238.69	c cleaning 498 clauses out of 1956 for limit 0.08395148333349756
1242.03/1238.74	c cleaning 491 clauses out of 1958 for limit 0.13830580986195135
1242.15/1238.80	c cleaning 502 clauses out of 1967 for limit 0.2270411817450422
1242.15/1238.87	c cleaning 504 clauses out of 1966 for limit 0.37498671670147854
1242.25/1238.94	c cleaning 511 clauses out of 1961 for limit 0.6193600355223388
1242.35/1239.00	c cleaning 484 clauses out of 1950 for limit 1.0271693412876675
1242.35/1239.06	c cleaning 497 clauses out of 1966 for limit 1.6801537788794016
1242.45/1239.11	c cleaning 509 clauses out of 1969 for limit 2.766576715492063
1242.45/1239.18	c cleaning 479 clauses out of 1960 for limit 4.583405158831787
1242.55/1239.26	c cleaning 496 clauses out of 1981 for limit 7.47852125048788
1242.65/1239.33	c cleaning 498 clauses out of 1986 for limit 12.314346291630581
1242.65/1239.39	c cleaning 480 clauses out of 1987 for limit 20.277486199652124
1242.74/1239.45	c cleaning 720 clauses out of 2008 for limit 33.123686982390076
1242.74/1239.49	c cleaning 608 clauses out of 1787 for limit 61.31958445784979
1242.84/1239.54	c cleaning 555 clauses out of 1679 for limit 107.62891110862368
1242.84/1239.59	c cleaning 501 clauses out of 1624 for limit 183.50567719073072
1242.95/1239.64	c cleaning 514 clauses out of 1623 for limit 302.8118711496026
1242.95/1239.70	c cleaning 491 clauses out of 1609 for limit 503.72239497284045
1243.05/1239.75	c cleaning 521 clauses out of 1618 for limit 826.0848802740217
1243.14/1239.81	c cleaning 482 clauses out of 1597 for limit 1380.2385769531375
1243.14/1239.86	c cleaning 494 clauses out of 1615 for limit 2250.828668284438
1243.24/1239.92	c cleaning 477 clauses out of 1624 for limit 3702.44283752457
1243.24/1239.97	c cleaning 477 clauses out of 1646 for limit 6018.190508159032
1243.34/1240.04	c cleaning 511 clauses out of 1668 for limit 9784.104694145959
1243.44/1240.10	c cleaning 502 clauses out of 1658 for limit 16248.864236958516
1243.44/1240.17	c cleaning 487 clauses out of 1654 for limit 26807.659246323794
1243.54/1240.23	c cleaning 462 clauses out of 1667 for limit 43864.65186695893
1243.54/1240.29	c cleaning 507 clauses out of 1705 for limit 70726.43868285896
1243.64/1240.37	c cleaning 502 clauses out of 1698 for limit 117118.19617075605
1243.74/1240.44	c cleaning 494 clauses out of 1696 for limit 193371.33692528543
1243.84/1240.50	c cleaning 505 clauses out of 1702 for limit 317771.01343840663
1243.84/1240.58	c cleaning 771 clauses out of 1697 for limit 525590.9510271489
1243.94/1240.64	c cleaning 614 clauses out of 1425 for limit 1032216.3751241494
1244.05/1240.71	c cleaning 655 clauses out of 1311 for limit 1850285.750017287
1244.05/1240.78	c cleaning 569 clauses out of 1157 for limit 3460975.585062493
1244.15/1240.83	c cleaning 403 clauses out of 1089 for limit 6070079.982741011
1244.15/1240.89	c cleaning 456 clauses out of 1184 for limit 9188771.55334496
1244.24/1240.94	c cleaning 462 clauses out of 1231 for limit 1.461875966341057E7
1244.24/1241.00	c cleaning 574 clauses out of 1267 for limit 2.337646447073305E7
1244.34/1241.06	c cleaning 437 clauses out of 1194 for limit 4.0948831613312416E7
1244.44/1241.13	c cleaning 468 clauses out of 1255 for limit 6.4119330502885714E7
1244.44/1241.18	c cleaning 482 clauses out of 1287 for limit 1.0311219808153728E8
1244.54/1241.24	c cleaning 650 clauses out of 1307 for limit 1.67779121027412E8
1244.54/1241.29	c cleaning 416 clauses out of 1155 for limit 3.124772340108256E8
1244.64/1241.34	c cleaning 454 clauses out of 1239 for limit 4.803800317579455E8
1244.74/1241.40	c cleaning 472 clauses out of 1286 for limit 7.640216813031209E8
1244.74/1241.46	c cleaning 528 clauses out of 1315 for limit 1.2334208843357172E9
1244.84/1241.50	c cleaning 593 clauses out of 1286 for limit 2.0778656187498026E9
1244.84/1241.56	c cleaning 455 clauses out of 1192 for limit 3.693206111322252E9
1244.94/1241.61	c cleaning 479 clauses out of 1239 for limit 5.871288285142301E9
1244.94/1241.66	c cleaning 537 clauses out of 1260 for limit 9.530694860136116E9
1245.04/1241.72	c cleaning 509 clauses out of 1221 for limit 1.6186997878477308E10
1245.04/1241.78	c cleaning 497 clauses out of 1211 for limit 2.6888043732869717E10
1245.15/1241.84	c cleaning 504 clauses out of 1214 for limit 4.4232404574001175E10
1245.15/1241.90	c cleaning 479 clauses out of 1210 for limit 7.31862934475742E10
1245.25/1241.95	c cleaning 498 clauses out of 1232 for limit 1.18657396182296E11
1245.34/1242.00	c cleaning 614 clauses out of 1234 for limit 1.9536476940738846E11
1245.34/1242.05	c cleaning 422 clauses out of 1120 for limit 3.5497623034564465E11
1245.44/1242.10	c cleaning 468 clauses out of 1201 for limit 5.475625164465959E11
1245.44/1242.16	c cleaning 472 clauses out of 1229 for limit 8.789064976116805E11
1245.54/1242.22	c cleaning 626 clauses out of 1260 for limit 1.4180235230497295E12
1245.54/1242.27	c cleaning 559 clauses out of 1131 for limit 2.5974292515421265E12
1245.64/1242.33	c cleaning 519 clauses out of 1072 for limit 4.519261103312761E12
1245.64/1242.39	c cleaning 510 clauses out of 1053 for limit 7.587343302030616E12
1245.74/1242.45	c cleaning 384 clauses out of 1043 for limit 1.263251098765571E13
1245.84/1242.52	c cleaning 572 clauses out of 1159 for limit 1.8747633037149492E13
1245.84/1242.58	c cleaning 535 clauses out of 1087 for limit 3.2965238564418777E13
1245.94/1242.64	c cleaning 391 clauses out of 1052 for limit 5.6172779557550484E13
1245.94/1242.70	c cleaning 465 clauses out of 1162 for limit 8.395100988615858E13
1246.04/1242.75	c cleaning 468 clauses out of 1196 for limit 1.3437616685622795E14
1246.14/1242.81	c cleaning 481 clauses out of 1229 for limit 2.158698272713881E14
1246.14/1242.86	c cleaning 493 clauses out of 1247 for limit 3.505086568838285E14
1246.25/1242.91	c cleaning 622 clauses out of 1254 for limit 5.74808991042331E14
1246.25/1242.96	c cleaning 562 clauses out of 1133 for limit 1.0502231279744556E15
1246.35/1243.02	c cleaning 518 clauses out of 1070 for limit 1.8320996235803212E15
1246.35/1243.08	c cleaning 496 clauses out of 1052 for limit 3.073073944210797E-5
1246.44/1243.14	c cleaning 463 clauses out of 1056 for limit 5.0487134135320425E-5
1246.54/1243.20	c cleaning 524 clauses out of 1094 for limit 8.044845611460789E-5
1246.54/1243.27	c cleaning 508 clauses out of 1069 for limit 1.3563716566792746E-4
1246.64/1243.32	c cleaning 480 clauses out of 1065 for limit 2.2542430403991E-4
1246.64/1243.37	c cleaning 452 clauses out of 1081 for limit 3.6478963611300187E-4
1246.74/1243.42	c cleaning 424 clauses out of 1129 for limit 5.76010142069263E-4
1246.74/1243.48	c cleaning 468 clauses out of 1206 for limit 8.901581310562909E-4
1246.84/1243.53	c cleaning 485 clauses out of 1241 for limit 0.00143087637067071
1246.84/1243.59	c cleaning 472 clauses out of 1252 for limit 0.002329632435625625
1246.94/1243.65	c cleaning 487 clauses out of 1281 for limit 0.0037586596548349707
1247.04/1243.71	c cleaning 518 clauses out of 1294 for limit 0.006136259856722779
1247.04/1243.76	c cleaning 480 clauses out of 1275 for limit 0.010260043675715149
1247.14/1243.81	c cleaning 493 clauses out of 1296 for limit 0.016662677605313557
1247.14/1243.86	c cleaning 492 clauses out of 1302 for limit 0.027325000846280107
1247.24/1243.92	c cleaning 504 clauses out of 1310 for limit 0.044787390529073656
1247.24/1243.97	c cleaning 501 clauses out of 1306 for limit 0.07408661721086084
1247.35/1244.03	c cleaning 502 clauses out of 1308 for limit 0.1223586342104188
1247.35/1244.09	c cleaning 492 clauses out of 1303 for limit 0.2019529961191031
1247.45/1244.14	c cleaning 503 clauses out of 1312 for limit 0.3310939766959799
1247.54/1244.20	c cleaning 502 clauses out of 1308 for limit 0.5471403531035417
1247.54/1244.28	c cleaning 500 clauses out of 1306 for limit 0.9036894255070629
1247.64/1244.33	c cleaning 473 clauses out of 1306 for limit 1.4903047560696223
1247.64/1244.38	c cleaning 494 clauses out of 1333 for limit 2.4079308006630624
1247.74/1244.46	c cleaning 503 clauses out of 1339 for limit 3.9532061414074584
1247.84/1244.53	c cleaning 481 clauses out of 1336 for limit 6.534005072047855
1247.94/1244.61	c cleaning 505 clauses out of 1355 for limit 10.624353618009202
1247.94/1244.67	c cleaning 502 clauses out of 1350 for limit 17.58587293675793
1248.04/1244.74	c cleaning 499 clauses out of 1349 for limit 29.052007561863324
1248.04/1244.80	c cleaning 504 clauses out of 1349 for limit 47.862736330574236
1248.14/1244.85	c cleaning 487 clauses out of 1345 for limit 79.16679734294291
1248.24/1244.91	c cleaning 569 clauses out of 1360 for limit 129.37529784722335
1248.24/1244.97	c cleaning 529 clauses out of 1289 for limit 224.65920468700642
1248.34/1245.04	c cleaning 512 clauses out of 1260 for limit 379.02030464885894
1248.45/1245.11	c cleaning 512 clauses out of 1248 for limit 631.0653328220619
1248.45/1245.16	c cleaning 509 clauses out of 1236 for limit 1050.8151480415206
1248.55/1245.24	c cleaning 462 clauses out of 1228 for limit 1745.9702020870925
1248.64/1245.32	c cleaning 498 clauses out of 1265 for limit 2792.325510299162
1248.64/1245.38	c cleaning 443 clauses out of 1271 for limit 4601.5585576320045
1248.74/1245.45	c cleaning 462 clauses out of 1325 for limit 7257.498872399706
1248.84/1245.51	c cleaning 488 clauses out of 1362 for limit 11631.805269436501
1248.84/1245.56	c cleaning 474 clauses out of 1374 for limit 19014.871060751488
1248.94/1245.61	c cleaning 474 clauses out of 1401 for limit 30784.519623582746
1800.05/1795.81	c starts		: 22
1800.05/1795.81	c conflicts		: 1144054
1800.05/1795.81	c decisions		: 3139064
1800.05/1795.81	c propagations		: 357869753
1800.05/1795.81	c inspects		: 9170533890
1800.05/1795.81	c learnt literals	: 38
1800.05/1795.81	c learnt binary clauses	: 43090
1800.05/1795.81	c learnt ternary clauses	: 32251
1800.05/1795.81	c learnt clauses	: 1144016
1800.05/1795.81	c root simplifications	: 0
1800.05/1795.81	c removed literals (reason simplification)	: 0
1800.05/1795.81	c reason swapping (by a shorter reason)	: 0
1800.05/1795.81	c Calls to reduceDB	: 183
1800.05/1795.81	c speed (decisions/second)	: 1748.4305384822328
1800.05/1795.81	c non guided choices	2938
1800.05/1795.81	s UNKNOWN
1800.05/1795.81	c Total wall clock time (ms): 1795.685

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-3741984-1338759765/watcher-3741984-1338759765 -o /tmp/evaluation-result-3741984-1338759765/solver-3741984-1338759765 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3741984-1338759765.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: 2.00 2.01 2.00 3/194 17749
/proc/meminfo: memFree=23873472/32873844 swapFree=7628/7628
[pid=17749] ppid=17747 vsize=2500 CPUtime=0 cores=1,3,5,7
/proc/17749/stat : 17749 (java) R 17747 17749 16961 0 -1 4202496 93 0 0 0 0 0 0 0 20 0 1 0 342100896 2560000 46 33554432000 1073741824 1073778376 140735362814448 140735362811624 251035423008 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17749/statm: 625 47 37 9 0 29 0

[startup+0.0443071 s]
/proc/loadavg: 2.00 2.01 2.00 3/194 17749
/proc/meminfo: memFree=23873472/32873844 swapFree=7628/7628
[pid=17749] ppid=17747 vsize=2414972 CPUtime=0.01 cores=1,3,5,7
/proc/17749/stat : 17749 (java) S 17747 17749 16961 0 -1 4202496 3182 0 1 0 1 0 0 0 20 0 10 0 342100896 2472931328 4392 33554432000 1073741824 1073778376 140735824985744 140735824976880 251048001597 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17749/statm: 603743 4392 1539 9 0 594444 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2414972

[startup+0.1003 s]
/proc/loadavg: 2.00 2.01 2.00 3/194 17749
/proc/meminfo: memFree=23873472/32873844 swapFree=7628/7628
[pid=17749] ppid=17747 vsize=2956804 CPUtime=0.07 cores=1,3,5,7
/proc/17749/stat : 17749 (java) S 17747 17749 16961 0 -1 4202496 3603 0 1 0 6 1 0 0 20 0 18 0 342100896 3027767296 5833 33554432000 1073741824 1073778376 140735824985744 140735824976880 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17749/statm: 739464 5833 1781 9 0 729885 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2956804

[startup+0.300308 s]
/proc/loadavg: 2.00 2.01 2.00 3/194 17749
/proc/meminfo: memFree=23873472/32873844 swapFree=7628/7628
[pid=17749] ppid=17747 vsize=2957856 CPUtime=0.5 cores=1,3,5,7
/proc/17749/stat : 17749 (java) S 17747 17749 16961 0 -1 4202496 8061 0 1 0 48 2 0 0 20 0 18 0 342100896 3028844544 10778 33554432000 1073741824 1073778376 140735824985744 140735824976880 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17749/statm: 739464 10778 2239 9 0 729885 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 2957856

[startup+0.700308 s]
/proc/loadavg: 2.00 2.01 2.00 3/194 17749
/proc/meminfo: memFree=23873472/32873844 swapFree=7628/7628
[pid=17749] ppid=17747 vsize=3024420 CPUtime=1.37 cores=1,3,5,7
/proc/17749/stat : 17749 (java) S 17747 17749 16961 0 -1 4202496 9965 0 1 0 134 3 0 0 20 0 19 0 342100896 3097006080 16707 33554432000 1073741824 1073778376 140735824985744 140735824976880 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17749/statm: 756105 16707 2266 9 0 746526 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 3024420

[startup+1.50067 s]
/proc/loadavg: 2.00 2.01 2.00 3/213 17768
/proc/meminfo: memFree=23812772/32873844 swapFree=7628/7628
[pid=17749] ppid=17747 vsize=3024420 CPUtime=2.22 cores=1,3,5,7
/proc/17749/stat : 17749 (java) S 17747 17749 16961 0 -1 4202496 10174 0 1 0 219 3 0 0 20 0 19 0 342100896 3097006080 17738 33554432000 1073741824 1073778376 140735824985744 140735824976880 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17749/statm: 756105 17738 2272 9 0 746526 0
[pid=17749/tid=17751] ppid=17747 vsize=3024420 CPUtime=1.45 cores=1,3,5,7
/proc/17749/task/17751/stat : 17751 (java) R 17747 17749 16961 0 -1 4202560 2555 0 1 0 144 1 0 0 20 0 19 0 342100898 3097006080 17738 33554432000 1073741824 1073778376 140735824985744 140519264911560 140519133532496 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=17749/tid=17752] ppid=17747 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17749/task/17752/stat : 17752 (java) S 17747 17749 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342100900 3097006080 17738 33554432000 1073741824 1073778376 140735824985744 140519130696104 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17749/tid=17753] ppid=17747 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17749/task/17753/stat : 17753 (java) S 17747 17749 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342100900 3097006080 17738 33554432000 1073741824 1073778376 140735824985744 140519129643560 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17749/tid=17754] ppid=17747 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17749/task/17754/stat : 17754 (java) S 17747 17749 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342100900 3097006080 17738 33554432000 1073741824 1073778376 140735824985744 140519128590504 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17749/tid=17755] ppid=17747 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17749/task/17755/stat : 17755 (java) S 17747 17749 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342100900 3097006080 17738 33554432000 1073741824 1073778376 140735824985744 140519127537960 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17749/tid=17756] ppid=17747 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17749/task/17756/stat : 17756 (java) S 17747 17749 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342100900 3097006080 17738 33554432000 1073741824 1073778376 140735824985744 140519126485928 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17749/tid=17757] ppid=17747 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17749/task/17757/stat : 17757 (java) S 17747 17749 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342100900 3097006080 17738 33554432000 1073741824 1073778376 140735824985744 140519125433384 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17749/tid=17758] ppid=17747 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17749/task/17758/stat : 17758 (java) S 17747 17749 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342100900 3097006080 17738 33554432000 1073741824 1073778376 140735824985744 140519124380328 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17749/tid=17759] ppid=17747 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17749/task/17759/stat : 17759 (java) S 17747 17749 16961 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342100900 3097006080 17738 33554432000 1073741824 1073778376 140735824985744 140519123327784 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17749/tid=17760] ppid=17747 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17749/task/17760/stat : 17760 (java) S 17747 17749 16961 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 342100901 3097006080 17738 33554432000 1073741824 1073778376 140735824985744 140518641080680 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17749/tid=17761] ppid=17747 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17749/task/17761/stat : 17761 (java) S 17747 17749 16961 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342100901 3097006080 17738 33554432000 1073741824 1073778376 140735824985744 140518640027000 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17749/tid=17762] ppid=17747 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17749/task/17762/stat : 17762 (java) S 17747 17749 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342100901 3097006080 17738 33554432000 1073741824 1073778376 140735824985744 140518638973832 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17749/tid=17763] ppid=17747 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17749/task/17763/stat : 17763 (java) S 17747 17749 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342100904 3097006080 17738 33554432000 1073741824 1073778376 140735824985744 140518637922576 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17749/tid=17764] ppid=17747 vsize=3024420 CPUtime=0.36 cores=1,3,5,7
/proc/17749/task/17764/stat : 17764 (java) S 17747 17749 16961 0 -1 4202560 4007 0 0 0 36 0 0 0 20 0 19 0 342100904 3097006080 17738 33554432000 1073741824 1073778376 140735824985744 140518636870456 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17749/tid=17765] ppid=17747 vsize=3024420 CPUtime=0.36 cores=1,3,5,7
/proc/17749/task/17765/stat : 17765 (java) S 17747 17749 16961 0 -1 4202560 2418 0 0 0 36 0 0 0 20 0 19 0 342100904 3097006080 17738 33554432000 1073741824 1073778376 140735824985744 140518635817912 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17749/tid=17766] ppid=17747 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17749/task/17766/stat : 17766 (java) S 17747 17749 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342100904 3097006080 17738 33554432000 1073741824 1073778376 140735824985744 140518634765048 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17749/tid=17767] ppid=17747 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17749/task/17767/stat : 17767 (java) S 17747 17749 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342100904 3097006080 17738 33554432000 1073741824 1073778376 140735824985744 140518633712712 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17749/tid=17768] ppid=17747 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17749/task/17768/stat : 17768 (java) S 17747 17749 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342100942 3097006080 17738 33554432000 1073741824 1073778376 140735824985744 140518631580712 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.22
Current children cumulated vsize (KiB) 3024420

[startup+3.10063 s]
/proc/loadavg: 2.00 2.01 2.00 3/213 17768
/proc/meminfo: memFree=23808304/32873844 swapFree=7628/7628
[pid=17749] ppid=17747 vsize=3024420 CPUtime=3.89 cores=1,3,5,7
/proc/17749/stat : 17749 (java) S 17747 17749 16961 0 -1 4202496 10575 0 1 0 386 3 0 0 20 0 19 0 342100896 3097006080 19786 33554432000 1073741824 1073778376 140735824985744 140735824976880 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17749/statm: 756105 19786 2272 9 0 746526 0
[pid=17749/tid=17751] ppid=17747 vsize=3024420 CPUtime=3.04 cores=1,3,5,7
/proc/17749/task/17751/stat : 17751 (java) R 17747 17749 16961 0 -1 4202560 2560 0 1 0 303 1 0 0 20 0 19 0 342100898 3097006080 19786 33554432000 1073741824 1073778376 140735824985744 140519264911784 140519133532766 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=17749/tid=17752] ppid=17747 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17749/task/17752/stat : 17752 (java) S 17747 17749 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342100900 3097006080 19786 33554432000 1073741824 1073778376 140735824985744 140519130696104 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17749/tid=17753] ppid=17747 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17749/task/17753/stat : 17753 (java) S 17747 17749 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342100900 3097006080 19786 33554432000 1073741824 1073778376 140735824985744 140519129643560 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17749/tid=17754] ppid=17747 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17749/task/17754/stat : 17754 (java) S 17747 17749 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342100900 3097006080 19786 33554432000 1073741824 1073778376 140735824985744 140519128590504 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17749/tid=17755] ppid=17747 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17749/task/17755/stat : 17755 (java) S 17747 17749 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342100900 3097006080 19786 33554432000 1073741824 1073778376 140735824985744 140519127537960 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17749/tid=17756] ppid=17747 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17749/task/17756/stat : 17756 (java) S 17747 17749 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342100900 3097006080 19786 33554432000 1073741824 1073778376 140735824985744 140519126485928 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17749/tid=17757] ppid=17747 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17749/task/17757/stat : 17757 (java) S 17747 17749 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342100900 3097006080 19786 33554432000 1073741824 1073778376 140735824985744 140519125433384 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17749/tid=17758] ppid=17747 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17749/task/17758/stat : 17758 (java) S 17747 17749 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342100900 3097006080 19786 33554432000 1073741824 1073778376 140735824985744 140519124380328 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17749/tid=17759] ppid=17747 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17749/task/17759/stat : 17759 (java) S 17747 17749 16961 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342100900 3097006080 19786 33554432000 1073741824 1073778376 140735824985744 140519123327784 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17749/tid=17760] ppid=17747 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17749/task/17760/stat : 17760 (java) S 17747 17749 16961 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 342100901 3097006080 19786 33554432000 1073741824 1073778376 140735824985744 140518641080680 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17749/tid=17761] ppid=17747 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17749/task/17761/stat : 17761 (java) S 17747 17749 16961 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342100901 3097006080 19786 33554432000 1073741824 1073778376 140735824985744 140518640027000 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17749/tid=17762] ppid=17747 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17749/task/17762/stat : 17762 (java) S 17747 17749 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342100901 3097006080 19786 33554432000 1073741824 1073778376 140735824985744 140518638973832 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17749/tid=17763] ppid=17747 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17749/task/17763/stat : 17763 (java) S 17747 17749 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342100904 3097006080 19786 33554432000 1073741824 1073778376 140735824985744 140518637922576 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17749/tid=17764] ppid=17747 vsize=3024420 CPUtime=0.4 cores=1,3,5,7
/proc/17749/task/17764/stat : 17764 (java) S 17747 17749 16961 0 -1 4202560 4007 0 0 0 40 0 0 0 20 0 19 0 342100904 3097006080 19786 33554432000 1073741824 1073778376 140735824985744 140518636870456 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17749/tid=17765] ppid=17747 vsize=3024420 CPUtime=0.4 cores=1,3,5,7
/proc/17749/task/17765/stat : 17765 (java) S 17747 17749 16961 0 -1 4202560 2814 0 0 0 40 0 0 0 20 0 19 0 342100904 3097006080 19786 33554432000 1073741824 1073778376 140735824985744 140518635817912 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17749/tid=17766] ppid=17747 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17749/task/17766/stat : 17766 (java) S 17747 17749 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342100904 3097006080 19786 33554432000 1073741824 1073778376 140735824985744 140518634765048 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17749/tid=17767] ppid=17747 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17749/task/17767/stat : 17767 (java) S 17747 17749 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342100904 3097006080 19786 33554432000 1073741824 1073778376 140735824985744 140518633712712 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17749/tid=17768] ppid=17747 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17749/task/17768/stat : 17768 (java) S 17747 17749 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342100942 3097006080 19786 33554432000 1073741824 1073778376 140735824985744 140518631580712 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.89
Current children cumulated vsize (KiB) 3024420

[startup+6.30077 s]
/proc/loadavg: 2.00 2.01 2.00 3/213 17768
/proc/meminfo: memFree=23789252/32873844 swapFree=7628/7628
[pid=17749] ppid=17747 vsize=3024420 CPUtime=7.09 cores=1,3,5,7
/proc/17749/stat : 17749 (java) S 17747 17749 16961 0 -1 4202496 10585 0 1 0 706 3 0 0 20 0 19 0 342100896 3097006080 23823 33554432000 1073741824 1073778376 140735824985744 140735824976880 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17749/statm: 756105 23823 2273 9 0 746526 0
[pid=17749/tid=17751] ppid=17747 vsize=3024420 CPUtime=6.23 cores=1,3,5,7
/proc/17749/task/17751/stat : 17751 (java) R 17747 17749 16961 0 -1 4202560 2569 0 1 0 621 2 0 0 20 0 19 0 342100898 3097006080 23823 33554432000 1073741824 1073778376 140735824985744 140519264911888 140519133504035 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=17749/tid=17752] ppid=17747 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17749/task/17752/stat : 17752 (java) S 17747 17749 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342100900 3097006080 23823 33554432000 1073741824 1073778376 140735824985744 140519130696104 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17749/tid=17753] ppid=17747 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17749/task/17753/stat : 17753 (java) S 17747 17749 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342100900 3097006080 23823 33554432000 1073741824 1073778376 140735824985744 140519129643560 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17749/tid=17754] ppid=17747 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17749/task/17754/stat : 17754 (java) S 17747 17749 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342100900 3097006080 23823 33554432000 1073741824 1073778376 140735824985744 140519128590504 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17749/tid=17755] ppid=17747 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17749/task/17755/stat : 17755 (java) S 17747 17749 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342100900 3097006080 23823 33554432000 1073741824 1073778376 140735824985744 140519127537960 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17749/tid=17756] ppid=17747 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17749/task/17756/stat : 17756 (java) S 17747 17749 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342100900 3097006080 23823 33554432000 1073741824 1073778376 140735824985744 140519126485928 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17749/tid=17757] ppid=17747 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17749/task/17757/stat : 17757 (java) S 17747 17749 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342100900 3097006080 23823 33554432000 1073741824 1073778376 140735824985744 140519125433384 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17749/tid=17758] ppid=17747 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17749/task/17758/stat : 17758 (java) S 17747 17749 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342100900 3097006080 23823 33554432000 1073741824 1073778376 140735824985744 140519124380328 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17749/tid=17759] ppid=17747 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17749/task/17759/stat : 17759 (java) S 17747 17749 16961 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342100900 3097006080 23823 33554432000 1073741824 1073778376 140735824985744 140519123327784 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17749/tid=17760] ppid=17747 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17749/task/17760/stat : 17760 (java) S 17747 17749 16961 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 342100901 3097006080 23823 33554432000 1073741824 1073778376 140735824985744 140518641080680 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17749/tid=17761] ppid=17747 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17749/task/17761/stat : 17761 (java) S 17747 17749 16961 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342100901 3097006080 23823 33554432000 1073741824 1073778376 140735824985744 140518640027000 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17749/tid=17762] ppid=17747 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17749/task/17762/stat : 17762 (java) S 17747 17749 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342100901 3097006080 23823 33554432000 1073741824 1073778376 140735824985744 140518638973832 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17749/tid=17763] ppid=17747 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17749/task/17763/stat : 17763 (java) S 17747 17749 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342100904 3097006080 23823 33554432000 1073741824 1073778376 140735824985744 140518637922576 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17749/tid=17764] ppid=17747 vsize=3024420 CPUtime=0.4 cores=1,3,5,7
/proc/17749/task/17764/stat : 17764 (java) S 17747 17749 16961 0 -1 4202560 4007 0 0 0 40 0 0 0 20 0 19 0 342100904 3097006080 23823 33554432000 1073741824 1073778376 140735824985744 140518636870456 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17749/tid=17765] ppid=17747 vsize=3024420 CPUtime=0.4 cores=1,3,5,7
/proc/17749/task/17765/stat : 17765 (java) S 17747 17749 16961 0 -1 4202560 2814 0 0 0 40 0 0 0 20 0 19 0 342100904 3097006080 23823 33554432000 1073741824 1073778376 140735824985744 140518635817912 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17749/tid=17766] ppid=17747 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17749/task/17766/stat : 17766 (java) S 17747 17749 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342100904 3097006080 23823 33554432000 1073741824 1073778376 140735824985744 140518634765048 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17749/tid=17767] ppid=17747 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17749/task/17767/stat : 17767 (java) S 17747 17749 16961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 342100904 3097006080 23823 33554432000 1073741824 1073778376 140735824985744 140518633712712 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17749/tid=17768] ppid=17747 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17749/task/17768/stat : 17768 (java) S 17747 17749 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342100942 3097006080 23823 33554432000 1073741824 1073778376 140735824985744 140518631580712 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.09
Current children cumulated vsize (KiB) 3024420

[startup+12.7008 s]

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

[pid=17749/tid=17764] ppid=17747 vsize=3024420 CPUtime=0.45 cores=1,3,5,7
/proc/17749/task/17764/stat : 17764 (java) S 17747 17749 16961 0 -1 4202560 4023 0 0 0 45 0 0 0 20 0 19 0 342100904 3097006080 418176 33554432000 1073741824 1073778376 140735824985744 140518636870456 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17749/tid=17765] ppid=17747 vsize=3024420 CPUtime=0.47 cores=1,3,5,7
/proc/17749/task/17765/stat : 17765 (java) S 17747 17749 16961 0 -1 4202560 2987 0 0 0 47 0 0 0 20 0 19 0 342100904 3097006080 418176 33554432000 1073741824 1073778376 140735824985744 140518635817912 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17749/tid=17766] ppid=17747 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17749/task/17766/stat : 17766 (java) S 17747 17749 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342100904 3097006080 418176 33554432000 1073741824 1073778376 140735824985744 140518634765048 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17749/tid=17767] ppid=17747 vsize=3024420 CPUtime=0.91 cores=1,3,5,7
/proc/17749/task/17767/stat : 17767 (java) S 17747 17749 16961 0 -1 4202560 96 0 0 0 50 41 0 0 20 0 19 0 342100904 3097006080 418176 33554432000 1073741824 1073778376 140735824985744 140518633712712 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17749/tid=17768] ppid=17747 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17749/task/17768/stat : 17768 (java) S 17747 17749 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342100942 3097006080 418176 33554432000 1073741824 1073778376 140735824985744 140518631580712 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1666.46
Current children cumulated vsize (KiB) 3024420

[startup+1722.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/213 17876
/proc/meminfo: memFree=22203384/32873844 swapFree=7628/7628
[pid=17749] ppid=17747 vsize=3024420 CPUtime=1726.51 cores=1,3,5,7
/proc/17749/stat : 17749 (java) S 17747 17749 16961 0 -1 4202496 13062 0 1 0 172440 211 0 0 20 0 19 0 342100896 3097006080 418176 33554432000 1073741824 1073778376 140735824985744 140735824976880 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17749/statm: 756105 418176 2302 9 0 746526 0
[pid=17749/tid=17751] ppid=17747 vsize=3024420 CPUtime=1715.77 cores=1,3,5,7
/proc/17749/task/17751/stat : 17751 (java) R 17747 17749 16961 0 -1 4202560 2749 0 1 0 171543 34 0 0 20 0 19 0 342100898 3097006080 418176 33554432000 1073741824 1073778376 140735824985744 140519264910640 140519133532825 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=17749/tid=17752] ppid=17747 vsize=3024420 CPUtime=0.24 cores=1,3,5,7
/proc/17749/task/17752/stat : 17752 (java) S 17747 17749 16961 0 -1 4202560 160 0 0 0 13 11 0 0 20 0 19 0 342100900 3097006080 418176 33554432000 1073741824 1073778376 140735824985744 140519130696104 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17749/tid=17753] ppid=17747 vsize=3024420 CPUtime=0.49 cores=1,3,5,7
/proc/17749/task/17753/stat : 17753 (java) S 17747 17749 16961 0 -1 4202560 298 0 0 0 26 23 0 0 20 0 19 0 342100900 3097006080 418176 33554432000 1073741824 1073778376 140735824985744 140519129643560 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17749/tid=17754] ppid=17747 vsize=3024420 CPUtime=0.33 cores=1,3,5,7
/proc/17749/task/17754/stat : 17754 (java) S 17747 17749 16961 0 -1 4202560 207 0 0 0 19 14 0 0 20 0 19 0 342100900 3097006080 418176 33554432000 1073741824 1073778376 140735824985744 140519128590504 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17749/tid=17755] ppid=17747 vsize=3024420 CPUtime=0.38 cores=1,3,5,7
/proc/17749/task/17755/stat : 17755 (java) S 17747 17749 16961 0 -1 4202560 191 0 0 0 24 14 0 0 20 0 19 0 342100900 3097006080 418176 33554432000 1073741824 1073778376 140735824985744 140519127537960 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17749/tid=17756] ppid=17747 vsize=3024420 CPUtime=0.27 cores=1,3,5,7
/proc/17749/task/17756/stat : 17756 (java) S 17747 17749 16961 0 -1 4202560 170 0 0 0 16 11 0 0 20 0 19 0 342100900 3097006080 418176 33554432000 1073741824 1073778376 140735824985744 140519126485928 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17749/tid=17757] ppid=17747 vsize=3024420 CPUtime=0.47 cores=1,3,5,7
/proc/17749/task/17757/stat : 17757 (java) S 17747 17749 16961 0 -1 4202560 315 0 0 0 24 23 0 0 20 0 19 0 342100900 3097006080 418176 33554432000 1073741824 1073778376 140735824985744 140519125433384 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17749/tid=17758] ppid=17747 vsize=3024420 CPUtime=0.28 cores=1,3,5,7
/proc/17749/task/17758/stat : 17758 (java) S 17747 17749 16961 0 -1 4202560 180 0 0 0 14 14 0 0 20 0 19 0 342100900 3097006080 418176 33554432000 1073741824 1073778376 140735824985744 140519124380328 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17749/tid=17759] ppid=17747 vsize=3024420 CPUtime=0.43 cores=1,3,5,7
/proc/17749/task/17759/stat : 17759 (java) S 17747 17749 16961 0 -1 4202560 295 0 0 0 23 20 0 0 20 0 19 0 342100900 3097006080 418176 33554432000 1073741824 1073778376 140735824985744 140519123327784 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17749/tid=17760] ppid=17747 vsize=3024420 CPUtime=1.11 cores=1,3,5,7
/proc/17749/task/17760/stat : 17760 (java) S 17747 17749 16961 0 -1 4202560 206 0 0 0 102 9 0 0 20 0 19 0 342100901 3097006080 418176 33554432000 1073741824 1073778376 140735824985744 140518641080680 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17749/tid=17761] ppid=17747 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17749/task/17761/stat : 17761 (java) S 17747 17749 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342100901 3097006080 418176 33554432000 1073741824 1073778376 140735824985744 140518640027000 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17749/tid=17762] ppid=17747 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17749/task/17762/stat : 17762 (java) S 17747 17749 16961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 342100901 3097006080 418176 33554432000 1073741824 1073778376 140735824985744 140518638973832 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17749/tid=17763] ppid=17747 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17749/task/17763/stat : 17763 (java) S 17747 17749 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342100904 3097006080 418176 33554432000 1073741824 1073778376 140735824985744 140518637922576 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17749/tid=17764] ppid=17747 vsize=3024420 CPUtime=0.45 cores=1,3,5,7
/proc/17749/task/17764/stat : 17764 (java) S 17747 17749 16961 0 -1 4202560 4023 0 0 0 45 0 0 0 20 0 19 0 342100904 3097006080 418176 33554432000 1073741824 1073778376 140735824985744 140518636870456 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17749/tid=17765] ppid=17747 vsize=3024420 CPUtime=0.47 cores=1,3,5,7
/proc/17749/task/17765/stat : 17765 (java) S 17747 17749 16961 0 -1 4202560 2987 0 0 0 47 0 0 0 20 0 19 0 342100904 3097006080 418176 33554432000 1073741824 1073778376 140735824985744 140518635817912 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17749/tid=17766] ppid=17747 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17749/task/17766/stat : 17766 (java) S 17747 17749 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342100904 3097006080 418176 33554432000 1073741824 1073778376 140735824985744 140518634765048 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17749/tid=17767] ppid=17747 vsize=3024420 CPUtime=0.94 cores=1,3,5,7
/proc/17749/task/17767/stat : 17767 (java) S 17747 17749 16961 0 -1 4202560 100 0 0 0 52 42 0 0 20 0 19 0 342100904 3097006080 418176 33554432000 1073741824 1073778376 140735824985744 140518633712712 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17749/tid=17768] ppid=17747 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17749/task/17768/stat : 17768 (java) S 17747 17749 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342100942 3097006080 418176 33554432000 1073741824 1073778376 140735824985744 140518631580712 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1726.51
Current children cumulated vsize (KiB) 3024420

[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/213 17876
/proc/meminfo: memFree=22203260/32873844 swapFree=7628/7628
[pid=17749] ppid=17747 vsize=3024420 CPUtime=1786.54 cores=1,3,5,7
/proc/17749/stat : 17749 (java) S 17747 17749 16961 0 -1 4202496 13066 0 1 0 178441 213 0 0 20 0 19 0 342100896 3097006080 418176 33554432000 1073741824 1073778376 140735824985744 140735824976880 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17749/statm: 756105 418176 2302 9 0 746526 0
[pid=17749/tid=17751] ppid=17747 vsize=3024420 CPUtime=1775.62 cores=1,3,5,7
/proc/17749/task/17751/stat : 17751 (java) R 17747 17749 16961 0 -1 4202560 2749 0 1 0 177528 34 0 0 20 0 19 0 342100898 3097006080 418176 33554432000 1073741824 1073778376 140735824985744 140519264910640 140519133532825 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=17749/tid=17752] ppid=17747 vsize=3024420 CPUtime=0.24 cores=1,3,5,7
/proc/17749/task/17752/stat : 17752 (java) S 17747 17749 16961 0 -1 4202560 160 0 0 0 13 11 0 0 20 0 19 0 342100900 3097006080 418176 33554432000 1073741824 1073778376 140735824985744 140519130696104 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17749/tid=17753] ppid=17747 vsize=3024420 CPUtime=0.49 cores=1,3,5,7
/proc/17749/task/17753/stat : 17753 (java) S 17747 17749 16961 0 -1 4202560 298 0 0 0 26 23 0 0 20 0 19 0 342100900 3097006080 418176 33554432000 1073741824 1073778376 140735824985744 140519129643560 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17749/tid=17754] ppid=17747 vsize=3024420 CPUtime=0.33 cores=1,3,5,7
/proc/17749/task/17754/stat : 17754 (java) S 17747 17749 16961 0 -1 4202560 207 0 0 0 19 14 0 0 20 0 19 0 342100900 3097006080 418176 33554432000 1073741824 1073778376 140735824985744 140519128590504 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17749/tid=17755] ppid=17747 vsize=3024420 CPUtime=0.38 cores=1,3,5,7
/proc/17749/task/17755/stat : 17755 (java) S 17747 17749 16961 0 -1 4202560 191 0 0 0 24 14 0 0 20 0 19 0 342100900 3097006080 418176 33554432000 1073741824 1073778376 140735824985744 140519127537960 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17749/tid=17756] ppid=17747 vsize=3024420 CPUtime=0.27 cores=1,3,5,7
/proc/17749/task/17756/stat : 17756 (java) S 17747 17749 16961 0 -1 4202560 170 0 0 0 16 11 0 0 20 0 19 0 342100900 3097006080 418176 33554432000 1073741824 1073778376 140735824985744 140519126485928 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17749/tid=17757] ppid=17747 vsize=3024420 CPUtime=0.47 cores=1,3,5,7
/proc/17749/task/17757/stat : 17757 (java) S 17747 17749 16961 0 -1 4202560 315 0 0 0 24 23 0 0 20 0 19 0 342100900 3097006080 418176 33554432000 1073741824 1073778376 140735824985744 140519125433384 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17749/tid=17758] ppid=17747 vsize=3024420 CPUtime=0.28 cores=1,3,5,7
/proc/17749/task/17758/stat : 17758 (java) S 17747 17749 16961 0 -1 4202560 180 0 0 0 14 14 0 0 20 0 19 0 342100900 3097006080 418176 33554432000 1073741824 1073778376 140735824985744 140519124380328 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17749/tid=17759] ppid=17747 vsize=3024420 CPUtime=0.43 cores=1,3,5,7
/proc/17749/task/17759/stat : 17759 (java) S 17747 17749 16961 0 -1 4202560 295 0 0 0 23 20 0 0 20 0 19 0 342100900 3097006080 418176 33554432000 1073741824 1073778376 140735824985744 140519123327784 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17749/tid=17760] ppid=17747 vsize=3024420 CPUtime=1.12 cores=1,3,5,7
/proc/17749/task/17760/stat : 17760 (java) S 17747 17749 16961 0 -1 4202560 206 0 0 0 102 10 0 0 20 0 19 0 342100901 3097006080 418176 33554432000 1073741824 1073778376 140735824985744 140518641080680 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17749/tid=17761] ppid=17747 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17749/task/17761/stat : 17761 (java) S 17747 17749 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342100901 3097006080 418176 33554432000 1073741824 1073778376 140735824985744 140518640027000 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17749/tid=17762] ppid=17747 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17749/task/17762/stat : 17762 (java) S 17747 17749 16961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 342100901 3097006080 418176 33554432000 1073741824 1073778376 140735824985744 140518638973832 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17749/tid=17763] ppid=17747 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17749/task/17763/stat : 17763 (java) S 17747 17749 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342100904 3097006080 418176 33554432000 1073741824 1073778376 140735824985744 140518637922576 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17749/tid=17764] ppid=17747 vsize=3024420 CPUtime=0.45 cores=1,3,5,7
/proc/17749/task/17764/stat : 17764 (java) S 17747 17749 16961 0 -1 4202560 4023 0 0 0 45 0 0 0 20 0 19 0 342100904 3097006080 418176 33554432000 1073741824 1073778376 140735824985744 140518636870456 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17749/tid=17765] ppid=17747 vsize=3024420 CPUtime=0.47 cores=1,3,5,7
/proc/17749/task/17765/stat : 17765 (java) S 17747 17749 16961 0 -1 4202560 2987 0 0 0 47 0 0 0 20 0 19 0 342100904 3097006080 418176 33554432000 1073741824 1073778376 140735824985744 140518635817912 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17749/tid=17766] ppid=17747 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17749/task/17766/stat : 17766 (java) S 17747 17749 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342100904 3097006080 418176 33554432000 1073741824 1073778376 140735824985744 140518634765048 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17749/tid=17767] ppid=17747 vsize=3024420 CPUtime=0.98 cores=1,3,5,7
/proc/17749/task/17767/stat : 17767 (java) S 17747 17749 16961 0 -1 4202560 104 0 0 0 53 45 0 0 20 0 19 0 342100904 3097006080 418176 33554432000 1073741824 1073778376 140735824985744 140518633712712 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17749/tid=17768] ppid=17747 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17749/task/17768/stat : 17768 (java) S 17747 17749 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342100942 3097006080 418176 33554432000 1073741824 1073778376 140735824985744 140518631580712 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1786.54
Current children cumulated vsize (KiB) 3024420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1795.8 s]
/proc/loadavg: 2.01 2.00 2.00 3/213 17876
/proc/meminfo: memFree=22203064/32873844 swapFree=7628/7628
[pid=17749] ppid=17747 vsize=3024420 CPUtime=1800.05 cores=1,3,5,7
/proc/17749/stat : 17749 (java) S 17747 17749 16961 0 -1 4202496 13066 0 1 0 179791 214 0 0 20 0 19 0 342100896 3097006080 418239 33554432000 1073741824 1073778376 140735824985744 140735824976880 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17749/statm: 756105 418239 2302 9 0 746526 0
[pid=17749/tid=17751] ppid=17747 vsize=3024420 CPUtime=1789.09 cores=1,3,5,7
/proc/17749/task/17751/stat : 17751 (java) R 17747 17749 16961 0 -1 4202560 2749 0 1 0 178874 35 0 0 20 0 19 0 342100898 3097006080 418239 33554432000 1073741824 1073778376 140735824985744 140519264910640 140519133532509 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=17749/tid=17752] ppid=17747 vsize=3024420 CPUtime=0.24 cores=1,3,5,7
/proc/17749/task/17752/stat : 17752 (java) S 17747 17749 16961 0 -1 4202560 160 0 0 0 13 11 0 0 20 0 19 0 342100900 3097006080 418239 33554432000 1073741824 1073778376 140735824985744 140519130696104 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17749/tid=17753] ppid=17747 vsize=3024420 CPUtime=0.49 cores=1,3,5,7
/proc/17749/task/17753/stat : 17753 (java) S 17747 17749 16961 0 -1 4202560 298 0 0 0 26 23 0 0 20 0 19 0 342100900 3097006080 418239 33554432000 1073741824 1073778376 140735824985744 140519129643560 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17749/tid=17754] ppid=17747 vsize=3024420 CPUtime=0.33 cores=1,3,5,7
/proc/17749/task/17754/stat : 17754 (java) S 17747 17749 16961 0 -1 4202560 207 0 0 0 19 14 0 0 20 0 19 0 342100900 3097006080 418239 33554432000 1073741824 1073778376 140735824985744 140519128590504 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17749/tid=17755] ppid=17747 vsize=3024420 CPUtime=0.38 cores=1,3,5,7
/proc/17749/task/17755/stat : 17755 (java) S 17747 17749 16961 0 -1 4202560 191 0 0 0 24 14 0 0 20 0 19 0 342100900 3097006080 418239 33554432000 1073741824 1073778376 140735824985744 140519127537960 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17749/tid=17756] ppid=17747 vsize=3024420 CPUtime=0.27 cores=1,3,5,7
/proc/17749/task/17756/stat : 17756 (java) S 17747 17749 16961 0 -1 4202560 170 0 0 0 16 11 0 0 20 0 19 0 342100900 3097006080 418239 33554432000 1073741824 1073778376 140735824985744 140519126485928 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17749/tid=17757] ppid=17747 vsize=3024420 CPUtime=0.47 cores=1,3,5,7
/proc/17749/task/17757/stat : 17757 (java) S 17747 17749 16961 0 -1 4202560 315 0 0 0 24 23 0 0 20 0 19 0 342100900 3097006080 418239 33554432000 1073741824 1073778376 140735824985744 140519125433384 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17749/tid=17758] ppid=17747 vsize=3024420 CPUtime=0.28 cores=1,3,5,7
/proc/17749/task/17758/stat : 17758 (java) S 17747 17749 16961 0 -1 4202560 180 0 0 0 14 14 0 0 20 0 19 0 342100900 3097006080 418239 33554432000 1073741824 1073778376 140735824985744 140519124380328 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17749/tid=17759] ppid=17747 vsize=3024420 CPUtime=0.43 cores=1,3,5,7
/proc/17749/task/17759/stat : 17759 (java) S 17747 17749 16961 0 -1 4202560 295 0 0 0 23 20 0 0 20 0 19 0 342100900 3097006080 418239 33554432000 1073741824 1073778376 140735824985744 140519123327784 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17749/tid=17760] ppid=17747 vsize=3024420 CPUtime=1.12 cores=1,3,5,7
/proc/17749/task/17760/stat : 17760 (java) S 17747 17749 16961 0 -1 4202560 206 0 0 0 102 10 0 0 20 0 19 0 342100901 3097006080 418239 33554432000 1073741824 1073778376 140735824985744 140518641080680 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17749/tid=17761] ppid=17747 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17749/task/17761/stat : 17761 (java) S 17747 17749 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342100901 3097006080 418239 33554432000 1073741824 1073778376 140735824985744 140518640027000 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17749/tid=17762] ppid=17747 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17749/task/17762/stat : 17762 (java) S 17747 17749 16961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 342100901 3097006080 418239 33554432000 1073741824 1073778376 140735824985744 140518638973832 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17749/tid=17763] ppid=17747 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17749/task/17763/stat : 17763 (java) S 17747 17749 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342100904 3097006080 418239 33554432000 1073741824 1073778376 140735824985744 140518637922576 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17749/tid=17764] ppid=17747 vsize=3024420 CPUtime=0.45 cores=1,3,5,7
/proc/17749/task/17764/stat : 17764 (java) S 17747 17749 16961 0 -1 4202560 4023 0 0 0 45 0 0 0 20 0 19 0 342100904 3097006080 418239 33554432000 1073741824 1073778376 140735824985744 140518636870456 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17749/tid=17765] ppid=17747 vsize=3024420 CPUtime=0.47 cores=1,3,5,7
/proc/17749/task/17765/stat : 17765 (java) S 17747 17749 16961 0 -1 4202560 2987 0 0 0 47 0 0 0 20 0 19 0 342100904 3097006080 418239 33554432000 1073741824 1073778376 140735824985744 140518635817912 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17749/tid=17766] ppid=17747 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17749/task/17766/stat : 17766 (java) S 17747 17749 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342100904 3097006080 418239 33554432000 1073741824 1073778376 140735824985744 140518634765048 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17749/tid=17767] ppid=17747 vsize=3024420 CPUtime=0.99 cores=1,3,5,7
/proc/17749/task/17767/stat : 17767 (java) S 17747 17749 16961 0 -1 4202560 104 0 0 0 54 45 0 0 20 0 19 0 342100904 3097006080 418239 33554432000 1073741824 1073778376 140735824985744 140518633712712 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17749/tid=17768] ppid=17747 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/17749/task/17768/stat : 17768 (java) S 17747 17749 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342100942 3097006080 418239 33554432000 1073741824 1073778376 140735824985744 140518631580712 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
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

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17749 and gives
#  childrusage.ru_utime.tv_sec=1792
#  childrusage.ru_utime.tv_usec=948430
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=330645
# CPU time returned by wait4() is 1795.28
# while last known CPU time is 1800.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1795.82
CPU time (s): 1800.05
CPU user time (s): 1797.91
CPU system time (s): 2.14
CPU usage (%): 100.235
Max. virtual memory (cumulated for all children) (KiB): 3024420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.95
system time used= 2.33065
maximum resident set size= 1673236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13099
page faults= 1
swaps= 0
block input operations= 0
block output operations= 976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38011
involuntary context switches= 13447

runsolver used 6.97894 second user time and 15.7146 second system time

The end

Launcher Data 

Begin job on node143 at 2012-06-03 23:42:45
IDJOB=3741984
IDBENCH=90123
IDSOLVER=2319
FILE ID=node143/3741984-1338759765
RUNJOBID= node143-1338750755-16978
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/ShortestPathTate/normalized-TateBritain_K84.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar BENCHNAME           
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3741984-1338759765/watcher-3741984-1338759765 -o /tmp/evaluation-result-3741984-1338759765/solver-3741984-1338759765 -C 1800 -W 1900 -M 15500  java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3741984-1338759765.opb           

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

MD5SUM BENCH= 895769e6300bec8b48d22e126916d397
RANDOM SEED=232340777

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:        23873852 kB
Buffers:         2376944 kB
Cached:          3975000 kB
SwapCached:          188 kB
Active:          5843440 kB
Inactive:        2190008 kB
Active(anon):    1669056 kB
Inactive(anon):    10988 kB
Active(file):    4174384 kB
Inactive(file):  2179020 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67108444 kB
Dirty:              3960 kB
Writeback:             0 kB
AnonPages:       1684872 kB
Mapped:            18760 kB
Shmem:               160 kB
Slab:             822192 kB
SReclaimable:     263684 kB
SUnreclaim:       558508 kB
KernelStack:        1600 kB
PageTables:         7500 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1827396 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 00:12:43