Trace number 4106063

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j PB 2.3.6 Resolution PB16OPT3 862.02 858.9

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=11-P1=331-P2=7-P3=107-P4=137-P5=439-P6=409-P7=421-P8=491-P9=293-B.opb
MD5SUMbf07e05475dbb8a26e29c8119be0dea3
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.220965
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.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.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Glucose 2.1 dynamic restart strategy
0.09/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-4106063-1466269609.opb
0.09/0.11	c reading problem ... 
0.09/0.12	c  objective function found
0.24/0.21	c ... done. Wall clock time 0.098s.
0.24/0.21	c declared #vars     243
0.24/0.21	c internal #vars     972
0.24/0.21	c #constraints  1486
0.24/0.21	c constraints type 
0.24/0.21	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 729
0.24/0.21	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 757
0.24/0.21	c 1486 constraints processed.
0.24/0.21	c objective function length is 9 literals
0.97/0.71	c cleaning 2496 clauses out of 5000 with flag 10154/5000
1.56/1.27	c cleaning 4247 clauses out of 8505 with flag 22363/11001
2.16/1.89	c cleaning 5624 clauses out of 11258 with flag 36568/18001
3.17/2.83	c cleaning 6808 clauses out of 13635 with flag 52770/26002
4.19/3.84	c cleaning 7908 clauses out of 15825 with flag 71080/35000
5.31/4.95	c cleaning 8959 clauses out of 17917 with flag 91542/45000
6.15/5.79	c cleaning 9969 clauses out of 19958 with flag 113995/56000
7.06/6.63	c cleaning 10985 clauses out of 21989 with flag 138891/68000
8.05/7.66	c cleaning 11993 clauses out of 24005 with flag 167840/81001
9.96/9.55	c cleaning 13003 clauses out of 26011 with flag 199446/95000
12.46/12.00	c cleaning 13999 clauses out of 28008 with flag 237472/110000
13.66/13.30	c cleaning 14997 clauses out of 30009 with flag 275832/126000
15.05/14.62	c cleaning 15989 clauses out of 32013 with flag 311901/143001
17.45/17.07	c cleaning 17001 clauses out of 34024 with flag 350615/161001
18.96/18.59	c cleaning 18002 clauses out of 36023 with flag 393897/180001
20.66/20.23	c cleaning 19006 clauses out of 38021 with flag 445210/200001
22.96/22.50	c cleaning 19990 clauses out of 40014 with flag 491395/221000
25.26/24.84	c cleaning 21010 clauses out of 42025 with flag 539396/243001
28.64/28.14	c cleaning 21998 clauses out of 44015 with flag 592750/266001
31.45/30.63	c cleaning 23000 clauses out of 46016 with flag 646052/290000
32.18/31.05	c SATISFIABLE
32.18/31.05	c OPTIMIZING...
32.18/31.05	c Got one! Elapsed wall clock time (in seconds):30.933
32.18/31.05	o 77
32.58/31.49	c cleaning 17594 clauses out of 35214 with flag 10858/302198
33.49/32.35	c cleaning 11796 clauses out of 23618 with flag 24647/308196
34.09/32.91	c cleaning 9390 clauses out of 18822 with flag 40844/315196
34.50/33.30	c cleaning 8704 clauses out of 17432 with flag 58750/323196
35.20/34.01	c cleaning 8859 clauses out of 17730 with flag 80316/332198
35.80/34.61	c cleaning 9408 clauses out of 18869 with flag 100902/342196
36.40/35.28	c cleaning 10212 clauses out of 20461 with flag 126044/353196
37.40/36.21	c cleaning 11113 clauses out of 22249 with flag 153666/365196
38.20/37.09	c cleaning 12059 clauses out of 24136 with flag 182407/378196
39.00/37.89	c cleaning 13024 clauses out of 26078 with flag 213079/392197
40.60/39.43	c cleaning 14020 clauses out of 28053 with flag 248867/407196
42.30/41.17	c cleaning 15002 clauses out of 30034 with flag 287718/423197
43.50/42.36	c cleaning 16011 clauses out of 32032 with flag 325360/440197
43.80/42.68	c Got one! Elapsed wall clock time (in seconds):42.571
43.80/42.68	o 75
43.90/42.73	c cleaning 10963 clauses out of 21932 with flag 2288/446108
44.30/43.12	c cleaning 8481 clauses out of 16968 with flag 15792/452107
44.60/43.43	c cleaning 7735 clauses out of 15487 with flag 30821/459107
44.90/43.78	c cleaning 7867 clauses out of 15753 with flag 49202/467108
45.40/44.26	c cleaning 8437 clauses out of 16886 with flag 69101/476108
46.20/45.09	c cleaning 9213 clauses out of 18449 with flag 91658/486108
46.80/45.60	c cleaning 10100 clauses out of 20236 with flag 114901/497108
47.90/46.70	c cleaning 11064 clauses out of 22136 with flag 141637/509108
48.69/47.48	c cleaning 12029 clauses out of 24073 with flag 170949/522109
50.10/48.89	c cleaning 13013 clauses out of 26042 with flag 202614/536107
51.80/50.58	c cleaning 14005 clauses out of 28030 with flag 234405/551108
53.41/52.15	c cleaning 15006 clauses out of 30026 with flag 268611/567109
54.81/53.51	c cleaning 15983 clauses out of 32019 with flag 305014/584108
56.11/54.84	c cleaning 16993 clauses out of 34036 with flag 343598/602108
57.41/56.16	c cleaning 18014 clauses out of 36042 with flag 384085/621107
59.41/58.10	c cleaning 18994 clauses out of 38028 with flag 427712/641107
61.66/60.38	c cleaning 20015 clauses out of 40034 with flag 475113/662107
63.66/62.32	c cleaning 21003 clauses out of 42019 with flag 523488/684107
65.96/64.70	c cleaning 21989 clauses out of 44017 with flag 573292/707108
67.86/66.52	c cleaning 23006 clauses out of 46029 with flag 625749/731109
69.96/68.66	c cleaning 23985 clauses out of 48021 with flag 681190/756107
72.46/71.19	c cleaning 24989 clauses out of 50036 with flag 742610/782107
74.56/73.23	c cleaning 26016 clauses out of 52048 with flag 806300/809108
76.76/75.46	c cleaning 27004 clauses out of 54031 with flag 869797/837107
81.26/79.92	c cleaning 28005 clauses out of 56026 with flag 933868/866107
84.46/83.17	c cleaning 28994 clauses out of 58022 with flag 1003780/896108
84.76/83.47	c Got one! Elapsed wall clock time (in seconds):83.353
84.76/83.47	o 69
85.07/83.73	c cleaning 17013 clauses out of 34030 with flag 4441/901110
85.86/84.54	c cleaning 11504 clauses out of 23017 with flag 17651/907110
86.28/84.96	c cleaning 9246 clauses out of 18513 with flag 33096/914110
86.98/85.67	c cleaning 8629 clauses out of 17267 with flag 50175/922110
87.68/86.32	c cleaning 8814 clauses out of 17639 with flag 69654/931111
88.48/87.16	c cleaning 9403 clauses out of 18825 with flag 91339/941111
89.58/88.22	c cleaning 10199 clauses out of 20422 with flag 116217/952111
90.78/89.45	c cleaning 11093 clauses out of 22223 with flag 141889/964111
92.08/90.70	c cleaning 12054 clauses out of 24131 with flag 169647/977112
93.48/92.17	c cleaning 13020 clauses out of 26075 with flag 201953/991110
94.78/93.50	c cleaning 14012 clauses out of 28056 with flag 236783/1006111
95.91/94.53	c cleaning 15010 clauses out of 30043 with flag 271416/1022110
98.51/97.19	c cleaning 16012 clauses out of 32033 with flag 307840/1039110
100.52/99.14	c cleaning 17004 clauses out of 34022 with flag 347698/1057111
102.11/100.75	c cleaning 18000 clauses out of 36017 with flag 389527/1076110
103.91/102.56	c cleaning 18977 clauses out of 38017 with flag 435167/1096110
104.21/102.85	c Got one! Elapsed wall clock time (in seconds):102.732
104.21/102.85	o 3
104.71/103.33	c cleaning 15179 clauses out of 30375 with flag 11462/1107445
105.41/104.03	c cleaning 10589 clauses out of 21196 with flag 24583/1113445
105.92/104.58	c cleaning 8794 clauses out of 17605 with flag 40934/1120443
106.31/104.99	c cleaning 8404 clauses out of 16811 with flag 58379/1128443
106.81/105.45	c cleaning 8703 clauses out of 17407 with flag 77799/1137443
107.41/106.07	c cleaning 9315 clauses out of 18704 with flag 99579/1147443
108.22/106.83	c cleaning 10183 clauses out of 20389 with flag 123629/1158443
109.22/107.85	c cleaning 11097 clauses out of 22206 with flag 149890/1170443
110.42/109.03	c cleaning 12049 clauses out of 24110 with flag 178449/1183444
111.11/109.79	c cleaning 13019 clauses out of 26060 with flag 208920/1197443
112.52/111.13	c cleaning 14011 clauses out of 28041 with flag 241767/1212443
113.91/112.55	c cleaning 14997 clauses out of 30031 with flag 276433/1228444
115.11/113.76	c cleaning 16015 clauses out of 32034 with flag 313150/1245444
116.71/115.36	c cleaning 17003 clauses out of 34018 with flag 352294/1263443
118.12/116.73	c cleaning 18006 clauses out of 36015 with flag 393278/1282443
120.01/118.60	c cleaning 18999 clauses out of 38010 with flag 437593/1302444
122.42/121.08	c cleaning 19992 clauses out of 40010 with flag 483238/1323443
124.01/122.60	c cleaning 21005 clauses out of 42019 with flag 529526/1345444
125.83/124.44	c cleaning 22001 clauses out of 44013 with flag 579856/1368443
128.03/126.62	c cleaning 22995 clauses out of 46013 with flag 632873/1392444
130.52/129.11	c cleaning 23990 clauses out of 48017 with flag 687943/1417443
133.82/132.45	c cleaning 25007 clauses out of 50027 with flag 745450/1443443
136.12/134.72	c cleaning 26009 clauses out of 52022 with flag 805004/1470445
139.42/138.01	c cleaning 27003 clauses out of 54012 with flag 865476/1498444
141.82/140.46	c cleaning 27994 clauses out of 56007 with flag 929880/1527443
146.63/145.27	c cleaning 28995 clauses out of 58013 with flag 993977/1557443
150.03/148.65	c cleaning 30006 clauses out of 60020 with flag 1060118/1588445
153.42/152.04	c cleaning 31001 clauses out of 62015 with flag 1131534/1620446
157.82/156.45	c cleaning 32003 clauses out of 64013 with flag 1204612/1653445
162.02/160.70	c cleaning 32996 clauses out of 66008 with flag 1277494/1687443
165.64/164.21	c cleaning 33996 clauses out of 68012 with flag 1351862/1722443
169.86/168.45	c cleaning 34981 clauses out of 70016 with flag 1432824/1758443
173.65/172.20	c cleaning 36013 clauses out of 72036 with flag 1512361/1795444
177.35/175.96	c cleaning 37002 clauses out of 74022 with flag 1599842/1833443
180.65/179.29	c cleaning 37980 clauses out of 76020 with flag 1686631/1872443
187.85/186.42	c cleaning 39015 clauses out of 78040 with flag 1774500/1912443
192.35/190.92	c cleaning 39996 clauses out of 80026 with flag 1866191/1953444
199.95/198.55	c cleaning 40987 clauses out of 82030 with flag 1959355/1995444
204.65/203.21	c cleaning 42016 clauses out of 84042 with flag 2065722/2038443
209.50/208.06	c cleaning 43004 clauses out of 86026 with flag 2164825/2082443
214.09/212.60	c cleaning 44002 clauses out of 88022 with flag 2266042/2127443
219.89/218.40	c cleaning 44994 clauses out of 90021 with flag 2381338/2173444
225.69/224.23	c cleaning 46007 clauses out of 92027 with flag 2494503/2220444
230.79/229.36	c cleaning 46988 clauses out of 94020 with flag 2602751/2268444
235.90/234.42	c cleaning 47988 clauses out of 96031 with flag 2709388/2317443
241.79/240.32	c cleaning 49004 clauses out of 98043 with flag 2825829/2367443
247.58/246.02	c cleaning 50007 clauses out of 100039 with flag 2943025/2418443
253.68/252.11	c cleaning 50996 clauses out of 102033 with flag 3061785/2470444
260.48/258.95	c cleaning 52010 clauses out of 104037 with flag 3182793/2523444
267.48/265.97	c cleaning 53006 clauses out of 106027 with flag 3315872/2577444
274.39/272.86	c cleaning 54001 clauses out of 108019 with flag 3437478/2632443
285.19/283.43	c cleaning 54988 clauses out of 110019 with flag 3570253/2688444
294.78/293.03	c cleaning 56004 clauses out of 112031 with flag 3695526/2745444
304.68/302.98	c cleaning 57001 clauses out of 114027 with flag 3827424/2803444
316.08/314.31	c cleaning 57989 clauses out of 116025 with flag 3956736/2862443
324.58/322.88	c cleaning 59003 clauses out of 118036 with flag 4088918/2922443
333.01/331.16	c cleaning 60004 clauses out of 120034 with flag 4226809/2983444
342.30/340.48	c cleaning 61002 clauses out of 122030 with flag 4362326/3045444
354.60/352.78	c cleaning 61993 clauses out of 124028 with flag 4507478/3108444
365.66/363.68	c cleaning 63008 clauses out of 126034 with flag 4659598/3172443
376.17/374.12	c cleaning 64009 clauses out of 128026 with flag 4804765/3237443
387.17/385.20	c cleaning 64994 clauses out of 130018 with flag 4951351/3303444
399.02/396.92	c cleaning 65999 clauses out of 132022 with flag 5099668/3370443
416.15/413.92	c cleaning 67011 clauses out of 134023 with flag 5250544/3438443
430.95/428.80	c cleaning 67994 clauses out of 136013 with flag 5402477/3507444
445.75/443.56	c cleaning 69004 clauses out of 138018 with flag 5556061/3577443
459.25/456.99	c cleaning 70003 clauses out of 140014 with flag 5714358/3648443
471.25/468.91	c cleaning 70998 clauses out of 142011 with flag 5876909/3720443
482.35/480.00	c cleaning 71999 clauses out of 144013 with flag 6038009/3793443
496.34/493.99	c cleaning 72986 clauses out of 146015 with flag 6217692/3867444
509.73/507.33	c cleaning 74006 clauses out of 148028 with flag 6388886/3942443
523.94/521.58	c cleaning 75000 clauses out of 150022 with flag 6563145/4018444
538.08/535.64	c cleaning 75998 clauses out of 152021 with flag 6733328/4095443
550.38/547.93	c cleaning 77006 clauses out of 154023 with flag 6898799/4173443
564.88/562.31	c cleaning 77995 clauses out of 156017 with flag 7069178/4252443
583.27/580.79	c cleaning 79006 clauses out of 158021 with flag 7246264/4332443
598.97/596.41	c cleaning 79996 clauses out of 160015 with flag 7423224/4413443
614.99/612.35	c cleaning 81001 clauses out of 162020 with flag 7601274/4495444
631.19/628.55	c cleaning 81997 clauses out of 164019 with flag 7791513/4578444
648.80/646.03	c cleaning 83003 clauses out of 166022 with flag 7990749/4662444
666.50/663.72	c cleaning 84000 clauses out of 168018 with flag 8176371/4747444
685.13/682.28	c cleaning 85001 clauses out of 170017 with flag 8367188/4833443
703.14/700.22	c cleaning 86003 clauses out of 172017 with flag 8557430/4920444
723.24/720.38	c cleaning 86996 clauses out of 174013 with flag 8749458/5008443
744.11/741.12	c cleaning 88004 clauses out of 176017 with flag 8942860/5097443
765.72/762.77	c cleaning 89001 clauses out of 178014 with flag 9152573/5187444
788.21/785.15	c cleaning 90002 clauses out of 180013 with flag 9353743/5278444
823.62/820.60	c cleaning 90995 clauses out of 182009 with flag 9549539/5370443
859.52/856.30	c cleaning 92002 clauses out of 184008 with flag 9744587/5463444
862.02/858.89	c starts		: 8216
862.02/858.89	c conflicts		: 5480011
862.02/858.89	c decisions		: 6156905
862.02/858.89	c propagations		: 115442696
862.02/858.89	c inspects		: 16555593297
862.02/858.89	c shortcuts		: 0
862.02/858.89	c learnt literals	: 24
862.02/858.89	c learnt binary clauses	: 34
862.02/858.89	c learnt ternary clauses	: 97
862.02/858.89	c learnt constraints	: 5479986
862.02/858.89	c ignored constraints	: 0
862.02/858.89	c root simplifications	: 0
862.02/858.89	c removed literals (reason simplification)	: 0
862.02/858.89	c reason swapping (by a shorter reason)	: 0
862.02/858.89	c Calls to reduceDB	: 164
862.02/858.89	c Number of update (reduction) of LBD	: 180281
862.02/858.89	c Imported unit clauses	: 0
862.02/858.89	c number of reductions to clauses (during analyze)	: 0
862.02/858.89	c number of learned constraints concerned by reduction	: 0
862.02/858.89	c number of learning phase by resolution	: 0
862.02/858.89	c number of learning phase by cutting planes	: 0
862.02/858.89	c speed (assignments/second)	: 134442.6722069791
862.02/858.89	c non guided choices	51546
862.02/858.89	c learnt constraints type 
862.02/858.89	s OPTIMUM FOUND
862.02/858.89	c Found 4 solution(s)
862.02/858.89	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 
862.02/858.89	c objective function=3
862.02/858.89	c Total wall clock time (in seconds): 858.78

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-4106063-1466269609/watcher-4106063-1466269609 -o /tmp/evaluation-result-4106063-1466269609/solver-4106063-1466269609 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node151-1466269256-946 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4106063-1466269609.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.10 1.80 1.74 2/194 1990
/proc/meminfo: memFree=31594400/32872528 swapFree=7780/7780
[pid=1990] ppid=1987 vsize=2500 CPUtime=0 cores=0,2,4,6
/proc/1990/stat : 1990 (java) D 1987 1990 28317 0 -1 4202496 374 0 0 0 0 0 0 0 20 0 1 0 29005694 2560000 46 33554432000 1073741824 1073778376 140736065034944 140736065032072 243756264743 0 0 4096 0 18446744072100588836 0 0 17 4 0 0 0 0 0
/proc/1990/statm: 625 46 37 9 0 29 0

