Trace number 4106041

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j PB 2.3.6 Res+CP PB16OPT3 1765.33 881.472

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=293-P1=97-P2=163-P3=149-P4=163-P5=457-P6=521-P7=173-P8=431-P9=419-B.opb
MD5SUM3e0f07488272e35b9b674c3d7ccbd7e8
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark0.216966
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3
Optimality of the best value was proved YES
Number of variables243
Total number of constraints19
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints19
Minimum length of a constraint9
Maximum length of a constraint99
Number of terms in the objective function 9
Biggest coefficient in the objective function 256
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 511
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 131072
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 523264
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)729
Sum of products size (including duplicates)1458
Number of different products729
Sum of products size1458

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.07	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version PB16.v20160501
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.11/0.11	c Pseudo Boolean Optimization by upper bound
0.11/0.11	c ManyCore solver with 2 solvers running in parallel
0.11/0.11	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.11	c Expensive reason simplification
0.11/0.11	c Glucose 2.1 dynamic restart strategy
0.11/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.11/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.11/0.11	c No reason simplification
0.11/0.11	c Armin Biere (Picosat) restarts strategy
0.11/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c solving HOME/instance-4106041-1466267959.opb
0.11/0.11	c reading problem ... 
0.11/0.11	c  objective function found
0.25/0.24	c ... done. Wall clock time 0.131s.
0.25/0.24	c declared #vars     243
0.25/0.24	c internal #vars     972
0.25/0.24	c #constraints  1486
0.25/0.24	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.25/0.24	c constraints type 
0.25/0.24	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 729
0.25/0.24	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 757
0.25/0.24	c 1486 constraints processed.
0.25/0.24	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.25/0.24	c constraints type 
0.25/0.24	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 729
0.25/0.24	c org.sat4j.pb.constraints.pb.MaxWatchPb => 757
0.25/0.24	c 1486 constraints processed.
0.25/0.24	c objective function length is 9 literals
2.95/0.94	c cleaning 2498 clauses out of 5000 with flag 10139/5000
5.19/1.55	c cleaning 4249 clauses out of 8502 with flag 22387/11000
6.64/2.24	c cleaning 5622 clauses out of 11254 with flag 36611/18001
8.69/3.22	c cleaning 6809 clauses out of 13632 with flag 52833/26001
10.78/4.29	c cleaning 7905 clauses out of 15822 with flag 71488/35000
13.71/5.67	c cleaning 8949 clauses out of 17918 with flag 91888/45001
17.10/7.39	c cleaning 9976 clauses out of 19969 with flag 114242/56001
21.15/9.38	c cleaning 10986 clauses out of 21993 with flag 138655/68001
26.38/11.99	c cleaning 11992 clauses out of 24007 with flag 165122/81001
32.83/15.13	c cleaning 12996 clauses out of 26014 with flag 193408/95000
39.43/18.43	c cleaning 13998 clauses out of 28018 with flag 223825/110000
47.47/22.48	c cleaning 14998 clauses out of 30020 with flag 256134/126000
48.47/23.00	c cleaning 0 clauses out of 5001 with flag 0/5001
56.03/26.55	c cleaning 15998 clauses out of 32023 with flag 290668/143001
61.91/29.41	c cleaning 16988 clauses out of 34028 with flag 327530/161004
64.72/30.85	c cleaning 18004 clauses out of 36036 with flag 368852/180000
69.37/33.12	c cleaning 19007 clauses out of 38032 with flag 417126/200000
74.16/35.50	c cleaning 20003 clauses out of 40027 with flag 469120/221002
79.56/38.28	c cleaning 21008 clauses out of 42023 with flag 522299/243001
82.83/39.87	c cleaning 21975 clauses out of 44014 with flag 571135/266000
86.43/41.64	c And the winner is solver0
86.43/41.75	c SATISFIABLE
86.43/41.75	c OPTIMIZING...
86.43/41.75	c Got one! Elapsed wall clock time (in seconds):41.643
86.43/41.75	o 241
87.32/42.29	c cleaning 24343 clauses out of 48705 with flag 12932/292666
88.32/42.77	c cleaning 15174 clauses out of 30362 with flag 26808/298666
89.92/43.53	c cleaning 11080 clauses out of 22188 with flag 42362/305666
91.13/44.16	c cleaning 9539 clauses out of 19109 with flag 59752/313667
92.76/44.98	c cleaning 9267 clauses out of 18570 with flag 80324/322667
94.79/45.90	c cleaning 9643 clauses out of 19302 with flag 102959/332666
95.99/46.51	c cleaning 10323 clauses out of 20661 with flag 127324/343668
97.39/47.23	c cleaning 11137 clauses out of 22336 with flag 154068/355666
99.19/48.19	c cleaning 12092 clauses out of 24200 with flag 182993/368667
100.99/49.08	c cleaning 13035 clauses out of 26108 with flag 212674/382667
102.99/50.05	c cleaning 14024 clauses out of 28073 with flag 245642/397667
106.24/51.62	c cleaning 15018 clauses out of 30049 with flag 282004/413667
112.04/54.54	c cleaning 16006 clauses out of 32030 with flag 320563/430666
114.84/55.93	c cleaning 17013 clauses out of 34025 with flag 360708/448667
118.08/57.57	c cleaning 17991 clauses out of 36012 with flag 403821/467667
118.08/57.58	c And the winner is solver0
118.26/57.75	c Got one! Elapsed wall clock time (in seconds):57.646
118.26/57.75	o 91
118.74/58.06	c cleaning 11631 clauses out of 23295 with flag 11988/472941
119.56/58.47	c cleaning 8823 clauses out of 17664 with flag 26189/478941
120.74/59.07	c cleaning 7911 clauses out of 15840 with flag 43245/485940
121.76/59.55	c cleaning 7958 clauses out of 15930 with flag 60457/493941
123.39/60.38	c cleaning 8472 clauses out of 16972 with flag 84313/502941
125.39/61.34	c cleaning 9244 clauses out of 18499 with flag 107256/512940
126.98/62.14	c cleaning 10120 clauses out of 20255 with flag 133009/523940
128.85/63.09	c cleaning 11036 clauses out of 22136 with flag 159104/535941
131.05/64.15	c cleaning 12043 clauses out of 24100 with flag 188980/548941
133.85/65.51	c cleaning 13016 clauses out of 26058 with flag 220827/562942
137.06/67.15	c cleaning 14002 clauses out of 28041 with flag 256670/577941
140.29/68.72	c cleaning 15004 clauses out of 30038 with flag 296274/593940
142.49/69.83	c cleaning 16013 clauses out of 32034 with flag 334493/610940
146.88/72.05	c cleaning 16993 clauses out of 34021 with flag 380967/628940
150.34/73.78	c cleaning 18005 clauses out of 36028 with flag 423401/647940
153.73/75.47	c cleaning 19000 clauses out of 38023 with flag 470716/667940
159.34/78.22	c cleaning 20013 clauses out of 40025 with flag 522299/688942
164.53/80.89	c cleaning 20995 clauses out of 42011 with flag 574870/710941
171.16/84.14	c cleaning 21978 clauses out of 44016 with flag 630036/733941
175.17/86.15	c cleaning 23009 clauses out of 46037 with flag 683113/757940
181.25/89.14	c cleaning 24000 clauses out of 48028 with flag 740547/782940
187.04/92.02	c cleaning 24997 clauses out of 50029 with flag 803575/808941
198.07/97.50	c cleaning 25992 clauses out of 52032 with flag 861646/835941
199.72/98.38	c cleaning 0 clauses out of 10301 with flag 0/10303
208.56/102.75	c cleaning 27013 clauses out of 54040 with flag 922213/863941
213.20/105.08	c cleaning 28007 clauses out of 56027 with flag 985124/892941
223.25/110.06	c cleaning 29001 clauses out of 58019 with flag 1054750/922940
237.93/117.37	c cleaning 29990 clauses out of 60018 with flag 1125332/953940
242.75/119.79	c And the winner is solver0
242.81/120.28	c Got one! Elapsed wall clock time (in seconds):120.172
242.81/120.28	o 37
244.26/121.01	c cleaning 26601 clauses out of 53234 with flag 11133/977146
245.65/121.74	c cleaning 16305 clauses out of 32633 with flag 24606/983146
247.25/122.50	c cleaning 11662 clauses out of 23329 with flag 41428/990147
248.66/123.26	c cleaning 9827 clauses out of 19666 with flag 59393/998146
249.65/123.74	c cleaning 9410 clauses out of 18840 with flag 78858/1007147
252.06/124.98	c cleaning 9706 clauses out of 19430 with flag 103738/1017147
254.34/126.08	c cleaning 10351 clauses out of 20724 with flag 129162/1028147
255.95/126.82	c cleaning 11167 clauses out of 22372 with flag 155319/1040146
259.57/128.69	c cleaning 12080 clauses out of 24206 with flag 183874/1053147
259.79/128.72	c And the winner is solver0
259.85/128.83	c Got one! Elapsed wall clock time (in seconds):128.724
259.85/128.83	o 7
260.79/129.31	c cleaning 8928 clauses out of 17867 with flag 10870/1058888
262.18/130.07	c cleaning 7464 clauses out of 14940 with flag 23708/1064889
262.38/130.18	c And the winner is solver0
262.64/130.33	c Got one! Elapsed wall clock time (in seconds):130.225
262.64/130.33	o 3
262.80/130.46	c cleaning 6296 clauses out of 12637 with flag 6337/1070050
263.40/130.79	c cleaning 6158 clauses out of 12341 with flag 19945/1076050
264.41/131.21	c cleaning 6573 clauses out of 13183 with flag 34817/1083050
265.61/131.80	c cleaning 7299 clauses out of 14609 with flag 52418/1091050
267.01/132.51	c cleaning 8151 clauses out of 16311 with flag 75328/1100051
268.01/133.09	c cleaning 9071 clauses out of 18158 with flag 97027/1110049
269.81/133.95	c cleaning 10038 clauses out of 20087 with flag 119791/1121049
271.22/134.68	c cleaning 11007 clauses out of 22049 with flag 146126/1133049
273.22/135.69	c cleaning 12015 clauses out of 24042 with flag 174883/1146049
277.83/137.92	c cleaning 13012 clauses out of 26028 with flag 204536/1160050
280.63/139.39	c cleaning 13994 clauses out of 28016 with flag 236972/1175050
283.03/140.59	c cleaning 14994 clauses out of 30021 with flag 270634/1191049
287.44/142.78	c cleaning 16009 clauses out of 32028 with flag 308551/1208050
290.68/144.39	c cleaning 16997 clauses out of 34018 with flag 347756/1226049
294.08/146.10	c cleaning 18002 clauses out of 36022 with flag 389553/1245050
299.48/148.75	c cleaning 19010 clauses out of 38020 with flag 433270/1265050
303.50/150.76	c cleaning 19991 clauses out of 40010 with flag 480703/1286050
307.70/152.83	c cleaning 20992 clauses out of 42018 with flag 528749/1308049
312.52/155.28	c cleaning 22007 clauses out of 44027 with flag 586019/1331050
317.95/157.91	c cleaning 23003 clauses out of 46019 with flag 640517/1355049
323.17/160.53	c cleaning 24004 clauses out of 48017 with flag 695561/1380050
328.78/163.38	c cleaning 24996 clauses out of 50014 with flag 755327/1406051
333.59/165.75	c cleaning 26004 clauses out of 52016 with flag 815670/1433049
339.65/168.74	c cleaning 26992 clauses out of 54012 with flag 881511/1461049
347.91/172.85	c cleaning 27996 clauses out of 56020 with flag 947469/1490049
358.78/178.25	c cleaning 28992 clauses out of 58025 with flag 1017006/1520050
364.59/181.18	c cleaning 30007 clauses out of 60032 with flag 1088307/1551049
374.26/186.00	c cleaning 31008 clauses out of 62025 with flag 1163072/1583050
385.52/191.55	c cleaning 32002 clauses out of 64017 with flag 1233791/1616050
397.59/197.50	c cleaning 32995 clauses out of 66014 with flag 1306831/1650049
411.04/204.21	c cleaning 34002 clauses out of 68019 with flag 1383394/1685049
422.52/209.92	c cleaning 34997 clauses out of 70017 with flag 1464078/1721049
433.39/215.35	c cleaning 35993 clauses out of 72021 with flag 1544740/1758050
443.86/220.56	c cleaning 37009 clauses out of 74027 with flag 1629554/1796049
458.24/227.89	c cleaning 37998 clauses out of 76018 with flag 1712554/1835049
465.64/231.58	c cleaning 0 clauses out of 15861 with flag 0/15864
468.64/233.07	c cleaning 39004 clauses out of 78020 with flag 1809401/1875049
485.08/241.12	c cleaning 39994 clauses out of 80017 with flag 1899507/1916050
495.94/246.53	c cleaning 40992 clauses out of 82023 with flag 1995477/1958050
506.62/251.87	c cleaning 42005 clauses out of 84031 with flag 2088918/2001050
520.90/258.94	c cleaning 43005 clauses out of 86026 with flag 2189483/2045050
533.94/265.48	c cleaning 43985 clauses out of 88021 with flag 2295429/2090050
547.61/272.21	c cleaning 44989 clauses out of 90035 with flag 2398690/2136049
562.30/279.52	c cleaning 46016 clauses out of 92047 with flag 2508026/2183051
574.55/285.62	c cleaning 46988 clauses out of 94029 with flag 2612190/2231049
590.46/293.56	c cleaning 47995 clauses out of 96042 with flag 2718931/2280050
609.56/303.04	c cleaning 48996 clauses out of 98046 with flag 2835355/2330049
629.98/313.38	c cleaning 50019 clauses out of 100050 with flag 2951201/2381049
649.08/322.87	c cleaning 51012 clauses out of 102032 with flag 3063786/2433050
670.58/333.51	c cleaning 51988 clauses out of 104019 with flag 3181109/2486049
688.29/342.37	c cleaning 53004 clauses out of 106031 with flag 3304459/2540049
706.19/351.24	c cleaning 54001 clauses out of 108027 with flag 3431055/2595049
728.69/362.44	c cleaning 55004 clauses out of 110027 with flag 3563462/2651050
747.79/371.93	c cleaning 55995 clauses out of 112023 with flag 3692609/2708050
763.71/379.88	c cleaning 57005 clauses out of 114026 with flag 3822968/2766050
784.60/390.23	c cleaning 57993 clauses out of 116022 with flag 3961686/2825051
807.54/401.83	c cleaning 59008 clauses out of 118027 with flag 4095149/2885050
832.22/414.12	c cleaning 59999 clauses out of 120020 with flag 4228084/2946051
862.97/429.41	c cleaning 61001 clauses out of 122020 with flag 4365566/3008050
885.93/440.87	c cleaning 62003 clauses out of 124020 with flag 4502329/3071051
918.22/456.94	c cleaning 63004 clauses out of 126015 with flag 4650447/3135049
943.50/469.53	c cleaning 0 clauses out of 21862 with flag 0/21865
953.13/474.38	c cleaning 63997 clauses out of 128012 with flag 4793616/3200050
980.31/487.82	c cleaning 65005 clauses out of 130015 with flag 4940531/3266050
1006.24/500.73	c cleaning 66002 clauses out of 132009 with flag 5091343/3333049
1035.56/515.33	c cleaning 66998 clauses out of 134008 with flag 5253138/3401050
1063.96/529.78	c cleaning 67993 clauses out of 136009 with flag 5412102/3470050
1091.51/543.46	c cleaning 68996 clauses out of 138015 with flag 5576176/3540049
1118.06/556.67	c cleaning 70006 clauses out of 140019 with flag 5730346/3611049
1146.60/570.87	c cleaning 70997 clauses out of 142014 with flag 5887051/3683050
1186.80/590.83	c cleaning 71995 clauses out of 144017 with flag 6050658/3756050
1215.70/605.26	c cleaning 73004 clauses out of 146023 with flag 6220802/3830051
1245.63/620.15	c cleaning 73999 clauses out of 148017 with flag 6390770/3905049
1279.57/637.07	c cleaning 75006 clauses out of 150018 with flag 6560444/3981049
1313.78/654.28	c cleaning 76000 clauses out of 152011 with flag 6731427/4058049
1375.84/685.13	c cleaning 77000 clauses out of 154011 with flag 6898457/4136049
1417.45/705.81	c cleaning 77998 clauses out of 156011 with flag 7073162/4215049
1476.47/735.24	c cleaning 78999 clauses out of 158014 with flag 7252463/4295050
1527.11/760.45	c cleaning 80001 clauses out of 160015 with flag 7430279/4376050
1546.64/770.15	c cleaning 0 clauses out of 28862 with flag 0/28865
1581.98/787.70	c cleaning 81003 clauses out of 162014 with flag 7618171/4458050
1666.83/830.20	c cleaning 81999 clauses out of 164010 with flag 7798467/4541050
1760.56/876.94	c And the winner is solver0
1764.88/881.46	c >>>>>>>>>> Solver number 0 (6 answers) <<<<<<<<<<<<<<<<<<
1764.88/881.46	c starts		: 9006
1764.88/881.46	c conflicts		: 4617782
1764.88/881.46	c decisions		: 5320837
1764.88/881.46	c propagations		: 101284253
1764.88/881.46	c inspects		: 13274204241
1764.88/881.46	c shortcuts		: 0
1764.88/881.46	c learnt literals	: 17
1764.88/881.46	c learnt binary clauses	: 47
1764.88/881.46	c learnt ternary clauses	: 122
1764.88/881.46	c learnt constraints	: 4617764
1764.88/881.46	c ignored constraints	: 0
1764.88/881.46	c root simplifications	: 0
1764.88/881.46	c removed literals (reason simplification)	: 13266301
1764.88/881.46	c reason swapping (by a shorter reason)	: 0
1764.88/881.46	c Calls to reduceDB	: 151
1764.88/881.46	c Number of update (reduction) of LBD	: 171069
1764.88/881.46	c Imported unit clauses	: 0
1764.88/881.46	c number of reductions to clauses (during analyze)	: 0
1764.88/881.46	c number of learned constraints concerned by reduction	: 0
1764.88/881.46	c number of learning phase by resolution	: 0
1764.88/881.46	c number of learning phase by cutting planes	: 0
1764.88/881.46	c speed (assignments/second)	: 114937.31141052164
1764.88/881.46	c non guided choices	46951
1764.88/881.46	c learnt constraints type 
1764.88/881.46	c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<<
1764.88/881.46	c starts		: 102
1764.88/881.46	c conflicts		: 31769
1764.88/881.46	c decisions		: 35763
1764.88/881.46	c propagations		: 598431
1764.88/881.46	c inspects		: 1086123421
1764.88/881.46	c shortcuts		: 0
1764.88/881.46	c learnt literals	: 0
1764.88/881.46	c learnt binary clauses	: 0
1764.88/881.46	c learnt ternary clauses	: 0
1764.88/881.46	c learnt constraints	: 31766
1764.88/881.46	c ignored constraints	: 0
1764.88/881.46	c root simplifications	: 0
1764.88/881.46	c removed literals (reason simplification)	: 0
1764.88/881.46	c reason swapping (by a shorter reason)	: 0
1764.88/881.46	c Calls to reduceDB	: 5
1764.88/881.46	c Number of update (reduction) of LBD	: 0
1764.88/881.46	c Imported unit clauses	: 0
1764.88/881.46	c number of reductions to clauses (during analyze)	: 0
1764.88/881.46	c number of learned constraints concerned by reduction	: 0
1764.88/881.46	c number of learning phase by resolution	: 0
1764.88/881.46	c number of learning phase by cutting planes	: 0
1764.88/881.46	c speed (assignments/second)	: 796.7150519954787
1764.88/881.46	c non guided choices	1218
1764.88/881.46	c learnt constraints type 
1764.88/881.46	s OPTIMUM FOUND
1764.88/881.46	c Found 5 solution(s)
1764.88/881.46	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 
1764.88/881.46	c objective function=3
1764.88/881.46	c Total wall clock time (in seconds): 881.353

