Trace number 4100962

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 Res+CP PB16SAT (TO)-122041 1800.33 899.086

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-recipe.opb
MD5SUMafb312a519ee7dfceb0c5aec9cb860b5
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-122041
Best CPU time to get the best result obtained on this benchmark1800.33
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -118677
Optimality of the best value was proved NO
Number of variables3671
Total number of constraints159
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints159
Minimum length of a constraint10
Maximum length of a constraint420
Number of terms in the objective function 1055
Biggest coefficient in the objective function 58802
Number of bits for the biggest coefficient in the objective function 16
Sum of the numbers in the objective function 524960
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262113
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 524960
Number of bits of the biggest sum of numbers20
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.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.10	c version PB16.v20160501
0.00/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.10	c java.vm.version	19.1-b02
0.00/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.10	c sun.arch.data.model	64
0.00/0.10	c java.version		1.6.0_24
0.00/0.10	c os.name		Linux
0.00/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.09/0.10	c os.arch		amd64
0.09/0.10	c Free memory 		501472288
0.09/0.10	c Max memory 		7480803328
0.09/0.10	c Total memory 		504102912
0.09/0.10	c Number of processors 	8
0.09/0.12	c Pseudo Boolean Optimization by upper bound
0.09/0.12	c ManyCore solver with 2 solvers running in parallel
0.09/0.12	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@16fd0b7
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.12	c Expensive reason simplification
0.09/0.12	c Glucose 2.1 dynamic restart strategy
0.09/0.12	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.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.09/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@75786e64
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.09/0.12	c No reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	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.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-4100962-1466211967.opb
0.09/0.12	c reading problem ... 
0.09/0.13	c  objective function found
0.83/0.47	c ... done. Wall clock time 0.349s.
0.83/0.47	c declared #vars     3671
0.83/0.47	c #constraints  223
0.83/0.48	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.83/0.48	c constraints type 
0.83/0.48	c org.sat4j.specs.Constr$1 => 12
0.83/0.48	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 211
0.83/0.48	c 223 constraints processed.
0.83/0.48	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.83/0.48	c constraints type 
0.83/0.48	c org.sat4j.specs.Constr$1 => 12
0.83/0.48	c org.sat4j.pb.constraints.pb.MaxWatchPb => 211
0.83/0.48	c 223 constraints processed.
0.83/0.48	c objective function length is 1055 literals
1.93/0.79	c And the winner is solver1
2.43/1.00	c SATISFIABLE
2.43/1.00	c OPTIMIZING...
2.43/1.00	c Got one! Elapsed wall clock time (in seconds):0.873
2.43/1.00	o -61048
2.43/1.07	c And the winner is solver0
2.76/1.50	c Got one! Elapsed wall clock time (in seconds):1.379
2.76/1.50	o -109912
2.76/1.55	c And the winner is solver0
3.12/2.01	c Got one! Elapsed wall clock time (in seconds):1.883
3.12/2.01	o -110735
3.12/2.05	c And the winner is solver0
3.37/2.51	c Got one! Elapsed wall clock time (in seconds):2.386
3.37/2.51	o -115095
3.71/2.66	c cleaning 3642 clauses out of 7294 with flag 10610/7316
5.66/3.11	c cleaning 4826 clauses out of 9653 with flag 30121/13317
6.55/3.55	c cleaning 5907 clauses out of 11827 with flag 44205/20317
7.16/3.84	c cleaning 6956 clauses out of 13919 with flag 61888/28316
8.20/4.31	c cleaning 7974 clauses out of 15963 with flag 80854/37316
9.64/5.00	c cleaning 8991 clauses out of 17990 with flag 101718/47317
11.31/5.88	c cleaning 9991 clauses out of 19998 with flag 124698/58316
13.38/6.85	c cleaning 10997 clauses out of 22007 with flag 149772/70316
14.78/7.52	c cleaning 11996 clauses out of 24011 with flag 181102/83317
17.02/8.69	c cleaning 12997 clauses out of 26013 with flag 219379/97316
18.62/9.48	c cleaning 0 clauses out of 5109 with flag 0/5112
19.67/9.81	c cleaning 13993 clauses out of 28016 with flag 266325/112317
22.28/11.05	c cleaning 14993 clauses out of 30022 with flag 300267/128316
23.66/11.79	c And the winner is solver0
23.87/12.02	c Got one! Elapsed wall clock time (in seconds):11.891
23.87/12.02	o -115370
24.53/12.33	c cleaning 16813 clauses out of 33629 with flag 11420/146917
25.42/12.71	c cleaning 11405 clauses out of 22816 with flag 24545/152917
26.21/13.14	c cleaning 9197 clauses out of 18412 with flag 47718/159918
27.01/13.59	c cleaning 8598 clauses out of 17213 with flag 74196/167916
28.67/14.37	c cleaning 8805 clauses out of 17616 with flag 101534/176917
30.46/15.21	c cleaning 9402 clauses out of 18811 with flag 129876/186917
32.26/16.19	c cleaning 10205 clauses out of 20410 with flag 155831/197918
34.90/17.44	c cleaning 11094 clauses out of 22202 with flag 188496/209915
37.32/18.67	c cleaning 12049 clauses out of 24108 with flag 230470/222915
40.52/20.28	c cleaning 13022 clauses out of 26059 with flag 275662/236915
42.31/21.12	c cleaning 14009 clauses out of 28038 with flag 312133/251916
42.91/21.43	c And the winner is solver0
42.98/21.53	c Got one! Elapsed wall clock time (in seconds):21.4
42.98/21.53	o -115739
42.98/21.57	c cleaning 9736 clauses out of 19478 with flag 2214/257365
43.31/21.76	c cleaning 7863 clauses out of 15741 with flag 17135/263365
44.13/22.19	c cleaning 7427 clauses out of 14877 with flag 31697/270364
45.31/22.70	c cleaning 7723 clauses out of 15451 with flag 48700/278365
46.56/23.34	c cleaning 8361 clauses out of 16728 with flag 68839/287365
47.96/24.07	c cleaning 9184 clauses out of 18370 with flag 103076/297368
48.96/24.52	c cleaning 10078 clauses out of 20181 with flag 136533/308364
50.36/25.28	c cleaning 11037 clauses out of 22104 with flag 187314/320365
51.96/26.07	c cleaning 12013 clauses out of 24067 with flag 221646/333365
52.16/26.11	c And the winner is solver0
52.21/26.53	c Got one! Elapsed wall clock time (in seconds):26.404
52.21/26.53	o -118508
52.54/26.71	c cleaning 8675 clauses out of 17376 with flag 11982/338687
52.94/26.96	c cleaning 7337 clauses out of 14700 with flag 31815/344686
53.54/27.23	c cleaning 7171 clauses out of 14363 with flag 50377/351686
54.56/27.73	c cleaning 7591 clauses out of 15193 with flag 76128/359687
55.16/28.07	c cleaning 8298 clauses out of 16602 with flag 102197/368687
56.77/28.80	c cleaning 9132 clauses out of 18304 with flag 133793/378687
57.77/29.33	c cleaning 10072 clauses out of 20171 with flag 169260/389686
60.03/30.43	c cleaning 11039 clauses out of 22099 with flag 197313/401686
61.62/31.28	c cleaning 12019 clauses out of 24060 with flag 233626/414686
63.82/32.32	c cleaning 13014 clauses out of 26042 with flag 278371/428687
67.22/34.03	c cleaning 14010 clauses out of 28029 with flag 324647/443688
68.68/34.71	c cleaning 0 clauses out of 12420 with flag 0/12424
71.48/36.19	c cleaning 15008 clauses out of 30018 with flag 373015/459687
76.08/38.43	c cleaning 15999 clauses out of 32009 with flag 424661/476686
81.52/41.17	c cleaning 17001 clauses out of 34010 with flag 480702/494686
87.72/44.21	c cleaning 18003 clauses out of 36010 with flag 538831/513687
95.58/48.02	c cleaning 19000 clauses out of 38006 with flag 600340/533686
104.01/52.27	c cleaning 20001 clauses out of 40007 with flag 671007/554687
107.85/54.17	c cleaning 21001 clauses out of 42005 with flag 735442/576686
110.85/55.67	c cleaning 21991 clauses out of 44004 with flag 816456/599686
116.85/58.63	c cleaning 22987 clauses out of 46013 with flag 904653/623686
121.09/60.74	c cleaning 24002 clauses out of 48026 with flag 990156/648686
127.08/63.79	c cleaning 25002 clauses out of 50024 with flag 1079253/674686
134.32/67.38	c cleaning 26000 clauses out of 52022 with flag 1173700/701686
142.78/71.58	c cleaning 27001 clauses out of 54022 with flag 1267287/729686
149.58/74.94	c cleaning 0 clauses out of 18420 with flag 0/18424
152.01/76.17	c cleaning 27998 clauses out of 56022 with flag 1367673/758687
163.46/81.83	c cleaning 29000 clauses out of 58024 with flag 1467914/788687
176.69/88.49	c cleaning 30001 clauses out of 60024 with flag 1573296/819687
191.71/95.99	c cleaning 30994 clauses out of 62022 with flag 1686810/851686
210.15/105.18	c cleaning 32001 clauses out of 64029 with flag 1807012/884687
227.96/114.05	c cleaning 33004 clauses out of 66032 with flag 1927856/918691
246.79/123.42	c cleaning 34006 clauses out of 68025 with flag 2054260/953688
267.85/133.96	c cleaning 34997 clauses out of 70018 with flag 2177734/989687
289.31/144.61	c cleaning 36000 clauses out of 72021 with flag 2301796/1026687
313.35/156.60	c cleaning 36996 clauses out of 74020 with flag 2442636/1064686
342.62/171.22	c cleaning 38001 clauses out of 76025 with flag 2577701/1103687
372.33/186.01	c cleaning 39002 clauses out of 78023 with flag 2717617/1143686
400.81/200.24	c cleaning 40007 clauses out of 80021 with flag 2870296/1184686
409.92/204.78	c cleaning 40999 clauses out of 82015 with flag 3003726/1226687
419.16/209.40	c cleaning 41991 clauses out of 84015 with flag 3129103/1269686
432.02/215.73	c cleaning 43008 clauses out of 86024 with flag 3251744/1313686
444.26/221.84	c cleaning 44001 clauses out of 88016 with flag 3382636/1358686
460.79/230.07	c cleaning 45002 clauses out of 90015 with flag 3532756/1404687
469.98/234.68	c And the winner is solver0
469.99/235.07	c Got one! Elapsed wall clock time (in seconds):234.948
469.99/235.07	o -118527
470.84/235.54	c cleaning 39549 clauses out of 79124 with flag 11708/1438799
471.63/235.97	c cleaning 22777 clauses out of 45577 with flag 34638/1444801
472.66/236.45	c cleaning 14891 clauses out of 29798 with flag 55147/1451799
473.66/236.99	c cleaning 11441 clauses out of 22907 with flag 77178/1459799
475.07/237.67	c cleaning 10215 clauses out of 20466 with flag 101005/1468799
476.48/238.32	c cleaning 10110 clauses out of 20252 with flag 138237/1478800
478.28/239.25	c cleaning 10566 clauses out of 21142 with flag 179683/1489800
480.71/240.43	c cleaning 11283 clauses out of 22576 with flag 218802/1501800
483.10/241.62	c cleaning 12145 clauses out of 24292 with flag 262637/1514799
485.74/242.92	c cleaning 13072 clauses out of 26149 with flag 308400/1528801
487.74/243.90	c cleaning 14032 clauses out of 28076 with flag 360300/1543800
489.54/244.86	c cleaning 15021 clauses out of 30043 with flag 407402/1559799
490.94/245.60	c cleaning 16008 clauses out of 32022 with flag 462394/1576799
493.97/247.05	c cleaning 17005 clauses out of 34014 with flag 526184/1594800
496.37/248.29	c cleaning 17998 clauses out of 36008 with flag 586673/1613799
500.03/250.10	c cleaning 18994 clauses out of 38010 with flag 650221/1633799
503.27/251.62	c cleaning 20004 clauses out of 40016 with flag 719481/1654799
506.87/253.49	c cleaning 20999 clauses out of 42013 with flag 790268/1676800
511.30/255.67	c cleaning 21995 clauses out of 44013 with flag 853910/1699799
516.95/258.49	c cleaning 23001 clauses out of 46018 with flag 904649/1723799
524.20/262.05	c cleaning 23997 clauses out of 48017 with flag 955037/1748799
528.24/264.01	c cleaning 0 clauses out of 29333 with flag 0/29338
532.69/266.27	c cleaning 24997 clauses out of 50021 with flag 1009666/1774800
539.53/269.63	c cleaning 26004 clauses out of 52023 with flag 1077940/1801799
540.80/270.49	c And the winner is solver0
540.92/270.71	c Got one! Elapsed wall clock time (in seconds):270.587
540.92/270.71	o -119152
541.10/270.80	c cleaning 15878 clauses out of 31770 with flag 5185/1807551
541.49/271.06	c cleaning 10937 clauses out of 21891 with flag 25246/1813550
542.49/271.54	c cleaning 8963 clauses out of 17953 with flag 45478/1820549
543.49/272.08	c cleaning 8478 clauses out of 16990 with flag 70959/1828549
544.89/272.79	c cleaning 8752 clauses out of 17513 with flag 94236/1837550
546.90/273.73	c cleaning 9376 clauses out of 18760 with flag 124201/1847549
549.10/274.81	c cleaning 10185 clauses out of 20384 with flag 155043/1858549
550.73/275.69	c cleaning 11094 clauses out of 22200 with flag 189751/1870550
552.93/276.74	c cleaning 12046 clauses out of 24106 with flag 228710/1883550
555.15/277.85	c cleaning 13021 clauses out of 26059 with flag 279495/1897549
557.75/279.11	c cleaning 14016 clauses out of 28039 with flag 326419/1912550
561.77/281.13	c cleaning 15005 clauses out of 30022 with flag 378287/1928549
566.59/283.51	c cleaning 16005 clauses out of 32017 with flag 432099/1945549
571.39/285.90	c cleaning 17001 clauses out of 34012 with flag 497802/1963549
576.83/288.68	c cleaning 17998 clauses out of 36012 with flag 559664/1982550
583.06/291.76	c cleaning 19004 clauses out of 38013 with flag 627405/2002549
590.31/295.34	c cleaning 20001 clauses out of 40010 with flag 694872/2023550
597.93/299.16	c cleaning 20997 clauses out of 42009 with flag 768929/2045550
606.56/303.46	c cleaning 22005 clauses out of 44011 with flag 847696/2068549
616.03/308.20	c cleaning 23003 clauses out of 46007 with flag 931246/2092550
627.24/313.75	c cleaning 23996 clauses out of 48003 with flag 1011338/2117549
637.46/318.88	c cleaning 24997 clauses out of 50008 with flag 1090558/2143550
650.52/325.31	c cleaning 25999 clauses out of 52011 with flag 1175745/2170550
656.95/328.53	c cleaning 27000 clauses out of 54011 with flag 1248013/2198549
662.39/331.23	c cleaning 27996 clauses out of 56012 with flag 1317858/2227550
673.05/336.59	c cleaning 28996 clauses out of 58015 with flag 1405835/2257549
679.27/339.69	c And the winner is solver0
679.34/339.78	c Got one! Elapsed wall clock time (in seconds):339.653
679.34/339.78	o -121799
680.13/340.27	c cleaning 29417 clauses out of 58848 with flag 19083/2287378
680.93/340.62	c cleaning 17702 clauses out of 35431 with flag 39452/2293378
681.53/340.93	c cleaning 12352 clauses out of 24733 with flag 60287/2300382
682.37/341.39	c cleaning 10183 clauses out of 20378 with flag 94911/2308379
683.17/341.80	c cleaning 9588 clauses out of 19195 with flag 125362/2317379
684.37/342.33	c cleaning 9794 clauses out of 19606 with flag 160605/2327378
685.57/343.00	c cleaning 10397 clauses out of 20813 with flag 211212/2338379
687.40/343.85	c cleaning 11203 clauses out of 22416 with flag 255219/2350379
689.40/344.85	c cleaning 12103 clauses out of 24212 with flag 297148/2363378
691.65/345.93	c cleaning 13049 clauses out of 26110 with flag 340203/2377379
694.45/347.33	c cleaning 14026 clauses out of 28061 with flag 370356/2392379
698.29/349.29	c cleaning 15011 clauses out of 30034 with flag 402497/2408378
702.75/351.42	c cleaning 16010 clauses out of 32025 with flag 436894/2425380
705.37/352.73	c cleaning 17003 clauses out of 34014 with flag 491625/2443379
708.97/354.59	c cleaning 18003 clauses out of 36010 with flag 555163/2462378
712.01/356.03	c cleaning 18994 clauses out of 38008 with flag 615313/2482379
716.00/358.02	c cleaning 19991 clauses out of 40014 with flag 687667/2503380
719.82/359.94	c cleaning 21008 clauses out of 42021 with flag 782485/2525378
723.62/361.88	c cleaning 22000 clauses out of 44014 with flag 868771/2548379
728.84/364.41	c cleaning 22998 clauses out of 46016 with flag 948822/2572381
737.28/368.65	c cleaning 23998 clauses out of 48015 with flag 1026323/2597378
747.09/373.54	c cleaning 25008 clauses out of 50017 with flag 1110606/2623378
753.32/376.63	c cleaning 25996 clauses out of 52009 with flag 1196668/2650378
757.55/378.74	c cleaning 26985 clauses out of 54014 with flag 1284188/2678379
764.57/382.22	c cleaning 27994 clauses out of 56028 with flag 1390522/2707378
771.79/385.83	c cleaning 28994 clauses out of 58035 with flag 1499252/2737379
777.02/388.45	c cleaning 30007 clauses out of 60041 with flag 1598333/2768379
783.03/391.43	c cleaning 0 clauses out of 35464 with flag 0/35470
787.05/393.42	c cleaning 31016 clauses out of 62033 with flag 1674160/2800378
798.54/399.13	c cleaning 31999 clauses out of 64018 with flag 1747940/2833379
811.78/405.75	c cleaning 33000 clauses out of 66018 with flag 1824492/2867378
824.24/411.97	c cleaning 34003 clauses out of 68018 with flag 1905396/2902378
842.06/421.02	c cleaning 35003 clauses out of 70015 with flag 1986835/2938378
858.71/429.36	c cleaning 36002 clauses out of 72013 with flag 2072959/2975379
878.36/439.14	c cleaning 37004 clauses out of 74010 with flag 2160471/3013378
898.42/449.12	c cleaning 38003 clauses out of 76007 with flag 2250700/3052379
920.72/460.30	c cleaning 38995 clauses out of 78004 with flag 2342996/3092379
943.25/471.43	c cleaning 39999 clauses out of 80008 with flag 2438976/3133378
965.58/482.55	c cleaning 41000 clauses out of 82010 with flag 2538502/3175379
991.90/495.60	c cleaning 42002 clauses out of 84010 with flag 2640855/3218379
1022.38/510.81	c cleaning 42994 clauses out of 86008 with flag 2735703/3262379
1026.01/512.68	c cleaning 0 clauses out of 41465 with flag 0/41471
1053.31/526.22	c cleaning 44002 clauses out of 88015 with flag 2836320/3307380
1082.46/540.70	c cleaning 45001 clauses out of 90011 with flag 2946045/3353378
1119.20/559.03	c cleaning 46000 clauses out of 92010 with flag 3059327/3400378
1157.82/578.55	c cleaning 46999 clauses out of 94011 with flag 3174167/3448379
1195.73/597.44	c cleaning 48002 clauses out of 96012 with flag 3290972/3497379
1238.47/618.71	c cleaning 48996 clauses out of 98009 with flag 3409875/3547378
1284.22/641.55	c cleaning 50004 clauses out of 100013 with flag 3532612/3598378
1328.65/663.60	c cleaning 51001 clauses out of 102009 with flag 3655391/3650378
1338.28/668.48	c cleaning 0 clauses out of 48464 with flag 0/48470
1378.44/688.40	c cleaning 51997 clauses out of 104008 with flag 3782688/3703378
1433.02/715.66	c cleaning 53002 clauses out of 106012 with flag 3911744/3757379
1488.86/743.50	c cleaning 54001 clauses out of 108010 with flag 4040755/3812379
1549.67/773.70	c cleaning 54998 clauses out of 110008 with flag 4172401/3868378
1606.28/801.91	c cleaning 56005 clauses out of 112012 with flag 4308135/3925380
1667.16/832.22	c cleaning 57000 clauses out of 114005 with flag 4442634/3983378
1686.81/842.35	c And the winner is solver0
1686.91/842.80	c Got one! Elapsed wall clock time (in seconds):842.67
1686.91/842.80	o -122041
1687.74/843.24	c cleaning 55884 clauses out of 111767 with flag 19614/4038140
1688.54/843.67	c cleaning 30935 clauses out of 61883 with flag 34947/4044140
1689.53/844.14	c cleaning 18960 clauses out of 37949 with flag 50853/4051141
1690.81/844.77	c cleaning 13481 clauses out of 26988 with flag 77686/4059140
1692.01/845.40	c cleaning 11232 clauses out of 22506 with flag 99913/4068139
1693.61/846.18	c cleaning 10624 clauses out of 21274 with flag 129206/4078139
1695.21/846.95	c cleaning 10820 clauses out of 21651 with flag 159521/4089140
1697.06/847.85	c cleaning 11408 clauses out of 22831 with flag 194954/4101140
1699.66/849.20	c cleaning 12208 clauses out of 24422 with flag 224389/4114139
1703.09/850.82	c cleaning 13108 clauses out of 26215 with flag 255398/4128140
1705.76/852.17	c cleaning 14051 clauses out of 28108 with flag 300220/4143141
1709.21/853.83	c cleaning 15025 clauses out of 30056 with flag 352935/4159140
1710.01/854.21	c cleaning 0 clauses out of 58807 with flag 0/58814
1713.01/855.75	c cleaning 16013 clauses out of 32030 with flag 411039/4176139
1718.05/858.22	c cleaning 17004 clauses out of 34018 with flag 473260/4194140
1723.88/861.18	c cleaning 18003 clauses out of 36013 with flag 532288/4213139
1729.87/864.18	c cleaning 19000 clauses out of 38011 with flag 598046/4233140
1737.19/867.72	c cleaning 20001 clauses out of 40010 with flag 655611/4254139
1743.23/870.71	c cleaning 0 clauses out of 64807 with flag 0/64814
1745.62/871.92	c cleaning 21004 clauses out of 42012 with flag 712638/4276142
1755.48/876.82	c cleaning 21993 clauses out of 44006 with flag 781345/4299140
1765.89/882.01	c cleaning 23003 clauses out of 46013 with flag 847625/4323140
1775.35/886.80	c cleaning 24001 clauses out of 48011 with flag 918084/4348141
1785.78/891.96	c cleaning 25001 clauses out of 50009 with flag 1002749/4374140
1793.01/895.57	c cleaning 25995 clauses out of 52007 with flag 1096313/4401139
1798.83/898.43	c cleaning 27001 clauses out of 54012 with flag 1193800/4429139
1800.03/899.00	c >>>>>>>>>> Solver number 0 (10 answers) <<<<<<<<<<<<<<<<<<
1800.03/899.00	c starts		: 2937
1800.03/899.00	c conflicts		: 4438750
1800.03/899.00	c decisions		: 5556908
1800.03/899.00	c propagations		: 56668842
1800.03/899.00	c inspects		: 14673824212
1800.03/899.00	c shortcuts		: 0
1800.03/899.00	c learnt literals	: 32
1800.03/899.00	c learnt binary clauses	: 68
1800.03/899.00	c learnt ternary clauses	: 134
1800.03/899.00	c learnt constraints	: 4438718
1800.03/899.00	c ignored constraints	: 0
1800.03/899.00	c root simplifications	: 0
1800.03/899.00	c removed literals (reason simplification)	: 29658282
1800.03/899.00	c reason swapping (by a shorter reason)	: 0
1800.03/899.00	c Calls to reduceDB	: 201
1800.03/899.00	c Number of update (reduction) of LBD	: 510094
1800.03/899.00	c Imported unit clauses	: 0
1800.03/899.00	c number of reductions to clauses (during analyze)	: 0
1800.03/899.00	c number of learned constraints concerned by reduction	: 0
1800.03/899.00	c number of learning phase by resolution	: 0
1800.03/899.00	c number of learning phase by cutting planes	: 0
1800.03/899.00	c speed (assignments/second)	: 63105.755246670924
1800.03/899.00	c non guided choices	126071
1800.03/899.02	c learnt constraints type 
1800.03/899.02	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 68
1800.03/899.02	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 36554
1800.03/899.02	c >>>>>>>>>> Solver number 1 (1 answers) <<<<<<<<<<<<<<<<<<
1800.03/899.02	c starts		: 147
1800.03/899.02	c conflicts		: 71543
1800.03/899.02	c decisions		: 217409
1800.03/899.02	c propagations		: 713441
1800.03/899.02	c inspects		: 1263247842
1800.03/899.02	c shortcuts		: 0
1800.03/899.02	c learnt literals	: 0
1800.03/899.02	c learnt binary clauses	: 0
1800.03/899.02	c learnt ternary clauses	: 0
1800.03/899.02	c learnt constraints	: 71536
1800.03/899.02	c ignored constraints	: 0
1800.03/899.02	c root simplifications	: 0
1800.03/899.02	c removed literals (reason simplification)	: 0
1800.03/899.02	c reason swapping (by a shorter reason)	: 0
1800.03/899.02	c Calls to reduceDB	: 9
1800.03/899.02	c Number of update (reduction) of LBD	: 0
1800.03/899.02	c Imported unit clauses	: 0
1800.03/899.02	c number of reductions to clauses (during analyze)	: 0
1800.03/899.02	c number of learned constraints concerned by reduction	: 0
1800.03/899.02	c number of learning phase by resolution	: 0
1800.03/899.02	c number of learning phase by cutting planes	: 0
1800.03/899.02	c speed (assignments/second)	: 12711.417168513703
1800.03/899.02	c non guided choices	834
1800.03/899.05	c learnt constraints type 
1800.03/899.05	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 4329
1800.03/899.05	c org.sat4j.pb.constraints.pb.MaxWatchPb => 67207
1800.03/899.05	s SATISFIABLE
1800.03/899.05	c Found 11 solution(s)
1800.03/899.06	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 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 
1800.03/899.06	c objective function=-122041
1800.03/899.06	c Total wall clock time (in seconds): 898.935

