Trace number 3742032

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.01 925.854

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K81.opb
MD5SUM07ddcd712bd0834d3fad6b8ca9adfb4d
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 variables5508
Total number of constraints5672
Number of constraints which are clauses5591
Number of constraints which are cardinality constraints (but not clauses)81
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint81
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 82
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-2010 Daniel Le Berre
0.08/0.10	c This is free software under the dual EPL/GNU LGPL licenses.
0.08/0.10	c See www.sat4j.org for details.
0.08/0.10	c version 2.3.1.v20110525
0.08/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.08/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.08/0.10	c java.vm.version	19.1-b02
0.08/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.08/0.10	c sun.arch.data.model	64
0.08/0.10	c java.version		1.6.0_24
0.08/0.10	c os.name		Linux
0.08/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.08/0.10	c os.arch		amd64
0.08/0.10	c Free memory 		9996466904
0.08/0.10	c Max memory 		10048897024
0.08/0.10	c Total memory 		10048897024
0.08/0.10	c Number of processors 	8
0.08/0.12	c Pseudo Boolean Optimization
0.08/0.12	c ManyCore solver with 2 solvers running in parallel
0.08/0.12	c --- Begin Solver configuration ---
0.08/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a
0.08/0.12	c Learn all clauses as in MiniSAT
0.08/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.12	c Expensive reason simplification
0.08/0.12	c Armin Biere (Picosat) restarts strategy
0.08/0.12	c Glucose learned constraints deletion strategy
0.08/0.12	c timeout=2147483s
0.08/0.12	c DB Simplification allowed=false
0.08/0.12	c --- End Solver configuration ---
0.08/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.08/0.12	c --- Begin Solver configuration ---
0.08/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc
0.08/0.12	c Learn all clauses as in MiniSAT
0.08/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.08/0.12	c No reason simplification
0.08/0.12	c Armin Biere (Picosat) restarts strategy
0.08/0.12	c Glucose learned constraints deletion strategy
0.08/0.12	c timeout=2147483s
0.08/0.12	c DB Simplification allowed=false
0.08/0.12	c --- End Solver configuration ---
0.08/0.12	c solving HOME/instance-3742032-1338763554.opb
0.08/0.12	c reading problem ... 
0.80/0.43	c ... done. Wall clock time 0.304s.
0.80/0.43	c #vars     5508
0.80/0.43	c #constraints  5672
0.80/0.43	c constraints type 
0.80/0.43	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4549
0.80/0.43	c org.sat4j.minisat.constraints.card.MinWatchCard => 81
0.80/0.43	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1040
0.80/0.43	c constraints type 
0.80/0.43	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1040
0.80/0.43	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 4549
0.80/0.43	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 81
5.04/1.99	c cleaning 2484 clauses out of 4990 with flag 5001/5001
8.37/3.53	c cleaning 4242 clauses out of 8497 with flag 11000/11000
13.12/5.81	c cleaning 5604 clauses out of 11250 with flag 18003/18003
18.19/8.36	c cleaning 6784 clauses out of 13642 with flag 26001/26001
23.24/10.80	c cleaning 7872 clauses out of 15855 with flag 35003/35003
29.39/13.92	c cleaning 8888 clauses out of 17976 with flag 45001/45001
35.15/16.89	c cleaning 9381 clauses out of 19086 with flag 55000/55000
41.50/20.04	c cleaning 9791 clauses out of 19707 with flag 65002/65002
47.23/22.98	c cleaning 9837 clauses out of 19913 with flag 75000/75000
54.38/26.59	c cleaning 9950 clauses out of 20078 with flag 85002/85002
59.71/29.23	c cleaning 9994 clauses out of 20126 with flag 95000/95000
66.24/32.59	c cleaning 10027 clauses out of 20131 with flag 105001/105001
72.53/35.72	c cleaning 9972 clauses out of 20104 with flag 115001/115001
77.65/38.33	c cleaning 9855 clauses out of 20131 with flag 125000/125000
82.97/41.09	c cleaning 10025 clauses out of 20269 with flag 135000/135000
91.90/45.51	c cleaning 10058 clauses out of 20243 with flag 145000/145000
97.17/48.21	c cleaning 9975 clauses out of 20185 with flag 155001/155001
103.91/51.62	c cleaning 9997 clauses out of 20209 with flag 165000/165000
110.00/54.71	c cleaning 9995 clauses out of 20211 with flag 175000/175000
116.52/58.05	c cleaning 10018 clauses out of 20220 with flag 185004/185004
122.38/61.04	c cleaning 9940 clauses out of 20197 with flag 195001/195001
131.49/65.64	c cleaning 10086 clauses out of 20256 with flag 205000/205000
136.79/68.35	c cleaning 9953 clauses out of 20168 with flag 215001/215001
144.50/72.24	c cleaning 10014 clauses out of 20215 with flag 225002/225002
162.98/81.50	c cleaning 9731 clauses out of 20200 with flag 235001/235001
179.50/89.89	c cleaning 9783 clauses out of 20470 with flag 245002/245002
185.00/92.67	c cleaning 9395 clauses out of 20685 with flag 255000/255000
191.28/95.90	c cleaning 9589 clauses out of 21291 with flag 265001/265001
197.91/99.20	c cleaning 9612 clauses out of 21702 with flag 275002/275002
207.99/104.38	c cleaning 9524 clauses out of 22090 with flag 285002/285002
218.30/109.58	c cleaning 9503 clauses out of 22565 with flag 295001/295001
224.99/112.98	c cleaning 9573 clauses out of 23060 with flag 305000/305000
232.39/116.79	c cleaning 9704 clauses out of 23490 with flag 315003/315003
240.68/120.97	c cleaning 9869 clauses out of 23785 with flag 325002/325002
248.34/124.87	c cleaning 9537 clauses out of 23913 with flag 335001/335001
259.21/130.37	c cleaning 9641 clauses out of 24376 with flag 345001/345001
266.69/134.13	c cleaning 9728 clauses out of 24727 with flag 355000/355000
275.95/138.82	c cleaning 9680 clauses out of 25002 with flag 365003/365003
283.23/142.58	c cleaning 9694 clauses out of 25320 with flag 375001/375001
290.30/146.16	c cleaning 9663 clauses out of 25625 with flag 385000/385000
300.75/151.45	c cleaning 9606 clauses out of 25962 with flag 395000/395000
307.82/155.06	c cleaning 9955 clauses out of 26356 with flag 405000/405000
316.28/159.35	c cleaning 9728 clauses out of 26401 with flag 415000/415000
325.55/164.02	c cleaning 9777 clauses out of 26677 with flag 425004/425004
335.72/169.27	c cleaning 9775 clauses out of 26898 with flag 435002/435002
342.40/172.65	c cleaning 9795 clauses out of 27121 with flag 445000/445000
349.06/176.09	c cleaning 9448 clauses out of 27326 with flag 455000/455000
356.12/179.69	c cleaning 9614 clauses out of 27878 with flag 465000/465000
362.28/182.83	c cleaning 9640 clauses out of 28264 with flag 475000/475000
369.73/186.66	c cleaning 9494 clauses out of 28625 with flag 485002/485002
383.39/193.53	c cleaning 9799 clauses out of 29133 with flag 495004/495004
394.03/198.95	c cleaning 9751 clauses out of 29328 with flag 505000/505000
404.99/204.56	c cleaning 9569 clauses out of 29577 with flag 515000/515000
413.02/208.69	c cleaning 9658 clauses out of 30008 with flag 525000/525000
422.06/213.21	c cleaning 9695 clauses out of 30351 with flag 535001/535001
431.12/217.86	c cleaning 9763 clauses out of 30655 with flag 545000/545000
440.63/222.74	c cleaning 9792 clauses out of 30892 with flag 555000/555000
450.65/227.80	c cleaning 9759 clauses out of 31102 with flag 565002/565002
460.69/232.97	c cleaning 9819 clauses out of 31342 with flag 575001/575001
467.90/236.65	c cleaning 9719 clauses out of 31524 with flag 585002/585002
474.81/240.26	c cleaning 9754 clauses out of 31805 with flag 595002/595002
484.03/244.95	c cleaning 9840 clauses out of 32050 with flag 605001/605001
503.65/254.82	c cleaning 9649 clauses out of 32210 with flag 615001/615001
516.47/261.39	c cleaning 9901 clauses out of 32563 with flag 625003/625003
530.76/268.66	c cleaning 9829 clauses out of 32659 with flag 635000/635000
543.39/275.04	c cleaning 9942 clauses out of 32830 with flag 645001/645001
550.78/278.81	c cleaning 9666 clauses out of 32889 with flag 655002/655002
564.98/286.06	c cleaning 9470 clauses out of 33221 with flag 665001/665001
571.84/289.67	c cleaning 9594 clauses out of 33747 with flag 675000/675000
578.04/292.85	c cleaning 9646 clauses out of 34153 with flag 685000/685000
585.63/296.73	c cleaning 9526 clauses out of 34508 with flag 695001/695001
592.65/300.34	c cleaning 10024 clauses out of 34980 with flag 705001/705001
603.69/306.00	c cleaning 9724 clauses out of 34958 with flag 715003/715003
612.28/310.40	c cleaning 9914 clauses out of 35231 with flag 725000/725000
619.30/314.06	c cleaning 9755 clauses out of 35317 with flag 735000/735000
627.88/318.44	c cleaning 9647 clauses out of 35562 with flag 745000/745000
638.13/323.74	c cleaning 9866 clauses out of 35923 with flag 755008/755008
647.32/328.44	c cleaning 9577 clauses out of 36049 with flag 765000/765000
656.51/333.20	c cleaning 9830 clauses out of 36477 with flag 775005/775005
664.91/337.44	c cleaning 9782 clauses out of 36643 with flag 785001/785001
673.76/342.01	c cleaning 9769 clauses out of 36860 with flag 795001/795001
680.34/345.46	c cleaning 9536 clauses out of 37091 with flag 805001/805001
688.30/349.55	c cleaning 9719 clauses out of 37554 with flag 815000/815000
698.67/354.80	c cleaning 9688 clauses out of 37836 with flag 825001/825001
712.11/361.77	c cleaning 9755 clauses out of 38147 with flag 835000/835000
725.70/368.70	c cleaning 9939 clauses out of 38392 with flag 845000/845000
738.67/375.24	c cleaning 9620 clauses out of 38453 with flag 855000/855000
749.85/380.96	c cleaning 9706 clauses out of 38833 with flag 865000/865000
757.09/384.75	c cleaning 9706 clauses out of 39127 with flag 875001/875001
765.06/388.82	c cleaning 9709 clauses out of 39422 with flag 885002/885002
771.42/392.15	c cleaning 9665 clauses out of 39712 with flag 895001/895001
780.19/396.69	c cleaning 9793 clauses out of 40046 with flag 905000/905000
786.61/400.03	c cleaning 9738 clauses out of 40253 with flag 915000/915000
793.79/403.79	c cleaning 9826 clauses out of 40516 with flag 925001/925001
800.53/407.20	c cleaning 9882 clauses out of 40691 with flag 935002/935002
807.08/410.62	c cleaning 9759 clauses out of 40810 with flag 945003/945003
816.91/415.77	c cleaning 9928 clauses out of 41048 with flag 955000/955000
828.45/421.69	c cleaning 9747 clauses out of 41120 with flag 965000/965000
834.82/424.98	c cleaning 9807 clauses out of 41373 with flag 975000/975000
840.78/428.08	c cleaning 9620 clauses out of 41566 with flag 985000/985000
853.20/434.46	c cleaning 9702 clauses out of 41946 with flag 995000/995000
861.77/438.88	c cleaning 9893 clauses out of 42244 with flag 1005000/1005000
871.54/443.89	c cleaning 9620 clauses out of 42352 with flag 1015001/1015001
888.31/452.35	c cleaning 9849 clauses out of 42733 with flag 1025002/1025002
898.40/457.53	c cleaning 0 clauses out of 5000 with flag 0/5000
899.29/458.06	c cleaning 9600 clauses out of 42883 with flag 1035001/1035001
910.89/463.97	c cleaning 9627 clauses out of 43282 with flag 1045000/1045000
924.83/471.08	c cleaning 10002 clauses out of 43655 with flag 1055000/1055000
933.81/475.78	c cleaning 9607 clauses out of 43653 with flag 1065000/1065000
946.54/482.25	c cleaning 9836 clauses out of 44046 with flag 1075000/1075000
955.28/486.73	c cleaning 9708 clauses out of 44210 with flag 1085000/1085000
968.04/493.23	c cleaning 9770 clauses out of 44503 with flag 1095001/1095001
977.01/497.93	c cleaning 9807 clauses out of 44736 with flag 1105004/1105004
989.14/504.14	c cleaning 9740 clauses out of 44925 with flag 1115000/1115000
997.88/508.61	c cleaning 9756 clauses out of 45186 with flag 1125001/1125001
1008.62/514.19	c cleaning 9737 clauses out of 45430 with flag 1135001/1135001
1019.56/519.80	c cleaning 9914 clauses out of 45693 with flag 1145001/1145001
1030.10/525.24	c cleaning 9733 clauses out of 45778 with flag 1155000/1155000
1042.43/531.50	c cleaning 9895 clauses out of 46044 with flag 1165000/1165000
1050.37/535.63	c cleaning 9693 clauses out of 46149 with flag 1175000/1175000
1059.10/540.24	c cleaning 9863 clauses out of 46455 with flag 1185000/1185000
1068.62/545.13	c cleaning 9704 clauses out of 46593 with flag 1195001/1195001
1080.94/551.45	c cleaning 9855 clauses out of 46888 with flag 1205000/1205000
1090.65/556.49	c cleaning 9879 clauses out of 47035 with flag 1215002/1215002
1100.39/561.51	c cleaning 9797 clauses out of 47154 with flag 1225000/1225000
1112.50/567.73	c cleaning 9973 clauses out of 47357 with flag 1235000/1235000
1125.42/574.38	c cleaning 9987 clauses out of 47383 with flag 1245000/1245000
1131.73/577.65	c cleaning 9681 clauses out of 47400 with flag 1255004/1255004
1138.66/581.34	c cleaning 9730 clauses out of 47715 with flag 1265000/1265000
1147.96/586.18	c cleaning 9851 clauses out of 47987 with flag 1275002/1275002
1155.28/589.90	c cleaning 9789 clauses out of 48134 with flag 1285000/1285000
1162.57/593.73	c cleaning 9839 clauses out of 48349 with flag 1295004/1295004
1173.26/599.35	c cleaning 9785 clauses out of 48506 with flag 1305000/1305000
1182.95/604.33	c cleaning 9911 clauses out of 48722 with flag 1315001/1315001
1192.86/609.43	c cleaning 9765 clauses out of 48810 with flag 1325000/1325000
1204.92/615.68	c cleaning 9841 clauses out of 49045 with flag 1335000/1335000
1214.01/620.48	c cleaning 9818 clauses out of 49206 with flag 1345002/1345002
1227.27/627.25	c cleaning 9749 clauses out of 49387 with flag 1355001/1355001
1234.95/631.26	c cleaning 9848 clauses out of 49638 with flag 1365001/1365001
1242.25/635.01	c cleaning 9846 clauses out of 49792 with flag 1375003/1375003
1250.51/639.45	c cleaning 9724 clauses out of 49943 with flag 1385000/1385000
1258.98/643.85	c cleaning 9724 clauses out of 50219 with flag 1395000/1395000
1268.05/648.51	c cleaning 9895 clauses out of 50496 with flag 1405001/1405001
1278.33/653.83	c cleaning 9895 clauses out of 50601 with flag 1415001/1415001
1288.78/659.36	c cleaning 9903 clauses out of 50706 with flag 1425001/1425001
1299.66/664.99	c cleaning 9903 clauses out of 50803 with flag 1435001/1435001
1309.16/669.88	c cleaning 9813 clauses out of 50901 with flag 1445002/1445002
1319.82/675.37	c cleaning 9951 clauses out of 51086 with flag 1455000/1455000
1337.29/684.36	c cleaning 9930 clauses out of 51138 with flag 1465003/1465003
1353.38/692.52	c cleaning 9751 clauses out of 51205 with flag 1475000/1475000
1369.23/700.64	c cleaning 9791 clauses out of 51454 with flag 1485000/1485000
1380.24/706.39	c cleaning 9972 clauses out of 51663 with flag 1495000/1495000
1387.65/710.30	c cleaning 9746 clauses out of 51691 with flag 1505000/1505000
1396.88/715.17	c cleaning 9748 clauses out of 51951 with flag 1515006/1515006
1406.12/719.94	c cleaning 9835 clauses out of 52198 with flag 1525002/1525002
1414.15/724.18	c cleaning 9839 clauses out of 52362 with flag 1535001/1535001
1421.19/727.97	c cleaning 9636 clauses out of 52523 with flag 1545001/1545001
1428.05/731.54	c cleaning 9817 clauses out of 52887 with flag 1555001/1555001
1437.28/736.31	c cleaning 9858 clauses out of 53069 with flag 1565000/1565000
1446.98/741.34	c cleaning 9859 clauses out of 53212 with flag 1575001/1575001
1456.59/746.44	c cleaning 9870 clauses out of 53354 with flag 1585002/1585002
1467.23/751.97	c cleaning 9802 clauses out of 53483 with flag 1595001/1595001
1478.27/757.70	c cleaning 9878 clauses out of 53684 with flag 1605004/1605004
1489.10/763.29	c cleaning 10016 clauses out of 53802 with flag 1615000/1615000
1498.89/768.40	c cleaning 9947 clauses out of 53787 with flag 1625001/1625001
1506.15/772.27	c cleaning 9758 clauses out of 53841 with flag 1635002/1635002
1513.76/776.21	c cleaning 9869 clauses out of 54081 with flag 1645000/1645000
1522.79/780.98	c cleaning 9920 clauses out of 54216 with flag 1655004/1655004
1531.19/785.46	c cleaning 9937 clauses out of 54294 with flag 1665002/1665002
1541.62/790.83	c cleaning 9797 clauses out of 54356 with flag 1675001/1675001
1552.24/796.38	c cleaning 9825 clauses out of 54558 with flag 1685000/1685000
1560.69/800.72	c cleaning 9964 clauses out of 54733 with flag 1695000/1695000
1571.28/806.39	c cleaning 9652 clauses out of 54770 with flag 1705001/1705001
1582.71/812.21	c cleaning 9846 clauses out of 55122 with flag 1715005/1715005
1593.13/817.66	c cleaning 9841 clauses out of 55271 with flag 1725000/1725000
1603.00/822.79	c cleaning 10105 clauses out of 55430 with flag 1735000/1735000
1611.59/827.34	c cleaning 9712 clauses out of 55325 with flag 1745000/1745000
1622.09/832.74	c cleaning 9769 clauses out of 55619 with flag 1755006/1755006
1631.71/837.76	c cleaning 9812 clauses out of 55844 with flag 1765000/1765000
1642.15/843.13	c cleaning 10061 clauses out of 56032 with flag 1775000/1775000
1650.94/847.90	c cleaning 9869 clauses out of 55971 with flag 1785000/1785000
1658.38/851.72	c cleaning 9956 clauses out of 56103 with flag 1795001/1795001
1668.23/856.84	c cleaning 9515 clauses out of 56148 with flag 1805002/1805002
1677.64/861.80	c cleaning 9870 clauses out of 56631 with flag 1815000/1815000
1686.23/866.37	c cleaning 9806 clauses out of 56763 with flag 1825002/1825002
1693.85/870.38	c cleaning 9662 clauses out of 56957 with flag 1835002/1835002
1703.08/875.16	c cleaning 9876 clauses out of 57293 with flag 1845000/1845000
1713.31/880.40	c cleaning 9778 clauses out of 57417 with flag 1855000/1855000
1722.67/885.42	c cleaning 9925 clauses out of 57639 with flag 1865000/1865000
1734.90/891.71	c cleaning 9557 clauses out of 57719 with flag 1875005/1875005
1742.11/895.50	c cleaning 9812 clauses out of 58157 with flag 1885000/1885000
1748.55/898.99	c cleaning 9883 clauses out of 58345 with flag 1895000/1895000
1758.34/904.14	c cleaning 9722 clauses out of 58464 with flag 1905002/1905002
1769.16/909.72	c cleaning 9837 clauses out of 58740 with flag 1915000/1915000
1780.57/915.64	c cleaning 9880 clauses out of 58904 with flag 1925001/1925001
1795.39/923.22	c cleaning 9913 clauses out of 59028 with flag 1935005/1935005
1800.01/925.81	c starts		: 210
1800.01/925.81	c conflicts		: 1940864
1800.01/925.81	c decisions		: 13618524
1800.01/925.81	c propagations		: 747696380
1800.01/925.81	c inspects		: 2158141225
1800.01/925.81	c shortcuts		: 0
1800.01/925.81	c learnt literals	: 86
1800.01/925.81	c learnt binary clauses	: 40353
1800.01/925.81	c learnt ternary clauses	: 64345
1800.01/925.81	c learnt constraints	: 1940778
1800.01/925.81	c ignored constraints	: 0
1800.01/925.81	c root simplifications	: 0
1800.01/925.81	c removed literals (reason simplification)	: 54190664
1800.01/925.81	c reason swapping (by a shorter reason)	: 0
1800.01/925.81	c Calls to reduceDB	: 195
1800.01/925.81	c number of reductions to clauses (during analyze)	: 0
1800.01/925.81	c number of learned constraints concerned by reduction	: 0
1800.01/925.81	c number of learning phase by resolution	: 0
1800.01/925.81	c number of learning phase by cutting planes	: 0
1800.01/925.81	c speed (assignments/second)	: 807988.5149884372
1800.01/925.81	c non guided choices	4615
1800.01/925.84	c learnt constraints type 
1800.01/925.84	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 40354
1800.01/925.84	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 14667
1800.01/925.84	c constraints type 
1800.01/925.84	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4549
1800.01/925.84	c org.sat4j.minisat.constraints.card.MinWatchCard => 81
1800.01/925.84	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1040
1800.01/925.84	c constraints type 
1800.01/925.84	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1040
1800.01/925.84	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 4549
1800.01/925.84	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 81
1800.01/925.84	s UNKNOWN
1800.01/925.84	c Total wall clock time (in seconds): 925.712

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-3742032-1338763554/watcher-3742032-1338763554 -o /tmp/evaluation-result-3742032-1338763554/solver-3742032-1338763554 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3742032-1338763554.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: 0.92 0.98 1.17 3/174 24137
/proc/meminfo: memFree=28283240/32873844 swapFree=7632/7632
[pid=24137] ppid=24135 vsize=9324 CPUtime=0 cores=1,3,5,7
/proc/24137/stat : 24137 (java) R 24135 24137 24098 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 342479735 9547776 182 33554432000 1073741824 1073778376 140734322118528 140734322101256 209883505120 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24137/statm: 2323 182 140 9 0 71 0