Verifier Data 

OK	3

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

pid=30906
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.67 4.51 4.18 3/197 30909
/proc/meminfo: memFree=29730572/32872528 swapFree=1556504/1720024
[pid=30909] ppid=30906 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/30909/stat : 30909 (java) S 30906 30909 30091 0 -1 4202496 1353 0 0 0 0 0 0 0 20 0 2 0 28844523 98570240 977 33554432000 1073741824 1073778376 140735066094464 140735066085600 270333411389 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30909/statm: 24065 977 743 9 0 16771 0
[pid=30909/tid=30910] ppid=30906 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/30909/task/30910/stat : 30910 (java) R 30906 30909 30091 0 -1 4202560 130 0 0 0 0 0 0 0 20 0 2 0 28844524 98570240 978 33554432000 1073741824 1073778376 140735066094464 140478993333800 270330054016 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0

[startup+0.10006 s]
/proc/loadavg: 4.67 4.51 4.18 3/197 30909
/proc/meminfo: memFree=29730572/32872528 swapFree=1556504/1720024
[pid=30909] ppid=30906 vsize=9558476 CPUtime=0.11 cores=1,3,5,7
/proc/30909/stat : 30909 (java) S 30906 30909 30091 0 -1 4202496 4502 0 1 0 10 1 0 0 20 0 18 0 28844523 9787879424 6129 33554432000 1073741824 1073778376 140735066094464 140735066085600 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30909/statm: 2389619 6129 2156 9 0 2380296 0
[pid=30909/tid=30910] ppid=30906 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/30909/task/30910/stat : 30910 (java) R 30906 30909 30091 0 -1 4202560 2400 0 1 0 7 0 0 0 20 0 18 0 28844524 9787879424 6129 33554432000 1073741824 1073778376 140735066094464 140478993337248 270333437197 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476