Verifier Data 

OK	-122041

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-4100962-1466211967/watcher-4100962-1466211967 -o /tmp/evaluation-result-4100962-1466211967/solver-4100962-1466211967 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1466206104-16279 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4100962-1466211967.opb 

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

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


[startup+0 s]
/proc/loadavg: 4.14 4.21 4.20 4/198 18206
/proc/meminfo: memFree=24729124/32872528 swapFree=1556504/1720024
[pid=18206] ppid=18203 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/18206/stat : 18206 (java) D 18203 18206 16262 0 -1 4202496 327 0 0 0 0 0 0 0 20 0 1 0 23245367 9515008 183 33554432000 1073741824 1073778376 140736083312352 140736083303384 270330052277 0 0 4096 0 18446744072100588836 0 0 17 1 0 0 0 0 0
/proc/18206/statm: 2323 183 140 9 0 71 0

[startup+0.100058 s]
/proc/loadavg: 4.14 4.21 4.20 4/198 18206
/proc/meminfo: memFree=24729124/32872528 swapFree=1556504/1720024
[pid=18206] ppid=18203 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/18206/stat : 18206 (java) S 18203 18206 16262 0 -1 4202496 4490 0 1 0 8 1 0 0 20 0 18 0 23245367 9787879424 5585 33554432000 1073741824 1073778376 140737323233376 140737323224512 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18206/statm: 2389619 5585 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200236 s]
/proc/loadavg: 4.14 4.21 4.20 4/198 18206
/proc/meminfo: memFree=24729124/32872528 swapFree=1556504/1720024
[pid=18206] ppid=18203 vsize=9558476 CPUtime=0.25 cores=1,3,5,7
/proc/18206/stat : 18206 (java) S 18203 18206 16262 0 -1 4202496 5068 0 1 0 24 1 0 0 20 0 18 0 23245367 9787879424 6540 33554432000 1073741824 1073778376 140737323233376 140737323224512 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18206/statm: 2389619 6540 2204 9 0 2380296 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 9558476

