Trace number 4106065

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 1451.92 725.824

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=307-P1=59-P2=149-P3=337-P4=409-P5=457-P6=79-P7=53-P8=347-P9=487-B.opb
MD5SUM54510d4a8cd791bae993d435a4bb6e03
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.211967
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.08	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	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.10/0.11	c Pseudo Boolean Optimization by upper bound
0.10/0.11	c ManyCore solver with 2 solvers running in parallel
0.10/0.11	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Glucose 2.1 dynamic restart strategy
0.10/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.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.10/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.10/0.11	c No reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/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.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-4106065-1466268292.opb
0.10/0.11	c reading problem ... 
0.10/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.94/0.99	c cleaning 2498 clauses out of 5001 with flag 10158/5001
5.32/1.62	c cleaning 4248 clauses out of 8502 with flag 22381/11000
6.54/2.30	c cleaning 5623 clauses out of 11255 with flag 36667/18001
8.56/3.24	c cleaning 6805 clauses out of 13631 with flag 52959/26000
10.81/4.31	c cleaning 7909 clauses out of 15826 with flag 71392/35000
13.65/5.72	c cleaning 8950 clauses out of 17919 with flag 91814/45002
17.31/7.59	c cleaning 9973 clauses out of 19968 with flag 114244/56001
21.35/9.58	c cleaning 10984 clauses out of 21995 with flag 138686/68001
26.58/12.16	c cleaning 11997 clauses out of 24010 with flag 165350/81000
32.43/15.01	c cleaning 12999 clauses out of 26014 with flag 193681/95001
39.03/18.31	c cleaning 13998 clauses out of 28014 with flag 224098/110000
43.70/20.66	c cleaning 0 clauses out of 5000 with flag 0/5000
46.60/21.94	c cleaning 14997 clauses out of 30017 with flag 256503/126001
54.92/26.06	c cleaning 16000 clauses out of 32020 with flag 291045/143001
64.39/30.70	c cleaning 16998 clauses out of 34020 with flag 329252/161001
69.59/33.30	c cleaning 18008 clauses out of 36024 with flag 370595/180003
73.21/35.10	c cleaning 18994 clauses out of 38014 with flag 412160/200001
75.83/36.46	c cleaning 20002 clauses out of 40020 with flag 457581/221001
82.01/39.52	c cleaning 21003 clauses out of 42018 with flag 507596/243001
89.07/43.02	c cleaning 22000 clauses out of 44015 with flag 560421/266001
96.32/46.60	c cleaning 22996 clauses out of 46015 with flag 616224/290001
100.72/48.86	c cleaning 24005 clauses out of 48018 with flag 673089/315000
110.56/53.73	c cleaning 24986 clauses out of 50014 with flag 730293/341001
115.37/56.19	c cleaning 26005 clauses out of 52030 with flag 790780/368003
122.80/59.80	c cleaning 26997 clauses out of 54022 with flag 857857/396000
129.21/63.01	c cleaning 28008 clauses out of 56025 with flag 924401/425000
136.05/66.44	c cleaning 29001 clauses out of 58018 with flag 996879/455001
146.10/71.44	c cleaning 29997 clauses out of 60016 with flag 1079895/486000
156.81/76.74	c cleaning 31003 clauses out of 62019 with flag 1157336/518000
165.45/81.09	c cleaning 32002 clauses out of 64016 with flag 1232018/551000
171.24/83.98	c And the winner is solver0
171.24/84.29	c SATISFIABLE
171.24/84.29	c OPTIMIZING...
171.24/84.29	c Got one! Elapsed wall clock time (in seconds):84.18
171.24/84.29	o 335
173.47/85.50	c cleaning 31424 clauses out of 62858 with flag 12240/581844
174.52/85.99	c cleaning 18707 clauses out of 37434 with flag 26312/587844
176.52/86.91	c cleaning 12856 clauses out of 25729 with flag 46925/594846
177.90/87.66	c cleaning 10425 clauses out of 20872 with flag 66498/602845
179.34/88.34	c cleaning 9702 clauses out of 19447 with flag 87952/611845
180.74/89.00	c cleaning 9854 clauses out of 19745 with flag 109355/621845
182.14/89.72	c cleaning 10435 clauses out of 20892 with flag 132043/632846
183.97/90.66	c cleaning 11220 clauses out of 22455 with flag 157031/644844
185.58/91.41	c cleaning 12107 clauses out of 24235 with flag 185373/657844
188.77/93.07	c cleaning 13050 clauses out of 26128 with flag 217033/671844
191.61/94.46	c cleaning 14033 clauses out of 28079 with flag 250326/686845
195.41/96.29	c cleaning 15015 clauses out of 30044 with flag 286385/702844
200.02/98.54	c cleaning 16008 clauses out of 32029 with flag 324450/719844
205.46/101.29	c cleaning 17006 clauses out of 34022 with flag 364570/737845
210.49/103.76	c cleaning 18001 clauses out of 36018 with flag 412707/756847
216.51/106.75	c cleaning 19002 clauses out of 38016 with flag 454533/776846
222.92/109.95	c cleaning 19993 clauses out of 40012 with flag 498671/797844
228.73/112.83	c cleaning 20990 clauses out of 42020 with flag 549613/819845
237.97/117.43	c cleaning 22002 clauses out of 44030 with flag 601946/842845
244.79/120.85	c cleaning 23003 clauses out of 46027 with flag 653237/866844
252.63/124.79	c cleaning 23998 clauses out of 48024 with flag 707883/891844
260.46/128.60	c cleaning 24995 clauses out of 50026 with flag 763560/917844
266.09/131.42	c cleaning 26003 clauses out of 52032 with flag 826003/944845
276.36/136.58	c cleaning 27009 clauses out of 54029 with flag 889261/972845
284.58/140.60	c cleaning 28007 clauses out of 56019 with flag 954967/1001845
290.20/143.43	c cleaning 28995 clauses out of 58012 with flag 1018852/1031845
297.27/146.94	c cleaning 30002 clauses out of 60017 with flag 1085764/1062845
304.48/150.59	c cleaning 31003 clauses out of 62014 with flag 1154560/1094844
310.49/153.54	c cleaning 31982 clauses out of 64012 with flag 1229192/1127845
314.52/155.56	c And the winner is solver0
314.52/155.80	c Got one! Elapsed wall clock time (in seconds):155.693
314.52/155.80	o 75
315.72/156.43	c cleaning 30750 clauses out of 61519 with flag 11350/1157334
316.32/156.79	c cleaning 18372 clauses out of 36769 with flag 23933/1163334
317.53/157.36	c cleaning 12683 clauses out of 25397 with flag 38542/1170334
318.72/157.94	c cleaning 10343 clauses out of 20714 with flag 55185/1178334
320.55/158.82	c cleaning 9677 clauses out of 19371 with flag 74648/1187334
321.55/159.40	c cleaning 9839 clauses out of 19693 with flag 95678/1197333
321.75/159.41	c And the winner is solver0
321.85/159.81	c Got one! Elapsed wall clock time (in seconds):159.694
321.85/159.81	o 33
322.42/160.10	c cleaning 7524 clauses out of 15058 with flag 13083/1202537
323.24/160.50	c cleaning 6762 clauses out of 13534 with flag 27273/1208537
323.24/160.59	c And the winner is solver0
323.56/160.81	c Got one! Elapsed wall clock time (in seconds):160.695
323.56/160.81	o 5
323.93/161.03	c cleaning 6302 clauses out of 12632 with flag 9539/1214397
324.53/161.32	c cleaning 6143 clauses out of 12330 with flag 22362/1220397
325.13/161.70	c cleaning 6593 clauses out of 13187 with flag 37277/1227397
326.13/162.17	c cleaning 7294 clauses out of 14595 with flag 54787/1235398
327.35/162.76	c cleaning 8144 clauses out of 16301 with flag 75717/1244398
328.55/163.35	c cleaning 9059 clauses out of 18156 with flag 97125/1254397
329.77/163.99	c cleaning 10044 clauses out of 20097 with flag 120803/1265397
331.56/164.89	c cleaning 11007 clauses out of 22053 with flag 146823/1277397
334.40/166.25	c cleaning 12018 clauses out of 24047 with flag 174538/1290398
336.60/167.37	c cleaning 12992 clauses out of 26030 with flag 204794/1304399
339.98/169.05	c cleaning 14015 clauses out of 28038 with flag 237665/1319399
342.61/170.30	c cleaning 15005 clauses out of 30022 with flag 272263/1335398
345.82/171.91	c cleaning 15999 clauses out of 32018 with flag 309393/1352399
348.65/173.31	c cleaning 17004 clauses out of 34017 with flag 347496/1370397
352.86/175.41	c cleaning 17992 clauses out of 36015 with flag 388247/1389399
357.69/177.84	c cleaning 19000 clauses out of 38021 with flag 435245/1409397
362.53/180.27	c cleaning 20005 clauses out of 40022 with flag 481141/1430398
368.39/183.11	c cleaning 21002 clauses out of 42016 with flag 531042/1452397
373.03/185.43	c And the winner is solver0
373.03/185.81	c Got one! Elapsed wall clock time (in seconds):185.7
373.03/185.81	o 3
374.03/186.32	c cleaning 21805 clauses out of 43633 with flag 14794/1475016
375.44/187.10	c cleaning 13907 clauses out of 27827 with flag 28501/1481015
376.43/187.56	c cleaning 10454 clauses out of 20920 with flag 43524/1488015
377.66/188.11	c cleaning 9225 clauses out of 18467 with flag 61546/1496016
379.24/188.93	c cleaning 9116 clauses out of 18242 with flag 81401/1505016
380.24/189.48	c cleaning 9536 clauses out of 19127 with flag 103719/1515017
381.85/190.20	c cleaning 10290 clauses out of 20592 with flag 128549/1526018
383.06/190.89	c cleaning 11140 clauses out of 22299 with flag 154861/1538015
385.06/191.83	c cleaning 12075 clauses out of 24160 with flag 182497/1551016
386.68/192.60	c cleaning 13035 clauses out of 26084 with flag 212715/1565015
388.47/193.56	c cleaning 14000 clauses out of 28050 with flag 244807/1580016
390.67/194.69	c cleaning 15001 clauses out of 30049 with flag 279220/1596015
393.89/196.25	c cleaning 16022 clauses out of 32049 with flag 316337/1613016
398.52/198.51	c cleaning 17010 clauses out of 34026 with flag 356367/1631015
401.94/200.24	c cleaning 18004 clauses out of 36017 with flag 399219/1650016
406.35/202.41	c cleaning 18994 clauses out of 38013 with flag 443785/1670016
413.38/205.94	c cleaning 20003 clauses out of 40018 with flag 488751/1691015
418.78/208.61	c cleaning 21000 clauses out of 42017 with flag 538055/1713017
423.81/211.19	c cleaning 22002 clauses out of 44016 with flag 589584/1736016
429.25/213.85	c cleaning 22988 clauses out of 46013 with flag 643044/1760015
433.68/216.04	c cleaning 24008 clauses out of 48025 with flag 698446/1785015
442.34/220.38	c cleaning 25004 clauses out of 50019 with flag 760027/1811017
447.68/223.17	c cleaning 25974 clauses out of 52013 with flag 818740/1838015
453.92/226.28	c cleaning 27016 clauses out of 54039 with flag 882003/1866015
467.18/232.87	c cleaning 28001 clauses out of 56023 with flag 946141/1895016
476.63/237.57	c cleaning 28999 clauses out of 58022 with flag 1012701/1925016
482.86/240.62	c cleaning 30006 clauses out of 60023 with flag 1081286/1956016
489.70/244.06	c cleaning 31002 clauses out of 62017 with flag 1151385/1988016
498.11/248.22	c cleaning 32001 clauses out of 64014 with flag 1225526/2021015
500.32/249.30	c cleaning 0 clauses out of 17217 with flag 0/17221
508.38/253.37	c cleaning 33001 clauses out of 66013 with flag 1301316/2055015
524.23/261.25	c cleaning 33980 clauses out of 68012 with flag 1376963/2090015
546.80/272.43	c cleaning 35008 clauses out of 70033 with flag 1454817/2126016
562.20/280.10	c cleaning 35997 clauses out of 72024 with flag 1535174/2163015
574.84/286.50	c cleaning 37005 clauses out of 74027 with flag 1620532/2201015
584.87/291.48	c cleaning 38004 clauses out of 76025 with flag 1705929/2240018
595.48/296.73	c cleaning 38998 clauses out of 78018 with flag 1794925/2280015
606.94/302.48	c cleaning 40004 clauses out of 80021 with flag 1889359/2321016
617.99/307.96	c cleaning 40985 clauses out of 82016 with flag 1981313/2363015
630.28/314.28	c cleaning 42002 clauses out of 84031 with flag 2076134/2406016
644.94/321.52	c cleaning 43007 clauses out of 86028 with flag 2173182/2450015
660.79/329.40	c cleaning 43994 clauses out of 88022 with flag 2271803/2495016
675.03/336.51	c cleaning 45006 clauses out of 90028 with flag 2374317/2541016
691.11/344.55	c cleaning 45997 clauses out of 92021 with flag 2479355/2588015
713.83/355.87	c cleaning 47010 clauses out of 94026 with flag 2584522/2636017
726.71/362.27	c cleaning 47989 clauses out of 96015 with flag 2699272/2685016
743.60/370.64	c cleaning 49008 clauses out of 98025 with flag 2829551/2735015
743.82/370.73	c cleaning 0 clauses out of 23216 with flag 0/23220
775.31/386.41	c cleaning 50007 clauses out of 100018 with flag 2947677/2786016
791.15/394.33	c cleaning 50984 clauses out of 102012 with flag 3067299/2838017
809.05/403.21	c cleaning 52001 clauses out of 104026 with flag 3195291/2891015
838.57/418.17	c cleaning 52999 clauses out of 106026 with flag 3314335/2945016
856.78/427.30	c cleaning 54006 clauses out of 108028 with flag 3433628/3000018
884.26/440.93	c cleaning 54997 clauses out of 110019 with flag 3558783/3056015
908.99/453.22	c cleaning 56006 clauses out of 112023 with flag 3688114/3113016
931.66/464.57	c cleaning 56995 clauses out of 114016 with flag 3816141/3171015
957.62/477.49	c cleaning 58004 clauses out of 116021 with flag 3948802/3230015
983.46/490.35	c cleaning 59003 clauses out of 118018 with flag 4083196/3290016
1010.02/503.55	c cleaning 59999 clauses out of 120014 with flag 4223424/3351015
1038.62/518.07	c cleaning 61006 clauses out of 122015 with flag 4359559/3413016
1072.57/534.91	c cleaning 61997 clauses out of 124010 with flag 4495722/3476017
1106.92/552.00	c cleaning 62998 clauses out of 126012 with flag 4638946/3540016
1141.65/569.36	c cleaning 64001 clauses out of 128013 with flag 4782890/3605015
1174.40/585.63	c cleaning 65002 clauses out of 130012 with flag 4929441/3671015
1215.78/606.28	c cleaning 65997 clauses out of 132010 with flag 5081430/3738016
1254.13/625.37	c cleaning 66995 clauses out of 134012 with flag 5239184/3806015
1297.56/646.93	c cleaning 68002 clauses out of 136018 with flag 5403090/3875016
1368.61/682.54	c cleaning 69004 clauses out of 138016 with flag 5557554/3945016
1433.68/714.97	c cleaning 69997 clauses out of 140005 with flag 5708417/4016015
1448.52/722.36	c And the winner is solver0
1451.58/725.81	c >>>>>>>>>> Solver number 0 (6 answers) <<<<<<<<<<<<<<<<<<
1451.58/725.81	c starts		: 8316
1451.58/725.81	c conflicts		: 4046163
1451.58/725.81	c decisions		: 4681072
1451.58/725.81	c propagations		: 90576562
1451.58/725.81	c inspects		: 10957317374
1451.58/725.81	c shortcuts		: 0
1451.58/725.81	c learnt literals	: 17
1451.58/725.81	c learnt binary clauses	: 57
1451.58/725.81	c learnt ternary clauses	: 136
1451.58/725.81	c learnt constraints	: 4046145
1451.58/725.81	c ignored constraints	: 0
1451.58/725.81	c root simplifications	: 0
1451.58/725.81	c removed literals (reason simplification)	: 11772984
1451.58/725.81	c reason swapping (by a shorter reason)	: 0
1451.58/725.81	c Calls to reduceDB	: 151
1451.58/725.81	c Number of update (reduction) of LBD	: 137755
1451.58/725.81	c Imported unit clauses	: 0
1451.58/725.81	c number of reductions to clauses (during analyze)	: 0
1451.58/725.81	c number of learned constraints concerned by reduction	: 0
1451.58/725.81	c number of learning phase by resolution	: 0
1451.58/725.81	c number of learning phase by cutting planes	: 0
1451.58/725.81	c speed (assignments/second)	: 124837.45155439414
1451.58/725.81	c non guided choices	41506
1451.58/725.81	c learnt constraints type 
1451.58/725.81	c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<<
1451.58/725.81	c starts		: 103
1451.58/725.81	c conflicts		: 28717
1451.58/725.81	c decisions		: 32855
1451.58/725.81	c propagations		: 520589
1451.58/725.81	c inspects		: 901527057
1451.58/725.81	c shortcuts		: 0
1451.58/725.81	c learnt literals	: 0
1451.58/725.81	c learnt binary clauses	: 0
1451.58/725.81	c learnt ternary clauses	: 0
1451.58/725.81	c learnt constraints	: 28712
1451.58/725.81	c ignored constraints	: 0
1451.58/725.81	c root simplifications	: 0
1451.58/725.81	c removed literals (reason simplification)	: 0
1451.58/725.81	c reason swapping (by a shorter reason)	: 0
1451.58/725.81	c Calls to reduceDB	: 3
1451.58/725.81	c Number of update (reduction) of LBD	: 0
1451.58/725.81	c Imported unit clauses	: 0
1451.58/725.81	c number of reductions to clauses (during analyze)	: 0
1451.58/725.81	c number of learned constraints concerned by reduction	: 0
1451.58/725.81	c number of learning phase by resolution	: 0
1451.58/725.81	c number of learning phase by cutting planes	: 0
1451.58/725.81	c speed (assignments/second)	: 964.0572742862009
1451.58/725.81	c non guided choices	1398
1451.58/725.81	c learnt constraints type 
1451.58/725.81	s OPTIMUM FOUND
1451.58/725.81	c Found 5 solution(s)
1451.58/725.81	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 
1451.58/725.81	c objective function=3
1451.58/725.81	c Total wall clock time (in seconds): 725.701

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-4106065-1466268292/watcher-4106065-1466268292 -o /tmp/evaluation-result-4106065-1466268292/solver-4106065-1466268292 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1466264503-28302 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4106065-1466268292.opb 

