Trace number 3741850

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
PB11: Sat4j Res//CP 2.3.0? (TO) 1800.1 929.06

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K102.opb
MD5SUM2946edf6ae8af40eb44098433ff3dcec
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark213.965
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6936
Total number of constraints7142
Number of constraints which are clauses7040
Number of constraints which are cardinality constraints (but not clauses)102
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint102
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 103
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.06/0.10	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.06/0.10	c This is free software under the dual EPL/GNU LGPL licenses.
0.06/0.10	c See www.sat4j.org for details.
0.06/0.11	c version 2.3.1.v20110525
0.06/0.11	c java.runtime.name	Java(TM) SE Runtime Environment
0.06/0.11	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.06/0.11	c java.vm.version	19.1-b02
0.06/0.11	c java.vm.vendor	Sun Microsystems Inc.
0.06/0.11	c sun.arch.data.model	64
0.06/0.11	c java.version		1.6.0_24
0.06/0.11	c os.name		Linux
0.06/0.11	c os.version		2.6.32-71.29.1.el6.x86_64
0.06/0.11	c os.arch		amd64
0.06/0.11	c Free memory 		9996466904
0.06/0.11	c Max memory 		10048897024
0.06/0.11	c Total memory 		10048897024
0.06/0.11	c Number of processors 	8
0.06/0.13	c Pseudo Boolean Optimization
0.06/0.13	c ManyCore solver with 2 solvers running in parallel
0.06/0.13	c --- Begin Solver configuration ---
0.06/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a
0.06/0.13	c Learn all clauses as in MiniSAT
0.06/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.06/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.06/0.13	c Expensive reason simplification
0.06/0.13	c Armin Biere (Picosat) restarts strategy
0.06/0.13	c Glucose learned constraints deletion strategy
0.06/0.13	c timeout=2147483s
0.06/0.13	c DB Simplification allowed=false
0.06/0.13	c --- End Solver configuration ---
0.06/0.13	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.06/0.13	c --- Begin Solver configuration ---
0.06/0.13	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc
0.06/0.13	c Learn all clauses as in MiniSAT
0.06/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.06/0.13	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.06/0.13	c No reason simplification
0.06/0.13	c Armin Biere (Picosat) restarts strategy
0.06/0.13	c Glucose learned constraints deletion strategy
0.06/0.13	c timeout=2147483s
0.06/0.13	c DB Simplification allowed=false
0.06/0.13	c --- End Solver configuration ---
0.06/0.13	c solving HOME/instance-3741850-1338761429.opb
0.06/0.13	c reading problem ... 
0.77/0.46	c ... done. Wall clock time 0.327s.
0.77/0.46	c #vars     6936
0.77/0.46	c #constraints  7142
0.77/0.46	c constraints type 
0.77/0.46	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5725
0.77/0.46	c org.sat4j.minisat.constraints.card.MinWatchCard => 102
0.77/0.46	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1313
0.77/0.46	c constraints type 
0.77/0.46	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1313
0.77/0.46	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 5725
0.77/0.46	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 102
5.22/2.08	c cleaning 2492 clauses out of 4991 with flag 5000/5000
8.53/3.60	c cleaning 4229 clauses out of 8496 with flag 11001/11001
13.93/6.27	c cleaning 5600 clauses out of 11263 with flag 18000/18000
18.70/8.65	c cleaning 6790 clauses out of 13662 with flag 26002/26002
24.10/11.33	c cleaning 7815 clauses out of 15867 with flag 35000/35000
32.84/15.72	c cleaning 8926 clauses out of 18040 with flag 45000/45000
38.80/18.79	c cleaning 9557 clauses out of 19113 with flag 55001/55001
44.33/21.53	c cleaning 9641 clauses out of 19554 with flag 65000/65000
50.45/24.60	c cleaning 9861 clauses out of 19909 with flag 75000/75000
56.99/27.91	c cleaning 9883 clauses out of 20051 with flag 85003/85003
64.12/31.58	c cleaning 10003 clauses out of 20164 with flag 95000/95000
70.26/34.64	c cleaning 9894 clauses out of 20163 with flag 105002/105002
79.14/39.17	c cleaning 9993 clauses out of 20269 with flag 115002/115002
85.87/42.58	c cleaning 10040 clauses out of 20274 with flag 125001/125001
93.20/46.27	c cleaning 9970 clauses out of 20230 with flag 135001/135001
99.89/49.66	c cleaning 10005 clauses out of 20261 with flag 145003/145003
106.17/52.83	c cleaning 10016 clauses out of 20252 with flag 155000/155000
112.47/56.09	c cleaning 10069 clauses out of 20237 with flag 165002/165002
123.38/61.58	c cleaning 9916 clauses out of 20167 with flag 175002/175002
137.86/68.83	c cleaning 9930 clauses out of 20250 with flag 185001/185001
152.89/76.48	c cleaning 9801 clauses out of 20320 with flag 195001/195001
161.38/80.76	c cleaning 9980 clauses out of 20519 with flag 205002/205002
168.84/84.58	c cleaning 9448 clauses out of 20538 with flag 215001/215001
177.29/88.88	c cleaning 9707 clauses out of 21089 with flag 225000/225000
184.49/92.53	c cleaning 9558 clauses out of 21386 with flag 235004/235004
191.96/96.33	c cleaning 9663 clauses out of 21823 with flag 245000/245000
199.83/100.36	c cleaning 9573 clauses out of 22154 with flag 255001/255001
206.71/103.88	c cleaning 9570 clauses out of 22580 with flag 265000/265000
216.30/108.77	c cleaning 9599 clauses out of 23010 with flag 275000/275000
223.78/112.57	c cleaning 9442 clauses out of 23409 with flag 285001/285001
231.70/116.53	c cleaning 9347 clauses out of 23967 with flag 295001/295001
243.73/122.60	c cleaning 9517 clauses out of 24620 with flag 305001/305001
253.53/127.63	c cleaning 9679 clauses out of 25101 with flag 315000/315000
262.36/132.13	c cleaning 9811 clauses out of 25427 with flag 325005/325005
278.44/140.21	c cleaning 9546 clauses out of 25611 with flag 335000/335000
288.10/145.13	c cleaning 9387 clauses out of 26066 with flag 345001/345001
294.45/148.42	c cleaning 9634 clauses out of 26680 with flag 355002/355002
301.07/151.83	c cleaning 9575 clauses out of 27044 with flag 365000/365000
309.49/156.12	c cleaning 9774 clauses out of 27472 with flag 375003/375003
318.69/160.88	c cleaning 9575 clauses out of 27696 with flag 385001/385001
329.38/166.33	c cleaning 9559 clauses out of 28120 with flag 395000/395000
337.21/170.36	c cleaning 9912 clauses out of 28561 with flag 405000/405000
351.85/177.77	c cleaning 9728 clauses out of 28651 with flag 415002/415002
359.85/181.85	c cleaning 9707 clauses out of 28924 with flag 425003/425003
368.14/186.19	c cleaning 9865 clauses out of 29214 with flag 435000/435000
376.36/190.34	c cleaning 9530 clauses out of 29349 with flag 445001/445001
385.54/195.08	c cleaning 9546 clauses out of 29818 with flag 455000/455000
393.75/199.27	c cleaning 9583 clauses out of 30271 with flag 465000/465000
399.85/202.42	c cleaning 9380 clauses out of 30688 with flag 475000/475000
409.84/207.50	c cleaning 9905 clauses out of 31307 with flag 485000/485000
415.44/210.49	c cleaning 9500 clauses out of 31402 with flag 495000/495000
422.62/214.12	c cleaning 9529 clauses out of 31905 with flag 505003/505003
428.86/217.49	c cleaning 9643 clauses out of 32378 with flag 515005/515005
434.84/220.53	c cleaning 9648 clauses out of 32729 with flag 525000/525000
442.02/224.27	c cleaning 9798 clauses out of 33081 with flag 535000/535000
449.40/228.05	c cleaning 9615 clauses out of 33282 with flag 545000/545000
466.24/236.63	c cleaning 9557 clauses out of 33669 with flag 555002/555002
472.45/239.83	c cleaning 9580 clauses out of 34111 with flag 565001/565001
479.20/243.39	c cleaning 9630 clauses out of 34530 with flag 575002/575002
485.56/246.65	c cleaning 9600 clauses out of 34898 with flag 585000/585000
495.97/252.08	c cleaning 9560 clauses out of 35298 with flag 595000/595000
505.52/256.97	c cleaning 9647 clauses out of 35741 with flag 605003/605003
517.49/263.01	c cleaning 9764 clauses out of 36091 with flag 615000/615000
524.19/266.56	c cleaning 9730 clauses out of 36329 with flag 625002/625002
533.39/271.33	c cleaning 9595 clauses out of 36598 with flag 635001/635001
539.95/274.76	c cleaning 9776 clauses out of 37003 with flag 645001/645001
547.47/278.68	c cleaning 9769 clauses out of 37227 with flag 655001/655001
554.02/282.09	c cleaning 9669 clauses out of 37457 with flag 665000/665000
568.82/289.62	c cleaning 9746 clauses out of 37788 with flag 675000/675000
573.95/292.39	c cleaning 9700 clauses out of 38042 with flag 685000/685000
581.88/296.49	c cleaning 9572 clauses out of 38342 with flag 695000/695000
587.01/299.20	c cleaning 9415 clauses out of 38773 with flag 705003/705003
599.36/305.51	c cleaning 9699 clauses out of 39356 with flag 715001/715001
607.10/309.52	c cleaning 9656 clauses out of 39657 with flag 725001/725001
619.25/315.80	c cleaning 9690 clauses out of 40002 with flag 735002/735002
627.98/320.28	c cleaning 9604 clauses out of 40310 with flag 745000/745000
636.36/324.67	c cleaning 9498 clauses out of 40706 with flag 755000/755000
644.70/328.94	c cleaning 9896 clauses out of 41209 with flag 765001/765001
659.20/336.34	c cleaning 9644 clauses out of 41313 with flag 775001/775001
662.34/338.07	c cleaning 0 clauses out of 5000 with flag 0/5000
678.53/346.24	c cleaning 9687 clauses out of 41668 with flag 785000/785000
693.87/354.01	c cleaning 9765 clauses out of 41982 with flag 795001/795001
716.39/365.45	c cleaning 9867 clauses out of 42218 with flag 805002/805002
733.72/374.28	c cleaning 9914 clauses out of 42349 with flag 815000/815000
744.06/379.62	c cleaning 9885 clauses out of 42436 with flag 825001/825001
752.98/384.25	c cleaning 9873 clauses out of 42553 with flag 835003/835003
761.32/388.56	c cleaning 9760 clauses out of 42677 with flag 845000/845000
775.24/395.65	c cleaning 9808 clauses out of 42917 with flag 855000/855000
794.81/405.61	c cleaning 9850 clauses out of 43111 with flag 865002/865002
803.93/410.37	c cleaning 9930 clauses out of 43259 with flag 875000/875000
813.05/415.07	c cleaning 9679 clauses out of 43329 with flag 885000/885000
828.35/422.85	c cleaning 9768 clauses out of 43652 with flag 895002/895002
845.48/431.66	c cleaning 9758 clauses out of 43883 with flag 905001/905001
856.78/437.45	c cleaning 9770 clauses out of 44125 with flag 915001/915001
871.88/445.19	c cleaning 9822 clauses out of 44354 with flag 925000/925000
884.40/451.50	c cleaning 9722 clauses out of 44535 with flag 935003/935003
898.91/459.07	c cleaning 9755 clauses out of 44811 with flag 945001/945001
913.23/466.40	c cleaning 9734 clauses out of 45055 with flag 955000/955000
926.89/473.36	c cleaning 9874 clauses out of 45321 with flag 965000/965000
941.97/481.03	c cleaning 9818 clauses out of 45447 with flag 975000/975000
948.43/484.59	c cleaning 9655 clauses out of 45629 with flag 985000/985000
954.08/487.54	c cleaning 9672 clauses out of 45974 with flag 995001/995001
962.35/491.80	c cleaning 9527 clauses out of 46301 with flag 1005000/1005000
973.41/497.50	c cleaning 9771 clauses out of 46775 with flag 1015001/1015001
979.49/500.85	c cleaning 9590 clauses out of 47003 with flag 1025000/1025000
987.95/505.29	c cleaning 9888 clauses out of 47413 with flag 1035000/1035000
995.64/509.22	c cleaning 9597 clauses out of 47526 with flag 1045001/1045001
1002.48/512.86	c cleaning 9466 clauses out of 47928 with flag 1055000/1055000
1010.12/516.95	c cleaning 9729 clauses out of 48462 with flag 1065000/1065000
1018.76/521.47	c cleaning 9454 clauses out of 48733 with flag 1075000/1075000
1026.02/525.26	c cleaning 9791 clauses out of 49278 with flag 1085000/1085000
1032.67/528.74	c cleaning 9667 clauses out of 49491 with flag 1095004/1095004
1041.09/533.26	c cleaning 9557 clauses out of 49820 with flag 1105000/1105000
1054.94/540.38	c cleaning 9777 clauses out of 50263 with flag 1115000/1115000
1064.63/545.35	c cleaning 9935 clauses out of 50487 with flag 1125001/1125001
1072.48/549.42	c cleaning 9454 clauses out of 50552 with flag 1135001/1135001
1079.93/553.45	c cleaning 9487 clauses out of 51097 with flag 1145000/1145000
1089.18/558.22	c cleaning 9748 clauses out of 51612 with flag 1155002/1155002
1095.44/561.58	c cleaning 9613 clauses out of 51863 with flag 1165001/1165001
1104.68/566.37	c cleaning 9371 clauses out of 52249 with flag 1175000/1175000
1116.91/572.72	c cleaning 10289 clauses out of 52878 with flag 1185000/1185000
1123.57/576.26	c cleaning 9469 clauses out of 52598 with flag 1195009/1195009
1131.02/580.16	c cleaning 9682 clauses out of 53120 with flag 1205000/1205000
1138.47/584.10	c cleaning 9816 clauses out of 53438 with flag 1215000/1215000
1147.26/588.73	c cleaning 9760 clauses out of 53622 with flag 1225000/1225000
1157.33/594.00	c cleaning 9779 clauses out of 53862 with flag 1235000/1235000
1166.77/598.83	c cleaning 9770 clauses out of 54085 with flag 1245002/1245002
1178.22/604.72	c cleaning 9900 clauses out of 54313 with flag 1255000/1255000
1185.84/608.80	c cleaning 9978 clauses out of 54413 with flag 1265000/1265000
1199.90/616.00	c cleaning 9749 clauses out of 54438 with flag 1275003/1275003
1207.95/620.21	c cleaning 9958 clauses out of 54686 with flag 1285000/1285000
1214.41/623.62	c cleaning 9474 clauses out of 54729 with flag 1295001/1295001
1222.62/628.07	c cleaning 9853 clauses out of 55255 with flag 1305002/1305002
1230.04/631.94	c cleaning 9627 clauses out of 55400 with flag 1315000/1315000
1236.07/635.14	c cleaning 9762 clauses out of 55774 with flag 1325001/1325001
1242.91/638.74	c cleaning 9699 clauses out of 56011 with flag 1335000/1335000
1251.88/643.57	c cleaning 9762 clauses out of 56312 with flag 1345000/1345000
1259.30/647.42	c cleaning 9793 clauses out of 56550 with flag 1355000/1355000
1270.32/653.13	c cleaning 9771 clauses out of 56760 with flag 1365003/1365003
1277.75/657.09	c cleaning 9735 clauses out of 56986 with flag 1375000/1375000
1286.76/661.84	c cleaning 9835 clauses out of 57251 with flag 1385000/1385000
1293.97/665.63	c cleaning 9567 clauses out of 57416 with flag 1395000/1395000
1311.02/674.35	c cleaning 9676 clauses out of 57850 with flag 1405001/1405001
1318.86/678.47	c cleaning 9918 clauses out of 58173 with flag 1415000/1415000
1326.25/682.47	c cleaning 9807 clauses out of 58256 with flag 1425001/1425001
1335.46/687.21	c cleaning 9671 clauses out of 58450 with flag 1435002/1435002
1343.09/691.20	c cleaning 9897 clauses out of 58777 with flag 1445000/1445000
1349.91/694.89	c cleaning 9750 clauses out of 58881 with flag 1455001/1455001
1358.52/699.49	c cleaning 9676 clauses out of 59130 with flag 1465000/1465000
1365.73/703.27	c cleaning 9788 clauses out of 59451 with flag 1475001/1475001
1372.14/706.63	c cleaning 9575 clauses out of 59664 with flag 1485002/1485002
1379.34/710.42	c cleaning 9681 clauses out of 60087 with flag 1495000/1495000
1389.30/715.76	c cleaning 9708 clauses out of 60407 with flag 1505001/1505001
1396.09/719.34	c cleaning 9745 clauses out of 60693 with flag 1515000/1515000
1406.07/724.55	c cleaning 9821 clauses out of 60948 with flag 1525000/1525000
1417.08/730.21	c cleaning 9702 clauses out of 61127 with flag 1535000/1535000
1427.23/735.62	c cleaning 9690 clauses out of 61428 with flag 1545003/1545003
1436.82/740.65	c cleaning 9694 clauses out of 61735 with flag 1555000/1555000
1445.02/744.93	c cleaning 9636 clauses out of 62041 with flag 1565000/1565000
1461.03/753.15	c cleaning 9687 clauses out of 62408 with flag 1575003/1575003
1480.79/763.40	c cleaning 9833 clauses out of 62718 with flag 1585000/1585000
1488.97/767.69	c cleaning 9935 clauses out of 62887 with flag 1595002/1595002
1499.77/773.24	c cleaning 9698 clauses out of 62951 with flag 1605001/1605001
1512.94/780.02	c cleaning 9622 clauses out of 63252 with flag 1615000/1615000
1539.27/793.51	c cleaning 9845 clauses out of 63631 with flag 1625001/1625001
1564.30/806.23	c cleaning 9750 clauses out of 63785 with flag 1635000/1635000
1586.87/817.72	c cleaning 9928 clauses out of 64039 with flag 1645004/1645004
1601.65/825.38	c cleaning 10213 clauses out of 64106 with flag 1655000/1655000
1610.95/830.39	c cleaning 9668 clauses out of 63893 with flag 1665000/1665000
1620.94/835.58	c cleaning 9900 clauses out of 64225 with flag 1675000/1675000
1636.50/843.50	c cleaning 9872 clauses out of 64326 with flag 1685001/1685001
1646.48/848.76	c cleaning 9716 clauses out of 64455 with flag 1695002/1695002
1657.30/854.58	c cleaning 9782 clauses out of 64737 with flag 1705000/1705000
1667.06/859.68	c cleaning 9841 clauses out of 64956 with flag 1715001/1715001
1680.84/866.77	c cleaning 9754 clauses out of 65115 with flag 1725001/1725001
1689.60/871.32	c cleaning 9890 clauses out of 65359 with flag 1735000/1735000
1708.68/881.27	c cleaning 9915 clauses out of 65471 with flag 1745002/1745002
1718.46/886.30	c cleaning 9681 clauses out of 65554 with flag 1755000/1755000
1726.99/890.83	c cleaning 9677 clauses out of 65874 with flag 1765001/1765001
1748.14/901.68	c cleaning 9782 clauses out of 66198 with flag 1775002/1775002
1759.26/907.50	c cleaning 9863 clauses out of 66414 with flag 1785000/1785000
1769.20/912.76	c cleaning 9724 clauses out of 66551 with flag 1795000/1795000
1784.32/920.57	c cleaning 9800 clauses out of 66830 with flag 1805003/1805003
1796.87/927.00	c cleaning 9885 clauses out of 67034 with flag 1815007/1815007
1800.10/929.01	c starts		: 208
1800.10/929.01	c conflicts		: 1817586
1800.10/929.01	c decisions		: 19499254
1800.10/929.01	c propagations		: 659104951
1800.10/929.01	c inspects		: 1759538317
1800.10/929.01	c shortcuts		: 0
1800.10/929.01	c learnt literals	: 85
1800.10/929.01	c learnt binary clauses	: 47501
1800.10/929.01	c learnt ternary clauses	: 68583
1800.10/929.01	c learnt constraints	: 1817500
1800.10/929.01	c ignored constraints	: 0
1800.10/929.01	c root simplifications	: 0
1800.10/929.01	c removed literals (reason simplification)	: 35458472
1800.10/929.01	c reason swapping (by a shorter reason)	: 0
1800.10/929.01	c Calls to reduceDB	: 183
1800.10/929.01	c number of reductions to clauses (during analyze)	: 0
1800.10/929.01	c number of learned constraints concerned by reduction	: 0
1800.10/929.01	c number of learning phase by resolution	: 0
1800.10/929.01	c number of learning phase by cutting planes	: 0
1800.10/929.01	c speed (assignments/second)	: 709821.712347208
1800.10/929.01	c non guided choices	9095
1800.10/929.04	c learnt constraints type 
1800.10/929.04	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 47501
1800.10/929.04	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 12300
1800.10/929.04	c constraints type 
1800.10/929.04	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5725
1800.10/929.04	c org.sat4j.minisat.constraints.card.MinWatchCard => 102
1800.10/929.04	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1313
1800.10/929.04	c constraints type 
1800.10/929.04	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1313
1800.10/929.04	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 5725
1800.10/929.04	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 102
1800.10/929.04	s UNKNOWN
1800.10/929.04	c Total wall clock time (in seconds): 928.909

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-3741850-1338761429/watcher-3741850-1338761429 -o /tmp/evaluation-result-3741850-1338761429/solver-3741850-1338761429 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3741850-1338761429.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: 3.82 3.91 3.90 4/198 15319
/proc/meminfo: memFree=27356108/32873844 swapFree=7116/7116
[pid=15319] ppid=15317 vsize=2500 CPUtime=0 cores=0,2,4,6
/proc/15319/stat : 15319 (java) D 15317 15319 13088 0 -1 4202496 92 0 0 0 0 0 0 0 20 0 1 0 342267853 2560000 46 33554432000 1073741824 1073778376 140733888227328 140733888224456 240556010791 0 0 4096 0 18446744072100609316 0 0 17 2 0 0 0 0 0
/proc/15319/statm: 625 46 37 9 0 29 0

