Trace number 4081720

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 PB16SAT (TO)-13 1800.8 897.454

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_100_25_5.opb
MD5SUM1a8c058c181490cb899ec7074b22bfb3
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-13
Best CPU time to get the best result obtained on this benchmark1800.01
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -16
Optimality of the best value was proved NO
Number of variables200
Total number of constraints301
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints201
Minimum length of a constraint2
Maximum length of a constraint200
Number of terms in the objective function 100
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 100
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)6124
Sum of products size (including duplicates)12248
Number of different products3062
Sum of products size6124

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.09/0.10	c version PB16.v20160501
0.09/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.09/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.09/0.10	c java.vm.version	19.1-b02
0.09/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.09/0.10	c sun.arch.data.model	64
0.09/0.10	c java.version		1.6.0_24
0.09/0.10	c os.name		Linux
0.09/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.09/0.10	c os.arch		amd64
0.09/0.10	c Free memory 		501472288
0.09/0.10	c Max memory 		7480803328
0.09/0.10	c Total memory 		504102912
0.09/0.10	c Number of processors 	8
0.09/0.13	c Pseudo Boolean Optimization by upper bound
0.09/0.13	c ManyCore solver with 2 solvers running in parallel
0.09/0.13	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.09/0.13	c --- Begin Solver configuration ---
0.09/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.09/0.13	c Learn all clauses as in MiniSAT
0.09/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.13	c Expensive reason simplification
0.09/0.13	c Glucose 2.1 dynamic restart strategy
0.09/0.13	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.13	c timeout=2147483s
0.09/0.13	c DB Simplification allowed=false
0.09/0.13	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.09/0.13	c --- End Solver configuration ---
0.09/0.13	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.09/0.13	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.13	c --- Begin Solver configuration ---
0.09/0.13	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.09/0.13	c Learn all clauses as in MiniSAT
0.09/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.13	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.09/0.13	c No reason simplification
0.09/0.13	c Armin Biere (Picosat) restarts strategy
0.09/0.13	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.13	c timeout=2147483s
0.09/0.13	c DB Simplification allowed=false
0.09/0.13	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.09/0.13	c --- End Solver configuration ---
0.09/0.13	c solving HOME/instance-4081720-1465257150.opb
0.09/0.13	c reading problem ... 
0.09/0.14	c  objective function found
0.66/0.49	c ... done. Wall clock time 0.355s.
0.66/0.49	c declared #vars     200
0.66/0.49	c internal #vars     3262
0.66/0.49	c #constraints  6426
0.66/0.49	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.66/0.49	c constraints type 
0.66/0.49	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3062
0.66/0.49	c org.sat4j.minisat.constraints.card.MinWatchCard => 202
0.66/0.49	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 100
0.66/0.49	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3062
0.66/0.49	c 6426 constraints processed.
0.66/0.49	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.66/0.49	c constraints type 
0.66/0.49	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 100
0.66/0.49	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3062
0.66/0.49	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 202
0.66/0.49	c org.sat4j.pb.constraints.pb.MaxWatchPb => 3062
0.66/0.49	c 6426 constraints processed.
0.66/0.49	c objective function length is 100 literals
2.55/0.91	c And the winner is solver1
2.55/0.99	c SATISFIABLE
2.55/0.99	c OPTIMIZING...
2.55/0.99	c Got one! Elapsed wall clock time (in seconds):0.859
2.55/0.99	o -4
2.71/1.04	c And the winner is solver1
2.88/1.49	c Got one! Elapsed wall clock time (in seconds):1.361
2.88/1.49	o -7
2.88/1.54	c And the winner is solver0
3.03/1.99	c Got one! Elapsed wall clock time (in seconds):1.862
3.03/1.99	o -8
3.81/2.23	c And the winner is solver1
4.25/2.50	c Got one! Elapsed wall clock time (in seconds):2.363
4.25/2.50	o -9
5.01/2.89	c And the winner is solver1
5.24/3.00	c Got one! Elapsed wall clock time (in seconds):2.864
5.24/3.00	o -10
6.17/3.44	c cleaning 2960 clauses out of 5920 with flag 7680/5920
7.48/4.03	c And the winner is solver1
7.57/4.50	c Got one! Elapsed wall clock time (in seconds):4.365
7.57/4.50	o -11
8.26/4.89	c cleaning 4010 clauses out of 8020 with flag 8818/10980
10.96/5.93	c cleaning 5000 clauses out of 9999 with flag 34488/16969
13.77/7.06	c cleaning 5994 clauses out of 11992 with flag 66379/23962
15.86/8.08	c cleaning 6999 clauses out of 13997 with flag 95644/31961
18.45/9.37	c cleaning 7999 clauses out of 15998 with flag 130954/40961
21.73/10.96	c cleaning 9001 clauses out of 18001 with flag 171530/50963
24.94/12.50	c cleaning 9998 clauses out of 20005 with flag 202765/61968
27.02/13.53	c And the winner is solver1
27.09/14.00	c Got one! Elapsed wall clock time (in seconds):13.867
27.09/14.00	o -12
29.09/15.02	c cleaning 11377 clauses out of 22755 with flag 21980/74716
30.89/15.96	c cleaning 8687 clauses out of 17376 with flag 49429/80714
33.30/17.11	c cleaning 7824 clauses out of 15689 with flag 81449/87714
35.69/18.30	c cleaning 7926 clauses out of 15863 with flag 117743/95712
38.76/19.85	c cleaning 8464 clauses out of 16937 with flag 157681/104712
42.15/21.58	c cleaning 9241 clauses out of 18484 with flag 202996/114723
46.22/23.52	c cleaning 10094 clauses out of 20237 with flag 256779/125717
50.03/25.41	c cleaning 11052 clauses out of 22142 with flag 309662/137716
53.42/27.14	c cleaning 12043 clauses out of 24086 with flag 367109/150712
57.41/29.15	c cleaning 13022 clauses out of 26046 with flag 428426/164715
62.49/31.65	c cleaning 14000 clauses out of 28021 with flag 495463/179712
67.88/34.30	c cleaning 15011 clauses out of 30023 with flag 562500/195714
73.48/37.17	c cleaning 16009 clauses out of 32018 with flag 640309/212720
79.17/39.96	c cleaning 17002 clauses out of 34004 with flag 712780/230715
84.35/42.55	c cleaning 17987 clauses out of 36001 with flag 781177/249714
90.54/45.66	c cleaning 19001 clauses out of 38012 with flag 862788/269712
95.80/48.26	c cleaning 20006 clauses out of 40012 with flag 945381/290713
100.81/50.78	c cleaning 21004 clauses out of 42007 with flag 1045464/312714
106.40/53.51	c cleaning 22001 clauses out of 44001 with flag 1164506/335712
112.66/56.66	c cleaning 22990 clauses out of 46000 with flag 1297820/359712
119.05/59.88	c cleaning 24003 clauses out of 48010 with flag 1421740/384712
125.70/63.14	c cleaning 25003 clauses out of 50011 with flag 1553344/410716
133.71/67.12	c cleaning 25996 clauses out of 52006 with flag 1674601/437714
142.98/71.74	c cleaning 27002 clauses out of 54009 with flag 1791273/465713
150.98/75.75	c cleaning 28001 clauses out of 56006 with flag 1921230/494712
159.64/80.01	c cleaning 28989 clauses out of 58005 with flag 2066185/524712
160.84/80.68	c cleaning 0 clauses out of 6582 with flag 0/6583
170.21/85.15	c cleaning 29998 clauses out of 60023 with flag 2234450/555719
182.40/91.27	c cleaning 30998 clauses out of 62018 with flag 2376841/587712
193.08/96.57	c cleaning 31999 clauses out of 64020 with flag 2512804/620712
203.42/101.64	c cleaning 33005 clauses out of 66022 with flag 2662060/654713
214.21/107.01	c cleaning 34004 clauses out of 68016 with flag 2822299/689712
224.30/112.02	c And the winner is solver1
224.30/112.04	c Got one! Elapsed wall clock time (in seconds):111.909
224.30/112.04	o -13
227.50/113.66	c cleaning 36989 clauses out of 73977 with flag 26823/729677
229.97/114.85	c cleaning 21486 clauses out of 42986 with flag 57412/735675
232.37/116.06	c cleaning 14246 clauses out of 28504 with flag 93412/742679
234.77/117.29	c cleaning 11112 clauses out of 22255 with flag 133424/750676
237.17/118.42	c cleaning 10066 clauses out of 20141 with flag 181967/759674
239.57/119.69	c cleaning 10031 clauses out of 20087 with flag 235323/769686
243.01/121.31	c cleaning 10511 clauses out of 21044 with flag 291915/780674
246.01/122.89	c cleaning 11266 clauses out of 22536 with flag 355326/792677
249.41/124.52	c cleaning 12130 clauses out of 24267 with flag 431065/805674
253.81/126.73	c cleaning 13068 clauses out of 26137 with flag 503344/819674
259.43/129.53	c cleaning 14015 clauses out of 28069 with flag 581151/834674
265.03/132.36	c cleaning 15018 clauses out of 30054 with flag 658787/850674
270.26/134.99	c cleaning 15998 clauses out of 32041 with flag 748075/867679
276.46/138.06	c cleaning 16986 clauses out of 34039 with flag 844848/885675
283.11/141.34	c cleaning 18011 clauses out of 36053 with flag 945265/904675
290.33/144.94	c cleaning 19010 clauses out of 38042 with flag 1047598/924675
297.78/148.65	c cleaning 20012 clauses out of 40031 with flag 1159956/945674
303.96/151.80	c cleaning 21004 clauses out of 42019 with flag 1296747/967674
310.60/155.06	c cleaning 22002 clauses out of 44015 with flag 1439703/990674
319.64/159.55	c cleaning 23003 clauses out of 46013 with flag 1568824/1014674
328.07/163.78	c cleaning 23998 clauses out of 48010 with flag 1704181/1039674
336.91/168.10	c cleaning 24997 clauses out of 50012 with flag 1849215/1065674
345.14/172.21	c cleaning 25997 clauses out of 52015 with flag 2018259/1092674
354.59/176.93	c cleaning 27004 clauses out of 54021 with flag 2210439/1120677
364.63/181.90	c cleaning 28007 clauses out of 56014 with flag 2416169/1149674
374.67/186.98	c cleaning 29001 clauses out of 58007 with flag 2627606/1179674
385.12/192.15	c cleaning 30006 clauses out of 60012 with flag 2837959/1210680
397.55/198.33	c cleaning 30990 clauses out of 62000 with flag 3012950/1242674
410.28/204.64	c cleaning 31998 clauses out of 64010 with flag 3196368/1275674
421.94/210.48	c cleaning 32998 clauses out of 66012 with flag 3396423/1309674
434.99/216.98	c cleaning 33995 clauses out of 68014 with flag 3587755/1344674
448.39/223.97	c cleaning 35005 clauses out of 70019 with flag 3799354/1380674
463.69/231.58	c cleaning 35971 clauses out of 72016 with flag 4014352/1417676
477.77/238.51	c cleaning 37022 clauses out of 74044 with flag 4225387/1455675
493.40/246.36	c cleaning 37999 clauses out of 76021 with flag 4454374/1494674
508.84/254.04	c cleaning 38991 clauses out of 78023 with flag 4673196/1534675
524.93/262.06	c cleaning 40008 clauses out of 80031 with flag 4899322/1575674
541.26/270.16	c cleaning 41001 clauses out of 82023 with flag 5147607/1617674
559.11/279.03	c cleaning 42005 clauses out of 84022 with flag 5376437/1660674
575.15/287.07	c cleaning 43003 clauses out of 86017 with flag 5622959/1704674
593.59/296.26	c cleaning 44000 clauses out of 88014 with flag 5879249/1749674
610.90/304.89	c cleaning 44994 clauses out of 90014 with flag 6129807/1795674
631.53/315.16	c cleaning 46007 clauses out of 92020 with flag 6375513/1842674
655.62/327.10	c cleaning 47001 clauses out of 94013 with flag 6635181/1890674
677.52/338.05	c cleaning 47994 clauses out of 96012 with flag 6907794/1939674
701.46/349.94	c cleaning 49006 clauses out of 98019 with flag 7181401/1989675
722.71/360.60	c cleaning 50001 clauses out of 100016 with flag 7451074/2040678
746.21/372.26	c cleaning 50998 clauses out of 102011 with flag 7731871/2092674
762.50/380.37	c cleaning 0 clauses out of 12154 with flag 0/12155
768.36/383.20	c cleaning 51997 clauses out of 104013 with flag 8010249/2145674
791.68/394.90	c cleaning 52999 clauses out of 106019 with flag 8326964/2199677
814.63/406.61	c cleaning 54001 clauses out of 108021 with flag 8623078/2254678
838.54/418.50	c cleaning 55003 clauses out of 110016 with flag 8919143/2310674
860.85/429.65	c cleaning 56004 clauses out of 112014 with flag 9202992/2367675
888.01/443.19	c cleaning 56995 clauses out of 114010 with flag 9512061/2425675
913.91/456.04	c cleaning 57998 clauses out of 116014 with flag 9783428/2484674
945.08/471.59	c cleaning 59008 clauses out of 118017 with flag 10137220/2544675
973.97/485.98	c cleaning 60005 clauses out of 120009 with flag 10434244/2605675
1001.90/499.89	c cleaning 61002 clauses out of 122007 with flag 10746111/2667678
1031.60/514.61	c cleaning 61983 clauses out of 124001 with flag 11042643/2730674
1066.33/531.99	c cleaning 62996 clauses out of 126018 with flag 11370279/2794674
1098.72/548.09	c cleaning 64001 clauses out of 128022 with flag 11685460/2859674
1128.08/562.70	c cleaning 65005 clauses out of 130023 with flag 11992305/2925676
1160.01/578.54	c cleaning 66006 clauses out of 132017 with flag 12326120/2992675
1198.00/597.46	c cleaning 66987 clauses out of 134011 with flag 12702801/3060675
1237.92/617.37	c cleaning 67998 clauses out of 136024 with flag 13067139/3129675
1275.07/635.82	c cleaning 69002 clauses out of 138025 with flag 13421966/3199674
1313.49/654.96	c cleaning 69999 clauses out of 140023 with flag 13798227/3270674
1351.39/674.26	c cleaning 71008 clauses out of 142027 with flag 14134436/3342677
1386.76/691.88	c cleaning 71999 clauses out of 144016 with flag 14482208/3415674
1424.58/710.65	c cleaning 72999 clauses out of 146018 with flag 14871150/3489675
1464.76/730.68	c cleaning 73999 clauses out of 148018 with flag 15254002/3564674
1510.78/753.52	c cleaning 75006 clauses out of 150020 with flag 15662435/3640675
1552.97/774.53	c cleaning 75996 clauses out of 152013 with flag 16029479/3717674
1597.77/796.80	c cleaning 76986 clauses out of 154017 with flag 16397338/3795674
1640.63/818.10	c cleaning 78014 clauses out of 156032 with flag 16781329/3874675
1686.48/840.92	c cleaning 78992 clauses out of 158017 with flag 17213291/3954674
1734.30/864.72	c cleaning 80001 clauses out of 160025 with flag 17605625/4035674
1779.17/887.08	c cleaning 80994 clauses out of 162024 with flag 18014549/4117674
1800.10/897.40	c >>>>>>>>>> Solver number 0 (1 answers) <<<<<<<<<<<<<<<<<<
1800.10/897.40	c starts		: 37548
1800.10/897.40	c conflicts		: 4160914
1800.10/897.40	c decisions		: 17268968
1800.10/897.40	c propagations		: 248364612
1800.10/897.40	c inspects		: 10375707561
1800.10/897.40	c shortcuts		: 0
1800.10/897.40	c learnt literals	: 0
1800.10/897.40	c learnt binary clauses	: 7
1800.10/897.40	c learnt ternary clauses	: 22802
1800.10/897.40	c learnt constraints	: 4160914
1800.10/897.40	c ignored constraints	: 0
1800.10/897.40	c root simplifications	: 0
1800.10/897.40	c removed literals (reason simplification)	: 412288960
1800.10/897.40	c reason swapping (by a shorter reason)	: 0
1800.10/897.40	c Calls to reduceDB	: 117
1800.10/897.40	c Number of update (reduction) of LBD	: 1556722
1800.10/897.40	c Imported unit clauses	: 0
1800.10/897.40	c number of reductions to clauses (during analyze)	: 0
1800.10/897.40	c number of learned constraints concerned by reduction	: 0
1800.10/897.40	c number of learning phase by resolution	: 0
1800.10/897.40	c number of learning phase by cutting planes	: 0
1800.10/897.40	c speed (assignments/second)	: 316242.6094496671
1800.10/897.40	c non guided choices	0
1800.10/897.43	c learnt constraints type 
1800.10/897.43	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 7
1800.10/897.43	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 124263
1800.10/897.43	c >>>>>>>>>> Solver number 1 (7 answers) <<<<<<<<<<<<<<<<<<
1800.10/897.43	c starts		: 51
1800.10/897.43	c conflicts		: 16480
1800.10/897.43	c decisions		: 80710
1800.10/897.43	c propagations		: 2471552
1800.10/897.43	c inspects		: 970942563
1800.10/897.43	c shortcuts		: 0
1800.10/897.43	c learnt literals	: 0
1800.10/897.43	c learnt binary clauses	: 0
1800.10/897.43	c learnt ternary clauses	: 0
1800.10/897.43	c learnt constraints	: 16478
1800.10/897.43	c ignored constraints	: 0
1800.10/897.43	c root simplifications	: 0
1800.10/897.43	c removed literals (reason simplification)	: 0
1800.10/897.43	c reason swapping (by a shorter reason)	: 0
1800.10/897.43	c Calls to reduceDB	: 2
1800.10/897.43	c Number of update (reduction) of LBD	: 0
1800.10/897.43	c Imported unit clauses	: 0
1800.10/897.43	c number of reductions to clauses (during analyze)	: 0
1800.10/897.43	c number of learned constraints concerned by reduction	: 0
1800.10/897.43	c number of learning phase by resolution	: 0
1800.10/897.43	c number of learning phase by cutting planes	: 0
1800.10/897.43	c speed (assignments/second)	: 2760.172162325755
1800.10/897.43	c non guided choices	9
1800.10/897.44	c learnt constraints type 
1800.10/897.44	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1800.10/897.44	c org.sat4j.pb.constraints.pb.MaxWatchPb => 16477
1800.10/897.44	s SATISFIABLE
1800.10/897.44	c Found 8 solution(s)
1800.10/897.44	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 
1800.10/897.44	c objective function=-13
1800.10/897.44	c Total wall clock time (in seconds): 897.306

