Trace number 3742019

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.07 927.755

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K82.opb
MD5SUM007cb74ee15cb0b4c01d23d6abd9d82b
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 variables5576
Total number of constraints5742
Number of constraints which are clauses5660
Number of constraints which are cardinality constraints (but not clauses)82
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint82
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 83
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.07/0.10	c This is free software under the dual EPL/GNU LGPL licenses.
0.07/0.10	c See www.sat4j.org for details.
0.07/0.10	c version 2.3.1.v20110525
0.07/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.07/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.07/0.10	c java.vm.version	19.1-b02
0.07/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.07/0.10	c sun.arch.data.model	64
0.07/0.10	c java.version		1.6.0_24
0.07/0.10	c os.name		Linux
0.07/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.07/0.10	c os.arch		amd64
0.07/0.10	c Free memory 		9996466904
0.07/0.10	c Max memory 		10048897024
0.07/0.10	c Total memory 		10048897024
0.07/0.10	c Number of processors 	8
0.07/0.13	c Pseudo Boolean Optimization
0.07/0.13	c ManyCore solver with 2 solvers running in parallel
0.07/0.13	c --- Begin Solver configuration ---
0.07/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5495fd19
0.07/0.13	c Learn all clauses as in MiniSAT
0.07/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.07/0.13	c Expensive reason simplification
0.07/0.13	c Armin Biere (Picosat) restarts strategy
0.07/0.13	c Glucose learned constraints deletion strategy
0.07/0.13	c timeout=2147483s
0.07/0.13	c DB Simplification allowed=false
0.07/0.13	c --- End Solver configuration ---
0.07/0.13	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.07/0.13	c --- Begin Solver configuration ---
0.07/0.13	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@ae94e92
0.07/0.13	c Learn all clauses as in MiniSAT
0.07/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.13	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.07/0.13	c No reason simplification
0.07/0.13	c Armin Biere (Picosat) restarts strategy
0.07/0.13	c Glucose learned constraints deletion strategy
0.07/0.13	c timeout=2147483s
0.07/0.13	c DB Simplification allowed=false
0.07/0.13	c --- End Solver configuration ---
0.07/0.13	c solving HOME/instance-3742019-1338763288.opb
0.07/0.13	c reading problem ... 
0.77/0.44	c ... done. Wall clock time 0.304s.
0.77/0.44	c #vars     5576
0.77/0.44	c #constraints  5742
0.77/0.44	c constraints type 
0.77/0.44	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4605
0.77/0.44	c org.sat4j.minisat.constraints.card.MinWatchCard => 82
0.77/0.44	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1053
0.77/0.44	c constraints type 
0.77/0.44	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1053
0.77/0.44	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 4605
0.77/0.44	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 82
5.27/2.03	c cleaning 2487 clauses out of 4987 with flag 5000/5000
8.67/3.64	c cleaning 4246 clauses out of 8497 with flag 11000/11000
13.05/5.74	c cleaning 5609 clauses out of 11246 with flag 18000/18000
18.33/8.37	c cleaning 6801 clauses out of 13631 with flag 26000/26000
24.33/11.34	c cleaning 7822 clauses out of 15829 with flag 35000/35000
30.31/14.32	c cleaning 8956 clauses out of 18002 with flag 45000/45000
37.97/18.18	c cleaning 9416 clauses out of 19045 with flag 55000/55000
45.32/21.81	c cleaning 9667 clauses out of 19627 with flag 65000/65000
51.63/25.05	c cleaning 9770 clauses out of 19957 with flag 75001/75001
59.00/28.77	c cleaning 10011 clauses out of 20186 with flag 85003/85003
65.36/31.95	c cleaning 10059 clauses out of 20173 with flag 95001/95001
71.69/35.15	c cleaning 9843 clauses out of 20111 with flag 105000/105000
81.18/39.98	c cleaning 10022 clauses out of 20270 with flag 115003/115003
87.70/43.24	c cleaning 10026 clauses out of 20239 with flag 125000/125000
93.63/46.26	c cleaning 9982 clauses out of 20214 with flag 135001/135001
100.95/49.99	c cleaning 10013 clauses out of 20230 with flag 145000/145000
110.41/54.74	c cleaning 9855 clauses out of 20222 with flag 155005/155005
116.71/57.93	c cleaning 10089 clauses out of 20362 with flag 165000/165000
122.83/61.03	c cleaning 9922 clauses out of 20277 with flag 175004/175004
131.52/65.49	c cleaning 10080 clauses out of 20351 with flag 185001/185001
140.34/69.91	c cleaning 10035 clauses out of 20269 with flag 195000/195000
146.24/72.95	c cleaning 9903 clauses out of 20236 with flag 205002/205002
157.92/78.83	c cleaning 10103 clauses out of 20331 with flag 215000/215000
163.40/81.64	c cleaning 10088 clauses out of 20229 with flag 225002/225002
172.00/86.02	c cleaning 9987 clauses out of 20139 with flag 235000/235000
178.89/89.50	c cleaning 10003 clauses out of 20152 with flag 245000/245000
185.57/92.92	c cleaning 9772 clauses out of 20149 with flag 255000/255000
196.85/98.64	c cleaning 9546 clauses out of 20379 with flag 265002/265002
210.84/105.73	c cleaning 9644 clauses out of 20834 with flag 275003/275003
220.69/110.73	c cleaning 9860 clauses out of 21189 with flag 285002/285002
228.56/114.77	c cleaning 9856 clauses out of 21330 with flag 295004/295004
241.02/121.03	c cleaning 9697 clauses out of 21471 with flag 305001/305001
253.37/127.40	c cleaning 9747 clauses out of 21774 with flag 315001/315001
263.24/132.39	c cleaning 9899 clauses out of 22026 with flag 325001/325001
270.29/135.94	c cleaning 9413 clauses out of 22126 with flag 335002/335002
277.56/139.63	c cleaning 9592 clauses out of 22711 with flag 345000/345000
283.48/142.72	c cleaning 9630 clauses out of 23118 with flag 355001/355001
292.91/147.60	c cleaning 9571 clauses out of 23487 with flag 365000/365000
301.34/151.88	c cleaning 9757 clauses out of 23917 with flag 375002/375002
315.96/159.23	c cleaning 9807 clauses out of 24159 with flag 385001/385001
326.68/164.75	c cleaning 9668 clauses out of 24351 with flag 395000/395000
337.73/170.33	c cleaning 9765 clauses out of 24683 with flag 405000/405000
345.74/174.47	c cleaning 9511 clauses out of 24918 with flag 415000/415000
356.94/180.19	c cleaning 9991 clauses out of 25407 with flag 425000/425000
367.02/185.39	c cleaning 9525 clauses out of 25416 with flag 435001/435001
382.29/193.06	c cleaning 9707 clauses out of 25890 with flag 445000/445000
390.48/197.21	c cleaning 9746 clauses out of 26183 with flag 455000/455000
397.70/200.96	c cleaning 9755 clauses out of 26436 with flag 465000/465000
408.36/206.43	c cleaning 9551 clauses out of 26683 with flag 475002/475002
415.15/209.96	c cleaning 9700 clauses out of 27130 with flag 485000/485000
427.34/216.16	c cleaning 9664 clauses out of 27431 with flag 495001/495001
442.53/223.80	c cleaning 9677 clauses out of 27769 with flag 505003/505003
449.37/227.45	c cleaning 9832 clauses out of 28088 with flag 515000/515000
458.76/232.21	c cleaning 9628 clauses out of 28257 with flag 525001/525001
466.16/236.01	c cleaning 9696 clauses out of 28632 with flag 535005/535005
474.75/240.41	c cleaning 9660 clauses out of 28933 with flag 545002/545002
482.19/244.36	c cleaning 9749 clauses out of 29273 with flag 555002/555002
492.36/249.55	c cleaning 9742 clauses out of 29522 with flag 565000/565000
504.17/255.58	c cleaning 9836 clauses out of 29780 with flag 575000/575000
512.52/259.87	c cleaning 9534 clauses out of 29945 with flag 585001/585001
521.16/264.38	c cleaning 9668 clauses out of 30415 with flag 595005/595005
529.14/268.44	c cleaning 9872 clauses out of 30742 with flag 605000/605000
537.29/272.61	c cleaning 9565 clauses out of 30868 with flag 615000/615000
552.71/280.50	c cleaning 9658 clauses out of 31303 with flag 625000/625000
574.17/291.31	c cleaning 9699 clauses out of 31647 with flag 635002/635002
595.55/302.18	c cleaning 9771 clauses out of 31947 with flag 645001/645001
597.55/303.22	c cleaning 0 clauses out of 5001 with flag 0/5001
605.30/307.15	c cleaning 9806 clauses out of 32175 with flag 655000/655000
614.90/312.12	c cleaning 9767 clauses out of 32369 with flag 665001/665001
625.24/317.43	c cleaning 9639 clauses out of 32603 with flag 675002/675002
640.76/325.34	c cleaning 9728 clauses out of 32962 with flag 685000/685000
652.30/331.21	c cleaning 9697 clauses out of 33236 with flag 695002/695002
666.05/338.38	c cleaning 9738 clauses out of 33538 with flag 705001/705001
679.99/345.50	c cleaning 9815 clauses out of 33800 with flag 715001/715001
694.51/352.80	c cleaning 9686 clauses out of 33985 with flag 725001/725001
703.43/357.48	c cleaning 9641 clauses out of 34300 with flag 735003/735003
710.18/361.05	c cleaning 9435 clauses out of 34658 with flag 745003/745003
719.30/365.74	c cleaning 9637 clauses out of 35219 with flag 755000/755000
728.23/370.39	c cleaning 9657 clauses out of 35582 with flag 765000/765000
742.76/377.74	c cleaning 9698 clauses out of 35926 with flag 775001/775001
757.72/385.46	c cleaning 9754 clauses out of 36232 with flag 785005/785005
768.22/390.84	c cleaning 9830 clauses out of 36474 with flag 795001/795001
774.52/394.14	c cleaning 9674 clauses out of 36643 with flag 805000/805000
788.62/401.34	c cleaning 9799 clauses out of 36970 with flag 815002/815002
796.54/405.51	c cleaning 9802 clauses out of 37168 with flag 825000/825000
806.85/410.83	c cleaning 9757 clauses out of 37365 with flag 835000/835000
828.96/422.07	c cleaning 9727 clauses out of 37608 with flag 845000/845000
849.87/432.60	c cleaning 9839 clauses out of 37881 with flag 855000/855000
857.98/436.91	c cleaning 9670 clauses out of 38042 with flag 865001/865001
867.65/441.97	c cleaning 9682 clauses out of 38371 with flag 875000/875000
874.35/445.46	c cleaning 9711 clauses out of 38689 with flag 885000/885000
884.41/450.63	c cleaning 9713 clauses out of 38982 with flag 895004/895004
893.51/455.46	c cleaning 10061 clauses out of 39265 with flag 905000/905000
904.78/461.29	c cleaning 9616 clauses out of 39207 with flag 915003/915003
918.65/468.36	c cleaning 9688 clauses out of 39590 with flag 925002/925002
934.15/476.25	c cleaning 9911 clauses out of 39900 with flag 935000/935000
947.60/483.23	c cleaning 9719 clauses out of 39992 with flag 945003/945003
960.29/489.79	c cleaning 9870 clauses out of 40272 with flag 955002/955002
974.36/496.93	c cleaning 9686 clauses out of 40400 with flag 965000/965000
984.80/502.35	c cleaning 9783 clauses out of 40714 with flag 975000/975000
992.25/506.30	c cleaning 9728 clauses out of 40931 with flag 985000/985000
999.94/510.32	c cleaning 9732 clauses out of 41206 with flag 995003/995003
1009.57/515.33	c cleaning 9723 clauses out of 41473 with flag 1005002/1005002
1018.02/519.71	c cleaning 9989 clauses out of 41750 with flag 1015002/1015002
1025.04/523.52	c cleaning 9690 clauses out of 41759 with flag 1025000/1025000
1034.06/528.24	c cleaning 9762 clauses out of 42070 with flag 1035001/1035001
1046.49/534.69	c cleaning 9875 clauses out of 42309 with flag 1045002/1045002
1054.51/538.85	c cleaning 9844 clauses out of 42432 with flag 1055000/1055000
1067.10/545.49	c cleaning 9853 clauses out of 42589 with flag 1065001/1065001
1074.52/549.39	c cleaning 10002 clauses out of 42736 with flag 1075001/1075001
1084.35/554.46	c cleaning 9720 clauses out of 42736 with flag 1085003/1085003
1095.00/559.92	c cleaning 9853 clauses out of 43013 with flag 1095000/1095000
1102.57/564.07	c cleaning 9630 clauses out of 43163 with flag 1105003/1105003
1111.76/568.85	c cleaning 9833 clauses out of 43529 with flag 1115000/1115000
1127.18/576.74	c cleaning 9671 clauses out of 43697 with flag 1125001/1125001
1139.76/583.28	c cleaning 9851 clauses out of 44025 with flag 1135000/1135000
1153.95/590.64	c cleaning 9800 clauses out of 44176 with flag 1145002/1145002
1165.34/596.53	c cleaning 9899 clauses out of 44374 with flag 1155000/1155000
1173.34/600.73	c cleaning 9700 clauses out of 44481 with flag 1165006/1165006
1184.51/606.58	c cleaning 9795 clauses out of 44776 with flag 1175001/1175001
1196.83/613.02	c cleaning 9724 clauses out of 44981 with flag 1185001/1185001
1207.01/618.37	c cleaning 9970 clauses out of 45256 with flag 1195000/1195000
1217.42/623.72	c cleaning 9766 clauses out of 45286 with flag 1205000/1205000
1226.21/628.39	c cleaning 9852 clauses out of 45520 with flag 1215000/1215000
1235.33/633.26	c cleaning 9648 clauses out of 45668 with flag 1225000/1225000
1245.50/638.59	c cleaning 9778 clauses out of 46021 with flag 1235001/1235001
1256.08/644.09	c cleaning 9869 clauses out of 46247 with flag 1245005/1245005
1267.68/650.03	c cleaning 9720 clauses out of 46376 with flag 1255003/1255003
1282.15/657.67	c cleaning 9915 clauses out of 46654 with flag 1265001/1265001
1293.33/663.48	c cleaning 10008 clauses out of 46738 with flag 1275000/1275000
1302.51/668.25	c cleaning 9561 clauses out of 46730 with flag 1285000/1285000
1312.30/673.37	c cleaning 9741 clauses out of 47172 with flag 1295003/1295003
1323.98/679.51	c cleaning 9793 clauses out of 47428 with flag 1305000/1305000
1336.78/686.18	c cleaning 9723 clauses out of 47636 with flag 1315001/1315001
1351.92/693.97	c cleaning 9762 clauses out of 47912 with flag 1325000/1325000
1364.29/700.37	c cleaning 9699 clauses out of 48150 with flag 1335000/1335000
1378.39/707.77	c cleaning 9518 clauses out of 48451 with flag 1345000/1345000
1390.76/714.10	c cleaning 9994 clauses out of 48934 with flag 1355001/1355001
1400.10/719.04	c cleaning 9643 clauses out of 48939 with flag 1365000/1365000
1409.87/724.13	c cleaning 10018 clauses out of 49297 with flag 1375001/1375001
1421.95/730.55	c cleaning 9745 clauses out of 49281 with flag 1385003/1385003
1432.13/735.83	c cleaning 9645 clauses out of 49536 with flag 1395003/1395003
1450.08/745.09	c cleaning 9872 clauses out of 49892 with flag 1405004/1405004
1463.23/751.82	c cleaning 9752 clauses out of 50017 with flag 1415001/1415001
1478.93/760.04	c cleaning 9773 clauses out of 50266 with flag 1425002/1425002
1495.66/768.68	c cleaning 9775 clauses out of 50491 with flag 1435000/1435000
1506.81/774.49	c cleaning 9859 clauses out of 50719 with flag 1445003/1445003
1519.35/780.95	c cleaning 9826 clauses out of 50862 with flag 1455005/1455005
1532.01/787.63	c cleaning 9967 clauses out of 51032 with flag 1465001/1465001
1554.13/798.92	c cleaning 9783 clauses out of 51064 with flag 1475000/1475000
1574.87/809.58	c cleaning 9796 clauses out of 51286 with flag 1485005/1485005
1591.39/818.03	c cleaning 9862 clauses out of 51488 with flag 1495003/1495003
1608.41/826.90	c cleaning 9817 clauses out of 51624 with flag 1505001/1505001
1621.92/833.90	c cleaning 9855 clauses out of 51809 with flag 1515004/1515004
1634.63/840.53	c cleaning 9675 clauses out of 51949 with flag 1525000/1525000
1645.18/846.06	c cleaning 9766 clauses out of 52275 with flag 1535001/1535001
1652.80/850.26	c cleaning 9732 clauses out of 52508 with flag 1545000/1545000
1661.28/854.76	c cleaning 9831 clauses out of 52776 with flag 1555000/1555000
1673.36/861.09	c cleaning 9827 clauses out of 52946 with flag 1565001/1565001
1688.08/868.66	c cleaning 9812 clauses out of 53118 with flag 1575000/1575000
1698.06/874.04	c cleaning 9830 clauses out of 53307 with flag 1585001/1585001
1707.98/879.28	c cleaning 9599 clauses out of 53476 with flag 1595000/1595000
1718.45/884.73	c cleaning 9846 clauses out of 53879 with flag 1605002/1605002
1729.92/890.73	c cleaning 9711 clauses out of 54031 with flag 1615000/1615000
1742.44/897.41	c cleaning 9666 clauses out of 54323 with flag 1625003/1625003
1756.52/904.79	c cleaning 9541 clauses out of 54656 with flag 1635002/1635002
1769.78/911.69	c cleaning 9955 clauses out of 55113 with flag 1645000/1645000
1779.26/916.63	c cleaning 10076 clauses out of 55159 with flag 1655001/1655001
1790.80/922.83	c cleaning 9673 clauses out of 55082 with flag 1665000/1665000
1800.07/927.71	c starts		: 207
1800.07/927.71	c conflicts		: 1670221
1800.07/927.71	c decisions		: 11530423
1800.07/927.71	c propagations		: 625022583
1800.07/927.71	c inspects		: 1860343951
1800.07/927.71	c shortcuts		: 0
1800.07/927.71	c learnt literals	: 80
1800.07/927.71	c learnt binary clauses	: 37132
1800.07/927.71	c learnt ternary clauses	: 57477
1800.07/927.71	c learnt constraints	: 1670141
1800.07/927.71	c ignored constraints	: 0
1800.07/927.71	c root simplifications	: 0
1800.07/927.71	c removed literals (reason simplification)	: 46822905
1800.07/927.71	c reason swapping (by a shorter reason)	: 0
1800.07/927.71	c Calls to reduceDB	: 168
1800.07/927.71	c number of reductions to clauses (during analyze)	: 0
1800.07/927.71	c number of learned constraints concerned by reduction	: 0
1800.07/927.71	c number of learning phase by resolution	: 0
1800.07/927.71	c number of learning phase by cutting planes	: 0
1800.07/927.71	c speed (assignments/second)	: 674043.5319010346
1800.07/927.71	c non guided choices	3934
1800.07/927.73	c learnt constraints type 
1800.07/927.73	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 37136
1800.07/927.73	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 13556
1800.07/927.73	c constraints type 
1800.07/927.73	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4605
1800.07/927.73	c org.sat4j.minisat.constraints.card.MinWatchCard => 82
1800.07/927.73	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1053
1800.07/927.73	c constraints type 
1800.07/927.73	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1053
1800.07/927.73	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 4605
1800.07/927.73	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 82
1800.07/927.73	s UNKNOWN
1800.07/927.73	c Total wall clock time (in seconds): 927.604

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-3742019-1338763288/watcher-3742019-1338763288 -o /tmp/evaluation-result-3742019-1338763288/solver-3742019-1338763288 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3742019-1338763288.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.88 3.86 3.83 4/197 15583
/proc/meminfo: memFree=27364648/32873844 swapFree=7116/7116
[pid=15583] ppid=15581 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/15583/stat : 15583 (java) D 15581 15583 13088 0 -1 4202496 239 0 0 0 0 0 0 0 20 0 1 0 342453753 9515008 175 33554432000 1073741824 1073778376 140737084163632 140737084146360 240565175184 0 0 4096 0 18446744072100609316 0 0 17 2 0 0 0 0 0
/proc/15583/statm: 2323 175 133 9 0 71 0

