Trace number 3741980

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.06 927.758

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K97.opb
MD5SUM43f0e9fb1c8ca4724fdfde37689b9cda
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark650.612
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6596
Total number of constraints6792
Number of constraints which are clauses6695
Number of constraints which are cardinality constraints (but not clauses)97
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint97
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 98
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.07/0.10	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.07/0.10	c This is free software under the dual EPL/GNU LGPL licenses.
0.07/0.10	c See www.sat4j.org for details.
0.07/0.10	c version 2.3.1.v20110525
0.07/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.07/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.07/0.10	c java.vm.version	19.1-b02
0.07/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.07/0.10	c sun.arch.data.model	64
0.07/0.10	c java.version		1.6.0_24
0.07/0.10	c os.name		Linux
0.07/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.07/0.10	c os.arch		amd64
0.07/0.10	c Free memory 		9996466904
0.07/0.10	c Max memory 		10048897024
0.07/0.10	c Total memory 		10048897024
0.07/0.10	c Number of processors 	8
0.07/0.13	c Pseudo Boolean Optimization
0.07/0.13	c ManyCore solver with 2 solvers running in parallel
0.07/0.13	c --- Begin Solver configuration ---
0.07/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a
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@398020cc
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-3741980-1338763034.opb
0.07/0.13	c reading problem ... 
0.78/0.45	c ... done. Wall clock time 0.322s.
0.78/0.45	c #vars     6596
0.78/0.45	c #constraints  6792
0.78/0.45	c constraints type 
0.78/0.45	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5445
0.78/0.45	c org.sat4j.minisat.constraints.card.MinWatchCard => 97
0.78/0.45	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1248
0.78/0.45	c constraints type 
0.78/0.45	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1248
0.78/0.45	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 5445
0.78/0.45	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 97
5.11/1.91	c cleaning 2488 clauses out of 4991 with flag 5000/5000
8.18/3.34	c cleaning 4239 clauses out of 8498 with flag 11002/11002
12.00/5.28	c cleaning 5605 clauses out of 11255 with flag 18001/18001
16.48/7.42	c cleaning 6753 clauses out of 13643 with flag 26002/26002
23.29/10.90	c cleaning 7909 clauses out of 15883 with flag 35000/35000
29.93/14.12	c cleaning 8920 clauses out of 17974 with flag 45000/45000
36.28/17.37	c cleaning 9408 clauses out of 19052 with flag 55000/55000
41.42/19.95	c cleaning 9739 clauses out of 19646 with flag 65004/65004
47.94/23.24	c cleaning 9869 clauses out of 19900 with flag 75000/75000
53.65/26.12	c cleaning 9699 clauses out of 20031 with flag 85000/85000
63.98/31.31	c cleaning 9825 clauses out of 20331 with flag 95000/95000
69.89/34.39	c cleaning 10159 clauses out of 20506 with flag 105000/105000
76.00/37.43	c cleaning 10032 clauses out of 20347 with flag 115000/115000
83.29/41.17	c cleaning 10056 clauses out of 20315 with flag 125000/125000
96.20/47.61	c cleaning 9965 clauses out of 20259 with flag 135000/135000
103.51/51.35	c cleaning 10130 clauses out of 20292 with flag 145000/145000
110.36/54.81	c cleaning 10018 clauses out of 20162 with flag 155000/155000
117.85/58.66	c cleaning 9959 clauses out of 20143 with flag 165000/165000
132.95/66.26	c cleaning 9987 clauses out of 20184 with flag 175000/175000
139.06/69.32	c cleaning 9924 clauses out of 20197 with flag 185000/185000
146.07/72.95	c cleaning 9905 clauses out of 20275 with flag 195003/195003
158.95/79.40	c cleaning 9762 clauses out of 20368 with flag 205001/205001
167.62/83.81	c cleaning 9676 clauses out of 20605 with flag 215001/215001
173.51/86.84	c cleaning 9582 clauses out of 20927 with flag 225001/225001
182.88/91.66	c cleaning 9513 clauses out of 21346 with flag 235002/235002
191.74/96.11	c cleaning 9803 clauses out of 21832 with flag 245001/245001
198.01/99.39	c cleaning 9460 clauses out of 22028 with flag 255000/255000
205.90/103.31	c cleaning 9678 clauses out of 22569 with flag 265001/265001
213.07/107.00	c cleaning 9480 clauses out of 22888 with flag 275000/275000
219.52/110.36	c cleaning 9520 clauses out of 23409 with flag 285001/285001
234.78/118.00	c cleaning 9556 clauses out of 23888 with flag 295000/295000
243.46/122.49	c cleaning 9573 clauses out of 24332 with flag 305000/305000
249.67/125.69	c cleaning 9647 clauses out of 24758 with flag 315000/315000
256.12/128.93	c cleaning 9533 clauses out of 25111 with flag 325000/325000
267.17/134.51	c cleaning 9411 clauses out of 25578 with flag 335000/335000
273.41/137.75	c cleaning 9735 clauses out of 26166 with flag 345000/345000
289.42/145.86	c cleaning 9600 clauses out of 26431 with flag 355000/355000
295.27/148.81	c cleaning 9739 clauses out of 26831 with flag 365000/365000
303.13/152.88	c cleaning 9490 clauses out of 27092 with flag 375000/375000
309.78/156.21	c cleaning 9694 clauses out of 27603 with flag 385001/385001
320.90/161.99	c cleaning 9724 clauses out of 27907 with flag 395000/395000
330.13/166.70	c cleaning 9497 clauses out of 28185 with flag 405002/405002
342.56/172.93	c cleaning 9510 clauses out of 28686 with flag 415000/415000
363.39/183.41	c cleaning 9554 clauses out of 29176 with flag 425000/425000
389.38/196.55	c cleaning 9776 clauses out of 29627 with flag 435005/435005
396.80/200.38	c cleaning 9602 clauses out of 29846 with flag 445000/445000
399.00/201.59	c cleaning 0 clauses out of 5000 with flag 0/5000
403.68/203.83	c cleaning 9451 clauses out of 30244 with flag 455001/455001
412.54/208.43	c cleaning 9530 clauses out of 30792 with flag 465000/465000
428.13/216.36	c cleaning 9856 clauses out of 31262 with flag 475001/475001
439.13/221.95	c cleaning 9550 clauses out of 31406 with flag 485002/485002
445.12/225.01	c cleaning 9443 clauses out of 31854 with flag 495000/495000
451.18/228.20	c cleaning 9541 clauses out of 32412 with flag 505001/505001
456.78/231.18	c cleaning 9632 clauses out of 32870 with flag 515000/515000
464.16/234.98	c cleaning 9545 clauses out of 33238 with flag 525000/525000
472.97/239.48	c cleaning 9791 clauses out of 33693 with flag 535000/535000
479.61/242.97	c cleaning 9623 clauses out of 33902 with flag 545000/545000
488.40/247.41	c cleaning 9587 clauses out of 34282 with flag 555003/555003
500.60/253.62	c cleaning 9893 clauses out of 34693 with flag 565001/565001
508.38/257.68	c cleaning 9589 clauses out of 34803 with flag 575004/575004
516.23/261.80	c cleaning 9535 clauses out of 35210 with flag 585001/585001
525.00/266.25	c cleaning 9741 clauses out of 35674 with flag 595000/595000
536.39/272.04	c cleaning 9664 clauses out of 35933 with flag 605000/605000
542.20/275.09	c cleaning 9525 clauses out of 36269 with flag 615000/615000
554.43/281.35	c cleaning 9722 clauses out of 36744 with flag 625000/625000
561.60/285.00	c cleaning 9554 clauses out of 37024 with flag 635002/635002
569.80/289.29	c cleaning 9749 clauses out of 37468 with flag 645000/645000
576.57/292.70	c cleaning 9713 clauses out of 37718 with flag 655000/655000
583.80/296.56	c cleaning 9523 clauses out of 38005 with flag 665000/665000
597.99/303.70	c cleaning 9872 clauses out of 38478 with flag 675001/675001
605.55/307.64	c cleaning 9469 clauses out of 38606 with flag 685001/685001
617.69/313.83	c cleaning 9650 clauses out of 39137 with flag 695001/695001
631.95/321.16	c cleaning 9619 clauses out of 39487 with flag 705001/705001
647.90/329.21	c cleaning 9739 clauses out of 39867 with flag 715000/715000
666.71/338.74	c cleaning 9758 clauses out of 40128 with flag 725000/725000
686.08/348.52	c cleaning 9650 clauses out of 40370 with flag 735000/735000
695.45/353.49	c cleaning 9777 clauses out of 40719 with flag 745001/745001
702.81/357.26	c cleaning 9526 clauses out of 40941 with flag 755000/755000
708.34/360.11	c cleaning 9627 clauses out of 41415 with flag 765000/765000
717.08/364.60	c cleaning 9480 clauses out of 41789 with flag 775001/775001
731.06/371.82	c cleaning 9625 clauses out of 42308 with flag 785000/785000
748.77/380.86	c cleaning 9831 clauses out of 42686 with flag 795003/795003
756.09/384.65	c cleaning 9521 clauses out of 42852 with flag 805000/805000
765.22/389.36	c cleaning 9770 clauses out of 43333 with flag 815002/815002
774.94/394.41	c cleaning 9573 clauses out of 43565 with flag 825004/825004
782.27/398.28	c cleaning 9824 clauses out of 43988 with flag 835000/835000
790.38/402.49	c cleaning 9559 clauses out of 44165 with flag 845001/845001
797.50/406.19	c cleaning 9452 clauses out of 44607 with flag 855002/855002
809.43/412.34	c cleaning 9851 clauses out of 45153 with flag 865000/865000
816.76/416.13	c cleaning 9966 clauses out of 45302 with flag 875000/875000
824.08/419.92	c cleaning 9731 clauses out of 45337 with flag 885001/885001
851.80/433.99	c cleaning 9466 clauses out of 45605 with flag 895000/895000
891.19/453.88	c cleaning 9920 clauses out of 46142 with flag 905003/905003
903.72/460.26	c cleaning 9785 clauses out of 46219 with flag 915000/915000
916.18/466.69	c cleaning 9788 clauses out of 46435 with flag 925001/925001
928.48/472.98	c cleaning 10005 clauses out of 46646 with flag 935000/935000
937.13/477.56	c cleaning 9584 clauses out of 46647 with flag 945006/945006
951.18/484.77	c cleaning 9639 clauses out of 47057 with flag 955000/955000
962.25/490.43	c cleaning 9645 clauses out of 47420 with flag 965002/965002
969.50/494.25	c cleaning 9662 clauses out of 47774 with flag 975001/975001
976.53/498.05	c cleaning 9797 clauses out of 48111 with flag 985000/985000
990.61/505.20	c cleaning 9570 clauses out of 48314 with flag 995000/995000
997.26/508.79	c cleaning 9935 clauses out of 48745 with flag 1005001/1005001
1003.30/511.99	c cleaning 9413 clauses out of 48811 with flag 1015002/1015002
1011.52/516.38	c cleaning 9780 clauses out of 49397 with flag 1025001/1025001
1018.97/520.23	c cleaning 9817 clauses out of 49616 with flag 1035001/1035001
1027.81/524.80	c cleaning 9570 clauses out of 49798 with flag 1045000/1045000
1033.67/527.99	c cleaning 9508 clauses out of 50232 with flag 1055004/1055004
1048.69/535.74	c cleaning 9725 clauses out of 50720 with flag 1065000/1065000
1054.53/538.80	c cleaning 9666 clauses out of 50995 with flag 1075000/1075000
1065.15/544.30	c cleaning 9774 clauses out of 51330 with flag 1085001/1085001
1070.80/547.30	c cleaning 9619 clauses out of 51556 with flag 1095001/1095001
1079.82/552.17	c cleaning 9642 clauses out of 51937 with flag 1105001/1105001
1085.63/555.29	c cleaning 9573 clauses out of 52296 with flag 1115002/1115002
1092.05/558.68	c cleaning 9605 clauses out of 52723 with flag 1125002/1125002
1097.88/561.74	c cleaning 9779 clauses out of 53117 with flag 1135001/1135001
1104.50/565.36	c cleaning 9586 clauses out of 53339 with flag 1145002/1145002
1111.91/569.27	c cleaning 9689 clauses out of 53751 with flag 1155000/1155000
1117.73/572.37	c cleaning 9631 clauses out of 54062 with flag 1165000/1165000
1126.35/576.83	c cleaning 9645 clauses out of 54433 with flag 1175002/1175002
1143.33/585.68	c cleaning 9892 clauses out of 54786 with flag 1185000/1185000
1149.56/588.95	c cleaning 9532 clauses out of 54897 with flag 1195003/1195003
1158.39/593.59	c cleaning 9643 clauses out of 55364 with flag 1205002/1205002
1166.22/597.64	c cleaning 9651 clauses out of 55719 with flag 1215000/1215000
1187.17/608.42	c cleaning 9604 clauses out of 56069 with flag 1225001/1225001
1205.41/617.78	c cleaning 9585 clauses out of 56464 with flag 1235000/1235000
1225.46/627.91	c cleaning 9929 clauses out of 56879 with flag 1245000/1245000
1240.47/635.61	c cleaning 9795 clauses out of 56953 with flag 1255003/1255003
1249.42/640.45	c cleaning 10000 clauses out of 57154 with flag 1265000/1265000
1263.65/647.79	c cleaning 9840 clauses out of 57156 with flag 1275002/1275002
1279.65/655.97	c cleaning 9842 clauses out of 57315 with flag 1285001/1285001
1292.09/662.34	c cleaning 9827 clauses out of 57473 with flag 1295001/1295001
1305.43/669.33	c cleaning 9785 clauses out of 57646 with flag 1305001/1305001
1319.43/676.56	c cleaning 9791 clauses out of 57861 with flag 1315001/1315001
1338.81/686.48	c cleaning 10040 clauses out of 58069 with flag 1325000/1325000
1352.21/693.32	c cleaning 9705 clauses out of 58029 with flag 1335000/1335000
1366.95/701.05	c cleaning 9587 clauses out of 58324 with flag 1345000/1345000
1388.52/712.06	c cleaning 9760 clauses out of 58738 with flag 1355001/1355001
1401.32/718.63	c cleaning 9690 clauses out of 58979 with flag 1365002/1365002
1428.75/732.56	c cleaning 9867 clauses out of 59288 with flag 1375001/1375001
1448.84/742.98	c cleaning 9778 clauses out of 59420 with flag 1385000/1385000
1464.43/750.95	c cleaning 9708 clauses out of 59644 with flag 1395002/1395002
1485.86/761.82	c cleaning 9897 clauses out of 59936 with flag 1405002/1405002
1501.24/769.72	c cleaning 9702 clauses out of 60039 with flag 1415002/1415002
1515.51/777.26	c cleaning 10068 clauses out of 60335 with flag 1425000/1425000
1523.66/781.52	c cleaning 9931 clauses out of 60268 with flag 1435001/1435001
1536.40/788.17	c cleaning 9770 clauses out of 60337 with flag 1445001/1445001
1544.36/792.34	c cleaning 9650 clauses out of 60566 with flag 1455000/1455000
1551.43/796.22	c cleaning 9650 clauses out of 60916 with flag 1465000/1465000
1563.36/802.41	c cleaning 9831 clauses out of 61266 with flag 1475000/1475000
1571.11/806.56	c cleaning 9781 clauses out of 61436 with flag 1485001/1485001
1582.24/812.34	c cleaning 9840 clauses out of 61657 with flag 1495003/1495003
1593.28/818.21	c cleaning 9794 clauses out of 61815 with flag 1505001/1505001
1601.21/822.41	c cleaning 9623 clauses out of 62022 with flag 1515002/1515002
1610.95/827.51	c cleaning 9893 clauses out of 62398 with flag 1525001/1525001
1620.67/832.69	c cleaning 10013 clauses out of 62504 with flag 1535000/1535000
1629.28/837.36	c cleaning 9665 clauses out of 62493 with flag 1545002/1545002
1639.42/842.61	c cleaning 9844 clauses out of 62827 with flag 1555001/1555001
1648.31/847.36	c cleaning 9754 clauses out of 62984 with flag 1565002/1565002
1656.87/851.86	c cleaning 10030 clauses out of 63228 with flag 1575000/1575000
1666.30/856.92	c cleaning 9810 clauses out of 63198 with flag 1585000/1585000
1673.21/860.65	c cleaning 9682 clauses out of 63388 with flag 1595000/1595000
1683.73/866.17	c cleaning 9701 clauses out of 63706 with flag 1605000/1605000
1694.86/871.92	c cleaning 9745 clauses out of 64005 with flag 1615000/1615000
1705.45/877.61	c cleaning 9920 clauses out of 64260 with flag 1625000/1625000
1714.19/882.26	c cleaning 9820 clauses out of 64343 with flag 1635003/1635003
1727.05/888.99	c cleaning 9780 clauses out of 64522 with flag 1645002/1645002
1739.97/895.63	c cleaning 9784 clauses out of 64741 with flag 1655001/1655001
1750.35/901.28	c cleaning 9888 clauses out of 64957 with flag 1665001/1665001
1758.84/905.80	c cleaning 9631 clauses out of 65069 with flag 1675001/1675001
1768.14/910.64	c cleaning 9708 clauses out of 65438 with flag 1685001/1685001
1777.66/915.61	c cleaning 9736 clauses out of 65729 with flag 1695000/1695000
1786.24/920.34	c cleaning 9971 clauses out of 65993 with flag 1705000/1705000
1793.55/924.27	c cleaning 9628 clauses out of 66022 with flag 1715000/1715000
1800.06/927.71	c starts		: 207
1800.06/927.71	c conflicts		: 1722843
1800.06/927.71	c decisions		: 17451724
1800.06/927.71	c propagations		: 618331341
1800.06/927.71	c inspects		: 1663485664
1800.06/927.71	c shortcuts		: 0
1800.06/927.71	c learnt literals	: 66
1800.06/927.71	c learnt binary clauses	: 46926
1800.06/927.71	c learnt ternary clauses	: 67387
1800.06/927.71	c learnt constraints	: 1722776
1800.06/927.71	c ignored constraints	: 0
1800.06/927.71	c root simplifications	: 0
1800.06/927.71	c removed literals (reason simplification)	: 38050199
1800.06/927.71	c reason swapping (by a shorter reason)	: 0
1800.06/927.71	c Calls to reduceDB	: 173
1800.06/927.71	c number of reductions to clauses (during analyze)	: 0
1800.06/927.71	c number of learned constraints concerned by reduction	: 0
1800.06/927.71	c number of learning phase by resolution	: 0
1800.06/927.71	c number of learning phase by cutting planes	: 0
1800.06/927.71	c speed (assignments/second)	: 666835.6311376937
1800.06/927.71	c non guided choices	6875
1800.06/927.74	c learnt constraints type 
1800.06/927.74	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 46927
1800.06/927.74	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 17340
1800.06/927.74	c constraints type 
1800.06/927.74	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5445
1800.06/927.74	c org.sat4j.minisat.constraints.card.MinWatchCard => 97
1800.06/927.74	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1248
1800.06/927.74	c constraints type 
1800.06/927.74	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1248
1800.06/927.74	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 5445
1800.06/927.74	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 97
1800.06/927.74	s UNKNOWN
1800.06/927.74	c Total wall clock time (in seconds): 927.613

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-3741980-1338763034/watcher-3741980-1338763034 -o /tmp/evaluation-result-3741980-1338763034/solver-3741980-1338763034 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3741980-1338763034.opb 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 3.95 3.92 3.79 4/195 4639
/proc/meminfo: memFree=24875192/32873852 swapFree=7624/7624
[pid=4639] ppid=4637 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/4639/stat : 4639 (java) D 4637 4639 1918 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 342428844 9515008 183 33554432000 1073741824 1073778376 140733968879648 140733968870680 252263087797 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/4639/statm: 2323 183 140 9 0 71 0