Verifier Data 

OK	-13

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-4081720-1465257150/watcher-4081720-1465257150 -o /tmp/evaluation-result-4081720-1465257150/solver-4081720-1465257150 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1465253566-15534 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081720-1465257150.opb 

pid=16445
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: 4.39 4.32 4.21 4/197 16448
/proc/meminfo: memFree=28134948/32872528 swapFree=15784/1434320
[pid=16448] ppid=16445 vsize=5632 CPUtime=0 cores=0,2,4,6
/proc/16448/stat : 16448 (java) R 16445 16448 15518 0 -1 4202496 385 0 0 0 0 0 0 0 20 0 1 0 107648206 5767168 55 33554432000 1073741824 1073778376 140734275750704 140734275747832 214360485159 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/16448/statm: 2303 59 47 9 0 30 0

[startup+0.100061 s]
/proc/loadavg: 4.39 4.32 4.21 4/197 16448
/proc/meminfo: memFree=28134948/32872528 swapFree=15784/1434320
[pid=16448] ppid=16445 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/16448/stat : 16448 (java) S 16445 16448 15518 0 -1 4202496 4308 0 1 0 8 1 0 0 20 0 18 0 107648206 9787879424 5426 33554432000 1073741824 1073778376 140734275750704 140734275741840 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16448/statm: 2389619 5433 2097 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.20029 s]
/proc/loadavg: 4.39 4.32 4.21 4/197 16448
/proc/meminfo: memFree=28134948/32872528 swapFree=15784/1434320
[pid=16448] ppid=16445 vsize=9558476 CPUtime=0.21 cores=0,2,4,6
/proc/16448/stat : 16448 (java) S 16445 16448 15518 0 -1 4202496 4551 0 1 0 20 1 0 0 20 0 18 0 107648206 9787879424 7180 33554432000 1073741824 1073778376 140734275750704 140734275741840 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16448/statm: 2389619 7180 2177 9 0 2380296 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 9558476

