Trace number 4119525

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)-2666 1800.07 917.145

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/
minlplib2-pb-0.1.0/opb/normalized-autocorr_bern25-25.opb
MD5SUMd41edbb8c3bdc22fe52bd96881b995e1
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-2666
Best CPU time to get the best result obtained on this benchmark1800.07
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables0
Total number of constraints0
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 constraints0
Minimum length of a constraint-1
Maximum length of a constraint0
Number of terms in the objective function 3677
Biggest coefficient in the objective function 926
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 187616
Number of bits of the sum of numbers in the objective function 18
Biggest number in a constraint 926
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 187616
Number of bits of the biggest sum of numbers18
Number of products (including duplicates)3652
Sum of products size (including duplicates)11734
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.12	c Pseudo Boolean Optimization by upper bound
0.09/0.12	c ManyCore solver with 2 solvers running in parallel
0.09/0.12	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.12	c Expensive reason simplification
0.09/0.12	c Glucose 2.1 dynamic restart strategy
0.09/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.09/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.09/0.12	c No reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-4119525-1467258304.opb
0.09/0.12	c reading problem ... 
0.09/0.12	c  objective function found
0.98/0.62	c ... done. Wall clock time 0.502s.
0.98/0.62	c declared #vars     25
0.98/0.62	c internal #vars     3677
0.98/0.62	c #constraints  7304
0.98/0.63	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.98/0.63	c constraints type 
0.98/0.63	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3652
0.98/0.63	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3652
0.98/0.63	c 7304 constraints processed.
0.98/0.63	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.98/0.63	c constraints type 
0.98/0.63	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3652
0.98/0.63	c org.sat4j.pb.constraints.pb.MaxWatchPb => 3652
0.98/0.63	c 7304 constraints processed.
0.98/0.63	c objective function length is 3677 literals
1.33/0.71	c And the winner is solver0
1.54/1.13	c SATISFIABLE
1.54/1.13	c OPTIMIZING...
1.54/1.13	c Got one! Elapsed wall clock time (in seconds):1.009
1.54/1.13	o 0
1.80/1.22	c And the winner is solver0
2.13/1.65	c Got one! Elapsed wall clock time (in seconds):1.53
2.13/1.65	o -276
2.13/1.67	c And the winner is solver0
2.27/2.17	c Got one! Elapsed wall clock time (in seconds):2.045
2.27/2.17	o -506
2.27/2.19	c And the winner is solver0
2.43/2.67	c Got one! Elapsed wall clock time (in seconds):2.554
2.43/2.67	o -855
2.43/2.69	c And the winner is solver0
2.54/3.18	c Got one! Elapsed wall clock time (in seconds):3.061
2.54/3.18	o -1016
2.54/3.20	c And the winner is solver0
2.63/3.69	c Got one! Elapsed wall clock time (in seconds):3.569
2.63/3.69	o -1126
2.64/3.70	c And the winner is solver0
2.64/4.19	c Got one! Elapsed wall clock time (in seconds):4.074
2.64/4.19	o -1450
2.65/4.22	c And the winner is solver0
2.71/4.70	c Got one! Elapsed wall clock time (in seconds):4.579
2.71/4.70	o -1662
2.71/4.72	c And the winner is solver0
2.75/5.20	c Got one! Elapsed wall clock time (in seconds):5.084
2.75/5.20	o -1676
2.75/5.22	c And the winner is solver0
2.80/5.71	c Got one! Elapsed wall clock time (in seconds):5.59
2.80/5.71	o -1923
2.80/5.75	c And the winner is solver0
2.92/6.22	c Got one! Elapsed wall clock time (in seconds):6.095
2.92/6.22	o -1939
2.92/6.23	c And the winner is solver0
2.98/6.72	c Got one! Elapsed wall clock time (in seconds):6.6
2.98/6.72	o -2010
2.98/6.79	c And the winner is solver0
3.20/7.23	c Got one! Elapsed wall clock time (in seconds):7.105
3.20/7.23	o -2075
3.20/7.25	c And the winner is solver0
3.24/7.73	c Got one! Elapsed wall clock time (in seconds):7.609
3.24/7.73	o -2107
3.24/7.75	c And the winner is solver0
3.29/8.23	c Got one! Elapsed wall clock time (in seconds):8.113
3.29/8.23	o -2213
3.41/8.33	c And the winner is solver0
3.65/8.74	c Got one! Elapsed wall clock time (in seconds):8.618
3.65/8.74	o -2233
3.78/8.81	c And the winner is solver0
3.95/9.24	c Got one! Elapsed wall clock time (in seconds):9.122
3.95/9.24	o -2237
4.09/9.32	c And the winner is solver0
4.16/9.75	c Got one! Elapsed wall clock time (in seconds):9.627
4.16/9.75	o -2242
4.25/9.80	c And the winner is solver0
4.29/10.25	c Got one! Elapsed wall clock time (in seconds):10.131
4.29/10.25	o -2248
4.29/10.27	c And the winner is solver0
4.31/10.76	c Got one! Elapsed wall clock time (in seconds):10.635
4.31/10.76	o -2256
4.31/10.77	c And the winner is solver0
4.34/11.26	c Got one! Elapsed wall clock time (in seconds):11.14
4.34/11.26	o -2258
4.41/11.36	c And the winner is solver0
4.68/11.76	c Got one! Elapsed wall clock time (in seconds):11.644
4.68/11.76	o -2268
4.74/11.81	c And the winner is solver0
4.78/12.27	c Got one! Elapsed wall clock time (in seconds):12.148
4.78/12.27	o -2269
5.03/12.41	c And the winner is solver0
5.13/12.77	c Got one! Elapsed wall clock time (in seconds):12.653
5.13/12.77	o -2275
6.25/13.28	c And the winner is solver0
6.43/13.38	c Got one! Elapsed wall clock time (in seconds):13.257
6.43/13.38	o -2278
6.74/13.57	c And the winner is solver0
6.92/13.88	c Got one! Elapsed wall clock time (in seconds):13.762
6.92/13.88	o -2297
6.94/13.95	c And the winner is solver0
7.11/14.39	c Got one! Elapsed wall clock time (in seconds):14.266
7.11/14.39	o -2313
7.13/14.43	c And the winner is solver0
7.27/14.89	c Got one! Elapsed wall clock time (in seconds):14.77
7.27/14.89	o -2316
7.28/14.91	c And the winner is solver0
7.32/15.40	c Got one! Elapsed wall clock time (in seconds):15.275
7.32/15.40	o -2329
7.34/15.42	c And the winner is solver0
7.48/15.90	c Got one! Elapsed wall clock time (in seconds):15.779
7.48/15.90	o -2335
7.48/15.99	c And the winner is solver0
7.72/16.40	c Got one! Elapsed wall clock time (in seconds):16.283
7.72/16.40	o -2338
7.72/16.45	c And the winner is solver0
7.89/16.91	c Got one! Elapsed wall clock time (in seconds):16.788
7.89/16.91	o -2349
8.06/17.03	c And the winner is solver0
8.14/17.41	c Got one! Elapsed wall clock time (in seconds):17.292
8.14/17.41	o -2366
8.14/17.45	c And the winner is solver0
8.30/17.92	c Got one! Elapsed wall clock time (in seconds):17.796
8.30/17.92	o -2367
9.62/18.59	c And the winner is solver0
9.94/18.92	c Got one! Elapsed wall clock time (in seconds):18.801
9.94/18.92	o -2372
12.41/20.13	c And the winner is solver0
12.56/20.43	c Got one! Elapsed wall clock time (in seconds):20.305
12.56/20.43	o -2391
13.32/20.86	c And the winner is solver0
13.51/20.93	c Got one! Elapsed wall clock time (in seconds):20.81
13.51/20.93	o -2403
14.84/21.70	c And the winner is solver0
15.08/21.94	c Got one! Elapsed wall clock time (in seconds):21.814
15.08/21.94	o -2437
16.24/22.58	c cleaning 4660 clauses out of 9319 with flag 2001/9319
20.16/24.41	c And the winner is solver0
20.28/24.54	c Got one! Elapsed wall clock time (in seconds):24.419
20.28/24.54	o -2439
20.81/24.81	c And the winner is solver0
20.92/25.04	c Got one! Elapsed wall clock time (in seconds):24.924
20.92/25.04	o -2445
21.43/25.37	c And the winner is solver0
21.59/25.55	c Got one! Elapsed wall clock time (in seconds):25.429
21.59/25.55	o -2471
21.68/25.63	c And the winner is solver0
21.85/26.05	c Got one! Elapsed wall clock time (in seconds):25.933
21.85/26.05	o -2477
21.93/26.11	c And the winner is solver0
21.99/26.56	c Got one! Elapsed wall clock time (in seconds):26.438
21.99/26.56	o -2478
21.99/26.58	c And the winner is solver0
22.04/27.06	c Got one! Elapsed wall clock time (in seconds):26.942
22.04/27.06	o -2481
22.04/27.08	c And the winner is solver0
22.10/27.57	c Got one! Elapsed wall clock time (in seconds):27.447
22.10/27.57	o -2486
22.17/27.67	c And the winner is solver0
22.39/28.07	c Got one! Elapsed wall clock time (in seconds):27.952
22.39/28.07	o -2495
24.67/29.28	c cleaning 5646 clauses out of 11291 with flag 4021/15951
28.28/31.08	c And the winner is solver0
28.55/31.23	c Got one! Elapsed wall clock time (in seconds):31.107
28.55/31.23	o -2512
30.95/32.42	c cleaning 5426 clauses out of 10853 with flag 4086/21159
38.08/35.91	c cleaning 5710 clauses out of 11426 with flag 16288/27158
46.37/40.07	c cleaning 6357 clauses out of 12717 with flag 30418/34159
46.99/40.31	c And the winner is solver0
47.00/40.74	c Got one! Elapsed wall clock time (in seconds):40.622
47.00/40.74	o -2534
52.50/43.57	c cleaning 5899 clauses out of 11805 with flag 10051/39604
55.73/45.16	c And the winner is solver0
55.87/45.25	c Got one! Elapsed wall clock time (in seconds):45.127
55.87/45.25	o -2538
59.43/47.05	c cleaning 5887 clauses out of 11780 with flag 6043/45478
60.43/47.56	c And the winner is solver0
60.58/47.75	c Got one! Elapsed wall clock time (in seconds):47.633
60.58/47.75	o -2541
61.66/48.33	c And the winner is solver0
61.76/48.76	c Got one! Elapsed wall clock time (in seconds):48.638
61.76/48.76	o -2567
61.83/48.87	c And the winner is solver0
62.13/49.26	c Got one! Elapsed wall clock time (in seconds):49.143
62.13/49.26	o -2570
62.19/49.32	c And the winner is solver0
62.26/49.77	c Got one! Elapsed wall clock time (in seconds):49.648
62.26/49.77	o -2597
62.31/49.84	c And the winner is solver0
62.45/50.27	c Got one! Elapsed wall clock time (in seconds):50.154
62.45/50.27	o -2601
62.49/50.30	c And the winner is solver0
62.51/50.78	c Got one! Elapsed wall clock time (in seconds):50.659
62.51/50.78	o -2603
62.54/50.83	c And the winner is solver0
62.65/51.29	c Got one! Elapsed wall clock time (in seconds):51.164
62.65/51.29	o -2604
67.27/53.65	c cleaning 6172 clauses out of 12346 with flag 8109/51931
74.34/57.14	c cleaning 6087 clauses out of 12174 with flag 20243/57931
82.54/61.22	c cleaning 6544 clauses out of 13087 with flag 34376/64931
91.83/65.85	c cleaning 7270 clauses out of 14543 with flag 50376/72931
102.60/71.12	c cleaning 8137 clauses out of 16273 with flag 68376/81931
114.94/77.36	c cleaning 9068 clauses out of 18136 with flag 88376/91931
128.00/83.81	c cleaning 10029 clauses out of 20068 with flag 110376/102931
142.42/91.01	c cleaning 11020 clauses out of 22040 with flag 134378/114932
158.49/99.06	c cleaning 12009 clauses out of 24020 with flag 160378/127932
176.25/108.08	c cleaning 13004 clauses out of 26011 with flag 189153/141932
183.64/111.79	c And the winner is solver0
183.80/112.25	c Got one! Elapsed wall clock time (in seconds):112.127
183.80/112.25	o -2618
190.24/115.42	c cleaning 12227 clauses out of 24463 with flag 10023/153388
197.25/118.95	c cleaning 9115 clauses out of 18236 with flag 22023/159388
205.61/123.07	c cleaning 8056 clauses out of 16120 with flag 36021/166387
214.82/127.66	c cleaning 8030 clauses out of 16065 with flag 52023/174388
223.83/132.13	c And the winner is solver0
223.95/132.31	c Got one! Elapsed wall clock time (in seconds):132.188
223.95/132.31	o -2637
230.52/135.53	c cleaning 10356 clauses out of 20712 with flag 10046/187065
234.54/137.51	c And the winner is solver0
234.82/137.82	c Got one! Elapsed wall clock time (in seconds):137.696
234.82/137.82	o -2652
237.17/139.03	c cleaning 7856 clauses out of 15717 with flag 4041/192426
239.77/140.38	c And the winner is solver0
240.22/140.82	c Got one! Elapsed wall clock time (in seconds):140.703
240.22/140.82	o -2654
242.31/141.81	c And the winner is solver0
242.43/141.98	c Got one! Elapsed wall clock time (in seconds):141.861
242.43/141.98	o -2663
244.92/143.22	c cleaning 6857 clauses out of 13719 with flag 4162/198284
251.72/146.67	c cleaning 6427 clauses out of 12861 with flag 16208/204283
260.28/150.87	c cleaning 6716 clauses out of 13435 with flag 30281/211284
269.67/155.50	c cleaning 7353 clauses out of 14719 with flag 46281/219284
280.08/160.71	c cleaning 8182 clauses out of 16365 with flag 64279/228283
291.83/166.54	c cleaning 9090 clauses out of 18183 with flag 84279/238283
305.61/173.30	c cleaning 10044 clauses out of 20094 with flag 106281/249284
319.41/180.24	c cleaning 11024 clauses out of 22050 with flag 130281/261284
334.81/187.94	c cleaning 12011 clauses out of 24026 with flag 156281/274284
334.81/187.96	c And the winner is solver0
335.16/188.36	c Got one! Elapsed wall clock time (in seconds):188.237
335.16/188.36	o -2664
341.66/191.55	c cleaning 8528 clauses out of 17055 with flag 10409/279324
348.65/195.04	c cleaning 7261 clauses out of 14528 with flag 22734/285325
356.65/199.08	c cleaning 7131 clauses out of 14266 with flag 37322/292324
366.45/203.81	c cleaning 7566 clauses out of 15134 with flag 53980/300323
376.87/209.06	c cleaning 8282 clauses out of 16569 with flag 73131/309324
389.26/215.14	c cleaning 9143 clauses out of 18287 with flag 94554/319324
402.90/221.84	c cleaning 10069 clauses out of 20143 with flag 116784/330323
417.30/229.04	c cleaning 11038 clauses out of 22075 with flag 140806/342324
433.39/236.98	c cleaning 12012 clauses out of 24036 with flag 166810/355323
449.80/245.12	c cleaning 13012 clauses out of 26024 with flag 194810/369323
469.90/255.51	c cleaning 14007 clauses out of 28013 with flag 224812/384324
489.58/265.36	c cleaning 15002 clauses out of 30005 with flag 256878/400323
511.30/276.18	c cleaning 15998 clauses out of 32004 with flag 291325/417324
534.65/287.76	c cleaning 16998 clauses out of 34006 with flag 327762/435324
559.23/299.96	c cleaning 17998 clauses out of 36008 with flag 365762/454324
584.90/312.66	c cleaning 19001 clauses out of 38010 with flag 405812/474324
612.98/326.51	c cleaning 20003 clauses out of 40008 with flag 447810/495323
641.90/340.84	c cleaning 21000 clauses out of 42005 with flag 491810/517323
674.58/357.71	c cleaning 22000 clauses out of 44006 with flag 538147/540324
707.83/374.36	c cleaning 23000 clauses out of 46005 with flag 586489/564323
742.56/391.67	c cleaning 24001 clauses out of 48005 with flag 636810/589323
778.94/409.71	c cleaning 24998 clauses out of 50005 with flag 689442/615324
820.80/430.70	c cleaning 25999 clauses out of 52007 with flag 743698/642324
860.87/450.64	c cleaning 26999 clauses out of 54008 with flag 799973/670324
902.71/471.42	c cleaning 28000 clauses out of 56008 with flag 858160/699323
946.28/492.95	c cleaning 29002 clauses out of 58008 with flag 918251/729323
996.55/518.32	c cleaning 30000 clauses out of 60006 with flag 980389/760323
1044.25/542.02	c cleaning 30998 clauses out of 62007 with flag 1044620/792324
1096.28/567.81	c cleaning 32002 clauses out of 64009 with flag 1111076/825324
1148.94/593.82	c cleaning 32999 clauses out of 66006 with flag 1179478/859323
1206.06/621.96	c cleaning 33998 clauses out of 68007 with flag 1250353/894323
1264.07/650.34	c cleaning 35001 clauses out of 70010 with flag 1323648/930324
1327.30/682.59	c cleaning 35999 clauses out of 72008 with flag 1398373/967323
1387.19/712.28	c cleaning 37000 clauses out of 74009 with flag 1474623/1005323
1450.44/743.56	c cleaning 38003 clauses out of 76010 with flag 1552711/1044324
1520.19/777.97	c cleaning 39001 clauses out of 78006 with flag 1632899/1084323
1520.99/778.37	c And the winner is solver0
1522.19/779.70	c Got one! Elapsed wall clock time (in seconds):779.579
1522.19/779.70	o -2666
1530.36/783.74	c cleaning 22280 clauses out of 44568 with flag 10110/1089886
1538.72/787.86	c cleaning 14139 clauses out of 28288 with flag 22198/1095886
1548.07/792.48	c cleaning 10571 clauses out of 21149 with flag 36236/1102886
1557.87/797.39	c cleaning 9285 clauses out of 18578 with flag 52251/1110886
1569.61/803.15	c cleaning 9140 clauses out of 18292 with flag 70348/1119885
1582.35/809.45	c cleaning 9573 clauses out of 19152 with flag 90423/1129885
1596.78/816.52	c cleaning 10288 clauses out of 20580 with flag 112515/1140886
1611.90/824.04	c cleaning 11143 clauses out of 22292 with flag 136515/1152886
1628.38/832.29	c cleaning 12073 clauses out of 24149 with flag 162515/1165886
1646.68/841.36	c cleaning 13038 clauses out of 26076 with flag 190673/1179886
1666.94/851.40	c cleaning 14017 clauses out of 28038 with flag 220747/1194886
1688.46/862.07	c cleaning 15010 clauses out of 30020 with flag 252854/1210885
1711.60/873.57	c cleaning 16000 clauses out of 32010 with flag 287029/1227885
1736.53/885.80	c cleaning 17002 clauses out of 34010 with flag 323134/1245885
1762.78/898.87	c cleaning 18000 clauses out of 36009 with flag 361262/1264886
1792.46/913.47	c cleaning 18999 clauses out of 38008 with flag 401596/1284885
1800.07/917.10	c >>>>>>>>>> Solver number 0 (63 answers) <<<<<<<<<<<<<<<<<<
1800.07/917.10	c starts		: 1167
1800.07/917.10	c conflicts		: 1290190
1800.07/917.10	c decisions		: 1313856
1800.07/917.10	c propagations		: 378086248
1800.07/917.10	c inspects		: 4737619259
1800.07/917.10	c shortcuts		: 0
1800.07/917.10	c learnt literals	: 0
1800.07/917.10	c learnt binary clauses	: 0
1800.07/917.10	c learnt ternary clauses	: 0
1800.07/917.10	c learnt constraints	: 1290190
1800.07/917.10	c ignored constraints	: 0
1800.07/917.10	c root simplifications	: 0
1800.07/917.10	c removed literals (reason simplification)	: 193686114
1800.07/917.10	c reason swapping (by a shorter reason)	: 0
1800.07/917.10	c Calls to reduceDB	: 84
1800.07/917.10	c Number of update (reduction) of LBD	: 1967
1800.07/917.10	c Imported unit clauses	: 0
1800.07/917.10	c number of reductions to clauses (during analyze)	: 0
1800.07/917.10	c number of learned constraints concerned by reduction	: 0
1800.07/917.10	c number of learning phase by resolution	: 0
1800.07/917.10	c number of learning phase by cutting planes	: 0
1800.07/917.10	c speed (assignments/second)	: 412553.8876516308
1800.07/917.10	c non guided choices	0
1800.07/917.11	c learnt constraints type 
1800.07/917.11	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 24314
1800.07/917.11	c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<<
1800.07/917.11	c starts		: 81
1800.07/917.11	c conflicts		: 2939
1800.07/917.11	c decisions		: 4634
1800.07/917.11	c propagations		: 1019735
1800.07/917.11	c inspects		: 508229609
1800.07/917.11	c shortcuts		: 0
1800.07/917.11	c learnt literals	: 0
1800.07/917.11	c learnt binary clauses	: 0
1800.07/917.11	c learnt ternary clauses	: 0
1800.07/917.11	c learnt constraints	: 2878
1800.07/917.11	c ignored constraints	: 0
1800.07/917.11	c root simplifications	: 0
1800.07/917.11	c removed literals (reason simplification)	: 0
1800.07/917.11	c reason swapping (by a shorter reason)	: 0
1800.07/917.11	c Calls to reduceDB	: 0
1800.07/917.11	c Number of update (reduction) of LBD	: 0
1800.07/917.11	c Imported unit clauses	: 0
1800.07/917.11	c number of reductions to clauses (during analyze)	: 0
1800.07/917.11	c number of learned constraints concerned by reduction	: 0
1800.07/917.11	c number of learning phase by resolution	: 0
1800.07/917.11	c number of learning phase by cutting planes	: 0
1800.07/917.11	c speed (assignments/second)	: 7421.598096083725
1800.07/917.11	c non guided choices	0
1800.07/917.11	c learnt constraints type 
1800.07/917.11	c org.sat4j.pb.constraints.pb.MaxWatchPb => 2878
1800.07/917.11	s SATISFIABLE
1800.07/917.11	c Found 63 solution(s)
1800.07/917.11	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 
1800.07/917.11	c objective function=-2666
1800.07/917.11	c Total wall clock time (in seconds): 916.993

