Trace number 4085874

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)-57 1800.03 1775.74

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_500_25_5.opb
MD5SUM40141f2f083fa5e1f8a41aa043de0b1b
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-64
Best CPU time to get the best result obtained on this benchmark1800.01
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -69
Optimality of the best value was proved NO
Number of variables500
Total number of constraints500
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints500
Minimum length of a constraint25
Maximum length of a constraint47
Number of terms in the objective function 500
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 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 500
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)15706
Sum of products size (including duplicates)31412
Number of different products7853
Sum of products size15706

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.00/0.09	c Number of processors 	8
0.09/0.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Glucose 2.1 dynamic restart strategy
0.09/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.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-4085874-1465257543.opb
0.09/0.11	c reading problem ... 
0.09/0.12	c  objective function found
1.04/0.55	c ... done. Wall clock time 0.436s.
1.04/0.55	c declared #vars     500
1.04/0.55	c internal #vars     8353
1.04/0.55	c #constraints  16706
1.04/0.55	c constraints type 
1.04/0.55	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 7853
1.04/0.55	c org.sat4j.minisat.constraints.cnf.UnitClauses => 453
1.04/0.55	c org.sat4j.specs.Constr$1 => 529
1.04/0.55	c org.sat4j.minisat.constraints.cnf.UnitClause => 18
1.04/0.55	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 7853
1.04/0.55	c 16706 constraints processed.
1.04/0.55	c objective function length is 500 literals
1.34/0.69	c SATISFIABLE
1.34/0.69	c OPTIMIZING...
1.34/0.69	c Got one! Elapsed wall clock time (in seconds):0.572
1.34/0.69	o -50
3.49/1.56	c cleaning 2497 clauses out of 5000 with flag 10267/5000
3.89/1.83	c Got one! Elapsed wall clock time (in seconds):1.716
3.89/1.83	o -51
3.89/1.85	c Got one! Elapsed wall clock time (in seconds):1.732
3.89/1.85	o -52
4.31/2.02	c cleaning 4247 clauses out of 8498 with flag 4247/10995
4.71/2.46	c cleaning 5120 clauses out of 10252 with flag 16616/16996
5.52/3.27	c cleaning 6064 clauses out of 12132 with flag 32417/23996
6.57/4.25	c cleaning 7030 clauses out of 14068 with flag 51261/31996
7.68/5.39	c cleaning 8015 clauses out of 16038 with flag 71850/40996
8.99/6.69	c cleaning 9010 clauses out of 18022 with flag 95950/50995
10.46/8.02	c cleaning 10003 clauses out of 20014 with flag 120447/61997
11.76/9.40	c cleaning 11004 clauses out of 22010 with flag 147515/73996
12.96/10.51	c cleaning 12003 clauses out of 24005 with flag 174643/86995
14.16/11.76	c cleaning 13001 clauses out of 26002 with flag 203855/100995
15.67/13.24	c cleaning 14001 clauses out of 28001 with flag 236171/115995
17.40/14.84	c cleaning 15000 clauses out of 30000 with flag 269117/131995
19.11/16.53	c cleaning 16000 clauses out of 32000 with flag 304082/148995
21.00/18.48	c cleaning 16995 clauses out of 34002 with flag 341163/166997
23.10/20.58	c cleaning 17999 clauses out of 36006 with flag 380292/185996
25.48/22.73	c cleaning 19000 clauses out of 38006 with flag 421561/205995
27.68/24.94	c cleaning 20003 clauses out of 40008 with flag 464701/226997
30.17/27.42	c cleaning 21002 clauses out of 42004 with flag 509906/248996
33.05/30.10	c cleaning 21995 clauses out of 44001 with flag 557187/271995
35.55/32.69	c cleaning 23002 clauses out of 46007 with flag 606614/295996
38.45/35.53	c cleaning 24003 clauses out of 48005 with flag 658063/320996
41.94/38.96	c cleaning 25001 clauses out of 50001 with flag 711220/346995
45.34/42.37	c cleaning 26001 clauses out of 52002 with flag 766511/373997
49.04/46.06	c cleaning 27000 clauses out of 54000 with flag 824327/401996
53.11/49.95	c cleaning 27997 clauses out of 56000 with flag 884378/430996
57.22/54.08	c cleaning 28996 clauses out of 58002 with flag 946497/460995
62.62/59.27	c cleaning 30001 clauses out of 60007 with flag 1010652/491996
67.12/63.72	c cleaning 30999 clauses out of 62006 with flag 1076830/523996
72.44/68.88	c cleaning 32001 clauses out of 64007 with flag 1145107/556996
77.83/74.00	c cleaning 32997 clauses out of 66005 with flag 1215301/590995
82.53/78.77	c cleaning 34000 clauses out of 68009 with flag 1287574/625996
87.88/84.01	c cleaning 35001 clauses out of 70009 with flag 1361475/661996
93.76/89.84	c cleaning 36002 clauses out of 72008 with flag 1437680/698996
99.94/95.90	c cleaning 37002 clauses out of 74005 with flag 1516007/736995
106.22/102.10	c cleaning 37997 clauses out of 76004 with flag 1596556/775996
113.01/108.80	c cleaning 39004 clauses out of 78007 with flag 1679014/815996
119.31/115.01	c cleaning 39996 clauses out of 80003 with flag 1763490/856996
125.98/121.66	c cleaning 40999 clauses out of 82007 with flag 1850185/898996
133.35/128.93	c cleaning 42000 clauses out of 84007 with flag 1938921/941995
139.73/135.21	c cleaning 43000 clauses out of 86007 with flag 2029715/985995
146.40/141.82	c cleaning 43998 clauses out of 88008 with flag 2122513/1030996
153.17/148.60	c cleaning 45004 clauses out of 90010 with flag 2217252/1076996
160.74/156.06	c cleaning 46001 clauses out of 92006 with flag 2314343/1123996
169.04/164.18	c cleaning 47000 clauses out of 94004 with flag 2413256/1171995
177.80/172.81	c cleaning 48000 clauses out of 96004 with flag 2514179/1220995
185.45/180.35	c cleaning 48997 clauses out of 98004 with flag 2617185/1270995
197.63/192.48	c cleaning 49999 clauses out of 100007 with flag 2722284/1321995
208.69/203.32	c cleaning 51004 clauses out of 102008 with flag 2829400/1373995
219.97/214.57	c cleaning 52003 clauses out of 104005 with flag 2938912/1426996
232.98/227.41	c cleaning 52997 clauses out of 106001 with flag 3050145/1480995
245.12/239.47	c cleaning 53998 clauses out of 108005 with flag 3163497/1535996
257.21/251.47	c cleaning 55001 clauses out of 110010 with flag 3278993/1591999
269.82/263.97	c cleaning 55998 clauses out of 112006 with flag 3396275/1648996
284.61/278.68	c cleaning 57002 clauses out of 114007 with flag 3515995/1706995
298.18/292.07	c cleaning 58000 clauses out of 116007 with flag 3638086/1765997
310.58/304.34	c cleaning 59001 clauses out of 118006 with flag 3761592/1825996
324.86/318.47	c cleaning 60000 clauses out of 120006 with flag 3887427/1886997
339.12/332.58	c cleaning 60995 clauses out of 122005 with flag 4015282/1948996
353.05/346.36	c cleaning 62002 clauses out of 124010 with flag 4144737/2011996
368.10/361.20	c cleaning 63003 clauses out of 126007 with flag 4276735/2075995
384.17/377.10	c cleaning 63997 clauses out of 128005 with flag 4410637/2140996
398.26/391.01	c cleaning 64999 clauses out of 130008 with flag 4546425/2206996
413.95/406.54	c cleaning 66000 clauses out of 132008 with flag 4685045/2273995
429.54/421.99	c cleaning 66999 clauses out of 134008 with flag 4825148/2341995
449.95/442.11	c cleaning 68006 clauses out of 136012 with flag 4967434/2410998
467.33/459.39	c cleaning 68998 clauses out of 138003 with flag 5111408/2480995
485.24/477.08	c cleaning 70001 clauses out of 140007 with flag 5257925/2551997
502.55/494.16	c cleaning 71000 clauses out of 142005 with flag 5406161/2623996
521.11/512.60	c cleaning 72000 clauses out of 144005 with flag 5556716/2696996
541.32/532.59	c cleaning 73002 clauses out of 146005 with flag 5709041/2770996
562.48/553.38	c cleaning 73997 clauses out of 148005 with flag 5863368/2845998
583.21/573.70	c cleaning 74998 clauses out of 150005 with flag 6019697/2921995
603.64/593.94	c cleaning 75999 clauses out of 152007 with flag 6178565/2998995
621.62/611.67	c cleaning 77000 clauses out of 154008 with flag 6339532/3076995
639.92/629.74	c cleaning 78004 clauses out of 156010 with flag 6502312/3155997
662.74/652.12	c cleaning 78999 clauses out of 158005 with flag 6667118/3235996
683.22/672.46	c cleaning 80000 clauses out of 160005 with flag 6833921/3316995
702.77/691.73	c Got one! Elapsed wall clock time (in seconds):691.619
702.77/691.73	o -53
706.38/695.39	c cleaning 79534 clauses out of 159067 with flag 10950/3396057
708.07/697.00	c cleaning 42765 clauses out of 85529 with flag 24302/3402053
709.20/698.11	c cleaning 24883 clauses out of 49765 with flag 39552/3409054
710.10/699.00	c cleaning 16439 clauses out of 32881 with flag 56273/3417053
710.92/699.85	c cleaning 12722 clauses out of 25443 with flag 74783/3426054
711.82/700.79	c cleaning 11358 clauses out of 22721 with flag 95148/3436054
712.62/701.57	c Got one! Elapsed wall clock time (in seconds):701.457
712.62/701.57	o -54
713.24/702.19	c cleaning 13544 clauses out of 27105 with flag 10445/3451796
713.74/702.68	c cleaning 9779 clauses out of 19563 with flag 22833/3457798
714.34/703.21	c cleaning 8390 clauses out of 16784 with flag 37126/3464798
714.96/703.85	c cleaning 8193 clauses out of 16392 with flag 53568/3472796
715.76/704.64	c cleaning 8600 clauses out of 17199 with flag 72148/3481796
716.69/705.53	c cleaning 9299 clauses out of 18600 with flag 92891/3491797
717.59/706.47	c cleaning 10150 clauses out of 20300 with flag 115441/3502796
718.71/707.55	c cleaning 11075 clauses out of 22151 with flag 140059/3514797
719.81/708.66	c cleaning 12038 clauses out of 24075 with flag 166735/3527796
721.12/709.99	c cleaning 13017 clauses out of 26037 with flag 195579/3541796
722.65/711.42	c cleaning 14006 clauses out of 28022 with flag 226439/3556798
724.28/713.09	c cleaning 15003 clauses out of 30014 with flag 259131/3572796
726.08/714.81	c cleaning 16000 clauses out of 32011 with flag 293897/3589796
727.90/716.63	c cleaning 17005 clauses out of 34012 with flag 330825/3607797
730.02/718.79	c cleaning 18000 clauses out of 36007 with flag 369845/3626797
732.44/721.13	c cleaning 19003 clauses out of 38006 with flag 410948/3646796
734.96/723.64	c cleaning 19998 clauses out of 40004 with flag 454054/3667797
738.00/726.63	c cleaning 21001 clauses out of 42005 with flag 499107/3689796
741.73/730.32	c cleaning 21998 clauses out of 44005 with flag 546032/3712797
745.67/734.28	c cleaning 23000 clauses out of 46006 with flag 595249/3736796
749.98/738.51	c cleaning 24000 clauses out of 48007 with flag 646466/3761797
753.84/742.36	c cleaning 25002 clauses out of 50007 with flag 699898/3787797
758.79/747.20	c cleaning 26000 clauses out of 52005 with flag 755149/3814797
763.91/752.33	c cleaning 27001 clauses out of 54005 with flag 812570/3842797
769.27/757.69	c cleaning 28000 clauses out of 56003 with flag 871934/3871796
775.01/763.32	c cleaning 28999 clauses out of 58003 with flag 933524/3901796
781.68/770.00	c cleaning 29997 clauses out of 60004 with flag 997015/3932796
788.39/776.52	c cleaning 31001 clauses out of 62007 with flag 1062566/3964796
791.03/779.12	c Got one! Elapsed wall clock time (in seconds):779.011
791.03/779.12	o -55
792.41/780.47	c cleaning 26431 clauses out of 52865 with flag 10433/3986655
793.31/781.34	c cleaning 16214 clauses out of 32434 with flag 22940/3992655
794.03/782.09	c cleaning 11608 clauses out of 23220 with flag 37995/3999655
794.73/782.79	c cleaning 9798 clauses out of 19611 with flag 55285/4007654
795.55/783.54	c cleaning 9403 clauses out of 18814 with flag 74699/4016655
796.46/784.41	c cleaning 9704 clauses out of 19411 with flag 96179/4026655
797.36/785.36	c cleaning 10350 clauses out of 20707 with flag 119881/4037655
798.49/786.41	c cleaning 11177 clauses out of 22358 with flag 145598/4049656
799.70/787.61	c cleaning 12085 clauses out of 24181 with flag 173072/4062656
801.01/788.93	c cleaning 13042 clauses out of 26094 with flag 203369/4076654
802.53/790.42	c cleaning 14023 clauses out of 28053 with flag 235437/4091655
804.14/792.09	c cleaning 15015 clauses out of 30029 with flag 270066/4107654
806.00/793.85	c cleaning 16002 clauses out of 32014 with flag 306333/4124654
807.83/795.67	c cleaning 17005 clauses out of 34012 with flag 344928/4142654
808.23/796.05	c Got one! Elapsed wall clock time (in seconds):795.933
808.23/796.05	o -56
808.50/796.22	c cleaning 11367 clauses out of 22739 with flag 2191/4148386
809.02/796.74	c cleaning 8682 clauses out of 17371 with flag 14988/4154385
809.52/797.26	c cleaning 7842 clauses out of 15693 with flag 30458/4161389
810.23/797.90	c cleaning 7920 clauses out of 15847 with flag 48532/4169385
810.83/798.57	c cleaning 8461 clauses out of 16927 with flag 67704/4178385
811.65/799.36	c cleaning 9231 clauses out of 18467 with flag 88700/4188386
811.85/799.55	c Got one! Elapsed wall clock time (in seconds):799.434
811.85/799.55	o -57
812.16/799.81	c cleaning 7507 clauses out of 15025 with flag 6834/4194175
812.55/800.25	c cleaning 6758 clauses out of 13520 with flag 19387/4200177
813.08/800.77	c cleaning 6881 clauses out of 13762 with flag 34600/4207177
813.68/801.38	c cleaning 7439 clauses out of 14879 with flag 51952/4215175
814.49/802.11	c cleaning 8213 clauses out of 16440 with flag 71288/4224175
815.29/803.00	c cleaning 9113 clauses out of 18227 with flag 93218/4234175
816.42/804.02	c cleaning 10054 clauses out of 20114 with flag 116660/4245175
817.52/805.13	c cleaning 11022 clauses out of 22060 with flag 141879/4257175
818.77/806.37	c cleaning 12013 clauses out of 24039 with flag 170287/4270176
820.17/807.75	c cleaning 13010 clauses out of 26026 with flag 200213/4284176
821.59/809.20	c cleaning 14007 clauses out of 28015 with flag 231612/4299175
823.43/810.92	c cleaning 15005 clauses out of 30009 with flag 267205/4315176
825.03/812.57	c cleaning 15993 clauses out of 32003 with flag 302547/4332175
826.94/814.43	c cleaning 17002 clauses out of 34010 with flag 339200/4350175
828.98/816.43	c cleaning 18003 clauses out of 36010 with flag 377910/4369177
831.02/818.44	c cleaning 19001 clauses out of 38005 with flag 418605/4389175
833.01/820.46	c cleaning 20002 clauses out of 40004 with flag 461470/4410175
835.23/822.64	c cleaning 21000 clauses out of 42005 with flag 506390/4432178
837.55/824.96	c cleaning 22000 clauses out of 44003 with flag 553343/4455176
840.06/827.46	c cleaning 22995 clauses out of 46003 with flag 602459/4479176
842.99/830.33	c cleaning 23999 clauses out of 48008 with flag 653588/4504176
846.02/833.35	c cleaning 24998 clauses out of 50008 with flag 706621/4530175
849.31/836.56	c cleaning 26000 clauses out of 52012 with flag 761785/4557177
853.23/840.36	c cleaning 27003 clauses out of 54010 with flag 818997/4585175
857.51/844.54	c cleaning 28003 clauses out of 56008 with flag 878315/4614176
862.74/849.72	c cleaning 28998 clauses out of 58006 with flag 939482/4644177
868.19/855.14	c cleaning 30000 clauses out of 60008 with flag 1002812/4675177
874.07/860.93	c cleaning 30999 clauses out of 62007 with flag 1067879/4707176
880.74/867.57	c cleaning 32002 clauses out of 64008 with flag 1134991/4740176
887.61/874.32	c cleaning 33001 clauses out of 66005 with flag 1204196/4774175
894.76/881.42	c cleaning 33997 clauses out of 68005 with flag 1275453/4809176
901.90/888.54	c cleaning 35003 clauses out of 70008 with flag 1348663/4845176
909.26/895.72	c cleaning 36000 clauses out of 72004 with flag 1424127/4882175
915.82/902.29	c cleaning 36998 clauses out of 74004 with flag 1501845/4920175
923.73/910.07	c cleaning 38003 clauses out of 76006 with flag 1581259/4959175
931.76/917.94	c cleaning 38998 clauses out of 78004 with flag 1662885/4999176
939.35/925.43	c cleaning 40000 clauses out of 80005 with flag 1746480/5040175
946.88/932.86	c cleaning 40999 clauses out of 82005 with flag 1832367/5082175
955.32/941.15	c cleaning 42001 clauses out of 84006 with flag 1920024/5125175
963.34/949.07	c cleaning 43002 clauses out of 86006 with flag 2009892/5169176
972.16/957.73	c cleaning 43997 clauses out of 88003 with flag 2101704/5214175
981.48/966.94	c cleaning 45000 clauses out of 90007 with flag 2195675/5260176
992.19/977.46	c cleaning 45999 clauses out of 92006 with flag 2291581/5307175
1002.43/987.57	c cleaning 46998 clauses out of 94007 with flag 2389485/5355175
1012.89/997.86	c cleaning 48005 clauses out of 96009 with flag 2489476/5404175
1023.30/1008.08	c cleaning 48995 clauses out of 98004 with flag 2591229/5454175
1033.64/1018.25	c cleaning 50002 clauses out of 100009 with flag 2695173/5505175
1045.29/1029.73	c cleaning 51002 clauses out of 102008 with flag 2801206/5557176
1056.97/1041.29	c cleaning 51998 clauses out of 104007 with flag 2909469/5610177
1069.60/1053.77	c cleaning 53002 clauses out of 106007 with flag 3019483/5664175
1082.76/1066.79	c cleaning 53998 clauses out of 108005 with flag 3131510/5719175
1095.14/1078.94	c cleaning 55000 clauses out of 110007 with flag 3245889/5775175
1108.31/1091.97	c cleaning 56001 clauses out of 112008 with flag 3362270/5832176
1123.11/1106.56	c cleaning 57003 clauses out of 114006 with flag 3480676/5890175
1138.97/1122.29	c cleaning 58001 clauses out of 116003 with flag 3601223/5949175
1155.29/1138.35	c cleaning 58998 clauses out of 118003 with flag 3723751/6009176
1171.66/1154.54	c cleaning 60000 clauses out of 120005 with flag 3847963/6070176
1188.66/1171.35	c cleaning 60998 clauses out of 122005 with flag 3974520/6132176
1204.47/1186.99	c cleaning 62002 clauses out of 124008 with flag 4102956/6195177
1219.27/1201.55	c cleaning 63001 clauses out of 126004 with flag 4233360/6259175
1234.77/1216.83	c cleaning 64000 clauses out of 128004 with flag 4366082/6324176
1253.97/1235.89	c cleaning 65002 clauses out of 130005 with flag 4500585/6390177
1274.77/1256.47	c cleaning 65994 clauses out of 132002 with flag 4637629/6457176
1294.62/1276.03	c cleaning 67001 clauses out of 134007 with flag 4776695/6525175
1316.24/1297.48	c cleaning 68002 clauses out of 136009 with flag 4917628/6594178
1339.02/1319.99	c cleaning 68998 clauses out of 138006 with flag 5060468/6664177
1366.22/1346.80	c cleaning 69999 clauses out of 140006 with flag 5205236/6735175
1393.36/1373.73	c cleaning 70998 clauses out of 142008 with flag 5351762/6807176
1423.31/1403.36	c cleaning 72000 clauses out of 144009 with flag 5500425/6880175
1451.32/1431.00	c cleaning 73001 clauses out of 146009 with flag 5651035/6954175
1478.39/1457.85	c cleaning 74003 clauses out of 148010 with flag 5803908/7029177
1507.96/1487.15	c cleaning 74997 clauses out of 150005 with flag 5958861/7105175
1532.79/1511.69	c cleaning 76000 clauses out of 152009 with flag 6115820/7182176
1558.44/1537.03	c cleaning 77002 clauses out of 154009 with flag 6274690/7260176
1591.00/1569.29	c cleaning 77996 clauses out of 156006 with flag 6435841/7339175
1619.64/1597.52	c cleaning 79004 clauses out of 158012 with flag 6598732/7419177
1646.71/1624.21	c cleaning 80003 clauses out of 160007 with flag 6763514/7500176
1679.03/1656.15	c cleaning 80999 clauses out of 162004 with flag 6930569/7582176
1711.31/1688.03	c cleaning 81997 clauses out of 164006 with flag 7099675/7665177
1744.64/1721.07	c cleaning 82996 clauses out of 166007 with flag 7270760/7749175
1776.67/1752.66	c cleaning 84003 clauses out of 168013 with flag 7443925/7834177
1800.03/1775.70	c starts		: 1135
1800.03/1775.70	c conflicts		: 7900318
1800.03/1775.70	c decisions		: 8819680
1800.03/1775.70	c propagations		: 43073568
1800.03/1775.70	c inspects		: 23890889225
1800.03/1775.70	c shortcuts		: 0
1800.03/1775.70	c learnt literals	: 0
1800.03/1775.70	c learnt binary clauses	: 0
1800.03/1775.70	c learnt ternary clauses	: 0
1800.03/1775.70	c learnt constraints	: 7900318
1800.03/1775.70	c ignored constraints	: 0
1800.03/1775.70	c root simplifications	: 0
1800.03/1775.70	c removed literals (reason simplification)	: 0
1800.03/1775.70	c reason swapping (by a shorter reason)	: 0
1800.03/1775.70	c Calls to reduceDB	: 213
1800.03/1775.70	c Number of update (reduction) of LBD	: 91375
1800.03/1775.70	c Imported unit clauses	: 0
1800.03/1775.70	c number of reductions to clauses (during analyze)	: 0
1800.03/1775.70	c number of learned constraints concerned by reduction	: 0
1800.03/1775.70	c number of learning phase by resolution	: 0
1800.03/1775.70	c number of learning phase by cutting planes	: 0
1800.03/1775.70	c speed (assignments/second)	: 24265.650526960977
1800.03/1775.70	c non guided choices	0
1800.03/1775.73	c learnt constraints type 
1800.03/1775.73	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 150151
1800.03/1775.73	s SATISFIABLE
1800.03/1775.73	c Found 8 solution(s)
1800.03/1775.73	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 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 x257 -x258 -x259 -x260 x261 -x262 x263 -x264 -x265 -x266 -x267 x268 x269 -x270 -x271 -x272 x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 x281 -x282 -x283 -x284 -x285 -x286 -x287 x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 x312 -x313 -x314 -x315 x316 -x317 -x318 -x319 -x320 -x321 x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 x400 -x401 -x402 -x403 -x404 -x405 -x406 x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 x417 x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 x429 x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 x443 -x444 -x445 -x446 -x447 -x448 x449 -x450 -x451 -x452 x453 -x454 x455 -x456 -x457 -x458 x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 x469 -x470 -x471 x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 x483 -x484 -x485 x486 -x487 -x488 -x489 -x490 -x491 -x492 x493 x494 -x495 -x496 -x497 -x498 -x499 -x500 
1800.03/1775.73	c objective function=-57
1800.03/1775.73	c Total wall clock time (in seconds): 1775.619