[startup+0.030911 s]
/proc/loadavg: 3.82 3.91 3.90 4/198 15319
/proc/meminfo: memFree=27356108/32873844 swapFree=7116/7116
[pid=15319] ppid=15317 vsize=10510056 CPUtime=0 cores=0,2,4,6
/proc/15319/stat : 15319 (java) S 15317 15319 13088 0 -1 4202496 3154 0 1 0 0 0 0 0 20 0 2 0 342267853 10762297344 6924 33554432000 1073741824 1073778376 140736713654688 140736713645824 240568533053 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15319/statm: 2627514 7436 942 9 0 2618623 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10510056

[startup+0.100309 s]
/proc/loadavg: 3.82 3.91 3.90 4/198 15319
/proc/meminfo: memFree=27356108/32873844 swapFree=7116/7116
[pid=15319] ppid=15317 vsize=11586392 CPUtime=0.06 cores=0,2,4,6
/proc/15319/stat : 15319 (java) S 15317 15319 13088 0 -1 4202496 4471 0 1 0 5 1 0 0 20 0 18 0 342267853 11864465408 12835 33554432000 1073741824 1073778376 140736713654688 140736713645824 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15319/statm: 2896598 12835 1779 9 0 2887285 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 11586392

[startup+0.300167 s]
/proc/loadavg: 3.82 3.91 3.90 4/198 15319
/proc/meminfo: memFree=27356108/32873844 swapFree=7116/7116
[pid=15319] ppid=15317 vsize=11586392 CPUtime=0.53 cores=0,2,4,6
/proc/15319/stat : 15319 (java) S 15317 15319 13088 0 -1 4202496 8268 0 1 0 51 2 0 0 20 0 18 0 342267853 11864465408 17877 33554432000 1073741824 1073778376 140736713654688 140736713645824 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15319/statm: 2896598 17877 2222 9 0 2887285 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 11586392

