Trace number 4088708

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j PB 2.3.6 Res+CP PB16? (TO) 1800.12 894.399

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/
EC_ODD_GRIDS/normalized-ECgrid5x110split.opb
MD5SUM89362364de17fe2ed91e08469c5a6887
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark443.131
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1101
Total number of constraints551
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)551
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint4
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 6
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.12	c Pseudo Boolean Optimization by upper bound
0.09/0.12	c ManyCore solver with 2 solvers running in parallel
0.09/0.12	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.12	c Expensive reason simplification
0.09/0.12	c Glucose 2.1 dynamic restart strategy
0.09/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.09/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.09/0.12	c No reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-4088708-1466010711.opb
0.09/0.12	c reading problem ... 
0.09/0.12	c  no objective function found
0.24/0.24	c ... done. Wall clock time 0.116s.
0.24/0.24	c declared #vars     1101
0.24/0.24	c #constraints  1102
0.24/0.24	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.24/0.24	c constraints type 
0.24/0.24	c org.sat4j.minisat.constraints.card.MinWatchCard => 1100
0.24/0.24	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 2
0.24/0.24	c 1102 constraints processed.
0.24/0.24	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.24/0.24	c constraints type 
0.24/0.24	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2
0.24/0.24	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1100
0.24/0.24	c 1102 constraints processed.
1.77/0.66	c cleaning 2493 clauses out of 5001 with flag 21533/5001
2.57/0.87	c cleaning 4243 clauses out of 8508 with flag 45484/11001
4.55/1.35	c cleaning 5630 clauses out of 11266 with flag 79114/18002
5.20/1.55	c cleaning 6770 clauses out of 13634 with flag 116407/26000
5.63/1.72	c cleaning 7906 clauses out of 15864 with flag 160003/35000
5.63/1.74	c cleaning 0 clauses out of 5000 with flag 0/5000
6.24/1.93	c cleaning 8915 clauses out of 17958 with flag 213501/45000
6.71/2.18	c cleaning 9996 clauses out of 20046 with flag 270916/56003
7.46/2.42	c cleaning 10970 clauses out of 22048 with flag 336813/68001
8.09/2.74	c cleaning 12000 clauses out of 24078 with flag 409610/81001
8.68/3.05	c cleaning 12989 clauses out of 26078 with flag 483758/95001
9.54/3.43	c cleaning 13999 clauses out of 28088 with flag 566153/110000
9.93/3.69	c cleaning 0 clauses out of 11000 with flag 0/11000
10.33/3.81	c cleaning 15005 clauses out of 30089 with flag 656120/126000
11.18/4.26	c cleaning 16019 clauses out of 32085 with flag 752944/143001
12.18/4.79	c cleaning 17013 clauses out of 34065 with flag 856382/161000
13.38/5.35	c cleaning 17974 clauses out of 36053 with flag 968228/180001
14.42/5.89	c cleaning 19008 clauses out of 38079 with flag 1081597/200001
15.62/6.43	c cleaning 20010 clauses out of 40070 with flag 1198531/221000
16.82/7.08	c cleaning 20966 clauses out of 42060 with flag 1326324/243000
17.86/7.59	c cleaning 0 clauses out of 18000 with flag 0/18000
18.48/7.86	c cleaning 22028 clauses out of 44094 with flag 1458989/266000
19.86/8.54	c cleaning 22974 clauses out of 46066 with flag 1587752/290000
21.26/9.28	c cleaning 24006 clauses out of 48092 with flag 1718594/315000
23.11/10.10	c cleaning 24993 clauses out of 50087 with flag 1860395/341001
24.70/10.99	c cleaning 25974 clauses out of 52093 with flag 2009289/368000
26.50/11.88	c cleaning 27002 clauses out of 54119 with flag 2156528/396000
28.56/12.88	c cleaning 27988 clauses out of 56117 with flag 2307322/425000
30.76/13.92	c cleaning 29017 clauses out of 58129 with flag 2468826/455000
31.16/14.19	c cleaning 0 clauses out of 26000 with flag 0/26000
32.97/15.05	c cleaning 30008 clauses out of 60113 with flag 2639118/486001
35.22/16.18	c cleaning 30999 clauses out of 62105 with flag 2807443/518001
37.62/17.33	c cleaning 32006 clauses out of 64105 with flag 2978889/551000
40.02/18.58	c cleaning 32995 clauses out of 66099 with flag 3153918/585000
42.88/20.00	c cleaning 33997 clauses out of 68105 with flag 3340478/620001
45.66/21.33	c cleaning 35010 clauses out of 70107 with flag 3528780/656000
48.66/22.80	c cleaning 35987 clauses out of 72097 with flag 3717124/693000
51.54/24.29	c cleaning 0 clauses out of 35001 with flag 0/35001
51.74/24.30	c cleaning 37035 clauses out of 74111 with flag 3911493/731001
54.72/25.89	c cleaning 38004 clauses out of 76076 with flag 4116720/770001
58.14/27.54	c cleaning 38972 clauses out of 78071 with flag 4321885/810000
61.78/29.34	c cleaning 40038 clauses out of 80100 with flag 4530847/851001
65.17/31.09	c cleaning 41018 clauses out of 82061 with flag 4742346/893000
69.02/32.97	c cleaning 41949 clauses out of 84043 with flag 4958095/936000
72.82/34.88	c cleaning 43002 clauses out of 86094 with flag 5177290/980000
77.25/37.03	c cleaning 44029 clauses out of 88093 with flag 5405646/1025001
79.67/38.26	c cleaning 0 clauses out of 45000 with flag 0/45000
81.66/39.23	c cleaning 44978 clauses out of 90063 with flag 5634922/1071000
86.31/41.53	c cleaning 45983 clauses out of 92086 with flag 5871720/1118001
91.31/44.03	c cleaning 47016 clauses out of 94103 with flag 6115161/1166001
95.97/46.33	c cleaning 48023 clauses out of 96086 with flag 6353214/1215000
101.15/48.92	c cleaning 49023 clauses out of 98064 with flag 6612203/1265001
106.21/51.45	c cleaning 49961 clauses out of 100040 with flag 6864198/1316000
111.46/54.03	c cleaning 51021 clauses out of 102079 with flag 7117002/1368000
116.92/56.71	c cleaning 51987 clauses out of 104058 with flag 7369513/1421000
120.13/58.34	c cleaning 0 clauses out of 56001 with flag 0/56001
122.76/59.65	c cleaning 53010 clauses out of 106071 with flag 7629771/1475000
129.05/62.72	c cleaning 53989 clauses out of 108063 with flag 7893926/1530002
135.04/65.72	c cleaning 54992 clauses out of 110072 with flag 8167102/1586000
141.89/69.19	c cleaning 56011 clauses out of 112080 with flag 8449216/1643000
148.55/72.46	c cleaning 57005 clauses out of 114069 with flag 8719848/1701000
155.62/75.94	c cleaning 58007 clauses out of 116065 with flag 9000641/1760001
162.28/79.29	c cleaning 59004 clauses out of 118058 with flag 9282347/1820001
169.70/82.96	c cleaning 59965 clauses out of 120054 with flag 9575499/1881001
177.57/86.82	c cleaning 61026 clauses out of 122089 with flag 9873952/1943001
182.38/89.21	c cleaning 0 clauses out of 68001 with flag 0/68001
185.03/90.59	c cleaning 61989 clauses out of 124063 with flag 10169068/2006001
192.67/94.37	c cleaning 62998 clauses out of 126076 with flag 10468472/2070003
201.69/98.81	c cleaning 64020 clauses out of 128075 with flag 10778970/2135000
210.31/103.12	c cleaning 64986 clauses out of 130056 with flag 11088412/2201001
218.76/107.39	c cleaning 65993 clauses out of 132069 with flag 11392770/2268000
228.61/112.25	c cleaning 67009 clauses out of 134076 with flag 11702941/2336000
237.85/116.86	c cleaning 67983 clauses out of 136067 with flag 12016804/2405000
246.93/121.39	c cleaning 69022 clauses out of 138085 with flag 12331033/2475001
256.66/126.11	c cleaning 70017 clauses out of 140062 with flag 12656016/2546000
266.34/130.95	c cleaning 70991 clauses out of 142045 with flag 12986064/2618000
277.25/136.32	c cleaning 71995 clauses out of 144054 with flag 13313790/2691000
286.91/141.11	c cleaning 0 clauses out of 81001 with flag 0/81001
287.31/141.31	c cleaning 72997 clauses out of 146060 with flag 13648955/2765001
298.38/146.85	c cleaning 74020 clauses out of 148063 with flag 13992100/2840001
309.41/152.33	c cleaning 74987 clauses out of 150042 with flag 14337998/2916000
321.47/158.32	c cleaning 75992 clauses out of 152055 with flag 14691896/2993000
333.57/164.34	c cleaning 77007 clauses out of 154065 with flag 15046809/3071002
344.81/170.00	c cleaning 78013 clauses out of 156056 with flag 15396923/3150000
358.14/176.59	c cleaning 78993 clauses out of 158044 with flag 15758421/3230001
371.84/183.31	c cleaning 79992 clauses out of 160051 with flag 16124249/3311001
384.69/189.78	c cleaning 81009 clauses out of 162059 with flag 16485351/3393001
398.60/196.60	c cleaning 81994 clauses out of 164050 with flag 16857029/3476001
411.24/202.99	c cleaning 82997 clauses out of 166056 with flag 17224485/3560001
425.53/210.02	c cleaning 83999 clauses out of 168058 with flag 17596110/3645000
425.75/210.11	c cleaning 0 clauses out of 95000 with flag 0/95000
439.58/217.07	c cleaning 84995 clauses out of 170059 with flag 17976793/3731000
454.25/224.30	c cleaning 85991 clauses out of 172066 with flag 18351018/3818002
469.31/231.84	c cleaning 87027 clauses out of 174073 with flag 18736296/3906000
484.41/239.30	c cleaning 87994 clauses out of 176047 with flag 19129355/3995001
498.52/246.32	c cleaning 88998 clauses out of 178054 with flag 19504355/4085002
513.43/253.80	c cleaning 90001 clauses out of 180056 with flag 19887325/4176002
529.30/261.65	c cleaning 91001 clauses out of 182055 with flag 20281089/4268002
545.00/269.44	c cleaning 91998 clauses out of 184053 with flag 20673559/4361001
560.99/277.36	c cleaning 93019 clauses out of 186055 with flag 21076147/4455001
578.46/286.01	c cleaning 93992 clauses out of 188036 with flag 21476938/4550001
594.71/294.14	c cleaning 94989 clauses out of 190044 with flag 21874458/4646001
612.61/303.01	c cleaning 96018 clauses out of 192055 with flag 22284584/4743001
629.11/311.25	c cleaning 96993 clauses out of 194036 with flag 22692769/4841000
631.72/312.54	c cleaning 0 clauses out of 110000 with flag 0/110000
647.44/320.53	c cleaning 97988 clauses out of 196043 with flag 23102250/4940000
664.71/329.19	c cleaning 99012 clauses out of 198055 with flag 23513906/5040000
682.27/337.83	c cleaning 99986 clauses out of 200043 with flag 23926445/5141000
700.17/346.78	c cleaning 101012 clauses out of 202058 with flag 24341350/5243001
718.07/355.62	c cleaning 102001 clauses out of 204047 with flag 24758836/5346002
736.96/365.07	c cleaning 103002 clauses out of 206045 with flag 25186305/5450001
755.70/374.38	c cleaning 103990 clauses out of 208045 with flag 25611068/5555003
775.30/384.06	c cleaning 105011 clauses out of 210053 with flag 26041535/5661001
793.76/393.26	c cleaning 106006 clauses out of 212041 with flag 26469578/5768000
815.32/403.97	c cleaning 106980 clauses out of 214035 with flag 26919379/5876000
835.20/413.83	c cleaning 108016 clauses out of 216055 with flag 27354334/5985000
852.55/422.48	c cleaning 0 clauses out of 126001 with flag 0/126001
857.22/424.73	c cleaning 109001 clauses out of 218040 with flag 27795575/6095001
877.71/434.99	c cleaning 110007 clauses out of 220039 with flag 28226600/6206001
898.38/445.20	c cleaning 110996 clauses out of 222031 with flag 28672826/6318000
918.72/455.39	c cleaning 112010 clauses out of 224036 with flag 29105063/6431001
940.29/466.05	c cleaning 113006 clauses out of 226028 with flag 29549939/6545003
963.04/477.57	c cleaning 113985 clauses out of 228020 with flag 29995776/6660001
985.26/488.65	c cleaning 115007 clauses out of 230035 with flag 30451013/6776001
1008.71/500.29	c cleaning 116005 clauses out of 232027 with flag 30904065/6893000
1031.42/511.59	c cleaning 116995 clauses out of 234022 with flag 31367314/7011000
1054.53/523.00	c cleaning 117995 clauses out of 236027 with flag 31828788/7130000
1076.46/533.96	c cleaning 119004 clauses out of 238032 with flag 32284232/7250000
1098.96/545.12	c cleaning 120004 clauses out of 240029 with flag 32743196/7371001
1122.48/556.87	c cleaning 120987 clauses out of 242024 with flag 33201258/7493000
1146.44/568.75	c cleaning 122010 clauses out of 244038 with flag 33665358/7616001
1171.19/581.07	c cleaning 123001 clauses out of 246027 with flag 34139508/7740000
1197.90/594.33	c cleaning 123988 clauses out of 248027 with flag 34631799/7865001
1209.56/600.14	c cleaning 0 clauses out of 143001 with flag 0/143001
1221.46/606.02	c cleaning 125011 clauses out of 250038 with flag 35089818/7991000
1248.62/619.53	c cleaning 125993 clauses out of 252030 with flag 35576166/8118003
1274.99/632.66	c cleaning 126987 clauses out of 254034 with flag 36069923/8246000
1301.72/645.97	c cleaning 128011 clauses out of 256047 with flag 36556262/8375000
1329.30/659.63	c cleaning 128990 clauses out of 258037 with flag 37041482/8505001
1356.12/673.23	c cleaning 130006 clauses out of 260047 with flag 37524290/8636001
1383.31/686.71	c cleaning 131015 clauses out of 262041 with flag 38017257/8768001
1411.49/700.80	c cleaning 131994 clauses out of 264026 with flag 38510796/8901001
1443.85/716.87	c cleaning 132994 clauses out of 266032 with flag 39032077/9035001
1470.61/730.19	c cleaning 134000 clauses out of 268037 with flag 39525125/9170000
1498.15/743.89	c cleaning 135003 clauses out of 270038 with flag 40013335/9306001
1527.97/758.65	c cleaning 136005 clauses out of 272034 with flag 40519754/9443000
1557.13/773.13	c cleaning 136996 clauses out of 274030 with flag 41026677/9581001
1588.92/788.97	c cleaning 138008 clauses out of 276034 with flag 41552465/9720001
1611.66/800.28	c cleaning 0 clauses out of 161000 with flag 0/161000
1620.10/804.41	c cleaning 138990 clauses out of 278028 with flag 42076272/9860003
1649.04/818.89	c cleaning 140006 clauses out of 280036 with flag 42595514/10001001
1680.64/834.54	c cleaning 140994 clauses out of 282030 with flag 43116377/10143001
1713.84/851.06	c cleaning 142001 clauses out of 284035 with flag 43653953/10286000
1750.12/869.44	c cleaning 143003 clauses out of 286035 with flag 44199263/10430001
1783.02/885.88	c cleaning 144008 clauses out of 288033 with flag 44722932/10575002
1800.12/894.31	c >>>>>>>>>> Solver number 0 (0 answers) <<<<<<<<<<<<<<<<<<
1800.12/894.31	c starts		: 8148
1800.12/894.31	c conflicts		: 10653825
1800.12/894.31	c decisions		: 15103711
1800.12/894.31	c propagations		: 115650710
1800.12/894.31	c inspects		: 17246775737
1800.12/894.31	c shortcuts		: 0
1800.12/894.31	c learnt literals	: 0
1800.12/894.31	c learnt binary clauses	: 0
1800.12/894.31	c learnt ternary clauses	: 0
1800.12/894.31	c learnt constraints	: 10653825
1800.12/894.31	c ignored constraints	: 0
1800.12/894.31	c root simplifications	: 0
1800.12/894.31	c removed literals (reason simplification)	: 9793498
1800.12/894.31	c reason swapping (by a shorter reason)	: 0
1800.12/894.31	c Calls to reduceDB	: 141
1800.12/894.31	c Number of update (reduction) of LBD	: 2316542
1800.12/894.31	c Imported unit clauses	: 0
1800.12/894.31	c number of reductions to clauses (during analyze)	: 0
1800.12/894.31	c number of learned constraints concerned by reduction	: 0
1800.12/894.31	c number of learning phase by resolution	: 0
1800.12/894.31	c number of learning phase by cutting planes	: 0
1800.12/894.31	c speed (assignments/second)	: 129354.0947338163
1800.12/894.31	c non guided choices	1108616
1800.12/894.34	c learnt constraints type 
1800.12/894.34	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 222848
1800.12/894.34	c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<<
1800.12/894.34	c starts		: 108
1800.12/894.34	c conflicts		: 172279
1800.12/894.34	c decisions		: 249991
1800.12/894.34	c propagations		: 1719997
1800.12/894.34	c inspects		: 2060293236
1800.12/894.34	c shortcuts		: 0
1800.12/894.34	c learnt literals	: 0
1800.12/894.34	c learnt binary clauses	: 0
1800.12/894.34	c learnt ternary clauses	: 0
1800.12/894.34	c learnt constraints	: 172278
1800.12/894.34	c ignored constraints	: 0
1800.12/894.34	c root simplifications	: 0
1800.12/894.34	c removed literals (reason simplification)	: 0
1800.12/894.34	c reason swapping (by a shorter reason)	: 0
1800.12/894.34	c Calls to reduceDB	: 14
1800.12/894.34	c Number of update (reduction) of LBD	: 0
1800.12/894.34	c Imported unit clauses	: 0
1800.12/894.34	c number of reductions to clauses (during analyze)	: 0
1800.12/894.34	c number of learned constraints concerned by reduction	: 0
1800.12/894.34	c number of learning phase by resolution	: 0
1800.12/894.34	c number of learning phase by cutting planes	: 0
1800.12/894.34	c speed (assignments/second)	: 1923.725278129778
1800.12/894.34	c non guided choices	9078
1800.12/894.38	c learnt constraints type 
1800.12/894.38	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 21679
1800.12/894.38	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 173
1800.12/894.38	c org.sat4j.pb.constraints.pb.MaxWatchPb => 150426
1800.12/894.38	s UNKNOWN
1800.12/894.38	c Total wall clock time (in seconds): 894.261

