Trace number 3742110

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.79 928.373

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K86.opb
MD5SUMa7a3236cd0071452eec601ea09fe7bbe
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 variables5848
Total number of constraints6022
Number of constraints which are clauses5936
Number of constraints which are cardinality constraints (but not clauses)86
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint86
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 87
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.11	c version 2.3.1.v20110525
0.07/0.11	c java.runtime.name	Java(TM) SE Runtime Environment
0.07/0.11	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.07/0.11	c java.vm.version	19.1-b02
0.07/0.11	c java.vm.vendor	Sun Microsystems Inc.
0.07/0.11	c sun.arch.data.model	64
0.07/0.11	c java.version		1.6.0_24
0.07/0.11	c os.name		Linux
0.07/0.11	c os.version		2.6.32-71.29.1.el6.x86_64
0.07/0.11	c os.arch		amd64
0.07/0.11	c Free memory 		9996466904
0.07/0.11	c Max memory 		10048897024
0.07/0.11	c Total memory 		10048897024
0.07/0.11	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-3742110-1338764044.opb
0.07/0.13	c reading problem ... 
0.73/0.46	c ... done. Wall clock time 0.326s.
0.73/0.46	c #vars     5848
0.73/0.46	c #constraints  6022
0.73/0.46	c constraints type 
0.73/0.46	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4829
0.73/0.46	c org.sat4j.minisat.constraints.card.MinWatchCard => 86
0.73/0.46	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1105
0.73/0.46	c constraints type 
0.73/0.46	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1105
0.73/0.46	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 4829
0.73/0.46	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 86
5.65/2.01	c cleaning 2494 clauses out of 4990 with flag 5000/5000
8.63/3.48	c cleaning 4236 clauses out of 8488 with flag 11000/11000
12.22/5.25	c cleaning 5614 clauses out of 11250 with flag 18002/18002
16.61/7.41	c cleaning 6717 clauses out of 13627 with flag 26000/26000
21.79/10.04	c cleaning 7861 clauses out of 15907 with flag 35003/35003
28.73/13.57	c cleaning 9000 clauses out of 18042 with flag 45001/45001
34.27/16.35	c cleaning 9419 clauses out of 19040 with flag 55000/55000
41.61/20.03	c cleaning 9699 clauses out of 19617 with flag 65000/65000
47.13/22.82	c cleaning 9805 clauses out of 19920 with flag 75002/75002
54.47/26.55	c cleaning 9949 clauses out of 20115 with flag 85003/85003
60.21/29.44	c cleaning 9949 clauses out of 20163 with flag 95000/95000
68.93/33.82	c cleaning 10046 clauses out of 20212 with flag 105000/105000
76.40/37.67	c cleaning 9798 clauses out of 20166 with flag 115000/115000
82.92/40.96	c cleaning 9965 clauses out of 20369 with flag 125001/125001
90.02/44.51	c cleaning 10046 clauses out of 20398 with flag 135000/135000
97.12/48.11	c cleaning 10075 clauses out of 20350 with flag 145001/145001
104.77/52.05	c cleaning 10014 clauses out of 20274 with flag 155001/155001
111.68/55.60	c cleaning 10024 clauses out of 20258 with flag 165001/165001
123.79/61.69	c cleaning 10040 clauses out of 20232 with flag 175000/175000
133.08/66.36	c cleaning 9935 clauses out of 20194 with flag 185003/185003
144.51/72.17	c cleaning 9841 clauses out of 20257 with flag 195001/195001
157.80/78.88	c cleaning 9986 clauses out of 20415 with flag 205000/205000
163.69/81.88	c cleaning 10087 clauses out of 20431 with flag 215002/215002
171.79/85.94	c cleaning 9655 clauses out of 20338 with flag 225001/225001
178.19/89.20	c cleaning 9503 clauses out of 20679 with flag 235000/235000
184.86/92.64	c cleaning 9553 clauses out of 21178 with flag 245002/245002
193.73/97.17	c cleaning 9868 clauses out of 21626 with flag 255003/255003
203.60/102.16	c cleaning 9756 clauses out of 21755 with flag 265000/265000
217.59/109.22	c cleaning 9616 clauses out of 22000 with flag 275001/275001
226.86/113.91	c cleaning 9470 clauses out of 22384 with flag 285001/285001
237.33/119.23	c cleaning 9596 clauses out of 22914 with flag 295001/295001
254.19/127.79	c cleaning 9855 clauses out of 23318 with flag 305001/305001
263.16/132.30	c cleaning 9394 clauses out of 23462 with flag 315001/315001
270.06/135.86	c cleaning 9728 clauses out of 24067 with flag 325001/325001
278.30/140.00	c cleaning 9778 clauses out of 24340 with flag 335002/335002
288.75/145.33	c cleaning 9742 clauses out of 24559 with flag 345000/345000
300.52/151.31	c cleaning 9541 clauses out of 24817 with flag 355000/355000
314.64/158.47	c cleaning 10005 clauses out of 25278 with flag 365002/365002
325.49/163.92	c cleaning 9704 clauses out of 25271 with flag 375000/375000
335.10/168.84	c cleaning 9847 clauses out of 25572 with flag 385005/385005
341.82/172.33	c cleaning 9526 clauses out of 25722 with flag 395002/395002
349.06/176.08	c cleaning 9806 clauses out of 26195 with flag 405002/405002
356.47/179.81	c cleaning 9689 clauses out of 26389 with flag 415003/415003
365.13/184.21	c cleaning 9650 clauses out of 26701 with flag 425004/425004
375.22/189.48	c cleaning 9700 clauses out of 27049 with flag 435002/435002
384.06/193.95	c cleaning 9609 clauses out of 27349 with flag 445002/445002
397.08/200.58	c cleaning 9779 clauses out of 27738 with flag 455001/455001
403.89/204.04	c cleaning 9459 clauses out of 27956 with flag 465000/465000
409.98/207.27	c cleaning 9695 clauses out of 28497 with flag 475000/475000
419.18/211.99	c cleaning 9648 clauses out of 28802 with flag 485000/485000
427.78/216.31	c cleaning 9773 clauses out of 29153 with flag 495000/495000
433.56/219.32	c cleaning 9394 clauses out of 29381 with flag 505001/505001
440.04/222.72	c cleaning 9732 clauses out of 29987 with flag 515001/515001
447.44/226.50	c cleaning 9773 clauses out of 30257 with flag 525003/525003
460.04/232.98	c cleaning 9727 clauses out of 30481 with flag 535001/535001
466.25/236.13	c cleaning 9561 clauses out of 30756 with flag 545004/545004
476.89/241.69	c cleaning 9833 clauses out of 31191 with flag 555000/555000
485.87/246.29	c cleaning 9644 clauses out of 31360 with flag 565002/565002
495.86/251.39	c cleaning 9639 clauses out of 31714 with flag 575000/575000
503.85/255.45	c cleaning 9650 clauses out of 32075 with flag 585000/585000
510.87/259.18	c cleaning 9486 clauses out of 32429 with flag 595004/595004
518.27/263.00	c cleaning 9593 clauses out of 32942 with flag 605003/605003
524.63/266.25	c cleaning 9989 clauses out of 33347 with flag 615001/615001
531.98/270.00	c cleaning 9625 clauses out of 33357 with flag 625000/625000
541.20/274.86	c cleaning 9865 clauses out of 33732 with flag 635000/635000
552.79/280.75	c cleaning 9747 clauses out of 33868 with flag 645001/645001
564.75/286.83	c cleaning 9778 clauses out of 34120 with flag 655000/655000
575.71/292.45	c cleaning 9637 clauses out of 34342 with flag 665000/665000
588.49/299.07	c cleaning 9721 clauses out of 34705 with flag 675000/675000
596.05/302.95	c cleaning 9760 clauses out of 34980 with flag 685001/685001
603.98/307.04	c cleaning 9506 clauses out of 35220 with flag 695001/695001
606.51/308.45	c cleaning 0 clauses out of 5004 with flag 0/5004
631.81/321.19	c cleaning 9755 clauses out of 35713 with flag 705000/705000
638.15/324.44	c cleaning 9600 clauses out of 35958 with flag 715000/715000
651.44/331.25	c cleaning 9904 clauses out of 36358 with flag 725000/725000
658.77/335.03	c cleaning 9433 clauses out of 36454 with flag 735000/735000
667.96/339.84	c cleaning 9768 clauses out of 37022 with flag 745002/745002
676.28/344.13	c cleaning 9723 clauses out of 37252 with flag 755000/755000
684.21/348.20	c cleaning 9692 clauses out of 37530 with flag 765001/765001
695.16/353.88	c cleaning 9554 clauses out of 37838 with flag 775001/775001
709.30/361.15	c cleaning 9904 clauses out of 38283 with flag 785000/785000
719.46/366.32	c cleaning 9722 clauses out of 38381 with flag 795002/795002
727.76/370.69	c cleaning 9747 clauses out of 38657 with flag 805000/805000
736.67/375.23	c cleaning 9715 clauses out of 38912 with flag 815002/815002
745.41/379.80	c cleaning 9797 clauses out of 39195 with flag 825000/825000
752.53/383.56	c cleaning 9790 clauses out of 39395 with flag 835000/835000
762.64/388.70	c cleaning 9726 clauses out of 39605 with flag 845000/845000
773.96/394.58	c cleaning 9734 clauses out of 39879 with flag 855000/855000
784.88/400.21	c cleaning 9761 clauses out of 40145 with flag 865000/865000
797.99/406.99	c cleaning 9785 clauses out of 40384 with flag 875000/875000
810.88/413.56	c cleaning 9848 clauses out of 40602 with flag 885003/885003
824.00/420.24	c cleaning 9761 clauses out of 40751 with flag 895000/895000
837.11/427.08	c cleaning 9783 clauses out of 40991 with flag 905001/905001
847.43/432.40	c cleaning 9884 clauses out of 41210 with flag 915003/915003
856.35/436.95	c cleaning 9756 clauses out of 41324 with flag 925001/925001
865.04/441.44	c cleaning 9748 clauses out of 41567 with flag 935000/935000
871.54/445.00	c cleaning 9798 clauses out of 41821 with flag 945002/945002
879.82/449.20	c cleaning 9796 clauses out of 42023 with flag 955002/955002
892.89/455.90	c cleaning 9720 clauses out of 42226 with flag 965001/965001
902.41/460.84	c cleaning 9958 clauses out of 42505 with flag 975000/975000
911.26/465.55	c cleaning 9727 clauses out of 42548 with flag 985001/985001
922.96/471.50	c cleaning 9829 clauses out of 42822 with flag 995002/995002
930.62/475.54	c cleaning 9656 clauses out of 42992 with flag 1005001/1005001
943.92/482.33	c cleaning 9817 clauses out of 43335 with flag 1015000/1015000
954.20/487.78	c cleaning 9475 clauses out of 43519 with flag 1025001/1025001
963.49/492.52	c cleaning 9505 clauses out of 44043 with flag 1035000/1035000
975.58/498.74	c cleaning 9716 clauses out of 44539 with flag 1045001/1045001
987.47/504.88	c cleaning 9896 clauses out of 44823 with flag 1055001/1055001
993.75/508.29	c cleaning 9898 clauses out of 44929 with flag 1065003/1065003
1000.23/511.67	c cleaning 9916 clauses out of 45028 with flag 1075000/1075000
1007.11/515.24	c cleaning 9853 clauses out of 45112 with flag 1085000/1085000
1012.99/518.32	c cleaning 9712 clauses out of 45259 with flag 1095000/1095000
1019.45/521.84	c cleaning 9610 clauses out of 45548 with flag 1105001/1105001
1032.74/528.68	c cleaning 9732 clauses out of 45937 with flag 1115000/1115000
1044.03/534.42	c cleaning 9768 clauses out of 46205 with flag 1125000/1125000
1051.50/538.39	c cleaning 9846 clauses out of 46437 with flag 1135000/1135000
1060.35/543.00	c cleaning 9498 clauses out of 46593 with flag 1145002/1145002
1071.39/548.75	c cleaning 9733 clauses out of 47093 with flag 1155000/1155000
1082.85/554.66	c cleaning 9902 clauses out of 47360 with flag 1165000/1165000
1097.10/561.96	c cleaning 9846 clauses out of 47465 with flag 1175007/1175007
1105.94/566.67	c cleaning 9801 clauses out of 47613 with flag 1185001/1185001
1113.62/570.64	c cleaning 9838 clauses out of 47812 with flag 1195001/1195001
1125.66/576.89	c cleaning 9733 clauses out of 47973 with flag 1205000/1205000
1139.52/583.93	c cleaning 9810 clauses out of 48243 with flag 1215003/1215003
1149.51/589.21	c cleaning 10053 clauses out of 48430 with flag 1225000/1225000
1159.78/594.51	c cleaning 9814 clauses out of 48378 with flag 1235001/1235001
1173.25/601.46	c cleaning 9803 clauses out of 48563 with flag 1245000/1245000
1186.73/608.36	c cleaning 9934 clauses out of 48763 with flag 1255003/1255003
1199.53/615.02	c cleaning 9876 clauses out of 48829 with flag 1265003/1265003
1213.97/622.41	c cleaning 9934 clauses out of 48954 with flag 1275004/1275004
1226.39/628.85	c cleaning 9924 clauses out of 49022 with flag 1285006/1285006
1237.85/634.75	c cleaning 9841 clauses out of 49096 with flag 1295004/1295004
1248.26/640.29	c cleaning 9724 clauses out of 49253 with flag 1305002/1305002
1260.08/646.31	c cleaning 10001 clauses out of 49528 with flag 1315001/1315001
1272.53/652.77	c cleaning 9716 clauses out of 49526 with flag 1325000/1325000
1286.16/659.79	c cleaning 9812 clauses out of 49810 with flag 1335000/1335000
1303.30/668.65	c cleaning 9852 clauses out of 50000 with flag 1345002/1345002
1320.94/677.66	c cleaning 9880 clauses out of 50148 with flag 1355002/1355002
1340.51/687.67	c cleaning 10147 clauses out of 50268 with flag 1365002/1365002
1352.51/693.84	c cleaning 9753 clauses out of 50120 with flag 1375001/1375001
1364.46/700.15	c cleaning 9807 clauses out of 50368 with flag 1385002/1385002
1376.09/706.19	c cleaning 9782 clauses out of 50560 with flag 1395001/1395001
1390.26/713.43	c cleaning 9986 clauses out of 50778 with flag 1405001/1405001
1402.27/719.64	c cleaning 9939 clauses out of 50792 with flag 1415001/1415001
1415.58/726.61	c cleaning 9897 clauses out of 50854 with flag 1425002/1425002
1426.57/732.39	c cleaning 9822 clauses out of 50955 with flag 1435000/1435000
1434.36/736.49	c cleaning 9924 clauses out of 51136 with flag 1445003/1445003
1442.74/740.81	c cleaning 9742 clauses out of 51209 with flag 1455000/1455000
1454.06/746.90	c cleaning 9830 clauses out of 51467 with flag 1465000/1465000
1460.81/750.41	c cleaning 9633 clauses out of 51638 with flag 1475001/1475001
1467.61/754.00	c cleaning 9890 clauses out of 52004 with flag 1485000/1485000
1475.82/758.33	c cleaning 9501 clauses out of 52115 with flag 1495001/1495001
1485.33/763.43	c cleaning 9710 clauses out of 52615 with flag 1505002/1505002
1501.11/771.60	c cleaning 9851 clauses out of 52903 with flag 1515000/1515000
1513.51/777.93	c cleaning 9789 clauses out of 53055 with flag 1525003/1525003
1522.31/782.57	c cleaning 9818 clauses out of 53262 with flag 1535002/1535002
1531.60/787.51	c cleaning 9792 clauses out of 53442 with flag 1545000/1545000
1540.56/792.21	c cleaning 9716 clauses out of 53650 with flag 1555000/1555000
1548.36/796.33	c cleaning 9618 clauses out of 53934 with flag 1565000/1565000
1560.91/802.84	c cleaning 9952 clauses out of 54316 with flag 1575000/1575000
1568.98/807.26	c cleaning 9704 clauses out of 54365 with flag 1585001/1585001
1583.16/814.55	c cleaning 9792 clauses out of 54663 with flag 1595003/1595003
1598.17/822.26	c cleaning 9769 clauses out of 54868 with flag 1605000/1605000
1607.77/827.23	c cleaning 9834 clauses out of 55103 with flag 1615004/1615004
1615.05/831.29	c cleaning 9916 clauses out of 55265 with flag 1625000/1625000
1623.24/835.51	c cleaning 9619 clauses out of 55349 with flag 1635000/1635000
1631.42/839.87	c cleaning 9785 clauses out of 55730 with flag 1645000/1645000
1643.22/845.91	c cleaning 9782 clauses out of 55945 with flag 1655000/1655000
1653.30/851.32	c cleaning 9832 clauses out of 56164 with flag 1665001/1665001
1662.26/856.04	c cleaning 9773 clauses out of 56331 with flag 1675000/1675000
1669.23/859.75	c cleaning 9845 clauses out of 56558 with flag 1685000/1685000
1680.99/865.89	c cleaning 9733 clauses out of 56716 with flag 1695003/1695003
1695.48/873.42	c cleaning 9875 clauses out of 56980 with flag 1705000/1705000
1707.82/879.88	c cleaning 9810 clauses out of 57105 with flag 1715000/1715000
1719.37/885.89	c cleaning 9873 clauses out of 57302 with flag 1725007/1725007
1730.90/891.83	c cleaning 9891 clauses out of 57423 with flag 1735001/1735001
1738.54/896.04	c cleaning 9963 clauses out of 57531 with flag 1745001/1745001
1748.10/901.05	c cleaning 9583 clauses out of 57567 with flag 1755000/1755000
1761.84/908.10	c cleaning 9833 clauses out of 57984 with flag 1765000/1765000
1776.56/915.75	c cleaning 9720 clauses out of 58153 with flag 1775002/1775002
1787.99/921.88	c cleaning 9836 clauses out of 58431 with flag 1785000/1785000
1797.73/926.91	c cleaning 9699 clauses out of 58598 with flag 1795003/1795003
1800.08/928.32	c starts		: 209
1800.08/928.32	c conflicts		: 1797139
1800.08/928.32	c decisions		: 13880470
1800.08/928.32	c propagations		: 652477564
1800.08/928.32	c inspects		: 1917683310
1800.08/928.32	c shortcuts		: 0
1800.08/928.32	c learnt literals	: 90
1800.08/928.32	c learnt binary clauses	: 40099
1800.08/928.32	c learnt ternary clauses	: 61192
1800.08/928.32	c learnt constraints	: 1797049
1800.08/928.32	c ignored constraints	: 0
1800.08/928.32	c root simplifications	: 0
1800.08/928.32	c removed literals (reason simplification)	: 52211653
1800.08/928.32	c reason swapping (by a shorter reason)	: 0
1800.08/928.32	c Calls to reduceDB	: 181
1800.08/928.32	c number of reductions to clauses (during analyze)	: 0
1800.08/928.32	c number of learned constraints concerned by reduction	: 0
1800.08/928.32	c number of learning phase by resolution	: 0
1800.08/928.32	c number of learning phase by cutting planes	: 0
1800.08/928.32	c speed (assignments/second)	: 703210.7613797415
1800.08/928.32	c non guided choices	3930
1800.08/928.34	c learnt constraints type 
1800.08/928.34	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 40100
1800.08/928.34	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 10976
1800.08/928.34	c constraints type 
1800.08/928.34	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4829
1800.08/928.34	c org.sat4j.minisat.constraints.card.MinWatchCard => 86
1800.08/928.34	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1105
1800.08/928.34	c constraints type 
1800.08/928.34	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1105
1800.08/928.34	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 4829
1800.08/928.34	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 86
1800.08/928.34	s UNKNOWN
1800.08/928.34	c Total wall clock time (in seconds): 928.21

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-3742110-1338764044/watcher-3742110-1338764044 -o /tmp/evaluation-result-3742110-1338764044/solver-3742110-1338764044 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3742110-1338764044.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.80 3.87 3.88 3/197 839
/proc/meminfo: memFree=23993656/32873648 swapFree=6852/6852
[pid=839] ppid=837 vsize=2500 CPUtime=0 cores=0,2,4,6
/proc/839/stat : 839 (java) D 837 839 30010 0 -1 4202496 93 0 0 0 0 0 0 0 20 0 1 0 342531190 2560000 46 33554432000 1073741824 1073778376 140735194715072 140735194712200 271778409767 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/839/statm: 625 46 37 9 0 29 0