[startup+0.700175 s]
/proc/loadavg: 3.82 3.91 3.90 4/198 15319
/proc/meminfo: memFree=27356108/32873844 swapFree=7116/7116
[pid=15319] ppid=15317 vsize=11852648 CPUtime=1.85 cores=0,2,4,6
/proc/15319/stat : 15319 (java) S 15317 15319 13088 0 -1 4202496 11211 0 1 0 182 3 0 0 20 0 22 0 342267853 12137111552 27976 33554432000 1073741824 1073778376 140736713654688 140736713645824 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15319/statm: 2963162 27976 2262 9 0 2953849 0
Current children cumulated CPU time (s) 1.85
Current children cumulated vsize (KiB) 11852648

[startup+1.5008 s]
/proc/loadavg: 3.84 3.91 3.90 7/220 15341
/proc/meminfo: memFree=27238768/32873844 swapFree=7116/7116
[pid=15319] ppid=15317 vsize=11852648 CPUtime=4.04 cores=0,2,4,6
/proc/15319/stat : 15319 (java) S 15317 15319 13088 0 -1 4202496 14345 0 1 0 398 6 0 0 20 0 22 0 342267853 12137111552 62311 33554432000 1073741824 1073778376 140736713654688 140736713645824 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15319/statm: 2963162 62311 2265 9 0 2953849 0
[pid=15319/tid=15321] ppid=15317 vsize=11852648 CPUtime=0.42 cores=0,2,4,6
/proc/15319/task/15321/stat : 15321 (java) S 15317 15319 13088 0 -1 4202560 3397 0 1 0 40 2 0 0 20 0 22 0 342267854 12137111552 62311 33554432000 1073741824 1073778376 140736713654688 139711710696600 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15319/tid=15322] ppid=15317 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15319/task/15322/stat : 15322 (java) S 15317 15319 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342267856 12137111552 62311 33554432000 1073741824 1073778376 140736713654688 139711665449128 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15319/tid=15323] ppid=15317 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15319/task/15323/stat : 15323 (java) S 15317 15319 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342267856 12137111552 62311 33554432000 1073741824 1073778376 140736713654688 139711664396584 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15319/tid=15324] ppid=15317 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15319/task/15324/stat : 15324 (java) S 15317 15319 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342267856 12137111552 62311 33554432000 1073741824 1073778376 140736713654688 139711663344040 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15319/tid=15325] ppid=15317 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15319/task/15325/stat : 15325 (java) S 15317 15319 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342267856 12137111552 62311 33554432000 1073741824 1073778376 140736713654688 139711544814120 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15319/tid=15326] ppid=15317 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15319/task/15326/stat : 15326 (java) S 15317 15319 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342267856 12137111552 62311 33554432000 1073741824 1073778376 140736713654688 139711543761576 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15319/tid=15327] ppid=15317 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15319/task/15327/stat : 15327 (java) S 15317 15319 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342267856 12137111552 62311 33554432000 1073741824 1073778376 140736713654688 139711542709032 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15319/tid=15328] ppid=15317 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15319/task/15328/stat : 15328 (java) S 15317 15319 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342267856 12137111552 62311 33554432000 1073741824 1073778376 140736713654688 139711541656488 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15319/tid=15329] ppid=15317 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15319/task/15329/stat : 15329 (java) S 15317 15319 13088 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 342267856 12137111552 62311 33554432000 1073741824 1073778376 140736713654688 139711540603944 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15319/tid=15330] ppid=15317 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15319/task/15330/stat : 15330 (java) S 15317 15319 13088 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 342267857 12137111552 62311 33554432000 1073741824 1073778376 140736713654688 139711058274408 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15319/tid=15331] ppid=15317 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15319/task/15331/stat : 15331 (java) S 15317 15319 13088 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 342267858 12137111552 62311 33554432000 1073741824 1073778376 140736713654688 139711057220728 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15319/tid=15332] ppid=15317 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15319/task/15332/stat : 15332 (java) S 15317 15319 13088 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342267858 12137111552 62311 33554432000 1073741824 1073778376 140736713654688 139711056168072 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15319/tid=15333] ppid=15317 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15319/task/15333/stat : 15333 (java) S 15317 15319 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342267861 12137111552 62311 33554432000 1073741824 1073778376 140736713654688 139711055116816 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15319/tid=15334] ppid=15317 vsize=11852648 CPUtime=0.73 cores=0,2,4,6
/proc/15319/task/15334/stat : 15334 (java) S 15317 15319 13088 0 -1 4202560 5931 0 0 0 73 0 0 0 20 0 22 0 342267861 12137111552 62311 33554432000 1073741824 1073778376 140736713654688 139711054064184 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15319/tid=15335] ppid=15317 vsize=11852648 CPUtime=0.77 cores=0,2,4,6
/proc/15319/task/15335/stat : 15335 (java) S 15317 15319 13088 0 -1 4202560 3651 0 0 0 77 0 0 0 20 0 22 0 342267861 12137111552 62311 33554432000 1073741824 1073778376 140736713654688 139711053011640 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15319/tid=15336] ppid=15317 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15319/task/15336/stat : 15336 (java) S 15317 15319 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342267861 12137111552 62311 33554432000 1073741824 1073778376 140736713654688 139711051959288 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15319/tid=15337] ppid=15317 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15319/task/15337/stat : 15337 (java) S 15317 15319 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342267861 12137111552 62311 33554432000 1073741824 1073778376 140736713654688 139711050906952 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15319/tid=15338] ppid=15317 vsize=11852648 CPUtime=1.02 cores=0,2,4,6
/proc/15319/task/15338/stat : 15338 (java) R 15317 15319 13088 0 -1 4202560 27 0 0 0 102 0 0 0 20 0 22 0 342267899 12137111552 62311 33554432000 1073741824 1073778376 140736713654688 139711049848752 139711545588151 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15319/tid=15339] ppid=15317 vsize=11852648 CPUtime=1.01 cores=0,2,4,6
/proc/15319/task/15339/stat : 15339 (java) R 15317 15319 13088 0 -1 4202560 139 0 0 0 99 2 0 0 20 0 22 0 342267899 12137111552 62311 33554432000 1073741824 1073778376 140736713654688 139711048798200 139711545792450 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=15319/tid=15340] ppid=15317 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15319/task/15340/stat : 15340 (java) S 15317 15319 13088 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342267901 12137111552 62311 33554432000 1073741824 1073778376 140736713654688 139711047746600 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15319/tid=15341] ppid=15317 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15319/task/15341/stat : 15341 (java) S 15317 15319 13088 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342267901 12137111552 62311 33554432000 1073741824 1073778376 140736713654688 139711046694056 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 4.04
Current children cumulated vsize (KiB) 11852648