Verifier Data 

ERROR: no interpretation found !

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-4088708-1466010711/watcher-4088708-1466010711 -o /tmp/evaluation-result-4088708-1466010711/solver-4088708-1466010711 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1466008022-5562 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4088708-1466010711.opb 

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

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


[startup+0 s]
/proc/loadavg: 4.08 4.11 4.09 5/197 6724
/proc/meminfo: memFree=27973524/32872528 swapFree=1073728/1155488
[pid=6724] ppid=6721 vsize=2500 CPUtime=0 cores=1,3,5,7
/proc/6724/stat : 6724 (java) D 6721 6724 5545 0 -1 4202496 376 0 0 0 0 0 0 0 20 0 1 0 3120348 2560000 46 33554432000 1073741824 1073778376 140737413098560 140737413095688 219504799015 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/6724/statm: 625 46 37 9 0 29 0

[startup+0.100117 s]
/proc/loadavg: 4.08 4.11 4.09 5/197 6724
/proc/meminfo: memFree=27973524/32872528 swapFree=1073728/1155488
[pid=6724] ppid=6721 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/6724/stat : 6724 (java) S 6721 6724 5545 0 -1 4202496 4418 0 1 0 8 1 0 0 20 0 18 0 3120348 9787879424 6038 33554432000 1073741824 1073778376 140737413098560 140737413089696 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6724/statm: 2389619 6038 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200286 s]
/proc/loadavg: 4.08 4.11 4.09 5/197 6724
/proc/meminfo: memFree=27973524/32872528 swapFree=1073728/1155488
[pid=6724] ppid=6721 vsize=9558476 CPUtime=0.24 cores=1,3,5,7
/proc/6724/stat : 6724 (java) S 6721 6724 5545 0 -1 4202496 4973 0 1 0 23 1 0 0 20 0 18 0 3120348 9787879424 9548 33554432000 1073741824 1073778376 140737413098560 140737413089696 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6724/statm: 2389619 9548 2218 9 0 2380296 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9558476