[startup+0.0923259 s]
/proc/loadavg: 0.92 0.98 1.17 3/174 24137
/proc/meminfo: memFree=28283240/32873844 swapFree=7632/7632
[pid=24137] ppid=24135 vsize=11586392 CPUtime=0.07 cores=1,3,5,7
/proc/24137/stat : 24137 (java) S 24135 24137 24098 0 -1 4202496 4473 0 1 0 6 1 0 0 20 0 18 0 342479735 11864465408 12835 33554432000 1073741824 1073778376 140734458164864 140734458156000 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24137/statm: 2896598 12835 1779 9 0 2887285 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11586392

[startup+0.100299 s]
/proc/loadavg: 0.92 0.98 1.17 3/174 24137
/proc/meminfo: memFree=28283240/32873844 swapFree=7632/7632
[pid=24137] ppid=24135 vsize=11586392 CPUtime=0.08 cores=1,3,5,7
/proc/24137/stat : 24137 (java) S 24135 24137 24098 0 -1 4202496 4858 0 1 0 7 1 0 0 20 0 18 0 342479735 11864465408 13217 33554432000 1073741824 1073778376 140734458164864 140734458156000 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24137/statm: 2896598 13221 2010 9 0 2887285 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 11586392

[startup+0.300289 s]
/proc/loadavg: 0.92 0.98 1.17 3/174 24137
/proc/meminfo: memFree=28283240/32873844 swapFree=7632/7632
[pid=24137] ppid=24135 vsize=11586392 CPUtime=0.55 cores=1,3,5,7
/proc/24137/stat : 24137 (java) S 24135 24137 24098 0 -1 4202496 8156 0 1 0 52 3 0 0 20 0 18 0 342479735 11864465408 17962 33554432000 1073741824 1073778376 140734458164864 140734458156000 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24137/statm: 2896598 17962 2224 9 0 2887285 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 11586392

