Trace number 4119242

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)2078 1800.59 1776.65

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/
minlplib2-pb-0.1.0/opb/normalized-edgecross14-098.opb
MD5SUMfd4d285bca9921d0ef00c37d248a5d7a
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1708
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables183
Total number of constraints1457
Number of constraints which are clauses1456
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint3
Number of terms in the objective function 3125
Biggest coefficient in the objective function 2143
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 9577
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 2143
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 9577
Number of bits of the biggest sum of numbers14
Number of products (including duplicates)2947
Sum of products size (including duplicates)5894
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.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@587bd9f2
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@4e3eca90
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-4119242-1467252192.opb
0.09/0.11	c reading problem ... 
0.09/0.12	c  objective function found
0.76/0.40	c ... done. Wall clock time 0.285s.
0.76/0.40	c declared #vars     183
0.76/0.40	c internal #vars     3130
0.76/0.40	c #constraints  7352
0.76/0.40	c constraints type 
0.76/0.40	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4403
0.76/0.40	c org.sat4j.specs.Constr$1 => 1
0.76/0.40	c org.sat4j.minisat.constraints.cnf.UnitClause => 1
0.76/0.40	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2947
0.76/0.40	c 7352 constraints processed.
0.76/0.40	c objective function length is 3125 literals
0.76/0.45	c SATISFIABLE
0.76/0.45	c OPTIMIZING...
0.76/0.45	c Got one! Elapsed wall clock time (in seconds):0.331
0.76/0.45	o 2180
1.01/0.53	c Got one! Elapsed wall clock time (in seconds):0.417
1.01/0.53	o 2179
1.01/0.56	c Got one! Elapsed wall clock time (in seconds):0.449
1.01/0.56	o 2172
1.31/0.60	c Got one! Elapsed wall clock time (in seconds):0.488
1.31/0.60	o 2171
1.31/0.68	c Got one! Elapsed wall clock time (in seconds):0.57
1.31/0.68	o 2166
1.60/0.70	c Got one! Elapsed wall clock time (in seconds):0.584
1.60/0.70	o 2164
1.60/0.72	c Got one! Elapsed wall clock time (in seconds):0.607
1.60/0.72	o 2163
1.60/0.76	c Got one! Elapsed wall clock time (in seconds):0.649
1.60/0.76	o 2162
1.60/0.78	c Got one! Elapsed wall clock time (in seconds):0.662
1.60/0.78	o 2159
1.93/0.90	c Got one! Elapsed wall clock time (in seconds):0.782
1.93/0.90	o 2155
1.93/0.95	c Got one! Elapsed wall clock time (in seconds):0.835
1.93/0.95	o 2149
1.93/0.96	c Got one! Elapsed wall clock time (in seconds):0.842
1.93/0.96	o 2147
2.74/1.78	c Got one! Elapsed wall clock time (in seconds):1.665
2.74/1.78	o 2142
2.99/1.94	c Got one! Elapsed wall clock time (in seconds):1.829
2.99/1.94	o 2139
3.09/2.06	c Got one! Elapsed wall clock time (in seconds):1.941
3.09/2.06	o 2132
3.59/2.57	c cleaning 3700 clauses out of 7399 with flag 4035/7399
4.22/3.19	c Got one! Elapsed wall clock time (in seconds):3.074
4.22/3.19	o 2131
5.17/3.98	c cleaning 4639 clauses out of 9280 with flag 6090/12980
6.67/5.47	c cleaning 5318 clauses out of 10640 with flag 18100/18979
8.48/7.21	c cleaning 6162 clauses out of 12323 with flag 32149/25980
10.71/9.27	c cleaning 7073 clauses out of 14161 with flag 48150/33980
10.81/9.34	c Got one! Elapsed wall clock time (in seconds):9.228
10.81/9.34	o 2130
12.01/10.58	c cleaning 6192 clauses out of 12389 with flag 10267/39281
13.51/12.05	c cleaning 6096 clauses out of 12197 with flag 22595/45281
15.30/13.80	c cleaning 6550 clauses out of 13101 with flag 36811/52281
16.50/15.03	c Got one! Elapsed wall clock time (in seconds):14.916
16.50/15.03	o 2126
18.09/16.44	c cleaning 8316 clauses out of 16633 with flag 10091/62363
19.59/17.95	c cleaning 7157 clauses out of 14317 with flag 22298/68363
21.39/19.73	c cleaning 7076 clauses out of 14160 with flag 36572/75363
23.39/21.73	c cleaning 7537 clauses out of 15084 with flag 52738/83363
25.59/23.97	c cleaning 8275 clauses out of 16549 with flag 70758/92365
28.30/26.53	c cleaning 9132 clauses out of 18272 with flag 90758/102363
31.10/29.33	c cleaning 10070 clauses out of 20141 with flag 112763/113364
34.10/32.38	c cleaning 11032 clauses out of 22071 with flag 136798/125364
37.60/35.84	c cleaning 12019 clauses out of 24038 with flag 162824/138363
39.60/37.80	c Got one! Elapsed wall clock time (in seconds):37.688
39.60/37.80	o 2125
41.41/39.36	c cleaning 12444 clauses out of 24898 with flag 10389/151242
42.92/40.87	c cleaning 9223 clauses out of 18454 with flag 22696/157242
44.71/42.63	c cleaning 8111 clauses out of 16233 with flag 36917/164244
46.71/44.61	c cleaning 8058 clauses out of 16120 with flag 53198/172242
48.91/46.85	c cleaning 8529 clauses out of 17062 with flag 71278/181242
51.41/49.35	c cleaning 9267 clauses out of 18533 with flag 91324/191242
54.20/52.18	c cleaning 10129 clauses out of 20267 with flag 113661/202243
56.21/54.14	c Got one! Elapsed wall clock time (in seconds):54.028
56.21/54.14	o 2124
57.52/55.46	c cleaning 11508 clauses out of 23030 with flag 10145/215135
59.34/57.07	c cleaning 8757 clauses out of 17521 with flag 22174/221134
61.14/58.86	c cleaning 7879 clauses out of 15764 with flag 36231/228134
63.14/60.84	c cleaning 7938 clauses out of 15885 with flag 52313/236134
65.34/63.07	c cleaning 8474 clauses out of 16947 with flag 70352/245134
67.84/65.54	c cleaning 9231 clauses out of 18473 with flag 90355/255134
70.54/68.26	c cleaning 10119 clauses out of 20243 with flag 112359/266135
73.63/71.34	c cleaning 11061 clauses out of 22123 with flag 136361/278134
76.94/74.66	c cleaning 12032 clauses out of 24064 with flag 162466/291136
80.63/78.33	c cleaning 13015 clauses out of 26031 with flag 190500/305135
85.12/82.46	c cleaning 14003 clauses out of 28015 with flag 220578/320134
87.42/84.71	c Got one! Elapsed wall clock time (in seconds):84.6
87.42/84.71	o 2123
88.81/86.11	c cleaning 13814 clauses out of 27641 with flag 10114/333763
90.31/87.68	c cleaning 9915 clauses out of 19829 with flag 22298/339765
91.51/88.85	c Got one! Elapsed wall clock time (in seconds):88.738
91.51/88.85	o 2121
91.82/89.11	c cleaning 7929 clauses out of 15863 with flag 2024/345714
92.01/89.33	c Got one! Elapsed wall clock time (in seconds):89.214
92.01/89.33	o 2120
92.11/89.42	c Got one! Elapsed wall clock time (in seconds):89.307
92.11/89.42	o 2119
93.31/90.65	c cleaning 7119 clauses out of 14243 with flag 10138/352023
94.73/92.09	c cleaning 6560 clauses out of 13125 with flag 22324/358024
96.43/93.75	c cleaning 6780 clauses out of 13565 with flag 36373/365024
97.73/95.00	c Got one! Elapsed wall clock time (in seconds):94.887
97.73/95.00	o 2118
98.83/96.16	c Got one! Elapsed wall clock time (in seconds):96.05
98.83/96.16	o 2117
99.13/96.45	c cleaning 8859 clauses out of 17722 with flag 2158/375961
100.64/97.96	c cleaning 7430 clauses out of 14862 with flag 15159/381960
102.33/99.63	c cleaning 7214 clauses out of 14431 with flag 29417/388959
104.23/101.58	c cleaning 7607 clauses out of 15217 with flag 45834/396959
106.43/103.79	c cleaning 8302 clauses out of 16612 with flag 63925/405961
106.63/103.90	c Got one! Elapsed wall clock time (in seconds):103.79
106.63/103.90	o 2116
106.63/103.96	c Got one! Elapsed wall clock time (in seconds):103.846
106.63/103.96	o 2112
107.13/104.48	c Got one! Elapsed wall clock time (in seconds):104.369
107.13/104.48	o 2111
107.24/104.51	c Got one! Elapsed wall clock time (in seconds):104.396
107.24/104.51	o 2110
107.34/104.65	c Got one! Elapsed wall clock time (in seconds):104.534
107.34/104.65	o 2109
107.34/104.66	c Got one! Elapsed wall clock time (in seconds):104.544
107.34/104.66	o 2106
107.43/104.70	c Got one! Elapsed wall clock time (in seconds):104.582
107.43/104.70	o 2103
107.43/104.71	c Got one! Elapsed wall clock time (in seconds):104.593
107.43/104.71	o 2101
108.48/105.60	c cleaning 7563 clauses out of 15133 with flag 6071/412784
110.14/107.04	c cleaning 6781 clauses out of 13572 with flag 18139/418786
111.84/108.74	c cleaning 6892 clauses out of 13790 with flag 32157/425785
113.84/110.70	c cleaning 7449 clauses out of 14898 with flag 48197/433785
116.05/112.92	c cleaning 8223 clauses out of 16448 with flag 66262/442784
118.55/115.42	c cleaning 9107 clauses out of 18226 with flag 86366/452785
119.05/115.95	c Got one! Elapsed wall clock time (in seconds):115.833
119.05/115.95	o 2100
119.85/116.71	c cleaning 7163 clauses out of 14340 with flag 6113/458006
121.25/118.16	c cleaning 6578 clauses out of 13178 with flag 18182/464007
122.95/119.85	c cleaning 6796 clauses out of 13600 with flag 32198/471007
124.85/121.79	c cleaning 7397 clauses out of 14804 with flag 48225/479007
127.15/124.01	c cleaning 8197 clauses out of 16407 with flag 66264/488007
129.65/126.51	c cleaning 9100 clauses out of 18210 with flag 86389/498007
132.34/129.25	c cleaning 10055 clauses out of 20110 with flag 108472/509007
135.44/132.31	c cleaning 11028 clauses out of 22055 with flag 132545/521007
138.74/135.64	c cleaning 12012 clauses out of 24026 with flag 158640/534006
142.34/139.28	c cleaning 13007 clauses out of 26014 with flag 186682/548006
146.44/143.32	c cleaning 13997 clauses out of 28007 with flag 216861/563006
151.67/147.93	c cleaning 15002 clauses out of 30011 with flag 249035/579007
156.07/152.39	c cleaning 16003 clauses out of 32009 with flag 283147/596007
160.87/157.16	c cleaning 17002 clauses out of 34005 with flag 319182/614006
165.97/162.25	c cleaning 18002 clauses out of 36003 with flag 357315/633006
171.47/167.71	c cleaning 18997 clauses out of 38001 with flag 397480/653006
177.27/173.53	c cleaning 20000 clauses out of 40004 with flag 439618/674006
183.37/179.63	c cleaning 21001 clauses out of 42005 with flag 483695/696007
189.78/186.06	c cleaning 22002 clauses out of 44003 with flag 529790/719006
196.77/193.03	c cleaning 23000 clauses out of 46001 with flag 577862/743006
205.09/200.63	c cleaning 24000 clauses out of 48001 with flag 627874/768006
212.69/208.23	c cleaning 24999 clauses out of 50002 with flag 679876/794007
220.79/216.30	c cleaning 26000 clauses out of 52002 with flag 733875/821006
228.89/224.48	c Got one! Elapsed wall clock time (in seconds):224.361
228.89/224.48	o 2098
229.09/224.65	c Got one! Elapsed wall clock time (in seconds):224.536
229.09/224.65	o 2093
229.09/224.68	c Got one! Elapsed wall clock time (in seconds):224.57
229.09/224.68	o 2091
230.89/226.48	c cleaning 29520 clauses out of 59048 with flag 10174/854052
230.99/226.59	c Got one! Elapsed wall clock time (in seconds):226.477
230.99/226.59	o 2090
232.48/228.09	c cleaning 17481 clauses out of 34968 with flag 10498/859492
234.08/229.61	c cleaning 11739 clauses out of 23486 with flag 22652/865491
235.78/231.35	c cleaning 9370 clauses out of 18746 with flag 36810/872490
237.69/233.30	c cleaning 8684 clauses out of 17377 with flag 52814/880491
239.89/235.49	c cleaning 8839 clauses out of 17692 with flag 70814/889490
242.38/237.96	c cleaning 9427 clauses out of 18853 with flag 90888/899490
246.14/241.03	c cleaning 10212 clauses out of 20426 with flag 113009/910490
249.13/244.01	c cleaning 11103 clauses out of 22214 with flag 137202/922490
252.43/247.32	c cleaning 12053 clauses out of 24113 with flag 163232/935492
255.83/250.79	c cleaning 13023 clauses out of 26058 with flag 191233/949490
259.73/254.64	c cleaning 14017 clauses out of 28036 with flag 221844/964491
263.83/258.79	c cleaning 15006 clauses out of 30018 with flag 254726/980490
268.33/263.20	c cleaning 16000 clauses out of 32013 with flag 289060/997491
273.13/268.06	c cleaning 17006 clauses out of 34014 with flag 326173/1015492
278.24/273.13	c cleaning 18000 clauses out of 36006 with flag 364925/1034490
283.64/278.51	c cleaning 18999 clauses out of 38006 with flag 405381/1054490
289.78/284.43	c cleaning 20003 clauses out of 40007 with flag 448173/1075490
295.98/290.65	c cleaning 21000 clauses out of 42005 with flag 492212/1097491
302.39/297.05	c cleaning 22001 clauses out of 44005 with flag 538734/1120491
309.09/303.78	c cleaning 22999 clauses out of 46004 with flag 587819/1144491
316.39/311.03	c cleaning 24000 clauses out of 48004 with flag 638155/1169490
323.89/318.53	c cleaning 24993 clauses out of 50004 with flag 690482/1195490
332.66/327.06	c cleaning 26000 clauses out of 52011 with flag 745212/1222490
341.36/335.70	c cleaning 27004 clauses out of 54011 with flag 802094/1250490
348.56/342.98	c Got one! Elapsed wall clock time (in seconds):342.868
348.56/342.98	o 2088
350.36/344.71	c cleaning 28076 clauses out of 56166 with flag 10261/1279649
351.95/346.36	c cleaning 17036 clauses out of 34090 with flag 22398/1285649
353.76/348.10	c cleaning 12021 clauses out of 24054 with flag 36551/1292649
355.66/350.06	c cleaning 10004 clauses out of 20032 with flag 52932/1300648
357.86/352.24	c cleaning 9510 clauses out of 19029 with flag 71009/1309649
360.36/354.70	c cleaning 9756 clauses out of 19518 with flag 91201/1319648
363.06/357.41	c cleaning 10375 clauses out of 20762 with flag 113628/1330648
366.41/360.57	c cleaning 11191 clauses out of 22388 with flag 137900/1342649
369.61/363.75	c cleaning 12097 clauses out of 24196 with flag 163909/1355648
371.91/366.07	c Got one! Elapsed wall clock time (in seconds):365.958
371.91/366.07	o 2087
371.91/366.08	c Got one! Elapsed wall clock time (in seconds):365.963
371.91/366.08	o 2085
371.91/366.09	c Got one! Elapsed wall clock time (in seconds):365.977
371.91/366.09	o 2082
372.01/366.15	c Got one! Elapsed wall clock time (in seconds):366.034
372.01/366.15	o 2079
372.61/366.79	c Got one! Elapsed wall clock time (in seconds):366.679
372.61/366.79	o 2078
373.51/367.65	c cleaning 13692 clauses out of 27393 with flag 6167/1370942
375.01/369.11	c cleaning 9846 clauses out of 19701 with flag 18229/1376942
376.62/370.78	c cleaning 8422 clauses out of 16855 with flag 32349/1383942
378.61/372.70	c cleaning 8211 clauses out of 16434 with flag 48709/1391943
380.71/374.88	c cleaning 8607 clauses out of 17223 with flag 66895/1400943
383.11/377.28	c cleaning 9306 clauses out of 18615 with flag 87371/1410942
385.91/380.02	c cleaning 10152 clauses out of 20310 with flag 109767/1421943
388.91/383.08	c cleaning 11076 clauses out of 22158 with flag 134127/1433943
392.31/386.41	c cleaning 12041 clauses out of 24083 with flag 160907/1446944
395.91/390.00	c cleaning 13018 clauses out of 26041 with flag 189749/1460943
400.07/394.07	c cleaning 14009 clauses out of 28024 with flag 220756/1475944
404.46/398.46	c cleaning 15005 clauses out of 30014 with flag 252979/1491943
409.26/403.25	c cleaning 16003 clauses out of 32010 with flag 287525/1508944
414.27/408.26	c cleaning 17001 clauses out of 34007 with flag 324210/1526944
419.56/413.51	c cleaning 18002 clauses out of 36004 with flag 363278/1545942
425.05/419.05	c cleaning 18996 clauses out of 38002 with flag 404131/1565942
430.86/424.86	c cleaning 19999 clauses out of 40007 with flag 446453/1586943
437.58/431.35	c cleaning 21001 clauses out of 42008 with flag 490538/1608943
443.97/437.75	c cleaning 22003 clauses out of 44007 with flag 536930/1631943
450.58/444.37	c cleaning 23000 clauses out of 46003 with flag 585700/1655942
457.88/451.68	c cleaning 23997 clauses out of 48003 with flag 637424/1680942
465.38/459.13	c cleaning 25001 clauses out of 50006 with flag 690538/1706942
473.91/467.48	c cleaning 25999 clauses out of 52006 with flag 745328/1733943
482.61/476.14	c cleaning 27004 clauses out of 54008 with flag 802325/1761944
491.72/485.23	c cleaning 27995 clauses out of 56003 with flag 862824/1790943
501.02/494.55	c cleaning 28998 clauses out of 58008 with flag 924527/1820943
510.97/504.18	c cleaning 29999 clauses out of 60010 with flag 987449/1851943
520.47/513.67	c cleaning 30994 clauses out of 62011 with flag 1053117/1883943
530.18/523.36	c cleaning 32006 clauses out of 64018 with flag 1121326/1916944
540.38/533.58	c cleaning 33001 clauses out of 66011 with flag 1191321/1950943
551.73/544.73	c cleaning 34002 clauses out of 68009 with flag 1262885/1985942
562.64/555.67	c cleaning 35001 clauses out of 70008 with flag 1337335/2021943
574.13/567.18	c cleaning 35999 clauses out of 72006 with flag 1413613/2058942
586.59/579.22	c cleaning 37002 clauses out of 74008 with flag 1491646/2096943
599.09/591.72	c cleaning 37999 clauses out of 76005 with flag 1572786/2135942
612.73/605.14	c cleaning 38999 clauses out of 78006 with flag 1654316/2175942
625.72/618.16	c cleaning 39998 clauses out of 80007 with flag 1738466/2216942
639.43/631.84	c cleaning 41001 clauses out of 82009 with flag 1825106/2258942
654.00/646.13	c cleaning 42001 clauses out of 84008 with flag 1913173/2301942
668.91/661.10	c cleaning 43001 clauses out of 86008 with flag 2004081/2345943
685.10/677.03	c cleaning 43999 clauses out of 88006 with flag 2096226/2390942
700.71/692.61	c cleaning 45001 clauses out of 90007 with flag 2190398/2436942
717.72/709.37	c cleaning 46000 clauses out of 92006 with flag 2285270/2483942
734.62/726.26	c cleaning 46999 clauses out of 94006 with flag 2383613/2531942
753.53/745.03	c cleaning 48001 clauses out of 96007 with flag 2484486/2580942
773.15/764.28	c cleaning 49002 clauses out of 98008 with flag 2587802/2630944
792.04/783.13	c cleaning 50001 clauses out of 100004 with flag 2693488/2681942
811.63/801.97	c cleaning 50992 clauses out of 102003 with flag 2801380/2733942
831.32/821.16	c cleaning 52002 clauses out of 104013 with flag 2911180/2786944
850.81/840.63	c cleaning 52995 clauses out of 106009 with flag 3022420/2840942
870.76/860.39	c cleaning 54005 clauses out of 108015 with flag 3135582/2895943
892.63/882.08	c cleaning 55001 clauses out of 110009 with flag 3250946/2951942
913.19/902.33	c cleaning 56002 clauses out of 112010 with flag 3368271/3008944
934.39/923.24	c cleaning 57002 clauses out of 114006 with flag 3485863/3066942
955.89/944.41	c cleaning 57998 clauses out of 116005 with flag 3604964/3125943
979.15/967.31	c cleaning 58998 clauses out of 118006 with flag 3728704/3185942
1002.52/990.49	c cleaning 60001 clauses out of 120008 with flag 3854041/3246942
1026.93/1014.55	c cleaning 60999 clauses out of 122007 with flag 3980978/3308942
1051.15/1038.34	c cleaning 62002 clauses out of 124008 with flag 4109799/3371942
1076.61/1063.49	c cleaning 63002 clauses out of 126007 with flag 4240096/3435943
1104.23/1091.00	c cleaning 63999 clauses out of 128005 with flag 4371803/3500943
1133.48/1119.75	c cleaning 65002 clauses out of 130007 with flag 4505014/3566944
1161.80/1147.85	c cleaning 66001 clauses out of 132003 with flag 4639619/3633942
1193.34/1179.01	c cleaning 66999 clauses out of 134002 with flag 4776846/3701942
1225.86/1211.10	c cleaning 68000 clauses out of 136003 with flag 4916351/3770942
1257.84/1242.49	c cleaning 68998 clauses out of 138004 with flag 5057992/3840943
1289.57/1273.63	c cleaning 70000 clauses out of 140006 with flag 5200629/3911943
1322.71/1306.12	c cleaning 70997 clauses out of 142005 with flag 5346679/3983942
1358.74/1341.91	c cleaning 72001 clauses out of 144009 with flag 5497991/4056943
1394.62/1377.28	c cleaning 73003 clauses out of 146007 with flag 5649189/4130942
1428.78/1411.16	c cleaning 73995 clauses out of 148004 with flag 5803682/4205942
1465.12/1446.36	c cleaning 75001 clauses out of 150009 with flag 5958074/4281942
1502.68/1483.59	c cleaning 76002 clauses out of 152010 with flag 6117475/4358944
1540.95/1521.15	c cleaning 76999 clauses out of 154006 with flag 6278167/4436942
1578.00/1557.80	c cleaning 78004 clauses out of 156007 with flag 6438576/4515942
1614.93/1594.24	c cleaning 78997 clauses out of 158004 with flag 6603545/4595943
1652.58/1631.27	c cleaning 80003 clauses out of 160008 with flag 6769033/4676944
1691.26/1669.25	c cleaning 80996 clauses out of 162004 with flag 6935835/4758943
1729.51/1707.12	c cleaning 81996 clauses out of 164007 with flag 7107601/4841942
1771.35/1748.31	c cleaning 83003 clauses out of 166013 with flag 7277249/4925944
1800.02/1776.61	c starts		: 46
1800.02/1776.61	c conflicts		: 4991665
1800.02/1776.61	c decisions		: 4999913
1800.02/1776.61	c propagations		: 211181458
1800.02/1776.61	c inspects		: 12402863620
1800.02/1776.61	c shortcuts		: 0
1800.02/1776.61	c learnt literals	: 0
1800.02/1776.61	c learnt binary clauses	: 0
1800.02/1776.61	c learnt ternary clauses	: 49
1800.02/1776.61	c learnt constraints	: 4991665
1800.02/1776.61	c ignored constraints	: 0
1800.02/1776.61	c root simplifications	: 0
1800.02/1776.61	c removed literals (reason simplification)	: 0
1800.02/1776.61	c reason swapping (by a shorter reason)	: 0
1800.02/1776.61	c Calls to reduceDB	: 189
1800.02/1776.61	c Number of update (reduction) of LBD	: 1445
1800.02/1776.61	c Imported unit clauses	: 0
1800.02/1776.61	c number of reductions to clauses (during analyze)	: 0
1800.02/1776.61	c number of learned constraints concerned by reduction	: 0
1800.02/1776.61	c number of learning phase by resolution	: 0
1800.02/1776.61	c number of learning phase by cutting planes	: 0
1800.02/1776.61	c speed (assignments/second)	: 118895.35726913021
1800.02/1776.61	c non guided choices	2
1800.02/1776.64	c learnt constraints type 
1800.02/1776.64	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 148731
1800.02/1776.64	s SATISFIABLE
1800.02/1776.64	c Found 45 solution(s)
1800.02/1776.64	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 
1800.02/1776.64	c objective function=2078
1800.02/1776.64	c Total wall clock time (in seconds): 1776.522