Verifier Data 

OK	-57

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-4085874-1465257543/watcher-4085874-1465257543 -o /tmp/evaluation-result-4085874-1465257543/solver-4085874-1465257543 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1465245095-8452 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4085874-1465257543.opb 

pid=10323
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.00 2.01 2.00 3/192 10326
/proc/meminfo: memFree=30998704/32872528 swapFree=13256/481332
[pid=10326] ppid=10323 vsize=9300 CPUtime=0 cores=1,3,5,7
/proc/10326/stat : 10326 (java) R 10323 10326 8435 0 -1 4202496 329 0 0 0 0 0 0 0 20 0 1 0 107689131 9523200 185 33554432000 1073741824 1073778376 140735167598160 140735167589384 235374538167 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10326/statm: 2 1 0 0 0 2 0

[startup+0.100059 s]
/proc/loadavg: 2.00 2.01 2.00 3/192 10326
/proc/meminfo: memFree=30998704/32872528 swapFree=13256/481332
[pid=10326] ppid=10323 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/10326/stat : 10326 (java) S 10323 10326 8435 0 -1 4202496 4398 0 1 0 8 1 0 0 20 0 18 0 107689131 9787879424 6033 33554432000 1073741824 1073778376 140736730848528 140736730839664 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10326/statm: 2389619 6033 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200219 s]
/proc/loadavg: 2.00 2.01 2.00 3/192 10326
/proc/meminfo: memFree=30998704/32872528 swapFree=13256/481332
[pid=10326] ppid=10323 vsize=9558476 CPUtime=0.23 cores=1,3,5,7
/proc/10326/stat : 10326 (java) S 10323 10326 8435 0 -1 4202496 4686 0 1 0 22 1 0 0 20 0 18 0 107689131 9787879424 6766 33554432000 1073741824 1073778376 140736730848528 140736730839664 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10326/statm: 2389619 6766 2199 9 0 2380296 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 9558476

