Trace number 4119350

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 NameAnswerobjective functionCPU timeWall clock time
Sat4j PB 2.3.6 Resolution PB16SAT (TO)-27 1800.05 1795.64

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/
minlplib2-pb-0.1.0/opb/normalized-graphpart_2pm-0066-0066.opb
MD5SUM6c30ae49cb0d5bbc7d65e5bef54ff2c4
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-29
Best CPU time to get the best result obtained on this benchmark0.252961
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables108
Total number of constraints36
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)36
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint3
Number of terms in the objective function 216
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 216
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 216
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)216
Sum of products size (including duplicates)432
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.07/0.10	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
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 PB16.v20160501
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 		501472288
0.07/0.10	c Max memory 		7480803328
0.07/0.10	c Total memory 		504102912
0.07/0.10	c Number of processors 	8
0.07/0.12	c Pseudo Boolean Optimization by upper bound
0.07/0.12	c --- Begin Solver configuration ---
0.07/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.07/0.12	c Learn all clauses as in MiniSAT
0.07/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.07/0.12	c No reason simplification
0.07/0.12	c Glucose 2.1 dynamic restart strategy
0.07/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.07/0.12	c timeout=2147483s
0.07/0.12	c DB Simplification allowed=false
0.07/0.12	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.07/0.12	c --- End Solver configuration ---
0.07/0.13	c solving HOME/instance-4119350-1467255650.opb
0.07/0.13	c reading problem ... 
0.07/0.13	c  objective function found
0.07/0.17	c ... done. Wall clock time 0.043s.
0.07/0.17	c declared #vars     108
0.07/0.17	c internal #vars     324
0.07/0.17	c #constraints  504
0.07/0.17	c constraints type 
0.07/0.17	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 252
0.07/0.17	c org.sat4j.minisat.constraints.card.MinWatchCard => 36
0.07/0.17	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 216
0.07/0.17	c 504 constraints processed.
0.07/0.17	c objective function length is 216 literals
0.07/0.18	c SATISFIABLE
0.07/0.18	c OPTIMIZING...
0.07/0.18	c Got one! Elapsed wall clock time (in seconds):0.052
0.07/0.18	o -25
0.77/0.57	c cleaning 2501 clauses out of 5001 with flag 11207/5001
1.30/0.90	c cleaning 4250 clauses out of 8500 with flag 23745/11001
1.61/1.23	c cleaning 5626 clauses out of 11251 with flag 38420/18002
2.01/1.62	c cleaning 6813 clauses out of 13625 with flag 55148/26002
2.43/2.07	c cleaning 7905 clauses out of 15810 with flag 73957/35000
2.93/2.57	c cleaning 8952 clauses out of 17907 with flag 94883/45002
3.64/3.25	c cleaning 9972 clauses out of 19953 with flag 117863/56000
4.36/3.94	c cleaning 10988 clauses out of 21982 with flag 143008/68001
5.16/4.73	c cleaning 11995 clauses out of 23995 with flag 170322/81002
6.07/5.65	c cleaning 12999 clauses out of 25998 with flag 199664/95000
7.06/6.61	c cleaning 13996 clauses out of 28002 with flag 231203/110003
8.16/7.73	c cleaning 14999 clauses out of 30004 with flag 264218/126001
9.45/9.09	c cleaning 16001 clauses out of 32005 with flag 299357/143001
10.96/10.57	c cleaning 17000 clauses out of 34003 with flag 336617/161000
12.37/11.96	c cleaning 17998 clauses out of 36003 with flag 375878/180000
14.06/13.65	c cleaning 19003 clauses out of 38005 with flag 417188/200000
16.16/15.76	c cleaning 20002 clauses out of 40003 with flag 461277/221001
18.26/17.84	c cleaning 20996 clauses out of 42001 with flag 506810/243001
20.66/20.20	c cleaning 22000 clauses out of 44006 with flag 554335/266002
22.96/22.56	c cleaning 22998 clauses out of 46005 with flag 604046/290001
25.66/25.26	c cleaning 23998 clauses out of 48007 with flag 655746/315001
28.40/27.90	c cleaning 25004 clauses out of 50008 with flag 709423/341000
31.70/31.20	c cleaning 26002 clauses out of 52004 with flag 765596/368000
34.51/34.07	c cleaning 26997 clauses out of 54004 with flag 823796/396002
37.11/36.68	c cleaning 27998 clauses out of 56006 with flag 884552/425001
39.71/39.24	c cleaning 28999 clauses out of 58008 with flag 947442/455001
42.31/41.86	c cleaning 30004 clauses out of 60008 with flag 1012796/486000
45.31/44.81	c cleaning 31002 clauses out of 62004 with flag 1080076/518000
48.71/48.29	c cleaning 32001 clauses out of 64004 with flag 1149787/551002
53.11/52.65	c cleaning 33001 clauses out of 66001 with flag 1222399/585000
59.31/58.86	c cleaning 33997 clauses out of 68001 with flag 1299841/620001
66.21/65.72	c cleaning 35000 clauses out of 70005 with flag 1382025/656002
72.96/72.43	c cleaning 35998 clauses out of 72005 with flag 1467448/693002
79.76/79.27	c cleaning 37002 clauses out of 74007 with flag 1556693/731002
85.86/85.35	c cleaning 38000 clauses out of 76003 with flag 1644637/770000
92.36/91.85	c cleaning 38997 clauses out of 78003 with flag 1727846/810000
98.36/97.85	c cleaning 40004 clauses out of 80008 with flag 1813120/851002
103.96/103.41	c cleaning 40994 clauses out of 82003 with flag 1901862/893001
109.37/108.82	c cleaning 42002 clauses out of 84008 with flag 1992325/936000
115.07/114.59	c cleaning 43003 clauses out of 86006 with flag 2085797/980000
123.92/123.32	c cleaning 44000 clauses out of 88003 with flag 2186643/1025000
132.41/131.84	c cleaning 44999 clauses out of 90004 with flag 2293408/1071001
141.62/141.02	c cleaning 45998 clauses out of 92004 with flag 2404044/1118000
148.62/148.06	c cleaning 46998 clauses out of 94006 with flag 2505717/1166000
160.72/160.13	c cleaning 47999 clauses out of 96009 with flag 2615705/1215001
177.92/177.35	c cleaning 49004 clauses out of 98009 with flag 2733679/1265000
195.23/194.70	c cleaning 50003 clauses out of 100006 with flag 2854890/1316001
211.09/210.32	c cleaning 51000 clauses out of 102002 with flag 2977087/1368000
229.99/229.25	c cleaning 51997 clauses out of 104003 with flag 3102706/1421001
248.09/247.38	c cleaning 53003 clauses out of 106005 with flag 3228593/1475000
266.89/266.19	c cleaning 53998 clauses out of 108004 with flag 3361314/1530002
275.99/275.29	c cleaning 55002 clauses out of 110004 with flag 3485736/1586000
284.79/284.06	c cleaning 55989 clauses out of 112003 with flag 3612295/1643001
310.08/309.12	c cleaning 57003 clauses out of 114015 with flag 3753625/1701002
322.77/321.84	c cleaning 58004 clauses out of 116010 with flag 3886548/1760000
337.59/336.60	c cleaning 59003 clauses out of 118007 with flag 4022646/1820001
352.78/351.85	c cleaning 59991 clauses out of 120004 with flag 4165509/1881001
367.39/366.46	c cleaning 61004 clauses out of 122012 with flag 4314231/1943000
379.49/378.59	c cleaning 62001 clauses out of 124009 with flag 4466681/2006001
390.35/389.23	c cleaning 62998 clauses out of 126007 with flag 4624105/2070000
404.15/403.08	c cleaning 64004 clauses out of 128010 with flag 4783351/2135001
418.28/417.10	c cleaning 64998 clauses out of 130006 with flag 4932045/2201001
432.98/431.85	c cleaning 66000 clauses out of 132007 with flag 5087201/2268000
446.98/445.89	c cleaning 66998 clauses out of 134008 with flag 5253089/2336001
469.04/467.63	c cleaning 68004 clauses out of 136013 with flag 5414446/2405004
485.23/483.88	c cleaning 69001 clauses out of 138006 with flag 5567967/2475001
509.85/508.40	c cleaning 70004 clauses out of 140009 with flag 5729092/2546005
546.54/545.15	c cleaning 70999 clauses out of 142000 with flag 5906562/2618000
569.70/568.05	c cleaning 71994 clauses out of 144002 with flag 6070287/2691001
589.91/588.26	c cleaning 73000 clauses out of 146011 with flag 6231922/2765004
607.71/606.09	c cleaning 74005 clauses out of 148010 with flag 6393830/2840003
629.64/627.75	c cleaning 74994 clauses out of 150003 with flag 6565010/2916001
654.04/652.17	c cleaning 76002 clauses out of 152009 with flag 6732982/2993001
679.34/677.46	c cleaning 76996 clauses out of 154006 with flag 6908584/3071000
699.15/697.04	c cleaning 78006 clauses out of 156011 with flag 7080481/3150001
721.95/719.84	c cleaning 79000 clauses out of 158004 with flag 7259896/3230000
747.96/745.71	c cleaning 79996 clauses out of 160004 with flag 7440460/3311000
777.37/775.18	c cleaning 81004 clauses out of 162008 with flag 7625955/3393000
808.98/806.77	c cleaning 82001 clauses out of 164005 with flag 7806487/3476001
836.00/833.66	c cleaning 83002 clauses out of 166003 with flag 8001105/3560000
853.21/850.85	c Got one! Elapsed wall clock time (in seconds):850.726
853.21/850.85	o -26
856.21/853.86	c cleaning 74387 clauses out of 148773 with flag 10939/3625772
858.01/855.60	c cleaning 40193 clauses out of 80386 with flag 25494/3631772
859.01/856.64	c cleaning 23597 clauses out of 47193 with flag 42231/3638772
859.71/857.39	c cleaning 15799 clauses out of 31597 with flag 59802/3646773
860.81/858.45	c cleaning 12399 clauses out of 24797 with flag 84432/3655772
861.62/859.26	c cleaning 11198 clauses out of 22399 with flag 108367/3665773
862.51/860.12	c cleaning 11097 clauses out of 22202 with flag 133084/3676774
863.51/861.19	c cleaning 11548 clauses out of 23103 with flag 162767/3688772
864.71/862.38	c cleaning 12277 clauses out of 24557 with flag 199241/3701774
865.91/863.42	c cleaning 13140 clauses out of 26279 with flag 230030/3715773
867.21/864.78	c cleaning 14067 clauses out of 28138 with flag 263198/3730772
868.61/866.18	c cleaning 15035 clauses out of 30071 with flag 302600/3746772
870.21/867.78	c cleaning 16014 clauses out of 32036 with flag 348919/3763772
872.21/869.78	c cleaning 17012 clauses out of 34025 with flag 398912/3781775
874.41/871.97	c cleaning 17998 clauses out of 36010 with flag 455538/3800772
876.31/873.81	c cleaning 19003 clauses out of 38012 with flag 509065/3820772
878.31/875.88	c cleaning 20005 clauses out of 40009 with flag 560974/3841772
880.41/877.96	c cleaning 20998 clauses out of 42004 with flag 609404/3863772
882.51/880.05	c cleaning 22000 clauses out of 44006 with flag 657624/3886772
885.07/882.53	c cleaning 22999 clauses out of 46006 with flag 708557/3910772
887.67/885.18	c cleaning 24002 clauses out of 48007 with flag 760707/3935772
890.77/888.29	c cleaning 25000 clauses out of 50005 with flag 817967/3961772
893.97/891.42	c cleaning 26001 clauses out of 52006 with flag 876771/3988773
896.88/894.40	c cleaning 27005 clauses out of 54009 with flag 936741/4016777
899.97/897.44	c cleaning 28000 clauses out of 55999 with flag 997121/4045772
903.87/901.37	c cleaning 28997 clauses out of 58001 with flag 1066732/4075774
907.57/905.02	c cleaning 29996 clauses out of 60003 with flag 1132101/4106773
912.11/909.53	c cleaning 31000 clauses out of 62006 with flag 1203985/4138772
916.01/913.41	c cleaning 32000 clauses out of 64006 with flag 1273091/4171772
919.91/917.32	c cleaning 32999 clauses out of 66006 with flag 1344092/4205772
922.91/920.31	c Got one! Elapsed wall clock time (in seconds):920.187
922.91/920.31	o -27
924.21/921.60	c cleaning 33626 clauses out of 67257 with flag 11150/4240022
924.71/922.18	c cleaning 19814 clauses out of 39631 with flag 23944/4246022
925.21/922.70	c cleaning 13405 clauses out of 26818 with flag 39110/4253023
925.71/923.19	c cleaning 10702 clauses out of 21412 with flag 56429/4261022
926.31/923.74	c cleaning 9845 clauses out of 19710 with flag 77502/4270022
926.91/924.30	c cleaning 9926 clauses out of 19865 with flag 100270/4280022
927.51/924.96	c cleaning 10464 clauses out of 20939 with flag 124738/4291022
928.31/925.73	c cleaning 11235 clauses out of 22476 with flag 151502/4303023
929.24/926.67	c cleaning 12116 clauses out of 24240 with flag 179881/4316022
930.34/927.71	c cleaning 13060 clauses out of 26124 with flag 214103/4330022
931.44/928.88	c cleaning 14029 clauses out of 28064 with flag 247595/4345022
932.74/930.17	c cleaning 15014 clauses out of 30035 with flag 283331/4361022
934.35/931.74	c cleaning 16008 clauses out of 32022 with flag 325658/4378023
935.84/933.20	c cleaning 17007 clauses out of 34014 with flag 370582/4396023
937.65/935.04	c cleaning 18002 clauses out of 36006 with flag 411530/4415022
939.24/936.65	c cleaning 18997 clauses out of 38006 with flag 453735/4435024
941.15/938.56	c cleaning 20001 clauses out of 40009 with flag 500117/4456024
943.15/940.52	c cleaning 21004 clauses out of 42010 with flag 546160/4478026
945.84/943.29	c cleaning 21996 clauses out of 44003 with flag 597367/4501023
948.36/945.76	c cleaning 23002 clauses out of 46007 with flag 647592/4525023
950.86/948.29	c cleaning 24001 clauses out of 48005 with flag 699976/4550023
953.76/951.18	c cleaning 25003 clauses out of 50005 with flag 754382/4576024
956.56/953.95	c cleaning 25998 clauses out of 52001 with flag 810930/4603023
959.46/956.81	c cleaning 26999 clauses out of 54003 with flag 869888/4631023
962.16/959.57	c cleaning 27998 clauses out of 56003 with flag 930436/4660022
965.36/962.77	c cleaning 28997 clauses out of 58005 with flag 993791/4690022
968.48/965.86	c cleaning 30000 clauses out of 60008 with flag 1059393/4721022
971.89/969.24	c cleaning 31002 clauses out of 62008 with flag 1128360/4753022
975.48/972.88	c cleaning 32003 clauses out of 64006 with flag 1196940/4786022
979.49/976.89	c cleaning 33003 clauses out of 66005 with flag 1267635/4820024
984.38/981.76	c cleaning 34000 clauses out of 68002 with flag 1344501/4855024
989.74/987.08	c cleaning 35000 clauses out of 70001 with flag 1420338/4891023
995.13/992.40	c cleaning 35999 clauses out of 72001 with flag 1497406/4928023
1000.13/997.49	c cleaning 36999 clauses out of 74002 with flag 1576881/4966023
1005.33/1002.62	c cleaning 37999 clauses out of 76003 with flag 1659043/5005023
1010.13/1007.45	c cleaning 38993 clauses out of 78003 with flag 1742965/5045022
1015.53/1012.76	c cleaning 40002 clauses out of 80011 with flag 1828453/5086023
1020.83/1018.00	c cleaning 41003 clauses out of 82008 with flag 1915965/5128022
1026.74/1023.91	c cleaning 41998 clauses out of 84005 with flag 2005566/5171022
1032.33/1029.53	c cleaning 43002 clauses out of 86007 with flag 2097281/5215022
1039.58/1036.76	c cleaning 44001 clauses out of 88006 with flag 2191269/5260023
1046.48/1043.61	c cleaning 45003 clauses out of 90006 with flag 2287282/5306024
1053.58/1050.71	c cleaning 45989 clauses out of 92001 with flag 2385637/5353022
1060.57/1057.71	c cleaning 47006 clauses out of 94013 with flag 2486554/5401023
1068.77/1065.81	c cleaning 48003 clauses out of 96012 with flag 2589209/5450028
1077.57/1074.67	c cleaning 48998 clauses out of 98004 with flag 2693587/5500023
1085.38/1082.40	c cleaning 50000 clauses out of 100006 with flag 2800311/5551023
1093.77/1090.88	c cleaning 50999 clauses out of 102006 with flag 2909197/5603023
1103.25/1100.25	c cleaning 51996 clauses out of 104006 with flag 3019969/5656022
1113.46/1110.42	c cleaning 52999 clauses out of 106010 with flag 3132382/5710022
1121.36/1118.31	c cleaning 54002 clauses out of 108012 with flag 3247489/5765023
1131.31/1128.28	c cleaning 55002 clauses out of 110011 with flag 3365096/5821024
1143.11/1140.01	c cleaning 56005 clauses out of 112011 with flag 3488836/5878026
1152.21/1149.15	c cleaning 57000 clauses out of 114003 with flag 3611763/5936023
1162.67/1159.50	c cleaning 57999 clauses out of 116004 with flag 3737489/5995024
1172.97/1169.84	c cleaning 59000 clauses out of 118003 with flag 3865625/6055022
1183.87/1180.77	c cleaning 59997 clauses out of 120003 with flag 3994744/6116022
1194.29/1191.19	c cleaning 61003 clauses out of 122008 with flag 4129291/6178024
1206.00/1202.89	c cleaning 61999 clauses out of 124004 with flag 4265571/6241023
1216.97/1213.74	c cleaning 62999 clauses out of 126004 with flag 4403027/6305022
1230.18/1226.99	c cleaning 64000 clauses out of 128005 with flag 4539346/6370022
1243.28/1240.01	c cleaning 64999 clauses out of 130005 with flag 4677260/6436022
1256.14/1252.87	c cleaning 65997 clauses out of 132006 with flag 4818537/6503022
1270.24/1266.96	c cleaning 67004 clauses out of 134009 with flag 4961826/6571022
1288.62/1285.29	c cleaning 67994 clauses out of 136005 with flag 5112550/6640022
1310.93/1307.58	c cleaning 68998 clauses out of 138011 with flag 5318128/6710022
1335.42/1331.94	c cleaning 70003 clauses out of 140013 with flag 5518141/6781022
1356.73/1353.25	c cleaning 71001 clauses out of 142012 with flag 5679667/6853024
1377.06/1373.57	c cleaning 72001 clauses out of 144010 with flag 5841807/6926023
1400.17/1396.62	c cleaning 73000 clauses out of 146009 with flag 6009060/7000023
1422.86/1419.21	c cleaning 73999 clauses out of 148010 with flag 6175083/7075024
1444.27/1440.70	c cleaning 74996 clauses out of 150010 with flag 6362544/7151023
1467.57/1463.88	c cleaning 76004 clauses out of 152014 with flag 6537000/7228023
1494.39/1490.63	c cleaning 77006 clauses out of 154011 with flag 6711990/7306024
1519.95/1516.14	c cleaning 78002 clauses out of 156003 with flag 6892611/7385022
1548.47/1544.68	c cleaning 78995 clauses out of 158001 with flag 7076229/7465022
1576.30/1572.46	c cleaning 80000 clauses out of 160006 with flag 7259531/7546022
1603.60/1599.74	c cleaning 81002 clauses out of 162007 with flag 7435782/7628023
1628.55/1624.63	c cleaning 81997 clauses out of 164004 with flag 7609733/7711022
1649.99/1645.92	c cleaning 82996 clauses out of 166007 with flag 7782865/7795022
1672.69/1668.68	c cleaning 84001 clauses out of 168012 with flag 7957735/7880023
1694.48/1690.30	c cleaning 85003 clauses out of 170011 with flag 8134606/7966023
1718.80/1714.56	c cleaning 86002 clauses out of 172008 with flag 8313548/8053023
1741.11/1736.82	c cleaning 87003 clauses out of 174006 with flag 8494441/8141023
1768.25/1763.98	c cleaning 87999 clauses out of 176003 with flag 8676906/8230023
1800.05/1795.60	c cleaning 88999 clauses out of 178003 with flag 8865116/8320022
1800.05/1795.60	c starts		: 285
1800.05/1795.60	c conflicts		: 8320048
1800.05/1795.60	c decisions		: 9074669
1800.05/1795.60	c propagations		: 342694512
1800.05/1795.60	c inspects		: 32801194738
1800.05/1795.60	c shortcuts		: 0
1800.05/1795.60	c learnt literals	: 0
1800.05/1795.60	c learnt binary clauses	: 0
1800.05/1795.60	c learnt ternary clauses	: 0
1800.05/1795.60	c learnt constraints	: 8320048
1800.05/1795.60	c ignored constraints	: 0
1800.05/1795.60	c root simplifications	: 0
1800.05/1795.60	c removed literals (reason simplification)	: 0
1800.05/1795.60	c reason swapping (by a shorter reason)	: 0
1800.05/1795.60	c Calls to reduceDB	: 196
1800.05/1795.60	c Number of update (reduction) of LBD	: 249760
1800.05/1795.60	c Imported unit clauses	: 0
1800.05/1795.60	c number of reductions to clauses (during analyze)	: 0
1800.05/1795.60	c number of learned constraints concerned by reduction	: 0
1800.05/1795.60	c number of learning phase by resolution	: 0
1800.05/1795.60	c number of learning phase by cutting planes	: 0
1800.05/1795.60	c speed (assignments/second)	: 190870.43883637903
1800.05/1795.60	c non guided choices	0
1800.05/1795.63	c learnt constraints type 
1800.05/1795.63	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 89030
1800.05/1795.63	s SATISFIABLE
1800.05/1795.63	c Found 3 solution(s)
1800.05/1795.63	v x1 -x2 -x3 -x4 x5 -x6 x7 -x8 -x9 -x10 x11 -x12 -x13 x14 -x15 -x16 -x17 x18 -x19 -x20 x21 -x22 -x23 x24 x25 -x26 -x27 x28 -x29 -x30 -x31 x32 -x33 -x34 x35 -x36 -x37 x38 -x39 -x40 -x41 x42 x43 -x44 -x45 x46 -x47 -x48 -x49 -x50 x51 -x52 x53 -x54 -x55 -x56 x57 -x58 x59 -x60 x61 -x62 -x63 x64 -x65 -x66 x67 -x68 -x69 -x70 x71 -x72 -x73 -x74 x75 -x76 x77 -x78 x79 -x80 -x81 x82 -x83 -x84 -x85 -x86 x87 -x88 -x89 x90 -x91 x92 -x93 -x94 -x95 x96 x97 -x98 -x99 x100 -x101 -x102 x103 -x104 -x105 -x106 -x107 x108 
1800.05/1795.63	c objective function=-27
1800.05/1795.63	c Total wall clock time (in seconds): 1795.508

