Trace number 4118087

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)-16901 1800.04 1005.65

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-BIGINT-NLC/
minlplib2-pb-0.1.0/opb/normalized-autocorr_bern50-50.opb
MD5SUM4326e1098508119ad2e7d2b32110faf3
Bench CategoryOPT-BIGINT-NLC (optimisation, big integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-19950
Best CPU time to get the best result obtained on this benchmark1800.1
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 30271
Biggest coefficient in the objective function 3863
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 1544400
Number of bits of the sum of numbers in the objective function 21
Biggest number in a constraint 3863
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 1544400
Number of bits of the biggest sum of numbers21
Number of products (including duplicates)30221
Sum of products size (including duplicates)98938
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.07/0.10	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.07/0.10	c This is free software under the dual EPL/GNU LGPL licenses.
0.07/0.10	c See www.sat4j.org for details.
0.07/0.10	c version PB16.v20160501
0.07/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.07/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.07/0.10	c java.vm.version	19.1-b02
0.07/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.07/0.10	c sun.arch.data.model	64
0.07/0.10	c java.version		1.6.0_24
0.07/0.10	c os.name		Linux
0.07/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.07/0.10	c os.arch		amd64
0.07/0.10	c Free memory 		501472288
0.07/0.10	c Max memory 		7480803328
0.07/0.10	c Total memory 		504102912
0.07/0.10	c Number of processors 	16
0.07/0.13	c Pseudo Boolean Optimization by upper bound
0.07/0.13	c ManyCore solver with 2 solvers running in parallel
0.07/0.13	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.07/0.13	c --- Begin Solver configuration ---
0.07/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@22c84d9
0.07/0.13	c Learn all clauses as in MiniSAT
0.07/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.07/0.13	c Expensive reason simplification
0.07/0.13	c Glucose 2.1 dynamic restart strategy
0.07/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.07/0.13	c timeout=2147483s
0.07/0.13	c DB Simplification allowed=false
0.07/0.13	c Listener: org.sat4j.pb.tools.ManyCorePB@3f7fa65e
0.07/0.13	c --- End Solver configuration ---
0.07/0.13	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.07/0.13	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.07/0.13	c --- Begin Solver configuration ---
0.07/0.13	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@558385e3
0.07/0.13	c Learn all clauses as in MiniSAT
0.07/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.13	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.07/0.13	c No reason simplification
0.07/0.13	c Armin Biere (Picosat) restarts strategy
0.07/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.07/0.13	c timeout=2147483s
0.07/0.13	c DB Simplification allowed=false
0.07/0.13	c Listener: org.sat4j.pb.tools.ManyCorePB@3f7fa65e
0.07/0.13	c --- End Solver configuration ---
0.07/0.13	c solving HOME/instance-4118087-1467220697.opb
0.07/0.13	c reading problem ... 
0.07/0.14	c  objective function found
25.42/24.75	c ... done. Wall clock time 24.617s.
25.42/24.75	c declared #vars     50
25.42/24.75	c internal #vars     30271
25.42/24.75	c #constraints  60442
25.42/24.75	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
25.42/24.75	c constraints type 
25.42/24.75	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 30221
25.42/24.75	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 30221
25.42/24.75	c 60442 constraints processed.
25.42/24.75	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
25.42/24.75	c constraints type 
25.42/24.75	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 30221
25.42/24.75	c org.sat4j.pb.constraints.pb.MaxWatchPb => 30221
25.42/24.75	c 60442 constraints processed.
25.42/24.75	c objective function length is 30271 literals
26.75/25.02	c And the winner is solver0
26.85/25.27	c SATISFIABLE
26.85/25.27	c OPTIMIZING...
26.85/25.27	c Got one! Elapsed wall clock time (in seconds):25.133
26.85/25.27	o 0
27.28/25.48	c And the winner is solver0
27.73/25.84	c Got one! Elapsed wall clock time (in seconds):25.704
27.73/25.84	o -588
27.86/25.99	c And the winner is solver0
28.22/26.39	c Got one! Elapsed wall clock time (in seconds):26.258
28.22/26.39	o -1128
28.27/26.47	c And the winner is solver0
28.44/26.93	c Got one! Elapsed wall clock time (in seconds):26.797
28.44/26.93	o -2057
28.68/27.06	c And the winner is solver0
28.98/27.47	c Got one! Elapsed wall clock time (in seconds):27.336
28.98/27.47	o -2491
29.02/27.57	c And the winner is solver0
29.21/28.01	c Got one! Elapsed wall clock time (in seconds):27.874
29.21/28.01	o -2896
29.21/28.07	c And the winner is solver0
29.32/28.54	c Got one! Elapsed wall clock time (in seconds):28.412
29.32/28.54	o -4038
29.42/28.69	c And the winner is solver0
29.60/29.08	c Got one! Elapsed wall clock time (in seconds):28.95
29.60/29.08	o -4111
29.97/29.24	c And the winner is solver0
30.08/29.62	c Got one! Elapsed wall clock time (in seconds):29.488
30.08/29.62	o -4438
30.08/29.71	c And the winner is solver0
30.23/30.16	c Got one! Elapsed wall clock time (in seconds):30.026
30.23/30.16	o -4772
30.28/30.23	c And the winner is solver0
30.37/30.70	c Got one! Elapsed wall clock time (in seconds):30.565
30.37/30.70	o -5054
30.37/30.78	c And the winner is solver0
30.52/31.23	c Got one! Elapsed wall clock time (in seconds):31.102
30.52/31.23	o -6053
31.41/31.53	c And the winner is solver0
31.54/31.77	c Got one! Elapsed wall clock time (in seconds):31.64
31.54/31.77	o -6296
31.77/31.97	c And the winner is solver0
31.91/32.31	c Got one! Elapsed wall clock time (in seconds):32.179
31.91/32.31	o -6757
32.89/32.77	c And the winner is solver0
33.07/32.85	c Got one! Elapsed wall clock time (in seconds):32.72
33.07/32.85	o -7211
33.80/33.12	c And the winner is solver0
33.83/33.39	c Got one! Elapsed wall clock time (in seconds):33.258
33.83/33.39	o -7382
34.01/33.58	c And the winner is solver0
34.20/33.93	c Got one! Elapsed wall clock time (in seconds):33.797
34.20/33.93	o -7879
35.34/34.59	c And the winner is solver0
35.63/34.97	c Got one! Elapsed wall clock time (in seconds):34.835
35.63/34.97	o -8150
36.07/35.26	c And the winner is solver0
36.20/35.51	c Got one! Elapsed wall clock time (in seconds):35.375
36.20/35.51	o -8340
36.54/35.73	c And the winner is solver0
36.63/36.05	c Got one! Elapsed wall clock time (in seconds):35.916
36.63/36.05	o -8519
36.89/36.20	c And the winner is solver0
36.92/36.59	c Got one! Elapsed wall clock time (in seconds):36.457
36.92/36.59	o -8627
36.93/36.68	c And the winner is solver0
37.09/37.13	c Got one! Elapsed wall clock time (in seconds):36.998
37.09/37.13	o -9692
42.78/39.66	c And the winner is solver0
42.90/39.72	c Got one! Elapsed wall clock time (in seconds):39.589
42.90/39.72	o -9711
46.02/41.18	c And the winner is solver0
46.22/41.26	c Got one! Elapsed wall clock time (in seconds):41.127
46.22/41.26	o -9904
48.47/42.41	c And the winner is solver0
48.50/42.80	c Got one! Elapsed wall clock time (in seconds):42.664
48.50/42.80	o -9954
48.69/42.95	c And the winner is solver0
48.81/43.33	c Got one! Elapsed wall clock time (in seconds):43.202
48.81/43.33	o -10739
52.18/44.98	c And the winner is solver0
52.37/45.37	c Got one! Elapsed wall clock time (in seconds):45.239
52.37/45.37	o -10819
53.78/46.20	c And the winner is solver0
54.01/46.41	c Got one! Elapsed wall clock time (in seconds):46.277
54.01/46.41	o -10840
54.34/46.60	c And the winner is solver0
54.37/46.95	c Got one! Elapsed wall clock time (in seconds):46.817
54.37/46.95	o -10858
54.43/47.07	c And the winner is solver0
54.63/47.49	c Got one! Elapsed wall clock time (in seconds):47.356
54.63/47.49	o -11841
72.10/56.10	c And the winner is solver0
74.78/58.69	c Got one! Elapsed wall clock time (in seconds):58.554
74.78/58.69	o -12230
95.03/68.50	c And the winner is solver0
96.51/69.83	c Got one! Elapsed wall clock time (in seconds):69.695
96.51/69.83	o -12380
107.33/74.92	c cleaning 3605 clauses out of 7211 with flag 2021/7211
107.51/75.04	c And the winner is solver0
113.85/81.33	c Got one! Elapsed wall clock time (in seconds):81.199
113.85/81.33	o -12814
118.37/83.70	c And the winner is solver0
118.55/83.87	c Got one! Elapsed wall clock time (in seconds):83.737
118.55/83.87	o -12884
121.17/85.22	c And the winner is solver0
121.23/85.41	c Got one! Elapsed wall clock time (in seconds):85.275
121.23/85.41	o -12908
124.31/86.87	c And the winner is solver0
124.48/86.94	c Got one! Elapsed wall clock time (in seconds):86.812
124.48/86.94	o -13471
160.11/104.79	c And the winner is solver0
165.61/110.20	c Got one! Elapsed wall clock time (in seconds):110.068
165.61/110.20	o -13488
182.98/118.96	c cleaning 5220 clauses out of 10439 with flag 4004/14044
183.76/119.40	c And the winner is solver0
183.96/119.74	c Got one! Elapsed wall clock time (in seconds):119.61
183.96/119.74	o -13605
195.25/125.47	c And the winner is solver0
198.62/128.79	c Got one! Elapsed wall clock time (in seconds):128.659
198.62/128.79	o -13606
202.42/130.80	c And the winner is solver0
209.61/137.80	c Got one! Elapsed wall clock time (in seconds):137.668
209.61/137.80	o -13628
210.76/138.43	c And the winner is solver0
219.20/146.86	c Got one! Elapsed wall clock time (in seconds):146.729
219.20/146.86	o -13754
219.85/147.29	c And the winner is solver0
228.64/155.92	c Got one! Elapsed wall clock time (in seconds):155.792
228.64/155.92	o -13758
229.16/156.29	c And the winner is solver0
237.94/164.99	c Got one! Elapsed wall clock time (in seconds):164.855
237.94/164.99	o -13799
238.55/165.33	c And the winner is solver0
247.24/174.00	c Got one! Elapsed wall clock time (in seconds):173.87
247.24/174.00	o -14690
283.95/192.19	c cleaning 5657 clauses out of 11316 with flag 8001/20141
341.02/220.48	c cleaning 5828 clauses out of 11660 with flag 20003/26142
361.77/230.57	c And the winner is solver0
369.31/238.13	c Got one! Elapsed wall clock time (in seconds):237.993
369.31/238.13	o -14716
391.31/249.28	c And the winner is solver0
391.60/249.67	c Got one! Elapsed wall clock time (in seconds):249.534
391.60/249.67	o -14723
401.49/254.56	c And the winner is solver0
408.20/261.22	c Got one! Elapsed wall clock time (in seconds):261.09
408.20/261.22	o -14724
413.89/264.05	c And the winner is solver0
422.41/272.53	c Got one! Elapsed wall clock time (in seconds):272.396
422.41/272.53	o -15124
432.50/277.63	c cleaning 6382 clauses out of 12763 with flag 2001/33073
484.58/303.52	c cleaning 6189 clauses out of 12382 with flag 14003/39074
552.68/337.20	c cleaning 6596 clauses out of 13192 with flag 28001/46073
568.82/345.27	c And the winner is solver0
573.92/350.50	c Got one! Elapsed wall clock time (in seconds):350.366
573.92/350.50	o -15232
611.53/369.11	c cleaning 6103 clauses out of 12210 with flag 8004/51687
655.31/390.95	c And the winner is solver0
657.37/393.10	c Got one! Elapsed wall clock time (in seconds):392.968
657.37/393.10	o -15234
667.77/398.20	c cleaning 5865 clauses out of 11737 with flag 2016/57317
697.02/412.78	c And the winner is solver0
698.17/413.85	c Got one! Elapsed wall clock time (in seconds):413.717
698.17/413.85	o -15461
714.22/421.92	c And the winner is solver0
716.44/424.20	c Got one! Elapsed wall clock time (in seconds):424.064
716.44/424.20	o -15488
726.29/429.16	c And the winner is solver0
731.62/434.50	c Got one! Elapsed wall clock time (in seconds):434.37
731.62/434.50	o -15502
741.43/439.46	c And the winner is solver0
746.83/444.81	c Got one! Elapsed wall clock time (in seconds):444.675
746.83/444.81	o -15657
757.77/450.14	c cleaning 6797 clauses out of 13596 with flag 2003/65041
812.81/477.44	c cleaning 6399 clauses out of 12798 with flag 14001/71040
880.18/510.68	c cleaning 6698 clauses out of 13400 with flag 28003/78041
957.95/549.39	c cleaning 7349 clauses out of 14702 with flag 44003/86041
982.03/561.19	c And the winner is solver0
982.03/561.44	c Got one! Elapsed wall clock time (in seconds):561.304
982.03/561.44	o -15723
1012.37/576.27	c cleaning 6437 clauses out of 12874 with flag 6167/91562
1013.97/577.08	c And the winner is solver0
1021.22/584.30	c Got one! Elapsed wall clock time (in seconds):584.163
1021.22/584.30	o -15739
1053.38/600.21	c And the winner is solver0
1058.76/605.70	c Got one! Elapsed wall clock time (in seconds):605.563
1058.76/605.70	o -15748
1063.79/608.24	c And the winner is solver0
1071.64/616.05	c Got one! Elapsed wall clock time (in seconds):615.917
1071.64/616.05	o -15759
1073.50/617.06	c And the winner is solver0
1082.38/625.86	c Got one! Elapsed wall clock time (in seconds):625.727
1082.38/625.86	o -15760
1083.45/626.47	c And the winner is solver0
1083.66/626.90	c Got one! Elapsed wall clock time (in seconds):626.767
1083.66/626.90	o -15768
1084.62/627.45	c And the winner is solver0
1084.79/627.94	c Got one! Elapsed wall clock time (in seconds):627.807
1084.79/627.94	o -15770
1084.87/628.05	c And the winner is solver0
1085.21/628.48	c Got one! Elapsed wall clock time (in seconds):628.347
1085.21/628.48	o -15772
1085.41/628.60	c And the winner is solver0
1085.62/629.02	c Got one! Elapsed wall clock time (in seconds):628.887
1085.62/629.02	o -16051
1103.33/638.00	c cleaning 6329 clauses out of 12662 with flag 4004/97787
1160.80/666.05	c cleaning 6162 clauses out of 12332 with flag 16002/103786
1226.25/698.41	c cleaning 6586 clauses out of 13171 with flag 30004/110787
1236.84/703.74	c And the winner is solver0
1244.43/711.49	c Got one! Elapsed wall clock time (in seconds):711.354
1244.43/711.49	o -16139
1283.88/731.13	c cleaning 5845 clauses out of 11689 with flag 8003/115891
1330.36/754.25	c And the winner is solver0
1334.61/758.61	c Got one! Elapsed wall clock time (in seconds):758.478
1334.61/758.61	o -16155
1343.95/763.33	c cleaning 5778 clauses out of 11556 with flag 2004/121603
1370.94/776.82	c And the winner is solver0
1371.64/777.56	c Got one! Elapsed wall clock time (in seconds):777.424
1371.64/777.56	o -16188
1392.67/788.15	c And the winner is solver0
1392.80/788.60	c Got one! Elapsed wall clock time (in seconds):788.468
1392.80/788.60	o -16219
1401.45/792.66	c And the winner is solver0
1407.87/799.01	c Got one! Elapsed wall clock time (in seconds):798.875
1407.87/799.01	o -16232
1410.41/800.33	c And the winner is solver0
1419.36/809.26	c Got one! Elapsed wall clock time (in seconds):809.132
1419.36/809.26	o -16255
1421.80/810.57	c And the winner is solver0
1430.86/819.52	c Got one! Elapsed wall clock time (in seconds):819.393
1430.86/819.52	o -16292
1434.96/821.62	c And the winner is solver0
1443.08/829.78	c Got one! Elapsed wall clock time (in seconds):829.649
1443.08/829.78	o -16306
1444.33/830.45	c And the winner is solver0
1445.62/831.14	c Got one! Elapsed wall clock time (in seconds):831.006
1445.62/831.14	o -16901
1455.71/836.22	c cleaning 6739 clauses out of 13492 with flag 2003/129317
1508.51/862.43	c cleaning 6374 clauses out of 12753 with flag 14003/135317
1571.10/893.38	c cleaning 6685 clauses out of 13379 with flag 28003/142317
1644.57/929.75	c cleaning 7345 clauses out of 14694 with flag 44003/150317
1726.49/970.00	c cleaning 8174 clauses out of 16349 with flag 62003/159317
1800.04/1005.63	c >>>>>>>>>> Solver number 0 (72 answers) <<<<<<<<<<<<<<<<<<
1800.04/1005.63	c starts		: 73
1800.04/1005.63	c conflicts		: 167203
1800.04/1005.63	c decisions		: 170489
1800.04/1005.63	c propagations		: 352684822
1800.04/1005.63	c inspects		: 1285803189
1800.04/1005.63	c shortcuts		: 0
1800.04/1005.63	c learnt literals	: 0
1800.04/1005.63	c learnt binary clauses	: 0
1800.04/1005.63	c learnt ternary clauses	: 0
1800.04/1005.63	c learnt constraints	: 167202
1800.04/1005.63	c ignored constraints	: 0
1800.04/1005.63	c root simplifications	: 0
1800.04/1005.63	c removed literals (reason simplification)	: 675792120
1800.04/1005.63	c reason swapping (by a shorter reason)	: 0
1800.04/1005.63	c Calls to reduceDB	: 24
1800.04/1005.63	c Number of update (reduction) of LBD	: 184
1800.04/1005.63	c Imported unit clauses	: 0
1800.04/1005.63	c number of reductions to clauses (during analyze)	: 0
1800.04/1005.63	c number of learned constraints concerned by reduction	: 0
1800.04/1005.63	c number of learning phase by resolution	: 0
1800.04/1005.63	c number of learning phase by cutting planes	: 0
1800.04/1005.63	c speed (assignments/second)	: 359613.86189091415
1800.04/1005.63	c non guided choices	0
1800.04/1005.63	c learnt constraints type 
1800.04/1005.63	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 16061
1800.04/1005.63	c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<<
1800.04/1005.63	c starts		: 73
1800.04/1005.63	c conflicts		: 112
1800.04/1005.63	c decisions		: 3492
1800.04/1005.63	c propagations		: 2145010
1800.04/1005.63	c inspects		: 12817789
1800.04/1005.63	c shortcuts		: 0
1800.04/1005.63	c learnt literals	: 0
1800.04/1005.63	c learnt binary clauses	: 0
1800.04/1005.63	c learnt ternary clauses	: 0
1800.04/1005.63	c learnt constraints	: 42
1800.04/1005.63	c ignored constraints	: 0
1800.04/1005.63	c root simplifications	: 0
1800.04/1005.63	c removed literals (reason simplification)	: 0
1800.04/1005.63	c reason swapping (by a shorter reason)	: 0
1800.04/1005.63	c Calls to reduceDB	: 0
1800.04/1005.63	c Number of update (reduction) of LBD	: 0
1800.04/1005.63	c Imported unit clauses	: 0
1800.04/1005.63	c number of reductions to clauses (during analyze)	: 0
1800.04/1005.63	c number of learned constraints concerned by reduction	: 0
1800.04/1005.63	c number of learning phase by resolution	: 0
1800.04/1005.63	c number of learning phase by cutting planes	: 0
1800.04/1005.63	c speed (assignments/second)	: 12295.773598317006
1800.04/1005.63	c non guided choices	0
1800.04/1005.63	c learnt constraints type 
1800.04/1005.63	c org.sat4j.pb.constraints.pb.MaxWatchPb => 42
1800.04/1005.63	s SATISFIABLE
1800.04/1005.63	c Found 72 solution(s)
1800.04/1005.63	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 
1800.04/1005.64	c objective function=-16901
1800.04/1005.64	c Total wall clock time (in seconds): 1005.503

Verifier Data

OK	-16901

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-4118087-1467220697/watcher-4118087-1467220697 -o /tmp/evaluation-result-4118087-1467220697/solver-4118087-1467220697 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1467209088-6738 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4118087-1467220697.opb 

pid=11524
running on 8 cores: 4-7,12-15

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.99 3.95 3.78 4/284 11527
/proc/meminfo: memFree=25125496/32872528 swapFree=8828/8828
[pid=11527] ppid=11524 vsize=2500 CPUtime=0 cores=4-7,12-15
/proc/11527/stat : 11527 (java) R 11524 11527 6721 0 -1 4202496 377 0 0 0 0 0 0 0 20 0 1 0 3022499 2560000 47 33554432000 1073741824 1073778376 140737319162336 140737319159464 216799472935 0 0 4096 0 0 0 0 17 14 0 0 0 0 0
/proc/11527/statm: 626 48 37 9 0 30 0

[startup+0.101698 s]
/proc/loadavg: 3.99 3.95 3.78 4/284 11527
/proc/meminfo: memFree=25125496/32872528 swapFree=8828/8828
[pid=11527] ppid=11524 vsize=9896436 CPUtime=0.07 cores=4-7,12-15
/proc/11527/stat : 11527 (java) S 11524 11527 6721 0 -1 4202496 3943 0 1 0 6 1 0 0 20 0 23 0 3022499 10133950464 5072 33554432000 1073741824 1073778376 140737319162336 140737319153472 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/11527/statm: 2474109 5076 2007 9 0 2464786 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9896436

[startup+0.200331 s]
/proc/loadavg: 3.99 3.95 3.78 4/284 11527
/proc/meminfo: memFree=25125496/32872528 swapFree=8828/8828
[pid=11527] ppid=11524 vsize=9896436 CPUtime=0.22 cores=4-7,12-15
/proc/11527/stat : 11527 (java) S 11524 11527 6721 0 -1 4202496 4643 0 1 0 21 1 0 0 20 0 23 0 3022499 10133950464 7271 33554432000 1073741824 1073778376 140737319162336 140737319153472 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/11527/statm: 2474109 7271 2197 9 0 2464786 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 9896436

[startup+0.300248 s]
/proc/loadavg: 3.99 3.95 3.78 4/284 11527
/proc/meminfo: memFree=25125496/32872528 swapFree=8828/8828
[pid=11527] ppid=11524 vsize=9896436 CPUtime=0.43 cores=4-7,12-15
/proc/11527/stat : 11527 (java) S 11524 11527 6721 0 -1 4202496 5192 0 1 0 42 1 0 0 20 0 23 0 3022499 10133950464 8237 33554432000 1073741824 1073778376 140737319162336 140737319153472 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/11527/statm: 2474109 8237 2233 9 0 2464786 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 9896436

[startup+0.700191 s]
/proc/loadavg: 3.99 3.95 3.78 4/284 11527
/proc/meminfo: memFree=25125496/32872528 swapFree=8828/8828
[pid=11527] ppid=11524 vsize=9896436 CPUtime=1.15 cores=4-7,12-15
/proc/11527/stat : 11527 (java) S 11524 11527 6721 0 -1 4202496 8966 0 1 0 113 2 0 0 20 0 23 0 3022499 10133950464 13708 33554432000 1073741824 1073778376 140737319162336 140737319153472 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/11527/statm: 2474109 13708 2247 9 0 2464786 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 9896436

[startup+1.50093 s]
/proc/loadavg: 3.91 3.94 3.78 4/307 11550
/proc/meminfo: memFree=25070012/32872528 swapFree=8828/8828
[pid=11527] ppid=11524 vsize=9896436 CPUtime=2.03 cores=4-7,12-15
/proc/11527/stat : 11527 (java) S 11524 11527 6721 0 -1 4202496 9398 0 1 0 201 2 0 0 20 0 23 0 3022499 10133950464 17285 33554432000 1073741824 1073778376 140737319162336 140737319153472 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/11527/statm: 2474109 17285 2251 9 0 2464786 0
[pid=11527/tid=11529] ppid=11524 vsize=9896436 CPUtime=1.45 cores=4-7,12-15
/proc/11527/task/11529/stat : 11529 (java) R 11524 11527 6721 0 -1 4202560 2454 0 1 0 144 1 0 0 20 0 23 0 3022500 10133950464 17285 33554432000 1073741824 1073778376 140737319162336 140239552383096 140239423564677 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=11527/tid=11530] ppid=11524 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11530/stat : 11530 (java) S 11524 11527 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 3022502 10133950464 17285 33554432000 1073741824 1073778376 140737319162336 140239395567784 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=11527/tid=11531] ppid=11524 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11531/stat : 11531 (java) S 11524 11527 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 3022502 10133950464 17285 33554432000 1073741824 1073778376 140737319162336 140239394515240 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11527/tid=11532] ppid=11524 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11532/stat : 11532 (java) S 11524 11527 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 3022502 10133950464 17285 33554432000 1073741824 1073778376 140737319162336 140239393462696 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11527/tid=11533] ppid=11524 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11533/stat : 11533 (java) S 11524 11527 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 3022502 10133950464 17285 33554432000 1073741824 1073778376 140737319162336 140239392410152 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11527/tid=11534] ppid=11524 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11534/stat : 11534 (java) S 11524 11527 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 3022502 10133950464 17285 33554432000 1073741824 1073778376 140737319162336 140239391357608 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11527/tid=11535] ppid=11524 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11535/stat : 11535 (java) S 11524 11527 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 3022502 10133950464 17285 33554432000 1073741824 1073778376 140737319162336 140239390305064 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11527/tid=11536] ppid=11524 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11536/stat : 11536 (java) S 11524 11527 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 3022502 10133950464 17285 33554432000 1073741824 1073778376 140737319162336 140239389252520 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11527/tid=11537] ppid=11524 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11537/stat : 11537 (java) S 11524 11527 6721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 23 0 3022502 10133950464 17285 33554432000 1073741824 1073778376 140737319162336 140239388199976 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=11527/tid=11538] ppid=11524 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11538/stat : 11538 (java) S 11524 11527 6721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 23 0 3022502 10133950464 17285 33554432000 1073741824 1073778376 140737319162336 140239387146408 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=11527/tid=11539] ppid=11524 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11539/stat : 11539 (java) S 11524 11527 6721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 23 0 3022502 10133950464 17285 33554432000 1073741824 1073778376 140737319162336 140239386093864 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=11527/tid=11540] ppid=11524 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11540/stat : 11540 (java) S 11524 11527 6721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 23 0 3022502 10133950464 17285 33554432000 1073741824 1073778376 140737319162336 140239385041320 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=11527/tid=11541] ppid=11524 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11541/stat : 11541 (java) S 11524 11527 6721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 23 0 3022502 10133950464 17285 33554432000 1073741824 1073778376 140737319162336 140239383988776 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11527/tid=11542] ppid=11524 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11542/stat : 11542 (java) S 11524 11527 6721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 23 0 3022502 10133950464 17285 33554432000 1073741824 1073778376 140737319162336 140239382936232 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11527/tid=11543] ppid=11524 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11543/stat : 11543 (java) S 11524 11527 6721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 23 0 3022503 10133950464 17285 33554432000 1073741824 1073778376 140737319162336 140239365475048 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11527/tid=11544] ppid=11524 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11544/stat : 11544 (java) S 11524 11527 6721 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 23 0 3022504 10133950464 17285 33554432000 1073741824 1073778376 140737319162336 140239364421368 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=11527/tid=11545] ppid=11524 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11545/stat : 11545 (java) S 11524 11527 6721 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 23 0 3022504 10133950464 17285 33554432000 1073741824 1073778376 140737319162336 140239363368712 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=11527/tid=11546] ppid=11524 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11546/stat : 11546 (java) S 11524 11527 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 3022507 10133950464 17285 33554432000 1073741824 1073778376 140737319162336 140239362316432 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=11527/tid=11547] ppid=11524 vsize=9896436 CPUtime=0.31 cores=4-7,12-15
/proc/11527/task/11547/stat : 11547 (java) S 11524 11527 6721 0 -1 4202560 3901 0 0 0 31 0 0 0 20 0 23 0 3022507 10133950464 17285 33554432000 1073741824 1073778376 140737319162336 140239361263800 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=11527/tid=11548] ppid=11524 vsize=9896436 CPUtime=0.22 cores=4-7,12-15
/proc/11527/task/11548/stat : 11548 (java) S 11524 11527 6721 0 -1 4202560 1764 0 0 0 22 0 0 0 20 0 23 0 3022507 10133950464 17285 33554432000 1073741824 1073778376 140737319162336 140239360211256 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=11527/tid=11549] ppid=11524 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11549/stat : 11549 (java) S 11524 11527 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 3022507 10133950464 17285 33554432000 1073741824 1073778376 140737319162336 140239359158904 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=11527/tid=11550] ppid=11524 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11550/stat : 11550 (java) S 11524 11527 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 3022507 10133950464 17285 33554432000 1073741824 1073778376 140737319162336 140239358106568 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.03
Current children cumulated vsize (KiB) 9896436