[startup+0.300289 s]
/proc/loadavg: 4.39 4.32 4.21 4/197 16448
/proc/meminfo: memFree=28134948/32872528 swapFree=15784/1434320
[pid=16448] ppid=16445 vsize=9558476 CPUtime=0.42 cores=0,2,4,6
/proc/16448/stat : 16448 (java) S 16445 16448 15518 0 -1 4202496 5592 0 1 0 41 1 0 0 20 0 18 0 107648206 9787879424 8515 33554432000 1073741824 1073778376 140734275750704 140734275741840 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16448/statm: 2389619 8515 2225 9 0 2380296 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 9558476

[startup+0.700189 s]
/proc/loadavg: 4.39 4.32 4.21 4/197 16448
/proc/meminfo: memFree=28134948/32872528 swapFree=15784/1434320
[pid=16448] ppid=16445 vsize=9824732 CPUtime=1.75 cores=0,2,4,6
/proc/16448/stat : 16448 (java) S 16445 16448 15518 0 -1 4202496 20273 0 1 0 171 4 0 0 20 0 22 0 107648206 10060525568 24401 33554432000 1073741824 1073778376 140734275750704 140734275741840 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16448/statm: 2456183 24401 2257 9 0 2446860 0
Current children cumulated CPU time (s) 1.75
Current children cumulated vsize (KiB) 9824732