Verifier Data 

OK	-27

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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-4119350-1467255650/watcher-4119350-1467255650 -o /tmp/evaluation-result-4119350-1467255650/solver-4119350-1467255650 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node121-1467250272-6980 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4119350-1467255650.opb 

pid=7640
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: 2.07 2.16 2.17 3/193 7643
/proc/meminfo: memFree=29351632/32872528 swapFree=1298332/1461852
[pid=7643] ppid=7640 vsize=9224 CPUtime=0 cores=0,2,4,6
/proc/7643/stat : 7643 (java) R 7640 7643 6451 0 -1 4202496 423 0 0 0 0 0 0 0 20 0 1 0 4590950 9445376 94 33554432000 1073741824 1073778376 140734662648224 140734662645352 227503289783 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7643/statm: 2306 96 75 9 0 38 0

[startup+0.100115 s]
/proc/loadavg: 2.07 2.16 2.17 3/193 7643
/proc/meminfo: memFree=29351632/32872528 swapFree=1298332/1461852
[pid=7643] ppid=7640 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/7643/stat : 7643 (java) S 7640 7643 6451 0 -1 4202496 4196 0 1 0 6 1 0 0 20 0 18 0 4590950 9787879424 5329 33554432000 1073741824 1073778376 140734662648224 140734662639360 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7643/statm: 2389619 5346 2053 9 0 2380296 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9558476