[startup+0.040749 s]
/proc/loadavg: 3.95 3.92 3.79 4/195 4639
/proc/meminfo: memFree=24875192/32873852 swapFree=7624/7624
[pid=4639] ppid=4637 vsize=11044572 CPUtime=0.02 cores=1,3,5,7
/proc/4639/stat : 4639 (java) S 4637 4639 1918 0 -1 4202496 3587 0 1 0 1 1 0 0 20 0 10 0 342428844 11309641728 10930 33554432000 1073741824 1073778376 140736881752736 140736881743872 252266446909 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/4639/statm: 2761143 10939 1129 9 0 2751844 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 11044572

[startup+0.100326 s]
/proc/loadavg: 3.95 3.92 3.79 4/195 4639
/proc/meminfo: memFree=24875192/32873852 swapFree=7624/7624
[pid=4639] ppid=4637 vsize=11586392 CPUtime=0.07 cores=1,3,5,7
/proc/4639/stat : 4639 (java) S 4637 4639 1918 0 -1 4202496 4748 0 1 0 6 1 0 0 20 0 18 0 342428844 11864465408 13110 33554432000 1073741824 1073778376 140736881752736 140736881743872 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/4639/statm: 2896598 13110 1940 9 0 2887285 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11586392

[startup+0.300293 s]
/proc/loadavg: 3.95 3.92 3.79 4/195 4639
/proc/meminfo: memFree=24875192/32873852 swapFree=7624/7624
[pid=4639] ppid=4637 vsize=11586392 CPUtime=0.54 cores=1,3,5,7
/proc/4639/stat : 4639 (java) S 4637 4639 1918 0 -1 4202496 8019 0 1 0 52 2 0 0 20 0 18 0 342428844 11864465408 17980 33554432000 1073741824 1073778376 140736881752736 140736881743872 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/4639/statm: 2896598 17980 2224 9 0 2887285 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 11586392