[startup+3.10081 s]
/proc/loadavg: 3.84 3.91 3.90 3/220 15341
/proc/meminfo: memFree=26862496/32873844 swapFree=7116/7116
[pid=15319] ppid=15317 vsize=11852648 CPUtime=7.71 cores=0,2,4,6
/proc/15319/stat : 15319 (java) S 15317 15319 13088 0 -1 4202496 17078 0 1 0 760 11 0 0 20 0 22 0 342267853 12137111552 129984 33554432000 1073741824 1073778376 140736713654688 140736713645824 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15319/statm: 2963162 129984 2290 9 0 2953849 0
[pid=15319/tid=15321] ppid=15317 vsize=11852648 CPUtime=0.42 cores=0,2,4,6
/proc/15319/task/15321/stat : 15321 (java) S 15317 15319 13088 0 -1 4202560 3397 0 1 0 40 2 0 0 20 0 22 0 342267854 12137111552 129984 33554432000 1073741824 1073778376 140736713654688 139711710696600 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15319/tid=15322] ppid=15317 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15319/task/15322/stat : 15322 (java) S 15317 15319 13088 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 342267856 12137111552 129984 33554432000 1073741824 1073778376 140736713654688 139711665449128 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15319/tid=15323] ppid=15317 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15319/task/15323/stat : 15323 (java) S 15317 15319 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342267856 12137111552 129984 33554432000 1073741824 1073778376 140736713654688 139711664396584 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15319/tid=15324] ppid=15317 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15319/task/15324/stat : 15324 (java) S 15317 15319 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342267856 12137111552 129984 33554432000 1073741824 1073778376 140736713654688 139711663344040 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15319/tid=15325] ppid=15317 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15319/task/15325/stat : 15325 (java) S 15317 15319 13088 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 342267856 12137111552 129984 33554432000 1073741824 1073778376 140736713654688 139711544814120 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15319/tid=15326] ppid=15317 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15319/task/15326/stat : 15326 (java) S 15317 15319 13088 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 342267856 12137111552 129984 33554432000 1073741824 1073778376 140736713654688 139711543761576 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15319/tid=15327] ppid=15317 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15319/task/15327/stat : 15327 (java) S 15317 15319 13088 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 342267856 12137111552 129984 33554432000 1073741824 1073778376 140736713654688 139711542709032 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15319/tid=15328] ppid=15317 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15319/task/15328/stat : 15328 (java) S 15317 15319 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342267856 12137111552 129984 33554432000 1073741824 1073778376 140736713654688 139711541656488 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15319/tid=15329] ppid=15317 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15319/task/15329/stat : 15329 (java) S 15317 15319 13088 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 342267856 12137111552 129984 33554432000 1073741824 1073778376 140736713654688 139711540603944 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15319/tid=15330] ppid=15317 vsize=11852648 CPUtime=0.02 cores=0,2,4,6
/proc/15319/task/15330/stat : 15330 (java) S 15317 15319 13088 0 -1 4202560 34 0 0 0 2 0 0 0 20 0 22 0 342267857 12137111552 129984 33554432000 1073741824 1073778376 140736713654688 139711058274408 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15319/tid=15331] ppid=15317 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15319/task/15331/stat : 15331 (java) S 15317 15319 13088 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 342267858 12137111552 129984 33554432000 1073741824 1073778376 140736713654688 139711057220728 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15319/tid=15332] ppid=15317 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15319/task/15332/stat : 15332 (java) S 15317 15319 13088 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342267858 12137111552 129984 33554432000 1073741824 1073778376 140736713654688 139711056168072 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15319/tid=15333] ppid=15317 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15319/task/15333/stat : 15333 (java) S 15317 15319 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342267861 12137111552 129984 33554432000 1073741824 1073778376 140736713654688 139711055116816 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15319/tid=15334] ppid=15317 vsize=11852648 CPUtime=1.04 cores=0,2,4,6
/proc/15319/task/15334/stat : 15334 (java) S 15317 15319 13088 0 -1 4202560 7199 0 0 0 104 0 0 0 20 0 22 0 342267861 12137111552 129984 33554432000 1073741824 1073778376 140736713654688 139711054064184 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15319/tid=15335] ppid=15317 vsize=11852648 CPUtime=0.96 cores=0,2,4,6
/proc/15319/task/15335/stat : 15335 (java) S 15317 15319 13088 0 -1 4202560 4929 0 0 0 95 1 0 0 20 0 22 0 342267861 12137111552 129984 33554432000 1073741824 1073778376 140736713654688 139711053011640 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15319/tid=15336] ppid=15317 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15319/task/15336/stat : 15336 (java) S 15317 15319 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342267861 12137111552 129984 33554432000 1073741824 1073778376 140736713654688 139711051959288 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15319/tid=15337] ppid=15317 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15319/task/15337/stat : 15337 (java) S 15317 15319 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342267861 12137111552 129984 33554432000 1073741824 1073778376 140736713654688 139711050906952 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15319/tid=15338] ppid=15317 vsize=11852648 CPUtime=2.57 cores=0,2,4,6
/proc/15319/task/15338/stat : 15338 (java) R 15317 15319 13088 0 -1 4202560 29 0 0 0 257 0 0 0 20 0 22 0 342267899 12137111552 129984 33554432000 1073741824 1073778376 140736713654688 139711049851048 139711545463788 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15319/tid=15339] ppid=15317 vsize=11852648 CPUtime=2.57 cores=0,2,4,6
/proc/15319/task/15339/stat : 15339 (java) R 15317 15319 13088 0 -1 4202560 259 0 0 0 252 5 0 0 20 0 22 0 342267899 12137111552 129984 33554432000 1073741824 1073778376 140736713654688 139711048798616 139711545785142 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=15319/tid=15340] ppid=15317 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15319/task/15340/stat : 15340 (java) S 15317 15319 13088 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342267901 12137111552 129984 33554432000 1073741824 1073778376 140736713654688 139711047746600 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15319/tid=15341] ppid=15317 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15319/task/15341/stat : 15341 (java) S 15317 15319 13088 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342267901 12137111552 129984 33554432000 1073741824 1073778376 140736713654688 139711046694056 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 7.71
Current children cumulated vsize (KiB) 11852648