[startup+0.700203 s]
/proc/loadavg: 0.92 0.98 1.17 3/174 24137
/proc/meminfo: memFree=28283240/32873844 swapFree=7632/7632
[pid=24137] ppid=24135 vsize=11852648 CPUtime=1.93 cores=1,3,5,7
/proc/24137/stat : 24137 (java) S 24135 24137 24098 0 -1 4202496 11418 0 1 0 189 4 0 0 20 0 22 0 342479735 12137111552 26909 33554432000 1073741824 1073778376 140734458164864 140734458156000 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24137/statm: 2963162 26909 2262 9 0 2953849 0
Current children cumulated CPU time (s) 1.93
Current children cumulated vsize (KiB) 11852648

[startup+1.50081 s]
/proc/loadavg: 0.92 0.98 1.17 9/219 24185
/proc/meminfo: memFree=27971632/32873844 swapFree=7632/7632
[pid=24137] ppid=24135 vsize=11852648 CPUtime=4.23 cores=1,3,5,7
/proc/24137/stat : 24137 (java) S 24135 24137 24098 0 -1 4202496 21825 0 1 0 409 14 0 0 20 0 22 0 342479735 12137111552 128143 33554432000 1073741824 1073778376 140734458164864 140734458156000 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24137/statm: 2963162 128143 2265 9 0 2953849 0
[pid=24137/tid=24144] ppid=24135 vsize=11852648 CPUtime=0.4 cores=1,3,5,7
/proc/24137/task/24144/stat : 24144 (java) S 24135 24137 24098 0 -1 4202560 3395 0 1 0 38 2 0 0 20 0 22 0 342479737 12137111552 128143 33554432000 1073741824 1073778376 140734458164864 140016842089624 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24137/tid=24154] ppid=24135 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24137/task/24154/stat : 24154 (java) S 24135 24137 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342479739 12137111552 128143 33554432000 1073741824 1073778376 140734458164864 140016810498984 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24137/tid=24155] ppid=24135 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24137/task/24155/stat : 24155 (java) S 24135 24137 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342479739 12137111552 128143 33554432000 1073741824 1073778376 140734458164864 140016809446440 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24137/tid=24156] ppid=24135 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24137/task/24156/stat : 24156 (java) S 24135 24137 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342479739 12137111552 128143 33554432000 1073741824 1073778376 140734458164864 140016808393384 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24137/tid=24157] ppid=24135 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24137/task/24157/stat : 24157 (java) S 24135 24137 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342479739 12137111552 128143 33554432000 1073741824 1073778376 140734458164864 140016807340840 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24137/tid=24158] ppid=24135 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24137/task/24158/stat : 24158 (java) S 24135 24137 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342479739 12137111552 128143 33554432000 1073741824 1073778376 140734458164864 140016675162536 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24137/tid=24159] ppid=24135 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24137/task/24159/stat : 24159 (java) S 24135 24137 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342479739 12137111552 128143 33554432000 1073741824 1073778376 140734458164864 140016674109992 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24137/tid=24160] ppid=24135 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24137/task/24160/stat : 24160 (java) S 24135 24137 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342479739 12137111552 128143 33554432000 1073741824 1073778376 140734458164864 140016336496808 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24137/tid=24161] ppid=24135 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24137/task/24161/stat : 24161 (java) S 24135 24137 24098 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 342479739 12137111552 128143 33554432000 1073741824 1073778376 140734458164864 140016335444264 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24137/tid=24165] ppid=24135 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24137/task/24165/stat : 24165 (java) S 24135 24137 24098 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 342479740 12137111552 128143 33554432000 1073741824 1073778376 140734458164864 140016323246952 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24137/tid=24166] ppid=24135 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24137/task/24166/stat : 24166 (java) S 24135 24137 24098 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 342479741 12137111552 128143 33554432000 1073741824 1073778376 140734458164864 140016322193272 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24137/tid=24167] ppid=24135 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24137/task/24167/stat : 24167 (java) S 24135 24137 24098 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342479741 12137111552 128143 33554432000 1073741824 1073778376 140734458164864 140016321140104 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24137/tid=24173] ppid=24135 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24137/task/24173/stat : 24173 (java) S 24135 24137 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342479743 12137111552 128143 33554432000 1073741824 1073778376 140734458164864 140016320088848 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24137/tid=24174] ppid=24135 vsize=11852648 CPUtime=0.76 cores=1,3,5,7
/proc/24137/task/24174/stat : 24174 (java) S 24135 24137 24098 0 -1 4202560 7753 0 0 0 74 2 0 0 20 0 22 0 342479743 12137111552 128143 33554432000 1073741824 1073778376 140734458164864 140016319035704 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24137/tid=24175] ppid=24135 vsize=11852648 CPUtime=0.92 cores=1,3,5,7
/proc/24137/task/24175/stat : 24175 (java) S 24135 24137 24098 0 -1 4202560 9185 0 0 0 90 2 0 0 20 0 22 0 342479743 12137111552 128143 33554432000 1073741824 1073778376 140734458164864 140016317983160 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24137/tid=24176] ppid=24135 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24137/task/24176/stat : 24176 (java) S 24135 24137 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342479743 12137111552 128143 33554432000 1073741824 1073778376 140734458164864 140016316930296 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24137/tid=24177] ppid=24135 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24137/task/24177/stat : 24177 (java) S 24135 24137 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342479743 12137111552 128143 33554432000 1073741824 1073778376 140734458164864 140016315877960 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24137/tid=24178] ppid=24135 vsize=11852648 CPUtime=1.04 cores=1,3,5,7
/proc/24137/task/24178/stat : 24178 (java) R 24135 24137 24098 0 -1 4202560 27 0 0 0 104 0 0 0 20 0 22 0 342479779 12137111552 128143 33554432000 1073741824 1073778376 140734458164864 140016314823704 140016689478419 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=24137/tid=24179] ppid=24135 vsize=11852648 CPUtime=1.03 cores=1,3,5,7
/proc/24137/task/24179/stat : 24179 (java) R 24135 24137 24098 0 -1 4202560 263 0 0 0 96 7 0 0 20 0 22 0 342479779 12137111552 128143 33554432000 1073741824 1073778376 140734458164864 140016313770584 140016689705705 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24137/tid=24182] ppid=24135 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24137/task/24182/stat : 24182 (java) S 24135 24137 24098 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342479780 12137111552 128143 33554432000 1073741824 1073778376 140734458164864 140016312718632 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24137/tid=24183] ppid=24135 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24137/task/24183/stat : 24183 (java) S 24135 24137 24098 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342479780 12137111552 128143 33554432000 1073741824 1073778376 140734458164864 140016311666088 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.23
Current children cumulated vsize (KiB) 11852648

