Trace number 3741993

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.2 925.572

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K84.opb
MD5SUM895769e6300bec8b48d22e126916d397
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5712
Total number of constraints5882
Number of constraints which are clauses5798
Number of constraints which are cardinality constraints (but not clauses)84
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint84
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 85
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.02/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.02/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.02/0.08	c See www.sat4j.org for details.
0.02/0.09	c version 2.3.1.v20110525
0.02/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.02/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.02/0.09	c java.vm.version	19.1-b02
0.02/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.02/0.09	c sun.arch.data.model	64
0.02/0.09	c java.version		1.6.0_24
0.02/0.09	c os.name		Linux
0.02/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.02/0.09	c os.arch		amd64
0.02/0.09	c Free memory 		9996466904
0.02/0.09	c Max memory 		10048897024
0.02/0.09	c Total memory 		10048897024
0.02/0.09	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization
0.10/0.11	c ManyCore solver with 2 solvers running in parallel
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.10/0.11	c No reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3741993-1338763090.opb
0.10/0.11	c reading problem ... 
0.81/0.42	c ... done. Wall clock time 0.312s.
0.81/0.42	c #vars     5712
0.81/0.42	c #constraints  5882
0.81/0.42	c constraints type 
0.81/0.42	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4717
0.81/0.42	c org.sat4j.minisat.constraints.card.MinWatchCard => 84
0.81/0.42	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1079
0.81/0.42	c constraints type 
0.81/0.43	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1079
0.81/0.43	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 4717
0.81/0.43	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 84
4.68/1.85	c cleaning 2486 clauses out of 4989 with flag 5000/5000
8.47/3.40	c cleaning 4242 clauses out of 8491 with flag 11001/11001
11.87/5.11	c cleaning 5593 clauses out of 11243 with flag 18000/18000
18.44/8.45	c cleaning 6767 clauses out of 13648 with flag 26000/26000
24.24/11.32	c cleaning 7840 clauses out of 15880 with flag 35001/35001
31.35/14.86	c cleaning 8984 clauses out of 18034 with flag 45000/45000
37.32/17.89	c cleaning 9453 clauses out of 19049 with flag 55000/55000
44.67/21.55	c cleaning 9764 clauses out of 19596 with flag 65002/65002
53.59/26.05	c cleaning 9671 clauses out of 19834 with flag 75004/75004
61.93/30.25	c cleaning 10020 clauses out of 20161 with flag 85002/85002
67.29/32.97	c cleaning 9942 clauses out of 20141 with flag 95002/95002
75.01/36.87	c cleaning 10052 clauses out of 20195 with flag 105000/105000
90.12/44.44	c cleaning 10069 clauses out of 20142 with flag 115002/115002
105.24/52.04	c cleaning 10000 clauses out of 20071 with flag 125000/125000
111.37/55.14	c cleaning 9988 clauses out of 20071 with flag 135003/135003
118.48/58.75	c cleaning 9955 clauses out of 20080 with flag 145000/145000
125.32/62.28	c cleaning 9953 clauses out of 20126 with flag 155003/155003
132.21/65.79	c cleaning 9933 clauses out of 20165 with flag 165002/165002
143.49/71.47	c cleaning 10017 clauses out of 20232 with flag 175002/175002
150.78/75.13	c cleaning 9972 clauses out of 20216 with flag 185003/185003
159.78/79.73	c cleaning 10035 clauses out of 20243 with flag 195002/195002
167.06/83.50	c cleaning 10051 clauses out of 20207 with flag 205001/205001
177.13/88.58	c cleaning 9857 clauses out of 20155 with flag 215000/215000
183.39/91.75	c cleaning 9991 clauses out of 20297 with flag 225000/225000
198.39/99.37	c cleaning 9669 clauses out of 20306 with flag 235000/235000
204.45/102.43	c cleaning 9633 clauses out of 20638 with flag 245001/245001
210.51/105.51	c cleaning 9615 clauses out of 21004 with flag 255000/255000
215.74/108.29	c cleaning 9629 clauses out of 21391 with flag 265002/265002
223.70/112.33	c cleaning 9528 clauses out of 21760 with flag 275000/275000
229.16/115.10	c cleaning 9881 clauses out of 22232 with flag 285000/285000
234.23/117.72	c cleaning 9547 clauses out of 22354 with flag 295003/295003
239.65/120.53	c cleaning 9573 clauses out of 22805 with flag 305001/305001
245.21/123.43	c cleaning 9686 clauses out of 23231 with flag 315000/315000
251.26/126.57	c cleaning 9707 clauses out of 23543 with flag 325000/325000
257.69/129.80	c cleaning 9666 clauses out of 23837 with flag 335001/335001
264.91/133.53	c cleaning 9669 clauses out of 24171 with flag 345002/345002
278.72/140.59	c cleaning 9776 clauses out of 24502 with flag 355002/355002
287.56/145.01	c cleaning 9552 clauses out of 24725 with flag 365001/365001
298.81/150.79	c cleaning 9833 clauses out of 25172 with flag 375000/375000
309.65/156.29	c cleaning 9716 clauses out of 25339 with flag 385001/385001
319.80/161.48	c cleaning 9644 clauses out of 25626 with flag 395004/395004
328.85/166.05	c cleaning 9651 clauses out of 25976 with flag 405000/405000
339.48/171.46	c cleaning 9648 clauses out of 26326 with flag 415001/415001
354.70/179.12	c cleaning 9657 clauses out of 26679 with flag 425002/425002
371.41/187.60	c cleaning 9625 clauses out of 27020 with flag 435000/435000
380.45/192.23	c cleaning 9829 clauses out of 27395 with flag 445000/445000
389.67/196.97	c cleaning 9582 clauses out of 27563 with flag 455000/455000
397.05/200.72	c cleaning 9636 clauses out of 27982 with flag 465001/465001
404.56/204.65	c cleaning 9644 clauses out of 28345 with flag 475000/475000
414.37/209.65	c cleaning 9658 clauses out of 28701 with flag 485001/485001
432.59/218.82	c cleaning 9636 clauses out of 29045 with flag 495003/495003
442.58/223.96	c cleaning 9697 clauses out of 29406 with flag 505000/505000
450.46/228.01	c cleaning 9505 clauses out of 29709 with flag 515001/515001
463.06/234.46	c cleaning 9526 clauses out of 30203 with flag 525000/525000
470.05/238.04	c cleaning 9560 clauses out of 30675 with flag 535000/535000
479.47/242.82	c cleaning 9628 clauses out of 31119 with flag 545004/545004
490.93/248.70	c cleaning 9591 clauses out of 31489 with flag 555002/555002
497.31/252.03	c cleaning 9971 clauses out of 31896 with flag 565000/565000
504.69/255.81	c cleaning 9609 clauses out of 31925 with flag 575000/575000
510.87/259.01	c cleaning 9594 clauses out of 32316 with flag 585000/585000
519.54/263.52	c cleaning 9753 clauses out of 32723 with flag 595001/595001
536.33/272.08	c cleaning 9782 clauses out of 32969 with flag 605000/605000
548.29/278.19	c cleaning 9713 clauses out of 33188 with flag 615001/615001
558.47/283.35	c cleaning 9848 clauses out of 33476 with flag 625002/625002
569.10/288.82	c cleaning 9808 clauses out of 33627 with flag 635001/635001
579.87/294.35	c cleaning 9826 clauses out of 33820 with flag 645002/645002
588.63/298.81	c cleaning 9673 clauses out of 33992 with flag 655001/655001
600.79/305.08	c cleaning 9574 clauses out of 34323 with flag 665005/665005
617.40/313.51	c cleaning 9653 clauses out of 34745 with flag 675001/675001
633.16/321.57	c cleaning 9865 clauses out of 35091 with flag 685000/685000
645.54/327.87	c cleaning 9648 clauses out of 35226 with flag 695000/695000
662.28/336.31	c cleaning 9899 clauses out of 35578 with flag 705000/705000
671.09/340.96	c cleaning 9569 clauses out of 35680 with flag 715001/715001
679.39/345.24	c cleaning 9813 clauses out of 36110 with flag 725000/725000
686.31/348.87	c cleaning 9601 clauses out of 36297 with flag 735000/735000
693.25/352.40	c cleaning 9727 clauses out of 36698 with flag 745002/745002
702.82/357.41	c cleaning 9620 clauses out of 36971 with flag 755002/755002
715.76/364.02	c cleaning 9629 clauses out of 37349 with flag 765000/765000
731.09/371.83	c cleaning 9756 clauses out of 37720 with flag 775000/775000
737.77/375.36	c cleaning 9740 clauses out of 37964 with flag 785000/785000
745.09/379.21	c cleaning 9813 clauses out of 38228 with flag 795004/795004
751.82/382.75	c cleaning 9795 clauses out of 38411 with flag 805000/805000
760.72/387.36	c cleaning 9796 clauses out of 38620 with flag 815004/815004
781.24/397.74	c cleaning 9873 clauses out of 38822 with flag 825002/825002
793.93/404.37	c cleaning 9738 clauses out of 38946 with flag 835000/835000
803.45/409.25	c cleaning 9683 clauses out of 39209 with flag 845001/845001
813.52/414.41	c cleaning 9713 clauses out of 39525 with flag 855000/855000
824.62/420.17	c cleaning 9765 clauses out of 39815 with flag 865003/865003
837.88/427.07	c cleaning 9954 clauses out of 40047 with flag 875000/875000
844.84/430.60	c cleaning 0 clauses out of 5000 with flag 0/5000
857.14/436.86	c cleaning 9652 clauses out of 40092 with flag 885000/885000
923.52/470.12	c cleaning 9747 clauses out of 40446 with flag 895006/895006
948.00/482.60	c cleaning 9895 clauses out of 40695 with flag 905002/905002
960.68/489.18	c cleaning 9758 clauses out of 40801 with flag 915003/915003
975.15/496.52	c cleaning 9760 clauses out of 41048 with flag 925008/925008
989.01/503.61	c cleaning 9859 clauses out of 41281 with flag 935001/935001
1000.31/509.58	c cleaning 9680 clauses out of 41422 with flag 945001/945001
1007.40/513.27	c cleaning 9702 clauses out of 41741 with flag 955000/955000
1015.27/517.38	c cleaning 9737 clauses out of 42040 with flag 965001/965001
1022.35/521.05	c cleaning 9553 clauses out of 42302 with flag 975000/975000
1032.37/526.33	c cleaning 9864 clauses out of 42748 with flag 985000/985000
1044.02/532.32	c cleaning 9788 clauses out of 42884 with flag 995000/995000
1056.27/538.66	c cleaning 9671 clauses out of 43097 with flag 1005001/1005001
1064.15/542.71	c cleaning 9865 clauses out of 43428 with flag 1015003/1015003
1072.41/547.15	c cleaning 9820 clauses out of 43560 with flag 1025000/1025000
1086.47/554.39	c cleaning 9414 clauses out of 43740 with flag 1035000/1035000
1103.56/563.05	c cleaning 9622 clauses out of 44329 with flag 1045003/1045003
1118.04/570.44	c cleaning 9671 clauses out of 44704 with flag 1055000/1055000
1135.28/579.34	c cleaning 9791 clauses out of 45033 with flag 1065000/1065000
1150.50/587.16	c cleaning 9859 clauses out of 45242 with flag 1075000/1075000
1160.34/592.27	c cleaning 10191 clauses out of 45382 with flag 1085000/1085000
1168.35/596.44	c cleaning 9620 clauses out of 45191 with flag 1095000/1095000
1178.95/602.06	c cleaning 9807 clauses out of 45571 with flag 1105000/1105000
1187.79/606.65	c cleaning 9663 clauses out of 45762 with flag 1115000/1115000
1200.19/613.02	c cleaning 9850 clauses out of 46099 with flag 1125000/1125000
1215.00/620.66	c cleaning 9798 clauses out of 46249 with flag 1135000/1135000
1225.39/626.10	c cleaning 9692 clauses out of 46451 with flag 1145000/1145000
1236.01/631.66	c cleaning 9528 clauses out of 46759 with flag 1155000/1155000
1257.47/642.53	c cleaning 9714 clauses out of 47231 with flag 1165000/1165000
1269.69/648.84	c cleaning 9808 clauses out of 47518 with flag 1175001/1175001
1286.24/657.43	c cleaning 9893 clauses out of 47710 with flag 1185001/1185001
1300.67/664.87	c cleaning 9797 clauses out of 47817 with flag 1195001/1195001
1315.50/672.45	c cleaning 9793 clauses out of 48020 with flag 1205001/1205001
1326.72/678.22	c cleaning 9933 clauses out of 48227 with flag 1215001/1215001
1339.29/684.82	c cleaning 9810 clauses out of 48295 with flag 1225002/1225002
1348.90/689.85	c cleaning 9854 clauses out of 48483 with flag 1235000/1235000
1359.91/695.51	c cleaning 9808 clauses out of 48629 with flag 1245000/1245000
1372.48/702.07	c cleaning 9880 clauses out of 48824 with flag 1255003/1255003
1383.86/708.02	c cleaning 9817 clauses out of 48944 with flag 1265003/1265003
1394.04/713.36	c cleaning 9922 clauses out of 49124 with flag 1275000/1275000
1402.83/717.93	c cleaning 9680 clauses out of 49204 with flag 1285002/1285002
1409.85/721.62	c cleaning 9755 clauses out of 49523 with flag 1295001/1295001
1417.81/725.97	c cleaning 9660 clauses out of 49767 with flag 1305000/1305000
1425.78/730.16	c cleaning 9836 clauses out of 50107 with flag 1315000/1315000
1436.98/735.96	c cleaning 9887 clauses out of 50271 with flag 1325000/1325000
1445.71/740.53	c cleaning 9674 clauses out of 50384 with flag 1335000/1335000
1454.84/745.49	c cleaning 9819 clauses out of 50710 with flag 1345000/1345000
1465.38/750.97	c cleaning 9867 clauses out of 50891 with flag 1355000/1355000
1476.13/756.51	c cleaning 9847 clauses out of 51027 with flag 1365003/1365003
1490.48/763.96	c cleaning 9746 clauses out of 51178 with flag 1375001/1375001
1503.17/770.64	c cleaning 9884 clauses out of 51431 with flag 1385000/1385000
1515.72/777.19	c cleaning 9870 clauses out of 51547 with flag 1395000/1395000
1531.71/785.33	c cleaning 9775 clauses out of 51677 with flag 1405000/1405000
1547.07/793.21	c cleaning 9872 clauses out of 51902 with flag 1415000/1415000
1561.40/800.79	c cleaning 9931 clauses out of 52033 with flag 1425003/1425003
1573.14/806.86	c cleaning 9845 clauses out of 52102 with flag 1435003/1435003
1584.49/812.79	c cleaning 9918 clauses out of 52254 with flag 1445000/1445000
1596.05/818.78	c cleaning 9902 clauses out of 52337 with flag 1455001/1455001
1606.76/824.42	c cleaning 10046 clauses out of 52435 with flag 1465001/1465001
1620.13/831.35	c cleaning 9744 clauses out of 52388 with flag 1475000/1475000
1632.89/837.96	c cleaning 9749 clauses out of 52648 with flag 1485004/1485004
1651.25/847.40	c cleaning 10265 clauses out of 52898 with flag 1495003/1495003
1662.56/853.36	c cleaning 9639 clauses out of 52631 with flag 1505001/1505001
1676.94/860.71	c cleaning 9881 clauses out of 52993 with flag 1515002/1515002
1691.30/868.15	c cleaning 10060 clauses out of 53111 with flag 1525001/1525001
1698.06/871.73	c cleaning 9842 clauses out of 53048 with flag 1535000/1535000
1705.36/875.71	c cleaning 9851 clauses out of 53206 with flag 1545000/1545000
1714.54/880.52	c cleaning 9818 clauses out of 53355 with flag 1555000/1555000
1722.30/884.69	c cleaning 9838 clauses out of 53537 with flag 1565001/1565001
1743.89/895.63	c cleaning 9746 clauses out of 53698 with flag 1575000/1575000
1750.77/899.41	c cleaning 9712 clauses out of 53953 with flag 1585001/1585001
1762.55/905.51	c cleaning 9808 clauses out of 54241 with flag 1595001/1595001
1770.94/909.95	c cleaning 9940 clauses out of 54435 with flag 1605003/1605003
1778.52/913.95	c cleaning 9893 clauses out of 54493 with flag 1615001/1615001
1787.06/918.57	c cleaning 9783 clauses out of 54599 with flag 1625000/1625000
1794.82/922.60	c cleaning 9864 clauses out of 54816 with flag 1635000/1635000
1800.20/925.51	c starts		: 206
1800.20/925.51	c conflicts		: 1641797
1800.20/925.51	c decisions		: 12190840
1800.20/925.51	c propagations		: 619776865
1800.20/925.51	c inspects		: 1803654397
1800.20/925.51	c shortcuts		: 0
1800.20/925.51	c learnt literals	: 82
1800.20/925.51	c learnt binary clauses	: 37047
1800.20/925.51	c learnt ternary clauses	: 56519
1800.20/925.51	c learnt constraints	: 1641715
1800.20/925.51	c ignored constraints	: 0
1800.20/925.51	c root simplifications	: 0
1800.20/925.51	c removed literals (reason simplification)	: 53151849
1800.20/925.51	c reason swapping (by a shorter reason)	: 0
1800.20/925.51	c Calls to reduceDB	: 165
1800.20/925.51	c number of reductions to clauses (during analyze)	: 0
1800.20/925.51	c number of learned constraints concerned by reduction	: 0
1800.20/925.51	c number of learning phase by resolution	: 0
1800.20/925.51	c number of learning phase by cutting planes	: 0
1800.20/925.51	c speed (assignments/second)	: 669969.832977149
1800.20/925.51	c non guided choices	3162
1800.20/925.54	c learnt constraints type 
1800.20/925.54	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 37047
1800.20/925.54	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 14756
1800.20/925.54	c constraints type 
1800.20/925.54	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4717
1800.20/925.54	c org.sat4j.minisat.constraints.card.MinWatchCard => 84
1800.20/925.54	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1079
1800.20/925.54	c constraints type 
1800.20/925.54	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1079
1800.20/925.54	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 4717
1800.20/925.54	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 84
1800.20/925.54	s UNKNOWN
1800.20/925.54	c Total wall clock time (in seconds): 925.433

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-3741993-1338763090/watcher-3741993-1338763090 -o /tmp/evaluation-result-3741993-1338763090/solver-3741993-1338763090 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3741993-1338763090.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.90 3.79 4/195 4700
/proc/meminfo: memFree=25812832/32873852 swapFree=7624/7624
[pid=4700] ppid=4698 vsize=24200 CPUtime=0 cores=0,2,4,6
/proc/4700/stat : 4700 (java) R 4698 4700 1918 0 -1 4202496 1145 0 0 0 0 0 0 0 20 0 1 0 342434453 24780800 866 33554432000 1073741824 1073778376 140737048464368 140737048453432 252266442749 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/4700/statm: 6050 867 654 9 0 385 0
[pid=4700/tid=4701] ppid=4698 vsize=89736 CPUtime=0 cores=0,2,4,6
/proc/4700/task/4701/stat : 4701 (java) R 4698 4700 1918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 2 0 342434454 91889664 870 33554432000 1073741824 1073778376 140737048464368 140737048453432 252263130087 0 0 4096 0 0 0 0 -1 2 0 0 0 0 0