[startup+0.300232 s]
/proc/loadavg: 4.08 4.11 4.09 5/197 6724
/proc/meminfo: memFree=27973524/32872528 swapFree=1073728/1155488
[pid=6724] ppid=6721 vsize=9824732 CPUtime=0.57 cores=1,3,5,7
/proc/6724/stat : 6724 (java) S 6721 6724 5545 0 -1 4202496 7175 0 1 0 55 2 0 0 20 0 22 0 3120348 10060525568 14309 33554432000 1073741824 1073778376 140737413098560 140737413089696 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6724/statm: 2456183 14309 2246 9 0 2446860 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 9824732

[startup+0.700175 s]
/proc/loadavg: 4.08 4.11 4.09 5/197 6724
/proc/meminfo: memFree=27973524/32872528 swapFree=1073728/1155488
[pid=6724] ppid=6721 vsize=9824732 CPUtime=2.17 cores=1,3,5,7
/proc/6724/stat : 6724 (java) S 6721 6724 5545 0 -1 4202496 15393 0 1 0 213 4 0 0 20 0 22 0 3120348 10060525568 29708 33554432000 1073741824 1073778376 140737413098560 140737413089696 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6724/statm: 2456183 29708 2261 9 0 2446860 0
Current children cumulated CPU time (s) 2.17
Current children cumulated vsize (KiB) 9824732