[startup+3.10087 s]
/proc/loadavg: 0.92 0.98 1.17 5/219 24185
/proc/meminfo: memFree=27026080/32873844 swapFree=7632/7632
[pid=24137] ppid=24135 vsize=11852648 CPUtime=7.53 cores=1,3,5,7
/proc/24137/stat : 24137 (java) S 24135 24137 24098 0 -1 4202496 22050 0 1 0 732 21 0 0 20 0 22 0 342479735 12137111552 214204 33554432000 1073741824 1073778376 140734458164864 140734458156000 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24137/statm: 2963162 214204 2289 9 0 2953849 0
[pid=24137/tid=24144] ppid=24135 vsize=11852648 CPUtime=0.4 cores=1,3,5,7
/proc/24137/task/24144/stat : 24144 (java) S 24135 24137 24098 0 -1 4202560 3395 0 1 0 38 2 0 0 20 0 22 0 342479737 12137111552 214204 33554432000 1073741824 1073778376 140734458164864 140016842089624 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24137/tid=24154] ppid=24135 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24137/task/24154/stat : 24154 (java) S 24135 24137 24098 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 342479739 12137111552 214204 33554432000 1073741824 1073778376 140734458164864 140016810498984 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24137/tid=24155] ppid=24135 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24137/task/24155/stat : 24155 (java) S 24135 24137 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342479739 12137111552 214204 33554432000 1073741824 1073778376 140734458164864 140016809446440 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24137/tid=24156] ppid=24135 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24137/task/24156/stat : 24156 (java) S 24135 24137 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342479739 12137111552 214204 33554432000 1073741824 1073778376 140734458164864 140016808393384 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24137/tid=24157] ppid=24135 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24137/task/24157/stat : 24157 (java) S 24135 24137 24098 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 342479739 12137111552 214204 33554432000 1073741824 1073778376 140734458164864 140016807340840 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24137/tid=24158] ppid=24135 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24137/task/24158/stat : 24158 (java) S 24135 24137 24098 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 342479739 12137111552 214204 33554432000 1073741824 1073778376 140734458164864 140016675162536 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24137/tid=24159] ppid=24135 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24137/task/24159/stat : 24159 (java) S 24135 24137 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342479739 12137111552 214204 33554432000 1073741824 1073778376 140734458164864 140016674109992 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24137/tid=24160] ppid=24135 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24137/task/24160/stat : 24160 (java) S 24135 24137 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342479739 12137111552 214204 33554432000 1073741824 1073778376 140734458164864 140016336496808 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24137/tid=24161] ppid=24135 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24137/task/24161/stat : 24161 (java) S 24135 24137 24098 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 342479739 12137111552 214204 33554432000 1073741824 1073778376 140734458164864 140016335444264 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24137/tid=24165] ppid=24135 vsize=11852648 CPUtime=0.01 cores=1,3,5,7
/proc/24137/task/24165/stat : 24165 (java) S 24135 24137 24098 0 -1 4202560 32 0 0 0 1 0 0 0 20 0 22 0 342479740 12137111552 214204 33554432000 1073741824 1073778376 140734458164864 140016323246952 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24137/tid=24166] ppid=24135 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24137/task/24166/stat : 24166 (java) S 24135 24137 24098 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 342479741 12137111552 214204 33554432000 1073741824 1073778376 140734458164864 140016322193272 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24137/tid=24167] ppid=24135 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24137/task/24167/stat : 24167 (java) S 24135 24137 24098 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342479741 12137111552 214204 33554432000 1073741824 1073778376 140734458164864 140016321140104 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24137/tid=24173] ppid=24135 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24137/task/24173/stat : 24173 (java) S 24135 24137 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342479743 12137111552 214204 33554432000 1073741824 1073778376 140734458164864 140016320088848 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24137/tid=24174] ppid=24135 vsize=11852648 CPUtime=0.83 cores=1,3,5,7
/proc/24137/task/24174/stat : 24174 (java) S 24135 24137 24098 0 -1 4202560 7756 0 0 0 81 2 0 0 20 0 22 0 342479743 12137111552 214204 33554432000 1073741824 1073778376 140734458164864 140016319035704 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24137/tid=24175] ppid=24135 vsize=11852648 CPUtime=1 cores=1,3,5,7
/proc/24137/task/24175/stat : 24175 (java) S 24135 24137 24098 0 -1 4202560 9190 0 0 0 98 2 0 0 20 0 22 0 342479743 12137111552 214204 33554432000 1073741824 1073778376 140734458164864 140016317983160 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24137/tid=24176] ppid=24135 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24137/task/24176/stat : 24176 (java) S 24135 24137 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342479743 12137111552 214204 33554432000 1073741824 1073778376 140734458164864 140016316930296 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24137/tid=24177] ppid=24135 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24137/task/24177/stat : 24177 (java) S 24135 24137 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342479743 12137111552 214204 33554432000 1073741824 1073778376 140734458164864 140016315877960 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24137/tid=24178] ppid=24135 vsize=11852648 CPUtime=2.58 cores=1,3,5,7
/proc/24137/task/24178/stat : 24178 (java) R 24135 24137 24098 0 -1 4202560 30 0 0 0 258 0 0 0 20 0 22 0 342479779 12137111552 214204 33554432000 1073741824 1073778376 140734458164864 140016314823480 140016689236963 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=24137/tid=24179] ppid=24135 vsize=11852648 CPUtime=2.59 cores=1,3,5,7
/proc/24137/task/24179/stat : 24179 (java) R 24135 24137 24098 0 -1 4202560 423 0 0 0 246 13 0 0 20 0 22 0 342479779 12137111552 214204 33554432000 1073741824 1073778376 140734458164864 140016313770856 140016689487103 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24137/tid=24182] ppid=24135 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24137/task/24182/stat : 24182 (java) S 24135 24137 24098 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342479780 12137111552 214204 33554432000 1073741824 1073778376 140734458164864 140016312718632 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24137/tid=24183] ppid=24135 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24137/task/24183/stat : 24183 (java) S 24135 24137 24098 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342479780 12137111552 214204 33554432000 1073741824 1073778376 140734458164864 140016311666088 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 7.53
Current children cumulated vsize (KiB) 11852648