[startup+0.0355529 s]
/proc/loadavg: 3.88 3.86 3.83 4/197 15583
/proc/meminfo: memFree=27364648/32873844 swapFree=7116/7116
[pid=15583] ppid=15581 vsize=11042732 CPUtime=0 cores=0,2,4,6
/proc/15583/stat : 15583 (java) S 15581 15583 13088 0 -1 4202496 2925 0 1 0 0 0 0 0 20 0 10 0 342453753 11307757568 10272 33554432000 1073741824 1073778376 140733327305376 140733327296512 240568533053 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15583/statm: 2760683 10272 1033 9 0 2751792 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11042732

[startup+0.100353 s]
/proc/loadavg: 3.88 3.86 3.83 4/197 15583
/proc/meminfo: memFree=27364648/32873844 swapFree=7116/7116
[pid=15583] ppid=15581 vsize=11586392 CPUtime=0.07 cores=0,2,4,6
/proc/15583/stat : 15583 (java) S 15581 15583 13088 0 -1 4202496 3963 0 1 0 6 1 0 0 20 0 18 0 342453753 11864465408 12838 33554432000 1073741824 1073778376 140733327305376 140733327296512 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15583/statm: 2896598 12838 1779 9 0 2887285 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11586392

[startup+0.300171 s]
/proc/loadavg: 3.88 3.86 3.83 4/197 15583
/proc/meminfo: memFree=27364648/32873844 swapFree=7116/7116
[pid=15583] ppid=15581 vsize=11586392 CPUtime=0.53 cores=0,2,4,6
/proc/15583/stat : 15583 (java) S 15581 15583 13088 0 -1 4202496 7502 0 1 0 51 2 0 0 20 0 18 0 342453753 11864465408 17458 33554432000 1073741824 1073778376 140733327305376 140733327296512 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15583/statm: 2896598 17458 2222 9 0 2887285 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 11586392

