Trace number 4111335

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)134417408 1800.03 1795.86

General information on the benchmark

Namenormalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/
normalized-single-obj-f4-DataDisplay_2_order9.seq-A-3-1-irabcde.opb
MD5SUM71f311b6b6df0136061173e9b8d561c5
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark134417408
Best CPU time to get the best result obtained on this benchmark597.077
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3564
Total number of constraints11685
Number of constraints which are clauses11625
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints60
Minimum length of a constraint1
Maximum length of a constraint84
Number of terms in the objective function 166
Biggest coefficient in the objective function 5242880
Number of bits for the biggest coefficient in the objective function 23
Sum of the numbers in the objective function 461373439
Number of bits of the sum of numbers in the objective function 29
Biggest number in a constraint 5242880
Number of bits of the biggest number in a constraint 23
Biggest sum of numbers in a constraint 461373439
Number of bits of the biggest sum of numbers29
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.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Glucose 2.1 dynamic restart strategy
0.09/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-4111335-1466408537.opb
0.09/0.11	c reading problem ... 
0.09/0.11	c  objective function found
0.76/0.41	c ... done. Wall clock time 0.296s.
0.76/0.41	c declared #vars     3564
0.76/0.41	c #constraints  11685
0.76/0.41	c constraints type 
0.76/0.41	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2702
0.76/0.41	c org.sat4j.specs.Constr$1 => 1669
0.76/0.41	c org.sat4j.minisat.constraints.card.MinWatchCard => 15
0.76/0.41	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 7123
0.76/0.41	c org.sat4j.minisat.constraints.cnf.UnitClause => 176
0.76/0.41	c 11685 constraints processed.
0.76/0.41	c objective function length is 166 literals
0.76/0.48	c SATISFIABLE
0.76/0.48	c OPTIMIZING...
0.76/0.48	c Got one! Elapsed wall clock time (in seconds):0.367
0.76/0.48	o 166201088
1.36/0.67	c Got one! Elapsed wall clock time (in seconds):0.554
1.36/0.67	o 166005248
1.51/0.72	c Got one! Elapsed wall clock time (in seconds):0.604
1.51/0.72	o 165939968
1.86/1.03	c Got one! Elapsed wall clock time (in seconds):0.92
1.86/1.03	o 165878528
1.86/1.04	c Got one! Elapsed wall clock time (in seconds):0.932
1.86/1.04	o 165874688
2.19/1.27	c Got one! Elapsed wall clock time (in seconds):1.161
2.19/1.27	o 161810944
2.19/1.28	c Got one! Elapsed wall clock time (in seconds):1.17
2.19/1.28	o 161753344
2.19/1.29	c Got one! Elapsed wall clock time (in seconds):1.174
2.19/1.29	o 160827648
2.19/1.29	c Got one! Elapsed wall clock time (in seconds):1.178
2.19/1.29	o 160762368
2.19/1.30	c Got one! Elapsed wall clock time (in seconds):1.184
2.19/1.30	o 160700928
2.32/1.30	c Got one! Elapsed wall clock time (in seconds):1.186
2.32/1.30	o 160697088
2.32/1.30	c Got one! Elapsed wall clock time (in seconds):1.19
2.32/1.30	o 160631808
2.46/1.41	c cleaning 3656 clauses out of 7326 with flag 5138/7326
3.11/1.82	c cleaning 4822 clauses out of 9670 with flag 30055/13326
3.62/2.33	c cleaning 5920 clauses out of 11848 with flag 51720/20326
4.12/2.86	c cleaning 6964 clauses out of 13929 with flag 75280/28327
4.74/3.46	c cleaning 7980 clauses out of 15965 with flag 102831/37327
5.54/4.21	c cleaning 8989 clauses out of 17984 with flag 132217/47326
6.44/5.16	c cleaning 9991 clauses out of 19998 with flag 174192/58329
7.54/6.24	c cleaning 10998 clauses out of 22006 with flag 223848/70328
8.76/7.47	c cleaning 11999 clauses out of 24006 with flag 264428/83326
10.50/8.85	c cleaning 12999 clauses out of 26008 with flag 308161/97327
11.96/10.07	c cleaning 14002 clauses out of 28008 with flag 350918/112326
13.74/11.55	c cleaning 14999 clauses out of 30006 with flag 400195/128326
15.70/13.13	c cleaning 15999 clauses out of 32008 with flag 450012/145327
17.40/14.86	c cleaning 17000 clauses out of 34008 with flag 504424/163326
19.23/16.65	c Got one! Elapsed wall clock time (in seconds):16.536
19.23/16.65	o 156506624
19.83/17.24	c cleaning 19544 clauses out of 39090 with flag 18576/185408
20.04/17.47	c Got one! Elapsed wall clock time (in seconds):17.363
20.04/17.47	o 155388928
20.35/17.78	c cleaning 12757 clauses out of 25524 with flag 11627/191386
20.44/17.82	c Got one! Elapsed wall clock time (in seconds):17.709
20.44/17.82	o 151259904
20.44/17.83	c Got one! Elapsed wall clock time (in seconds):17.716
20.44/17.83	o 151198464
20.44/17.83	c Got one! Elapsed wall clock time (in seconds):17.721
20.44/17.83	o 151194624
20.60/17.95	c Got one! Elapsed wall clock time (in seconds):17.84
20.60/17.95	o 150211328
20.60/17.97	c Got one! Elapsed wall clock time (in seconds):17.859
20.60/17.97	o 150146048
21.07/18.36	c cleaning 9490 clauses out of 18991 with flag 16035/197610
21.48/18.73	c cleaning 7741 clauses out of 15500 with flag 39655/203609
21.97/19.21	c cleaning 7372 clauses out of 14759 with flag 67046/210609
22.47/19.73	c cleaning 7687 clauses out of 15389 with flag 97432/218611
23.07/20.30	c cleaning 8343 clauses out of 16700 with flag 131101/227609
23.68/20.96	c cleaning 9175 clauses out of 18358 with flag 167353/237610
24.47/21.73	c cleaning 10081 clauses out of 20182 with flag 207359/248609
25.27/22.59	c cleaning 11043 clauses out of 22101 with flag 255160/260609
26.37/23.69	c cleaning 12024 clauses out of 24059 with flag 304245/273610
27.67/24.97	c cleaning 13007 clauses out of 26035 with flag 364086/287610
29.07/26.36	c cleaning 14011 clauses out of 28027 with flag 421655/302609
30.57/27.81	c cleaning 15004 clauses out of 30016 with flag 467111/318609
31.97/29.20	c cleaning 16007 clauses out of 32014 with flag 516561/335611
33.58/30.82	c cleaning 17003 clauses out of 34006 with flag 567640/353610
35.40/32.65	c cleaning 17999 clauses out of 36002 with flag 620550/372609
37.30/34.52	c cleaning 19000 clauses out of 38003 with flag 672018/392609
39.21/36.46	c cleaning 19997 clauses out of 40004 with flag 725330/413610
41.30/38.50	c cleaning 20996 clauses out of 42006 with flag 781743/435609
42.30/39.58	c Got one! Elapsed wall clock time (in seconds):39.464
42.30/39.58	o 145033728
42.90/40.19	c cleaning 18874 clauses out of 37758 with flag 15659/452357
43.40/40.69	c cleaning 12435 clauses out of 24884 with flag 34829/458357
43.90/41.13	c cleaning 9718 clauses out of 19449 with flag 57409/465357
44.40/41.61	c cleaning 8860 clauses out of 17731 with flag 80994/473357
45.00/42.20	c cleaning 8928 clauses out of 17871 with flag 105729/482357
45.60/42.81	c cleaning 9465 clauses out of 18943 with flag 132705/492357
46.20/43.46	c cleaning 10231 clauses out of 20479 with flag 162169/503358
47.02/44.21	c cleaning 11122 clauses out of 22247 with flag 193636/515357
47.82/45.02	c cleaning 12063 clauses out of 24125 with flag 225070/528357
48.72/45.95	c cleaning 13025 clauses out of 26062 with flag 260383/542357
49.92/47.10	c cleaning 14019 clauses out of 28038 with flag 298586/557358
51.02/48.29	c cleaning 15005 clauses out of 30019 with flag 340242/573358
52.32/49.59	c cleaning 16007 clauses out of 32013 with flag 382663/590357
53.72/50.95	c cleaning 16999 clauses out of 34007 with flag 426481/608358
55.22/52.40	c cleaning 17998 clauses out of 36007 with flag 475798/627357
56.82/54.09	c cleaning 19001 clauses out of 38009 with flag 529822/647357
58.62/55.90	c cleaning 20005 clauses out of 40009 with flag 587261/668358
60.71/57.93	c cleaning 21000 clauses out of 42003 with flag 650323/690357
63.01/60.22	c cleaning 21998 clauses out of 44004 with flag 711074/713358
65.31/62.55	c cleaning 22998 clauses out of 46005 with flag 771840/737357
67.72/65.00	c cleaning 24003 clauses out of 48007 with flag 834918/762357
70.32/67.55	c cleaning 24999 clauses out of 50005 with flag 904497/788358
73.22/70.41	c cleaning 25996 clauses out of 52006 with flag 976153/815358
76.22/73.48	c cleaning 26999 clauses out of 54009 with flag 1047045/843357
79.41/76.62	c cleaning 28001 clauses out of 56010 with flag 1124035/872357
83.01/80.20	c cleaning 29003 clauses out of 58011 with flag 1203198/902359
86.74/83.92	c cleaning 30000 clauses out of 60006 with flag 1284618/933357
90.95/88.10	c cleaning 31003 clauses out of 62007 with flag 1368841/965358
94.94/92.17	c cleaning 31998 clauses out of 64003 with flag 1456845/998357
98.94/96.11	c cleaning 32998 clauses out of 66005 with flag 1545335/1032357
103.54/100.70	c cleaning 34003 clauses out of 68009 with flag 1629527/1067359
108.34/105.51	c cleaning 34997 clauses out of 70004 with flag 1718042/1103357
113.44/110.68	c cleaning 36000 clauses out of 72007 with flag 1808341/1140357
118.94/116.18	c cleaning 37002 clauses out of 74008 with flag 1901395/1178358
124.24/121.43	c cleaning 37997 clauses out of 76005 with flag 1998069/1217357
129.54/126.76	c cleaning 39000 clauses out of 78011 with flag 2099394/1257360
135.84/133.02	c cleaning 40005 clauses out of 80010 with flag 2203295/1298359
141.95/139.10	c cleaning 40993 clauses out of 82004 with flag 2307511/1340358
148.55/145.70	c cleaning 42004 clauses out of 84011 with flag 2410948/1383358
155.35/152.56	c cleaning 42999 clauses out of 86007 with flag 2520624/1427358
161.85/159.05	c cleaning 44001 clauses out of 88007 with flag 2638827/1472357
168.40/165.56	c cleaning 45000 clauses out of 90006 with flag 2758381/1518357
175.60/172.71	c cleaning 46002 clauses out of 92007 with flag 2875654/1565358
183.20/180.38	c cleaning 47001 clauses out of 94006 with flag 2988227/1613359
191.20/188.31	c cleaning 47995 clauses out of 96003 with flag 3110096/1662357
199.21/196.35	c cleaning 48998 clauses out of 98008 with flag 3236120/1712357
207.41/204.56	c cleaning 50002 clauses out of 100010 with flag 3367530/1763357
215.91/213.03	c cleaning 51000 clauses out of 102009 with flag 3493834/1815358
225.01/222.14	c cleaning 52000 clauses out of 104008 with flag 3622549/1868357
234.52/231.60	c cleaning 53004 clauses out of 106009 with flag 3760910/1922358
243.92/241.07	c cleaning 53997 clauses out of 108004 with flag 3895246/1977357
254.28/251.40	c cleaning 55000 clauses out of 110007 with flag 4026141/2033357
265.28/262.37	c cleaning 56004 clauses out of 112007 with flag 4162097/2090357
275.68/272.75	c cleaning 56995 clauses out of 114004 with flag 4298073/2148358
287.48/284.50	c cleaning 57998 clauses out of 116008 with flag 4442972/2207357
299.69/296.78	c cleaning 59002 clauses out of 118011 with flag 4588511/2267358
313.09/310.11	c cleaning 59999 clauses out of 120008 with flag 4737667/2328357
325.49/322.56	c cleaning 60998 clauses out of 122009 with flag 4894260/2390357
338.19/335.22	c cleaning 62003 clauses out of 124012 with flag 5049983/2453358
351.69/348.72	c cleaning 63004 clauses out of 126009 with flag 5201046/2517358
365.88/362.86	c cleaning 63998 clauses out of 128005 with flag 5357309/2582358
380.28/377.23	c cleaning 64998 clauses out of 130007 with flag 5525269/2648358
395.08/392.05	c cleaning 65998 clauses out of 132008 with flag 5695371/2715357
410.99/407.98	c cleaning 67001 clauses out of 134011 with flag 5866323/2783358
427.09/424.09	c cleaning 68004 clauses out of 136010 with flag 6056352/2852358
445.29/442.27	c cleaning 68996 clauses out of 138005 with flag 6241126/2922357
463.49/460.41	c cleaning 70000 clauses out of 140009 with flag 6434274/2993357
481.89/478.81	c cleaning 71003 clauses out of 142010 with flag 6617018/3065358
488.59/485.59	c Got one! Elapsed wall clock time (in seconds):485.478
488.59/485.59	o 144991488
490.69/487.64	c cleaning 54518 clauses out of 109048 with flag 15198/3103399
491.79/488.68	c cleaning 30259 clauses out of 60529 with flag 33514/3109398
492.49/489.39	c cleaning 18627 clauses out of 37270 with flag 52935/3116398
493.19/490.07	c cleaning 13312 clauses out of 26644 with flag 75262/3124399
493.89/490.74	c cleaning 11158 clauses out of 22331 with flag 102264/3133398
494.50/491.38	c cleaning 10580 clauses out of 21173 with flag 128634/3143398
495.20/492.05	c cleaning 10794 clauses out of 21593 with flag 156785/3154398
495.90/492.79	c cleaning 11396 clauses out of 22800 with flag 187636/3166399
496.80/493.63	c cleaning 12199 clauses out of 24403 with flag 220416/3179398
497.70/494.52	c cleaning 13100 clauses out of 26205 with flag 255947/3193399
498.60/495.48	c cleaning 14050 clauses out of 28105 with flag 292021/3208399
499.70/496.56	c cleaning 15021 clauses out of 30054 with flag 330437/3224398
501.00/497.89	c cleaning 16015 clauses out of 32033 with flag 370629/3241398
502.50/499.34	c cleaning 17003 clauses out of 34018 with flag 415230/3259398
504.10/500.96	c cleaning 18008 clauses out of 36015 with flag 460215/3278398
505.90/502.79	c cleaning 18997 clauses out of 38008 with flag 506613/3298399
507.90/504.71	c cleaning 20006 clauses out of 40011 with flag 559199/3319399
509.90/506.74	c cleaning 21003 clauses out of 42007 with flag 612490/3341401
512.10/508.92	c cleaning 21997 clauses out of 44002 with flag 670122/3364399
514.50/511.36	c cleaning 23002 clauses out of 46005 with flag 731864/3388399
516.90/513.75	c cleaning 24001 clauses out of 48003 with flag 793538/3413399
519.50/516.33	c cleaning 24998 clauses out of 50001 with flag 855698/3439398
522.29/519.17	c cleaning 26000 clauses out of 52005 with flag 925015/3466400
525.29/522.15	c cleaning 26996 clauses out of 54003 with flag 998021/3494398
528.50/525.33	c cleaning 28001 clauses out of 56007 with flag 1066645/3523398
532.00/528.83	c cleaning 29001 clauses out of 58007 with flag 1138032/3553399
535.50/532.32	c cleaning 30002 clauses out of 60005 with flag 1212151/3584398
539.40/536.27	c cleaning 30996 clauses out of 62003 with flag 1292701/3616398
543.67/540.49	c cleaning 32000 clauses out of 64007 with flag 1376961/3649398
547.87/544.66	c cleaning 33000 clauses out of 66008 with flag 1460984/3683399
552.57/549.31	c cleaning 33999 clauses out of 68009 with flag 1553090/3718400
557.27/554.05	c cleaning 35005 clauses out of 70009 with flag 1639442/3754399
562.37/559.16	c cleaning 35999 clauses out of 72003 with flag 1735542/3791398
567.47/564.20	c cleaning 36998 clauses out of 74004 with flag 1835483/3829398
573.27/570.05	c cleaning 38003 clauses out of 76008 with flag 1927439/3868400
579.17/575.98	c cleaning 38998 clauses out of 78003 with flag 2029012/3908398
585.47/582.23	c cleaning 40001 clauses out of 80005 with flag 2130420/3949398
591.87/588.62	c cleaning 41002 clauses out of 82004 with flag 2233893/3991398
597.97/594.79	c cleaning 42001 clauses out of 84003 with flag 2340472/4034399
604.67/601.47	c cleaning 42996 clauses out of 86001 with flag 2445755/4078398
611.87/608.64	c cleaning 43999 clauses out of 88005 with flag 2551688/4123398
618.95/615.62	c cleaning 44999 clauses out of 90007 with flag 2662465/4169399
626.85/623.51	c cleaning 46000 clauses out of 92007 with flag 2776244/4216398
634.95/631.60	c cleaning 47001 clauses out of 94007 with flag 2891848/4264398
637.15/633.85	c Got one! Elapsed wall clock time (in seconds):633.741
637.15/633.85	o 140720384
638.25/634.95	c cleaning 34565 clauses out of 69141 with flag 14885/4286533
638.95/635.69	c cleaning 20282 clauses out of 40576 with flag 30352/4292533
639.45/636.19	c cleaning 13639 clauses out of 27294 with flag 50343/4299533
639.95/636.69	c cleaning 10824 clauses out of 21655 with flag 71474/4307533
640.55/637.21	c cleaning 9906 clauses out of 19831 with flag 94436/4316533
641.05/637.79	c cleaning 9957 clauses out of 19925 with flag 119660/4326533
641.75/638.40	c cleaning 10481 clauses out of 20969 with flag 145683/4337534
642.45/639.14	c cleaning 11239 clauses out of 22487 with flag 174704/4349533
643.25/639.95	c cleaning 12120 clauses out of 24248 with flag 205846/4362533
644.15/640.88	c cleaning 13060 clauses out of 26128 with flag 237937/4376533
645.25/641.93	c cleaning 14032 clauses out of 28069 with flag 273093/4391534
646.45/643.12	c cleaning 15016 clauses out of 30037 with flag 310755/4407534
647.65/644.36	c cleaning 16003 clauses out of 32020 with flag 351130/4424533
648.95/645.68	c cleaning 17007 clauses out of 34018 with flag 394448/4442534
650.55/647.21	c cleaning 17997 clauses out of 36010 with flag 439339/4461533
652.15/648.85	c cleaning 19007 clauses out of 38013 with flag 484429/4481533
653.85/650.58	c cleaning 19996 clauses out of 40006 with flag 535427/4502533
655.95/652.62	c cleaning 21004 clauses out of 42012 with flag 593654/4524535
658.05/654.78	c cleaning 22002 clauses out of 44008 with flag 651595/4547535
660.35/657.05	c cleaning 23001 clauses out of 46004 with flag 713291/4571533
662.95/659.69	c cleaning 23998 clauses out of 48003 with flag 779482/4596533
665.95/662.61	c cleaning 24995 clauses out of 50006 with flag 850655/4622534
668.75/665.42	c cleaning 26004 clauses out of 52010 with flag 920411/4649533
670.71/667.35	c Got one! Elapsed wall clock time (in seconds):667.241
670.71/667.35	o 140716544
671.51/668.11	c cleaning 24765 clauses out of 49540 with flag 15472/4673067
672.01/668.64	c cleaning 15383 clauses out of 30776 with flag 32653/4679068
672.51/669.15	c cleaning 11191 clauses out of 22391 with flag 53314/4686066
673.01/669.62	c cleaning 9594 clauses out of 19202 with flag 75877/4694068
673.51/670.10	c cleaning 9298 clauses out of 18608 with flag 100172/4703068
674.01/670.68	c cleaning 9651 clauses out of 19309 with flag 128195/4713067
674.71/671.35	c cleaning 10329 clauses out of 20657 with flag 157025/4724066
675.52/672.11	c cleaning 11161 clauses out of 22329 with flag 189113/4736067
676.31/672.91	c cleaning 12077 clauses out of 24168 with flag 222921/4749067
677.21/673.87	c cleaning 13041 clauses out of 26091 with flag 261921/4763067
678.31/674.92	c cleaning 14019 clauses out of 28050 with flag 305094/4778067
679.51/676.11	c cleaning 15015 clauses out of 30031 with flag 348774/4794067
680.71/677.34	c cleaning 16009 clauses out of 32017 with flag 393637/4811068
682.12/678.79	c cleaning 16998 clauses out of 34006 with flag 442232/4829066
683.71/680.36	c cleaning 17998 clauses out of 36009 with flag 492003/4848067
685.42/682.09	c cleaning 19003 clauses out of 38011 with flag 545659/4868067
687.31/683.90	c cleaning 20001 clauses out of 40007 with flag 598833/4889066
689.31/685.94	c cleaning 21002 clauses out of 42008 with flag 658080/4911068
691.41/688.08	c cleaning 21997 clauses out of 44004 with flag 720485/4934066
693.71/690.32	c cleaning 23002 clauses out of 46008 with flag 783649/4958067
696.01/692.69	c cleaning 23995 clauses out of 48005 with flag 846954/4983066
698.72/695.37	c cleaning 24998 clauses out of 50010 with flag 916830/5009066
701.61/698.22	c cleaning 26003 clauses out of 52014 with flag 982805/5036068
704.61/701.24	c cleaning 27003 clauses out of 54009 with flag 1058202/5064066
707.61/704.23	c cleaning 28004 clauses out of 56007 with flag 1130646/5093067
710.91/707.54	c cleaning 28997 clauses out of 58003 with flag 1204819/5123067
713.23/709.89	c Got one! Elapsed wall clock time (in seconds):709.782
713.23/709.89	o 140712704
714.14/710.77	c cleaning 28119 clauses out of 56247 with flag 15687/5150308
714.73/711.33	c cleaning 17061 clauses out of 34128 with flag 32293/5156308
715.24/711.86	c cleaning 12027 clauses out of 24066 with flag 53065/5163307
715.73/712.39	c cleaning 10013 clauses out of 20040 with flag 76597/5171308
715.93/712.57	c Got one! Elapsed wall clock time (in seconds):712.463
715.93/712.57	o 140708864
716.14/712.73	c cleaning 7744 clauses out of 15505 with flag 6553/5176786
716.48/713.06	c cleaning 6873 clauses out of 13761 with flag 26679/5182786
716.88/713.45	c cleaning 6939 clauses out of 13890 with flag 46929/5189788
717.08/713.65	c Got one! Elapsed wall clock time (in seconds):713.541
717.08/713.65	o 139725568
717.08/713.68	c Got one! Elapsed wall clock time (in seconds):713.563
717.08/713.68	o 139660288
717.39/713.93	c Got one! Elapsed wall clock time (in seconds):713.82
717.39/713.93	o 134417408
717.49/714.06	c cleaning 6693 clauses out of 13398 with flag 3204/5196235
717.78/714.36	c cleaning 6345 clauses out of 12705 with flag 19482/5202235
718.18/714.72	c cleaning 6669 clauses out of 13361 with flag 38761/5209236
718.59/715.10	c cleaning 7335 clauses out of 14691 with flag 59991/5217235
718.98/715.54	c cleaning 8170 clauses out of 16357 with flag 81862/5226236
719.48/716.08	c cleaning 9088 clauses out of 18188 with flag 106273/5236237
720.18/716.74	c cleaning 10044 clauses out of 20100 with flag 134613/5247237
720.98/717.55	c cleaning 11014 clauses out of 22054 with flag 166254/5259235
721.79/718.37	c cleaning 12013 clauses out of 24040 with flag 198338/5272235
722.78/719.35	c cleaning 13007 clauses out of 26027 with flag 233795/5286235
723.88/720.47	c cleaning 14005 clauses out of 28020 with flag 274130/5301235
725.19/721.76	c cleaning 15003 clauses out of 30015 with flag 317012/5317235
726.58/723.19	c cleaning 15998 clauses out of 32013 with flag 362462/5334236
728.18/724.78	c cleaning 16999 clauses out of 34015 with flag 410893/5352236
729.78/726.33	c cleaning 18001 clauses out of 36016 with flag 459484/5371236
731.49/728.05	c cleaning 19002 clauses out of 38014 with flag 509921/5391235
733.49/730.03	c cleaning 20002 clauses out of 40013 with flag 564944/5412236
735.59/732.13	c cleaning 20999 clauses out of 42010 with flag 620497/5434235
737.99/734.58	c cleaning 21998 clauses out of 44012 with flag 679774/5457236
740.50/737.03	c cleaning 23001 clauses out of 46014 with flag 741986/5481236
743.09/739.62	c cleaning 24000 clauses out of 48013 with flag 806883/5506236
745.89/742.44	c cleaning 24998 clauses out of 50013 with flag 876431/5532236
748.69/745.29	c cleaning 25998 clauses out of 52014 with flag 944710/5559235
751.71/748.27	c cleaning 27001 clauses out of 54017 with flag 1014814/5587236
755.01/751.59	c cleaning 28003 clauses out of 56015 with flag 1089848/5616235
758.71/755.26	c cleaning 28999 clauses out of 58012 with flag 1166965/5646235
762.62/759.12	c cleaning 30001 clauses out of 60016 with flag 1248895/5677238
766.42/762.98	c cleaning 30997 clauses out of 62012 with flag 1330329/5709235
770.72/767.29	c cleaning 32000 clauses out of 64015 with flag 1413811/5742235
775.32/771.88	c cleaning 33004 clauses out of 66016 with flag 1503982/5776236
780.12/776.68	c cleaning 33998 clauses out of 68011 with flag 1597861/5811235
785.22/781.75	c cleaning 34999 clauses out of 70013 with flag 1692354/5847235
790.12/786.67	c cleaning 36001 clauses out of 72014 with flag 1787417/5884235
795.72/792.23	c cleaning 37002 clauses out of 74013 with flag 1887225/5922235
800.82/797.37	c cleaning 37998 clauses out of 76011 with flag 1989390/5961235
806.21/802.78	c cleaning 39000 clauses out of 78013 with flag 2091676/6001235
812.06/808.51	c cleaning 40002 clauses out of 80015 with flag 2196040/6042237
818.26/814.77	c cleaning 40996 clauses out of 82012 with flag 2304372/6084236
824.46/820.95	c cleaning 42004 clauses out of 84016 with flag 2411090/6127236
830.56/827.05	c cleaning 43003 clauses out of 86011 with flag 2517902/6171235
836.66/833.12	c cleaning 44002 clauses out of 88008 with flag 2621129/6216235
843.15/839.61	c cleaning 45002 clauses out of 90007 with flag 2728015/6262236
849.86/846.30	c cleaning 46001 clauses out of 92005 with flag 2835680/6309236
856.86/853.38	c cleaning 46999 clauses out of 94003 with flag 2941114/6357235
863.96/860.43	c cleaning 47995 clauses out of 96006 with flag 3053919/6406237
871.27/867.75	c cleaning 49001 clauses out of 98009 with flag 3172558/6456235
879.09/875.54	c cleaning 50003 clauses out of 100009 with flag 3299835/6507236
887.69/884.19	c cleaning 50999 clauses out of 102005 with flag 3428866/6559235
896.09/892.52	c cleaning 51995 clauses out of 104007 with flag 3555870/6612236
905.09/901.54	c cleaning 53005 clauses out of 106013 with flag 3690481/6666237
914.29/910.75	c cleaning 53995 clauses out of 108007 with flag 3824951/6721236
923.59/920.00	c cleaning 55000 clauses out of 110011 with flag 3957811/6777235
933.40/929.87	c cleaning 56003 clauses out of 112011 with flag 4096382/6834235
944.11/940.54	c cleaning 56997 clauses out of 114008 with flag 4235940/6892235
954.77/951.10	c cleaning 58002 clauses out of 116012 with flag 4375495/6951236
965.97/962.32	c cleaning 59003 clauses out of 118011 with flag 4513834/7011237
977.06/973.48	c cleaning 60000 clauses out of 120006 with flag 4658639/7072235
988.28/984.61	c cleaning 60999 clauses out of 122007 with flag 4803519/7134236
1000.47/996.89	c cleaning 62000 clauses out of 124007 with flag 4959993/7197235
1012.77/1009.18	c cleaning 62996 clauses out of 126007 with flag 5112144/7261235
1025.58/1021.99	c cleaning 64002 clauses out of 128011 with flag 5265868/7326235
1038.85/1035.17	c cleaning 65000 clauses out of 130009 with flag 5419595/7392235
1052.94/1049.21	c cleaning 66001 clauses out of 132010 with flag 5573341/7459236
1067.34/1063.68	c cleaning 67000 clauses out of 134008 with flag 5733427/7527235
1080.95/1077.27	c cleaning 68001 clauses out of 136009 with flag 5896942/7596236
1095.15/1091.43	c cleaning 68999 clauses out of 138007 with flag 6061084/7666235
1109.45/1105.80	c cleaning 70003 clauses out of 140008 with flag 6225316/7737235
1125.15/1121.46	c cleaning 70996 clauses out of 142005 with flag 6394809/7809235
1140.91/1137.17	c cleaning 72000 clauses out of 144009 with flag 6567137/7882235
1158.51/1154.73	c cleaning 73000 clauses out of 146010 with flag 6749695/7956236
1178.51/1174.77	c cleaning 73999 clauses out of 148009 with flag 6934586/8031235
1198.71/1194.92	c cleaning 74997 clauses out of 150011 with flag 7122927/8107236
1217.22/1213.41	c cleaning 76000 clauses out of 152014 with flag 7304844/8184236
1233.60/1229.80	c cleaning 77003 clauses out of 154013 with flag 7498184/8262235
1250.30/1246.46	c cleaning 78003 clauses out of 156010 with flag 7683779/8341235
1267.40/1263.58	c cleaning 79000 clauses out of 158007 with flag 7874939/8421235
1284.81/1280.99	c cleaning 80000 clauses out of 160007 with flag 8065945/8502235
1305.01/1301.15	c cleaning 81002 clauses out of 162007 with flag 8256020/8584235
1327.60/1323.62	c cleaning 82000 clauses out of 164005 with flag 8455158/8667235
1349.18/1345.26	c cleaning 82997 clauses out of 166005 with flag 8648276/8751235
1370.97/1367.00	c cleaning 84003 clauses out of 168008 with flag 8837836/8836235
1394.77/1390.84	c cleaning 84995 clauses out of 170005 with flag 9037300/8922235
1420.65/1416.77	c cleaning 86005 clauses out of 172010 with flag 9250680/9009235
1444.33/1440.32	c cleaning 86999 clauses out of 174008 with flag 9461502/9097238
1468.51/1464.53	c cleaning 87999 clauses out of 176006 with flag 9668268/9186235
1491.71/1487.79	c cleaning 88999 clauses out of 178007 with flag 9878096/9276235
1516.81/1512.87	c cleaning 89998 clauses out of 180010 with flag 10098956/9367237
1543.92/1539.93	c cleaning 91001 clauses out of 182011 with flag 10328929/9459236
1568.05/1564.06	c cleaning 92001 clauses out of 184009 with flag 10546915/9552235
1597.06/1593.09	c cleaning 92996 clauses out of 186008 with flag 10781614/9646235
1624.25/1620.21	c cleaning 94006 clauses out of 188013 with flag 11019792/9741236
1653.66/1649.64	c cleaning 95002 clauses out of 190006 with flag 11252714/9837235
1683.62/1679.53	c cleaning 95997 clauses out of 192006 with flag 11484008/9934237
1713.81/1709.79	c cleaning 96999 clauses out of 194008 with flag 11721743/10032236
1745.20/1741.11	c cleaning 97998 clauses out of 196009 with flag 11963950/10131236
1776.09/1772.07	c cleaning 98999 clauses out of 198010 with flag 12186864/10231235
1800.03/1795.80	c starts		: 118
1800.03/1795.80	c conflicts		: 10313122
1800.03/1795.80	c decisions		: 14161242
1800.03/1795.80	c propagations		: 422162215
1800.03/1795.80	c inspects		: 34469499105
1800.03/1795.80	c shortcuts		: 0
1800.03/1795.80	c learnt literals	: 0
1800.03/1795.80	c learnt binary clauses	: 4
1800.03/1795.80	c learnt ternary clauses	: 9
1800.03/1795.80	c learnt constraints	: 10313122
1800.03/1795.80	c ignored constraints	: 0
1800.03/1795.80	c root simplifications	: 0
1800.03/1795.80	c removed literals (reason simplification)	: 0
1800.03/1795.80	c reason swapping (by a shorter reason)	: 0
1800.03/1795.80	c Calls to reduceDB	: 298
1800.03/1795.80	c Number of update (reduction) of LBD	: 650147
1800.03/1795.80	c Imported unit clauses	: 0
1800.03/1795.80	c number of reductions to clauses (during analyze)	: 0
1800.03/1795.80	c number of learned constraints concerned by reduction	: 0
1800.03/1795.80	c number of learning phase by resolution	: 0
1800.03/1795.80	c number of learning phase by cutting planes	: 0
1800.03/1795.80	c speed (assignments/second)	: 235137.03723094953
1800.03/1795.80	c non guided choices	1584
1800.03/1795.83	c learnt constraints type 
1800.03/1795.83	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 4
1800.03/1795.83	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 180894
1800.03/1795.83	s SATISFIABLE
1800.03/1795.83	c Found 28 solution(s)
1800.03/1795.84	v x1 x2 -x3 -x4 x5 x6 x7 -x8 -x9 x10 x11 x12 -x13 -x14 x15 x16 x17 x18 x19 x20 x21 x22 -x23 -x24 x25 x26 x27 -x28 -x29 x30 x31 x32 -x33 -x34 x35 x36 x37 x38 x39 x40 x41 x42 -x43 -x44 x45 x46 x47 -x48 -x49 x50 x51 x52 x53 x54 x55 x56 x57 -x58 -x59 x60 x61 x62 -x63 -x64 x65 x66 x67 -x68 -x69 x70 x71 x72 -x73 -x74 x75 x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 x128 x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 x176 x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 x215 -x216 x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 x248 x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 x272 x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 x287 -x288 x289 -x290 -x291 -x292 -x293 -x294 -x295 x296 x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 x342 -x343 -x344 x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 x384 x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 x414 -x415 -x416 x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 x438 -x439 -x440 x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 x456 x457 -x458 -x459 -x460 -x461 x462 -x463 -x464 x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 x504 x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 x534 -x535 -x536 x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 x558 -x559 -x560 x561 x562 x563 x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 x576 x577 -x578 -x579 -x580 -x581 x582 -x583 -x584 x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 x616 x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 x640 x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 x655 -x656 x657 -x658 -x659 -x660 -x661 -x662 -x663 x664 x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 x686 -x687 -x688 x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 x704 x705 -x706 -x707 -x708 -x709 x710 -x711 -x712 x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 x728 x729 -x730 -x731 -x732 -x733 x734 -x735 -x736 x737 -x738 -x739 -x740 -x741 -x742 -x743 x744 x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 x760 x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 x776 x777 x778 x779 x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 x792 x793 -x794 -x795 -x796 -x797 -x798 x799 -x800 x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 x815 -x816 x817 -x818 -x819 -x820 -x821 -x822 x823 -x824 x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 x856 x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 x880 x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 x896 x897 -x898 -x899 -x900 -x901 -x902 -x903 x904 x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 x913 -x914 x915 -x916 -x917 -x918 -x919 -x920 -x921 x922 -x923 x924 -x925 -x926 -x927 -x928 -x929 x930 -x931 x932 -x933 -x934 -x935 -x936 -x937 -x938 x939 -x940 x941 -x942 -x943 -x944 -x945 -x946 x947 -x948 x949 x950 x951 x952 -x953 -x954 x955 -x956 x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 x972 -x973 x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 x988 -x989 x990 -x991 -x992 -x993 -x994 -x995 -x996 x997 x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 x1014 x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 x1022 x1023 x1024 x1025 x1026 x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 x1041 x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 x1057 -x1058 x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 x1073 -x1074 x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 x1124 x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 x1153 -x1154 -x1155 x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 x1180 -x1181 -x1182 x1183 x1184 x1185 x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 x1199 x1200 -x1201 -x1202 -x1203 -x1204 x1205 -x1206 -x1207 x1208 -x1209 -x1210 -x1211 -x1212 -x1213 x1214 -x1215 x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 x1223 -x1224 x1225 -x1226 -x1227 -x1228 -x1229 -x1230 x1231 -x1232 x1233 -x1234 -x1235 -x1236 -x1237 -x1238 x1239 x1240 x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 x1248 x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 x1256 x1257 x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 x1265 x1266 -x1267 -x1268 -x1269 -x1270 x1271 x1272 -x1273 x1274 x1275 x1276 x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 x1304 -x1305 -x1306 x1307 -x1308 -x1309 -x1310 -x1311 x1312 -x1313 -x1314 x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 x1330 x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 x1338 x1339 x1340 x1341 x1342 -x1343 x1344 -x1345 -x1346 x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 x1355 x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 x1364 -x1365 x1366 x1367 x1368 x1369 x1370 -x1371 -x1372 x1373 -x1374 x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 x1382 x1383 x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 x1401 -x1402 -x1403 x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 x1419 -x1420 -x1421 x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 x1429 -x1430 -x1431 x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 x1445 -x1446 -x1447 x1448 -x1449 -x1450 -x1451 -x1452 x1453 -x1454 -x1455 x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 x1494 x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 x1509 -x1510 -x1511 x1512 -x1513 -x1514 -x1515 -x1516 -x1517 x1518 -x1519 -x1520 x1521 x1522 x1523 x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 x1536 -x1537 x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 x1553 x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 x1573 -x1574 -x1575 -x1576 -x1577 x1578 -x1579 x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 x1594 -x1595 x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 x1613 -x1614 x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 x1623 -x1624 x1625 -x1626 -x1627 -x1628 -x1629 -x1630 x1631 x1632 x1633 x1634 x1635 x1636 -x1637 -x1638 -x1639 -x1640 -x1641 x1642 x1643 -x1644 x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 x1662 -x1663 x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 x1671 -x1672 x1673 -x1674 -x1675 -x1676 -x1677 -x1678 x1679 -x1680 x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 x1693 -x1694 x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 x1706 -x1707 x1708 -x1709 -x1710 -x1711 -x1712 -x1713 x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 x1729 -x1730 x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 x1746 x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 x1763 x1764 x1765 x1766 x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 x1778 -x1779 x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 x1787 x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 x1830 x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 x1866 -x1867 -x1868 x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 x1888 x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 x1903 -x1904 -x1905 x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 x1913 x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 x1921 -x1922 x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 x1932 x1933 -x1934 -x1935 -x1936 x1937 -x1938 -x1939 -x1940 x1941 x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 x1949 -x1950 x1951 x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 x1966 -x1967 -x1968 x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 x1994 x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 x2012 -x2013 -x2014 x2015 x2016 x2017 x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 x2031 -x2032 -x2033 x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 x2052 -x2053 -x2054 -x2055 x2056 x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 x2079 -x2080 -x2081 x2082 -x2083 -x2084 -x2085 -x2086 x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 x2109 -x2110 x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 x2119 -x2120 x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 x2130 -x2131 x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 x2142 -x2143 x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 x2155 -x2156 x2157 -x2158 -x2159 -x2160 -x2161 -x2162 x2163 -x2164 x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 x2172 -x2173 x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 x2181 -x2182 x2183 x2184 x2185 x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 x2226 -x2227 -x2228 x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 x2287 -x2288 -x2289 x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 x2302 -x2303 x2304 -x2305 -x2306 -x2307 -x2308 x2309 -x2310 x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 x2327 -x2328 -x2329 x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 x2349 -x2350 -x2351 x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 x2378 x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 x2388 x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 x2413 -x2414 -x2415 -x2416 x2417 -x2418 -x2419 x2420 x2421 x2422 x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 x2430 -x2431 -x2432 -x2433 -x2434 x2435 -x2436 -x2437 x2438 x2439 x2440 x2441 -x2442 -x2443 -x2444 -x2445 x2446 -x2447 -x2448 -x2449 -x2450 x2451 -x2452 -x2453 x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 x2513 -x2514 -x2515 -x2516 -x2517 x2518 -x2519 -x2520 -x2521 -x2522 x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 x2629 x2630 x2631 x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 x2653 -x2654 x2655 -x2656 -x2657 x2658 x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 x2674 x2675 x2676 x2677 x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 x2707 x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 x2732 -x2733 -x2734 -x2735 x2736 -x2737 -x2738 -x2739 -x2740 -x2741 x2742 -x2743 -x2744 -x2745 x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 x2766 -x2767 -x2768 -x2769 x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 x2801 -x2802 -x2803 -x2804 -x2805 x2806 -x2807 -x2808 -x2809 x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 x2830 -x2831 -x2832 -x2833 -x2834 x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 x2885 -x2886 -x2887 -x2888 -x2889 x2890 -x2891 -x2892 -x2893 -x2894 x2895 -x2896 -x2897 -x2898 -x2899 x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 x2925 -x2926 -x2927 -x2928 -x2929 x2930 -x2931 -x2932 -x2933 -x2934 x2935 -x2936 -x2937 -x2938 -x2939 x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 x3003 -x3004 -x3005 -x3006 -x3007 -x3008 x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 x3063 -x3064 x3065 -x3066 -x3067 -x3068 -x3069 x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 x3104 -x3105 -x3106 -x3107 -x3108 -x3109 x3110 -x3111 -x3112 -x3113 x3114 x3115 -x3116 -x3117 x3118 x3119 x3120 x3121 x3122 x3123 x3124 x3125 x3126 x3127 x3128 x3129 x3130 x3131 x3132 x3133 x3134 x3135 x3136 x3137 x3138 x3139 x3140 x3141 x3142 x3143 x3144 x3145 x3146 x3147 x3148 x3149 x3150 x3151 x3152 x3153 x3154 x3155 x3156 x3157 x3158 x3159 x3160 x3161 x3162 x3163 x3164 x3165 x3166 x3167 x3168 x3169 x3170 x3171 x3172 x3173 x3174 x3175 x3176 x3177 x3178 x3179 x3180 x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 x3400 -x3401 -x3402 x3403 -x3404 -x3405 x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 x3429 -x3430 -x3431 -x3432 -x3433 x3434 x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 x3443 x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 x3452 x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 x3465 -x3466 -x3467 -x3468 -x3469 x3470 x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 x3479 x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 x3488 x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 x3501 -x3502 -x3503 -x3504 -x3505 x3506 x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 x3515 x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 x3528 -x3529 -x3530 -x3531 -x3532 x3533 x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 x3542 x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 x3551 x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 x3560 x3561 -x3562 -x3563 -x3564 
1800.03/1795.84	c objective function=134417408
1800.03/1795.84	c Total wall clock time (in seconds): 1795.732