[startup+0.300227 s]
/proc/loadavg: 2.00 2.01 2.00 3/192 10326
/proc/meminfo: memFree=30998704/32872528 swapFree=13256/481332
[pid=10326] ppid=10323 vsize=9558476 CPUtime=0.44 cores=1,3,5,7
/proc/10326/stat : 10326 (java) S 10323 10326 8435 0 -1 4202496 5726 0 1 0 43 1 0 0 20 0 18 0 107689131 9787879424 9014 33554432000 1073741824 1073778376 140736730848528 140736730839664 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10326/statm: 2389619 9014 2237 9 0 2380296 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 9558476

[startup+0.700185 s]
/proc/loadavg: 2.00 2.01 2.00 3/192 10326
/proc/meminfo: memFree=30998704/32872528 swapFree=13256/481332
[pid=10326] ppid=10323 vsize=9625040 CPUtime=1.64 cores=1,3,5,7
/proc/10326/stat : 10326 (java) S 10323 10326 8435 0 -1 4202496 23964 0 1 0 159 5 0 0 20 0 19 0 107689131 9856040960 25644 33554432000 1073741824 1073778376 140736730848528 140736730839664 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10326/statm: 2406260 25648 2263 9 0 2396937 0
Current children cumulated CPU time (s) 1.64
Current children cumulated vsize (KiB) 9625040