pid=29835
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: 3.94 3.73 3.87 4/197 29838
/proc/meminfo: memFree=28831416/32872528 swapFree=1534436/1655032
[pid=29838] ppid=29835 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/29838/stat : 29838 (java) R 29835 29838 28285 0 -1 4202496 1061 0 0 0 0 0 0 0 20 0 1 0 28877659 23793664 711 33554432000 1073741824 1073778376 140736855642784 140736855631848 217401309264 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29838/statm: 5809 711 525 9 0 128 0

[startup+0.100061 s]
/proc/loadavg: 3.94 3.73 3.87 4/197 29838
/proc/meminfo: memFree=28831416/32872528 swapFree=1534436/1655032
[pid=29838] ppid=29835 vsize=9558476 CPUtime=0.1 cores=1,3,5,7
/proc/29838/stat : 29838 (java) S 29835 29838 28285 0 -1 4202496 4428 0 1 0 9 1 0 0 20 0 18 0 28877659 9787879424 6068 33554432000 1073741824 1073778376 140736855642784 140736855633920 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29838/statm: 2389619 6068 2141 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476

[startup+0.200223 s]
/proc/loadavg: 3.94 3.73 3.87 4/197 29838
/proc/meminfo: memFree=28831416/32872528 swapFree=1534436/1655032
[pid=29838] ppid=29835 vsize=9558476 CPUtime=0.25 cores=1,3,5,7
/proc/29838/stat : 29838 (java) S 29835 29838 28285 0 -1 4202496 4696 0 1 0 23 2 0 0 20 0 18 0 28877659 9787879424 7341 33554432000 1073741824 1073778376 140736855642784 140736855633920 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29838/statm: 2389619 7341 2217 9 0 2380296 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 9558476

