Trace number 4085181

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)19713 1800.02 1796.54

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-neos5.opb
MD5SUM687e90f40c46b53feec9c54ee9b43fa6
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark15360
Best CPU time to get the best result obtained on this benchmark465.143
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 15360
Optimality of the best value was proved NO
Number of variables163
Total number of constraints73
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)3
Number of constraints which are nor clauses,nor cardinality constraints70
Minimum length of a constraint11
Maximum length of a constraint102
Number of terms in the objective function 163
Biggest coefficient in the objective function 1024
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 74742
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 8192
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 74742
Number of bits of the biggest sum of numbers17
Number of products (including duplicates)0
Sum of products size (including duplicates)0
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.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c version PB16.v20160501
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization by upper bound
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c No reason simplification
0.10/0.11	c Glucose 2.1 dynamic restart strategy
0.10/0.11	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.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-4085181-1465222136.opb
0.10/0.11	c reading problem ... 
0.10/0.11	c  objective function found
0.29/0.23	c ... done. Wall clock time 0.118s.
0.29/0.23	c declared #vars     163
0.29/0.23	c #constraints  73
0.29/0.23	c constraints type 
0.29/0.23	c org.sat4j.minisat.constraints.card.MinWatchCard => 3
0.29/0.23	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 70
0.29/0.23	c 73 constraints processed.
0.29/0.23	c objective function length is 163 literals
0.29/0.25	c SATISFIABLE
0.29/0.25	c OPTIMIZING...
0.29/0.25	c Got one! Elapsed wall clock time (in seconds):0.143
0.29/0.25	o 19970
0.29/0.27	c Got one! Elapsed wall clock time (in seconds):0.165
0.29/0.27	o 19772
0.98/0.56	c Got one! Elapsed wall clock time (in seconds):0.448
0.98/0.56	o 19770
0.98/0.57	c Got one! Elapsed wall clock time (in seconds):0.467
0.98/0.57	o 19766
0.98/0.58	c Got one! Elapsed wall clock time (in seconds):0.469
0.98/0.58	o 19764
1.41/0.94	c cleaning 2674 clauses out of 5359 with flag 6229/5359
2.20/1.64	c cleaning 4337 clauses out of 8686 with flag 18816/11360
2.40/1.88	c Got one! Elapsed wall clock time (in seconds):1.775
2.40/1.88	o 19763
2.40/1.89	c Got one! Elapsed wall clock time (in seconds):1.777
2.40/1.89	o 19756
2.76/2.12	c Got one! Elapsed wall clock time (in seconds):2.015
2.76/2.12	o 19754
2.86/2.22	c Got one! Elapsed wall clock time (in seconds):2.108
2.86/2.22	o 19750
2.86/2.22	c Got one! Elapsed wall clock time (in seconds):2.11
2.86/2.22	o 19748
2.97/2.36	c cleaning 5404 clauses out of 10817 with flag 2091/17828
3.67/3.08	c cleaning 5694 clauses out of 11411 with flag 14551/23826
4.58/3.95	c cleaning 6347 clauses out of 12716 with flag 29381/30825
5.68/5.08	c cleaning 7168 clauses out of 14369 with flag 46369/38825
7.08/6.44	c cleaning 8083 clauses out of 16201 with flag 65462/47825
8.68/8.05	c cleaning 9043 clauses out of 18118 with flag 86757/57825
10.39/9.75	c cleaning 10033 clauses out of 20077 with flag 110075/68827
12.39/11.76	c cleaning 11010 clauses out of 22043 with flag 135342/80826
14.99/14.35	c cleaning 12007 clauses out of 24033 with flag 163085/93826
17.19/16.57	c cleaning 13007 clauses out of 26025 with flag 192555/107825
19.78/19.16	c cleaning 14000 clauses out of 28019 with flag 224136/122826
22.59/21.99	c cleaning 15001 clauses out of 30020 with flag 257898/138827
25.92/25.22	c cleaning 16001 clauses out of 32017 with flag 293719/155825
29.51/28.87	c cleaning 16997 clauses out of 34016 with flag 331462/173825
33.51/32.82	c cleaning 17999 clauses out of 36019 with flag 371538/192825
37.71/37.03	c cleaning 19002 clauses out of 38021 with flag 413725/212826
42.31/41.62	c cleaning 19999 clauses out of 40018 with flag 457558/233825
47.51/46.84	c cleaning 21000 clauses out of 42021 with flag 503222/255827
53.31/52.61	c cleaning 21999 clauses out of 44019 with flag 551450/278825
59.47/58.71	c cleaning 22997 clauses out of 46021 with flag 601769/302826
66.97/66.22	c cleaning 24000 clauses out of 48025 with flag 655396/327827
74.47/73.73	c cleaning 25006 clauses out of 50024 with flag 710483/353826
84.16/83.43	c cleaning 26001 clauses out of 52018 with flag 767330/380826
92.17/91.47	c cleaning 26994 clauses out of 54019 with flag 826187/408828
100.76/100.07	c cleaning 27996 clauses out of 56022 with flag 887504/437825
110.86/110.02	c cleaning 29005 clauses out of 58027 with flag 951701/467826
121.85/121.01	c cleaning 30002 clauses out of 60021 with flag 1017999/498825
131.66/130.88	c cleaning 30994 clauses out of 62019 with flag 1086014/530825
145.36/144.53	c cleaning 32004 clauses out of 64027 with flag 1156166/563827
157.36/156.57	c cleaning 32998 clauses out of 66021 with flag 1228059/597825
170.04/169.13	c cleaning 33996 clauses out of 68025 with flag 1301227/632827
183.14/182.29	c cleaning 35003 clauses out of 70028 with flag 1375374/668826
195.85/194.92	c cleaning 35998 clauses out of 72024 with flag 1453823/705825
211.75/210.87	c cleaning 36997 clauses out of 74026 with flag 1533717/743825
228.06/227.00	c cleaning 38004 clauses out of 76029 with flag 1614603/782825
246.66/245.69	c cleaning 39005 clauses out of 78026 with flag 1697296/822826
266.97/265.92	c cleaning 39998 clauses out of 80022 with flag 1782279/863827
285.27/284.21	c cleaning 40999 clauses out of 82023 with flag 1870244/905826
304.08/302.90	c cleaning 41995 clauses out of 84023 with flag 1959935/948825
323.97/322.84	c cleaning 42999 clauses out of 86029 with flag 2051979/992826
336.47/335.38	c Got one! Elapsed wall clock time (in seconds):335.273
336.47/335.38	o 19747
336.47/335.39	c Got one! Elapsed wall clock time (in seconds):335.284
336.47/335.39	o 19740
337.48/336.35	c Got one! Elapsed wall clock time (in seconds):336.247
337.48/336.35	o 19738
337.58/336.46	c Got one! Elapsed wall clock time (in seconds):336.355
337.58/336.46	o 19734
337.58/336.47	c Got one! Elapsed wall clock time (in seconds):336.361
337.58/336.47	o 19732
339.99/338.84	c cleaning 39528 clauses out of 79076 with flag 6229/1028872
342.38/341.22	c cleaning 22771 clauses out of 45551 with flag 18777/1034875
343.18/342.08	c Got one! Elapsed wall clock time (in seconds):341.969
343.18/342.08	o 19730
343.18/342.08	c Got one! Elapsed wall clock time (in seconds):341.972
343.18/342.08	o 19724
343.39/342.28	c Got one! Elapsed wall clock time (in seconds):342.17
343.39/342.28	o 19723
343.49/342.31	c Got one! Elapsed wall clock time (in seconds):342.203
343.49/342.31	o 19722
343.49/342.31	c Got one! Elapsed wall clock time (in seconds):342.206
343.49/342.31	o 19716
344.42/343.29	c cleaning 16674 clauses out of 33361 with flag 8357/1045456
345.52/344.31	c cleaning 11328 clauses out of 22686 with flag 20903/1051455
346.62/345.43	c cleaning 9171 clauses out of 18359 with flag 35599/1058456
347.72/346.56	c cleaning 8585 clauses out of 17187 with flag 52490/1066455
349.11/347.92	c cleaning 8789 clauses out of 17603 with flag 71526/1075456
350.77/349.54	c cleaning 9399 clauses out of 18814 with flag 92637/1085456
352.37/351.14	c cleaning 10197 clauses out of 20415 with flag 115854/1096456
354.27/353.06	c cleaning 11098 clauses out of 22217 with flag 141150/1108455
356.37/355.15	c cleaning 12052 clauses out of 24119 with flag 168169/1121455
358.47/357.26	c cleaning 13022 clauses out of 26068 with flag 197819/1135456
361.08/359.85	c cleaning 14006 clauses out of 28045 with flag 229863/1150455
363.97/362.74	c cleaning 15000 clauses out of 30039 with flag 263748/1166455
367.17/365.96	c cleaning 16003 clauses out of 32039 with flag 299771/1183455
370.67/369.45	c cleaning 16997 clauses out of 34037 with flag 337932/1201456
374.67/373.49	c cleaning 18006 clauses out of 36040 with flag 377613/1220456
379.47/378.14	c cleaning 18998 clauses out of 38033 with flag 419788/1240455
384.57/383.21	c cleaning 19992 clauses out of 40035 with flag 464562/1261455
388.97/387.67	c cleaning 21013 clauses out of 42043 with flag 510632/1283455
393.57/392.21	c cleaning 22001 clauses out of 44030 with flag 558730/1306455
399.37/398.00	c cleaning 22996 clauses out of 46029 with flag 610285/1330455
405.08/403.74	c cleaning 24002 clauses out of 48033 with flag 663600/1355455
410.88/409.58	c cleaning 24995 clauses out of 50031 with flag 718938/1381455
417.69/416.20	c cleaning 26002 clauses out of 52036 with flag 776735/1408455
424.99/423.51	c cleaning 26998 clauses out of 54034 with flag 836723/1436455
432.49/431.09	c cleaning 28000 clauses out of 56037 with flag 898198/1465456
441.59/440.11	c cleaning 29000 clauses out of 58036 with flag 962217/1495455
451.19/449.74	c cleaning 30001 clauses out of 60037 with flag 1028701/1526456
460.26/458.71	c cleaning 30999 clauses out of 62035 with flag 1096513/1558455
471.16/469.67	c cleaning 31998 clauses out of 64036 with flag 1166559/1591455
481.46/479.91	c cleaning 32995 clauses out of 66038 with flag 1238669/1625455
491.06/489.54	c cleaning 34013 clauses out of 68043 with flag 1312259/1660455
501.61/500.02	c cleaning 35005 clauses out of 70032 with flag 1388653/1696457
514.41/512.89	c cleaning 35997 clauses out of 72025 with flag 1468163/1733455
527.41/525.81	c cleaning 37005 clauses out of 74029 with flag 1548668/1771456
541.01/539.42	c cleaning 37990 clauses out of 76026 with flag 1631418/1810458
557.03/555.46	c cleaning 39001 clauses out of 78033 with flag 1716967/1850455
572.53/570.95	c cleaning 40005 clauses out of 80033 with flag 1804001/1891456
587.23/585.64	c cleaning 40993 clauses out of 82027 with flag 1892116/1933455
604.38/602.76	c cleaning 41995 clauses out of 84034 with flag 1983374/1976455
621.09/619.45	c cleaning 43005 clauses out of 86039 with flag 2077840/2020455
641.85/640.14	c cleaning 44013 clauses out of 88035 with flag 2170973/2065456
663.15/661.43	c cleaning 45006 clauses out of 90022 with flag 2269705/2111456
682.25/680.57	c cleaning 46003 clauses out of 92017 with flag 2369146/2158457
699.95/698.12	c cleaning 47001 clauses out of 94014 with flag 2470504/2206457
719.85/718.08	c cleaning 47999 clauses out of 96012 with flag 2575022/2255456
743.27/741.45	c cleaning 49006 clauses out of 98012 with flag 2682355/2305455
764.02/762.19	c cleaning 49994 clauses out of 100006 with flag 2791289/2356455
785.83/783.91	c cleaning 50998 clauses out of 102013 with flag 2901034/2408456
786.34/784.40	c Got one! Elapsed wall clock time (in seconds):784.297
786.34/784.40	o 19715
786.93/785.03	c cleaning 28210 clauses out of 56434 with flag 4109/2413875
787.93/786.06	c cleaning 17098 clauses out of 34223 with flag 16700/2419874
789.03/787.15	c cleaning 12051 clauses out of 24126 with flag 31319/2426875
790.31/788.33	c cleaning 10024 clauses out of 20075 with flag 48364/2434875
791.41/789.43	c cleaning 9519 clauses out of 19050 with flag 67338/2443874
792.71/790.78	c cleaning 9758 clauses out of 19532 with flag 88199/2453875
794.21/792.26	c cleaning 10376 clauses out of 20776 with flag 111375/2464877
795.81/793.88	c cleaning 11186 clauses out of 22397 with flag 136915/2476874
797.91/795.92	c cleaning 12096 clauses out of 24211 with flag 164244/2489874
800.01/798.09	c cleaning 13050 clauses out of 26116 with flag 193892/2503875
802.51/800.51	c cleaning 14019 clauses out of 28067 with flag 225857/2518876
805.11/803.17	c cleaning 15010 clauses out of 30046 with flag 259639/2534874
808.06/806.07	c cleaning 16005 clauses out of 32039 with flag 295797/2551877
811.36/809.37	c cleaning 16997 clauses out of 34033 with flag 334315/2569876
815.07/813.08	c cleaning 18002 clauses out of 36035 with flag 374397/2588875
818.76/816.76	c cleaning 19001 clauses out of 38036 with flag 416849/2608878
823.06/821.02	c cleaning 19997 clauses out of 40032 with flag 461350/2629875
827.26/825.26	c cleaning 21012 clauses out of 42037 with flag 508198/2651877
831.71/829.64	c cleaning 21995 clauses out of 44022 with flag 557262/2674874
836.91/834.83	c cleaning 23004 clauses out of 46027 with flag 608918/2698874
843.41/841.33	c cleaning 24001 clauses out of 48023 with flag 663630/2723874
850.11/848.09	c cleaning 24997 clauses out of 50022 with flag 720582/2749874
857.12/855.01	c cleaning 25996 clauses out of 52025 with flag 778228/2776874
864.23/862.13	c cleaning 27001 clauses out of 54029 with flag 837887/2804874
871.94/869.86	c cleaning 28000 clauses out of 56028 with flag 898584/2833874
879.83/877.79	c cleaning 29000 clauses out of 58029 with flag 962548/2863875
889.33/887.26	c cleaning 29997 clauses out of 60029 with flag 1028802/2894875
898.76/896.63	c cleaning 31001 clauses out of 62031 with flag 1096502/2926874
908.15/906.06	c cleaning 31997 clauses out of 64030 with flag 1165990/2959874
919.35/917.23	c cleaning 32996 clauses out of 66034 with flag 1239406/2993875
931.10/928.99	c cleaning 34003 clauses out of 68037 with flag 1315564/3028874
942.81/940.69	c cleaning 35006 clauses out of 70034 with flag 1393259/3064874
954.58/952.35	c cleaning 36006 clauses out of 72030 with flag 1473683/3101876
954.68/952.41	c Got one! Elapsed wall clock time (in seconds):952.304
954.68/952.41	o 19714
955.68/953.46	c cleaning 20737 clauses out of 41492 with flag 10376/3107344
956.68/954.46	c cleaning 13364 clauses out of 26756 with flag 22941/3113345
957.62/955.38	c cleaning 10178 clauses out of 20391 with flag 37850/3120344
958.62/956.33	c cleaning 9095 clauses out of 18213 with flag 54736/3128344
959.72/957.48	c cleaning 9050 clauses out of 18119 with flag 73911/3137345
961.02/958.79	c cleaning 9529 clauses out of 19069 with flag 94610/3147345
962.63/960.35	c cleaning 10264 clauses out of 20539 with flag 117838/3158344
964.12/961.88	c cleaning 11122 clauses out of 22277 with flag 143086/3170346
965.93/963.60	c cleaning 12068 clauses out of 24153 with flag 170714/3183344
968.02/965.70	c cleaning 13033 clauses out of 26086 with flag 200571/3197345
970.33/968.09	c cleaning 14016 clauses out of 28053 with flag 232711/3212345
973.05/970.79	c cleaning 15010 clauses out of 30038 with flag 266836/3228346
976.05/973.76	c cleaning 16002 clauses out of 32026 with flag 302964/3245344
979.15/976.90	c cleaning 17001 clauses out of 34025 with flag 341068/3263345
982.35/980.07	c cleaning 17996 clauses out of 36024 with flag 381575/3282345
986.05/983.75	c cleaning 19000 clauses out of 38028 with flag 424216/3302345
990.36/988.03	c cleaning 20003 clauses out of 40027 with flag 469015/3323344
994.69/992.38	c cleaning 21005 clauses out of 42024 with flag 515974/3345344
999.48/997.15	c cleaning 21991 clauses out of 44019 with flag 565343/3368344
1004.79/1002.45	c cleaning 22996 clauses out of 46029 with flag 616625/3392345
1010.09/1007.76	c cleaning 24000 clauses out of 48034 with flag 669944/3417346
1016.42/1014.08	c cleaning 25005 clauses out of 50032 with flag 725576/3443344
1022.72/1020.37	c cleaning 25999 clauses out of 52028 with flag 782821/3470345
1029.42/1027.04	c cleaning 27003 clauses out of 54030 with flag 842553/3498346
1037.53/1035.13	c cleaning 28004 clauses out of 56026 with flag 905121/3527345
1045.06/1042.60	c cleaning 29003 clauses out of 58022 with flag 968444/3557345
1052.76/1050.31	c cleaning 30006 clauses out of 60018 with flag 1035326/3588344
1061.36/1058.98	c cleaning 31005 clauses out of 62013 with flag 1103561/3620345
1065.17/1062.77	c Got one! Elapsed wall clock time (in seconds):1062.658
1065.17/1062.77	o 19713
1066.98/1064.53	c cleaning 25191 clauses out of 50409 with flag 10466/3639746
1068.18/1065.74	c cleaning 15592 clauses out of 31218 with flag 23108/3645746
1069.18/1066.77	c cleaning 11295 clauses out of 22627 with flag 37964/3652747
1070.18/1067.77	c cleaning 9650 clauses out of 19331 with flag 54875/3660746
1071.28/1068.89	c cleaning 9326 clauses out of 18680 with flag 73755/3669745
1072.48/1070.07	c cleaning 9663 clauses out of 19354 with flag 95351/3679745
1073.77/1071.39	c cleaning 10332 clauses out of 20691 with flag 118488/3690745
1075.37/1072.91	c cleaning 11163 clauses out of 22359 with flag 143790/3702745
1077.07/1074.64	c cleaning 12084 clauses out of 24196 with flag 171440/3715745
1079.28/1076.81	c cleaning 13045 clauses out of 26113 with flag 201370/3729746
1081.60/1079.19	c cleaning 14019 clauses out of 28067 with flag 232881/3744745
1084.39/1081.92	c cleaning 15007 clauses out of 30052 with flag 267074/3760749
1087.39/1084.92	c cleaning 16008 clauses out of 32042 with flag 303184/3777746
1090.59/1088.13	c cleaning 17006 clauses out of 34034 with flag 341658/3795746
1093.89/1091.46	c cleaning 17997 clauses out of 36028 with flag 382713/3814746
1097.62/1095.14	c cleaning 18997 clauses out of 38030 with flag 425523/3834745
1101.62/1099.10	c cleaning 19999 clauses out of 40033 with flag 470120/3855745
1106.12/1103.66	c cleaning 21003 clauses out of 42035 with flag 517420/3877746
1111.52/1109.00	c cleaning 21998 clauses out of 44031 with flag 568205/3900745
1116.76/1114.25	c cleaning 23004 clauses out of 46033 with flag 620278/3924745
1122.46/1119.98	c cleaning 23993 clauses out of 48029 with flag 675168/3949745
1128.06/1125.52	c cleaning 24999 clauses out of 50036 with flag 731436/3975745
1134.06/1131.55	c cleaning 25998 clauses out of 52038 with flag 788572/4002746
1140.60/1138.06	c cleaning 27005 clauses out of 54040 with flag 847610/4030746
1147.81/1145.30	c cleaning 28006 clauses out of 56034 with flag 910252/4059745
1155.42/1152.85	c cleaning 29000 clauses out of 58030 with flag 973683/4089747
1163.24/1160.68	c cleaning 30007 clauses out of 60028 with flag 1039415/4120745
1172.43/1169.83	c cleaning 30993 clauses out of 62022 with flag 1106568/4152746
1180.48/1177.82	c cleaning 31996 clauses out of 64030 with flag 1176491/4185747
1190.37/1187.71	c cleaning 33001 clauses out of 66033 with flag 1248342/4219746
1199.67/1197.07	c cleaning 34004 clauses out of 68032 with flag 1322687/4254746
1210.23/1207.53	c cleaning 34995 clauses out of 70028 with flag 1398116/4290746
1221.63/1218.91	c cleaning 36002 clauses out of 72032 with flag 1478325/4327745
1232.84/1230.19	c cleaning 37002 clauses out of 74032 with flag 1558748/4365747
1244.95/1242.27	c cleaning 37991 clauses out of 76028 with flag 1641523/4404745
1258.09/1255.37	c cleaning 39002 clauses out of 78038 with flag 1727143/4444746
1271.59/1268.86	c cleaning 40011 clauses out of 80035 with flag 1816008/4485745
1285.82/1283.09	c cleaning 40999 clauses out of 82024 with flag 1906397/4527745
1299.61/1296.89	c cleaning 42000 clauses out of 84025 with flag 1997660/4570745
1313.25/1310.46	c cleaning 43002 clauses out of 86025 with flag 2091348/4614745
1326.05/1323.20	c cleaning 43998 clauses out of 88023 with flag 2188010/4659745
1338.29/1335.47	c cleaning 45005 clauses out of 90026 with flag 2283149/4705746
1353.42/1350.55	c cleaning 46004 clauses out of 92021 with flag 2379857/4752746
1368.61/1365.78	c cleaning 47000 clauses out of 94017 with flag 2479193/4800746
1386.37/1383.49	c cleaning 48000 clauses out of 96017 with flag 2580919/4849746
1402.54/1399.57	c cleaning 48997 clauses out of 98018 with flag 2685867/4899747
1419.85/1416.81	c cleaning 50002 clauses out of 100022 with flag 2792096/4950748
1438.69/1435.68	c cleaning 50995 clauses out of 102018 with flag 2900649/5002746
1458.11/1455.07	c cleaning 51999 clauses out of 104023 with flag 3012349/5055746
1478.73/1475.65	c cleaning 53000 clauses out of 106024 with flag 3125302/5109746
1500.35/1497.20	c cleaning 53997 clauses out of 108023 with flag 3241046/5164745
1522.74/1519.59	c cleaning 55001 clauses out of 110026 with flag 3358831/5220745
1544.16/1540.90	c cleaning 56001 clauses out of 112025 with flag 3479367/5277745
1568.57/1565.30	c cleaning 56996 clauses out of 114024 with flag 3602573/5335745
1594.29/1591.07	c cleaning 58006 clauses out of 116033 with flag 3726000/5394750
1618.60/1615.38	c cleaning 59002 clauses out of 118022 with flag 3850678/5454745
1642.73/1639.48	c cleaning 59996 clauses out of 120021 with flag 3985797/5515746
1672.79/1669.45	c cleaning 61004 clauses out of 122025 with flag 4117835/5577746
1700.94/1697.52	c cleaning 62004 clauses out of 124020 with flag 4251694/5640745
1729.75/1726.31	c cleaning 63000 clauses out of 126017 with flag 4386345/5704746
1756.47/1753.01	c cleaning 63995 clauses out of 128016 with flag 4523004/5769745
1790.48/1787.07	c cleaning 65000 clauses out of 130022 with flag 4662342/5835746
1800.02/1796.50	c starts		: 32
1800.02/1796.50	c conflicts		: 5864824
1800.02/1796.50	c decisions		: 6366025
1800.02/1796.50	c propagations		: 57862112
1800.02/1796.50	c inspects		: 34649679293
1800.02/1796.50	c shortcuts		: 0
1800.02/1796.50	c learnt literals	: 0
1800.02/1796.50	c learnt binary clauses	: 0
1800.02/1796.50	c learnt ternary clauses	: 0
1800.02/1796.50	c learnt constraints	: 5864824
1800.02/1796.50	c ignored constraints	: 0
1800.02/1796.50	c root simplifications	: 0
1800.02/1796.50	c removed literals (reason simplification)	: 0
1800.02/1796.50	c reason swapping (by a shorter reason)	: 0
1800.02/1796.50	c Calls to reduceDB	: 215
1800.02/1796.50	c Number of update (reduction) of LBD	: 419848
1800.02/1796.50	c Imported unit clauses	: 0
1800.02/1796.50	c number of reductions to clauses (during analyze)	: 0
1800.02/1796.50	c number of learned constraints concerned by reduction	: 0
1800.02/1796.50	c number of learning phase by resolution	: 0
1800.02/1796.50	c number of learning phase by cutting planes	: 0
1800.02/1796.50	c speed (assignments/second)	: 32212.297233050194
1800.02/1796.50	c non guided choices	4
1800.02/1796.53	c learnt constraints type 
1800.02/1796.53	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 94100
1800.02/1796.53	s SATISFIABLE
1800.02/1796.53	c Found 23 solution(s)
1800.02/1796.53	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 x109 x110 x111 x112 x113 x114 -x115 x116 x117 -x118 -x119 -x120 x121 -x122 x123 x124 x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 x134 x135 -x136 -x137 -x138 x139 -x140 -x141 -x142 -x143 x144 -x145 x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 
1800.02/1796.53	c objective function=19713
1800.02/1796.53	c Total wall clock time (in seconds): 1796.422