Verifier Data 

OK	-2666

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

pid=16129
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.91 4.02 4.07 4/197 16132
/proc/meminfo: memFree=27155660/32872528 swapFree=13208/1155804
[pid=16132] ppid=16129 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/16132/stat : 16132 (java) D 16129 16132 11545 0 -1 4202496 328 0 0 0 0 0 0 0 20 0 1 0 6797860 9515008 184 33554432000 1073741824 1073778376 140733977983360 140733977974584 219513777591 0 0 4096 0 18446744072100588836 0 0 17 1 0 0 0 0 0
/proc/16132/statm: 2323 184 142 9 0 71 0

[startup+0.10006 s]
/proc/loadavg: 3.91 4.02 4.07 4/197 16132
/proc/meminfo: memFree=27155660/32872528 swapFree=13208/1155804
[pid=16132] ppid=16129 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/16132/stat : 16132 (java) S 16129 16132 11545 0 -1 4202496 4399 0 1 0 8 1 0 0 20 0 18 0 6797860 9787879424 6035 33554432000 1073741824 1073778376 140736181090512 140736181081648 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16132/statm: 2389619 6035 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200287 s]
/proc/loadavg: 3.91 4.02 4.07 4/197 16132
/proc/meminfo: memFree=27155660/32872528 swapFree=13208/1155804
[pid=16132] ppid=16129 vsize=9558476 CPUtime=0.22 cores=1,3,5,7
/proc/16132/stat : 16132 (java) S 16129 16132 11545 0 -1 4202496 4593 0 1 0 21 1 0 0 20 0 18 0 6797860 9787879424 7224 33554432000 1073741824 1073778376 140736181090512 140736181081648 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16132/statm: 2389619 7224 2199 9 0 2380296 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 9558476