[startup+0.03364 s]
/proc/loadavg: 3.80 3.87 3.88 3/197 839
/proc/meminfo: memFree=23993656/32873648 swapFree=6852/6852
[pid=839] ppid=837 vsize=11042732 CPUtime=0.01 cores=0,2,4,6
/proc/839/stat : 839 (java) S 837 839 30010 0 -1 4202496 2862 0 1 0 0 1 0 0 20 0 10 0 342531190 11307757568 10207 33554432000 1073741824 1073778376 140737307776176 140737307767312 271790932029 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/839/statm: 2760683 10209 984 9 0 2751792 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 11042732

[startup+0.100197 s]
/proc/loadavg: 3.80 3.87 3.88 3/197 839
/proc/meminfo: memFree=23993656/32873648 swapFree=6852/6852
[pid=839] ppid=837 vsize=11586392 CPUtime=0.07 cores=0,2,4,6
/proc/839/stat : 839 (java) S 837 839 30010 0 -1 4202496 3962 0 1 0 6 1 0 0 20 0 18 0 342531190 11864465408 12835 33554432000 1073741824 1073778376 140737307776176 140737307767312 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/839/statm: 2896598 12835 1779 9 0 2887285 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11586392

[startup+0.300224 s]
/proc/loadavg: 3.80 3.87 3.88 3/197 839
/proc/meminfo: memFree=23993656/32873648 swapFree=6852/6852
[pid=839] ppid=837 vsize=11586392 CPUtime=0.52 cores=0,2,4,6
/proc/839/stat : 839 (java) S 837 839 30010 0 -1 4202496 7464 0 1 0 50 2 0 0 20 0 18 0 342531190 11864465408 17420 33554432000 1073741824 1073778376 140737307776176 140737307767312 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/839/statm: 2896598 17420 2222 9 0 2887285 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 11586392