Verifier Data 

OK	19713

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-4085181-1465222136/watcher-4085181-1465222136 -o /tmp/evaluation-result-4085181-1465222136/solver-4085181-1465222136 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node146-1465217554-32381 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4085181-1465222136.opb 

pid=2063
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.17 2.26 2.21 3/194 2066
/proc/meminfo: memFree=29524580/32872528 swapFree=15844/1710320
[pid=2066] ppid=2063 vsize=92900 CPUtime=0 cores=0,2,4,6
/proc/2066/stat : 2066 (java) S 2063 2066 32365 0 -1 4202496 1294 0 0 0 0 0 0 0 20 0 2 0 104145925 95129600 927 33554432000 1073741824 1073778376 140735436655104 140735436646240 240568533053 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2066/statm: 23225 927 703 9 0 16769 0
[pid=2066/tid=2067] ppid=2063 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2067/stat : 2067 (java) R 2063 2066 32365 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 104145926 98570240 977 33554432000 1073741824 1073778376 140735436655104 139978273254952 240565175680 0 0 4096 0 0 0 0 -1 2 0 0 0 0 0

[startup+0.100113 s]
/proc/loadavg: 2.17 2.26 2.21 3/194 2066
/proc/meminfo: memFree=29524580/32872528 swapFree=15844/1710320
[pid=2066] ppid=2063 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/2066/stat : 2066 (java) S 2063 2066 32365 0 -1 4202496 4399 0 1 0 9 1 0 0 20 0 18 0 104145925 9787879424 6040 33554432000 1073741824 1073778376 140735436655104 140735436646240 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2066/statm: 2389619 6040 2140 9 0 2380296 0
[pid=2066/tid=2067] ppid=2063 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/2066/task/2067/stat : 2067 (java) R 2063 2066 32365 0 -1 4202560 2379 0 1 0 7 0 0 0 20 0 18 0 104145926 9787879424 6042 33554432000 1073741824 1073778376 140735436655104 139978273258400 240568558861 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476