[startup+0.200272 s]
/proc/loadavg: 4.67 4.51 4.18 3/197 30909
/proc/meminfo: memFree=29730572/32872528 swapFree=1556504/1720024
[pid=30909] ppid=30906 vsize=9558476 CPUtime=0.25 cores=1,3,5,7
/proc/30909/stat : 30909 (java) S 30906 30909 30091 0 -1 4202496 4766 0 1 0 24 1 0 0 20 0 18 0 28844523 9787879424 7363 33554432000 1073741824 1073778376 140735066094464 140735066085600 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30909/statm: 2389619 7363 2222 9 0 2380296 0
[pid=30909/tid=30910] ppid=30906 vsize=9558476 CPUtime=0.17 cores=1,3,5,7
/proc/30909/task/30910/stat : 30910 (java) R 30906 30909 30091 0 -1 4202560 2420 0 1 0 17 0 0 0 20 0 18 0 28844524 9787879424 7363 33554432000 1073741824 1073778376 140735066094464 140478993337248 140478865517616 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 9558476

[startup+0.300283 s]
/proc/loadavg: 4.67 4.51 4.18 3/197 30909
/proc/meminfo: memFree=29730572/32872528 swapFree=1556504/1720024
[pid=30909] ppid=30906 vsize=9824732 CPUtime=0.57 cores=1,3,5,7
/proc/30909/stat : 30909 (java) S 30906 30909 30091 0 -1 4202496 7470 0 1 0 55 2 0 0 20 0 22 0 28844523 10060525568 10740 33554432000 1073741824 1073778376 140735066094464 140735066085600 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30909/statm: 2456183 10740 2242 9 0 2446860 0
[pid=30909/tid=30910] ppid=30906 vsize=9824732 CPUtime=0.22 cores=1,3,5,7
/proc/30909/task/30910/stat : 30910 (java) S 30906 30909 30091 0 -1 4202560 2433 0 1 0 22 0 0 0 20 0 22 0 28844524 10060525568 10740 33554432000 1073741824 1073778376 140735066094464 140478993339256 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 9824732

[startup+0.700227 s]
/proc/loadavg: 4.67 4.51 4.18 3/197 30909
/proc/meminfo: memFree=29730572/32872528 swapFree=1556504/1720024
[pid=30909] ppid=30906 vsize=9824732 CPUtime=2.16 cores=1,3,5,7
/proc/30909/stat : 30909 (java) S 30906 30909 30091 0 -1 4202496 18567 0 1 0 212 4 0 0 20 0 22 0 28844523 10060525568 22953 33554432000 1073741824 1073778376 140735066094464 140735066085600 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30909/statm: 2456183 22953 2255 9 0 2446860 0
[pid=30909/tid=30910] ppid=30906 vsize=9824732 CPUtime=0.22 cores=1,3,5,7
/proc/30909/task/30910/stat : 30910 (java) S 30906 30909 30091 0 -1 4202560 2433 0 1 0 22 0 0 0 20 0 22 0 28844524 10060525568 22953 33554432000 1073741824 1073778376 140735066094464 140478993339256 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.16
Current children cumulated vsize (KiB) 9824732