[startup+0.300227 s]
/proc/loadavg: 3.94 3.73 3.87 4/197 29838
/proc/meminfo: memFree=28831416/32872528 swapFree=1534436/1655032
[pid=29838] ppid=29835 vsize=9824732 CPUtime=0.54 cores=1,3,5,7
/proc/29838/stat : 29838 (java) S 29835 29838 28285 0 -1 4202496 7299 0 1 0 52 2 0 0 20 0 22 0 28877659 10060525568 10623 33554432000 1073741824 1073778376 140736855642784 140736855633920 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29838/statm: 2456183 10623 2242 9 0 2446860 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 9824732

[startup+0.700205 s]
/proc/loadavg: 3.94 3.73 3.87 4/197 29838
/proc/meminfo: memFree=28831416/32872528 swapFree=1534436/1655032
[pid=29838] ppid=29835 vsize=9824732 CPUtime=2.14 cores=1,3,5,7
/proc/29838/stat : 29838 (java) S 29835 29838 28285 0 -1 4202496 17015 0 1 0 210 4 0 0 20 0 22 0 28877659 10060525568 22027 33554432000 1073741824 1073778376 140736855642784 140736855633920 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29838/statm: 2456183 22027 2256 9 0 2446860 0
Current children cumulated CPU time (s) 2.14
Current children cumulated vsize (KiB) 9824732

