Trace number 4105917

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j PB 2.3.6 Resolution PB16SAT (TO)16802 1800.41 1797.65

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/reduced/
submittedPB07/aksoy/trarea_ac/normalized-reduced-fir04_trarea_ac.opb
MD5SUM1312c6b0204e50ac57a7790cd1d32db9
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark12940
Best CPU time to get the best result obtained on this benchmark0.213966
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 12940
Optimality of the best value was proved YES
Number of variables1945
Total number of constraints3355
Number of constraints which are clauses3355
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint55
Number of terms in the objective function 1036
Biggest coefficient in the objective function 650
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 524770
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 650
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 524770
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.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.10/0.12	c Pseudo Boolean Optimization by upper bound
0.10/0.12	c --- Begin Solver configuration ---
0.10/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.10/0.12	c Learn all clauses as in MiniSAT
0.10/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.12	c No reason simplification
0.10/0.12	c Glucose 2.1 dynamic restart strategy
0.10/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.10/0.12	c timeout=2147483s
0.10/0.12	c DB Simplification allowed=false
0.10/0.12	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.10/0.12	c --- End Solver configuration ---
0.10/0.12	c solving HOME/instance-4105917-1466268206.opb
0.10/0.12	c reading problem ... 
0.10/0.12	c  objective function found
0.49/0.31	c ... done. Wall clock time 0.189s.
0.49/0.31	c declared #vars     1945
0.49/0.31	c #constraints  3355
0.49/0.31	c constraints type 
0.49/0.31	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 920
0.49/0.31	c org.sat4j.minisat.constraints.cnf.UnitClause => 4
0.49/0.31	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 2431
0.49/0.31	c 3355 constraints processed.
0.49/0.31	c objective function length is 1036 literals
0.49/0.34	c SATISFIABLE
0.49/0.34	c OPTIMIZING...
0.49/0.34	c Got one! Elapsed wall clock time (in seconds):0.223
0.49/0.34	o 18907
0.49/0.37	c Got one! Elapsed wall clock time (in seconds):0.252
0.49/0.37	o 18516
0.69/0.40	c Got one! Elapsed wall clock time (in seconds):0.283
0.69/0.40	o 18498
0.69/0.44	c Got one! Elapsed wall clock time (in seconds):0.322
0.69/0.44	o 18107
0.69/0.47	c Got one! Elapsed wall clock time (in seconds):0.35
0.69/0.47	o 18089
0.69/0.49	c Got one! Elapsed wall clock time (in seconds):0.373
0.69/0.49	o 17698
0.99/0.50	c Got one! Elapsed wall clock time (in seconds):0.387
0.99/0.50	o 17684
0.99/0.51	c Got one! Elapsed wall clock time (in seconds):0.396
0.99/0.51	o 17680
0.99/0.52	c Got one! Elapsed wall clock time (in seconds):0.406
0.99/0.52	o 17289
0.99/0.54	c Got one! Elapsed wall clock time (in seconds):0.423
0.99/0.54	o 17287
2.79/2.01	c cleaning 2536 clauses out of 5116 with flag 28612/5116
4.54/3.74	c cleaning 4282 clauses out of 8580 with flag 73015/11116
6.35/5.52	c cleaning 5642 clauses out of 11298 with flag 116811/18116
8.45/7.61	c cleaning 6820 clauses out of 13657 with flag 159565/26117
10.95/10.17	c cleaning 7890 clauses out of 15836 with flag 213423/35116
13.65/12.84	c cleaning 8953 clauses out of 17946 with flag 270710/45116
16.26/15.48	c cleaning 9997 clauses out of 19993 with flag 323759/56116
19.45/18.63	c cleaning 10998 clauses out of 21997 with flag 386896/68117
22.96/22.18	c cleaning 11985 clauses out of 24000 with flag 453674/81118
26.46/25.63	c cleaning 12997 clauses out of 26014 with flag 511461/95117
30.16/29.39	c cleaning 14008 clauses out of 28022 with flag 576491/110122
34.15/33.33	c cleaning 14982 clauses out of 30008 with flag 649223/126116
38.55/37.74	c cleaning 16011 clauses out of 32026 with flag 734575/143116
43.25/42.44	c cleaning 17001 clauses out of 34015 with flag 828212/161116
48.05/47.20	c cleaning 17984 clauses out of 36014 with flag 917953/180116
53.15/52.32	c cleaning 19002 clauses out of 38030 with flag 992528/200116
58.65/57.83	c cleaning 20014 clauses out of 40028 with flag 1081017/221116
64.25/63.45	c cleaning 21003 clauses out of 42014 with flag 1170735/243116
70.16/69.40	c cleaning 21996 clauses out of 44011 with flag 1264165/266116
76.36/75.53	c cleaning 22989 clauses out of 46015 with flag 1355760/290116
82.85/82.08	c cleaning 24010 clauses out of 48028 with flag 1468197/315118
90.06/89.29	c cleaning 25004 clauses out of 50017 with flag 1577406/341117
97.35/96.57	c cleaning 26007 clauses out of 52013 with flag 1689473/368117
104.98/104.11	c cleaning 26997 clauses out of 54005 with flag 1824628/396116
112.78/111.97	c cleaning 27980 clauses out of 56008 with flag 1969474/425116
121.08/120.23	c cleaning 28996 clauses out of 58028 with flag 2134366/455116
129.38/128.55	c cleaning 30008 clauses out of 60032 with flag 2317653/486116
138.38/137.58	c cleaning 31007 clauses out of 62024 with flag 2487494/518116
147.67/146.85	c cleaning 31984 clauses out of 64017 with flag 2635879/551116
157.08/156.29	c cleaning 32978 clauses out of 66033 with flag 2806677/585116
166.88/166.06	c cleaning 34019 clauses out of 68055 with flag 2982738/620116
176.88/176.10	c cleaning 35003 clauses out of 70036 with flag 3164173/656116
187.28/186.47	c cleaning 36006 clauses out of 72033 with flag 3353717/693116
197.78/196.97	c cleaning 37004 clauses out of 74027 with flag 3558289/731116
208.97/208.14	c cleaning 37992 clauses out of 76023 with flag 3765929/770116
220.77/219.90	c cleaning 38986 clauses out of 78031 with flag 4003360/810116
232.81/231.97	c cleaning 40015 clauses out of 80045 with flag 4231887/851116
245.01/244.14	c cleaning 41011 clauses out of 82031 with flag 4442899/893117
257.41/256.52	c cleaning 41966 clauses out of 84020 with flag 4652274/936117
270.30/269.42	c cleaning 43019 clauses out of 86053 with flag 4884049/980116
283.40/282.55	c cleaning 44001 clauses out of 88034 with flag 5081631/1025116
296.60/295.73	c cleaning 45013 clauses out of 90033 with flag 5272612/1071116
310.30/309.46	c cleaning 46009 clauses out of 92022 with flag 5484359/1118118
325.40/324.53	c cleaning 46981 clauses out of 94011 with flag 5676603/1166116
339.99/339.13	c cleaning 48003 clauses out of 96030 with flag 5877333/1215116
355.18/354.26	c cleaning 49007 clauses out of 98027 with flag 6147413/1265116
370.47/369.51	c cleaning 49964 clauses out of 100020 with flag 6436123/1316116
385.87/384.91	c cleaning 50997 clauses out of 102056 with flag 6683266/1368116
400.76/399.87	c cleaning 52014 clauses out of 104060 with flag 6935627/1421117
416.77/415.90	c cleaning 53002 clauses out of 106047 with flag 7214864/1475118
433.37/432.42	c cleaning 54008 clauses out of 108043 with flag 7531343/1530116
449.65/448.77	c cleaning 55009 clauses out of 110035 with flag 7811755/1586116
466.77/465.82	c cleaning 56008 clauses out of 112026 with flag 8108623/1643116
484.95/483.93	c cleaning 57008 clauses out of 114020 with flag 8475822/1701118
503.88/502.86	c cleaning 57991 clauses out of 116012 with flag 8795800/1760118
522.97/521.93	c cleaning 59012 clauses out of 118023 with flag 9193423/1820120
543.17/542.12	c cleaning 60002 clauses out of 120009 with flag 9599831/1881118
562.08/561.10	c Got one! Elapsed wall clock time (in seconds):560.986
562.08/561.10	o 17275
564.34/563.25	c cleaning 61347 clauses out of 122718 with flag 20549/1943829
565.93/564.85	c cleaning 33674 clauses out of 67369 with flag 44657/1949827
567.64/566.57	c cleaning 20337 clauses out of 40695 with flag 72423/1956827
569.63/568.57	c cleaning 14170 clauses out of 28358 with flag 104616/1964827
571.83/570.77	c cleaning 11580 clauses out of 23187 with flag 143045/1973826
574.34/573.27	c cleaning 10792 clauses out of 21607 with flag 190032/1983826
577.03/575.93	c cleaning 10897 clauses out of 21815 with flag 238866/1994826
579.74/578.68	c cleaning 11447 clauses out of 22918 with flag 288476/2006826
582.73/581.66	c cleaning 12225 clauses out of 24471 with flag 346374/2019826
586.23/585.15	c cleaning 13086 clauses out of 26246 with flag 416681/2033826
589.93/588.83	c cleaning 14068 clauses out of 28160 with flag 491206/2048826
593.83/592.71	c cleaning 15021 clauses out of 30092 with flag 575184/2064826
597.93/596.83	c cleaning 16024 clauses out of 32072 with flag 655672/2081827
602.62/601.46	c cleaning 17001 clauses out of 34047 with flag 751032/2099826
608.02/606.86	c cleaning 18012 clauses out of 36046 with flag 855148/2118826
613.62/612.41	c cleaning 19013 clauses out of 38034 with flag 957488/2138826
619.12/617.97	c cleaning 19995 clauses out of 40021 with flag 1066979/2159826
625.12/623.98	c cleaning 21011 clauses out of 42026 with flag 1190511/2181826
631.72/630.55	c cleaning 21962 clauses out of 44015 with flag 1327360/2204826
638.53/637.34	c cleaning 23009 clauses out of 46053 with flag 1481662/2228826
645.43/644.27	c cleaning 23995 clauses out of 48044 with flag 1610772/2253826
652.83/651.67	c cleaning 24972 clauses out of 50050 with flag 1755151/2279827
660.24/659.08	c cleaning 26037 clauses out of 52077 with flag 1902875/2306826
667.94/666.72	c cleaning 27002 clauses out of 54040 with flag 2076305/2334826
676.03/674.82	c cleaning 28001 clauses out of 56038 with flag 2235131/2363826
677.33/676.15	c Got one! Elapsed wall clock time (in seconds):676.032
677.33/676.15	o 17253
678.94/677.73	c cleaning 19039 clauses out of 38100 with flag 25484/2373889
680.64/679.49	c cleaning 12498 clauses out of 25060 with flag 52287/2379888
682.44/681.29	c cleaning 9763 clauses out of 19562 with flag 83817/2386888
684.74/683.53	c cleaning 8888 clauses out of 17799 with flag 129501/2394888
687.04/685.86	c cleaning 8956 clauses out of 17911 with flag 175761/2403888
689.75/688.56	c cleaning 9453 clauses out of 18955 with flag 234003/2413888
692.76/691.53	c cleaning 10238 clauses out of 20502 with flag 301323/2424888
696.16/694.95	c cleaning 11125 clauses out of 22264 with flag 370042/2436888
699.66/698.46	c cleaning 12064 clauses out of 24139 with flag 446413/2449888
703.46/702.25	c cleaning 13035 clauses out of 26075 with flag 522533/2463888
707.66/706.44	c cleaning 14013 clauses out of 28041 with flag 596216/2478889
712.05/710.76	c cleaning 14992 clauses out of 30027 with flag 678165/2494888
716.64/715.35	c cleaning 16007 clauses out of 32035 with flag 764570/2511888
721.54/720.26	c cleaning 16972 clauses out of 34028 with flag 861014/2529888
726.84/725.52	c cleaning 18016 clauses out of 36056 with flag 963427/2548888
732.24/730.94	c cleaning 18999 clauses out of 38041 with flag 1068741/2568889
738.05/736.76	c cleaning 20005 clauses out of 40041 with flag 1177303/2589888
744.05/742.77	c cleaning 20997 clauses out of 42037 with flag 1300147/2611889
750.56/749.28	c cleaning 22010 clauses out of 44039 with flag 1424204/2634888
757.75/756.43	c cleaning 23006 clauses out of 46029 with flag 1539896/2658888
765.26/763.92	c cleaning 24003 clauses out of 48023 with flag 1674618/2683888
773.16/771.88	c cleaning 24998 clauses out of 50022 with flag 1788667/2709890
781.17/779.89	c cleaning 25999 clauses out of 52022 with flag 1911275/2736888
789.28/787.97	c cleaning 26983 clauses out of 54023 with flag 2038535/2764888
797.28/795.95	c cleaning 28014 clauses out of 56040 with flag 2167585/2793888
805.58/804.27	c cleaning 29007 clauses out of 58026 with flag 2302821/2823888
814.07/812.76	c cleaning 30001 clauses out of 60020 with flag 2440094/2854889
823.38/821.91	c cleaning 31001 clauses out of 62018 with flag 2603429/2886888
833.08/831.68	c cleaning 31961 clauses out of 64017 with flag 2828041/2919888
843.28/841.88	c cleaning 33008 clauses out of 66056 with flag 3023625/2953888
848.78/847.39	c Got one! Elapsed wall clock time (in seconds):847.275
848.78/847.39	o 17246
850.58/849.19	c cleaning 28371 clauses out of 56768 with flag 20381/2977608
852.29/850.88	c cleaning 17177 clauses out of 34397 with flag 47520/2983608
854.19/852.74	c cleaning 12081 clauses out of 24220 with flag 76109/2990608
856.38/854.99	c cleaning 10055 clauses out of 20139 with flag 122146/2998608
858.78/857.34	c cleaning 9507 clauses out of 19084 with flag 168687/3007608
861.39/859.95	c cleaning 9787 clauses out of 19579 with flag 219814/3017610
864.49/863.05	c cleaning 10366 clauses out of 20790 with flag 294231/3028608
867.79/866.38	c cleaning 11201 clauses out of 22424 with flag 370031/3040608
871.29/869.84	c cleaning 12096 clauses out of 24223 with flag 453979/3053608
875.00/873.56	c cleaning 13060 clauses out of 26128 with flag 537362/3067609
879.09/877.69	c cleaning 13997 clauses out of 28068 with flag 626150/3082609
883.29/881.89	c cleaning 15003 clauses out of 30070 with flag 708184/3098608
887.89/886.45	c cleaning 16029 clauses out of 32067 with flag 809763/3115608
892.89/891.41	c cleaning 17006 clauses out of 34038 with flag 920020/3133608
898.30/896.87	c cleaning 18005 clauses out of 36032 with flag 1033999/3152608
904.00/902.55	c cleaning 18978 clauses out of 38027 with flag 1163797/3172608
909.91/908.47	c cleaning 20005 clauses out of 40050 with flag 1294405/3193609
915.81/914.31	c cleaning 21023 clauses out of 42045 with flag 1408453/3215609
922.11/920.64	c cleaning 21997 clauses out of 44021 with flag 1525045/3238608
929.22/927.63	c cleaning 22982 clauses out of 46024 with flag 1661802/3262608
934.52/932.93	c Got one! Elapsed wall clock time (in seconds):932.815
934.52/932.93	o 17095
936.01/934.47	c cleaning 22814 clauses out of 45688 with flag 25045/3285254
937.51/936.00	c cleaning 14428 clauses out of 28874 with flag 51851/3291254
939.41/937.83	c cleaning 10699 clauses out of 21446 with flag 79564/3298254
941.61/940.03	c cleaning 9349 clauses out of 18747 with flag 120848/3306254
943.91/942.31	c cleaning 9183 clauses out of 18398 with flag 159854/3315254
946.52/944.94	c cleaning 9608 clauses out of 19216 with flag 208770/3325255
949.21/947.69	c cleaning 10289 clauses out of 20607 with flag 255501/3336254
952.41/950.84	c cleaning 11155 clauses out of 22318 with flag 313661/3348254
955.91/954.38	c cleaning 12063 clauses out of 24163 with flag 373649/3361254
959.91/958.37	c cleaning 13046 clauses out of 26100 with flag 441955/3375254
964.12/962.51	c cleaning 14020 clauses out of 28054 with flag 513352/3390254
968.31/966.73	c cleaning 15015 clauses out of 30034 with flag 585896/3406254
973.01/971.44	c cleaning 16008 clauses out of 32021 with flag 682347/3423256
978.01/976.49	c cleaning 17004 clauses out of 34011 with flag 795098/3441254
983.40/981.89	c cleaning 18000 clauses out of 36007 with flag 935913/3460254
989.20/987.69	c cleaning 18958 clauses out of 38009 with flag 1074194/3480256
995.10/993.54	c cleaning 19998 clauses out of 40049 with flag 1191817/3501254
1001.00/999.41	c cleaning 21009 clauses out of 42051 with flag 1299981/3523254
1007.40/1005.83	c cleaning 22012 clauses out of 44043 with flag 1423935/3546255
1014.10/1012.53	c cleaning 23004 clauses out of 46031 with flag 1541583/3570255
1021.20/1019.64	c cleaning 24005 clauses out of 48028 with flag 1664039/3595256
1028.59/1026.91	c cleaning 24999 clauses out of 50021 with flag 1810628/3621254
1036.29/1034.69	c cleaning 25973 clauses out of 52022 with flag 1955645/3648254
1043.98/1042.34	c Got one! Elapsed wall clock time (in seconds):1042.222
1043.98/1042.34	o 16928
1045.69/1044.07	c cleaning 28835 clauses out of 57695 with flag 19192/3679900
1047.48/1045.84	c cleaning 17379 clauses out of 34860 with flag 54534/3685900
1049.18/1047.57	c cleaning 12229 clauses out of 24482 with flag 83979/3692901
1051.19/1049.55	c cleaning 10096 clauses out of 20252 with flag 121162/3700900
1053.48/1051.87	c cleaning 9559 clauses out of 19156 with flag 161660/3709900
1056.18/1054.58	c cleaning 9787 clauses out of 19597 with flag 219019/3719900
1059.18/1057.58	c cleaning 10370 clauses out of 20810 with flag 279017/3730900
1062.38/1060.72	c cleaning 11217 clauses out of 22440 with flag 346101/3742900
1065.88/1064.20	c cleaning 12093 clauses out of 24223 with flag 408017/3755900
1069.48/1067.85	c cleaning 13063 clauses out of 26130 with flag 484910/3769900
1073.48/1071.89	c cleaning 14005 clauses out of 28067 with flag 561610/3784900
1077.77/1076.16	c cleaning 15028 clauses out of 30062 with flag 632013/3800900
1082.57/1080.97	c cleaning 15996 clauses out of 32034 with flag 732055/3817900
1087.77/1086.13	c cleaning 17009 clauses out of 34041 with flag 854262/3835903
1093.17/1091.52	c cleaning 17993 clauses out of 36029 with flag 990470/3854900
1098.77/1097.16	c cleaning 19022 clauses out of 38043 with flag 1128993/3874907
1104.77/1103.14	c cleaning 19970 clauses out of 40015 with flag 1282472/3895901
1110.58/1108.96	c cleaning 21005 clauses out of 42044 with flag 1418552/3917900
1116.17/1114.59	c Got one! Elapsed wall clock time (in seconds):1114.478
1116.17/1114.59	o 16802
1117.94/1116.29	c cleaning 23034 clauses out of 46090 with flag 35270/3942951
1119.54/1117.89	c cleaning 14521 clauses out of 29056 with flag 62883/3948951
1121.44/1119.77	c cleaning 10735 clauses out of 21539 with flag 91254/3955955
1123.64/1121.98	c cleaning 9391 clauses out of 18800 with flag 123892/3963951
1126.14/1124.43	c cleaning 9195 clauses out of 18409 with flag 174153/3972951
1128.85/1127.19	c cleaning 9602 clauses out of 19216 with flag 231988/3982953
1131.65/1129.99	c cleaning 10299 clauses out of 20612 with flag 281084/3993951
1134.75/1133.03	c cleaning 11157 clauses out of 22313 with flag 344329/4005951
1138.35/1136.66	c cleaning 12069 clauses out of 24156 with flag 400541/4018951
1142.35/1140.63	c cleaning 13025 clauses out of 26087 with flag 472528/4032951
1146.55/1144.82	c cleaning 14016 clauses out of 28062 with flag 543602/4047951
1151.05/1149.35	c cleaning 14994 clauses out of 30046 with flag 615901/4063951
1155.76/1154.01	c cleaning 16009 clauses out of 32052 with flag 688129/4080951
1160.55/1158.88	c cleaning 17008 clauses out of 34043 with flag 775429/4098951
1165.56/1163.84	c cleaning 17976 clauses out of 36035 with flag 868742/4117951
1170.65/1168.95	c cleaning 19013 clauses out of 38059 with flag 979298/4137951
1176.25/1174.53	c cleaning 19983 clauses out of 40046 with flag 1081891/4158951
1182.56/1180.87	c cleaning 21032 clauses out of 42063 with flag 1194943/4180951
1189.26/1187.59	c cleaning 22017 clauses out of 44033 with flag 1309174/4203953
1196.55/1194.80	c cleaning 22989 clauses out of 46014 with flag 1414758/4227951
1203.85/1202.11	c cleaning 24006 clauses out of 48025 with flag 1537021/4252951
1211.15/1209.47	c cleaning 24991 clauses out of 50019 with flag 1650291/4278951
1219.12/1217.37	c cleaning 25978 clauses out of 52028 with flag 1801850/4305951
1227.43/1225.69	c cleaning 27010 clauses out of 54050 with flag 1986516/4333951
1235.73/1233.99	c cleaning 28017 clauses out of 56040 with flag 2150103/4362951
1244.53/1242.73	c cleaning 29001 clauses out of 58023 with flag 2276178/4392951
1253.44/1251.60	c cleaning 29988 clauses out of 60024 with flag 2416816/4423953
1262.85/1261.08	c cleaning 30999 clauses out of 62036 with flag 2625590/4455953
1272.55/1270.79	c cleaning 32002 clauses out of 64035 with flag 2826960/4488951
1282.55/1280.70	c cleaning 33017 clauses out of 66033 with flag 3031075/4522951
1293.05/1291.27	c cleaning 34002 clauses out of 68016 with flag 3218295/4557951
1303.45/1301.60	c cleaning 34970 clauses out of 70014 with flag 3385367/4593951
1314.26/1312.47	c cleaning 35989 clauses out of 72044 with flag 3574891/4630951
1325.13/1323.29	c cleaning 37007 clauses out of 74055 with flag 3767768/4668951
1335.83/1333.95	c cleaning 38014 clauses out of 76049 with flag 3966604/4707952
1346.64/1344.70	c cleaning 39010 clauses out of 78035 with flag 4184876/4747952
1357.94/1356.04	c cleaning 40003 clauses out of 80026 with flag 4406530/4788953
1369.74/1367.82	c cleaning 41004 clauses out of 82021 with flag 4604918/4830951
1381.94/1380.06	c cleaning 42006 clauses out of 84017 with flag 4803947/4873951
1393.94/1392.01	c cleaning 42963 clauses out of 86011 with flag 5051895/4917951
1406.94/1405.04	c cleaning 44006 clauses out of 88050 with flag 5315981/4962953
1420.44/1418.43	c cleaning 45015 clauses out of 90043 with flag 5598126/5008952
1433.85/1431.86	c cleaning 45984 clauses out of 92027 with flag 5855750/5055951
1448.04/1446.08	c cleaning 46934 clauses out of 94043 with flag 6110004/5103951
1462.14/1460.19	c cleaning 48031 clauses out of 96109 with flag 6405884/5152951
1476.06/1474.08	c cleaning 48993 clauses out of 98078 with flag 6668421/5202951
1490.65/1488.65	c cleaning 50038 clauses out of 100086 with flag 6920537/5253952
1505.25/1503.28	c cleaning 51011 clauses out of 102049 with flag 7193692/5305953
1520.45/1518.34	c cleaning 51999 clauses out of 104036 with flag 7498651/5358951
1535.87/1533.78	c cleaning 53014 clauses out of 106037 with flag 7797543/5412951
1551.36/1549.28	c cleaning 54003 clauses out of 108024 with flag 8072152/5467952
1567.86/1565.76	c cleaning 54988 clauses out of 110021 with flag 8375336/5523952
1584.26/1582.14	c cleaning 55982 clauses out of 112032 with flag 8661194/5580951
1600.75/1598.59	c cleaning 56998 clauses out of 114050 with flag 8936742/5638951
1617.35/1615.14	c cleaning 58008 clauses out of 116053 with flag 9202562/5697952
1633.95/1631.72	c cleaning 59017 clauses out of 118046 with flag 9476983/5757953
1651.15/1648.99	c cleaning 60012 clauses out of 120027 with flag 9808560/5818951
1668.85/1666.63	c cleaning 60984 clauses out of 122016 with flag 10187234/5880952
1687.57/1685.21	c cleaning 62004 clauses out of 124031 with flag 10649206/5943951
1705.76/1703.46	c cleaning 63008 clauses out of 126028 with flag 11032089/6007952
1724.56/1722.28	c cleaning 64000 clauses out of 128019 with flag 11400346/6072951
1744.27/1741.99	c cleaning 64997 clauses out of 130019 with flag 11852310/6138951
1764.17/1761.89	c cleaning 65997 clauses out of 132022 with flag 12252141/6205951
1784.67/1782.20	c cleaning 66992 clauses out of 134026 with flag 12615389/6273952
1800.07/1797.60	c starts		: 9296
1800.07/1797.60	c conflicts		: 6326981
1800.07/1797.60	c decisions		: 67024209
1800.07/1797.60	c propagations		: 4571710966
1800.07/1797.60	c inspects		: 8911414521
1800.07/1797.60	c shortcuts		: 0
1800.07/1797.60	c learnt literals	: 0
1800.07/1797.60	c learnt binary clauses	: 0
1800.07/1797.60	c learnt ternary clauses	: 0
1800.07/1797.60	c learnt constraints	: 6326981
1800.07/1797.60	c ignored constraints	: 0
1800.07/1797.60	c root simplifications	: 0
1800.07/1797.60	c removed literals (reason simplification)	: 0
1800.07/1797.60	c reason swapping (by a shorter reason)	: 0
1800.07/1797.60	c Calls to reduceDB	: 237
1800.07/1797.60	c Number of update (reduction) of LBD	: 3633986
1800.07/1797.60	c Imported unit clauses	: 0
1800.07/1797.60	c number of reductions to clauses (during analyze)	: 0
1800.07/1797.60	c number of learned constraints concerned by reduction	: 0
1800.07/1797.60	c number of learning phase by resolution	: 0
1800.07/1797.60	c number of learning phase by cutting planes	: 0
1800.07/1797.60	c speed (assignments/second)	: 2543671.9323781165
1800.07/1797.60	c non guided choices	0
1800.07/1797.63	c learnt constraints type 
1800.07/1797.63	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 120064
1800.07/1797.63	s SATISFIABLE
1800.07/1797.63	c Found 16 solution(s)
1800.07/1797.64	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 x53 x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 x93 -x94 -x95 -x96 -x97 -x98 x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 x109 x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 x176 x177 -x178 -x179 -x180 -x181 -x182 -x183 -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 
1800.07/1797.64	c objective function=16802
1800.07/1797.64	c Total wall clock time (in seconds): 1797.522