[startup+3.10096 s]
/proc/loadavg: 3.91 3.94 3.78 4/307 11550
/proc/meminfo: memFree=25053504/32872528 swapFree=8828/8828
[pid=11527] ppid=11524 vsize=9896436 CPUtime=3.81 cores=4-7,12-15
/proc/11527/stat : 11527 (java) S 11524 11527 6721 0 -1 4202496 9448 0 1 0 378 3 0 0 20 0 23 0 3022499 10133950464 22440 33554432000 1073741824 1073778376 140737319162336 140737319153472 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/11527/statm: 2474109 22440 2252 9 0 2464786 0
[pid=11527/tid=11529] ppid=11524 vsize=9896436 CPUtime=3.04 cores=4-7,12-15
/proc/11527/task/11529/stat : 11529 (java) R 11524 11527 6721 0 -1 4202560 2466 0 1 0 302 2 0 0 20 0 23 0 3022500 10133950464 22440 33554432000 1073741824 1073778376 140737319162336 140239552383096 140239423564825 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=11527/tid=11530] ppid=11524 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11530/stat : 11530 (java) S 11524 11527 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 3022502 10133950464 22440 33554432000 1073741824 1073778376 140737319162336 140239395567784 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=11527/tid=11531] ppid=11524 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11531/stat : 11531 (java) S 11524 11527 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 3022502 10133950464 22440 33554432000 1073741824 1073778376 140737319162336 140239394515240 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11527/tid=11532] ppid=11524 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11532/stat : 11532 (java) S 11524 11527 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 3022502 10133950464 22440 33554432000 1073741824 1073778376 140737319162336 140239393462696 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11527/tid=11533] ppid=11524 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11533/stat : 11533 (java) S 11524 11527 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 3022502 10133950464 22440 33554432000 1073741824 1073778376 140737319162336 140239392410152 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11527/tid=11534] ppid=11524 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11534/stat : 11534 (java) S 11524 11527 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 3022502 10133950464 22440 33554432000 1073741824 1073778376 140737319162336 140239391357608 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11527/tid=11535] ppid=11524 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11535/stat : 11535 (java) S 11524 11527 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 3022502 10133950464 22440 33554432000 1073741824 1073778376 140737319162336 140239390305064 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11527/tid=11536] ppid=11524 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11536/stat : 11536 (java) S 11524 11527 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 3022502 10133950464 22440 33554432000 1073741824 1073778376 140737319162336 140239389252520 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11527/tid=11537] ppid=11524 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11537/stat : 11537 (java) S 11524 11527 6721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 23 0 3022502 10133950464 22440 33554432000 1073741824 1073778376 140737319162336 140239388199976 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=11527/tid=11538] ppid=11524 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11538/stat : 11538 (java) S 11524 11527 6721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 23 0 3022502 10133950464 22440 33554432000 1073741824 1073778376 140737319162336 140239387146408 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=11527/tid=11539] ppid=11524 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11539/stat : 11539 (java) S 11524 11527 6721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 23 0 3022502 10133950464 22440 33554432000 1073741824 1073778376 140737319162336 140239386093864 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=11527/tid=11540] ppid=11524 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11540/stat : 11540 (java) S 11524 11527 6721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 23 0 3022502 10133950464 22440 33554432000 1073741824 1073778376 140737319162336 140239385041320 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=11527/tid=11541] ppid=11524 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11541/stat : 11541 (java) S 11524 11527 6721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 23 0 3022502 10133950464 22440 33554432000 1073741824 1073778376 140737319162336 140239383988776 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11527/tid=11542] ppid=11524 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11542/stat : 11542 (java) S 11524 11527 6721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 23 0 3022502 10133950464 22440 33554432000 1073741824 1073778376 140737319162336 140239382936232 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11527/tid=11543] ppid=11524 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11543/stat : 11543 (java) S 11524 11527 6721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 23 0 3022503 10133950464 22440 33554432000 1073741824 1073778376 140737319162336 140239365475048 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11527/tid=11544] ppid=11524 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11544/stat : 11544 (java) S 11524 11527 6721 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 23 0 3022504 10133950464 22440 33554432000 1073741824 1073778376 140737319162336 140239364421368 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=11527/tid=11545] ppid=11524 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11545/stat : 11545 (java) S 11524 11527 6721 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 23 0 3022504 10133950464 22440 33554432000 1073741824 1073778376 140737319162336 140239363368712 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=11527/tid=11546] ppid=11524 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11546/stat : 11546 (java) S 11524 11527 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 3022507 10133950464 22440 33554432000 1073741824 1073778376 140737319162336 140239362316432 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=11527/tid=11547] ppid=11524 vsize=9896436 CPUtime=0.4 cores=4-7,12-15
/proc/11527/task/11547/stat : 11547 (java) S 11524 11527 6721 0 -1 4202560 3909 0 0 0 40 0 0 0 20 0 23 0 3022507 10133950464 22440 33554432000 1073741824 1073778376 140737319162336 140239361263800 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=11527/tid=11548] ppid=11524 vsize=9896436 CPUtime=0.3 cores=4-7,12-15
/proc/11527/task/11548/stat : 11548 (java) S 11524 11527 6721 0 -1 4202560 1794 0 0 0 30 0 0 0 20 0 23 0 3022507 10133950464 22440 33554432000 1073741824 1073778376 140737319162336 140239360211256 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=11527/tid=11549] ppid=11524 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11549/stat : 11549 (java) S 11524 11527 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 3022507 10133950464 22440 33554432000 1073741824 1073778376 140737319162336 140239359158904 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=11527/tid=11550] ppid=11524 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11550/stat : 11550 (java) S 11524 11527 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 3022507 10133950464 22440 33554432000 1073741824 1073778376 140737319162336 140239358106568 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 3.81
Current children cumulated vsize (KiB) 9896436