[startup+0.0298791 s]
/proc/loadavg: 3.80 3.90 3.79 4/195 4700
/proc/meminfo: memFree=25812832/32873852 swapFree=7624/7624
[pid=4700] ppid=4698 vsize=11044572 CPUtime=0.02 cores=0,2,4,6
/proc/4700/stat : 4700 (java) S 4698 4700 1918 0 -1 4202496 4073 0 1 0 1 1 0 0 20 0 10 0 342434453 11309641728 10905 33554432000 1073741824 1073778376 140737048464368 140737048455504 252266446909 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4700/statm: 2761143 10907 1539 9 0 2751844 0
[pid=4700/tid=4701] ppid=4698 vsize=11044572 CPUtime=0.01 cores=0,2,4,6
/proc/4700/task/4701/stat : 4701 (java) R 4698 4700 1918 0 -1 4202560 2919 0 1 0 0 1 0 0 20 0 10 0 342434454 11309641728 10907 33554432000 1073741824 1073778376 140737048464368 140617693713088 140617696518997 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 11044572

[startup+0.10027 s]
/proc/loadavg: 3.80 3.90 3.79 4/195 4700
/proc/meminfo: memFree=25812832/32873852 swapFree=7624/7624
[pid=4700] ppid=4698 vsize=11586392 CPUtime=0.1 cores=0,2,4,6
/proc/4700/stat : 4700 (java) S 4698 4700 1918 0 -1 4202496 5294 0 1 0 8 2 0 0 20 0 18 0 342434453 11864465408 13133 33554432000 1073741824 1073778376 140737048464368 140737048455504 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4700/statm: 2896598 13133 2116 9 0 2887285 0
[pid=4700/tid=4701] ppid=4698 vsize=11586392 CPUtime=0.07 cores=0,2,4,6
/proc/4700/task/4701/stat : 4701 (java) R 4698 4700 1918 0 -1 4202560 3351 0 1 0 6 1 0 0 20 0 18 0 342434454 11864465408 13133 33554432000 1073741824 1073778376 140737048464368 140617693715376 140617698210046 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 11586392