[startup+0.10006 s]
/proc/loadavg: 2.10 1.80 1.74 2/194 1990
/proc/meminfo: memFree=31594400/32872528 swapFree=7780/7780
[pid=1990] ppid=1987 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/1990/stat : 1990 (java) S 1987 1990 28317 0 -1 4202496 4433 0 1 0 8 1 0 0 20 0 18 0 29005694 9787879424 6069 33554432000 1073741824 1073778376 140736065034944 140736065026080 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1990/statm: 2389619 6069 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200218 s]
/proc/loadavg: 2.10 1.80 1.74 2/194 1990
/proc/meminfo: memFree=31594400/32872528 swapFree=7780/7780
[pid=1990] ppid=1987 vsize=9558476 CPUtime=0.24 cores=0,2,4,6
/proc/1990/stat : 1990 (java) S 1987 1990 28317 0 -1 4202496 4728 0 1 0 23 1 0 0 20 0 18 0 29005694 9787879424 6809 33554432000 1073741824 1073778376 140736065034944 140736065026080 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1990/statm: 2389619 6809 2212 9 0 2380296 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9558476

[startup+0.300221 s]
/proc/loadavg: 2.10 1.80 1.74 2/194 1990
/proc/meminfo: memFree=31594400/32872528 swapFree=7780/7780
[pid=1990] ppid=1987 vsize=9625040 CPUtime=0.49 cores=0,2,4,6
/proc/1990/stat : 1990 (java) S 1987 1990 28317 0 -1 4202496 6349 0 1 0 48 1 0 0 20 0 19 0 29005694 9856040960 8271 33554432000 1073741824 1073778376 140736065034944 140736065026080 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1990/statm: 2406260 8271 2243 9 0 2396937 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9625040