[startup+0.200292 s]
/proc/loadavg: 2.07 2.16 2.17 3/193 7643
/proc/meminfo: memFree=29351632/32872528 swapFree=1298332/1461852
[pid=7643] ppid=7640 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/7643/stat : 7643 (java) S 7640 7643 6451 0 -1 4202496 4931 0 1 0 20 1 0 0 20 0 19 0 4590950 9856040960 7542 33554432000 1073741824 1073778376 140734662648224 140734662639360 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7643/statm: 2406260 7544 2197 9 0 2396937 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 9625040

[startup+0.300269 s]
/proc/loadavg: 2.07 2.16 2.17 3/193 7643
/proc/meminfo: memFree=29351632/32872528 swapFree=1298332/1461852
[pid=7643] ppid=7640 vsize=9625040 CPUtime=0.51 cores=0,2,4,6
/proc/7643/stat : 7643 (java) S 7640 7643 6451 0 -1 4202496 7111 0 1 0 49 2 0 0 20 0 19 0 4590950 9856040960 8970 33554432000 1073741824 1073778376 140734662648224 140734662639360 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7643/statm: 2406260 8970 2225 9 0 2396937 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 9625040

[startup+0.700224 s]
/proc/loadavg: 2.07 2.16 2.17 3/193 7643
/proc/meminfo: memFree=29351632/32872528 swapFree=1298332/1461852
[pid=7643] ppid=7640 vsize=9625040 CPUtime=1.09 cores=0,2,4,6
/proc/7643/stat : 7643 (java) S 7640 7643 6451 0 -1 4202496 8858 0 1 0 107 2 0 0 20 0 19 0 4590950 9856040960 9563 33554432000 1073741824 1073778376 140734662648224 140734662639360 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7643/statm: 2406260 9563 2240 9 0 2396937 0
Current children cumulated CPU time (s) 1.09
Current children cumulated vsize (KiB) 9625040