[startup+0.300243 s]
/proc/loadavg: 3.80 3.90 3.79 4/195 4700
/proc/meminfo: memFree=25812832/32873852 swapFree=7624/7624
[pid=4700] ppid=4698 vsize=11586392 CPUtime=0.57 cores=0,2,4,6
/proc/4700/stat : 4700 (java) S 4698 4700 1918 0 -1 4202496 8428 0 1 0 54 3 0 0 20 0 18 0 342434453 11864465408 17439 33554432000 1073741824 1073778376 140737048464368 140737048455504 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4700/statm: 2896598 17439 2225 9 0 2887285 0
[pid=4700/tid=4701] ppid=4698 vsize=11586392 CPUtime=0.27 cores=0,2,4,6
/proc/4700/task/4701/stat : 4701 (java) R 4698 4700 1918 0 -1 4202560 3423 0 1 0 25 2 0 0 20 0 18 0 342434454 11864465408 17439 33554432000 1073741824 1073778376 140737048464368 140617693716552 140617633892029 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 11586392

[startup+0.700195 s]
/proc/loadavg: 3.80 3.90 3.79 4/195 4700
/proc/meminfo: memFree=25812832/32873852 swapFree=7624/7624
[pid=4700] ppid=4698 vsize=11852648 CPUtime=1.84 cores=0,2,4,6
/proc/4700/stat : 4700 (java) S 4698 4700 1918 0 -1 4202496 11120 0 1 0 181 3 0 0 20 0 22 0 342434453 12137111552 25238 33554432000 1073741824 1073778376 140737048464368 140737048455504 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4700/statm: 2963162 25238 2263 9 0 2953849 0
[pid=4700/tid=4701] ppid=4698 vsize=11852648 CPUtime=0.4 cores=0,2,4,6
/proc/4700/task/4701/stat : 4701 (java) S 4698 4700 1918 0 -1 4202560 3446 0 1 0 38 2 0 0 20 0 22 0 342434454 12137111552 25238 33554432000 1073741824 1073778376 140737048464368 140617693717656 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.84
Current children cumulated vsize (KiB) 11852648