[startup+0.300242 s]
/proc/loadavg: 4.14 4.21 4.20 4/198 18206
/proc/meminfo: memFree=24729124/32872528 swapFree=1556504/1720024
[pid=18206] ppid=18203 vsize=9558476 CPUtime=0.53 cores=1,3,5,7
/proc/18206/stat : 18206 (java) S 18203 18206 16262 0 -1 4202496 10728 0 1 0 51 2 0 0 20 0 18 0 23245367 9787879424 12948 33554432000 1073741824 1073778376 140737323233376 140737323224512 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18206/statm: 2389619 12976 2234 9 0 2380296 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 9558476

[startup+0.700197 s]
/proc/loadavg: 4.14 4.21 4.20 4/198 18206
/proc/meminfo: memFree=24729124/32872528 swapFree=1556504/1720024
[pid=18206] ppid=18203 vsize=9824732 CPUtime=1.93 cores=1,3,5,7
/proc/18206/stat : 18206 (java) S 18203 18206 16262 0 -1 4202496 16953 0 1 0 189 4 0 0 20 0 22 0 23245367 10060525568 19593 33554432000 1073741824 1073778376 140737323233376 140737323224512 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18206/statm: 2456183 19593 2259 9 0 2446860 0
Current children cumulated CPU time (s) 1.93
Current children cumulated vsize (KiB) 9824732