[startup+0.700123 s]
/proc/loadavg: 2.10 1.80 1.74 2/194 1990
/proc/meminfo: memFree=31594400/32872528 swapFree=7780/7780
[pid=1990] ppid=1987 vsize=9625040 CPUtime=0.97 cores=0,2,4,6
/proc/1990/stat : 1990 (java) S 1987 1990 28317 0 -1 4202496 6362 0 1 0 96 1 0 0 20 0 19 0 29005694 9856040960 9306 33554432000 1073741824 1073778376 140736065034944 140736065026080 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1990/statm: 2406260 9306 2252 9 0 2396937 0
Current children cumulated CPU time (s) 0.97
Current children cumulated vsize (KiB) 9625040

[startup+1.50066 s]
/proc/loadavg: 2.09 1.80 1.74 3/213 2009
/proc/meminfo: memFree=31560704/32872528 swapFree=7780/7780
[pid=1990] ppid=1987 vsize=9625040 CPUtime=1.85 cores=0,2,4,6
/proc/1990/stat : 1990 (java) S 1987 1990 28317 0 -1 4202496 7784 0 1 0 184 1 0 0 20 0 19 0 29005694 9856040960 10950 33554432000 1073741824 1073778376 140736065034944 140736065026080 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1990/statm: 2406260 10950 2256 9 0 2396937 0
[pid=1990/tid=1992] ppid=1987 vsize=9625040 CPUtime=1.45 cores=0,2,4,6
/proc/1990/task/1992/stat : 1992 (java) R 1987 1990 28317 0 -1 4202560 2459 0 1 0 144 1 0 0 20 0 19 0 29005695 9856040960 10950 33554432000 1073741824 1073778376 140736065034944 139871309267448 139871249477196 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=1990/tid=1993] ppid=1987 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1990/task/1993/stat : 1993 (java) S 1987 1990 28317 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29005696 9856040960 10950 33554432000 1073741824 1073778376 140736065034944 139871152453928 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1990/tid=1994] ppid=1987 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1990/task/1994/stat : 1994 (java) S 1987 1990 28317 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29005696 9856040960 10950 33554432000 1073741824 1073778376 140736065034944 139871151401128 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1990/tid=1995] ppid=1987 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1990/task/1995/stat : 1995 (java) S 1987 1990 28317 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29005696 9856040960 10950 33554432000 1073741824 1073778376 140736065034944 139871150348840 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1990/tid=1996] ppid=1987 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1990/task/1996/stat : 1996 (java) S 1987 1990 28317 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29005696 9856040960 10950 33554432000 1073741824 1073778376 140736065034944 139871149296040 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1990/tid=1997] ppid=1987 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1990/task/1997/stat : 1997 (java) S 1987 1990 28317 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29005696 9856040960 10950 33554432000 1073741824 1073778376 140736065034944 139871148243752 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1990/tid=1998] ppid=1987 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1990/task/1998/stat : 1998 (java) S 1987 1990 28317 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29005696 9856040960 10950 33554432000 1073741824 1073778376 140736065034944 139871147190952 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1990/tid=1999] ppid=1987 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1990/task/1999/stat : 1999 (java) S 1987 1990 28317 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29005696 9856040960 10950 33554432000 1073741824 1073778376 140736065034944 139871146138664 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1990/tid=2000] ppid=1987 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1990/task/2000/stat : 2000 (java) S 1987 1990 28317 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29005696 9856040960 10950 33554432000 1073741824 1073778376 140736065034944 139871145085864 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1990/tid=2001] ppid=1987 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1990/task/2001/stat : 2001 (java) S 1987 1990 28317 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 29005697 9856040960 10950 33554432000 1073741824 1073778376 140736065034944 139871132887272 243768801193 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1990/tid=2002] ppid=1987 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1990/task/2002/stat : 2002 (java) S 1987 1990 28317 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 29005698 9856040960 10950 33554432000 1073741824 1073778376 140736065034944 139871131833336 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1990/tid=2003] ppid=1987 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1990/task/2003/stat : 2003 (java) S 1987 1990 28317 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29005698 9856040960 10950 33554432000 1073741824 1073778376 140736065034944 139871130780936 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1990/tid=2004] ppid=1987 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1990/task/2004/stat : 2004 (java) S 1987 1990 28317 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29005700 9856040960 10950 33554432000 1073741824 1073778376 140736065034944 139871129729424 243768809248 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1990/tid=2005] ppid=1987 vsize=9625040 CPUtime=0.14 cores=0,2,4,6
/proc/1990/task/2005/stat : 2005 (java) S 1987 1990 28317 0 -1 4202560 1404 0 0 0 14 0 0 0 20 0 19 0 29005700 9856040960 10950 33554432000 1073741824 1073778376 140736065034944 139871128677048 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1990/tid=2006] ppid=1987 vsize=9625040 CPUtime=0.22 cores=0,2,4,6
/proc/1990/task/2006/stat : 2006 (java) S 1987 1990 28317 0 -1 4202560 2650 0 0 0 22 0 0 0 20 0 19 0 29005700 9856040960 10950 33554432000 1073741824 1073778376 140736065034944 139871127624248 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1990/tid=2007] ppid=1987 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1990/task/2007/stat : 2007 (java) S 1987 1990 28317 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29005700 9856040960 10950 33554432000 1073741824 1073778376 140736065034944 139871126572152 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1990/tid=2008] ppid=1987 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1990/task/2008/stat : 2008 (java) S 1987 1990 28317 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29005700 9856040960 10950 33554432000 1073741824 1073778376 140736065034944 139871125519560 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1990/tid=2009] ppid=1987 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1990/task/2009/stat : 2009 (java) S 1987 1990 28317 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29005716 9856040960 10950 33554432000 1073741824 1073778376 140736065034944 139871124464552 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.85
Current children cumulated vsize (KiB) 9625040