Verifier Data 

OK	16802

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-4105917-1466268206/watcher-4105917-1466268206 -o /tmp/evaluation-result-4105917-1466268206/solver-4105917-1466268206 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1466264639-24566 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4105917-1466268206.opb 

pid=25180
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.55 2.15 2.05 2/194 25183
/proc/meminfo: memFree=30738188/32872528 swapFree=338416/354768
[pid=25183] ppid=25180 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/25183/stat : 25183 (java) S 25180 25183 24550 0 -1 4202496 1353 0 0 0 0 0 0 0 20 0 2 0 28867357 98570240 976 33554432000 1073741824 1073778376 140736747118336 140736747109472 242170757181 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25183/statm: 24065 976 743 9 0 16771 0
[pid=25183/tid=25184] ppid=25180 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/25183/task/25184/stat : 25184 (java) R 25180 25183 24550 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 28867357 98570240 976 33554432000 1073741824 1073778376 140736747118336 140544377945640 242167399808 0 0 4096 0 0 0 0 -1 0 0 0 0 0 0

[startup+0.100119 s]
/proc/loadavg: 2.55 2.15 2.05 2/194 25183
/proc/meminfo: memFree=30738188/32872528 swapFree=338416/354768
[pid=25183] ppid=25180 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/25183/stat : 25183 (java) S 25180 25183 24550 0 -1 4202496 4392 0 1 0 8 2 0 0 20 0 18 0 28867357 9787879424 6018 33554432000 1073741824 1073778376 140736747118336 140736747109472 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25183/statm: 2389619 6018 2125 9 0 2380296 0
[pid=25183/tid=25184] ppid=25180 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/25183/task/25184/stat : 25184 (java) R 25180 25183 24550 0 -1 4202560 2379 0 1 0 5 2 0 0 20 0 18 0 28867357 9787879424 6018 33554432000 1073741824 1073778376 140736747118336 140544377948480 140544231717310 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476