[startup+6.30087 s]
/proc/loadavg: 3.84 3.91 3.90 5/220 15341
/proc/meminfo: memFree=26637908/32873844 swapFree=7116/7116
[pid=15319] ppid=15317 vsize=11852648 CPUtime=14.12 cores=0,2,4,6
/proc/15319/stat : 15319 (java) S 15317 15319 13088 0 -1 4202496 17416 0 1 0 1391 21 0 0 20 0 22 0 342267853 12137111552 289712 33554432000 1073741824 1073778376 140736713654688 140736713645824 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15319/statm: 2963162 289712 2290 9 0 2953849 0
[pid=15319/tid=15321] ppid=15317 vsize=11852648 CPUtime=0.42 cores=0,2,4,6
/proc/15319/task/15321/stat : 15321 (java) S 15317 15319 13088 0 -1 4202560 3397 0 1 0 40 2 0 0 20 0 22 0 342267854 12137111552 289712 33554432000 1073741824 1073778376 140736713654688 139711710696600 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15319/tid=15322] ppid=15317 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15319/task/15322/stat : 15322 (java) S 15317 15319 13088 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 22 0 342267856 12137111552 289712 33554432000 1073741824 1073778376 140736713654688 139711665449128 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15319/tid=15323] ppid=15317 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15319/task/15323/stat : 15323 (java) S 15317 15319 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342267856 12137111552 289712 33554432000 1073741824 1073778376 140736713654688 139711664396584 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15319/tid=15324] ppid=15317 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15319/task/15324/stat : 15324 (java) S 15317 15319 13088 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 342267856 12137111552 289712 33554432000 1073741824 1073778376 140736713654688 139711663344040 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15319/tid=15325] ppid=15317 vsize=11852648 CPUtime=0.01 cores=0,2,4,6
/proc/15319/task/15325/stat : 15325 (java) S 15317 15319 13088 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 22 0 342267856 12137111552 289712 33554432000 1073741824 1073778376 140736713654688 139711544814120 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15319/tid=15326] ppid=15317 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15319/task/15326/stat : 15326 (java) S 15317 15319 13088 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 22 0 342267856 12137111552 289712 33554432000 1073741824 1073778376 140736713654688 139711543761576 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15319/tid=15327] ppid=15317 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15319/task/15327/stat : 15327 (java) S 15317 15319 13088 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 342267856 12137111552 289712 33554432000 1073741824 1073778376 140736713654688 139711542709032 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15319/tid=15328] ppid=15317 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15319/task/15328/stat : 15328 (java) S 15317 15319 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342267856 12137111552 289712 33554432000 1073741824 1073778376 140736713654688 139711541656488 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15319/tid=15329] ppid=15317 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15319/task/15329/stat : 15329 (java) S 15317 15319 13088 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342267856 12137111552 289712 33554432000 1073741824 1073778376 140736713654688 139711540603944 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15319/tid=15330] ppid=15317 vsize=11852648 CPUtime=0.08 cores=0,2,4,6
/proc/15319/task/15330/stat : 15330 (java) R 15317 15319 13088 0 -1 4202560 36 0 0 0 8 0 0 0 20 0 22 0 342267857 12137111552 289712 33554432000 1073741824 1073778376 140736713654688 139711058273384 139711717550155 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=15319/tid=15331] ppid=15317 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15319/task/15331/stat : 15331 (java) S 15317 15319 13088 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 342267858 12137111552 289712 33554432000 1073741824 1073778376 140736713654688 139711057220728 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15319/tid=15332] ppid=15317 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15319/task/15332/stat : 15332 (java) S 15317 15319 13088 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342267858 12137111552 289712 33554432000 1073741824 1073778376 140736713654688 139711056168072 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15319/tid=15333] ppid=15317 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15319/task/15333/stat : 15333 (java) S 15317 15319 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342267861 12137111552 289712 33554432000 1073741824 1073778376 140736713654688 139711055116816 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15319/tid=15334] ppid=15317 vsize=11852648 CPUtime=1.07 cores=0,2,4,6
/proc/15319/task/15334/stat : 15334 (java) S 15317 15319 13088 0 -1 4202560 7199 0 0 0 107 0 0 0 20 0 22 0 342267861 12137111552 289712 33554432000 1073741824 1073778376 140736713654688 139711054064184 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0

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

