Trace number 4090728

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j PB 2.3.6 Resolution PB16MSAT (TO) 1800.04 1798.24

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-geom40-2_wcsp.wbo
MD5SUMdc0207dd780e8486ac4fdb37fec549e2
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark22
Best CPU time to get the best result obtained on this benchmark0.51592
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables80
Total number of constraints196
Number of soft constraints156
Number of constraints which are clauses156
Number of constraints which are cardinality constraints (but not clauses)40
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Top cost 79
Min constraint cost 1
Max constraint cost 1
Sum of constraints costs 156
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 3
Number of bits of the biggest sum of numbers2
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.09	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@587bd9f2
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@4e3eca90
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-4090728-1466068082.wbo
0.10/0.11	c reading problem ... 
0.10/0.14	c ... done. Wall clock time 0.032s.
0.10/0.14	c declared #vars     80
0.10/0.14	c internal #vars     236
0.10/0.14	c #constraints  236
0.10/0.14	c constraints type 
0.10/0.14	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 156
0.10/0.14	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 80
0.10/0.14	c 236 constraints processed.
0.10/0.14	c objective function length is 156 literals
0.10/0.15	c SATISFIABLE
0.10/0.15	c OPTIMIZING...
0.10/0.15	c Got one! Elapsed wall clock time (in seconds):0.046
0.10/0.15	o 40
0.10/0.16	c Got one! Elapsed wall clock time (in seconds):0.054
0.10/0.16	o 37
0.10/0.17	c Got one! Elapsed wall clock time (in seconds):0.059
0.10/0.17	o 35
0.10/0.17	c Got one! Elapsed wall clock time (in seconds):0.063
0.10/0.17	o 32
0.27/0.20	c Got one! Elapsed wall clock time (in seconds):0.087
0.27/0.20	o 31
0.27/0.20	c Got one! Elapsed wall clock time (in seconds):0.091
0.27/0.20	o 29
0.65/0.48	c cleaning 2540 clauses out of 5080 with flag 12217/5080
1.24/0.72	c cleaning 4267 clauses out of 8540 with flag 29292/11080
1.45/0.99	c cleaning 5636 clauses out of 11273 with flag 49846/18080
1.86/1.34	c cleaning 6817 clauses out of 13637 with flag 72682/26080
2.29/1.77	c cleaning 7910 clauses out of 15822 with flag 98900/35082
2.80/2.29	c cleaning 8952 clauses out of 17911 with flag 130531/45081
3.39/2.81	c cleaning 9975 clauses out of 19958 with flag 161916/56080
4.00/3.48	c cleaning 10992 clauses out of 21984 with flag 191879/68081
4.79/4.20	c cleaning 11991 clauses out of 23991 with flag 225614/81080
5.69/5.13	c cleaning 12997 clauses out of 26001 with flag 262156/95081
6.59/6.06	c cleaning 14000 clauses out of 28003 with flag 302026/110080
7.69/7.18	c cleaning 14997 clauses out of 30003 with flag 342723/126080
8.99/8.48	c cleaning 16004 clauses out of 32007 with flag 385589/143081
10.29/9.73	c cleaning 16999 clauses out of 34002 with flag 430668/161080
11.70/11.13	c cleaning 18001 clauses out of 36004 with flag 477713/180081
13.19/12.70	c cleaning 19002 clauses out of 38004 with flag 528621/200082
14.79/14.28	c cleaning 19995 clauses out of 40001 with flag 579525/221081
16.69/16.16	c cleaning 21002 clauses out of 42006 with flag 632899/243081
18.79/18.27	c cleaning 21998 clauses out of 44004 with flag 687649/266081
20.98/20.40	c cleaning 22999 clauses out of 46008 with flag 745122/290083
23.09/22.53	c cleaning 24002 clauses out of 48008 with flag 804964/315082
25.39/24.89	c cleaning 24998 clauses out of 50004 with flag 867112/341080
27.89/27.37	c cleaning 26003 clauses out of 52006 with flag 931583/368080
30.59/30.05	c cleaning 27005 clauses out of 54009 with flag 997606/396086
33.39/32.83	c cleaning 27999 clauses out of 55998 with flag 1065788/425080
36.69/36.15	c cleaning 28997 clauses out of 58001 with flag 1138530/455082
39.99/39.44	c cleaning 29998 clauses out of 60002 with flag 1212181/486080
43.50/42.91	c cleaning 31001 clauses out of 62005 with flag 1288270/518081
47.09/46.51	c cleaning 32000 clauses out of 64003 with flag 1366049/551080
50.99/50.47	c cleaning 32997 clauses out of 66003 with flag 1446113/585080
55.40/54.80	c cleaning 34000 clauses out of 68006 with flag 1528376/620080
59.59/59.02	c cleaning 35000 clauses out of 70006 with flag 1613849/656080
64.20/63.64	c cleaning 35999 clauses out of 72006 with flag 1700536/693080
69.03/68.40	c cleaning 36997 clauses out of 74007 with flag 1790487/731080
69.23/68.62	c Got one! Elapsed wall clock time (in seconds):68.511
69.23/68.62	o 28
69.38/68.73	c Got one! Elapsed wall clock time (in seconds):68.618
69.38/68.73	o 27
69.58/68.98	c cleaning 21915 clauses out of 43833 with flag 5017/737903
69.68/69.00	c Got one! Elapsed wall clock time (in seconds):68.895
69.68/69.00	o 26
69.78/69.17	c Got one! Elapsed wall clock time (in seconds):69.057
69.78/69.17	o 25
69.88/69.25	c Got one! Elapsed wall clock time (in seconds):69.143
69.88/69.25	o 24
69.99/69.34	c cleaning 14765 clauses out of 29531 with flag 2571/745516
69.99/69.39	c Got one! Elapsed wall clock time (in seconds):69.279
69.99/69.39	o 23
70.18/69.54	c cleaning 9979 clauses out of 19966 with flag 9306/750716
70.38/69.76	c cleaning 7988 clauses out of 15986 with flag 23698/756715
70.58/69.99	c cleaning 7494 clauses out of 14998 with flag 43544/763715
70.78/70.18	c cleaning 7744 clauses out of 15504 with flag 67424/771715
71.09/70.44	c cleaning 8373 clauses out of 16760 with flag 96994/780715
71.38/70.74	c cleaning 9187 clauses out of 18387 with flag 132012/790715
71.78/71.11	c cleaning 10095 clauses out of 20201 with flag 166123/801716
72.19/71.58	c cleaning 11047 clauses out of 22105 with flag 200978/813715
72.78/72.10	c cleaning 12022 clauses out of 24058 with flag 237832/826715
73.39/72.71	c cleaning 13016 clauses out of 26039 with flag 279350/840718
73.98/73.39	c cleaning 14006 clauses out of 28022 with flag 324845/855717
74.78/74.19	c cleaning 15000 clauses out of 30014 with flag 380530/871715
75.68/75.05	c cleaning 15999 clauses out of 32014 with flag 425594/888715
76.69/76.02	c cleaning 17001 clauses out of 34015 with flag 475237/906715
77.69/77.09	c cleaning 18002 clauses out of 36015 with flag 530080/925716
78.91/78.27	c cleaning 18997 clauses out of 38013 with flag 587712/945716
80.20/79.56	c cleaning 20005 clauses out of 40016 with flag 641833/966716
81.70/81.05	c cleaning 20995 clauses out of 42010 with flag 695434/988715
83.30/82.64	c cleaning 22003 clauses out of 44015 with flag 751142/1011715
85.10/84.49	c cleaning 23000 clauses out of 46012 with flag 811101/1035715
86.90/86.24	c cleaning 23996 clauses out of 48013 with flag 876038/1060716
88.80/88.14	c cleaning 25005 clauses out of 50017 with flag 950338/1086716
90.80/90.14	c cleaning 26001 clauses out of 52011 with flag 1028931/1113715
92.90/92.27	c cleaning 26997 clauses out of 54012 with flag 1109184/1141717
95.00/94.38	c cleaning 28000 clauses out of 56013 with flag 1192279/1170715
97.30/96.61	c cleaning 28999 clauses out of 58013 with flag 1281306/1200715
99.70/99.08	c cleaning 29997 clauses out of 60014 with flag 1360157/1231715
102.59/101.91	c cleaning 31006 clauses out of 62019 with flag 1440480/1263717
105.30/104.64	c cleaning 31997 clauses out of 64011 with flag 1539496/1296715
108.09/107.40	c cleaning 32997 clauses out of 66014 with flag 1634550/1330715
111.09/110.45	c cleaning 33996 clauses out of 68017 with flag 1754425/1365715
114.39/113.73	c cleaning 35006 clauses out of 70023 with flag 1886962/1401717
118.00/117.33	c cleaning 35998 clauses out of 72016 with flag 1987283/1438716
121.70/121.07	c cleaning 37001 clauses out of 74018 with flag 2087923/1476716
125.99/125.30	c cleaning 38002 clauses out of 76016 with flag 2183783/1515715
130.56/129.84	c cleaning 38998 clauses out of 78016 with flag 2285097/1555717
134.85/134.16	c cleaning 39999 clauses out of 80016 with flag 2394055/1596715
139.25/138.50	c cleaning 41000 clauses out of 82017 with flag 2547743/1638715
143.45/142.77	c cleaning 41997 clauses out of 84017 with flag 2679481/1681715
148.17/147.47	c cleaning 42998 clauses out of 86020 with flag 2800947/1725715
152.76/152.09	c cleaning 44004 clauses out of 88024 with flag 2950728/1770717
157.46/156.70	c cleaning 45001 clauses out of 90019 with flag 3093719/1816716
161.96/161.29	c cleaning 46000 clauses out of 92018 with flag 3220131/1863716
166.56/165.84	c cleaning 47001 clauses out of 94017 with flag 3351805/1911715
171.26/170.56	c cleaning 47992 clauses out of 96016 with flag 3498154/1960715
175.96/175.21	c cleaning 49000 clauses out of 98024 with flag 3635445/2010715
181.56/180.85	c cleaning 50004 clauses out of 100024 with flag 3762824/2061715
187.36/186.69	c cleaning 51001 clauses out of 102020 with flag 3898502/2113715
193.66/192.96	c cleaning 52002 clauses out of 104022 with flag 4036863/2166718
199.36/198.60	c cleaning 53002 clauses out of 106018 with flag 4209328/2220716
205.56/204.82	c cleaning 54003 clauses out of 108015 with flag 4410513/2275715
212.86/212.11	c cleaning 55000 clauses out of 110016 with flag 4559048/2331719
220.37/219.66	c cleaning 55997 clauses out of 112013 with flag 4704929/2388716
228.61/227.89	c cleaning 57002 clauses out of 114017 with flag 4856706/2446717
236.00/235.22	c cleaning 57992 clauses out of 116014 with flag 5048127/2505716
244.11/243.32	c cleaning 58999 clauses out of 118023 with flag 5273470/2565717
252.51/251.70	c cleaning 59998 clauses out of 120022 with flag 5483276/2626715
260.71/259.95	c cleaning 60998 clauses out of 122024 with flag 5680806/2688715
269.42/268.64	c cleaning 61999 clauses out of 124027 with flag 5891669/2751716
278.21/277.45	c cleaning 63008 clauses out of 126027 with flag 6079184/2815715
288.41/287.67	c cleaning 64001 clauses out of 128020 with flag 6313735/2880716
298.31/297.52	c cleaning 65005 clauses out of 130019 with flag 6475764/2946716
308.71/307.95	c cleaning 66000 clauses out of 132014 with flag 6648218/3013716
319.61/318.81	c cleaning 66997 clauses out of 134014 with flag 6820176/3081716
331.11/330.37	c cleaning 67993 clauses out of 136016 with flag 7014316/3150715
342.72/341.99	c cleaning 69003 clauses out of 138023 with flag 7201629/3220715
354.37/353.58	c cleaning 70002 clauses out of 140020 with flag 7385540/3291715
367.08/366.23	c cleaning 71001 clauses out of 142018 with flag 7570105/3363715
379.98/379.15	c cleaning 72001 clauses out of 144019 with flag 7761185/3436717
393.28/392.43	c cleaning 73000 clauses out of 146016 with flag 7954168/3510715
407.88/407.05	c cleaning 74003 clauses out of 148016 with flag 8147273/3585715
422.59/421.74	c cleaning 75004 clauses out of 150017 with flag 8342418/3661719
437.39/436.56	c cleaning 75998 clauses out of 152009 with flag 8550806/3738715
450.19/449.32	c cleaning 77000 clauses out of 154013 with flag 8808487/3816717
463.69/462.85	c cleaning 77994 clauses out of 156011 with flag 9056469/3895715
476.09/475.21	c cleaning 78997 clauses out of 158017 with flag 9291588/3975715
489.69/488.83	c cleaning 80010 clauses out of 160020 with flag 9494041/4056715
503.46/502.58	c cleaning 81002 clauses out of 162010 with flag 9696781/4138715
517.06/516.11	c cleaning 82001 clauses out of 164008 with flag 9903024/4221715
530.36/529.42	c cleaning 82996 clauses out of 166008 with flag 10115635/4305716
543.46/542.57	c cleaning 84001 clauses out of 168011 with flag 10351880/4390715
555.86/554.92	c cleaning 85004 clauses out of 170010 with flag 10611648/4476715
569.56/568.61	c cleaning 85999 clauses out of 172006 with flag 10859965/4563715
582.77/581.86	c cleaning 86996 clauses out of 174007 with flag 11124532/4651715
596.17/595.28	c cleaning 88001 clauses out of 176011 with flag 11391939/4740715
608.97/608.06	c cleaning 88998 clauses out of 178010 with flag 11685325/4830715
623.76/622.85	c cleaning 90003 clauses out of 180012 with flag 11947402/4921715
637.43/636.41	c cleaning 91004 clauses out of 182013 with flag 12230751/5013719
651.14/650.11	c cleaning 92002 clauses out of 184006 with flag 12511862/5106716
665.73/664.77	c cleaning 93000 clauses out of 186007 with flag 12769228/5200719
681.44/680.49	c cleaning 93999 clauses out of 188005 with flag 13023462/5295717
697.35/696.39	c cleaning 94993 clauses out of 190004 with flag 13298618/5391715
713.14/712.15	c cleaning 96004 clauses out of 192014 with flag 13578602/5488718
729.94/728.97	c cleaning 96998 clauses out of 194007 with flag 13863183/5586715
745.76/744.72	c cleaning 98002 clauses out of 196010 with flag 14139823/5685716
761.45/760.32	c cleaning 98999 clauses out of 198007 with flag 14433290/5785715
774.85/773.72	c cleaning 99997 clauses out of 200008 with flag 14716610/5886715
791.07/789.92	c cleaning 100997 clauses out of 202011 with flag 15010380/5988715
809.16/808.05	c cleaning 102000 clauses out of 204016 with flag 15318691/6091717
827.76/826.65	c cleaning 103005 clauses out of 206014 with flag 15625726/6195715
846.46/845.33	c cleaning 103997 clauses out of 208010 with flag 15946479/6300716
865.76/864.67	c cleaning 104997 clauses out of 210013 with flag 16247773/6406716
884.36/883.25	c cleaning 106002 clauses out of 212016 with flag 16569810/6513716
902.87/901.68	c cleaning 107002 clauses out of 214016 with flag 16893395/6621718
921.57/920.31	c cleaning 108002 clauses out of 216011 with flag 17209470/6730715
941.89/940.68	c cleaning 109000 clauses out of 218009 with flag 17538391/6840715
964.68/963.47	c cleaning 110003 clauses out of 220010 with flag 17869978/6951716
988.29/987.04	c cleaning 110998 clauses out of 222007 with flag 18205810/7063716
1006.89/1005.69	c cleaning 112002 clauses out of 224008 with flag 18543318/7176715
1026.10/1024.83	c cleaning 112998 clauses out of 226007 with flag 18876763/7290716
1046.19/1044.89	c cleaning 113999 clauses out of 228008 with flag 19223661/7405715
1066.20/1064.88	c cleaning 115000 clauses out of 230009 with flag 19565792/7521715
1088.09/1086.72	c cleaning 116004 clauses out of 232010 with flag 19909134/7638716
1108.90/1107.57	c cleaning 117002 clauses out of 234005 with flag 20248602/7756715
1129.90/1128.54	c cleaning 117999 clauses out of 236005 with flag 20583042/7875717
1153.29/1151.94	c cleaning 118999 clauses out of 238005 with flag 20900332/7995716
1178.97/1177.59	c cleaning 120000 clauses out of 240008 with flag 21230579/8116718
1203.78/1202.37	c cleaning 120998 clauses out of 242006 with flag 21552557/8238716
1229.18/1227.71	c cleaning 122000 clauses out of 244008 with flag 21873477/8361716
1253.67/1252.21	c cleaning 123001 clauses out of 246008 with flag 22192266/8485716
1278.48/1277.06	c cleaning 123994 clauses out of 248006 with flag 22518666/8610715
1304.38/1302.93	c cleaning 125003 clauses out of 250012 with flag 22848660/8736715
1331.08/1329.52	c cleaning 125999 clauses out of 252011 with flag 23181770/8863717
1359.29/1357.74	c cleaning 127000 clauses out of 254010 with flag 23533823/8991715
1388.10/1386.55	c cleaning 127997 clauses out of 256012 with flag 23881982/9120717
1416.50/1414.90	c cleaning 129004 clauses out of 258013 with flag 24219466/9250715
1444.91/1443.38	c cleaning 130000 clauses out of 260009 with flag 24554828/9381715
1472.92/1471.21	c cleaning 130998 clauses out of 262010 with flag 24912061/9513716
1503.23/1501.58	c cleaning 132004 clauses out of 264013 with flag 25266318/9646717
1536.53/1534.85	c cleaning 133002 clauses out of 266007 with flag 25634461/9780715
1567.62/1565.94	c cleaning 133999 clauses out of 268006 with flag 25982916/9915716
1601.53/1599.84	c cleaning 134997 clauses out of 270007 with flag 26344830/10051716
1634.93/1633.21	c cleaning 135995 clauses out of 272009 with flag 26714402/10188715
1669.82/1668.05	c cleaning 137003 clauses out of 274015 with flag 27075970/10326716
1706.12/1704.37	c cleaning 137993 clauses out of 276012 with flag 27431369/10465716
1741.43/1739.67	c cleaning 139003 clauses out of 278018 with flag 27787902/10605715
1778.93/1777.17	c cleaning 140004 clauses out of 280016 with flag 28146082/10746716
1800.04/1798.20	c starts		: 21
1800.04/1798.20	c conflicts		: 10845220
1800.04/1798.20	c decisions		: 17278420
1800.04/1798.20	c propagations		: 176675541
1800.04/1798.20	c inspects		: 35748716301
1800.04/1798.20	c shortcuts		: 0
1800.04/1798.20	c learnt literals	: 0
1800.04/1798.20	c learnt binary clauses	: 0
1800.04/1798.20	c learnt ternary clauses	: 0
1800.04/1798.20	c learnt constraints	: 10845220
1800.04/1798.20	c ignored constraints	: 0
1800.04/1798.20	c root simplifications	: 0
1800.04/1798.20	c removed literals (reason simplification)	: 0
1800.04/1798.20	c reason swapping (by a shorter reason)	: 0
1800.04/1798.20	c Calls to reduceDB	: 173
1800.04/1798.20	c Number of update (reduction) of LBD	: 1785526
1800.04/1798.20	c Imported unit clauses	: 0
1800.04/1798.20	c number of reductions to clauses (during analyze)	: 0
1800.04/1798.20	c number of learned constraints concerned by reduction	: 0
1800.04/1798.20	c number of learning phase by resolution	: 0
1800.04/1798.20	c number of learning phase by cutting planes	: 0
1800.04/1798.20	c speed (assignments/second)	: 98259.0343253475
1800.04/1798.20	c non guided choices	14
1800.04/1798.23	c learnt constraints type 
1800.04/1798.23	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 238516
1800.04/1798.23	s SATISFIABLE
1800.04/1798.23	c Found 12 solution(s)
1800.04/1798.23	v -x1 x2 x3 -x4 x5 -x6 x7 -x8 -x9 x10 -x11 x12 -x13 x14 -x15 x16 x17 -x18 -x19 x20 -x21 x22 -x23 x24 -x25 x26 -x27 x28 x29 -x30 x31 -x32 x33 -x34 x35 -x36 -x37 x38 x39 -x40 x41 -x42 x43 -x44 -x45 x46 x47 -x48 -x49 x50 x51 -x52 x53 -x54 -x55 x56 x57 -x58 -x59 x60 -x61 x62 -x63 x64 -x65 x66 -x67 x68 -x69 x70 x71 -x72 x73 -x74 -x75 x76 -x77 x78 x79 -x80 
1800.04/1798.23	c objective function=23
1800.04/1798.23	c Total wall clock time (in seconds): 1798.124