[startup+0.200324 s]
/proc/loadavg: 2.55 2.15 2.05 2/194 25183
/proc/meminfo: memFree=30738188/32872528 swapFree=338416/354768
[pid=25183] ppid=25180 vsize=9558476 CPUtime=0.27 cores=0,2,4,6
/proc/25183/stat : 25183 (java) S 25180 25183 24550 0 -1 4202496 4992 0 1 0 25 2 0 0 20 0 18 0 28867357 9787879424 6988 33554432000 1073741824 1073778376 140736747118336 140736747109472 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25183/statm: 2389619 6988 2213 9 0 2380296 0
[pid=25183/tid=25184] ppid=25180 vsize=9558476 CPUtime=0.17 cores=0,2,4,6
/proc/25183/task/25184/stat : 25184 (java) R 25180 25183 24550 0 -1 4202560 2401 0 1 0 15 2 0 0 20 0 18 0 28867357 9787879424 6988 33554432000 1073741824 1073778376 140736747118336 140544377941808 140544231702355 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9558476

[startup+0.300326 s]
/proc/loadavg: 2.55 2.15 2.05 2/194 25183
/proc/meminfo: memFree=30738188/32872528 swapFree=338416/354768
[pid=25183] ppid=25180 vsize=9558476 CPUtime=0.49 cores=0,2,4,6
/proc/25183/stat : 25183 (java) S 25180 25183 24550 0 -1 4202496 5844 0 1 0 47 2 0 0 20 0 18 0 28867357 9787879424 8197 33554432000 1073741824 1073778376 140736747118336 140736747109472 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25183/statm: 2389619 8197 2232 9 0 2380296 0
[pid=25183/tid=25184] ppid=25180 vsize=9558476 CPUtime=0.27 cores=0,2,4,6
/proc/25183/task/25184/stat : 25184 (java) R 25180 25183 24550 0 -1 4202560 2403 0 1 0 25 2 0 0 20 0 18 0 28867357 9787879424 8197 33554432000 1073741824 1073778376 140736747118336 140544377949208 140544231727827 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9558476