[startup+1.50085 s]
/proc/loadavg: 2.00 2.01 2.00 5/211 10345
/proc/meminfo: memFree=30868872/32872528 swapFree=13256/481332
[pid=10326] ppid=10323 vsize=9625040 CPUtime=3.49 cores=1,3,5,7
/proc/10326/stat : 10326 (java) S 10323 10326 8435 0 -1 4202496 36431 0 1 0 342 7 0 0 20 0 19 0 107689131 9856040960 36740 33554432000 1073741824 1073778376 140736730848528 140736730839664 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10326/statm: 2406260 36740 2273 9 0 2396937 0
[pid=10326/tid=10328] ppid=10323 vsize=9625040 CPUtime=1.46 cores=1,3,5,7
/proc/10326/task/10328/stat : 10328 (java) R 10323 10326 8435 0 -1 4202560 2453 0 1 0 144 2 0 0 20 0 19 0 107689132 9856040960 36740 33554432000 1073741824 1073778376 140736730848528 139636403908744 139636249584592 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=10326/tid=10329] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10329/stat : 10329 (java) S 10323 10326 8435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107689133 9856040960 36740 33554432000 1073741824 1073778376 140736730848528 139636376361256 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10326/tid=10330] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10330/stat : 10330 (java) S 10323 10326 8435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107689133 9856040960 36740 33554432000 1073741824 1073778376 140736730848528 139636375308456 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10326/tid=10331] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10331/stat : 10331 (java) S 10323 10326 8435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107689133 9856040960 36740 33554432000 1073741824 1073778376 140736730848528 139636374256168 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10326/tid=10332] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10332/stat : 10332 (java) S 10323 10326 8435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107689133 9856040960 36740 33554432000 1073741824 1073778376 140736730848528 139636373203368 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10326/tid=10333] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10333/stat : 10333 (java) S 10323 10326 8435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107689133 9856040960 36740 33554432000 1073741824 1073778376 140736730848528 139636372151080 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10326/tid=10334] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10334/stat : 10334 (java) S 10323 10326 8435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107689133 9856040960 36740 33554432000 1073741824 1073778376 140736730848528 139636371098280 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10326/tid=10335] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10335/stat : 10335 (java) S 10323 10326 8435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107689133 9856040960 36740 33554432000 1073741824 1073778376 140736730848528 139636370045992 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10326/tid=10336] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10336/stat : 10336 (java) S 10323 10326 8435 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 107689133 9856040960 36740 33554432000 1073741824 1073778376 140736730848528 139636368993192 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10326/tid=10337] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10337/stat : 10337 (java) S 10323 10326 8435 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 107689134 9856040960 36740 33554432000 1073741824 1073778376 140736730848528 139635757918440 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10326/tid=10338] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10338/stat : 10338 (java) S 10323 10326 8435 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 107689134 9856040960 36740 33554432000 1073741824 1073778376 140736730848528 139635756864504 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10326/tid=10339] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10339/stat : 10339 (java) S 10323 10326 8435 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107689134 9856040960 36740 33554432000 1073741824 1073778376 140736730848528 139635755812104 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10326/tid=10340] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10340/stat : 10340 (java) S 10323 10326 8435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107689137 9856040960 36740 33554432000 1073741824 1073778376 140736730848528 139635754760592 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10326/tid=10341] ppid=10323 vsize=9625040 CPUtime=0.99 cores=1,3,5,7
/proc/10326/task/10341/stat : 10341 (java) S 10323 10326 8435 0 -1 4202560 18916 0 0 0 96 3 0 0 20 0 19 0 107689137 9856040960 36740 33554432000 1073741824 1073778376 140736730848528 139635753708216 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10326/tid=10342] ppid=10323 vsize=9625040 CPUtime=0.99 cores=1,3,5,7
/proc/10326/task/10342/stat : 10342 (java) S 10323 10326 8435 0 -1 4202560 13785 0 0 0 97 2 0 0 20 0 19 0 107689137 9856040960 36740 33554432000 1073741824 1073778376 140736730848528 139635752655416 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10326/tid=10343] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10343/stat : 10343 (java) S 10323 10326 8435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107689137 9856040960 36740 33554432000 1073741824 1073778376 140736730848528 139635751603320 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10326/tid=10344] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10344/stat : 10344 (java) S 10323 10326 8435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107689137 9856040960 36740 33554432000 1073741824 1073778376 140736730848528 139635750550728 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10326/tid=10345] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10345/stat : 10345 (java) S 10323 10326 8435 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 107689193 9856040960 36740 33554432000 1073741824 1073778376 140736730848528 139635749495720 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.49
Current children cumulated vsize (KiB) 9625040