[startup+1.50095 s]
/proc/loadavg: 4.08 4.11 4.09 8/219 6746
/proc/meminfo: memFree=27796912/32872528 swapFree=1073728/1155488
[pid=6724] ppid=6721 vsize=9824732 CPUtime=5.2 cores=1,3,5,7
/proc/6724/stat : 6724 (java) S 6721 6724 5545 0 -1 4202496 24691 0 1 0 512 8 0 0 20 0 22 0 3120348 10060525568 51833 33554432000 1073741824 1073778376 140737413098560 140737413089696 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6724/statm: 2456183 51833 2279 9 0 2446860 0
[pid=6724/tid=6726] ppid=6721 vsize=9824732 CPUtime=0.21 cores=1,3,5,7
/proc/6724/task/6726/stat : 6726 (java) S 6721 6724 5545 0 -1 4202560 2432 0 1 0 19 2 0 0 20 0 22 0 3120349 10060525568 51833 33554432000 1073741824 1073778376 140737413098560 140656362533752 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6724/tid=6727] ppid=6721 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6724/task/6727/stat : 6727 (java) S 6721 6724 5545 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 3120350 10060525568 51833 33554432000 1073741824 1073778376 140737413098560 140656206580264 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6724/tid=6728] ppid=6721 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6724/task/6728/stat : 6728 (java) S 6721 6724 5545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3120350 10060525568 51833 33554432000 1073741824 1073778376 140737413098560 140656205527464 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6724/tid=6729] ppid=6721 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6724/task/6729/stat : 6729 (java) S 6721 6724 5545 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 3120350 10060525568 51833 33554432000 1073741824 1073778376 140737413098560 140656204474664 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6724/tid=6730] ppid=6721 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6724/task/6730/stat : 6730 (java) S 6721 6724 5545 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 3120350 10060525568 51833 33554432000 1073741824 1073778376 140737413098560 140656203421864 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6724/tid=6731] ppid=6721 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6724/task/6731/stat : 6731 (java) S 6721 6724 5545 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 3120350 10060525568 51833 33554432000 1073741824 1073778376 140737413098560 140656202370088 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6724/tid=6732] ppid=6721 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6724/task/6732/stat : 6732 (java) S 6721 6724 5545 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 3120350 10060525568 51833 33554432000 1073741824 1073778376 140737413098560 140656201317288 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6724/tid=6733] ppid=6721 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6724/task/6733/stat : 6733 (java) S 6721 6724 5545 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 3120350 10060525568 51833 33554432000 1073741824 1073778376 140737413098560 140656200264488 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6724/tid=6734] ppid=6721 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6724/task/6734/stat : 6734 (java) S 6721 6724 5545 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 3120350 10060525568 51833 33554432000 1073741824 1073778376 140737413098560 140656199211688 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6724/tid=6735] ppid=6721 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6724/task/6735/stat : 6735 (java) S 6721 6724 5545 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 22 0 3120351 10060525568 51833 33554432000 1073741824 1073778376 140737413098560 140656186800616 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6724/tid=6736] ppid=6721 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6724/task/6736/stat : 6736 (java) S 6721 6724 5545 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 3120351 10060525568 51833 33554432000 1073741824 1073778376 140737413098560 140656185746680 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6724/tid=6737] ppid=6721 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6724/task/6737/stat : 6737 (java) S 6721 6724 5545 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 3120351 10060525568 51833 33554432000 1073741824 1073778376 140737413098560 140656184693768 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6724/tid=6738] ppid=6721 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6724/task/6738/stat : 6738 (java) S 6721 6724 5545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3120354 10060525568 51833 33554432000 1073741824 1073778376 140737413098560 140656183642256 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6724/tid=6739] ppid=6721 vsize=9824732 CPUtime=1.21 cores=1,3,5,7
/proc/6724/task/6739/stat : 6739 (java) S 6721 6724 5545 0 -1 4202560 10270 0 0 0 119 2 0 0 20 0 22 0 3120354 10060525568 51833 33554432000 1073741824 1073778376 140737413098560 140656182590392 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6724/tid=6740] ppid=6721 vsize=9824732 CPUtime=1.22 cores=1,3,5,7
/proc/6724/task/6740/stat : 6740 (java) S 6721 6724 5545 0 -1 4202560 10494 0 0 0 120 2 0 0 20 0 22 0 3120354 10060525568 51833 33554432000 1073741824 1073778376 140737413098560 140656181537592 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6724/tid=6741] ppid=6721 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6724/task/6741/stat : 6741 (java) S 6721 6724 5545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3120354 10060525568 51833 33554432000 1073741824 1073778376 140737413098560 140656180484984 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6724/tid=6742] ppid=6721 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6724/task/6742/stat : 6742 (java) S 6721 6724 5545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3120354 10060525568 51833 33554432000 1073741824 1073778376 140737413098560 140656179432392 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6724/tid=6743] ppid=6721 vsize=9824732 CPUtime=1.21 cores=1,3,5,7
/proc/6724/task/6743/stat : 6743 (java) R 6721 6724 5545 0 -1 4202560 22 0 0 0 121 0 0 0 20 0 22 0 3120372 10060525568 51833 33554432000 1073741824 1073778376 140737413098560 140656178328472 140656234679047 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=6724/tid=6744] ppid=6721 vsize=9824732 CPUtime=1.22 cores=1,3,5,7
/proc/6724/task/6744/stat : 6744 (java) R 6721 6724 5545 0 -1 4202560 87 0 0 0 120 2 0 0 20 0 22 0 3120372 10060525568 51833 33554432000 1073741824 1073778376 140737413098560 140656177274392 140656234750379 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=6724/tid=6745] ppid=6721 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6724/task/6745/stat : 6745 (java) S 6721 6724 5545 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 3120372 10060525568 51833 33554432000 1073741824 1073778376 140737413098560 140656176223144 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6724/tid=6746] ppid=6721 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6724/task/6746/stat : 6746 (java) S 6721 6724 5545 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 3120372 10060525568 51833 33554432000 1073741824 1073778376 140737413098560 140656175170344 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 5.2
Current children cumulated vsize (KiB) 9824732