[startup+0.70022 s]
/proc/loadavg: 2.55 2.15 2.05 2/194 25183
/proc/meminfo: memFree=30738188/32872528 swapFree=338416/354768
[pid=25183] ppid=25180 vsize=9625040 CPUtime=1.48 cores=0,2,4,6
/proc/25183/stat : 25183 (java) S 25180 25183 24550 0 -1 4202496 9914 0 1 0 145 3 0 0 20 0 19 0 28867357 9856040960 12750 33554432000 1073741824 1073778376 140736747118336 140736747109472 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25183/statm: 2406260 12750 2257 9 0 2396937 0
[pid=25183/tid=25184] ppid=25180 vsize=9625040 CPUtime=0.67 cores=0,2,4,6
/proc/25183/task/25184/stat : 25184 (java) R 25180 25183 24550 0 -1 4202560 2422 0 1 0 65 2 0 0 20 0 19 0 28867357 9856040960 12750 33554432000 1073741824 1073778376 140736747118336 140544377950488 140544232272077 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 9625040

[startup+1.50071 s]
/proc/loadavg: 2.55 2.15 2.05 3/213 25202
/proc/meminfo: memFree=30676716/32872528 swapFree=338416/354768
[pid=25183] ppid=25180 vsize=9625040 CPUtime=2.29 cores=0,2,4,6
/proc/25183/stat : 25183 (java) S 25180 25183 24550 0 -1 4202496 9918 0 1 0 226 3 0 0 20 0 19 0 28867357 9856040960 12753 33554432000 1073741824 1073778376 140736747118336 140736747109472 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25183/statm: 2406260 12753 2259 9 0 2396937 0
[pid=25183/tid=25184] ppid=25180 vsize=9625040 CPUtime=1.48 cores=0,2,4,6
/proc/25183/task/25184/stat : 25184 (java) R 25180 25183 24550 0 -1 4202560 2423 0 1 0 145 3 0 0 20 0 19 0 28867357 9856040960 12753 33554432000 1073741824 1073778376 140736747118336 140544377949576 140544232194344 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25183/tid=25186] ppid=25180 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25183/task/25186/stat : 25186 (java) S 25180 25183 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28867358 9856040960 12753 33554432000 1073741824 1073778376 140736747118336 140544350402728 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25183/tid=25187] ppid=25180 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25183/task/25187/stat : 25187 (java) S 25180 25183 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28867358 9856040960 12753 33554432000 1073741824 1073778376 140736747118336 140544220637480 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25183/tid=25188] ppid=25180 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25183/task/25188/stat : 25188 (java) S 25180 25183 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28867358 9856040960 12753 33554432000 1073741824 1073778376 140736747118336 140544219584936 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25183/tid=25189] ppid=25180 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25183/task/25189/stat : 25189 (java) S 25180 25183 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28867358 9856040960 12753 33554432000 1073741824 1073778376 140736747118336 140544218532392 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25183/tid=25190] ppid=25180 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25183/task/25190/stat : 25190 (java) S 25180 25183 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28867358 9856040960 12753 33554432000 1073741824 1073778376 140736747118336 140544217479848 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25183/tid=25191] ppid=25180 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25183/task/25191/stat : 25191 (java) S 25180 25183 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28867358 9856040960 12753 33554432000 1073741824 1073778376 140736747118336 140544216427304 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25183/tid=25192] ppid=25180 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25183/task/25192/stat : 25192 (java) S 25180 25183 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28867358 9856040960 12753 33554432000 1073741824 1073778376 140736747118336 140543879277480 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25183/tid=25193] ppid=25180 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25183/task/25193/stat : 25193 (java) S 25180 25183 24550 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 28867358 9856040960 12753 33554432000 1073741824 1073778376 140736747118336 140543878224936 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25183/tid=25194] ppid=25180 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25183/task/25194/stat : 25194 (java) S 25180 25183 24550 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 28867359 9856040960 12753 33554432000 1073741824 1073778376 140736747118336 140543866026088 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25183/tid=25195] ppid=25180 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25183/task/25195/stat : 25195 (java) S 25180 25183 24550 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 28867360 9856040960 12753 33554432000 1073741824 1073778376 140736747118336 140543864972408 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25183/tid=25196] ppid=25180 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25183/task/25196/stat : 25196 (java) S 25180 25183 24550 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28867360 9856040960 12753 33554432000 1073741824 1073778376 140736747118336 140543863919752 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25183/tid=25197] ppid=25180 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25183/task/25197/stat : 25197 (java) S 25180 25183 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28867362 9856040960 12753 33554432000 1073741824 1073778376 140736747118336 140543862868496 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25183/tid=25198] ppid=25180 vsize=9625040 CPUtime=0.45 cores=0,2,4,6
/proc/25183/task/25198/stat : 25198 (java) S 25180 25183 24550 0 -1 4202560 3560 0 0 0 43 2 0 0 20 0 19 0 28867363 9856040960 12753 33554432000 1073741824 1073778376 140736747118336 140543861815864 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25183/tid=25199] ppid=25180 vsize=9625040 CPUtime=0.35 cores=0,2,4,6
/proc/25183/task/25199/stat : 25199 (java) S 25180 25183 24550 0 -1 4202560 2658 0 0 0 35 0 0 0 20 0 19 0 28867363 9856040960 12753 33554432000 1073741824 1073778376 140736747118336 140543860763320 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25183/tid=25200] ppid=25180 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25183/task/25200/stat : 25200 (java) S 25180 25183 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28867363 9856040960 12753 33554432000 1073741824 1073778376 140736747118336 140543859710968 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25183/tid=25201] ppid=25180 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25183/task/25201/stat : 25201 (java) S 25180 25183 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28867363 9856040960 12753 33554432000 1073741824 1073778376 140736747118336 140543858658632 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25183/tid=25202] ppid=25180 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25183/task/25202/stat : 25202 (java) S 25180 25183 24550 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 28867389 9856040960 12753 33554432000 1073741824 1073778376 140736747118336 140543857603368 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.29
Current children cumulated vsize (KiB) 9625040