[startup+0.700202 s]
/proc/loadavg: 3.95 3.92 3.79 4/195 4639
/proc/meminfo: memFree=24875192/32873852 swapFree=7624/7624
[pid=4639] ppid=4637 vsize=11852648 CPUtime=1.91 cores=1,3,5,7
/proc/4639/stat : 4639 (java) S 4637 4639 1918 0 -1 4202496 11607 0 1 0 188 3 0 0 20 0 22 0 342428844 12137111552 29033 33554432000 1073741824 1073778376 140736881752736 140736881743872 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/4639/statm: 2963162 29033 2262 9 0 2953849 0
Current children cumulated CPU time (s) 1.91
Current children cumulated vsize (KiB) 11852648

[startup+1.50077 s]
/proc/loadavg: 3.95 3.92 3.79 7/217 4661
/proc/meminfo: memFree=24689628/32873852 swapFree=7624/7624
[pid=4639] ppid=4637 vsize=11852648 CPUtime=4.27 cores=1,3,5,7
/proc/4639/stat : 4639 (java) S 4637 4639 1918 0 -1 4202496 21804 0 1 0 418 9 0 0 20 0 22 0 342428844 12137111552 95466 33554432000 1073741824 1073778376 140736881752736 140736881743872 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/4639/statm: 2963162 95466 2265 9 0 2953849 0
[pid=4639/tid=4641] ppid=4637 vsize=11852648 CPUtime=0.42 cores=1,3,5,7
/proc/4639/task/4641/stat : 4641 (java) S 4637 4639 1918 0 -1 4202560 3426 0 1 0 39 3 0 0 20 0 22 0 342428845 12137111552 95466 33554432000 1073741824 1073778376 140736881752736 140446574990488 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4639/tid=4642] ppid=4637 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4642/stat : 4642 (java) S 4637 4639 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342428848 12137111552 95466 33554432000 1073741824 1073778376 140736881752736 140446412204200 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4639/tid=4643] ppid=4637 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4643/stat : 4643 (java) S 4637 4639 1918 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 342428848 12137111552 95466 33554432000 1073741824 1073778376 140736881752736 140446411151656 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4639/tid=4644] ppid=4637 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4644/stat : 4644 (java) S 4637 4639 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342428848 12137111552 95466 33554432000 1073741824 1073778376 140736881752736 140446410099112 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4639/tid=4645] ppid=4637 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4645/stat : 4645 (java) S 4637 4639 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342428848 12137111552 95466 33554432000 1073741824 1073778376 140736881752736 140446409046568 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4639/tid=4646] ppid=4637 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4646/stat : 4646 (java) S 4637 4639 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342428848 12137111552 95466 33554432000 1073741824 1073778376 140736881752736 140446407994024 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4639/tid=4647] ppid=4637 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4647/stat : 4647 (java) S 4637 4639 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342428848 12137111552 95466 33554432000 1073741824 1073778376 140736881752736 140446406941480 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4639/tid=4648] ppid=4637 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4648/stat : 4648 (java) S 4637 4639 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342428848 12137111552 95466 33554432000 1073741824 1073778376 140736881752736 140446405888936 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4639/tid=4649] ppid=4637 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4649/stat : 4649 (java) S 4637 4639 1918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 342428848 12137111552 95466 33554432000 1073741824 1073778376 140736881752736 140446404836392 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4639/tid=4650] ppid=4637 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4650/stat : 4650 (java) S 4637 4639 1918 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 342428849 12137111552 95466 33554432000 1073741824 1073778376 140736881752736 140446392424552 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4639/tid=4651] ppid=4637 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4651/stat : 4651 (java) S 4637 4639 1918 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 342428850 12137111552 95466 33554432000 1073741824 1073778376 140736881752736 140446391370872 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4639/tid=4652] ppid=4637 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4652/stat : 4652 (java) S 4637 4639 1918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342428850 12137111552 95466 33554432000 1073741824 1073778376 140736881752736 140446390318216 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4639/tid=4653] ppid=4637 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4653/stat : 4653 (java) S 4637 4639 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342428852 12137111552 95466 33554432000 1073741824 1073778376 140736881752736 140446389266960 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4639/tid=4654] ppid=4637 vsize=11852648 CPUtime=0.8 cores=1,3,5,7
/proc/4639/task/4654/stat : 4654 (java) S 4637 4639 1918 0 -1 4202560 5247 0 0 0 80 0 0 0 20 0 22 0 342428852 12137111552 95466 33554432000 1073741824 1073778376 140736881752736 140446388214328 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4639/tid=4655] ppid=4637 vsize=11852648 CPUtime=0.94 cores=1,3,5,7
/proc/4639/task/4655/stat : 4655 (java) S 4637 4639 1918 0 -1 4202560 11706 0 0 0 92 2 0 0 20 0 22 0 342428852 12137111552 95466 33554432000 1073741824 1073778376 140736881752736 140446387161784 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4639/tid=4656] ppid=4637 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4656/stat : 4656 (java) S 4637 4639 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342428852 12137111552 95466 33554432000 1073741824 1073778376 140736881752736 140446386109432 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4639/tid=4657] ppid=4637 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4657/stat : 4657 (java) S 4637 4639 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342428852 12137111552 95466 33554432000 1073741824 1073778376 140736881752736 140446385057096 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4639/tid=4658] ppid=4637 vsize=11852648 CPUtime=1.02 cores=1,3,5,7
/proc/4639/task/4658/stat : 4658 (java) R 4637 4639 1918 0 -1 4202560 25 0 0 0 102 0 0 0 20 0 22 0 342428890 12137111552 95466 33554432000 1073741824 1073778376 140736881752736 140446384001304 140446448188283 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=4639/tid=4659] ppid=4637 vsize=11852648 CPUtime=1.02 cores=1,3,5,7
/proc/4639/task/4659/stat : 4659 (java) R 4637 4639 1918 0 -1 4202560 196 0 0 0 98 4 0 0 20 0 22 0 342428890 12137111552 95466 33554432000 1073741824 1073778376 140736881752736 140446382948280 140446448570360 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=4639/tid=4660] ppid=4637 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4660/stat : 4660 (java) S 4637 4639 1918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342428891 12137111552 95466 33554432000 1073741824 1073778376 140736881752736 140446381896744 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4639/tid=4661] ppid=4637 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4661/stat : 4661 (java) S 4637 4639 1918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342428891 12137111552 95466 33554432000 1073741824 1073778376 140736881752736 140446380844200 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.27
Current children cumulated vsize (KiB) 11852648