[startup+3.10087 s]
/proc/loadavg: 4.08 4.11 4.09 7/219 6746
/proc/meminfo: memFree=27652436/32872528 swapFree=1073728/1155488
[pid=6724] ppid=6721 vsize=9824732 CPUtime=8.89 cores=1,3,5,7
/proc/6724/stat : 6724 (java) S 6721 6724 5545 0 -1 4202496 26716 0 1 0 874 15 0 0 20 0 22 0 3120348 10060525568 122273 33554432000 1073741824 1073778376 140737413098560 140737413089696 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6724/statm: 2456183 122273 2279 9 0 2446860 0
[pid=6724/tid=6726] ppid=6721 vsize=9824732 CPUtime=0.21 cores=1,3,5,7
/proc/6724/task/6726/stat : 6726 (java) S 6721 6724 5545 0 -1 4202560 2432 0 1 0 19 2 0 0 20 0 22 0 3120349 10060525568 122273 33554432000 1073741824 1073778376 140737413098560 140656362533752 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6724/tid=6727] ppid=6721 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/6724/task/6727/stat : 6727 (java) S 6721 6724 5545 0 -1 4202560 54 0 0 0 1 0 0 0 20 0 22 0 3120350 10060525568 122273 33554432000 1073741824 1073778376 140737413098560 140656206580264 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6724/tid=6728] ppid=6721 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/6724/task/6728/stat : 6728 (java) S 6721 6724 5545 0 -1 4202560 54 0 0 0 1 0 0 0 20 0 22 0 3120350 10060525568 122273 33554432000 1073741824 1073778376 140737413098560 140656205527464 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6724/tid=6729] ppid=6721 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/6724/task/6729/stat : 6729 (java) S 6721 6724 5545 0 -1 4202560 53 0 0 0 2 0 0 0 20 0 22 0 3120350 10060525568 122273 33554432000 1073741824 1073778376 140737413098560 140656204474664 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6724/tid=6730] ppid=6721 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/6724/task/6730/stat : 6730 (java) S 6721 6724 5545 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 22 0 3120350 10060525568 122273 33554432000 1073741824 1073778376 140737413098560 140656203421864 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6724/tid=6731] ppid=6721 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/6724/task/6731/stat : 6731 (java) S 6721 6724 5545 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 3120350 10060525568 122273 33554432000 1073741824 1073778376 140737413098560 140656202370088 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6724/tid=6732] ppid=6721 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6724/task/6732/stat : 6732 (java) S 6721 6724 5545 0 -1 4202560 60 0 0 0 0 0 0 0 20 0 22 0 3120350 10060525568 122273 33554432000 1073741824 1073778376 140737413098560 140656201317288 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6724/tid=6733] ppid=6721 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6724/task/6733/stat : 6733 (java) S 6721 6724 5545 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 3120350 10060525568 122273 33554432000 1073741824 1073778376 140737413098560 140656200264488 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6724/tid=6734] ppid=6721 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/6724/task/6734/stat : 6734 (java) S 6721 6724 5545 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 22 0 3120350 10060525568 122273 33554432000 1073741824 1073778376 140737413098560 140656199211688 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6724/tid=6735] ppid=6721 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6724/task/6735/stat : 6735 (java) S 6721 6724 5545 0 -1 4202560 188 0 0 0 0 0 0 0 20 0 22 0 3120351 10060525568 122273 33554432000 1073741824 1073778376 140737413098560 140656186800616 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6724/tid=6736] ppid=6721 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6724/task/6736/stat : 6736 (java) S 6721 6724 5545 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 3120351 10060525568 122273 33554432000 1073741824 1073778376 140737413098560 140656185746680 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6724/tid=6737] ppid=6721 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6724/task/6737/stat : 6737 (java) S 6721 6724 5545 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 3120351 10060525568 122273 33554432000 1073741824 1073778376 140737413098560 140656184693768 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6724/tid=6738] ppid=6721 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6724/task/6738/stat : 6738 (java) S 6721 6724 5545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3120354 10060525568 122273 33554432000 1073741824 1073778376 140737413098560 140656183642256 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6724/tid=6739] ppid=6721 vsize=9824732 CPUtime=1.27 cores=1,3,5,7
/proc/6724/task/6739/stat : 6739 (java) S 6721 6724 5545 0 -1 4202560 10271 0 0 0 125 2 0 0 20 0 22 0 3120354 10060525568 122273 33554432000 1073741824 1073778376 140737413098560 140656182590392 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6724/tid=6740] ppid=6721 vsize=9824732 CPUtime=1.62 cores=1,3,5,7
/proc/6724/task/6740/stat : 6740 (java) S 6721 6724 5545 0 -1 4202560 12047 0 0 0 159 3 0 0 20 0 22 0 3120354 10060525568 122273 33554432000 1073741824 1073778376 140737413098560 140656181537592 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6724/tid=6741] ppid=6721 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6724/task/6741/stat : 6741 (java) S 6721 6724 5545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3120354 10060525568 122273 33554432000 1073741824 1073778376 140737413098560 140656180484984 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6724/tid=6742] ppid=6721 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6724/task/6742/stat : 6742 (java) S 6721 6724 5545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3120354 10060525568 122273 33554432000 1073741824 1073778376 140737413098560 140656179432392 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6724/tid=6743] ppid=6721 vsize=9824732 CPUtime=2.77 cores=1,3,5,7
/proc/6724/task/6743/stat : 6743 (java) R 6721 6724 5545 0 -1 4202560 29 0 0 0 277 0 0 0 20 0 22 0 3120372 10060525568 122273 33554432000 1073741824 1073778376 140737413098560 140656178319376 140656234739649 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=6724/tid=6744] ppid=6721 vsize=9824732 CPUtime=2.75 cores=1,3,5,7
/proc/6724/task/6744/stat : 6744 (java) R 6721 6724 5545 0 -1 4202560 206 0 0 0 271 4 0 0 20 0 22 0 3120372 10060525568 122273 33554432000 1073741824 1073778376 140737413098560 140656177273736 140656234750240 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=6724/tid=6745] ppid=6721 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6724/task/6745/stat : 6745 (java) S 6721 6724 5545 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 3120372 10060525568 122273 33554432000 1073741824 1073778376 140737413098560 140656176223144 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6724/tid=6746] ppid=6721 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6724/task/6746/stat : 6746 (java) S 6721 6724 5545 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 3120372 10060525568 122273 33554432000 1073741824 1073778376 140737413098560 140656175170344 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 8.89
Current children cumulated vsize (KiB) 9824732

[startup+6.30101 s]
/proc/loadavg: 4.07 4.11 4.09 5/219 6746
/proc/meminfo: memFree=26978572/32872528 swapFree=1073728/1155488
[pid=6724] ppid=6721 vsize=9824732 CPUtime=15.42 cores=1,3,5,7
/proc/6724/stat : 6724 (java) S 6721 6724 5545 0 -1 4202496 27990 0 1 0 1513 29 0 0 20 0 22 0 3120348 10060525568 279796 33554432000 1073741824 1073778376 140737413098560 140737413089696 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6724/statm: 2456183 279796 2279 9 0 2446860 0
[pid=6724/tid=6726] ppid=6721 vsize=9824732 CPUtime=0.21 cores=1,3,5,7
/proc/6724/task/6726/stat : 6726 (java) S 6721 6724 5545 0 -1 4202560 2432 0 1 0 19 2 0 0 20 0 22 0 3120349 10060525568 279796 33554432000 1073741824 1073778376 140737413098560 140656362533752 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6724/tid=6727] ppid=6721 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/6724/task/6727/stat : 6727 (java) S 6721 6724 5545 0 -1 4202560 67 0 0 0 3 2 0 0 20 0 22 0 3120350 10060525568 279796 33554432000 1073741824 1073778376 140737413098560 140656206580264 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6724/tid=6728] ppid=6721 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/6724/task/6728/stat : 6728 (java) S 6721 6724 5545 0 -1 4202560 55 0 0 0 3 0 0 0 20 0 22 0 3120350 10060525568 279796 33554432000 1073741824 1073778376 140737413098560 140656205527464 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6724/tid=6729] ppid=6721 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/6724/task/6729/stat : 6729 (java) S 6721 6724 5545 0 -1 4202560 72 0 0 0 5 1 0 0 20 0 22 0 3120350 10060525568 279796 33554432000 1073741824 1073778376 140737413098560 140656204474664 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6724/tid=6730] ppid=6721 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/6724/task/6730/stat : 6730 (java) S 6721 6724 5545 0 -1 4202560 20 0 0 0 3 0 0 0 20 0 22 0 3120350 10060525568 279796 33554432000 1073741824 1073778376 140737413098560 140656203421864 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6724/tid=6731] ppid=6721 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/6724/task/6731/stat : 6731 (java) S 6721 6724 5545 0 -1 4202560 20 0 0 0 4 0 0 0 20 0 22 0 3120350 10060525568 279796 33554432000 1073741824 1073778376 140737413098560 140656202370088 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6724/tid=6732] ppid=6721 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/6724/task/6732/stat : 6732 (java) S 6721 6724 5545 0 -1 4202560 70 0 0 0 3 0 0 0 20 0 22 0 3120350 10060525568 279796 33554432000 1073741824 1073778376 140737413098560 140656201317288 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6724/tid=6733] ppid=6721 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/6724/task/6733/stat : 6733 (java) S 6721 6724 5545 0 -1 4202560 32 0 0 0 4 0 0 0 20 0 22 0 3120350 10060525568 279796 33554432000 1073741824 1073778376 140737413098560 140656200264488 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6724/tid=6734] ppid=6721 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/6724/task/6734/stat : 6734 (java) S 6721 6724 5545 0 -1 4202560 35 0 0 0 5 1 0 0 20 0 22 0 3120350 10060525568 279796 33554432000 1073741824 1073778376 140737413098560 140656199211688 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6724/tid=6735] ppid=6721 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6724/task/6735/stat : 6735 (java) S 6721 6724 5545 0 -1 4202560 739 0 0 0 0 0 0 0 20 0 22 0 3120351 10060525568 279796 33554432000 1073741824 1073778376 140737413098560 140656186800616 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6724/tid=6736] ppid=6721 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6724/task/6736/stat : 6736 (java) S 6721 6724 5545 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 3120351 10060525568 279796 33554432000 1073741824 1073778376 140737413098560 140656185746680 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6724/tid=6737] ppid=6721 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6724/task/6737/stat : 6737 (java) S 6721 6724 5545 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 3120351 10060525568 279796 33554432000 1073741824 1073778376 140737413098560 140656184693768 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6724/tid=6738] ppid=6721 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6724/task/6738/stat : 6738 (java) S 6721 6724 5545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3120354 10060525568 279796 33554432000 1073741824 1073778376 140737413098560 140656183642256 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6724/tid=6739] ppid=6721 vsize=9824732 CPUtime=1.27 cores=1,3,5,7

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