[startup+0.700169 s]
/proc/loadavg: 3.80 3.87 3.88 3/197 839
/proc/meminfo: memFree=23993656/32873648 swapFree=6852/6852
[pid=839] ppid=837 vsize=11852648 CPUtime=1.85 cores=0,2,4,6
/proc/839/stat : 839 (java) S 837 839 30010 0 -1 4202496 10715 0 1 0 181 4 0 0 20 0 22 0 342531190 12137111552 27296 33554432000 1073741824 1073778376 140737307776176 140737307767312 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/839/statm: 2963162 27296 2261 9 0 2953849 0
Current children cumulated CPU time (s) 1.85
Current children cumulated vsize (KiB) 11852648

[startup+1.50071 s]
/proc/loadavg: 3.80 3.87 3.88 7/219 861
/proc/meminfo: memFree=23828388/32873648 swapFree=6852/6852
[pid=839] ppid=837 vsize=11852648 CPUtime=4.6 cores=0,2,4,6
/proc/839/stat : 839 (java) S 837 839 30010 0 -1 4202496 24703 0 1 0 451 9 0 0 20 0 22 0 342531190 12137111552 72753 33554432000 1073741824 1073778376 140737307776176 140737307767312 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/839/statm: 2963162 72753 2265 9 0 2953849 0
[pid=839/tid=841] ppid=837 vsize=11852648 CPUtime=0.43 cores=0,2,4,6
/proc/839/task/841/stat : 841 (java) S 837 839 30010 0 -1 4202560 2884 0 1 0 40 3 0 0 20 0 22 0 342531191 12137111552 72753 33554432000 1073741824 1073778376 140737307776176 140453051245720 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=839/tid=842] ppid=837 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/839/task/842/stat : 842 (java) S 837 839 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342531193 12137111552 72753 33554432000 1073741824 1073778376 140737307776176 140453019654312 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=839/tid=843] ppid=837 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/839/task/843/stat : 843 (java) S 837 839 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342531193 12137111552 72753 33554432000 1073741824 1073778376 140737307776176 140453018601768 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=839/tid=844] ppid=837 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/839/task/844/stat : 844 (java) S 837 839 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342531193 12137111552 72753 33554432000 1073741824 1073778376 140737307776176 140453017549224 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=839/tid=845] ppid=837 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/839/task/845/stat : 845 (java) S 837 839 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342531193 12137111552 72753 33554432000 1073741824 1073778376 140737307776176 140453016496680 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=839/tid=846] ppid=837 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/839/task/846/stat : 846 (java) S 837 839 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342531193 12137111552 72753 33554432000 1073741824 1073778376 140737307776176 140453015444136 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=839/tid=847] ppid=837 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/839/task/847/stat : 847 (java) S 837 839 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342531193 12137111552 72753 33554432000 1073741824 1073778376 140737307776176 140452882778920 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=839/tid=848] ppid=837 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/839/task/848/stat : 848 (java) S 837 839 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342531193 12137111552 72753 33554432000 1073741824 1073778376 140737307776176 140452881726376 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=839/tid=849] ppid=837 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/839/task/849/stat : 849 (java) S 837 839 30010 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 342531193 12137111552 72753 33554432000 1073741824 1073778376 140737307776176 140452409895976 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=839/tid=850] ppid=837 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/839/task/850/stat : 850 (java) S 837 839 30010 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 342531194 12137111552 72753 33554432000 1073741824 1073778376 140737307776176 140452397697128 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=839/tid=851] ppid=837 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/839/task/851/stat : 851 (java) S 837 839 30010 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 342531195 12137111552 72753 33554432000 1073741824 1073778376 140737307776176 140452396643448 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=839/tid=852] ppid=837 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/839/task/852/stat : 852 (java) S 837 839 30010 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342531195 12137111552 72753 33554432000 1073741824 1073778376 140737307776176 140452395590792 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=839/tid=853] ppid=837 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/839/task/853/stat : 853 (java) S 837 839 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342531198 12137111552 72753 33554432000 1073741824 1073778376 140737307776176 140452394539536 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=839/tid=854] ppid=837 vsize=11852648 CPUtime=1.13 cores=0,2,4,6
/proc/839/task/854/stat : 854 (java) R 837 839 30010 0 -1 4202560 8343 0 0 0 111 2 0 0 20 0 22 0 342531198 12137111552 72753 33554432000 1073741824 1073778376 140737307776176 140452393486784 140453058263874 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=839/tid=855] ppid=837 vsize=11852648 CPUtime=0.96 cores=0,2,4,6
/proc/839/task/855/stat : 855 (java) S 837 839 30010 0 -1 4202560 12095 0 0 0 94 2 0 0 20 0 22 0 342531198 12137111552 72753 33554432000 1073741824 1073778376 140737307776176 140452392434360 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=839/tid=856] ppid=837 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/839/task/856/stat : 856 (java) S 837 839 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342531198 12137111552 72753 33554432000 1073741824 1073778376 140737307776176 140452391382008 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=839/tid=857] ppid=837 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/839/task/857/stat : 857 (java) S 837 839 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342531198 12137111552 72753 33554432000 1073741824 1073778376 140737307776176 140452390329672 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=839/tid=858] ppid=837 vsize=11852648 CPUtime=1.01 cores=0,2,4,6
/proc/839/task/858/stat : 858 (java) R 837 839 30010 0 -1 4202560 27 0 0 0 101 0 0 0 20 0 22 0 342531236 12137111552 72753 33554432000 1073741824 1073778376 140737307776176 140452389216520 140452897093352 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=839/tid=859] ppid=837 vsize=11852648 CPUtime=1.01 cores=0,2,4,6
/proc/839/task/859/stat : 859 (java) R 837 839 30010 0 -1 4202560 150 0 0 0 99 2 0 0 20 0 22 0 342531236 12137111552 72753 33554432000 1073741824 1073778376 140737307776176 140452388163768 140453054530512 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=839/tid=860] ppid=837 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/839/task/860/stat : 860 (java) S 837 839 30010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342531238 12137111552 72753 33554432000 1073741824 1073778376 140737307776176 140452387111976 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=839/tid=861] ppid=837 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/839/task/861/stat : 861 (java) S 837 839 30010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342531238 12137111552 72753 33554432000 1073741824 1073778376 140737307776176 140452386059432 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.6
Current children cumulated vsize (KiB) 11852648