[startup+3.1009 s]
/proc/loadavg: 4.03 3.94 3.80 5/217 4661
/proc/meminfo: memFree=24289472/32873852 swapFree=7624/7624
[pid=4639] ppid=4637 vsize=11852648 CPUtime=7.74 cores=1,3,5,7
/proc/4639/stat : 4639 (java) S 4637 4639 1918 0 -1 4202496 21997 0 1 0 759 15 0 0 20 0 22 0 342428844 12137111552 148276 33554432000 1073741824 1073778376 140736881752736 140736881743872 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/4639/statm: 2963162 148276 2290 9 0 2953849 0
[pid=4639/tid=4641] ppid=4637 vsize=11852648 CPUtime=0.42 cores=1,3,5,7
/proc/4639/task/4641/stat : 4641 (java) S 4637 4639 1918 0 -1 4202560 3426 0 1 0 39 3 0 0 20 0 22 0 342428845 12137111552 148276 33554432000 1073741824 1073778376 140736881752736 140446574990488 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4639/tid=4642] ppid=4637 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4642/stat : 4642 (java) S 4637 4639 1918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342428848 12137111552 148276 33554432000 1073741824 1073778376 140736881752736 140446412204200 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4639/tid=4643] ppid=4637 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4643/stat : 4643 (java) S 4637 4639 1918 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 342428848 12137111552 148276 33554432000 1073741824 1073778376 140736881752736 140446411151656 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4639/tid=4644] ppid=4637 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4644/stat : 4644 (java) S 4637 4639 1918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 342428848 12137111552 148276 33554432000 1073741824 1073778376 140736881752736 140446410099112 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4639/tid=4645] ppid=4637 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4645/stat : 4645 (java) S 4637 4639 1918 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 342428848 12137111552 148276 33554432000 1073741824 1073778376 140736881752736 140446409046568 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4639/tid=4646] ppid=4637 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4646/stat : 4646 (java) S 4637 4639 1918 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 342428848 12137111552 148276 33554432000 1073741824 1073778376 140736881752736 140446407994024 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4639/tid=4647] ppid=4637 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4647/stat : 4647 (java) S 4637 4639 1918 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 342428848 12137111552 148276 33554432000 1073741824 1073778376 140736881752736 140446406941480 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4639/tid=4648] ppid=4637 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4648/stat : 4648 (java) S 4637 4639 1918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 342428848 12137111552 148276 33554432000 1073741824 1073778376 140736881752736 140446405888936 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4639/tid=4649] ppid=4637 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4649/stat : 4649 (java) S 4637 4639 1918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 342428848 12137111552 148276 33554432000 1073741824 1073778376 140736881752736 140446404836392 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4639/tid=4650] ppid=4637 vsize=11852648 CPUtime=0.02 cores=1,3,5,7
/proc/4639/task/4650/stat : 4650 (java) S 4637 4639 1918 0 -1 4202560 34 0 0 0 2 0 0 0 20 0 22 0 342428849 12137111552 148276 33554432000 1073741824 1073778376 140736881752736 140446392424552 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4639/tid=4651] ppid=4637 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4651/stat : 4651 (java) S 4637 4639 1918 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 342428850 12137111552 148276 33554432000 1073741824 1073778376 140736881752736 140446391370872 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4639/tid=4652] ppid=4637 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4652/stat : 4652 (java) S 4637 4639 1918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342428850 12137111552 148276 33554432000 1073741824 1073778376 140736881752736 140446390318216 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4639/tid=4653] ppid=4637 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4653/stat : 4653 (java) S 4637 4639 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342428852 12137111552 148276 33554432000 1073741824 1073778376 140736881752736 140446389266960 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4639/tid=4654] ppid=4637 vsize=11852648 CPUtime=0.92 cores=1,3,5,7
/proc/4639/task/4654/stat : 4654 (java) S 4637 4639 1918 0 -1 4202560 5262 0 0 0 92 0 0 0 20 0 22 0 342428852 12137111552 148276 33554432000 1073741824 1073778376 140736881752736 140446388214328 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4639/tid=4655] ppid=4637 vsize=11852648 CPUtime=1.11 cores=1,3,5,7
/proc/4639/task/4655/stat : 4655 (java) S 4637 4639 1918 0 -1 4202560 11725 0 0 0 109 2 0 0 20 0 22 0 342428852 12137111552 148276 33554432000 1073741824 1073778376 140736881752736 140446387161784 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4639/tid=4656] ppid=4637 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4656/stat : 4656 (java) S 4637 4639 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342428852 12137111552 148276 33554432000 1073741824 1073778376 140736881752736 140446386109432 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4639/tid=4657] ppid=4637 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4657/stat : 4657 (java) S 4637 4639 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342428852 12137111552 148276 33554432000 1073741824 1073778376 140736881752736 140446385057096 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4639/tid=4658] ppid=4637 vsize=11852648 CPUtime=2.54 cores=1,3,5,7
/proc/4639/task/4658/stat : 4658 (java) R 4637 4639 1918 0 -1 4202560 28 0 0 0 254 0 0 0 20 0 22 0 342428890 12137111552 148276 33554432000 1073741824 1073778376 140736881752736 140446384000064 140446448180313 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=4639/tid=4659] ppid=4637 vsize=11852648 CPUtime=2.56 cores=1,3,5,7
/proc/4639/task/4659/stat : 4659 (java) R 4637 4639 1918 0 -1 4202560 290 0 0 0 248 8 0 0 20 0 22 0 342428890 12137111552 148276 33554432000 1073741824 1073778376 140736881752736 140446382946552 140446448136225 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=4639/tid=4660] ppid=4637 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4660/stat : 4660 (java) S 4637 4639 1918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342428891 12137111552 148276 33554432000 1073741824 1073778376 140736881752736 140446381896744 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4639/tid=4661] ppid=4637 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4661/stat : 4661 (java) S 4637 4639 1918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342428891 12137111552 148276 33554432000 1073741824 1073778376 140736881752736 140446380844200 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 7.74
Current children cumulated vsize (KiB) 11852648