[pid=6724/tid=6730] ppid=6721 vsize=9824732 CPUtime=2.99 cores=1,3,5,7
/proc/6724/task/6730/stat : 6730 (java) S 6721 6724 5545 0 -1 4202560 373 0 0 0 291 8 0 0 20 0 22 0 3120350 10060525568 758393 33554432000 1073741824 1073778376 140737413098560 140656203421864 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6724/tid=6731] ppid=6721 vsize=9824732 CPUtime=3.24 cores=1,3,5,7
/proc/6724/task/6731/stat : 6731 (java) S 6721 6724 5545 0 -1 4202560 407 0 0 0 314 10 0 0 20 0 22 0 3120350 10060525568 758393 33554432000 1073741824 1073778376 140737413098560 140656202370088 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6724/tid=6732] ppid=6721 vsize=9824732 CPUtime=3.07 cores=1,3,5,7
/proc/6724/task/6732/stat : 6732 (java) S 6721 6724 5545 0 -1 4202560 439 0 0 0 300 7 0 0 20 0 22 0 3120350 10060525568 758393 33554432000 1073741824 1073778376 140737413098560 140656201317288 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6724/tid=6733] ppid=6721 vsize=9824732 CPUtime=3.12 cores=1,3,5,7
/proc/6724/task/6733/stat : 6733 (java) S 6721 6724 5545 0 -1 4202560 422 0 0 0 304 8 0 0 20 0 22 0 3120350 10060525568 758393 33554432000 1073741824 1073778376 140737413098560 140656200264488 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6724/tid=6734] ppid=6721 vsize=9824732 CPUtime=3.35 cores=1,3,5,7
/proc/6724/task/6734/stat : 6734 (java) S 6721 6724 5545 0 -1 4202560 414 0 0 0 324 11 0 0 20 0 22 0 3120350 10060525568 758393 33554432000 1073741824 1073778376 140737413098560 140656199211688 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6724/tid=6735] ppid=6721 vsize=9824732 CPUtime=2.3 cores=1,3,5,7
/proc/6724/task/6735/stat : 6735 (java) S 6721 6724 5545 0 -1 4202560 2171 0 0 0 210 20 0 0 20 0 22 0 3120351 10060525568 758393 33554432000 1073741824 1073778376 140737413098560 140656186800616 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6724/tid=6736] ppid=6721 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6724/task/6736/stat : 6736 (java) S 6721 6724 5545 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 3120351 10060525568 758393 33554432000 1073741824 1073778376 140737413098560 140656185746680 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6724/tid=6737] ppid=6721 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6724/task/6737/stat : 6737 (java) S 6721 6724 5545 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 3120351 10060525568 758393 33554432000 1073741824 1073778376 140737413098560 140656184693768 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6724/tid=6738] ppid=6721 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6724/task/6738/stat : 6738 (java) S 6721 6724 5545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3120354 10060525568 758393 33554432000 1073741824 1073778376 140737413098560 140656183642256 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6724/tid=6739] ppid=6721 vsize=9824732 CPUtime=1.36 cores=1,3,5,7
/proc/6724/task/6739/stat : 6739 (java) S 6721 6724 5545 0 -1 4202560 10278 0 0 0 134 2 0 0 20 0 22 0 3120354 10060525568 758393 33554432000 1073741824 1073778376 140737413098560 140656182590392 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6724/tid=6740] ppid=6721 vsize=9824732 CPUtime=1.64 cores=1,3,5,7
/proc/6724/task/6740/stat : 6740 (java) S 6721 6724 5545 0 -1 4202560 12047 0 0 0 161 3 0 0 20 0 22 0 3120354 10060525568 758393 33554432000 1073741824 1073778376 140737413098560 140656181537592 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6724/tid=6741] ppid=6721 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6724/task/6741/stat : 6741 (java) S 6721 6724 5545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3120354 10060525568 758393 33554432000 1073741824 1073778376 140737413098560 140656180484984 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6724/tid=6742] ppid=6721 vsize=9824732 CPUtime=0.38 cores=1,3,5,7
/proc/6724/task/6742/stat : 6742 (java) S 6721 6724 5545 0 -1 4202560 51 0 0 0 14 24 0 0 20 0 22 0 3120354 10060525568 758393 33554432000 1073741824 1073778376 140737413098560 140656179432392 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6724/tid=6743] ppid=6721 vsize=9824732 CPUtime=869.97 cores=1,3,5,7
/proc/6724/task/6743/stat : 6743 (java) R 6721 6724 5545 0 -1 4202560 209 0 0 0 86979 18 0 0 20 0 22 0 3120372 10060525568 758393 33554432000 1073741824 1073778376 140737413098560 140656178326288 140656234844913 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=6724/tid=6744] ppid=6721 vsize=9824732 CPUtime=870.12 cores=1,3,5,7
/proc/6724/task/6744/stat : 6744 (java) R 6721 6724 5545 0 -1 4202560 2771 0 0 0 86946 66 0 0 20 0 22 0 3120372 10060525568 758393 33554432000 1073741824 1073778376 140737413098560 140656177274112 140656234785612 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=6724/tid=6745] ppid=6721 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6724/task/6745/stat : 6745 (java) S 6721 6724 5545 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 3120372 10060525568 758393 33554432000 1073741824 1073778376 140737413098560 140656176223144 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6724/tid=6746] ppid=6721 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6724/task/6746/stat : 6746 (java) S 6721 6724 5545 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 3120372 10060525568 758393 33554432000 1073741824 1073778376 140737413098560 140656175170344 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1775.98
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+894.301 s]
/proc/loadavg: 4.07 4.16 4.13 5/219 7038
/proc/meminfo: memFree=25043832/32872528 swapFree=1073728/1155488
[pid=6724] ppid=6721 vsize=9824732 CPUtime=1800.12 cores=1,3,5,7
/proc/6724/stat : 6724 (java) S 6721 6724 5545 0 -1 4202496 34624 0 1 0 179839 173 0 0 20 0 22 0 3120348 10060525568 756566 33554432000 1073741824 1073778376 140737413098560 140737413089696 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6724/statm: 2456183 756566 2288 9 0 2446860 0
[pid=6724/tid=6726] ppid=6721 vsize=9824732 CPUtime=0.26 cores=1,3,5,7
/proc/6724/task/6726/stat : 6726 (java) S 6721 6724 5545 0 -1 4202560 2438 0 1 0 22 4 0 0 20 0 22 0 3120349 10060525568 756566 33554432000 1073741824 1073778376 140737413098560 140656362533752 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6724/tid=6727] ppid=6721 vsize=9824732 CPUtime=3.24 cores=1,3,5,7
/proc/6724/task/6727/stat : 6727 (java) S 6721 6724 5545 0 -1 4202560 444 0 0 0 315 9 0 0 20 0 22 0 3120350 10060525568 756566 33554432000 1073741824 1073778376 140737413098560 140656206580264 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6724/tid=6728] ppid=6721 vsize=9824732 CPUtime=3.25 cores=1,3,5,7
/proc/6724/task/6728/stat : 6728 (java) S 6721 6724 5545 0 -1 4202560 434 0 0 0 315 10 0 0 20 0 22 0 3120350 10060525568 756566 33554432000 1073741824 1073778376 140737413098560 140656205527464 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6724/tid=6729] ppid=6721 vsize=9824732 CPUtime=3.54 cores=1,3,5,7
/proc/6724/task/6729/stat : 6729 (java) S 6721 6724 5545 0 -1 4202560 456 0 0 0 345 9 0 0 20 0 22 0 3120350 10060525568 756566 33554432000 1073741824 1073778376 140737413098560 140656204474664 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6724/tid=6730] ppid=6721 vsize=9824732 CPUtime=3.02 cores=1,3,5,7
/proc/6724/task/6730/stat : 6730 (java) S 6721 6724 5545 0 -1 4202560 373 0 0 0 294 8 0 0 20 0 22 0 3120350 10060525568 756566 33554432000 1073741824 1073778376 140737413098560 140656203421864 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6724/tid=6731] ppid=6721 vsize=9824732 CPUtime=3.29 cores=1,3,5,7
/proc/6724/task/6731/stat : 6731 (java) S 6721 6724 5545 0 -1 4202560 407 0 0 0 319 10 0 0 20 0 22 0 3120350 10060525568 756566 33554432000 1073741824 1073778376 140737413098560 140656202370088 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6724/tid=6732] ppid=6721 vsize=9824732 CPUtime=3.13 cores=1,3,5,7
/proc/6724/task/6732/stat : 6732 (java) S 6721 6724 5545 0 -1 4202560 439 0 0 0 306 7 0 0 20 0 22 0 3120350 10060525568 756566 33554432000 1073741824 1073778376 140737413098560 140656201317288 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6724/tid=6733] ppid=6721 vsize=9824732 CPUtime=3.15 cores=1,3,5,7
/proc/6724/task/6733/stat : 6733 (java) S 6721 6724 5545 0 -1 4202560 422 0 0 0 307 8 0 0 20 0 22 0 3120350 10060525568 756566 33554432000 1073741824 1073778376 140737413098560 140656200264488 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6724/tid=6734] ppid=6721 vsize=9824732 CPUtime=3.41 cores=1,3,5,7
/proc/6724/task/6734/stat : 6734 (java) S 6721 6724 5545 0 -1 4202560 414 0 0 0 330 11 0 0 20 0 22 0 3120350 10060525568 756566 33554432000 1073741824 1073778376 140737413098560 140656199211688 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6724/tid=6735] ppid=6721 vsize=9824732 CPUtime=2.31 cores=1,3,5,7
/proc/6724/task/6735/stat : 6735 (java) S 6721 6724 5545 0 -1 4202560 2171 0 0 0 211 20 0 0 20 0 22 0 3120351 10060525568 756566 33554432000 1073741824 1073778376 140737413098560 140656186800616 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6724/tid=6736] ppid=6721 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6724/task/6736/stat : 6736 (java) S 6721 6724 5545 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 3120351 10060525568 756566 33554432000 1073741824 1073778376 140737413098560 140656185746680 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6724/tid=6737] ppid=6721 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6724/task/6737/stat : 6737 (java) S 6721 6724 5545 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 3120351 10060525568 756566 33554432000 1073741824 1073778376 140737413098560 140656184693768 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6724/tid=6738] ppid=6721 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6724/task/6738/stat : 6738 (java) S 6721 6724 5545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3120354 10060525568 756566 33554432000 1073741824 1073778376 140737413098560 140656183642256 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6724/tid=6739] ppid=6721 vsize=9824732 CPUtime=1.36 cores=1,3,5,7
/proc/6724/task/6739/stat : 6739 (java) S 6721 6724 5545 0 -1 4202560 10278 0 0 0 134 2 0 0 20 0 22 0 3120354 10060525568 756566 33554432000 1073741824 1073778376 140737413098560 140656182590392 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6724/tid=6740] ppid=6721 vsize=9824732 CPUtime=1.64 cores=1,3,5,7
/proc/6724/task/6740/stat : 6740 (java) S 6721 6724 5545 0 -1 4202560 12047 0 0 0 161 3 0 0 20 0 22 0 3120354 10060525568 756566 33554432000 1073741824 1073778376 140737413098560 140656181537592 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6724/tid=6741] ppid=6721 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6724/task/6741/stat : 6741 (java) S 6721 6724 5545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3120354 10060525568 756566 33554432000 1073741824 1073778376 140737413098560 140656180484984 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6724/tid=6742] ppid=6721 vsize=9824732 CPUtime=0.39 cores=1,3,5,7
/proc/6724/task/6742/stat : 6742 (java) S 6721 6724 5545 0 -1 4202560 51 0 0 0 14 25 0 0 20 0 22 0 3120354 10060525568 756566 33554432000 1073741824 1073778376 140737413098560 140656179432392 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6724/tid=6743] ppid=6721 vsize=9824732 CPUtime=881.84 cores=1,3,5,7
/proc/6724/task/6743/stat : 6743 (java) R 6721 6724 5545 0 -1 4202560 211 0 0 0 88166 18 0 0 20 0 22 0 3120372 10060525568 756566 33554432000 1073741824 1073778376 140737413098560 140656178327088 140656234697694 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=6724/tid=6744] ppid=6721 vsize=9824732 CPUtime=881.96 cores=1,3,5,7
/proc/6724/task/6744/stat : 6744 (java) R 6721 6724 5545 0 -1 4202560 2773 0 0 0 88130 66 0 0 20 0 22 0 3120372 10060525568 756566 33554432000 1073741824 1073778376 140737413098560 140656177273216 140656234785766 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=6724/tid=6745] ppid=6721 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6724/task/6745/stat : 6745 (java) S 6721 6724 5545 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 3120372 10060525568 756566 33554432000 1073741824 1073778376 140737413098560 140656176223144 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6724/tid=6746] ppid=6721 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6724/task/6746/stat : 6746 (java) S 6721 6724 5545 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 3120372 10060525568 756566 33554432000 1073741824 1073778376 140737413098560 140656175170344 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 9824732

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

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