Verifier Data 

OK	134417408

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-4111335-1466408537/watcher-4111335-1466408537 -o /tmp/evaluation-result-4111335-1466408537/solver-4111335-1466408537 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1466384097-7156 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4111335-1466408537.opb 

pid=9954
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.07 2.05 2.00 3/194 9957
/proc/meminfo: memFree=31018048/32872528 swapFree=303544/319896
[pid=9957] ppid=9954 vsize=9324 CPUtime=0 cores=0,2,4,6
/proc/9957/stat : 9957 (java) R 9954 9957 7140 0 -1 4202496 531 0 0 0 0 0 0 0 20 0 1 0 42900286 9547776 183 33554432000 1073741824 1073778376 140736869616448 140736869599176 262962799543 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9957/statm: 2323 184 142 9 0 71 0

[startup+0.100062 s]
/proc/loadavg: 2.07 2.05 2.00 3/194 9957
/proc/meminfo: memFree=31018048/32872528 swapFree=303544/319896
[pid=9957] ppid=9954 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/9957/stat : 9957 (java) S 9954 9957 7140 0 -1 4202496 4402 0 1 0 8 1 0 0 20 0 18 0 42900286 9787879424 6037 33554432000 1073741824 1073778376 140736869616448 140736869607584 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9957/statm: 2389619 6037 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200211 s]
/proc/loadavg: 2.07 2.05 2.00 3/194 9957
/proc/meminfo: memFree=31018048/32872528 swapFree=303544/319896
[pid=9957] ppid=9954 vsize=9558476 CPUtime=0.25 cores=0,2,4,6
/proc/9957/stat : 9957 (java) S 9954 9957 7140 0 -1 4202496 4731 0 1 0 24 1 0 0 20 0 18 0 42900286 9787879424 6814 33554432000 1073741824 1073778376 140736869616448 140736869607584 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9957/statm: 2389619 6814 2210 9 0 2380296 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 9558476