[startup+1.50085 s]
/proc/loadavg: 3.94 3.73 3.87 7/219 29860
/proc/meminfo: memFree=28260404/32872528 swapFree=1534436/1655032
[pid=29838] ppid=29835 vsize=9824732 CPUtime=5.08 cores=1,3,5,7
/proc/29838/stat : 29838 (java) S 29835 29838 28285 0 -1 4202496 27938 0 1 0 500 8 0 0 20 0 22 0 28877659 10060525568 47327 33554432000 1073741824 1073778376 140736855642784 140736855633920 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29838/statm: 2456183 47327 2281 9 0 2446860 0
[pid=29838/tid=29840] ppid=29835 vsize=9824732 CPUtime=0.22 cores=1,3,5,7
/proc/29838/task/29840/stat : 29840 (java) S 29835 29838 28285 0 -1 4202560 2417 0 1 0 21 1 0 0 20 0 22 0 28877660 10060525568 47327 33554432000 1073741824 1073778376 140736855642784 139900115710840 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29838/tid=29841] ppid=29835 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29838/task/29841/stat : 29841 (java) S 29835 29838 28285 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 22 0 28877661 10060525568 47327 33554432000 1073741824 1073778376 140736855642784 139899958933800 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29838/tid=29842] ppid=29835 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29838/task/29842/stat : 29842 (java) S 29835 29838 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28877661 10060525568 47327 33554432000 1073741824 1073778376 140736855642784 139899957881000 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29838/tid=29843] ppid=29835 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29838/task/29843/stat : 29843 (java) S 29835 29838 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28877661 10060525568 47327 33554432000 1073741824 1073778376 140736855642784 139899956828712 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29838/tid=29844] ppid=29835 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29838/task/29844/stat : 29844 (java) S 29835 29838 28285 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 28877661 10060525568 47327 33554432000 1073741824 1073778376 140736855642784 139899955775912 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29838/tid=29845] ppid=29835 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29838/task/29845/stat : 29845 (java) S 29835 29838 28285 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28877661 10060525568 47327 33554432000 1073741824 1073778376 140736855642784 139899954723624 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29838/tid=29846] ppid=29835 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29838/task/29846/stat : 29846 (java) S 29835 29838 28285 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 28877661 10060525568 47327 33554432000 1073741824 1073778376 140736855642784 139899953670824 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29838/tid=29847] ppid=29835 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29838/task/29847/stat : 29847 (java) S 29835 29838 28285 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 28877661 10060525568 47327 33554432000 1073741824 1073778376 140736855642784 139899952618536 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29838/tid=29848] ppid=29835 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29838/task/29848/stat : 29848 (java) S 29835 29838 28285 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 28877661 10060525568 47327 33554432000 1073741824 1073778376 140736855642784 139899951565736 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29838/tid=29849] ppid=29835 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29838/task/29849/stat : 29849 (java) S 29835 29838 28285 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 22 0 28877662 10060525568 47327 33554432000 1073741824 1073778376 140736855642784 139899939367144 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29838/tid=29850] ppid=29835 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29838/task/29850/stat : 29850 (java) S 29835 29838 28285 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28877662 10060525568 47327 33554432000 1073741824 1073778376 140736855642784 139899938313208 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29838/tid=29851] ppid=29835 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29838/task/29851/stat : 29851 (java) S 29835 29838 28285 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28877662 10060525568 47327 33554432000 1073741824 1073778376 140736855642784 139899937260808 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29838/tid=29852] ppid=29835 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29838/task/29852/stat : 29852 (java) S 29835 29838 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28877664 10060525568 47327 33554432000 1073741824 1073778376 140736855642784 139899936209296 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29838/tid=29853] ppid=29835 vsize=9824732 CPUtime=1.19 cores=1,3,5,7
/proc/29838/task/29853/stat : 29853 (java) S 29835 29838 28285 0 -1 4202560 12675 0 0 0 117 2 0 0 20 0 22 0 28877664 10060525568 47327 33554432000 1073741824 1073778376 140736855642784 139899935156920 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29838/tid=29854] ppid=29835 vsize=9824732 CPUtime=1.13 cores=1,3,5,7
/proc/29838/task/29854/stat : 29854 (java) S 29835 29838 28285 0 -1 4202560 11350 0 0 0 111 2 0 0 20 0 22 0 28877665 10060525568 47327 33554432000 1073741824 1073778376 140736855642784 139899934104120 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29838/tid=29855] ppid=29835 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29838/task/29855/stat : 29855 (java) S 29835 29838 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28877665 10060525568 47327 33554432000 1073741824 1073778376 140736855642784 139899933052024 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29838/tid=29856] ppid=29835 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29838/task/29856/stat : 29856 (java) S 29835 29838 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28877665 10060525568 47327 33554432000 1073741824 1073778376 140736855642784 139899931999432 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29838/tid=29857] ppid=29835 vsize=9824732 CPUtime=1.2 cores=1,3,5,7
/proc/29838/task/29857/stat : 29857 (java) R 29835 29838 28285 0 -1 4202560 20 0 0 0 120 0 0 0 20 0 22 0 28877684 10060525568 47327 33554432000 1073741824 1073778376 140736855642784 139899930942744 139899987073201 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=29838/tid=29858] ppid=29835 vsize=9824732 CPUtime=1.2 cores=1,3,5,7
/proc/29838/task/29858/stat : 29858 (java) R 29835 29838 28285 0 -1 4202560 87 0 0 0 118 2 0 0 20 0 22 0 28877684 10060525568 47327 33554432000 1073741824 1073778376 140736855642784 139899929890904 139899987243750 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=29838/tid=29859] ppid=29835 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29838/task/29859/stat : 29859 (java) S 29835 29838 28285 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 28877685 10060525568 47327 33554432000 1073741824 1073778376 140736855642784 139899928839336 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29838/tid=29860] ppid=29835 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29838/task/29860/stat : 29860 (java) S 29835 29838 28285 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28877685 10060525568 47327 33554432000 1073741824 1073778376 140736855642784 139899927786536 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 5.08
Current children cumulated vsize (KiB) 9824732

[startup+3.1009 s]
/proc/loadavg: 4.10 3.76 3.88 5/219 29860
/proc/meminfo: memFree=28045796/32872528 swapFree=1534436/1655032
[pid=29838] ppid=29835 vsize=9824732 CPUtime=8.35 cores=1,3,5,7
/proc/29838/stat : 29838 (java) S 29835 29838 28285 0 -1 4202496 28216 0 1 0 821 14 0 0 20 0 22 0 28877659 10060525568 103264 33554432000 1073741824 1073778376 140736855642784 140736855633920 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29838/statm: 2456183 103264 2281 9 0 2446860 0
[pid=29838/tid=29840] ppid=29835 vsize=9824732 CPUtime=0.22 cores=1,3,5,7
/proc/29838/task/29840/stat : 29840 (java) S 29835 29838 28285 0 -1 4202560 2417 0 1 0 21 1 0 0 20 0 22 0 28877660 10060525568 103264 33554432000 1073741824 1073778376 140736855642784 139900115710840 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29838/tid=29841] ppid=29835 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/29838/task/29841/stat : 29841 (java) S 29835 29838 28285 0 -1 4202560 22 0 0 0 1 0 0 0 20 0 22 0 28877661 10060525568 103264 33554432000 1073741824 1073778376 140736855642784 139899958933800 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29838/tid=29842] ppid=29835 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29838/task/29842/stat : 29842 (java) S 29835 29838 28285 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 28877661 10060525568 103264 33554432000 1073741824 1073778376 140736855642784 139899957881000 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29838/tid=29843] ppid=29835 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29838/task/29843/stat : 29843 (java) S 29835 29838 28285 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28877661 10060525568 103264 33554432000 1073741824 1073778376 140736855642784 139899956828712 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29838/tid=29844] ppid=29835 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/29838/task/29844/stat : 29844 (java) S 29835 29838 28285 0 -1 4202560 25 0 0 0 3 0 0 0 20 0 22 0 28877661 10060525568 103264 33554432000 1073741824 1073778376 140736855642784 139899955775912 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29838/tid=29845] ppid=29835 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29838/task/29845/stat : 29845 (java) S 29835 29838 28285 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28877661 10060525568 103264 33554432000 1073741824 1073778376 140736855642784 139899954723624 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29838/tid=29846] ppid=29835 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29838/task/29846/stat : 29846 (java) S 29835 29838 28285 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 28877661 10060525568 103264 33554432000 1073741824 1073778376 140736855642784 139899953670824 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29838/tid=29847] ppid=29835 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/29838/task/29847/stat : 29847 (java) S 29835 29838 28285 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 22 0 28877661 10060525568 103264 33554432000 1073741824 1073778376 140736855642784 139899952618536 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29838/tid=29848] ppid=29835 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29838/task/29848/stat : 29848 (java) S 29835 29838 28285 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 28877661 10060525568 103264 33554432000 1073741824 1073778376 140736855642784 139899951565736 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29838/tid=29849] ppid=29835 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29838/task/29849/stat : 29849 (java) S 29835 29838 28285 0 -1 4202560 197 0 0 0 0 0 0 0 20 0 22 0 28877662 10060525568 103264 33554432000 1073741824 1073778376 140736855642784 139899939367144 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29838/tid=29850] ppid=29835 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29838/task/29850/stat : 29850 (java) S 29835 29838 28285 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28877662 10060525568 103264 33554432000 1073741824 1073778376 140736855642784 139899938313208 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29838/tid=29851] ppid=29835 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29838/task/29851/stat : 29851 (java) S 29835 29838 28285 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28877662 10060525568 103264 33554432000 1073741824 1073778376 140736855642784 139899937260808 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29838/tid=29852] ppid=29835 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29838/task/29852/stat : 29852 (java) S 29835 29838 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28877664 10060525568 103264 33554432000 1073741824 1073778376 140736855642784 139899936209296 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29838/tid=29853] ppid=29835 vsize=9824732 CPUtime=1.21 cores=1,3,5,7
/proc/29838/task/29853/stat : 29853 (java) S 29835 29838 28285 0 -1 4202560 12675 0 0 0 119 2 0 0 20 0 22 0 28877664 10060525568 103264 33554432000 1073741824 1073778376 140736855642784 139899935156920 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29838/tid=29854] ppid=29835 vsize=9824732 CPUtime=1.15 cores=1,3,5,7
/proc/29838/task/29854/stat : 29854 (java) S 29835 29838 28285 0 -1 4202560 11350 0 0 0 113 2 0 0 20 0 22 0 28877665 10060525568 103264 33554432000 1073741824 1073778376 140736855642784 139899934104120 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29838/tid=29855] ppid=29835 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29838/task/29855/stat : 29855 (java) S 29835 29838 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28877665 10060525568 103264 33554432000 1073741824 1073778376 140736855642784 139899933052024 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29838/tid=29856] ppid=29835 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29838/task/29856/stat : 29856 (java) S 29835 29838 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28877665 10060525568 103264 33554432000 1073741824 1073778376 140736855642784 139899931999432 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29838/tid=29857] ppid=29835 vsize=9824732 CPUtime=2.77 cores=1,3,5,7
/proc/29838/task/29857/stat : 29857 (java) R 29835 29838 28285 0 -1 4202560 23 0 0 0 277 0 0 0 20 0 22 0 28877684 10060525568 103264 33554432000 1073741824 1073778376 140736855642784 139899930941952 139899987442608 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=29838/tid=29858] ppid=29835 vsize=9824732 CPUtime=2.75 cores=1,3,5,7
/proc/29838/task/29858/stat : 29858 (java) R 29835 29838 28285 0 -1 4202560 182 0 0 0 270 5 0 0 20 0 22 0 28877684 10060525568 103264 33554432000 1073741824 1073778376 140736855642784 139899929889872 139899987011695 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=29838/tid=29859] ppid=29835 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29838/task/29859/stat : 29859 (java) S 29835 29838 28285 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 28877685 10060525568 103264 33554432000 1073741824 1073778376 140736855642784 139899928839336 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29838/tid=29860] ppid=29835 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29838/task/29860/stat : 29860 (java) S 29835 29838 28285 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28877685 10060525568 103264 33554432000 1073741824 1073778376 140736855642784 139899927786536 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 8.35
Current children cumulated vsize (KiB) 9824732