[startup+6.30088 s]
/proc/loadavg: 4.03 3.94 3.80 5/217 4661
/proc/meminfo: memFree=24016220/32873852 swapFree=7624/7624
[pid=4639] ppid=4637 vsize=11852648 CPUtime=14.18 cores=1,3,5,7
/proc/4639/stat : 4639 (java) S 4637 4639 1918 0 -1 4202496 22153 0 1 0 1398 20 0 0 20 0 22 0 342428844 12137111552 213815 33554432000 1073741824 1073778376 140736881752736 140736881743872 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/4639/statm: 2963162 213815 2290 9 0 2953849 0
[pid=4639/tid=4641] ppid=4637 vsize=11852648 CPUtime=0.42 cores=1,3,5,7
/proc/4639/task/4641/stat : 4641 (java) S 4637 4639 1918 0 -1 4202560 3426 0 1 0 39 3 0 0 20 0 22 0 342428845 12137111552 213815 33554432000 1073741824 1073778376 140736881752736 140446574990488 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4639/tid=4642] ppid=4637 vsize=11852648 CPUtime=0.01 cores=1,3,5,7
/proc/4639/task/4642/stat : 4642 (java) S 4637 4639 1918 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 342428848 12137111552 213815 33554432000 1073741824 1073778376 140736881752736 140446412204200 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4639/tid=4643] ppid=4637 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4643/stat : 4643 (java) S 4637 4639 1918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342428848 12137111552 213815 33554432000 1073741824 1073778376 140736881752736 140446411151656 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4639/tid=4644] ppid=4637 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4644/stat : 4644 (java) S 4637 4639 1918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 342428848 12137111552 213815 33554432000 1073741824 1073778376 140736881752736 140446410099112 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4639/tid=4645] ppid=4637 vsize=11852648 CPUtime=0.01 cores=1,3,5,7
/proc/4639/task/4645/stat : 4645 (java) S 4637 4639 1918 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 22 0 342428848 12137111552 213815 33554432000 1073741824 1073778376 140736881752736 140446409046568 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4639/tid=4646] ppid=4637 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4646/stat : 4646 (java) S 4637 4639 1918 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 342428848 12137111552 213815 33554432000 1073741824 1073778376 140736881752736 140446407994024 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4639/tid=4647] ppid=4637 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4647/stat : 4647 (java) S 4637 4639 1918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 342428848 12137111552 213815 33554432000 1073741824 1073778376 140736881752736 140446406941480 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4639/tid=4648] ppid=4637 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4648/stat : 4648 (java) S 4637 4639 1918 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 342428848 12137111552 213815 33554432000 1073741824 1073778376 140736881752736 140446405888936 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4639/tid=4649] ppid=4637 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4649/stat : 4649 (java) S 4637 4639 1918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342428848 12137111552 213815 33554432000 1073741824 1073778376 140736881752736 140446404836392 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4639/tid=4650] ppid=4637 vsize=11852648 CPUtime=0.11 cores=1,3,5,7
/proc/4639/task/4650/stat : 4650 (java) S 4637 4639 1918 0 -1 4202560 45 0 0 0 11 0 0 0 20 0 22 0 342428849 12137111552 213815 33554432000 1073741824 1073778376 140736881752736 140446392424552 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4639/tid=4651] ppid=4637 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4651/stat : 4651 (java) S 4637 4639 1918 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 342428850 12137111552 213815 33554432000 1073741824 1073778376 140736881752736 140446391370872 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4639/tid=4652] ppid=4637 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4652/stat : 4652 (java) S 4637 4639 1918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342428850 12137111552 213815 33554432000 1073741824 1073778376 140736881752736 140446390318216 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4639/tid=4653] ppid=4637 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4653/stat : 4653 (java) S 4637 4639 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342428852 12137111552 213815 33554432000 1073741824 1073778376 140736881752736 140446389266960 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4639/tid=4654] ppid=4637 vsize=11852648 CPUtime=0.94 cores=1,3,5,7
/proc/4639/task/4654/stat : 4654 (java) S 4637 4639 1918 0 -1 4202560 5263 0 0 0 94 0 0 0 20 0 22 0 342428852 12137111552 213815 33554432000 1073741824 1073778376 140736881752736 140446388214328 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0

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