Verifier Data 

OK	23

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-4090728-1466068082/watcher-4090728-1466068082 -o /tmp/evaluation-result-4090728-1466068082/solver-4090728-1466068082 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1466062131-17742 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4090728-1466068082.wbo 

pid=20258
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.18 2.20 2.18 3/194 20261
/proc/meminfo: memFree=30446176/32872528 swapFree=1430864/1543284
[pid=20261] ppid=20258 vsize=89736 CPUtime=0 cores=0,2,4,6
/proc/20261/stat : 20261 (java) S 20258 20261 17726 0 -1 4202496 1239 0 0 0 0 0 0 0 20 0 2 0 8856972 91889664 882 33554432000 1073741824 1073778376 140734911021456 140734911012592 266439000125 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20261/statm: 22435 885 670 9 0 16770 0
[pid=20261/tid=20262] ppid=20258 vsize=91880 CPUtime=0 cores=0,2,4,6
/proc/20261/task/20262/stat : 20262 (java) R 20258 20261 17726 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 2 0 8856973 94085120 905 33554432000 1073741824 1073778376 140734911021456 140734911010520 266426431337 0 0 4096 0 0 0 0 -1 0 0 0 0 0 0

[startup+0.100136 s]
/proc/loadavg: 2.18 2.20 2.18 3/194 20261
/proc/meminfo: memFree=30446176/32872528 swapFree=1430864/1543284
[pid=20261] ppid=20258 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/20261/stat : 20261 (java) S 20258 20261 17726 0 -1 4202496 4403 0 1 0 9 1 0 0 20 0 18 0 8856972 9787879424 6028 33554432000 1073741824 1073778376 140734911021456 140734911012592 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20261/statm: 2389619 6028 2125 9 0 2380296 0
[pid=20261/tid=20262] ppid=20258 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/20261/task/20262/stat : 20262 (java) R 20258 20261 17726 0 -1 4202560 2382 0 1 0 6 1 0 0 20 0 18 0 8856973 9787879424 6028 33554432000 1073741824 1073778376 140734911021456 140670817991584 266439025933 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.200309 s]
/proc/loadavg: 2.18 2.20 2.18 3/194 20261
/proc/meminfo: memFree=30446176/32872528 swapFree=1430864/1543284
[pid=20261] ppid=20258 vsize=9625040 CPUtime=0.27 cores=0,2,4,6
/proc/20261/stat : 20261 (java) S 20258 20261 17726 0 -1 4202496 5576 0 1 0 25 2 0 0 20 0 19 0 8856972 9856040960 6742 33554432000 1073741824 1073778376 140734911021456 140734911012592 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20261/statm: 2406260 6742 2229 9 0 2396937 0
[pid=20261/tid=20262] ppid=20258 vsize=9625040 CPUtime=0.17 cores=0,2,4,6
/proc/20261/task/20262/stat : 20262 (java) R 20258 20261 17726 0 -1 4202560 2406 0 1 0 16 1 0 0 20 0 19 0 8856973 9856040960 6742 33554432000 1073741824 1073778376 140734911021456 140670817993344 140670664817231 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9625040