[startup+6.30103 s]
/proc/loadavg: 4.10 3.76 3.88 5/219 29860
/proc/meminfo: memFree=27732236/32872528 swapFree=1534436/1655032
[pid=29838] ppid=29835 vsize=9824732 CPUtime=14.85 cores=1,3,5,7
/proc/29838/stat : 29838 (java) S 29835 29838 28285 0 -1 4202496 28907 0 1 0 1461 24 0 0 20 0 22 0 28877659 10060525568 211180 33554432000 1073741824 1073778376 140736855642784 140736855633920 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29838/statm: 2456183 211180 2281 9 0 2446860 0
[pid=29838/tid=29840] ppid=29835 vsize=9824732 CPUtime=0.22 cores=1,3,5,7
/proc/29838/task/29840/stat : 29840 (java) S 29835 29838 28285 0 -1 4202560 2417 0 1 0 21 1 0 0 20 0 22 0 28877660 10060525568 211180 33554432000 1073741824 1073778376 140736855642784 139900115710840 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29838/tid=29841] ppid=29835 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/29838/task/29841/stat : 29841 (java) S 29835 29838 28285 0 -1 4202560 28 0 0 0 3 0 0 0 20 0 22 0 28877661 10060525568 211180 33554432000 1073741824 1073778376 140736855642784 139899958933800 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29838/tid=29842] ppid=29835 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/29838/task/29842/stat : 29842 (java) S 29835 29838 28285 0 -1 4202560 64 0 0 0 1 1 0 0 20 0 22 0 28877661 10060525568 211180 33554432000 1073741824 1073778376 140736855642784 139899957881000 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29838/tid=29843] ppid=29835 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/29838/task/29843/stat : 29843 (java) S 29835 29838 28285 0 -1 4202560 52 0 0 0 1 0 0 0 20 0 22 0 28877661 10060525568 211180 33554432000 1073741824 1073778376 140736855642784 139899956828712 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29838/tid=29844] ppid=29835 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/29838/task/29844/stat : 29844 (java) S 29835 29838 28285 0 -1 4202560 38 0 0 0 3 2 0 0 20 0 22 0 28877661 10060525568 211180 33554432000 1073741824 1073778376 140736855642784 139899955775912 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29838/tid=29845] ppid=29835 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/29838/task/29845/stat : 29845 (java) S 29835 29838 28285 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 22 0 28877661 10060525568 211180 33554432000 1073741824 1073778376 140736855642784 139899954723624 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29838/tid=29846] ppid=29835 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/29838/task/29846/stat : 29846 (java) S 29835 29838 28285 0 -1 4202560 65 0 0 0 3 0 0 0 20 0 22 0 28877661 10060525568 211180 33554432000 1073741824 1073778376 140736855642784 139899953670824 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29838/tid=29847] ppid=29835 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/29838/task/29847/stat : 29847 (java) S 29835 29838 28285 0 -1 4202560 66 0 0 0 2 1 0 0 20 0 22 0 28877661 10060525568 211180 33554432000 1073741824 1073778376 140736855642784 139899952618536 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29838/tid=29848] ppid=29835 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/29838/task/29848/stat : 29848 (java) S 29835 29838 28285 0 -1 4202560 19 0 0 0 1 1 0 0 20 0 22 0 28877661 10060525568 211180 33554432000 1073741824 1073778376 140736855642784 139899951565736 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29838/tid=29849] ppid=29835 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29838/task/29849/stat : 29849 (java) S 29835 29838 28285 0 -1 4202560 447 0 0 0 0 0 0 0 20 0 22 0 28877662 10060525568 211180 33554432000 1073741824 1073778376 140736855642784 139899939367144 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29838/tid=29850] ppid=29835 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29838/task/29850/stat : 29850 (java) S 29835 29838 28285 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28877662 10060525568 211180 33554432000 1073741824 1073778376 140736855642784 139899938313208 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29838/tid=29851] ppid=29835 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29838/task/29851/stat : 29851 (java) S 29835 29838 28285 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28877662 10060525568 211180 33554432000 1073741824 1073778376 140736855642784 139899937260808 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29838/tid=29852] ppid=29835 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29838/task/29852/stat : 29852 (java) S 29835 29838 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28877664 10060525568 211180 33554432000 1073741824 1073778376 140736855642784 139899936209296 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29838/tid=29853] ppid=29835 vsize=9824732 CPUtime=1.22 cores=1,3,5,7

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

