Trace number 4085814

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)-13 1800.02 1797.24

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_50_10_1.opb
MD5SUM26861ca996cf8fd2abe5c211e1f47a26
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-14
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -14
Optimality of the best value was proved NO
Number of variables100
Total number of constraints151
Number of constraints which are clauses50
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints101
Minimum length of a constraint2
Maximum length of a constraint100
Number of terms in the objective function 50
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 50
Number of bits of the sum of numbers in the objective function 6
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)1220
Sum of products size (including duplicates)2440
Number of different products610
Sum of products size1220

Quality of the solution as a function of time


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

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.09/0.10	c Number of processors 	8
0.09/0.12	c Pseudo Boolean Optimization by upper bound
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.12	c No reason simplification
0.09/0.12	c Glucose 2.1 dynamic restart strategy
0.09/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.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-4085814-1465259564.opb
0.09/0.12	c reading problem ... 
0.09/0.12	c  objective function found
0.22/0.23	c ... done. Wall clock time 0.112s.
0.22/0.23	c declared #vars     100
0.22/0.23	c internal #vars     710
0.22/0.23	c #constraints  1372
0.22/0.23	c constraints type 
0.22/0.23	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 610
0.22/0.23	c org.sat4j.minisat.constraints.card.MinWatchCard => 102
0.22/0.23	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 50
0.22/0.23	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 610
0.22/0.23	c 1372 constraints processed.
0.22/0.23	c objective function length is 50 literals
0.44/0.34	c SATISFIABLE
0.44/0.34	c OPTIMIZING...
0.44/0.34	c Got one! Elapsed wall clock time (in seconds):0.219
0.44/0.34	o -7
0.44/0.35	c Got one! Elapsed wall clock time (in seconds):0.227
0.44/0.35	o -9
0.95/0.63	c cleaning 2572 clauses out of 5144 with flag 14176/5144
1.33/0.90	c cleaning 4287 clauses out of 8574 with flag 34288/11146
1.64/1.21	c cleaning 5643 clauses out of 11286 with flag 56429/18145
2.04/1.62	c cleaning 6822 clauses out of 13644 with flag 82465/26146
2.47/2.09	c cleaning 7910 clauses out of 15819 with flag 113577/35143
2.97/2.57	c Got one! Elapsed wall clock time (in seconds):2.447
2.97/2.57	o -10
3.47/3.01	c cleaning 10742 clauses out of 21489 with flag 17827/48723
3.78/3.31	c cleaning 8371 clauses out of 16745 with flag 39456/54721
4.08/3.67	c cleaning 7682 clauses out of 15375 with flag 63151/61722
4.60/4.16	c cleaning 7842 clauses out of 15692 with flag 90078/69721
5.20/4.73	c cleaning 8425 clauses out of 16850 with flag 123314/78721
5.70/5.29	c cleaning 9207 clauses out of 18427 with flag 155261/88723
6.11/5.64	c Got one! Elapsed wall clock time (in seconds):5.522
6.11/5.64	o -11
6.50/6.01	c cleaning 10334 clauses out of 20675 with flag 16753/100178
6.80/6.34	c cleaning 8167 clauses out of 16341 with flag 34754/106178
7.21/6.73	c cleaning 7583 clauses out of 15175 with flag 58476/113179
7.60/7.13	c cleaning 7784 clauses out of 15591 with flag 86868/121178
8.10/7.61	c cleaning 8385 clauses out of 16807 with flag 117319/130178
8.70/8.20	c cleaning 9209 clauses out of 18423 with flag 153120/140179
9.31/8.89	c cleaning 10105 clauses out of 20216 with flag 195775/151181
10.10/9.62	c cleaning 11054 clauses out of 22108 with flag 237703/163178
10.90/10.48	c cleaning 12023 clauses out of 24054 with flag 283469/176178
11.91/11.45	c cleaning 13001 clauses out of 26031 with flag 332441/190178
12.91/12.49	c cleaning 14014 clauses out of 28030 with flag 389620/205178
14.11/13.62	c cleaning 15009 clauses out of 30019 with flag 441755/221181
14.81/14.40	c Got one! Elapsed wall clock time (in seconds):14.279
14.81/14.40	o -12
15.31/14.84	c cleaning 15478 clauses out of 30961 with flag 19555/237132
15.71/15.25	c cleaning 10725 clauses out of 21478 with flag 41333/243127
16.11/15.66	c cleaning 8868 clauses out of 17754 with flag 67549/250128
16.51/16.07	c cleaning 8438 clauses out of 16885 with flag 91652/258127
17.01/16.50	c cleaning 8723 clauses out of 17448 with flag 117163/267128
17.51/17.04	c cleaning 9358 clauses out of 18724 with flag 149300/277127
18.11/17.67	c cleaning 10177 clauses out of 20366 with flag 185227/288127
18.91/18.43	c cleaning 11082 clauses out of 22189 with flag 225835/300127
19.80/19.39	c cleaning 12051 clauses out of 24108 with flag 277450/313128
20.80/20.37	c cleaning 13028 clauses out of 26056 with flag 329248/327127
21.91/21.49	c cleaning 14006 clauses out of 28030 with flag 380775/342129
23.11/22.69	c cleaning 15007 clauses out of 30022 with flag 434020/358127
24.42/23.93	c cleaning 16006 clauses out of 32016 with flag 487706/375128
25.62/25.19	c cleaning 17004 clauses out of 34010 with flag 544644/393128
27.13/26.63	c cleaning 17999 clauses out of 36011 with flag 605938/412133
28.63/28.19	c cleaning 19004 clauses out of 38007 with flag 674598/432128
30.63/30.11	c cleaning 19996 clauses out of 40005 with flag 746324/453130
32.53/32.02	c cleaning 21003 clauses out of 42006 with flag 824322/475127
34.73/34.23	c cleaning 21994 clauses out of 44003 with flag 904850/498127
37.03/36.54	c cleaning 22994 clauses out of 46009 with flag 987879/522127
39.52/39.04	c cleaning 24006 clauses out of 48015 with flag 1075417/547127
42.13/41.61	c cleaning 24998 clauses out of 50010 with flag 1159356/573128
45.13/44.62	c cleaning 26000 clauses out of 52013 with flag 1245892/600129
48.03/47.58	c cleaning 27003 clauses out of 54012 with flag 1347008/628128
51.33/50.86	c cleaning 28002 clauses out of 56010 with flag 1450704/657129
55.02/54.50	c cleaning 28995 clauses out of 58006 with flag 1551132/687127
58.62/58.12	c cleaning 30002 clauses out of 60011 with flag 1647418/718127
62.46/61.93	c cleaning 31001 clauses out of 62019 with flag 1745378/750137
66.46/65.98	c cleaning 31999 clauses out of 64009 with flag 1850602/783128
70.46/69.94	c cleaning 33002 clauses out of 66009 with flag 1959277/817127
74.76/74.28	c cleaning 34001 clauses out of 68008 with flag 2075541/852128
79.56/79.06	c cleaning 35003 clauses out of 70009 with flag 2191987/888130
84.66/84.18	c cleaning 35998 clauses out of 72006 with flag 2312712/925130
89.86/89.32	c cleaning 37003 clauses out of 74006 with flag 2431172/963128
95.58/95.03	c cleaning 37993 clauses out of 76003 with flag 2553809/1002128
101.67/101.12	c cleaning 38997 clauses out of 78010 with flag 2692138/1042128
107.87/107.32	c cleaning 40008 clauses out of 80015 with flag 2825831/1083130
114.57/114.05	c cleaning 40999 clauses out of 82004 with flag 2965340/1125127
121.45/120.89	c cleaning 41997 clauses out of 84005 with flag 3095378/1168127
128.85/128.27	c cleaning 43002 clauses out of 86008 with flag 3233389/1212127
136.35/135.79	c cleaning 43999 clauses out of 88006 with flag 3370041/1257127
144.56/143.92	c cleaning 44994 clauses out of 90007 with flag 3512366/1303127
153.05/152.44	c cleaning 45999 clauses out of 92014 with flag 3668336/1350128
161.44/160.83	c cleaning 47002 clauses out of 94016 with flag 3812313/1398129
171.35/170.75	c cleaning 47990 clauses out of 96012 with flag 3960731/1447127
181.25/180.64	c cleaning 49006 clauses out of 98022 with flag 4103229/1497127
191.80/191.00	c cleaning 50003 clauses out of 100016 with flag 4253298/1548127
203.10/202.33	c cleaning 50998 clauses out of 102013 with flag 4415533/1600127
213.81/213.00	c cleaning 52003 clauses out of 104015 with flag 4586592/1653127
225.21/224.41	c cleaning 53000 clauses out of 106013 with flag 4752286/1707128
237.11/236.35	c cleaning 54000 clauses out of 108012 with flag 4929881/1762127
250.01/249.28	c cleaning 55000 clauses out of 110013 with flag 5113384/1818128
263.91/263.19	c cleaning 55997 clauses out of 112012 with flag 5302167/1875127
278.47/277.55	c cleaning 57004 clauses out of 114017 with flag 5474702/1933129
292.37/291.44	c cleaning 58001 clauses out of 116011 with flag 5648887/1992127
307.47/306.52	c cleaning 59004 clauses out of 118011 with flag 5818947/2052128
324.47/323.52	c cleaning 59992 clauses out of 120006 with flag 6000643/2113127
341.06/340.17	c cleaning 60997 clauses out of 122014 with flag 6187611/2175127
357.76/356.88	c cleaning 62005 clauses out of 124019 with flag 6380536/2238129
374.66/373.75	c cleaning 63002 clauses out of 126013 with flag 6575230/2302128
393.86/392.79	c cleaning 63993 clauses out of 128010 with flag 6767729/2367127
411.95/410.81	c cleaning 65005 clauses out of 130022 with flag 6959943/2433132
430.36/429.22	c cleaning 65995 clauses out of 132012 with flag 7156076/2500127
449.06/447.99	c cleaning 67000 clauses out of 134018 with flag 7359082/2568128
469.97/468.86	c cleaning 68003 clauses out of 136018 with flag 7571482/2637128
490.23/488.95	c cleaning 69000 clauses out of 138014 with flag 7775106/2707127
510.93/509.69	c cleaning 70006 clauses out of 140015 with flag 7984636/2778128
533.33/532.07	c cleaning 70994 clauses out of 142008 with flag 8190907/2850127
556.54/555.25	c cleaning 72003 clauses out of 144017 with flag 8394096/2923130
581.15/579.82	c cleaning 72998 clauses out of 146013 with flag 8610966/2997129
603.92/602.36	c cleaning 74004 clauses out of 148013 with flag 8810505/3072127
629.72/628.13	c cleaning 75003 clauses out of 150009 with flag 9028283/3148127
656.41/654.81	c cleaning 76002 clauses out of 152007 with flag 9246110/3225128
683.72/682.19	c cleaning 77000 clauses out of 154004 with flag 9470288/3303127
712.26/710.55	c cleaning 78000 clauses out of 156006 with flag 9693636/3382129
739.67/737.97	c cleaning 78994 clauses out of 158005 with flag 9915317/3462128
770.19/768.44	c cleaning 80007 clauses out of 160015 with flag 10141568/3543132
801.37/799.43	c cleaning 80998 clauses out of 162003 with flag 10377203/3625127
819.99/818.02	c Got one! Elapsed wall clock time (in seconds):817.898
819.99/818.02	o -13
822.73/820.73	c cleaning 70629 clauses out of 141268 with flag 14355/3685390
824.12/822.17	c cleaning 38315 clauses out of 76640 with flag 30788/3691391
825.02/823.03	c cleaning 22659 clauses out of 45325 with flag 49812/3698391
825.82/823.81	c cleaning 15323 clauses out of 30667 with flag 72590/3706392
826.32/824.39	c cleaning 12168 clauses out of 24343 with flag 96621/3715391
827.03/825.02	c cleaning 11080 clauses out of 22173 with flag 123641/3725389
827.72/825.72	c cleaning 11041 clauses out of 22093 with flag 152790/3736389
828.42/826.47	c cleaning 11522 clauses out of 23053 with flag 185900/3748390
829.33/827.34	c cleaning 12262 clauses out of 24530 with flag 223182/3761389
830.33/828.35	c cleaning 13127 clauses out of 26268 with flag 268288/3775389
831.43/829.50	c cleaning 14070 clauses out of 28144 with flag 312285/3790392
832.62/830.69	c cleaning 15026 clauses out of 30071 with flag 359316/3806389
834.02/832.01	c cleaning 16013 clauses out of 32045 with flag 408181/3823389
835.61/833.51	c cleaning 17011 clauses out of 34032 with flag 460296/3841389
837.02/835.00	c cleaning 18009 clauses out of 36021 with flag 515932/3860389
838.91/836.82	c cleaning 19001 clauses out of 38012 with flag 579568/3880389
840.71/838.64	c cleaning 20002 clauses out of 40011 with flag 639875/3901389
842.62/840.60	c cleaning 21004 clauses out of 42009 with flag 702854/3923389
844.72/842.67	c cleaning 21992 clauses out of 44005 with flag 768211/3946389
847.11/845.01	c cleaning 23001 clauses out of 46015 with flag 835390/3970391
849.61/847.52	c cleaning 23996 clauses out of 48012 with flag 904176/3995389
852.21/850.17	c cleaning 25002 clauses out of 50017 with flag 976781/4021390
855.21/853.16	c cleaning 26000 clauses out of 52014 with flag 1053631/4048389
858.41/856.34	c cleaning 27006 clauses out of 54016 with flag 1131695/4076391
861.72/859.60	c cleaning 27990 clauses out of 56008 with flag 1209293/4105389
865.12/863.00	c cleaning 29009 clauses out of 58018 with flag 1291307/4135389
868.52/866.41	c cleaning 30003 clauses out of 60009 with flag 1372875/4166389
872.33/870.25	c cleaning 30997 clauses out of 62006 with flag 1459418/4198389
876.63/874.52	c cleaning 32000 clauses out of 64012 with flag 1552450/4231392
881.04/878.91	c cleaning 33000 clauses out of 66009 with flag 1646362/4265389
885.54/883.41	c cleaning 34003 clauses out of 68012 with flag 1742752/4300392
890.43/888.35	c cleaning 34998 clauses out of 70007 with flag 1843315/4336390
895.55/893.46	c cleaning 35988 clauses out of 72008 with flag 1945476/4373389
900.65/898.51	c cleaning 36999 clauses out of 74020 with flag 2047601/4411389
905.84/903.79	c cleaning 38010 clauses out of 76023 with flag 2154894/4450391
911.74/909.63	c cleaning 39001 clauses out of 78011 with flag 2265472/4490389
917.84/915.71	c cleaning 39998 clauses out of 80010 with flag 2374057/4531389
924.05/921.91	c cleaning 40998 clauses out of 82012 with flag 2492819/4573389
931.16/929.00	c cleaning 42002 clauses out of 84014 with flag 2614882/4616389
939.07/936.90	c cleaning 42997 clauses out of 86012 with flag 2752683/4660389
947.17/945.08	c cleaning 44003 clauses out of 88016 with flag 2884693/4705390
954.66/952.55	c cleaning 45002 clauses out of 90013 with flag 3014630/4751390
962.96/960.81	c cleaning 46004 clauses out of 92015 with flag 3145385/4798394
972.48/970.32	c cleaning 47001 clauses out of 94006 with flag 3291042/4846389
981.47/979.36	c cleaning 47999 clauses out of 96007 with flag 3429130/4895391
990.48/988.39	c cleaning 49000 clauses out of 98006 with flag 3565169/4945389
1000.37/998.27	c cleaning 49995 clauses out of 100009 with flag 3709428/4996392
1011.78/1009.70	c cleaning 50996 clauses out of 102011 with flag 3865430/5048389
1021.90/1019.72	c cleaning 52006 clauses out of 104016 with flag 4008173/5101390
1032.00/1029.86	c cleaning 53001 clauses out of 106010 with flag 4154003/5155390
1042.60/1040.46	c cleaning 54001 clauses out of 108009 with flag 4301947/5210390
1055.01/1052.83	c cleaning 54995 clauses out of 110007 with flag 4452394/5266389
1068.25/1066.06	c cleaning 56001 clauses out of 112014 with flag 4614089/5323391
1080.15/1077.91	c cleaning 57007 clauses out of 114014 with flag 4768250/5381392
1093.05/1090.87	c cleaning 57998 clauses out of 116004 with flag 4934498/5440389
1106.14/1103.95	c cleaning 58994 clauses out of 118006 with flag 5089129/5500389
1119.60/1117.36	c cleaning 59999 clauses out of 120012 with flag 5253139/5561389
1132.99/1130.79	c cleaning 60986 clauses out of 122013 with flag 5416392/5623389
1147.69/1145.48	c cleaning 62005 clauses out of 124029 with flag 5592414/5686391
1163.05/1160.77	c cleaning 63012 clauses out of 126023 with flag 5770367/5750390
1179.15/1176.80	c cleaning 64000 clauses out of 128012 with flag 5947859/5815391
1196.25/1193.90	c cleaning 65003 clauses out of 130014 with flag 6132018/5881393
1213.74/1211.48	c cleaning 66001 clauses out of 132007 with flag 6319753/5948389
1232.79/1230.47	c cleaning 66998 clauses out of 134007 with flag 6512190/6016390
1251.49/1249.19	c cleaning 68002 clauses out of 136009 with flag 6702109/6085390
1271.89/1269.59	c cleaning 68994 clauses out of 138006 with flag 6899255/6155389
1294.03/1291.64	c cleaning 70003 clauses out of 140013 with flag 7100500/6226390
1317.24/1314.87	c cleaning 70998 clauses out of 142009 with flag 7307489/6298389
1338.14/1335.70	c cleaning 71997 clauses out of 144011 with flag 7503381/6371389
1359.47/1357.04	c cleaning 73004 clauses out of 146015 with flag 7696345/6445390
1381.27/1378.82	c cleaning 74004 clauses out of 148010 with flag 7898821/6520389
1402.85/1400.35	c cleaning 75001 clauses out of 150006 with flag 8101801/6596389
1429.25/1426.78	c cleaning 76000 clauses out of 152006 with flag 8316464/6673390
1459.45/1456.97	c cleaning 76995 clauses out of 154005 with flag 8552349/6751389
1484.39/1481.82	c cleaning 78001 clauses out of 156010 with flag 8776199/6830389
1512.79/1510.28	c cleaning 79002 clauses out of 158009 with flag 9024227/6910389
1539.48/1536.96	c cleaning 79998 clauses out of 160008 with flag 9245068/6991390
1567.84/1565.27	c cleaning 81001 clauses out of 162010 with flag 9467707/7073390
1595.33/1592.80	c cleaning 82000 clauses out of 164008 with flag 9688568/7156389
1624.59/1621.97	c cleaning 82998 clauses out of 166008 with flag 9912950/7240389
1656.48/1653.89	c cleaning 83999 clauses out of 168010 with flag 10143583/7325389
1686.67/1683.96	c cleaning 84995 clauses out of 170011 with flag 10373464/7411389
1718.27/1715.50	c cleaning 86006 clauses out of 172022 with flag 10604696/7498395
1751.41/1748.68	c cleaning 87002 clauses out of 174010 with flag 10846398/7586389
1785.51/1782.78	c cleaning 87998 clauses out of 176008 with flag 11097994/7675389
1800.02/1797.20	c starts		: 22090
1800.02/1797.20	c conflicts		: 7714150
1800.02/1797.20	c decisions		: 15237649
1800.02/1797.20	c propagations		: 115119321
1800.02/1797.20	c inspects		: 33384410322
1800.02/1797.20	c shortcuts		: 0
1800.02/1797.20	c learnt literals	: 0
1800.02/1797.20	c learnt binary clauses	: 4
1800.02/1797.20	c learnt ternary clauses	: 4823
1800.02/1797.20	c learnt constraints	: 7714150
1800.02/1797.20	c ignored constraints	: 0
1800.02/1797.20	c root simplifications	: 0
1800.02/1797.20	c removed literals (reason simplification)	: 0
1800.02/1797.20	c reason swapping (by a shorter reason)	: 0
1800.02/1797.20	c Calls to reduceDB	: 186
1800.02/1797.20	c Number of update (reduction) of LBD	: 2332734
1800.02/1797.20	c Imported unit clauses	: 0
1800.02/1797.20	c number of reductions to clauses (during analyze)	: 0
1800.02/1797.20	c number of learned constraints concerned by reduction	: 0
1800.02/1797.20	c number of learning phase by resolution	: 0
1800.02/1797.20	c number of learning phase by cutting planes	: 0
1800.02/1797.20	c speed (assignments/second)	: 64063.0890477738
1800.02/1797.20	c non guided choices	0
1800.02/1797.23	c learnt constraints type 
1800.02/1797.23	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 4
1800.02/1797.23	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 126767
1800.02/1797.23	s SATISFIABLE
1800.02/1797.23	c Found 6 solution(s)
1800.02/1797.23	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 
1800.02/1797.23	c objective function=-13
1800.02/1797.23	c Total wall clock time (in seconds): 1797.114