[startup+0.300307 s]
/proc/loadavg: 3.91 4.02 4.07 4/197 16132
/proc/meminfo: memFree=27155660/32872528 swapFree=13208/1155804
[pid=16132] ppid=16129 vsize=9558476 CPUtime=0.47 cores=1,3,5,7
/proc/16132/stat : 16132 (java) S 16129 16132 11545 0 -1 4202496 5136 0 1 0 46 1 0 0 20 0 18 0 6797860 9787879424 8210 33554432000 1073741824 1073778376 140736181090512 140736181081648 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16132/statm: 2389619 8210 2233 9 0 2380296 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9558476

[startup+0.700175 s]
/proc/loadavg: 3.91 4.02 4.07 4/197 16132
/proc/meminfo: memFree=27155660/32872528 swapFree=13208/1155804
[pid=16132] ppid=16129 vsize=9824732 CPUtime=1.33 cores=1,3,5,7
/proc/16132/stat : 16132 (java) S 16129 16132 11545 0 -1 4202496 9271 0 1 0 131 2 0 0 20 0 22 0 6797860 10060525568 14085 33554432000 1073741824 1073778376 140736181090512 140736181081648 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16132/statm: 2456183 14085 2260 9 0 2446860 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 9824732

[startup+1.50083 s]
/proc/loadavg: 3.91 4.02 4.07 4/216 16154
/proc/meminfo: memFree=27106692/32872528 swapFree=13208/1155804
[pid=16132] ppid=16129 vsize=9824732 CPUtime=2.13 cores=1,3,5,7
/proc/16132/stat : 16132 (java) S 16129 16132 11545 0 -1 4202496 14726 0 1 0 206 7 0 0 20 0 19 0 6797860 10060525568 16999 33554432000 1073741824 1073778376 140736181090512 140736181081648 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16132/statm: 2456183 16999 2266 9 0 2446860 0
[pid=16132/tid=16134] ppid=16129 vsize=9824732 CPUtime=0.61 cores=1,3,5,7
/proc/16132/task/16134/stat : 16134 (java) S 16129 16132 11545 0 -1 4202560 2437 0 1 0 60 1 0 0 20 0 19 0 6797861 10060525568 16999 33554432000 1073741824 1073778376 140736181090512 140095535678328 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16132/tid=16135] ppid=16129 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16135/stat : 16135 (java) S 16129 16132 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6797862 10060525568 16999 33554432000 1073741824 1073778376 140736181090512 140095379159592 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16132/tid=16136] ppid=16129 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16136/stat : 16136 (java) S 16129 16132 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6797862 10060525568 16999 33554432000 1073741824 1073778376 140736181090512 140095378106792 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16132/tid=16137] ppid=16129 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16137/stat : 16137 (java) S 16129 16132 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6797862 10060525568 16999 33554432000 1073741824 1073778376 140736181090512 140095377053992 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16132/tid=16138] ppid=16129 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16138/stat : 16138 (java) S 16129 16132 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6797862 10060525568 16999 33554432000 1073741824 1073778376 140736181090512 140095376001192 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16132/tid=16139] ppid=16129 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16139/stat : 16139 (java) S 16129 16132 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6797862 10060525568 16999 33554432000 1073741824 1073778376 140736181090512 140095374949416 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16132/tid=16140] ppid=16129 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16140/stat : 16140 (java) S 16129 16132 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6797862 10060525568 16999 33554432000 1073741824 1073778376 140736181090512 140095373896616 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16132/tid=16141] ppid=16129 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16141/stat : 16141 (java) S 16129 16132 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6797862 10060525568 16999 33554432000 1073741824 1073778376 140736181090512 140095372843816 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16132/tid=16142] ppid=16129 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16142/stat : 16142 (java) S 16129 16132 11545 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 6797862 10060525568 16999 33554432000 1073741824 1073778376 140736181090512 140095371791016 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16132/tid=16143] ppid=16129 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16143/stat : 16143 (java) S 16129 16132 11545 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 6797864 10060525568 16999 33554432000 1073741824 1073778376 140736181090512 140095359592936 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16132/tid=16144] ppid=16129 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16144/stat : 16144 (java) S 16129 16132 11545 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 6797864 10060525568 16999 33554432000 1073741824 1073778376 140736181090512 140095358539000 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16132/tid=16145] ppid=16129 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16145/stat : 16145 (java) S 16129 16132 11545 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 6797864 10060525568 16999 33554432000 1073741824 1073778376 140736181090512 140095357486088 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16132/tid=16146] ppid=16129 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16146/stat : 16146 (java) S 16129 16132 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6797866 10060525568 16999 33554432000 1073741824 1073778376 140736181090512 140095356434576 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16132/tid=16147] ppid=16129 vsize=9824732 CPUtime=0.53 cores=1,3,5,7
/proc/16132/task/16147/stat : 16147 (java) S 16129 16132 11545 0 -1 4202560 5935 0 0 0 53 0 0 0 20 0 19 0 6797866 10060525568 16999 33554432000 1073741824 1073778376 140736181090512 140095355382712 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16132/tid=16148] ppid=16129 vsize=9824732 CPUtime=0.58 cores=1,3,5,7
/proc/16132/task/16148/stat : 16148 (java) S 16129 16132 11545 0 -1 4202560 5011 0 0 0 57 1 0 0 20 0 19 0 6797866 10060525568 16999 33554432000 1073741824 1073778376 140736181090512 140095354329912 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16132/tid=16149] ppid=16129 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16149/stat : 16149 (java) S 16129 16132 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6797866 10060525568 16999 33554432000 1073741824 1073778376 140736181090512 140095353277304 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16132/tid=16150] ppid=16129 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16150/stat : 16150 (java) S 16129 16132 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6797866 10060525568 16999 33554432000 1073741824 1073778376 140736181090512 140095352224712 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16132/tid=16154] ppid=16129 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16154/stat : 16154 (java) S 16129 16132 11545 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 6797926 10060525568 16999 33554432000 1073741824 1073778376 140736181090512 140095348011816 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.13
Current children cumulated vsize (KiB) 9824732