/proc/29838/task/29847/stat : 29847 (java) S 29835 29838 28285 0 -1 4202560 565 0 0 0 170 7 0 0 20 0 19 0 28877661 10060525568 440447 33554432000 1073741824 1073778376 140736855642784 139899952618536 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29838/tid=29848] ppid=29835 vsize=9824732 CPUtime=2.05 cores=1,3,5,7
/proc/29838/task/29848/stat : 29848 (java) S 29835 29838 28285 0 -1 4202560 459 0 0 0 196 9 0 0 20 0 19 0 28877661 10060525568 440447 33554432000 1073741824 1073778376 140736855642784 139899951565736 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29838/tid=29849] ppid=29835 vsize=9824732 CPUtime=2.21 cores=1,3,5,7
/proc/29838/task/29849/stat : 29849 (java) S 29835 29838 28285 0 -1 4202560 1461 0 0 0 201 20 0 0 20 0 19 0 28877662 10060525568 440447 33554432000 1073741824 1073778376 140736855642784 139899939367144 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29838/tid=29850] ppid=29835 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29838/task/29850/stat : 29850 (java) S 29835 29838 28285 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 28877662 10060525568 440447 33554432000 1073741824 1073778376 140736855642784 139899938313208 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29838/tid=29851] ppid=29835 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29838/task/29851/stat : 29851 (java) S 29835 29838 28285 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 28877662 10060525568 440447 33554432000 1073741824 1073778376 140736855642784 139899937260808 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29838/tid=29852] ppid=29835 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29838/task/29852/stat : 29852 (java) S 29835 29838 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28877664 10060525568 440447 33554432000 1073741824 1073778376 140736855642784 139899936209296 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29838/tid=29853] ppid=29835 vsize=9824732 CPUtime=1.44 cores=1,3,5,7
/proc/29838/task/29853/stat : 29853 (java) S 29835 29838 28285 0 -1 4202560 12695 0 0 0 142 2 0 0 20 0 19 0 28877664 10060525568 440447 33554432000 1073741824 1073778376 140736855642784 139899935156920 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29838/tid=29854] ppid=29835 vsize=9824732 CPUtime=1.92 cores=1,3,5,7
/proc/29838/task/29854/stat : 29854 (java) S 29835 29838 28285 0 -1 4202560 14790 0 0 0 190 2 0 0 20 0 19 0 28877665 10060525568 440447 33554432000 1073741824 1073778376 140736855642784 139899934104120 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29838/tid=29855] ppid=29835 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29838/task/29855/stat : 29855 (java) S 29835 29838 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28877665 10060525568 440447 33554432000 1073741824 1073778376 140736855642784 139899933052024 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29838/tid=29856] ppid=29835 vsize=9824732 CPUtime=0.31 cores=1,3,5,7
/proc/29838/task/29856/stat : 29856 (java) S 29835 29838 28285 0 -1 4202560 43 0 0 0 11 20 0 0 20 0 19 0 28877665 10060525568 440447 33554432000 1073741824 1073778376 140736855642784 139899931999432 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29838/tid=29860] ppid=29835 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29838/task/29860/stat : 29860 (java) S 29835 29838 28285 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28877685 10060525568 440447 33554432000 1073741824 1073778376 140736855642784 139899927786536 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1446.42
Current children cumulated vsize (KiB) 9824732

[startup+724.801 s]
/proc/loadavg: 4.45 4.21 4.05 4/216 29911
/proc/meminfo: memFree=26361768/32872528 swapFree=1534436/1655032
[pid=29838] ppid=29835 vsize=9824732 CPUtime=1448.02 cores=1,3,5,7
/proc/29838/stat : 29838 (java) S 29835 29838 28285 0 -1 4202496 38147 0 1 0 144634 168 0 0 20 0 19 0 28877659 10060525568 440447 33554432000 1073741824 1073778376 140736855642784 140736855633920 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29838/statm: 2456183 440447 2294 9 0 2446860 0
[pid=29838/tid=29840] ppid=29835 vsize=9824732 CPUtime=2.2 cores=1,3,5,7
/proc/29838/task/29840/stat : 29840 (java) R 29835 29838 28285 0 -1 4202560 2425 0 1 0 217 3 0 0 20 0 19 0 28877660 10060525568 440447 33554432000 1073741824 1073778376 140736855642784 139900115708464 139899986778038 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=29838/tid=29841] ppid=29835 vsize=9824732 CPUtime=1.87 cores=1,3,5,7
/proc/29838/task/29841/stat : 29841 (java) S 29835 29838 28285 0 -1 4202560 367 0 0 0 178 9 0 0 20 0 19 0 28877661 10060525568 440447 33554432000 1073741824 1073778376 140736855642784 139899958933800 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29838/tid=29842] ppid=29835 vsize=9824732 CPUtime=1.98 cores=1,3,5,7
/proc/29838/task/29842/stat : 29842 (java) S 29835 29838 28285 0 -1 4202560 402 0 0 0 191 7 0 0 20 0 19 0 28877661 10060525568 440447 33554432000 1073741824 1073778376 140736855642784 139899957881000 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29838/tid=29843] ppid=29835 vsize=9824732 CPUtime=2.04 cores=1,3,5,7
/proc/29838/task/29843/stat : 29843 (java) S 29835 29838 28285 0 -1 4202560 451 0 0 0 196 8 0 0 20 0 19 0 28877661 10060525568 440447 33554432000 1073741824 1073778376 140736855642784 139899956828712 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29838/tid=29844] ppid=29835 vsize=9824732 CPUtime=2.17 cores=1,3,5,7
/proc/29838/task/29844/stat : 29844 (java) S 29835 29838 28285 0 -1 4202560 464 0 0 0 209 8 0 0 20 0 19 0 28877661 10060525568 440447 33554432000 1073741824 1073778376 140736855642784 139899955775912 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29838/tid=29845] ppid=29835 vsize=9824732 CPUtime=1.99 cores=1,3,5,7
/proc/29838/task/29845/stat : 29845 (java) S 29835 29838 28285 0 -1 4202560 392 0 0 0 192 7 0 0 20 0 19 0 28877661 10060525568 440447 33554432000 1073741824 1073778376 140736855642784 139899954723624 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29838/tid=29846] ppid=29835 vsize=9824732 CPUtime=1.89 cores=1,3,5,7
/proc/29838/task/29846/stat : 29846 (java) S 29835 29838 28285 0 -1 4202560 425 0 0 0 181 8 0 0 20 0 19 0 28877661 10060525568 440447 33554432000 1073741824 1073778376 140736855642784 139899953670824 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29838/tid=29847] ppid=29835 vsize=9824732 CPUtime=1.77 cores=1,3,5,7
/proc/29838/task/29847/stat : 29847 (java) S 29835 29838 28285 0 -1 4202560 565 0 0 0 170 7 0 0 20 0 19 0 28877661 10060525568 440447 33554432000 1073741824 1073778376 140736855642784 139899952618536 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29838/tid=29848] ppid=29835 vsize=9824732 CPUtime=2.05 cores=1,3,5,7
/proc/29838/task/29848/stat : 29848 (java) S 29835 29838 28285 0 -1 4202560 459 0 0 0 196 9 0 0 20 0 19 0 28877661 10060525568 440447 33554432000 1073741824 1073778376 140736855642784 139899951565736 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29838/tid=29849] ppid=29835 vsize=9824732 CPUtime=2.21 cores=1,3,5,7
/proc/29838/task/29849/stat : 29849 (java) S 29835 29838 28285 0 -1 4202560 1461 0 0 0 201 20 0 0 20 0 19 0 28877662 10060525568 440447 33554432000 1073741824 1073778376 140736855642784 139899939367144 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29838/tid=29850] ppid=29835 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29838/task/29850/stat : 29850 (java) S 29835 29838 28285 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 28877662 10060525568 440447 33554432000 1073741824 1073778376 140736855642784 139899938313208 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29838/tid=29851] ppid=29835 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29838/task/29851/stat : 29851 (java) S 29835 29838 28285 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 28877662 10060525568 440447 33554432000 1073741824 1073778376 140736855642784 139899937260808 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29838/tid=29852] ppid=29835 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29838/task/29852/stat : 29852 (java) S 29835 29838 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28877664 10060525568 440447 33554432000 1073741824 1073778376 140736855642784 139899936209296 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29838/tid=29853] ppid=29835 vsize=9824732 CPUtime=1.44 cores=1,3,5,7
/proc/29838/task/29853/stat : 29853 (java) S 29835 29838 28285 0 -1 4202560 12695 0 0 0 142 2 0 0 20 0 19 0 28877664 10060525568 440447 33554432000 1073741824 1073778376 140736855642784 139899935156920 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29838/tid=29854] ppid=29835 vsize=9824732 CPUtime=1.92 cores=1,3,5,7
/proc/29838/task/29854/stat : 29854 (java) S 29835 29838 28285 0 -1 4202560 14790 0 0 0 190 2 0 0 20 0 19 0 28877665 10060525568 440447 33554432000 1073741824 1073778376 140736855642784 139899934104120 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29838/tid=29855] ppid=29835 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29838/task/29855/stat : 29855 (java) S 29835 29838 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28877665 10060525568 440447 33554432000 1073741824 1073778376 140736855642784 139899933052024 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29838/tid=29856] ppid=29835 vsize=9824732 CPUtime=0.31 cores=1,3,5,7
/proc/29838/task/29856/stat : 29856 (java) S 29835 29838 28285 0 -1 4202560 43 0 0 0 11 20 0 0 20 0 19 0 28877665 10060525568 440447 33554432000 1073741824 1073778376 140736855642784 139899931999432 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29838/tid=29860] ppid=29835 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29838/task/29860/stat : 29860 (java) S 29835 29838 28285 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28877685 10060525568 440447 33554432000 1073741824 1073778376 140736855642784 139899927786536 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1448.02
Current children cumulated vsize (KiB) 9824732