[startup+1.50079 s]
/proc/loadavg: 4.14 4.21 4.20 4/217 18231
/proc/meminfo: memFree=24639984/32872528 swapFree=1556504/1720024
[pid=18206] ppid=18203 vsize=9824732 CPUtime=2.76 cores=1,3,5,7
/proc/18206/stat : 18206 (java) S 18203 18206 16262 0 -1 4202496 18188 0 1 0 268 8 0 0 20 0 19 0 23245367 10060525568 24277 33554432000 1073741824 1073778376 140737323233376 140737323224512 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18206/statm: 2456183 24277 2267 9 0 2446860 0
[pid=18206/tid=18208] ppid=18203 vsize=9824732 CPUtime=0.45 cores=1,3,5,7
/proc/18206/task/18208/stat : 18208 (java) S 18203 18206 16262 0 -1 4202560 2463 0 1 0 43 2 0 0 20 0 19 0 23245368 10060525568 24277 33554432000 1073741824 1073778376 140737323233376 139921842832248 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18206/tid=18209] ppid=18203 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18209/stat : 18209 (java) S 18203 18206 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23245369 10060525568 24277 33554432000 1073741824 1073778376 140737323233376 139921781561640 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18206/tid=18210] ppid=18203 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18210/stat : 18210 (java) S 18203 18206 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23245369 10060525568 24277 33554432000 1073741824 1073778376 140737323233376 139921685428392 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18206/tid=18211] ppid=18203 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18211/stat : 18211 (java) S 18203 18206 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23245369 10060525568 24277 33554432000 1073741824 1073778376 140737323233376 139921684376104 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18206/tid=18212] ppid=18203 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18212/stat : 18212 (java) S 18203 18206 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23245369 10060525568 24277 33554432000 1073741824 1073778376 140737323233376 139921683323304 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18206/tid=18213] ppid=18203 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18213/stat : 18213 (java) S 18203 18206 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23245369 10060525568 24277 33554432000 1073741824 1073778376 140737323233376 139921682271016 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18206/tid=18214] ppid=18203 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18214/stat : 18214 (java) S 18203 18206 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23245369 10060525568 24277 33554432000 1073741824 1073778376 140737323233376 139921681218216 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18206/tid=18215] ppid=18203 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18215/stat : 18215 (java) S 18203 18206 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23245369 10060525568 24277 33554432000 1073741824 1073778376 140737323233376 139921680165928 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18206/tid=18216] ppid=18203 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18216/stat : 18216 (java) S 18203 18206 16262 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 23245369 10060525568 24277 33554432000 1073741824 1073778376 140737323233376 139921679113128 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18206/tid=18217] ppid=18203 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18217/stat : 18217 (java) S 18203 18206 16262 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 23245370 10060525568 24277 33554432000 1073741824 1073778376 140737323233376 139921666914536 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18206/tid=18218] ppid=18203 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18218/stat : 18218 (java) S 18203 18206 16262 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 23245371 10060525568 24277 33554432000 1073741824 1073778376 140737323233376 139921665860600 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18206/tid=18219] ppid=18203 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18219/stat : 18219 (java) S 18203 18206 16262 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23245371 10060525568 24277 33554432000 1073741824 1073778376 140737323233376 139921664808200 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18206/tid=18220] ppid=18203 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18220/stat : 18220 (java) S 18203 18206 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23245373 10060525568 24277 33554432000 1073741824 1073778376 140737323233376 139921663756688 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18206/tid=18221] ppid=18203 vsize=9824732 CPUtime=0.75 cores=1,3,5,7
/proc/18206/task/18221/stat : 18221 (java) S 18203 18206 16262 0 -1 4202560 8688 0 0 0 74 1 0 0 20 0 19 0 23245373 10060525568 24277 33554432000 1073741824 1073778376 140737323233376 139921662704312 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18206/tid=18222] ppid=18203 vsize=9824732 CPUtime=0.78 cores=1,3,5,7
/proc/18206/task/18222/stat : 18222 (java) S 18203 18206 16262 0 -1 4202560 5689 0 0 0 76 2 0 0 20 0 19 0 23245373 10060525568 24277 33554432000 1073741824 1073778376 140737323233376 139921661651512 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18206/tid=18223] ppid=18203 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18223/stat : 18223 (java) S 18203 18206 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23245373 10060525568 24277 33554432000 1073741824 1073778376 140737323233376 139921660599416 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18206/tid=18224] ppid=18203 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18224/stat : 18224 (java) S 18203 18206 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23245373 10060525568 24277 33554432000 1073741824 1073778376 140737323233376 139921659546824 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18206/tid=18231] ppid=18203 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18231/stat : 18231 (java) S 18203 18206 16262 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 23245468 10060525568 24277 33554432000 1073741824 1073778376 140737323233376 139921656387240 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 9824732