[startup+3.1008 s]
/proc/loadavg: 3.91 4.02 4.07 6/216 16163
/proc/meminfo: memFree=27078496/32872528 swapFree=13208/1155804
[pid=16132] ppid=16129 vsize=9824732 CPUtime=2.54 cores=1,3,5,7
/proc/16132/stat : 16132 (java) S 16129 16132 11545 0 -1 4202496 14960 0 1 0 242 12 0 0 20 0 19 0 6797860 10060525568 23182 33554432000 1073741824 1073778376 140736181090512 140736181081648 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16132/statm: 2456183 23182 2274 9 0 2446860 0
[pid=16132/tid=16134] ppid=16129 vsize=9824732 CPUtime=0.65 cores=1,3,5,7
/proc/16132/task/16134/stat : 16134 (java) S 16129 16132 11545 0 -1 4202560 2441 0 1 0 63 2 0 0 20 0 19 0 6797861 10060525568 23182 33554432000 1073741824 1073778376 140736181090512 140095535678328 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16132/tid=16135] ppid=16129 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16135/stat : 16135 (java) S 16129 16132 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6797862 10060525568 23182 33554432000 1073741824 1073778376 140736181090512 140095379159592 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16132/tid=16136] ppid=16129 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16136/stat : 16136 (java) S 16129 16132 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6797862 10060525568 23182 33554432000 1073741824 1073778376 140736181090512 140095378106792 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16132/tid=16137] ppid=16129 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16137/stat : 16137 (java) S 16129 16132 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6797862 10060525568 23182 33554432000 1073741824 1073778376 140736181090512 140095377053992 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16132/tid=16138] ppid=16129 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16138/stat : 16138 (java) S 16129 16132 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6797862 10060525568 23182 33554432000 1073741824 1073778376 140736181090512 140095376001192 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16132/tid=16139] ppid=16129 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16139/stat : 16139 (java) S 16129 16132 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6797862 10060525568 23182 33554432000 1073741824 1073778376 140736181090512 140095374949416 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16132/tid=16140] ppid=16129 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16140/stat : 16140 (java) S 16129 16132 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6797862 10060525568 23182 33554432000 1073741824 1073778376 140736181090512 140095373896616 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16132/tid=16141] ppid=16129 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16141/stat : 16141 (java) S 16129 16132 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6797862 10060525568 23182 33554432000 1073741824 1073778376 140736181090512 140095372843816 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16132/tid=16142] ppid=16129 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16142/stat : 16142 (java) S 16129 16132 11545 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 6797862 10060525568 23182 33554432000 1073741824 1073778376 140736181090512 140095371791016 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16132/tid=16143] ppid=16129 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16143/stat : 16143 (java) S 16129 16132 11545 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 6797864 10060525568 23182 33554432000 1073741824 1073778376 140736181090512 140095359592936 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16132/tid=16144] ppid=16129 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16144/stat : 16144 (java) S 16129 16132 11545 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 6797864 10060525568 23182 33554432000 1073741824 1073778376 140736181090512 140095358539000 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16132/tid=16145] ppid=16129 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16145/stat : 16145 (java) S 16129 16132 11545 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 6797864 10060525568 23182 33554432000 1073741824 1073778376 140736181090512 140095357486088 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16132/tid=16146] ppid=16129 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16146/stat : 16146 (java) S 16129 16132 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6797866 10060525568 23182 33554432000 1073741824 1073778376 140736181090512 140095356434576 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16132/tid=16147] ppid=16129 vsize=9824732 CPUtime=0.68 cores=1,3,5,7
/proc/16132/task/16147/stat : 16147 (java) S 16129 16132 11545 0 -1 4202560 5936 0 0 0 68 0 0 0 20 0 19 0 6797866 10060525568 23182 33554432000 1073741824 1073778376 140736181090512 140095355382712 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16132/tid=16148] ppid=16129 vsize=9824732 CPUtime=0.71 cores=1,3,5,7
/proc/16132/task/16148/stat : 16148 (java) S 16129 16132 11545 0 -1 4202560 5211 0 0 0 70 1 0 0 20 0 19 0 6797866 10060525568 23182 33554432000 1073741824 1073778376 140736181090512 140095354329912 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16132/tid=16149] ppid=16129 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16149/stat : 16149 (java) S 16129 16132 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6797866 10060525568 23182 33554432000 1073741824 1073778376 140736181090512 140095353277304 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16132/tid=16150] ppid=16129 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16150/stat : 16150 (java) S 16129 16132 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6797866 10060525568 23182 33554432000 1073741824 1073778376 140736181090512 140095352224712 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16132/tid=16154] ppid=16129 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16154/stat : 16154 (java) S 16129 16132 11545 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 6797926 10060525568 23182 33554432000 1073741824 1073778376 140736181090512 140095348011816 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.54
Current children cumulated vsize (KiB) 9824732