[startup+725.601 s]
/proc/loadavg: 4.45 4.21 4.05 4/216 29911
/proc/meminfo: memFree=26362024/32872528 swapFree=1534436/1655032
[pid=29838] ppid=29835 vsize=9824732 CPUtime=1448.82 cores=1,3,5,7
/proc/29838/stat : 29838 (java) S 29835 29838 28285 0 -1 4202496 38148 0 1 0 144714 168 0 0 20 0 19 0 28877659 10060525568 440447 33554432000 1073741824 1073778376 140736855642784 140736855633920 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29838/statm: 2456183 440447 2294 9 0 2446860 0
[pid=29838/tid=29840] ppid=29835 vsize=9824732 CPUtime=3 cores=1,3,5,7
/proc/29838/task/29840/stat : 29840 (java) R 29835 29838 28285 0 -1 4202560 2426 0 1 0 297 3 0 0 20 0 19 0 28877660 10060525568 440447 33554432000 1073741824 1073778376 140736855642784 139900115708464 139899986778032 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=29838/tid=29841] ppid=29835 vsize=9824732 CPUtime=1.87 cores=1,3,5,7
/proc/29838/task/29841/stat : 29841 (java) S 29835 29838 28285 0 -1 4202560 367 0 0 0 178 9 0 0 20 0 19 0 28877661 10060525568 440447 33554432000 1073741824 1073778376 140736855642784 139899958933800 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29838/tid=29842] ppid=29835 vsize=9824732 CPUtime=1.98 cores=1,3,5,7
/proc/29838/task/29842/stat : 29842 (java) S 29835 29838 28285 0 -1 4202560 402 0 0 0 191 7 0 0 20 0 19 0 28877661 10060525568 440447 33554432000 1073741824 1073778376 140736855642784 139899957881000 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29838/tid=29843] ppid=29835 vsize=9824732 CPUtime=2.04 cores=1,3,5,7
/proc/29838/task/29843/stat : 29843 (java) S 29835 29838 28285 0 -1 4202560 451 0 0 0 196 8 0 0 20 0 19 0 28877661 10060525568 440447 33554432000 1073741824 1073778376 140736855642784 139899956828712 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29838/tid=29844] ppid=29835 vsize=9824732 CPUtime=2.17 cores=1,3,5,7
/proc/29838/task/29844/stat : 29844 (java) S 29835 29838 28285 0 -1 4202560 464 0 0 0 209 8 0 0 20 0 19 0 28877661 10060525568 440447 33554432000 1073741824 1073778376 140736855642784 139899955775912 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29838/tid=29845] ppid=29835 vsize=9824732 CPUtime=1.99 cores=1,3,5,7
/proc/29838/task/29845/stat : 29845 (java) S 29835 29838 28285 0 -1 4202560 392 0 0 0 192 7 0 0 20 0 19 0 28877661 10060525568 440447 33554432000 1073741824 1073778376 140736855642784 139899954723624 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29838/tid=29846] ppid=29835 vsize=9824732 CPUtime=1.89 cores=1,3,5,7
/proc/29838/task/29846/stat : 29846 (java) S 29835 29838 28285 0 -1 4202560 425 0 0 0 181 8 0 0 20 0 19 0 28877661 10060525568 440447 33554432000 1073741824 1073778376 140736855642784 139899953670824 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29838/tid=29847] ppid=29835 vsize=9824732 CPUtime=1.77 cores=1,3,5,7
/proc/29838/task/29847/stat : 29847 (java) S 29835 29838 28285 0 -1 4202560 565 0 0 0 170 7 0 0 20 0 19 0 28877661 10060525568 440447 33554432000 1073741824 1073778376 140736855642784 139899952618536 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29838/tid=29848] ppid=29835 vsize=9824732 CPUtime=2.05 cores=1,3,5,7
/proc/29838/task/29848/stat : 29848 (java) S 29835 29838 28285 0 -1 4202560 459 0 0 0 196 9 0 0 20 0 19 0 28877661 10060525568 440447 33554432000 1073741824 1073778376 140736855642784 139899951565736 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29838/tid=29849] ppid=29835 vsize=9824732 CPUtime=2.21 cores=1,3,5,7
/proc/29838/task/29849/stat : 29849 (java) S 29835 29838 28285 0 -1 4202560 1461 0 0 0 201 20 0 0 20 0 19 0 28877662 10060525568 440447 33554432000 1073741824 1073778376 140736855642784 139899939367144 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29838/tid=29850] ppid=29835 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29838/task/29850/stat : 29850 (java) S 29835 29838 28285 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 28877662 10060525568 440447 33554432000 1073741824 1073778376 140736855642784 139899938313208 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29838/tid=29851] ppid=29835 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29838/task/29851/stat : 29851 (java) S 29835 29838 28285 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 28877662 10060525568 440447 33554432000 1073741824 1073778376 140736855642784 139899937260808 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29838/tid=29852] ppid=29835 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29838/task/29852/stat : 29852 (java) S 29835 29838 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28877664 10060525568 440447 33554432000 1073741824 1073778376 140736855642784 139899936209296 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29838/tid=29853] ppid=29835 vsize=9824732 CPUtime=1.44 cores=1,3,5,7
/proc/29838/task/29853/stat : 29853 (java) S 29835 29838 28285 0 -1 4202560 12695 0 0 0 142 2 0 0 20 0 19 0 28877664 10060525568 440447 33554432000 1073741824 1073778376 140736855642784 139899935156920 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29838/tid=29854] ppid=29835 vsize=9824732 CPUtime=1.92 cores=1,3,5,7
/proc/29838/task/29854/stat : 29854 (java) S 29835 29838 28285 0 -1 4202560 14790 0 0 0 190 2 0 0 20 0 19 0 28877665 10060525568 440447 33554432000 1073741824 1073778376 140736855642784 139899934104120 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29838/tid=29855] ppid=29835 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29838/task/29855/stat : 29855 (java) S 29835 29838 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28877665 10060525568 440447 33554432000 1073741824 1073778376 140736855642784 139899933052024 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29838/tid=29856] ppid=29835 vsize=9824732 CPUtime=0.31 cores=1,3,5,7
/proc/29838/task/29856/stat : 29856 (java) S 29835 29838 28285 0 -1 4202560 43 0 0 0 11 20 0 0 20 0 19 0 28877665 10060525568 440447 33554432000 1073741824 1073778376 140736855642784 139899931999432 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29838/tid=29860] ppid=29835 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29838/task/29860/stat : 29860 (java) S 29835 29838 28285 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28877685 10060525568 440447 33554432000 1073741824 1073778376 140736855642784 139899927786536 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1448.82
Current children cumulated vsize (KiB) 9824732