[startup+0.700177 s]
/proc/loadavg: 3.88 3.86 3.83 4/197 15583
/proc/meminfo: memFree=27364648/32873844 swapFree=7116/7116
[pid=15583] ppid=15581 vsize=11852648 CPUtime=1.92 cores=0,2,4,6
/proc/15583/stat : 15583 (java) S 15581 15583 13088 0 -1 4202496 12244 0 1 0 188 4 0 0 20 0 22 0 342453753 12137111552 28441 33554432000 1073741824 1073778376 140733327305376 140733327296512 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15583/statm: 2963162 28441 2262 9 0 2953849 0
Current children cumulated CPU time (s) 1.92
Current children cumulated vsize (KiB) 11852648

[startup+1.5008 s]
/proc/loadavg: 3.88 3.86 3.83 7/219 15605
/proc/meminfo: memFree=27194548/32873844 swapFree=7116/7116
[pid=15583] ppid=15581 vsize=11852648 CPUtime=4.23 cores=0,2,4,6
/proc/15583/stat : 15583 (java) S 15581 15583 13088 0 -1 4202496 21143 0 1 0 414 9 0 0 20 0 22 0 342453753 12137111552 111348 33554432000 1073741824 1073778376 140733327305376 140733327296512 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15583/statm: 2963162 111348 2264 9 0 2953849 0
[pid=15583/tid=15585] ppid=15581 vsize=11852648 CPUtime=0.4 cores=0,2,4,6
/proc/15583/task/15585/stat : 15585 (java) S 15581 15583 13088 0 -1 4202560 2884 0 1 0 38 2 0 0 20 0 22 0 342453754 12137111552 111348 33554432000 1073741824 1073778376 140733327305376 139832838132888 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15583/tid=15586] ppid=15581 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15583/task/15586/stat : 15586 (java) S 15581 15583 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342453756 12137111552 111348 33554432000 1073741824 1073778376 140733327305376 139832806541480 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15583/tid=15587] ppid=15581 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15583/task/15587/stat : 15587 (java) S 15581 15583 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342453756 12137111552 111348 33554432000 1073741824 1073778376 140733327305376 139832805488936 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15583/tid=15588] ppid=15581 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15583/task/15588/stat : 15588 (java) S 15581 15583 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342453756 12137111552 111348 33554432000 1073741824 1073778376 140733327305376 139832804436392 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15583/tid=15589] ppid=15581 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15583/task/15589/stat : 15589 (java) S 15581 15583 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342453756 12137111552 111348 33554432000 1073741824 1073778376 140733327305376 139832803383848 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15583/tid=15590] ppid=15581 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15583/task/15590/stat : 15590 (java) S 15581 15583 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342453756 12137111552 111348 33554432000 1073741824 1073778376 140733327305376 139832802331304 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15583/tid=15591] ppid=15581 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15583/task/15591/stat : 15591 (java) S 15581 15583 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342453756 12137111552 111348 33554432000 1073741824 1073778376 140733327305376 139832801278760 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15583/tid=15592] ppid=15581 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15583/task/15592/stat : 15592 (java) S 15581 15583 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342453756 12137111552 111348 33554432000 1073741824 1073778376 140733327305376 139832800226216 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15583/tid=15593] ppid=15581 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15583/task/15593/stat : 15593 (java) S 15581 15583 13088 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 342453757 12137111552 111348 33554432000 1073741824 1073778376 140733327305376 139832799173672 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15583/tid=15594] ppid=15581 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15583/task/15594/stat : 15594 (java) S 15581 15583 13088 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 342453758 12137111552 111348 33554432000 1073741824 1073778376 140733327305376 139832184510568 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15583/tid=15595] ppid=15581 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15583/task/15595/stat : 15595 (java) S 15581 15583 13088 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 342453758 12137111552 111348 33554432000 1073741824 1073778376 140733327305376 139832183456888 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15583/tid=15596] ppid=15581 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15583/task/15596/stat : 15596 (java) S 15581 15583 13088 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342453758 12137111552 111348 33554432000 1073741824 1073778376 140733327305376 139832182404232 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15583/tid=15597] ppid=15581 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15583/task/15597/stat : 15597 (java) S 15581 15583 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342453761 12137111552 111348 33554432000 1073741824 1073778376 140733327305376 139832181352976 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15583/tid=15598] ppid=15581 vsize=11852648 CPUtime=0.87 cores=0,2,4,6
/proc/15583/task/15598/stat : 15598 (java) S 15581 15583 13088 0 -1 4202560 7408 0 0 0 86 1 0 0 20 0 22 0 342453761 12137111552 111348 33554432000 1073741824 1073778376 140733327305376 139832180300344 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15583/tid=15599] ppid=15581 vsize=11852648 CPUtime=0.79 cores=0,2,4,6
/proc/15583/task/15599/stat : 15599 (java) S 15581 15583 13088 0 -1 4202560 9397 0 0 0 77 2 0 0 20 0 22 0 342453761 12137111552 111348 33554432000 1073741824 1073778376 140733327305376 139832179247800 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15583/tid=15600] ppid=15581 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15583/task/15600/stat : 15600 (java) S 15581 15583 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342453761 12137111552 111348 33554432000 1073741824 1073778376 140733327305376 139832178195448 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15583/tid=15601] ppid=15581 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15583/task/15601/stat : 15601 (java) S 15581 15583 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342453761 12137111552 111348 33554432000 1073741824 1073778376 140733327305376 139832177143112 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15583/tid=15602] ppid=15581 vsize=11852648 CPUtime=1.04 cores=0,2,4,6
/proc/15583/task/15602/stat : 15602 (java) R 15581 15583 13088 0 -1 4202560 26 0 0 0 104 0 0 0 20 0 22 0 342453797 12137111552 111348 33554432000 1073741824 1073778376 140733327305376 139832176087320 139832677122297 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15583/tid=15603] ppid=15581 vsize=11852648 CPUtime=1.04 cores=0,2,4,6
/proc/15583/task/15603/stat : 15603 (java) R 15581 15583 13088 0 -1 4202560 227 0 0 0 100 4 0 0 20 0 22 0 342453797 12137111552 111348 33554432000 1073741824 1073778376 140733327305376 139832175034424 139832676977325 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=15583/tid=15604] ppid=15581 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15583/task/15604/stat : 15604 (java) S 15581 15583 13088 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342453799 12137111552 111348 33554432000 1073741824 1073778376 140733327305376 139832173982760 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15583/tid=15605] ppid=15581 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15583/task/15605/stat : 15605 (java) S 15581 15583 13088 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342453799 12137111552 111348 33554432000 1073741824 1073778376 140733327305376 139832172930216 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 4.23
Current children cumulated vsize (KiB) 11852648