############
# WARNING:
# current cumulated CPU time (2.63 s) is less than in the last sample (2.64 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (0.00999999 s) to the 'lost time'.

[startup+3.70076 s]
/proc/loadavg: 3.91 4.02 4.07 4/216 16169
/proc/meminfo: memFree=27065844/32872528 swapFree=13208/1155804
[pid=16132] ppid=16129 vsize=9824732 CPUtime=2.64 cores=1,3,5,7
/proc/16132/stat : 16132 (java) S 16129 16132 11545 0 -1 4202496 14978 0 1 0 249 15 0 0 20 0 22 0 6797860 10060525568 25748 33554432000 1073741824 1073778376 140736181090512 140736181081648 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16132/statm: 2456183 25748 2274 9 0 2446860 0
[pid=16132/tid=16134] ppid=16129 vsize=9824732 CPUtime=0.66 cores=1,3,5,7
/proc/16132/task/16134/stat : 16134 (java) S 16129 16132 11545 0 -1 4202560 2443 0 1 0 64 2 0 0 20 0 22 0 6797861 10060525568 25748 33554432000 1073741824 1073778376 140736181090512 140095535678328 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16132/tid=16135] ppid=16129 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16135/stat : 16135 (java) S 16129 16132 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6797862 10060525568 25748 33554432000 1073741824 1073778376 140736181090512 140095379159592 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16132/tid=16136] ppid=16129 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16136/stat : 16136 (java) S 16129 16132 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6797862 10060525568 25748 33554432000 1073741824 1073778376 140736181090512 140095378106792 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16132/tid=16137] ppid=16129 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16137/stat : 16137 (java) S 16129 16132 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6797862 10060525568 25748 33554432000 1073741824 1073778376 140736181090512 140095377053992 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16132/tid=16138] ppid=16129 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16138/stat : 16138 (java) S 16129 16132 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6797862 10060525568 25748 33554432000 1073741824 1073778376 140736181090512 140095376001192 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16132/tid=16139] ppid=16129 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16139/stat : 16139 (java) S 16129 16132 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6797862 10060525568 25748 33554432000 1073741824 1073778376 140736181090512 140095374949416 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16132/tid=16140] ppid=16129 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16140/stat : 16140 (java) S 16129 16132 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6797862 10060525568 25748 33554432000 1073741824 1073778376 140736181090512 140095373896616 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16132/tid=16141] ppid=16129 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16141/stat : 16141 (java) S 16129 16132 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6797862 10060525568 25748 33554432000 1073741824 1073778376 140736181090512 140095372843816 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16132/tid=16142] ppid=16129 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16142/stat : 16142 (java) S 16129 16132 11545 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 6797862 10060525568 25748 33554432000 1073741824 1073778376 140736181090512 140095371791016 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16132/tid=16143] ppid=16129 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16143/stat : 16143 (java) S 16129 16132 11545 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 6797864 10060525568 25748 33554432000 1073741824 1073778376 140736181090512 140095359592936 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16132/tid=16144] ppid=16129 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16144/stat : 16144 (java) S 16129 16132 11545 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 6797864 10060525568 25748 33554432000 1073741824 1073778376 140736181090512 140095358539000 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16132/tid=16145] ppid=16129 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16145/stat : 16145 (java) S 16129 16132 11545 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 6797864 10060525568 25748 33554432000 1073741824 1073778376 140736181090512 140095357486088 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16132/tid=16146] ppid=16129 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16146/stat : 16146 (java) S 16129 16132 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6797866 10060525568 25748 33554432000 1073741824 1073778376 140736181090512 140095356434576 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16132/tid=16147] ppid=16129 vsize=9824732 CPUtime=0.69 cores=1,3,5,7
/proc/16132/task/16147/stat : 16147 (java) S 16129 16132 11545 0 -1 4202560 5936 0 0 0 69 0 0 0 20 0 22 0 6797866 10060525568 25748 33554432000 1073741824 1073778376 140736181090512 140095355382712 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16132/tid=16148] ppid=16129 vsize=9824732 CPUtime=0.73 cores=1,3,5,7
/proc/16132/task/16148/stat : 16148 (java) S 16129 16132 11545 0 -1 4202560 5211 0 0 0 72 1 0 0 20 0 22 0 6797866 10060525568 25748 33554432000 1073741824 1073778376 140736181090512 140095354329912 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16132/tid=16149] ppid=16129 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16149/stat : 16149 (java) S 16129 16132 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6797866 10060525568 25748 33554432000 1073741824 1073778376 140736181090512 140095353277304 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0

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