[startup+0.300323 s]
/proc/loadavg: 2.18 2.20 2.18 3/194 20261
/proc/meminfo: memFree=30446176/32872528 swapFree=1430864/1543284
[pid=20261] ppid=20258 vsize=9625040 CPUtime=0.52 cores=0,2,4,6
/proc/20261/stat : 20261 (java) S 20258 20261 17726 0 -1 4202496 6500 0 1 0 50 2 0 0 20 0 19 0 8856972 9856040960 8197 33554432000 1073741824 1073778376 140734911021456 140734911012592 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20261/statm: 2406260 8197 2238 9 0 2396937 0
[pid=20261/tid=20262] ppid=20258 vsize=9625040 CPUtime=0.27 cores=0,2,4,6
/proc/20261/task/20262/stat : 20262 (java) R 20258 20261 17726 0 -1 4202560 2409 0 1 0 26 1 0 0 20 0 19 0 8856973 9856040960 8197 33554432000 1073741824 1073778376 140734911021456 140670817993344 140670664768672 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 9625040

[startup+0.700273 s]
/proc/loadavg: 2.18 2.20 2.18 3/194 20261
/proc/meminfo: memFree=30446176/32872528 swapFree=1430864/1543284
[pid=20261] ppid=20258 vsize=9625040 CPUtime=1.24 cores=0,2,4,6
/proc/20261/stat : 20261 (java) S 20258 20261 17726 0 -1 4202496 14747 0 1 0 122 2 0 0 20 0 19 0 8856972 9856040960 13428 33554432000 1073741824 1073778376 140734911021456 140734911012592 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20261/statm: 2406260 13428 2248 9 0 2396937 0
[pid=20261/tid=20262] ppid=20258 vsize=9625040 CPUtime=0.67 cores=0,2,4,6
/proc/20261/task/20262/stat : 20262 (java) R 20258 20261 17726 0 -1 4202560 2409 0 1 0 66 1 0 0 20 0 19 0 8856973 9856040960 13428 33554432000 1073741824 1073778376 140734911021456 140670817993344 140670665179819 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 9625040