[startup+894.301 s]
/proc/loadavg: 4.07 4.16 4.13 5/219 7038
/proc/meminfo: memFree=25043832/32872528 swapFree=1073728/1155488
[pid=6724] ppid=6721 vsize=9824732 CPUtime=1800.12 cores=1,3,5,7
/proc/6724/stat : 6724 (java) S 6721 6724 5545 0 -1 4202496 34624 0 1 0 179839 173 0 0 20 0 22 0 3120348 10060525568 756566 33554432000 1073741824 1073778376 140737413098560 140737413089696 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6724/statm: 2456183 756566 2288 9 0 2446860 0
[pid=6724/tid=6726] ppid=6721 vsize=9824732 CPUtime=0.26 cores=1,3,5,7
/proc/6724/task/6726/stat : 6726 (java) S 6721 6724 5545 0 -1 4202560 2438 0 1 0 22 4 0 0 20 0 22 0 3120349 10060525568 756566 33554432000 1073741824 1073778376 140737413098560 140656362533752 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6724/tid=6727] ppid=6721 vsize=9824732 CPUtime=3.24 cores=1,3,5,7
/proc/6724/task/6727/stat : 6727 (java) S 6721 6724 5545 0 -1 4202560 444 0 0 0 315 9 0 0 20 0 22 0 3120350 10060525568 756566 33554432000 1073741824 1073778376 140737413098560 140656206580264 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6724/tid=6728] ppid=6721 vsize=9824732 CPUtime=3.25 cores=1,3,5,7
/proc/6724/task/6728/stat : 6728 (java) S 6721 6724 5545 0 -1 4202560 434 0 0 0 315 10 0 0 20 0 22 0 3120350 10060525568 756566 33554432000 1073741824 1073778376 140737413098560 140656205527464 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6724/tid=6729] ppid=6721 vsize=9824732 CPUtime=3.54 cores=1,3,5,7
/proc/6724/task/6729/stat : 6729 (java) S 6721 6724 5545 0 -1 4202560 456 0 0 0 345 9 0 0 20 0 22 0 3120350 10060525568 756566 33554432000 1073741824 1073778376 140737413098560 140656204474664 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6724/tid=6730] ppid=6721 vsize=9824732 CPUtime=3.02 cores=1,3,5,7
/proc/6724/task/6730/stat : 6730 (java) S 6721 6724 5545 0 -1 4202560 373 0 0 0 294 8 0 0 20 0 22 0 3120350 10060525568 756566 33554432000 1073741824 1073778376 140737413098560 140656203421864 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6724/tid=6731] ppid=6721 vsize=9824732 CPUtime=3.29 cores=1,3,5,7
/proc/6724/task/6731/stat : 6731 (java) S 6721 6724 5545 0 -1 4202560 407 0 0 0 319 10 0 0 20 0 22 0 3120350 10060525568 756566 33554432000 1073741824 1073778376 140737413098560 140656202370088 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6724/tid=6732] ppid=6721 vsize=9824732 CPUtime=3.13 cores=1,3,5,7
/proc/6724/task/6732/stat : 6732 (java) S 6721 6724 5545 0 -1 4202560 439 0 0 0 306 7 0 0 20 0 22 0 3120350 10060525568 756566 33554432000 1073741824 1073778376 140737413098560 140656201317288 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6724/tid=6733] ppid=6721 vsize=9824732 CPUtime=3.15 cores=1,3,5,7
/proc/6724/task/6733/stat : 6733 (java) S 6721 6724 5545 0 -1 4202560 422 0 0 0 307 8 0 0 20 0 22 0 3120350 10060525568 756566 33554432000 1073741824 1073778376 140737413098560 140656200264488 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6724/tid=6734] ppid=6721 vsize=9824732 CPUtime=3.41 cores=1,3,5,7
/proc/6724/task/6734/stat : 6734 (java) S 6721 6724 5545 0 -1 4202560 414 0 0 0 330 11 0 0 20 0 22 0 3120350 10060525568 756566 33554432000 1073741824 1073778376 140737413098560 140656199211688 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6724/tid=6735] ppid=6721 vsize=9824732 CPUtime=2.31 cores=1,3,5,7
/proc/6724/task/6735/stat : 6735 (java) S 6721 6724 5545 0 -1 4202560 2171 0 0 0 211 20 0 0 20 0 22 0 3120351 10060525568 756566 33554432000 1073741824 1073778376 140737413098560 140656186800616 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6724/tid=6736] ppid=6721 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6724/task/6736/stat : 6736 (java) S 6721 6724 5545 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 3120351 10060525568 756566 33554432000 1073741824 1073778376 140737413098560 140656185746680 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6724/tid=6737] ppid=6721 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6724/task/6737/stat : 6737 (java) S 6721 6724 5545 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 3120351 10060525568 756566 33554432000 1073741824 1073778376 140737413098560 140656184693768 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6724/tid=6738] ppid=6721 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6724/task/6738/stat : 6738 (java) S 6721 6724 5545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3120354 10060525568 756566 33554432000 1073741824 1073778376 140737413098560 140656183642256 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6724/tid=6739] ppid=6721 vsize=9824732 CPUtime=1.36 cores=1,3,5,7
/proc/6724/task/6739/stat : 6739 (java) S 6721 6724 5545 0 -1 4202560 10278 0 0 0 134 2 0 0 20 0 22 0 3120354 10060525568 756566 33554432000 1073741824 1073778376 140737413098560 140656182590392 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6724/tid=6740] ppid=6721 vsize=9824732 CPUtime=1.64 cores=1,3,5,7
/proc/6724/task/6740/stat : 6740 (java) S 6721 6724 5545 0 -1 4202560 12047 0 0 0 161 3 0 0 20 0 22 0 3120354 10060525568 756566 33554432000 1073741824 1073778376 140737413098560 140656181537592 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6724/tid=6741] ppid=6721 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6724/task/6741/stat : 6741 (java) S 6721 6724 5545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3120354 10060525568 756566 33554432000 1073741824 1073778376 140737413098560 140656180484984 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6724/tid=6742] ppid=6721 vsize=9824732 CPUtime=0.39 cores=1,3,5,7
/proc/6724/task/6742/stat : 6742 (java) S 6721 6724 5545 0 -1 4202560 51 0 0 0 14 25 0 0 20 0 22 0 3120354 10060525568 756566 33554432000 1073741824 1073778376 140737413098560 140656179432392 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6724/tid=6743] ppid=6721 vsize=9824732 CPUtime=881.84 cores=1,3,5,7
/proc/6724/task/6743/stat : 6743 (java) R 6721 6724 5545 0 -1 4202560 211 0 0 0 88166 18 0 0 20 0 22 0 3120372 10060525568 756566 33554432000 1073741824 1073778376 140737413098560 140656178327088 140656234697694 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=6724/tid=6744] ppid=6721 vsize=9824732 CPUtime=881.96 cores=1,3,5,7
/proc/6724/task/6744/stat : 6744 (java) R 6721 6724 5545 0 -1 4202560 2773 0 0 0 88130 66 0 0 20 0 22 0 3120372 10060525568 756566 33554432000 1073741824 1073778376 140737413098560 140656177273216 140656234785766 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=6724/tid=6745] ppid=6721 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6724/task/6745/stat : 6745 (java) S 6721 6724 5545 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 3120372 10060525568 756566 33554432000 1073741824 1073778376 140737413098560 140656176223144 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6724/tid=6746] ppid=6721 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6724/task/6746/stat : 6746 (java) S 6721 6724 5545 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 3120372 10060525568 756566 33554432000 1073741824 1073778376 140737413098560 140656175170344 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 9824732

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 6724 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=987272
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=273654
# CPU time returned by wait4() is 1796.26
# while last known CPU time is 1800.12
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 894.399
CPU time (s): 1800.12
CPU user time (s): 1798.39
CPU system time (s): 1.73
CPU usage (%): 201.266
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.99
system time used= 2.27365
maximum resident set size= 3148840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34669
page faults= 1
swaps= 0
block input operations= 0
block output operations= 912
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 27947
involuntary context switches= 49804

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.67414 second user time and 7.47286 second system time