Verifier Data 

OK	-13

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-4085814-1465259564/watcher-4085814-1465259564 -o /tmp/evaluation-result-4085814-1465259564/solver-4085814-1465259564 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node133-1465257785-23300 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4085814-1465259564.opb 

pid=23521
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.01 2.02 1.94 3/196 23524
/proc/meminfo: memFree=31542244/32872528 swapFree=8144/8144
[pid=23524] ppid=23521 vsize=2500 CPUtime=0 cores=0,2,4,6
/proc/23524/stat : 23524 (java) D 23521 23524 23284 0 -1 4202496 376 0 0 0 0 0 0 0 20 0 1 0 107888423 2560000 46 33554432000 1073741824 1073778376 140733639981792 140733639978920 206399696167 0 0 4096 0 18446744072100756772 0 0 17 4 0 0 0 0 0
/proc/23524/statm: 625 46 37 9 0 29 0

[startup+0.100058 s]
/proc/loadavg: 2.01 2.02 1.94 3/196 23524
/proc/meminfo: memFree=31542244/32872528 swapFree=8144/8144
[pid=23524] ppid=23521 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/23524/stat : 23524 (java) S 23521 23524 23284 0 -1 4202496 4420 0 1 0 8 1 0 0 20 0 18 0 107888423 9787879424 6043 33554432000 1073741824 1073778376 140733639981792 140733639972928 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23524/statm: 2389619 6043 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200267 s]
/proc/loadavg: 2.01 2.02 1.94 3/196 23524
/proc/meminfo: memFree=31542244/32872528 swapFree=8144/8144
[pid=23524] ppid=23521 vsize=9558476 CPUtime=0.22 cores=0,2,4,6
/proc/23524/stat : 23524 (java) S 23521 23524 23284 0 -1 4202496 4604 0 1 0 21 1 0 0 20 0 18 0 107888423 9787879424 6705 33554432000 1073741824 1073778376 140733639981792 140733639972928 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23524/statm: 2389619 6705 2202 9 0 2380296 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 9558476