[startup+0.200312 s]
/proc/loadavg: 2.17 2.26 2.21 3/194 2066
/proc/meminfo: memFree=29524580/32872528 swapFree=15844/1710320
[pid=2066] ppid=2063 vsize=9558476 CPUtime=0.29 cores=0,2,4,6
/proc/2066/stat : 2066 (java) S 2063 2066 32365 0 -1 4202496 5023 0 1 0 28 1 0 0 20 0 18 0 104145925 9787879424 7070 33554432000 1073741824 1073778376 140735436655104 140735436646240 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2066/statm: 2389619 7070 2220 9 0 2380296 0
[pid=2066/tid=2067] ppid=2063 vsize=9558476 CPUtime=0.17 cores=0,2,4,6
/proc/2066/task/2067/stat : 2067 (java) R 2063 2066 32365 0 -1 4202560 2399 0 1 0 17 0 0 0 20 0 18 0 104145926 9787879424 7070 33554432000 1073741824 1073778376 140735436655104 139978273255744 139978101342608 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9558476

[startup+0.300329 s]
/proc/loadavg: 2.17 2.26 2.21 3/194 2066
/proc/meminfo: memFree=29524580/32872528 swapFree=15844/1710320
[pid=2066] ppid=2063 vsize=9625040 CPUtime=0.58 cores=0,2,4,6
/proc/2066/stat : 2066 (java) S 2063 2066 32365 0 -1 4202496 9204 0 1 0 57 1 0 0 20 0 19 0 104145925 9856040960 10498 33554432000 1073741824 1073778376 140735436655104 140735436646240 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2066/statm: 2406260 10498 2237 9 0 2396937 0
[pid=2066/tid=2067] ppid=2063 vsize=9625040 CPUtime=0.27 cores=0,2,4,6
/proc/2066/task/2067/stat : 2067 (java) R 2063 2066 32365 0 -1 4202560 2435 0 1 0 27 0 0 0 20 0 19 0 104145926 9856040960 10498 33554432000 1073741824 1073778376 140735436655104 139978273260160 139978101341495 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 9625040