The end

Launcher Data 

Begin job on node114 at 2016-06-15 19:11:51
IDJOB=4088708
IDBENCH=107302
IDSOLVER=2543
FILE ID=node114/4088708-1466010711
RUNJOBID= node114-1466008022-5562
PBS_JOBID= 19902804
Free space on /tmp= 71736 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/EC_ODD_GRIDS/normalized-ECgrid5x110split.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4088708-1466010711/watcher-4088708-1466010711 -o /tmp/evaluation-result-4088708-1466010711/solver-4088708-1466010711 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1466008022-5562 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4088708-1466010711.opb

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

MD5SUM BENCH= 89362364de17fe2ed91e08469c5a6887
RANDOM SEED=446234074

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.761
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.761
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.761
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.761
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.761
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:        27974424 kB
Buffers:            5736 kB
Cached:            38500 kB
SwapCached:        33296 kB
Active:          2983348 kB
Inactive:          56224 kB
Active(anon):    2964280 kB
Inactive(anon):    33292 kB
Active(file):      19068 kB
Inactive(file):    22932 kB
Unevictable:     1155488 kB
Mlocked:         1073728 kB
SwapTotal:      67108856 kB
SwapFree:       67068540 kB
Dirty:               440 kB
Writeback:             4 kB
AnonPages:       4247296 kB
Mapped:            15524 kB
Shmem:                 0 kB
Slab:             564344 kB
SReclaimable:       8496 kB
SUnreclaim:       555848 kB
KernelStack:        1808 kB
PageTables:        12532 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    4310444 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3110912 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 node114 at 2016-06-15 19:26:46