[startup+1.50078 s]
/proc/loadavg: 3.89 3.91 3.80 5/217 4722
/proc/meminfo: memFree=25662244/32873852 swapFree=7624/7624
[pid=4700] ppid=4698 vsize=11852648 CPUtime=4.01 cores=0,2,4,6
/proc/4700/stat : 4700 (java) S 4698 4700 1918 0 -1 4202496 16803 0 1 0 394 7 0 0 20 0 22 0 342434453 12137111552 77873 33554432000 1073741824 1073778376 140737048464368 140737048455504 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4700/statm: 2963162 77873 2265 9 0 2953849 0
[pid=4700/tid=4701] ppid=4698 vsize=11852648 CPUtime=0.4 cores=0,2,4,6
/proc/4700/task/4701/stat : 4701 (java) S 4698 4700 1918 0 -1 4202560 3446 0 1 0 38 2 0 0 20 0 22 0 342434454 12137111552 77873 33554432000 1073741824 1073778376 140737048464368 140617693717656 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4700/tid=4703] ppid=4698 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4700/task/4703/stat : 4703 (java) S 4698 4700 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342434456 12137111552 77873 33554432000 1073741824 1073778376 140737048464368 140617530501672 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4700/tid=4704] ppid=4698 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4700/task/4704/stat : 4704 (java) S 4698 4700 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342434456 12137111552 77873 33554432000 1073741824 1073778376 140737048464368 140617529448872 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4700/tid=4705] ppid=4698 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4700/task/4705/stat : 4705 (java) S 4698 4700 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342434456 12137111552 77873 33554432000 1073741824 1073778376 140737048464368 140617528396072 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4700/tid=4706] ppid=4698 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4700/task/4706/stat : 4706 (java) S 4698 4700 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342434456 12137111552 77873 33554432000 1073741824 1073778376 140737048464368 140617527343272 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4700/tid=4707] ppid=4698 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4700/task/4707/stat : 4707 (java) S 4698 4700 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342434456 12137111552 77873 33554432000 1073741824 1073778376 140737048464368 140617526291496 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4700/tid=4708] ppid=4698 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4700/task/4708/stat : 4708 (java) S 4698 4700 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342434456 12137111552 77873 33554432000 1073741824 1073778376 140737048464368 140617525238696 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4700/tid=4709] ppid=4698 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4700/task/4709/stat : 4709 (java) S 4698 4700 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342434456 12137111552 77873 33554432000 1073741824 1073778376 140737048464368 140617524185896 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4700/tid=4710] ppid=4698 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4700/task/4710/stat : 4710 (java) S 4698 4700 1918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 342434456 12137111552 77873 33554432000 1073741824 1073778376 140737048464368 140617523133096 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4700/tid=4711] ppid=4698 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4700/task/4711/stat : 4711 (java) S 4698 4700 1918 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 342434457 12137111552 77873 33554432000 1073741824 1073778376 140737048464368 140617510935016 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4700/tid=4712] ppid=4698 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4700/task/4712/stat : 4712 (java) S 4698 4700 1918 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 342434457 12137111552 77873 33554432000 1073741824 1073778376 140737048464368 140617509881080 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4700/tid=4713] ppid=4698 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4700/task/4713/stat : 4713 (java) S 4698 4700 1918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342434457 12137111552 77873 33554432000 1073741824 1073778376 140737048464368 140617508828168 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4700/tid=4714] ppid=4698 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4700/task/4714/stat : 4714 (java) S 4698 4700 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342434459 12137111552 77873 33554432000 1073741824 1073778376 140737048464368 140617507776656 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4700/tid=4715] ppid=4698 vsize=11852648 CPUtime=0.79 cores=0,2,4,6
/proc/4700/task/4715/stat : 4715 (java) S 4698 4700 1918 0 -1 4202560 5615 0 0 0 79 0 0 0 20 0 22 0 342434459 12137111552 77873 33554432000 1073741824 1073778376 140737048464368 140617506724792 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4700/tid=4716] ppid=4698 vsize=11852648 CPUtime=0.64 cores=0,2,4,6
/proc/4700/task/4716/stat : 4716 (java) S 4698 4700 1918 0 -1 4202560 6345 0 0 0 64 0 0 0 20 0 22 0 342434460 12137111552 77873 33554432000 1073741824 1073778376 140737048464368 140617505671992 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4700/tid=4717] ppid=4698 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4700/task/4717/stat : 4717 (java) S 4698 4700 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342434460 12137111552 77873 33554432000 1073741824 1073778376 140737048464368 140617504619384 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4700/tid=4718] ppid=4698 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4700/task/4718/stat : 4718 (java) S 4698 4700 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342434460 12137111552 77873 33554432000 1073741824 1073778376 140737048464368 140617503566792 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4700/tid=4719] ppid=4698 vsize=11852648 CPUtime=1.04 cores=0,2,4,6
/proc/4700/task/4719/stat : 4719 (java) R 4698 4700 1918 0 -1 4202560 25 0 0 0 104 0 0 0 20 0 22 0 342434496 12137111552 77873 33554432000 1073741824 1073778376 140737048464368 140617502511736 140617634331063 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=4700/tid=4720] ppid=4698 vsize=11852648 CPUtime=1.05 cores=0,2,4,6
/proc/4700/task/4720/stat : 4720 (java) R 4698 4700 1918 0 -1 4202560 165 0 0 0 102 3 0 0 20 0 22 0 342434496 12137111552 77873 33554432000 1073741824 1073778376 140737048464368 140617501458664 140617634065237 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4700/tid=4721] ppid=4698 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4700/task/4721/stat : 4721 (java) S 4698 4700 1918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342434498 12137111552 77873 33554432000 1073741824 1073778376 140737048464368 140617500406696 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4700/tid=4722] ppid=4698 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4700/task/4722/stat : 4722 (java) S 4698 4700 1918 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 342434498 12137111552 77873 33554432000 1073741824 1073778376 140737048464368 140617499353896 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 4.01
Current children cumulated vsize (KiB) 11852648