[startup+3.10077 s]
/proc/loadavg: 2.55 2.15 2.05 3/213 25202
/proc/meminfo: memFree=30673924/32872528 swapFree=338416/354768
[pid=25183] ppid=25180 vsize=9625040 CPUtime=3.92 cores=0,2,4,6
/proc/25183/stat : 25183 (java) S 25180 25183 24550 0 -1 4202496 9927 0 1 0 388 4 0 0 20 0 19 0 28867357 9856040960 13269 33554432000 1073741824 1073778376 140736747118336 140736747109472 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25183/statm: 2406260 13269 2263 9 0 2396937 0
[pid=25183/tid=25184] ppid=25180 vsize=9625040 CPUtime=3.06 cores=0,2,4,6
/proc/25183/task/25184/stat : 25184 (java) R 25180 25183 24550 0 -1 4202560 2426 0 1 0 303 3 0 0 20 0 19 0 28867357 9856040960 13269 33554432000 1073741824 1073778376 140736747118336 140544377948680 140544232172337 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25183/tid=25186] ppid=25180 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25183/task/25186/stat : 25186 (java) S 25180 25183 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28867358 9856040960 13269 33554432000 1073741824 1073778376 140736747118336 140544350402728 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25183/tid=25187] ppid=25180 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25183/task/25187/stat : 25187 (java) S 25180 25183 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28867358 9856040960 13269 33554432000 1073741824 1073778376 140736747118336 140544220637480 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25183/tid=25188] ppid=25180 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25183/task/25188/stat : 25188 (java) S 25180 25183 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28867358 9856040960 13269 33554432000 1073741824 1073778376 140736747118336 140544219584936 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25183/tid=25189] ppid=25180 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25183/task/25189/stat : 25189 (java) S 25180 25183 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28867358 9856040960 13269 33554432000 1073741824 1073778376 140736747118336 140544218532392 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25183/tid=25190] ppid=25180 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25183/task/25190/stat : 25190 (java) S 25180 25183 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28867358 9856040960 13269 33554432000 1073741824 1073778376 140736747118336 140544217479848 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25183/tid=25191] ppid=25180 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25183/task/25191/stat : 25191 (java) S 25180 25183 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28867358 9856040960 13269 33554432000 1073741824 1073778376 140736747118336 140544216427304 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25183/tid=25192] ppid=25180 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25183/task/25192/stat : 25192 (java) S 25180 25183 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28867358 9856040960 13269 33554432000 1073741824 1073778376 140736747118336 140543879277480 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25183/tid=25193] ppid=25180 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25183/task/25193/stat : 25193 (java) S 25180 25183 24550 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 28867358 9856040960 13269 33554432000 1073741824 1073778376 140736747118336 140543878224936 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25183/tid=25194] ppid=25180 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25183/task/25194/stat : 25194 (java) S 25180 25183 24550 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 28867359 9856040960 13269 33554432000 1073741824 1073778376 140736747118336 140543866026088 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25183/tid=25195] ppid=25180 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25183/task/25195/stat : 25195 (java) S 25180 25183 24550 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 28867360 9856040960 13269 33554432000 1073741824 1073778376 140736747118336 140543864972408 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25183/tid=25196] ppid=25180 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25183/task/25196/stat : 25196 (java) S 25180 25183 24550 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28867360 9856040960 13269 33554432000 1073741824 1073778376 140736747118336 140543863919752 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25183/tid=25197] ppid=25180 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25183/task/25197/stat : 25197 (java) S 25180 25183 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28867362 9856040960 13269 33554432000 1073741824 1073778376 140736747118336 140543862868496 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25183/tid=25198] ppid=25180 vsize=9625040 CPUtime=0.47 cores=0,2,4,6
/proc/25183/task/25198/stat : 25198 (java) S 25180 25183 24550 0 -1 4202560 3564 0 0 0 45 2 0 0 20 0 19 0 28867363 9856040960 13269 33554432000 1073741824 1073778376 140736747118336 140543861815864 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25183/tid=25199] ppid=25180 vsize=9625040 CPUtime=0.36 cores=0,2,4,6
/proc/25183/task/25199/stat : 25199 (java) S 25180 25183 24550 0 -1 4202560 2660 0 0 0 36 0 0 0 20 0 19 0 28867363 9856040960 13269 33554432000 1073741824 1073778376 140736747118336 140543860763320 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25183/tid=25200] ppid=25180 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25183/task/25200/stat : 25200 (java) S 25180 25183 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28867363 9856040960 13269 33554432000 1073741824 1073778376 140736747118336 140543859710968 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25183/tid=25201] ppid=25180 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25183/task/25201/stat : 25201 (java) S 25180 25183 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28867363 9856040960 13269 33554432000 1073741824 1073778376 140736747118336 140543858658632 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25183/tid=25202] ppid=25180 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25183/task/25202/stat : 25202 (java) S 25180 25183 24550 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 28867389 9856040960 13269 33554432000 1073741824 1073778376 140736747118336 140543857603368 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.92
Current children cumulated vsize (KiB) 9625040