[startup+1.50094 s]
/proc/loadavg: 4.67 4.51 4.18 7/219 30931
/proc/meminfo: memFree=29402132/32872528 swapFree=1556504/1720024
[pid=30909] ppid=30906 vsize=9824732 CPUtime=5.19 cores=1,3,5,7
/proc/30909/stat : 30909 (java) S 30906 30909 30091 0 -1 4202496 26221 0 1 0 511 8 0 0 20 0 22 0 28844523 10060525568 52043 33554432000 1073741824 1073778376 140735066094464 140735066085600 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30909/statm: 2456183 52043 2278 9 0 2446860 0
[pid=30909/tid=30910] ppid=30906 vsize=9824732 CPUtime=0.22 cores=1,3,5,7
/proc/30909/task/30910/stat : 30910 (java) S 30906 30909 30091 0 -1 4202560 2433 0 1 0 22 0 0 0 20 0 22 0 28844524 10060525568 52043 33554432000 1073741824 1073778376 140735066094464 140478993339256 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30909/tid=30912] ppid=30906 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/30909/task/30912/stat : 30912 (java) S 30906 30909 30091 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 22 0 28844525 10060525568 52043 33554432000 1073741824 1073778376 140735066094464 140478837066152 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30909/tid=30913] ppid=30906 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/30909/task/30913/stat : 30913 (java) S 30906 30909 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28844525 10060525568 52043 33554432000 1073741824 1073778376 140735066094464 140478836013608 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30909/tid=30914] ppid=30906 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/30909/task/30914/stat : 30914 (java) S 30906 30909 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28844525 10060525568 52043 33554432000 1073741824 1073778376 140735066094464 140478834960552 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30909/tid=30915] ppid=30906 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/30909/task/30915/stat : 30915 (java) S 30906 30909 30091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28844525 10060525568 52043 33554432000 1073741824 1073778376 140735066094464 140478833908008 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30909/tid=30916] ppid=30906 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/30909/task/30916/stat : 30916 (java) S 30906 30909 30091 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 28844525 10060525568 52043 33554432000 1073741824 1073778376 140735066094464 140478832855976 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30909/tid=30917] ppid=30906 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/30909/task/30917/stat : 30917 (java) S 30906 30909 30091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28844525 10060525568 52043 33554432000 1073741824 1073778376 140735066094464 140478831803432 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30909/tid=30918] ppid=30906 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/30909/task/30918/stat : 30918 (java) S 30906 30909 30091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28844525 10060525568 52043 33554432000 1073741824 1073778376 140735066094464 140478830750376 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30909/tid=30919] ppid=30906 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/30909/task/30919/stat : 30919 (java) S 30906 30909 30091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28844525 10060525568 52043 33554432000 1073741824 1073778376 140735066094464 140478829697832 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30909/tid=30920] ppid=30906 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/30909/task/30920/stat : 30920 (java) S 30906 30909 30091 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 22 0 28844526 10060525568 52043 33554432000 1073741824 1073778376 140735066094464 140478817499496 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30909/tid=30921] ppid=30906 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/30909/task/30921/stat : 30921 (java) S 30906 30909 30091 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28844526 10060525568 52043 33554432000 1073741824 1073778376 140735066094464 140478816445816 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30909/tid=30922] ppid=30906 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/30909/task/30922/stat : 30922 (java) S 30906 30909 30091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 28844526 10060525568 52043 33554432000 1073741824 1073778376 140735066094464 140478815392648 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30909/tid=30923] ppid=30906 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/30909/task/30923/stat : 30923 (java) S 30906 30909 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28844528 10060525568 52043 33554432000 1073741824 1073778376 140735066094464 140478814341392 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30909/tid=30924] ppid=30906 vsize=9824732 CPUtime=1.25 cores=1,3,5,7
/proc/30909/task/30924/stat : 30924 (java) S 30906 30909 30091 0 -1 4202560 12472 0 0 0 124 1 0 0 20 0 22 0 28844528 10060525568 52043 33554432000 1073741824 1073778376 140735066094464 140478813289272 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30909/tid=30925] ppid=30906 vsize=9824732 CPUtime=1.18 cores=1,3,5,7
/proc/30909/task/30925/stat : 30925 (java) S 30906 30909 30091 0 -1 4202560 9811 0 0 0 116 2 0 0 20 0 22 0 28844528 10060525568 52043 33554432000 1073741824 1073778376 140735066094464 140478812236728 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30909/tid=30926] ppid=30906 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/30909/task/30926/stat : 30926 (java) S 30906 30909 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28844528 10060525568 52043 33554432000 1073741824 1073778376 140735066094464 140478811183864 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30909/tid=30927] ppid=30906 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/30909/task/30927/stat : 30927 (java) S 30906 30909 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28844528 10060525568 52043 33554432000 1073741824 1073778376 140735066094464 140478810131528 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30909/tid=30928] ppid=30906 vsize=9824732 CPUtime=1.22 cores=1,3,5,7
/proc/30909/task/30928/stat : 30928 (java) R 30906 30909 30091 0 -1 4202560 20 0 0 0 122 0 0 0 20 0 22 0 28844548 10060525568 52043 33554432000 1073741824 1073778376 140735066094464 140478809076408 140478865955112 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=30909/tid=30929] ppid=30906 vsize=9824732 CPUtime=1.2 cores=1,3,5,7
/proc/30909/task/30929/stat : 30929 (java) R 30906 30909 30091 0 -1 4202560 89 0 0 0 118 2 0 0 20 0 22 0 28844548 10060525568 52043 33554432000 1073741824 1073778376 140735066094464 140478808022416 140478865540853 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=30909/tid=30930] ppid=30906 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/30909/task/30930/stat : 30930 (java) S 30906 30909 30091 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 28844548 10060525568 52043 33554432000 1073741824 1073778376 140735066094464 140478806971176 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30909/tid=30931] ppid=30906 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/30909/task/30931/stat : 30931 (java) S 30906 30909 30091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28844548 10060525568 52043 33554432000 1073741824 1073778376 140735066094464 140478805918632 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 5.19
Current children cumulated vsize (KiB) 9824732