[startup+0.300274 s]
/proc/loadavg: 2.01 2.02 1.94 3/196 23524
/proc/meminfo: memFree=31542244/32872528 swapFree=8144/8144
[pid=23524] ppid=23521 vsize=9625040 CPUtime=0.44 cores=0,2,4,6
/proc/23524/stat : 23524 (java) S 23521 23524 23284 0 -1 4202496 6794 0 1 0 43 1 0 0 20 0 19 0 107888423 9856040960 8634 33554432000 1073741824 1073778376 140733639981792 140733639972928 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23524/statm: 2406260 8634 2241 9 0 2396937 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 9625040

[startup+0.700227 s]
/proc/loadavg: 2.01 2.02 1.94 3/196 23524
/proc/meminfo: memFree=31542244/32872528 swapFree=8144/8144
[pid=23524] ppid=23521 vsize=9625040 CPUtime=1.11 cores=0,2,4,6
/proc/23524/stat : 23524 (java) S 23521 23524 23284 0 -1 4202496 8327 0 1 0 109 2 0 0 20 0 19 0 107888423 9856040960 10189 33554432000 1073741824 1073778376 140733639981792 140733639972928 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23524/statm: 2406260 10189 2254 9 0 2396937 0
Current children cumulated CPU time (s) 1.11
Current children cumulated vsize (KiB) 9625040