[startup+3.10077 s]
/proc/loadavg: 2.09 1.80 1.74 3/213 2009
/proc/meminfo: memFree=31553940/32872528 swapFree=7780/7780
[pid=1990] ppid=1987 vsize=9625040 CPUtime=3.49 cores=0,2,4,6
/proc/1990/stat : 1990 (java) S 1987 1990 28317 0 -1 4202496 7825 0 1 0 347 2 0 0 20 0 19 0 29005694 9856040960 13035 33554432000 1073741824 1073778376 140736065034944 140736065026080 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1990/statm: 2406260 13035 2256 9 0 2396937 0
[pid=1990/tid=1992] ppid=1987 vsize=9625040 CPUtime=3.04 cores=0,2,4,6
/proc/1990/task/1992/stat : 1992 (java) R 1987 1990 28317 0 -1 4202560 2463 0 1 0 303 1 0 0 20 0 19 0 29005695 9856040960 13035 33554432000 1073741824 1073778376 140736065034944 139871309267072 139871249477794 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=1990/tid=1993] ppid=1987 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1990/task/1993/stat : 1993 (java) S 1987 1990 28317 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29005696 9856040960 13035 33554432000 1073741824 1073778376 140736065034944 139871152453928 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1990/tid=1994] ppid=1987 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1990/task/1994/stat : 1994 (java) S 1987 1990 28317 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29005696 9856040960 13035 33554432000 1073741824 1073778376 140736065034944 139871151401128 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1990/tid=1995] ppid=1987 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1990/task/1995/stat : 1995 (java) S 1987 1990 28317 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29005696 9856040960 13035 33554432000 1073741824 1073778376 140736065034944 139871150348840 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1990/tid=1996] ppid=1987 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1990/task/1996/stat : 1996 (java) S 1987 1990 28317 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29005696 9856040960 13035 33554432000 1073741824 1073778376 140736065034944 139871149296040 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1990/tid=1997] ppid=1987 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1990/task/1997/stat : 1997 (java) S 1987 1990 28317 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29005696 9856040960 13035 33554432000 1073741824 1073778376 140736065034944 139871148243752 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1990/tid=1998] ppid=1987 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1990/task/1998/stat : 1998 (java) S 1987 1990 28317 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29005696 9856040960 13035 33554432000 1073741824 1073778376 140736065034944 139871147190952 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1990/tid=1999] ppid=1987 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1990/task/1999/stat : 1999 (java) S 1987 1990 28317 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29005696 9856040960 13035 33554432000 1073741824 1073778376 140736065034944 139871146138664 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1990/tid=2000] ppid=1987 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1990/task/2000/stat : 2000 (java) S 1987 1990 28317 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29005696 9856040960 13035 33554432000 1073741824 1073778376 140736065034944 139871145085864 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1990/tid=2001] ppid=1987 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1990/task/2001/stat : 2001 (java) S 1987 1990 28317 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 29005697 9856040960 13035 33554432000 1073741824 1073778376 140736065034944 139871132887272 243768801193 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1990/tid=2002] ppid=1987 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1990/task/2002/stat : 2002 (java) S 1987 1990 28317 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 29005698 9856040960 13035 33554432000 1073741824 1073778376 140736065034944 139871131833336 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1990/tid=2003] ppid=1987 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1990/task/2003/stat : 2003 (java) S 1987 1990 28317 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29005698 9856040960 13035 33554432000 1073741824 1073778376 140736065034944 139871130780936 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1990/tid=2004] ppid=1987 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1990/task/2004/stat : 2004 (java) S 1987 1990 28317 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29005700 9856040960 13035 33554432000 1073741824 1073778376 140736065034944 139871129729424 243768809248 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1990/tid=2005] ppid=1987 vsize=9625040 CPUtime=0.17 cores=0,2,4,6
/proc/1990/task/2005/stat : 2005 (java) S 1987 1990 28317 0 -1 4202560 1426 0 0 0 17 0 0 0 20 0 19 0 29005700 9856040960 13035 33554432000 1073741824 1073778376 140736065034944 139871128677048 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1990/tid=2006] ppid=1987 vsize=9625040 CPUtime=0.23 cores=0,2,4,6
/proc/1990/task/2006/stat : 2006 (java) S 1987 1990 28317 0 -1 4202560 2665 0 0 0 23 0 0 0 20 0 19 0 29005700 9856040960 13035 33554432000 1073741824 1073778376 140736065034944 139871127624248 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1990/tid=2007] ppid=1987 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1990/task/2007/stat : 2007 (java) S 1987 1990 28317 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29005700 9856040960 13035 33554432000 1073741824 1073778376 140736065034944 139871126572152 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1990/tid=2008] ppid=1987 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1990/task/2008/stat : 2008 (java) S 1987 1990 28317 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29005700 9856040960 13035 33554432000 1073741824 1073778376 140736065034944 139871125519560 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1990/tid=2009] ppid=1987 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1990/task/2009/stat : 2009 (java) S 1987 1990 28317 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29005716 9856040960 13035 33554432000 1073741824 1073778376 140736065034944 139871124464552 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.49
Current children cumulated vsize (KiB) 9625040