[startup+3.1009 s]
/proc/loadavg: 2.00 2.01 2.00 3/211 10345
/proc/meminfo: memFree=30841132/32872528 swapFree=13256/481332
[pid=10326] ppid=10323 vsize=9625040 CPUtime=5.42 cores=1,3,5,7
/proc/10326/stat : 10326 (java) S 10323 10326 8435 0 -1 4202496 36512 0 1 0 534 8 0 0 20 0 19 0 107689131 9856040960 45506 33554432000 1073741824 1073778376 140736730848528 140736730839664 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10326/statm: 2406260 45506 2278 9 0 2396937 0
[pid=10326/tid=10328] ppid=10323 vsize=9625040 CPUtime=3.05 cores=1,3,5,7
/proc/10326/task/10328/stat : 10328 (java) R 10323 10326 8435 0 -1 4202560 2471 0 1 0 303 2 0 0 20 0 19 0 107689132 9856040960 45506 33554432000 1073741824 1073778376 140736730848528 139636403907064 139636249584417 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=10326/tid=10329] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10329/stat : 10329 (java) S 10323 10326 8435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107689133 9856040960 45506 33554432000 1073741824 1073778376 140736730848528 139636376361256 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10326/tid=10330] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10330/stat : 10330 (java) S 10323 10326 8435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107689133 9856040960 45506 33554432000 1073741824 1073778376 140736730848528 139636375308456 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10326/tid=10331] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10331/stat : 10331 (java) S 10323 10326 8435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107689133 9856040960 45506 33554432000 1073741824 1073778376 140736730848528 139636374256168 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10326/tid=10332] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10332/stat : 10332 (java) S 10323 10326 8435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107689133 9856040960 45506 33554432000 1073741824 1073778376 140736730848528 139636373203368 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10326/tid=10333] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10333/stat : 10333 (java) S 10323 10326 8435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107689133 9856040960 45506 33554432000 1073741824 1073778376 140736730848528 139636372151080 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10326/tid=10334] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10334/stat : 10334 (java) S 10323 10326 8435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107689133 9856040960 45506 33554432000 1073741824 1073778376 140736730848528 139636371098280 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10326/tid=10335] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10335/stat : 10335 (java) S 10323 10326 8435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107689133 9856040960 45506 33554432000 1073741824 1073778376 140736730848528 139636370045992 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10326/tid=10336] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10336/stat : 10336 (java) S 10323 10326 8435 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 107689133 9856040960 45506 33554432000 1073741824 1073778376 140736730848528 139636368993192 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10326/tid=10337] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10337/stat : 10337 (java) S 10323 10326 8435 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 107689134 9856040960 45506 33554432000 1073741824 1073778376 140736730848528 139635757918440 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10326/tid=10338] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10338/stat : 10338 (java) S 10323 10326 8435 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 107689134 9856040960 45506 33554432000 1073741824 1073778376 140736730848528 139635756864504 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10326/tid=10339] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10339/stat : 10339 (java) S 10323 10326 8435 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107689134 9856040960 45506 33554432000 1073741824 1073778376 140736730848528 139635755812104 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10326/tid=10340] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10340/stat : 10340 (java) S 10323 10326 8435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107689137 9856040960 45506 33554432000 1073741824 1073778376 140736730848528 139635754760592 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10326/tid=10341] ppid=10323 vsize=9625040 CPUtime=1.21 cores=1,3,5,7
/proc/10326/task/10341/stat : 10341 (java) S 10323 10326 8435 0 -1 4202560 18940 0 0 0 117 4 0 0 20 0 19 0 107689137 9856040960 45506 33554432000 1073741824 1073778376 140736730848528 139635753708216 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10326/tid=10342] ppid=10323 vsize=9625040 CPUtime=1.11 cores=1,3,5,7
/proc/10326/task/10342/stat : 10342 (java) S 10323 10326 8435 0 -1 4202560 13823 0 0 0 109 2 0 0 20 0 19 0 107689137 9856040960 45506 33554432000 1073741824 1073778376 140736730848528 139635752655416 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10326/tid=10343] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10343/stat : 10343 (java) S 10323 10326 8435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107689137 9856040960 45506 33554432000 1073741824 1073778376 140736730848528 139635751603320 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10326/tid=10344] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10344/stat : 10344 (java) S 10323 10326 8435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107689137 9856040960 45506 33554432000 1073741824 1073778376 140736730848528 139635750550728 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10326/tid=10345] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10345/stat : 10345 (java) S 10323 10326 8435 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 107689193 9856040960 45506 33554432000 1073741824 1073778376 140736730848528 139635749495720 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 5.42
Current children cumulated vsize (KiB) 9625040

[startup+6.3009 s]
/proc/loadavg: 2.00 2.01 2.00 3/211 10345
/proc/meminfo: memFree=30800760/32872528 swapFree=13256/481332
[pid=10326] ppid=10323 vsize=9625040 CPUtime=8.68 cores=1,3,5,7
/proc/10326/stat : 10326 (java) S 10323 10326 8435 0 -1 4202496 36535 0 1 0 859 9 0 0 20 0 19 0 107689131 9856040960 53805 33554432000 1073741824 1073778376 140736730848528 140736730839664 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10326/statm: 2406260 53805 2278 9 0 2396937 0
[pid=10326/tid=10328] ppid=10323 vsize=9625040 CPUtime=6.24 cores=1,3,5,7
/proc/10326/task/10328/stat : 10328 (java) R 10323 10326 8435 0 -1 4202560 2494 0 1 0 621 3 0 0 20 0 19 0 107689132 9856040960 53805 33554432000 1073741824 1073778376 140736730848528 139636403908984 139636249584162 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=10326/tid=10329] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10329/stat : 10329 (java) S 10323 10326 8435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107689133 9856040960 53805 33554432000 1073741824 1073778376 140736730848528 139636376361256 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10326/tid=10330] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10330/stat : 10330 (java) S 10323 10326 8435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107689133 9856040960 53805 33554432000 1073741824 1073778376 140736730848528 139636375308456 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10326/tid=10331] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10331/stat : 10331 (java) S 10323 10326 8435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107689133 9856040960 53805 33554432000 1073741824 1073778376 140736730848528 139636374256168 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10326/tid=10332] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10332/stat : 10332 (java) S 10323 10326 8435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107689133 9856040960 53805 33554432000 1073741824 1073778376 140736730848528 139636373203368 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10326/tid=10333] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10333/stat : 10333 (java) S 10323 10326 8435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107689133 9856040960 53805 33554432000 1073741824 1073778376 140736730848528 139636372151080 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10326/tid=10334] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10334/stat : 10334 (java) S 10323 10326 8435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107689133 9856040960 53805 33554432000 1073741824 1073778376 140736730848528 139636371098280 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10326/tid=10335] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10335/stat : 10335 (java) S 10323 10326 8435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107689133 9856040960 53805 33554432000 1073741824 1073778376 140736730848528 139636370045992 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10326/tid=10336] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10336/stat : 10336 (java) S 10323 10326 8435 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 107689133 9856040960 53805 33554432000 1073741824 1073778376 140736730848528 139636368993192 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10326/tid=10337] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10337/stat : 10337 (java) S 10323 10326 8435 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 107689134 9856040960 53805 33554432000 1073741824 1073778376 140736730848528 139635757918440 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10326/tid=10338] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10338/stat : 10338 (java) S 10323 10326 8435 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 107689134 9856040960 53805 33554432000 1073741824 1073778376 140736730848528 139635756864504 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10326/tid=10339] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10339/stat : 10339 (java) S 10323 10326 8435 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107689134 9856040960 53805 33554432000 1073741824 1073778376 140736730848528 139635755812104 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10326/tid=10340] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10340/stat : 10340 (java) S 10323 10326 8435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107689137 9856040960 53805 33554432000 1073741824 1073778376 140736730848528 139635754760592 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10326/tid=10341] ppid=10323 vsize=9625040 CPUtime=1.27 cores=1,3,5,7
/proc/10326/task/10341/stat : 10341 (java) S 10323 10326 8435 0 -1 4202560 18940 0 0 0 123 4 0 0 20 0 19 0 107689137 9856040960 53805 33554432000 1073741824 1073778376 140736730848528 139635753708216 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10326/tid=10342] ppid=10323 vsize=9625040 CPUtime=1.12 cores=1,3,5,7
/proc/10326/task/10342/stat : 10342 (java) S 10323 10326 8435 0 -1 4202560 13823 0 0 0 110 2 0 0 20 0 19 0 107689137 9856040960 53805 33554432000 1073741824 1073778376 140736730848528 139635752655416 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10326/tid=10343] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10343/stat : 10343 (java) S 10323 10326 8435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107689137 9856040960 53805 33554432000 1073741824 1073778376 140736730848528 139635751603320 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10326/tid=10344] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10344/stat : 10344 (java) S 10323 10326 8435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107689137 9856040960 53805 33554432000 1073741824 1073778376 140736730848528 139635750550728 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10326/tid=10345] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10345/stat : 10345 (java) S 10323 10326 8435 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 107689193 9856040960 53805 33554432000 1073741824 1073778376 140736730848528 139635749495720 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 8.68
Current children cumulated vsize (KiB) 9625040


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