[startup+6.30102 s]
/proc/loadavg: 3.91 3.94 3.78 4/307 11550
/proc/meminfo: memFree=25020672/32872528 swapFree=8828/8828
[pid=11527] ppid=11524 vsize=9896436 CPUtime=7.01 cores=4-7,12-15
/proc/11527/stat : 11527 (java) S 11524 11527 6721 0 -1 4202496 9463 0 1 0 698 3 0 0 20 0 23 0 3022499 10133950464 28831 33554432000 1073741824 1073778376 140737319162336 140737319153472 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/11527/statm: 2474109 28831 2253 9 0 2464786 0
[pid=11527/tid=11529] ppid=11524 vsize=9896436 CPUtime=6.23 cores=4-7,12-15
/proc/11527/task/11529/stat : 11529 (java) R 11524 11527 6721 0 -1 4202560 2480 0 1 0 621 2 0 0 20 0 23 0 3022500 10133950464 28831 33554432000 1073741824 1073778376 140737319162336 140239552376576 140239423565161 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=11527/tid=11530] ppid=11524 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11530/stat : 11530 (java) S 11524 11527 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 3022502 10133950464 28831 33554432000 1073741824 1073778376 140737319162336 140239395567784 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=11527/tid=11531] ppid=11524 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11531/stat : 11531 (java) S 11524 11527 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 3022502 10133950464 28831 33554432000 1073741824 1073778376 140737319162336 140239394515240 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11527/tid=11532] ppid=11524 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11532/stat : 11532 (java) S 11524 11527 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 3022502 10133950464 28831 33554432000 1073741824 1073778376 140737319162336 140239393462696 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11527/tid=11533] ppid=11524 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11533/stat : 11533 (java) S 11524 11527 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 3022502 10133950464 28831 33554432000 1073741824 1073778376 140737319162336 140239392410152 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11527/tid=11534] ppid=11524 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11534/stat : 11534 (java) S 11524 11527 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 3022502 10133950464 28831 33554432000 1073741824 1073778376 140737319162336 140239391357608 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11527/tid=11535] ppid=11524 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11535/stat : 11535 (java) S 11524 11527 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 3022502 10133950464 28831 33554432000 1073741824 1073778376 140737319162336 140239390305064 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11527/tid=11536] ppid=11524 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11536/stat : 11536 (java) S 11524 11527 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 3022502 10133950464 28831 33554432000 1073741824 1073778376 140737319162336 140239389252520 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11527/tid=11537] ppid=11524 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11537/stat : 11537 (java) S 11524 11527 6721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 23 0 3022502 10133950464 28831 33554432000 1073741824 1073778376 140737319162336 140239388199976 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=11527/tid=11538] ppid=11524 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11538/stat : 11538 (java) S 11524 11527 6721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 23 0 3022502 10133950464 28831 33554432000 1073741824 1073778376 140737319162336 140239387146408 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=11527/tid=11539] ppid=11524 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11539/stat : 11539 (java) S 11524 11527 6721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 23 0 3022502 10133950464 28831 33554432000 1073741824 1073778376 140737319162336 140239386093864 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=11527/tid=11540] ppid=11524 vsize=9896436 CPUtime=0 cores=4-7,12-15

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