[startup+3.10072 s]
/proc/loadavg: 3.80 3.87 3.88 5/219 861
/proc/meminfo: memFree=23459252/32873648 swapFree=6852/6852
[pid=839] ppid=837 vsize=11852648 CPUtime=7.96 cores=0,2,4,6
/proc/839/stat : 839 (java) S 837 839 30010 0 -1 4202496 24899 0 1 0 782 14 0 0 20 0 22 0 342531190 12137111552 138850 33554432000 1073741824 1073778376 140737307776176 140737307767312 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/839/statm: 2963162 138850 2290 9 0 2953849 0
[pid=839/tid=841] ppid=837 vsize=11852648 CPUtime=0.43 cores=0,2,4,6
/proc/839/task/841/stat : 841 (java) S 837 839 30010 0 -1 4202560 2884 0 1 0 40 3 0 0 20 0 22 0 342531191 12137111552 138850 33554432000 1073741824 1073778376 140737307776176 140453051245720 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=839/tid=842] ppid=837 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/839/task/842/stat : 842 (java) S 837 839 30010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 342531193 12137111552 138850 33554432000 1073741824 1073778376 140737307776176 140453019654312 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=839/tid=843] ppid=837 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/839/task/843/stat : 843 (java) S 837 839 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342531193 12137111552 138850 33554432000 1073741824 1073778376 140737307776176 140453018601768 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=839/tid=844] ppid=837 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/839/task/844/stat : 844 (java) S 837 839 30010 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342531193 12137111552 138850 33554432000 1073741824 1073778376 140737307776176 140453017549224 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=839/tid=845] ppid=837 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/839/task/845/stat : 845 (java) S 837 839 30010 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 342531193 12137111552 138850 33554432000 1073741824 1073778376 140737307776176 140453016496680 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=839/tid=846] ppid=837 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/839/task/846/stat : 846 (java) S 837 839 30010 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 342531193 12137111552 138850 33554432000 1073741824 1073778376 140737307776176 140453015444136 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=839/tid=847] ppid=837 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/839/task/847/stat : 847 (java) S 837 839 30010 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342531193 12137111552 138850 33554432000 1073741824 1073778376 140737307776176 140452882778920 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=839/tid=848] ppid=837 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/839/task/848/stat : 848 (java) S 837 839 30010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 342531193 12137111552 138850 33554432000 1073741824 1073778376 140737307776176 140452881726376 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=839/tid=849] ppid=837 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/839/task/849/stat : 849 (java) S 837 839 30010 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 342531193 12137111552 138850 33554432000 1073741824 1073778376 140737307776176 140452409895976 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=839/tid=850] ppid=837 vsize=11852648 CPUtime=0.02 cores=0,2,4,6
/proc/839/task/850/stat : 850 (java) S 837 839 30010 0 -1 4202560 34 0 0 0 2 0 0 0 20 0 22 0 342531194 12137111552 138850 33554432000 1073741824 1073778376 140737307776176 140452397697128 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=839/tid=851] ppid=837 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/839/task/851/stat : 851 (java) S 837 839 30010 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 342531195 12137111552 138850 33554432000 1073741824 1073778376 140737307776176 140452396643448 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=839/tid=852] ppid=837 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/839/task/852/stat : 852 (java) S 837 839 30010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342531195 12137111552 138850 33554432000 1073741824 1073778376 140737307776176 140452395590792 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=839/tid=853] ppid=837 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/839/task/853/stat : 853 (java) S 837 839 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342531198 12137111552 138850 33554432000 1073741824 1073778376 140737307776176 140452394539536 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=839/tid=854] ppid=837 vsize=11852648 CPUtime=1.23 cores=0,2,4,6
/proc/839/task/854/stat : 854 (java) S 837 839 30010 0 -1 4202560 8349 0 0 0 121 2 0 0 20 0 22 0 342531198 12137111552 138850 33554432000 1073741824 1073778376 140737307776176 140452393486904 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=839/tid=855] ppid=837 vsize=11852648 CPUtime=1.05 cores=0,2,4,6
/proc/839/task/855/stat : 855 (java) S 837 839 30010 0 -1 4202560 12098 0 0 0 103 2 0 0 20 0 22 0 342531198 12137111552 138850 33554432000 1073741824 1073778376 140737307776176 140452392434360 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=839/tid=856] ppid=837 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/839/task/856/stat : 856 (java) S 837 839 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342531198 12137111552 138850 33554432000 1073741824 1073778376 140737307776176 140452391382008 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=839/tid=857] ppid=837 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/839/task/857/stat : 857 (java) S 837 839 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342531198 12137111552 138850 33554432000 1073741824 1073778376 140737307776176 140452390329672 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=839/tid=858] ppid=837 vsize=11852648 CPUtime=2.56 cores=0,2,4,6
/proc/839/task/858/stat : 858 (java) R 837 839 30010 0 -1 4202560 30 0 0 0 256 0 0 0 20 0 22 0 342531236 12137111552 138850 33554432000 1073741824 1073778376 140737307776176 140452389216296 140452897238894 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=839/tid=859] ppid=837 vsize=11852648 CPUtime=2.58 cores=0,2,4,6
/proc/839/task/859/stat : 859 (java) R 837 839 30010 0 -1 4202560 269 0 0 0 251 7 0 0 20 0 22 0 342531236 12137111552 138850 33554432000 1073741824 1073778376 140737307776176 140452388163256 140452897042105 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=839/tid=860] ppid=837 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/839/task/860/stat : 860 (java) S 837 839 30010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342531238 12137111552 138850 33554432000 1073741824 1073778376 140737307776176 140452387111976 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=839/tid=861] ppid=837 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/839/task/861/stat : 861 (java) S 837 839 30010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342531238 12137111552 138850 33554432000 1073741824 1073778376 140737307776176 140452386059432 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 7.96
Current children cumulated vsize (KiB) 11852648