[pid=10326/tid=10345] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10345/stat : 10345 (java) S 10323 10326 8435 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 107689193 9856040960 160994 33554432000 1073741824 1073778376 140736730848528 139635749495720 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1685.36
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.06 2.04 2.00 4/211 10542
/proc/meminfo: memFree=30569080/32872528 swapFree=13256/481332
[pid=10326] ppid=10323 vsize=9625040 CPUtime=1745.96 cores=1,3,5,7
/proc/10326/stat : 10326 (java) S 10323 10326 8435 0 -1 4202496 53011 0 1 0 174384 212 0 0 20 0 19 0 107689131 9856040960 146461 33554432000 1073741824 1073778376 140736730848528 140736730839664 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10326/statm: 2406260 146461 2300 9 0 2396937 0
[pid=10326/tid=10328] ppid=10323 vsize=9625040 CPUtime=1702.46 cores=1,3,5,7
/proc/10326/task/10328/stat : 10328 (java) R 10323 10326 8435 0 -1 4202560 2979 0 1 0 170214 32 0 0 20 0 19 0 107689132 9856040960 146461 33554432000 1073741824 1073778376 140736730848528 139636403907760 139636249646787 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=10326/tid=10329] ppid=10323 vsize=9625040 CPUtime=3.95 cores=1,3,5,7
/proc/10326/task/10329/stat : 10329 (java) S 10323 10326 8435 0 -1 4202560 1471 0 0 0 370 25 0 0 20 0 19 0 107689133 9856040960 146461 33554432000 1073741824 1073778376 140736730848528 139636376361256 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10326/tid=10330] ppid=10323 vsize=9625040 CPUtime=3.52 cores=1,3,5,7
/proc/10326/task/10330/stat : 10330 (java) S 10323 10326 8435 0 -1 4202560 1543 0 0 0 332 20 0 0 20 0 19 0 107689133 9856040960 146461 33554432000 1073741824 1073778376 140736730848528 139636375308456 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10326/tid=10331] ppid=10323 vsize=9625040 CPUtime=3.65 cores=1,3,5,7
/proc/10326/task/10331/stat : 10331 (java) S 10323 10326 8435 0 -1 4202560 2218 0 0 0 346 19 0 0 20 0 19 0 107689133 9856040960 146461 33554432000 1073741824 1073778376 140736730848528 139636374256168 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10326/tid=10332] ppid=10323 vsize=9625040 CPUtime=3.82 cores=1,3,5,7
/proc/10326/task/10332/stat : 10332 (java) S 10323 10326 8435 0 -1 4202560 1666 0 0 0 362 20 0 0 20 0 19 0 107689133 9856040960 146461 33554432000 1073741824 1073778376 140736730848528 139636373203368 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10326/tid=10333] ppid=10323 vsize=9625040 CPUtime=3.75 cores=1,3,5,7
/proc/10326/task/10333/stat : 10333 (java) S 10323 10326 8435 0 -1 4202560 960 0 0 0 356 19 0 0 20 0 19 0 107689133 9856040960 146461 33554432000 1073741824 1073778376 140736730848528 139636372151080 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10326/tid=10334] ppid=10323 vsize=9625040 CPUtime=3.79 cores=1,3,5,7
/proc/10326/task/10334/stat : 10334 (java) S 10323 10326 8435 0 -1 4202560 2290 0 0 0 359 20 0 0 20 0 19 0 107689133 9856040960 146461 33554432000 1073741824 1073778376 140736730848528 139636371098280 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10326/tid=10335] ppid=10323 vsize=9625040 CPUtime=3.76 cores=1,3,5,7
/proc/10326/task/10335/stat : 10335 (java) S 10323 10326 8435 0 -1 4202560 1975 0 0 0 355 21 0 0 20 0 19 0 107689133 9856040960 146461 33554432000 1073741824 1073778376 140736730848528 139636370045992 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10326/tid=10336] ppid=10323 vsize=9625040 CPUtime=3.81 cores=1,3,5,7
/proc/10326/task/10336/stat : 10336 (java) S 10323 10326 8435 0 -1 4202560 2324 0 0 0 361 20 0 0 20 0 19 0 107689133 9856040960 146461 33554432000 1073741824 1073778376 140736730848528 139636368993192 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10326/tid=10337] ppid=10323 vsize=9625040 CPUtime=6.35 cores=1,3,5,7
/proc/10326/task/10337/stat : 10337 (java) S 10323 10326 8435 0 -1 4202560 1453 0 0 0 627 8 0 0 20 0 19 0 107689134 9856040960 146461 33554432000 1073741824 1073778376 140736730848528 139635757918440 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10326/tid=10338] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10338/stat : 10338 (java) S 10323 10326 8435 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 107689134 9856040960 146461 33554432000 1073741824 1073778376 140736730848528 139635756864504 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10326/tid=10339] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10339/stat : 10339 (java) S 10323 10326 8435 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 107689134 9856040960 146461 33554432000 1073741824 1073778376 140736730848528 139635755812104 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10326/tid=10340] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10340/stat : 10340 (java) S 10323 10326 8435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107689137 9856040960 146461 33554432000 1073741824 1073778376 140736730848528 139635754760592 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10326/tid=10341] ppid=10323 vsize=9625040 CPUtime=1.35 cores=1,3,5,7
/proc/10326/task/10341/stat : 10341 (java) S 10323 10326 8435 0 -1 4202560 18945 0 0 0 131 4 0 0 20 0 19 0 107689137 9856040960 146461 33554432000 1073741824 1073778376 140736730848528 139635753708216 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10326/tid=10342] ppid=10323 vsize=9625040 CPUtime=1.14 cores=1,3,5,7
/proc/10326/task/10342/stat : 10342 (java) S 10323 10326 8435 0 -1 4202560 13823 0 0 0 112 2 0 0 20 0 19 0 107689137 9856040960 146461 33554432000 1073741824 1073778376 140736730848528 139635752655416 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10326/tid=10343] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10343/stat : 10343 (java) S 10323 10326 8435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107689137 9856040960 146461 33554432000 1073741824 1073778376 140736730848528 139635751603320 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10326/tid=10344] ppid=10323 vsize=9625040 CPUtime=0.56 cores=1,3,5,7
/proc/10326/task/10344/stat : 10344 (java) S 10323 10326 8435 0 -1 4202560 101 0 0 0 26 30 0 0 20 0 19 0 107689137 9856040960 146461 33554432000 1073741824 1073778376 140736730848528 139635750550728 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10326/tid=10345] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10345/stat : 10345 (java) S 10323 10326 8435 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 107689193 9856040960 146461 33554432000 1073741824 1073778376 140736730848528 139635749495720 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1745.96
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1775.7 s]
/proc/loadavg: 2.06 2.04 2.00 3/211 10543
/proc/meminfo: memFree=30559024/32872528 swapFree=13256/481332
[pid=10326] ppid=10323 vsize=9625040 CPUtime=1800.03 cores=1,3,5,7
/proc/10326/stat : 10326 (java) S 10323 10326 8435 0 -1 4202496 54255 0 1 0 179788 215 0 0 20 0 19 0 107689131 9856040960 145959 33554432000 1073741824 1073778376 140736730848528 140736730839664 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10326/statm: 2406260 145959 2300 9 0 2396937 0
[pid=10326/tid=10328] ppid=10323 vsize=9625040 CPUtime=1755.16 cores=1,3,5,7
/proc/10326/task/10328/stat : 10328 (java) R 10323 10326 8435 0 -1 4202560 3000 0 1 0 175482 34 0 0 20 0 19 0 107689132 9856040960 145959 33554432000 1073741824 1073778376 140736730848528 139636403907776 139636249646787 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=10326/tid=10329] ppid=10323 vsize=9625040 CPUtime=4.09 cores=1,3,5,7
/proc/10326/task/10329/stat : 10329 (java) S 10323 10326 8435 0 -1 4202560 1723 0 0 0 383 26 0 0 20 0 19 0 107689133 9856040960 145959 33554432000 1073741824 1073778376 140736730848528 139636376361256 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10326/tid=10330] ppid=10323 vsize=9625040 CPUtime=3.64 cores=1,3,5,7
/proc/10326/task/10330/stat : 10330 (java) S 10323 10326 8435 0 -1 4202560 1543 0 0 0 344 20 0 0 20 0 19 0 107689133 9856040960 145959 33554432000 1073741824 1073778376 140736730848528 139636375308456 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10326/tid=10331] ppid=10323 vsize=9625040 CPUtime=3.75 cores=1,3,5,7
/proc/10326/task/10331/stat : 10331 (java) S 10323 10326 8435 0 -1 4202560 2220 0 0 0 355 20 0 0 20 0 19 0 107689133 9856040960 145959 33554432000 1073741824 1073778376 140736730848528 139636374256168 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10326/tid=10332] ppid=10323 vsize=9625040 CPUtime=3.91 cores=1,3,5,7
/proc/10326/task/10332/stat : 10332 (java) S 10323 10326 8435 0 -1 4202560 1709 0 0 0 371 20 0 0 20 0 19 0 107689133 9856040960 145959 33554432000 1073741824 1073778376 140736730848528 139636373203368 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10326/tid=10333] ppid=10323 vsize=9625040 CPUtime=3.87 cores=1,3,5,7
/proc/10326/task/10333/stat : 10333 (java) S 10323 10326 8435 0 -1 4202560 1233 0 0 0 367 20 0 0 20 0 19 0 107689133 9856040960 145959 33554432000 1073741824 1073778376 140736730848528 139636372151080 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10326/tid=10334] ppid=10323 vsize=9625040 CPUtime=3.91 cores=1,3,5,7
/proc/10326/task/10334/stat : 10334 (java) S 10323 10326 8435 0 -1 4202560 2306 0 0 0 371 20 0 0 20 0 19 0 107689133 9856040960 145959 33554432000 1073741824 1073778376 140736730848528 139636371098280 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10326/tid=10335] ppid=10323 vsize=9625040 CPUtime=3.89 cores=1,3,5,7
/proc/10326/task/10335/stat : 10335 (java) S 10323 10326 8435 0 -1 4202560 2358 0 0 0 367 22 0 0 20 0 19 0 107689133 9856040960 145959 33554432000 1073741824 1073778376 140736730848528 139636370045992 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10326/tid=10336] ppid=10323 vsize=9625040 CPUtime=3.92 cores=1,3,5,7
/proc/10326/task/10336/stat : 10336 (java) S 10323 10326 8435 0 -1 4202560 2501 0 0 0 372 20 0 0 20 0 19 0 107689133 9856040960 145959 33554432000 1073741824 1073778376 140736730848528 139636368993192 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10326/tid=10337] ppid=10323 vsize=9625040 CPUtime=6.63 cores=1,3,5,7
/proc/10326/task/10337/stat : 10337 (java) S 10323 10326 8435 0 -1 4202560 1528 0 0 0 655 8 0 0 20 0 19 0 107689134 9856040960 145959 33554432000 1073741824 1073778376 140736730848528 139635757918440 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10326/tid=10338] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10338/stat : 10338 (java) S 10323 10326 8435 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 107689134 9856040960 145959 33554432000 1073741824 1073778376 140736730848528 139635756864504 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10326/tid=10339] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10339/stat : 10339 (java) S 10323 10326 8435 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 107689134 9856040960 145959 33554432000 1073741824 1073778376 140736730848528 139635755812104 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10326/tid=10340] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10340/stat : 10340 (java) S 10323 10326 8435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107689137 9856040960 145959 33554432000 1073741824 1073778376 140736730848528 139635754760592 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10326/tid=10341] ppid=10323 vsize=9625040 CPUtime=1.35 cores=1,3,5,7
/proc/10326/task/10341/stat : 10341 (java) S 10323 10326 8435 0 -1 4202560 18945 0 0 0 131 4 0 0 20 0 19 0 107689137 9856040960 145959 33554432000 1073741824 1073778376 140736730848528 139635753708216 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10326/tid=10342] ppid=10323 vsize=9625040 CPUtime=1.14 cores=1,3,5,7
/proc/10326/task/10342/stat : 10342 (java) S 10323 10326 8435 0 -1 4202560 13823 0 0 0 112 2 0 0 20 0 19 0 107689137 9856040960 145959 33554432000 1073741824 1073778376 140736730848528 139635752655416 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10326/tid=10343] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10343/stat : 10343 (java) S 10323 10326 8435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107689137 9856040960 145959 33554432000 1073741824 1073778376 140736730848528 139635751603320 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10326/tid=10344] ppid=10323 vsize=9625040 CPUtime=0.58 cores=1,3,5,7
/proc/10326/task/10344/stat : 10344 (java) S 10323 10326 8435 0 -1 4202560 103 0 0 0 27 31 0 0 20 0 19 0 107689137 9856040960 145959 33554432000 1073741824 1073778376 140736730848528 139635750550728 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10326/tid=10345] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10345/stat : 10345 (java) S 10323 10326 8435 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 107689193 9856040960 145959 33554432000 1073741824 1073778376 140736730848528 139635749495720 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
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 10326 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1775.7 s]
/proc/loadavg: 2.06 2.04 2.00 3/211 10543
/proc/meminfo: memFree=30559024/32872528 swapFree=13256/481332
[pid=10326] ppid=10323 vsize=9625040 CPUtime=1800.03 cores=1,3,5,7
/proc/10326/stat : 10326 (java) S 10323 10326 8435 0 -1 4202496 54255 0 1 0 179788 215 0 0 20 0 19 0 107689131 9856040960 145959 33554432000 1073741824 1073778376 140736730848528 140736730839664 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10326/statm: 2406260 145959 2300 9 0 2396937 0
[pid=10326/tid=10328] ppid=10323 vsize=9625040 CPUtime=1755.16 cores=1,3,5,7
/proc/10326/task/10328/stat : 10328 (java) R 10323 10326 8435 0 -1 4202560 3000 0 1 0 175482 34 0 0 20 0 19 0 107689132 9856040960 145959 33554432000 1073741824 1073778376 140736730848528 139636403907776 139636249646787 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=10326/tid=10329] ppid=10323 vsize=9625040 CPUtime=4.09 cores=1,3,5,7
/proc/10326/task/10329/stat : 10329 (java) S 10323 10326 8435 0 -1 4202560 1723 0 0 0 383 26 0 0 20 0 19 0 107689133 9856040960 145959 33554432000 1073741824 1073778376 140736730848528 139636376361256 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10326/tid=10330] ppid=10323 vsize=9625040 CPUtime=3.64 cores=1,3,5,7
/proc/10326/task/10330/stat : 10330 (java) S 10323 10326 8435 0 -1 4202560 1543 0 0 0 344 20 0 0 20 0 19 0 107689133 9856040960 145959 33554432000 1073741824 1073778376 140736730848528 139636375308456 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10326/tid=10331] ppid=10323 vsize=9625040 CPUtime=3.75 cores=1,3,5,7
/proc/10326/task/10331/stat : 10331 (java) S 10323 10326 8435 0 -1 4202560 2220 0 0 0 355 20 0 0 20 0 19 0 107689133 9856040960 145959 33554432000 1073741824 1073778376 140736730848528 139636374256168 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10326/tid=10332] ppid=10323 vsize=9625040 CPUtime=3.91 cores=1,3,5,7
/proc/10326/task/10332/stat : 10332 (java) S 10323 10326 8435 0 -1 4202560 1709 0 0 0 371 20 0 0 20 0 19 0 107689133 9856040960 145959 33554432000 1073741824 1073778376 140736730848528 139636373203368 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10326/tid=10333] ppid=10323 vsize=9625040 CPUtime=3.87 cores=1,3,5,7
/proc/10326/task/10333/stat : 10333 (java) S 10323 10326 8435 0 -1 4202560 1233 0 0 0 367 20 0 0 20 0 19 0 107689133 9856040960 145959 33554432000 1073741824 1073778376 140736730848528 139636372151080 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10326/tid=10334] ppid=10323 vsize=9625040 CPUtime=3.91 cores=1,3,5,7
/proc/10326/task/10334/stat : 10334 (java) S 10323 10326 8435 0 -1 4202560 2306 0 0 0 371 20 0 0 20 0 19 0 107689133 9856040960 145959 33554432000 1073741824 1073778376 140736730848528 139636371098280 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10326/tid=10335] ppid=10323 vsize=9625040 CPUtime=3.89 cores=1,3,5,7
/proc/10326/task/10335/stat : 10335 (java) S 10323 10326 8435 0 -1 4202560 2358 0 0 0 367 22 0 0 20 0 19 0 107689133 9856040960 145959 33554432000 1073741824 1073778376 140736730848528 139636370045992 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10326/tid=10336] ppid=10323 vsize=9625040 CPUtime=3.92 cores=1,3,5,7
/proc/10326/task/10336/stat : 10336 (java) S 10323 10326 8435 0 -1 4202560 2501 0 0 0 372 20 0 0 20 0 19 0 107689133 9856040960 145959 33554432000 1073741824 1073778376 140736730848528 139636368993192 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10326/tid=10337] ppid=10323 vsize=9625040 CPUtime=6.63 cores=1,3,5,7
/proc/10326/task/10337/stat : 10337 (java) S 10323 10326 8435 0 -1 4202560 1528 0 0 0 655 8 0 0 20 0 19 0 107689134 9856040960 145959 33554432000 1073741824 1073778376 140736730848528 139635757918440 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10326/tid=10338] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10338/stat : 10338 (java) S 10323 10326 8435 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 107689134 9856040960 145959 33554432000 1073741824 1073778376 140736730848528 139635756864504 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10326/tid=10339] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10339/stat : 10339 (java) S 10323 10326 8435 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 107689134 9856040960 145959 33554432000 1073741824 1073778376 140736730848528 139635755812104 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10326/tid=10340] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10340/stat : 10340 (java) S 10323 10326 8435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107689137 9856040960 145959 33554432000 1073741824 1073778376 140736730848528 139635754760592 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10326/tid=10341] ppid=10323 vsize=9625040 CPUtime=1.35 cores=1,3,5,7
/proc/10326/task/10341/stat : 10341 (java) S 10323 10326 8435 0 -1 4202560 18945 0 0 0 131 4 0 0 20 0 19 0 107689137 9856040960 145959 33554432000 1073741824 1073778376 140736730848528 139635753708216 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10326/tid=10342] ppid=10323 vsize=9625040 CPUtime=1.14 cores=1,3,5,7
/proc/10326/task/10342/stat : 10342 (java) S 10323 10326 8435 0 -1 4202560 13823 0 0 0 112 2 0 0 20 0 19 0 107689137 9856040960 145959 33554432000 1073741824 1073778376 140736730848528 139635752655416 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10326/tid=10343] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10343/stat : 10343 (java) S 10323 10326 8435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107689137 9856040960 145959 33554432000 1073741824 1073778376 140736730848528 139635751603320 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10326/tid=10344] ppid=10323 vsize=9625040 CPUtime=0.58 cores=1,3,5,7
/proc/10326/task/10344/stat : 10344 (java) S 10323 10326 8435 0 -1 4202560 103 0 0 0 27 31 0 0 20 0 19 0 107689137 9856040960 145959 33554432000 1073741824 1073778376 140736730848528 139635750550728 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10326/tid=10345] ppid=10323 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10326/task/10345/stat : 10345 (java) S 10323 10326 8435 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 107689193 9856040960 145959 33554432000 1073741824 1073778376 140736730848528 139635749495720 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 9625040

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 10326 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=568336
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=610603
# CPU time returned by wait4() is 1796.18
# while last known CPU time is 1800.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1775.74
CPU time (s): 1800.03
CPU user time (s): 1797.88
CPU system time (s): 2.15
CPU usage (%): 101.368
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.57
system time used= 2.6106
maximum resident set size= 911100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54290
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 52944
involuntary context switches= 55979

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.2908 second user time and 8.77567 second system time