[startup+1.50077 s]
/proc/loadavg: 2.18 2.20 2.18 3/213 20280
/proc/meminfo: memFree=30398672/32872528 swapFree=1430864/1543284
[pid=20261] ppid=20258 vsize=9625040 CPUtime=2.09 cores=0,2,4,6
/proc/20261/stat : 20261 (java) S 20258 20261 17726 0 -1 4202496 14751 0 1 0 206 3 0 0 20 0 19 0 8856972 9856040960 14453 33554432000 1073741824 1073778376 140734911021456 140734911012592 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20261/statm: 2406260 14453 2249 9 0 2396937 0
[pid=20261/tid=20262] ppid=20258 vsize=9625040 CPUtime=1.47 cores=0,2,4,6
/proc/20261/task/20262/stat : 20262 (java) R 20258 20261 17726 0 -1 4202560 2412 0 1 0 146 1 0 0 20 0 19 0 8856973 9856040960 14453 33554432000 1073741824 1073778376 140734911021456 140670817993256 140670664963207 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=20261/tid=20264] ppid=20258 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20261/task/20264/stat : 20264 (java) S 20258 20261 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8856974 9856040960 14453 33554432000 1073741824 1073778376 140734911021456 140670790445480 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20261/tid=20265] ppid=20258 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20261/task/20265/stat : 20265 (java) S 20258 20261 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8856974 9856040960 14453 33554432000 1073741824 1073778376 140734911021456 140670789392936 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20261/tid=20266] ppid=20258 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20261/task/20266/stat : 20266 (java) S 20258 20261 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8856974 9856040960 14453 33554432000 1073741824 1073778376 140734911021456 140670788339880 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20261/tid=20267] ppid=20258 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20261/task/20267/stat : 20267 (java) S 20258 20261 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8856974 9856040960 14453 33554432000 1073741824 1073778376 140734911021456 140670787287336 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20261/tid=20268] ppid=20258 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20261/task/20268/stat : 20268 (java) S 20258 20261 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8856974 9856040960 14453 33554432000 1073741824 1073778376 140734911021456 140670786235304 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20261/tid=20269] ppid=20258 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20261/task/20269/stat : 20269 (java) S 20258 20261 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8856974 9856040960 14453 33554432000 1073741824 1073778376 140734911021456 140670785182760 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20261/tid=20270] ppid=20258 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20261/task/20270/stat : 20270 (java) S 20258 20261 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8856974 9856040960 14453 33554432000 1073741824 1073778376 140734911021456 140670784129704 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20261/tid=20271] ppid=20258 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20261/task/20271/stat : 20271 (java) S 20258 20261 17726 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8856974 9856040960 14453 33554432000 1073741824 1073778376 140734911021456 140670653737768 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20261/tid=20272] ppid=20258 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20261/task/20272/stat : 20272 (java) S 20258 20261 17726 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8856975 9856040960 14453 33554432000 1073741824 1073778376 140734911021456 140670170790248 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20261/tid=20273] ppid=20258 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20261/task/20273/stat : 20273 (java) S 20258 20261 17726 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8856975 9856040960 14453 33554432000 1073741824 1073778376 140734911021456 140670169736568 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20261/tid=20274] ppid=20258 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20261/task/20274/stat : 20274 (java) S 20258 20261 17726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8856975 9856040960 14453 33554432000 1073741824 1073778376 140734911021456 140670168683400 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20261/tid=20275] ppid=20258 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20261/task/20275/stat : 20275 (java) S 20258 20261 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8856978 9856040960 14453 33554432000 1073741824 1073778376 140734911021456 140670167632144 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20261/tid=20276] ppid=20258 vsize=9625040 CPUtime=0.35 cores=0,2,4,6
/proc/20261/task/20276/stat : 20276 (java) S 20258 20261 17726 0 -1 4202560 8459 0 0 0 35 0 0 0 20 0 19 0 8856978 9856040960 14453 33554432000 1073741824 1073778376 140734911021456 140670166580024 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20261/tid=20277] ppid=20258 vsize=9625040 CPUtime=0.22 cores=0,2,4,6
/proc/20261/task/20277/stat : 20277 (java) S 20258 20261 17726 0 -1 4202560 2611 0 0 0 22 0 0 0 20 0 19 0 8856978 9856040960 14453 33554432000 1073741824 1073778376 140734911021456 140670165527480 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20261/tid=20278] ppid=20258 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20261/task/20278/stat : 20278 (java) S 20258 20261 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8856978 9856040960 14453 33554432000 1073741824 1073778376 140734911021456 140670164474616 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20261/tid=20279] ppid=20258 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20261/task/20279/stat : 20279 (java) S 20258 20261 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8856978 9856040960 14453 33554432000 1073741824 1073778376 140734911021456 140670163422280 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20261/tid=20280] ppid=20258 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20261/task/20280/stat : 20280 (java) S 20258 20261 17726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8856987 9856040960 14453 33554432000 1073741824 1073778376 140734911021456 140670162367528 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.09
Current children cumulated vsize (KiB) 9625040