[startup+1.50081 s]
/proc/loadavg: 4.39 4.32 4.21 3/216 16473
/proc/meminfo: memFree=28021036/32872528 swapFree=15784/1434320
[pid=16448] ppid=16445 vsize=9824732 CPUtime=2.88 cores=0,2,4,6
/proc/16448/stat : 16448 (java) S 16445 16448 15518 0 -1 4202496 24124 0 1 0 280 8 0 0 20 0 21 0 107648206 10060525568 31533 33554432000 1073741824 1073778376 140734275750704 140734275741840 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16448/statm: 2456183 31533 2266 9 0 2446860 0
[pid=16448/tid=16450] ppid=16445 vsize=9824732 CPUtime=0.47 cores=0,2,4,6
/proc/16448/task/16450/stat : 16450 (java) S 16445 16448 15518 0 -1 4202560 2435 0 1 0 45 2 0 0 20 0 21 0 107648207 10060525568 31533 33554432000 1073741824 1073778376 140734275750704 139711217308536 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16448/tid=16451] ppid=16445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16448/task/16451/stat : 16451 (java) S 16445 16448 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 107648208 10060525568 31533 33554432000 1073741824 1073778376 140734275750704 139711195409448 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16448/tid=16452] ppid=16445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16448/task/16452/stat : 16452 (java) S 16445 16448 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 107648208 10060525568 31533 33554432000 1073741824 1073778376 140734275750704 139711194356648 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16448/tid=16453] ppid=16445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16448/task/16453/stat : 16453 (java) S 16445 16448 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 107648208 10060525568 31533 33554432000 1073741824 1073778376 140734275750704 139710991166248 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16448/tid=16454] ppid=16445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16448/task/16454/stat : 16454 (java) S 16445 16448 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 107648208 10060525568 31533 33554432000 1073741824 1073778376 140734275750704 139710990113448 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16448/tid=16455] ppid=16445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16448/task/16455/stat : 16455 (java) S 16445 16448 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 107648208 10060525568 31533 33554432000 1073741824 1073778376 140734275750704 139710989060648 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16448/tid=16456] ppid=16445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16448/task/16456/stat : 16456 (java) S 16445 16448 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 107648208 10060525568 31533 33554432000 1073741824 1073778376 140734275750704 139710988007848 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16448/tid=16457] ppid=16445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16448/task/16457/stat : 16457 (java) S 16445 16448 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 107648208 10060525568 31533 33554432000 1073741824 1073778376 140734275750704 139710986955048 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16448/tid=16458] ppid=16445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16448/task/16458/stat : 16458 (java) S 16445 16448 15518 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 107648208 10060525568 31533 33554432000 1073741824 1073778376 140734275750704 139710985902248 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16448/tid=16459] ppid=16445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16448/task/16459/stat : 16459 (java) S 16445 16448 15518 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 107648209 10060525568 31533 33554432000 1073741824 1073778376 140734275750704 139710973705192 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16448/tid=16460] ppid=16445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16448/task/16460/stat : 16460 (java) S 16445 16448 15518 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 21 0 107648210 10060525568 31533 33554432000 1073741824 1073778376 140734275750704 139710972651256 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16448/tid=16461] ppid=16445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16448/task/16461/stat : 16461 (java) S 16445 16448 15518 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 107648210 10060525568 31533 33554432000 1073741824 1073778376 140734275750704 139710971598344 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16448/tid=16462] ppid=16445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16448/task/16462/stat : 16462 (java) S 16445 16448 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 107648212 10060525568 31533 33554432000 1073741824 1073778376 140734275750704 139710970546832 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16448/tid=16463] ppid=16445 vsize=9824732 CPUtime=0.71 cores=0,2,4,6
/proc/16448/task/16463/stat : 16463 (java) R 16445 16448 15518 0 -1 4202560 8657 0 0 0 70 1 0 0 20 0 21 0 107648212 10060525568 31533 33554432000 1073741824 1073778376 140734275750704 139710969493784 139711220832805 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=16448/tid=16464] ppid=16445 vsize=9824732 CPUtime=0.74 cores=0,2,4,6
/proc/16448/task/16464/stat : 16464 (java) R 16445 16448 15518 0 -1 4202560 11676 0 0 0 72 2 0 0 20 0 21 0 107648212 10060525568 31533 33554432000 1073741824 1073778376 140734275750704 139710968440984 139711220178592 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=16448/tid=16465] ppid=16445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16448/task/16465/stat : 16465 (java) S 16445 16448 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 107648212 10060525568 31533 33554432000 1073741824 1073778376 140734275750704 139710967388536 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16448/tid=16466] ppid=16445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16448/task/16466/stat : 16466 (java) S 16445 16448 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 107648212 10060525568 31533 33554432000 1073741824 1073778376 140734275750704 139710966335944 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16448/tid=16470] ppid=16445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16448/task/16470/stat : 16470 (java) S 16445 16448 15518 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 107648256 10060525568 31533 33554432000 1073741824 1073778376 140734275750704 139710962124072 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.88
Current children cumulated vsize (KiB) 9824732

[startup+3.10073 s]
/proc/loadavg: 4.39 4.32 4.21 7/219 16479
/proc/meminfo: memFree=27967624/32872528 swapFree=15784/1434320
[pid=16448] ppid=16445 vsize=9824732 CPUtime=5.51 cores=0,2,4,6
/proc/16448/stat : 16448 (java) S 16445 16448 15518 0 -1 4202496 30632 0 1 0 534 17 0 0 20 0 22 0 107648206 10060525568 55933 33554432000 1073741824 1073778376 140734275750704 140734275741840 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16448/statm: 2456183 55933 2286 9 0 2446860 0
[pid=16448/tid=16450] ppid=16445 vsize=9824732 CPUtime=0.47 cores=0,2,4,6
/proc/16448/task/16450/stat : 16450 (java) S 16445 16448 15518 0 -1 4202560 2435 0 1 0 45 2 0 0 20 0 22 0 107648207 10060525568 55933 33554432000 1073741824 1073778376 140734275750704 139711217308536 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16448/tid=16451] ppid=16445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16448/task/16451/stat : 16451 (java) S 16445 16448 15518 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 107648208 10060525568 55933 33554432000 1073741824 1073778376 140734275750704 139711195409448 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16448/tid=16452] ppid=16445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16448/task/16452/stat : 16452 (java) S 16445 16448 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107648208 10060525568 55933 33554432000 1073741824 1073778376 140734275750704 139711194356648 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16448/tid=16453] ppid=16445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16448/task/16453/stat : 16453 (java) S 16445 16448 15518 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 107648208 10060525568 55933 33554432000 1073741824 1073778376 140734275750704 139710991166248 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16448/tid=16454] ppid=16445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16448/task/16454/stat : 16454 (java) S 16445 16448 15518 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 107648208 10060525568 55933 33554432000 1073741824 1073778376 140734275750704 139710990113448 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16448/tid=16455] ppid=16445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16448/task/16455/stat : 16455 (java) S 16445 16448 15518 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 107648208 10060525568 55933 33554432000 1073741824 1073778376 140734275750704 139710989060648 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16448/tid=16456] ppid=16445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16448/task/16456/stat : 16456 (java) S 16445 16448 15518 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 107648208 10060525568 55933 33554432000 1073741824 1073778376 140734275750704 139710988007848 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16448/tid=16457] ppid=16445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16448/task/16457/stat : 16457 (java) S 16445 16448 15518 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 107648208 10060525568 55933 33554432000 1073741824 1073778376 140734275750704 139710986955048 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16448/tid=16458] ppid=16445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16448/task/16458/stat : 16458 (java) S 16445 16448 15518 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 107648208 10060525568 55933 33554432000 1073741824 1073778376 140734275750704 139710985902248 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16448/tid=16459] ppid=16445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16448/task/16459/stat : 16459 (java) S 16445 16448 15518 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 22 0 107648209 10060525568 55933 33554432000 1073741824 1073778376 140734275750704 139710973705192 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16448/tid=16460] ppid=16445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16448/task/16460/stat : 16460 (java) S 16445 16448 15518 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107648210 10060525568 55933 33554432000 1073741824 1073778376 140734275750704 139710972651256 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16448/tid=16461] ppid=16445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16448/task/16461/stat : 16461 (java) S 16445 16448 15518 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 107648210 10060525568 55933 33554432000 1073741824 1073778376 140734275750704 139710971598344 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16448/tid=16462] ppid=16445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16448/task/16462/stat : 16462 (java) S 16445 16448 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107648212 10060525568 55933 33554432000 1073741824 1073778376 140734275750704 139710970546832 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16448/tid=16463] ppid=16445 vsize=9824732 CPUtime=1.28 cores=0,2,4,6
/proc/16448/task/16463/stat : 16463 (java) S 16445 16448 15518 0 -1 4202560 14739 0 0 0 126 2 0 0 20 0 22 0 107648212 10060525568 55933 33554432000 1073741824 1073778376 140734275750704 139710969493944 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16448/tid=16464] ppid=16445 vsize=9824732 CPUtime=1.23 cores=0,2,4,6
/proc/16448/task/16464/stat : 16464 (java) S 16445 16448 15518 0 -1 4202560 11914 0 0 0 121 2 0 0 20 0 22 0 107648212 10060525568 55933 33554432000 1073741824 1073778376 140734275750704 139710968441144 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16448/tid=16465] ppid=16445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16448/task/16465/stat : 16465 (java) S 16445 16448 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107648212 10060525568 55933 33554432000 1073741824 1073778376 140734275750704 139710967388536 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16448/tid=16466] ppid=16445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16448/task/16466/stat : 16466 (java) S 16445 16448 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107648212 10060525568 55933 33554432000 1073741824 1073778376 140734275750704 139710966335944 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16448/tid=16479] ppid=16445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16448/task/16479/stat : 16479 (java) S 16445 16448 15518 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107648406 10060525568 55933 33554432000 1073741824 1073778376 140734275750704 139710962123944 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 5.51
Current children cumulated vsize (KiB) 9824732