[startup+3.1007 s]
/proc/loadavg: 3.89 3.91 3.80 6/217 4722
/proc/meminfo: memFree=25317132/32873852 swapFree=7624/7624
[pid=4700] ppid=4698 vsize=11852648 CPUtime=7.83 cores=0,2,4,6
/proc/4700/stat : 4700 (java) S 4698 4700 1918 0 -1 4202496 21822 0 1 0 768 15 0 0 20 0 22 0 342434453 12137111552 160072 33554432000 1073741824 1073778376 140737048464368 140737048455504 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4700/statm: 2963162 160072 2290 9 0 2953849 0
[pid=4700/tid=4701] ppid=4698 vsize=11852648 CPUtime=0.4 cores=0,2,4,6
/proc/4700/task/4701/stat : 4701 (java) S 4698 4700 1918 0 -1 4202560 3446 0 1 0 38 2 0 0 20 0 22 0 342434454 12137111552 160072 33554432000 1073741824 1073778376 140737048464368 140617693717656 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4700/tid=4703] ppid=4698 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4700/task/4703/stat : 4703 (java) S 4698 4700 1918 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 342434456 12137111552 160072 33554432000 1073741824 1073778376 140737048464368 140617530501672 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4700/tid=4704] ppid=4698 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4700/task/4704/stat : 4704 (java) S 4698 4700 1918 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 342434456 12137111552 160072 33554432000 1073741824 1073778376 140737048464368 140617529448872 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4700/tid=4705] ppid=4698 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4700/task/4705/stat : 4705 (java) S 4698 4700 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342434456 12137111552 160072 33554432000 1073741824 1073778376 140737048464368 140617528396072 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4700/tid=4706] ppid=4698 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4700/task/4706/stat : 4706 (java) S 4698 4700 1918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 342434456 12137111552 160072 33554432000 1073741824 1073778376 140737048464368 140617527343272 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4700/tid=4707] ppid=4698 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4700/task/4707/stat : 4707 (java) S 4698 4700 1918 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 342434456 12137111552 160072 33554432000 1073741824 1073778376 140737048464368 140617526291496 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4700/tid=4708] ppid=4698 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4700/task/4708/stat : 4708 (java) S 4698 4700 1918 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 342434456 12137111552 160072 33554432000 1073741824 1073778376 140737048464368 140617525238696 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4700/tid=4709] ppid=4698 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4700/task/4709/stat : 4709 (java) S 4698 4700 1918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342434456 12137111552 160072 33554432000 1073741824 1073778376 140737048464368 140617524185896 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4700/tid=4710] ppid=4698 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4700/task/4710/stat : 4710 (java) S 4698 4700 1918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 342434456 12137111552 160072 33554432000 1073741824 1073778376 140737048464368 140617523133096 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4700/tid=4711] ppid=4698 vsize=11852648 CPUtime=0.02 cores=0,2,4,6
/proc/4700/task/4711/stat : 4711 (java) S 4698 4700 1918 0 -1 4202560 34 0 0 0 2 0 0 0 20 0 22 0 342434457 12137111552 160072 33554432000 1073741824 1073778376 140737048464368 140617510935016 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4700/tid=4712] ppid=4698 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4700/task/4712/stat : 4712 (java) S 4698 4700 1918 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 342434457 12137111552 160072 33554432000 1073741824 1073778376 140737048464368 140617509881080 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4700/tid=4713] ppid=4698 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4700/task/4713/stat : 4713 (java) S 4698 4700 1918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342434457 12137111552 160072 33554432000 1073741824 1073778376 140737048464368 140617508828168 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4700/tid=4714] ppid=4698 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4700/task/4714/stat : 4714 (java) S 4698 4700 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342434459 12137111552 160072 33554432000 1073741824 1073778376 140737048464368 140617507776656 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4700/tid=4715] ppid=4698 vsize=11852648 CPUtime=1.35 cores=0,2,4,6
/proc/4700/task/4715/stat : 4715 (java) R 4698 4700 1918 0 -1 4202560 10386 0 0 0 133 2 0 0 20 0 22 0 342434459 12137111552 160072 33554432000 1073741824 1073778376 140737048464368 140617506724792 140617700516032 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4700/tid=4716] ppid=4698 vsize=11852648 CPUtime=0.74 cores=0,2,4,6
/proc/4700/task/4716/stat : 4716 (java) R 4698 4700 1918 0 -1 4202560 6377 0 0 0 74 0 0 0 20 0 22 0 342434460 12137111552 160072 33554432000 1073741824 1073778376 140737048464368 140617505671992 140617696583152 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=4700/tid=4717] ppid=4698 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4700/task/4717/stat : 4717 (java) S 4698 4700 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342434460 12137111552 160072 33554432000 1073741824 1073778376 140737048464368 140617504619384 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4700/tid=4718] ppid=4698 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4700/task/4718/stat : 4718 (java) S 4698 4700 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342434460 12137111552 160072 33554432000 1073741824 1073778376 140737048464368 140617503566792 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4700/tid=4719] ppid=4698 vsize=11852648 CPUtime=2.58 cores=0,2,4,6
/proc/4700/task/4719/stat : 4719 (java) R 4698 4700 1918 0 -1 4202560 27 0 0 0 258 0 0 0 20 0 22 0 342434496 12137111552 160072 33554432000 1073741824 1073778376 140737048464368 140617502511912 140617634218082 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=4700/tid=4720] ppid=4698 vsize=11852648 CPUtime=2.59 cores=0,2,4,6
/proc/4700/task/4720/stat : 4720 (java) R 4698 4700 1918 0 -1 4202560 313 0 0 0 251 8 0 0 20 0 22 0 342434496 12137111552 160072 33554432000 1073741824 1073778376 140737048464368 140617501456448 140617634270805 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=4700/tid=4721] ppid=4698 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4700/task/4721/stat : 4721 (java) S 4698 4700 1918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342434498 12137111552 160072 33554432000 1073741824 1073778376 140737048464368 140617500406696 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4700/tid=4722] ppid=4698 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4700/task/4722/stat : 4722 (java) S 4698 4700 1918 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 342434498 12137111552 160072 33554432000 1073741824 1073778376 140737048464368 140617499353896 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 7.83
Current children cumulated vsize (KiB) 11852648

[startup+6.30078 s]
/proc/loadavg: 3.90 3.91 3.80 5/217 4722
/proc/meminfo: memFree=25037676/32873852 swapFree=7624/7624
[pid=4700] ppid=4698 vsize=11852648 CPUtime=14.24 cores=0,2,4,6
/proc/4700/stat : 4700 (java) S 4698 4700 1918 0 -1 4202496 21915 0 1 0 1406 18 0 0 20 0 22 0 342434453 12137111552 193370 33554432000 1073741824 1073778376 140737048464368 140737048455504 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4700/statm: 2963162 193370 2290 9 0 2953849 0
[pid=4700/tid=4701] ppid=4698 vsize=11852648 CPUtime=0.4 cores=0,2,4,6
/proc/4700/task/4701/stat : 4701 (java) S 4698 4700 1918 0 -1 4202560 3447 0 1 0 38 2 0 0 20 0 22 0 342434454 12137111552 193370 33554432000 1073741824 1073778376 140737048464368 140617693717656 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4700/tid=4703] ppid=4698 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4700/task/4703/stat : 4703 (java) S 4698 4700 1918 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 342434456 12137111552 193370 33554432000 1073741824 1073778376 140737048464368 140617530501672 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4700/tid=4704] ppid=4698 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4700/task/4704/stat : 4704 (java) S 4698 4700 1918 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 342434456 12137111552 193370 33554432000 1073741824 1073778376 140737048464368 140617529448872 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4700/tid=4705] ppid=4698 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4700/task/4705/stat : 4705 (java) S 4698 4700 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342434456 12137111552 193370 33554432000 1073741824 1073778376 140737048464368 140617528396072 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4700/tid=4706] ppid=4698 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4700/task/4706/stat : 4706 (java) S 4698 4700 1918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342434456 12137111552 193370 33554432000 1073741824 1073778376 140737048464368 140617527343272 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4700/tid=4707] ppid=4698 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4700/task/4707/stat : 4707 (java) S 4698 4700 1918 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 342434456 12137111552 193370 33554432000 1073741824 1073778376 140737048464368 140617526291496 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4700/tid=4708] ppid=4698 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4700/task/4708/stat : 4708 (java) S 4698 4700 1918 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 342434456 12137111552 193370 33554432000 1073741824 1073778376 140737048464368 140617525238696 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4700/tid=4709] ppid=4698 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4700/task/4709/stat : 4709 (java) S 4698 4700 1918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342434456 12137111552 193370 33554432000 1073741824 1073778376 140737048464368 140617524185896 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4700/tid=4710] ppid=4698 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4700/task/4710/stat : 4710 (java) S 4698 4700 1918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 342434456 12137111552 193370 33554432000 1073741824 1073778376 140737048464368 140617523133096 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0

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