[pid=11527/tid=12089] ppid=11524 vsize=10162692 CPUtime=110.38 cores=4-7,12-15
/proc/11527/task/12089/stat : 12089 (java) R 11524 11527 6721 0 -1 4202560 6 0 0 0 11037 1 0 0 20 0 27 0 3105617 10406596608 669194 33554432000 1073741824 1073778376 140737319162336 140237795744944 140239424206932 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=11527/tid=12090] ppid=11524 vsize=10162692 CPUtime=110.39 cores=4-7,12-15
/proc/11527/task/12090/stat : 12090 (java) R 11524 11527 6721 0 -1 4202560 9 0 0 0 11038 1 0 0 20 0 27 0 3105617 10406596608 669194 33554432000 1073741824 1073778376 140737319162336 140239355899584 140239424555964 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=11527/tid=12091] ppid=11524 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/11527/task/12091/stat : 12091 (java) S 11524 11527 6721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 27 0 3105618 10406596608 669194 33554432000 1073741824 1073778376 140737319162336 140239356953384 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 1669.48
Current children cumulated vsize (KiB) 10162692

[startup+1002.3 s]
/proc/loadavg: 3.98 3.78 3.68 5/311 12103
/proc/meminfo: memFree=23758972/32872528 swapFree=8828/8828
[pid=11527] ppid=11524 vsize=10162692 CPUtime=1791.45 cores=4-7,12-15
/proc/11527/stat : 11527 (java) S 11524 11527 6721 0 -1 4202496 35332 0 1 0 178113 1032 0 0 20 0 27 0 3022499 10406596608 667988 33554432000 1073741824 1073778376 140737319162336 140737319153472 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/11527/statm: 2540673 667988 2304 9 0 2531350 0
[pid=11527/tid=11529] ppid=11524 vsize=10162692 CPUtime=27.57 cores=4-7,12-15
/proc/11527/task/11529/stat : 11529 (java) S 11524 11527 6721 0 -1 4202560 2596 0 1 0 2747 10 0 0 20 0 27 0 3022500 10406596608 667988 33554432000 1073741824 1073778376 140737319162336 140239552385912 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11527/tid=11530] ppid=11524 vsize=10162692 CPUtime=2.46 cores=4-7,12-15
/proc/11527/task/11530/stat : 11530 (java) S 11524 11527 6721 0 -1 4202560 659 0 0 0 186 60 0 0 20 0 27 0 3022502 10406596608 667988 33554432000 1073741824 1073778376 140737319162336 140239395567784 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=11527/tid=11531] ppid=11524 vsize=10162692 CPUtime=2.52 cores=4-7,12-15
/proc/11527/task/11531/stat : 11531 (java) S 11524 11527 6721 0 -1 4202560 833 0 0 0 178 74 0 0 20 0 27 0 3022502 10406596608 667988 33554432000 1073741824 1073778376 140737319162336 140239394515240 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=11527/tid=11532] ppid=11524 vsize=10162692 CPUtime=2.39 cores=4-7,12-15
/proc/11527/task/11532/stat : 11532 (java) S 11524 11527 6721 0 -1 4202560 614 0 0 0 181 58 0 0 20 0 27 0 3022502 10406596608 667988 33554432000 1073741824 1073778376 140737319162336 140239393462696 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=11527/tid=11533] ppid=11524 vsize=10162692 CPUtime=2.18 cores=4-7,12-15
/proc/11527/task/11533/stat : 11533 (java) S 11524 11527 6721 0 -1 4202560 560 0 0 0 164 54 0 0 20 0 27 0 3022502 10406596608 667988 33554432000 1073741824 1073778376 140737319162336 140239392410152 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=11527/tid=11534] ppid=11524 vsize=10162692 CPUtime=2.55 cores=4-7,12-15
/proc/11527/task/11534/stat : 11534 (java) S 11524 11527 6721 0 -1 4202560 608 0 0 0 194 61 0 0 20 0 27 0 3022502 10406596608 667988 33554432000 1073741824 1073778376 140737319162336 140239391357608 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11527/tid=11535] ppid=11524 vsize=10162692 CPUtime=2.79 cores=4-7,12-15
/proc/11527/task/11535/stat : 11535 (java) S 11524 11527 6721 0 -1 4202560 616 0 0 0 211 68 0 0 20 0 27 0 3022502 10406596608 667988 33554432000 1073741824 1073778376 140737319162336 140239390305064 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=11527/tid=11536] ppid=11524 vsize=10162692 CPUtime=2.36 cores=4-7,12-15
/proc/11527/task/11536/stat : 11536 (java) S 11524 11527 6721 0 -1 4202560 555 0 0 0 182 54 0 0 20 0 27 0 3022502 10406596608 667988 33554432000 1073741824 1073778376 140737319162336 140239389252520 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=11527/tid=11537] ppid=11524 vsize=10162692 CPUtime=2.55 cores=4-7,12-15
/proc/11527/task/11537/stat : 11537 (java) S 11524 11527 6721 0 -1 4202560 750 0 0 0 192 63 0 0 20 0 27 0 3022502 10406596608 667988 33554432000 1073741824 1073778376 140737319162336 140239388199976 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=11527/tid=11538] ppid=11524 vsize=10162692 CPUtime=2.59 cores=4-7,12-15
/proc/11527/task/11538/stat : 11538 (java) S 11524 11527 6721 0 -1 4202560 595 0 0 0 199 60 0 0 20 0 27 0 3022502 10406596608 667988 33554432000 1073741824 1073778376 140737319162336 140239387146408 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11527/tid=11539] ppid=11524 vsize=10162692 CPUtime=2.58 cores=4-7,12-15
/proc/11527/task/11539/stat : 11539 (java) S 11524 11527 6721 0 -1 4202560 697 0 0 0 194 64 0 0 20 0 27 0 3022502 10406596608 667988 33554432000 1073741824 1073778376 140737319162336 140239386093864 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11527/tid=11540] ppid=11524 vsize=10162692 CPUtime=2.37 cores=4-7,12-15
/proc/11527/task/11540/stat : 11540 (java) S 11524 11527 6721 0 -1 4202560 648 0 0 0 178 59 0 0 20 0 27 0 3022502 10406596608 667988 33554432000 1073741824 1073778376 140737319162336 140239385041320 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11527/tid=11541] ppid=11524 vsize=10162692 CPUtime=2.43 cores=4-7,12-15
/proc/11527/task/11541/stat : 11541 (java) S 11524 11527 6721 0 -1 4202560 733 0 0 0 177 66 0 0 20 0 27 0 3022502 10406596608 667988 33554432000 1073741824 1073778376 140737319162336 140239383988776 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11527/tid=11542] ppid=11524 vsize=10162692 CPUtime=2.3 cores=4-7,12-15
/proc/11527/task/11542/stat : 11542 (java) S 11524 11527 6721 0 -1 4202560 658 0 0 0 165 65 0 0 20 0 27 0 3022502 10406596608 667988 33554432000 1073741824 1073778376 140737319162336 140239382936232 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=11527/tid=11543] ppid=11524 vsize=10162692 CPUtime=3.71 cores=4-7,12-15
/proc/11527/task/11543/stat : 11543 (java) S 11524 11527 6721 0 -1 4202560 2965 0 0 0 365 6 0 0 20 0 27 0 3022503 10406596608 667988 33554432000 1073741824 1073778376 140737319162336 140239365475048 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11527/tid=11544] ppid=11524 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11544/stat : 11544 (java) S 11524 11527 6721 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 27 0 3022504 10406596608 667988 33554432000 1073741824 1073778376 140737319162336 140239364421368 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11527/tid=11545] ppid=11524 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11545/stat : 11545 (java) S 11524 11527 6721 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 27 0 3022504 10406596608 667988 33554432000 1073741824 1073778376 140737319162336 140239363368712 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=11527/tid=11546] ppid=11524 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11546/stat : 11546 (java) S 11524 11527 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 3022507 10406596608 667988 33554432000 1073741824 1073778376 140737319162336 140239362316432 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=11527/tid=11547] ppid=11524 vsize=10162692 CPUtime=1.83 cores=4-7,12-15
/proc/11527/task/11547/stat : 11547 (java) S 11524 11527 6721 0 -1 4202560 11404 0 0 0 181 2 0 0 20 0 27 0 3022507 10406596608 667988 33554432000 1073741824 1073778376 140737319162336 140239361263800 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=11527/tid=11548] ppid=11524 vsize=10162692 CPUtime=1.53 cores=4-7,12-15
/proc/11527/task/11548/stat : 11548 (java) S 11524 11527 6721 0 -1 4202560 6004 0 0 0 152 1 0 0 20 0 27 0 3022507 10406596608 667988 33554432000 1073741824 1073778376 140737319162336 140239360211256 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=11527/tid=11549] ppid=11524 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11549/stat : 11549 (java) S 11524 11527 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 3022507 10406596608 667988 33554432000 1073741824 1073778376 140737319162336 140239359158904 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=11527/tid=11550] ppid=11524 vsize=10162692 CPUtime=0.4 cores=4-7,12-15
/proc/11527/task/11550/stat : 11550 (java) S 11524 11527 6721 0 -1 4202560 58 0 0 0 19 21 0 0 20 0 27 0 3022507 10406596608 667988 33554432000 1073741824 1073778376 140737319162336 140239358106568 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11527/tid=11553] ppid=11524 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11553/stat : 11553 (java) S 11524 11527 6721 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 3024989 10406596608 667988 33554432000 1073741824 1073778376 140737319162336 140239354848936 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=11527/tid=12089] ppid=11524 vsize=10162692 CPUtime=169.88 cores=4-7,12-15
/proc/11527/task/12089/stat : 12089 (java) R 11524 11527 6721 0 -1 4202560 8 0 0 0 16986 2 0 0 20 0 27 0 3105617 10406596608 667988 33554432000 1073741824 1073778376 140737319162336 140237795745696 140239424205973 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=11527/tid=12090] ppid=11524 vsize=10162692 CPUtime=169.88 cores=4-7,12-15
/proc/11527/task/12090/stat : 12090 (java) R 11524 11527 6721 0 -1 4202560 12 0 0 0 16986 2 0 0 20 0 27 0 3105617 10406596608 667988 33554432000 1073741824 1073778376 140737319162336 140239355898608 140239424393677 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=11527/tid=12091] ppid=11524 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/11527/task/12091/stat : 12091 (java) S 11524 11527 6721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 27 0 3105618 10406596608 667988 33554432000 1073741824 1073778376 140737319162336 140239356953384 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 1791.45
Current children cumulated vsize (KiB) 10162692



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1005.6 s]
/proc/loadavg: 3.98 3.78 3.68 5/311 12103
/proc/meminfo: memFree=23570556/32872528 swapFree=8828/8828
[pid=11527] ppid=11524 vsize=10162692 CPUtime=1799.28 cores=4-7,12-15
/proc/11527/stat : 11527 (java) S 11524 11527 6721 0 -1 4202496 36292 0 1 0 178799 1129 0 0 20 0 27 0 3022499 10406596608 725083 33554432000 1073741824 1073778376 140737319162336 140737319153472 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/11527/statm: 2540673 725083 2304 9 0 2531350 0
[pid=11527/tid=11529] ppid=11524 vsize=10162692 CPUtime=27.57 cores=4-7,12-15
/proc/11527/task/11529/stat : 11529 (java) S 11524 11527 6721 0 -1 4202560 2596 0 1 0 2747 10 0 0 20 0 27 0 3022500 10406596608 725083 33554432000 1073741824 1073778376 140737319162336 140239552385912 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11527/tid=11530] ppid=11524 vsize=10162692 CPUtime=2.63 cores=4-7,12-15
/proc/11527/task/11530/stat : 11530 (java) S 11524 11527 6721 0 -1 4202560 734 0 0 0 192 71 0 0 20 0 27 0 3022502 10406596608 725083 33554432000 1073741824 1073778376 140737319162336 140239395567784 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=11527/tid=11531] ppid=11524 vsize=10162692 CPUtime=2.72 cores=4-7,12-15
/proc/11527/task/11531/stat : 11531 (java) S 11524 11527 6721 0 -1 4202560 968 0 0 0 186 86 0 0 20 0 27 0 3022502 10406596608 725083 33554432000 1073741824 1073778376 140737319162336 140239394515240 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=11527/tid=11532] ppid=11524 vsize=10162692 CPUtime=2.53 cores=4-7,12-15
/proc/11527/task/11532/stat : 11532 (java) S 11524 11527 6721 0 -1 4202560 668 0 0 0 187 66 0 0 20 0 27 0 3022502 10406596608 725083 33554432000 1073741824 1073778376 140737319162336 140239393462696 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11527/tid=11533] ppid=11524 vsize=10162692 CPUtime=2.24 cores=4-7,12-15
/proc/11527/task/11533/stat : 11533 (java) S 11524 11527 6721 0 -1 4202560 592 0 0 0 165 59 0 0 20 0 27 0 3022502 10406596608 725083 33554432000 1073741824 1073778376 140737319162336 140239392410152 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=11527/tid=11534] ppid=11524 vsize=10162692 CPUtime=2.68 cores=4-7,12-15
/proc/11527/task/11534/stat : 11534 (java) S 11524 11527 6721 0 -1 4202560 661 0 0 0 200 68 0 0 20 0 27 0 3022502 10406596608 725083 33554432000 1073741824 1073778376 140737319162336 140239391357608 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11527/tid=11535] ppid=11524 vsize=10162692 CPUtime=2.86 cores=4-7,12-15
/proc/11527/task/11535/stat : 11535 (java) S 11524 11527 6721 0 -1 4202560 647 0 0 0 214 72 0 0 20 0 27 0 3022502 10406596608 725083 33554432000 1073741824 1073778376 140737319162336 140239390305064 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=11527/tid=11536] ppid=11524 vsize=10162692 CPUtime=2.42 cores=4-7,12-15
/proc/11527/task/11536/stat : 11536 (java) S 11524 11527 6721 0 -1 4202560 629 0 0 0 184 58 0 0 20 0 27 0 3022502 10406596608 725083 33554432000 1073741824 1073778376 140737319162336 140239389252520 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=11527/tid=11537] ppid=11524 vsize=10162692 CPUtime=2.67 cores=4-7,12-15
/proc/11527/task/11537/stat : 11537 (java) S 11524 11527 6721 0 -1 4202560 828 0 0 0 197 70 0 0 20 0 27 0 3022502 10406596608 725083 33554432000 1073741824 1073778376 140737319162336 140239388199976 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11527/tid=11538] ppid=11524 vsize=10162692 CPUtime=2.73 cores=4-7,12-15
/proc/11527/task/11538/stat : 11538 (java) S 11524 11527 6721 0 -1 4202560 659 0 0 0 204 69 0 0 20 0 27 0 3022502 10406596608 725083 33554432000 1073741824 1073778376 140737319162336 140239387146408 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=11527/tid=11539] ppid=11524 vsize=10162692 CPUtime=2.72 cores=4-7,12-15
/proc/11527/task/11539/stat : 11539 (java) S 11524 11527 6721 0 -1 4202560 850 0 0 0 202 70 0 0 20 0 27 0 3022502 10406596608 725083 33554432000 1073741824 1073778376 140737319162336 140239386093864 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=11527/tid=11540] ppid=11524 vsize=10162692 CPUtime=2.44 cores=4-7,12-15
/proc/11527/task/11540/stat : 11540 (java) S 11524 11527 6721 0 -1 4202560 680 0 0 0 181 63 0 0 20 0 27 0 3022502 10406596608 725083 33554432000 1073741824 1073778376 140737319162336 140239385041320 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11527/tid=11541] ppid=11524 vsize=10162692 CPUtime=2.62 cores=4-7,12-15
/proc/11527/task/11541/stat : 11541 (java) S 11524 11527 6721 0 -1 4202560 846 0 0 0 184 78 0 0 20 0 27 0 3022502 10406596608 725083 33554432000 1073741824 1073778376 140737319162336 140239383988776 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11527/tid=11542] ppid=11524 vsize=10162692 CPUtime=2.4 cores=4-7,12-15
/proc/11527/task/11542/stat : 11542 (java) S 11524 11527 6721 0 -1 4202560 706 0 0 0 168 72 0 0 20 0 27 0 3022502 10406596608 725083 33554432000 1073741824 1073778376 140737319162336 140239382936232 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=11527/tid=11543] ppid=11524 vsize=10162692 CPUtime=3.71 cores=4-7,12-15
/proc/11527/task/11543/stat : 11543 (java) S 11524 11527 6721 0 -1 4202560 2980 0 0 0 365 6 0 0 20 0 27 0 3022503 10406596608 725083 33554432000 1073741824 1073778376 140737319162336 140239365475048 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11527/tid=11544] ppid=11524 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11544/stat : 11544 (java) S 11524 11527 6721 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 27 0 3022504 10406596608 725083 33554432000 1073741824 1073778376 140737319162336 140239364421368 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11527/tid=11545] ppid=11524 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11545/stat : 11545 (java) S 11524 11527 6721 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 27 0 3022504 10406596608 725083 33554432000 1073741824 1073778376 140737319162336 140239363368712 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=11527/tid=11546] ppid=11524 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11546/stat : 11546 (java) S 11524 11527 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 3022507 10406596608 725083 33554432000 1073741824 1073778376 140737319162336 140239362316432 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=11527/tid=11547] ppid=11524 vsize=10162692 CPUtime=1.83 cores=4-7,12-15
/proc/11527/task/11547/stat : 11547 (java) S 11524 11527 6721 0 -1 4202560 11404 0 0 0 181 2 0 0 20 0 27 0 3022507 10406596608 725083 33554432000 1073741824 1073778376 140737319162336 140239361263800 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=11527/tid=11548] ppid=11524 vsize=10162692 CPUtime=1.53 cores=4-7,12-15
/proc/11527/task/11548/stat : 11548 (java) S 11524 11527 6721 0 -1 4202560 6004 0 0 0 152 1 0 0 20 0 27 0 3022507 10406596608 725083 33554432000 1073741824 1073778376 140737319162336 140239360211256 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=11527/tid=11549] ppid=11524 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11549/stat : 11549 (java) S 11524 11527 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 3022507 10406596608 725083 33554432000 1073741824 1073778376 140737319162336 140239359158904 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=11527/tid=11550] ppid=11524 vsize=10162692 CPUtime=0.4 cores=4-7,12-15
/proc/11527/task/11550/stat : 11550 (java) S 11524 11527 6721 0 -1 4202560 60 0 0 0 19 21 0 0 20 0 27 0 3022507 10406596608 725083 33554432000 1073741824 1073778376 140737319162336 140239358106568 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11527/tid=11553] ppid=11524 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/11527/task/11553/stat : 11553 (java) S 11524 11527 6721 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 3024989 10406596608 725083 33554432000 1073741824 1073778376 140737319162336 140239354848936 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=11527/tid=12089] ppid=11524 vsize=10162692 CPUtime=172.96 cores=4-7,12-15
/proc/11527/task/12089/stat : 12089 (java) R 11524 11527 6721 0 -1 4202560 9 0 0 0 17294 2 0 0 20 0 27 0 3105617 10406596608 725083 33554432000 1073741824 1073778376 140737319162336 140237795745744 140239423411610 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=11527/tid=12090] ppid=11524 vsize=10162692 CPUtime=172.97 cores=4-7,12-15
/proc/11527/task/12090/stat : 12090 (java) R 11524 11527 6721 0 -1 4202560 12 0 0 0 17295 2 0 0 20 0 27 0 3105617 10406596608 725083 33554432000 1073741824 1073778376 140737319162336 140239355898608 140239424557249 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=11527/tid=12091] ppid=11524 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/11527/task/12091/stat : 12091 (java) S 11524 11527 6721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 27 0 3105618 10406596608 725083 33554432000 1073741824 1073778376 140737319162336 140239356953384 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 1799.28
Current children cumulated vsize (KiB) 10162692

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 11527 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 11527 and gives
#  childrusage.ru_utime.tv_sec=1786
#  childrusage.ru_utime.tv_usec=910348
#  childrusage.ru_stime.tv_sec=11
#  childrusage.ru_stime.tv_usec=479254
# CPU time returned by wait4() is 1798.39
# while last known CPU time is 1799.28
#
# 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): 0.760059
#  lost CPU user time (s): 0.920128
#  lost CPU system time (s): -0.160001