[startup+6.30078 s]
/proc/loadavg: 2.09 1.80 1.74 3/213 2009
/proc/meminfo: memFree=31540400/32872528 swapFree=7780/7780
[pid=1990] ppid=1987 vsize=9625040 CPUtime=6.75 cores=0,2,4,6
/proc/1990/stat : 1990 (java) S 1987 1990 28317 0 -1 4202496 9054 0 1 0 673 2 0 0 20 0 19 0 29005694 9856040960 16227 33554432000 1073741824 1073778376 140736065034944 140736065026080 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1990/statm: 2406260 16227 2258 9 0 2396937 0
[pid=1990/tid=1992] ppid=1987 vsize=9625040 CPUtime=6.23 cores=0,2,4,6
/proc/1990/task/1992/stat : 1992 (java) R 1987 1990 28317 0 -1 4202560 2471 0 1 0 622 1 0 0 20 0 19 0 29005695 9856040960 16227 33554432000 1073741824 1073778376 140736065034944 139871309258416 139871249495075 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=1990/tid=1993] ppid=1987 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1990/task/1993/stat : 1993 (java) S 1987 1990 28317 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29005696 9856040960 16227 33554432000 1073741824 1073778376 140736065034944 139871152453928 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1990/tid=1994] ppid=1987 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1990/task/1994/stat : 1994 (java) S 1987 1990 28317 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29005696 9856040960 16227 33554432000 1073741824 1073778376 140736065034944 139871151401128 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1990/tid=1995] ppid=1987 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1990/task/1995/stat : 1995 (java) S 1987 1990 28317 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29005696 9856040960 16227 33554432000 1073741824 1073778376 140736065034944 139871150348840 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1990/tid=1996] ppid=1987 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1990/task/1996/stat : 1996 (java) S 1987 1990 28317 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29005696 9856040960 16227 33554432000 1073741824 1073778376 140736065034944 139871149296040 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1990/tid=1997] ppid=1987 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1990/task/1997/stat : 1997 (java) S 1987 1990 28317 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29005696 9856040960 16227 33554432000 1073741824 1073778376 140736065034944 139871148243752 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1990/tid=1998] ppid=1987 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1990/task/1998/stat : 1998 (java) S 1987 1990 28317 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29005696 9856040960 16227 33554432000 1073741824 1073778376 140736065034944 139871147190952 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1990/tid=1999] ppid=1987 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1990/task/1999/stat : 1999 (java) S 1987 1990 28317 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29005696 9856040960 16227 33554432000 1073741824 1073778376 140736065034944 139871146138664 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1990/tid=2000] ppid=1987 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1990/task/2000/stat : 2000 (java) S 1987 1990 28317 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29005696 9856040960 16227 33554432000 1073741824 1073778376 140736065034944 139871145085864 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1990/tid=2001] ppid=1987 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1990/task/2001/stat : 2001 (java) S 1987 1990 28317 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 29005697 9856040960 16227 33554432000 1073741824 1073778376 140736065034944 139871132887272 243768801193 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1990/tid=2002] ppid=1987 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1990/task/2002/stat : 2002 (java) S 1987 1990 28317 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 29005698 9856040960 16227 33554432000 1073741824 1073778376 140736065034944 139871131833336 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1990/tid=2003] ppid=1987 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1990/task/2003/stat : 2003 (java) S 1987 1990 28317 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29005698 9856040960 16227 33554432000 1073741824 1073778376 140736065034944 139871130780936 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1990/tid=2004] ppid=1987 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1990/task/2004/stat : 2004 (java) S 1987 1990 28317 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29005700 9856040960 16227 33554432000 1073741824 1073778376 140736065034944 139871129729424 243768809248 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1990/tid=2005] ppid=1987 vsize=9625040 CPUtime=0.23 cores=0,2,4,6
/proc/1990/task/2005/stat : 2005 (java) S 1987 1990 28317 0 -1 4202560 2646 0 0 0 23 0 0 0 20 0 19 0 29005700 9856040960 16227 33554432000 1073741824 1073778376 140736065034944 139871128677048 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1990/tid=2006] ppid=1987 vsize=9625040 CPUtime=0.23 cores=0,2,4,6
/proc/1990/task/2006/stat : 2006 (java) S 1987 1990 28317 0 -1 4202560 2665 0 0 0 23 0 0 0 20 0 19 0 29005700 9856040960 16227 33554432000 1073741824 1073778376 140736065034944 139871127624248 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1990/tid=2007] ppid=1987 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1990/task/2007/stat : 2007 (java) S 1987 1990 28317 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29005700 9856040960 16227 33554432000 1073741824 1073778376 140736065034944 139871126572152 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1990/tid=2008] ppid=1987 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1990/task/2008/stat : 2008 (java) S 1987 1990 28317 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 29005700 9856040960 16227 33554432000 1073741824 1073778376 140736065034944 139871125519560 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1990/tid=2009] ppid=1987 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1990/task/2009/stat : 2009 (java) S 1987 1990 28317 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29005716 9856040960 16227 33554432000 1073741824 1073778376 140736065034944 139871124464552 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.75
Current children cumulated vsize (KiB) 9625040


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

[pid=1990/tid=2002] ppid=1987 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1990/task/2002/stat : 2002 (java) S 1987 1990 28317 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29005698 9856040960 121984 33554432000 1073741824 1073778376 140736065034944 139871131833336 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1990/tid=2003] ppid=1987 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1990/task/2003/stat : 2003 (java) S 1987 1990 28317 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29005698 9856040960 121984 33554432000 1073741824 1073778376 140736065034944 139871130780936 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1990/tid=2004] ppid=1987 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1990/task/2004/stat : 2004 (java) S 1987 1990 28317 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29005700 9856040960 121984 33554432000 1073741824 1073778376 140736065034944 139871129729424 243768809248 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1990/tid=2005] ppid=1987 vsize=9625040 CPUtime=0.26 cores=0,2,4,6
/proc/1990/task/2005/stat : 2005 (java) S 1987 1990 28317 0 -1 4202560 2659 0 0 0 26 0 0 0 20 0 19 0 29005700 9856040960 121984 33554432000 1073741824 1073778376 140736065034944 139871128677048 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1990/tid=2006] ppid=1987 vsize=9625040 CPUtime=1.13 cores=0,2,4,6
/proc/1990/task/2006/stat : 2006 (java) S 1987 1990 28317 0 -1 4202560 14229 0 0 0 111 2 0 0 20 0 19 0 29005700 9856040960 121984 33554432000 1073741824 1073778376 140736065034944 139871127624248 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1990/tid=2007] ppid=1987 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1990/task/2007/stat : 2007 (java) S 1987 1990 28317 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29005700 9856040960 121984 33554432000 1073741824 1073778376 140736065034944 139871126572152 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1990/tid=2008] ppid=1987 vsize=9625040 CPUtime=0.17 cores=0,2,4,6
/proc/1990/task/2008/stat : 2008 (java) S 1987 1990 28317 0 -1 4202560 50 0 0 0 6 11 0 0 20 0 19 0 29005700 9856040960 121984 33554432000 1073741824 1073778376 140736065034944 139871125519560 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1990/tid=2009] ppid=1987 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1990/task/2009/stat : 2009 (java) S 1987 1990 28317 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29005716 9856040960 121984 33554432000 1073741824 1073778376 140736065034944 139871124464552 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 859.22
Current children cumulated vsize (KiB) 9625040