[startup+6.30076 s]
/proc/loadavg: 2.51 2.15 2.05 3/213 25202
/proc/meminfo: memFree=30670700/32872528 swapFree=338416/354768
[pid=25183] ppid=25180 vsize=9625040 CPUtime=7.15 cores=0,2,4,6
/proc/25183/stat : 25183 (java) S 25180 25183 24550 0 -1 4202496 9933 0 1 0 711 4 0 0 20 0 19 0 28867357 9856040960 14134 33554432000 1073741824 1073778376 140736747118336 140736747109472 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25183/statm: 2406260 14134 2264 9 0 2396937 0
[pid=25183/tid=25184] ppid=25180 vsize=9625040 CPUtime=6.25 cores=0,2,4,6
/proc/25183/task/25184/stat : 25184 (java) R 25180 25183 24550 0 -1 4202560 2431 0 1 0 622 3 0 0 20 0 19 0 28867357 9856040960 14134 33554432000 1073741824 1073778376 140736747118336 140544377941728 140544232194812 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=25183/tid=25186] ppid=25180 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25183/task/25186/stat : 25186 (java) S 25180 25183 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28867358 9856040960 14134 33554432000 1073741824 1073778376 140736747118336 140544350402728 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25183/tid=25187] ppid=25180 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25183/task/25187/stat : 25187 (java) S 25180 25183 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28867358 9856040960 14134 33554432000 1073741824 1073778376 140736747118336 140544220637480 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25183/tid=25188] ppid=25180 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25183/task/25188/stat : 25188 (java) S 25180 25183 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28867358 9856040960 14134 33554432000 1073741824 1073778376 140736747118336 140544219584936 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25183/tid=25189] ppid=25180 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25183/task/25189/stat : 25189 (java) S 25180 25183 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28867358 9856040960 14134 33554432000 1073741824 1073778376 140736747118336 140544218532392 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25183/tid=25190] ppid=25180 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25183/task/25190/stat : 25190 (java) S 25180 25183 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28867358 9856040960 14134 33554432000 1073741824 1073778376 140736747118336 140544217479848 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25183/tid=25191] ppid=25180 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25183/task/25191/stat : 25191 (java) S 25180 25183 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28867358 9856040960 14134 33554432000 1073741824 1073778376 140736747118336 140544216427304 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25183/tid=25192] ppid=25180 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25183/task/25192/stat : 25192 (java) S 25180 25183 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28867358 9856040960 14134 33554432000 1073741824 1073778376 140736747118336 140543879277480 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25183/tid=25193] ppid=25180 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25183/task/25193/stat : 25193 (java) S 25180 25183 24550 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 28867358 9856040960 14134 33554432000 1073741824 1073778376 140736747118336 140543878224936 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25183/tid=25194] ppid=25180 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25183/task/25194/stat : 25194 (java) S 25180 25183 24550 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 28867359 9856040960 14134 33554432000 1073741824 1073778376 140736747118336 140543866026088 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25183/tid=25195] ppid=25180 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25183/task/25195/stat : 25195 (java) S 25180 25183 24550 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 28867360 9856040960 14134 33554432000 1073741824 1073778376 140736747118336 140543864972408 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25183/tid=25196] ppid=25180 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25183/task/25196/stat : 25196 (java) S 25180 25183 24550 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28867360 9856040960 14134 33554432000 1073741824 1073778376 140736747118336 140543863919752 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25183/tid=25197] ppid=25180 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25183/task/25197/stat : 25197 (java) S 25180 25183 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28867362 9856040960 14134 33554432000 1073741824 1073778376 140736747118336 140543862868496 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25183/tid=25198] ppid=25180 vsize=9625040 CPUtime=0.49 cores=0,2,4,6
/proc/25183/task/25198/stat : 25198 (java) S 25180 25183 24550 0 -1 4202560 3564 0 0 0 47 2 0 0 20 0 19 0 28867363 9856040960 14134 33554432000 1073741824 1073778376 140736747118336 140543861815864 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25183/tid=25199] ppid=25180 vsize=9625040 CPUtime=0.37 cores=0,2,4,6

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