[startup+6.3009 s]
/proc/loadavg: 4.36 4.32 4.21 5/219 16488
/proc/meminfo: memFree=27741268/32872528 swapFree=15784/1434320
[pid=16448] ppid=16445 vsize=9824732 CPUtime=12.25 cores=0,2,4,6
/proc/16448/stat : 16448 (java) S 16445 16448 15518 0 -1 4202496 31443 0 1 0 1195 30 0 0 20 0 22 0 107648206 10060525568 123569 33554432000 1073741824 1073778376 140734275750704 140734275741840 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16448/statm: 2456183 123569 2294 9 0 2446860 0
[pid=16448/tid=16450] ppid=16445 vsize=9824732 CPUtime=0.47 cores=0,2,4,6
/proc/16448/task/16450/stat : 16450 (java) S 16445 16448 15518 0 -1 4202560 2437 0 1 0 45 2 0 0 20 0 22 0 107648207 10060525568 123569 33554432000 1073741824 1073778376 140734275750704 139711217308536 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16448/tid=16451] ppid=16445 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/16448/task/16451/stat : 16451 (java) S 16445 16448 15518 0 -1 4202560 82 0 0 0 5 1 0 0 20 0 22 0 107648208 10060525568 123569 33554432000 1073741824 1073778376 140734275750704 139711195409448 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16448/tid=16452] ppid=16445 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/16448/task/16452/stat : 16452 (java) S 16445 16448 15518 0 -1 4202560 123 0 0 0 4 2 0 0 20 0 22 0 107648208 10060525568 123569 33554432000 1073741824 1073778376 140734275750704 139711194356648 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16448/tid=16453] ppid=16445 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/16448/task/16453/stat : 16453 (java) S 16445 16448 15518 0 -1 4202560 101 0 0 0 4 1 0 0 20 0 22 0 107648208 10060525568 123569 33554432000 1073741824 1073778376 140734275750704 139710991166248 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16448/tid=16454] ppid=16445 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/16448/task/16454/stat : 16454 (java) S 16445 16448 15518 0 -1 4202560 19 0 0 0 3 0 0 0 20 0 22 0 107648208 10060525568 123569 33554432000 1073741824 1073778376 140734275750704 139710990113448 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16448/tid=16455] ppid=16445 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/16448/task/16455/stat : 16455 (java) S 16445 16448 15518 0 -1 4202560 61 0 0 0 2 0 0 0 20 0 22 0 107648208 10060525568 123569 33554432000 1073741824 1073778376 140734275750704 139710989060648 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16448/tid=16456] ppid=16445 vsize=9824732 CPUtime=0.07 cores=0,2,4,6
/proc/16448/task/16456/stat : 16456 (java) S 16445 16448 15518 0 -1 4202560 32 0 0 0 5 2 0 0 20 0 22 0 107648208 10060525568 123569 33554432000 1073741824 1073778376 140734275750704 139710988007848 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16448/tid=16457] ppid=16445 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/16448/task/16457/stat : 16457 (java) S 16445 16448 15518 0 -1 4202560 26 0 0 0 3 1 0 0 20 0 22 0 107648208 10060525568 123569 33554432000 1073741824 1073778376 140734275750704 139710986955048 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16448/tid=16458] ppid=16445 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/16448/task/16458/stat : 16458 (java) S 16445 16448 15518 0 -1 4202560 130 0 0 0 4 2 0 0 20 0 22 0 107648208 10060525568 123569 33554432000 1073741824 1073778376 140734275750704 139710985902248 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16448/tid=16459] ppid=16445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16448/task/16459/stat : 16459 (java) S 16445 16448 15518 0 -1 4202560 201 0 0 0 0 0 0 0 20 0 22 0 107648209 10060525568 123569 33554432000 1073741824 1073778376 140734275750704 139710973705192 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16448/tid=16460] ppid=16445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16448/task/16460/stat : 16460 (java) S 16445 16448 15518 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107648210 10060525568 123569 33554432000 1073741824 1073778376 140734275750704 139710972651256 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16448/tid=16461] ppid=16445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16448/task/16461/stat : 16461 (java) S 16445 16448 15518 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 107648210 10060525568 123569 33554432000 1073741824 1073778376 140734275750704 139710971598344 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16448/tid=16462] ppid=16445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16448/task/16462/stat : 16462 (java) S 16445 16448 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107648212 10060525568 123569 33554432000 1073741824 1073778376 140734275750704 139710970546832 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16448/tid=16463] ppid=16445 vsize=9824732 CPUtime=1.47 cores=0,2,4,6
/proc/16448/task/16463/stat : 16463 (java) R 16445 16448 15518 0 -1 4202560 14761 0 0 0 145 2 0 0 20 0 22 0 107648212 10060525568 123569 33554432000 1073741824 1073778376 140734275750704 139710969479616 139711223768156 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=16448/tid=16464] ppid=16445 vsize=9824732 CPUtime=2.14 cores=0,2,4,6
/proc/16448/task/16464/stat : 16464 (java) R 16445 16448 15518 0 -1 4202560 11949 0 0 0 212 2 0 0 20 0 22 0 107648212 10060525568 123569 33554432000 1073741824 1073778376 140734275750704 139710968441144 139711224120832 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=16448/tid=16465] ppid=16445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16448/task/16465/stat : 16465 (java) S 16445 16448 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107648212 10060525568 123569 33554432000 1073741824 1073778376 140734275750704 139710967388536 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16448/tid=16466] ppid=16445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16448/task/16466/stat : 16466 (java) S 16445 16448 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107648212 10060525568 123569 33554432000 1073741824 1073778376 140734275750704 139710966335944 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16448/tid=16479] ppid=16445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16448/task/16479/stat : 16479 (java) S 16445 16448 15518 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107648406 10060525568 123569 33554432000 1073741824 1073778376 140734275750704 139710962123944 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16448/tid=16486] ppid=16445 vsize=9824732 CPUtime=1.7 cores=0,2,4,6
/proc/16448/task/16486/stat : 16486 (java) R 16445 16448 15518 0 -1 4202560 5 0 0 0 170 0 0 0 20 0 22 0 107648656 10060525568 123569 33554432000 1073741824 1073778376 140734275750704 139710964227016 139711075929771 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=16448/tid=16487] ppid=16445 vsize=9824732 CPUtime=1.7 cores=0,2,4,6

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