[startup+3.10099 s]
/proc/loadavg: 4.67 4.51 4.18 5/219 30931
/proc/meminfo: memFree=29114176/32872528 swapFree=1556504/1720024
[pid=30909] ppid=30906 vsize=9824732 CPUtime=8.49 cores=1,3,5,7
/proc/30909/stat : 30909 (java) S 30906 30909 30091 0 -1 4202496 26830 0 1 0 836 13 0 0 20 0 22 0 28844523 10060525568 89393 33554432000 1073741824 1073778376 140735066094464 140735066085600 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30909/statm: 2456183 89393 2278 9 0 2446860 0
[pid=30909/tid=30910] ppid=30906 vsize=9824732 CPUtime=0.22 cores=1,3,5,7
/proc/30909/task/30910/stat : 30910 (java) S 30906 30909 30091 0 -1 4202560 2433 0 1 0 22 0 0 0 20 0 22 0 28844524 10060525568 89393 33554432000 1073741824 1073778376 140735066094464 140478993339256 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30909/tid=30912] ppid=30906 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/30909/task/30912/stat : 30912 (java) S 30906 30909 30091 0 -1 4202560 115 0 0 0 2 0 0 0 20 0 22 0 28844525 10060525568 89393 33554432000 1073741824 1073778376 140735066094464 140478837066152 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30909/tid=30913] ppid=30906 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/30909/task/30913/stat : 30913 (java) S 30906 30909 30091 0 -1 4202560 95 0 0 0 1 0 0 0 20 0 22 0 28844525 10060525568 89393 33554432000 1073741824 1073778376 140735066094464 140478836013608 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30909/tid=30914] ppid=30906 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/30909/task/30914/stat : 30914 (java) S 30906 30909 30091 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 28844525 10060525568 89393 33554432000 1073741824 1073778376 140735066094464 140478834960552 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30909/tid=30915] ppid=30906 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/30909/task/30915/stat : 30915 (java) S 30906 30909 30091 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 22 0 28844525 10060525568 89393 33554432000 1073741824 1073778376 140735066094464 140478833908008 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30909/tid=30916] ppid=30906 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/30909/task/30916/stat : 30916 (java) S 30906 30909 30091 0 -1 4202560 123 0 0 0 2 0 0 0 20 0 22 0 28844525 10060525568 89393 33554432000 1073741824 1073778376 140735066094464 140478832855976 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30909/tid=30917] ppid=30906 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/30909/task/30917/stat : 30917 (java) S 30906 30909 30091 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 22 0 28844525 10060525568 89393 33554432000 1073741824 1073778376 140735066094464 140478831803432 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30909/tid=30918] ppid=30906 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/30909/task/30918/stat : 30918 (java) S 30906 30909 30091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 28844525 10060525568 89393 33554432000 1073741824 1073778376 140735066094464 140478830750376 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30909/tid=30919] ppid=30906 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/30909/task/30919/stat : 30919 (java) S 30906 30909 30091 0 -1 4202560 113 0 0 0 0 1 0 0 20 0 22 0 28844525 10060525568 89393 33554432000 1073741824 1073778376 140735066094464 140478829697832 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30909/tid=30920] ppid=30906 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/30909/task/30920/stat : 30920 (java) S 30906 30909 30091 0 -1 4202560 189 0 0 0 0 0 0 0 20 0 22 0 28844526 10060525568 89393 33554432000 1073741824 1073778376 140735066094464 140478817499496 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30909/tid=30921] ppid=30906 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/30909/task/30921/stat : 30921 (java) S 30906 30909 30091 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28844526 10060525568 89393 33554432000 1073741824 1073778376 140735066094464 140478816445816 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30909/tid=30922] ppid=30906 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/30909/task/30922/stat : 30922 (java) S 30906 30909 30091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 28844526 10060525568 89393 33554432000 1073741824 1073778376 140735066094464 140478815392648 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30909/tid=30923] ppid=30906 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/30909/task/30923/stat : 30923 (java) S 30906 30909 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28844528 10060525568 89393 33554432000 1073741824 1073778376 140735066094464 140478814341392 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30909/tid=30924] ppid=30906 vsize=9824732 CPUtime=1.28 cores=1,3,5,7
/proc/30909/task/30924/stat : 30924 (java) S 30906 30909 30091 0 -1 4202560 12472 0 0 0 126 2 0 0 20 0 22 0 28844528 10060525568 89393 33554432000 1073741824 1073778376 140735066094464 140478813289272 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30909/tid=30925] ppid=30906 vsize=9824732 CPUtime=1.19 cores=1,3,5,7
/proc/30909/task/30925/stat : 30925 (java) S 30906 30909 30091 0 -1 4202560 9811 0 0 0 117 2 0 0 20 0 22 0 28844528 10060525568 89393 33554432000 1073741824 1073778376 140735066094464 140478812236728 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30909/tid=30926] ppid=30906 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/30909/task/30926/stat : 30926 (java) S 30906 30909 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28844528 10060525568 89393 33554432000 1073741824 1073778376 140735066094464 140478811183864 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30909/tid=30927] ppid=30906 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/30909/task/30927/stat : 30927 (java) S 30906 30909 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28844528 10060525568 89393 33554432000 1073741824 1073778376 140735066094464 140478810131528 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30909/tid=30928] ppid=30906 vsize=9824732 CPUtime=2.77 cores=1,3,5,7
/proc/30909/task/30928/stat : 30928 (java) R 30906 30909 30091 0 -1 4202560 21 0 0 0 277 0 0 0 20 0 22 0 28844548 10060525568 89393 33554432000 1073741824 1073778376 140735066094464 140478809074120 140478865947261 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=30909/tid=30929] ppid=30906 vsize=9824732 CPUtime=2.74 cores=1,3,5,7
/proc/30909/task/30929/stat : 30929 (java) R 30906 30909 30091 0 -1 4202560 146 0 0 0 272 2 0 0 20 0 22 0 28844548 10060525568 89393 33554432000 1073741824 1073778376 140735066094464 140478808022528 140478865983445 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=30909/tid=30930] ppid=30906 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/30909/task/30930/stat : 30930 (java) S 30906 30909 30091 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 28844548 10060525568 89393 33554432000 1073741824 1073778376 140735066094464 140478806971176 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30909/tid=30931] ppid=30906 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/30909/task/30931/stat : 30931 (java) S 30906 30909 30091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28844548 10060525568 89393 33554432000 1073741824 1073778376 140735066094464 140478805918632 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 8.49
Current children cumulated vsize (KiB) 9824732

[startup+6.30097 s]
/proc/loadavg: 4.69 4.52 4.18 5/219 30934
/proc/meminfo: memFree=28421112/32872528 swapFree=1556504/1720024
[pid=30909] ppid=30906 vsize=9824732 CPUtime=15.09 cores=1,3,5,7
/proc/30909/stat : 30909 (java) S 30906 30909 30091 0 -1 4202496 27267 0 1 0 1489 20 0 0 20 0 22 0 28844523 10060525568 153509 33554432000 1073741824 1073778376 140735066094464 140735066085600 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30909/statm: 2456183 153509 2281 9 0 2446860 0
[pid=30909/tid=30910] ppid=30906 vsize=9824732 CPUtime=0.22 cores=1,3,5,7
/proc/30909/task/30910/stat : 30910 (java) S 30906 30909 30091 0 -1 4202560 2433 0 1 0 22 0 0 0 20 0 22 0 28844524 10060525568 153509 33554432000 1073741824 1073778376 140735066094464 140478993339256 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30909/tid=30912] ppid=30906 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/30909/task/30912/stat : 30912 (java) S 30906 30909 30091 0 -1 4202560 127 0 0 0 3 2 0 0 20 0 22 0 28844525 10060525568 153509 33554432000 1073741824 1073778376 140735066094464 140478837066152 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30909/tid=30913] ppid=30906 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/30909/task/30913/stat : 30913 (java) S 30906 30909 30091 0 -1 4202560 100 0 0 0 2 0 0 0 20 0 22 0 28844525 10060525568 153509 33554432000 1073741824 1073778376 140735066094464 140478836013608 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30909/tid=30914] ppid=30906 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/30909/task/30914/stat : 30914 (java) S 30906 30909 30091 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 22 0 28844525 10060525568 153509 33554432000 1073741824 1073778376 140735066094464 140478834960552 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30909/tid=30915] ppid=30906 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/30909/task/30915/stat : 30915 (java) S 30906 30909 30091 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 22 0 28844525 10060525568 153509 33554432000 1073741824 1073778376 140735066094464 140478833908008 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30909/tid=30916] ppid=30906 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/30909/task/30916/stat : 30916 (java) S 30906 30909 30091 0 -1 4202560 134 0 0 0 3 2 0 0 20 0 22 0 28844525 10060525568 153509 33554432000 1073741824 1073778376 140735066094464 140478832855976 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30909/tid=30917] ppid=30906 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/30909/task/30917/stat : 30917 (java) S 30906 30909 30091 0 -1 4202560 20 0 0 0 1 1 0 0 20 0 22 0 28844525 10060525568 153509 33554432000 1073741824 1073778376 140735066094464 140478831803432 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30909/tid=30918] ppid=30906 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/30909/task/30918/stat : 30918 (java) S 30906 30909 30091 0 -1 4202560 20 0 0 0 2 1 0 0 20 0 22 0 28844525 10060525568 153509 33554432000 1073741824 1073778376 140735066094464 140478830750376 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30909/tid=30919] ppid=30906 vsize=9824732 CPUtime=0.03 cores=1,3,5,7

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