/proc/4639/statm: 2963162 976640 2291 9 0 2953849 0
[pid=4639/tid=4641] ppid=4637 vsize=11852648 CPUtime=0.46 cores=1,3,5,7
/proc/4639/task/4641/stat : 4641 (java) S 4637 4639 1918 0 -1 4202560 3523 0 1 0 42 4 0 0 20 0 22 0 342428845 12137111552 976640 33554432000 1073741824 1073778376 140736881752736 140446574990488 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4639/tid=4642] ppid=4637 vsize=11852648 CPUtime=1.51 cores=1,3,5,7
/proc/4639/task/4642/stat : 4642 (java) S 4637 4639 1918 0 -1 4202560 113 0 0 0 146 5 0 0 20 0 22 0 342428848 12137111552 976640 33554432000 1073741824 1073778376 140736881752736 140446412204200 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4639/tid=4643] ppid=4637 vsize=11852648 CPUtime=1.58 cores=1,3,5,7
/proc/4639/task/4643/stat : 4643 (java) S 4637 4639 1918 0 -1 4202560 116 0 0 0 154 4 0 0 20 0 22 0 342428848 12137111552 976640 33554432000 1073741824 1073778376 140736881752736 140446411151656 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4639/tid=4644] ppid=4637 vsize=11852648 CPUtime=1.5 cores=1,3,5,7
/proc/4639/task/4644/stat : 4644 (java) S 4637 4639 1918 0 -1 4202560 112 0 0 0 146 4 0 0 20 0 22 0 342428848 12137111552 976640 33554432000 1073741824 1073778376 140736881752736 140446410099112 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4639/tid=4645] ppid=4637 vsize=11852648 CPUtime=1.55 cores=1,3,5,7
/proc/4639/task/4645/stat : 4645 (java) S 4637 4639 1918 0 -1 4202560 123 0 0 0 151 4 0 0 20 0 22 0 342428848 12137111552 976640 33554432000 1073741824 1073778376 140736881752736 140446409046568 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4639/tid=4646] ppid=4637 vsize=11852648 CPUtime=1.6 cores=1,3,5,7
/proc/4639/task/4646/stat : 4646 (java) S 4637 4639 1918 0 -1 4202560 121 0 0 0 155 5 0 0 20 0 22 0 342428848 12137111552 976640 33554432000 1073741824 1073778376 140736881752736 140446407994024 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4639/tid=4647] ppid=4637 vsize=11852648 CPUtime=1.46 cores=1,3,5,7
/proc/4639/task/4647/stat : 4647 (java) S 4637 4639 1918 0 -1 4202560 82 0 0 0 144 2 0 0 20 0 22 0 342428848 12137111552 976640 33554432000 1073741824 1073778376 140736881752736 140446406941480 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4639/tid=4648] ppid=4637 vsize=11852648 CPUtime=1.46 cores=1,3,5,7
/proc/4639/task/4648/stat : 4648 (java) S 4637 4639 1918 0 -1 4202560 119 0 0 0 142 4 0 0 20 0 22 0 342428848 12137111552 976640 33554432000 1073741824 1073778376 140736881752736 140446405888936 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4639/tid=4649] ppid=4637 vsize=11852648 CPUtime=1.51 cores=1,3,5,7
/proc/4639/task/4649/stat : 4649 (java) S 4637 4639 1918 0 -1 4202560 97 0 0 0 148 3 0 0 20 0 22 0 342428848 12137111552 976640 33554432000 1073741824 1073778376 140736881752736 140446404836392 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4639/tid=4650] ppid=4637 vsize=11852648 CPUtime=57.74 cores=1,3,5,7
/proc/4639/task/4650/stat : 4650 (java) R 4637 4639 1918 0 -1 4202560 271 0 0 0 5763 11 0 0 20 0 22 0 342428849 12137111552 976640 33554432000 1073741824 1073778376 140736881752736 140446392423408 140446582756768 0 0 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=4639/tid=4651] ppid=4637 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4651/stat : 4651 (java) S 4637 4639 1918 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 342428850 12137111552 976640 33554432000 1073741824 1073778376 140736881752736 140446391370872 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4639/tid=4652] ppid=4637 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4652/stat : 4652 (java) S 4637 4639 1918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342428850 12137111552 976640 33554432000 1073741824 1073778376 140736881752736 140446390318216 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4639/tid=4653] ppid=4637 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4653/stat : 4653 (java) S 4637 4639 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342428852 12137111552 976640 33554432000 1073741824 1073778376 140736881752736 140446389266960 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4639/tid=4654] ppid=4637 vsize=11852648 CPUtime=1.57 cores=1,3,5,7
/proc/4639/task/4654/stat : 4654 (java) S 4637 4639 1918 0 -1 4202560 6600 0 0 0 155 2 0 0 20 0 22 0 342428852 12137111552 976640 33554432000 1073741824 1073778376 140736881752736 140446388214328 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4639/tid=4655] ppid=4637 vsize=11852648 CPUtime=1.23 cores=1,3,5,7
/proc/4639/task/4655/stat : 4655 (java) S 4637 4639 1918 0 -1 4202560 11726 0 0 0 121 2 0 0 20 0 22 0 342428852 12137111552 976640 33554432000 1073741824 1073778376 140736881752736 140446387161784 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4639/tid=4656] ppid=4637 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4656/stat : 4656 (java) S 4637 4639 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342428852 12137111552 976640 33554432000 1073741824 1073778376 140736881752736 140446386109432 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4639/tid=4657] ppid=4637 vsize=11852648 CPUtime=0.43 cores=1,3,5,7
/proc/4639/task/4657/stat : 4657 (java) S 4637 4639 1918 0 -1 4202560 50 0 0 0 18 25 0 0 20 0 22 0 342428852 12137111552 976640 33554432000 1073741824 1073778376 140736881752736 140446385057096 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4639/tid=4658] ppid=4637 vsize=11852648 CPUtime=818.17 cores=1,3,5,7
/proc/4639/task/4658/stat : 4658 (java) S 4637 4639 1918 0 -1 4202560 106 0 0 0 81803 14 0 0 20 0 22 0 342428890 12137111552 976640 33554432000 1073741824 1073778376 140736881752736 140446384001224 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4639/tid=4659] ppid=4637 vsize=11852648 CPUtime=818.23 cores=1,3,5,7
/proc/4639/task/4659/stat : 4659 (java) S 4637 4639 1918 0 -1 4202560 1647 0 0 0 81756 67 0 0 20 0 22 0 342428890 12137111552 976640 33554432000 1073741824 1073778376 140736881752736 140446382946904 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4639/tid=4660] ppid=4637 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4660/stat : 4660 (java) S 4637 4639 1918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342428891 12137111552 976640 33554432000 1073741824 1073778376 140736881752736 140446381896744 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4639/tid=4661] ppid=4637 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4661/stat : 4661 (java) S 4637 4639 1918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342428891 12137111552 976640 33554432000 1073741824 1073778376 140736881752736 140446380844200 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1714.37
Current children cumulated vsize (KiB) 11852648



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+927.701 s]
/proc/loadavg: 3.74 3.84 3.81 5/217 4730
/proc/meminfo: memFree=21181644/32873852 swapFree=7624/7624
[pid=4639] ppid=4637 vsize=11852648 CPUtime=1800.06 cores=1,3,5,7
/proc/4639/stat : 4639 (java) S 4637 4639 1918 0 -1 4202496 26032 0 1 0 179873 133 0 0 20 0 22 0 342428844 12137111552 977686 33554432000 1073741824 1073778376 140736881752736 140736881743872 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/4639/statm: 2963162 977686 2291 9 0 2953849 0
[pid=4639/tid=4641] ppid=4637 vsize=11852648 CPUtime=0.46 cores=1,3,5,7
/proc/4639/task/4641/stat : 4641 (java) S 4637 4639 1918 0 -1 4202560 3532 0 1 0 42 4 0 0 20 0 22 0 342428845 12137111552 977686 33554432000 1073741824 1073778376 140736881752736 140446574990488 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4639/tid=4642] ppid=4637 vsize=11852648 CPUtime=1.58 cores=1,3,5,7
/proc/4639/task/4642/stat : 4642 (java) S 4637 4639 1918 0 -1 4202560 117 0 0 0 153 5 0 0 20 0 22 0 342428848 12137111552 977686 33554432000 1073741824 1073778376 140736881752736 140446412204200 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4639/tid=4643] ppid=4637 vsize=11852648 CPUtime=1.67 cores=1,3,5,7
/proc/4639/task/4643/stat : 4643 (java) S 4637 4639 1918 0 -1 4202560 117 0 0 0 163 4 0 0 20 0 22 0 342428848 12137111552 977686 33554432000 1073741824 1073778376 140736881752736 140446411151656 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4639/tid=4644] ppid=4637 vsize=11852648 CPUtime=1.6 cores=1,3,5,7
/proc/4639/task/4644/stat : 4644 (java) S 4637 4639 1918 0 -1 4202560 116 0 0 0 155 5 0 0 20 0 22 0 342428848 12137111552 977686 33554432000 1073741824 1073778376 140736881752736 140446410099112 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4639/tid=4645] ppid=4637 vsize=11852648 CPUtime=1.65 cores=1,3,5,7
/proc/4639/task/4645/stat : 4645 (java) S 4637 4639 1918 0 -1 4202560 126 0 0 0 161 4 0 0 20 0 22 0 342428848 12137111552 977686 33554432000 1073741824 1073778376 140736881752736 140446409046568 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4639/tid=4646] ppid=4637 vsize=11852648 CPUtime=1.68 cores=1,3,5,7
/proc/4639/task/4646/stat : 4646 (java) S 4637 4639 1918 0 -1 4202560 121 0 0 0 163 5 0 0 20 0 22 0 342428848 12137111552 977686 33554432000 1073741824 1073778376 140736881752736 140446407994024 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4639/tid=4647] ppid=4637 vsize=11852648 CPUtime=1.56 cores=1,3,5,7
/proc/4639/task/4647/stat : 4647 (java) S 4637 4639 1918 0 -1 4202560 83 0 0 0 154 2 0 0 20 0 22 0 342428848 12137111552 977686 33554432000 1073741824 1073778376 140736881752736 140446406941480 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4639/tid=4648] ppid=4637 vsize=11852648 CPUtime=1.54 cores=1,3,5,7
/proc/4639/task/4648/stat : 4648 (java) S 4637 4639 1918 0 -1 4202560 125 0 0 0 150 4 0 0 20 0 22 0 342428848 12137111552 977686 33554432000 1073741824 1073778376 140736881752736 140446405888936 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4639/tid=4649] ppid=4637 vsize=11852648 CPUtime=1.58 cores=1,3,5,7
/proc/4639/task/4649/stat : 4649 (java) S 4637 4639 1918 0 -1 4202560 100 0 0 0 155 3 0 0 20 0 22 0 342428848 12137111552 977686 33554432000 1073741824 1073778376 140736881752736 140446404836392 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4639/tid=4650] ppid=4637 vsize=11852648 CPUtime=63.15 cores=1,3,5,7
/proc/4639/task/4650/stat : 4650 (java) S 4637 4639 1918 0 -1 4202560 275 0 0 0 6303 12 0 0 20 0 22 0 342428849 12137111552 977686 33554432000 1073741824 1073778376 140736881752736 140446392424552 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4639/tid=4651] ppid=4637 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4651/stat : 4651 (java) S 4637 4639 1918 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 342428850 12137111552 977686 33554432000 1073741824 1073778376 140736881752736 140446391370872 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4639/tid=4652] ppid=4637 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4652/stat : 4652 (java) S 4637 4639 1918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342428850 12137111552 977686 33554432000 1073741824 1073778376 140736881752736 140446390318216 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4639/tid=4653] ppid=4637 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4653/stat : 4653 (java) S 4637 4639 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342428852 12137111552 977686 33554432000 1073741824 1073778376 140736881752736 140446389266960 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4639/tid=4654] ppid=4637 vsize=11852648 CPUtime=1.57 cores=1,3,5,7
/proc/4639/task/4654/stat : 4654 (java) S 4637 4639 1918 0 -1 4202560 6600 0 0 0 155 2 0 0 20 0 22 0 342428852 12137111552 977686 33554432000 1073741824 1073778376 140736881752736 140446388214328 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4639/tid=4655] ppid=4637 vsize=11852648 CPUtime=1.23 cores=1,3,5,7
/proc/4639/task/4655/stat : 4655 (java) S 4637 4639 1918 0 -1 4202560 11726 0 0 0 121 2 0 0 20 0 22 0 342428852 12137111552 977686 33554432000 1073741824 1073778376 140736881752736 140446387161784 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4639/tid=4656] ppid=4637 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4656/stat : 4656 (java) S 4637 4639 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342428852 12137111552 977686 33554432000 1073741824 1073778376 140736881752736 140446386109432 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4639/tid=4657] ppid=4637 vsize=11852648 CPUtime=0.44 cores=1,3,5,7
/proc/4639/task/4657/stat : 4657 (java) S 4637 4639 1918 0 -1 4202560 52 0 0 0 18 26 0 0 20 0 22 0 342428852 12137111552 977686 33554432000 1073741824 1073778376 140736881752736 140446385057096 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4639/tid=4658] ppid=4637 vsize=11852648 CPUtime=857.85 cores=1,3,5,7
/proc/4639/task/4658/stat : 4658 (java) R 4637 4639 1918 0 -1 4202560 106 0 0 0 85770 15 0 0 20 0 22 0 342428890 12137111552 977686 33554432000 1073741824 1073778376 140736881752736 140446384001104 140446448112596 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=4639/tid=4659] ppid=4637 vsize=11852648 CPUtime=857.9 cores=1,3,5,7
/proc/4639/task/4659/stat : 4659 (java) R 4637 4639 1918 0 -1 4202560 1647 0 0 0 85722 68 0 0 20 0 22 0 342428890 12137111552 977686 33554432000 1073741824 1073778376 140736881752736 140446382946656 140446448408419 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=4639/tid=4660] ppid=4637 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4660/stat : 4660 (java) S 4637 4639 1918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342428891 12137111552 977686 33554432000 1073741824 1073778376 140736881752736 140446381896744 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4639/tid=4661] ppid=4637 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4661/stat : 4661 (java) S 4637 4639 1918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342428891 12137111552 977686 33554432000 1073741824 1073778376 140736881752736 140446380844200 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 11852648

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+927.701 s]
/proc/loadavg: 3.74 3.84 3.81 5/217 4730
/proc/meminfo: memFree=21181644/32873852 swapFree=7624/7624
[pid=4639] ppid=4637 vsize=11852648 CPUtime=1800.06 cores=1,3,5,7
/proc/4639/stat : 4639 (java) S 4637 4639 1918 0 -1 4202496 26032 0 1 0 179873 133 0 0 20 0 22 0 342428844 12137111552 977686 33554432000 1073741824 1073778376 140736881752736 140736881743872 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/4639/statm: 2963162 977686 2291 9 0 2953849 0
[pid=4639/tid=4641] ppid=4637 vsize=11852648 CPUtime=0.46 cores=1,3,5,7
/proc/4639/task/4641/stat : 4641 (java) S 4637 4639 1918 0 -1 4202560 3532 0 1 0 42 4 0 0 20 0 22 0 342428845 12137111552 977686 33554432000 1073741824 1073778376 140736881752736 140446574990488 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4639/tid=4642] ppid=4637 vsize=11852648 CPUtime=1.58 cores=1,3,5,7
/proc/4639/task/4642/stat : 4642 (java) S 4637 4639 1918 0 -1 4202560 117 0 0 0 153 5 0 0 20 0 22 0 342428848 12137111552 977686 33554432000 1073741824 1073778376 140736881752736 140446412204200 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4639/tid=4643] ppid=4637 vsize=11852648 CPUtime=1.67 cores=1,3,5,7
/proc/4639/task/4643/stat : 4643 (java) S 4637 4639 1918 0 -1 4202560 117 0 0 0 163 4 0 0 20 0 22 0 342428848 12137111552 977686 33554432000 1073741824 1073778376 140736881752736 140446411151656 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4639/tid=4644] ppid=4637 vsize=11852648 CPUtime=1.6 cores=1,3,5,7
/proc/4639/task/4644/stat : 4644 (java) S 4637 4639 1918 0 -1 4202560 116 0 0 0 155 5 0 0 20 0 22 0 342428848 12137111552 977686 33554432000 1073741824 1073778376 140736881752736 140446410099112 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4639/tid=4645] ppid=4637 vsize=11852648 CPUtime=1.65 cores=1,3,5,7
/proc/4639/task/4645/stat : 4645 (java) S 4637 4639 1918 0 -1 4202560 126 0 0 0 161 4 0 0 20 0 22 0 342428848 12137111552 977686 33554432000 1073741824 1073778376 140736881752736 140446409046568 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4639/tid=4646] ppid=4637 vsize=11852648 CPUtime=1.68 cores=1,3,5,7
/proc/4639/task/4646/stat : 4646 (java) S 4637 4639 1918 0 -1 4202560 121 0 0 0 163 5 0 0 20 0 22 0 342428848 12137111552 977686 33554432000 1073741824 1073778376 140736881752736 140446407994024 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4639/tid=4647] ppid=4637 vsize=11852648 CPUtime=1.56 cores=1,3,5,7
/proc/4639/task/4647/stat : 4647 (java) S 4637 4639 1918 0 -1 4202560 83 0 0 0 154 2 0 0 20 0 22 0 342428848 12137111552 977686 33554432000 1073741824 1073778376 140736881752736 140446406941480 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4639/tid=4648] ppid=4637 vsize=11852648 CPUtime=1.54 cores=1,3,5,7
/proc/4639/task/4648/stat : 4648 (java) S 4637 4639 1918 0 -1 4202560 125 0 0 0 150 4 0 0 20 0 22 0 342428848 12137111552 977686 33554432000 1073741824 1073778376 140736881752736 140446405888936 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4639/tid=4649] ppid=4637 vsize=11852648 CPUtime=1.58 cores=1,3,5,7
/proc/4639/task/4649/stat : 4649 (java) S 4637 4639 1918 0 -1 4202560 100 0 0 0 155 3 0 0 20 0 22 0 342428848 12137111552 977686 33554432000 1073741824 1073778376 140736881752736 140446404836392 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4639/tid=4650] ppid=4637 vsize=11852648 CPUtime=63.15 cores=1,3,5,7
/proc/4639/task/4650/stat : 4650 (java) S 4637 4639 1918 0 -1 4202560 275 0 0 0 6303 12 0 0 20 0 22 0 342428849 12137111552 977686 33554432000 1073741824 1073778376 140736881752736 140446392424552 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4639/tid=4651] ppid=4637 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4651/stat : 4651 (java) S 4637 4639 1918 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 342428850 12137111552 977686 33554432000 1073741824 1073778376 140736881752736 140446391370872 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4639/tid=4652] ppid=4637 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4652/stat : 4652 (java) S 4637 4639 1918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342428850 12137111552 977686 33554432000 1073741824 1073778376 140736881752736 140446390318216 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4639/tid=4653] ppid=4637 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4653/stat : 4653 (java) S 4637 4639 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342428852 12137111552 977686 33554432000 1073741824 1073778376 140736881752736 140446389266960 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4639/tid=4654] ppid=4637 vsize=11852648 CPUtime=1.57 cores=1,3,5,7
/proc/4639/task/4654/stat : 4654 (java) S 4637 4639 1918 0 -1 4202560 6600 0 0 0 155 2 0 0 20 0 22 0 342428852 12137111552 977686 33554432000 1073741824 1073778376 140736881752736 140446388214328 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4639/tid=4655] ppid=4637 vsize=11852648 CPUtime=1.23 cores=1,3,5,7
/proc/4639/task/4655/stat : 4655 (java) S 4637 4639 1918 0 -1 4202560 11726 0 0 0 121 2 0 0 20 0 22 0 342428852 12137111552 977686 33554432000 1073741824 1073778376 140736881752736 140446387161784 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4639/tid=4656] ppid=4637 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4656/stat : 4656 (java) S 4637 4639 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342428852 12137111552 977686 33554432000 1073741824 1073778376 140736881752736 140446386109432 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4639/tid=4657] ppid=4637 vsize=11852648 CPUtime=0.44 cores=1,3,5,7
/proc/4639/task/4657/stat : 4657 (java) S 4637 4639 1918 0 -1 4202560 52 0 0 0 18 26 0 0 20 0 22 0 342428852 12137111552 977686 33554432000 1073741824 1073778376 140736881752736 140446385057096 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4639/tid=4658] ppid=4637 vsize=11852648 CPUtime=857.85 cores=1,3,5,7
/proc/4639/task/4658/stat : 4658 (java) R 4637 4639 1918 0 -1 4202560 106 0 0 0 85770 15 0 0 20 0 22 0 342428890 12137111552 977686 33554432000 1073741824 1073778376 140736881752736 140446384001104 140446448112596 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=4639/tid=4659] ppid=4637 vsize=11852648 CPUtime=857.9 cores=1,3,5,7
/proc/4639/task/4659/stat : 4659 (java) R 4637 4639 1918 0 -1 4202560 1647 0 0 0 85722 68 0 0 20 0 22 0 342428890 12137111552 977686 33554432000 1073741824 1073778376 140736881752736 140446382946656 140446448408419 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=4639/tid=4660] ppid=4637 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4660/stat : 4660 (java) S 4637 4639 1918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342428891 12137111552 977686 33554432000 1073741824 1073778376 140736881752736 140446381896744 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4639/tid=4661] ppid=4637 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/4639/task/4661/stat : 4661 (java) S 4637 4639 1918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342428891 12137111552 977686 33554432000 1073741824 1073778376 140736881752736 140446380844200 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 11852648