[startup+0.300214 s]
/proc/loadavg: 2.07 2.05 2.00 3/194 9957
/proc/meminfo: memFree=31018048/32872528 swapFree=303544/319896
[pid=9957] ppid=9954 vsize=9558476 CPUtime=0.47 cores=0,2,4,6
/proc/9957/stat : 9957 (java) S 9954 9957 7140 0 -1 4202496 5986 0 1 0 46 1 0 0 20 0 18 0 42900286 9787879424 8702 33554432000 1073741824 1073778376 140736869616448 140736869607584 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9957/statm: 2389619 8702 2231 9 0 2380296 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9558476

[startup+0.70017 s]
/proc/loadavg: 2.07 2.05 2.00 3/194 9957
/proc/meminfo: memFree=31018048/32872528 swapFree=303544/319896
[pid=9957] ppid=9954 vsize=9625040 CPUtime=1.51 cores=0,2,4,6
/proc/9957/stat : 9957 (java) S 9954 9957 7140 0 -1 4202496 12410 0 1 0 148 3 0 0 20 0 19 0 42900286 9856040960 16603 33554432000 1073741824 1073778376 140736869616448 140736869607584 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9957/statm: 2406260 16603 2261 9 0 2396937 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 9625040

[startup+1.50074 s]
/proc/loadavg: 2.07 2.05 2.00 3/213 9976
/proc/meminfo: memFree=30957836/32872528 swapFree=303544/319896
[pid=9957] ppid=9954 vsize=9625040 CPUtime=2.67 cores=0,2,4,6
/proc/9957/stat : 9957 (java) S 9954 9957 7140 0 -1 4202496 16997 0 1 0 263 4 0 0 20 0 19 0 42900286 9856040960 19711 33554432000 1073741824 1073778376 140736869616448 140736869607584 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9957/statm: 2406260 19711 2270 9 0 2396937 0
[pid=9957/tid=9959] ppid=9954 vsize=9625040 CPUtime=1.46 cores=0,2,4,6
/proc/9957/task/9959/stat : 9959 (java) R 9954 9957 7140 0 -1 4202560 2418 0 1 0 144 2 0 0 20 0 19 0 42900287 9856040960 19711 33554432000 1073741824 1073778376 140736869616448 139740199307512 139740066780439 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=9957/tid=9960] ppid=9954 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9957/task/9960/stat : 9960 (java) S 9954 9957 7140 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42900288 9856040960 19711 33554432000 1073741824 1073778376 140736869616448 139740188371368 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9957/tid=9961] ppid=9954 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9957/task/9961/stat : 9961 (java) S 9954 9957 7140 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42900288 9856040960 19711 33554432000 1073741824 1073778376 140736869616448 139740187318824 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9957/tid=9962] ppid=9954 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9957/task/9962/stat : 9962 (java) S 9954 9957 7140 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42900288 9856040960 19711 33554432000 1073741824 1073778376 140736869616448 139740186265768 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9957/tid=9963] ppid=9954 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9957/task/9963/stat : 9963 (java) S 9954 9957 7140 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42900288 9856040960 19711 33554432000 1073741824 1073778376 140736869616448 139740185213224 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9957/tid=9964] ppid=9954 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9957/task/9964/stat : 9964 (java) S 9954 9957 7140 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42900288 9856040960 19711 33554432000 1073741824 1073778376 140736869616448 139740038511528 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9957/tid=9965] ppid=9954 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9957/task/9965/stat : 9965 (java) S 9954 9957 7140 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42900288 9856040960 19711 33554432000 1073741824 1073778376 140736869616448 139740037458984 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9957/tid=9966] ppid=9954 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9957/task/9966/stat : 9966 (java) S 9954 9957 7140 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42900288 9856040960 19711 33554432000 1073741824 1073778376 140736869616448 139740036405928 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9957/tid=9967] ppid=9954 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9957/task/9967/stat : 9967 (java) S 9954 9957 7140 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 42900288 9856040960 19711 33554432000 1073741824 1073778376 140736869616448 139740035353384 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9957/tid=9968] ppid=9954 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9957/task/9968/stat : 9968 (java) S 9954 9957 7140 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 42900289 9856040960 19711 33554432000 1073741824 1073778376 140736869616448 139740023155048 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9957/tid=9969] ppid=9954 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9957/task/9969/stat : 9969 (java) S 9954 9957 7140 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 42900289 9856040960 19711 33554432000 1073741824 1073778376 140736869616448 139740022101368 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9957/tid=9970] ppid=9954 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9957/task/9970/stat : 9970 (java) S 9954 9957 7140 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 42900289 9856040960 19711 33554432000 1073741824 1073778376 140736869616448 139740021048200 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9957/tid=9971] ppid=9954 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9957/task/9971/stat : 9971 (java) S 9954 9957 7140 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42900292 9856040960 19711 33554432000 1073741824 1073778376 140736869616448 139740019996944 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9957/tid=9972] ppid=9954 vsize=9625040 CPUtime=0.45 cores=0,2,4,6
/proc/9957/task/9972/stat : 9972 (java) S 9954 9957 7140 0 -1 4202560 3240 0 0 0 45 0 0 0 20 0 19 0 42900292 9856040960 19711 33554432000 1073741824 1073778376 140736869616448 139740018944824 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9957/tid=9973] ppid=9954 vsize=9625040 CPUtime=0.71 cores=0,2,4,6
/proc/9957/task/9973/stat : 9973 (java) R 9954 9957 7140 0 -1 4202560 10061 0 0 0 69 2 0 0 20 0 19 0 42900292 9856040960 19711 33554432000 1073741824 1073778376 140736869616448 139740017870392 139740203427398 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=9957/tid=9974] ppid=9954 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9957/task/9974/stat : 9974 (java) S 9954 9957 7140 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42900292 9856040960 19711 33554432000 1073741824 1073778376 140736869616448 139740016839416 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9957/tid=9975] ppid=9954 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9957/task/9975/stat : 9975 (java) S 9954 9957 7140 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42900292 9856040960 19711 33554432000 1073741824 1073778376 140736869616448 139740015787080 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9957/tid=9976] ppid=9954 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9957/task/9976/stat : 9976 (java) S 9954 9957 7140 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 42900328 9856040960 19711 33554432000 1073741824 1073778376 140736869616448 139740014732328 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.67
Current children cumulated vsize (KiB) 9625040