[startup+1.5007 s]
/proc/loadavg: 2.07 2.16 2.17 3/212 7662
/proc/meminfo: memFree=29316616/32872528 swapFree=1298332/1461852
[pid=7643] ppid=7640 vsize=9625040 CPUtime=1.91 cores=0,2,4,6
/proc/7643/stat : 7643 (java) S 7640 7643 6451 0 -1 4202496 8863 0 1 0 189 2 0 0 20 0 19 0 4590950 9856040960 11100 33554432000 1073741824 1073778376 140734662648224 140734662639360 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7643/statm: 2406260 11100 2241 9 0 2396937 0
[pid=7643/tid=7645] ppid=7640 vsize=9625040 CPUtime=1.45 cores=0,2,4,6
/proc/7643/task/7645/stat : 7645 (java) R 7640 7643 6451 0 -1 4202560 2418 0 1 0 143 2 0 0 20 0 19 0 4590951 9856040960 11100 33554432000 1073741824 1073778376 140734662648224 139756333879800 139756172695481 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7643/tid=7646] ppid=7640 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7643/task/7646/stat : 7646 (java) S 7640 7643 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4590953 9856040960 11100 33554432000 1073741824 1073778376 140734662648224 139756295371432 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7643/tid=7647] ppid=7640 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7643/task/7647/stat : 7647 (java) S 7640 7643 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4590953 9856040960 11100 33554432000 1073741824 1073778376 140734662648224 139756294318888 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7643/tid=7648] ppid=7640 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7643/task/7648/stat : 7648 (java) S 7640 7643 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4590953 9856040960 11100 33554432000 1073741824 1073778376 140734662648224 139756293266344 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7643/tid=7649] ppid=7640 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7643/task/7649/stat : 7649 (java) S 7640 7643 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4590953 9856040960 11100 33554432000 1073741824 1073778376 140734662648224 139756292213800 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7643/tid=7650] ppid=7640 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7643/task/7650/stat : 7650 (java) S 7640 7643 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4590953 9856040960 11100 33554432000 1073741824 1073778376 140734662648224 139756291160232 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7643/tid=7651] ppid=7640 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7643/task/7651/stat : 7651 (java) S 7640 7643 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4590953 9856040960 11100 33554432000 1073741824 1073778376 140734662648224 139756172208424 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7643/tid=7652] ppid=7640 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7643/task/7652/stat : 7652 (java) S 7640 7643 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4590953 9856040960 11100 33554432000 1073741824 1073778376 140734662648224 139756171155880 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7643/tid=7653] ppid=7640 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7643/task/7653/stat : 7653 (java) S 7640 7643 6451 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4590953 9856040960 11100 33554432000 1073741824 1073778376 140734662648224 139756170103336 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7643/tid=7654] ppid=7640 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7643/task/7654/stat : 7654 (java) S 7640 7643 6451 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4590955 9856040960 11100 33554432000 1073741824 1073778376 140734662648224 139756157905512 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7643/tid=7655] ppid=7640 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7643/task/7655/stat : 7655 (java) S 7640 7643 6451 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4590955 9856040960 11100 33554432000 1073741824 1073778376 140734662648224 139756156851832 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7643/tid=7656] ppid=7640 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7643/task/7656/stat : 7656 (java) S 7640 7643 6451 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4590955 9856040960 11100 33554432000 1073741824 1073778376 140734662648224 139755551450760 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7643/tid=7657] ppid=7640 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7643/task/7657/stat : 7657 (java) S 7640 7643 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4590957 9856040960 11100 33554432000 1073741824 1073778376 140734662648224 139755550399504 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7643/tid=7658] ppid=7640 vsize=9625040 CPUtime=0.2 cores=0,2,4,6
/proc/7643/task/7658/stat : 7658 (java) S 7640 7643 6451 0 -1 4202560 2255 0 0 0 20 0 0 0 20 0 19 0 4590957 9856040960 11100 33554432000 1073741824 1073778376 140734662648224 139755549345848 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7643/tid=7659] ppid=7640 vsize=9625040 CPUtime=0.22 cores=0,2,4,6
/proc/7643/task/7659/stat : 7659 (java) S 7640 7643 6451 0 -1 4202560 2921 0 0 0 22 0 0 0 20 0 19 0 4590957 9856040960 11100 33554432000 1073741824 1073778376 140734662648224 139755548293304 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7643/tid=7660] ppid=7640 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7643/task/7660/stat : 7660 (java) S 7640 7643 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4590957 9856040960 11100 33554432000 1073741824 1073778376 140734662648224 139755547240952 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7643/tid=7661] ppid=7640 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7643/task/7661/stat : 7661 (java) S 7640 7643 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4590957 9856040960 11100 33554432000 1073741824 1073778376 140734662648224 139755546188616 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7643/tid=7662] ppid=7640 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7643/task/7662/stat : 7662 (java) S 7640 7643 6451 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4590968 9856040960 11100 33554432000 1073741824 1073778376 140734662648224 139755545134376 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.91
Current children cumulated vsize (KiB) 9625040