Verifier Data 

OK	2078

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-4119242-1467252192/watcher-4119242-1467252192 -o /tmp/evaluation-result-4119242-1467252192/solver-4119242-1467252192 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1467246683-9204 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4119242-1467252192.opb 

pid=10091
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.18 2.13 2.10 3/194 10094
/proc/meminfo: memFree=25777012/32872528 swapFree=242912/249044
[pid=10094] ppid=10091 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/10094/stat : 10094 (java) D 10091 10094 9187 0 -1 4202496 328 0 0 0 0 0 0 0 20 0 1 0 6325519 9515008 185 33554432000 1073741824 1073778376 140734420860672 140734420851896 247064063415 0 0 4096 0 18446744072100588836 0 0 17 3 0 0 0 0 0
/proc/10094/statm: 2323 185 142 9 0 71 0

[startup+0.10006 s]
/proc/loadavg: 2.18 2.13 2.10 3/194 10094
/proc/meminfo: memFree=25777012/32872528 swapFree=242912/249044
[pid=10094] ppid=10091 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/10094/stat : 10094 (java) S 10091 10094 9187 0 -1 4202496 4396 0 1 0 8 1 0 0 20 0 18 0 6325519 9787879424 6029 33554432000 1073741824 1073778376 140736187005936 140736186997072 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10094/statm: 2389619 6029 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200226 s]
/proc/loadavg: 2.18 2.13 2.10 3/194 10094
/proc/meminfo: memFree=25777012/32872528 swapFree=242912/249044
[pid=10094] ppid=10091 vsize=9558476 CPUtime=0.23 cores=1,3,5,7
/proc/10094/stat : 10094 (java) S 10091 10094 9187 0 -1 4202496 4595 0 1 0 22 1 0 0 20 0 18 0 6325519 9787879424 6708 33554432000 1073741824 1073778376 140736187005936 140736186997072 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10094/statm: 2389619 6708 2202 9 0 2380296 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 9558476