[startup+822.301 s]
/proc/loadavg: 4.19 4.26 4.22 6/219 16666
/proc/meminfo: memFree=24736152/32872528 swapFree=15784/1434320
[pid=16448] ppid=16445 vsize=9824732 CPUtime=1649.09 cores=0,2,4,6
/proc/16448/stat : 16448 (java) S 16445 16448 15518 0 -1 4202496 37152 0 1 0 164744 165 0 0 20 0 22 0 107648206 10060525568 585115 33554432000 1073741824 1073778376 140734275750704 140734275741840 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16448/statm: 2456183 585115 2302 9 0 2446860 0
[pid=16448/tid=16450] ppid=16445 vsize=9824732 CPUtime=0.51 cores=0,2,4,6
/proc/16448/task/16450/stat : 16450 (java) S 16445 16448 15518 0 -1 4202560 2444 0 1 0 48 3 0 0 20 0 22 0 107648207 10060525568 585115 33554432000 1073741824 1073778376 140734275750704 139711217308536 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16448/tid=16451] ppid=16445 vsize=9824732 CPUtime=2.21 cores=0,2,4,6
/proc/16448/task/16451/stat : 16451 (java) S 16445 16448 15518 0 -1 4202560 379 0 0 0 214 7 0 0 20 0 22 0 107648208 10060525568 585115 33554432000 1073741824 1073778376 140734275750704 139711195409448 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16448/tid=16452] ppid=16445 vsize=9824732 CPUtime=2.42 cores=0,2,4,6
/proc/16448/task/16452/stat : 16452 (java) S 16445 16448 15518 0 -1 4202560 485 0 0 0 233 9 0 0 20 0 22 0 107648208 10060525568 585115 33554432000 1073741824 1073778376 140734275750704 139711194356648 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16448/tid=16453] ppid=16445 vsize=9824732 CPUtime=2.39 cores=0,2,4,6
/proc/16448/task/16453/stat : 16453 (java) S 16445 16448 15518 0 -1 4202560 497 0 0 0 230 9 0 0 20 0 22 0 107648208 10060525568 585115 33554432000 1073741824 1073778376 140734275750704 139710991166248 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16448/tid=16454] ppid=16445 vsize=9824732 CPUtime=2.16 cores=0,2,4,6
/proc/16448/task/16454/stat : 16454 (java) S 16445 16448 15518 0 -1 4202560 300 0 0 0 207 9 0 0 20 0 22 0 107648208 10060525568 585115 33554432000 1073741824 1073778376 140734275750704 139710990113448 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16448/tid=16455] ppid=16445 vsize=9824732 CPUtime=2.32 cores=0,2,4,6
/proc/16448/task/16455/stat : 16455 (java) S 16445 16448 15518 0 -1 4202560 434 0 0 0 224 8 0 0 20 0 22 0 107648208 10060525568 585115 33554432000 1073741824 1073778376 140734275750704 139710989060648 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16448/tid=16456] ppid=16445 vsize=9824732 CPUtime=2.38 cores=0,2,4,6
/proc/16448/task/16456/stat : 16456 (java) S 16445 16448 15518 0 -1 4202560 394 0 0 0 226 12 0 0 20 0 22 0 107648208 10060525568 585115 33554432000 1073741824 1073778376 140734275750704 139710988007848 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16448/tid=16457] ppid=16445 vsize=9824732 CPUtime=2.37 cores=0,2,4,6
/proc/16448/task/16457/stat : 16457 (java) S 16445 16448 15518 0 -1 4202560 428 0 0 0 225 12 0 0 20 0 22 0 107648208 10060525568 585115 33554432000 1073741824 1073778376 140734275750704 139710986955048 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16448/tid=16458] ppid=16445 vsize=9824732 CPUtime=2.47 cores=0,2,4,6
/proc/16448/task/16458/stat : 16458 (java) S 16445 16448 15518 0 -1 4202560 527 0 0 0 238 9 0 0 20 0 22 0 107648208 10060525568 585115 33554432000 1073741824 1073778376 140734275750704 139710985902248 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16448/tid=16459] ppid=16445 vsize=9824732 CPUtime=2.43 cores=0,2,4,6
/proc/16448/task/16459/stat : 16459 (java) S 16445 16448 15518 0 -1 4202560 1577 0 0 0 227 16 0 0 20 0 22 0 107648209 10060525568 585115 33554432000 1073741824 1073778376 140734275750704 139710973705192 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16448/tid=16460] ppid=16445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16448/task/16460/stat : 16460 (java) S 16445 16448 15518 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107648210 10060525568 585115 33554432000 1073741824 1073778376 140734275750704 139710972651256 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16448/tid=16461] ppid=16445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16448/task/16461/stat : 16461 (java) S 16445 16448 15518 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 107648210 10060525568 585115 33554432000 1073741824 1073778376 140734275750704 139710971598344 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16448/tid=16462] ppid=16445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16448/task/16462/stat : 16462 (java) S 16445 16448 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107648212 10060525568 585115 33554432000 1073741824 1073778376 140734275750704 139710970546832 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16448/tid=16463] ppid=16445 vsize=9824732 CPUtime=1.65 cores=0,2,4,6
/proc/16448/task/16463/stat : 16463 (java) S 16445 16448 15518 0 -1 4202560 14766 0 0 0 163 2 0 0 20 0 22 0 107648212 10060525568 585115 33554432000 1073741824 1073778376 140734275750704 139710969493944 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16448/tid=16464] ppid=16445 vsize=9824732 CPUtime=2.54 cores=0,2,4,6
/proc/16448/task/16464/stat : 16464 (java) S 16445 16448 15518 0 -1 4202560 11959 0 0 0 252 2 0 0 20 0 22 0 107648212 10060525568 585115 33554432000 1073741824 1073778376 140734275750704 139710968441144 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16448/tid=16465] ppid=16445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16448/task/16465/stat : 16465 (java) S 16445 16448 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107648212 10060525568 585115 33554432000 1073741824 1073778376 140734275750704 139710967388536 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16448/tid=16466] ppid=16445 vsize=9824732 CPUtime=0.34 cores=0,2,4,6
/proc/16448/task/16466/stat : 16466 (java) S 16445 16448 15518 0 -1 4202560 46 0 0 0 15 19 0 0 20 0 22 0 107648212 10060525568 585115 33554432000 1073741824 1073778376 140734275750704 139710966335944 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16448/tid=16479] ppid=16445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16448/task/16479/stat : 16479 (java) S 16445 16448 15518 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107648406 10060525568 585115 33554432000 1073741824 1073778376 140734275750704 139710962123944 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16448/tid=16622] ppid=16445 vsize=9824732 CPUtime=703.25 cores=0,2,4,6
/proc/16448/task/16622/stat : 16622 (java) R 16445 16448 15518 0 -1 4202560 64 0 0 0 70313 12 0 0 20 0 22 0 107659410 10060525568 585115 33554432000 1073741824 1073778376 140734275750704 139710964227328 139711076082059 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=16448/tid=16623] ppid=16445 vsize=9824732 CPUtime=703.33 cores=0,2,4,6
/proc/16448/task/16623/stat : 16623 (java) R 16445 16448 15518 0 -1 4202560 125 0 0 0 70321 12 0 0 20 0 22 0 107659410 10060525568 585115 33554432000 1073741824 1073778376 140734275750704 139710965280544 139711075793333 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=16448/tid=16624] ppid=16445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16448/task/16624/stat : 16624 (java) S 16445 16448 15518 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107659410 10060525568 585115 33554432000 1073741824 1073778376 140734275750704 139710963176744 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1649.09
Current children cumulated vsize (KiB) 9824732