[startup+3.10074 s]
/proc/loadavg: 2.18 2.20 2.18 3/213 20280
/proc/meminfo: memFree=30391908/32872528 swapFree=1430864/1543284
[pid=20261] ppid=20258 vsize=9625040 CPUtime=3.69 cores=0,2,4,6
/proc/20261/stat : 20261 (java) S 20258 20261 17726 0 -1 4202496 14754 0 1 0 366 3 0 0 20 0 19 0 8856972 9856040960 15989 33554432000 1073741824 1073778376 140734911021456 140734911012592 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20261/statm: 2406260 15989 2249 9 0 2396937 0
[pid=20261/tid=20262] ppid=20258 vsize=9625040 CPUtime=3.07 cores=0,2,4,6
/proc/20261/task/20262/stat : 20262 (java) R 20258 20261 17726 0 -1 4202560 2415 0 1 0 306 1 0 0 20 0 19 0 8856973 9856040960 15989 33554432000 1073741824 1073778376 140734911021456 140670817984224 140670664934919 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=20261/tid=20264] ppid=20258 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20261/task/20264/stat : 20264 (java) S 20258 20261 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8856974 9856040960 15989 33554432000 1073741824 1073778376 140734911021456 140670790445480 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20261/tid=20265] ppid=20258 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20261/task/20265/stat : 20265 (java) S 20258 20261 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8856974 9856040960 15989 33554432000 1073741824 1073778376 140734911021456 140670789392936 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20261/tid=20266] ppid=20258 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20261/task/20266/stat : 20266 (java) S 20258 20261 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8856974 9856040960 15989 33554432000 1073741824 1073778376 140734911021456 140670788339880 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20261/tid=20267] ppid=20258 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20261/task/20267/stat : 20267 (java) S 20258 20261 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8856974 9856040960 15989 33554432000 1073741824 1073778376 140734911021456 140670787287336 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20261/tid=20268] ppid=20258 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20261/task/20268/stat : 20268 (java) S 20258 20261 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8856974 9856040960 15989 33554432000 1073741824 1073778376 140734911021456 140670786235304 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20261/tid=20269] ppid=20258 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20261/task/20269/stat : 20269 (java) S 20258 20261 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8856974 9856040960 15989 33554432000 1073741824 1073778376 140734911021456 140670785182760 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20261/tid=20270] ppid=20258 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20261/task/20270/stat : 20270 (java) S 20258 20261 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8856974 9856040960 15989 33554432000 1073741824 1073778376 140734911021456 140670784129704 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20261/tid=20271] ppid=20258 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20261/task/20271/stat : 20271 (java) S 20258 20261 17726 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8856974 9856040960 15989 33554432000 1073741824 1073778376 140734911021456 140670653737768 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20261/tid=20272] ppid=20258 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20261/task/20272/stat : 20272 (java) S 20258 20261 17726 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8856975 9856040960 15989 33554432000 1073741824 1073778376 140734911021456 140670170790248 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20261/tid=20273] ppid=20258 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20261/task/20273/stat : 20273 (java) S 20258 20261 17726 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8856975 9856040960 15989 33554432000 1073741824 1073778376 140734911021456 140670169736568 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20261/tid=20274] ppid=20258 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20261/task/20274/stat : 20274 (java) S 20258 20261 17726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8856975 9856040960 15989 33554432000 1073741824 1073778376 140734911021456 140670168683400 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20261/tid=20275] ppid=20258 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20261/task/20275/stat : 20275 (java) S 20258 20261 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8856978 9856040960 15989 33554432000 1073741824 1073778376 140734911021456 140670167632144 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20261/tid=20276] ppid=20258 vsize=9625040 CPUtime=0.35 cores=0,2,4,6
/proc/20261/task/20276/stat : 20276 (java) S 20258 20261 17726 0 -1 4202560 8459 0 0 0 35 0 0 0 20 0 19 0 8856978 9856040960 15989 33554432000 1073741824 1073778376 140734911021456 140670166580024 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20261/tid=20277] ppid=20258 vsize=9625040 CPUtime=0.22 cores=0,2,4,6
/proc/20261/task/20277/stat : 20277 (java) S 20258 20261 17726 0 -1 4202560 2611 0 0 0 22 0 0 0 20 0 19 0 8856978 9856040960 15989 33554432000 1073741824 1073778376 140734911021456 140670165527480 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20261/tid=20278] ppid=20258 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20261/task/20278/stat : 20278 (java) S 20258 20261 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8856978 9856040960 15989 33554432000 1073741824 1073778376 140734911021456 140670164474616 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20261/tid=20279] ppid=20258 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20261/task/20279/stat : 20279 (java) S 20258 20261 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8856978 9856040960 15989 33554432000 1073741824 1073778376 140734911021456 140670163422280 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20261/tid=20280] ppid=20258 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20261/task/20280/stat : 20280 (java) S 20258 20261 17726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8856987 9856040960 15989 33554432000 1073741824 1073778376 140734911021456 140670162367528 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.69
Current children cumulated vsize (KiB) 9625040

[startup+6.30075 s]
/proc/loadavg: 2.16 2.20 2.18 4/213 20280
/proc/meminfo: memFree=30380116/32872528 swapFree=1430864/1543284
[pid=20261] ppid=20258 vsize=9625040 CPUtime=6.89 cores=0,2,4,6
/proc/20261/stat : 20261 (java) S 20258 20261 17726 0 -1 4202496 14761 0 1 0 686 3 0 0 20 0 19 0 8856972 9856040960 18362 33554432000 1073741824 1073778376 140734911021456 140734911012592 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20261/statm: 2406260 18362 2250 9 0 2396937 0
[pid=20261/tid=20262] ppid=20258 vsize=9625040 CPUtime=6.26 cores=0,2,4,6
/proc/20261/task/20262/stat : 20262 (java) R 20258 20261 17726 0 -1 4202560 2421 0 1 0 625 1 0 0 20 0 19 0 8856973 9856040960 18362 33554432000 1073741824 1073778376 140734911021456 140670817993112 140670665180046 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=20261/tid=20264] ppid=20258 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20261/task/20264/stat : 20264 (java) S 20258 20261 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8856974 9856040960 18362 33554432000 1073741824 1073778376 140734911021456 140670790445480 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20261/tid=20265] ppid=20258 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20261/task/20265/stat : 20265 (java) S 20258 20261 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8856974 9856040960 18362 33554432000 1073741824 1073778376 140734911021456 140670789392936 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20261/tid=20266] ppid=20258 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20261/task/20266/stat : 20266 (java) S 20258 20261 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8856974 9856040960 18362 33554432000 1073741824 1073778376 140734911021456 140670788339880 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20261/tid=20267] ppid=20258 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20261/task/20267/stat : 20267 (java) S 20258 20261 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8856974 9856040960 18362 33554432000 1073741824 1073778376 140734911021456 140670787287336 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20261/tid=20268] ppid=20258 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20261/task/20268/stat : 20268 (java) S 20258 20261 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8856974 9856040960 18362 33554432000 1073741824 1073778376 140734911021456 140670786235304 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20261/tid=20269] ppid=20258 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20261/task/20269/stat : 20269 (java) S 20258 20261 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8856974 9856040960 18362 33554432000 1073741824 1073778376 140734911021456 140670785182760 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20261/tid=20270] ppid=20258 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20261/task/20270/stat : 20270 (java) S 20258 20261 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8856974 9856040960 18362 33554432000 1073741824 1073778376 140734911021456 140670784129704 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20261/tid=20271] ppid=20258 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20261/task/20271/stat : 20271 (java) S 20258 20261 17726 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8856974 9856040960 18362 33554432000 1073741824 1073778376 140734911021456 140670653737768 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20261/tid=20272] ppid=20258 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20261/task/20272/stat : 20272 (java) S 20258 20261 17726 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8856975 9856040960 18362 33554432000 1073741824 1073778376 140734911021456 140670170790248 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20261/tid=20273] ppid=20258 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20261/task/20273/stat : 20273 (java) S 20258 20261 17726 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8856975 9856040960 18362 33554432000 1073741824 1073778376 140734911021456 140670169736568 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20261/tid=20274] ppid=20258 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20261/task/20274/stat : 20274 (java) S 20258 20261 17726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8856975 9856040960 18362 33554432000 1073741824 1073778376 140734911021456 140670168683400 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20261/tid=20275] ppid=20258 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20261/task/20275/stat : 20275 (java) S 20258 20261 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8856978 9856040960 18362 33554432000 1073741824 1073778376 140734911021456 140670167632144 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20261/tid=20276] ppid=20258 vsize=9625040 CPUtime=0.35 cores=0,2,4,6
/proc/20261/task/20276/stat : 20276 (java) S 20258 20261 17726 0 -1 4202560 8459 0 0 0 35 0 0 0 20 0 19 0 8856978 9856040960 18362 33554432000 1073741824 1073778376 140734911021456 140670166580024 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20261/tid=20277] ppid=20258 vsize=9625040 CPUtime=0.22 cores=0,2,4,6

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