[startup+0.300236 s]
/proc/loadavg: 2.18 2.13 2.10 3/194 10094
/proc/meminfo: memFree=25777012/32872528 swapFree=242912/249044
[pid=10094] ppid=10091 vsize=9558476 CPUtime=0.45 cores=1,3,5,7
/proc/10094/stat : 10094 (java) S 10091 10094 9187 0 -1 4202496 5806 0 1 0 44 1 0 0 20 0 18 0 6325519 9787879424 8501 33554432000 1073741824 1073778376 140736187005936 140736186997072 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10094/statm: 2389619 8501 2245 9 0 2380296 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 9558476

[startup+0.7002 s]
/proc/loadavg: 2.18 2.13 2.10 3/194 10094
/proc/meminfo: memFree=25777012/32872528 swapFree=242912/249044
[pid=10094] ppid=10091 vsize=9625040 CPUtime=1.6 cores=1,3,5,7
/proc/10094/stat : 10094 (java) S 10091 10094 9187 0 -1 4202496 9938 0 1 0 158 2 0 0 20 0 19 0 6325519 9856040960 12969 33554432000 1073741824 1073778376 140736187005936 140736186997072 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10094/statm: 2406260 12969 2274 9 0 2396937 0
Current children cumulated CPU time (s) 1.6
Current children cumulated vsize (KiB) 9625040