[startup+3.10077 s]
/proc/loadavg: 2.07 2.16 2.17 3/212 7662
/proc/meminfo: memFree=29328352/32872528 swapFree=1298332/1461852
[pid=7643] ppid=7640 vsize=9625040 CPUtime=3.54 cores=0,2,4,6
/proc/7643/stat : 7643 (java) S 7640 7643 6451 0 -1 4202496 8876 0 1 0 351 3 0 0 20 0 19 0 4590950 9856040960 14179 33554432000 1073741824 1073778376 140734662648224 140734662639360 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7643/statm: 2406260 14179 2247 9 0 2396937 0
[pid=7643/tid=7645] ppid=7640 vsize=9625040 CPUtime=3.05 cores=0,2,4,6
/proc/7643/task/7645/stat : 7645 (java) R 7640 7643 6451 0 -1 4202560 2430 0 1 0 303 2 0 0 20 0 19 0 4590951 9856040960 14179 33554432000 1073741824 1073778376 140734662648224 139756333879424 139756172654439 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=7643/tid=7646] ppid=7640 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7643/task/7646/stat : 7646 (java) S 7640 7643 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4590953 9856040960 14179 33554432000 1073741824 1073778376 140734662648224 139756295371432 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7643/tid=7647] ppid=7640 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7643/task/7647/stat : 7647 (java) S 7640 7643 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4590953 9856040960 14179 33554432000 1073741824 1073778376 140734662648224 139756294318888 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7643/tid=7648] ppid=7640 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7643/task/7648/stat : 7648 (java) S 7640 7643 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4590953 9856040960 14179 33554432000 1073741824 1073778376 140734662648224 139756293266344 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7643/tid=7649] ppid=7640 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7643/task/7649/stat : 7649 (java) S 7640 7643 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4590953 9856040960 14179 33554432000 1073741824 1073778376 140734662648224 139756292213800 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7643/tid=7650] ppid=7640 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7643/task/7650/stat : 7650 (java) S 7640 7643 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4590953 9856040960 14179 33554432000 1073741824 1073778376 140734662648224 139756291160232 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7643/tid=7651] ppid=7640 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7643/task/7651/stat : 7651 (java) S 7640 7643 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4590953 9856040960 14179 33554432000 1073741824 1073778376 140734662648224 139756172208424 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7643/tid=7652] ppid=7640 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7643/task/7652/stat : 7652 (java) S 7640 7643 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4590953 9856040960 14179 33554432000 1073741824 1073778376 140734662648224 139756171155880 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7643/tid=7653] ppid=7640 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7643/task/7653/stat : 7653 (java) S 7640 7643 6451 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4590953 9856040960 14179 33554432000 1073741824 1073778376 140734662648224 139756170103336 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7643/tid=7654] ppid=7640 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7643/task/7654/stat : 7654 (java) S 7640 7643 6451 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4590955 9856040960 14179 33554432000 1073741824 1073778376 140734662648224 139756157905512 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7643/tid=7655] ppid=7640 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7643/task/7655/stat : 7655 (java) S 7640 7643 6451 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4590955 9856040960 14179 33554432000 1073741824 1073778376 140734662648224 139756156851832 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7643/tid=7656] ppid=7640 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7643/task/7656/stat : 7656 (java) S 7640 7643 6451 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4590955 9856040960 14179 33554432000 1073741824 1073778376 140734662648224 139755551450760 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7643/tid=7657] ppid=7640 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7643/task/7657/stat : 7657 (java) S 7640 7643 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4590957 9856040960 14179 33554432000 1073741824 1073778376 140734662648224 139755550399504 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7643/tid=7658] ppid=7640 vsize=9625040 CPUtime=0.22 cores=0,2,4,6
/proc/7643/task/7658/stat : 7658 (java) S 7640 7643 6451 0 -1 4202560 2256 0 0 0 22 0 0 0 20 0 19 0 4590957 9856040960 14179 33554432000 1073741824 1073778376 140734662648224 139755549345848 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7643/tid=7659] ppid=7640 vsize=9625040 CPUtime=0.22 cores=0,2,4,6
/proc/7643/task/7659/stat : 7659 (java) S 7640 7643 6451 0 -1 4202560 2921 0 0 0 22 0 0 0 20 0 19 0 4590957 9856040960 14179 33554432000 1073741824 1073778376 140734662648224 139755548293304 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7643/tid=7660] ppid=7640 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7643/task/7660/stat : 7660 (java) S 7640 7643 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4590957 9856040960 14179 33554432000 1073741824 1073778376 140734662648224 139755547240952 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7643/tid=7661] ppid=7640 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7643/task/7661/stat : 7661 (java) S 7640 7643 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4590957 9856040960 14179 33554432000 1073741824 1073778376 140734662648224 139755546188616 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7643/tid=7662] ppid=7640 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7643/task/7662/stat : 7662 (java) S 7640 7643 6451 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4590968 9856040960 14179 33554432000 1073741824 1073778376 140734662648224 139755545134376 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.54
Current children cumulated vsize (KiB) 9625040

[startup+6.3008 s]
/proc/loadavg: 2.06 2.16 2.17 4/212 7662
/proc/meminfo: memFree=29307544/32872528 swapFree=1298332/1461852
[pid=7643] ppid=7640 vsize=9625040 CPUtime=6.76 cores=0,2,4,6
/proc/7643/stat : 7643 (java) S 7640 7643 6451 0 -1 4202496 8898 0 1 0 673 3 0 0 20 0 19 0 4590950 9856040960 19286 33554432000 1073741824 1073778376 140734662648224 140734662639360 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7643/statm: 2406260 19286 2249 9 0 2396937 0
[pid=7643/tid=7645] ppid=7640 vsize=9625040 CPUtime=6.23 cores=0,2,4,6
/proc/7643/task/7645/stat : 7645 (java) R 7640 7643 6451 0 -1 4202560 2441 0 1 0 621 2 0 0 20 0 19 0 4590951 9856040960 19286 33554432000 1073741824 1073778376 140734662648224 139756333870800 139756172654439 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=7643/tid=7646] ppid=7640 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7643/task/7646/stat : 7646 (java) S 7640 7643 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4590953 9856040960 19286 33554432000 1073741824 1073778376 140734662648224 139756295371432 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7643/tid=7647] ppid=7640 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7643/task/7647/stat : 7647 (java) S 7640 7643 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4590953 9856040960 19286 33554432000 1073741824 1073778376 140734662648224 139756294318888 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7643/tid=7648] ppid=7640 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7643/task/7648/stat : 7648 (java) S 7640 7643 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4590953 9856040960 19286 33554432000 1073741824 1073778376 140734662648224 139756293266344 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7643/tid=7649] ppid=7640 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7643/task/7649/stat : 7649 (java) S 7640 7643 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4590953 9856040960 19286 33554432000 1073741824 1073778376 140734662648224 139756292213800 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7643/tid=7650] ppid=7640 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7643/task/7650/stat : 7650 (java) S 7640 7643 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4590953 9856040960 19286 33554432000 1073741824 1073778376 140734662648224 139756291160232 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7643/tid=7651] ppid=7640 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7643/task/7651/stat : 7651 (java) S 7640 7643 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4590953 9856040960 19286 33554432000 1073741824 1073778376 140734662648224 139756172208424 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7643/tid=7652] ppid=7640 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7643/task/7652/stat : 7652 (java) S 7640 7643 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4590953 9856040960 19286 33554432000 1073741824 1073778376 140734662648224 139756171155880 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7643/tid=7653] ppid=7640 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7643/task/7653/stat : 7653 (java) S 7640 7643 6451 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4590953 9856040960 19286 33554432000 1073741824 1073778376 140734662648224 139756170103336 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7643/tid=7654] ppid=7640 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7643/task/7654/stat : 7654 (java) S 7640 7643 6451 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 4590955 9856040960 19286 33554432000 1073741824 1073778376 140734662648224 139756157905512 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7643/tid=7655] ppid=7640 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7643/task/7655/stat : 7655 (java) S 7640 7643 6451 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4590955 9856040960 19286 33554432000 1073741824 1073778376 140734662648224 139756156851832 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7643/tid=7656] ppid=7640 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7643/task/7656/stat : 7656 (java) S 7640 7643 6451 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4590955 9856040960 19286 33554432000 1073741824 1073778376 140734662648224 139755551450760 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7643/tid=7657] ppid=7640 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7643/task/7657/stat : 7657 (java) S 7640 7643 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4590957 9856040960 19286 33554432000 1073741824 1073778376 140734662648224 139755550399504 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7643/tid=7658] ppid=7640 vsize=9625040 CPUtime=0.25 cores=0,2,4,6
/proc/7643/task/7658/stat : 7658 (java) S 7640 7643 6451 0 -1 4202560 2264 0 0 0 25 0 0 0 20 0 19 0 4590957 9856040960 19286 33554432000 1073741824 1073778376 140734662648224 139755549345848 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7643/tid=7659] ppid=7640 vsize=9625040 CPUtime=0.22 cores=0,2,4,6
/proc/7643/task/7659/stat : 7659 (java) S 7640 7643 6451 0 -1 4202560 2921 0 0 0 22 0 0 0 20 0 19 0 4590957 9856040960 19286 33554432000 1073741824 1073778376 140734662648224 139755548293304 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7643/tid=7660] ppid=7640 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7643/task/7660/stat : 7660 (java) S 7640 7643 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4590957 9856040960 19286 33554432000 1073741824 1073778376 140734662648224 139755547240952 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7643/tid=7661] ppid=7640 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7643/task/7661/stat : 7661 (java) S 7640 7643 6451 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 4590957 9856040960 19286 33554432000 1073741824 1073778376 140734662648224 139755546188616 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7643/tid=7662] ppid=7640 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7643/task/7662/stat : 7662 (java) S 7640 7643 6451 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4590968 9856040960 19286 33554432000 1073741824 1073778376 140734662648224 139755545134376 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.76
Current children cumulated vsize (KiB) 9625040


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