/proc/30909/task/30918/stat : 30918 (java) S 30906 30909 30091 0 -1 4202560 393 0 0 0 228 9 0 0 20 0 19 0 28844525 10060525568 427746 33554432000 1073741824 1073778376 140735066094464 140478830750376 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30909/tid=30919] ppid=30906 vsize=9824732 CPUtime=2.53 cores=1,3,5,7
/proc/30909/task/30919/stat : 30919 (java) S 30906 30909 30091 0 -1 4202560 585 0 0 0 242 11 0 0 20 0 19 0 28844525 10060525568 427746 33554432000 1073741824 1073778376 140735066094464 140478829697832 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30909/tid=30920] ppid=30906 vsize=9824732 CPUtime=2.49 cores=1,3,5,7
/proc/30909/task/30920/stat : 30920 (java) S 30906 30909 30091 0 -1 4202560 1504 0 0 0 218 31 0 0 20 0 19 0 28844526 10060525568 427746 33554432000 1073741824 1073778376 140735066094464 140478817499496 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30909/tid=30921] ppid=30906 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/30909/task/30921/stat : 30921 (java) S 30906 30909 30091 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 28844526 10060525568 427746 33554432000 1073741824 1073778376 140735066094464 140478816445816 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30909/tid=30922] ppid=30906 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/30909/task/30922/stat : 30922 (java) S 30906 30909 30091 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 28844526 10060525568 427746 33554432000 1073741824 1073778376 140735066094464 140478815392648 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30909/tid=30923] ppid=30906 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/30909/task/30923/stat : 30923 (java) S 30906 30909 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28844528 10060525568 427746 33554432000 1073741824 1073778376 140735066094464 140478814341392 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30909/tid=30924] ppid=30906 vsize=9824732 CPUtime=1.57 cores=1,3,5,7
/proc/30909/task/30924/stat : 30924 (java) S 30906 30909 30091 0 -1 4202560 12484 0 0 0 155 2 0 0 20 0 19 0 28844528 10060525568 427746 33554432000 1073741824 1073778376 140735066094464 140478813289272 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30909/tid=30925] ppid=30906 vsize=9824732 CPUtime=2.12 cores=1,3,5,7
/proc/30909/task/30925/stat : 30925 (java) S 30906 30909 30091 0 -1 4202560 10656 0 0 0 210 2 0 0 20 0 19 0 28844528 10060525568 427746 33554432000 1073741824 1073778376 140735066094464 140478812236728 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30909/tid=30926] ppid=30906 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/30909/task/30926/stat : 30926 (java) S 30906 30909 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28844528 10060525568 427746 33554432000 1073741824 1073778376 140735066094464 140478811183864 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30909/tid=30927] ppid=30906 vsize=9824732 CPUtime=0.36 cores=1,3,5,7
/proc/30909/task/30927/stat : 30927 (java) S 30906 30909 30091 0 -1 4202560 50 0 0 0 11 25 0 0 20 0 19 0 28844528 10060525568 427746 33554432000 1073741824 1073778376 140735066094464 140478810131528 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30909/tid=30931] ppid=30906 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/30909/task/30931/stat : 30931 (java) S 30906 30909 30091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28844548 10060525568 427746 33554432000 1073741824 1073778376 140735066094464 140478805918632 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1760.01
Current children cumulated vsize (KiB) 9824732

[startup+880.801 s]
/proc/loadavg: 4.17 4.27 4.20 4/216 31288
/proc/meminfo: memFree=26382176/32872528 swapFree=1556504/1720024
[pid=30909] ppid=30906 vsize=9824732 CPUtime=1760.8 cores=1,3,5,7
/proc/30909/stat : 30909 (java) S 30906 30909 30091 0 -1 4202496 34040 0 1 0 175886 194 0 0 20 0 19 0 28844523 10060525568 427746 33554432000 1073741824 1073778376 140735066094464 140735066085600 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30909/statm: 2456183 427746 2294 9 0 2446860 0
[pid=30909/tid=30910] ppid=30906 vsize=9824732 CPUtime=3.67 cores=1,3,5,7
/proc/30909/task/30910/stat : 30910 (java) R 30906 30909 30091 0 -1 4202560 2447 0 1 0 363 4 0 0 20 0 19 0 28844524 10060525568 427746 33554432000 1073741824 1073778376 140735066094464 140478993336880 140478865696706 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=30909/tid=30912] ppid=30906 vsize=9824732 CPUtime=2.64 cores=1,3,5,7
/proc/30909/task/30912/stat : 30912 (java) S 30906 30909 30091 0 -1 4202560 567 0 0 0 253 11 0 0 20 0 19 0 28844525 10060525568 427746 33554432000 1073741824 1073778376 140735066094464 140478837066152 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30909/tid=30913] ppid=30906 vsize=9824732 CPUtime=2.62 cores=1,3,5,7
/proc/30909/task/30913/stat : 30913 (java) S 30906 30909 30091 0 -1 4202560 552 0 0 0 252 10 0 0 20 0 19 0 28844525 10060525568 427746 33554432000 1073741824 1073778376 140735066094464 140478836013608 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30909/tid=30914] ppid=30906 vsize=9824732 CPUtime=2.46 cores=1,3,5,7
/proc/30909/task/30914/stat : 30914 (java) S 30906 30909 30091 0 -1 4202560 379 0 0 0 238 8 0 0 20 0 19 0 28844525 10060525568 427746 33554432000 1073741824 1073778376 140735066094464 140478834960552 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30909/tid=30915] ppid=30906 vsize=9824732 CPUtime=2.37 cores=1,3,5,7
/proc/30909/task/30915/stat : 30915 (java) S 30906 30909 30091 0 -1 4202560 438 0 0 0 229 8 0 0 20 0 19 0 28844525 10060525568 427746 33554432000 1073741824 1073778376 140735066094464 140478833908008 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30909/tid=30916] ppid=30906 vsize=9824732 CPUtime=2.5 cores=1,3,5,7
/proc/30909/task/30916/stat : 30916 (java) S 30906 30909 30091 0 -1 4202560 496 0 0 0 241 9 0 0 20 0 19 0 28844525 10060525568 427746 33554432000 1073741824 1073778376 140735066094464 140478832855976 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30909/tid=30917] ppid=30906 vsize=9824732 CPUtime=2.65 cores=1,3,5,7
/proc/30909/task/30917/stat : 30917 (java) S 30906 30909 30091 0 -1 4202560 428 0 0 0 255 10 0 0 20 0 19 0 28844525 10060525568 427746 33554432000 1073741824 1073778376 140735066094464 140478831803432 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30909/tid=30918] ppid=30906 vsize=9824732 CPUtime=2.37 cores=1,3,5,7
/proc/30909/task/30918/stat : 30918 (java) S 30906 30909 30091 0 -1 4202560 393 0 0 0 228 9 0 0 20 0 19 0 28844525 10060525568 427746 33554432000 1073741824 1073778376 140735066094464 140478830750376 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30909/tid=30919] ppid=30906 vsize=9824732 CPUtime=2.53 cores=1,3,5,7
/proc/30909/task/30919/stat : 30919 (java) S 30906 30909 30091 0 -1 4202560 585 0 0 0 242 11 0 0 20 0 19 0 28844525 10060525568 427746 33554432000 1073741824 1073778376 140735066094464 140478829697832 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30909/tid=30920] ppid=30906 vsize=9824732 CPUtime=2.49 cores=1,3,5,7
/proc/30909/task/30920/stat : 30920 (java) S 30906 30909 30091 0 -1 4202560 1504 0 0 0 218 31 0 0 20 0 19 0 28844526 10060525568 427746 33554432000 1073741824 1073778376 140735066094464 140478817499496 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30909/tid=30921] ppid=30906 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/30909/task/30921/stat : 30921 (java) S 30906 30909 30091 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 28844526 10060525568 427746 33554432000 1073741824 1073778376 140735066094464 140478816445816 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30909/tid=30922] ppid=30906 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/30909/task/30922/stat : 30922 (java) S 30906 30909 30091 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 28844526 10060525568 427746 33554432000 1073741824 1073778376 140735066094464 140478815392648 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30909/tid=30923] ppid=30906 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/30909/task/30923/stat : 30923 (java) S 30906 30909 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28844528 10060525568 427746 33554432000 1073741824 1073778376 140735066094464 140478814341392 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30909/tid=30924] ppid=30906 vsize=9824732 CPUtime=1.57 cores=1,3,5,7
/proc/30909/task/30924/stat : 30924 (java) S 30906 30909 30091 0 -1 4202560 12484 0 0 0 155 2 0 0 20 0 19 0 28844528 10060525568 427746 33554432000 1073741824 1073778376 140735066094464 140478813289272 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30909/tid=30925] ppid=30906 vsize=9824732 CPUtime=2.12 cores=1,3,5,7
/proc/30909/task/30925/stat : 30925 (java) S 30906 30909 30091 0 -1 4202560 10656 0 0 0 210 2 0 0 20 0 19 0 28844528 10060525568 427746 33554432000 1073741824 1073778376 140735066094464 140478812236728 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30909/tid=30926] ppid=30906 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/30909/task/30926/stat : 30926 (java) S 30906 30909 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28844528 10060525568 427746 33554432000 1073741824 1073778376 140735066094464 140478811183864 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30909/tid=30927] ppid=30906 vsize=9824732 CPUtime=0.36 cores=1,3,5,7
/proc/30909/task/30927/stat : 30927 (java) S 30906 30909 30091 0 -1 4202560 50 0 0 0 11 25 0 0 20 0 19 0 28844528 10060525568 427746 33554432000 1073741824 1073778376 140735066094464 140478810131528 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30909/tid=30931] ppid=30906 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/30909/task/30931/stat : 30931 (java) S 30906 30909 30091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28844548 10060525568 427746 33554432000 1073741824 1073778376 140735066094464 140478805918632 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1760.8
Current children cumulated vsize (KiB) 9824732