[startup+3.1008 s]
/proc/loadavg: 3.88 3.86 3.83 5/219 15605
/proc/meminfo: memFree=26675032/32873844 swapFree=7116/7116
[pid=15583] ppid=15581 vsize=11852648 CPUtime=7.6 cores=0,2,4,6
/proc/15583/stat : 15583 (java) S 15581 15583 13088 0 -1 4202496 21336 0 1 0 747 13 0 0 20 0 22 0 342453753 12137111552 178468 33554432000 1073741824 1073778376 140733327305376 140733327296512 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15583/statm: 2963162 178468 2290 9 0 2953849 0
[pid=15583/tid=15585] ppid=15581 vsize=11852648 CPUtime=0.4 cores=0,2,4,6
/proc/15583/task/15585/stat : 15585 (java) S 15581 15583 13088 0 -1 4202560 2884 0 1 0 38 2 0 0 20 0 22 0 342453754 12137111552 178468 33554432000 1073741824 1073778376 140733327305376 139832838132888 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15583/tid=15586] ppid=15581 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15583/task/15586/stat : 15586 (java) S 15581 15583 13088 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 342453756 12137111552 178468 33554432000 1073741824 1073778376 140733327305376 139832806541480 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15583/tid=15587] ppid=15581 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15583/task/15587/stat : 15587 (java) S 15581 15583 13088 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 342453756 12137111552 178468 33554432000 1073741824 1073778376 140733327305376 139832805488936 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15583/tid=15588] ppid=15581 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15583/task/15588/stat : 15588 (java) S 15581 15583 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342453756 12137111552 178468 33554432000 1073741824 1073778376 140733327305376 139832804436392 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15583/tid=15589] ppid=15581 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15583/task/15589/stat : 15589 (java) S 15581 15583 13088 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 342453756 12137111552 178468 33554432000 1073741824 1073778376 140733327305376 139832803383848 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15583/tid=15590] ppid=15581 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15583/task/15590/stat : 15590 (java) S 15581 15583 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342453756 12137111552 178468 33554432000 1073741824 1073778376 140733327305376 139832802331304 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15583/tid=15591] ppid=15581 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15583/task/15591/stat : 15591 (java) S 15581 15583 13088 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 342453756 12137111552 178468 33554432000 1073741824 1073778376 140733327305376 139832801278760 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15583/tid=15592] ppid=15581 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15583/task/15592/stat : 15592 (java) S 15581 15583 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342453756 12137111552 178468 33554432000 1073741824 1073778376 140733327305376 139832800226216 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15583/tid=15593] ppid=15581 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15583/task/15593/stat : 15593 (java) S 15581 15583 13088 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 342453757 12137111552 178468 33554432000 1073741824 1073778376 140733327305376 139832799173672 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15583/tid=15594] ppid=15581 vsize=11852648 CPUtime=0.01 cores=0,2,4,6
/proc/15583/task/15594/stat : 15594 (java) S 15581 15583 13088 0 -1 4202560 32 0 0 0 1 0 0 0 20 0 22 0 342453758 12137111552 178468 33554432000 1073741824 1073778376 140733327305376 139832184510568 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15583/tid=15595] ppid=15581 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15583/task/15595/stat : 15595 (java) S 15581 15583 13088 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 342453758 12137111552 178468 33554432000 1073741824 1073778376 140733327305376 139832183456888 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15583/tid=15596] ppid=15581 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15583/task/15596/stat : 15596 (java) S 15581 15583 13088 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342453758 12137111552 178468 33554432000 1073741824 1073778376 140733327305376 139832182404232 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15583/tid=15597] ppid=15581 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15583/task/15597/stat : 15597 (java) S 15581 15583 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342453761 12137111552 178468 33554432000 1073741824 1073778376 140733327305376 139832181352976 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15583/tid=15598] ppid=15581 vsize=11852648 CPUtime=1.03 cores=0,2,4,6
/proc/15583/task/15598/stat : 15598 (java) S 15581 15583 13088 0 -1 4202560 7415 0 0 0 102 1 0 0 20 0 22 0 342453761 12137111552 178468 33554432000 1073741824 1073778376 140733327305376 139832180300344 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15583/tid=15599] ppid=15581 vsize=11852648 CPUtime=0.83 cores=0,2,4,6
/proc/15583/task/15599/stat : 15599 (java) S 15581 15583 13088 0 -1 4202560 9398 0 0 0 81 2 0 0 20 0 22 0 342453761 12137111552 178468 33554432000 1073741824 1073778376 140733327305376 139832179247800 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15583/tid=15600] ppid=15581 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15583/task/15600/stat : 15600 (java) S 15581 15583 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342453761 12137111552 178468 33554432000 1073741824 1073778376 140733327305376 139832178195448 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15583/tid=15601] ppid=15581 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15583/task/15601/stat : 15601 (java) S 15581 15583 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342453761 12137111552 178468 33554432000 1073741824 1073778376 140733327305376 139832177143112 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15583/tid=15602] ppid=15581 vsize=11852648 CPUtime=2.6 cores=0,2,4,6
/proc/15583/task/15602/stat : 15602 (java) R 15581 15583 13088 0 -1 4202560 29 0 0 0 260 0 0 0 20 0 22 0 342453797 12137111552 178468 33554432000 1073741824 1073778376 140733327305376 139832176084912 139832676968446 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15583/tid=15603] ppid=15581 vsize=11852648 CPUtime=2.61 cores=0,2,4,6
/proc/15583/task/15603/stat : 15603 (java) R 15581 15583 13088 0 -1 4202560 350 0 0 0 253 8 0 0 20 0 22 0 342453797 12137111552 178468 33554432000 1073741824 1073778376 140733327305376 139832175032360 139832677349004 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=15583/tid=15604] ppid=15581 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15583/task/15604/stat : 15604 (java) S 15581 15583 13088 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342453799 12137111552 178468 33554432000 1073741824 1073778376 140733327305376 139832173982760 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15583/tid=15605] ppid=15581 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15583/task/15605/stat : 15605 (java) S 15581 15583 13088 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342453799 12137111552 178468 33554432000 1073741824 1073778376 140733327305376 139832172930216 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 7.6
Current children cumulated vsize (KiB) 11852648