[startup+3.10071 s]
/proc/loadavg: 2.07 2.05 2.00 3/213 9976
/proc/meminfo: memFree=30951196/32872528 swapFree=303544/319896
[pid=9957] ppid=9954 vsize=9625040 CPUtime=4.44 cores=0,2,4,6
/proc/9957/stat : 9957 (java) S 9954 9957 7140 0 -1 4202496 17107 0 1 0 440 4 0 0 20 0 19 0 42900286 9856040960 19696 33554432000 1073741824 1073778376 140736869616448 140736869607584 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9957/statm: 2406260 19696 2270 9 0 2396937 0
[pid=9957/tid=9959] ppid=9954 vsize=9625040 CPUtime=3.06 cores=0,2,4,6
/proc/9957/task/9959/stat : 9959 (java) R 9954 9957 7140 0 -1 4202560 2422 0 1 0 304 2 0 0 20 0 19 0 42900287 9856040960 19696 33554432000 1073741824 1073778376 140736869616448 139740199309656 139740066792716 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=9957/tid=9960] ppid=9954 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9957/task/9960/stat : 9960 (java) S 9954 9957 7140 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42900288 9856040960 19696 33554432000 1073741824 1073778376 140736869616448 139740188371368 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9957/tid=9961] ppid=9954 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9957/task/9961/stat : 9961 (java) S 9954 9957 7140 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42900288 9856040960 19696 33554432000 1073741824 1073778376 140736869616448 139740187318824 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9957/tid=9962] ppid=9954 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9957/task/9962/stat : 9962 (java) S 9954 9957 7140 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42900288 9856040960 19696 33554432000 1073741824 1073778376 140736869616448 139740186265768 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9957/tid=9963] ppid=9954 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9957/task/9963/stat : 9963 (java) S 9954 9957 7140 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42900288 9856040960 19696 33554432000 1073741824 1073778376 140736869616448 139740185213224 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9957/tid=9964] ppid=9954 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9957/task/9964/stat : 9964 (java) S 9954 9957 7140 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42900288 9856040960 19696 33554432000 1073741824 1073778376 140736869616448 139740038511528 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9957/tid=9965] ppid=9954 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9957/task/9965/stat : 9965 (java) S 9954 9957 7140 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42900288 9856040960 19696 33554432000 1073741824 1073778376 140736869616448 139740037458984 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9957/tid=9966] ppid=9954 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9957/task/9966/stat : 9966 (java) S 9954 9957 7140 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42900288 9856040960 19696 33554432000 1073741824 1073778376 140736869616448 139740036405928 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9957/tid=9967] ppid=9954 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9957/task/9967/stat : 9967 (java) S 9954 9957 7140 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 42900288 9856040960 19696 33554432000 1073741824 1073778376 140736869616448 139740035353384 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9957/tid=9968] ppid=9954 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9957/task/9968/stat : 9968 (java) S 9954 9957 7140 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 42900289 9856040960 19696 33554432000 1073741824 1073778376 140736869616448 139740023155048 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9957/tid=9969] ppid=9954 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9957/task/9969/stat : 9969 (java) S 9954 9957 7140 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 42900289 9856040960 19696 33554432000 1073741824 1073778376 140736869616448 139740022101368 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9957/tid=9970] ppid=9954 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9957/task/9970/stat : 9970 (java) S 9954 9957 7140 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 42900289 9856040960 19696 33554432000 1073741824 1073778376 140736869616448 139740021048200 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9957/tid=9971] ppid=9954 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9957/task/9971/stat : 9971 (java) S 9954 9957 7140 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42900292 9856040960 19696 33554432000 1073741824 1073778376 140736869616448 139740019996944 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9957/tid=9972] ppid=9954 vsize=9625040 CPUtime=0.56 cores=0,2,4,6
/proc/9957/task/9972/stat : 9972 (java) S 9954 9957 7140 0 -1 4202560 3335 0 0 0 56 0 0 0 20 0 19 0 42900292 9856040960 19696 33554432000 1073741824 1073778376 140736869616448 139740018944824 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9957/tid=9973] ppid=9954 vsize=9625040 CPUtime=0.78 cores=0,2,4,6
/proc/9957/task/9973/stat : 9973 (java) S 9954 9957 7140 0 -1 4202560 10072 0 0 0 76 2 0 0 20 0 19 0 42900292 9856040960 19696 33554432000 1073741824 1073778376 140736869616448 139740017892280 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9957/tid=9974] ppid=9954 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9957/task/9974/stat : 9974 (java) S 9954 9957 7140 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42900292 9856040960 19696 33554432000 1073741824 1073778376 140736869616448 139740016839416 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9957/tid=9975] ppid=9954 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9957/task/9975/stat : 9975 (java) S 9954 9957 7140 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42900292 9856040960 19696 33554432000 1073741824 1073778376 140736869616448 139740015787080 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9957/tid=9976] ppid=9954 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9957/task/9976/stat : 9976 (java) S 9954 9957 7140 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 42900328 9856040960 19696 33554432000 1073741824 1073778376 140736869616448 139740014732328 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.44
Current children cumulated vsize (KiB) 9625040