[startup+882.308 s]
/proc/loadavg: 4.17 4.24 4.22 5/219 16667
/proc/meminfo: memFree=24862492/32872528 swapFree=15784/1434320
[pid=16448] ppid=16445 vsize=9824732 CPUtime=1769.73 cores=0,2,4,6
/proc/16448/stat : 16448 (java) S 16445 16448 15518 0 -1 4202496 37308 0 1 0 176803 170 0 0 20 0 22 0 107648206 10060525568 577534 33554432000 1073741824 1073778376 140734275750704 140734275741840 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16448/statm: 2456183 577534 2302 9 0 2446860 0
[pid=16448/tid=16450] ppid=16445 vsize=9824732 CPUtime=0.51 cores=0,2,4,6
/proc/16448/task/16450/stat : 16450 (java) S 16445 16448 15518 0 -1 4202560 2444 0 1 0 48 3 0 0 20 0 22 0 107648207 10060525568 577534 33554432000 1073741824 1073778376 140734275750704 139711217308536 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16448/tid=16451] ppid=16445 vsize=9824732 CPUtime=2.39 cores=0,2,4,6
/proc/16448/task/16451/stat : 16451 (java) S 16445 16448 15518 0 -1 4202560 396 0 0 0 232 7 0 0 20 0 22 0 107648208 10060525568 577534 33554432000 1073741824 1073778376 140734275750704 139711195409448 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16448/tid=16452] ppid=16445 vsize=9824732 CPUtime=2.63 cores=0,2,4,6
/proc/16448/task/16452/stat : 16452 (java) S 16445 16448 15518 0 -1 4202560 487 0 0 0 254 9 0 0 20 0 22 0 107648208 10060525568 577534 33554432000 1073741824 1073778376 140734275750704 139711194356648 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16448/tid=16453] ppid=16445 vsize=9824732 CPUtime=2.57 cores=0,2,4,6
/proc/16448/task/16453/stat : 16453 (java) S 16445 16448 15518 0 -1 4202560 499 0 0 0 248 9 0 0 20 0 22 0 107648208 10060525568 577534 33554432000 1073741824 1073778376 140734275750704 139710991166248 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16448/tid=16454] ppid=16445 vsize=9824732 CPUtime=2.33 cores=0,2,4,6
/proc/16448/task/16454/stat : 16454 (java) S 16445 16448 15518 0 -1 4202560 345 0 0 0 224 9 0 0 20 0 22 0 107648208 10060525568 577534 33554432000 1073741824 1073778376 140734275750704 139710990113448 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16448/tid=16455] ppid=16445 vsize=9824732 CPUtime=2.48 cores=0,2,4,6
/proc/16448/task/16455/stat : 16455 (java) S 16445 16448 15518 0 -1 4202560 434 0 0 0 240 8 0 0 20 0 22 0 107648208 10060525568 577534 33554432000 1073741824 1073778376 140734275750704 139710989060648 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16448/tid=16456] ppid=16445 vsize=9824732 CPUtime=2.54 cores=0,2,4,6
/proc/16448/task/16456/stat : 16456 (java) S 16445 16448 15518 0 -1 4202560 441 0 0 0 242 12 0 0 20 0 22 0 107648208 10060525568 577534 33554432000 1073741824 1073778376 140734275750704 139710988007848 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16448/tid=16457] ppid=16445 vsize=9824732 CPUtime=2.52 cores=0,2,4,6
/proc/16448/task/16457/stat : 16457 (java) S 16445 16448 15518 0 -1 4202560 445 0 0 0 240 12 0 0 20 0 22 0 107648208 10060525568 577534 33554432000 1073741824 1073778376 140734275750704 139710986955048 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16448/tid=16458] ppid=16445 vsize=9824732 CPUtime=2.67 cores=0,2,4,6
/proc/16448/task/16458/stat : 16458 (java) S 16445 16448 15518 0 -1 4202560 533 0 0 0 257 10 0 0 20 0 22 0 107648208 10060525568 577534 33554432000 1073741824 1073778376 140734275750704 139710985902248 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16448/tid=16459] ppid=16445 vsize=9824732 CPUtime=2.45 cores=0,2,4,6
/proc/16448/task/16459/stat : 16459 (java) S 16445 16448 15518 0 -1 4202560 1581 0 0 0 228 17 0 0 20 0 22 0 107648209 10060525568 577534 33554432000 1073741824 1073778376 140734275750704 139710973705192 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16448/tid=16460] ppid=16445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16448/task/16460/stat : 16460 (java) S 16445 16448 15518 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107648210 10060525568 577534 33554432000 1073741824 1073778376 140734275750704 139710972651256 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16448/tid=16461] ppid=16445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16448/task/16461/stat : 16461 (java) S 16445 16448 15518 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 107648210 10060525568 577534 33554432000 1073741824 1073778376 140734275750704 139710971598344 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16448/tid=16462] ppid=16445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16448/task/16462/stat : 16462 (java) S 16445 16448 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107648212 10060525568 577534 33554432000 1073741824 1073778376 140734275750704 139710970546832 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16448/tid=16463] ppid=16445 vsize=9824732 CPUtime=1.65 cores=0,2,4,6
/proc/16448/task/16463/stat : 16463 (java) S 16445 16448 15518 0 -1 4202560 14766 0 0 0 163 2 0 0 20 0 22 0 107648212 10060525568 577534 33554432000 1073741824 1073778376 140734275750704 139710969493944 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16448/tid=16464] ppid=16445 vsize=9824732 CPUtime=2.54 cores=0,2,4,6
/proc/16448/task/16464/stat : 16464 (java) S 16445 16448 15518 0 -1 4202560 11959 0 0 0 252 2 0 0 20 0 22 0 107648212 10060525568 577534 33554432000 1073741824 1073778376 140734275750704 139710968441144 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16448/tid=16465] ppid=16445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16448/task/16465/stat : 16465 (java) S 16445 16448 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107648212 10060525568 577534 33554432000 1073741824 1073778376 140734275750704 139710967388536 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16448/tid=16466] ppid=16445 vsize=9824732 CPUtime=0.36 cores=0,2,4,6
/proc/16448/task/16466/stat : 16466 (java) S 16445 16448 15518 0 -1 4202560 50 0 0 0 16 20 0 0 20 0 22 0 107648212 10060525568 577534 33554432000 1073741824 1073778376 140734275750704 139710966335944 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16448/tid=16479] ppid=16445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16448/task/16479/stat : 16479 (java) S 16445 16448 15518 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107648406 10060525568 577534 33554432000 1073741824 1073778376 140734275750704 139710962123944 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16448/tid=16622] ppid=16445 vsize=9824732 CPUtime=762.86 cores=0,2,4,6
/proc/16448/task/16622/stat : 16622 (java) R 16445 16448 15518 0 -1 4202560 66 0 0 0 76273 13 0 0 20 0 22 0 107659410 10060525568 577534 33554432000 1073741824 1073778376 140734275750704 139710964227328 139711076082172 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=16448/tid=16623] ppid=16445 vsize=9824732 CPUtime=762.94 cores=0,2,4,6
/proc/16448/task/16623/stat : 16623 (java) R 16445 16448 15518 0 -1 4202560 135 0 0 0 76281 13 0 0 20 0 22 0 107659410 10060525568 577534 33554432000 1073741824 1073778376 140734275750704 139710965280368 139711075879651 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=16448/tid=16624] ppid=16445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16448/task/16624/stat : 16624 (java) S 16445 16448 15518 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107659410 10060525568 577534 33554432000 1073741824 1073778376 140734275750704 139710963176744 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1769.73
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+897.401 s]
/proc/loadavg: 4.13 4.23 4.21 5/219 16667
/proc/meminfo: memFree=24784296/32872528 swapFree=15784/1434320
[pid=16448] ppid=16445 vsize=9824732 CPUtime=1800.1 cores=0,2,4,6
/proc/16448/stat : 16448 (java) S 16445 16448 15518 0 -1 4202496 37339 0 1 0 179839 171 0 0 20 0 22 0 107648206 10060525568 578561 33554432000 1073741824 1073778376 140734275750704 140734275741840 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16448/statm: 2456183 578561 2302 9 0 2446860 0
[pid=16448/tid=16450] ppid=16445 vsize=9824732 CPUtime=0.51 cores=0,2,4,6
/proc/16448/task/16450/stat : 16450 (java) S 16445 16448 15518 0 -1 4202560 2444 0 1 0 48 3 0 0 20 0 22 0 107648207 10060525568 578561 33554432000 1073741824 1073778376 140734275750704 139711217308536 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16448/tid=16451] ppid=16445 vsize=9824732 CPUtime=2.41 cores=0,2,4,6
/proc/16448/task/16451/stat : 16451 (java) S 16445 16448 15518 0 -1 4202560 396 0 0 0 234 7 0 0 20 0 22 0 107648208 10060525568 578561 33554432000 1073741824 1073778376 140734275750704 139711195409448 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16448/tid=16452] ppid=16445 vsize=9824732 CPUtime=2.67 cores=0,2,4,6
/proc/16448/task/16452/stat : 16452 (java) S 16445 16448 15518 0 -1 4202560 496 0 0 0 258 9 0 0 20 0 22 0 107648208 10060525568 578561 33554432000 1073741824 1073778376 140734275750704 139711194356648 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16448/tid=16453] ppid=16445 vsize=9824732 CPUtime=2.64 cores=0,2,4,6
/proc/16448/task/16453/stat : 16453 (java) S 16445 16448 15518 0 -1 4202560 503 0 0 0 255 9 0 0 20 0 22 0 107648208 10060525568 578561 33554432000 1073741824 1073778376 140734275750704 139710991166248 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16448/tid=16454] ppid=16445 vsize=9824732 CPUtime=2.37 cores=0,2,4,6
/proc/16448/task/16454/stat : 16454 (java) S 16445 16448 15518 0 -1 4202560 348 0 0 0 228 9 0 0 20 0 22 0 107648208 10060525568 578561 33554432000 1073741824 1073778376 140734275750704 139710990113448 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16448/tid=16455] ppid=16445 vsize=9824732 CPUtime=2.51 cores=0,2,4,6
/proc/16448/task/16455/stat : 16455 (java) S 16445 16448 15518 0 -1 4202560 434 0 0 0 243 8 0 0 20 0 22 0 107648208 10060525568 578561 33554432000 1073741824 1073778376 140734275750704 139710989060648 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16448/tid=16456] ppid=16445 vsize=9824732 CPUtime=2.58 cores=0,2,4,6
/proc/16448/task/16456/stat : 16456 (java) S 16445 16448 15518 0 -1 4202560 444 0 0 0 246 12 0 0 20 0 22 0 107648208 10060525568 578561 33554432000 1073741824 1073778376 140734275750704 139710988007848 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16448/tid=16457] ppid=16445 vsize=9824732 CPUtime=2.59 cores=0,2,4,6
/proc/16448/task/16457/stat : 16457 (java) S 16445 16448 15518 0 -1 4202560 449 0 0 0 247 12 0 0 20 0 22 0 107648208 10060525568 578561 33554432000 1073741824 1073778376 140734275750704 139710986955048 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16448/tid=16458] ppid=16445 vsize=9824732 CPUtime=2.73 cores=0,2,4,6
/proc/16448/task/16458/stat : 16458 (java) S 16445 16448 15518 0 -1 4202560 538 0 0 0 263 10 0 0 20 0 22 0 107648208 10060525568 578561 33554432000 1073741824 1073778376 140734275750704 139710985902248 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16448/tid=16459] ppid=16445 vsize=9824732 CPUtime=2.45 cores=0,2,4,6
/proc/16448/task/16459/stat : 16459 (java) S 16445 16448 15518 0 -1 4202560 1581 0 0 0 228 17 0 0 20 0 22 0 107648209 10060525568 578561 33554432000 1073741824 1073778376 140734275750704 139710973705192 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16448/tid=16460] ppid=16445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16448/task/16460/stat : 16460 (java) S 16445 16448 15518 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107648210 10060525568 578561 33554432000 1073741824 1073778376 140734275750704 139710972651256 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16448/tid=16461] ppid=16445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16448/task/16461/stat : 16461 (java) S 16445 16448 15518 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 107648210 10060525568 578561 33554432000 1073741824 1073778376 140734275750704 139710971598344 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16448/tid=16462] ppid=16445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16448/task/16462/stat : 16462 (java) S 16445 16448 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107648212 10060525568 578561 33554432000 1073741824 1073778376 140734275750704 139710970546832 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16448/tid=16463] ppid=16445 vsize=9824732 CPUtime=1.65 cores=0,2,4,6
/proc/16448/task/16463/stat : 16463 (java) S 16445 16448 15518 0 -1 4202560 14766 0 0 0 163 2 0 0 20 0 22 0 107648212 10060525568 578561 33554432000 1073741824 1073778376 140734275750704 139710969493944 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16448/tid=16464] ppid=16445 vsize=9824732 CPUtime=2.54 cores=0,2,4,6
/proc/16448/task/16464/stat : 16464 (java) S 16445 16448 15518 0 -1 4202560 11959 0 0 0 252 2 0 0 20 0 22 0 107648212 10060525568 578561 33554432000 1073741824 1073778376 140734275750704 139710968441144 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16448/tid=16465] ppid=16445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16448/task/16465/stat : 16465 (java) S 16445 16448 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107648212 10060525568 578561 33554432000 1073741824 1073778376 140734275750704 139710967388536 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16448/tid=16466] ppid=16445 vsize=9824732 CPUtime=0.36 cores=0,2,4,6
/proc/16448/task/16466/stat : 16466 (java) S 16445 16448 15518 0 -1 4202560 50 0 0 0 16 20 0 0 20 0 22 0 107648212 10060525568 578561 33554432000 1073741824 1073778376 140734275750704 139710966335944 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16448/tid=16479] ppid=16445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16448/task/16479/stat : 16479 (java) S 16445 16448 15518 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107648406 10060525568 578561 33554432000 1073741824 1073778376 140734275750704 139710962123944 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16448/tid=16622] ppid=16445 vsize=9824732 CPUtime=777.86 cores=0,2,4,6
/proc/16448/task/16622/stat : 16622 (java) R 16445 16448 15518 0 -1 4202560 68 0 0 0 77773 13 0 0 20 0 22 0 107659410 10060525568 578561 33554432000 1073741824 1073778376 140734275750704 139710964228096 139711076082162 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=16448/tid=16623] ppid=16445 vsize=9824732 CPUtime=777.93 cores=0,2,4,6
/proc/16448/task/16623/stat : 16623 (java) R 16445 16448 15518 0 -1 4202560 136 0 0 0 77780 13 0 0 20 0 22 0 107659410 10060525568 578561 33554432000 1073741824 1073778376 140734275750704 139710965279472 139711075879671 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=16448/tid=16624] ppid=16445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16448/task/16624/stat : 16624 (java) S 16445 16448 15518 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107659410 10060525568 578561 33554432000 1073741824 1073778376 140734275750704 139710963176744 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 9824732

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

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