/proc/4700/statm: 2963162 801026 2291 9 0 2953849 0
[pid=4700/tid=4701] ppid=4698 vsize=11852648 CPUtime=0.44 cores=0,2,4,6
/proc/4700/task/4701/stat : 4701 (java) S 4698 4700 1918 0 -1 4202560 3542 0 1 0 40 4 0 0 20 0 22 0 342434454 12137111552 801026 33554432000 1073741824 1073778376 140737048464368 140617693717656 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4700/tid=4703] ppid=4698 vsize=11852648 CPUtime=1.17 cores=0,2,4,6
/proc/4700/task/4703/stat : 4703 (java) S 4698 4700 1918 0 -1 4202560 95 0 0 0 113 4 0 0 20 0 22 0 342434456 12137111552 801026 33554432000 1073741824 1073778376 140737048464368 140617530501672 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4700/tid=4704] ppid=4698 vsize=11852648 CPUtime=1.2 cores=0,2,4,6
/proc/4700/task/4704/stat : 4704 (java) S 4698 4700 1918 0 -1 4202560 97 0 0 0 117 3 0 0 20 0 22 0 342434456 12137111552 801026 33554432000 1073741824 1073778376 140737048464368 140617529448872 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4700/tid=4705] ppid=4698 vsize=11852648 CPUtime=1.15 cores=0,2,4,6
/proc/4700/task/4705/stat : 4705 (java) S 4698 4700 1918 0 -1 4202560 74 0 0 0 113 2 0 0 20 0 22 0 342434456 12137111552 801026 33554432000 1073741824 1073778376 140737048464368 140617528396072 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4700/tid=4706] ppid=4698 vsize=11852648 CPUtime=1.12 cores=0,2,4,6
/proc/4700/task/4706/stat : 4706 (java) S 4698 4700 1918 0 -1 4202560 75 0 0 0 110 2 0 0 20 0 22 0 342434456 12137111552 801026 33554432000 1073741824 1073778376 140737048464368 140617527343272 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4700/tid=4707] ppid=4698 vsize=11852648 CPUtime=1.11 cores=0,2,4,6
/proc/4700/task/4707/stat : 4707 (java) S 4698 4700 1918 0 -1 4202560 67 0 0 0 108 3 0 0 20 0 22 0 342434456 12137111552 801026 33554432000 1073741824 1073778376 140737048464368 140617526291496 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4700/tid=4708] ppid=4698 vsize=11852648 CPUtime=1.2 cores=0,2,4,6
/proc/4700/task/4708/stat : 4708 (java) S 4698 4700 1918 0 -1 4202560 106 0 0 0 116 4 0 0 20 0 22 0 342434456 12137111552 801026 33554432000 1073741824 1073778376 140737048464368 140617525238696 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4700/tid=4709] ppid=4698 vsize=11852648 CPUtime=1.05 cores=0,2,4,6
/proc/4700/task/4709/stat : 4709 (java) S 4698 4700 1918 0 -1 4202560 86 0 0 0 102 3 0 0 20 0 22 0 342434456 12137111552 801026 33554432000 1073741824 1073778376 140737048464368 140617524185896 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4700/tid=4710] ppid=4698 vsize=11852648 CPUtime=1.15 cores=0,2,4,6
/proc/4700/task/4710/stat : 4710 (java) S 4698 4700 1918 0 -1 4202560 78 0 0 0 112 3 0 0 20 0 22 0 342434456 12137111552 801026 33554432000 1073741824 1073778376 140737048464368 140617523133096 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4700/tid=4711] ppid=4698 vsize=11852648 CPUtime=52.87 cores=0,2,4,6
/proc/4700/task/4711/stat : 4711 (java) S 4698 4700 1918 0 -1 4202560 321 0 0 0 5273 14 0 0 20 0 22 0 342434457 12137111552 801026 33554432000 1073741824 1073778376 140737048464368 140617510935016 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4700/tid=4712] ppid=4698 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4700/task/4712/stat : 4712 (java) S 4698 4700 1918 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 342434457 12137111552 801026 33554432000 1073741824 1073778376 140737048464368 140617509881080 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4700/tid=4713] ppid=4698 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4700/task/4713/stat : 4713 (java) S 4698 4700 1918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342434457 12137111552 801026 33554432000 1073741824 1073778376 140737048464368 140617508828168 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4700/tid=4714] ppid=4698 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4700/task/4714/stat : 4714 (java) S 4698 4700 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342434459 12137111552 801026 33554432000 1073741824 1073778376 140737048464368 140617507776656 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4700/tid=4715] ppid=4698 vsize=11852648 CPUtime=1.95 cores=0,2,4,6
/proc/4700/task/4715/stat : 4715 (java) S 4698 4700 1918 0 -1 4202560 13192 0 0 0 193 2 0 0 20 0 22 0 342434459 12137111552 801026 33554432000 1073741824 1073778376 140737048464368 140617506724792 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4700/tid=4716] ppid=4698 vsize=11852648 CPUtime=0.81 cores=0,2,4,6
/proc/4700/task/4716/stat : 4716 (java) S 4698 4700 1918 0 -1 4202560 6377 0 0 0 81 0 0 0 20 0 22 0 342434460 12137111552 801026 33554432000 1073741824 1073778376 140737048464368 140617505671992 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4700/tid=4717] ppid=4698 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4700/task/4717/stat : 4717 (java) S 4698 4700 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342434460 12137111552 801026 33554432000 1073741824 1073778376 140737048464368 140617504619384 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4700/tid=4718] ppid=4698 vsize=11852648 CPUtime=0.29 cores=0,2,4,6
/proc/4700/task/4718/stat : 4718 (java) S 4698 4700 1918 0 -1 4202560 51 0 0 0 16 13 0 0 20 0 22 0 342434460 12137111552 801026 33554432000 1073741824 1073778376 140737048464368 140617503566792 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4700/tid=4719] ppid=4698 vsize=11852648 CPUtime=823.94 cores=0,2,4,6
/proc/4700/task/4719/stat : 4719 (java) R 4698 4700 1918 0 -1 4202560 80 0 0 0 82380 14 0 0 20 0 22 0 342434496 12137111552 801026 33554432000 1073741824 1073778376 140737048464368 140617502511568 140617634218247 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=4700/tid=4720] ppid=4698 vsize=11852648 CPUtime=823.98 cores=0,2,4,6
/proc/4700/task/4720/stat : 4720 (java) R 4698 4700 1918 0 -1 4202560 1316 0 0 0 82339 59 0 0 20 0 22 0 342434496 12137111552 801026 33554432000 1073741824 1073778376 140737048464368 140617501456432 140617634599952 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4700/tid=4721] ppid=4698 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4700/task/4721/stat : 4721 (java) S 4698 4700 1918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342434498 12137111552 801026 33554432000 1073741824 1073778376 140737048464368 140617500406696 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4700/tid=4722] ppid=4698 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4700/task/4722/stat : 4722 (java) S 4698 4700 1918 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 342434498 12137111552 801026 33554432000 1073741824 1073778376 140737048464368 140617499353896 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1717.7
Current children cumulated vsize (KiB) 11852648



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+925.501 s]
/proc/loadavg: 3.83 3.85 3.82 5/217 4793
/proc/meminfo: memFree=23601212/32873852 swapFree=7624/7624
[pid=4700] ppid=4698 vsize=11852648 CPUtime=1800.2 cores=0,2,4,6
/proc/4700/stat : 4700 (java) S 4698 4700 1918 0 -1 4202496 26764 0 1 0 179912 108 0 0 20 0 22 0 342434453 12137111552 801028 33554432000 1073741824 1073778376 140737048464368 140737048455504 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4700/statm: 2963162 801028 2291 9 0 2953849 0
[pid=4700/tid=4701] ppid=4698 vsize=11852648 CPUtime=0.44 cores=0,2,4,6
/proc/4700/task/4701/stat : 4701 (java) S 4698 4700 1918 0 -1 4202560 3549 0 1 0 40 4 0 0 20 0 22 0 342434454 12137111552 801028 33554432000 1073741824 1073778376 140737048464368 140617693717656 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4700/tid=4703] ppid=4698 vsize=11852648 CPUtime=1.2 cores=0,2,4,6
/proc/4700/task/4703/stat : 4703 (java) S 4698 4700 1918 0 -1 4202560 95 0 0 0 116 4 0 0 20 0 22 0 342434456 12137111552 801028 33554432000 1073741824 1073778376 140737048464368 140617530501672 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4700/tid=4704] ppid=4698 vsize=11852648 CPUtime=1.24 cores=0,2,4,6
/proc/4700/task/4704/stat : 4704 (java) S 4698 4700 1918 0 -1 4202560 97 0 0 0 121 3 0 0 20 0 22 0 342434456 12137111552 801028 33554432000 1073741824 1073778376 140737048464368 140617529448872 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4700/tid=4705] ppid=4698 vsize=11852648 CPUtime=1.18 cores=0,2,4,6
/proc/4700/task/4705/stat : 4705 (java) S 4698 4700 1918 0 -1 4202560 76 0 0 0 115 3 0 0 20 0 22 0 342434456 12137111552 801028 33554432000 1073741824 1073778376 140737048464368 140617528396072 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4700/tid=4706] ppid=4698 vsize=11852648 CPUtime=1.14 cores=0,2,4,6
/proc/4700/task/4706/stat : 4706 (java) S 4698 4700 1918 0 -1 4202560 75 0 0 0 112 2 0 0 20 0 22 0 342434456 12137111552 801028 33554432000 1073741824 1073778376 140737048464368 140617527343272 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4700/tid=4707] ppid=4698 vsize=11852648 CPUtime=1.14 cores=0,2,4,6
/proc/4700/task/4707/stat : 4707 (java) S 4698 4700 1918 0 -1 4202560 67 0 0 0 111 3 0 0 20 0 22 0 342434456 12137111552 801028 33554432000 1073741824 1073778376 140737048464368 140617526291496 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4700/tid=4708] ppid=4698 vsize=11852648 CPUtime=1.22 cores=0,2,4,6
/proc/4700/task/4708/stat : 4708 (java) S 4698 4700 1918 0 -1 4202560 106 0 0 0 118 4 0 0 20 0 22 0 342434456 12137111552 801028 33554432000 1073741824 1073778376 140737048464368 140617525238696 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4700/tid=4709] ppid=4698 vsize=11852648 CPUtime=1.09 cores=0,2,4,6
/proc/4700/task/4709/stat : 4709 (java) S 4698 4700 1918 0 -1 4202560 86 0 0 0 106 3 0 0 20 0 22 0 342434456 12137111552 801028 33554432000 1073741824 1073778376 140737048464368 140617524185896 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4700/tid=4710] ppid=4698 vsize=11852648 CPUtime=1.17 cores=0,2,4,6
/proc/4700/task/4710/stat : 4710 (java) S 4698 4700 1918 0 -1 4202560 78 0 0 0 114 3 0 0 20 0 22 0 342434456 12137111552 801028 33554432000 1073741824 1073778376 140737048464368 140617523133096 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4700/tid=4711] ppid=4698 vsize=11852648 CPUtime=56.88 cores=0,2,4,6
/proc/4700/task/4711/stat : 4711 (java) S 4698 4700 1918 0 -1 4202560 323 0 0 0 5672 16 0 0 20 0 22 0 342434457 12137111552 801028 33554432000 1073741824 1073778376 140737048464368 140617510935016 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4700/tid=4712] ppid=4698 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4700/task/4712/stat : 4712 (java) S 4698 4700 1918 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 342434457 12137111552 801028 33554432000 1073741824 1073778376 140737048464368 140617509881080 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4700/tid=4713] ppid=4698 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4700/task/4713/stat : 4713 (java) S 4698 4700 1918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342434457 12137111552 801028 33554432000 1073741824 1073778376 140737048464368 140617508828168 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4700/tid=4714] ppid=4698 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4700/task/4714/stat : 4714 (java) S 4698 4700 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342434459 12137111552 801028 33554432000 1073741824 1073778376 140737048464368 140617507776656 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4700/tid=4715] ppid=4698 vsize=11852648 CPUtime=1.95 cores=0,2,4,6
/proc/4700/task/4715/stat : 4715 (java) S 4698 4700 1918 0 -1 4202560 13192 0 0 0 193 2 0 0 20 0 22 0 342434459 12137111552 801028 33554432000 1073741824 1073778376 140737048464368 140617506724792 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4700/tid=4716] ppid=4698 vsize=11852648 CPUtime=0.81 cores=0,2,4,6
/proc/4700/task/4716/stat : 4716 (java) S 4698 4700 1918 0 -1 4202560 6377 0 0 0 81 0 0 0 20 0 22 0 342434460 12137111552 801028 33554432000 1073741824 1073778376 140737048464368 140617505671992 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4700/tid=4717] ppid=4698 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4700/task/4717/stat : 4717 (java) S 4698 4700 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342434460 12137111552 801028 33554432000 1073741824 1073778376 140737048464368 140617504619384 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4700/tid=4718] ppid=4698 vsize=11852648 CPUtime=0.3 cores=0,2,4,6
/proc/4700/task/4718/stat : 4718 (java) S 4698 4700 1918 0 -1 4202560 53 0 0 0 16 14 0 0 20 0 22 0 342434460 12137111552 801028 33554432000 1073741824 1073778376 140737048464368 140617503566792 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4700/tid=4719] ppid=4698 vsize=11852648 CPUtime=862.95 cores=0,2,4,6
/proc/4700/task/4719/stat : 4719 (java) R 4698 4700 1918 0 -1 4202560 81 0 0 0 86280 15 0 0 20 0 22 0 342434496 12137111552 801028 33554432000 1073741824 1073778376 140737048464368 140617502511568 140617634218286 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=4700/tid=4720] ppid=4698 vsize=11852648 CPUtime=863.02 cores=0,2,4,6
/proc/4700/task/4720/stat : 4720 (java) R 4698 4700 1918 0 -1 4202560 1316 0 0 0 86242 60 0 0 20 0 22 0 342434496 12137111552 801028 33554432000 1073741824 1073778376 140737048464368 140617501456352 140617634034624 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4700/tid=4721] ppid=4698 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4700/task/4721/stat : 4721 (java) S 4698 4700 1918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342434498 12137111552 801028 33554432000 1073741824 1073778376 140737048464368 140617500406696 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4700/tid=4722] ppid=4698 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4700/task/4722/stat : 4722 (java) S 4698 4700 1918 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 342434498 12137111552 801028 33554432000 1073741824 1073778376 140737048464368 140617499353896 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.2
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+925.501 s]
/proc/loadavg: 3.83 3.85 3.82 5/217 4793
/proc/meminfo: memFree=23601212/32873852 swapFree=7624/7624
[pid=4700] ppid=4698 vsize=11852648 CPUtime=1800.2 cores=0,2,4,6
/proc/4700/stat : 4700 (java) S 4698 4700 1918 0 -1 4202496 26764 0 1 0 179912 108 0 0 20 0 22 0 342434453 12137111552 801028 33554432000 1073741824 1073778376 140737048464368 140737048455504 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4700/statm: 2963162 801028 2291 9 0 2953849 0
[pid=4700/tid=4701] ppid=4698 vsize=11852648 CPUtime=0.44 cores=0,2,4,6
/proc/4700/task/4701/stat : 4701 (java) S 4698 4700 1918 0 -1 4202560 3549 0 1 0 40 4 0 0 20 0 22 0 342434454 12137111552 801028 33554432000 1073741824 1073778376 140737048464368 140617693717656 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4700/tid=4703] ppid=4698 vsize=11852648 CPUtime=1.2 cores=0,2,4,6
/proc/4700/task/4703/stat : 4703 (java) S 4698 4700 1918 0 -1 4202560 95 0 0 0 116 4 0 0 20 0 22 0 342434456 12137111552 801028 33554432000 1073741824 1073778376 140737048464368 140617530501672 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4700/tid=4704] ppid=4698 vsize=11852648 CPUtime=1.24 cores=0,2,4,6
/proc/4700/task/4704/stat : 4704 (java) S 4698 4700 1918 0 -1 4202560 97 0 0 0 121 3 0 0 20 0 22 0 342434456 12137111552 801028 33554432000 1073741824 1073778376 140737048464368 140617529448872 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4700/tid=4705] ppid=4698 vsize=11852648 CPUtime=1.18 cores=0,2,4,6
/proc/4700/task/4705/stat : 4705 (java) S 4698 4700 1918 0 -1 4202560 76 0 0 0 115 3 0 0 20 0 22 0 342434456 12137111552 801028 33554432000 1073741824 1073778376 140737048464368 140617528396072 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4700/tid=4706] ppid=4698 vsize=11852648 CPUtime=1.14 cores=0,2,4,6
/proc/4700/task/4706/stat : 4706 (java) S 4698 4700 1918 0 -1 4202560 75 0 0 0 112 2 0 0 20 0 22 0 342434456 12137111552 801028 33554432000 1073741824 1073778376 140737048464368 140617527343272 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4700/tid=4707] ppid=4698 vsize=11852648 CPUtime=1.14 cores=0,2,4,6
/proc/4700/task/4707/stat : 4707 (java) S 4698 4700 1918 0 -1 4202560 67 0 0 0 111 3 0 0 20 0 22 0 342434456 12137111552 801028 33554432000 1073741824 1073778376 140737048464368 140617526291496 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4700/tid=4708] ppid=4698 vsize=11852648 CPUtime=1.22 cores=0,2,4,6
/proc/4700/task/4708/stat : 4708 (java) S 4698 4700 1918 0 -1 4202560 106 0 0 0 118 4 0 0 20 0 22 0 342434456 12137111552 801028 33554432000 1073741824 1073778376 140737048464368 140617525238696 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4700/tid=4709] ppid=4698 vsize=11852648 CPUtime=1.09 cores=0,2,4,6
/proc/4700/task/4709/stat : 4709 (java) S 4698 4700 1918 0 -1 4202560 86 0 0 0 106 3 0 0 20 0 22 0 342434456 12137111552 801028 33554432000 1073741824 1073778376 140737048464368 140617524185896 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4700/tid=4710] ppid=4698 vsize=11852648 CPUtime=1.17 cores=0,2,4,6
/proc/4700/task/4710/stat : 4710 (java) S 4698 4700 1918 0 -1 4202560 78 0 0 0 114 3 0 0 20 0 22 0 342434456 12137111552 801028 33554432000 1073741824 1073778376 140737048464368 140617523133096 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4700/tid=4711] ppid=4698 vsize=11852648 CPUtime=56.88 cores=0,2,4,6
/proc/4700/task/4711/stat : 4711 (java) S 4698 4700 1918 0 -1 4202560 323 0 0 0 5672 16 0 0 20 0 22 0 342434457 12137111552 801028 33554432000 1073741824 1073778376 140737048464368 140617510935016 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4700/tid=4712] ppid=4698 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4700/task/4712/stat : 4712 (java) S 4698 4700 1918 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 342434457 12137111552 801028 33554432000 1073741824 1073778376 140737048464368 140617509881080 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4700/tid=4713] ppid=4698 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4700/task/4713/stat : 4713 (java) S 4698 4700 1918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342434457 12137111552 801028 33554432000 1073741824 1073778376 140737048464368 140617508828168 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4700/tid=4714] ppid=4698 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4700/task/4714/stat : 4714 (java) S 4698 4700 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342434459 12137111552 801028 33554432000 1073741824 1073778376 140737048464368 140617507776656 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4700/tid=4715] ppid=4698 vsize=11852648 CPUtime=1.95 cores=0,2,4,6
/proc/4700/task/4715/stat : 4715 (java) S 4698 4700 1918 0 -1 4202560 13192 0 0 0 193 2 0 0 20 0 22 0 342434459 12137111552 801028 33554432000 1073741824 1073778376 140737048464368 140617506724792 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4700/tid=4716] ppid=4698 vsize=11852648 CPUtime=0.81 cores=0,2,4,6
/proc/4700/task/4716/stat : 4716 (java) S 4698 4700 1918 0 -1 4202560 6377 0 0 0 81 0 0 0 20 0 22 0 342434460 12137111552 801028 33554432000 1073741824 1073778376 140737048464368 140617505671992 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4700/tid=4717] ppid=4698 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4700/task/4717/stat : 4717 (java) S 4698 4700 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342434460 12137111552 801028 33554432000 1073741824 1073778376 140737048464368 140617504619384 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4700/tid=4718] ppid=4698 vsize=11852648 CPUtime=0.3 cores=0,2,4,6
/proc/4700/task/4718/stat : 4718 (java) S 4698 4700 1918 0 -1 4202560 53 0 0 0 16 14 0 0 20 0 22 0 342434460 12137111552 801028 33554432000 1073741824 1073778376 140737048464368 140617503566792 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4700/tid=4719] ppid=4698 vsize=11852648 CPUtime=862.95 cores=0,2,4,6
/proc/4700/task/4719/stat : 4719 (java) R 4698 4700 1918 0 -1 4202560 81 0 0 0 86280 15 0 0 20 0 22 0 342434496 12137111552 801028 33554432000 1073741824 1073778376 140737048464368 140617502511568 140617634218286 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=4700/tid=4720] ppid=4698 vsize=11852648 CPUtime=863.02 cores=0,2,4,6
/proc/4700/task/4720/stat : 4720 (java) R 4698 4700 1918 0 -1 4202560 1316 0 0 0 86242 60 0 0 20 0 22 0 342434496 12137111552 801028 33554432000 1073741824 1073778376 140737048464368 140617501456352 140617634034624 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4700/tid=4721] ppid=4698 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4700/task/4721/stat : 4721 (java) S 4698 4700 1918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342434498 12137111552 801028 33554432000 1073741824 1073778376 140737048464368 140617500406696 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4700/tid=4722] ppid=4698 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4700/task/4722/stat : 4722 (java) S 4698 4700 1918 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 342434498 12137111552 801028 33554432000 1073741824 1073778376 140737048464368 140617499353896 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 11852648