[startup+3.10079 s]
/proc/loadavg: 4.14 4.21 4.20 3/217 18237
/proc/meminfo: memFree=24616836/32872528 swapFree=1556504/1720024
[pid=18206] ppid=18203 vsize=9824732 CPUtime=5.66 cores=1,3,5,7
/proc/18206/stat : 18206 (java) S 18203 18206 16262 0 -1 4202496 27529 0 1 0 550 16 0 0 20 0 22 0 23245367 10060525568 54502 33554432000 1073741824 1073778376 140737323233376 140737323224512 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18206/statm: 2456183 54503 2286 9 0 2446860 0
[pid=18206/tid=18208] ppid=18203 vsize=9824732 CPUtime=0.46 cores=1,3,5,7
/proc/18206/task/18208/stat : 18208 (java) S 18203 18206 16262 0 -1 4202560 2463 0 1 0 44 2 0 0 20 0 22 0 23245368 10060525568 54503 33554432000 1073741824 1073778376 140737323233376 139921842832248 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18206/tid=18209] ppid=18203 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18209/stat : 18209 (java) S 18203 18206 16262 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 23245369 10060525568 54503 33554432000 1073741824 1073778376 140737323233376 139921781561640 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18206/tid=18210] ppid=18203 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18210/stat : 18210 (java) S 18203 18206 16262 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 23245369 10060525568 54503 33554432000 1073741824 1073778376 140737323233376 139921685428392 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18206/tid=18211] ppid=18203 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/18206/task/18211/stat : 18211 (java) S 18203 18206 16262 0 -1 4202560 4 0 0 0 1 0 0 0 20 0 22 0 23245369 10060525568 54503 33554432000 1073741824 1073778376 140737323233376 139921684376104 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18206/tid=18212] ppid=18203 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/18206/task/18212/stat : 18212 (java) S 18203 18206 16262 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 22 0 23245369 10060525568 54503 33554432000 1073741824 1073778376 140737323233376 139921683323304 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18206/tid=18213] ppid=18203 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18213/stat : 18213 (java) S 18203 18206 16262 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 23245369 10060525568 54503 33554432000 1073741824 1073778376 140737323233376 139921682271016 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18206/tid=18214] ppid=18203 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18214/stat : 18214 (java) S 18203 18206 16262 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23245369 10060525568 54503 33554432000 1073741824 1073778376 140737323233376 139921681218216 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18206/tid=18215] ppid=18203 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18215/stat : 18215 (java) S 18203 18206 16262 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23245369 10060525568 54503 33554432000 1073741824 1073778376 140737323233376 139921680165928 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18206/tid=18216] ppid=18203 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18216/stat : 18216 (java) S 18203 18206 16262 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 23245369 10060525568 54503 33554432000 1073741824 1073778376 140737323233376 139921679113128 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18206/tid=18217] ppid=18203 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18217/stat : 18217 (java) S 18203 18206 16262 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 22 0 23245370 10060525568 54503 33554432000 1073741824 1073778376 140737323233376 139921666914536 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18206/tid=18218] ppid=18203 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18218/stat : 18218 (java) S 18203 18206 16262 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23245371 10060525568 54503 33554432000 1073741824 1073778376 140737323233376 139921665860600 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18206/tid=18219] ppid=18203 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18219/stat : 18219 (java) S 18203 18206 16262 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23245371 10060525568 54503 33554432000 1073741824 1073778376 140737323233376 139921664808200 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18206/tid=18220] ppid=18203 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18220/stat : 18220 (java) S 18203 18206 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23245373 10060525568 54503 33554432000 1073741824 1073778376 140737323233376 139921663756688 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18206/tid=18221] ppid=18203 vsize=9824732 CPUtime=1.51 cores=1,3,5,7
/proc/18206/task/18221/stat : 18221 (java) R 18203 18206 16262 0 -1 4202560 14103 0 0 0 149 2 0 0 20 0 22 0 23245373 10060525568 54503 33554432000 1073741824 1073778376 140737323233376 139921662691592 139921844390540 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=18206/tid=18222] ppid=18203 vsize=9824732 CPUtime=1.49 cores=1,3,5,7
/proc/18206/task/18222/stat : 18222 (java) R 18203 18206 16262 0 -1 4202560 9419 0 0 0 147 2 0 0 20 0 22 0 23245373 10060525568 54503 33554432000 1073741824 1073778376 140737323233376 139921661651352 139921850581552 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=18206/tid=18223] ppid=18203 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18223/stat : 18223 (java) S 18203 18206 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23245373 10060525568 54504 33554432000 1073741824 1073778376 140737323233376 139921660599416 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18206/tid=18224] ppid=18203 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18224/stat : 18224 (java) S 18203 18206 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23245373 10060525568 54504 33554432000 1073741824 1073778376 140737323233376 139921659546824 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18206/tid=18231] ppid=18203 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18231/stat : 18231 (java) S 18203 18206 16262 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 23245468 10060525568 54504 33554432000 1073741824 1073778376 140737323233376 139921656387240 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 5.66
Current children cumulated vsize (KiB) 9824732

[startup+6.30089 s]
/proc/loadavg: 4.29 4.24 4.21 5/220 18240
/proc/meminfo: memFree=24154208/32872528 swapFree=1556504/1720024
[pid=18206] ppid=18203 vsize=9824732 CPUtime=12.38 cores=1,3,5,7
/proc/18206/stat : 18206 (java) S 18203 18206 16262 0 -1 4202496 28586 0 1 0 1206 32 0 0 20 0 22 0 23245367 10060525568 156830 33554432000 1073741824 1073778376 140737323233376 140737323224512 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18206/statm: 2456183 156830 2286 9 0 2446860 0
[pid=18206/tid=18208] ppid=18203 vsize=9824732 CPUtime=0.46 cores=1,3,5,7
/proc/18206/task/18208/stat : 18208 (java) S 18203 18206 16262 0 -1 4202560 2463 0 1 0 44 2 0 0 20 0 22 0 23245368 10060525568 156830 33554432000 1073741824 1073778376 140737323233376 139921842832248 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18206/tid=18209] ppid=18203 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/18206/task/18209/stat : 18209 (java) R 18203 18206 16262 0 -1 4202560 116 0 0 0 5 2 0 0 20 0 22 0 23245369 10060525568 156830 33554432000 1073741824 1073778376 140737323233376 139921781561768 270330006663 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18206/tid=18210] ppid=18203 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/18206/task/18210/stat : 18210 (java) R 18203 18206 16262 0 -1 4202560 29 0 0 0 6 0 0 0 20 0 22 0 23245369 10060525568 156830 33554432000 1073741824 1073778376 140737323233376 139921685428520 270330006663 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18206/tid=18211] ppid=18203 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/18206/task/18211/stat : 18211 (java) R 18203 18206 16262 0 -1 4202560 17 0 0 0 6 0 0 0 20 0 22 0 23245369 10060525568 156830 33554432000 1073741824 1073778376 140737323233376 139921684376232 139921850877090 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=18206/tid=18212] ppid=18203 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/18206/task/18212/stat : 18212 (java) R 18203 18206 16262 0 -1 4202560 147 0 0 0 5 2 0 0 20 0 22 0 23245369 10060525568 156830 33554432000 1073741824 1073778376 140737323233376 139921683323480 139921849728107 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=18206/tid=18213] ppid=18203 vsize=9824732 CPUtime=0.08 cores=1,3,5,7
/proc/18206/task/18213/stat : 18213 (java) R 18203 18206 16262 0 -1 4202560 35 0 0 0 6 2 0 0 20 0 22 0 23245369 10060525568 156830 33554432000 1073741824 1073778376 140737323233376 139921682271144 270330006663 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=18206/tid=18214] ppid=18203 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/18206/task/18214/stat : 18214 (java) R 18203 18206 16262 0 -1 4202560 27 0 0 0 5 0 0 0 20 0 22 0 23245369 10060525568 156830 33554432000 1073741824 1073778376 140737323233376 139921681218344 270330006663 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=18206/tid=18215] ppid=18203 vsize=9824732 CPUtime=0.1 cores=1,3,5,7
/proc/18206/task/18215/stat : 18215 (java) R 18203 18206 16262 0 -1 4202560 148 0 0 0 7 3 0 0 20 0 22 0 23245369 10060525568 156830 33554432000 1073741824 1073778376 140737323233376 139921680166056 270330006663 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=18206/tid=18216] ppid=18203 vsize=9824732 CPUtime=0.08 cores=1,3,5,7
/proc/18206/task/18216/stat : 18216 (java) R 18203 18206 16262 0 -1 4202560 33 0 0 0 6 2 0 0 20 0 22 0 23245369 10060525568 156830 33554432000 1073741824 1073778376 140737323233376 139921679113256 270330006663 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=18206/tid=18217] ppid=18203 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18217/stat : 18217 (java) S 18203 18206 16262 0 -1 4202560 442 0 0 0 0 0 0 0 20 0 22 0 23245370 10060525568 156830 33554432000 1073741824 1073778376 140737323233376 139921666913416 270333424700 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18206/tid=18218] ppid=18203 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18218/stat : 18218 (java) S 18203 18206 16262 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23245371 10060525568 156830 33554432000 1073741824 1073778376 140737323233376 139921665860600 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18206/tid=18219] ppid=18203 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18219/stat : 18219 (java) S 18203 18206 16262 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23245371 10060525568 156830 33554432000 1073741824 1073778376 140737323233376 139921664808200 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18206/tid=18220] ppid=18203 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18220/stat : 18220 (java) S 18203 18206 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23245373 10060525568 156830 33554432000 1073741824 1073778376 140737323233376 139921663756688 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18206/tid=18221] ppid=18203 vsize=9824732 CPUtime=1.54 cores=1,3,5,7
/proc/18206/task/18221/stat : 18221 (java) S 18203 18206 16262 0 -1 4202560 14132 0 0 0 152 2 0 0 20 0 22 0 23245373 10060525568 156830 33554432000 1073741824 1073778376 140737323233376 139921662704312 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18206/tid=18222] ppid=18203 vsize=9824732 CPUtime=1.59 cores=1,3,5,7
/proc/18206/task/18222/stat : 18222 (java) S 18203 18206 16262 0 -1 4202560 9419 0 0 0 157 2 0 0 20 0 22 0 23245373 10060525568 156830 33554432000 1073741824 1073778376 140737323233376 139921661651512 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18206/tid=18223] ppid=18203 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18223/stat : 18223 (java) S 18203 18206 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23245373 10060525568 156830 33554432000 1073741824 1073778376 140737323233376 139921660599416 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18206/tid=18224] ppid=18203 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18224/stat : 18224 (java) S 18203 18206 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23245373 10060525568 156830 33554432000 1073741824 1073778376 140737323233376 139921659546824 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18206/tid=18231] ppid=18203 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18231/stat : 18231 (java) S 18203 18206 16262 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 23245468 10060525568 156830 33554432000 1073741824 1073778376 140737323233376 139921656387240 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18206/tid=18238] ppid=18203 vsize=9824732 CPUtime=3.53 cores=1,3,5,7
/proc/18206/task/18238/stat : 18238 (java) S 18203 18206 16262 0 -1 4202560 14 0 0 0 353 0 0 0 20 0 22 0 23245619 10060525568 156830 33554432000 1073741824 1073778376 140737323233376 139921657439384 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18206/tid=18239] ppid=18203 vsize=9824732 CPUtime=3.53 cores=1,3,5,7

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