[startup+0.700243 s]
/proc/loadavg: 2.17 2.26 2.21 3/194 2066
/proc/meminfo: memFree=29524580/32872528 swapFree=15844/1710320
[pid=2066] ppid=2063 vsize=9625040 CPUtime=1.19 cores=0,2,4,6
/proc/2066/stat : 2066 (java) S 2063 2066 32365 0 -1 4202496 10979 0 1 0 117 2 0 0 20 0 19 0 104145925 9856040960 11722 33554432000 1073741824 1073778376 140735436655104 140735436646240 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2066/statm: 2406260 11722 2246 9 0 2396937 0
[pid=2066/tid=2067] ppid=2063 vsize=9625040 CPUtime=0.67 cores=0,2,4,6
/proc/2066/task/2067/stat : 2067 (java) R 2063 2066 32365 0 -1 4202560 2436 0 1 0 67 0 0 0 20 0 19 0 104145926 9856040960 11722 33554432000 1073741824 1073778376 140735436655104 139978273259512 139978101724643 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.19
Current children cumulated vsize (KiB) 9625040

[startup+1.50071 s]
/proc/loadavg: 2.17 2.26 2.21 4/213 2085
/proc/meminfo: memFree=29481528/32872528 swapFree=15844/1710320
[pid=2066] ppid=2063 vsize=9625040 CPUtime=2.1 cores=0,2,4,6
/proc/2066/stat : 2066 (java) S 2063 2066 32365 0 -1 4202496 11746 0 1 0 208 2 0 0 20 0 19 0 104145925 9856040960 13293 33554432000 1073741824 1073778376 140735436655104 140735436646240 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2066/statm: 2406260 13293 2257 9 0 2396937 0
[pid=2066/tid=2067] ppid=2063 vsize=9625040 CPUtime=1.47 cores=0,2,4,6
/proc/2066/task/2067/stat : 2067 (java) R 2063 2066 32365 0 -1 4202560 2440 0 1 0 145 2 0 0 20 0 19 0 104145926 9856040960 13293 33554432000 1073741824 1073778376 140735436655104 139978273260104 139978101803151 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=2066/tid=2069] ppid=2063 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2069/stat : 2069 (java) S 2063 2066 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104145926 9856040960 13293 33554432000 1073741824 1073778376 140735436655104 139978234751784 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2066/tid=2070] ppid=2063 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2070/stat : 2070 (java) S 2063 2066 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104145926 9856040960 13293 33554432000 1073741824 1073778376 140735436655104 139978233698984 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2066/tid=2071] ppid=2063 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2071/stat : 2071 (java) S 2063 2066 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104145926 9856040960 13293 33554432000 1073741824 1073778376 140735436655104 139978232646696 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2066/tid=2072] ppid=2063 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2072/stat : 2072 (java) S 2063 2066 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104145926 9856040960 13293 33554432000 1073741824 1073778376 140735436655104 139978231593896 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2066/tid=2073] ppid=2063 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2073/stat : 2073 (java) S 2063 2066 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104145926 9856040960 13293 33554432000 1073741824 1073778376 140735436655104 139978230540584 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2066/tid=2074] ppid=2063 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2074/stat : 2074 (java) S 2063 2066 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104145926 9856040960 13293 33554432000 1073741824 1073778376 140735436655104 139978229487784 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2066/tid=2075] ppid=2063 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2075/stat : 2075 (java) S 2063 2066 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104145927 9856040960 13293 33554432000 1073741824 1073778376 140735436655104 139978228435496 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2066/tid=2076] ppid=2063 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2076/stat : 2076 (java) S 2063 2066 32365 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 104145927 9856040960 13293 33554432000 1073741824 1073778376 140735436655104 139978227382696 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2066/tid=2077] ppid=2063 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2077/stat : 2077 (java) S 2063 2066 32365 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 104145928 9856040960 13293 33554432000 1073741824 1073778376 140735436655104 139978097011432 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2066/tid=2078] ppid=2063 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2078/stat : 2078 (java) S 2063 2066 32365 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 104145928 9856040960 13293 33554432000 1073741824 1073778376 140735436655104 139978095957496 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2066/tid=2079] ppid=2063 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2079/stat : 2079 (java) S 2063 2066 32365 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104145928 9856040960 13293 33554432000 1073741824 1073778376 140735436655104 139978094905096 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2066/tid=2080] ppid=2063 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2080/stat : 2080 (java) S 2063 2066 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104145930 9856040960 13293 33554432000 1073741824 1073778376 140735436655104 139978093853584 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2066/tid=2081] ppid=2063 vsize=9625040 CPUtime=0.28 cores=0,2,4,6
/proc/2066/task/2081/stat : 2081 (java) S 2063 2066 32365 0 -1 4202560 3807 0 0 0 28 0 0 0 20 0 19 0 104145930 9856040960 13293 33554432000 1073741824 1073778376 140735436655104 139978092800184 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2066/tid=2082] ppid=2063 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/2066/task/2082/stat : 2082 (java) S 2063 2066 32365 0 -1 4202560 4228 0 0 0 32 0 0 0 20 0 19 0 104145930 9856040960 13293 33554432000 1073741824 1073778376 140735436655104 139978091747384 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2066/tid=2083] ppid=2063 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2083/stat : 2083 (java) S 2063 2066 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104145930 9856040960 13293 33554432000 1073741824 1073778376 140735436655104 139978090695288 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2066/tid=2084] ppid=2063 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2084/stat : 2084 (java) S 2063 2066 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104145931 9856040960 13293 33554432000 1073741824 1073778376 140735436655104 139978089642696 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2066/tid=2085] ppid=2063 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2085/stat : 2085 (java) S 2063 2066 32365 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104145949 9856040960 13293 33554432000 1073741824 1073778376 140735436655104 139978088588712 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.1
Current children cumulated vsize (KiB) 9625040