[startup+881.208 s]
/proc/loadavg: 4.17 4.27 4.20 4/216 31288
/proc/meminfo: memFree=26388876/32872528 swapFree=1556504/1720024
[pid=30909] ppid=30906 vsize=9824732 CPUtime=1761.21 cores=1,3,5,7
/proc/30909/stat : 30909 (java) S 30906 30909 30091 0 -1 4202496 34040 0 1 0 175927 194 0 0 20 0 19 0 28844523 10060525568 427746 33554432000 1073741824 1073778376 140735066094464 140735066085600 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30909/statm: 2456183 427746 2294 9 0 2446860 0
[pid=30909/tid=30910] ppid=30906 vsize=9824732 CPUtime=4.08 cores=1,3,5,7
/proc/30909/task/30910/stat : 30910 (java) R 30906 30909 30091 0 -1 4202560 2447 0 1 0 404 4 0 0 20 0 19 0 28844524 10060525568 427746 33554432000 1073741824 1073778376 140735066094464 140478993336880 140478866696265 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=30909/tid=30912] ppid=30906 vsize=9824732 CPUtime=2.64 cores=1,3,5,7
/proc/30909/task/30912/stat : 30912 (java) S 30906 30909 30091 0 -1 4202560 567 0 0 0 253 11 0 0 20 0 19 0 28844525 10060525568 427746 33554432000 1073741824 1073778376 140735066094464 140478837066152 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30909/tid=30913] ppid=30906 vsize=9824732 CPUtime=2.62 cores=1,3,5,7
/proc/30909/task/30913/stat : 30913 (java) S 30906 30909 30091 0 -1 4202560 552 0 0 0 252 10 0 0 20 0 19 0 28844525 10060525568 427746 33554432000 1073741824 1073778376 140735066094464 140478836013608 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30909/tid=30914] ppid=30906 vsize=9824732 CPUtime=2.46 cores=1,3,5,7
/proc/30909/task/30914/stat : 30914 (java) S 30906 30909 30091 0 -1 4202560 379 0 0 0 238 8 0 0 20 0 19 0 28844525 10060525568 427746 33554432000 1073741824 1073778376 140735066094464 140478834960552 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30909/tid=30915] ppid=30906 vsize=9824732 CPUtime=2.37 cores=1,3,5,7
/proc/30909/task/30915/stat : 30915 (java) S 30906 30909 30091 0 -1 4202560 438 0 0 0 229 8 0 0 20 0 19 0 28844525 10060525568 427746 33554432000 1073741824 1073778376 140735066094464 140478833908008 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30909/tid=30916] ppid=30906 vsize=9824732 CPUtime=2.5 cores=1,3,5,7
/proc/30909/task/30916/stat : 30916 (java) S 30906 30909 30091 0 -1 4202560 496 0 0 0 241 9 0 0 20 0 19 0 28844525 10060525568 427746 33554432000 1073741824 1073778376 140735066094464 140478832855976 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30909/tid=30917] ppid=30906 vsize=9824732 CPUtime=2.65 cores=1,3,5,7
/proc/30909/task/30917/stat : 30917 (java) S 30906 30909 30091 0 -1 4202560 428 0 0 0 255 10 0 0 20 0 19 0 28844525 10060525568 427746 33554432000 1073741824 1073778376 140735066094464 140478831803432 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30909/tid=30918] ppid=30906 vsize=9824732 CPUtime=2.37 cores=1,3,5,7
/proc/30909/task/30918/stat : 30918 (java) S 30906 30909 30091 0 -1 4202560 393 0 0 0 228 9 0 0 20 0 19 0 28844525 10060525568 427746 33554432000 1073741824 1073778376 140735066094464 140478830750376 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30909/tid=30919] ppid=30906 vsize=9824732 CPUtime=2.53 cores=1,3,5,7
/proc/30909/task/30919/stat : 30919 (java) S 30906 30909 30091 0 -1 4202560 585 0 0 0 242 11 0 0 20 0 19 0 28844525 10060525568 427746 33554432000 1073741824 1073778376 140735066094464 140478829697832 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30909/tid=30920] ppid=30906 vsize=9824732 CPUtime=2.49 cores=1,3,5,7
/proc/30909/task/30920/stat : 30920 (java) S 30906 30909 30091 0 -1 4202560 1504 0 0 0 218 31 0 0 20 0 19 0 28844526 10060525568 427746 33554432000 1073741824 1073778376 140735066094464 140478817499496 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30909/tid=30921] ppid=30906 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/30909/task/30921/stat : 30921 (java) S 30906 30909 30091 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 28844526 10060525568 427746 33554432000 1073741824 1073778376 140735066094464 140478816445816 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30909/tid=30922] ppid=30906 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/30909/task/30922/stat : 30922 (java) S 30906 30909 30091 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 28844526 10060525568 427746 33554432000 1073741824 1073778376 140735066094464 140478815392648 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30909/tid=30923] ppid=30906 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/30909/task/30923/stat : 30923 (java) S 30906 30909 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28844528 10060525568 427746 33554432000 1073741824 1073778376 140735066094464 140478814341392 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30909/tid=30924] ppid=30906 vsize=9824732 CPUtime=1.57 cores=1,3,5,7
/proc/30909/task/30924/stat : 30924 (java) S 30906 30909 30091 0 -1 4202560 12484 0 0 0 155 2 0 0 20 0 19 0 28844528 10060525568 427746 33554432000 1073741824 1073778376 140735066094464 140478813289272 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30909/tid=30925] ppid=30906 vsize=9824732 CPUtime=2.12 cores=1,3,5,7
/proc/30909/task/30925/stat : 30925 (java) S 30906 30909 30091 0 -1 4202560 10656 0 0 0 210 2 0 0 20 0 19 0 28844528 10060525568 427746 33554432000 1073741824 1073778376 140735066094464 140478812236728 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30909/tid=30926] ppid=30906 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/30909/task/30926/stat : 30926 (java) S 30906 30909 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28844528 10060525568 427746 33554432000 1073741824 1073778376 140735066094464 140478811183864 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30909/tid=30927] ppid=30906 vsize=9824732 CPUtime=0.36 cores=1,3,5,7
/proc/30909/task/30927/stat : 30927 (java) S 30906 30909 30091 0 -1 4202560 50 0 0 0 11 25 0 0 20 0 19 0 28844528 10060525568 427746 33554432000 1073741824 1073778376 140735066094464 140478810131528 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30909/tid=30931] ppid=30906 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/30909/task/30931/stat : 30931 (java) S 30906 30909 30091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28844548 10060525568 427746 33554432000 1073741824 1073778376 140735066094464 140478805918632 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1761.21
Current children cumulated vsize (KiB) 9824732