[startup+6.30081 s]
/proc/loadavg: 3.90 3.88 3.89 5/219 861
/proc/meminfo: memFree=23302864/32873648 swapFree=6852/6852
[pid=839] ppid=837 vsize=11852648 CPUtime=14.41 cores=0,2,4,6
/proc/839/stat : 839 (java) S 837 839 30010 0 -1 4202496 24989 0 1 0 1423 18 0 0 20 0 22 0 342531190 12137111552 174157 33554432000 1073741824 1073778376 140737307776176 140737307767312 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/839/statm: 2963162 174157 2290 9 0 2953849 0
[pid=839/tid=841] ppid=837 vsize=11852648 CPUtime=0.43 cores=0,2,4,6
/proc/839/task/841/stat : 841 (java) S 837 839 30010 0 -1 4202560 2884 0 1 0 40 3 0 0 20 0 22 0 342531191 12137111552 174157 33554432000 1073741824 1073778376 140737307776176 140453051245720 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=839/tid=842] ppid=837 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/839/task/842/stat : 842 (java) S 837 839 30010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 342531193 12137111552 174157 33554432000 1073741824 1073778376 140737307776176 140453019654312 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=839/tid=843] ppid=837 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/839/task/843/stat : 843 (java) S 837 839 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342531193 12137111552 174157 33554432000 1073741824 1073778376 140737307776176 140453018601768 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=839/tid=844] ppid=837 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/839/task/844/stat : 844 (java) S 837 839 30010 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 342531193 12137111552 174157 33554432000 1073741824 1073778376 140737307776176 140453017549224 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=839/tid=845] ppid=837 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/839/task/845/stat : 845 (java) S 837 839 30010 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 342531193 12137111552 174157 33554432000 1073741824 1073778376 140737307776176 140453016496680 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=839/tid=846] ppid=837 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/839/task/846/stat : 846 (java) S 837 839 30010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 342531193 12137111552 174157 33554432000 1073741824 1073778376 140737307776176 140453015444136 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=839/tid=847] ppid=837 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/839/task/847/stat : 847 (java) S 837 839 30010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342531193 12137111552 174157 33554432000 1073741824 1073778376 140737307776176 140452882778920 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=839/tid=848] ppid=837 vsize=11852648 CPUtime=0.01 cores=0,2,4,6
/proc/839/task/848/stat : 848 (java) S 837 839 30010 0 -1 4202560 18 0 0 0 1 0 0 0 20 0 22 0 342531193 12137111552 174157 33554432000 1073741824 1073778376 140737307776176 140452881726376 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=839/tid=849] ppid=837 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/839/task/849/stat : 849 (java) S 837 839 30010 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 342531193 12137111552 174157 33554432000 1073741824 1073778376 140737307776176 140452409895976 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=839/tid=850] ppid=837 vsize=11852648 CPUtime=0.09 cores=0,2,4,6
/proc/839/task/850/stat : 850 (java) S 837 839 30010 0 -1 4202560 38 0 0 0 9 0 0 0 20 0 22 0 342531194 12137111552 174157 33554432000 1073741824 1073778376 140737307776176 140452397697128 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=839/tid=851] ppid=837 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/839/task/851/stat : 851 (java) S 837 839 30010 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 342531195 12137111552 174157 33554432000 1073741824 1073778376 140737307776176 140452396643448 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=839/tid=852] ppid=837 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/839/task/852/stat : 852 (java) S 837 839 30010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342531195 12137111552 174157 33554432000 1073741824 1073778376 140737307776176 140452395590792 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=839/tid=853] ppid=837 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/839/task/853/stat : 853 (java) S 837 839 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342531198 12137111552 174157 33554432000 1073741824 1073778376 140737307776176 140452394539536 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=839/tid=854] ppid=837 vsize=11852648 CPUtime=1.28 cores=0,2,4,6
/proc/839/task/854/stat : 854 (java) S 837 839 30010 0 -1 4202560 8349 0 0 0 126 2 0 0 20 0 22 0 342531198 12137111552 174157 33554432000 1073741824 1073778376 140737307776176 140452393486904 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0

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

[pid=839/tid=859] ppid=837 vsize=11852648 CPUtime=765.68 cores=0,2,4,6
/proc/839/task/859/stat : 859 (java) S 837 839 30010 0 -1 4202560 1321 0 0 0 76514 54 0 0 20 0 22 0 342531236 12137111552 754781 33554432000 1073741824 1073778376 140737307776176 140452388161912 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=839/tid=860] ppid=837 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/839/task/860/stat : 860 (java) S 837 839 30010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342531238 12137111552 754781 33554432000 1073741824 1073778376 140737307776176 140452387111976 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=839/tid=861] ppid=837 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/839/task/861/stat : 861 (java) S 837 839 30010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342531238 12137111552 754781 33554432000 1073741824 1073778376 140737307776176 140452386059432 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1598.4
Current children cumulated vsize (KiB) 11852648