[pid=16132/tid=16142] ppid=16129 vsize=9824732 CPUtime=5.24 cores=1,3,5,7
/proc/16132/task/16142/stat : 16142 (java) S 16129 16132 11545 0 -1 4202560 1136 0 0 0 477 47 0 0 20 0 22 0 6797862 10060525568 1195174 33554432000 1073741824 1073778376 140736181090512 140095371791016 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16132/tid=16143] ppid=16129 vsize=9824732 CPUtime=8.62 cores=1,3,5,7
/proc/16132/task/16143/stat : 16143 (java) S 16129 16132 11545 0 -1 4202560 3605 0 0 0 849 13 0 0 20 0 22 0 6797864 10060525568 1195174 33554432000 1073741824 1073778376 140736181090512 140095359592936 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16132/tid=16144] ppid=16129 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16144/stat : 16144 (java) S 16129 16132 11545 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 6797864 10060525568 1195174 33554432000 1073741824 1073778376 140736181090512 140095358539000 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16132/tid=16145] ppid=16129 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16145/stat : 16145 (java) S 16129 16132 11545 0 -1 4202560 40 0 0 0 0 0 0 0 20 0 22 0 6797864 10060525568 1195174 33554432000 1073741824 1073778376 140736181090512 140095357486088 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16132/tid=16146] ppid=16129 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16146/stat : 16146 (java) S 16129 16132 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6797866 10060525568 1195174 33554432000 1073741824 1073778376 140736181090512 140095356434576 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16132/tid=16147] ppid=16129 vsize=9824732 CPUtime=1.43 cores=1,3,5,7
/proc/16132/task/16147/stat : 16147 (java) S 16129 16132 11545 0 -1 4202560 8111 0 0 0 142 1 0 0 20 0 22 0 6797866 10060525568 1195174 33554432000 1073741824 1073778376 140736181090512 140095355382712 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16132/tid=16148] ppid=16129 vsize=9824732 CPUtime=1.32 cores=1,3,5,7
/proc/16132/task/16148/stat : 16148 (java) S 16129 16132 11545 0 -1 4202560 9904 0 0 0 130 2 0 0 20 0 22 0 6797866 10060525568 1195174 33554432000 1073741824 1073778376 140736181090512 140095354329912 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16132/tid=16149] ppid=16129 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16149/stat : 16149 (java) S 16129 16132 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6797866 10060525568 1195174 33554432000 1073741824 1073778376 140736181090512 140095353277304 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16132/tid=16150] ppid=16129 vsize=9824732 CPUtime=0.31 cores=1,3,5,7
/proc/16132/task/16150/stat : 16150 (java) S 16129 16132 11545 0 -1 4202560 50 0 0 0 11 20 0 0 20 0 22 0 6797866 10060525568 1195174 33554432000 1073741824 1073778376 140736181090512 140095352224712 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16132/tid=16154] ppid=16129 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16154/stat : 16154 (java) S 16129 16132 11545 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 6797926 10060525568 1195174 33554432000 1073741824 1073778376 140736181090512 140095348011816 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16132/tid=16753] ppid=16129 vsize=9824732 CPUtime=101.17 cores=1,3,5,7
/proc/16132/task/16753/stat : 16753 (java) R 16129 16132 11545 0 -1 4202560 8 0 0 0 10116 1 0 0 20 0 22 0 6875832 10060525568 1195174 33554432000 1073741824 1073778376 140736181090512 140095350116128 140095408374997 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=16132/tid=16754] ppid=16129 vsize=9824732 CPUtime=101.21 cores=1,3,5,7
/proc/16132/task/16754/stat : 16754 (java) R 16129 16132 11545 0 -1 4202560 12 0 0 0 10120 1 0 0 20 0 22 0 6875832 10060525568 1195174 33554432000 1073741824 1073778376 140736181090512 140095351167744 140095408401564 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=16132/tid=16755] ppid=16129 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16755/stat : 16755 (java) S 16129 16132 11545 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 6875832 10060525568 1195174 33554432000 1073741824 1073778376 140736181090512 140095349064872 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1726.65
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+917.101 s]
/proc/loadavg: 4.21 4.25 4.14 5/220 16761
/proc/meminfo: memFree=21362440/32872528 swapFree=13208/1155804
[pid=16132] ppid=16129 vsize=9824732 CPUtime=1797.36 cores=1,3,5,7
/proc/16132/stat : 16132 (java) S 16129 16132 11545 0 -1 4202496 38475 0 1 0 179183 553 0 0 20 0 22 0 6797860 10060525568 1207562 33554432000 1073741824 1073778376 140736181090512 140736181081648 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16132/statm: 2456183 1207562 2304 9 0 2446860 0
[pid=16132/tid=16134] ppid=16129 vsize=9824732 CPUtime=0.96 cores=1,3,5,7
/proc/16132/task/16134/stat : 16134 (java) S 16129 16132 11545 0 -1 4202560 2475 0 1 0 93 3 0 0 20 0 22 0 6797861 10060525568 1207562 33554432000 1073741824 1073778376 140736181090512 140095535678328 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16132/tid=16135] ppid=16129 vsize=9824732 CPUtime=5.1 cores=1,3,5,7
/proc/16132/task/16135/stat : 16135 (java) S 16129 16132 11545 0 -1 4202560 1426 0 0 0 464 46 0 0 20 0 22 0 6797862 10060525568 1207562 33554432000 1073741824 1073778376 140736181090512 140095379159592 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16132/tid=16136] ppid=16129 vsize=9824732 CPUtime=4.45 cores=1,3,5,7
/proc/16132/task/16136/stat : 16136 (java) S 16129 16132 11545 0 -1 4202560 1405 0 0 0 399 46 0 0 20 0 22 0 6797862 10060525568 1207562 33554432000 1073741824 1073778376 140736181090512 140095378106792 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16132/tid=16137] ppid=16129 vsize=9824732 CPUtime=4.61 cores=1,3,5,7
/proc/16132/task/16137/stat : 16137 (java) S 16129 16132 11545 0 -1 4202560 2443 0 0 0 419 42 0 0 20 0 22 0 6797862 10060525568 1207562 33554432000 1073741824 1073778376 140736181090512 140095377053992 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16132/tid=16138] ppid=16129 vsize=9824732 CPUtime=5.28 cores=1,3,5,7
/proc/16132/task/16138/stat : 16138 (java) S 16129 16132 11545 0 -1 4202560 1079 0 0 0 491 37 0 0 20 0 22 0 6797862 10060525568 1207562 33554432000 1073741824 1073778376 140736181090512 140095376001192 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16132/tid=16139] ppid=16129 vsize=9824732 CPUtime=5.43 cores=1,3,5,7
/proc/16132/task/16139/stat : 16139 (java) S 16129 16132 11545 0 -1 4202560 1629 0 0 0 494 49 0 0 20 0 22 0 6797862 10060525568 1207562 33554432000 1073741824 1073778376 140736181090512 140095374949416 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16132/tid=16140] ppid=16129 vsize=9824732 CPUtime=5.05 cores=1,3,5,7
/proc/16132/task/16140/stat : 16140 (java) S 16129 16132 11545 0 -1 4202560 1199 0 0 0 452 53 0 0 20 0 22 0 6797862 10060525568 1207562 33554432000 1073741824 1073778376 140736181090512 140095373896616 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16132/tid=16141] ppid=16129 vsize=9824732 CPUtime=4.88 cores=1,3,5,7
/proc/16132/task/16141/stat : 16141 (java) S 16129 16132 11545 0 -1 4202560 1214 0 0 0 448 40 0 0 20 0 22 0 6797862 10060525568 1207562 33554432000 1073741824 1073778376 140736181090512 140095372843816 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16132/tid=16142] ppid=16129 vsize=9824732 CPUtime=5.56 cores=1,3,5,7
/proc/16132/task/16142/stat : 16142 (java) S 16129 16132 11545 0 -1 4202560 1167 0 0 0 508 48 0 0 20 0 22 0 6797862 10060525568 1207562 33554432000 1073741824 1073778376 140736181090512 140095371791016 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16132/tid=16143] ppid=16129 vsize=9824732 CPUtime=8.63 cores=1,3,5,7
/proc/16132/task/16143/stat : 16143 (java) S 16129 16132 11545 0 -1 4202560 3631 0 0 0 849 14 0 0 20 0 22 0 6797864 10060525568 1207562 33554432000 1073741824 1073778376 140736181090512 140095359592936 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16132/tid=16144] ppid=16129 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16144/stat : 16144 (java) S 16129 16132 11545 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 6797864 10060525568 1207562 33554432000 1073741824 1073778376 140736181090512 140095358539000 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16132/tid=16145] ppid=16129 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16145/stat : 16145 (java) S 16129 16132 11545 0 -1 4202560 40 0 0 0 0 0 0 0 20 0 22 0 6797864 10060525568 1207562 33554432000 1073741824 1073778376 140736181090512 140095357486088 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16132/tid=16146] ppid=16129 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16146/stat : 16146 (java) S 16129 16132 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6797866 10060525568 1207562 33554432000 1073741824 1073778376 140736181090512 140095356434576 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16132/tid=16147] ppid=16129 vsize=9824732 CPUtime=1.43 cores=1,3,5,7
/proc/16132/task/16147/stat : 16147 (java) S 16129 16132 11545 0 -1 4202560 8111 0 0 0 142 1 0 0 20 0 22 0 6797866 10060525568 1207562 33554432000 1073741824 1073778376 140736181090512 140095355382712 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16132/tid=16148] ppid=16129 vsize=9824732 CPUtime=1.32 cores=1,3,5,7
/proc/16132/task/16148/stat : 16148 (java) S 16129 16132 11545 0 -1 4202560 9904 0 0 0 130 2 0 0 20 0 22 0 6797866 10060525568 1207562 33554432000 1073741824 1073778376 140736181090512 140095354329912 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16132/tid=16149] ppid=16129 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16149/stat : 16149 (java) S 16129 16132 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6797866 10060525568 1207562 33554432000 1073741824 1073778376 140736181090512 140095353277304 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16132/tid=16150] ppid=16129 vsize=9824732 CPUtime=0.33 cores=1,3,5,7
/proc/16132/task/16150/stat : 16150 (java) S 16129 16132 11545 0 -1 4202560 52 0 0 0 11 22 0 0 20 0 22 0 6797866 10060525568 1207562 33554432000 1073741824 1073778376 140736181090512 140095352224712 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16132/tid=16154] ppid=16129 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16154/stat : 16154 (java) S 16129 16132 11545 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 6797926 10060525568 1207562 33554432000 1073741824 1073778376 140736181090512 140095348011816 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16132/tid=16753] ppid=16129 vsize=9824732 CPUtime=135.27 cores=1,3,5,7
/proc/16132/task/16753/stat : 16753 (java) R 16129 16132 11545 0 -1 4202560 8 0 0 0 13525 2 0 0 20 0 22 0 6875832 10060525568 1207562 33554432000 1073741824 1073778376 140736181090512 140095350115216 140095408257573 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=16132/tid=16754] ppid=16129 vsize=9824732 CPUtime=135.31 cores=1,3,5,7
/proc/16132/task/16754/stat : 16754 (java) R 16129 16132 11545 0 -1 4202560 16 0 0 0 13529 2 0 0 20 0 22 0 6875832 10060525568 1207562 33554432000 1073741824 1073778376 140736181090512 140095351168688 140095408161355 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=16132/tid=16755] ppid=16129 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16755/stat : 16755 (java) S 16129 16132 11545 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 6875832 10060525568 1207562 33554432000 1073741824 1073778376 140736181090512 140095349064872 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1797.36
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 16132 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+917.101 s]
/proc/loadavg: 4.21 4.25 4.14 5/220 16761
/proc/meminfo: memFree=21362440/32872528 swapFree=13208/1155804
[pid=16132] ppid=16129 vsize=9824732 CPUtime=1797.36 cores=1,3,5,7
/proc/16132/stat : 16132 (java) S 16129 16132 11545 0 -1 4202496 38475 0 1 0 179183 553 0 0 20 0 22 0 6797860 10060525568 1207562 33554432000 1073741824 1073778376 140736181090512 140736181081648 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16132/statm: 2456183 1207562 2304 9 0 2446860 0
[pid=16132/tid=16134] ppid=16129 vsize=9824732 CPUtime=0.96 cores=1,3,5,7
/proc/16132/task/16134/stat : 16134 (java) S 16129 16132 11545 0 -1 4202560 2475 0 1 0 93 3 0 0 20 0 22 0 6797861 10060525568 1207562 33554432000 1073741824 1073778376 140736181090512 140095535678328 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16132/tid=16135] ppid=16129 vsize=9824732 CPUtime=5.1 cores=1,3,5,7
/proc/16132/task/16135/stat : 16135 (java) S 16129 16132 11545 0 -1 4202560 1426 0 0 0 464 46 0 0 20 0 22 0 6797862 10060525568 1207562 33554432000 1073741824 1073778376 140736181090512 140095379159592 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16132/tid=16136] ppid=16129 vsize=9824732 CPUtime=4.45 cores=1,3,5,7
/proc/16132/task/16136/stat : 16136 (java) S 16129 16132 11545 0 -1 4202560 1405 0 0 0 399 46 0 0 20 0 22 0 6797862 10060525568 1207562 33554432000 1073741824 1073778376 140736181090512 140095378106792 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16132/tid=16137] ppid=16129 vsize=9824732 CPUtime=4.61 cores=1,3,5,7
/proc/16132/task/16137/stat : 16137 (java) S 16129 16132 11545 0 -1 4202560 2443 0 0 0 419 42 0 0 20 0 22 0 6797862 10060525568 1207562 33554432000 1073741824 1073778376 140736181090512 140095377053992 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16132/tid=16138] ppid=16129 vsize=9824732 CPUtime=5.28 cores=1,3,5,7
/proc/16132/task/16138/stat : 16138 (java) S 16129 16132 11545 0 -1 4202560 1079 0 0 0 491 37 0 0 20 0 22 0 6797862 10060525568 1207562 33554432000 1073741824 1073778376 140736181090512 140095376001192 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16132/tid=16139] ppid=16129 vsize=9824732 CPUtime=5.43 cores=1,3,5,7
/proc/16132/task/16139/stat : 16139 (java) S 16129 16132 11545 0 -1 4202560 1629 0 0 0 494 49 0 0 20 0 22 0 6797862 10060525568 1207562 33554432000 1073741824 1073778376 140736181090512 140095374949416 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16132/tid=16140] ppid=16129 vsize=9824732 CPUtime=5.05 cores=1,3,5,7
/proc/16132/task/16140/stat : 16140 (java) S 16129 16132 11545 0 -1 4202560 1199 0 0 0 452 53 0 0 20 0 22 0 6797862 10060525568 1207562 33554432000 1073741824 1073778376 140736181090512 140095373896616 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16132/tid=16141] ppid=16129 vsize=9824732 CPUtime=4.88 cores=1,3,5,7
/proc/16132/task/16141/stat : 16141 (java) S 16129 16132 11545 0 -1 4202560 1214 0 0 0 448 40 0 0 20 0 22 0 6797862 10060525568 1207562 33554432000 1073741824 1073778376 140736181090512 140095372843816 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16132/tid=16142] ppid=16129 vsize=9824732 CPUtime=5.56 cores=1,3,5,7
/proc/16132/task/16142/stat : 16142 (java) S 16129 16132 11545 0 -1 4202560 1167 0 0 0 508 48 0 0 20 0 22 0 6797862 10060525568 1207562 33554432000 1073741824 1073778376 140736181090512 140095371791016 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16132/tid=16143] ppid=16129 vsize=9824732 CPUtime=8.63 cores=1,3,5,7
/proc/16132/task/16143/stat : 16143 (java) S 16129 16132 11545 0 -1 4202560 3631 0 0 0 849 14 0 0 20 0 22 0 6797864 10060525568 1207562 33554432000 1073741824 1073778376 140736181090512 140095359592936 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16132/tid=16144] ppid=16129 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16144/stat : 16144 (java) S 16129 16132 11545 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 6797864 10060525568 1207562 33554432000 1073741824 1073778376 140736181090512 140095358539000 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16132/tid=16145] ppid=16129 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16145/stat : 16145 (java) S 16129 16132 11545 0 -1 4202560 40 0 0 0 0 0 0 0 20 0 22 0 6797864 10060525568 1207562 33554432000 1073741824 1073778376 140736181090512 140095357486088 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16132/tid=16146] ppid=16129 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16146/stat : 16146 (java) S 16129 16132 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6797866 10060525568 1207562 33554432000 1073741824 1073778376 140736181090512 140095356434576 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16132/tid=16147] ppid=16129 vsize=9824732 CPUtime=1.43 cores=1,3,5,7
/proc/16132/task/16147/stat : 16147 (java) S 16129 16132 11545 0 -1 4202560 8111 0 0 0 142 1 0 0 20 0 22 0 6797866 10060525568 1207562 33554432000 1073741824 1073778376 140736181090512 140095355382712 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16132/tid=16148] ppid=16129 vsize=9824732 CPUtime=1.32 cores=1,3,5,7
/proc/16132/task/16148/stat : 16148 (java) S 16129 16132 11545 0 -1 4202560 9904 0 0 0 130 2 0 0 20 0 22 0 6797866 10060525568 1207562 33554432000 1073741824 1073778376 140736181090512 140095354329912 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16132/tid=16149] ppid=16129 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16149/stat : 16149 (java) S 16129 16132 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6797866 10060525568 1207562 33554432000 1073741824 1073778376 140736181090512 140095353277304 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16132/tid=16150] ppid=16129 vsize=9824732 CPUtime=0.33 cores=1,3,5,7
/proc/16132/task/16150/stat : 16150 (java) S 16129 16132 11545 0 -1 4202560 52 0 0 0 11 22 0 0 20 0 22 0 6797866 10060525568 1207562 33554432000 1073741824 1073778376 140736181090512 140095352224712 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16132/tid=16154] ppid=16129 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16154/stat : 16154 (java) S 16129 16132 11545 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 6797926 10060525568 1207562 33554432000 1073741824 1073778376 140736181090512 140095348011816 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16132/tid=16753] ppid=16129 vsize=9824732 CPUtime=135.27 cores=1,3,5,7
/proc/16132/task/16753/stat : 16753 (java) R 16129 16132 11545 0 -1 4202560 8 0 0 0 13525 2 0 0 20 0 22 0 6875832 10060525568 1207562 33554432000 1073741824 1073778376 140736181090512 140095350115216 140095408257573 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=16132/tid=16754] ppid=16129 vsize=9824732 CPUtime=135.31 cores=1,3,5,7
/proc/16132/task/16754/stat : 16754 (java) R 16129 16132 11545 0 -1 4202560 16 0 0 0 13529 2 0 0 20 0 22 0 6875832 10060525568 1207562 33554432000 1073741824 1073778376 140736181090512 140095351168688 140095408161355 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=16132/tid=16755] ppid=16129 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/16132/task/16755/stat : 16755 (java) S 16129 16132 11545 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 6875832 10060525568 1207562 33554432000 1073741824 1073778376 140736181090512 140095349064872 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1797.36
Current children cumulated vsize (KiB) 9824732

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 16132 and gives
#  childrusage.ru_utime.tv_sec=1791
#  childrusage.ru_utime.tv_usec=41720
#  childrusage.ru_stime.tv_sec=5
#  childrusage.ru_stime.tv_usec=750125
# CPU time returned by wait4() is 1796.79
# while last known CPU time is 1797.36
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...