Child status: 143
Real time (s): 897.454
CPU time (s): 1800.8
CPU user time (s): 1798.65
CPU system time (s): 2.15567
CPU usage (%): 200.657
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.65
system time used= 2.15567
maximum resident set size= 2979864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37376
page faults= 1
swaps= 0
block input operations= 0
block output operations= 928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 28075
involuntary context switches= 45626

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.2722 second user time and 7.8848 second system time

The end

Launcher Data 

Begin job on node130 at 2016-06-07 01:52:30
IDJOB=4081720
IDBENCH=48237
IDSOLVER=2543
FILE ID=node130/4081720-1465257150
RUNJOBID= node130-1465253566-15534
PBS_JOBID= 19843263
Free space on /tmp= 71748 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_100_25_5.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4081720-1465257150/watcher-4081720-1465257150 -o /tmp/evaluation-result-4081720-1465257150/solver-4081720-1465257150 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1465253566-15534 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4081720-1465257150.opb

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

MD5SUM BENCH= 1a8c058c181490cb899ec7074b22bfb3
RANDOM SEED=1803662233

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

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.261
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.261
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.261
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:        28135700 kB
Buffers:           51976 kB
Cached:           112744 kB
SwapCached:         1748 kB
Active:          2493504 kB
Inactive:         100488 kB
Active(anon):    2430184 kB
Inactive(anon):     1200 kB
Active(file):      63320 kB
Inactive(file):    99288 kB
Unevictable:     1434320 kB
Mlocked:           15784 kB
SwapTotal:      67108856 kB
SwapFree:       67098356 kB
Dirty:               944 kB
Writeback:             0 kB
AnonPages:       3862416 kB
Mapped:            15360 kB
Shmem:                 0 kB
Slab:             568908 kB
SReclaimable:      12496 kB
SUnreclaim:       556412 kB
KernelStack:        1632 kB
PageTables:        12088 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    4153664 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3799040 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 node130 at 2016-06-07 02:07:27