[startup+881.401 s]
/proc/loadavg: 4.17 4.27 4.20 4/216 31288
/proc/meminfo: memFree=26388876/32872528 swapFree=1556504/1720024
[pid=30909] ppid=30906 vsize=9824732 CPUtime=1761.4 cores=1,3,5,7
/proc/30909/stat : 30909 (java) S 30906 30909 30091 0 -1 4202496 34040 0 1 0 175946 194 0 0 20 0 19 0 28844523 10060525568 427746 33554432000 1073741824 1073778376 140735066094464 140735066085600 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30909/statm: 2456183 427746 2294 9 0 2446860 0
[pid=30909/tid=30910] ppid=30906 vsize=9824732 CPUtime=4.27 cores=1,3,5,7
/proc/30909/task/30910/stat : 30910 (java) R 30906 30909 30091 0 -1 4202560 2447 0 1 0 423 4 0 0 20 0 19 0 28844524 10060525568 427746 33554432000 1073741824 1073778376 140735066094464 140478993336880 140478866696303 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=30909/tid=30912] ppid=30906 vsize=9824732 CPUtime=2.64 cores=1,3,5,7
/proc/30909/task/30912/stat : 30912 (java) S 30906 30909 30091 0 -1 4202560 567 0 0 0 253 11 0 0 20 0 19 0 28844525 10060525568 427746 33554432000 1073741824 1073778376 140735066094464 140478837066152 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30909/tid=30913] ppid=30906 vsize=9824732 CPUtime=2.62 cores=1,3,5,7
/proc/30909/task/30913/stat : 30913 (java) S 30906 30909 30091 0 -1 4202560 552 0 0 0 252 10 0 0 20 0 19 0 28844525 10060525568 427746 33554432000 1073741824 1073778376 140735066094464 140478836013608 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30909/tid=30914] ppid=30906 vsize=9824732 CPUtime=2.46 cores=1,3,5,7
/proc/30909/task/30914/stat : 30914 (java) S 30906 30909 30091 0 -1 4202560 379 0 0 0 238 8 0 0 20 0 19 0 28844525 10060525568 427746 33554432000 1073741824 1073778376 140735066094464 140478834960552 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30909/tid=30915] ppid=30906 vsize=9824732 CPUtime=2.37 cores=1,3,5,7
/proc/30909/task/30915/stat : 30915 (java) S 30906 30909 30091 0 -1 4202560 438 0 0 0 229 8 0 0 20 0 19 0 28844525 10060525568 427746 33554432000 1073741824 1073778376 140735066094464 140478833908008 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30909/tid=30916] ppid=30906 vsize=9824732 CPUtime=2.5 cores=1,3,5,7
/proc/30909/task/30916/stat : 30916 (java) S 30906 30909 30091 0 -1 4202560 496 0 0 0 241 9 0 0 20 0 19 0 28844525 10060525568 427746 33554432000 1073741824 1073778376 140735066094464 140478832855976 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30909/tid=30917] ppid=30906 vsize=9824732 CPUtime=2.65 cores=1,3,5,7
/proc/30909/task/30917/stat : 30917 (java) S 30906 30909 30091 0 -1 4202560 428 0 0 0 255 10 0 0 20 0 19 0 28844525 10060525568 427746 33554432000 1073741824 1073778376 140735066094464 140478831803432 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30909/tid=30918] ppid=30906 vsize=9824732 CPUtime=2.37 cores=1,3,5,7
/proc/30909/task/30918/stat : 30918 (java) S 30906 30909 30091 0 -1 4202560 393 0 0 0 228 9 0 0 20 0 19 0 28844525 10060525568 427746 33554432000 1073741824 1073778376 140735066094464 140478830750376 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30909/tid=30919] ppid=30906 vsize=9824732 CPUtime=2.53 cores=1,3,5,7
/proc/30909/task/30919/stat : 30919 (java) S 30906 30909 30091 0 -1 4202560 585 0 0 0 242 11 0 0 20 0 19 0 28844525 10060525568 427746 33554432000 1073741824 1073778376 140735066094464 140478829697832 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30909/tid=30920] ppid=30906 vsize=9824732 CPUtime=2.49 cores=1,3,5,7
/proc/30909/task/30920/stat : 30920 (java) S 30906 30909 30091 0 -1 4202560 1504 0 0 0 218 31 0 0 20 0 19 0 28844526 10060525568 427746 33554432000 1073741824 1073778376 140735066094464 140478817499496 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30909/tid=30921] ppid=30906 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/30909/task/30921/stat : 30921 (java) S 30906 30909 30091 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 28844526 10060525568 427746 33554432000 1073741824 1073778376 140735066094464 140478816445816 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30909/tid=30922] ppid=30906 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/30909/task/30922/stat : 30922 (java) S 30906 30909 30091 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 28844526 10060525568 427746 33554432000 1073741824 1073778376 140735066094464 140478815392648 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30909/tid=30923] ppid=30906 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/30909/task/30923/stat : 30923 (java) S 30906 30909 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28844528 10060525568 427746 33554432000 1073741824 1073778376 140735066094464 140478814341392 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30909/tid=30924] ppid=30906 vsize=9824732 CPUtime=1.57 cores=1,3,5,7
/proc/30909/task/30924/stat : 30924 (java) S 30906 30909 30091 0 -1 4202560 12484 0 0 0 155 2 0 0 20 0 19 0 28844528 10060525568 427746 33554432000 1073741824 1073778376 140735066094464 140478813289272 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30909/tid=30925] ppid=30906 vsize=9824732 CPUtime=2.12 cores=1,3,5,7
/proc/30909/task/30925/stat : 30925 (java) S 30906 30909 30091 0 -1 4202560 10656 0 0 0 210 2 0 0 20 0 19 0 28844528 10060525568 427746 33554432000 1073741824 1073778376 140735066094464 140478812236728 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30909/tid=30926] ppid=30906 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/30909/task/30926/stat : 30926 (java) S 30906 30909 30091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28844528 10060525568 427746 33554432000 1073741824 1073778376 140735066094464 140478811183864 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30909/tid=30927] ppid=30906 vsize=9824732 CPUtime=0.36 cores=1,3,5,7
/proc/30909/task/30927/stat : 30927 (java) S 30906 30909 30091 0 -1 4202560 50 0 0 0 11 25 0 0 20 0 19 0 28844528 10060525568 427746 33554432000 1073741824 1073778376 140735066094464 140478810131528 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30909/tid=30931] ppid=30906 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/30909/task/30931/stat : 30931 (java) S 30906 30909 30091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28844548 10060525568 427746 33554432000 1073741824 1073778376 140735066094464 140478805918632 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1761.4
Current children cumulated vsize (KiB) 9824732

Child status: 30

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

Real time (s): 881.472
CPU time (s): 1765.33
CPU user time (s): 1763.34
CPU system time (s): 1.98166
CPU usage (%): 200.27
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1759.63
system time used= 2.21166
maximum resident set size= 2872292
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34051
page faults= 1
swaps= 0
block input operations= 0
block output operations= 936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 29810
involuntary context switches= 47969

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.05408 second user time and 6.88495 second system time

The end

Launcher Data 

Begin job on node117 at 2016-06-18 18:39:19
IDJOB=4106041
IDBENCH=47903
IDSOLVER=2543
FILE ID=node117/4106041-1466267959
RUNJOBID= node117-1466265252-30108
PBS_JOBID= 19918233
Free space on /tmp= 71740 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=293-P1=97-P2=163-P3=149-P4=163-P5=457-P6=521-P7=173-P8=431-P9=419-B.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106041-1466267959/watcher-4106041-1466267959 -o /tmp/evaluation-result-4106041-1466267959/solver-4106041-1466267959 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1466265252-30108 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4106041-1466267959.opb

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

MD5SUM BENCH= 3e0f07488272e35b9b674c3d7ccbd7e8
RANDOM SEED=498334417

node117.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29731216 kB
Buffers:          132824 kB
Cached:           316604 kB
SwapCached:            0 kB
Active:           300380 kB
Inactive:         352248 kB
Active(anon):     194864 kB
Inactive(anon):    10636 kB
Active(file):     105516 kB
Inactive(file):   341612 kB
Unevictable:     1720024 kB
Mlocked:         1556504 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              1356 kB
Writeback:             0 kB
AnonPages:       1826408 kB
Mapped:            21112 kB
Shmem:               204 kB
Slab:             621520 kB
SReclaimable:      64836 kB
SUnreclaim:       556684 kB
KernelStack:        1808 kB
PageTables:         7616 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2539468 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    212992 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71740 MiB
End job on node117 at 2016-06-18 18:54:01