[startup+3.10074 s]
/proc/loadavg: 2.17 2.26 2.21 3/213 2085
/proc/meminfo: memFree=29472716/32872528 swapFree=15844/1710320
[pid=2066] ppid=2063 vsize=9625040 CPUtime=3.78 cores=0,2,4,6
/proc/2066/stat : 2066 (java) S 2063 2066 32365 0 -1 4202496 11789 0 1 0 376 2 0 0 20 0 19 0 104145925 9856040960 16401 33554432000 1073741824 1073778376 140735436655104 140735436646240 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2066/statm: 2406260 16401 2259 9 0 2396937 0
[pid=2066/tid=2067] ppid=2063 vsize=9625040 CPUtime=3.07 cores=0,2,4,6
/proc/2066/task/2067/stat : 2067 (java) R 2063 2066 32365 0 -1 4202560 2447 0 1 0 305 2 0 0 20 0 19 0 104145926 9856040960 16401 33554432000 1073741824 1073778376 140735436655104 139978273251008 139978101861971 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=2066/tid=2069] ppid=2063 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2069/stat : 2069 (java) S 2063 2066 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104145926 9856040960 16401 33554432000 1073741824 1073778376 140735436655104 139978234751784 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2066/tid=2070] ppid=2063 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2070/stat : 2070 (java) S 2063 2066 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104145926 9856040960 16401 33554432000 1073741824 1073778376 140735436655104 139978233698984 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2066/tid=2071] ppid=2063 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2071/stat : 2071 (java) S 2063 2066 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104145926 9856040960 16401 33554432000 1073741824 1073778376 140735436655104 139978232646696 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2066/tid=2072] ppid=2063 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2072/stat : 2072 (java) S 2063 2066 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104145926 9856040960 16401 33554432000 1073741824 1073778376 140735436655104 139978231593896 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2066/tid=2073] ppid=2063 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2073/stat : 2073 (java) S 2063 2066 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104145926 9856040960 16401 33554432000 1073741824 1073778376 140735436655104 139978230540584 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2066/tid=2074] ppid=2063 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2074/stat : 2074 (java) S 2063 2066 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104145926 9856040960 16401 33554432000 1073741824 1073778376 140735436655104 139978229487784 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2066/tid=2075] ppid=2063 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2075/stat : 2075 (java) S 2063 2066 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104145927 9856040960 16401 33554432000 1073741824 1073778376 140735436655104 139978228435496 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2066/tid=2076] ppid=2063 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2076/stat : 2076 (java) S 2063 2066 32365 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 104145927 9856040960 16401 33554432000 1073741824 1073778376 140735436655104 139978227382696 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2066/tid=2077] ppid=2063 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2077/stat : 2077 (java) S 2063 2066 32365 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 104145928 9856040960 16401 33554432000 1073741824 1073778376 140735436655104 139978097011432 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2066/tid=2078] ppid=2063 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2078/stat : 2078 (java) S 2063 2066 32365 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 104145928 9856040960 16401 33554432000 1073741824 1073778376 140735436655104 139978095957496 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2066/tid=2079] ppid=2063 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2079/stat : 2079 (java) S 2063 2066 32365 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104145928 9856040960 16401 33554432000 1073741824 1073778376 140735436655104 139978094905096 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2066/tid=2080] ppid=2063 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2080/stat : 2080 (java) S 2063 2066 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104145930 9856040960 16401 33554432000 1073741824 1073778376 140735436655104 139978093853584 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2066/tid=2081] ppid=2063 vsize=9625040 CPUtime=0.35 cores=0,2,4,6
/proc/2066/task/2081/stat : 2081 (java) S 2063 2066 32365 0 -1 4202560 3843 0 0 0 35 0 0 0 20 0 19 0 104145930 9856040960 16401 33554432000 1073741824 1073778376 140735436655104 139978092800184 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2066/tid=2082] ppid=2063 vsize=9625040 CPUtime=0.34 cores=0,2,4,6
/proc/2066/task/2082/stat : 2082 (java) S 2063 2066 32365 0 -1 4202560 4228 0 0 0 34 0 0 0 20 0 19 0 104145930 9856040960 16401 33554432000 1073741824 1073778376 140735436655104 139978091747384 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2066/tid=2083] ppid=2063 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2083/stat : 2083 (java) S 2063 2066 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104145930 9856040960 16401 33554432000 1073741824 1073778376 140735436655104 139978090695288 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2066/tid=2084] ppid=2063 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2084/stat : 2084 (java) S 2063 2066 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104145931 9856040960 16401 33554432000 1073741824 1073778376 140735436655104 139978089642696 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2066/tid=2085] ppid=2063 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2085/stat : 2085 (java) S 2063 2066 32365 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104145949 9856040960 16401 33554432000 1073741824 1073778376 140735436655104 139978088588712 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 3.78
Current children cumulated vsize (KiB) 9625040