[startup+1.50087 s]
/proc/loadavg: 2.18 2.13 2.10 3/213 10113
/proc/meminfo: memFree=25715436/32872528 swapFree=242912/249044
[pid=10094] ppid=10091 vsize=9625040 CPUtime=2.54 cores=1,3,5,7
/proc/10094/stat : 10094 (java) S 10091 10094 9187 0 -1 4202496 10481 0 1 0 251 3 0 0 20 0 19 0 6325519 9856040960 21259 33554432000 1073741824 1073778376 140736187005936 140736186997072 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10094/statm: 2406260 21259 2274 9 0 2396937 0
[pid=10094/tid=10096] ppid=10091 vsize=9625040 CPUtime=1.46 cores=1,3,5,7
/proc/10094/task/10096/stat : 10096 (java) R 10091 10094 9187 0 -1 4202560 2437 0 1 0 144 2 0 0 20 0 19 0 6325520 9856040960 21259 33554432000 1073741824 1073778376 140736187005936 140213413411168 140213251598584 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=10094/tid=10097] ppid=10091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10094/task/10097/stat : 10097 (java) S 10091 10094 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6325522 9856040960 21259 33554432000 1073741824 1073778376 140736187005936 140213374904616 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10094/tid=10098] ppid=10091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10094/task/10098/stat : 10098 (java) S 10091 10094 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6325522 9856040960 21259 33554432000 1073741824 1073778376 140736187005936 140213373851816 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10094/tid=10099] ppid=10091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10094/task/10099/stat : 10099 (java) S 10091 10094 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6325522 9856040960 21259 33554432000 1073741824 1073778376 140736187005936 140213372799528 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10094/tid=10100] ppid=10091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10094/task/10100/stat : 10100 (java) S 10091 10094 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6325522 9856040960 21259 33554432000 1073741824 1073778376 140736187005936 140213371746728 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10094/tid=10101] ppid=10091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10094/task/10101/stat : 10101 (java) S 10091 10094 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6325522 9856040960 21259 33554432000 1073741824 1073778376 140736187005936 140213370694440 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10094/tid=10102] ppid=10091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10094/task/10102/stat : 10102 (java) S 10091 10094 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6325522 9856040960 21259 33554432000 1073741824 1073778376 140736187005936 140213369641640 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10094/tid=10103] ppid=10091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10094/task/10103/stat : 10103 (java) S 10091 10094 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6325522 9856040960 21259 33554432000 1073741824 1073778376 140736187005936 140213250681896 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10094/tid=10104] ppid=10091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10094/task/10104/stat : 10104 (java) S 10091 10094 9187 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 6325522 9856040960 21259 33554432000 1073741824 1073778376 140736187005936 140213249629096 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10094/tid=10105] ppid=10091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10094/task/10105/stat : 10105 (java) S 10091 10094 9187 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 6325523 9856040960 21259 33554432000 1073741824 1073778376 140736187005936 140213237430504 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10094/tid=10106] ppid=10091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10094/task/10106/stat : 10106 (java) S 10091 10094 9187 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 6325523 9856040960 21259 33554432000 1073741824 1073778376 140736187005936 140213236376568 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10094/tid=10107] ppid=10091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10094/task/10107/stat : 10107 (java) S 10091 10094 9187 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 6325523 9856040960 21259 33554432000 1073741824 1073778376 140736187005936 140213235324168 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10094/tid=10108] ppid=10091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10094/task/10108/stat : 10108 (java) S 10091 10094 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6325526 9856040960 21259 33554432000 1073741824 1073778376 140736187005936 140212495706512 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10094/tid=10109] ppid=10091 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/10094/task/10109/stat : 10109 (java) S 10091 10094 9187 0 -1 4202560 2894 0 0 0 50 0 0 0 20 0 19 0 6325526 9856040960 21259 33554432000 1073741824 1073778376 140736187005936 140212494654136 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10094/tid=10110] ppid=10091 vsize=9625040 CPUtime=0.53 cores=1,3,5,7
/proc/10094/task/10110/stat : 10110 (java) S 10091 10094 9187 0 -1 4202560 3877 0 0 0 53 0 0 0 20 0 19 0 6325526 9856040960 21259 33554432000 1073741824 1073778376 140736187005936 140212493601336 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10094/tid=10111] ppid=10091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10094/task/10111/stat : 10111 (java) S 10091 10094 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6325526 9856040960 21259 33554432000 1073741824 1073778376 140736187005936 140212492549240 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10094/tid=10112] ppid=10091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10094/task/10112/stat : 10112 (java) S 10091 10094 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6325526 9856040960 21259 33554432000 1073741824 1073778376 140736187005936 140212491496648 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10094/tid=10113] ppid=10091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10094/task/10113/stat : 10113 (java) S 10091 10094 9187 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 6325561 9856040960 21259 33554432000 1073741824 1073778376 140736187005936 140212490441640 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.54
Current children cumulated vsize (KiB) 9625040