[startup+6.30081 s]
/proc/loadavg: 3.89 3.86 3.83 5/219 15605
/proc/meminfo: memFree=26512620/32873844 swapFree=7116/7116
[pid=15583] ppid=15581 vsize=11852648 CPUtime=14.24 cores=0,2,4,6
/proc/15583/stat : 15583 (java) S 15581 15583 13088 0 -1 4202496 21551 0 1 0 1405 19 0 0 20 0 22 0 342453753 12137111552 256266 33554432000 1073741824 1073778376 140733327305376 140733327296512 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15583/statm: 2963162 256266 2290 9 0 2953849 0
[pid=15583/tid=15585] ppid=15581 vsize=11852648 CPUtime=0.4 cores=0,2,4,6
/proc/15583/task/15585/stat : 15585 (java) S 15581 15583 13088 0 -1 4202560 2884 0 1 0 38 2 0 0 20 0 22 0 342453754 12137111552 256266 33554432000 1073741824 1073778376 140733327305376 139832838132888 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15583/tid=15586] ppid=15581 vsize=11852648 CPUtime=0.01 cores=0,2,4,6
/proc/15583/task/15586/stat : 15586 (java) S 15581 15583 13088 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 22 0 342453756 12137111552 256266 33554432000 1073741824 1073778376 140733327305376 139832806541480 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15583/tid=15587] ppid=15581 vsize=11852648 CPUtime=0.01 cores=0,2,4,6
/proc/15583/task/15587/stat : 15587 (java) S 15581 15583 13088 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 342453756 12137111552 256266 33554432000 1073741824 1073778376 140733327305376 139832805488936 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15583/tid=15588] ppid=15581 vsize=11852648 CPUtime=0.01 cores=0,2,4,6
/proc/15583/task/15588/stat : 15588 (java) S 15581 15583 13088 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 342453756 12137111552 256266 33554432000 1073741824 1073778376 140733327305376 139832804436392 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15583/tid=15589] ppid=15581 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15583/task/15589/stat : 15589 (java) S 15581 15583 13088 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342453756 12137111552 256266 33554432000 1073741824 1073778376 140733327305376 139832803383848 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15583/tid=15590] ppid=15581 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15583/task/15590/stat : 15590 (java) S 15581 15583 13088 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 342453756 12137111552 256266 33554432000 1073741824 1073778376 140733327305376 139832802331304 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15583/tid=15591] ppid=15581 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15583/task/15591/stat : 15591 (java) S 15581 15583 13088 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 342453756 12137111552 256266 33554432000 1073741824 1073778376 140733327305376 139832801278760 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15583/tid=15592] ppid=15581 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15583/task/15592/stat : 15592 (java) S 15581 15583 13088 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342453756 12137111552 256266 33554432000 1073741824 1073778376 140733327305376 139832800226216 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15583/tid=15593] ppid=15581 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15583/task/15593/stat : 15593 (java) S 15581 15583 13088 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342453757 12137111552 256266 33554432000 1073741824 1073778376 140733327305376 139832799173672 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15583/tid=15594] ppid=15581 vsize=11852648 CPUtime=0.08 cores=0,2,4,6
/proc/15583/task/15594/stat : 15594 (java) S 15581 15583 13088 0 -1 4202560 56 0 0 0 8 0 0 0 20 0 22 0 342453758 12137111552 256266 33554432000 1073741824 1073778376 140733327305376 139832184510568 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15583/tid=15595] ppid=15581 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15583/task/15595/stat : 15595 (java) S 15581 15583 13088 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 342453758 12137111552 256266 33554432000 1073741824 1073778376 140733327305376 139832183456888 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15583/tid=15596] ppid=15581 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15583/task/15596/stat : 15596 (java) S 15581 15583 13088 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342453758 12137111552 256266 33554432000 1073741824 1073778376 140733327305376 139832182404232 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15583/tid=15597] ppid=15581 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15583/task/15597/stat : 15597 (java) S 15581 15583 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342453761 12137111552 256266 33554432000 1073741824 1073778376 140733327305376 139832181352976 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15583/tid=15598] ppid=15581 vsize=11852648 CPUtime=1.11 cores=0,2,4,6
/proc/15583/task/15598/stat : 15598 (java) S 15581 15583 13088 0 -1 4202560 7420 0 0 0 109 2 0 0 20 0 22 0 342453761 12137111552 256266 33554432000 1073741824 1073778376 140733327305376 139832180300344 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0

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