/proc/15319/statm: 2963162 747368 2291 9 0 2953849 0
[pid=15319/tid=15321] ppid=15317 vsize=11852648 CPUtime=0.47 cores=0,2,4,6
/proc/15319/task/15321/stat : 15321 (java) S 15317 15319 13088 0 -1 4202560 3496 0 1 0 44 3 0 0 20 0 22 0 342267854 12137111552 747368 33554432000 1073741824 1073778376 140736713654688 139711710696600 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15319/tid=15322] ppid=15317 vsize=11852648 CPUtime=1.43 cores=0,2,4,6
/proc/15319/task/15322/stat : 15322 (java) S 15317 15319 13088 0 -1 4202560 71 0 0 0 141 2 0 0 20 0 22 0 342267856 12137111552 747368 33554432000 1073741824 1073778376 140736713654688 139711665449128 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15319/tid=15323] ppid=15317 vsize=11852648 CPUtime=1.34 cores=0,2,4,6
/proc/15319/task/15323/stat : 15323 (java) S 15317 15319 13088 0 -1 4202560 58 0 0 0 132 2 0 0 20 0 22 0 342267856 12137111552 747368 33554432000 1073741824 1073778376 140736713654688 139711664396584 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15319/tid=15324] ppid=15317 vsize=11852648 CPUtime=1.25 cores=0,2,4,6
/proc/15319/task/15324/stat : 15324 (java) S 15317 15319 13088 0 -1 4202560 54 0 0 0 125 0 0 0 20 0 22 0 342267856 12137111552 747368 33554432000 1073741824 1073778376 140736713654688 139711663344040 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15319/tid=15325] ppid=15317 vsize=11852648 CPUtime=1.28 cores=0,2,4,6
/proc/15319/task/15325/stat : 15325 (java) S 15317 15319 13088 0 -1 4202560 90 0 0 0 125 3 0 0 20 0 22 0 342267856 12137111552 747368 33554432000 1073741824 1073778376 140736713654688 139711544814120 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15319/tid=15326] ppid=15317 vsize=11852648 CPUtime=1.33 cores=0,2,4,6
/proc/15319/task/15326/stat : 15326 (java) S 15317 15319 13088 0 -1 4202560 69 0 0 0 131 2 0 0 20 0 22 0 342267856 12137111552 747368 33554432000 1073741824 1073778376 140736713654688 139711543761576 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15319/tid=15327] ppid=15317 vsize=11852648 CPUtime=1.25 cores=0,2,4,6
/proc/15319/task/15327/stat : 15327 (java) S 15317 15319 13088 0 -1 4202560 68 0 0 0 123 2 0 0 20 0 22 0 342267856 12137111552 747368 33554432000 1073741824 1073778376 140736713654688 139711542709032 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15319/tid=15328] ppid=15317 vsize=11852648 CPUtime=1.27 cores=0,2,4,6
/proc/15319/task/15328/stat : 15328 (java) S 15317 15319 13088 0 -1 4202560 61 0 0 0 125 2 0 0 20 0 22 0 342267856 12137111552 747368 33554432000 1073741824 1073778376 140736713654688 139711541656488 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15319/tid=15329] ppid=15317 vsize=11852648 CPUtime=1.35 cores=0,2,4,6
/proc/15319/task/15329/stat : 15329 (java) S 15317 15319 13088 0 -1 4202560 68 0 0 0 135 0 0 0 20 0 22 0 342267856 12137111552 747368 33554432000 1073741824 1073778376 140736713654688 139711540603944 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15319/tid=15330] ppid=15317 vsize=11852648 CPUtime=55.21 cores=0,2,4,6
/proc/15319/task/15330/stat : 15330 (java) S 15317 15319 13088 0 -1 4202560 251 0 0 0 5511 10 0 0 20 0 22 0 342267857 12137111552 747368 33554432000 1073741824 1073778376 140736713654688 139711058274408 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15319/tid=15331] ppid=15317 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15319/task/15331/stat : 15331 (java) S 15317 15319 13088 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 342267858 12137111552 747368 33554432000 1073741824 1073778376 140736713654688 139711057220728 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15319/tid=15332] ppid=15317 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15319/task/15332/stat : 15332 (java) S 15317 15319 13088 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342267858 12137111552 747368 33554432000 1073741824 1073778376 140736713654688 139711056168072 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15319/tid=15333] ppid=15317 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15319/task/15333/stat : 15333 (java) S 15317 15319 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342267861 12137111552 747368 33554432000 1073741824 1073778376 140736713654688 139711055116816 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15319/tid=15334] ppid=15317 vsize=11852648 CPUtime=1.1 cores=0,2,4,6
/proc/15319/task/15334/stat : 15334 (java) S 15317 15319 13088 0 -1 4202560 7205 0 0 0 110 0 0 0 20 0 22 0 342267861 12137111552 747368 33554432000 1073741824 1073778376 140736713654688 139711054064184 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15319/tid=15335] ppid=15317 vsize=11852648 CPUtime=1.39 cores=0,2,4,6
/proc/15319/task/15335/stat : 15335 (java) S 15317 15319 13088 0 -1 4202560 9581 0 0 0 137 2 0 0 20 0 22 0 342267861 12137111552 747368 33554432000 1073741824 1073778376 140736713654688 139711053011640 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15319/tid=15336] ppid=15317 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15319/task/15336/stat : 15336 (java) S 15317 15319 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342267861 12137111552 747368 33554432000 1073741824 1073778376 140736713654688 139711051959288 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15319/tid=15337] ppid=15317 vsize=11852648 CPUtime=0.3 cores=0,2,4,6
/proc/15319/task/15337/stat : 15337 (java) S 15317 15319 13088 0 -1 4202560 47 0 0 0 14 16 0 0 20 0 22 0 342267861 12137111552 747368 33554432000 1073741824 1073778376 140736713654688 139711050906952 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15319/tid=15338] ppid=15317 vsize=11852648 CPUtime=761.35 cores=0,2,4,6
/proc/15319/task/15338/stat : 15338 (java) R 15317 15319 13088 0 -1 4202560 89 0 0 0 76123 12 0 0 20 0 22 0 342267899 12137111552 747368 33554432000 1073741824 1073778376 140736713654688 139711049850960 139711545628928 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=15319/tid=15339] ppid=15317 vsize=11852648 CPUtime=761.35 cores=0,2,4,6
/proc/15319/task/15339/stat : 15339 (java) R 15317 15319 13088 0 -1 4202560 1309 0 0 0 76082 53 0 0 20 0 22 0 342267899 12137111552 747368 33554432000 1073741824 1073778376 140736713654688 139711048796496 139711545780767 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15319/tid=15340] ppid=15317 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15319/task/15340/stat : 15340 (java) S 15317 15319 13088 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342267901 12137111552 747368 33554432000 1073741824 1073778376 140736713654688 139711047746600 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15319/tid=15341] ppid=15317 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15319/task/15341/stat : 15341 (java) S 15317 15319 13088 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342267901 12137111552 747368 33554432000 1073741824 1073778376 140736713654688 139711046694056 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1595.65
Current children cumulated vsize (KiB) 11852648