[startup+857.601 s]
/proc/loadavg: 2.00 1.99 1.87 3/213 2032
/proc/meminfo: memFree=30992672/32872528 swapFree=7780/7780
[pid=1990] ppid=1987 vsize=9625040 CPUtime=860.82 cores=0,2,4,6
/proc/1990/stat : 1990 (java) S 1987 1990 28317 0 -1 4202496 22640 0 1 0 86024 58 0 0 20 0 19 0 29005694 9856040960 121984 33554432000 1073741824 1073778376 140736065034944 140736065026080 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1990/statm: 2406260 121984 2280 9 0 2396937 0
[pid=1990/tid=1992] ppid=1987 vsize=9625040 CPUtime=854.54 cores=0,2,4,6
/proc/1990/task/1992/stat : 1992 (java) R 1987 1990 28317 0 -1 4202560 2551 0 1 0 85439 15 0 0 20 0 19 0 29005695 9856040960 121984 33554432000 1073741824 1073778376 140736065034944 139871309258432 139871249477821 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=1990/tid=1993] ppid=1987 vsize=9625040 CPUtime=0.31 cores=0,2,4,6
/proc/1990/task/1993/stat : 1993 (java) S 1987 1990 28317 0 -1 4202560 229 0 0 0 24 7 0 0 20 0 19 0 29005696 9856040960 121984 33554432000 1073741824 1073778376 140736065034944 139871152453928 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1990/tid=1994] ppid=1987 vsize=9625040 CPUtime=0.23 cores=0,2,4,6
/proc/1990/task/1994/stat : 1994 (java) S 1987 1990 28317 0 -1 4202560 75 0 0 0 19 4 0 0 20 0 19 0 29005696 9856040960 121984 33554432000 1073741824 1073778376 140736065034944 139871151401128 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1990/tid=1995] ppid=1987 vsize=9625040 CPUtime=0.33 cores=0,2,4,6
/proc/1990/task/1995/stat : 1995 (java) S 1987 1990 28317 0 -1 4202560 349 0 0 0 28 5 0 0 20 0 19 0 29005696 9856040960 121984 33554432000 1073741824 1073778376 140736065034944 139871150348840 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1990/tid=1996] ppid=1987 vsize=9625040 CPUtime=0.26 cores=0,2,4,6
/proc/1990/task/1996/stat : 1996 (java) S 1987 1990 28317 0 -1 4202560 219 0 0 0 21 5 0 0 20 0 19 0 29005696 9856040960 121984 33554432000 1073741824 1073778376 140736065034944 139871149296040 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1990/tid=1997] ppid=1987 vsize=9625040 CPUtime=0.37 cores=0,2,4,6
/proc/1990/task/1997/stat : 1997 (java) S 1987 1990 28317 0 -1 4202560 260 0 0 0 29 8 0 0 20 0 19 0 29005696 9856040960 121984 33554432000 1073741824 1073778376 140736065034944 139871148243752 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1990/tid=1998] ppid=1987 vsize=9625040 CPUtime=0.24 cores=0,2,4,6
/proc/1990/task/1998/stat : 1998 (java) S 1987 1990 28317 0 -1 4202560 167 0 0 0 20 4 0 0 20 0 19 0 29005696 9856040960 121984 33554432000 1073741824 1073778376 140736065034944 139871147190952 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1990/tid=1999] ppid=1987 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/1990/task/1999/stat : 1999 (java) S 1987 1990 28317 0 -1 4202560 240 0 0 0 26 6 0 0 20 0 19 0 29005696 9856040960 121984 33554432000 1073741824 1073778376 140736065034944 139871146138664 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1990/tid=2000] ppid=1987 vsize=9625040 CPUtime=0.35 cores=0,2,4,6
/proc/1990/task/2000/stat : 2000 (java) S 1987 1990 28317 0 -1 4202560 237 0 0 0 29 6 0 0 20 0 19 0 29005696 9856040960 121984 33554432000 1073741824 1073778376 140736065034944 139871145085864 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1990/tid=2001] ppid=1987 vsize=9625040 CPUtime=0.13 cores=0,2,4,6
/proc/1990/task/2001/stat : 2001 (java) S 1987 1990 28317 0 -1 4202560 118 0 0 0 13 0 0 0 20 0 19 0 29005697 9856040960 121984 33554432000 1073741824 1073778376 140736065034944 139871132887272 243768801193 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1990/tid=2002] ppid=1987 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1990/task/2002/stat : 2002 (java) S 1987 1990 28317 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29005698 9856040960 121984 33554432000 1073741824 1073778376 140736065034944 139871131833336 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1990/tid=2003] ppid=1987 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1990/task/2003/stat : 2003 (java) S 1987 1990 28317 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29005698 9856040960 121984 33554432000 1073741824 1073778376 140736065034944 139871130780936 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1990/tid=2004] ppid=1987 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1990/task/2004/stat : 2004 (java) S 1987 1990 28317 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29005700 9856040960 121984 33554432000 1073741824 1073778376 140736065034944 139871129729424 243768809248 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1990/tid=2005] ppid=1987 vsize=9625040 CPUtime=0.26 cores=0,2,4,6
/proc/1990/task/2005/stat : 2005 (java) S 1987 1990 28317 0 -1 4202560 2659 0 0 0 26 0 0 0 20 0 19 0 29005700 9856040960 121984 33554432000 1073741824 1073778376 140736065034944 139871128677048 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1990/tid=2006] ppid=1987 vsize=9625040 CPUtime=1.13 cores=0,2,4,6
/proc/1990/task/2006/stat : 2006 (java) S 1987 1990 28317 0 -1 4202560 14229 0 0 0 111 2 0 0 20 0 19 0 29005700 9856040960 121984 33554432000 1073741824 1073778376 140736065034944 139871127624248 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1990/tid=2007] ppid=1987 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1990/task/2007/stat : 2007 (java) S 1987 1990 28317 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29005700 9856040960 121984 33554432000 1073741824 1073778376 140736065034944 139871126572152 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1990/tid=2008] ppid=1987 vsize=9625040 CPUtime=0.18 cores=0,2,4,6
/proc/1990/task/2008/stat : 2008 (java) S 1987 1990 28317 0 -1 4202560 50 0 0 0 6 12 0 0 20 0 19 0 29005700 9856040960 121984 33554432000 1073741824 1073778376 140736065034944 139871125519560 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1990/tid=2009] ppid=1987 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1990/task/2009/stat : 2009 (java) S 1987 1990 28317 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29005716 9856040960 121984 33554432000 1073741824 1073778376 140736065034944 139871124464552 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 860.82
Current children cumulated vsize (KiB) 9625040