/proc/15583/statm: 2963162 778115 2291 9 0 2953849 0
[pid=15583/tid=15585] ppid=15581 vsize=11852648 CPUtime=0.44 cores=0,2,4,6
/proc/15583/task/15585/stat : 15585 (java) S 15581 15583 13088 0 -1 4202560 2988 0 1 0 40 4 0 0 20 0 22 0 342453754 12137111552 778115 33554432000 1073741824 1073778376 140733327305376 139832838132888 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15583/tid=15586] ppid=15581 vsize=11852648 CPUtime=1.34 cores=0,2,4,6
/proc/15583/task/15586/stat : 15586 (java) S 15581 15583 13088 0 -1 4202560 85 0 0 0 132 2 0 0 20 0 22 0 342453756 12137111552 778115 33554432000 1073741824 1073778376 140733327305376 139832806541480 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15583/tid=15587] ppid=15581 vsize=11852648 CPUtime=1.39 cores=0,2,4,6
/proc/15583/task/15587/stat : 15587 (java) S 15581 15583 13088 0 -1 4202560 75 0 0 0 137 2 0 0 20 0 22 0 342453756 12137111552 778115 33554432000 1073741824 1073778376 140733327305376 139832805488936 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15583/tid=15588] ppid=15581 vsize=11852648 CPUtime=1.4 cores=0,2,4,6
/proc/15583/task/15588/stat : 15588 (java) S 15581 15583 13088 0 -1 4202560 89 0 0 0 138 2 0 0 20 0 22 0 342453756 12137111552 778115 33554432000 1073741824 1073778376 140733327305376 139832804436392 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15583/tid=15589] ppid=15581 vsize=11852648 CPUtime=1.32 cores=0,2,4,6
/proc/15583/task/15589/stat : 15589 (java) S 15581 15583 13088 0 -1 4202560 66 0 0 0 132 0 0 0 20 0 22 0 342453756 12137111552 778115 33554432000 1073741824 1073778376 140733327305376 139832803383848 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15583/tid=15590] ppid=15581 vsize=11852648 CPUtime=1.51 cores=0,2,4,6
/proc/15583/task/15590/stat : 15590 (java) S 15581 15583 13088 0 -1 4202560 91 0 0 0 149 2 0 0 20 0 22 0 342453756 12137111552 778115 33554432000 1073741824 1073778376 140733327305376 139832802331304 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15583/tid=15591] ppid=15581 vsize=11852648 CPUtime=1.41 cores=0,2,4,6
/proc/15583/task/15591/stat : 15591 (java) S 15581 15583 13088 0 -1 4202560 82 0 0 0 139 2 0 0 20 0 22 0 342453756 12137111552 778115 33554432000 1073741824 1073778376 140733327305376 139832801278760 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15583/tid=15592] ppid=15581 vsize=11852648 CPUtime=1.31 cores=0,2,4,6
/proc/15583/task/15592/stat : 15592 (java) S 15581 15583 13088 0 -1 4202560 81 0 0 0 129 2 0 0 20 0 22 0 342453756 12137111552 778115 33554432000 1073741824 1073778376 140733327305376 139832800226216 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15583/tid=15593] ppid=15581 vsize=11852648 CPUtime=1.34 cores=0,2,4,6
/proc/15583/task/15593/stat : 15593 (java) S 15581 15583 13088 0 -1 4202560 69 0 0 0 132 2 0 0 20 0 22 0 342453757 12137111552 778115 33554432000 1073741824 1073778376 140733327305376 139832799173672 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15583/tid=15594] ppid=15581 vsize=11852648 CPUtime=57.79 cores=0,2,4,6
/proc/15583/task/15594/stat : 15594 (java) S 15581 15583 13088 0 -1 4202560 288 0 0 0 5770 9 0 0 20 0 22 0 342453758 12137111552 778115 33554432000 1073741824 1073778376 140733327305376 139832184510568 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15583/tid=15595] ppid=15581 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15583/task/15595/stat : 15595 (java) S 15581 15583 13088 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 342453758 12137111552 778115 33554432000 1073741824 1073778376 140733327305376 139832183456888 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15583/tid=15596] ppid=15581 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15583/task/15596/stat : 15596 (java) S 15581 15583 13088 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342453758 12137111552 778115 33554432000 1073741824 1073778376 140733327305376 139832182404232 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15583/tid=15597] ppid=15581 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15583/task/15597/stat : 15597 (java) S 15581 15583 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342453761 12137111552 778115 33554432000 1073741824 1073778376 140733327305376 139832181352976 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15583/tid=15598] ppid=15581 vsize=11852648 CPUtime=1.49 cores=0,2,4,6
/proc/15583/task/15598/stat : 15598 (java) S 15581 15583 13088 0 -1 4202560 7435 0 0 0 147 2 0 0 20 0 22 0 342453761 12137111552 778115 33554432000 1073741824 1073778376 140733327305376 139832180300344 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15583/tid=15599] ppid=15581 vsize=11852648 CPUtime=1.26 cores=0,2,4,6
/proc/15583/task/15599/stat : 15599 (java) S 15581 15583 13088 0 -1 4202560 9555 0 0 0 124 2 0 0 20 0 22 0 342453761 12137111552 778115 33554432000 1073741824 1073778376 140733327305376 139832179247800 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15583/tid=15600] ppid=15581 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15583/task/15600/stat : 15600 (java) S 15581 15583 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342453761 12137111552 778115 33554432000 1073741824 1073778376 140733327305376 139832178195448 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15583/tid=15601] ppid=15581 vsize=11852648 CPUtime=0.32 cores=0,2,4,6
/proc/15583/task/15601/stat : 15601 (java) S 15581 15583 13088 0 -1 4202560 51 0 0 0 16 16 0 0 20 0 22 0 342453761 12137111552 778115 33554432000 1073741824 1073778376 140733327305376 139832177143112 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15583/tid=15602] ppid=15581 vsize=11852648 CPUtime=818.52 cores=0,2,4,6
/proc/15583/task/15602/stat : 15602 (java) R 15581 15583 13088 0 -1 4202560 86 0 0 0 81839 13 0 0 20 0 22 0 342453797 12137111552 778115 33554432000 1073741824 1073778376 140733327305376 139832176087120 139832677034431 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=15583/tid=15603] ppid=15581 vsize=11852648 CPUtime=818.51 cores=0,2,4,6
/proc/15583/task/15603/stat : 15603 (java) R 15581 15583 13088 0 -1 4202560 1311 0 0 0 81799 52 0 0 20 0 22 0 342453797 12137111552 778115 33554432000 1073741824 1073778376 140733327305376 139832175032592 139832677322351 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=15583/tid=15604] ppid=15581 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15583/task/15604/stat : 15604 (java) S 15581 15583 13088 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342453799 12137111552 778115 33554432000 1073741824 1073778376 140733327305376 139832173982760 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15583/tid=15605] ppid=15581 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15583/task/15605/stat : 15605 (java) S 15581 15583 13088 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342453799 12137111552 778115 33554432000 1073741824 1073778376 140733327305376 139832172930216 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1713.65
Current children cumulated vsize (KiB) 11852648



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+927.701 s]
/proc/loadavg: 3.88 3.92 3.84 6/219 15673
/proc/meminfo: memFree=25044292/32873844 swapFree=7116/7116
[pid=15583] ppid=15581 vsize=11852648 CPUtime=1800.07 cores=0,2,4,6
/proc/15583/stat : 15583 (java) S 15581 15583 13088 0 -1 4202496 23585 0 1 0 179921 86 0 0 20 0 22 0 342453753 12137111552 780194 33554432000 1073741824 1073778376 140733327305376 140733327296512 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15583/statm: 2963162 780194 2291 9 0 2953849 0
[pid=15583/tid=15585] ppid=15581 vsize=11852648 CPUtime=0.44 cores=0,2,4,6
/proc/15583/task/15585/stat : 15585 (java) S 15581 15583 13088 0 -1 4202560 2995 0 1 0 40 4 0 0 20 0 22 0 342453754 12137111552 780194 33554432000 1073741824 1073778376 140733327305376 139832838132888 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15583/tid=15586] ppid=15581 vsize=11852648 CPUtime=1.41 cores=0,2,4,6
/proc/15583/task/15586/stat : 15586 (java) S 15581 15583 13088 0 -1 4202560 89 0 0 0 139 2 0 0 20 0 22 0 342453756 12137111552 780194 33554432000 1073741824 1073778376 140733327305376 139832806541480 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15583/tid=15587] ppid=15581 vsize=11852648 CPUtime=1.52 cores=0,2,4,6
/proc/15583/task/15587/stat : 15587 (java) S 15581 15583 13088 0 -1 4202560 79 0 0 0 150 2 0 0 20 0 22 0 342453756 12137111552 780194 33554432000 1073741824 1073778376 140733327305376 139832805488936 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15583/tid=15588] ppid=15581 vsize=11852648 CPUtime=1.49 cores=0,2,4,6
/proc/15583/task/15588/stat : 15588 (java) S 15581 15583 13088 0 -1 4202560 92 0 0 0 147 2 0 0 20 0 22 0 342453756 12137111552 780194 33554432000 1073741824 1073778376 140733327305376 139832804436392 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15583/tid=15589] ppid=15581 vsize=11852648 CPUtime=1.43 cores=0,2,4,6
/proc/15583/task/15589/stat : 15589 (java) S 15581 15583 13088 0 -1 4202560 73 0 0 0 141 2 0 0 20 0 22 0 342453756 12137111552 780194 33554432000 1073741824 1073778376 140733327305376 139832803383848 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15583/tid=15590] ppid=15581 vsize=11852648 CPUtime=1.6 cores=0,2,4,6
/proc/15583/task/15590/stat : 15590 (java) S 15581 15583 13088 0 -1 4202560 97 0 0 0 158 2 0 0 20 0 22 0 342453756 12137111552 780194 33554432000 1073741824 1073778376 140733327305376 139832802331304 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15583/tid=15591] ppid=15581 vsize=11852648 CPUtime=1.51 cores=0,2,4,6
/proc/15583/task/15591/stat : 15591 (java) S 15581 15583 13088 0 -1 4202560 84 0 0 0 149 2 0 0 20 0 22 0 342453756 12137111552 780194 33554432000 1073741824 1073778376 140733327305376 139832801278760 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15583/tid=15592] ppid=15581 vsize=11852648 CPUtime=1.39 cores=0,2,4,6
/proc/15583/task/15592/stat : 15592 (java) S 15581 15583 13088 0 -1 4202560 85 0 0 0 137 2 0 0 20 0 22 0 342453756 12137111552 780194 33554432000 1073741824 1073778376 140733327305376 139832800226216 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15583/tid=15593] ppid=15581 vsize=11852648 CPUtime=1.41 cores=0,2,4,6
/proc/15583/task/15593/stat : 15593 (java) S 15581 15583 13088 0 -1 4202560 70 0 0 0 139 2 0 0 20 0 22 0 342453757 12137111552 780194 33554432000 1073741824 1073778376 140733327305376 139832799173672 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15583/tid=15594] ppid=15581 vsize=11852648 CPUtime=62.5 cores=0,2,4,6
/proc/15583/task/15594/stat : 15594 (java) S 15581 15583 13088 0 -1 4202560 294 0 0 0 6241 9 0 0 20 0 22 0 342453758 12137111552 780194 33554432000 1073741824 1073778376 140733327305376 139832184510568 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15583/tid=15595] ppid=15581 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15583/task/15595/stat : 15595 (java) S 15581 15583 13088 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 342453758 12137111552 780194 33554432000 1073741824 1073778376 140733327305376 139832183456888 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15583/tid=15596] ppid=15581 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15583/task/15596/stat : 15596 (java) S 15581 15583 13088 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342453758 12137111552 780194 33554432000 1073741824 1073778376 140733327305376 139832182404232 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15583/tid=15597] ppid=15581 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15583/task/15597/stat : 15597 (java) S 15581 15583 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342453761 12137111552 780194 33554432000 1073741824 1073778376 140733327305376 139832181352976 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15583/tid=15598] ppid=15581 vsize=11852648 CPUtime=1.49 cores=0,2,4,6
/proc/15583/task/15598/stat : 15598 (java) S 15581 15583 13088 0 -1 4202560 7435 0 0 0 147 2 0 0 20 0 22 0 342453761 12137111552 780194 33554432000 1073741824 1073778376 140733327305376 139832180300344 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15583/tid=15599] ppid=15581 vsize=11852648 CPUtime=1.26 cores=0,2,4,6
/proc/15583/task/15599/stat : 15599 (java) S 15581 15583 13088 0 -1 4202560 9555 0 0 0 124 2 0 0 20 0 22 0 342453761 12137111552 780194 33554432000 1073741824 1073778376 140733327305376 139832179247800 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15583/tid=15600] ppid=15581 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15583/task/15600/stat : 15600 (java) S 15581 15583 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342453761 12137111552 780194 33554432000 1073741824 1073778376 140733327305376 139832178195448 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15583/tid=15601] ppid=15581 vsize=11852648 CPUtime=0.34 cores=0,2,4,6
/proc/15583/task/15601/stat : 15601 (java) S 15581 15583 13088 0 -1 4202560 53 0 0 0 18 16 0 0 20 0 22 0 342453761 12137111552 780194 33554432000 1073741824 1073778376 140733327305376 139832177143112 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15583/tid=15602] ppid=15581 vsize=11852648 CPUtime=858.89 cores=0,2,4,6
/proc/15583/task/15602/stat : 15602 (java) R 15581 15583 13088 0 -1 4202560 86 0 0 0 85875 14 0 0 20 0 22 0 342453797 12137111552 780194 33554432000 1073741824 1073778376 140733327305376 139832176087120 139832677165662 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=15583/tid=15603] ppid=15581 vsize=11852648 CPUtime=858.9 cores=0,2,4,6
/proc/15583/task/15603/stat : 15603 (java) R 15581 15583 13088 0 -1 4202560 1311 0 0 0 85837 53 0 0 20 0 22 0 342453797 12137111552 780194 33554432000 1073741824 1073778376 140733327305376 139832175032816 139832677163871 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=15583/tid=15604] ppid=15581 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15583/task/15604/stat : 15604 (java) S 15581 15583 13088 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342453799 12137111552 780194 33554432000 1073741824 1073778376 140733327305376 139832173982760 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15583/tid=15605] ppid=15581 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15583/task/15605/stat : 15605 (java) S 15581 15583 13088 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342453799 12137111552 780194 33554432000 1073741824 1073778376 140733327305376 139832172930216 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
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