[startup+6.30079 s]
/proc/loadavg: 2.16 2.26 2.21 4/213 2085
/proc/meminfo: memFree=29452264/32872528 swapFree=15844/1710320
[pid=2066] ppid=2063 vsize=9625040 CPUtime=6.98 cores=0,2,4,6
/proc/2066/stat : 2066 (java) S 2063 2066 32365 0 -1 4202496 11800 0 1 0 696 2 0 0 20 0 19 0 104145925 9856040960 20858 33554432000 1073741824 1073778376 140735436655104 140735436646240 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2066/statm: 2406260 20858 2260 9 0 2396937 0
[pid=2066/tid=2067] ppid=2063 vsize=9625040 CPUtime=6.26 cores=0,2,4,6
/proc/2066/task/2067/stat : 2067 (java) R 2063 2066 32365 0 -1 4202560 2457 0 1 0 624 2 0 0 20 0 19 0 104145926 9856040960 20858 33554432000 1073741824 1073778376 140735436655104 139978273250992 139978101724880 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=2066/tid=2069] ppid=2063 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2069/stat : 2069 (java) S 2063 2066 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104145926 9856040960 20858 33554432000 1073741824 1073778376 140735436655104 139978234751784 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2066/tid=2070] ppid=2063 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2070/stat : 2070 (java) S 2063 2066 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104145926 9856040960 20858 33554432000 1073741824 1073778376 140735436655104 139978233698984 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2066/tid=2071] ppid=2063 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2071/stat : 2071 (java) S 2063 2066 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104145926 9856040960 20858 33554432000 1073741824 1073778376 140735436655104 139978232646696 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2066/tid=2072] ppid=2063 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2072/stat : 2072 (java) S 2063 2066 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104145926 9856040960 20858 33554432000 1073741824 1073778376 140735436655104 139978231593896 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2066/tid=2073] ppid=2063 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2073/stat : 2073 (java) S 2063 2066 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104145926 9856040960 20858 33554432000 1073741824 1073778376 140735436655104 139978230540584 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2066/tid=2074] ppid=2063 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2074/stat : 2074 (java) S 2063 2066 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104145926 9856040960 20858 33554432000 1073741824 1073778376 140735436655104 139978229487784 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2066/tid=2075] ppid=2063 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2075/stat : 2075 (java) S 2063 2066 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104145927 9856040960 20858 33554432000 1073741824 1073778376 140735436655104 139978228435496 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2066/tid=2076] ppid=2063 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2076/stat : 2076 (java) S 2063 2066 32365 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 104145927 9856040960 20858 33554432000 1073741824 1073778376 140735436655104 139978227382696 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2066/tid=2077] ppid=2063 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2077/stat : 2077 (java) S 2063 2066 32365 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 104145928 9856040960 20858 33554432000 1073741824 1073778376 140735436655104 139978097011432 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2066/tid=2078] ppid=2063 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2078/stat : 2078 (java) S 2063 2066 32365 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 104145928 9856040960 20858 33554432000 1073741824 1073778376 140735436655104 139978095957496 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2066/tid=2079] ppid=2063 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2079/stat : 2079 (java) S 2063 2066 32365 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104145928 9856040960 20858 33554432000 1073741824 1073778376 140735436655104 139978094905096 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2066/tid=2080] ppid=2063 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2080/stat : 2080 (java) S 2063 2066 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104145930 9856040960 20858 33554432000 1073741824 1073778376 140735436655104 139978093853584 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2066/tid=2081] ppid=2063 vsize=9625040 CPUtime=0.35 cores=0,2,4,6
/proc/2066/task/2081/stat : 2081 (java) S 2063 2066 32365 0 -1 4202560 3843 0 0 0 35 0 0 0 20 0 19 0 104145930 9856040960 20858 33554432000 1073741824 1073778376 140735436655104 139978092800184 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2066/tid=2082] ppid=2063 vsize=9625040 CPUtime=0.34 cores=0,2,4,6

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