[startup+882.301 s]
/proc/loadavg: 3.98 3.91 3.88 5/219 952
/proc/meminfo: memFree=20996952/32873648 swapFree=6852/6852
[pid=839] ppid=837 vsize=11852648 CPUtime=1712.36 cores=0,2,4,6
/proc/839/stat : 839 (java) S 837 839 30010 0 -1 4202496 27580 0 1 0 171151 85 0 0 20 0 22 0 342531190 12137111552 757878 33554432000 1073741824 1073778376 140737307776176 140737307767312 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/839/statm: 2963162 757878 2291 9 0 2953849 0
[pid=839/tid=841] ppid=837 vsize=11852648 CPUtime=0.48 cores=0,2,4,6
/proc/839/task/841/stat : 841 (java) S 837 839 30010 0 -1 4202560 2979 0 1 0 43 5 0 0 20 0 22 0 342531191 12137111552 757878 33554432000 1073741824 1073778376 140737307776176 140453051245720 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=839/tid=842] ppid=837 vsize=11852648 CPUtime=1.42 cores=0,2,4,6
/proc/839/task/842/stat : 842 (java) S 837 839 30010 0 -1 4202560 65 0 0 0 140 2 0 0 20 0 22 0 342531193 12137111552 757878 33554432000 1073741824 1073778376 140737307776176 140453019654312 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=839/tid=843] ppid=837 vsize=11852648 CPUtime=1.47 cores=0,2,4,6
/proc/839/task/843/stat : 843 (java) S 837 839 30010 0 -1 4202560 59 0 0 0 145 2 0 0 20 0 22 0 342531193 12137111552 757878 33554432000 1073741824 1073778376 140737307776176 140453018601768 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=839/tid=844] ppid=837 vsize=11852648 CPUtime=1.39 cores=0,2,4,6
/proc/839/task/844/stat : 844 (java) S 837 839 30010 0 -1 4202560 67 0 0 0 137 2 0 0 20 0 22 0 342531193 12137111552 757878 33554432000 1073741824 1073778376 140737307776176 140453017549224 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=839/tid=845] ppid=837 vsize=11852648 CPUtime=1.43 cores=0,2,4,6
/proc/839/task/845/stat : 845 (java) S 837 839 30010 0 -1 4202560 68 0 0 0 143 0 0 0 20 0 22 0 342531193 12137111552 757878 33554432000 1073741824 1073778376 140737307776176 140453016496680 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=839/tid=846] ppid=837 vsize=11852648 CPUtime=1.57 cores=0,2,4,6
/proc/839/task/846/stat : 846 (java) S 837 839 30010 0 -1 4202560 76 0 0 0 155 2 0 0 20 0 22 0 342531193 12137111552 757878 33554432000 1073741824 1073778376 140737307776176 140453015444136 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=839/tid=847] ppid=837 vsize=11852648 CPUtime=1.32 cores=0,2,4,6
/proc/839/task/847/stat : 847 (java) S 837 839 30010 0 -1 4202560 64 0 0 0 132 0 0 0 20 0 22 0 342531193 12137111552 757878 33554432000 1073741824 1073778376 140737307776176 140452882778920 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=839/tid=848] ppid=837 vsize=11852648 CPUtime=1.46 cores=0,2,4,6
/proc/839/task/848/stat : 848 (java) S 837 839 30010 0 -1 4202560 86 0 0 0 144 2 0 0 20 0 22 0 342531193 12137111552 757878 33554432000 1073741824 1073778376 140737307776176 140452881726376 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=839/tid=849] ppid=837 vsize=11852648 CPUtime=1.51 cores=0,2,4,6
/proc/839/task/849/stat : 849 (java) S 837 839 30010 0 -1 4202560 74 0 0 0 151 0 0 0 20 0 22 0 342531193 12137111552 757878 33554432000 1073741824 1073778376 140737307776176 140452409895976 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=839/tid=850] ppid=837 vsize=11852648 CPUtime=59.45 cores=0,2,4,6
/proc/839/task/850/stat : 850 (java) S 837 839 30010 0 -1 4202560 276 0 0 0 5934 11 0 0 20 0 22 0 342531194 12137111552 757878 33554432000 1073741824 1073778376 140737307776176 140452397697128 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=839/tid=851] ppid=837 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/839/task/851/stat : 851 (java) S 837 839 30010 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 342531195 12137111552 757878 33554432000 1073741824 1073778376 140737307776176 140452396643448 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=839/tid=852] ppid=837 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/839/task/852/stat : 852 (java) S 837 839 30010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342531195 12137111552 757878 33554432000 1073741824 1073778376 140737307776176 140452395590792 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=839/tid=853] ppid=837 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/839/task/853/stat : 853 (java) S 837 839 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342531198 12137111552 757878 33554432000 1073741824 1073778376 140737307776176 140452394539536 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=839/tid=854] ppid=837 vsize=11852648 CPUtime=1.31 cores=0,2,4,6
/proc/839/task/854/stat : 854 (java) S 837 839 30010 0 -1 4202560 8349 0 0 0 129 2 0 0 20 0 22 0 342531198 12137111552 757878 33554432000 1073741824 1073778376 140737307776176 140452393486904 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=839/tid=855] ppid=837 vsize=11852648 CPUtime=1.56 cores=0,2,4,6
/proc/839/task/855/stat : 855 (java) S 837 839 30010 0 -1 4202560 12762 0 0 0 154 2 0 0 20 0 22 0 342531198 12137111552 757878 33554432000 1073741824 1073778376 140737307776176 140452392434360 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=839/tid=856] ppid=837 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/839/task/856/stat : 856 (java) S 837 839 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342531198 12137111552 757878 33554432000 1073741824 1073778376 140737307776176 140452391382008 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=839/tid=857] ppid=837 vsize=11852648 CPUtime=0.36 cores=0,2,4,6
/proc/839/task/857/stat : 857 (java) S 837 839 30010 0 -1 4202560 51 0 0 0 18 18 0 0 20 0 22 0 342531198 12137111552 757878 33554432000 1073741824 1073778376 140737307776176 140452390329672 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=839/tid=858] ppid=837 vsize=11852648 CPUtime=818.98 cores=0,2,4,6
/proc/839/task/858/stat : 858 (java) R 837 839 30010 0 -1 4202560 93 0 0 0 81883 15 0 0 20 0 22 0 342531236 12137111552 757878 33554432000 1073741824 1073778376 140737307776176 140452389216320 140452897238930 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=839/tid=859] ppid=837 vsize=11852648 CPUtime=818.96 cores=0,2,4,6
/proc/839/task/859/stat : 859 (java) R 837 839 30010 0 -1 4202560 1321 0 0 0 81841 55 0 0 20 0 22 0 342531236 12137111552 757878 33554432000 1073741824 1073778376 140737307776176 140452388161888 140452897430240 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=839/tid=860] ppid=837 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/839/task/860/stat : 860 (java) S 837 839 30010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342531238 12137111552 757878 33554432000 1073741824 1073778376 140737307776176 140452387111976 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=839/tid=861] ppid=837 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/839/task/861/stat : 861 (java) S 837 839 30010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342531238 12137111552 757878 33554432000 1073741824 1073778376 140737307776176 140452386059432 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1712.36
Current children cumulated vsize (KiB) 11852648



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+928.301 s]
/proc/loadavg: 3.97 3.92 3.88 5/219 952
/proc/meminfo: memFree=20944884/32873648 swapFree=6852/6852
[pid=839] ppid=837 vsize=11852648 CPUtime=1800.08 cores=0,2,4,6
/proc/839/stat : 839 (java) S 837 839 30010 0 -1 4202496 27624 0 1 0 179920 88 0 0 20 0 22 0 342531190 12137111552 762504 33554432000 1073741824 1073778376 140737307776176 140737307767312 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/839/statm: 2963162 762504 2291 9 0 2953849 0
[pid=839/tid=841] ppid=837 vsize=11852648 CPUtime=0.48 cores=0,2,4,6
/proc/839/task/841/stat : 841 (java) S 837 839 30010 0 -1 4202560 2987 0 1 0 43 5 0 0 20 0 22 0 342531191 12137111552 762504 33554432000 1073741824 1073778376 140737307776176 140453051245720 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=839/tid=842] ppid=837 vsize=11852648 CPUtime=1.5 cores=0,2,4,6
/proc/839/task/842/stat : 842 (java) S 837 839 30010 0 -1 4202560 71 0 0 0 148 2 0 0 20 0 22 0 342531193 12137111552 762504 33554432000 1073741824 1073778376 140737307776176 140453019654312 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=839/tid=843] ppid=837 vsize=11852648 CPUtime=1.58 cores=0,2,4,6
/proc/839/task/843/stat : 843 (java) S 837 839 30010 0 -1 4202560 64 0 0 0 156 2 0 0 20 0 22 0 342531193 12137111552 762504 33554432000 1073741824 1073778376 140737307776176 140453018601768 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=839/tid=844] ppid=837 vsize=11852648 CPUtime=1.49 cores=0,2,4,6
/proc/839/task/844/stat : 844 (java) S 837 839 30010 0 -1 4202560 70 0 0 0 147 2 0 0 20 0 22 0 342531193 12137111552 762504 33554432000 1073741824 1073778376 140737307776176 140453017549224 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=839/tid=845] ppid=837 vsize=11852648 CPUtime=1.59 cores=0,2,4,6
/proc/839/task/845/stat : 845 (java) S 837 839 30010 0 -1 4202560 69 0 0 0 159 0 0 0 20 0 22 0 342531193 12137111552 762504 33554432000 1073741824 1073778376 140737307776176 140453016496680 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=839/tid=846] ppid=837 vsize=11852648 CPUtime=1.65 cores=0,2,4,6
/proc/839/task/846/stat : 846 (java) S 837 839 30010 0 -1 4202560 76 0 0 0 163 2 0 0 20 0 22 0 342531193 12137111552 762504 33554432000 1073741824 1073778376 140737307776176 140453015444136 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=839/tid=847] ppid=837 vsize=11852648 CPUtime=1.4 cores=0,2,4,6
/proc/839/task/847/stat : 847 (java) S 837 839 30010 0 -1 4202560 65 0 0 0 140 0 0 0 20 0 22 0 342531193 12137111552 762504 33554432000 1073741824 1073778376 140737307776176 140452882778920 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=839/tid=848] ppid=837 vsize=11852648 CPUtime=1.58 cores=0,2,4,6
/proc/839/task/848/stat : 848 (java) S 837 839 30010 0 -1 4202560 86 0 0 0 156 2 0 0 20 0 22 0 342531193 12137111552 762504 33554432000 1073741824 1073778376 140737307776176 140452881726376 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=839/tid=849] ppid=837 vsize=11852648 CPUtime=1.59 cores=0,2,4,6
/proc/839/task/849/stat : 849 (java) S 837 839 30010 0 -1 4202560 76 0 0 0 159 0 0 0 20 0 22 0 342531193 12137111552 762504 33554432000 1073741824 1073778376 140737307776176 140452409895976 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=839/tid=850] ppid=837 vsize=11852648 CPUtime=64.12 cores=0,2,4,6
/proc/839/task/850/stat : 850 (java) S 837 839 30010 0 -1 4202560 289 0 0 0 6401 11 0 0 20 0 22 0 342531194 12137111552 762504 33554432000 1073741824 1073778376 140737307776176 140452397697128 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=839/tid=851] ppid=837 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/839/task/851/stat : 851 (java) S 837 839 30010 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 342531195 12137111552 762504 33554432000 1073741824 1073778376 140737307776176 140452396643448 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=839/tid=852] ppid=837 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/839/task/852/stat : 852 (java) S 837 839 30010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342531195 12137111552 762504 33554432000 1073741824 1073778376 140737307776176 140452395590792 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=839/tid=853] ppid=837 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/839/task/853/stat : 853 (java) S 837 839 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342531198 12137111552 762504 33554432000 1073741824 1073778376 140737307776176 140452394539536 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=839/tid=854] ppid=837 vsize=11852648 CPUtime=1.31 cores=0,2,4,6
/proc/839/task/854/stat : 854 (java) S 837 839 30010 0 -1 4202560 8349 0 0 0 129 2 0 0 20 0 22 0 342531198 12137111552 762504 33554432000 1073741824 1073778376 140737307776176 140452393486904 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=839/tid=855] ppid=837 vsize=11852648 CPUtime=1.56 cores=0,2,4,6
/proc/839/task/855/stat : 855 (java) S 837 839 30010 0 -1 4202560 12763 0 0 0 154 2 0 0 20 0 22 0 342531198 12137111552 762504 33554432000 1073741824 1073778376 140737307776176 140452392434360 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=839/tid=856] ppid=837 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/839/task/856/stat : 856 (java) S 837 839 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342531198 12137111552 762504 33554432000 1073741824 1073778376 140737307776176 140452391382008 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=839/tid=857] ppid=837 vsize=11852648 CPUtime=0.38 cores=0,2,4,6
/proc/839/task/857/stat : 857 (java) S 837 839 30010 0 -1 4202560 55 0 0 0 19 19 0 0 20 0 22 0 342531198 12137111552 762504 33554432000 1073741824 1073778376 140737307776176 140452390329672 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=839/tid=858] ppid=837 vsize=11852648 CPUtime=860.09 cores=0,2,4,6
/proc/839/task/858/stat : 858 (java) R 837 839 30010 0 -1 4202560 93 0 0 0 85993 16 0 0 20 0 22 0 342531236 12137111552 762504 33554432000 1073741824 1073778376 140737307776176 140452389216320 140452897093387 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=839/tid=859] ppid=837 vsize=11852648 CPUtime=860.06 cores=0,2,4,6
/proc/839/task/859/stat : 859 (java) R 837 839 30010 0 -1 4202560 1321 0 0 0 85950 56 0 0 20 0 22 0 342531236 12137111552 762504 33554432000 1073741824 1073778376 140737307776176 140452388161648 140452897382998 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=839/tid=860] ppid=837 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/839/task/860/stat : 860 (java) S 837 839 30010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342531238 12137111552 762504 33554432000 1073741824 1073778376 140737307776176 140452387111976 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=839/tid=861] ppid=837 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/839/task/861/stat : 861 (java) S 837 839 30010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342531238 12137111552 762504 33554432000 1073741824 1073778376 140737307776176 140452386059432 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
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+928.301 s]
/proc/loadavg: 3.97 3.92 3.88 5/219 952
/proc/meminfo: memFree=20944884/32873648 swapFree=6852/6852
[pid=839] ppid=837 vsize=11852648 CPUtime=1800.08 cores=0,2,4,6
/proc/839/stat : 839 (java) S 837 839 30010 0 -1 4202496 27624 0 1 0 179920 88 0 0 20 0 22 0 342531190 12137111552 762504 33554432000 1073741824 1073778376 140737307776176 140737307767312 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/839/statm: 2963162 762504 2291 9 0 2953849 0
[pid=839/tid=841] ppid=837 vsize=11852648 CPUtime=0.48 cores=0,2,4,6
/proc/839/task/841/stat : 841 (java) S 837 839 30010 0 -1 4202560 2987 0 1 0 43 5 0 0 20 0 22 0 342531191 12137111552 762504 33554432000 1073741824 1073778376 140737307776176 140453051245720 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=839/tid=842] ppid=837 vsize=11852648 CPUtime=1.5 cores=0,2,4,6
/proc/839/task/842/stat : 842 (java) S 837 839 30010 0 -1 4202560 71 0 0 0 148 2 0 0 20 0 22 0 342531193 12137111552 762504 33554432000 1073741824 1073778376 140737307776176 140453019654312 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=839/tid=843] ppid=837 vsize=11852648 CPUtime=1.58 cores=0,2,4,6
/proc/839/task/843/stat : 843 (java) S 837 839 30010 0 -1 4202560 64 0 0 0 156 2 0 0 20 0 22 0 342531193 12137111552 762504 33554432000 1073741824 1073778376 140737307776176 140453018601768 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=839/tid=844] ppid=837 vsize=11852648 CPUtime=1.49 cores=0,2,4,6
/proc/839/task/844/stat : 844 (java) S 837 839 30010 0 -1 4202560 70 0 0 0 147 2 0 0 20 0 22 0 342531193 12137111552 762504 33554432000 1073741824 1073778376 140737307776176 140453017549224 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=839/tid=845] ppid=837 vsize=11852648 CPUtime=1.59 cores=0,2,4,6
/proc/839/task/845/stat : 845 (java) S 837 839 30010 0 -1 4202560 69 0 0 0 159 0 0 0 20 0 22 0 342531193 12137111552 762504 33554432000 1073741824 1073778376 140737307776176 140453016496680 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=839/tid=846] ppid=837 vsize=11852648 CPUtime=1.65 cores=0,2,4,6
/proc/839/task/846/stat : 846 (java) S 837 839 30010 0 -1 4202560 76 0 0 0 163 2 0 0 20 0 22 0 342531193 12137111552 762504 33554432000 1073741824 1073778376 140737307776176 140453015444136 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=839/tid=847] ppid=837 vsize=11852648 CPUtime=1.4 cores=0,2,4,6
/proc/839/task/847/stat : 847 (java) S 837 839 30010 0 -1 4202560 65 0 0 0 140 0 0 0 20 0 22 0 342531193 12137111552 762504 33554432000 1073741824 1073778376 140737307776176 140452882778920 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=839/tid=848] ppid=837 vsize=11852648 CPUtime=1.58 cores=0,2,4,6
/proc/839/task/848/stat : 848 (java) S 837 839 30010 0 -1 4202560 86 0 0 0 156 2 0 0 20 0 22 0 342531193 12137111552 762504 33554432000 1073741824 1073778376 140737307776176 140452881726376 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=839/tid=849] ppid=837 vsize=11852648 CPUtime=1.59 cores=0,2,4,6
/proc/839/task/849/stat : 849 (java) S 837 839 30010 0 -1 4202560 76 0 0 0 159 0 0 0 20 0 22 0 342531193 12137111552 762504 33554432000 1073741824 1073778376 140737307776176 140452409895976 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=839/tid=850] ppid=837 vsize=11852648 CPUtime=64.12 cores=0,2,4,6
/proc/839/task/850/stat : 850 (java) S 837 839 30010 0 -1 4202560 289 0 0 0 6401 11 0 0 20 0 22 0 342531194 12137111552 762504 33554432000 1073741824 1073778376 140737307776176 140452397697128 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=839/tid=851] ppid=837 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/839/task/851/stat : 851 (java) S 837 839 30010 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 342531195 12137111552 762504 33554432000 1073741824 1073778376 140737307776176 140452396643448 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=839/tid=852] ppid=837 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/839/task/852/stat : 852 (java) S 837 839 30010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342531195 12137111552 762504 33554432000 1073741824 1073778376 140737307776176 140452395590792 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=839/tid=853] ppid=837 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/839/task/853/stat : 853 (java) S 837 839 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342531198 12137111552 762504 33554432000 1073741824 1073778376 140737307776176 140452394539536 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=839/tid=854] ppid=837 vsize=11852648 CPUtime=1.31 cores=0,2,4,6
/proc/839/task/854/stat : 854 (java) S 837 839 30010 0 -1 4202560 8349 0 0 0 129 2 0 0 20 0 22 0 342531198 12137111552 762504 33554432000 1073741824 1073778376 140737307776176 140452393486904 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=839/tid=855] ppid=837 vsize=11852648 CPUtime=1.56 cores=0,2,4,6
/proc/839/task/855/stat : 855 (java) S 837 839 30010 0 -1 4202560 12763 0 0 0 154 2 0 0 20 0 22 0 342531198 12137111552 762504 33554432000 1073741824 1073778376 140737307776176 140452392434360 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=839/tid=856] ppid=837 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/839/task/856/stat : 856 (java) S 837 839 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342531198 12137111552 762504 33554432000 1073741824 1073778376 140737307776176 140452391382008 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=839/tid=857] ppid=837 vsize=11852648 CPUtime=0.38 cores=0,2,4,6
/proc/839/task/857/stat : 857 (java) S 837 839 30010 0 -1 4202560 55 0 0 0 19 19 0 0 20 0 22 0 342531198 12137111552 762504 33554432000 1073741824 1073778376 140737307776176 140452390329672 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=839/tid=858] ppid=837 vsize=11852648 CPUtime=860.09 cores=0,2,4,6
/proc/839/task/858/stat : 858 (java) R 837 839 30010 0 -1 4202560 93 0 0 0 85993 16 0 0 20 0 22 0 342531236 12137111552 762504 33554432000 1073741824 1073778376 140737307776176 140452389216320 140452897093387 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=839/tid=859] ppid=837 vsize=11852648 CPUtime=860.06 cores=0,2,4,6
/proc/839/task/859/stat : 859 (java) R 837 839 30010 0 -1 4202560 1321 0 0 0 85950 56 0 0 20 0 22 0 342531236 12137111552 762504 33554432000 1073741824 1073778376 140737307776176 140452388161648 140452897382998 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=839/tid=860] ppid=837 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/839/task/860/stat : 860 (java) S 837 839 30010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342531238 12137111552 762504 33554432000 1073741824 1073778376 140737307776176 140452387111976 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=839/tid=861] ppid=837 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/839/task/861/stat : 861 (java) S 837 839 30010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342531238 12137111552 762504 33554432000 1073741824 1073778376 140737307776176 140452386059432 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 11852648