[pid=25183/tid=25195] ppid=25180 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25183/task/25195/stat : 25195 (java) S 25180 25183 24550 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 28867360 9856040960 97839 33554432000 1073741824 1073778376 140736747118336 140543864972408 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25183/tid=25196] ppid=25180 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25183/task/25196/stat : 25196 (java) S 25180 25183 24550 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 28867360 9856040960 97839 33554432000 1073741824 1073778376 140736747118336 140543863919752 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25183/tid=25197] ppid=25180 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25183/task/25197/stat : 25197 (java) S 25180 25183 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28867362 9856040960 97839 33554432000 1073741824 1073778376 140736747118336 140543862868496 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25183/tid=25198] ppid=25180 vsize=9625040 CPUtime=0.55 cores=0,2,4,6
/proc/25183/task/25198/stat : 25198 (java) S 25180 25183 24550 0 -1 4202560 3583 0 0 0 53 2 0 0 20 0 19 0 28867363 9856040960 97839 33554432000 1073741824 1073778376 140736747118336 140543861815864 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25183/tid=25199] ppid=25180 vsize=9625040 CPUtime=0.42 cores=0,2,4,6
/proc/25183/task/25199/stat : 25199 (java) S 25180 25183 24550 0 -1 4202560 2664 0 0 0 42 0 0 0 20 0 19 0 28867363 9856040960 97839 33554432000 1073741824 1073778376 140736747118336 140543860763320 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25183/tid=25200] ppid=25180 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25183/task/25200/stat : 25200 (java) S 25180 25183 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28867363 9856040960 97839 33554432000 1073741824 1073778376 140736747118336 140543859710968 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25183/tid=25201] ppid=25180 vsize=9625040 CPUtime=0.29 cores=0,2,4,6
/proc/25183/task/25201/stat : 25201 (java) S 25180 25183 24550 0 -1 4202560 96 0 0 0 17 12 0 0 20 0 19 0 28867363 9856040960 97839 33554432000 1073741824 1073778376 140736747118336 140543858658632 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25183/tid=25202] ppid=25180 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25183/task/25202/stat : 25202 (java) S 25180 25183 24550 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 28867389 9856040960 97839 33554432000 1073741824 1073778376 140736747118336 140543857603368 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1664.55
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/213 25334
/proc/meminfo: memFree=30785492/32872528 swapFree=338416/354768
[pid=25183] ppid=25180 vsize=9625040 CPUtime=1724.66 cores=0,2,4,6
/proc/25183/stat : 25183 (java) S 25180 25183 24550 0 -1 4202496 11145 0 1 0 172415 51 0 0 20 0 19 0 28867357 9856040960 102399 33554432000 1073741824 1073778376 140736747118336 140736747109472 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25183/statm: 2406260 102399 2280 9 0 2396937 0
[pid=25183/tid=25184] ppid=25180 vsize=9625040 CPUtime=1721.64 cores=0,2,4,6
/proc/25183/task/25184/stat : 25184 (java) R 25180 25183 24550 0 -1 4202560 2504 0 1 0 172131 33 0 0 20 0 19 0 28867357 9856040960 102399 33554432000 1073741824 1073778376 140736747118336 140544377941712 140544232180936 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25183/tid=25186] ppid=25180 vsize=9625040 CPUtime=0.23 cores=0,2,4,6
/proc/25183/task/25186/stat : 25186 (java) S 25180 25183 24550 0 -1 4202560 188 0 0 0 19 4 0 0 20 0 19 0 28867358 9856040960 102399 33554432000 1073741824 1073778376 140736747118336 140544350402728 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25183/tid=25187] ppid=25180 vsize=9625040 CPUtime=0.19 cores=0,2,4,6
/proc/25183/task/25187/stat : 25187 (java) S 25180 25183 24550 0 -1 4202560 178 0 0 0 16 3 0 0 20 0 19 0 28867358 9856040960 102399 33554432000 1073741824 1073778376 140736747118336 140544220637480 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25183/tid=25188] ppid=25180 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/25183/task/25188/stat : 25188 (java) S 25180 25183 24550 0 -1 4202560 62 0 0 0 18 3 0 0 20 0 19 0 28867358 9856040960 102399 33554432000 1073741824 1073778376 140736747118336 140544219584936 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25183/tid=25189] ppid=25180 vsize=9625040 CPUtime=0.19 cores=0,2,4,6
/proc/25183/task/25189/stat : 25189 (java) S 25180 25183 24550 0 -1 4202560 171 0 0 0 17 2 0 0 20 0 19 0 28867358 9856040960 102399 33554432000 1073741824 1073778376 140736747118336 140544218532392 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25183/tid=25190] ppid=25180 vsize=9625040 CPUtime=0.28 cores=0,2,4,6
/proc/25183/task/25190/stat : 25190 (java) S 25180 25183 24550 0 -1 4202560 194 0 0 0 24 4 0 0 20 0 19 0 28867358 9856040960 102399 33554432000 1073741824 1073778376 140736747118336 140544217479848 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25183/tid=25191] ppid=25180 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/25183/task/25191/stat : 25191 (java) S 25180 25183 24550 0 -1 4202560 81 0 0 0 17 4 0 0 20 0 19 0 28867358 9856040960 102399 33554432000 1073741824 1073778376 140736747118336 140544216427304 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25183/tid=25192] ppid=25180 vsize=9625040 CPUtime=0.2 cores=0,2,4,6
/proc/25183/task/25192/stat : 25192 (java) S 25180 25183 24550 0 -1 4202560 50 0 0 0 17 3 0 0 20 0 19 0 28867358 9856040960 102399 33554432000 1073741824 1073778376 140736747118336 140543879277480 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25183/tid=25193] ppid=25180 vsize=9625040 CPUtime=0.19 cores=0,2,4,6
/proc/25183/task/25193/stat : 25193 (java) S 25180 25183 24550 0 -1 4202560 39 0 0 0 17 2 0 0 20 0 19 0 28867358 9856040960 102399 33554432000 1073741824 1073778376 140736747118336 140543878224936 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25183/tid=25194] ppid=25180 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/25183/task/25194/stat : 25194 (java) S 25180 25183 24550 0 -1 4202560 68 0 0 0 0 2 0 0 20 0 19 0 28867359 9856040960 102399 33554432000 1073741824 1073778376 140736747118336 140543866026088 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25183/tid=25195] ppid=25180 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25183/task/25195/stat : 25195 (java) S 25180 25183 24550 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 28867360 9856040960 102399 33554432000 1073741824 1073778376 140736747118336 140543864972408 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25183/tid=25196] ppid=25180 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25183/task/25196/stat : 25196 (java) S 25180 25183 24550 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 28867360 9856040960 102399 33554432000 1073741824 1073778376 140736747118336 140543863919752 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25183/tid=25197] ppid=25180 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25183/task/25197/stat : 25197 (java) S 25180 25183 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28867362 9856040960 102399 33554432000 1073741824 1073778376 140736747118336 140543862868496 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25183/tid=25198] ppid=25180 vsize=9625040 CPUtime=0.55 cores=0,2,4,6
/proc/25183/task/25198/stat : 25198 (java) S 25180 25183 24550 0 -1 4202560 3583 0 0 0 53 2 0 0 20 0 19 0 28867363 9856040960 102399 33554432000 1073741824 1073778376 140736747118336 140543861815864 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25183/tid=25199] ppid=25180 vsize=9625040 CPUtime=0.42 cores=0,2,4,6
/proc/25183/task/25199/stat : 25199 (java) S 25180 25183 24550 0 -1 4202560 2664 0 0 0 42 0 0 0 20 0 19 0 28867363 9856040960 102399 33554432000 1073741824 1073778376 140736747118336 140543860763320 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25183/tid=25200] ppid=25180 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25183/task/25200/stat : 25200 (java) S 25180 25183 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28867363 9856040960 102399 33554432000 1073741824 1073778376 140736747118336 140543859710968 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25183/tid=25201] ppid=25180 vsize=9625040 CPUtime=0.3 cores=0,2,4,6
/proc/25183/task/25201/stat : 25201 (java) S 25180 25183 24550 0 -1 4202560 100 0 0 0 18 12 0 0 20 0 19 0 28867363 9856040960 102399 33554432000 1073741824 1073778376 140736747118336 140543858658632 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25183/tid=25202] ppid=25180 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25183/task/25202/stat : 25202 (java) S 25180 25183 24550 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 28867389 9856040960 102399 33554432000 1073741824 1073778376 140736747118336 140543857603368 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1724.66
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/213 25335
/proc/meminfo: memFree=30762252/32872528 swapFree=338416/354768
[pid=25183] ppid=25180 vsize=9625040 CPUtime=1784.77 cores=0,2,4,6
/proc/25183/stat : 25183 (java) S 25180 25183 24550 0 -1 4202496 11204 0 1 0 178422 55 0 0 20 0 19 0 28867357 9856040960 108124 33554432000 1073741824 1073778376 140736747118336 140736747109472 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25183/statm: 2406260 108124 2280 9 0 2396937 0
[pid=25183/tid=25184] ppid=25180 vsize=9625040 CPUtime=1781.61 cores=0,2,4,6
/proc/25183/task/25184/stat : 25184 (java) R 25180 25183 24550 0 -1 4202560 2505 0 1 0 178127 34 0 0 20 0 19 0 28867357 9856040960 108124 33554432000 1073741824 1073778376 140736747118336 140544377949408 140544232172372 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25183/tid=25186] ppid=25180 vsize=9625040 CPUtime=0.24 cores=0,2,4,6
/proc/25183/task/25186/stat : 25186 (java) S 25180 25183 24550 0 -1 4202560 194 0 0 0 20 4 0 0 20 0 19 0 28867358 9856040960 108124 33554432000 1073741824 1073778376 140736747118336 140544350402728 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25183/tid=25187] ppid=25180 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/25183/task/25187/stat : 25187 (java) S 25180 25183 24550 0 -1 4202560 184 0 0 0 17 4 0 0 20 0 19 0 28867358 9856040960 108124 33554432000 1073741824 1073778376 140736747118336 140544220637480 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25183/tid=25188] ppid=25180 vsize=9625040 CPUtime=0.23 cores=0,2,4,6
/proc/25183/task/25188/stat : 25188 (java) S 25180 25183 24550 0 -1 4202560 66 0 0 0 19 4 0 0 20 0 19 0 28867358 9856040960 108124 33554432000 1073741824 1073778376 140736747118336 140544219584936 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25183/tid=25189] ppid=25180 vsize=9625040 CPUtime=0.2 cores=0,2,4,6
/proc/25183/task/25189/stat : 25189 (java) S 25180 25183 24550 0 -1 4202560 177 0 0 0 17 3 0 0 20 0 19 0 28867358 9856040960 108124 33554432000 1073741824 1073778376 140736747118336 140544218532392 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25183/tid=25190] ppid=25180 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/25183/task/25190/stat : 25190 (java) S 25180 25183 24550 0 -1 4202560 207 0 0 0 27 5 0 0 20 0 19 0 28867358 9856040960 108124 33554432000 1073741824 1073778376 140736747118336 140544217479848 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25183/tid=25191] ppid=25180 vsize=9625040 CPUtime=0.23 cores=0,2,4,6
/proc/25183/task/25191/stat : 25191 (java) S 25180 25183 24550 0 -1 4202560 88 0 0 0 18 5 0 0 20 0 19 0 28867358 9856040960 108124 33554432000 1073741824 1073778376 140736747118336 140544216427304 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25183/tid=25192] ppid=25180 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/25183/task/25192/stat : 25192 (java) S 25180 25183 24550 0 -1 4202560 53 0 0 0 18 3 0 0 20 0 19 0 28867358 9856040960 108124 33554432000 1073741824 1073778376 140736747118336 140543879277480 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25183/tid=25193] ppid=25180 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/25183/task/25193/stat : 25193 (java) S 25180 25183 24550 0 -1 4202560 46 0 0 0 19 2 0 0 20 0 19 0 28867358 9856040960 108124 33554432000 1073741824 1073778376 140736747118336 140543878224936 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25183/tid=25194] ppid=25180 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/25183/task/25194/stat : 25194 (java) S 25180 25183 24550 0 -1 4202560 70 0 0 0 0 2 0 0 20 0 19 0 28867359 9856040960 108124 33554432000 1073741824 1073778376 140736747118336 140543866026088 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25183/tid=25195] ppid=25180 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25183/task/25195/stat : 25195 (java) S 25180 25183 24550 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 28867360 9856040960 108124 33554432000 1073741824 1073778376 140736747118336 140543864972408 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25183/tid=25196] ppid=25180 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25183/task/25196/stat : 25196 (java) S 25180 25183 24550 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 28867360 9856040960 108124 33554432000 1073741824 1073778376 140736747118336 140543863919752 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25183/tid=25197] ppid=25180 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25183/task/25197/stat : 25197 (java) S 25180 25183 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28867362 9856040960 108124 33554432000 1073741824 1073778376 140736747118336 140543862868496 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25183/tid=25198] ppid=25180 vsize=9625040 CPUtime=0.55 cores=0,2,4,6
/proc/25183/task/25198/stat : 25198 (java) S 25180 25183 24550 0 -1 4202560 3583 0 0 0 53 2 0 0 20 0 19 0 28867363 9856040960 108124 33554432000 1073741824 1073778376 140736747118336 140543861815864 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25183/tid=25199] ppid=25180 vsize=9625040 CPUtime=0.42 cores=0,2,4,6
/proc/25183/task/25199/stat : 25199 (java) S 25180 25183 24550 0 -1 4202560 2664 0 0 0 42 0 0 0 20 0 19 0 28867363 9856040960 108124 33554432000 1073741824 1073778376 140736747118336 140543860763320 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25183/tid=25200] ppid=25180 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25183/task/25200/stat : 25200 (java) S 25180 25183 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28867363 9856040960 108124 33554432000 1073741824 1073778376 140736747118336 140543859710968 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25183/tid=25201] ppid=25180 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/25183/task/25201/stat : 25201 (java) S 25180 25183 24550 0 -1 4202560 104 0 0 0 19 13 0 0 20 0 19 0 28867363 9856040960 108124 33554432000 1073741824 1073778376 140736747118336 140543858658632 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25183/tid=25202] ppid=25180 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25183/task/25202/stat : 25202 (java) S 25180 25183 24550 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 28867389 9856040960 108124 33554432000 1073741824 1073778376 140736747118336 140543857603368 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1784.77
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1797.6 s]
/proc/loadavg: 2.00 2.02 2.00 3/213 25335
/proc/meminfo: memFree=30762648/32872528 swapFree=338416/354768
[pid=25183] ppid=25180 vsize=9625040 CPUtime=1800.07 cores=0,2,4,6
/proc/25183/stat : 25183 (java) S 25180 25183 24550 0 -1 4202496 11204 0 1 0 179952 55 0 0 20 0 19 0 28867357 9856040960 108124 33554432000 1073741824 1073778376 140736747118336 140736747109472 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25183/statm: 2406260 108124 2280 9 0 2396937 0
[pid=25183/tid=25184] ppid=25180 vsize=9625040 CPUtime=1796.91 cores=0,2,4,6
/proc/25183/task/25184/stat : 25184 (java) R 25180 25183 24550 0 -1 4202560 2505 0 1 0 179657 34 0 0 20 0 19 0 28867357 9856040960 108124 33554432000 1073741824 1073778376 140736747118336 140544377941712 140544232217568 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25183/tid=25186] ppid=25180 vsize=9625040 CPUtime=0.24 cores=0,2,4,6
/proc/25183/task/25186/stat : 25186 (java) S 25180 25183 24550 0 -1 4202560 194 0 0 0 20 4 0 0 20 0 19 0 28867358 9856040960 108124 33554432000 1073741824 1073778376 140736747118336 140544350402728 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25183/tid=25187] ppid=25180 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/25183/task/25187/stat : 25187 (java) S 25180 25183 24550 0 -1 4202560 184 0 0 0 17 4 0 0 20 0 19 0 28867358 9856040960 108124 33554432000 1073741824 1073778376 140736747118336 140544220637480 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25183/tid=25188] ppid=25180 vsize=9625040 CPUtime=0.23 cores=0,2,4,6
/proc/25183/task/25188/stat : 25188 (java) S 25180 25183 24550 0 -1 4202560 66 0 0 0 19 4 0 0 20 0 19 0 28867358 9856040960 108124 33554432000 1073741824 1073778376 140736747118336 140544219584936 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25183/tid=25189] ppid=25180 vsize=9625040 CPUtime=0.2 cores=0,2,4,6
/proc/25183/task/25189/stat : 25189 (java) S 25180 25183 24550 0 -1 4202560 177 0 0 0 17 3 0 0 20 0 19 0 28867358 9856040960 108124 33554432000 1073741824 1073778376 140736747118336 140544218532392 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25183/tid=25190] ppid=25180 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/25183/task/25190/stat : 25190 (java) S 25180 25183 24550 0 -1 4202560 207 0 0 0 27 5 0 0 20 0 19 0 28867358 9856040960 108124 33554432000 1073741824 1073778376 140736747118336 140544217479848 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25183/tid=25191] ppid=25180 vsize=9625040 CPUtime=0.23 cores=0,2,4,6
/proc/25183/task/25191/stat : 25191 (java) S 25180 25183 24550 0 -1 4202560 88 0 0 0 18 5 0 0 20 0 19 0 28867358 9856040960 108124 33554432000 1073741824 1073778376 140736747118336 140544216427304 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25183/tid=25192] ppid=25180 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/25183/task/25192/stat : 25192 (java) S 25180 25183 24550 0 -1 4202560 53 0 0 0 18 3 0 0 20 0 19 0 28867358 9856040960 108124 33554432000 1073741824 1073778376 140736747118336 140543879277480 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25183/tid=25193] ppid=25180 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/25183/task/25193/stat : 25193 (java) S 25180 25183 24550 0 -1 4202560 46 0 0 0 19 2 0 0 20 0 19 0 28867358 9856040960 108124 33554432000 1073741824 1073778376 140736747118336 140543878224936 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25183/tid=25194] ppid=25180 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/25183/task/25194/stat : 25194 (java) S 25180 25183 24550 0 -1 4202560 70 0 0 0 0 2 0 0 20 0 19 0 28867359 9856040960 108124 33554432000 1073741824 1073778376 140736747118336 140543866026088 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25183/tid=25195] ppid=25180 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25183/task/25195/stat : 25195 (java) S 25180 25183 24550 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 28867360 9856040960 108124 33554432000 1073741824 1073778376 140736747118336 140543864972408 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25183/tid=25196] ppid=25180 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25183/task/25196/stat : 25196 (java) S 25180 25183 24550 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 28867360 9856040960 108124 33554432000 1073741824 1073778376 140736747118336 140543863919752 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25183/tid=25197] ppid=25180 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25183/task/25197/stat : 25197 (java) S 25180 25183 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28867362 9856040960 108124 33554432000 1073741824 1073778376 140736747118336 140543862868496 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25183/tid=25198] ppid=25180 vsize=9625040 CPUtime=0.55 cores=0,2,4,6
/proc/25183/task/25198/stat : 25198 (java) S 25180 25183 24550 0 -1 4202560 3583 0 0 0 53 2 0 0 20 0 19 0 28867363 9856040960 108124 33554432000 1073741824 1073778376 140736747118336 140543861815864 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25183/tid=25199] ppid=25180 vsize=9625040 CPUtime=0.42 cores=0,2,4,6
/proc/25183/task/25199/stat : 25199 (java) S 25180 25183 24550 0 -1 4202560 2664 0 0 0 42 0 0 0 20 0 19 0 28867363 9856040960 108124 33554432000 1073741824 1073778376 140736747118336 140543860763320 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25183/tid=25200] ppid=25180 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25183/task/25200/stat : 25200 (java) S 25180 25183 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28867363 9856040960 108124 33554432000 1073741824 1073778376 140736747118336 140543859710968 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25183/tid=25201] ppid=25180 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/25183/task/25201/stat : 25201 (java) S 25180 25183 24550 0 -1 4202560 104 0 0 0 19 13 0 0 20 0 19 0 28867363 9856040960 108124 33554432000 1073741824 1073778376 140736747118336 140543858658632 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25183/tid=25202] ppid=25180 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25183/task/25202/stat : 25202 (java) S 25180 25183 24550 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 28867389 9856040960 108124 33554432000 1073741824 1073778376 140736747118336 140543857603368 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 9625040

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

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