[startup+3.1009 s]
/proc/loadavg: 2.18 2.13 2.10 3/213 10113
/proc/meminfo: memFree=25673104/32872528 swapFree=242912/249044
[pid=10094] ppid=10091 vsize=9625040 CPUtime=4.22 cores=1,3,5,7
/proc/10094/stat : 10094 (java) S 10091 10094 9187 0 -1 4202496 11053 0 1 0 418 4 0 0 20 0 19 0 6325519 9856040960 35088 33554432000 1073741824 1073778376 140736187005936 140736186997072 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10094/statm: 2406260 35088 2279 9 0 2396937 0
[pid=10094/tid=10096] ppid=10091 vsize=9625040 CPUtime=3.05 cores=1,3,5,7
/proc/10094/task/10096/stat : 10096 (java) R 10091 10094 9187 0 -1 4202560 2465 0 1 0 302 3 0 0 20 0 19 0 6325520 9856040960 35088 33554432000 1073741824 1073778376 140736187005936 140213413412872 140213251456259 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=10094/tid=10097] ppid=10091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10094/task/10097/stat : 10097 (java) S 10091 10094 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6325522 9856040960 35088 33554432000 1073741824 1073778376 140736187005936 140213374904616 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10094/tid=10098] ppid=10091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10094/task/10098/stat : 10098 (java) S 10091 10094 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6325522 9856040960 35088 33554432000 1073741824 1073778376 140736187005936 140213373851816 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10094/tid=10099] ppid=10091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10094/task/10099/stat : 10099 (java) S 10091 10094 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6325522 9856040960 35088 33554432000 1073741824 1073778376 140736187005936 140213372799528 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10094/tid=10100] ppid=10091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10094/task/10100/stat : 10100 (java) S 10091 10094 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6325522 9856040960 35088 33554432000 1073741824 1073778376 140736187005936 140213371746728 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10094/tid=10101] ppid=10091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10094/task/10101/stat : 10101 (java) S 10091 10094 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6325522 9856040960 35088 33554432000 1073741824 1073778376 140736187005936 140213370694440 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10094/tid=10102] ppid=10091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10094/task/10102/stat : 10102 (java) S 10091 10094 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6325522 9856040960 35088 33554432000 1073741824 1073778376 140736187005936 140213369641640 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10094/tid=10103] ppid=10091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10094/task/10103/stat : 10103 (java) S 10091 10094 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6325522 9856040960 35088 33554432000 1073741824 1073778376 140736187005936 140213250681896 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10094/tid=10104] ppid=10091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10094/task/10104/stat : 10104 (java) S 10091 10094 9187 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 6325522 9856040960 35088 33554432000 1073741824 1073778376 140736187005936 140213249629096 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10094/tid=10105] ppid=10091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10094/task/10105/stat : 10105 (java) S 10091 10094 9187 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 6325523 9856040960 35088 33554432000 1073741824 1073778376 140736187005936 140213237430504 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10094/tid=10106] ppid=10091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10094/task/10106/stat : 10106 (java) S 10091 10094 9187 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 6325523 9856040960 35088 33554432000 1073741824 1073778376 140736187005936 140213236376568 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10094/tid=10107] ppid=10091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10094/task/10107/stat : 10107 (java) S 10091 10094 9187 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 6325523 9856040960 35088 33554432000 1073741824 1073778376 140736187005936 140213235324168 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10094/tid=10108] ppid=10091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10094/task/10108/stat : 10108 (java) S 10091 10094 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6325526 9856040960 35088 33554432000 1073741824 1073778376 140736187005936 140212495706512 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10094/tid=10109] ppid=10091 vsize=9625040 CPUtime=0.58 cores=1,3,5,7
/proc/10094/task/10109/stat : 10109 (java) S 10091 10094 9187 0 -1 4202560 3434 0 0 0 58 0 0 0 20 0 19 0 6325526 9856040960 35088 33554432000 1073741824 1073778376 140736187005936 140212494654136 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10094/tid=10110] ppid=10091 vsize=9625040 CPUtime=0.54 cores=1,3,5,7
/proc/10094/task/10110/stat : 10110 (java) S 10091 10094 9187 0 -1 4202560 3881 0 0 0 54 0 0 0 20 0 19 0 6325526 9856040960 35088 33554432000 1073741824 1073778376 140736187005936 140212493601336 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10094/tid=10111] ppid=10091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10094/task/10111/stat : 10111 (java) S 10091 10094 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6325526 9856040960 35088 33554432000 1073741824 1073778376 140736187005936 140212492549240 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10094/tid=10112] ppid=10091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10094/task/10112/stat : 10112 (java) S 10091 10094 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6325526 9856040960 35088 33554432000 1073741824 1073778376 140736187005936 140212491496648 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10094/tid=10113] ppid=10091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10094/task/10113/stat : 10113 (java) S 10091 10094 9187 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 6325561 9856040960 35088 33554432000 1073741824 1073778376 140736187005936 140212490441640 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 4.22
Current children cumulated vsize (KiB) 9625040

[startup+6.30089 s]
/proc/loadavg: 2.17 2.13 2.09 3/213 10113
/proc/meminfo: memFree=25554444/32872528 swapFree=242912/249044
[pid=10094] ppid=10091 vsize=9625040 CPUtime=7.58 cores=1,3,5,7
/proc/10094/stat : 10094 (java) S 10091 10094 9187 0 -1 4202496 11286 0 1 0 746 12 0 0 20 0 19 0 6325519 9856040960 57545 33554432000 1073741824 1073778376 140736187005936 140736186997072 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10094/statm: 2406260 57545 2292 9 0 2396937 0
[pid=10094/tid=10096] ppid=10091 vsize=9625040 CPUtime=6.21 cores=1,3,5,7
/proc/10094/task/10096/stat : 10096 (java) R 10091 10094 9187 0 -1 4202560 2481 0 1 0 617 4 0 0 20 0 19 0 6325520 9856040960 57545 33554432000 1073741824 1073778376 140736187005936 140213413404368 140213251347556 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=10094/tid=10097] ppid=10091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10094/task/10097/stat : 10097 (java) S 10091 10094 9187 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 6325522 9856040960 57545 33554432000 1073741824 1073778376 140736187005936 140213374904616 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10094/tid=10098] ppid=10091 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/10094/task/10098/stat : 10098 (java) S 10091 10094 9187 0 -1 4202560 19 0 0 0 1 0 0 0 20 0 19 0 6325522 9856040960 57545 33554432000 1073741824 1073778376 140736187005936 140213373851816 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10094/tid=10099] ppid=10091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10094/task/10099/stat : 10099 (java) S 10091 10094 9187 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 6325522 9856040960 57545 33554432000 1073741824 1073778376 140736187005936 140213372799528 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10094/tid=10100] ppid=10091 vsize=9625040 CPUtime=0.03 cores=1,3,5,7
/proc/10094/task/10100/stat : 10100 (java) S 10091 10094 9187 0 -1 4202560 41 0 0 0 1 2 0 0 20 0 19 0 6325522 9856040960 57545 33554432000 1073741824 1073778376 140736187005936 140213371746728 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10094/tid=10101] ppid=10091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10094/task/10101/stat : 10101 (java) S 10091 10094 9187 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 6325522 9856040960 57545 33554432000 1073741824 1073778376 140736187005936 140213370694440 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10094/tid=10102] ppid=10091 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/10094/task/10102/stat : 10102 (java) S 10091 10094 9187 0 -1 4202560 19 0 0 0 1 0 0 0 20 0 19 0 6325522 9856040960 57545 33554432000 1073741824 1073778376 140736187005936 140213369641640 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10094/tid=10103] ppid=10091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10094/task/10103/stat : 10103 (java) S 10091 10094 9187 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 6325522 9856040960 57545 33554432000 1073741824 1073778376 140736187005936 140213250681896 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10094/tid=10104] ppid=10091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10094/task/10104/stat : 10104 (java) S 10091 10094 9187 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 6325522 9856040960 57545 33554432000 1073741824 1073778376 140736187005936 140213249629096 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10094/tid=10105] ppid=10091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10094/task/10105/stat : 10105 (java) S 10091 10094 9187 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 19 0 6325523 9856040960 57545 33554432000 1073741824 1073778376 140736187005936 140213237430504 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10094/tid=10106] ppid=10091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10094/task/10106/stat : 10106 (java) S 10091 10094 9187 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 6325523 9856040960 57545 33554432000 1073741824 1073778376 140736187005936 140213236376568 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10094/tid=10107] ppid=10091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10094/task/10107/stat : 10107 (java) S 10091 10094 9187 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 6325523 9856040960 57545 33554432000 1073741824 1073778376 140736187005936 140213235324168 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10094/tid=10108] ppid=10091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10094/task/10108/stat : 10108 (java) S 10091 10094 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6325526 9856040960 57545 33554432000 1073741824 1073778376 140736187005936 140212495706512 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10094/tid=10109] ppid=10091 vsize=9625040 CPUtime=0.59 cores=1,3,5,7
/proc/10094/task/10109/stat : 10109 (java) S 10091 10094 9187 0 -1 4202560 3434 0 0 0 59 0 0 0 20 0 19 0 6325526 9856040960 57545 33554432000 1073741824 1073778376 140736187005936 140212494654136 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10094/tid=10110] ppid=10091 vsize=9625040 CPUtime=0.57 cores=1,3,5,7
/proc/10094/task/10110/stat : 10110 (java) S 10091 10094 9187 0 -1 4202560 3881 0 0 0 57 0 0 0 20 0 19 0 6325526 9856040960 57545 33554432000 1073741824 1073778376 140736187005936 140212493601336 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10094/tid=10111] ppid=10091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10094/task/10111/stat : 10111 (java) S 10091 10094 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6325526 9856040960 57545 33554432000 1073741824 1073778376 140736187005936 140212492549240 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10094/tid=10112] ppid=10091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10094/task/10112/stat : 10112 (java) S 10091 10094 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6325526 9856040960 57545 33554432000 1073741824 1073778376 140736187005936 140212491496648 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10094/tid=10113] ppid=10091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10094/task/10113/stat : 10113 (java) S 10091 10094 9187 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 6325561 9856040960 57545 33554432000 1073741824 1073778376 140736187005936 140212490441640 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 7.58
Current children cumulated vsize (KiB) 9625040


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