Child status: 143
Real time (s): 928.373
CPU time (s): 1800.79
CPU user time (s): 1799.4
CPU system time (s): 1.39179
CPU usage (%): 193.973
Max. virtual memory (cumulated for all children) (KiB): 11852648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.4
system time used= 1.39179
maximum resident set size= 3052180
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27656
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1000
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 27346
involuntary context switches= 33711

runsolver used 3.3205 second user time and 8.47471 second system time

The end

Launcher Data 

Begin job on node115 at 2012-06-04 00:54:04
IDJOB=3742110
IDBENCH=90132
IDSOLVER=2328
FILE ID=node115/3742110-1338764044
RUNJOBID= node115-1338748926-30026
PBS_JOBID= 14636792
Free space on /tmp= 70828 MiB

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

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

MD5SUM BENCH= a7a3236cd0071452eec601ea09fe7bbe
RANDOM SEED=1234481884

node115.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.462
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	: 5332.92
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.462
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.462
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.92
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.462
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.462
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:       32873648 kB
MemFree:        23993656 kB
Buffers:         1444012 kB
Cached:          3619956 kB
SwapCached:         1016 kB
Active:          5652168 kB
Inactive:        2309156 kB
Active(anon):    2886004 kB
Inactive(anon):     9868 kB
Active(file):    2766164 kB
Inactive(file):  2299288 kB
Unevictable:        6852 kB
Mlocked:            6852 kB
SwapTotal:      67108856 kB
SwapFree:       67106440 kB
Dirty:               824 kB
Writeback:             0 kB
AnonPages:       2903464 kB
Mapped:            19876 kB
Shmem:                96 kB
Slab:             771864 kB
SReclaimable:     216004 kB
SUnreclaim:       555860 kB
KernelStack:        1632 kB
PageTables:        10040 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:   10460316 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2838528 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70828 MiB
End job on node115 at 2012-06-04 01:09:35