[startup+725.801 s]
/proc/loadavg: 4.45 4.21 4.05 4/216 29911
/proc/meminfo: memFree=26362024/32872528 swapFree=1534436/1655032
[pid=29838] ppid=29835 vsize=9824732 CPUtime=1449.01 cores=1,3,5,7
/proc/29838/stat : 29838 (java) S 29835 29838 28285 0 -1 4202496 38148 0 1 0 144733 168 0 0 20 0 19 0 28877659 10060525568 440447 33554432000 1073741824 1073778376 140736855642784 140736855633920 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29838/statm: 2456183 440447 2294 9 0 2446860 0
[pid=29838/tid=29840] ppid=29835 vsize=9824732 CPUtime=3.2 cores=1,3,5,7
/proc/29838/task/29840/stat : 29840 (java) R 29835 29838 28285 0 -1 4202560 2426 0 1 0 317 3 0 0 20 0 19 0 28877660 10060525568 440447 33554432000 1073741824 1073778376 140736855642784 139900115708464 139899986778050 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=29838/tid=29841] ppid=29835 vsize=9824732 CPUtime=1.87 cores=1,3,5,7
/proc/29838/task/29841/stat : 29841 (java) S 29835 29838 28285 0 -1 4202560 367 0 0 0 178 9 0 0 20 0 19 0 28877661 10060525568 440447 33554432000 1073741824 1073778376 140736855642784 139899958933800 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29838/tid=29842] ppid=29835 vsize=9824732 CPUtime=1.98 cores=1,3,5,7
/proc/29838/task/29842/stat : 29842 (java) S 29835 29838 28285 0 -1 4202560 402 0 0 0 191 7 0 0 20 0 19 0 28877661 10060525568 440447 33554432000 1073741824 1073778376 140736855642784 139899957881000 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29838/tid=29843] ppid=29835 vsize=9824732 CPUtime=2.04 cores=1,3,5,7
/proc/29838/task/29843/stat : 29843 (java) S 29835 29838 28285 0 -1 4202560 451 0 0 0 196 8 0 0 20 0 19 0 28877661 10060525568 440447 33554432000 1073741824 1073778376 140736855642784 139899956828712 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29838/tid=29844] ppid=29835 vsize=9824732 CPUtime=2.17 cores=1,3,5,7
/proc/29838/task/29844/stat : 29844 (java) S 29835 29838 28285 0 -1 4202560 464 0 0 0 209 8 0 0 20 0 19 0 28877661 10060525568 440447 33554432000 1073741824 1073778376 140736855642784 139899955775912 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29838/tid=29845] ppid=29835 vsize=9824732 CPUtime=1.99 cores=1,3,5,7
/proc/29838/task/29845/stat : 29845 (java) S 29835 29838 28285 0 -1 4202560 392 0 0 0 192 7 0 0 20 0 19 0 28877661 10060525568 440447 33554432000 1073741824 1073778376 140736855642784 139899954723624 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29838/tid=29846] ppid=29835 vsize=9824732 CPUtime=1.89 cores=1,3,5,7
/proc/29838/task/29846/stat : 29846 (java) S 29835 29838 28285 0 -1 4202560 425 0 0 0 181 8 0 0 20 0 19 0 28877661 10060525568 440447 33554432000 1073741824 1073778376 140736855642784 139899953670824 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29838/tid=29847] ppid=29835 vsize=9824732 CPUtime=1.77 cores=1,3,5,7
/proc/29838/task/29847/stat : 29847 (java) S 29835 29838 28285 0 -1 4202560 565 0 0 0 170 7 0 0 20 0 19 0 28877661 10060525568 440447 33554432000 1073741824 1073778376 140736855642784 139899952618536 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29838/tid=29848] ppid=29835 vsize=9824732 CPUtime=2.05 cores=1,3,5,7
/proc/29838/task/29848/stat : 29848 (java) S 29835 29838 28285 0 -1 4202560 459 0 0 0 196 9 0 0 20 0 19 0 28877661 10060525568 440447 33554432000 1073741824 1073778376 140736855642784 139899951565736 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29838/tid=29849] ppid=29835 vsize=9824732 CPUtime=2.21 cores=1,3,5,7
/proc/29838/task/29849/stat : 29849 (java) S 29835 29838 28285 0 -1 4202560 1461 0 0 0 201 20 0 0 20 0 19 0 28877662 10060525568 440447 33554432000 1073741824 1073778376 140736855642784 139899939367144 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29838/tid=29850] ppid=29835 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29838/task/29850/stat : 29850 (java) S 29835 29838 28285 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 28877662 10060525568 440447 33554432000 1073741824 1073778376 140736855642784 139899938313208 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29838/tid=29851] ppid=29835 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29838/task/29851/stat : 29851 (java) S 29835 29838 28285 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 28877662 10060525568 440447 33554432000 1073741824 1073778376 140736855642784 139899937260808 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29838/tid=29852] ppid=29835 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29838/task/29852/stat : 29852 (java) S 29835 29838 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28877664 10060525568 440447 33554432000 1073741824 1073778376 140736855642784 139899936209296 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29838/tid=29853] ppid=29835 vsize=9824732 CPUtime=1.44 cores=1,3,5,7
/proc/29838/task/29853/stat : 29853 (java) S 29835 29838 28285 0 -1 4202560 12695 0 0 0 142 2 0 0 20 0 19 0 28877664 10060525568 440447 33554432000 1073741824 1073778376 140736855642784 139899935156920 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29838/tid=29854] ppid=29835 vsize=9824732 CPUtime=1.92 cores=1,3,5,7
/proc/29838/task/29854/stat : 29854 (java) S 29835 29838 28285 0 -1 4202560 14790 0 0 0 190 2 0 0 20 0 19 0 28877665 10060525568 440447 33554432000 1073741824 1073778376 140736855642784 139899934104120 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29838/tid=29855] ppid=29835 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29838/task/29855/stat : 29855 (java) S 29835 29838 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28877665 10060525568 440447 33554432000 1073741824 1073778376 140736855642784 139899933052024 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29838/tid=29856] ppid=29835 vsize=9824732 CPUtime=0.31 cores=1,3,5,7
/proc/29838/task/29856/stat : 29856 (java) S 29835 29838 28285 0 -1 4202560 43 0 0 0 11 20 0 0 20 0 19 0 28877665 10060525568 440447 33554432000 1073741824 1073778376 140736855642784 139899931999432 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29838/tid=29860] ppid=29835 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29838/task/29860/stat : 29860 (java) S 29835 29838 28285 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28877685 10060525568 440447 33554432000 1073741824 1073778376 140736855642784 139899927786536 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1449.01
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): 2.56995
#  lost CPU user time (s): 2.81999
#  lost CPU system time (s): -0.25

Real time (s): 725.824
CPU time (s): 1451.92
CPU user time (s): 1450.24
CPU system time (s): 1.68271
CPU usage (%): 200.038
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1447.42
system time used= 1.93271
maximum resident set size= 2845744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38159
page faults= 1
swaps= 0
block input operations= 0
block output operations= 808
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24360
involuntary context switches= 37609

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.2272 second user time and 6.35803 second system time

The end

Launcher Data 

Begin job on node122 at 2016-06-18 18:44:52
IDJOB=4106065
IDBENCH=47912
IDSOLVER=2543
FILE ID=node122/4106065-1466268292
RUNJOBID= node122-1466264503-28302
PBS_JOBID= 19918220
Free space on /tmp= 71744 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=307-P1=59-P2=149-P3=337-P4=409-P5=457-P6=79-P7=53-P8=347-P9=487-B.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106065-1466268292/watcher-4106065-1466268292 -o /tmp/evaluation-result-4106065-1466268292/solver-4106065-1466268292 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1466264503-28302 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4106065-1466268292.opb

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

MD5SUM BENCH= 54510d4a8cd791bae993d435a4bb6e03
RANDOM SEED=174597403

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.769
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.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        28837948 kB
Buffers:          141992 kB
Cached:           218524 kB
SwapCached:            0 kB
Active:          1349532 kB
Inactive:         264732 kB
Active(anon):    1246516 kB
Inactive(anon):     9916 kB
Active(file):     103016 kB
Inactive(file):   254816 kB
Unevictable:     1655032 kB
Mlocked:         1534436 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              1400 kB
Writeback:             0 kB
AnonPages:       2777636 kB
Mapped:            21152 kB
Shmem:               204 kB
Slab:             609980 kB
SReclaimable:      53740 kB
SUnreclaim:       556240 kB
KernelStack:        1808 kB
PageTables:         9868 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3855452 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1191936 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 node122 at 2016-06-18 18:56:58