[pid=2066/tid=2085] ppid=2063 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2085/stat : 2085 (java) S 2063 2066 32365 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104145949 9856040960 85534 33554432000 1073741824 1073778376 140735436655104 139978088588712 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1725.75
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.79 2.47 2.28 4/213 2583
/proc/meminfo: memFree=25181912/32872528 swapFree=15844/1710320
[pid=2066] ppid=2063 vsize=9625040 CPUtime=1785.78 cores=0,2,4,6
/proc/2066/stat : 2066 (java) S 2063 2066 32365 0 -1 4202496 14601 0 1 0 178507 71 0 0 20 0 19 0 104145925 9856040960 84925 33554432000 1073741824 1073778376 140735436655104 140735436646240 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2066/statm: 2406260 84925 2283 9 0 2396937 0
[pid=2066/tid=2067] ppid=2063 vsize=9625040 CPUtime=1776.36 cores=0,2,4,6
/proc/2066/task/2067/stat : 2067 (java) R 2063 2066 32365 0 -1 4202560 2561 0 1 0 177604 32 0 0 20 0 19 0 104145926 9856040960 84925 33554432000 1073741824 1073778376 140735436655104 139978273258704 139978102030727 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=2066/tid=2069] ppid=2063 vsize=9625040 CPUtime=0.42 cores=0,2,4,6
/proc/2066/task/2069/stat : 2069 (java) S 2063 2066 32365 0 -1 4202560 157 0 0 0 38 4 0 0 20 0 19 0 104145926 9856040960 84925 33554432000 1073741824 1073778376 140735436655104 139978234751784 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2066/tid=2070] ppid=2063 vsize=9625040 CPUtime=0.49 cores=0,2,4,6
/proc/2066/task/2070/stat : 2070 (java) S 2063 2066 32365 0 -1 4202560 274 0 0 0 44 5 0 0 20 0 19 0 104145926 9856040960 84925 33554432000 1073741824 1073778376 140735436655104 139978233698984 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2066/tid=2071] ppid=2063 vsize=9625040 CPUtime=0.46 cores=0,2,4,6
/proc/2066/task/2071/stat : 2071 (java) S 2063 2066 32365 0 -1 4202560 327 0 0 0 39 7 0 0 20 0 19 0 104145926 9856040960 84925 33554432000 1073741824 1073778376 140735436655104 139978232646696 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2066/tid=2072] ppid=2063 vsize=9625040 CPUtime=0.43 cores=0,2,4,6
/proc/2066/task/2072/stat : 2072 (java) S 2063 2066 32365 0 -1 4202560 388 0 0 0 37 6 0 0 20 0 19 0 104145926 9856040960 84925 33554432000 1073741824 1073778376 140735436655104 139978231593896 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2066/tid=2073] ppid=2063 vsize=9625040 CPUtime=0.47 cores=0,2,4,6
/proc/2066/task/2073/stat : 2073 (java) S 2063 2066 32365 0 -1 4202560 435 0 0 0 42 5 0 0 20 0 19 0 104145926 9856040960 84925 33554432000 1073741824 1073778376 140735436655104 139978230540584 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2066/tid=2074] ppid=2063 vsize=9625040 CPUtime=0.42 cores=0,2,4,6
/proc/2066/task/2074/stat : 2074 (java) S 2063 2066 32365 0 -1 4202560 266 0 0 0 36 6 0 0 20 0 19 0 104145926 9856040960 84925 33554432000 1073741824 1073778376 140735436655104 139978229487784 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2066/tid=2075] ppid=2063 vsize=9625040 CPUtime=0.49 cores=0,2,4,6
/proc/2066/task/2075/stat : 2075 (java) S 2063 2066 32365 0 -1 4202560 350 0 0 0 42 7 0 0 20 0 19 0 104145927 9856040960 84925 33554432000 1073741824 1073778376 140735436655104 139978228435496 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2066/tid=2076] ppid=2063 vsize=9625040 CPUtime=0.48 cores=0,2,4,6
/proc/2066/task/2076/stat : 2076 (java) S 2063 2066 32365 0 -1 4202560 198 0 0 0 42 6 0 0 20 0 19 0 104145927 9856040960 84925 33554432000 1073741824 1073778376 140735436655104 139978227382696 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2066/tid=2077] ppid=2063 vsize=9625040 CPUtime=0.11 cores=0,2,4,6
/proc/2066/task/2077/stat : 2077 (java) S 2063 2066 32365 0 -1 4202560 162 0 0 0 8 3 0 0 20 0 19 0 104145928 9856040960 84925 33554432000 1073741824 1073778376 140735436655104 139978097011432 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2066/tid=2078] ppid=2063 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2078/stat : 2078 (java) S 2063 2066 32365 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104145928 9856040960 84925 33554432000 1073741824 1073778376 140735436655104 139978095957496 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2066/tid=2079] ppid=2063 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2079/stat : 2079 (java) S 2063 2066 32365 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 104145928 9856040960 84925 33554432000 1073741824 1073778376 140735436655104 139978094905096 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2066/tid=2080] ppid=2063 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2080/stat : 2080 (java) S 2063 2066 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104145930 9856040960 84925 33554432000 1073741824 1073778376 140735436655104 139978093853584 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2066/tid=2081] ppid=2063 vsize=9625040 CPUtime=0.47 cores=0,2,4,6
/proc/2066/task/2081/stat : 2081 (java) S 2063 2066 32365 0 -1 4202560 3891 0 0 0 47 0 0 0 20 0 19 0 104145930 9856040960 84925 33554432000 1073741824 1073778376 140735436655104 139978092800184 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2066/tid=2082] ppid=2063 vsize=9625040 CPUtime=0.37 cores=0,2,4,6
/proc/2066/task/2082/stat : 2082 (java) S 2063 2066 32365 0 -1 4202560 4230 0 0 0 37 0 0 0 20 0 19 0 104145930 9856040960 84925 33554432000 1073741824 1073778376 140735436655104 139978091747384 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2066/tid=2083] ppid=2063 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2083/stat : 2083 (java) S 2063 2066 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104145930 9856040960 84925 33554432000 1073741824 1073778376 140735436655104 139978090695288 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2066/tid=2084] ppid=2063 vsize=9625040 CPUtime=0.5 cores=0,2,4,6
/proc/2066/task/2084/stat : 2084 (java) S 2063 2066 32365 0 -1 4202560 104 0 0 0 26 24 0 0 20 0 19 0 104145931 9856040960 84925 33554432000 1073741824 1073778376 140735436655104 139978089642696 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2066/tid=2085] ppid=2063 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2085/stat : 2085 (java) S 2063 2066 32365 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104145949 9856040960 84925 33554432000 1073741824 1073778376 140735436655104 139978088588712 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1785.78
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1796.5 s]
/proc/loadavg: 2.70 2.46 2.28 3/213 2583
/proc/meminfo: memFree=25185208/32872528 swapFree=15844/1710320
[pid=2066] ppid=2063 vsize=9625040 CPUtime=1800.02 cores=0,2,4,6
/proc/2066/stat : 2066 (java) S 2063 2066 32365 0 -1 4202496 14620 0 1 0 179931 71 0 0 20 0 19 0 104145925 9856040960 84107 33554432000 1073741824 1073778376 140735436655104 140735436646240 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2066/statm: 2406260 84107 2283 9 0 2396937 0
[pid=2066/tid=2067] ppid=2063 vsize=9625040 CPUtime=1790.5 cores=0,2,4,6
/proc/2066/task/2067/stat : 2067 (java) R 2063 2066 32365 0 -1 4202560 2562 0 1 0 179018 32 0 0 20 0 19 0 104145926 9856040960 84107 33554432000 1073741824 1073778376 140735436655104 139978273258688 139978102030732 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=2066/tid=2069] ppid=2063 vsize=9625040 CPUtime=0.43 cores=0,2,4,6
/proc/2066/task/2069/stat : 2069 (java) S 2063 2066 32365 0 -1 4202560 173 0 0 0 39 4 0 0 20 0 19 0 104145926 9856040960 84107 33554432000 1073741824 1073778376 140735436655104 139978234751784 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2066/tid=2070] ppid=2063 vsize=9625040 CPUtime=0.49 cores=0,2,4,6
/proc/2066/task/2070/stat : 2070 (java) S 2063 2066 32365 0 -1 4202560 274 0 0 0 44 5 0 0 20 0 19 0 104145926 9856040960 84107 33554432000 1073741824 1073778376 140735436655104 139978233698984 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2066/tid=2071] ppid=2063 vsize=9625040 CPUtime=0.47 cores=0,2,4,6
/proc/2066/task/2071/stat : 2071 (java) S 2063 2066 32365 0 -1 4202560 327 0 0 0 40 7 0 0 20 0 19 0 104145926 9856040960 84107 33554432000 1073741824 1073778376 140735436655104 139978232646696 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2066/tid=2072] ppid=2063 vsize=9625040 CPUtime=0.44 cores=0,2,4,6
/proc/2066/task/2072/stat : 2072 (java) S 2063 2066 32365 0 -1 4202560 388 0 0 0 38 6 0 0 20 0 19 0 104145926 9856040960 84107 33554432000 1073741824 1073778376 140735436655104 139978231593896 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2066/tid=2073] ppid=2063 vsize=9625040 CPUtime=0.48 cores=0,2,4,6
/proc/2066/task/2073/stat : 2073 (java) S 2063 2066 32365 0 -1 4202560 435 0 0 0 43 5 0 0 20 0 19 0 104145926 9856040960 84107 33554432000 1073741824 1073778376 140735436655104 139978230540584 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2066/tid=2074] ppid=2063 vsize=9625040 CPUtime=0.43 cores=0,2,4,6
/proc/2066/task/2074/stat : 2074 (java) S 2063 2066 32365 0 -1 4202560 266 0 0 0 37 6 0 0 20 0 19 0 104145926 9856040960 84107 33554432000 1073741824 1073778376 140735436655104 139978229487784 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2066/tid=2075] ppid=2063 vsize=9625040 CPUtime=0.49 cores=0,2,4,6
/proc/2066/task/2075/stat : 2075 (java) S 2063 2066 32365 0 -1 4202560 350 0 0 0 42 7 0 0 20 0 19 0 104145927 9856040960 84107 33554432000 1073741824 1073778376 140735436655104 139978228435496 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2066/tid=2076] ppid=2063 vsize=9625040 CPUtime=0.48 cores=0,2,4,6
/proc/2066/task/2076/stat : 2076 (java) S 2063 2066 32365 0 -1 4202560 198 0 0 0 42 6 0 0 20 0 19 0 104145927 9856040960 84107 33554432000 1073741824 1073778376 140735436655104 139978227382696 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2066/tid=2077] ppid=2063 vsize=9625040 CPUtime=0.11 cores=0,2,4,6
/proc/2066/task/2077/stat : 2077 (java) S 2063 2066 32365 0 -1 4202560 164 0 0 0 8 3 0 0 20 0 19 0 104145928 9856040960 84107 33554432000 1073741824 1073778376 140735436655104 139978097011432 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2066/tid=2078] ppid=2063 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2078/stat : 2078 (java) S 2063 2066 32365 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104145928 9856040960 84107 33554432000 1073741824 1073778376 140735436655104 139978095957496 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2066/tid=2079] ppid=2063 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2079/stat : 2079 (java) S 2063 2066 32365 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 104145928 9856040960 84107 33554432000 1073741824 1073778376 140735436655104 139978094905096 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2066/tid=2080] ppid=2063 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2080/stat : 2080 (java) S 2063 2066 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104145930 9856040960 84107 33554432000 1073741824 1073778376 140735436655104 139978093853584 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2066/tid=2081] ppid=2063 vsize=9625040 CPUtime=0.47 cores=0,2,4,6
/proc/2066/task/2081/stat : 2081 (java) S 2063 2066 32365 0 -1 4202560 3891 0 0 0 47 0 0 0 20 0 19 0 104145930 9856040960 84107 33554432000 1073741824 1073778376 140735436655104 139978092800184 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2066/tid=2082] ppid=2063 vsize=9625040 CPUtime=0.37 cores=0,2,4,6
/proc/2066/task/2082/stat : 2082 (java) S 2063 2066 32365 0 -1 4202560 4230 0 0 0 37 0 0 0 20 0 19 0 104145930 9856040960 84107 33554432000 1073741824 1073778376 140735436655104 139978091747384 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2066/tid=2083] ppid=2063 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2083/stat : 2083 (java) S 2063 2066 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104145930 9856040960 84107 33554432000 1073741824 1073778376 140735436655104 139978090695288 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2066/tid=2084] ppid=2063 vsize=9625040 CPUtime=0.5 cores=0,2,4,6
/proc/2066/task/2084/stat : 2084 (java) S 2063 2066 32365 0 -1 4202560 104 0 0 0 26 24 0 0 20 0 19 0 104145931 9856040960 84107 33554432000 1073741824 1073778376 140735436655104 139978089642696 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2066/tid=2085] ppid=2063 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2085/stat : 2085 (java) S 2063 2066 32365 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104145949 9856040960 84107 33554432000 1073741824 1073778376 140735436655104 139978088588712 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 6 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 2066 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1796.5 s]
/proc/loadavg: 2.70 2.46 2.28 3/213 2583
/proc/meminfo: memFree=25185208/32872528 swapFree=15844/1710320
[pid=2066] ppid=2063 vsize=9625040 CPUtime=1800.02 cores=0,2,4,6
/proc/2066/stat : 2066 (java) S 2063 2066 32365 0 -1 4202496 14620 0 1 0 179931 71 0 0 20 0 19 0 104145925 9856040960 84107 33554432000 1073741824 1073778376 140735436655104 140735436646240 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2066/statm: 2406260 84107 2283 9 0 2396937 0
[pid=2066/tid=2067] ppid=2063 vsize=9625040 CPUtime=1790.5 cores=0,2,4,6
/proc/2066/task/2067/stat : 2067 (java) R 2063 2066 32365 0 -1 4202560 2562 0 1 0 179018 32 0 0 20 0 19 0 104145926 9856040960 84107 33554432000 1073741824 1073778376 140735436655104 139978273258688 139978102030732 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=2066/tid=2069] ppid=2063 vsize=9625040 CPUtime=0.43 cores=0,2,4,6
/proc/2066/task/2069/stat : 2069 (java) S 2063 2066 32365 0 -1 4202560 173 0 0 0 39 4 0 0 20 0 19 0 104145926 9856040960 84107 33554432000 1073741824 1073778376 140735436655104 139978234751784 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2066/tid=2070] ppid=2063 vsize=9625040 CPUtime=0.49 cores=0,2,4,6
/proc/2066/task/2070/stat : 2070 (java) S 2063 2066 32365 0 -1 4202560 274 0 0 0 44 5 0 0 20 0 19 0 104145926 9856040960 84107 33554432000 1073741824 1073778376 140735436655104 139978233698984 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2066/tid=2071] ppid=2063 vsize=9625040 CPUtime=0.47 cores=0,2,4,6
/proc/2066/task/2071/stat : 2071 (java) S 2063 2066 32365 0 -1 4202560 327 0 0 0 40 7 0 0 20 0 19 0 104145926 9856040960 84107 33554432000 1073741824 1073778376 140735436655104 139978232646696 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2066/tid=2072] ppid=2063 vsize=9625040 CPUtime=0.44 cores=0,2,4,6
/proc/2066/task/2072/stat : 2072 (java) S 2063 2066 32365 0 -1 4202560 388 0 0 0 38 6 0 0 20 0 19 0 104145926 9856040960 84107 33554432000 1073741824 1073778376 140735436655104 139978231593896 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2066/tid=2073] ppid=2063 vsize=9625040 CPUtime=0.48 cores=0,2,4,6
/proc/2066/task/2073/stat : 2073 (java) S 2063 2066 32365 0 -1 4202560 435 0 0 0 43 5 0 0 20 0 19 0 104145926 9856040960 84107 33554432000 1073741824 1073778376 140735436655104 139978230540584 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2066/tid=2074] ppid=2063 vsize=9625040 CPUtime=0.43 cores=0,2,4,6
/proc/2066/task/2074/stat : 2074 (java) S 2063 2066 32365 0 -1 4202560 266 0 0 0 37 6 0 0 20 0 19 0 104145926 9856040960 84107 33554432000 1073741824 1073778376 140735436655104 139978229487784 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2066/tid=2075] ppid=2063 vsize=9625040 CPUtime=0.49 cores=0,2,4,6
/proc/2066/task/2075/stat : 2075 (java) S 2063 2066 32365 0 -1 4202560 350 0 0 0 42 7 0 0 20 0 19 0 104145927 9856040960 84107 33554432000 1073741824 1073778376 140735436655104 139978228435496 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2066/tid=2076] ppid=2063 vsize=9625040 CPUtime=0.48 cores=0,2,4,6
/proc/2066/task/2076/stat : 2076 (java) S 2063 2066 32365 0 -1 4202560 198 0 0 0 42 6 0 0 20 0 19 0 104145927 9856040960 84107 33554432000 1073741824 1073778376 140735436655104 139978227382696 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2066/tid=2077] ppid=2063 vsize=9625040 CPUtime=0.11 cores=0,2,4,6
/proc/2066/task/2077/stat : 2077 (java) S 2063 2066 32365 0 -1 4202560 164 0 0 0 8 3 0 0 20 0 19 0 104145928 9856040960 84107 33554432000 1073741824 1073778376 140735436655104 139978097011432 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2066/tid=2078] ppid=2063 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2078/stat : 2078 (java) S 2063 2066 32365 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104145928 9856040960 84107 33554432000 1073741824 1073778376 140735436655104 139978095957496 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2066/tid=2079] ppid=2063 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2079/stat : 2079 (java) S 2063 2066 32365 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 104145928 9856040960 84107 33554432000 1073741824 1073778376 140735436655104 139978094905096 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2066/tid=2080] ppid=2063 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2080/stat : 2080 (java) S 2063 2066 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104145930 9856040960 84107 33554432000 1073741824 1073778376 140735436655104 139978093853584 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2066/tid=2081] ppid=2063 vsize=9625040 CPUtime=0.47 cores=0,2,4,6
/proc/2066/task/2081/stat : 2081 (java) S 2063 2066 32365 0 -1 4202560 3891 0 0 0 47 0 0 0 20 0 19 0 104145930 9856040960 84107 33554432000 1073741824 1073778376 140735436655104 139978092800184 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2066/tid=2082] ppid=2063 vsize=9625040 CPUtime=0.37 cores=0,2,4,6
/proc/2066/task/2082/stat : 2082 (java) S 2063 2066 32365 0 -1 4202560 4230 0 0 0 37 0 0 0 20 0 19 0 104145930 9856040960 84107 33554432000 1073741824 1073778376 140735436655104 139978091747384 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2066/tid=2083] ppid=2063 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2083/stat : 2083 (java) S 2063 2066 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104145930 9856040960 84107 33554432000 1073741824 1073778376 140735436655104 139978090695288 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2066/tid=2084] ppid=2063 vsize=9625040 CPUtime=0.5 cores=0,2,4,6
/proc/2066/task/2084/stat : 2084 (java) S 2063 2066 32365 0 -1 4202560 104 0 0 0 26 24 0 0 20 0 19 0 104145931 9856040960 84107 33554432000 1073741824 1073778376 140735436655104 139978089642696 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2066/tid=2085] ppid=2063 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2085/stat : 2085 (java) S 2063 2066 32365 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104145949 9856040960 84107 33554432000 1073741824 1073778376 140735436655104 139978088588712 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 9625040

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 2066 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=798149
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=193818
# CPU time returned by wait4() is 1795.99
# 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): 1796.54
CPU time (s): 1800.02
CPU user time (s): 1799.31
CPU system time (s): 0.71
CPU usage (%): 100.194
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.8
system time used= 1.19382
maximum resident set size= 500188
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14667
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1648
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39702
involuntary context switches= 18947

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.7304 second user time and 13.005 second system time