Child status: 143

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

Real time (s): 927.758
CPU time (s): 1800.06
CPU user time (s): 1798.73
CPU system time (s): 1.33
CPU usage (%): 194.022
Max. virtual memory (cumulated for all children) (KiB): 11852648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.09
system time used= 1.78673
maximum resident set size= 3912912
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26065
page faults= 1
swaps= 0
block input operations= 0
block output operations= 960
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 27370
involuntary context switches= 33486

runsolver used 3.66444 second user time and 8.62069 second system time

The end

Launcher Data 

Begin job on node131 at 2012-06-04 00:37:14
IDJOB=3741980
IDBENCH=90122
IDSOLVER=2328
FILE ID=node131/3741980-1338763034
RUNJOBID= node131-1338749255-1935
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_K97.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3741980-1338763034/watcher-3741980-1338763034 -o /tmp/evaluation-result-3741980-1338763034/solver-3741980-1338763034 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3741980-1338763034.opb

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

MD5SUM BENCH= 43f0e9fb1c8ca4724fdfde37689b9cda
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:        24875356 kB
Buffers:          566532 kB
Cached:          3132852 kB
SwapCached:         2348 kB
Active:          4847992 kB
Inactive:        2264636 kB
Active(anon):    3409212 kB
Inactive(anon):     3664 kB
Active(file):    1438780 kB
Inactive(file):  2260972 kB
Unevictable:        7624 kB
Mlocked:            7624 kB
SwapTotal:      67108856 kB
SwapFree:       67099088 kB
Dirty:               496 kB
Writeback:             0 kB
AnonPages:       3517352 kB
Mapped:            22488 kB
Shmem:                 0 kB
Slab:             729164 kB
SReclaimable:     171344 kB
SUnreclaim:       557820 kB
KernelStack:        1776 kB
PageTables:        11024 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545780 kB
Committed_AS:   10461196 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346360 kB
VmallocChunk:   34341988004 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3475456 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:52:44