[startup+6.30083 s]
/proc/loadavg: 2.06 2.05 2.00 3/213 9976
/proc/meminfo: memFree=30941872/32872528 swapFree=303544/319896
[pid=9957] ppid=9954 vsize=9625040 CPUtime=7.63 cores=0,2,4,6
/proc/9957/stat : 9957 (java) S 9954 9957 7140 0 -1 4202496 17114 0 1 0 759 4 0 0 20 0 19 0 42900286 9856040960 21908 33554432000 1073741824 1073778376 140736869616448 140736869607584 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9957/statm: 2406260 21908 2271 9 0 2396937 0
[pid=9957/tid=9959] ppid=9954 vsize=9625040 CPUtime=6.25 cores=0,2,4,6
/proc/9957/task/9959/stat : 9959 (java) R 9954 9957 7140 0 -1 4202560 2428 0 1 0 623 2 0 0 20 0 19 0 42900287 9856040960 21908 33554432000 1073741824 1073778376 140736869616448 139740199300800 139740066792758 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=9957/tid=9960] ppid=9954 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9957/task/9960/stat : 9960 (java) S 9954 9957 7140 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42900288 9856040960 21908 33554432000 1073741824 1073778376 140736869616448 139740188371368 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9957/tid=9961] ppid=9954 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9957/task/9961/stat : 9961 (java) S 9954 9957 7140 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42900288 9856040960 21908 33554432000 1073741824 1073778376 140736869616448 139740187318824 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9957/tid=9962] ppid=9954 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9957/task/9962/stat : 9962 (java) S 9954 9957 7140 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42900288 9856040960 21908 33554432000 1073741824 1073778376 140736869616448 139740186265768 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9957/tid=9963] ppid=9954 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9957/task/9963/stat : 9963 (java) S 9954 9957 7140 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42900288 9856040960 21908 33554432000 1073741824 1073778376 140736869616448 139740185213224 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9957/tid=9964] ppid=9954 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9957/task/9964/stat : 9964 (java) S 9954 9957 7140 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42900288 9856040960 21908 33554432000 1073741824 1073778376 140736869616448 139740038511528 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9957/tid=9965] ppid=9954 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9957/task/9965/stat : 9965 (java) S 9954 9957 7140 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42900288 9856040960 21908 33554432000 1073741824 1073778376 140736869616448 139740037458984 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9957/tid=9966] ppid=9954 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9957/task/9966/stat : 9966 (java) S 9954 9957 7140 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42900288 9856040960 21908 33554432000 1073741824 1073778376 140736869616448 139740036405928 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9957/tid=9967] ppid=9954 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9957/task/9967/stat : 9967 (java) S 9954 9957 7140 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 42900288 9856040960 21908 33554432000 1073741824 1073778376 140736869616448 139740035353384 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9957/tid=9968] ppid=9954 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9957/task/9968/stat : 9968 (java) S 9954 9957 7140 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 42900289 9856040960 21908 33554432000 1073741824 1073778376 140736869616448 139740023155048 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9957/tid=9969] ppid=9954 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9957/task/9969/stat : 9969 (java) S 9954 9957 7140 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 42900289 9856040960 21908 33554432000 1073741824 1073778376 140736869616448 139740022101368 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9957/tid=9970] ppid=9954 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9957/task/9970/stat : 9970 (java) S 9954 9957 7140 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 42900289 9856040960 21908 33554432000 1073741824 1073778376 140736869616448 139740021048200 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9957/tid=9971] ppid=9954 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9957/task/9971/stat : 9971 (java) S 9954 9957 7140 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42900292 9856040960 21908 33554432000 1073741824 1073778376 140736869616448 139740019996944 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9957/tid=9972] ppid=9954 vsize=9625040 CPUtime=0.56 cores=0,2,4,6
/proc/9957/task/9972/stat : 9972 (java) S 9954 9957 7140 0 -1 4202560 3335 0 0 0 56 0 0 0 20 0 19 0 42900292 9856040960 21908 33554432000 1073741824 1073778376 140736869616448 139740018944824 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9957/tid=9973] ppid=9954 vsize=9625040 CPUtime=0.78 cores=0,2,4,6
/proc/9957/task/9973/stat : 9973 (java) S 9954 9957 7140 0 -1 4202560 10072 0 0 0 76 2 0 0 20 0 19 0 42900292 9856040960 21908 33554432000 1073741824 1073778376 140736869616448 139740017892280 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9957/tid=9974] ppid=9954 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9957/task/9974/stat : 9974 (java) S 9954 9957 7140 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42900292 9856040960 21908 33554432000 1073741824 1073778376 140736869616448 139740016839416 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9957/tid=9975] ppid=9954 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9957/task/9975/stat : 9975 (java) S 9954 9957 7140 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 42900292 9856040960 21908 33554432000 1073741824 1073778376 140736869616448 139740015787080 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9957/tid=9976] ppid=9954 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9957/task/9976/stat : 9976 (java) S 9954 9957 7140 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 42900328 9856040960 21908 33554432000 1073741824 1073778376 140736869616448 139740014732328 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 7.63
Current children cumulated vsize (KiB) 9625040


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