[startup+858.401 s]
/proc/loadavg: 2.00 1.99 1.87 3/213 2032
/proc/meminfo: memFree=30992672/32872528 swapFree=7780/7780
[pid=1990] ppid=1987 vsize=9625040 CPUtime=861.62 cores=0,2,4,6
/proc/1990/stat : 1990 (java) S 1987 1990 28317 0 -1 4202496 22640 0 1 0 86104 58 0 0 20 0 19 0 29005694 9856040960 121984 33554432000 1073741824 1073778376 140736065034944 140736065026080 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1990/statm: 2406260 121984 2280 9 0 2396937 0
[pid=1990/tid=1992] ppid=1987 vsize=9625040 CPUtime=855.34 cores=0,2,4,6
/proc/1990/task/1992/stat : 1992 (java) R 1987 1990 28317 0 -1 4202560 2551 0 1 0 85518 16 0 0 20 0 19 0 29005695 9856040960 121984 33554432000 1073741824 1073778376 140736065034944 139871309258432 139871249410098 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=1990/tid=1993] ppid=1987 vsize=9625040 CPUtime=0.31 cores=0,2,4,6
/proc/1990/task/1993/stat : 1993 (java) S 1987 1990 28317 0 -1 4202560 229 0 0 0 24 7 0 0 20 0 19 0 29005696 9856040960 121984 33554432000 1073741824 1073778376 140736065034944 139871152453928 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1990/tid=1994] ppid=1987 vsize=9625040 CPUtime=0.23 cores=0,2,4,6
/proc/1990/task/1994/stat : 1994 (java) S 1987 1990 28317 0 -1 4202560 75 0 0 0 19 4 0 0 20 0 19 0 29005696 9856040960 121984 33554432000 1073741824 1073778376 140736065034944 139871151401128 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1990/tid=1995] ppid=1987 vsize=9625040 CPUtime=0.33 cores=0,2,4,6
/proc/1990/task/1995/stat : 1995 (java) S 1987 1990 28317 0 -1 4202560 349 0 0 0 28 5 0 0 20 0 19 0 29005696 9856040960 121984 33554432000 1073741824 1073778376 140736065034944 139871150348840 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1990/tid=1996] ppid=1987 vsize=9625040 CPUtime=0.26 cores=0,2,4,6
/proc/1990/task/1996/stat : 1996 (java) S 1987 1990 28317 0 -1 4202560 219 0 0 0 21 5 0 0 20 0 19 0 29005696 9856040960 121984 33554432000 1073741824 1073778376 140736065034944 139871149296040 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1990/tid=1997] ppid=1987 vsize=9625040 CPUtime=0.37 cores=0,2,4,6
/proc/1990/task/1997/stat : 1997 (java) S 1987 1990 28317 0 -1 4202560 260 0 0 0 29 8 0 0 20 0 19 0 29005696 9856040960 121984 33554432000 1073741824 1073778376 140736065034944 139871148243752 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1990/tid=1998] ppid=1987 vsize=9625040 CPUtime=0.24 cores=0,2,4,6
/proc/1990/task/1998/stat : 1998 (java) S 1987 1990 28317 0 -1 4202560 167 0 0 0 20 4 0 0 20 0 19 0 29005696 9856040960 121984 33554432000 1073741824 1073778376 140736065034944 139871147190952 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1990/tid=1999] ppid=1987 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/1990/task/1999/stat : 1999 (java) S 1987 1990 28317 0 -1 4202560 240 0 0 0 26 6 0 0 20 0 19 0 29005696 9856040960 121984 33554432000 1073741824 1073778376 140736065034944 139871146138664 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1990/tid=2000] ppid=1987 vsize=9625040 CPUtime=0.35 cores=0,2,4,6
/proc/1990/task/2000/stat : 2000 (java) S 1987 1990 28317 0 -1 4202560 237 0 0 0 29 6 0 0 20 0 19 0 29005696 9856040960 121984 33554432000 1073741824 1073778376 140736065034944 139871145085864 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1990/tid=2001] ppid=1987 vsize=9625040 CPUtime=0.13 cores=0,2,4,6
/proc/1990/task/2001/stat : 2001 (java) S 1987 1990 28317 0 -1 4202560 118 0 0 0 13 0 0 0 20 0 19 0 29005697 9856040960 121984 33554432000 1073741824 1073778376 140736065034944 139871132887272 243768801193 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1990/tid=2002] ppid=1987 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1990/task/2002/stat : 2002 (java) S 1987 1990 28317 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29005698 9856040960 121984 33554432000 1073741824 1073778376 140736065034944 139871131833336 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1990/tid=2003] ppid=1987 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1990/task/2003/stat : 2003 (java) S 1987 1990 28317 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29005698 9856040960 121984 33554432000 1073741824 1073778376 140736065034944 139871130780936 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1990/tid=2004] ppid=1987 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1990/task/2004/stat : 2004 (java) S 1987 1990 28317 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29005700 9856040960 121984 33554432000 1073741824 1073778376 140736065034944 139871129729424 243768809248 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1990/tid=2005] ppid=1987 vsize=9625040 CPUtime=0.26 cores=0,2,4,6
/proc/1990/task/2005/stat : 2005 (java) S 1987 1990 28317 0 -1 4202560 2659 0 0 0 26 0 0 0 20 0 19 0 29005700 9856040960 121984 33554432000 1073741824 1073778376 140736065034944 139871128677048 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1990/tid=2006] ppid=1987 vsize=9625040 CPUtime=1.13 cores=0,2,4,6
/proc/1990/task/2006/stat : 2006 (java) S 1987 1990 28317 0 -1 4202560 14229 0 0 0 111 2 0 0 20 0 19 0 29005700 9856040960 121984 33554432000 1073741824 1073778376 140736065034944 139871127624248 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1990/tid=2007] ppid=1987 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1990/task/2007/stat : 2007 (java) S 1987 1990 28317 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29005700 9856040960 121984 33554432000 1073741824 1073778376 140736065034944 139871126572152 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1990/tid=2008] ppid=1987 vsize=9625040 CPUtime=0.18 cores=0,2,4,6
/proc/1990/task/2008/stat : 2008 (java) S 1987 1990 28317 0 -1 4202560 50 0 0 0 6 12 0 0 20 0 19 0 29005700 9856040960 121984 33554432000 1073741824 1073778376 140736065034944 139871125519560 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1990/tid=2009] ppid=1987 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1990/task/2009/stat : 2009 (java) S 1987 1990 28317 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29005716 9856040960 121984 33554432000 1073741824 1073778376 140736065034944 139871124464552 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 861.62
Current children cumulated vsize (KiB) 9625040