[startup+1.50072 s]
/proc/loadavg: 2.01 2.02 1.94 3/215 23543
/proc/meminfo: memFree=31508292/32872528 swapFree=8144/8144
[pid=23524] ppid=23521 vsize=9625040 CPUtime=1.94 cores=0,2,4,6
/proc/23524/stat : 23524 (java) S 23521 23524 23284 0 -1 4202496 8334 0 1 0 192 2 0 0 20 0 19 0 107888423 9856040960 11728 33554432000 1073741824 1073778376 140733639981792 140733639972928 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23524/statm: 2406260 11728 2256 9 0 2396937 0
[pid=23524/tid=23526] ppid=23521 vsize=9625040 CPUtime=1.46 cores=0,2,4,6
/proc/23524/task/23526/stat : 23526 (java) R 23521 23524 23284 0 -1 4202560 2421 0 1 0 146 0 0 0 20 0 19 0 107888424 9856040960 11728 33554432000 1073741824 1073778376 140733639981792 140243527499472 140243383102624 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=23524/tid=23527] ppid=23521 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23524/task/23527/stat : 23527 (java) S 23521 23524 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107888426 9856040960 11728 33554432000 1073741824 1073778376 140733639981792 140243371432488 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23524/tid=23528] ppid=23521 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23524/task/23528/stat : 23528 (java) S 23521 23524 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107888426 9856040960 11728 33554432000 1073741824 1073778376 140733639981792 140243370379688 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23524/tid=23529] ppid=23521 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23524/task/23529/stat : 23529 (java) S 23521 23524 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107888426 9856040960 11728 33554432000 1073741824 1073778376 140733639981792 140243369326888 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23524/tid=23530] ppid=23521 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23524/task/23530/stat : 23530 (java) S 23521 23524 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107888426 9856040960 11728 33554432000 1073741824 1073778376 140733639981792 140243368274088 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23524/tid=23531] ppid=23521 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23524/task/23531/stat : 23531 (java) S 23521 23524 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107888426 9856040960 11728 33554432000 1073741824 1073778376 140733639981792 140243367222312 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23524/tid=23532] ppid=23521 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23524/task/23532/stat : 23532 (java) S 23521 23524 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107888426 9856040960 11728 33554432000 1073741824 1073778376 140733639981792 140243030240168 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23524/tid=23533] ppid=23521 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23524/task/23533/stat : 23533 (java) S 23521 23524 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107888426 9856040960 11728 33554432000 1073741824 1073778376 140733639981792 140243029187368 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23524/tid=23534] ppid=23521 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23524/task/23534/stat : 23534 (java) S 23521 23524 23284 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 107888426 9856040960 11728 33554432000 1073741824 1073778376 140733639981792 140243028134568 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23524/tid=23535] ppid=23521 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23524/task/23535/stat : 23535 (java) S 23521 23524 23284 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 107888427 9856040960 11728 33554432000 1073741824 1073778376 140733639981792 140243015936488 206412232617 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23524/tid=23536] ppid=23521 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23524/task/23536/stat : 23536 (java) S 23521 23524 23284 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 107888427 9856040960 11728 33554432000 1073741824 1073778376 140733639981792 140243014882552 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23524/tid=23537] ppid=23521 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23524/task/23537/stat : 23537 (java) S 23521 23524 23284 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107888427 9856040960 11728 33554432000 1073741824 1073778376 140733639981792 140243013829640 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23524/tid=23538] ppid=23521 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23524/task/23538/stat : 23538 (java) S 23521 23524 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107888430 9856040960 11728 33554432000 1073741824 1073778376 140733639981792 140243012778128 206412240672 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23524/tid=23539] ppid=23521 vsize=9625040 CPUtime=0.19 cores=0,2,4,6
/proc/23524/task/23539/stat : 23539 (java) S 23521 23524 23284 0 -1 4202560 2037 0 0 0 19 0 0 0 20 0 19 0 107888430 9856040960 11728 33554432000 1073741824 1073778376 140733639981792 140243011726264 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23524/tid=23540] ppid=23521 vsize=9625040 CPUtime=0.26 cores=0,2,4,6
/proc/23524/task/23540/stat : 23540 (java) S 23521 23524 23284 0 -1 4202560 2603 0 0 0 26 0 0 0 20 0 19 0 107888430 9856040960 11728 33554432000 1073741824 1073778376 140733639981792 140243010673464 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23524/tid=23541] ppid=23521 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23524/task/23541/stat : 23541 (java) S 23521 23524 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107888430 9856040960 11728 33554432000 1073741824 1073778376 140733639981792 140243009620856 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23524/tid=23542] ppid=23521 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23524/task/23542/stat : 23542 (java) S 23521 23524 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107888430 9856040960 11728 33554432000 1073741824 1073778376 140733639981792 140243008568264 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23524/tid=23543] ppid=23521 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23524/task/23543/stat : 23543 (java) S 23521 23524 23284 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107888447 9856040960 11728 33554432000 1073741824 1073778376 140733639981792 140243007415464 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.94
Current children cumulated vsize (KiB) 9625040