[pid=9957/tid=9976] ppid=9954 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9957/task/9976/stat : 9976 (java) S 9954 9957 7140 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 42900328 9856040960 79224 33554432000 1073741824 1073778376 140736869616448 139740014732328 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1666.42
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 10106
/proc/meminfo: memFree=30833692/32872528 swapFree=303544/319896
[pid=9957] ppid=9954 vsize=9625040 CPUtime=1726.41 cores=0,2,4,6
/proc/9957/stat : 9957 (java) S 9954 9957 7140 0 -1 4202496 32775 0 1 0 172593 48 0 0 20 0 19 0 42900286 9856040960 79224 33554432000 1073741824 1073778376 140736869616448 140736869607584 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9957/statm: 2406260 79224 2286 9 0 2396937 0
[pid=9957/tid=9959] ppid=9954 vsize=9625040 CPUtime=1717.2 cores=0,2,4,6
/proc/9957/task/9959/stat : 9959 (java) R 9954 9957 7140 0 -1 4202560 2495 0 1 0 171691 29 0 0 20 0 19 0 42900287 9856040960 79224 33554432000 1073741824 1073778376 140736869616448 139740199300800 139740066792758 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=9957/tid=9960] ppid=9954 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/9957/task/9960/stat : 9960 (java) S 9954 9957 7140 0 -1 4202560 250 0 0 0 18 3 0 0 20 0 19 0 42900288 9856040960 79224 33554432000 1073741824 1073778376 140736869616448 139740188371368 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9957/tid=9961] ppid=9954 vsize=9625040 CPUtime=0.14 cores=0,2,4,6
/proc/9957/task/9961/stat : 9961 (java) S 9954 9957 7140 0 -1 4202560 84 0 0 0 14 0 0 0 20 0 19 0 42900288 9856040960 79224 33554432000 1073741824 1073778376 140736869616448 139740187318824 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9957/tid=9962] ppid=9954 vsize=9625040 CPUtime=0.19 cores=0,2,4,6
/proc/9957/task/9962/stat : 9962 (java) S 9954 9957 7140 0 -1 4202560 98 0 0 0 17 2 0 0 20 0 19 0 42900288 9856040960 79224 33554432000 1073741824 1073778376 140736869616448 139740186265768 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9957/tid=9963] ppid=9954 vsize=9625040 CPUtime=0.19 cores=0,2,4,6
/proc/9957/task/9963/stat : 9963 (java) S 9954 9957 7140 0 -1 4202560 103 0 0 0 18 1 0 0 20 0 19 0 42900288 9856040960 79224 33554432000 1073741824 1073778376 140736869616448 139740185213224 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9957/tid=9964] ppid=9954 vsize=9625040 CPUtime=0.19 cores=0,2,4,6
/proc/9957/task/9964/stat : 9964 (java) S 9954 9957 7140 0 -1 4202560 200 0 0 0 17 2 0 0 20 0 19 0 42900288 9856040960 79224 33554432000 1073741824 1073778376 140736869616448 139740038511528 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9957/tid=9965] ppid=9954 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/9957/task/9965/stat : 9965 (java) S 9954 9957 7140 0 -1 4202560 167 0 0 0 18 3 0 0 20 0 19 0 42900288 9856040960 79224 33554432000 1073741824 1073778376 140736869616448 139740037458984 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9957/tid=9966] ppid=9954 vsize=9625040 CPUtime=0.2 cores=0,2,4,6
/proc/9957/task/9966/stat : 9966 (java) S 9954 9957 7140 0 -1 4202560 79 0 0 0 18 2 0 0 20 0 19 0 42900288 9856040960 79224 33554432000 1073741824 1073778376 140736869616448 139740036405928 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9957/tid=9967] ppid=9954 vsize=9625040 CPUtime=0.19 cores=0,2,4,6
/proc/9957/task/9967/stat : 9967 (java) S 9954 9957 7140 0 -1 4202560 177 0 0 0 17 2 0 0 20 0 19 0 42900288 9856040960 79224 33554432000 1073741824 1073778376 140736869616448 139740035353384 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9957/tid=9968] ppid=9954 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/9957/task/9968/stat : 9968 (java) S 9954 9957 7140 0 -1 4202560 65 0 0 0 2 0 0 0 20 0 19 0 42900289 9856040960 79224 33554432000 1073741824 1073778376 140736869616448 139740023155048 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9957/tid=9969] ppid=9954 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9957/task/9969/stat : 9969 (java) S 9954 9957 7140 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 42900289 9856040960 79224 33554432000 1073741824 1073778376 140736869616448 139740022101368 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9957/tid=9970] ppid=9954 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9957/task/9970/stat : 9970 (java) S 9954 9957 7140 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 42900289 9856040960 79224 33554432000 1073741824 1073778376 140736869616448 139740021048200 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9957/tid=9971] ppid=9954 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9957/task/9971/stat : 9971 (java) S 9954 9957 7140 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42900292 9856040960 79224 33554432000 1073741824 1073778376 140736869616448 139740019996944 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9957/tid=9972] ppid=9954 vsize=9625040 CPUtime=1.98 cores=0,2,4,6
/proc/9957/task/9972/stat : 9972 (java) S 9954 9957 7140 0 -1 4202560 17605 0 0 0 195 3 0 0 20 0 19 0 42900292 9856040960 79224 33554432000 1073741824 1073778376 140736869616448 139740018944824 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9957/tid=9973] ppid=9954 vsize=9625040 CPUtime=0.87 cores=0,2,4,6
/proc/9957/task/9973/stat : 9973 (java) S 9954 9957 7140 0 -1 4202560 10087 0 0 0 85 2 0 0 20 0 19 0 42900292 9856040960 79224 33554432000 1073741824 1073778376 140736869616448 139740017892280 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9957/tid=9974] ppid=9954 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9957/task/9974/stat : 9974 (java) S 9954 9957 7140 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42900292 9856040960 79224 33554432000 1073741824 1073778376 140736869616448 139740016839416 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9957/tid=9975] ppid=9954 vsize=9625040 CPUtime=0.57 cores=0,2,4,6
/proc/9957/task/9975/stat : 9975 (java) S 9954 9957 7140 0 -1 4202560 100 0 0 0 26 31 0 0 20 0 19 0 42900292 9856040960 79224 33554432000 1073741824 1073778376 140736869616448 139740015787080 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9957/tid=9976] ppid=9954 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9957/task/9976/stat : 9976 (java) S 9954 9957 7140 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 42900328 9856040960 79224 33554432000 1073741824 1073778376 140736869616448 139740014732328 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1726.41
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 10107
/proc/meminfo: memFree=30791180/32872528 swapFree=303544/319896
[pid=9957] ppid=9954 vsize=9625040 CPUtime=1786.51 cores=0,2,4,6
/proc/9957/stat : 9957 (java) S 9954 9957 7140 0 -1 4202496 32814 0 1 0 178600 51 0 0 20 0 19 0 42900286 9856040960 82816 33554432000 1073741824 1073778376 140736869616448 140736869607584 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9957/statm: 2406260 82816 2286 9 0 2396937 0
[pid=9957/tid=9959] ppid=9954 vsize=9625040 CPUtime=1776.98 cores=0,2,4,6
/proc/9957/task/9959/stat : 9959 (java) R 9954 9957 7140 0 -1 4202560 2496 0 1 0 177667 31 0 0 20 0 19 0 42900287 9856040960 82816 33554432000 1073741824 1073778376 140736869616448 139740199308480 139740066779936 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=9957/tid=9960] ppid=9954 vsize=9625040 CPUtime=0.22 cores=0,2,4,6
/proc/9957/task/9960/stat : 9960 (java) S 9954 9957 7140 0 -1 4202560 253 0 0 0 19 3 0 0 20 0 19 0 42900288 9856040960 82816 33554432000 1073741824 1073778376 140736869616448 139740188371368 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9957/tid=9961] ppid=9954 vsize=9625040 CPUtime=0.16 cores=0,2,4,6
/proc/9957/task/9961/stat : 9961 (java) S 9954 9957 7140 0 -1 4202560 88 0 0 0 15 1 0 0 20 0 19 0 42900288 9856040960 82816 33554432000 1073741824 1073778376 140736869616448 139740187318824 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9957/tid=9962] ppid=9954 vsize=9625040 CPUtime=0.23 cores=0,2,4,6
/proc/9957/task/9962/stat : 9962 (java) S 9954 9957 7140 0 -1 4202560 104 0 0 0 21 2 0 0 20 0 19 0 42900288 9856040960 82816 33554432000 1073741824 1073778376 140736869616448 139740186265768 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9957/tid=9963] ppid=9954 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/9957/task/9963/stat : 9963 (java) S 9954 9957 7140 0 -1 4202560 105 0 0 0 19 2 0 0 20 0 19 0 42900288 9856040960 82816 33554432000 1073741824 1073778376 140736869616448 139740185213224 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9957/tid=9964] ppid=9954 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/9957/task/9964/stat : 9964 (java) S 9954 9957 7140 0 -1 4202560 203 0 0 0 18 3 0 0 20 0 19 0 42900288 9856040960 82816 33554432000 1073741824 1073778376 140736869616448 139740038511528 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9957/tid=9965] ppid=9954 vsize=9625040 CPUtime=0.23 cores=0,2,4,6
/proc/9957/task/9965/stat : 9965 (java) S 9954 9957 7140 0 -1 4202560 168 0 0 0 20 3 0 0 20 0 19 0 42900288 9856040960 82816 33554432000 1073741824 1073778376 140736869616448 139740037458984 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9957/tid=9966] ppid=9954 vsize=9625040 CPUtime=0.22 cores=0,2,4,6
/proc/9957/task/9966/stat : 9966 (java) S 9954 9957 7140 0 -1 4202560 83 0 0 0 20 2 0 0 20 0 19 0 42900288 9856040960 82816 33554432000 1073741824 1073778376 140736869616448 139740036405928 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9957/tid=9967] ppid=9954 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/9957/task/9967/stat : 9967 (java) S 9954 9957 7140 0 -1 4202560 178 0 0 0 19 2 0 0 20 0 19 0 42900288 9856040960 82816 33554432000 1073741824 1073778376 140736869616448 139740035353384 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9957/tid=9968] ppid=9954 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/9957/task/9968/stat : 9968 (java) S 9954 9957 7140 0 -1 4202560 75 0 0 0 2 0 0 0 20 0 19 0 42900289 9856040960 82816 33554432000 1073741824 1073778376 140736869616448 139740023155048 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9957/tid=9969] ppid=9954 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9957/task/9969/stat : 9969 (java) S 9954 9957 7140 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 42900289 9856040960 82816 33554432000 1073741824 1073778376 140736869616448 139740022101368 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9957/tid=9970] ppid=9954 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9957/task/9970/stat : 9970 (java) S 9954 9957 7140 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 42900289 9856040960 82816 33554432000 1073741824 1073778376 140736869616448 139740021048200 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9957/tid=9971] ppid=9954 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9957/task/9971/stat : 9971 (java) S 9954 9957 7140 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42900292 9856040960 82816 33554432000 1073741824 1073778376 140736869616448 139740019996944 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9957/tid=9972] ppid=9954 vsize=9625040 CPUtime=1.98 cores=0,2,4,6
/proc/9957/task/9972/stat : 9972 (java) S 9954 9957 7140 0 -1 4202560 17605 0 0 0 195 3 0 0 20 0 19 0 42900292 9856040960 82816 33554432000 1073741824 1073778376 140736869616448 139740018944824 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9957/tid=9973] ppid=9954 vsize=9625040 CPUtime=0.87 cores=0,2,4,6
/proc/9957/task/9973/stat : 9973 (java) S 9954 9957 7140 0 -1 4202560 10087 0 0 0 85 2 0 0 20 0 19 0 42900292 9856040960 82816 33554432000 1073741824 1073778376 140736869616448 139740017892280 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9957/tid=9974] ppid=9954 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9957/task/9974/stat : 9974 (java) S 9954 9957 7140 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42900292 9856040960 82816 33554432000 1073741824 1073778376 140736869616448 139740016839416 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9957/tid=9975] ppid=9954 vsize=9625040 CPUtime=0.59 cores=0,2,4,6
/proc/9957/task/9975/stat : 9975 (java) S 9954 9957 7140 0 -1 4202560 104 0 0 0 26 33 0 0 20 0 19 0 42900292 9856040960 82816 33554432000 1073741824 1073778376 140736869616448 139740015787080 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9957/tid=9976] ppid=9954 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9957/task/9976/stat : 9976 (java) S 9954 9957 7140 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 42900328 9856040960 82816 33554432000 1073741824 1073778376 140736869616448 139740014732328 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1786.51
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1795.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 10108
/proc/meminfo: memFree=30797072/32872528 swapFree=303544/319896
[pid=9957] ppid=9954 vsize=9625040 CPUtime=1800.03 cores=0,2,4,6
/proc/9957/stat : 9957 (java) S 9954 9957 7140 0 -1 4202496 32814 0 1 0 179951 52 0 0 20 0 19 0 42900286 9856040960 82816 33554432000 1073741824 1073778376 140736869616448 140736869607584 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9957/statm: 2406260 82816 2286 9 0 2396937 0
[pid=9957/tid=9959] ppid=9954 vsize=9625040 CPUtime=1790.45 cores=0,2,4,6
/proc/9957/task/9959/stat : 9959 (java) R 9954 9957 7140 0 -1 4202560 2496 0 1 0 179014 31 0 0 20 0 19 0 42900287 9856040960 82816 33554432000 1073741824 1073778376 140736869616448 139740199308480 139740066792763 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=9957/tid=9960] ppid=9954 vsize=9625040 CPUtime=0.22 cores=0,2,4,6
/proc/9957/task/9960/stat : 9960 (java) S 9954 9957 7140 0 -1 4202560 253 0 0 0 19 3 0 0 20 0 19 0 42900288 9856040960 82816 33554432000 1073741824 1073778376 140736869616448 139740188371368 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9957/tid=9961] ppid=9954 vsize=9625040 CPUtime=0.16 cores=0,2,4,6
/proc/9957/task/9961/stat : 9961 (java) S 9954 9957 7140 0 -1 4202560 88 0 0 0 15 1 0 0 20 0 19 0 42900288 9856040960 82816 33554432000 1073741824 1073778376 140736869616448 139740187318824 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9957/tid=9962] ppid=9954 vsize=9625040 CPUtime=0.23 cores=0,2,4,6
/proc/9957/task/9962/stat : 9962 (java) S 9954 9957 7140 0 -1 4202560 104 0 0 0 21 2 0 0 20 0 19 0 42900288 9856040960 82816 33554432000 1073741824 1073778376 140736869616448 139740186265768 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9957/tid=9963] ppid=9954 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/9957/task/9963/stat : 9963 (java) S 9954 9957 7140 0 -1 4202560 105 0 0 0 19 2 0 0 20 0 19 0 42900288 9856040960 82816 33554432000 1073741824 1073778376 140736869616448 139740185213224 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9957/tid=9964] ppid=9954 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/9957/task/9964/stat : 9964 (java) S 9954 9957 7140 0 -1 4202560 203 0 0 0 18 3 0 0 20 0 19 0 42900288 9856040960 82816 33554432000 1073741824 1073778376 140736869616448 139740038511528 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9957/tid=9965] ppid=9954 vsize=9625040 CPUtime=0.23 cores=0,2,4,6
/proc/9957/task/9965/stat : 9965 (java) S 9954 9957 7140 0 -1 4202560 168 0 0 0 20 3 0 0 20 0 19 0 42900288 9856040960 82816 33554432000 1073741824 1073778376 140736869616448 139740037458984 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9957/tid=9966] ppid=9954 vsize=9625040 CPUtime=0.22 cores=0,2,4,6
/proc/9957/task/9966/stat : 9966 (java) S 9954 9957 7140 0 -1 4202560 83 0 0 0 20 2 0 0 20 0 19 0 42900288 9856040960 82816 33554432000 1073741824 1073778376 140736869616448 139740036405928 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9957/tid=9967] ppid=9954 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/9957/task/9967/stat : 9967 (java) S 9954 9957 7140 0 -1 4202560 178 0 0 0 19 2 0 0 20 0 19 0 42900288 9856040960 82816 33554432000 1073741824 1073778376 140736869616448 139740035353384 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9957/tid=9968] ppid=9954 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/9957/task/9968/stat : 9968 (java) S 9954 9957 7140 0 -1 4202560 75 0 0 0 2 0 0 0 20 0 19 0 42900289 9856040960 82816 33554432000 1073741824 1073778376 140736869616448 139740023155048 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9957/tid=9969] ppid=9954 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9957/task/9969/stat : 9969 (java) S 9954 9957 7140 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 42900289 9856040960 82816 33554432000 1073741824 1073778376 140736869616448 139740022101368 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9957/tid=9970] ppid=9954 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9957/task/9970/stat : 9970 (java) S 9954 9957 7140 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 42900289 9856040960 82816 33554432000 1073741824 1073778376 140736869616448 139740021048200 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9957/tid=9971] ppid=9954 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9957/task/9971/stat : 9971 (java) S 9954 9957 7140 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42900292 9856040960 82816 33554432000 1073741824 1073778376 140736869616448 139740019996944 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9957/tid=9972] ppid=9954 vsize=9625040 CPUtime=1.98 cores=0,2,4,6
/proc/9957/task/9972/stat : 9972 (java) S 9954 9957 7140 0 -1 4202560 17605 0 0 0 195 3 0 0 20 0 19 0 42900292 9856040960 82816 33554432000 1073741824 1073778376 140736869616448 139740018944824 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9957/tid=9973] ppid=9954 vsize=9625040 CPUtime=0.87 cores=0,2,4,6
/proc/9957/task/9973/stat : 9973 (java) S 9954 9957 7140 0 -1 4202560 10087 0 0 0 85 2 0 0 20 0 19 0 42900292 9856040960 82816 33554432000 1073741824 1073778376 140736869616448 139740017892280 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9957/tid=9974] ppid=9954 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9957/task/9974/stat : 9974 (java) S 9954 9957 7140 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42900292 9856040960 82816 33554432000 1073741824 1073778376 140736869616448 139740016839416 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9957/tid=9975] ppid=9954 vsize=9625040 CPUtime=0.6 cores=0,2,4,6
/proc/9957/task/9975/stat : 9975 (java) S 9954 9957 7140 0 -1 4202560 104 0 0 0 27 33 0 0 20 0 19 0 42900292 9856040960 82816 33554432000 1073741824 1073778376 140736869616448 139740015787080 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9957/tid=9976] ppid=9954 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9957/task/9976/stat : 9976 (java) S 9954 9957 7140 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 42900328 9856040960 82816 33554432000 1073741824 1073778376 140736869616448 139740014732328 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 9625040

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 9957 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 9957 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=989120
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=10846
# CPU time returned by wait4() is 1796
# while last known CPU time is 1800.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1795.86
CPU time (s): 1800.03
CPU user time (s): 1799.51
CPU system time (s): 0.52
CPU usage (%): 100.232
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.99
system time used= 1.01085
maximum resident set size= 331392
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32853
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1288
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38718
involuntary context switches= 9240

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.2823 second user time and 12.2931 second system time