Child status: 143
Real time (s): 1797.65
CPU time (s): 1800.41
CPU user time (s): 1799.46
CPU system time (s): 0.951855
CPU usage (%): 100.154
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.46
system time used= 0.951855
maximum resident set size= 438268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11252
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1224
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38546
involuntary context switches= 17110

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.8605 second user time and 12.916 second system time

The end

Launcher Data 

Begin job on node126 at 2016-06-18 18:43:26
IDJOB=4105917
IDBENCH=24958
IDSOLVER=2546
FILE ID=node126/4105917-1466268206
RUNJOBID= node126-1466264639-24566
PBS_JOBID= 19918224
Free space on /tmp= 71736 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/reduced/submittedPB07/aksoy/trarea_ac/normalized-reduced-fir04_trarea_ac.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4105917-1466268206/watcher-4105917-1466268206 -o /tmp/evaluation-result-4105917-1466268206/solver-4105917-1466268206 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1466264639-24566 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4105917-1466268206.opb

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

MD5SUM BENCH= 1312c6b0204e50ac57a7790cd1d32db9
RANDOM SEED=1550388276

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.121
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:        30738716 kB
Buffers:          134424 kB
Cached:           250412 kB
SwapCached:         1736 kB
Active:           730668 kB
Inactive:         306344 kB
Active(anon):     649884 kB
Inactive(anon):     4412 kB
Active(file):      80784 kB
Inactive(file):   301932 kB
Unevictable:      354768 kB
Mlocked:          338416 kB
SwapTotal:      67108856 kB
SwapFree:       67100232 kB
Dirty:               836 kB
Writeback:             0 kB
AnonPages:       1007884 kB
Mapped:            17128 kB
Shmem:                 0 kB
Slab:             606552 kB
SReclaimable:      49580 kB
SUnreclaim:       556972 kB
KernelStack:        1600 kB
PageTables:         6920 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1173136 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    630784 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71736 MiB
End job on node126 at 2016-06-18 19:13:24