[startup+3.10076 s]
/proc/loadavg: 2.01 2.02 1.94 3/215 23543
/proc/meminfo: memFree=31500100/32872528 swapFree=8144/8144
[pid=23524] ppid=23521 vsize=9625040 CPUtime=3.57 cores=0,2,4,6
/proc/23524/stat : 23524 (java) S 23521 23524 23284 0 -1 4202496 8341 0 1 0 355 2 0 0 20 0 19 0 107888423 9856040960 14289 33554432000 1073741824 1073778376 140733639981792 140733639972928 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23524/statm: 2406260 14289 2257 9 0 2396937 0
[pid=23524/tid=23526] ppid=23521 vsize=9625040 CPUtime=3.05 cores=0,2,4,6
/proc/23524/task/23526/stat : 23526 (java) R 23521 23524 23284 0 -1 4202560 2427 0 1 0 304 1 0 0 20 0 19 0 107888424 9856040960 14289 33554432000 1073741824 1073778376 140733639981792 140243527508520 140243383038112 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=23524/tid=23527] ppid=23521 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23524/task/23527/stat : 23527 (java) S 23521 23524 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107888426 9856040960 14289 33554432000 1073741824 1073778376 140733639981792 140243371432488 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23524/tid=23528] ppid=23521 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23524/task/23528/stat : 23528 (java) S 23521 23524 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107888426 9856040960 14289 33554432000 1073741824 1073778376 140733639981792 140243370379688 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23524/tid=23529] ppid=23521 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23524/task/23529/stat : 23529 (java) S 23521 23524 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107888426 9856040960 14289 33554432000 1073741824 1073778376 140733639981792 140243369326888 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23524/tid=23530] ppid=23521 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23524/task/23530/stat : 23530 (java) S 23521 23524 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107888426 9856040960 14289 33554432000 1073741824 1073778376 140733639981792 140243368274088 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23524/tid=23531] ppid=23521 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23524/task/23531/stat : 23531 (java) S 23521 23524 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107888426 9856040960 14289 33554432000 1073741824 1073778376 140733639981792 140243367222312 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23524/tid=23532] ppid=23521 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23524/task/23532/stat : 23532 (java) S 23521 23524 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107888426 9856040960 14289 33554432000 1073741824 1073778376 140733639981792 140243030240168 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23524/tid=23533] ppid=23521 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23524/task/23533/stat : 23533 (java) S 23521 23524 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107888426 9856040960 14289 33554432000 1073741824 1073778376 140733639981792 140243029187368 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23524/tid=23534] ppid=23521 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23524/task/23534/stat : 23534 (java) S 23521 23524 23284 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 107888426 9856040960 14289 33554432000 1073741824 1073778376 140733639981792 140243028134568 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23524/tid=23535] ppid=23521 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23524/task/23535/stat : 23535 (java) S 23521 23524 23284 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 107888427 9856040960 14289 33554432000 1073741824 1073778376 140733639981792 140243015936488 206412232617 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23524/tid=23536] ppid=23521 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23524/task/23536/stat : 23536 (java) S 23521 23524 23284 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 107888427 9856040960 14289 33554432000 1073741824 1073778376 140733639981792 140243014882552 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23524/tid=23537] ppid=23521 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23524/task/23537/stat : 23537 (java) S 23521 23524 23284 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107888427 9856040960 14289 33554432000 1073741824 1073778376 140733639981792 140243013829640 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23524/tid=23538] ppid=23521 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23524/task/23538/stat : 23538 (java) S 23521 23524 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107888430 9856040960 14289 33554432000 1073741824 1073778376 140733639981792 140243012778128 206412240672 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23524/tid=23539] ppid=23521 vsize=9625040 CPUtime=0.19 cores=0,2,4,6
/proc/23524/task/23539/stat : 23539 (java) S 23521 23524 23284 0 -1 4202560 2037 0 0 0 19 0 0 0 20 0 19 0 107888430 9856040960 14289 33554432000 1073741824 1073778376 140733639981792 140243011726264 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23524/tid=23540] ppid=23521 vsize=9625040 CPUtime=0.28 cores=0,2,4,6
/proc/23524/task/23540/stat : 23540 (java) S 23521 23524 23284 0 -1 4202560 2604 0 0 0 28 0 0 0 20 0 19 0 107888430 9856040960 14289 33554432000 1073741824 1073778376 140733639981792 140243010673464 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23524/tid=23541] ppid=23521 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23524/task/23541/stat : 23541 (java) S 23521 23524 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107888430 9856040960 14289 33554432000 1073741824 1073778376 140733639981792 140243009620856 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23524/tid=23542] ppid=23521 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23524/task/23542/stat : 23542 (java) S 23521 23524 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107888430 9856040960 14289 33554432000 1073741824 1073778376 140733639981792 140243008568264 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23524/tid=23543] ppid=23521 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23524/task/23543/stat : 23543 (java) S 23521 23524 23284 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107888447 9856040960 14289 33554432000 1073741824 1073778376 140733639981792 140243007415464 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.57
Current children cumulated vsize (KiB) 9625040

[startup+6.30075 s]
/proc/loadavg: 2.01 2.02 1.94 3/215 23543
/proc/meminfo: memFree=31481720/32872528 swapFree=8144/8144
[pid=23524] ppid=23521 vsize=9625040 CPUtime=6.8 cores=0,2,4,6
/proc/23524/stat : 23524 (java) S 23521 23524 23284 0 -1 4202496 8352 0 1 0 678 2 0 0 20 0 19 0 107888423 9856040960 18556 33554432000 1073741824 1073778376 140733639981792 140733639972928 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23524/statm: 2406260 18556 2258 9 0 2396937 0
[pid=23524/tid=23526] ppid=23521 vsize=9625040 CPUtime=6.25 cores=0,2,4,6
/proc/23524/task/23526/stat : 23526 (java) R 23521 23524 23284 0 -1 4202560 2437 0 1 0 624 1 0 0 20 0 19 0 107888424 9856040960 18556 33554432000 1073741824 1073778376 140733639981792 140243527499456 140243383139086 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=23524/tid=23527] ppid=23521 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23524/task/23527/stat : 23527 (java) S 23521 23524 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107888426 9856040960 18556 33554432000 1073741824 1073778376 140733639981792 140243371432488 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23524/tid=23528] ppid=23521 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23524/task/23528/stat : 23528 (java) S 23521 23524 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107888426 9856040960 18556 33554432000 1073741824 1073778376 140733639981792 140243370379688 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23524/tid=23529] ppid=23521 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23524/task/23529/stat : 23529 (java) S 23521 23524 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107888426 9856040960 18556 33554432000 1073741824 1073778376 140733639981792 140243369326888 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23524/tid=23530] ppid=23521 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23524/task/23530/stat : 23530 (java) S 23521 23524 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107888426 9856040960 18556 33554432000 1073741824 1073778376 140733639981792 140243368274088 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23524/tid=23531] ppid=23521 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23524/task/23531/stat : 23531 (java) S 23521 23524 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107888426 9856040960 18556 33554432000 1073741824 1073778376 140733639981792 140243367222312 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23524/tid=23532] ppid=23521 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23524/task/23532/stat : 23532 (java) S 23521 23524 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107888426 9856040960 18556 33554432000 1073741824 1073778376 140733639981792 140243030240168 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23524/tid=23533] ppid=23521 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23524/task/23533/stat : 23533 (java) S 23521 23524 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107888426 9856040960 18556 33554432000 1073741824 1073778376 140733639981792 140243029187368 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23524/tid=23534] ppid=23521 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23524/task/23534/stat : 23534 (java) S 23521 23524 23284 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 107888426 9856040960 18556 33554432000 1073741824 1073778376 140733639981792 140243028134568 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23524/tid=23535] ppid=23521 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23524/task/23535/stat : 23535 (java) S 23521 23524 23284 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 107888427 9856040960 18556 33554432000 1073741824 1073778376 140733639981792 140243015936488 206412232617 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23524/tid=23536] ppid=23521 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23524/task/23536/stat : 23536 (java) S 23521 23524 23284 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 107888427 9856040960 18556 33554432000 1073741824 1073778376 140733639981792 140243014882552 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23524/tid=23537] ppid=23521 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23524/task/23537/stat : 23537 (java) S 23521 23524 23284 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107888427 9856040960 18556 33554432000 1073741824 1073778376 140733639981792 140243013829640 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23524/tid=23538] ppid=23521 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23524/task/23538/stat : 23538 (java) S 23521 23524 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107888430 9856040960 18556 33554432000 1073741824 1073778376 140733639981792 140243012778128 206412240672 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23524/tid=23539] ppid=23521 vsize=9625040 CPUtime=0.19 cores=0,2,4,6
/proc/23524/task/23539/stat : 23539 (java) S 23521 23524 23284 0 -1 4202560 2037 0 0 0 19 0 0 0 20 0 19 0 107888430 9856040960 18556 33554432000 1073741824 1073778376 140733639981792 140243011726264 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23524/tid=23540] ppid=23521 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/23524/task/23540/stat : 23540 (java) S 23521 23524 23284 0 -1 4202560 2604 0 0 0 32 0 0 0 20 0 19 0 107888430 9856040960 18556 33554432000 1073741824 1073778376 140733639981792 140243010673464 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23524/tid=23541] ppid=23521 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23524/task/23541/stat : 23541 (java) S 23521 23524 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107888430 9856040960 18556 33554432000 1073741824 1073778376 140733639981792 140243009620856 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23524/tid=23542] ppid=23521 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23524/task/23542/stat : 23542 (java) S 23521 23524 23284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 107888430 9856040960 18556 33554432000 1073741824 1073778376 140733639981792 140243008568264 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23524/tid=23543] ppid=23521 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23524/task/23543/stat : 23543 (java) S 23521 23524 23284 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107888447 9856040960 18556 33554432000 1073741824 1073778376 140733639981792 140243007415464 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.8
Current children cumulated vsize (KiB) 9625040


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