/proc/18206/statm: 2456183 520607 2295 9 0 2446860 0
[pid=18206/tid=18208] ppid=18203 vsize=9824732 CPUtime=0.52 cores=1,3,5,7
/proc/18206/task/18208/stat : 18208 (java) S 18203 18206 16262 0 -1 4202560 2471 0 1 0 48 4 0 0 20 0 19 0 23245368 10060525568 520607 33554432000 1073741824 1073778376 140737323233376 139921842832248 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18206/tid=18209] ppid=18203 vsize=9824732 CPUtime=2.43 cores=1,3,5,7
/proc/18206/task/18209/stat : 18209 (java) S 18203 18206 16262 0 -1 4202560 550 0 0 0 235 8 0 0 20 0 19 0 23245369 10060525568 520607 33554432000 1073741824 1073778376 140737323233376 139921781561640 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18206/tid=18210] ppid=18203 vsize=9824732 CPUtime=2.39 cores=1,3,5,7
/proc/18206/task/18210/stat : 18210 (java) S 18203 18206 16262 0 -1 4202560 465 0 0 0 231 8 0 0 20 0 19 0 23245369 10060525568 520607 33554432000 1073741824 1073778376 140737323233376 139921685428392 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18206/tid=18211] ppid=18203 vsize=9824732 CPUtime=2.36 cores=1,3,5,7
/proc/18206/task/18211/stat : 18211 (java) S 18203 18206 16262 0 -1 4202560 393 0 0 0 229 7 0 0 20 0 19 0 23245369 10060525568 520607 33554432000 1073741824 1073778376 140737323233376 139921684376104 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18206/tid=18212] ppid=18203 vsize=9824732 CPUtime=2.28 cores=1,3,5,7
/proc/18206/task/18212/stat : 18212 (java) S 18203 18206 16262 0 -1 4202560 533 0 0 0 221 7 0 0 20 0 19 0 23245369 10060525568 520607 33554432000 1073741824 1073778376 140737323233376 139921683323304 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18206/tid=18213] ppid=18203 vsize=9824732 CPUtime=2.43 cores=1,3,5,7
/proc/18206/task/18213/stat : 18213 (java) S 18203 18206 16262 0 -1 4202560 379 0 0 0 236 7 0 0 20 0 19 0 23245369 10060525568 520607 33554432000 1073741824 1073778376 140737323233376 139921682271016 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18206/tid=18214] ppid=18203 vsize=9824732 CPUtime=2.26 cores=1,3,5,7
/proc/18206/task/18214/stat : 18214 (java) S 18203 18206 16262 0 -1 4202560 370 0 0 0 219 7 0 0 20 0 19 0 23245369 10060525568 520607 33554432000 1073741824 1073778376 140737323233376 139921681218216 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18206/tid=18215] ppid=18203 vsize=9824732 CPUtime=2.43 cores=1,3,5,7
/proc/18206/task/18215/stat : 18215 (java) S 18203 18206 16262 0 -1 4202560 548 0 0 0 234 9 0 0 20 0 19 0 23245369 10060525568 520607 33554432000 1073741824 1073778376 140737323233376 139921680165928 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18206/tid=18216] ppid=18203 vsize=9824732 CPUtime=2.46 cores=1,3,5,7
/proc/18206/task/18216/stat : 18216 (java) S 18203 18206 16262 0 -1 4202560 421 0 0 0 239 7 0 0 20 0 19 0 23245369 10060525568 520607 33554432000 1073741824 1073778376 140737323233376 139921679113128 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18206/tid=18217] ppid=18203 vsize=9824732 CPUtime=2.33 cores=1,3,5,7
/proc/18206/task/18217/stat : 18217 (java) S 18203 18206 16262 0 -1 4202560 1412 0 0 0 200 33 0 0 20 0 19 0 23245370 10060525568 520607 33554432000 1073741824 1073778376 140737323233376 139921666914536 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18206/tid=18218] ppid=18203 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18218/stat : 18218 (java) S 18203 18206 16262 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 23245371 10060525568 520607 33554432000 1073741824 1073778376 140737323233376 139921665860600 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18206/tid=18219] ppid=18203 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18219/stat : 18219 (java) S 18203 18206 16262 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 23245371 10060525568 520607 33554432000 1073741824 1073778376 140737323233376 139921664808200 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18206/tid=18220] ppid=18203 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18220/stat : 18220 (java) S 18203 18206 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23245373 10060525568 520607 33554432000 1073741824 1073778376 140737323233376 139921663756688 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18206/tid=18221] ppid=18203 vsize=9824732 CPUtime=1.6 cores=1,3,5,7
/proc/18206/task/18221/stat : 18221 (java) S 18203 18206 16262 0 -1 4202560 14132 0 0 0 158 2 0 0 20 0 19 0 23245373 10060525568 520607 33554432000 1073741824 1073778376 140737323233376 139921662704312 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18206/tid=18222] ppid=18203 vsize=9824732 CPUtime=2.58 cores=1,3,5,7
/proc/18206/task/18222/stat : 18222 (java) S 18203 18206 16262 0 -1 4202560 9493 0 0 0 256 2 0 0 20 0 19 0 23245373 10060525568 520607 33554432000 1073741824 1073778376 140737323233376 139921661651512 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18206/tid=18223] ppid=18203 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18223/stat : 18223 (java) S 18203 18206 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23245373 10060525568 520607 33554432000 1073741824 1073778376 140737323233376 139921660599416 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18206/tid=18224] ppid=18203 vsize=9824732 CPUtime=0.34 cores=1,3,5,7
/proc/18206/task/18224/stat : 18224 (java) S 18203 18206 16262 0 -1 4202560 49 0 0 0 13 21 0 0 20 0 19 0 23245373 10060525568 520607 33554432000 1073741824 1073778376 140737323233376 139921659546824 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18206/tid=18231] ppid=18203 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18231/stat : 18231 (java) S 18203 18206 16262 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 23245468 10060525568 520607 33554432000 1073741824 1073778376 140737323233376 139921656387240 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1683.8
Current children cumulated vsize (KiB) 9824732
#
############