[startup+858.801 s]
/proc/loadavg: 2.00 1.99 1.87 3/213 2032
/proc/meminfo: memFree=30992672/32872528 swapFree=7780/7780
[pid=1990] ppid=1987 vsize=9625040 CPUtime=862.02 cores=0,2,4,6
/proc/1990/stat : 1990 (java) S 1987 1990 28317 0 -1 4202496 22640 0 1 0 86144 58 0 0 20 0 19 0 29005694 9856040960 121984 33554432000 1073741824 1073778376 140736065034944 140736065026080 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1990/statm: 2406260 121984 2280 9 0 2396937 0
[pid=1990/tid=1992] ppid=1987 vsize=9625040 CPUtime=855.74 cores=0,2,4,6
/proc/1990/task/1992/stat : 1992 (java) R 1987 1990 28317 0 -1 4202560 2551 0 1 0 85558 16 0 0 20 0 19 0 29005695 9856040960 121984 33554432000 1073741824 1073778376 140736065034944 139871309258432 139871249418540 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=1990/tid=1993] ppid=1987 vsize=9625040 CPUtime=0.31 cores=0,2,4,6
/proc/1990/task/1993/stat : 1993 (java) S 1987 1990 28317 0 -1 4202560 229 0 0 0 24 7 0 0 20 0 19 0 29005696 9856040960 121984 33554432000 1073741824 1073778376 140736065034944 139871152453928 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1990/tid=1994] ppid=1987 vsize=9625040 CPUtime=0.23 cores=0,2,4,6
/proc/1990/task/1994/stat : 1994 (java) S 1987 1990 28317 0 -1 4202560 75 0 0 0 19 4 0 0 20 0 19 0 29005696 9856040960 121984 33554432000 1073741824 1073778376 140736065034944 139871151401128 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1990/tid=1995] ppid=1987 vsize=9625040 CPUtime=0.33 cores=0,2,4,6
/proc/1990/task/1995/stat : 1995 (java) S 1987 1990 28317 0 -1 4202560 349 0 0 0 28 5 0 0 20 0 19 0 29005696 9856040960 121984 33554432000 1073741824 1073778376 140736065034944 139871150348840 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1990/tid=1996] ppid=1987 vsize=9625040 CPUtime=0.26 cores=0,2,4,6
/proc/1990/task/1996/stat : 1996 (java) S 1987 1990 28317 0 -1 4202560 219 0 0 0 21 5 0 0 20 0 19 0 29005696 9856040960 121984 33554432000 1073741824 1073778376 140736065034944 139871149296040 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1990/tid=1997] ppid=1987 vsize=9625040 CPUtime=0.37 cores=0,2,4,6
/proc/1990/task/1997/stat : 1997 (java) S 1987 1990 28317 0 -1 4202560 260 0 0 0 29 8 0 0 20 0 19 0 29005696 9856040960 121984 33554432000 1073741824 1073778376 140736065034944 139871148243752 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1990/tid=1998] ppid=1987 vsize=9625040 CPUtime=0.24 cores=0,2,4,6
/proc/1990/task/1998/stat : 1998 (java) S 1987 1990 28317 0 -1 4202560 167 0 0 0 20 4 0 0 20 0 19 0 29005696 9856040960 121984 33554432000 1073741824 1073778376 140736065034944 139871147190952 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1990/tid=1999] ppid=1987 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/1990/task/1999/stat : 1999 (java) S 1987 1990 28317 0 -1 4202560 240 0 0 0 26 6 0 0 20 0 19 0 29005696 9856040960 121984 33554432000 1073741824 1073778376 140736065034944 139871146138664 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1990/tid=2000] ppid=1987 vsize=9625040 CPUtime=0.35 cores=0,2,4,6
/proc/1990/task/2000/stat : 2000 (java) S 1987 1990 28317 0 -1 4202560 237 0 0 0 29 6 0 0 20 0 19 0 29005696 9856040960 121984 33554432000 1073741824 1073778376 140736065034944 139871145085864 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1990/tid=2001] ppid=1987 vsize=9625040 CPUtime=0.13 cores=0,2,4,6
/proc/1990/task/2001/stat : 2001 (java) S 1987 1990 28317 0 -1 4202560 118 0 0 0 13 0 0 0 20 0 19 0 29005697 9856040960 121984 33554432000 1073741824 1073778376 140736065034944 139871132887272 243768801193 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1990/tid=2002] ppid=1987 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1990/task/2002/stat : 2002 (java) S 1987 1990 28317 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29005698 9856040960 121984 33554432000 1073741824 1073778376 140736065034944 139871131833336 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1990/tid=2003] ppid=1987 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1990/task/2003/stat : 2003 (java) S 1987 1990 28317 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29005698 9856040960 121984 33554432000 1073741824 1073778376 140736065034944 139871130780936 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1990/tid=2004] ppid=1987 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1990/task/2004/stat : 2004 (java) S 1987 1990 28317 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29005700 9856040960 121984 33554432000 1073741824 1073778376 140736065034944 139871129729424 243768809248 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1990/tid=2005] ppid=1987 vsize=9625040 CPUtime=0.26 cores=0,2,4,6
/proc/1990/task/2005/stat : 2005 (java) S 1987 1990 28317 0 -1 4202560 2659 0 0 0 26 0 0 0 20 0 19 0 29005700 9856040960 121984 33554432000 1073741824 1073778376 140736065034944 139871128677048 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1990/tid=2006] ppid=1987 vsize=9625040 CPUtime=1.13 cores=0,2,4,6
/proc/1990/task/2006/stat : 2006 (java) S 1987 1990 28317 0 -1 4202560 14229 0 0 0 111 2 0 0 20 0 19 0 29005700 9856040960 121984 33554432000 1073741824 1073778376 140736065034944 139871127624248 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1990/tid=2007] ppid=1987 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1990/task/2007/stat : 2007 (java) S 1987 1990 28317 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29005700 9856040960 121984 33554432000 1073741824 1073778376 140736065034944 139871126572152 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1990/tid=2008] ppid=1987 vsize=9625040 CPUtime=0.18 cores=0,2,4,6
/proc/1990/task/2008/stat : 2008 (java) S 1987 1990 28317 0 -1 4202560 50 0 0 0 6 12 0 0 20 0 19 0 29005700 9856040960 121984 33554432000 1073741824 1073778376 140736065034944 139871125519560 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1990/tid=2009] ppid=1987 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/1990/task/2009/stat : 2009 (java) S 1987 1990 28317 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29005716 9856040960 121984 33554432000 1073741824 1073778376 140736065034944 139871124464552 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 862.02
Current children cumulated vsize (KiB) 9625040

Child status: 30

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 1990 and gives
#  childrusage.ru_utime.tv_sec=859
#  childrusage.ru_utime.tv_usec=320363
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=880866
# CPU time returned by wait4() is 860.201
# while last known CPU time is 862.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 858.9
CPU time (s): 862.02
CPU user time (s): 861.44
CPU system time (s): 0.58
CPU usage (%): 100.363
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 859.32
system time used= 0.880866
maximum resident set size= 566088
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22662
page faults= 1
swaps= 0
block input operations= 0
block output operations= 816
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18964
involuntary context switches= 3330

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.85426 second user time and 6.02408 second system time

The end

Launcher Data 

Begin job on node151 at 2016-06-18 19:06:49
IDJOB=4106063
IDBENCH=47911
IDSOLVER=2546
FILE ID=node151/4106063-1466269609
RUNJOBID= node151-1466269256-946
PBS_JOBID= 19918209
Free space on /tmp= 71748 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=11-P1=331-P2=7-P3=107-P4=137-P5=439-P6=409-P7=421-P8=491-P9=293-B.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106063-1466269609/watcher-4106063-1466269609 -o /tmp/evaluation-result-4106063-1466269609/solver-4106063-1466269609 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node151-1466269256-946 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4106063-1466269609.opb

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

MD5SUM BENCH= bf07e05475dbb8a26e29c8119be0dea3
RANDOM SEED=1459281221

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.103
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:        31595300 kB
Buffers:           75840 kB
Cached:           275628 kB
SwapCached:         1932 kB
Active:           239304 kB
Inactive:         292112 kB
Active(anon):     179832 kB
Inactive(anon):     2504 kB
Active(file):      59472 kB
Inactive(file):   289608 kB
Unevictable:        7780 kB
Mlocked:            7780 kB
SwapTotal:      67108856 kB
SwapFree:       67099228 kB
Dirty:               820 kB
Writeback:             0 kB
AnonPages:        133772 kB
Mapped:            16456 kB
Shmem:                 0 kB
Slab:             608240 kB
SReclaimable:      51776 kB
SUnreclaim:       556464 kB
KernelStack:        1760 kB
PageTables:         4616 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     696336 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    112640 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= 71748 MiB
End job on node151 at 2016-06-18 19:21:08