[pid=7643/tid=7662] ppid=7640 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7643/task/7662/stat : 7662 (java) S 7640 7643 6451 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4590968 9856040960 112947 33554432000 1073741824 1073778376 140734662648224 139755545134376 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1666.4
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.24 2.24 2.19 3/211 7790
/proc/meminfo: memFree=28854564/32872528 swapFree=1298332/1461852
[pid=7643] ppid=7640 vsize=9625040 CPUtime=1726.6 cores=0,2,4,6
/proc/7643/stat : 7643 (java) S 7640 7643 6451 0 -1 4202496 12828 0 1 0 172578 82 0 0 20 0 19 0 4590950 9856040960 112841 33554432000 1073741824 1073778376 140734662648224 140734662639360 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7643/statm: 2406260 112841 2271 9 0 2396937 0
[pid=7643/tid=7645] ppid=7640 vsize=9625040 CPUtime=1716.04 cores=0,2,4,6
/proc/7643/task/7645/stat : 7645 (java) R 7640 7643 6451 0 -1 4202560 2526 0 1 0 171575 29 0 0 20 0 19 0 4590951 9856040960 112841 33554432000 1073741824 1073778376 140734662648224 139756333870800 139756172695481 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=7643/tid=7646] ppid=7640 vsize=9625040 CPUtime=0.62 cores=0,2,4,6
/proc/7643/task/7646/stat : 7646 (java) S 7640 7643 6451 0 -1 4202560 512 0 0 0 53 9 0 0 20 0 19 0 4590953 9856040960 112841 33554432000 1073741824 1073778376 140734662648224 139756295371432 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7643/tid=7647] ppid=7640 vsize=9625040 CPUtime=0.68 cores=0,2,4,6
/proc/7643/task/7647/stat : 7647 (java) S 7640 7643 6451 0 -1 4202560 500 0 0 0 59 9 0 0 20 0 19 0 4590953 9856040960 112841 33554432000 1073741824 1073778376 140734662648224 139756294318888 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7643/tid=7648] ppid=7640 vsize=9625040 CPUtime=0.6 cores=0,2,4,6
/proc/7643/task/7648/stat : 7648 (java) S 7640 7643 6451 0 -1 4202560 454 0 0 0 52 8 0 0 20 0 19 0 4590953 9856040960 112841 33554432000 1073741824 1073778376 140734662648224 139756293266344 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7643/tid=7649] ppid=7640 vsize=9625040 CPUtime=0.56 cores=0,2,4,6
/proc/7643/task/7649/stat : 7649 (java) S 7640 7643 6451 0 -1 4202560 518 0 0 0 49 7 0 0 20 0 19 0 4590953 9856040960 112841 33554432000 1073741824 1073778376 140734662648224 139756292213800 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7643/tid=7650] ppid=7640 vsize=9625040 CPUtime=0.53 cores=0,2,4,6
/proc/7643/task/7650/stat : 7650 (java) S 7640 7643 6451 0 -1 4202560 358 0 0 0 47 6 0 0 20 0 19 0 4590953 9856040960 112841 33554432000 1073741824 1073778376 140734662648224 139756291160232 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7643/tid=7651] ppid=7640 vsize=9625040 CPUtime=0.62 cores=0,2,4,6
/proc/7643/task/7651/stat : 7651 (java) S 7640 7643 6451 0 -1 4202560 341 0 0 0 53 9 0 0 20 0 19 0 4590953 9856040960 112841 33554432000 1073741824 1073778376 140734662648224 139756172208424 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7643/tid=7652] ppid=7640 vsize=9625040 CPUtime=0.59 cores=0,2,4,6
/proc/7643/task/7652/stat : 7652 (java) S 7640 7643 6451 0 -1 4202560 306 0 0 0 53 6 0 0 20 0 19 0 4590953 9856040960 112841 33554432000 1073741824 1073778376 140734662648224 139756171155880 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7643/tid=7653] ppid=7640 vsize=9625040 CPUtime=0.65 cores=0,2,4,6
/proc/7643/task/7653/stat : 7653 (java) S 7640 7643 6451 0 -1 4202560 376 0 0 0 57 8 0 0 20 0 19 0 4590953 9856040960 112841 33554432000 1073741824 1073778376 140734662648224 139756170103336 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7643/tid=7654] ppid=7640 vsize=9625040 CPUtime=0.4 cores=0,2,4,6
/proc/7643/task/7654/stat : 7654 (java) S 7640 7643 6451 0 -1 4202560 226 0 0 0 38 2 0 0 20 0 19 0 4590955 9856040960 112841 33554432000 1073741824 1073778376 140734662648224 139756157905512 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7643/tid=7655] ppid=7640 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7643/task/7655/stat : 7655 (java) S 7640 7643 6451 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 4590955 9856040960 112841 33554432000 1073741824 1073778376 140734662648224 139756156851832 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7643/tid=7656] ppid=7640 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7643/task/7656/stat : 7656 (java) S 7640 7643 6451 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 4590955 9856040960 112841 33554432000 1073741824 1073778376 140734662648224 139755551450760 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7643/tid=7657] ppid=7640 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7643/task/7657/stat : 7657 (java) S 7640 7643 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4590957 9856040960 112841 33554432000 1073741824 1073778376 140734662648224 139755550399504 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7643/tid=7658] ppid=7640 vsize=9625040 CPUtime=0.28 cores=0,2,4,6
/proc/7643/task/7658/stat : 7658 (java) S 7640 7643 6451 0 -1 4202560 2433 0 0 0 28 0 0 0 20 0 19 0 4590957 9856040960 112841 33554432000 1073741824 1073778376 140734662648224 139755549345848 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7643/tid=7659] ppid=7640 vsize=9625040 CPUtime=0.23 cores=0,2,4,6
/proc/7643/task/7659/stat : 7659 (java) S 7640 7643 6451 0 -1 4202560 2921 0 0 0 23 0 0 0 20 0 19 0 4590957 9856040960 112841 33554432000 1073741824 1073778376 140734662648224 139755548293304 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7643/tid=7660] ppid=7640 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7643/task/7660/stat : 7660 (java) S 7640 7643 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4590957 9856040960 112841 33554432000 1073741824 1073778376 140734662648224 139755547240952 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7643/tid=7661] ppid=7640 vsize=9625040 CPUtime=0.54 cores=0,2,4,6
/proc/7643/task/7661/stat : 7661 (java) S 7640 7643 6451 0 -1 4202560 100 0 0 0 32 22 0 0 20 0 19 0 4590957 9856040960 112841 33554432000 1073741824 1073778376 140734662648224 139755546188616 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7643/tid=7662] ppid=7640 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7643/task/7662/stat : 7662 (java) S 7640 7643 6451 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4590968 9856040960 112841 33554432000 1073741824 1073778376 140734662648224 139755545134376 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1726.6
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.24 2.24 2.19 3/212 7794
/proc/meminfo: memFree=28736620/32872528 swapFree=1298332/1461852
[pid=7643] ppid=7640 vsize=9625040 CPUtime=1786.66 cores=0,2,4,6
/proc/7643/stat : 7643 (java) S 7640 7643 6451 0 -1 4202496 12835 0 1 0 178583 83 0 0 20 0 19 0 4590950 9856040960 112839 33554432000 1073741824 1073778376 140734662648224 140734662639360 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7643/statm: 2406260 112839 2271 9 0 2396937 0
[pid=7643/tid=7645] ppid=7640 vsize=9625040 CPUtime=1775.87 cores=0,2,4,6
/proc/7643/task/7645/stat : 7645 (java) R 7640 7643 6451 0 -1 4202560 2527 0 1 0 177558 29 0 0 20 0 19 0 4590951 9856040960 112839 33554432000 1073741824 1073778376 140734662648224 139756333870800 139756172695486 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=7643/tid=7646] ppid=7640 vsize=9625040 CPUtime=0.62 cores=0,2,4,6
/proc/7643/task/7646/stat : 7646 (java) S 7640 7643 6451 0 -1 4202560 512 0 0 0 53 9 0 0 20 0 19 0 4590953 9856040960 112839 33554432000 1073741824 1073778376 140734662648224 139756295371432 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7643/tid=7647] ppid=7640 vsize=9625040 CPUtime=0.69 cores=0,2,4,6
/proc/7643/task/7647/stat : 7647 (java) S 7640 7643 6451 0 -1 4202560 500 0 0 0 60 9 0 0 20 0 19 0 4590953 9856040960 112839 33554432000 1073741824 1073778376 140734662648224 139756294318888 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7643/tid=7648] ppid=7640 vsize=9625040 CPUtime=0.62 cores=0,2,4,6
/proc/7643/task/7648/stat : 7648 (java) S 7640 7643 6451 0 -1 4202560 454 0 0 0 54 8 0 0 20 0 19 0 4590953 9856040960 112839 33554432000 1073741824 1073778376 140734662648224 139756293266344 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7643/tid=7649] ppid=7640 vsize=9625040 CPUtime=0.56 cores=0,2,4,6
/proc/7643/task/7649/stat : 7649 (java) S 7640 7643 6451 0 -1 4202560 518 0 0 0 49 7 0 0 20 0 19 0 4590953 9856040960 112839 33554432000 1073741824 1073778376 140734662648224 139756292213800 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7643/tid=7650] ppid=7640 vsize=9625040 CPUtime=0.55 cores=0,2,4,6
/proc/7643/task/7650/stat : 7650 (java) S 7640 7643 6451 0 -1 4202560 358 0 0 0 49 6 0 0 20 0 19 0 4590953 9856040960 112839 33554432000 1073741824 1073778376 140734662648224 139756291160232 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7643/tid=7651] ppid=7640 vsize=9625040 CPUtime=0.63 cores=0,2,4,6
/proc/7643/task/7651/stat : 7651 (java) S 7640 7643 6451 0 -1 4202560 341 0 0 0 54 9 0 0 20 0 19 0 4590953 9856040960 112839 33554432000 1073741824 1073778376 140734662648224 139756172208424 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7643/tid=7652] ppid=7640 vsize=9625040 CPUtime=0.59 cores=0,2,4,6
/proc/7643/task/7652/stat : 7652 (java) S 7640 7643 6451 0 -1 4202560 306 0 0 0 53 6 0 0 20 0 19 0 4590953 9856040960 112839 33554432000 1073741824 1073778376 140734662648224 139756171155880 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7643/tid=7653] ppid=7640 vsize=9625040 CPUtime=0.66 cores=0,2,4,6
/proc/7643/task/7653/stat : 7653 (java) S 7640 7643 6451 0 -1 4202560 376 0 0 0 58 8 0 0 20 0 19 0 4590953 9856040960 112839 33554432000 1073741824 1073778376 140734662648224 139756170103336 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7643/tid=7654] ppid=7640 vsize=9625040 CPUtime=0.4 cores=0,2,4,6
/proc/7643/task/7654/stat : 7654 (java) S 7640 7643 6451 0 -1 4202560 228 0 0 0 38 2 0 0 20 0 19 0 4590955 9856040960 112839 33554432000 1073741824 1073778376 140734662648224 139756157905512 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7643/tid=7655] ppid=7640 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7643/task/7655/stat : 7655 (java) S 7640 7643 6451 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 4590955 9856040960 112839 33554432000 1073741824 1073778376 140734662648224 139756156851832 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7643/tid=7656] ppid=7640 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7643/task/7656/stat : 7656 (java) S 7640 7643 6451 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 4590955 9856040960 112839 33554432000 1073741824 1073778376 140734662648224 139755551450760 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7643/tid=7657] ppid=7640 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7643/task/7657/stat : 7657 (java) S 7640 7643 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4590957 9856040960 112839 33554432000 1073741824 1073778376 140734662648224 139755550399504 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7643/tid=7658] ppid=7640 vsize=9625040 CPUtime=0.28 cores=0,2,4,6
/proc/7643/task/7658/stat : 7658 (java) S 7640 7643 6451 0 -1 4202560 2433 0 0 0 28 0 0 0 20 0 19 0 4590957 9856040960 112839 33554432000 1073741824 1073778376 140734662648224 139755549345848 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7643/tid=7659] ppid=7640 vsize=9625040 CPUtime=0.23 cores=0,2,4,6
/proc/7643/task/7659/stat : 7659 (java) S 7640 7643 6451 0 -1 4202560 2921 0 0 0 23 0 0 0 20 0 19 0 4590957 9856040960 112839 33554432000 1073741824 1073778376 140734662648224 139755548293304 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7643/tid=7660] ppid=7640 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7643/task/7660/stat : 7660 (java) S 7640 7643 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4590957 9856040960 112839 33554432000 1073741824 1073778376 140734662648224 139755547240952 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7643/tid=7661] ppid=7640 vsize=9625040 CPUtime=0.56 cores=0,2,4,6
/proc/7643/task/7661/stat : 7661 (java) S 7640 7643 6451 0 -1 4202560 104 0 0 0 33 23 0 0 20 0 19 0 4590957 9856040960 112839 33554432000 1073741824 1073778376 140734662648224 139755546188616 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7643/tid=7662] ppid=7640 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7643/task/7662/stat : 7662 (java) S 7640 7643 6451 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4590968 9856040960 112839 33554432000 1073741824 1073778376 140734662648224 139755545134376 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1786.66
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1795.6 s]
/proc/loadavg: 2.26 2.25 2.19 4/212 7795
/proc/meminfo: memFree=28691432/32872528 swapFree=1298332/1461852
[pid=7643] ppid=7640 vsize=9625040 CPUtime=1800.05 cores=0,2,4,6
/proc/7643/stat : 7643 (java) S 7640 7643 6451 0 -1 4202496 12849 0 1 0 179922 83 0 0 20 0 19 0 4590950 9856040960 112850 33554432000 1073741824 1073778376 140734662648224 140734662639360 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7643/statm: 2406260 112850 2271 9 0 2396937 0
[pid=7643/tid=7645] ppid=7640 vsize=9625040 CPUtime=1789.1 cores=0,2,4,6
/proc/7643/task/7645/stat : 7645 (java) R 7640 7643 6451 0 -1 4202560 2528 0 1 0 178880 30 0 0 20 0 19 0 4590951 9856040960 112850 33554432000 1073741824 1073778376 140734662648224 139756333878496 139756172866688 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=7643/tid=7646] ppid=7640 vsize=9625040 CPUtime=0.64 cores=0,2,4,6
/proc/7643/task/7646/stat : 7646 (java) S 7640 7643 6451 0 -1 4202560 512 0 0 0 55 9 0 0 20 0 19 0 4590953 9856040960 112850 33554432000 1073741824 1073778376 140734662648224 139756295371432 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7643/tid=7647] ppid=7640 vsize=9625040 CPUtime=0.7 cores=0,2,4,6
/proc/7643/task/7647/stat : 7647 (java) S 7640 7643 6451 0 -1 4202560 500 0 0 0 61 9 0 0 20 0 19 0 4590953 9856040960 112850 33554432000 1073741824 1073778376 140734662648224 139756294318888 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7643/tid=7648] ppid=7640 vsize=9625040 CPUtime=0.63 cores=0,2,4,6
/proc/7643/task/7648/stat : 7648 (java) S 7640 7643 6451 0 -1 4202560 463 0 0 0 55 8 0 0 20 0 19 0 4590953 9856040960 112850 33554432000 1073741824 1073778376 140734662648224 139756293266344 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7643/tid=7649] ppid=7640 vsize=9625040 CPUtime=0.57 cores=0,2,4,6
/proc/7643/task/7649/stat : 7649 (java) S 7640 7643 6451 0 -1 4202560 518 0 0 0 50 7 0 0 20 0 19 0 4590953 9856040960 112850 33554432000 1073741824 1073778376 140734662648224 139756292213800 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7643/tid=7650] ppid=7640 vsize=9625040 CPUtime=0.56 cores=0,2,4,6
/proc/7643/task/7650/stat : 7650 (java) S 7640 7643 6451 0 -1 4202560 358 0 0 0 50 6 0 0 20 0 19 0 4590953 9856040960 112850 33554432000 1073741824 1073778376 140734662648224 139756291160232 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7643/tid=7651] ppid=7640 vsize=9625040 CPUtime=0.67 cores=0,2,4,6
/proc/7643/task/7651/stat : 7651 (java) S 7640 7643 6451 0 -1 4202560 341 0 0 0 58 9 0 0 20 0 19 0 4590953 9856040960 112850 33554432000 1073741824 1073778376 140734662648224 139756172208424 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7643/tid=7652] ppid=7640 vsize=9625040 CPUtime=0.6 cores=0,2,4,6
/proc/7643/task/7652/stat : 7652 (java) S 7640 7643 6451 0 -1 4202560 306 0 0 0 54 6 0 0 20 0 19 0 4590953 9856040960 112850 33554432000 1073741824 1073778376 140734662648224 139756171155880 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7643/tid=7653] ppid=7640 vsize=9625040 CPUtime=0.67 cores=0,2,4,6
/proc/7643/task/7653/stat : 7653 (java) S 7640 7643 6451 0 -1 4202560 376 0 0 0 59 8 0 0 20 0 19 0 4590953 9856040960 112850 33554432000 1073741824 1073778376 140734662648224 139756170103336 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7643/tid=7654] ppid=7640 vsize=9625040 CPUtime=0.4 cores=0,2,4,6
/proc/7643/task/7654/stat : 7654 (java) S 7640 7643 6451 0 -1 4202560 232 0 0 0 38 2 0 0 20 0 19 0 4590955 9856040960 112850 33554432000 1073741824 1073778376 140734662648224 139756157905512 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7643/tid=7655] ppid=7640 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7643/task/7655/stat : 7655 (java) S 7640 7643 6451 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 4590955 9856040960 112850 33554432000 1073741824 1073778376 140734662648224 139756156851832 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7643/tid=7656] ppid=7640 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7643/task/7656/stat : 7656 (java) S 7640 7643 6451 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 4590955 9856040960 112850 33554432000 1073741824 1073778376 140734662648224 139755551450760 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7643/tid=7657] ppid=7640 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7643/task/7657/stat : 7657 (java) S 7640 7643 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4590957 9856040960 112850 33554432000 1073741824 1073778376 140734662648224 139755550399504 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7643/tid=7658] ppid=7640 vsize=9625040 CPUtime=0.28 cores=0,2,4,6
/proc/7643/task/7658/stat : 7658 (java) S 7640 7643 6451 0 -1 4202560 2433 0 0 0 28 0 0 0 20 0 19 0 4590957 9856040960 112850 33554432000 1073741824 1073778376 140734662648224 139755549345848 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7643/tid=7659] ppid=7640 vsize=9625040 CPUtime=0.23 cores=0,2,4,6
/proc/7643/task/7659/stat : 7659 (java) S 7640 7643 6451 0 -1 4202560 2921 0 0 0 23 0 0 0 20 0 19 0 4590957 9856040960 112850 33554432000 1073741824 1073778376 140734662648224 139755548293304 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7643/tid=7660] ppid=7640 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7643/task/7660/stat : 7660 (java) S 7640 7643 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4590957 9856040960 112850 33554432000 1073741824 1073778376 140734662648224 139755547240952 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7643/tid=7661] ppid=7640 vsize=9625040 CPUtime=0.56 cores=0,2,4,6
/proc/7643/task/7661/stat : 7661 (java) S 7640 7643 6451 0 -1 4202560 104 0 0 0 33 23 0 0 20 0 19 0 4590957 9856040960 112850 33554432000 1073741824 1073778376 140734662648224 139755546188616 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7643/tid=7662] ppid=7640 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7643/task/7662/stat : 7662 (java) S 7640 7643 6451 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4590968 9856040960 112850 33554432000 1073741824 1073778376 140734662648224 139755545134376 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 9625040

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 7643 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143

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