[pid=23524/tid=23543] ppid=23521 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23524/task/23543/stat : 23543 (java) S 23521 23524 23284 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107888447 9856040960 123601 33554432000 1073741824 1073778376 140733639981792 140243007415464 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1664.98
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/217 23675
/proc/meminfo: memFree=29631952/32872528 swapFree=8144/8144
[pid=23524] ppid=23521 vsize=9625040 CPUtime=1725.07 cores=0,2,4,6
/proc/23524/stat : 23524 (java) S 23521 23524 23284 0 -1 4202496 10687 0 1 0 172414 93 0 0 20 0 19 0 107888423 9856040960 120699 33554432000 1073741824 1073778376 140733639981792 140733639972928 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23524/statm: 2406260 120699 2281 9 0 2396937 0
[pid=23524/tid=23526] ppid=23521 vsize=9625040 CPUtime=1716.52 cores=0,2,4,6
/proc/23524/task/23526/stat : 23526 (java) R 23521 23524 23284 0 -1 4202560 2508 0 1 0 171620 32 0 0 20 0 19 0 107888424 9856040960 120699 33554432000 1073741824 1073778376 140733639981792 140243527499552 140243383038112 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=23524/tid=23527] ppid=23521 vsize=9625040 CPUtime=0.31 cores=0,2,4,6
/proc/23524/task/23527/stat : 23527 (java) S 23521 23524 23284 0 -1 4202560 378 0 0 0 25 6 0 0 20 0 19 0 107888426 9856040960 120699 33554432000 1073741824 1073778376 140733639981792 140243371432488 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23524/tid=23528] ppid=23521 vsize=9625040 CPUtime=0.35 cores=0,2,4,6
/proc/23524/task/23528/stat : 23528 (java) S 23521 23524 23284 0 -1 4202560 237 0 0 0 28 7 0 0 20 0 19 0 107888426 9856040960 120699 33554432000 1073741824 1073778376 140733639981792 140243370379688 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23524/tid=23529] ppid=23521 vsize=9625040 CPUtime=0.38 cores=0,2,4,6
/proc/23524/task/23529/stat : 23529 (java) S 23521 23524 23284 0 -1 4202560 128 0 0 0 31 7 0 0 20 0 19 0 107888426 9856040960 120699 33554432000 1073741824 1073778376 140733639981792 140243369326888 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23524/tid=23530] ppid=23521 vsize=9625040 CPUtime=0.38 cores=0,2,4,6
/proc/23524/task/23530/stat : 23530 (java) S 23521 23524 23284 0 -1 4202560 223 0 0 0 32 6 0 0 20 0 19 0 107888426 9856040960 120699 33554432000 1073741824 1073778376 140733639981792 140243368274088 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23524/tid=23531] ppid=23521 vsize=9625040 CPUtime=0.53 cores=0,2,4,6
/proc/23524/task/23531/stat : 23531 (java) S 23521 23524 23284 0 -1 4202560 308 0 0 0 41 12 0 0 20 0 19 0 107888426 9856040960 120699 33554432000 1073741824 1073778376 140733639981792 140243367222312 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23524/tid=23532] ppid=23521 vsize=9625040 CPUtime=0.35 cores=0,2,4,6
/proc/23524/task/23532/stat : 23532 (java) S 23521 23524 23284 0 -1 4202560 352 0 0 0 27 8 0 0 20 0 19 0 107888426 9856040960 120699 33554432000 1073741824 1073778376 140733639981792 140243030240168 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23524/tid=23533] ppid=23521 vsize=9625040 CPUtime=0.34 cores=0,2,4,6
/proc/23524/task/23533/stat : 23533 (java) S 23521 23524 23284 0 -1 4202560 210 0 0 0 28 6 0 0 20 0 19 0 107888426 9856040960 120699 33554432000 1073741824 1073778376 140733639981792 140243029187368 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23524/tid=23534] ppid=23521 vsize=9625040 CPUtime=0.37 cores=0,2,4,6
/proc/23524/task/23534/stat : 23534 (java) S 23521 23524 23284 0 -1 4202560 120 0 0 0 31 6 0 0 20 0 19 0 107888426 9856040960 120699 33554432000 1073741824 1073778376 140733639981792 140243028134568 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23524/tid=23535] ppid=23521 vsize=9625040 CPUtime=0.08 cores=0,2,4,6
/proc/23524/task/23535/stat : 23535 (java) S 23521 23524 23284 0 -1 4202560 203 0 0 0 6 2 0 0 20 0 19 0 107888427 9856040960 120699 33554432000 1073741824 1073778376 140733639981792 140243015936488 206412232617 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23524/tid=23536] ppid=23521 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23524/task/23536/stat : 23536 (java) S 23521 23524 23284 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 107888427 9856040960 120699 33554432000 1073741824 1073778376 140733639981792 140243014882552 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23524/tid=23537] ppid=23521 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23524/task/23537/stat : 23537 (java) S 23521 23524 23284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 107888427 9856040960 120699 33554432000 1073741824 1073778376 140733639981792 140243013829640 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23524/tid=23538] ppid=23521 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23524/task/23538/stat : 23538 (java) S 23521 23524 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107888430 9856040960 120699 33554432000 1073741824 1073778376 140733639981792 140243012778128 206412240672 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23524/tid=23539] ppid=23521 vsize=9625040 CPUtime=0.2 cores=0,2,4,6
/proc/23524/task/23539/stat : 23539 (java) S 23521 23524 23284 0 -1 4202560 2039 0 0 0 20 0 0 0 20 0 19 0 107888430 9856040960 120699 33554432000 1073741824 1073778376 140733639981792 140243011726264 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23524/tid=23540] ppid=23521 vsize=9625040 CPUtime=0.38 cores=0,2,4,6
/proc/23524/task/23540/stat : 23540 (java) S 23521 23524 23284 0 -1 4202560 2622 0 0 0 38 0 0 0 20 0 19 0 107888430 9856040960 120699 33554432000 1073741824 1073778376 140733639981792 140243010673464 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23524/tid=23541] ppid=23521 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23524/task/23541/stat : 23541 (java) S 23521 23524 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107888430 9856040960 120699 33554432000 1073741824 1073778376 140733639981792 140243009620856 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23524/tid=23542] ppid=23521 vsize=9625040 CPUtime=0.56 cores=0,2,4,6
/proc/23524/task/23542/stat : 23542 (java) S 23521 23524 23284 0 -1 4202560 100 0 0 0 27 29 0 0 20 0 19 0 107888430 9856040960 120699 33554432000 1073741824 1073778376 140733639981792 140243008568264 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23524/tid=23543] ppid=23521 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23524/task/23543/stat : 23543 (java) S 23521 23524 23284 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107888447 9856040960 120699 33554432000 1073741824 1073778376 140733639981792 140243007415464 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1725.07
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/216 23676
/proc/meminfo: memFree=29636076/32872528 swapFree=8144/8144
[pid=23524] ppid=23521 vsize=9625040 CPUtime=1785.11 cores=0,2,4,6
/proc/23524/stat : 23524 (java) S 23521 23524 23284 0 -1 4202496 10748 0 1 0 178417 94 0 0 20 0 19 0 107888423 9856040960 119711 33554432000 1073741824 1073778376 140733639981792 140733639972928 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23524/statm: 2406260 119711 2281 9 0 2396937 0
[pid=23524/tid=23526] ppid=23521 vsize=9625040 CPUtime=1776.35 cores=0,2,4,6
/proc/23524/task/23526/stat : 23526 (java) R 23521 23524 23284 0 -1 4202560 2509 0 1 0 177603 32 0 0 20 0 19 0 107888424 9856040960 119711 33554432000 1073741824 1073778376 140733639981792 140243527499552 140243383246672 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=23524/tid=23527] ppid=23521 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/23524/task/23527/stat : 23527 (java) S 23521 23524 23284 0 -1 4202560 432 0 0 0 26 6 0 0 20 0 19 0 107888426 9856040960 119711 33554432000 1073741824 1073778376 140733639981792 140243371432488 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23524/tid=23528] ppid=23521 vsize=9625040 CPUtime=0.35 cores=0,2,4,6
/proc/23524/task/23528/stat : 23528 (java) S 23521 23524 23284 0 -1 4202560 237 0 0 0 28 7 0 0 20 0 19 0 107888426 9856040960 119711 33554432000 1073741824 1073778376 140733639981792 140243370379688 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23524/tid=23529] ppid=23521 vsize=9625040 CPUtime=0.4 cores=0,2,4,6
/proc/23524/task/23529/stat : 23529 (java) S 23521 23524 23284 0 -1 4202560 128 0 0 0 33 7 0 0 20 0 19 0 107888426 9856040960 119711 33554432000 1073741824 1073778376 140733639981792 140243369326888 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23524/tid=23530] ppid=23521 vsize=9625040 CPUtime=0.38 cores=0,2,4,6
/proc/23524/task/23530/stat : 23530 (java) S 23521 23524 23284 0 -1 4202560 223 0 0 0 32 6 0 0 20 0 19 0 107888426 9856040960 119711 33554432000 1073741824 1073778376 140733639981792 140243368274088 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23524/tid=23531] ppid=23521 vsize=9625040 CPUtime=0.53 cores=0,2,4,6
/proc/23524/task/23531/stat : 23531 (java) S 23521 23524 23284 0 -1 4202560 308 0 0 0 41 12 0 0 20 0 19 0 107888426 9856040960 119711 33554432000 1073741824 1073778376 140733639981792 140243367222312 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23524/tid=23532] ppid=23521 vsize=9625040 CPUtime=0.37 cores=0,2,4,6
/proc/23524/task/23532/stat : 23532 (java) S 23521 23524 23284 0 -1 4202560 352 0 0 0 29 8 0 0 20 0 19 0 107888426 9856040960 119711 33554432000 1073741824 1073778376 140733639981792 140243030240168 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23524/tid=23533] ppid=23521 vsize=9625040 CPUtime=0.36 cores=0,2,4,6
/proc/23524/task/23533/stat : 23533 (java) S 23521 23524 23284 0 -1 4202560 210 0 0 0 30 6 0 0 20 0 19 0 107888426 9856040960 119711 33554432000 1073741824 1073778376 140733639981792 140243029187368 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23524/tid=23534] ppid=23521 vsize=9625040 CPUtime=0.38 cores=0,2,4,6
/proc/23524/task/23534/stat : 23534 (java) S 23521 23524 23284 0 -1 4202560 120 0 0 0 32 6 0 0 20 0 19 0 107888426 9856040960 119711 33554432000 1073741824 1073778376 140733639981792 140243028134568 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23524/tid=23535] ppid=23521 vsize=9625040 CPUtime=0.08 cores=0,2,4,6
/proc/23524/task/23535/stat : 23535 (java) S 23521 23524 23284 0 -1 4202560 205 0 0 0 6 2 0 0 20 0 19 0 107888427 9856040960 119711 33554432000 1073741824 1073778376 140733639981792 140243015936488 206412232617 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23524/tid=23536] ppid=23521 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23524/task/23536/stat : 23536 (java) S 23521 23524 23284 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 107888427 9856040960 119711 33554432000 1073741824 1073778376 140733639981792 140243014882552 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23524/tid=23537] ppid=23521 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23524/task/23537/stat : 23537 (java) S 23521 23524 23284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 107888427 9856040960 119711 33554432000 1073741824 1073778376 140733639981792 140243013829640 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23524/tid=23538] ppid=23521 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23524/task/23538/stat : 23538 (java) S 23521 23524 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107888430 9856040960 119711 33554432000 1073741824 1073778376 140733639981792 140243012778128 206412240672 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23524/tid=23539] ppid=23521 vsize=9625040 CPUtime=0.2 cores=0,2,4,6
/proc/23524/task/23539/stat : 23539 (java) S 23521 23524 23284 0 -1 4202560 2039 0 0 0 20 0 0 0 20 0 19 0 107888430 9856040960 119711 33554432000 1073741824 1073778376 140733639981792 140243011726264 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23524/tid=23540] ppid=23521 vsize=9625040 CPUtime=0.38 cores=0,2,4,6
/proc/23524/task/23540/stat : 23540 (java) S 23521 23524 23284 0 -1 4202560 2622 0 0 0 38 0 0 0 20 0 19 0 107888430 9856040960 119711 33554432000 1073741824 1073778376 140733639981792 140243010673464 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23524/tid=23541] ppid=23521 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23524/task/23541/stat : 23541 (java) S 23521 23524 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107888430 9856040960 119711 33554432000 1073741824 1073778376 140733639981792 140243009620856 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23524/tid=23542] ppid=23521 vsize=9625040 CPUtime=0.6 cores=0,2,4,6
/proc/23524/task/23542/stat : 23542 (java) S 23521 23524 23284 0 -1 4202560 104 0 0 0 29 31 0 0 20 0 19 0 107888430 9856040960 119711 33554432000 1073741824 1073778376 140733639981792 140243008568264 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23524/tid=23543] ppid=23521 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23524/task/23543/stat : 23543 (java) S 23521 23524 23284 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107888447 9856040960 119711 33554432000 1073741824 1073778376 140733639981792 140243007415464 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1785.11
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1797.2 s]
/proc/loadavg: 2.00 2.00 1.97 3/216 23676
/proc/meminfo: memFree=29635392/32872528 swapFree=8144/8144
[pid=23524] ppid=23521 vsize=9625040 CPUtime=1800.02 cores=0,2,4,6
/proc/23524/stat : 23524 (java) S 23521 23524 23284 0 -1 4202496 10748 0 1 0 179908 94 0 0 20 0 19 0 107888423 9856040960 119711 33554432000 1073741824 1073778376 140733639981792 140733639972928 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23524/statm: 2406260 119711 2281 9 0 2396937 0
[pid=23524/tid=23526] ppid=23521 vsize=9625040 CPUtime=1791.21 cores=0,2,4,6
/proc/23524/task/23526/stat : 23526 (java) R 23521 23524 23284 0 -1 4202560 2509 0 1 0 179088 33 0 0 20 0 19 0 107888424 9856040960 119711 33554432000 1073741824 1073778376 140733639981792 140243527499552 140243383038107 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=23524/tid=23527] ppid=23521 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/23524/task/23527/stat : 23527 (java) S 23521 23524 23284 0 -1 4202560 432 0 0 0 26 6 0 0 20 0 19 0 107888426 9856040960 119711 33554432000 1073741824 1073778376 140733639981792 140243371432488 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23524/tid=23528] ppid=23521 vsize=9625040 CPUtime=0.35 cores=0,2,4,6
/proc/23524/task/23528/stat : 23528 (java) S 23521 23524 23284 0 -1 4202560 237 0 0 0 28 7 0 0 20 0 19 0 107888426 9856040960 119711 33554432000 1073741824 1073778376 140733639981792 140243370379688 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23524/tid=23529] ppid=23521 vsize=9625040 CPUtime=0.4 cores=0,2,4,6
/proc/23524/task/23529/stat : 23529 (java) S 23521 23524 23284 0 -1 4202560 128 0 0 0 33 7 0 0 20 0 19 0 107888426 9856040960 119711 33554432000 1073741824 1073778376 140733639981792 140243369326888 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23524/tid=23530] ppid=23521 vsize=9625040 CPUtime=0.38 cores=0,2,4,6
/proc/23524/task/23530/stat : 23530 (java) S 23521 23524 23284 0 -1 4202560 223 0 0 0 32 6 0 0 20 0 19 0 107888426 9856040960 119711 33554432000 1073741824 1073778376 140733639981792 140243368274088 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23524/tid=23531] ppid=23521 vsize=9625040 CPUtime=0.53 cores=0,2,4,6
/proc/23524/task/23531/stat : 23531 (java) S 23521 23524 23284 0 -1 4202560 308 0 0 0 41 12 0 0 20 0 19 0 107888426 9856040960 119711 33554432000 1073741824 1073778376 140733639981792 140243367222312 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23524/tid=23532] ppid=23521 vsize=9625040 CPUtime=0.37 cores=0,2,4,6
/proc/23524/task/23532/stat : 23532 (java) S 23521 23524 23284 0 -1 4202560 352 0 0 0 29 8 0 0 20 0 19 0 107888426 9856040960 119711 33554432000 1073741824 1073778376 140733639981792 140243030240168 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23524/tid=23533] ppid=23521 vsize=9625040 CPUtime=0.36 cores=0,2,4,6
/proc/23524/task/23533/stat : 23533 (java) S 23521 23524 23284 0 -1 4202560 210 0 0 0 30 6 0 0 20 0 19 0 107888426 9856040960 119711 33554432000 1073741824 1073778376 140733639981792 140243029187368 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23524/tid=23534] ppid=23521 vsize=9625040 CPUtime=0.38 cores=0,2,4,6
/proc/23524/task/23534/stat : 23534 (java) S 23521 23524 23284 0 -1 4202560 120 0 0 0 32 6 0 0 20 0 19 0 107888426 9856040960 119711 33554432000 1073741824 1073778376 140733639981792 140243028134568 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23524/tid=23535] ppid=23521 vsize=9625040 CPUtime=0.08 cores=0,2,4,6
/proc/23524/task/23535/stat : 23535 (java) S 23521 23524 23284 0 -1 4202560 205 0 0 0 6 2 0 0 20 0 19 0 107888427 9856040960 119711 33554432000 1073741824 1073778376 140733639981792 140243015936488 206412232617 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23524/tid=23536] ppid=23521 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23524/task/23536/stat : 23536 (java) S 23521 23524 23284 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 107888427 9856040960 119711 33554432000 1073741824 1073778376 140733639981792 140243014882552 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23524/tid=23537] ppid=23521 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23524/task/23537/stat : 23537 (java) S 23521 23524 23284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 107888427 9856040960 119711 33554432000 1073741824 1073778376 140733639981792 140243013829640 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23524/tid=23538] ppid=23521 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23524/task/23538/stat : 23538 (java) S 23521 23524 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107888430 9856040960 119711 33554432000 1073741824 1073778376 140733639981792 140243012778128 206412240672 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23524/tid=23539] ppid=23521 vsize=9625040 CPUtime=0.2 cores=0,2,4,6
/proc/23524/task/23539/stat : 23539 (java) S 23521 23524 23284 0 -1 4202560 2039 0 0 0 20 0 0 0 20 0 19 0 107888430 9856040960 119711 33554432000 1073741824 1073778376 140733639981792 140243011726264 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23524/tid=23540] ppid=23521 vsize=9625040 CPUtime=0.38 cores=0,2,4,6
/proc/23524/task/23540/stat : 23540 (java) S 23521 23524 23284 0 -1 4202560 2622 0 0 0 38 0 0 0 20 0 19 0 107888430 9856040960 119711 33554432000 1073741824 1073778376 140733639981792 140243010673464 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23524/tid=23541] ppid=23521 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23524/task/23541/stat : 23541 (java) S 23521 23524 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107888430 9856040960 119711 33554432000 1073741824 1073778376 140733639981792 140243009620856 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23524/tid=23542] ppid=23521 vsize=9625040 CPUtime=0.6 cores=0,2,4,6
/proc/23524/task/23542/stat : 23542 (java) S 23521 23524 23284 0 -1 4202560 104 0 0 0 29 31 0 0 20 0 19 0 107888430 9856040960 119711 33554432000 1073741824 1073778376 140733639981792 140243008568264 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23524/tid=23543] ppid=23521 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/23524/task/23543/stat : 23543 (java) S 23521 23524 23284 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107888447 9856040960 119711 33554432000 1073741824 1073778376 140733639981792 140243007415464 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
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 23524 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 23524 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=518191
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=394787
# CPU time returned by wait4() is 1795.91
# while last known CPU time is 1800.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1797.24
CPU time (s): 1800.02
CPU user time (s): 1799.08
CPU system time (s): 0.94
CPU usage (%): 100.155
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.52
system time used= 1.39479
maximum resident set size= 690104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10796
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1368
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38814
involuntary context switches= 24718

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.1918 second user time and 9.8755 second system time