The end

Launcher Data 

Begin job on node128 at 2016-06-20 09:42:17
IDJOB=4111335
IDBENCH=109150
IDSOLVER=2546
FILE ID=node128/4111335-1466408537
RUNJOBID= node128-1466384097-7156
PBS_JOBID= 19923268
Free space on /tmp= 71696 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB16/normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f4-DataDisplay_2_order9.seq-A-3-1-irabcde.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4111335-1466408537/watcher-4111335-1466408537 -o /tmp/evaluation-result-4111335-1466408537/solver-4111335-1466408537 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1466384097-7156 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4111335-1466408537.opb

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

MD5SUM BENCH= 71f311b6b6df0136061173e9b8d561c5
RANDOM SEED=409526747

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
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.56
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.768
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:        31018600 kB
Buffers:           66932 kB
Cached:            71304 kB
SwapCached:         1936 kB
Active:           708280 kB
Inactive:          90044 kB
Active(anon):     660656 kB
Inactive(anon):     1664 kB
Active(file):      47624 kB
Inactive(file):    88380 kB
Unevictable:      319896 kB
Mlocked:          303544 kB
SwapTotal:      67108856 kB
SwapFree:       67098904 kB
Dirty:               848 kB
Writeback:            44 kB
AnonPages:        981332 kB
Mapped:            15188 kB
Shmem:                 0 kB
Slab:             600560 kB
SReclaimable:      43860 kB
SUnreclaim:       556700 kB
KernelStack:        1592 kB
PageTables:         6244 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2014016 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    655360 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= 71704 MiB
End job on node128 at 2016-06-20 10:12:13