[startup+882.301 s]
/proc/loadavg: 3.91 3.89 3.89 5/219 15409
/proc/meminfo: memFree=25176440/32873844 swapFree=7116/7116
[pid=15319] ppid=15317 vsize=11852648 CPUtime=1710.47 cores=0,2,4,6
/proc/15319/stat : 15319 (java) S 15317 15319 13088 0 -1 4202496 23765 0 1 0 170959 88 0 0 20 0 22 0 342267853 12137111552 749967 33554432000 1073741824 1073778376 140736713654688 140736713645824 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15319/statm: 2963162 749967 2291 9 0 2953849 0
[pid=15319/tid=15321] ppid=15317 vsize=11852648 CPUtime=0.47 cores=0,2,4,6
/proc/15319/task/15321/stat : 15321 (java) S 15317 15319 13088 0 -1 4202560 3505 0 1 0 44 3 0 0 20 0 22 0 342267854 12137111552 749967 33554432000 1073741824 1073778376 140736713654688 139711710696600 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15319/tid=15322] ppid=15317 vsize=11852648 CPUtime=1.55 cores=0,2,4,6
/proc/15319/task/15322/stat : 15322 (java) S 15317 15319 13088 0 -1 4202560 79 0 0 0 152 3 0 0 20 0 22 0 342267856 12137111552 749967 33554432000 1073741824 1073778376 140736713654688 139711665449128 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15319/tid=15323] ppid=15317 vsize=11852648 CPUtime=1.46 cores=0,2,4,6
/proc/15319/task/15323/stat : 15323 (java) S 15317 15319 13088 0 -1 4202560 61 0 0 0 144 2 0 0 20 0 22 0 342267856 12137111552 749967 33554432000 1073741824 1073778376 140736713654688 139711664396584 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15319/tid=15324] ppid=15317 vsize=11852648 CPUtime=1.37 cores=0,2,4,6
/proc/15319/task/15324/stat : 15324 (java) S 15317 15319 13088 0 -1 4202560 59 0 0 0 137 0 0 0 20 0 22 0 342267856 12137111552 749967 33554432000 1073741824 1073778376 140736713654688 139711663344040 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15319/tid=15325] ppid=15317 vsize=11852648 CPUtime=1.41 cores=0,2,4,6
/proc/15319/task/15325/stat : 15325 (java) S 15317 15319 13088 0 -1 4202560 98 0 0 0 138 3 0 0 20 0 22 0 342267856 12137111552 749967 33554432000 1073741824 1073778376 140736713654688 139711544814120 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15319/tid=15326] ppid=15317 vsize=11852648 CPUtime=1.42 cores=0,2,4,6
/proc/15319/task/15326/stat : 15326 (java) S 15317 15319 13088 0 -1 4202560 73 0 0 0 140 2 0 0 20 0 22 0 342267856 12137111552 749967 33554432000 1073741824 1073778376 140736713654688 139711543761576 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15319/tid=15327] ppid=15317 vsize=11852648 CPUtime=1.35 cores=0,2,4,6
/proc/15319/task/15327/stat : 15327 (java) S 15317 15319 13088 0 -1 4202560 72 0 0 0 133 2 0 0 20 0 22 0 342267856 12137111552 749967 33554432000 1073741824 1073778376 140736713654688 139711542709032 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15319/tid=15328] ppid=15317 vsize=11852648 CPUtime=1.37 cores=0,2,4,6
/proc/15319/task/15328/stat : 15328 (java) S 15317 15319 13088 0 -1 4202560 69 0 0 0 135 2 0 0 20 0 22 0 342267856 12137111552 749967 33554432000 1073741824 1073778376 140736713654688 139711541656488 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15319/tid=15329] ppid=15317 vsize=11852648 CPUtime=1.45 cores=0,2,4,6
/proc/15319/task/15329/stat : 15329 (java) S 15317 15319 13088 0 -1 4202560 68 0 0 0 145 0 0 0 20 0 22 0 342267856 12137111552 749967 33554432000 1073741824 1073778376 140736713654688 139711540603944 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15319/tid=15330] ppid=15317 vsize=11852648 CPUtime=60.76 cores=0,2,4,6
/proc/15319/task/15330/stat : 15330 (java) S 15317 15319 13088 0 -1 4202560 259 0 0 0 6066 10 0 0 20 0 22 0 342267857 12137111552 749967 33554432000 1073741824 1073778376 140736713654688 139711058274408 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15319/tid=15331] ppid=15317 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15319/task/15331/stat : 15331 (java) S 15317 15319 13088 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 342267858 12137111552 749967 33554432000 1073741824 1073778376 140736713654688 139711057220728 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15319/tid=15332] ppid=15317 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15319/task/15332/stat : 15332 (java) S 15317 15319 13088 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342267858 12137111552 749967 33554432000 1073741824 1073778376 140736713654688 139711056168072 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15319/tid=15333] ppid=15317 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15319/task/15333/stat : 15333 (java) S 15317 15319 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342267861 12137111552 749967 33554432000 1073741824 1073778376 140736713654688 139711055116816 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15319/tid=15334] ppid=15317 vsize=11852648 CPUtime=1.1 cores=0,2,4,6
/proc/15319/task/15334/stat : 15334 (java) S 15317 15319 13088 0 -1 4202560 7205 0 0 0 110 0 0 0 20 0 22 0 342267861 12137111552 749967 33554432000 1073741824 1073778376 140736713654688 139711054064184 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15319/tid=15335] ppid=15317 vsize=11852648 CPUtime=1.39 cores=0,2,4,6
/proc/15319/task/15335/stat : 15335 (java) S 15317 15319 13088 0 -1 4202560 9581 0 0 0 137 2 0 0 20 0 22 0 342267861 12137111552 749967 33554432000 1073741824 1073778376 140736713654688 139711053011640 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15319/tid=15336] ppid=15317 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15319/task/15336/stat : 15336 (java) S 15317 15319 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342267861 12137111552 749967 33554432000 1073741824 1073778376 140736713654688 139711051959288 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15319/tid=15337] ppid=15317 vsize=11852648 CPUtime=0.33 cores=0,2,4,6
/proc/15319/task/15337/stat : 15337 (java) S 15317 15319 13088 0 -1 4202560 51 0 0 0 16 17 0 0 20 0 22 0 342267861 12137111552 749967 33554432000 1073741824 1073778376 140736713654688 139711050906952 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15319/tid=15338] ppid=15317 vsize=11852648 CPUtime=815.41 cores=0,2,4,6
/proc/15319/task/15338/stat : 15338 (java) R 15317 15319 13088 0 -1 4202560 90 0 0 0 81528 13 0 0 20 0 22 0 342267899 12137111552 749967 33554432000 1073741824 1073778376 140736713654688 139711049850960 139711545588146 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=15319/tid=15339] ppid=15317 vsize=11852648 CPUtime=815.39 cores=0,2,4,6
/proc/15319/task/15339/stat : 15339 (java) R 15317 15319 13088 0 -1 4202560 1309 0 0 0 81485 54 0 0 20 0 22 0 342267899 12137111552 749967 33554432000 1073741824 1073778376 140736713654688 139711048796496 139711545719023 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15319/tid=15340] ppid=15317 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15319/task/15340/stat : 15340 (java) S 15317 15319 13088 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342267901 12137111552 749967 33554432000 1073741824 1073778376 140736713654688 139711047746600 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15319/tid=15341] ppid=15317 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15319/task/15341/stat : 15341 (java) S 15317 15319 13088 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342267901 12137111552 749967 33554432000 1073741824 1073778376 140736713654688 139711046694056 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1710.47
Current children cumulated vsize (KiB) 11852648



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+929.001 s]
/proc/loadavg: 3.84 3.87 3.89 5/219 15409
/proc/meminfo: memFree=25151616/32873844 swapFree=7116/7116
[pid=15319] ppid=15317 vsize=11852648 CPUtime=1800.1 cores=0,2,4,6
/proc/15319/stat : 15319 (java) S 15317 15319 13088 0 -1 4202496 23805 0 1 0 179920 90 0 0 20 0 22 0 342267853 12137111552 752040 33554432000 1073741824 1073778376 140736713654688 140736713645824 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15319/statm: 2963162 752040 2291 9 0 2953849 0
[pid=15319/tid=15321] ppid=15317 vsize=11852648 CPUtime=0.47 cores=0,2,4,6
/proc/15319/task/15321/stat : 15321 (java) S 15317 15319 13088 0 -1 4202560 3512 0 1 0 44 3 0 0 20 0 22 0 342267854 12137111552 752040 33554432000 1073741824 1073778376 140736713654688 139711710696600 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15319/tid=15322] ppid=15317 vsize=11852648 CPUtime=1.64 cores=0,2,4,6
/proc/15319/task/15322/stat : 15322 (java) S 15317 15319 13088 0 -1 4202560 79 0 0 0 161 3 0 0 20 0 22 0 342267856 12137111552 752040 33554432000 1073741824 1073778376 140736713654688 139711665449128 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15319/tid=15323] ppid=15317 vsize=11852648 CPUtime=1.52 cores=0,2,4,6
/proc/15319/task/15323/stat : 15323 (java) S 15317 15319 13088 0 -1 4202560 64 0 0 0 150 2 0 0 20 0 22 0 342267856 12137111552 752040 33554432000 1073741824 1073778376 140736713654688 139711664396584 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15319/tid=15324] ppid=15317 vsize=11852648 CPUtime=1.45 cores=0,2,4,6
/proc/15319/task/15324/stat : 15324 (java) S 15317 15319 13088 0 -1 4202560 61 0 0 0 145 0 0 0 20 0 22 0 342267856 12137111552 752040 33554432000 1073741824 1073778376 140736713654688 139711663344040 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15319/tid=15325] ppid=15317 vsize=11852648 CPUtime=1.49 cores=0,2,4,6
/proc/15319/task/15325/stat : 15325 (java) S 15317 15319 13088 0 -1 4202560 103 0 0 0 146 3 0 0 20 0 22 0 342267856 12137111552 752040 33554432000 1073741824 1073778376 140736713654688 139711544814120 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15319/tid=15326] ppid=15317 vsize=11852648 CPUtime=1.52 cores=0,2,4,6
/proc/15319/task/15326/stat : 15326 (java) S 15317 15319 13088 0 -1 4202560 77 0 0 0 150 2 0 0 20 0 22 0 342267856 12137111552 752040 33554432000 1073741824 1073778376 140736713654688 139711543761576 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15319/tid=15327] ppid=15317 vsize=11852648 CPUtime=1.43 cores=0,2,4,6
/proc/15319/task/15327/stat : 15327 (java) S 15317 15319 13088 0 -1 4202560 75 0 0 0 141 2 0 0 20 0 22 0 342267856 12137111552 752040 33554432000 1073741824 1073778376 140736713654688 139711542709032 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15319/tid=15328] ppid=15317 vsize=11852648 CPUtime=1.46 cores=0,2,4,6
/proc/15319/task/15328/stat : 15328 (java) S 15317 15319 13088 0 -1 4202560 73 0 0 0 144 2 0 0 20 0 22 0 342267856 12137111552 752040 33554432000 1073741824 1073778376 140736713654688 139711541656488 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15319/tid=15329] ppid=15317 vsize=11852648 CPUtime=1.52 cores=0,2,4,6
/proc/15319/task/15329/stat : 15329 (java) S 15317 15319 13088 0 -1 4202560 72 0 0 0 152 0 0 0 20 0 22 0 342267856 12137111552 752040 33554432000 1073741824 1073778376 140736713654688 139711540603944 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15319/tid=15330] ppid=15317 vsize=11852648 CPUtime=64.79 cores=0,2,4,6
/proc/15319/task/15330/stat : 15330 (java) S 15317 15319 13088 0 -1 4202560 265 0 0 0 6469 10 0 0 20 0 22 0 342267857 12137111552 752040 33554432000 1073741824 1073778376 140736713654688 139711058274408 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15319/tid=15331] ppid=15317 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15319/task/15331/stat : 15331 (java) S 15317 15319 13088 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 342267858 12137111552 752040 33554432000 1073741824 1073778376 140736713654688 139711057220728 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15319/tid=15332] ppid=15317 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15319/task/15332/stat : 15332 (java) S 15317 15319 13088 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342267858 12137111552 752040 33554432000 1073741824 1073778376 140736713654688 139711056168072 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15319/tid=15333] ppid=15317 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15319/task/15333/stat : 15333 (java) S 15317 15319 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342267861 12137111552 752040 33554432000 1073741824 1073778376 140736713654688 139711055116816 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15319/tid=15334] ppid=15317 vsize=11852648 CPUtime=1.1 cores=0,2,4,6
/proc/15319/task/15334/stat : 15334 (java) S 15317 15319 13088 0 -1 4202560 7205 0 0 0 110 0 0 0 20 0 22 0 342267861 12137111552 752040 33554432000 1073741824 1073778376 140736713654688 139711054064184 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15319/tid=15335] ppid=15317 vsize=11852648 CPUtime=1.39 cores=0,2,4,6
/proc/15319/task/15335/stat : 15335 (java) S 15317 15319 13088 0 -1 4202560 9581 0 0 0 137 2 0 0 20 0 22 0 342267861 12137111552 752040 33554432000 1073741824 1073778376 140736713654688 139711053011640 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15319/tid=15336] ppid=15317 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15319/task/15336/stat : 15336 (java) S 15317 15319 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342267861 12137111552 752040 33554432000 1073741824 1073778376 140736713654688 139711051959288 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15319/tid=15337] ppid=15317 vsize=11852648 CPUtime=0.35 cores=0,2,4,6
/proc/15319/task/15337/stat : 15337 (java) S 15317 15319 13088 0 -1 4202560 53 0 0 0 17 18 0 0 20 0 22 0 342267861 12137111552 752040 33554432000 1073741824 1073778376 140736713654688 139711050906952 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15319/tid=15338] ppid=15317 vsize=11852648 CPUtime=857.77 cores=0,2,4,6
/proc/15319/task/15338/stat : 15338 (java) R 15317 15319 13088 0 -1 4202560 90 0 0 0 85763 14 0 0 20 0 22 0 342267899 12137111552 752040 33554432000 1073741824 1073778376 140736713654688 139711049850960 139711545549095 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=15319/tid=15339] ppid=15317 vsize=11852648 CPUtime=857.74 cores=0,2,4,6
/proc/15319/task/15339/stat : 15339 (java) R 15317 15319 13088 0 -1 4202560 1309 0 0 0 85719 55 0 0 20 0 22 0 342267899 12137111552 752040 33554432000 1073741824 1073778376 140736713654688 139711048796576 139711545719351 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15319/tid=15340] ppid=15317 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15319/task/15340/stat : 15340 (java) S 15317 15319 13088 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342267901 12137111552 752040 33554432000 1073741824 1073778376 140736713654688 139711047746600 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15319/tid=15341] ppid=15317 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15319/task/15341/stat : 15341 (java) S 15317 15319 13088 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342267901 12137111552 752040 33554432000 1073741824 1073778376 140736713654688 139711046694056 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 11852648

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 15319 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=740158
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=341796
# CPU time returned by wait4() is 1796.08
# while last known CPU time is 1800.1
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 929.06
CPU time (s): 1800.1
CPU user time (s): 1799.2
CPU system time (s): 0.9
CPU usage (%): 193.755
Max. virtual memory (cumulated for all children) (KiB): 11852648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.74
system time used= 1.3418
maximum resident set size= 3008284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23837
page faults= 1
swaps= 0
block input operations= 0
block output operations= 968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 27466
involuntary context switches= 33611