[startup+6.30087 s]
/proc/loadavg: 1.17 1.03 1.19 5/219 24185
/proc/meminfo: memFree=26502912/32873844 swapFree=7632/7632
[pid=24137] ppid=24135 vsize=11852648 CPUtime=14.1 cores=1,3,5,7
/proc/24137/stat : 24137 (java) S 24135 24137 24098 0 -1 4202496 22434 0 1 0 1383 27 0 0 20 0 22 0 342479735 12137111552 307297 33554432000 1073741824 1073778376 140734458164864 140734458156000 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24137/statm: 2963162 307297 2289 9 0 2953849 0
[pid=24137/tid=24144] ppid=24135 vsize=11852648 CPUtime=0.4 cores=1,3,5,7
/proc/24137/task/24144/stat : 24144 (java) S 24135 24137 24098 0 -1 4202560 3395 0 1 0 38 2 0 0 20 0 22 0 342479737 12137111552 307297 33554432000 1073741824 1073778376 140734458164864 140016842089624 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24137/tid=24154] ppid=24135 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24137/task/24154/stat : 24154 (java) S 24135 24137 24098 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 342479739 12137111552 307297 33554432000 1073741824 1073778376 140734458164864 140016810498984 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24137/tid=24155] ppid=24135 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24137/task/24155/stat : 24155 (java) S 24135 24137 24098 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 342479739 12137111552 307297 33554432000 1073741824 1073778376 140734458164864 140016809446440 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24137/tid=24156] ppid=24135 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24137/task/24156/stat : 24156 (java) S 24135 24137 24098 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 342479739 12137111552 307297 33554432000 1073741824 1073778376 140734458164864 140016808393384 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24137/tid=24157] ppid=24135 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24137/task/24157/stat : 24157 (java) S 24135 24137 24098 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 342479739 12137111552 307297 33554432000 1073741824 1073778376 140734458164864 140016807340840 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24137/tid=24158] ppid=24135 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24137/task/24158/stat : 24158 (java) S 24135 24137 24098 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 342479739 12137111552 307297 33554432000 1073741824 1073778376 140734458164864 140016675162536 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24137/tid=24159] ppid=24135 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24137/task/24159/stat : 24159 (java) S 24135 24137 24098 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 342479739 12137111552 307297 33554432000 1073741824 1073778376 140734458164864 140016674109992 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24137/tid=24160] ppid=24135 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24137/task/24160/stat : 24160 (java) S 24135 24137 24098 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 342479739 12137111552 307297 33554432000 1073741824 1073778376 140734458164864 140016336496808 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24137/tid=24161] ppid=24135 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24137/task/24161/stat : 24161 (java) S 24135 24137 24098 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 342479739 12137111552 307297 33554432000 1073741824 1073778376 140734458164864 140016335444264 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24137/tid=24165] ppid=24135 vsize=11852648 CPUtime=0.08 cores=1,3,5,7
/proc/24137/task/24165/stat : 24165 (java) S 24135 24137 24098 0 -1 4202560 36 0 0 0 8 0 0 0 20 0 22 0 342479740 12137111552 307297 33554432000 1073741824 1073778376 140734458164864 140016323246952 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24137/tid=24166] ppid=24135 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24137/task/24166/stat : 24166 (java) S 24135 24137 24098 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 342479741 12137111552 307297 33554432000 1073741824 1073778376 140734458164864 140016322193272 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24137/tid=24167] ppid=24135 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24137/task/24167/stat : 24167 (java) S 24135 24137 24098 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342479741 12137111552 307297 33554432000 1073741824 1073778376 140734458164864 140016321140104 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24137/tid=24173] ppid=24135 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24137/task/24173/stat : 24173 (java) S 24135 24137 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342479743 12137111552 307297 33554432000 1073741824 1073778376 140734458164864 140016320088848 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24137/tid=24174] ppid=24135 vsize=11852648 CPUtime=0.96 cores=1,3,5,7
/proc/24137/task/24174/stat : 24174 (java) S 24135 24137 24098 0 -1 4202560 7899 0 0 0 94 2 0 0 20 0 22 0 342479743 12137111552 307297 33554432000 1073741824 1073778376 140734458164864 140016319035704 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0

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