Real time (s): 1795.64
CPU time (s): 1800.05
CPU user time (s): 1799.22
CPU system time (s): 0.83
CPU usage (%): 100.246
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.63
system time used= 1.3238
maximum resident set size= 685596
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12895
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1488
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39166
involuntary context switches= 7198

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.8425 second user time and 12.894 second system time

The end

Launcher Data 

Begin job on node121 at 2016-06-30 05:00:50
IDJOB=4119350
IDBENCH=111708
IDSOLVER=2546
FILE ID=node121/4119350-1467255650
RUNJOBID= node121-1467250272-6980
PBS_JOBID= 20004469
Free space on /tmp= 71700 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/minlplib2-pb-0.1.0/opb/normalized-graphpart_2pm-0066-0066.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119350-1467255650/watcher-4119350-1467255650 -o /tmp/evaluation-result-4119350-1467255650/solver-4119350-1467255650 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node121-1467250272-6980 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4119350-1467255650.opb

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

MD5SUM BENCH= 6c30ae49cb0d5bbc7d65e5bef54ff2c4
RANDOM SEED=1649775270

node121.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29352392 kB
Buffers:           92384 kB
Cached:           225204 kB
SwapCached:            0 kB
Active:          1111804 kB
Inactive:         202636 kB
Active(anon):     984168 kB
Inactive(anon):    15388 kB
Active(file):     127636 kB
Inactive(file):   187248 kB
Unevictable:     1461852 kB
Mlocked:         1298332 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               868 kB
Writeback:             0 kB
AnonPages:       2501828 kB
Mapped:            22148 kB
Shmem:               204 kB
Slab:             607564 kB
SReclaimable:      51820 kB
SUnreclaim:       555744 kB
KernelStack:        1760 kB
PageTables:         8956 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2571476 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1171456 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71700 MiB
End job on node121 at 2016-06-30 05:30:45