[pid=20261/tid=20280] ppid=20258 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20261/task/20280/stat : 20280 (java) S 20258 20261 17726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8856987 9856040960 82768 33554432000 1073741824 1073778376 140734911021456 140670162367528 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1664.12
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.14 2.20 2.18 3/213 20387
/proc/meminfo: memFree=29766376/32872528 swapFree=1430864/1543284
[pid=20261] ppid=20258 vsize=9625040 CPUtime=1724.12 cores=0,2,4,6
/proc/20261/stat : 20261 (java) S 20258 20261 17726 0 -1 4202496 17364 0 1 0 172371 41 0 0 20 0 19 0 8856972 9856040960 82768 33554432000 1073741824 1073778376 140734911021456 140734911012592 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20261/statm: 2406260 82768 2266 9 0 2396937 0
[pid=20261/tid=20262] ppid=20258 vsize=9625040 CPUtime=1717.47 cores=0,2,4,6
/proc/20261/task/20262/stat : 20262 (java) R 20258 20261 17726 0 -1 4202560 2489 0 1 0 171717 30 0 0 20 0 19 0 8856973 9856040960 82768 33554432000 1073741824 1073778376 140734911021456 140670817984208 140670665198105 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=20261/tid=20264] ppid=20258 vsize=9625040 CPUtime=0.14 cores=0,2,4,6
/proc/20261/task/20264/stat : 20264 (java) S 20258 20261 17726 0 -1 4202560 194 0 0 0 13 1 0 0 20 0 19 0 8856974 9856040960 82768 33554432000 1073741824 1073778376 140734911021456 140670790445480 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20261/tid=20265] ppid=20258 vsize=9625040 CPUtime=0.17 cores=0,2,4,6
/proc/20261/task/20265/stat : 20265 (java) S 20258 20261 17726 0 -1 4202560 296 0 0 0 15 2 0 0 20 0 19 0 8856974 9856040960 82768 33554432000 1073741824 1073778376 140734911021456 140670789392936 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20261/tid=20266] ppid=20258 vsize=9625040 CPUtime=0.14 cores=0,2,4,6
/proc/20261/task/20266/stat : 20266 (java) S 20258 20261 17726 0 -1 4202560 98 0 0 0 12 2 0 0 20 0 19 0 8856974 9856040960 82768 33554432000 1073741824 1073778376 140734911021456 140670788339880 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20261/tid=20267] ppid=20258 vsize=9625040 CPUtime=0.22 cores=0,2,4,6
/proc/20261/task/20267/stat : 20267 (java) S 20258 20261 17726 0 -1 4202560 304 0 0 0 19 3 0 0 20 0 19 0 8856974 9856040960 82768 33554432000 1073741824 1073778376 140734911021456 140670787287336 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20261/tid=20268] ppid=20258 vsize=9625040 CPUtime=0.14 cores=0,2,4,6
/proc/20261/task/20268/stat : 20268 (java) S 20258 20261 17726 0 -1 4202560 312 0 0 0 12 2 0 0 20 0 19 0 8856974 9856040960 82768 33554432000 1073741824 1073778376 140734911021456 140670786235304 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20261/tid=20269] ppid=20258 vsize=9625040 CPUtime=0.16 cores=0,2,4,6
/proc/20261/task/20269/stat : 20269 (java) S 20258 20261 17726 0 -1 4202560 32 0 0 0 15 1 0 0 20 0 19 0 8856974 9856040960 82768 33554432000 1073741824 1073778376 140734911021456 140670785182760 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20261/tid=20270] ppid=20258 vsize=9625040 CPUtime=0.11 cores=0,2,4,6
/proc/20261/task/20270/stat : 20270 (java) S 20258 20261 17726 0 -1 4202560 110 0 0 0 11 0 0 0 20 0 19 0 8856974 9856040960 82768 33554432000 1073741824 1073778376 140734911021456 140670784129704 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20261/tid=20271] ppid=20258 vsize=9625040 CPUtime=0.2 cores=0,2,4,6
/proc/20261/task/20271/stat : 20271 (java) S 20258 20261 17726 0 -1 4202560 101 0 0 0 18 2 0 0 20 0 19 0 8856974 9856040960 82768 33554432000 1073741824 1073778376 140734911021456 140670653737768 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20261/tid=20272] ppid=20258 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/20261/task/20272/stat : 20272 (java) S 20258 20261 17726 0 -1 4202560 49 0 0 0 1 0 0 0 20 0 19 0 8856975 9856040960 82768 33554432000 1073741824 1073778376 140734911021456 140670170790248 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20261/tid=20273] ppid=20258 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20261/task/20273/stat : 20273 (java) S 20258 20261 17726 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8856975 9856040960 82768 33554432000 1073741824 1073778376 140734911021456 140670169736568 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20261/tid=20274] ppid=20258 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20261/task/20274/stat : 20274 (java) S 20258 20261 17726 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 8856975 9856040960 82768 33554432000 1073741824 1073778376 140734911021456 140670168683400 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20261/tid=20275] ppid=20258 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20261/task/20275/stat : 20275 (java) S 20258 20261 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8856978 9856040960 82768 33554432000 1073741824 1073778376 140734911021456 140670167632144 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20261/tid=20276] ppid=20258 vsize=9625040 CPUtime=0.35 cores=0,2,4,6
/proc/20261/task/20276/stat : 20276 (java) S 20258 20261 17726 0 -1 4202560 8459 0 0 0 35 0 0 0 20 0 19 0 8856978 9856040960 82768 33554432000 1073741824 1073778376 140734911021456 140670166580024 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20261/tid=20277] ppid=20258 vsize=9625040 CPUtime=0.29 cores=0,2,4,6
/proc/20261/task/20277/stat : 20277 (java) S 20258 20261 17726 0 -1 4202560 3562 0 0 0 29 0 0 0 20 0 19 0 8856978 9856040960 82768 33554432000 1073741824 1073778376 140734911021456 140670165527480 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20261/tid=20278] ppid=20258 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20261/task/20278/stat : 20278 (java) S 20258 20261 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8856978 9856040960 82768 33554432000 1073741824 1073778376 140734911021456 140670164474616 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20261/tid=20279] ppid=20258 vsize=9625040 CPUtime=0.57 cores=0,2,4,6
/proc/20261/task/20279/stat : 20279 (java) S 20258 20261 17726 0 -1 4202560 100 0 0 0 29 28 0 0 20 0 19 0 8856978 9856040960 82768 33554432000 1073741824 1073778376 140734911021456 140670163422280 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20261/tid=20280] ppid=20258 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20261/task/20280/stat : 20280 (java) S 20258 20261 17726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8856987 9856040960 82768 33554432000 1073741824 1073778376 140734911021456 140670162367528 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1724.12
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.22 2.22 2.18 3/213 20388
/proc/meminfo: memFree=29736964/32872528 swapFree=1430864/1543284
[pid=20261] ppid=20258 vsize=9625040 CPUtime=1784.13 cores=0,2,4,6
/proc/20261/stat : 20261 (java) S 20258 20261 17726 0 -1 4202496 17368 0 1 0 178371 42 0 0 20 0 19 0 8856972 9856040960 82768 33554432000 1073741824 1073778376 140734911021456 140734911012592 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20261/statm: 2406260 82768 2266 9 0 2396937 0
[pid=20261/tid=20262] ppid=20258 vsize=9625040 CPUtime=1777.32 cores=0,2,4,6
/proc/20261/task/20262/stat : 20262 (java) R 20258 20261 17726 0 -1 4202560 2489 0 1 0 177701 31 0 0 20 0 19 0 8856973 9856040960 82768 33554432000 1073741824 1073778376 140734911021456 140670817984208 140670665180046 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=20261/tid=20264] ppid=20258 vsize=9625040 CPUtime=0.14 cores=0,2,4,6
/proc/20261/task/20264/stat : 20264 (java) S 20258 20261 17726 0 -1 4202560 194 0 0 0 13 1 0 0 20 0 19 0 8856974 9856040960 82768 33554432000 1073741824 1073778376 140734911021456 140670790445480 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20261/tid=20265] ppid=20258 vsize=9625040 CPUtime=0.17 cores=0,2,4,6
/proc/20261/task/20265/stat : 20265 (java) S 20258 20261 17726 0 -1 4202560 296 0 0 0 15 2 0 0 20 0 19 0 8856974 9856040960 82768 33554432000 1073741824 1073778376 140734911021456 140670789392936 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20261/tid=20266] ppid=20258 vsize=9625040 CPUtime=0.14 cores=0,2,4,6
/proc/20261/task/20266/stat : 20266 (java) S 20258 20261 17726 0 -1 4202560 98 0 0 0 12 2 0 0 20 0 19 0 8856974 9856040960 82768 33554432000 1073741824 1073778376 140734911021456 140670788339880 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20261/tid=20267] ppid=20258 vsize=9625040 CPUtime=0.22 cores=0,2,4,6
/proc/20261/task/20267/stat : 20267 (java) S 20258 20261 17726 0 -1 4202560 304 0 0 0 19 3 0 0 20 0 19 0 8856974 9856040960 82768 33554432000 1073741824 1073778376 140734911021456 140670787287336 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20261/tid=20268] ppid=20258 vsize=9625040 CPUtime=0.14 cores=0,2,4,6
/proc/20261/task/20268/stat : 20268 (java) S 20258 20261 17726 0 -1 4202560 312 0 0 0 12 2 0 0 20 0 19 0 8856974 9856040960 82768 33554432000 1073741824 1073778376 140734911021456 140670786235304 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20261/tid=20269] ppid=20258 vsize=9625040 CPUtime=0.16 cores=0,2,4,6
/proc/20261/task/20269/stat : 20269 (java) S 20258 20261 17726 0 -1 4202560 32 0 0 0 15 1 0 0 20 0 19 0 8856974 9856040960 82768 33554432000 1073741824 1073778376 140734911021456 140670785182760 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20261/tid=20270] ppid=20258 vsize=9625040 CPUtime=0.11 cores=0,2,4,6
/proc/20261/task/20270/stat : 20270 (java) S 20258 20261 17726 0 -1 4202560 110 0 0 0 11 0 0 0 20 0 19 0 8856974 9856040960 82768 33554432000 1073741824 1073778376 140734911021456 140670784129704 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20261/tid=20271] ppid=20258 vsize=9625040 CPUtime=0.2 cores=0,2,4,6
/proc/20261/task/20271/stat : 20271 (java) S 20258 20261 17726 0 -1 4202560 101 0 0 0 18 2 0 0 20 0 19 0 8856974 9856040960 82768 33554432000 1073741824 1073778376 140734911021456 140670653737768 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20261/tid=20272] ppid=20258 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/20261/task/20272/stat : 20272 (java) S 20258 20261 17726 0 -1 4202560 49 0 0 0 1 1 0 0 20 0 19 0 8856975 9856040960 82768 33554432000 1073741824 1073778376 140734911021456 140670170790248 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20261/tid=20273] ppid=20258 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20261/task/20273/stat : 20273 (java) S 20258 20261 17726 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8856975 9856040960 82768 33554432000 1073741824 1073778376 140734911021456 140670169736568 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20261/tid=20274] ppid=20258 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20261/task/20274/stat : 20274 (java) S 20258 20261 17726 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 8856975 9856040960 82768 33554432000 1073741824 1073778376 140734911021456 140670168683400 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20261/tid=20275] ppid=20258 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20261/task/20275/stat : 20275 (java) S 20258 20261 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8856978 9856040960 82768 33554432000 1073741824 1073778376 140734911021456 140670167632144 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20261/tid=20276] ppid=20258 vsize=9625040 CPUtime=0.35 cores=0,2,4,6
/proc/20261/task/20276/stat : 20276 (java) S 20258 20261 17726 0 -1 4202560 8459 0 0 0 35 0 0 0 20 0 19 0 8856978 9856040960 82768 33554432000 1073741824 1073778376 140734911021456 140670166580024 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20261/tid=20277] ppid=20258 vsize=9625040 CPUtime=0.29 cores=0,2,4,6
/proc/20261/task/20277/stat : 20277 (java) S 20258 20261 17726 0 -1 4202560 3562 0 0 0 29 0 0 0 20 0 19 0 8856978 9856040960 82768 33554432000 1073741824 1073778376 140734911021456 140670165527480 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20261/tid=20278] ppid=20258 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20261/task/20278/stat : 20278 (java) S 20258 20261 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8856978 9856040960 82768 33554432000 1073741824 1073778376 140734911021456 140670164474616 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20261/tid=20279] ppid=20258 vsize=9625040 CPUtime=0.59 cores=0,2,4,6
/proc/20261/task/20279/stat : 20279 (java) S 20258 20261 17726 0 -1 4202560 104 0 0 0 30 29 0 0 20 0 19 0 8856978 9856040960 82768 33554432000 1073741824 1073778376 140734911021456 140670163422280 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20261/tid=20280] ppid=20258 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20261/task/20280/stat : 20280 (java) S 20258 20261 17726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8856987 9856040960 82768 33554432000 1073741824 1073778376 140734911021456 140670162367528 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1784.13
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1798.2 s]
/proc/loadavg: 2.25 2.22 2.18 4/213 20390
/proc/meminfo: memFree=29736588/32872528 swapFree=1430864/1543284
[pid=20261] ppid=20258 vsize=9625040 CPUtime=1800.04 cores=0,2,4,6
/proc/20261/stat : 20261 (java) S 20258 20261 17726 0 -1 4202496 17368 0 1 0 179961 43 0 0 20 0 19 0 8856972 9856040960 82768 33554432000 1073741824 1073778376 140734911021456 140734911012592 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20261/statm: 2406260 82768 2266 9 0 2396937 0
[pid=20261/tid=20262] ppid=20258 vsize=9625040 CPUtime=1793.18 cores=0,2,4,6
/proc/20261/task/20262/stat : 20262 (java) R 20258 20261 17726 0 -1 4202560 2489 0 1 0 179287 31 0 0 20 0 19 0 8856973 9856040960 82768 33554432000 1073741824 1073778376 140734911021456 140670817984208 140670665197984 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=20261/tid=20264] ppid=20258 vsize=9625040 CPUtime=0.14 cores=0,2,4,6
/proc/20261/task/20264/stat : 20264 (java) S 20258 20261 17726 0 -1 4202560 194 0 0 0 13 1 0 0 20 0 19 0 8856974 9856040960 82768 33554432000 1073741824 1073778376 140734911021456 140670790445480 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20261/tid=20265] ppid=20258 vsize=9625040 CPUtime=0.17 cores=0,2,4,6
/proc/20261/task/20265/stat : 20265 (java) S 20258 20261 17726 0 -1 4202560 296 0 0 0 15 2 0 0 20 0 19 0 8856974 9856040960 82768 33554432000 1073741824 1073778376 140734911021456 140670789392936 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20261/tid=20266] ppid=20258 vsize=9625040 CPUtime=0.14 cores=0,2,4,6
/proc/20261/task/20266/stat : 20266 (java) S 20258 20261 17726 0 -1 4202560 98 0 0 0 12 2 0 0 20 0 19 0 8856974 9856040960 82768 33554432000 1073741824 1073778376 140734911021456 140670788339880 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20261/tid=20267] ppid=20258 vsize=9625040 CPUtime=0.22 cores=0,2,4,6
/proc/20261/task/20267/stat : 20267 (java) S 20258 20261 17726 0 -1 4202560 304 0 0 0 19 3 0 0 20 0 19 0 8856974 9856040960 82768 33554432000 1073741824 1073778376 140734911021456 140670787287336 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20261/tid=20268] ppid=20258 vsize=9625040 CPUtime=0.14 cores=0,2,4,6
/proc/20261/task/20268/stat : 20268 (java) S 20258 20261 17726 0 -1 4202560 312 0 0 0 12 2 0 0 20 0 19 0 8856974 9856040960 82768 33554432000 1073741824 1073778376 140734911021456 140670786235304 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20261/tid=20269] ppid=20258 vsize=9625040 CPUtime=0.16 cores=0,2,4,6
/proc/20261/task/20269/stat : 20269 (java) S 20258 20261 17726 0 -1 4202560 32 0 0 0 15 1 0 0 20 0 19 0 8856974 9856040960 82768 33554432000 1073741824 1073778376 140734911021456 140670785182760 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20261/tid=20270] ppid=20258 vsize=9625040 CPUtime=0.11 cores=0,2,4,6
/proc/20261/task/20270/stat : 20270 (java) S 20258 20261 17726 0 -1 4202560 110 0 0 0 11 0 0 0 20 0 19 0 8856974 9856040960 82768 33554432000 1073741824 1073778376 140734911021456 140670784129704 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20261/tid=20271] ppid=20258 vsize=9625040 CPUtime=0.2 cores=0,2,4,6
/proc/20261/task/20271/stat : 20271 (java) S 20258 20261 17726 0 -1 4202560 101 0 0 0 18 2 0 0 20 0 19 0 8856974 9856040960 82768 33554432000 1073741824 1073778376 140734911021456 140670653737768 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20261/tid=20272] ppid=20258 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/20261/task/20272/stat : 20272 (java) S 20258 20261 17726 0 -1 4202560 49 0 0 0 1 1 0 0 20 0 19 0 8856975 9856040960 82768 33554432000 1073741824 1073778376 140734911021456 140670170790248 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20261/tid=20273] ppid=20258 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20261/task/20273/stat : 20273 (java) S 20258 20261 17726 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8856975 9856040960 82768 33554432000 1073741824 1073778376 140734911021456 140670169736568 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20261/tid=20274] ppid=20258 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20261/task/20274/stat : 20274 (java) S 20258 20261 17726 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 8856975 9856040960 82768 33554432000 1073741824 1073778376 140734911021456 140670168683400 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20261/tid=20275] ppid=20258 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20261/task/20275/stat : 20275 (java) S 20258 20261 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8856978 9856040960 82768 33554432000 1073741824 1073778376 140734911021456 140670167632144 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20261/tid=20276] ppid=20258 vsize=9625040 CPUtime=0.35 cores=0,2,4,6
/proc/20261/task/20276/stat : 20276 (java) S 20258 20261 17726 0 -1 4202560 8459 0 0 0 35 0 0 0 20 0 19 0 8856978 9856040960 82768 33554432000 1073741824 1073778376 140734911021456 140670166580024 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20261/tid=20277] ppid=20258 vsize=9625040 CPUtime=0.29 cores=0,2,4,6
/proc/20261/task/20277/stat : 20277 (java) S 20258 20261 17726 0 -1 4202560 3562 0 0 0 29 0 0 0 20 0 19 0 8856978 9856040960 82768 33554432000 1073741824 1073778376 140734911021456 140670165527480 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20261/tid=20278] ppid=20258 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20261/task/20278/stat : 20278 (java) S 20258 20261 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8856978 9856040960 82768 33554432000 1073741824 1073778376 140734911021456 140670164474616 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20261/tid=20279] ppid=20258 vsize=9625040 CPUtime=0.6 cores=0,2,4,6
/proc/20261/task/20279/stat : 20279 (java) S 20258 20261 17726 0 -1 4202560 104 0 0 0 31 29 0 0 20 0 19 0 8856978 9856040960 82768 33554432000 1073741824 1073778376 140734911021456 140670163422280 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20261/tid=20280] ppid=20258 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20261/task/20280/stat : 20280 (java) S 20258 20261 17726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8856987 9856040960 82768 33554432000 1073741824 1073778376 140734911021456 140670162367528 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
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 20261 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 20261 and gives
#  childrusage.ru_utime.tv_sec=1795
#  childrusage.ru_utime.tv_usec=159094
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=892864
# CPU time returned by wait4() is 1796.05
# while last known CPU time is 1800.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1798.24
CPU time (s): 1800.04
CPU user time (s): 1799.61
CPU system time (s): 0.43
CPU usage (%): 100.1
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.16
system time used= 0.892864
maximum resident set size= 335560
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17424
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1128
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38287
involuntary context switches= 4438

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.1145 second user time and 13.6709 second system time