# 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.70987
#  lost CPU user time (s): 2.87992
#  lost CPU system time (s): -0.17

Real time (s): 917.145
CPU time (s): 1800.07
CPU user time (s): 1794.71
CPU system time (s): 5.36
CPU usage (%): 196.269
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.04
system time used= 5.75012
maximum resident set size= 4830384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38522
page faults= 1
swaps= 0
block input operations= 0
block output operations= 968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 26399
involuntary context switches= 34017

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.26605 second user time and 7.14191 second system time

The end

Launcher Data 

Begin job on node114 at 2016-06-30 05:45:04
IDJOB=4119525
IDBENCH=111752
IDSOLVER=2543
FILE ID=node114/4119525-1467258304
RUNJOBID= node114-1467246678-11562
PBS_JOBID= 20004474
Free space on /tmp= 71672 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern25-25.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119525-1467258304/watcher-4119525-1467258304 -o /tmp/evaluation-result-4119525-1467258304/solver-4119525-1467258304 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1467246678-11562 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4119525-1467258304.opb

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

MD5SUM BENCH= d41edbb8c3bdc22fe52bd96881b995e1
RANDOM SEED=1960780246

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.752
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:        27155816 kB
Buffers:          123020 kB
Cached:          1213060 kB
SwapCached:            0 kB
Active:          2601796 kB
Inactive:        1214012 kB
Active(anon):    2482160 kB
Inactive(anon):        0 kB
Active(file):     119636 kB
Inactive(file):  1214012 kB
Unevictable:     1155804 kB
Mlocked:           13208 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               476 kB
Writeback:             0 kB
AnonPages:       3620724 kB
Mapped:            22220 kB
Shmem:               204 kB
Slab:             608784 kB
SReclaimable:      53024 kB
SUnreclaim:       555760 kB
KernelStack:        1816 kB
PageTables:        11848 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3849564 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3545088 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= 71668 MiB
End job on node114 at 2016-06-30 06:00:22