[startup+927.701 s]
/proc/loadavg: 3.88 3.92 3.84 6/219 15673
/proc/meminfo: memFree=25044292/32873844 swapFree=7116/7116
[pid=15583] ppid=15581 vsize=11852648 CPUtime=1800.07 cores=0,2,4,6
/proc/15583/stat : 15583 (java) S 15581 15583 13088 0 -1 4202496 23585 0 1 0 179921 86 0 0 20 0 22 0 342453753 12137111552 780194 33554432000 1073741824 1073778376 140733327305376 140733327296512 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15583/statm: 2963162 780194 2291 9 0 2953849 0
[pid=15583/tid=15585] ppid=15581 vsize=11852648 CPUtime=0.44 cores=0,2,4,6
/proc/15583/task/15585/stat : 15585 (java) S 15581 15583 13088 0 -1 4202560 2995 0 1 0 40 4 0 0 20 0 22 0 342453754 12137111552 780194 33554432000 1073741824 1073778376 140733327305376 139832838132888 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15583/tid=15586] ppid=15581 vsize=11852648 CPUtime=1.41 cores=0,2,4,6
/proc/15583/task/15586/stat : 15586 (java) S 15581 15583 13088 0 -1 4202560 89 0 0 0 139 2 0 0 20 0 22 0 342453756 12137111552 780194 33554432000 1073741824 1073778376 140733327305376 139832806541480 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15583/tid=15587] ppid=15581 vsize=11852648 CPUtime=1.52 cores=0,2,4,6
/proc/15583/task/15587/stat : 15587 (java) S 15581 15583 13088 0 -1 4202560 79 0 0 0 150 2 0 0 20 0 22 0 342453756 12137111552 780194 33554432000 1073741824 1073778376 140733327305376 139832805488936 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15583/tid=15588] ppid=15581 vsize=11852648 CPUtime=1.49 cores=0,2,4,6
/proc/15583/task/15588/stat : 15588 (java) S 15581 15583 13088 0 -1 4202560 92 0 0 0 147 2 0 0 20 0 22 0 342453756 12137111552 780194 33554432000 1073741824 1073778376 140733327305376 139832804436392 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15583/tid=15589] ppid=15581 vsize=11852648 CPUtime=1.43 cores=0,2,4,6
/proc/15583/task/15589/stat : 15589 (java) S 15581 15583 13088 0 -1 4202560 73 0 0 0 141 2 0 0 20 0 22 0 342453756 12137111552 780194 33554432000 1073741824 1073778376 140733327305376 139832803383848 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15583/tid=15590] ppid=15581 vsize=11852648 CPUtime=1.6 cores=0,2,4,6
/proc/15583/task/15590/stat : 15590 (java) S 15581 15583 13088 0 -1 4202560 97 0 0 0 158 2 0 0 20 0 22 0 342453756 12137111552 780194 33554432000 1073741824 1073778376 140733327305376 139832802331304 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15583/tid=15591] ppid=15581 vsize=11852648 CPUtime=1.51 cores=0,2,4,6
/proc/15583/task/15591/stat : 15591 (java) S 15581 15583 13088 0 -1 4202560 84 0 0 0 149 2 0 0 20 0 22 0 342453756 12137111552 780194 33554432000 1073741824 1073778376 140733327305376 139832801278760 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15583/tid=15592] ppid=15581 vsize=11852648 CPUtime=1.39 cores=0,2,4,6
/proc/15583/task/15592/stat : 15592 (java) S 15581 15583 13088 0 -1 4202560 85 0 0 0 137 2 0 0 20 0 22 0 342453756 12137111552 780194 33554432000 1073741824 1073778376 140733327305376 139832800226216 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15583/tid=15593] ppid=15581 vsize=11852648 CPUtime=1.41 cores=0,2,4,6
/proc/15583/task/15593/stat : 15593 (java) S 15581 15583 13088 0 -1 4202560 70 0 0 0 139 2 0 0 20 0 22 0 342453757 12137111552 780194 33554432000 1073741824 1073778376 140733327305376 139832799173672 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15583/tid=15594] ppid=15581 vsize=11852648 CPUtime=62.5 cores=0,2,4,6
/proc/15583/task/15594/stat : 15594 (java) S 15581 15583 13088 0 -1 4202560 294 0 0 0 6241 9 0 0 20 0 22 0 342453758 12137111552 780194 33554432000 1073741824 1073778376 140733327305376 139832184510568 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15583/tid=15595] ppid=15581 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15583/task/15595/stat : 15595 (java) S 15581 15583 13088 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 342453758 12137111552 780194 33554432000 1073741824 1073778376 140733327305376 139832183456888 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15583/tid=15596] ppid=15581 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15583/task/15596/stat : 15596 (java) S 15581 15583 13088 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342453758 12137111552 780194 33554432000 1073741824 1073778376 140733327305376 139832182404232 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15583/tid=15597] ppid=15581 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15583/task/15597/stat : 15597 (java) S 15581 15583 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342453761 12137111552 780194 33554432000 1073741824 1073778376 140733327305376 139832181352976 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15583/tid=15598] ppid=15581 vsize=11852648 CPUtime=1.49 cores=0,2,4,6
/proc/15583/task/15598/stat : 15598 (java) S 15581 15583 13088 0 -1 4202560 7435 0 0 0 147 2 0 0 20 0 22 0 342453761 12137111552 780194 33554432000 1073741824 1073778376 140733327305376 139832180300344 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15583/tid=15599] ppid=15581 vsize=11852648 CPUtime=1.26 cores=0,2,4,6
/proc/15583/task/15599/stat : 15599 (java) S 15581 15583 13088 0 -1 4202560 9555 0 0 0 124 2 0 0 20 0 22 0 342453761 12137111552 780194 33554432000 1073741824 1073778376 140733327305376 139832179247800 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15583/tid=15600] ppid=15581 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15583/task/15600/stat : 15600 (java) S 15581 15583 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342453761 12137111552 780194 33554432000 1073741824 1073778376 140733327305376 139832178195448 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15583/tid=15601] ppid=15581 vsize=11852648 CPUtime=0.34 cores=0,2,4,6
/proc/15583/task/15601/stat : 15601 (java) S 15581 15583 13088 0 -1 4202560 53 0 0 0 18 16 0 0 20 0 22 0 342453761 12137111552 780194 33554432000 1073741824 1073778376 140733327305376 139832177143112 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15583/tid=15602] ppid=15581 vsize=11852648 CPUtime=858.89 cores=0,2,4,6
/proc/15583/task/15602/stat : 15602 (java) R 15581 15583 13088 0 -1 4202560 86 0 0 0 85875 14 0 0 20 0 22 0 342453797 12137111552 780194 33554432000 1073741824 1073778376 140733327305376 139832176087120 139832677165662 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=15583/tid=15603] ppid=15581 vsize=11852648 CPUtime=858.9 cores=0,2,4,6
/proc/15583/task/15603/stat : 15603 (java) R 15581 15583 13088 0 -1 4202560 1311 0 0 0 85837 53 0 0 20 0 22 0 342453797 12137111552 780194 33554432000 1073741824 1073778376 140733327305376 139832175032816 139832677163871 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=15583/tid=15604] ppid=15581 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15583/task/15604/stat : 15604 (java) S 15581 15583 13088 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342453799 12137111552 780194 33554432000 1073741824 1073778376 140733327305376 139832173982760 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15583/tid=15605] ppid=15581 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/15583/task/15605/stat : 15605 (java) S 15581 15583 13088 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342453799 12137111552 780194 33554432000 1073741824 1073778376 140733327305376 139832172930216 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 11852648