/proc/24137/statm: 2963162 755635 2291 9 0 2953849 0
[pid=24137/tid=24144] ppid=24135 vsize=11852648 CPUtime=0.44 cores=1,3,5,7
/proc/24137/task/24144/stat : 24144 (java) S 24135 24137 24098 0 -1 4202560 3486 0 1 0 40 4 0 0 20 0 22 0 342479737 12137111552 755635 33554432000 1073741824 1073778376 140734458164864 140016842089624 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24137/tid=24154] ppid=24135 vsize=11852648 CPUtime=1.22 cores=1,3,5,7
/proc/24137/task/24154/stat : 24154 (java) S 24135 24137 24098 0 -1 4202560 89 0 0 0 120 2 0 0 20 0 22 0 342479739 12137111552 755635 33554432000 1073741824 1073778376 140734458164864 140016810498984 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24137/tid=24155] ppid=24135 vsize=11852648 CPUtime=1.14 cores=1,3,5,7
/proc/24137/task/24155/stat : 24155 (java) S 24135 24137 24098 0 -1 4202560 67 0 0 0 112 2 0 0 20 0 22 0 342479739 12137111552 755635 33554432000 1073741824 1073778376 140734458164864 140016809446440 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24137/tid=24156] ppid=24135 vsize=11852648 CPUtime=1.14 cores=1,3,5,7
/proc/24137/task/24156/stat : 24156 (java) S 24135 24137 24098 0 -1 4202560 64 0 0 0 114 0 0 0 20 0 22 0 342479739 12137111552 755635 33554432000 1073741824 1073778376 140734458164864 140016808393384 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24137/tid=24157] ppid=24135 vsize=11852648 CPUtime=1.09 cores=1,3,5,7
/proc/24137/task/24157/stat : 24157 (java) S 24135 24137 24098 0 -1 4202560 70 0 0 0 107 2 0 0 20 0 22 0 342479739 12137111552 755635 33554432000 1073741824 1073778376 140734458164864 140016807340840 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24137/tid=24158] ppid=24135 vsize=11852648 CPUtime=1.11 cores=1,3,5,7
/proc/24137/task/24158/stat : 24158 (java) S 24135 24137 24098 0 -1 4202560 71 0 0 0 109 2 0 0 20 0 22 0 342479739 12137111552 755635 33554432000 1073741824 1073778376 140734458164864 140016675162536 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24137/tid=24159] ppid=24135 vsize=11852648 CPUtime=0.99 cores=1,3,5,7
/proc/24137/task/24159/stat : 24159 (java) S 24135 24137 24098 0 -1 4202560 55 0 0 0 99 0 0 0 20 0 22 0 342479739 12137111552 755635 33554432000 1073741824 1073778376 140734458164864 140016674109992 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24137/tid=24160] ppid=24135 vsize=11852648 CPUtime=1.07 cores=1,3,5,7
/proc/24137/task/24160/stat : 24160 (java) S 24135 24137 24098 0 -1 4202560 56 0 0 0 107 0 0 0 20 0 22 0 342479739 12137111552 755635 33554432000 1073741824 1073778376 140734458164864 140016336496808 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24137/tid=24161] ppid=24135 vsize=11852648 CPUtime=1 cores=1,3,5,7
/proc/24137/task/24161/stat : 24161 (java) S 24135 24137 24098 0 -1 4202560 69 0 0 0 99 1 0 0 20 0 22 0 342479739 12137111552 755635 33554432000 1073741824 1073778376 140734458164864 140016335444264 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24137/tid=24165] ppid=24135 vsize=11852648 CPUtime=48.04 cores=1,3,5,7
/proc/24137/task/24165/stat : 24165 (java) S 24135 24137 24098 0 -1 4202560 280 0 0 0 4795 9 0 0 20 0 22 0 342479740 12137111552 755635 33554432000 1073741824 1073778376 140734458164864 140016323246952 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24137/tid=24166] ppid=24135 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24137/task/24166/stat : 24166 (java) S 24135 24137 24098 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 342479741 12137111552 755635 33554432000 1073741824 1073778376 140734458164864 140016322193272 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24137/tid=24167] ppid=24135 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24137/task/24167/stat : 24167 (java) S 24135 24137 24098 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342479741 12137111552 755635 33554432000 1073741824 1073778376 140734458164864 140016321140104 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24137/tid=24173] ppid=24135 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24137/task/24173/stat : 24173 (java) S 24135 24137 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342479743 12137111552 755635 33554432000 1073741824 1073778376 140734458164864 140016320088848 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24137/tid=24174] ppid=24135 vsize=11852648 CPUtime=1.55 cores=1,3,5,7
/proc/24137/task/24174/stat : 24174 (java) S 24135 24137 24098 0 -1 4202560 11059 0 0 0 153 2 0 0 20 0 22 0 342479743 12137111552 755635 33554432000 1073741824 1073778376 140734458164864 140016319035704 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24137/tid=24175] ppid=24135 vsize=11852648 CPUtime=1.18 cores=1,3,5,7
/proc/24137/task/24175/stat : 24175 (java) S 24135 24137 24098 0 -1 4202560 9224 0 0 0 116 2 0 0 20 0 22 0 342479743 12137111552 755635 33554432000 1073741824 1073778376 140734458164864 140016317983160 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24137/tid=24176] ppid=24135 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24137/task/24176/stat : 24176 (java) S 24135 24137 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342479743 12137111552 755635 33554432000 1073741824 1073778376 140734458164864 140016316930296 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24137/tid=24177] ppid=24135 vsize=11852648 CPUtime=0.33 cores=1,3,5,7
/proc/24137/task/24177/stat : 24177 (java) S 24135 24137 24098 0 -1 4202560 49 0 0 0 14 19 0 0 20 0 22 0 342479743 12137111552 755635 33554432000 1073741824 1073778376 140734458164864 140016315877960 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24137/tid=24178] ppid=24135 vsize=11852648 CPUtime=769.05 cores=1,3,5,7
/proc/24137/task/24178/stat : 24178 (java) R 24135 24137 24098 0 -1 4202560 102 0 0 0 76894 11 0 0 20 0 22 0 342479779 12137111552 755635 33554432000 1073741824 1073778376 140734458164864 140016314823504 140016689556459 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24137/tid=24179] ppid=24135 vsize=11852648 CPUtime=768.81 cores=1,3,5,7
/proc/24137/task/24179/stat : 24179 (java) R 24135 24137 24098 0 -1 4202560 1321 0 0 0 76827 54 0 0 20 0 22 0 342479779 12137111552 755635 33554432000 1073741824 1073778376 140734458164864 140016313768848 140016689487539 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24137/tid=24182] ppid=24135 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24137/task/24182/stat : 24182 (java) S 24135 24137 24098 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342479780 12137111552 755635 33554432000 1073741824 1073778376 140734458164864 140016312718632 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24137/tid=24183] ppid=24135 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24137/task/24183/stat : 24183 (java) S 24135 24137 24098 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342479780 12137111552 755635 33554432000 1073741824 1073778376 140734458164864 140016311666088 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1602.18
Current children cumulated vsize (KiB) 11852648