Child status: 143

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

Real time (s): 925.572
CPU time (s): 1800.2
CPU user time (s): 1799.12
CPU system time (s): 1.08
CPU usage (%): 194.496
Max. virtual memory (cumulated for all children) (KiB): 11852648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.64
system time used= 1.53277
maximum resident set size= 3204228
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26795
page faults= 1
swaps= 0
block input operations= 0
block output operations= 952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 26933
involuntary context switches= 27909

runsolver used 3.07153 second user time and 8.11477 second system time

The end

Launcher Data

Begin job on node131 at 2012-06-04 00:38:10
IDJOB=3741993
IDBENCH=90123
IDSOLVER=2328
FILE ID=node131/3741993-1338763090
RUNJOBID= node131-1338749255-1934
PBS_JOBID= 14636797
Free space on /tmp= 71404 MiB

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

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

MD5SUM BENCH= 895769e6300bec8b48d22e126916d397
RANDOM SEED=77647091

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

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

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


/proc/meminfo:
MemTotal:       32873852 kB
MemFree:        25813096 kB
Buffers:          566564 kB
Cached:          3132876 kB
SwapCached:         2348 kB
Active:          3910380 kB
Inactive:        2264720 kB
Active(anon):    2471876 kB
Inactive(anon):     3664 kB
Active(file):    1438504 kB
Inactive(file):  2261056 kB
Unevictable:        7624 kB
Mlocked:            7624 kB
SwapTotal:      67108856 kB
SwapFree:       67099088 kB
Dirty:               856 kB
Writeback:             0 kB
AnonPages:       2539124 kB
Mapped:            22488 kB
Shmem:                 0 kB
Slab:             729196 kB
SReclaimable:     171364 kB
SUnreclaim:       557832 kB
KernelStack:        1776 kB
PageTables:         9492 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545780 kB
Committed_AS:   10461036 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346360 kB
VmallocChunk:   34341988004 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2482176 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= 71404 MiB
End job on node131 at 2012-06-04 00:53:38