The end

Launcher Data 

Begin job on node146 at 2016-06-06 16:08:56
IDJOB=4085181
IDBENCH=1848
IDSOLVER=2546
FILE ID=node146/4085181-1465222136
RUNJOBID= node146-1465217554-32381
PBS_JOBID= 19843206
Free space on /tmp= 71732 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos5.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4085181-1465222136/watcher-4085181-1465222136 -o /tmp/evaluation-result-4085181-1465222136/solver-4085181-1465222136 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node146-1465217554-32381 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4085181-1465222136.opb

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

MD5SUM BENCH= 687e90f40c46b53feec9c54ee9b43fa6
RANDOM SEED=195816318

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

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

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.799
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		: 2666.799
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		: 2666.799
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		: 2666.799
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:        29525744 kB
Buffers:           13148 kB
Cached:           243384 kB
SwapCached:         1468 kB
Active:           732500 kB
Inactive:         197280 kB
Active(anon):     674028 kB
Inactive(anon):     1608 kB
Active(file):      58472 kB
Inactive(file):   195672 kB
Unevictable:     1710320 kB
Mlocked:           15844 kB
SwapTotal:      67108856 kB
SwapFree:       67099280 kB
Dirty:               736 kB
Writeback:             0 kB
AnonPages:       2386764 kB
Mapped:            15468 kB
Shmem:                 0 kB
Slab:             569120 kB
SReclaimable:      12092 kB
SUnreclaim:       557028 kB
KernelStack:        1600 kB
PageTables:         9028 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2613392 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2357248 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= 71732 MiB
End job on node146 at 2016-06-06 16:38:52