[startup+882.301 s]
/proc/loadavg: 3.88 3.72 2.82 5/220 24194
/proc/meminfo: memFree=21731000/32873844 swapFree=7632/7632
[pid=24137] ppid=24135 vsize=11852648 CPUtime=1716.46 cores=1,3,5,7
/proc/24137/stat : 24137 (java) S 24135 24137 24098 0 -1 4202496 27310 0 1 0 171556 90 0 0 20 0 22 0 342479735 12137111552 757208 33554432000 1073741824 1073778376 140734458164864 140734458156000 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24137/statm: 2963162 757208 2291 9 0 2953849 0
[pid=24137/tid=24144] ppid=24135 vsize=11852648 CPUtime=0.44 cores=1,3,5,7
/proc/24137/task/24144/stat : 24144 (java) S 24135 24137 24098 0 -1 4202560 3496 0 1 0 40 4 0 0 20 0 22 0 342479737 12137111552 757208 33554432000 1073741824 1073778376 140734458164864 140016842089624 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24137/tid=24154] ppid=24135 vsize=11852648 CPUtime=1.32 cores=1,3,5,7
/proc/24137/task/24154/stat : 24154 (java) S 24135 24137 24098 0 -1 4202560 94 0 0 0 130 2 0 0 20 0 22 0 342479739 12137111552 757208 33554432000 1073741824 1073778376 140734458164864 140016810498984 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24137/tid=24155] ppid=24135 vsize=11852648 CPUtime=1.18 cores=1,3,5,7
/proc/24137/task/24155/stat : 24155 (java) S 24135 24137 24098 0 -1 4202560 67 0 0 0 116 2 0 0 20 0 22 0 342479739 12137111552 757208 33554432000 1073741824 1073778376 140734458164864 140016809446440 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24137/tid=24156] ppid=24135 vsize=11852648 CPUtime=1.23 cores=1,3,5,7
/proc/24137/task/24156/stat : 24156 (java) S 24135 24137 24098 0 -1 4202560 69 0 0 0 123 0 0 0 20 0 22 0 342479739 12137111552 757208 33554432000 1073741824 1073778376 140734458164864 140016808393384 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24137/tid=24157] ppid=24135 vsize=11852648 CPUtime=1.17 cores=1,3,5,7
/proc/24137/task/24157/stat : 24157 (java) S 24135 24137 24098 0 -1 4202560 80 0 0 0 115 2 0 0 20 0 22 0 342479739 12137111552 757208 33554432000 1073741824 1073778376 140734458164864 140016807340840 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24137/tid=24158] ppid=24135 vsize=11852648 CPUtime=1.16 cores=1,3,5,7
/proc/24137/task/24158/stat : 24158 (java) S 24135 24137 24098 0 -1 4202560 73 0 0 0 114 2 0 0 20 0 22 0 342479739 12137111552 757208 33554432000 1073741824 1073778376 140734458164864 140016675162536 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24137/tid=24159] ppid=24135 vsize=11852648 CPUtime=1.05 cores=1,3,5,7
/proc/24137/task/24159/stat : 24159 (java) S 24135 24137 24098 0 -1 4202560 57 0 0 0 105 0 0 0 20 0 22 0 342479739 12137111552 757208 33554432000 1073741824 1073778376 140734458164864 140016674109992 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24137/tid=24160] ppid=24135 vsize=11852648 CPUtime=1.12 cores=1,3,5,7
/proc/24137/task/24160/stat : 24160 (java) S 24135 24137 24098 0 -1 4202560 60 0 0 0 112 0 0 0 20 0 22 0 342479739 12137111552 757208 33554432000 1073741824 1073778376 140734458164864 140016336496808 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24137/tid=24161] ppid=24135 vsize=11852648 CPUtime=1.09 cores=1,3,5,7
/proc/24137/task/24161/stat : 24161 (java) S 24135 24137 24098 0 -1 4202560 78 0 0 0 108 1 0 0 20 0 22 0 342479739 12137111552 757208 33554432000 1073741824 1073778376 140734458164864 140016335444264 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24137/tid=24165] ppid=24135 vsize=11852648 CPUtime=53.96 cores=1,3,5,7
/proc/24137/task/24165/stat : 24165 (java) S 24135 24137 24098 0 -1 4202560 287 0 0 0 5387 9 0 0 20 0 22 0 342479740 12137111552 757208 33554432000 1073741824 1073778376 140734458164864 140016323246952 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24137/tid=24166] ppid=24135 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24137/task/24166/stat : 24166 (java) S 24135 24137 24098 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 342479741 12137111552 757208 33554432000 1073741824 1073778376 140734458164864 140016322193272 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24137/tid=24167] ppid=24135 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24137/task/24167/stat : 24167 (java) S 24135 24137 24098 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342479741 12137111552 757208 33554432000 1073741824 1073778376 140734458164864 140016321140104 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24137/tid=24173] ppid=24135 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24137/task/24173/stat : 24173 (java) S 24135 24137 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342479743 12137111552 757208 33554432000 1073741824 1073778376 140734458164864 140016320088848 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24137/tid=24174] ppid=24135 vsize=11852648 CPUtime=1.55 cores=1,3,5,7
/proc/24137/task/24174/stat : 24174 (java) S 24135 24137 24098 0 -1 4202560 11059 0 0 0 153 2 0 0 20 0 22 0 342479743 12137111552 757208 33554432000 1073741824 1073778376 140734458164864 140016319035704 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24137/tid=24175] ppid=24135 vsize=11852648 CPUtime=1.18 cores=1,3,5,7
/proc/24137/task/24175/stat : 24175 (java) S 24135 24137 24098 0 -1 4202560 9224 0 0 0 116 2 0 0 20 0 22 0 342479743 12137111552 757208 33554432000 1073741824 1073778376 140734458164864 140016317983160 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24137/tid=24176] ppid=24135 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24137/task/24176/stat : 24176 (java) S 24135 24137 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342479743 12137111552 757208 33554432000 1073741824 1073778376 140734458164864 140016316930296 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24137/tid=24177] ppid=24135 vsize=11852648 CPUtime=0.35 cores=1,3,5,7
/proc/24137/task/24177/stat : 24177 (java) S 24135 24137 24098 0 -1 4202560 51 0 0 0 15 20 0 0 20 0 22 0 342479743 12137111552 757208 33554432000 1073741824 1073778376 140734458164864 140016315877960 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24137/tid=24178] ppid=24135 vsize=11852648 CPUtime=822.8 cores=1,3,5,7
/proc/24137/task/24178/stat : 24178 (java) R 24135 24137 24098 0 -1 4202560 105 0 0 0 82268 12 0 0 20 0 22 0 342479779 12137111552 757208 33554432000 1073741824 1073778376 140734458164864 140016314823504 140016689470528 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24137/tid=24179] ppid=24135 vsize=11852648 CPUtime=822.55 cores=1,3,5,7
/proc/24137/task/24179/stat : 24179 (java) R 24135 24137 24098 0 -1 4202560 1322 0 0 0 82200 55 0 0 20 0 22 0 342479779 12137111552 757208 33554432000 1073741824 1073778376 140734458164864 140016313768832 140016689487491 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24137/tid=24182] ppid=24135 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24137/task/24182/stat : 24182 (java) S 24135 24137 24098 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342479780 12137111552 757208 33554432000 1073741824 1073778376 140734458164864 140016312718632 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24137/tid=24183] ppid=24135 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24137/task/24183/stat : 24183 (java) S 24135 24137 24098 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342479780 12137111552 757208 33554432000 1073741824 1073778376 140734458164864 140016311666088 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1716.46
Current children cumulated vsize (KiB) 11852648



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+925.801 s]
/proc/loadavg: 3.94 3.76 2.88 3/197 24220
/proc/meminfo: memFree=25245828/32873844 swapFree=7632/7632
[pid=24137] ppid=24135 vsize=11852648 CPUtime=1800.01 cores=1,3,5,7
/proc/24137/stat : 24137 (java) S 24135 24137 24098 0 -1 4202496 27344 0 1 0 179910 91 0 0 20 0 22 0 342479735 12137111552 758761 33554432000 1073741824 1073778376 140734458164864 140734458156000 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24137/statm: 2963162 758761 2291 9 0 2953849 0
[pid=24137/tid=24144] ppid=24135 vsize=11852648 CPUtime=0.44 cores=1,3,5,7
/proc/24137/task/24144/stat : 24144 (java) S 24135 24137 24098 0 -1 4202560 3501 0 1 0 40 4 0 0 20 0 22 0 342479737 12137111552 758761 33554432000 1073741824 1073778376 140734458164864 140016842089624 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24137/tid=24154] ppid=24135 vsize=11852648 CPUtime=1.36 cores=1,3,5,7
/proc/24137/task/24154/stat : 24154 (java) S 24135 24137 24098 0 -1 4202560 95 0 0 0 134 2 0 0 20 0 22 0 342479739 12137111552 758761 33554432000 1073741824 1073778376 140734458164864 140016810498984 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24137/tid=24155] ppid=24135 vsize=11852648 CPUtime=1.21 cores=1,3,5,7
/proc/24137/task/24155/stat : 24155 (java) S 24135 24137 24098 0 -1 4202560 76 0 0 0 119 2 0 0 20 0 22 0 342479739 12137111552 758761 33554432000 1073741824 1073778376 140734458164864 140016809446440 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24137/tid=24156] ppid=24135 vsize=11852648 CPUtime=1.25 cores=1,3,5,7
/proc/24137/task/24156/stat : 24156 (java) S 24135 24137 24098 0 -1 4202560 69 0 0 0 125 0 0 0 20 0 22 0 342479739 12137111552 758761 33554432000 1073741824 1073778376 140734458164864 140016808393384 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24137/tid=24157] ppid=24135 vsize=11852648 CPUtime=1.21 cores=1,3,5,7
/proc/24137/task/24157/stat : 24157 (java) S 24135 24137 24098 0 -1 4202560 80 0 0 0 119 2 0 0 20 0 22 0 342479739 12137111552 758761 33554432000 1073741824 1073778376 140734458164864 140016807340840 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24137/tid=24158] ppid=24135 vsize=11852648 CPUtime=1.18 cores=1,3,5,7
/proc/24137/task/24158/stat : 24158 (java) S 24135 24137 24098 0 -1 4202560 73 0 0 0 116 2 0 0 20 0 22 0 342479739 12137111552 758761 33554432000 1073741824 1073778376 140734458164864 140016675162536 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24137/tid=24159] ppid=24135 vsize=11852648 CPUtime=1.09 cores=1,3,5,7
/proc/24137/task/24159/stat : 24159 (java) S 24135 24137 24098 0 -1 4202560 57 0 0 0 109 0 0 0 20 0 22 0 342479739 12137111552 758761 33554432000 1073741824 1073778376 140734458164864 140016674109992 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24137/tid=24160] ppid=24135 vsize=11852648 CPUtime=1.14 cores=1,3,5,7
/proc/24137/task/24160/stat : 24160 (java) S 24135 24137 24098 0 -1 4202560 62 0 0 0 114 0 0 0 20 0 22 0 342479739 12137111552 758761 33554432000 1073741824 1073778376 140734458164864 140016336496808 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24137/tid=24161] ppid=24135 vsize=11852648 CPUtime=1.13 cores=1,3,5,7
/proc/24137/task/24161/stat : 24161 (java) S 24135 24137 24098 0 -1 4202560 83 0 0 0 112 1 0 0 20 0 22 0 342479739 12137111552 758761 33554432000 1073741824 1073778376 140734458164864 140016335444264 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24137/tid=24165] ppid=24135 vsize=11852648 CPUtime=57.5 cores=1,3,5,7
/proc/24137/task/24165/stat : 24165 (java) S 24135 24137 24098 0 -1 4202560 292 0 0 0 5740 10 0 0 20 0 22 0 342479740 12137111552 758761 33554432000 1073741824 1073778376 140734458164864 140016323246952 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24137/tid=24166] ppid=24135 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24137/task/24166/stat : 24166 (java) S 24135 24137 24098 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 342479741 12137111552 758761 33554432000 1073741824 1073778376 140734458164864 140016322193272 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24137/tid=24167] ppid=24135 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24137/task/24167/stat : 24167 (java) S 24135 24137 24098 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342479741 12137111552 758761 33554432000 1073741824 1073778376 140734458164864 140016321140104 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24137/tid=24173] ppid=24135 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24137/task/24173/stat : 24173 (java) S 24135 24137 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342479743 12137111552 758761 33554432000 1073741824 1073778376 140734458164864 140016320088848 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24137/tid=24174] ppid=24135 vsize=11852648 CPUtime=1.55 cores=1,3,5,7
/proc/24137/task/24174/stat : 24174 (java) S 24135 24137 24098 0 -1 4202560 11059 0 0 0 153 2 0 0 20 0 22 0 342479743 12137111552 758761 33554432000 1073741824 1073778376 140734458164864 140016319035704 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24137/tid=24175] ppid=24135 vsize=11852648 CPUtime=1.18 cores=1,3,5,7
/proc/24137/task/24175/stat : 24175 (java) S 24135 24137 24098 0 -1 4202560 9224 0 0 0 116 2 0 0 20 0 22 0 342479743 12137111552 758761 33554432000 1073741824 1073778376 140734458164864 140016317983160 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24137/tid=24176] ppid=24135 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24137/task/24176/stat : 24176 (java) S 24135 24137 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342479743 12137111552 758761 33554432000 1073741824 1073778376 140734458164864 140016316930296 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24137/tid=24177] ppid=24135 vsize=11852648 CPUtime=0.37 cores=1,3,5,7
/proc/24137/task/24177/stat : 24177 (java) S 24135 24137 24098 0 -1 4202560 55 0 0 0 16 21 0 0 20 0 22 0 342479743 12137111552 758761 33554432000 1073741824 1073778376 140734458164864 140016315877960 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24137/tid=24178] ppid=24135 vsize=11852648 CPUtime=862.58 cores=1,3,5,7
/proc/24137/task/24178/stat : 24178 (java) R 24135 24137 24098 0 -1 4202560 107 0 0 0 86245 13 0 0 20 0 22 0 342479779 12137111552 758761 33554432000 1073741824 1073778376 140734458164864 140016314823504 140016689525730 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24137/tid=24179] ppid=24135 vsize=11852648 CPUtime=862.32 cores=1,3,5,7
/proc/24137/task/24179/stat : 24179 (java) R 24135 24137 24098 0 -1 4202560 1323 0 0 0 86176 56 0 0 20 0 22 0 342479779 12137111552 758761 33554432000 1073741824 1073778376 140734458164864 140016313768768 140016689711648 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24137/tid=24182] ppid=24135 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24137/task/24182/stat : 24182 (java) S 24135 24137 24098 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342479780 12137111552 758761 33554432000 1073741824 1073778376 140734458164864 140016312718632 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24137/tid=24183] ppid=24135 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24137/task/24183/stat : 24183 (java) S 24135 24137 24098 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342479780 12137111552 758761 33554432000 1073741824 1073778376 140734458164864 140016311666088 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
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 24137 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=581182
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=342795
# CPU time returned by wait4() is 1795.92
# while last known CPU time is 1800.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 925.854
CPU time (s): 1800.01
CPU user time (s): 1799.1
CPU system time (s): 0.91
CPU usage (%): 194.416
Max. virtual memory (cumulated for all children) (KiB): 11854028

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.58
system time used= 1.34279
maximum resident set size= 3035164
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27378
page faults= 1
swaps= 0
block input operations= 0
block output operations= 992
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 27628
involuntary context switches= 34594