Real time (s): 1005.65
CPU time (s): 1800.04
CPU user time (s): 1788.91
CPU system time (s): 11.13
CPU usage (%): 178.992
Max. virtual memory (cumulated for all children) (KiB): 10162692

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1786.91
system time used= 11.4793
maximum resident set size= 3392020
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36336
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1064
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 31672
involuntary context switches= 12302

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.81266 second user time and 10.8483 second system time

The end

Launcher Data

Begin job on node132 at 2016-06-29 19:18:17
IDJOB=4118087
IDBENCH=111447
IDSOLVER=2543
FILE ID=node132/4118087-1467220697
RUNJOBID= node132-1467209088-6738
PBS_JOBID= 19997577
Free space on /tmp= 71536 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB15eval/normalized-PB15eval/OPT-BIGINT-NLC/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern50-50.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4118087-1467220697/watcher-4118087-1467220697 -o /tmp/evaluation-result-4118087-1467220697/solver-4118087-1467220697 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1467209088-6738 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4118087-1467220697.opb

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

MD5SUM BENCH= 4326e1098508119ad2e7d2b32110faf3
RANDOM SEED=1545556178

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

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.012
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.012
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.012
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.012
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.012
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.012
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.012
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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:

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

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

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.012
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
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	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.012
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
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	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.012
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
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	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.012
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
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:        25125496 kB
Buffers:          102452 kB
Cached:          3842532 kB
SwapCached:            0 kB
Active:          3115092 kB
Inactive:        3843740 kB
Active(anon):    3016596 kB
Inactive(anon):        0 kB
Active(file):      98496 kB
Inactive(file):  3843740 kB
Unevictable:        8828 kB
Mlocked:            8828 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              1044 kB
Writeback:             0 kB
AnonPages:       3023140 kB
Mapped:            22100 kB
Shmem:               216 kB
Slab:             630980 kB
SReclaimable:      71864 kB
SUnreclaim:       559116 kB
KernelStack:        2432 kB
PageTables:         9724 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3386340 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987140 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2928640 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= 71536 MiB
End job on node132 at 2016-06-29 19:35:03