The end

Launcher Data 

Begin job on node133 at 2016-06-07 02:32:44
IDJOB=4085814
IDBENCH=48227
IDSOLVER=2546
FILE ID=node133/4085814-1465259564
RUNJOBID= node133-1465257785-23300
PBS_JOBID= 19843288
Free space on /tmp= 71748 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_50_10_1.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4085814-1465259564/watcher-4085814-1465259564 -o /tmp/evaluation-result-4085814-1465259564/solver-4085814-1465259564 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node133-1465257785-23300 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4085814-1465259564.opb

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

MD5SUM BENCH= 26861ca996cf8fd2abe5c211e1f47a26
RANDOM SEED=1713486311

node133.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.065
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.13
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.065
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	: 7358.89
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.065
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.55
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.065
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.065
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.55
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.065
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.55
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.065
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.55
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.065
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:        31543424 kB
Buffers:           30536 kB
Cached:           104160 kB
SwapCached:         2076 kB
Active:           537768 kB
Inactive:          83476 kB
Active(anon):     487720 kB
Inactive(anon):     1356 kB
Active(file):      50048 kB
Inactive(file):    82120 kB
Unevictable:        8144 kB
Mlocked:            8144 kB
SwapTotal:      67108856 kB
SwapFree:       67098184 kB
Dirty:               832 kB
Writeback:             0 kB
AnonPages:        442520 kB
Mapped:            15476 kB
Shmem:                 0 kB
Slab:             568168 kB
SReclaimable:      11772 kB
SUnreclaim:       556396 kB
KernelStack:        1784 kB
PageTables:         5144 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     579376 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:    409600 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= 71744 MiB
End job on node133 at 2016-06-07 03:02:41