[startup+882.308 s]
/proc/loadavg: 4.23 4.34 4.32 5/220 18626
/proc/meminfo: memFree=23544652/32872528 swapFree=1556504/1720024
[pid=18206] ppid=18203 vsize=9824732 CPUtime=1763.4 cores=1,3,5,7
/proc/18206/stat : 18206 (java) S 18203 18206 16262 0 -1 4202496 36321 0 1 0 176139 201 0 0 20 0 22 0 23245367 10060525568 603929 33554432000 1073741824 1073778376 140737323233376 140737323224512 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18206/statm: 2456183 603929 2295 9 0 2446860 0
[pid=18206/tid=18208] ppid=18203 vsize=9824732 CPUtime=0.52 cores=1,3,5,7
/proc/18206/task/18208/stat : 18208 (java) S 18203 18206 16262 0 -1 4202560 2471 0 1 0 48 4 0 0 20 0 22 0 23245368 10060525568 603929 33554432000 1073741824 1073778376 140737323233376 139921842832248 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18206/tid=18209] ppid=18203 vsize=9824732 CPUtime=2.57 cores=1,3,5,7
/proc/18206/task/18209/stat : 18209 (java) S 18203 18206 16262 0 -1 4202560 551 0 0 0 249 8 0 0 20 0 22 0 23245369 10060525568 603929 33554432000 1073741824 1073778376 140737323233376 139921781561640 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18206/tid=18210] ppid=18203 vsize=9824732 CPUtime=2.57 cores=1,3,5,7
/proc/18206/task/18210/stat : 18210 (java) S 18203 18206 16262 0 -1 4202560 473 0 0 0 249 8 0 0 20 0 22 0 23245369 10060525568 603929 33554432000 1073741824 1073778376 140737323233376 139921685428392 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18206/tid=18211] ppid=18203 vsize=9824732 CPUtime=2.49 cores=1,3,5,7
/proc/18206/task/18211/stat : 18211 (java) S 18203 18206 16262 0 -1 4202560 396 0 0 0 242 7 0 0 20 0 22 0 23245369 10060525568 603929 33554432000 1073741824 1073778376 140737323233376 139921684376104 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18206/tid=18212] ppid=18203 vsize=9824732 CPUtime=2.41 cores=1,3,5,7
/proc/18206/task/18212/stat : 18212 (java) S 18203 18206 16262 0 -1 4202560 539 0 0 0 234 7 0 0 20 0 22 0 23245369 10060525568 603929 33554432000 1073741824 1073778376 140737323233376 139921683323304 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18206/tid=18213] ppid=18203 vsize=9824732 CPUtime=2.58 cores=1,3,5,7
/proc/18206/task/18213/stat : 18213 (java) S 18203 18206 16262 0 -1 4202560 392 0 0 0 250 8 0 0 20 0 22 0 23245369 10060525568 603929 33554432000 1073741824 1073778376 140737323233376 139921682271016 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18206/tid=18214] ppid=18203 vsize=9824732 CPUtime=2.48 cores=1,3,5,7
/proc/18206/task/18214/stat : 18214 (java) S 18203 18206 16262 0 -1 4202560 380 0 0 0 241 7 0 0 20 0 22 0 23245369 10060525568 603929 33554432000 1073741824 1073778376 140737323233376 139921681218216 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18206/tid=18215] ppid=18203 vsize=9824732 CPUtime=2.63 cores=1,3,5,7
/proc/18206/task/18215/stat : 18215 (java) S 18203 18206 16262 0 -1 4202560 556 0 0 0 253 10 0 0 20 0 22 0 23245369 10060525568 603929 33554432000 1073741824 1073778376 140737323233376 139921680165928 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18206/tid=18216] ppid=18203 vsize=9824732 CPUtime=2.58 cores=1,3,5,7
/proc/18206/task/18216/stat : 18216 (java) S 18203 18206 16262 0 -1 4202560 429 0 0 0 251 7 0 0 20 0 22 0 23245369 10060525568 603929 33554432000 1073741824 1073778376 140737323233376 139921679113128 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18206/tid=18217] ppid=18203 vsize=9824732 CPUtime=2.35 cores=1,3,5,7
/proc/18206/task/18217/stat : 18217 (java) S 18203 18206 16262 0 -1 4202560 1736 0 0 0 201 34 0 0 20 0 22 0 23245370 10060525568 603929 33554432000 1073741824 1073778376 140737323233376 139921666914536 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18206/tid=18218] ppid=18203 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18218/stat : 18218 (java) S 18203 18206 16262 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23245371 10060525568 603929 33554432000 1073741824 1073778376 140737323233376 139921665860600 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18206/tid=18219] ppid=18203 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18219/stat : 18219 (java) S 18203 18206 16262 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 23245371 10060525568 603929 33554432000 1073741824 1073778376 140737323233376 139921664808200 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18206/tid=18220] ppid=18203 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18220/stat : 18220 (java) S 18203 18206 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23245373 10060525568 603929 33554432000 1073741824 1073778376 140737323233376 139921663756688 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18206/tid=18221] ppid=18203 vsize=9824732 CPUtime=1.6 cores=1,3,5,7
/proc/18206/task/18221/stat : 18221 (java) S 18203 18206 16262 0 -1 4202560 14132 0 0 0 158 2 0 0 20 0 22 0 23245373 10060525568 603929 33554432000 1073741824 1073778376 140737323233376 139921662704312 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18206/tid=18222] ppid=18203 vsize=9824732 CPUtime=2.61 cores=1,3,5,7
/proc/18206/task/18222/stat : 18222 (java) S 18203 18206 16262 0 -1 4202560 9494 0 0 0 259 2 0 0 20 0 22 0 23245373 10060525568 603929 33554432000 1073741824 1073778376 140737323233376 139921661651512 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18206/tid=18223] ppid=18203 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18223/stat : 18223 (java) S 18203 18206 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23245373 10060525568 603929 33554432000 1073741824 1073778376 140737323233376 139921660599416 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18206/tid=18224] ppid=18203 vsize=9824732 CPUtime=0.36 cores=1,3,5,7
/proc/18206/task/18224/stat : 18224 (java) S 18203 18206 16262 0 -1 4202560 51 0 0 0 14 22 0 0 20 0 22 0 23245373 10060525568 603929 33554432000 1073741824 1073778376 140737323233376 139921659546824 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18206/tid=18231] ppid=18203 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18231/stat : 18231 (java) S 18203 18206 16262 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 23245468 10060525568 603929 33554432000 1073741824 1073778376 140737323233376 139921656387240 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18206/tid=18623] ppid=18203 vsize=9824732 CPUtime=39.04 cores=1,3,5,7
/proc/18206/task/18623/stat : 18623 (java) R 18203 18206 16262 0 -1 4202560 8 0 0 0 3904 0 0 0 20 0 22 0 23329647 10060525568 603929 33554432000 1073741824 1073778376 140737323233376 139921655331552 139921783470280 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=18206/tid=18624] ppid=18203 vsize=9824732 CPUtime=39.04 cores=1,3,5,7
/proc/18206/task/18624/stat : 18624 (java) R 18203 18206 16262 0 -1 4202560 1466 0 0 0 3899 5 0 0 20 0 22 0 23329647 10060525568 603929 33554432000 1073741824 1073778376 140737323233376 139921658490176 139921783502251 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18206/tid=18625] ppid=18203 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18625/stat : 18625 (java) S 18203 18206 16262 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 23329657 10060525568 603929 33554432000 1073741824 1073778376 140737323233376 139921657439656 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1763.4
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+899.001 s]
/proc/loadavg: 4.30 4.35 4.32 5/219 18627
/proc/meminfo: memFree=23557824/32872528 swapFree=1556504/1720024
[pid=18206] ppid=18203 vsize=9824732 CPUtime=1796.92 cores=1,3,5,7
/proc/18206/stat : 18206 (java) S 18203 18206 16262 0 -1 4202496 36356 0 1 0 179488 204 0 0 20 0 22 0 23245367 10060525568 606122 33554432000 1073741824 1073778376 140737323233376 140737323224512 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18206/statm: 2456183 606122 2295 9 0 2446860 0
[pid=18206/tid=18208] ppid=18203 vsize=9824732 CPUtime=0.52 cores=1,3,5,7
/proc/18206/task/18208/stat : 18208 (java) S 18203 18206 16262 0 -1 4202560 2471 0 1 0 48 4 0 0 20 0 22 0 23245368 10060525568 606122 33554432000 1073741824 1073778376 140737323233376 139921842832248 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18206/tid=18209] ppid=18203 vsize=9824732 CPUtime=2.59 cores=1,3,5,7
/proc/18206/task/18209/stat : 18209 (java) S 18203 18206 16262 0 -1 4202560 554 0 0 0 251 8 0 0 20 0 22 0 23245369 10060525568 606122 33554432000 1073741824 1073778376 140737323233376 139921781561640 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18206/tid=18210] ppid=18203 vsize=9824732 CPUtime=2.63 cores=1,3,5,7
/proc/18206/task/18210/stat : 18210 (java) S 18203 18206 16262 0 -1 4202560 482 0 0 0 255 8 0 0 20 0 22 0 23245369 10060525568 606122 33554432000 1073741824 1073778376 140737323233376 139921685428392 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18206/tid=18211] ppid=18203 vsize=9824732 CPUtime=2.52 cores=1,3,5,7
/proc/18206/task/18211/stat : 18211 (java) S 18203 18206 16262 0 -1 4202560 397 0 0 0 245 7 0 0 20 0 22 0 23245369 10060525568 606122 33554432000 1073741824 1073778376 140737323233376 139921684376104 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18206/tid=18212] ppid=18203 vsize=9824732 CPUtime=2.45 cores=1,3,5,7
/proc/18206/task/18212/stat : 18212 (java) S 18203 18206 16262 0 -1 4202560 546 0 0 0 238 7 0 0 20 0 22 0 23245369 10060525568 606122 33554432000 1073741824 1073778376 140737323233376 139921683323304 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18206/tid=18213] ppid=18203 vsize=9824732 CPUtime=2.61 cores=1,3,5,7
/proc/18206/task/18213/stat : 18213 (java) S 18203 18206 16262 0 -1 4202560 392 0 0 0 253 8 0 0 20 0 22 0 23245369 10060525568 606122 33554432000 1073741824 1073778376 140737323233376 139921682271016 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18206/tid=18214] ppid=18203 vsize=9824732 CPUtime=2.53 cores=1,3,5,7
/proc/18206/task/18214/stat : 18214 (java) S 18203 18206 16262 0 -1 4202560 383 0 0 0 246 7 0 0 20 0 22 0 23245369 10060525568 606122 33554432000 1073741824 1073778376 140737323233376 139921681218216 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18206/tid=18215] ppid=18203 vsize=9824732 CPUtime=2.66 cores=1,3,5,7
/proc/18206/task/18215/stat : 18215 (java) S 18203 18206 16262 0 -1 4202560 559 0 0 0 256 10 0 0 20 0 22 0 23245369 10060525568 606122 33554432000 1073741824 1073778376 140737323233376 139921680165928 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18206/tid=18216] ppid=18203 vsize=9824732 CPUtime=2.63 cores=1,3,5,7
/proc/18206/task/18216/stat : 18216 (java) S 18203 18206 16262 0 -1 4202560 433 0 0 0 255 8 0 0 20 0 22 0 23245369 10060525568 606122 33554432000 1073741824 1073778376 140737323233376 139921679113128 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18206/tid=18217] ppid=18203 vsize=9824732 CPUtime=2.35 cores=1,3,5,7
/proc/18206/task/18217/stat : 18217 (java) S 18203 18206 16262 0 -1 4202560 1736 0 0 0 201 34 0 0 20 0 22 0 23245370 10060525568 606122 33554432000 1073741824 1073778376 140737323233376 139921666914536 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18206/tid=18218] ppid=18203 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18218/stat : 18218 (java) S 18203 18206 16262 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23245371 10060525568 606122 33554432000 1073741824 1073778376 140737323233376 139921665860600 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18206/tid=18219] ppid=18203 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18219/stat : 18219 (java) S 18203 18206 16262 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 23245371 10060525568 606122 33554432000 1073741824 1073778376 140737323233376 139921664808200 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18206/tid=18220] ppid=18203 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18220/stat : 18220 (java) S 18203 18206 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23245373 10060525568 606122 33554432000 1073741824 1073778376 140737323233376 139921663756688 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18206/tid=18221] ppid=18203 vsize=9824732 CPUtime=1.6 cores=1,3,5,7
/proc/18206/task/18221/stat : 18221 (java) S 18203 18206 16262 0 -1 4202560 14132 0 0 0 158 2 0 0 20 0 22 0 23245373 10060525568 606122 33554432000 1073741824 1073778376 140737323233376 139921662704312 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18206/tid=18222] ppid=18203 vsize=9824732 CPUtime=2.61 cores=1,3,5,7
/proc/18206/task/18222/stat : 18222 (java) S 18203 18206 16262 0 -1 4202560 9495 0 0 0 259 2 0 0 20 0 22 0 23245373 10060525568 606122 33554432000 1073741824 1073778376 140737323233376 139921661651512 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18206/tid=18223] ppid=18203 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18223/stat : 18223 (java) S 18203 18206 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23245373 10060525568 606122 33554432000 1073741824 1073778376 140737323233376 139921660599416 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18206/tid=18224] ppid=18203 vsize=9824732 CPUtime=0.38 cores=1,3,5,7
/proc/18206/task/18224/stat : 18224 (java) S 18203 18206 16262 0 -1 4202560 51 0 0 0 15 23 0 0 20 0 22 0 23245373 10060525568 606122 33554432000 1073741824 1073778376 140737323233376 139921659546824 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18206/tid=18231] ppid=18203 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18231/stat : 18231 (java) S 18203 18206 16262 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 23245468 10060525568 606122 33554432000 1073741824 1073778376 140737323233376 139921656387240 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18206/tid=18623] ppid=18203 vsize=9824732 CPUtime=55.6 cores=1,3,5,7
/proc/18206/task/18623/stat : 18623 (java) R 18203 18206 16262 0 -1 4202560 9 0 0 0 5560 0 0 0 20 0 22 0 23329647 10060525568 606122 33554432000 1073741824 1073778376 140737323233376 139921655330440 139921783470368 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=18206/tid=18624] ppid=18203 vsize=9824732 CPUtime=55.59 cores=1,3,5,7
/proc/18206/task/18624/stat : 18624 (java) R 18203 18206 16262 0 -1 4202560 1469 0 0 0 5554 5 0 0 20 0 22 0 23329647 10060525568 606122 33554432000 1073741824 1073778376 140737323233376 139921658490160 139921783501179 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=18206/tid=18625] ppid=18203 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18625/stat : 18625 (java) S 18203 18206 16262 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 23329657 10060525568 606122 33554432000 1073741824 1073778376 140737323233376 139921657439656 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1796.92
Current children cumulated vsize (KiB) 9824732

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 18206 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143

# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 3.10992
#  lost CPU user time (s): 3.35999
#  lost CPU system time (s): -0.25

Real time (s): 899.086
CPU time (s): 1800.33
CPU user time (s): 1798.27
CPU system time (s): 2.06165
CPU usage (%): 200.24
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.91
system time used= 2.31165
maximum resident set size= 2894176
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36401
page faults= 1
swaps= 0
block input operations= 0
block output operations= 912
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 32795
involuntary context switches= 47421

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.88211 second user time and 7.41387 second system time

The end

Launcher Data 

Begin job on node117 at 2016-06-18 03:06:07
IDJOB=4100962
IDBENCH=1683
IDSOLVER=2543
FILE ID=node117/4100962-1466211967
RUNJOBID= node117-1466206104-16279
PBS_JOBID= 19918159
Free space on /tmp= 71704 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-recipe.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4100962-1466211967/watcher-4100962-1466211967 -o /tmp/evaluation-result-4100962-1466211967/solver-4100962-1466211967 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1466206104-16279 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4100962-1466211967.opb

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

MD5SUM BENCH= afb312a519ee7dfceb0c5aec9cb860b5
RANDOM SEED=1659451157

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        24729280 kB
Buffers:          146376 kB
Cached:          1764616 kB
SwapCached:            0 kB
Active:          3868052 kB
Inactive:        1795208 kB
Active(anon):    3753424 kB
Inactive(anon):     1404 kB
Active(file):     114628 kB
Inactive(file):  1793804 kB
Unevictable:     1720024 kB
Mlocked:         1556504 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               840 kB
Writeback:             0 kB
AnonPages:       5519320 kB
Mapped:            21184 kB
Shmem:               204 kB
Slab:             620716 kB
SReclaimable:      64708 kB
SUnreclaim:       556008 kB
KernelStack:        1816 kB
PageTables:        15204 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    6035276 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3893248 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= 71740 MiB
End job on node117 at 2016-06-18 03:21:07