runsolver used 3.57945 second user time and 9.28659 second system time

The end

Launcher Data

Begin job on node141 at 2012-06-04 00:45:54
IDJOB=3742032
IDBENCH=90126
IDSOLVER=2328
FILE ID=node141/3742032-1338763554
RUNJOBID= node141-1338763554-24115
PBS_JOBID= 14636812
Free space on /tmp= 70720 MiB

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

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

MD5SUM BENCH= 07ddcd712bd0834d3fad6b8ca9adfb4d
RANDOM SEED=671968000

node141.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.744
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.48
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.744
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.744
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.93
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.744
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.92
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.744
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.92
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.744
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		: 2666.744
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.92
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.744
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:        28283380 kB
Buffers:          432760 kB
Cached:          3262272 kB
SwapCached:          216 kB
Active:          1284376 kB
Inactive:        2423044 kB
Active(anon):       3444 kB
Inactive(anon):    11324 kB
Active(file):    1280932 kB
Inactive(file):  2411720 kB
Unevictable:        7632 kB
Mlocked:            7632 kB
SwapTotal:      67108856 kB
SwapFree:       67108640 kB
Dirty:               808 kB
Writeback:             0 kB
AnonPages:         19956 kB
Mapped:             9796 kB
Shmem:               172 kB
Slab:             741784 kB
SReclaimable:     183988 kB
SUnreclaim:       557796 kB
KernelStack:        1344 kB
PageTables:         4100 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     108936 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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= 70720 MiB
End job on node141 at 2012-06-04 01:01:22