Child status: 143

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

Real time (s): 927.755
CPU time (s): 1800.07
CPU user time (s): 1799.21
CPU system time (s): 0.86
CPU usage (%): 194.024
Max. virtual memory (cumulated for all children) (KiB): 11852648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.66
system time used= 1.3318
maximum resident set size= 3122940
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23617
page faults= 1
swaps= 0
block input operations= 0
block output operations= 976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 27061
involuntary context switches= 33155

runsolver used 3.43248 second user time and 8.49271 second system time

The end

Launcher Data 

Begin job on node146 at 2012-06-04 00:41:28
IDJOB=3742019
IDBENCH=90125
IDSOLVER=2328
FILE ID=node146/3742019-1338763288
RUNJOBID= node146-1338749727-13104
PBS_JOBID= 14636806
Free space on /tmp= 70908 MiB

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

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

MD5SUM BENCH= 007cb74ee15cb0b4c01d23d6abd9d82b
RANDOM SEED=722472428

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:        27365548 kB
Buffers:          322452 kB
Cached:           608936 kB
SwapCached:         1792 kB
Active:          4170552 kB
Inactive:         498160 kB
Active(anon):    3737612 kB
Inactive(anon):     1664 kB
Active(file):     432940 kB
Inactive(file):   496496 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67099888 kB
Dirty:               840 kB
Writeback:             0 kB
AnonPages:       3757116 kB
Mapped:            17144 kB
Shmem:                 0 kB
Slab:             678168 kB
SReclaimable:     117952 kB
SUnreclaim:       560216 kB
KernelStack:        1624 kB
PageTables:        11552 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:   10462552 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3702784 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:56:58