[pid=10094/tid=10106] ppid=10091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10094/task/10106/stat : 10106 (java) S 10091 10094 9187 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 6325523 9856040960 677261 33554432000 1073741824 1073778376 140736187005936 140213236376568 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10094/tid=10107] ppid=10091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10094/task/10107/stat : 10107 (java) S 10091 10094 9187 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 6325523 9856040960 677261 33554432000 1073741824 1073778376 140736187005936 140213235324168 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10094/tid=10108] ppid=10091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10094/task/10108/stat : 10108 (java) S 10091 10094 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6325526 9856040960 677261 33554432000 1073741824 1073778376 140736187005936 140212495706512 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10094/tid=10109] ppid=10091 vsize=9625040 CPUtime=0.62 cores=1,3,5,7
/proc/10094/task/10109/stat : 10109 (java) S 10091 10094 9187 0 -1 4202560 3584 0 0 0 62 0 0 0 20 0 19 0 6325526 9856040960 677261 33554432000 1073741824 1073778376 140736187005936 140212494654136 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10094/tid=10110] ppid=10091 vsize=9625040 CPUtime=0.58 cores=1,3,5,7
/proc/10094/task/10110/stat : 10110 (java) S 10091 10094 9187 0 -1 4202560 3881 0 0 0 58 0 0 0 20 0 19 0 6325526 9856040960 677261 33554432000 1073741824 1073778376 140736187005936 140212493601336 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10094/tid=10111] ppid=10091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10094/task/10111/stat : 10111 (java) S 10091 10094 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6325526 9856040960 677261 33554432000 1073741824 1073778376 140736187005936 140212492549240 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10094/tid=10112] ppid=10091 vsize=9625040 CPUtime=0.51 cores=1,3,5,7
/proc/10094/task/10112/stat : 10112 (java) S 10091 10094 9187 0 -1 4202560 93 0 0 0 24 27 0 0 20 0 19 0 6325526 9856040960 677261 33554432000 1073741824 1073778376 140736187005936 140212491496648 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10094/tid=10113] ppid=10091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10094/task/10113/stat : 10113 (java) S 10091 10094 9187 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 6325561 9856040960 677261 33554432000 1073741824 1073778376 140736187005936 140212490441640 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1623.13
Current children cumulated vsize (KiB) 9625040