The end

Launcher Data 

Begin job on node116 at 2016-06-16 11:08:02
IDJOB=4090728
IDBENCH=79437
IDSOLVER=2551
FILE ID=node116/4090728-1466068082
RUNJOBID= node116-1466062131-17742
PBS_JOBID= 19904020
Free space on /tmp= 71644 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/coloring/normalized-geom40-2_wcsp.wbo
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4090728-1466068082/watcher-4090728-1466068082 -o /tmp/evaluation-result-4090728-1466068082/solver-4090728-1466068082 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1466062131-17742 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4090728-1466068082.wbo

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

MD5SUM BENCH= dc0207dd780e8486ac4fdb37fec549e2
RANDOM SEED=883394125

node116.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.781
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.56
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.781
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.781
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.781
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.781
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.781
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.54
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.781
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.781
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:        30446812 kB
Buffers:           10832 kB
Cached:            41616 kB
SwapCached:         2840 kB
Active:           128760 kB
Inactive:          28948 kB
Active(anon):     105940 kB
Inactive(anon):     1948 kB
Active(file):      22820 kB
Inactive(file):    27000 kB
Unevictable:     1543284 kB
Mlocked:         1430864 kB
SwapTotal:      67108856 kB
SwapFree:       67099384 kB
Dirty:              1296 kB
Writeback:             0 kB
AnonPages:       1671872 kB
Mapped:            15248 kB
Shmem:                 0 kB
Slab:             567052 kB
SReclaimable:      10148 kB
SUnreclaim:       556904 kB
KernelStack:        1584 kB
PageTables:         7712 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2232244 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    215040 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= 71640 MiB
End job on node116 at 2016-06-16 11:38:01