runsolver used 3.2715 second user time and 8.68368 second system time

The end

Launcher Data 

Begin job on node146 at 2012-06-04 00:10:29
IDJOB=3741850
IDBENCH=90112
IDSOLVER=2328
FILE ID=node146/3741850-1338761429
RUNJOBID= node146-1338749727-13104
PBS_JOBID= 14636806
Free space on /tmp= 70860 MiB

SOLVER NAME= PB11: Sat4j Res//CP 2.3.0
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K102.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3741850-1338761429/watcher-3741850-1338761429 -o /tmp/evaluation-result-3741850-1338761429/solver-3741850-1338761429 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3741850-1338761429.opb

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

MD5SUM BENCH= 2946edf6ae8af40eb44098433ff3dcec
RANDOM SEED=65809293

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27356372 kB
Buffers:          320716 kB
Cached:           656884 kB
SwapCached:         1792 kB
Active:          4195352 kB
Inactive:         497284 kB
Active(anon):    3715436 kB
Inactive(anon):     1664 kB
Active(file):     479916 kB
Inactive(file):   495620 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67099888 kB
Dirty:              1012 kB
Writeback:             0 kB
AnonPages:       3720192 kB
Mapped:            17216 kB
Shmem:                 0 kB
Slab:             678216 kB
SReclaimable:     117936 kB
SUnreclaim:       560280 kB
KernelStack:        1624 kB
PageTables:        11112 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:   10462968 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3672064 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= 70904 MiB
End job on node146 at 2012-06-04 00:26:00