[startup+1662.3 s]
/proc/loadavg: 2.01 2.03 2.06 3/214 10221
/proc/meminfo: memFree=23083576/32872528 swapFree=242912/249044
[pid=10094] ppid=10091 vsize=9625040 CPUtime=1684.36 cores=1,3,5,7
/proc/10094/stat : 10094 (java) S 10091 10094 9187 0 -1 4202496 58926 0 1 0 167918 518 0 0 20 0 19 0 6325519 9856040960 693215 33554432000 1073741824 1073778376 140736187005936 140736186997072 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10094/statm: 2406260 693215 2301 9 0 2396937 0
[pid=10094/tid=10096] ppid=10091 vsize=9625040 CPUtime=1650.73 cores=1,3,5,7
/proc/10094/task/10096/stat : 10096 (java) R 10091 10094 9187 0 -1 4202560 3557 0 1 0 165032 41 0 0 20 0 19 0 6325520 9856040960 693215 33554432000 1073741824 1073778376 140736187005936 140213413412064 140213251361829 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=10094/tid=10097] ppid=10091 vsize=9625040 CPUtime=3.24 cores=1,3,5,7
/proc/10094/task/10097/stat : 10097 (java) S 10091 10094 9187 0 -1 4202560 4092 0 0 0 275 49 0 0 20 0 19 0 6325522 9856040960 693215 33554432000 1073741824 1073778376 140736187005936 140213374904616 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10094/tid=10098] ppid=10091 vsize=9625040 CPUtime=3.45 cores=1,3,5,7
/proc/10094/task/10098/stat : 10098 (java) S 10091 10094 9187 0 -1 4202560 3882 0 0 0 287 58 0 0 20 0 19 0 6325522 9856040960 693215 33554432000 1073741824 1073778376 140736187005936 140213373851816 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10094/tid=10099] ppid=10091 vsize=9625040 CPUtime=3.38 cores=1,3,5,7
/proc/10094/task/10099/stat : 10099 (java) S 10091 10094 9187 0 -1 4202560 7593 0 0 0 285 53 0 0 20 0 19 0 6325522 9856040960 693215 33554432000 1073741824 1073778376 140736187005936 140213372799528 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10094/tid=10100] ppid=10091 vsize=9625040 CPUtime=3.44 cores=1,3,5,7
/proc/10094/task/10100/stat : 10100 (java) S 10091 10094 9187 0 -1 4202560 5917 0 0 0 279 65 0 0 20 0 19 0 6325522 9856040960 693215 33554432000 1073741824 1073778376 140736187005936 140213371746728 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10094/tid=10101] ppid=10091 vsize=9625040 CPUtime=3.62 cores=1,3,5,7
/proc/10094/task/10101/stat : 10101 (java) S 10091 10094 9187 0 -1 4202560 4732 0 0 0 304 58 0 0 20 0 19 0 6325522 9856040960 693215 33554432000 1073741824 1073778376 140736187005936 140213370694440 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10094/tid=10102] ppid=10091 vsize=9625040 CPUtime=3.83 cores=1,3,5,7
/proc/10094/task/10102/stat : 10102 (java) S 10091 10094 9187 0 -1 4202560 4639 0 0 0 319 64 0 0 20 0 19 0 6325522 9856040960 693215 33554432000 1073741824 1073778376 140736187005936 140213369641640 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10094/tid=10103] ppid=10091 vsize=9625040 CPUtime=3.35 cores=1,3,5,7
/proc/10094/task/10103/stat : 10103 (java) S 10091 10094 9187 0 -1 4202560 7946 0 0 0 274 61 0 0 20 0 19 0 6325522 9856040960 693215 33554432000 1073741824 1073778376 140736187005936 140213250681896 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10094/tid=10104] ppid=10091 vsize=9625040 CPUtime=3.66 cores=1,3,5,7
/proc/10094/task/10104/stat : 10104 (java) S 10091 10094 9187 0 -1 4202560 3818 0 0 0 304 62 0 0 20 0 19 0 6325522 9856040960 693215 33554432000 1073741824 1073778376 140736187005936 140213249629096 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10094/tid=10105] ppid=10091 vsize=9625040 CPUtime=4.07 cores=1,3,5,7
/proc/10094/task/10105/stat : 10105 (java) S 10091 10094 9187 0 -1 4202560 3930 0 0 0 401 6 0 0 20 0 19 0 6325523 9856040960 693215 33554432000 1073741824 1073778376 140736187005936 140213237430504 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10094/tid=10106] ppid=10091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10094/task/10106/stat : 10106 (java) S 10091 10094 9187 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 6325523 9856040960 693215 33554432000 1073741824 1073778376 140736187005936 140213236376568 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10094/tid=10107] ppid=10091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10094/task/10107/stat : 10107 (java) S 10091 10094 9187 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 6325523 9856040960 693215 33554432000 1073741824 1073778376 140736187005936 140213235324168 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10094/tid=10108] ppid=10091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10094/task/10108/stat : 10108 (java) S 10091 10094 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6325526 9856040960 693215 33554432000 1073741824 1073778376 140736187005936 140212495706512 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10094/tid=10109] ppid=10091 vsize=9625040 CPUtime=0.62 cores=1,3,5,7
/proc/10094/task/10109/stat : 10109 (java) S 10091 10094 9187 0 -1 4202560 3584 0 0 0 62 0 0 0 20 0 19 0 6325526 9856040960 693215 33554432000 1073741824 1073778376 140736187005936 140212494654136 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10094/tid=10110] ppid=10091 vsize=9625040 CPUtime=0.58 cores=1,3,5,7
/proc/10094/task/10110/stat : 10110 (java) S 10091 10094 9187 0 -1 4202560 3881 0 0 0 58 0 0 0 20 0 19 0 6325526 9856040960 693215 33554432000 1073741824 1073778376 140736187005936 140212493601336 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10094/tid=10111] ppid=10091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10094/task/10111/stat : 10111 (java) S 10091 10094 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6325526 9856040960 693215 33554432000 1073741824 1073778376 140736187005936 140212492549240 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10094/tid=10112] ppid=10091 vsize=9625040 CPUtime=0.54 cores=1,3,5,7
/proc/10094/task/10112/stat : 10112 (java) S 10091 10094 9187 0 -1 4202560 97 0 0 0 25 29 0 0 20 0 19 0 6325526 9856040960 693215 33554432000 1073741824 1073778376 140736187005936 140212491496648 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10094/tid=10113] ppid=10091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10094/task/10113/stat : 10113 (java) S 10091 10094 9187 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 6325561 9856040960 693215 33554432000 1073741824 1073778376 140736187005936 140212490441640 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1684.36
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.15 2.07 2.07 3/213 10222
/proc/meminfo: memFree=22835800/32872528 swapFree=242912/249044
[pid=10094] ppid=10091 vsize=9625040 CPUtime=1745.01 cores=1,3,5,7
/proc/10094/stat : 10094 (java) S 10091 10094 9187 0 -1 4202496 59050 0 1 0 173978 523 0 0 20 0 19 0 6325519 9856040960 651553 33554432000 1073741824 1073778376 140736187005936 140736186997072 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10094/statm: 2406260 651553 2301 9 0 2396937 0
[pid=10094/tid=10096] ppid=10091 vsize=9625040 CPUtime=1710.38 cores=1,3,5,7
/proc/10094/task/10096/stat : 10096 (java) R 10091 10094 9187 0 -1 4202560 3561 0 1 0 170997 41 0 0 20 0 19 0 6325520 9856040960 651553 33554432000 1073741824 1073778376 140736187005936 140213413412064 140213251414656 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=10094/tid=10097] ppid=10091 vsize=9625040 CPUtime=3.39 cores=1,3,5,7
/proc/10094/task/10097/stat : 10097 (java) S 10091 10094 9187 0 -1 4202560 4098 0 0 0 290 49 0 0 20 0 19 0 6325522 9856040960 651553 33554432000 1073741824 1073778376 140736187005936 140213374904616 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10094/tid=10098] ppid=10091 vsize=9625040 CPUtime=3.59 cores=1,3,5,7
/proc/10094/task/10098/stat : 10098 (java) S 10091 10094 9187 0 -1 4202560 3887 0 0 0 301 58 0 0 20 0 19 0 6325522 9856040960 651553 33554432000 1073741824 1073778376 140736187005936 140213373851816 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10094/tid=10099] ppid=10091 vsize=9625040 CPUtime=3.49 cores=1,3,5,7
/proc/10094/task/10099/stat : 10099 (java) S 10091 10094 9187 0 -1 4202560 7622 0 0 0 295 54 0 0 20 0 19 0 6325522 9856040960 651553 33554432000 1073741824 1073778376 140736187005936 140213372799528 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10094/tid=10100] ppid=10091 vsize=9625040 CPUtime=3.53 cores=1,3,5,7
/proc/10094/task/10100/stat : 10100 (java) S 10091 10094 9187 0 -1 4202560 5944 0 0 0 287 66 0 0 20 0 19 0 6325522 9856040960 651553 33554432000 1073741824 1073778376 140736187005936 140213371746728 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10094/tid=10101] ppid=10091 vsize=9625040 CPUtime=3.71 cores=1,3,5,7
/proc/10094/task/10101/stat : 10101 (java) S 10091 10094 9187 0 -1 4202560 4741 0 0 0 313 58 0 0 20 0 19 0 6325522 9856040960 651553 33554432000 1073741824 1073778376 140736187005936 140213370694440 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10094/tid=10102] ppid=10091 vsize=9625040 CPUtime=3.94 cores=1,3,5,7
/proc/10094/task/10102/stat : 10102 (java) S 10091 10094 9187 0 -1 4202560 4654 0 0 0 328 66 0 0 20 0 19 0 6325522 9856040960 651553 33554432000 1073741824 1073778376 140736187005936 140213369641640 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10094/tid=10103] ppid=10091 vsize=9625040 CPUtime=3.48 cores=1,3,5,7
/proc/10094/task/10103/stat : 10103 (java) S 10091 10094 9187 0 -1 4202560 7957 0 0 0 286 62 0 0 20 0 19 0 6325522 9856040960 651553 33554432000 1073741824 1073778376 140736187005936 140213250681896 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10094/tid=10104] ppid=10091 vsize=9625040 CPUtime=3.76 cores=1,3,5,7
/proc/10094/task/10104/stat : 10104 (java) S 10091 10094 9187 0 -1 4202560 3826 0 0 0 313 63 0 0 20 0 19 0 6325522 9856040960 651553 33554432000 1073741824 1073778376 140736187005936 140213249629096 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10094/tid=10105] ppid=10091 vsize=9625040 CPUtime=4.17 cores=1,3,5,7
/proc/10094/task/10105/stat : 10105 (java) S 10091 10094 9187 0 -1 4202560 3938 0 0 0 411 6 0 0 20 0 19 0 6325523 9856040960 651553 33554432000 1073741824 1073778376 140736187005936 140213237430504 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10094/tid=10106] ppid=10091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10094/task/10106/stat : 10106 (java) S 10091 10094 9187 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 6325523 9856040960 651553 33554432000 1073741824 1073778376 140736187005936 140213236376568 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10094/tid=10107] ppid=10091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10094/task/10107/stat : 10107 (java) S 10091 10094 9187 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 6325523 9856040960 651553 33554432000 1073741824 1073778376 140736187005936 140213235324168 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10094/tid=10108] ppid=10091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10094/task/10108/stat : 10108 (java) S 10091 10094 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6325526 9856040960 651553 33554432000 1073741824 1073778376 140736187005936 140212495706512 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10094/tid=10109] ppid=10091 vsize=9625040 CPUtime=0.62 cores=1,3,5,7
/proc/10094/task/10109/stat : 10109 (java) S 10091 10094 9187 0 -1 4202560 3584 0 0 0 62 0 0 0 20 0 19 0 6325526 9856040960 651553 33554432000 1073741824 1073778376 140736187005936 140212494654136 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10094/tid=10110] ppid=10091 vsize=9625040 CPUtime=0.58 cores=1,3,5,7
/proc/10094/task/10110/stat : 10110 (java) S 10091 10094 9187 0 -1 4202560 3881 0 0 0 58 0 0 0 20 0 19 0 6325526 9856040960 651553 33554432000 1073741824 1073778376 140736187005936 140212493601336 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10094/tid=10111] ppid=10091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10094/task/10111/stat : 10111 (java) S 10091 10094 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6325526 9856040960 651553 33554432000 1073741824 1073778376 140736187005936 140212492549240 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10094/tid=10112] ppid=10091 vsize=9625040 CPUtime=0.56 cores=1,3,5,7
/proc/10094/task/10112/stat : 10112 (java) S 10091 10094 9187 0 -1 4202560 99 0 0 0 26 30 0 0 20 0 19 0 6325526 9856040960 651553 33554432000 1073741824 1073778376 140736187005936 140212491496648 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10094/tid=10113] ppid=10091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10094/task/10113/stat : 10113 (java) S 10091 10094 9187 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 6325561 9856040960 651553 33554432000 1073741824 1073778376 140736187005936 140212490441640 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1745.01
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1776.61 s]
/proc/loadavg: 2.12 2.07 2.07 3/213 10222
/proc/meminfo: memFree=22830520/32872528 swapFree=242912/249044
[pid=10094] ppid=10091 vsize=9625040 CPUtime=1800.02 cores=1,3,5,7
/proc/10094/stat : 10094 (java) S 10091 10094 9187 0 -1 4202496 59488 0 1 0 179477 525 0 0 20 0 19 0 6325519 9856040960 623477 33554432000 1073741824 1073778376 140736187005936 140736186997072 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10094/statm: 2406260 623477 2301 9 0 2396937 0
[pid=10094/tid=10096] ppid=10091 vsize=9625040 CPUtime=1764.03 cores=1,3,5,7
/proc/10094/task/10096/stat : 10096 (java) R 10091 10094 9187 0 -1 4202560 3564 0 1 0 176361 42 0 0 20 0 19 0 6325520 9856040960 623477 33554432000 1073741824 1073778376 140736187005936 140213413412064 140213251465952 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=10094/tid=10097] ppid=10091 vsize=9625040 CPUtime=3.55 cores=1,3,5,7
/proc/10094/task/10097/stat : 10097 (java) S 10091 10094 9187 0 -1 4202560 4169 0 0 0 306 49 0 0 20 0 19 0 6325522 9856040960 623477 33554432000 1073741824 1073778376 140736187005936 140213374904616 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10094/tid=10098] ppid=10091 vsize=9625040 CPUtime=3.67 cores=1,3,5,7
/proc/10094/task/10098/stat : 10098 (java) S 10091 10094 9187 0 -1 4202560 3891 0 0 0 309 58 0 0 20 0 19 0 6325522 9856040960 623477 33554432000 1073741824 1073778376 140736187005936 140213373851816 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10094/tid=10099] ppid=10091 vsize=9625040 CPUtime=3.62 cores=1,3,5,7
/proc/10094/task/10099/stat : 10099 (java) S 10091 10094 9187 0 -1 4202560 7628 0 0 0 308 54 0 0 20 0 19 0 6325522 9856040960 623477 33554432000 1073741824 1073778376 140736187005936 140213372799528 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10094/tid=10100] ppid=10091 vsize=9625040 CPUtime=3.69 cores=1,3,5,7
/proc/10094/task/10100/stat : 10100 (java) S 10091 10094 9187 0 -1 4202560 5951 0 0 0 303 66 0 0 20 0 19 0 6325522 9856040960 623477 33554432000 1073741824 1073778376 140736187005936 140213371746728 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10094/tid=10101] ppid=10091 vsize=9625040 CPUtime=3.8 cores=1,3,5,7
/proc/10094/task/10101/stat : 10101 (java) S 10091 10094 9187 0 -1 4202560 4741 0 0 0 322 58 0 0 20 0 19 0 6325522 9856040960 623477 33554432000 1073741824 1073778376 140736187005936 140213370694440 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10094/tid=10102] ppid=10091 vsize=9625040 CPUtime=4.03 cores=1,3,5,7
/proc/10094/task/10102/stat : 10102 (java) S 10091 10094 9187 0 -1 4202560 4659 0 0 0 337 66 0 0 20 0 19 0 6325522 9856040960 623477 33554432000 1073741824 1073778376 140736187005936 140213369641640 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10094/tid=10103] ppid=10091 vsize=9625040 CPUtime=3.65 cores=1,3,5,7
/proc/10094/task/10103/stat : 10103 (java) S 10091 10094 9187 0 -1 4202560 7957 0 0 0 303 62 0 0 20 0 19 0 6325522 9856040960 623477 33554432000 1073741824 1073778376 140736187005936 140213250681896 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10094/tid=10104] ppid=10091 vsize=9625040 CPUtime=3.86 cores=1,3,5,7
/proc/10094/task/10104/stat : 10104 (java) S 10091 10094 9187 0 -1 4202560 3836 0 0 0 323 63 0 0 20 0 19 0 6325522 9856040960 623477 33554432000 1073741824 1073778376 140736187005936 140213249629096 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10094/tid=10105] ppid=10091 vsize=9625040 CPUtime=4.56 cores=1,3,5,7
/proc/10094/task/10105/stat : 10105 (java) S 10091 10094 9187 0 -1 4202560 4266 0 0 0 449 7 0 0 20 0 19 0 6325523 9856040960 623477 33554432000 1073741824 1073778376 140736187005936 140213237430504 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10094/tid=10106] ppid=10091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10094/task/10106/stat : 10106 (java) S 10091 10094 9187 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 6325523 9856040960 623477 33554432000 1073741824 1073778376 140736187005936 140213236376568 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10094/tid=10107] ppid=10091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10094/task/10107/stat : 10107 (java) S 10091 10094 9187 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 6325523 9856040960 623477 33554432000 1073741824 1073778376 140736187005936 140213235324168 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10094/tid=10108] ppid=10091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10094/task/10108/stat : 10108 (java) S 10091 10094 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6325526 9856040960 623477 33554432000 1073741824 1073778376 140736187005936 140212495706512 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10094/tid=10109] ppid=10091 vsize=9625040 CPUtime=0.62 cores=1,3,5,7
/proc/10094/task/10109/stat : 10109 (java) S 10091 10094 9187 0 -1 4202560 3584 0 0 0 62 0 0 0 20 0 19 0 6325526 9856040960 623477 33554432000 1073741824 1073778376 140736187005936 140212494654136 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10094/tid=10110] ppid=10091 vsize=9625040 CPUtime=0.58 cores=1,3,5,7
/proc/10094/task/10110/stat : 10110 (java) S 10091 10094 9187 0 -1 4202560 3881 0 0 0 58 0 0 0 20 0 19 0 6325526 9856040960 623477 33554432000 1073741824 1073778376 140736187005936 140212493601336 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10094/tid=10111] ppid=10091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10094/task/10111/stat : 10111 (java) S 10091 10094 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6325526 9856040960 623477 33554432000 1073741824 1073778376 140736187005936 140212492549240 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10094/tid=10112] ppid=10091 vsize=9625040 CPUtime=0.59 cores=1,3,5,7
/proc/10094/task/10112/stat : 10112 (java) S 10091 10094 9187 0 -1 4202560 103 0 0 0 27 32 0 0 20 0 19 0 6325526 9856040960 623477 33554432000 1073741824 1073778376 140736187005936 140212491496648 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10094/tid=10113] ppid=10091 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/10094/task/10113/stat : 10113 (java) S 10091 10094 9187 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 6325561 9856040960 623477 33554432000 1073741824 1073778376 140736187005936 140212490441640 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 9625040

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

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