The end

Launcher Data 

Begin job on node104 at 2016-06-07 01:59:03
IDJOB=4085874
IDBENCH=48182
IDSOLVER=2546
FILE ID=node104/4085874-1465257543
RUNJOBID= node104-1465245095-8452
PBS_JOBID= 19843252
Free space on /tmp= 71736 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_25_5.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4085874-1465257543/watcher-4085874-1465257543 -o /tmp/evaluation-result-4085874-1465257543/solver-4085874-1465257543 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1465245095-8452 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4085874-1465257543.opb

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

MD5SUM BENCH= 40141f2f083fa5e1f8a41aa043de0b1b
RANDOM SEED=2138673676

node104.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.775
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.55
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.775
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.775
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.775
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		: 2666.775
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.775
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		: 2666.775
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.775
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30999240 kB
Buffers:           47420 kB
Cached:           119836 kB
SwapCached:         1720 kB
Active:           594188 kB
Inactive:          99876 kB
Active(anon):     526796 kB
Inactive(anon):     2360 kB
Active(file):      67392 kB
Inactive(file):    97516 kB
Unevictable:      481332 kB
Mlocked:           13256 kB
SwapTotal:      67108856 kB
SwapFree:       67097236 kB
Dirty:               452 kB
Writeback:             0 kB
AnonPages:        996824 kB
Mapped:            15336 kB
Shmem:                 0 kB
Slab:             567376 kB
SReclaimable:      11508 kB
SUnreclaim:       555868 kB
KernelStack:        1744 kB
PageTables:         6296 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1305296 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    970752 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= 71736 MiB
End job on node104 at 2016-06-07 02:28:39