Child status: 143
Real time (s): 1776.65
CPU time (s): 1800.59
CPU user time (s): 1794.87
CPU system time (s): 5.71913
CPU usage (%): 101.347
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.87
system time used= 5.71913
maximum resident set size= 3257788
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59525
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1704
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40952
involuntary context switches= 24134

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.4418 second user time and 9.66353 second system time

The end

Launcher Data 

Begin job on node103 at 2016-06-30 04:03:12
IDJOB=4119242
IDBENCH=111681
IDSOLVER=2546
FILE ID=node103/4119242-1467252192
RUNJOBID= node103-1467246683-9204
PBS_JOBID= 20004480
Free space on /tmp= 71712 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/minlplib2-pb-0.1.0/opb/normalized-edgecross14-098.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119242-1467252192/watcher-4119242-1467252192 -o /tmp/evaluation-result-4119242-1467252192/solver-4119242-1467252192 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1467246683-9204 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4119242-1467252192.opb

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

MD5SUM BENCH= fd4d285bca9921d0ef00c37d248a5d7a
RANDOM SEED=1246761003

node103.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.456
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	: 5332.91
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.456
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.456
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
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.456
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.456
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:        25777828 kB
Buffers:          128192 kB
Cached:          5736720 kB
SwapCached:            0 kB
Active:          1572132 kB
Inactive:        4515052 kB
Active(anon):     224864 kB
Inactive(anon):        0 kB
Active(file):    1347268 kB
Inactive(file):  4515052 kB
Unevictable:      249044 kB
Mlocked:          242912 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               832 kB
Writeback:             0 kB
AnonPages:        475900 kB
Mapped:            22220 kB
Shmem:               204 kB
Slab:             624644 kB
SReclaimable:      68832 kB
SUnreclaim:       555812 kB
KernelStack:        1600 kB
PageTables:         4936 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     950252 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    196608 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= 71712 MiB
End job on node103 at 2016-06-30 04:32:49