Trace number 4106830

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)-24 1800.08 900.586

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_200_25_4.opb
MD5SUMf7dd1b6b0a4946caf4c26a82905ed8fe
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-28
Best CPU time to get the best result obtained on this benchmark1800.09
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -34
Optimality of the best value was proved NO
Number of variables400
Total number of constraints601
Number of constraints which are clauses200
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints401
Minimum length of a constraint2
Maximum length of a constraint400
Number of terms in the objective function 200
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 400
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)12520
Sum of products size (including duplicates)25040
Number of different products6260
Sum of products size12520

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.07	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version PB16.v20160501
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.11/0.11	c Pseudo Boolean Optimization by upper bound
0.11/0.11	c ManyCore solver with 2 solvers running in parallel
0.11/0.11	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@16fd0b7
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.11	c Expensive reason simplification
0.11/0.11	c Glucose 2.1 dynamic restart strategy
0.11/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.11/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@75786e64
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.11/0.11	c No reason simplification
0.11/0.11	c Armin Biere (Picosat) restarts strategy
0.11/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c solving HOME/instance-4106830-1466278184.opb
0.11/0.11	c reading problem ... 
0.11/0.11	c  objective function found
1.32/0.68	c ... done. Wall clock time 0.571s.
1.32/0.68	c declared #vars     400
1.32/0.68	c internal #vars     6660
1.32/0.68	c #constraints  13122
1.32/0.68	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
1.32/0.68	c constraints type 
1.32/0.68	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6260
1.32/0.68	c org.sat4j.minisat.constraints.card.MinWatchCard => 402
1.32/0.68	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 200
1.32/0.68	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6260
1.32/0.68	c 13122 constraints processed.
1.32/0.68	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
1.32/0.68	c constraints type 
1.32/0.68	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 200
1.32/0.68	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6260
1.32/0.68	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 402
1.32/0.68	c org.sat4j.pb.constraints.pb.MaxWatchPb => 6260
1.32/0.68	c 13122 constraints processed.
1.32/0.68	c objective function length is 200 literals
4.36/1.42	c And the winner is solver1
4.46/1.68	c SATISFIABLE
4.46/1.68	c OPTIMIZING...
4.46/1.68	c Got one! Elapsed wall clock time (in seconds):1.575
4.46/1.68	o -3
4.51/1.77	c And the winner is solver1
4.91/2.18	c Got one! Elapsed wall clock time (in seconds):2.077
4.91/2.18	o -6
4.96/2.29	c And the winner is solver1
5.26/2.68	c Got one! Elapsed wall clock time (in seconds):2.578
5.26/2.68	o -7
5.30/2.76	c And the winner is solver1
5.52/3.19	c Got one! Elapsed wall clock time (in seconds):3.08
5.52/3.19	o -8
5.56/3.23	c And the winner is solver1
5.64/3.69	c Got one! Elapsed wall clock time (in seconds):3.581
5.64/3.69	o -9
5.66/3.73	c And the winner is solver1
5.76/4.19	c Got one! Elapsed wall clock time (in seconds):4.082
5.76/4.19	o -10
5.78/4.25	c And the winner is solver1
5.89/4.69	c Got one! Elapsed wall clock time (in seconds):4.583
5.89/4.69	o -11
5.90/4.73	c And the winner is solver0
6.01/5.19	c Got one! Elapsed wall clock time (in seconds):5.084
6.01/5.19	o -18
7.11/5.68	c And the winner is solver1
7.28/5.71	c Got one! Elapsed wall clock time (in seconds):5.608
7.28/5.71	o -19
8.15/6.13	c And the winner is solver1
8.23/6.21	c Got one! Elapsed wall clock time (in seconds):6.109
8.23/6.21	o -20
10.55/7.39	c cleaning 3073 clauses out of 6146 with flag 16469/6146
11.44/7.76	c And the winner is solver1
11.57/8.22	c Got one! Elapsed wall clock time (in seconds):8.111
11.57/8.22	o -21
14.26/9.58	c cleaning 4054 clauses out of 8107 with flag 22887/11180
14.67/9.76	c And the winner is solver1
14.81/10.22	c Got one! Elapsed wall clock time (in seconds):10.112
14.81/10.22	o -22
18.04/11.82	c cleaning 4831 clauses out of 9661 with flag 28580/16788
22.16/13.85	c cleaning 5428 clauses out of 10856 with flag 63084/22814
27.09/16.27	c cleaning 6201 clauses out of 12402 with flag 97083/29788
32.50/18.94	c cleaning 7108 clauses out of 14218 with flag 133159/37805
39.15/22.15	c cleaning 8039 clauses out of 16082 with flag 172830/46777
46.05/25.59	c cleaning 9018 clauses out of 18038 with flag 224345/56772
53.26/29.19	c cleaning 10009 clauses out of 20021 with flag 280750/67773
62.93/33.97	c cleaning 11006 clauses out of 22013 with flag 345018/79774
72.54/38.78	c cleaning 11993 clauses out of 24013 with flag 418622/92780
84.83/44.82	c cleaning 13009 clauses out of 26021 with flag 486130/106781
96.73/50.76	c cleaning 14005 clauses out of 28013 with flag 561851/121782
108.16/56.50	c cleaning 14997 clauses out of 30001 with flag 618188/137775
123.61/64.16	c cleaning 15991 clauses out of 32008 with flag 696739/154779
137.28/70.99	c cleaning 17006 clauses out of 34011 with flag 782531/172773
152.33/78.49	c cleaning 18009 clauses out of 36017 with flag 865878/191785
168.61/86.55	c cleaning 18996 clauses out of 37995 with flag 963466/211772
188.71/96.51	c cleaning 19996 clauses out of 40003 with flag 1070695/232776
209.02/106.68	c cleaning 20980 clauses out of 42003 with flag 1167808/254772
229.12/116.68	c cleaning 22012 clauses out of 44023 with flag 1262677/277772
241.75/122.98	c cleaning 0 clauses out of 6357 with flag 0/6357
252.21/128.00	c cleaning 22993 clauses out of 46017 with flag 1337730/301778
273.82/139.02	c cleaning 23984 clauses out of 48018 with flag 1442368/326772
299.94/152.08	c cleaning 25021 clauses out of 50044 with flag 1555945/352782
321.43/162.71	c cleaning 25996 clauses out of 52013 with flag 1684788/379772
345.35/174.63	c cleaning 27002 clauses out of 54019 with flag 1791254/407774
350.95/177.47	c And the winner is solver1
350.95/177.58	c Got one! Elapsed wall clock time (in seconds):177.475
350.95/177.58	o -23
355.04/179.60	c cleaning 21342 clauses out of 42684 with flag 28573/423441
358.85/181.58	c cleaning 13701 clauses out of 27402 with flag 58623/429501
363.88/184.04	c cleaning 10282 clauses out of 20630 with flag 94578/436430
368.68/186.46	c cleaning 9179 clauses out of 18357 with flag 142234/444439
374.92/189.54	c cleaning 9067 clauses out of 18168 with flag 198858/453429
381.32/192.77	c cleaning 9532 clauses out of 19102 with flag 260347/463430
388.33/196.29	c cleaning 10303 clauses out of 20606 with flag 343030/474466
396.58/200.31	c cleaning 11131 clauses out of 22268 with flag 410316/486431
405.80/204.99	c cleaning 12073 clauses out of 24146 with flag 489611/499440
416.26/210.20	c cleaning 13032 clauses out of 26065 with flag 582546/513432
427.14/215.55	c cleaning 13973 clauses out of 28035 with flag 681842/528434
430.14/217.07	c And the winner is solver1
430.14/217.09	c Got one! Elapsed wall clock time (in seconds):216.985
430.14/217.09	o -24
430.74/217.42	c cleaning 9802 clauses out of 19603 with flag 6491/533975
434.19/219.10	c cleaning 7900 clauses out of 15802 with flag 52699/539976
437.99/221.01	c cleaning 7449 clauses out of 14900 with flag 104414/546974
442.67/223.36	c cleaning 7725 clauses out of 15449 with flag 168270/554972
448.06/226.05	c cleaning 8364 clauses out of 16727 with flag 236449/563975
454.09/229.08	c cleaning 9183 clauses out of 18370 with flag 311609/573982
461.51/232.79	c cleaning 10093 clauses out of 20192 with flag 383303/584987
470.36/237.13	c cleaning 11041 clauses out of 22082 with flag 458017/596970
480.21/242.04	c cleaning 12021 clauses out of 24042 with flag 542642/609971
489.63/246.75	c cleaning 12960 clauses out of 26024 with flag 644551/623974
500.47/252.13	c cleaning 14032 clauses out of 28064 with flag 735459/638974
511.15/257.41	c cleaning 15019 clauses out of 30038 with flag 834328/654980
523.60/263.62	c cleaning 16005 clauses out of 32010 with flag 948572/671971
536.29/269.92	c cleaning 17011 clauses out of 34025 with flag 1068168/689991
551.16/277.39	c cleaning 17997 clauses out of 35994 with flag 1192841/708971
567.00/285.29	c cleaning 19006 clauses out of 38012 with flag 1315768/728986
586.70/295.04	c cleaning 19995 clauses out of 39993 with flag 1454302/749973
601.54/302.47	c cleaning 21000 clauses out of 42004 with flag 1603905/771979
618.02/310.63	c cleaning 21960 clauses out of 44002 with flag 1769316/794977
635.06/319.17	c cleaning 23027 clauses out of 46053 with flag 1929279/818988
654.57/328.86	c cleaning 23996 clauses out of 48008 with flag 2085270/843970
674.08/338.91	c cleaning 24975 clauses out of 50016 with flag 2279364/869974
694.50/349.19	c cleaning 26019 clauses out of 52038 with flag 2479298/896971
712.79/358.27	c cleaning 26983 clauses out of 54020 with flag 2669206/924972
737.10/370.34	c cleaning 27975 clauses out of 56035 with flag 2852706/953970
759.83/381.67	c cleaning 28999 clauses out of 58064 with flag 3034132/983974
786.39/394.87	c cleaning 30028 clauses out of 60062 with flag 3241377/1014971
813.69/408.48	c cleaning 31013 clauses out of 62035 with flag 3469828/1046972
842.18/422.67	c cleaning 32006 clauses out of 64020 with flag 3710696/1079970
869.48/436.23	c cleaning 33017 clauses out of 66034 with flag 3939353/1113990
898.06/450.50	c cleaning 33971 clauses out of 67997 with flag 4183435/1148970
931.21/466.91	c cleaning 34996 clauses out of 70030 with flag 4414996/1184974
962.31/482.43	c cleaning 36015 clauses out of 72030 with flag 4675054/1221970
991.67/497.10	c cleaning 37013 clauses out of 74025 with flag 4952798/1259980
1029.67/516.00	c cleaning 38001 clauses out of 76002 with flag 5216253/1298970
1061.22/531.60	c cleaning 38976 clauses out of 78012 with flag 5478606/1338981
1099.39/551.03	c cleaning 39967 clauses out of 80025 with flag 5751863/1379970
1139.33/571.00	c cleaning 41032 clauses out of 82064 with flag 6031836/1421976
1191.16/596.71	c cleaning 42012 clauses out of 84029 with flag 6314781/1464973
1236.75/619.49	c cleaning 43008 clauses out of 86017 with flag 6582166/1508973
1264.66/633.40	c cleaning 0 clauses out of 12380 with flag 0/12380
1278.15/640.05	c cleaning 43975 clauses out of 88016 with flag 6866853/1553980
1320.53/661.12	c cleaning 44987 clauses out of 90031 with flag 7159761/1599970
1357.04/679.36	c cleaning 45990 clauses out of 92046 with flag 7465386/1646972
1395.05/698.28	c cleaning 46981 clauses out of 94057 with flag 7757589/1694973
1433.43/717.37	c cleaning 48034 clauses out of 96079 with flag 8025509/1743976
1478.41/739.76	c cleaning 49018 clauses out of 98046 with flag 8314265/1793977
1523.33/762.05	c cleaning 49947 clauses out of 100023 with flag 8664348/1844972
1572.55/786.53	c cleaning 51000 clauses out of 102074 with flag 8972395/1896970
1638.93/820.39	c cleaning 52038 clauses out of 104076 with flag 9322418/1949972
1691.36/846.48	c cleaning 53012 clauses out of 106036 with flag 9666063/2003970
1750.01/875.67	c cleaning 53978 clauses out of 108026 with flag 9981705/2058972
1800.08/900.53	c >>>>>>>>>> Solver number 0 (1 answers) <<<<<<<<<<<<<<<<<<
1800.08/900.53	c starts		: 30215
1800.08/900.53	c conflicts		: 2114923
1800.08/900.53	c decisions		: 22401325
1800.08/900.53	c propagations		: 373917094
1800.08/900.53	c inspects		: 10231303372
1800.08/900.53	c shortcuts		: 0
1800.08/900.53	c learnt literals	: 0
1800.08/900.53	c learnt binary clauses	: 16
1800.08/900.53	c learnt ternary clauses	: 4741
1800.08/900.53	c learnt constraints	: 2114923
1800.08/900.53	c ignored constraints	: 0
1800.08/900.53	c root simplifications	: 0
1800.08/900.53	c removed literals (reason simplification)	: 420736028
1800.08/900.53	c reason swapping (by a shorter reason)	: 0
1800.08/900.53	c Calls to reduceDB	: 88
1800.08/900.53	c Number of update (reduction) of LBD	: 468907
1800.08/900.53	c Imported unit clauses	: 0
1800.08/900.53	c number of reductions to clauses (during analyze)	: 0
1800.08/900.53	c number of learned constraints concerned by reduction	: 0
1800.08/900.53	c number of learning phase by resolution	: 0
1800.08/900.53	c number of learning phase by cutting planes	: 0
1800.08/900.53	c speed (assignments/second)	: 547114.3473775854
1800.08/900.53	c non guided choices	0
1800.08/900.55	c learnt constraints type 
1800.08/900.55	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 16
1800.08/900.55	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 109983
1800.08/900.55	c >>>>>>>>>> Solver number 1 (13 answers) <<<<<<<<<<<<<<<<<<
1800.08/900.55	c starts		: 56
1800.08/900.55	c conflicts		: 14356
1800.08/900.55	c decisions		: 186489
1800.08/900.55	c propagations		: 4836602
1800.08/900.55	c inspects		: 1093044891
1800.08/900.55	c shortcuts		: 0
1800.08/900.55	c learnt literals	: 0
1800.08/900.55	c learnt binary clauses	: 0
1800.08/900.55	c learnt ternary clauses	: 0
1800.08/900.55	c learnt constraints	: 14356
1800.08/900.55	c ignored constraints	: 0
1800.08/900.55	c root simplifications	: 0
1800.08/900.55	c removed literals (reason simplification)	: 0
1800.08/900.55	c reason swapping (by a shorter reason)	: 0
1800.08/900.55	c Calls to reduceDB	: 2
1800.08/900.55	c Number of update (reduction) of LBD	: 0
1800.08/900.55	c Imported unit clauses	: 0
1800.08/900.55	c number of reductions to clauses (during analyze)	: 0
1800.08/900.55	c number of learned constraints concerned by reduction	: 0
1800.08/900.55	c number of learning phase by resolution	: 0
1800.08/900.55	c number of learning phase by cutting planes	: 0
1800.08/900.55	c speed (assignments/second)	: 5401.996568885871
1800.08/900.55	c non guided choices	38
1800.08/900.56	c learnt constraints type 
1800.08/900.56	c org.sat4j.pb.constraints.pb.MaxWatchPb => 14356
1800.08/900.56	s SATISFIABLE
1800.08/900.56	c Found 14 solution(s)
1800.08/900.56	v x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 x25 -x26 -x27 x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 x71 -x72 -x73 -x74 -x75 -x76 -x77 x78 -x79 -x80 -x81 -x82 x83 -x84 -x85 -x86 -x87 x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 x120 -x121 x122 x123 -x124 -x125 -x126 -x127 -x128 x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 x143 -x144 x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 x185 x186 -x187 -x188 -x189 x190 -x191 -x192 -x193 -x194 x195 -x196 -x197 -x198 -x199 x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 x230 -x231 -x232 x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 x243 -x244 -x245 x246 -x247 -x248 -x249 -x250 x251 -x252 -x253 -x254 -x255 -x256 -x257 x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 x276 -x277 -x278 -x279 -x280 x281 -x282 -x283 -x284 -x285 x286 x287 -x288 -x289 -x290 x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 x337 -x338 -x339 -x340 -x341 -x342 -x343 x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 x365 -x366 -x367 x368 -x369 x370 -x371 -x372 x373 -x374 -x375 -x376 -x377 x378 -x379 -x380 -x381 x382 -x383 -x384 -x385 -x386 -x387 -x388 x389 -x390 -x391 -x392 -x393 x394 -x395 -x396 -x397 x398 -x399 -x400 
1800.08/900.56	c objective function=-24
1800.08/900.56	c Total wall clock time (in seconds): 900.454

Verifier Data 

OK	-24

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-4106830-1466278184/watcher-4106830-1466278184 -o /tmp/evaluation-result-4106830-1466278184/solver-4106830-1466278184 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node121-1466275489-17660 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4106830-1466278184.opb 

pid=18917
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: 4.19 4.36 4.18 4/195 18920
/proc/meminfo: memFree=26752860/32872528 swapFree=1316768/1463936
[pid=18920] ppid=18917 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/18920/stat : 18920 (java) S 18917 18920 17643 0 -1 4202496 1354 0 0 0 0 0 0 0 20 0 2 0 29865381 98570240 977 33554432000 1073741824 1073778376 140735473500896 140735473492032 227515859005 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18920/statm: 24065 977 743 9 0 16771 0
[pid=18920/tid=18921] ppid=18917 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/18920/task/18921/stat : 18921 (java) R 18917 18920 17643 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 29865381 98570240 977 33554432000 1073741824 1073778376 140735473500896 139932586024488 227512501632 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0

[startup+0.100061 s]
/proc/loadavg: 4.19 4.36 4.18 4/195 18920
/proc/meminfo: memFree=26752860/32872528 swapFree=1316768/1463936
[pid=18920] ppid=18917 vsize=9558476 CPUtime=0.11 cores=1,3,5,7
/proc/18920/stat : 18920 (java) S 18917 18920 17643 0 -1 4202496 4555 0 1 0 10 1 0 0 20 0 18 0 29865381 9787879424 5669 33554432000 1073741824 1073778376 140735473500896 140735473492032 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18920/statm: 2389619 5669 2158 9 0 2380296 0
[pid=18920/tid=18921] ppid=18917 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/18920/task/18921/stat : 18921 (java) R 18917 18920 17643 0 -1 4202560 2438 0 1 0 6 1 0 0 20 0 18 0 29865381 9787879424 5669 33554432000 1073741824 1073778376 140735473500896 139932586028408 227515884813 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476

[startup+0.200276 s]
/proc/loadavg: 4.19 4.36 4.18 4/195 18920
/proc/meminfo: memFree=26752860/32872528 swapFree=1316768/1463936
[pid=18920] ppid=18917 vsize=9558476 CPUtime=0.24 cores=1,3,5,7
/proc/18920/stat : 18920 (java) S 18917 18920 17643 0 -1 4202496 4684 0 1 0 23 1 0 0 20 0 18 0 29865381 9787879424 6792 33554432000 1073741824 1073778376 140735473500896 140735473492032 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18920/statm: 2389619 6792 2213 9 0 2380296 0
[pid=18920/tid=18921] ppid=18917 vsize=9558476 CPUtime=0.18 cores=1,3,5,7
/proc/18920/task/18921/stat : 18921 (java) R 18917 18920 17643 0 -1 4202560 2461 0 1 0 16 2 0 0 20 0 18 0 29865381 9787879424 6792 33554432000 1073741824 1073778376 140735473500896 139932586028408 139932458455917 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9558476

[startup+0.300359 s]
/proc/loadavg: 4.19 4.36 4.18 4/195 18920
/proc/meminfo: memFree=26752860/32872528 swapFree=1316768/1463936
[pid=18920] ppid=18917 vsize=9558476 CPUtime=0.48 cores=1,3,5,7
/proc/18920/stat : 18920 (java) S 18917 18920 17643 0 -1 4202496 5939 0 1 0 47 1 0 0 20 0 18 0 29865381 9787879424 9107 33554432000 1073741824 1073778376 140735473500896 140735473492032 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18920/statm: 2389619 9107 2240 9 0 2380296 0
[pid=18920/tid=18921] ppid=18917 vsize=9558476 CPUtime=0.28 cores=1,3,5,7
/proc/18920/task/18921/stat : 18921 (java) R 18917 18920 17643 0 -1 4202560 2466 0 1 0 26 2 0 0 20 0 18 0 29865381 9787879424 9107 33554432000 1073741824 1073778376 140735473500896 139932586028408 139932458599874 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9558476

[startup+0.700236 s]
/proc/loadavg: 4.19 4.36 4.18 4/195 18920
/proc/meminfo: memFree=26752860/32872528 swapFree=1316768/1463936
[pid=18920] ppid=18917 vsize=9824732 CPUtime=1.64 cores=1,3,5,7
/proc/18920/stat : 18920 (java) S 18917 18920 17643 0 -1 4202496 23457 0 1 0 159 5 0 0 20 0 22 0 29865381 10060525568 35807 33554432000 1073741824 1073778376 140735473500896 140735473492032 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18920/statm: 2456183 35807 2264 9 0 2446860 0
[pid=18920/tid=18921] ppid=18917 vsize=9824732 CPUtime=0.66 cores=1,3,5,7
/proc/18920/task/18921/stat : 18921 (java) S 18917 18920 17643 0 -1 4202560 2504 0 1 0 64 2 0 0 20 0 22 0 29865381 10060525568 35813 33554432000 1073741824 1073778376 140735473500896 139932586029944 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.64
Current children cumulated vsize (KiB) 9824732

[startup+1.50091 s]
/proc/loadavg: 4.34 4.39 4.19 7/217 18942
/proc/meminfo: memFree=26619084/32872528 swapFree=1316768/1463936
[pid=18920] ppid=18917 vsize=9824732 CPUtime=4.46 cores=1,3,5,7
/proc/18920/stat : 18920 (java) S 18917 18920 17643 0 -1 4202496 29230 0 1 0 438 8 0 0 20 0 19 0 29865381 10060525568 40743 33554432000 1073741824 1073778376 140735473500896 140735473492032 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18920/statm: 2456183 40743 2276 9 0 2446860 0
[pid=18920/tid=18921] ppid=18917 vsize=9824732 CPUtime=0.66 cores=1,3,5,7
/proc/18920/task/18921/stat : 18921 (java) S 18917 18920 17643 0 -1 4202560 2504 0 1 0 64 2 0 0 20 0 19 0 29865381 10060525568 40743 33554432000 1073741824 1073778376 140735473500896 139932586029944 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18920/tid=18923] ppid=18917 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18920/task/18923/stat : 18923 (java) S 18917 18920 17643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29865382 10060525568 40743 33554432000 1073741824 1073778376 140735473500896 139932429970472 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18920/tid=18924] ppid=18917 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18920/task/18924/stat : 18924 (java) S 18917 18920 17643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29865382 10060525568 40743 33554432000 1073741824 1073778376 140735473500896 139932428917672 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18920/tid=18925] ppid=18917 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18920/task/18925/stat : 18925 (java) S 18917 18920 17643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29865382 10060525568 40743 33554432000 1073741824 1073778376 140735473500896 139932427864872 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18920/tid=18926] ppid=18917 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18920/task/18926/stat : 18926 (java) S 18917 18920 17643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29865382 10060525568 40743 33554432000 1073741824 1073778376 140735473500896 139932426812072 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18920/tid=18927] ppid=18917 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18920/task/18927/stat : 18927 (java) S 18917 18920 17643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29865382 10060525568 40743 33554432000 1073741824 1073778376 140735473500896 139932425759272 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18920/tid=18928] ppid=18917 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18920/task/18928/stat : 18928 (java) S 18917 18920 17643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29865382 10060525568 40743 33554432000 1073741824 1073778376 140735473500896 139932424706472 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18920/tid=18929] ppid=18917 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18920/task/18929/stat : 18929 (java) S 18917 18920 17643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29865382 10060525568 40743 33554432000 1073741824 1073778376 140735473500896 139932423653672 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18920/tid=18930] ppid=18917 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18920/task/18930/stat : 18930 (java) S 18917 18920 17643 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29865382 10060525568 40743 33554432000 1073741824 1073778376 140735473500896 139932422600872 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18920/tid=18931] ppid=18917 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18920/task/18931/stat : 18931 (java) S 18917 18920 17643 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 29865383 10060525568 40743 33554432000 1073741824 1073778376 140735473500896 139932410190824 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18920/tid=18932] ppid=18917 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18920/task/18932/stat : 18932 (java) S 18917 18920 17643 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 29865383 10060525568 40743 33554432000 1073741824 1073778376 140735473500896 139932409136888 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18920/tid=18933] ppid=18917 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18920/task/18933/stat : 18933 (java) S 18917 18920 17643 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29865383 10060525568 40743 33554432000 1073741824 1073778376 140735473500896 139932408083976 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18920/tid=18934] ppid=18917 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18920/task/18934/stat : 18934 (java) S 18917 18920 17643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29865385 10060525568 40743 33554432000 1073741824 1073778376 140735473500896 139932407032464 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18920/tid=18935] ppid=18917 vsize=9824732 CPUtime=1.14 cores=1,3,5,7
/proc/18920/task/18935/stat : 18935 (java) S 18917 18920 17643 0 -1 4202560 13302 0 0 0 111 3 0 0 20 0 19 0 29865385 10060525568 40743 33554432000 1073741824 1073778376 140735473500896 139932405979576 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18920/tid=18936] ppid=18917 vsize=9824732 CPUtime=1.14 cores=1,3,5,7
/proc/18920/task/18936/stat : 18936 (java) S 18917 18920 17643 0 -1 4202560 12083 0 0 0 112 2 0 0 20 0 19 0 29865385 10060525568 40743 33554432000 1073741824 1073778376 140735473500896 139932404926776 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18920/tid=18937] ppid=18917 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18920/task/18937/stat : 18937 (java) S 18917 18920 17643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29865385 10060525568 40743 33554432000 1073741824 1073778376 140735473500896 139932403874168 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18920/tid=18938] ppid=18917 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18920/task/18938/stat : 18938 (java) S 18917 18920 17643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29865385 10060525568 40743 33554432000 1073741824 1073778376 140735473500896 139932402821576 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18920/tid=18941] ppid=18917 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18920/task/18941/stat : 18941 (java) S 18917 18920 17643 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29865450 10060525568 40743 33554432000 1073741824 1073778376 140735473500896 139932399662504 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.46
Current children cumulated vsize (KiB) 9824732

[startup+3.10075 s]
/proc/loadavg: 4.34 4.39 4.19 7/216 18948
/proc/meminfo: memFree=26568848/32872528 swapFree=1316768/1463936
[pid=18920] ppid=18917 vsize=9824732 CPUtime=5.52 cores=1,3,5,7
/proc/18920/stat : 18920 (java) S 18917 18920 17643 0 -1 4202496 30144 0 1 0 537 15 0 0 20 0 19 0 29865381 10060525568 52591 33554432000 1073741824 1073778376 140735473500896 140735473492032 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18920/statm: 2456183 52591 2289 9 0 2446860 0
[pid=18920/tid=18921] ppid=18917 vsize=9824732 CPUtime=0.67 cores=1,3,5,7
/proc/18920/task/18921/stat : 18921 (java) S 18917 18920 17643 0 -1 4202560 2504 0 1 0 65 2 0 0 20 0 19 0 29865381 10060525568 52591 33554432000 1073741824 1073778376 140735473500896 139932586029944 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18920/tid=18923] ppid=18917 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18920/task/18923/stat : 18923 (java) S 18917 18920 17643 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29865382 10060525568 52591 33554432000 1073741824 1073778376 140735473500896 139932429970472 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18920/tid=18924] ppid=18917 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18920/task/18924/stat : 18924 (java) S 18917 18920 17643 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29865382 10060525568 52591 33554432000 1073741824 1073778376 140735473500896 139932428917672 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18920/tid=18925] ppid=18917 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18920/task/18925/stat : 18925 (java) S 18917 18920 17643 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 29865382 10060525568 52591 33554432000 1073741824 1073778376 140735473500896 139932427864872 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18920/tid=18926] ppid=18917 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18920/task/18926/stat : 18926 (java) S 18917 18920 17643 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 29865382 10060525568 52591 33554432000 1073741824 1073778376 140735473500896 139932426812072 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18920/tid=18927] ppid=18917 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18920/task/18927/stat : 18927 (java) S 18917 18920 17643 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29865382 10060525568 52591 33554432000 1073741824 1073778376 140735473500896 139932425759272 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18920/tid=18928] ppid=18917 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18920/task/18928/stat : 18928 (java) S 18917 18920 17643 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 29865382 10060525568 52591 33554432000 1073741824 1073778376 140735473500896 139932424706472 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18920/tid=18929] ppid=18917 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18920/task/18929/stat : 18929 (java) S 18917 18920 17643 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29865382 10060525568 52591 33554432000 1073741824 1073778376 140735473500896 139932423653672 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18920/tid=18930] ppid=18917 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18920/task/18930/stat : 18930 (java) S 18917 18920 17643 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29865382 10060525568 52591 33554432000 1073741824 1073778376 140735473500896 139932422600872 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18920/tid=18931] ppid=18917 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18920/task/18931/stat : 18931 (java) S 18917 18920 17643 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 29865383 10060525568 52591 33554432000 1073741824 1073778376 140735473500896 139932410190824 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18920/tid=18932] ppid=18917 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18920/task/18932/stat : 18932 (java) S 18917 18920 17643 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29865383 10060525568 52591 33554432000 1073741824 1073778376 140735473500896 139932409136888 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18920/tid=18933] ppid=18917 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18920/task/18933/stat : 18933 (java) S 18917 18920 17643 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29865383 10060525568 52591 33554432000 1073741824 1073778376 140735473500896 139932408083976 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18920/tid=18934] ppid=18917 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18920/task/18934/stat : 18934 (java) S 18917 18920 17643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29865385 10060525568 52591 33554432000 1073741824 1073778376 140735473500896 139932407032464 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18920/tid=18935] ppid=18917 vsize=9824732 CPUtime=1.29 cores=1,3,5,7
/proc/18920/task/18935/stat : 18935 (java) S 18917 18920 17643 0 -1 4202560 14093 0 0 0 125 4 0 0 20 0 19 0 29865385 10060525568 52591 33554432000 1073741824 1073778376 140735473500896 139932405979576 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18920/tid=18936] ppid=18917 vsize=9824732 CPUtime=1.46 cores=1,3,5,7
/proc/18920/task/18936/stat : 18936 (java) S 18917 18920 17643 0 -1 4202560 12118 0 0 0 144 2 0 0 20 0 19 0 29865385 10060525568 52591 33554432000 1073741824 1073778376 140735473500896 139932404926776 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18920/tid=18937] ppid=18917 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18920/task/18937/stat : 18937 (java) S 18917 18920 17643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29865385 10060525568 52591 33554432000 1073741824 1073778376 140735473500896 139932403874168 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18920/tid=18938] ppid=18917 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18920/task/18938/stat : 18938 (java) S 18917 18920 17643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29865385 10060525568 52591 33554432000 1073741824 1073778376 140735473500896 139932402821576 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18920/tid=18941] ppid=18917 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18920/task/18941/stat : 18941 (java) S 18917 18920 17643 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29865450 10060525568 52591 33554432000 1073741824 1073778376 140735473500896 139932399662504 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 5.52
Current children cumulated vsize (KiB) 9824732

[startup+6.3008 s]
/proc/loadavg: 4.34 4.39 4.19 5/216 18966
/proc/meminfo: memFree=26538912/32872528 swapFree=1316768/1463936
[pid=18920] ppid=18917 vsize=9824732 CPUtime=8.4 cores=1,3,5,7
/proc/18920/stat : 18920 (java) S 18917 18920 17643 0 -1 4202496 30399 0 1 0 809 31 0 0 20 0 22 0 29865381 10060525568 61041 33554432000 1073741824 1073778376 140735473500896 140735473492032 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18920/statm: 2456183 61041 2290 9 0 2446860 0
[pid=18920/tid=18921] ppid=18917 vsize=9824732 CPUtime=0.67 cores=1,3,5,7
/proc/18920/task/18921/stat : 18921 (java) S 18917 18920 17643 0 -1 4202560 2506 0 1 0 65 2 0 0 20 0 22 0 29865381 10060525568 61041 33554432000 1073741824 1073778376 140735473500896 139932586029944 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18920/tid=18923] ppid=18917 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/18920/task/18923/stat : 18923 (java) S 18917 18920 17643 0 -1 4202560 24 0 0 0 3 1 0 0 20 0 22 0 29865382 10060525568 61041 33554432000 1073741824 1073778376 140735473500896 139932429970472 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18920/tid=18924] ppid=18917 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/18920/task/18924/stat : 18924 (java) S 18917 18920 17643 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 22 0 29865382 10060525568 61041 33554432000 1073741824 1073778376 140735473500896 139932428917672 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18920/tid=18925] ppid=18917 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/18920/task/18925/stat : 18925 (java) S 18917 18920 17643 0 -1 4202560 17 0 0 0 4 0 0 0 20 0 22 0 29865382 10060525568 61041 33554432000 1073741824 1073778376 140735473500896 139932427864872 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18920/tid=18926] ppid=18917 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/18920/task/18926/stat : 18926 (java) S 18917 18920 17643 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 22 0 29865382 10060525568 61041 33554432000 1073741824 1073778376 140735473500896 139932426812072 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18920/tid=18927] ppid=18917 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/18920/task/18927/stat : 18927 (java) S 18917 18920 17643 0 -1 4202560 14 0 0 0 3 0 0 0 20 0 22 0 29865382 10060525568 61041 33554432000 1073741824 1073778376 140735473500896 139932425759272 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18920/tid=18928] ppid=18917 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/18920/task/18928/stat : 18928 (java) S 18917 18920 17643 0 -1 4202560 22 0 0 0 3 1 0 0 20 0 22 0 29865382 10060525568 61041 33554432000 1073741824 1073778376 140735473500896 139932424706472 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18920/tid=18929] ppid=18917 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/18920/task/18929/stat : 18929 (java) S 18917 18920 17643 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 29865382 10060525568 61041 33554432000 1073741824 1073778376 140735473500896 139932423653672 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18920/tid=18930] ppid=18917 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/18920/task/18930/stat : 18930 (java) S 18917 18920 17643 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 22 0 29865382 10060525568 61041 33554432000 1073741824 1073778376 140735473500896 139932422600872 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18920/tid=18931] ppid=18917 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18920/task/18931/stat : 18931 (java) S 18917 18920 17643 0 -1 4202560 74 0 0 0 0 0 0 0 20 0 22 0 29865383 10060525568 61041 33554432000 1073741824 1073778376 140735473500896 139932410190824 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18920/tid=18932] ppid=18917 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18920/task/18932/stat : 18932 (java) S 18917 18920 17643 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29865383 10060525568 61041 33554432000 1073741824 1073778376 140735473500896 139932409136888 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18920/tid=18933] ppid=18917 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18920/task/18933/stat : 18933 (java) S 18917 18920 17643 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 29865383 10060525568 61041 33554432000 1073741824 1073778376 140735473500896 139932408083976 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18920/tid=18934] ppid=18917 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18920/task/18934/stat : 18934 (java) S 18917 18920 17643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29865385 10060525568 61041 33554432000 1073741824 1073778376 140735473500896 139932407032464 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18920/tid=18935] ppid=18917 vsize=9824732 CPUtime=1.45 cores=1,3,5,7
/proc/18920/task/18935/stat : 18935 (java) S 18917 18920 17643 0 -1 4202560 14116 0 0 0 141 4 0 0 20 0 22 0 29865385 10060525568 61041 33554432000 1073741824 1073778376 140735473500896 139932405979576 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18920/tid=18936] ppid=18917 vsize=9824732 CPUtime=1.65 cores=1,3,5,7

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

[pid=18920/tid=18930] ppid=18917 vsize=9824732 CPUtime=2.31 cores=1,3,5,7
/proc/18920/task/18930/stat : 18930 (java) S 18917 18920 17643 0 -1 4202560 364 0 0 0 221 10 0 0 20 0 22 0 29865382 10060525568 568469 33554432000 1073741824 1073778376 140735473500896 139932422600872 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18920/tid=18931] ppid=18917 vsize=9824732 CPUtime=3.84 cores=1,3,5,7
/proc/18920/task/18931/stat : 18931 (java) S 18917 18920 17643 0 -1 4202560 1960 0 0 0 365 19 0 0 20 0 22 0 29865383 10060525568 568469 33554432000 1073741824 1073778376 140735473500896 139932410190824 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18920/tid=18932] ppid=18917 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18920/task/18932/stat : 18932 (java) S 18917 18920 17643 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29865383 10060525568 568469 33554432000 1073741824 1073778376 140735473500896 139932409136888 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18920/tid=18933] ppid=18917 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18920/task/18933/stat : 18933 (java) S 18917 18920 17643 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 29865383 10060525568 568469 33554432000 1073741824 1073778376 140735473500896 139932408083976 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18920/tid=18934] ppid=18917 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18920/task/18934/stat : 18934 (java) S 18917 18920 17643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29865385 10060525568 568469 33554432000 1073741824 1073778376 140735473500896 139932407032464 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18920/tid=18935] ppid=18917 vsize=9824732 CPUtime=2.07 cores=1,3,5,7
/proc/18920/task/18935/stat : 18935 (java) S 18917 18920 17643 0 -1 4202560 14642 0 0 0 203 4 0 0 20 0 22 0 29865385 10060525568 568469 33554432000 1073741824 1073778376 140735473500896 139932405979576 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18920/tid=18936] ppid=18917 vsize=9824732 CPUtime=2.01 cores=1,3,5,7
/proc/18920/task/18936/stat : 18936 (java) S 18917 18920 17643 0 -1 4202560 12189 0 0 0 198 3 0 0 20 0 22 0 29865385 10060525568 568469 33554432000 1073741824 1073778376 140735473500896 139932404926776 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18920/tid=18937] ppid=18917 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18920/task/18937/stat : 18937 (java) S 18917 18920 17643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29865385 10060525568 568469 33554432000 1073741824 1073778376 140735473500896 139932403874168 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18920/tid=18938] ppid=18917 vsize=9824732 CPUtime=0.34 cores=1,3,5,7
/proc/18920/task/18938/stat : 18938 (java) S 18917 18920 17643 0 -1 4202560 51 0 0 0 15 19 0 0 20 0 22 0 29865385 10060525568 568469 33554432000 1073741824 1073778376 140735473500896 139932402821576 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18920/tid=18966] ppid=18917 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18920/task/18966/stat : 18966 (java) S 18917 18920 17643 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 29865902 10060525568 568469 33554432000 1073741824 1073778376 140735473500896 139932399662376 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18920/tid=19329] ppid=18917 vsize=9824732 CPUtime=656.22 cores=1,3,5,7
/proc/18920/task/19329/stat : 19329 (java) R 18917 18920 17643 0 -1 4202560 42 0 0 0 65611 11 0 0 20 0 22 0 29887090 10060525568 568469 33554432000 1073741824 1073778376 140735473500896 139932400713608 139932459480436 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=18920/tid=19330] ppid=18917 vsize=9824732 CPUtime=656.3 cores=1,3,5,7
/proc/18920/task/19330/stat : 19330 (java) R 18917 18920 17643 0 -1 4202560 117 0 0 0 65619 11 0 0 20 0 22 0 29887090 10060525568 568469 33554432000 1073741824 1073778376 140735473500896 139932401767152 139932459331054 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=18920/tid=19331] ppid=18917 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18920/task/19331/stat : 19331 (java) S 18917 18920 17643 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 29887090 10060525568 568469 33554432000 1073741824 1073778376 140735473500896 139932398609448 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1762.84
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.516 s]
/proc/loadavg: 4.39 4.31 4.22 6/217 19348
/proc/meminfo: memFree=24035920/32872528 swapFree=1316768/1463936
[pid=18920] ppid=18917 vsize=9824732 CPUtime=1799.39 cores=1,3,5,7
/proc/18920/stat : 18920 (java) S 18917 18920 17643 0 -1 4202496 38594 0 1 0 179724 215 0 0 20 0 22 0 29865381 10060525568 571626 33554432000 1073741824 1073778376 140735473500896 140735473492032 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18920/statm: 2456183 571626 2303 9 0 2446860 0
[pid=18920/tid=18921] ppid=18917 vsize=9824732 CPUtime=0.72 cores=1,3,5,7
/proc/18920/task/18921/stat : 18921 (java) S 18917 18920 17643 0 -1 4202560 2510 0 1 0 68 4 0 0 20 0 22 0 29865381 10060525568 571626 33554432000 1073741824 1073778376 140735473500896 139932586029944 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18920/tid=18923] ppid=18917 vsize=9824732 CPUtime=2.5 cores=1,3,5,7
/proc/18920/task/18923/stat : 18923 (java) R 18917 18920 17643 0 -1 4202560 470 0 0 0 239 11 0 0 20 0 22 0 29865382 10060525568 571626 33554432000 1073741824 1073778376 140735473500896 139932429970648 139932592537999 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=18920/tid=18924] ppid=18917 vsize=9824732 CPUtime=2.4 cores=1,3,5,7
/proc/18920/task/18924/stat : 18924 (java) R 18917 18920 17643 0 -1 4202560 382 0 0 0 229 11 0 0 20 0 22 0 29865382 10060525568 571626 33554432000 1073741824 1073778376 140735473500896 139932428917672 227512454279 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=18920/tid=18925] ppid=18917 vsize=9824732 CPUtime=2.58 cores=1,3,5,7
/proc/18920/task/18925/stat : 18925 (java) R 18917 18920 17643 0 -1 4202560 473 0 0 0 248 10 0 0 20 0 22 0 29865382 10060525568 571626 33554432000 1073741824 1073778376 140735473500896 139932427865048 139932592538028 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=18920/tid=18926] ppid=18917 vsize=9824732 CPUtime=2.4 cores=1,3,5,7
/proc/18920/task/18926/stat : 18926 (java) R 18917 18920 17643 0 -1 4202560 403 0 0 0 228 12 0 0 20 0 22 0 29865382 10060525568 571626 33554432000 1073741824 1073778376 140735473500896 139932426812200 227512454279 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=18920/tid=18927] ppid=18917 vsize=9824732 CPUtime=2.63 cores=1,3,5,7
/proc/18920/task/18927/stat : 18927 (java) R 18917 18920 17643 0 -1 4202560 438 0 0 0 250 13 0 0 20 0 22 0 29865382 10060525568 571626 33554432000 1073741824 1073778376 140735473500896 139932425759400 227512454279 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=18920/tid=18928] ppid=18917 vsize=9824732 CPUtime=2.34 cores=1,3,5,7
/proc/18920/task/18928/stat : 18928 (java) R 18917 18920 17643 0 -1 4202560 861 0 0 0 220 14 0 0 20 0 22 0 29865382 10060525568 571626 33554432000 1073741824 1073778376 140735473500896 139932424706472 227512454279 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18920/tid=18929] ppid=18917 vsize=9824732 CPUtime=2.47 cores=1,3,5,7
/proc/18920/task/18929/stat : 18929 (java) R 18917 18920 17643 0 -1 4202560 370 0 0 0 237 10 0 0 20 0 22 0 29865382 10060525568 571626 33554432000 1073741824 1073778376 140735473500896 139932423653848 139932592537999 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=18920/tid=18930] ppid=18917 vsize=9824732 CPUtime=2.35 cores=1,3,5,7
/proc/18920/task/18930/stat : 18930 (java) R 18917 18920 17643 0 -1 4202560 373 0 0 0 225 10 0 0 20 0 22 0 29865382 10060525568 571626 33554432000 1073741824 1073778376 140735473500896 139932422601000 227512454279 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=18920/tid=18931] ppid=18917 vsize=9824732 CPUtime=3.84 cores=1,3,5,7
/proc/18920/task/18931/stat : 18931 (java) S 18917 18920 17643 0 -1 4202560 1962 0 0 0 365 19 0 0 20 0 22 0 29865383 10060525568 571626 33554432000 1073741824 1073778376 140735473500896 139932410189704 227515872316 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18920/tid=18932] ppid=18917 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18920/task/18932/stat : 18932 (java) S 18917 18920 17643 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29865383 10060525568 571626 33554432000 1073741824 1073778376 140735473500896 139932409136888 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18920/tid=18933] ppid=18917 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18920/task/18933/stat : 18933 (java) S 18917 18920 17643 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 29865383 10060525568 571626 33554432000 1073741824 1073778376 140735473500896 139932408083976 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18920/tid=18934] ppid=18917 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18920/task/18934/stat : 18934 (java) S 18917 18920 17643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29865385 10060525568 571626 33554432000 1073741824 1073778376 140735473500896 139932407032464 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18920/tid=18935] ppid=18917 vsize=9824732 CPUtime=2.07 cores=1,3,5,7
/proc/18920/task/18935/stat : 18935 (java) S 18917 18920 17643 0 -1 4202560 14642 0 0 0 203 4 0 0 20 0 22 0 29865385 10060525568 571626 33554432000 1073741824 1073778376 140735473500896 139932405979576 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18920/tid=18936] ppid=18917 vsize=9824732 CPUtime=2.01 cores=1,3,5,7
/proc/18920/task/18936/stat : 18936 (java) S 18917 18920 17643 0 -1 4202560 12189 0 0 0 198 3 0 0 20 0 22 0 29865385 10060525568 571626 33554432000 1073741824 1073778376 140735473500896 139932404926776 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18920/tid=18937] ppid=18917 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18920/task/18937/stat : 18937 (java) S 18917 18920 17643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29865385 10060525568 571626 33554432000 1073741824 1073778376 140735473500896 139932403874168 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18920/tid=18938] ppid=18917 vsize=9824732 CPUtime=0.34 cores=1,3,5,7
/proc/18920/task/18938/stat : 18938 (java) S 18917 18920 17643 0 -1 4202560 53 0 0 0 15 19 0 0 20 0 22 0 29865385 10060525568 571626 33554432000 1073741824 1073778376 140735473500896 139932402821576 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18920/tid=18966] ppid=18917 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18920/task/18966/stat : 18966 (java) S 18917 18920 17643 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 29865902 10060525568 571626 33554432000 1073741824 1073778376 140735473500896 139932399662376 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18920/tid=19329] ppid=18917 vsize=9824732 CPUtime=674.29 cores=1,3,5,7
/proc/18920/task/19329/stat : 19329 (java) S 18917 18920 17643 0 -1 4202560 80 0 0 0 67417 12 0 0 20 0 22 0 29887090 10060525568 571626 33554432000 1073741824 1073778376 140735473500896 139932400712856 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18920/tid=19330] ppid=18917 vsize=9824732 CPUtime=674.37 cores=1,3,5,7
/proc/18920/task/19330/stat : 19330 (java) S 18917 18920 17643 0 -1 4202560 310 0 0 0 67424 13 0 0 20 0 22 0 29887090 10060525568 571626 33554432000 1073741824 1073778376 140735473500896 139932401765976 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18920/tid=19331] ppid=18917 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18920/task/19331/stat : 19331 (java) S 18917 18920 17643 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 29887090 10060525568 571626 33554432000 1073741824 1073778376 140735473500896 139932398609448 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1799.39
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 18920 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+900.516 s]
/proc/loadavg: 4.39 4.31 4.22 6/217 19348
/proc/meminfo: memFree=24035920/32872528 swapFree=1316768/1463936
[pid=18920] ppid=18917 vsize=9824732 CPUtime=1799.39 cores=1,3,5,7
/proc/18920/stat : 18920 (java) S 18917 18920 17643 0 -1 4202496 38594 0 1 0 179724 215 0 0 20 0 22 0 29865381 10060525568 571626 33554432000 1073741824 1073778376 140735473500896 140735473492032 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18920/statm: 2456183 571626 2303 9 0 2446860 0
[pid=18920/tid=18921] ppid=18917 vsize=9824732 CPUtime=0.72 cores=1,3,5,7
/proc/18920/task/18921/stat : 18921 (java) S 18917 18920 17643 0 -1 4202560 2510 0 1 0 68 4 0 0 20 0 22 0 29865381 10060525568 571626 33554432000 1073741824 1073778376 140735473500896 139932586029944 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18920/tid=18923] ppid=18917 vsize=9824732 CPUtime=2.5 cores=1,3,5,7
/proc/18920/task/18923/stat : 18923 (java) R 18917 18920 17643 0 -1 4202560 470 0 0 0 239 11 0 0 20 0 22 0 29865382 10060525568 571626 33554432000 1073741824 1073778376 140735473500896 139932429970648 139932592537999 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=18920/tid=18924] ppid=18917 vsize=9824732 CPUtime=2.4 cores=1,3,5,7
/proc/18920/task/18924/stat : 18924 (java) R 18917 18920 17643 0 -1 4202560 382 0 0 0 229 11 0 0 20 0 22 0 29865382 10060525568 571626 33554432000 1073741824 1073778376 140735473500896 139932428917672 227512454279 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=18920/tid=18925] ppid=18917 vsize=9824732 CPUtime=2.58 cores=1,3,5,7
/proc/18920/task/18925/stat : 18925 (java) R 18917 18920 17643 0 -1 4202560 473 0 0 0 248 10 0 0 20 0 22 0 29865382 10060525568 571626 33554432000 1073741824 1073778376 140735473500896 139932427865048 139932592538028 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=18920/tid=18926] ppid=18917 vsize=9824732 CPUtime=2.4 cores=1,3,5,7
/proc/18920/task/18926/stat : 18926 (java) R 18917 18920 17643 0 -1 4202560 403 0 0 0 228 12 0 0 20 0 22 0 29865382 10060525568 571626 33554432000 1073741824 1073778376 140735473500896 139932426812200 227512454279 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=18920/tid=18927] ppid=18917 vsize=9824732 CPUtime=2.63 cores=1,3,5,7
/proc/18920/task/18927/stat : 18927 (java) R 18917 18920 17643 0 -1 4202560 438 0 0 0 250 13 0 0 20 0 22 0 29865382 10060525568 571626 33554432000 1073741824 1073778376 140735473500896 139932425759400 227512454279 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=18920/tid=18928] ppid=18917 vsize=9824732 CPUtime=2.34 cores=1,3,5,7
/proc/18920/task/18928/stat : 18928 (java) R 18917 18920 17643 0 -1 4202560 861 0 0 0 220 14 0 0 20 0 22 0 29865382 10060525568 571626 33554432000 1073741824 1073778376 140735473500896 139932424706472 227512454279 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18920/tid=18929] ppid=18917 vsize=9824732 CPUtime=2.47 cores=1,3,5,7
/proc/18920/task/18929/stat : 18929 (java) R 18917 18920 17643 0 -1 4202560 370 0 0 0 237 10 0 0 20 0 22 0 29865382 10060525568 571626 33554432000 1073741824 1073778376 140735473500896 139932423653848 139932592537999 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=18920/tid=18930] ppid=18917 vsize=9824732 CPUtime=2.35 cores=1,3,5,7
/proc/18920/task/18930/stat : 18930 (java) R 18917 18920 17643 0 -1 4202560 373 0 0 0 225 10 0 0 20 0 22 0 29865382 10060525568 571626 33554432000 1073741824 1073778376 140735473500896 139932422601000 227512454279 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=18920/tid=18931] ppid=18917 vsize=9824732 CPUtime=3.84 cores=1,3,5,7
/proc/18920/task/18931/stat : 18931 (java) S 18917 18920 17643 0 -1 4202560 1962 0 0 0 365 19 0 0 20 0 22 0 29865383 10060525568 571626 33554432000 1073741824 1073778376 140735473500896 139932410189704 227515872316 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18920/tid=18932] ppid=18917 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18920/task/18932/stat : 18932 (java) S 18917 18920 17643 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29865383 10060525568 571626 33554432000 1073741824 1073778376 140735473500896 139932409136888 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18920/tid=18933] ppid=18917 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18920/task/18933/stat : 18933 (java) S 18917 18920 17643 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 29865383 10060525568 571626 33554432000 1073741824 1073778376 140735473500896 139932408083976 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18920/tid=18934] ppid=18917 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18920/task/18934/stat : 18934 (java) S 18917 18920 17643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29865385 10060525568 571626 33554432000 1073741824 1073778376 140735473500896 139932407032464 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18920/tid=18935] ppid=18917 vsize=9824732 CPUtime=2.07 cores=1,3,5,7
/proc/18920/task/18935/stat : 18935 (java) S 18917 18920 17643 0 -1 4202560 14642 0 0 0 203 4 0 0 20 0 22 0 29865385 10060525568 571626 33554432000 1073741824 1073778376 140735473500896 139932405979576 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18920/tid=18936] ppid=18917 vsize=9824732 CPUtime=2.01 cores=1,3,5,7
/proc/18920/task/18936/stat : 18936 (java) S 18917 18920 17643 0 -1 4202560 12189 0 0 0 198 3 0 0 20 0 22 0 29865385 10060525568 571626 33554432000 1073741824 1073778376 140735473500896 139932404926776 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18920/tid=18937] ppid=18917 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18920/task/18937/stat : 18937 (java) S 18917 18920 17643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29865385 10060525568 571626 33554432000 1073741824 1073778376 140735473500896 139932403874168 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18920/tid=18938] ppid=18917 vsize=9824732 CPUtime=0.34 cores=1,3,5,7
/proc/18920/task/18938/stat : 18938 (java) S 18917 18920 17643 0 -1 4202560 53 0 0 0 15 19 0 0 20 0 22 0 29865385 10060525568 571626 33554432000 1073741824 1073778376 140735473500896 139932402821576 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18920/tid=18966] ppid=18917 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18920/task/18966/stat : 18966 (java) S 18917 18920 17643 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 29865902 10060525568 571626 33554432000 1073741824 1073778376 140735473500896 139932399662376 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18920/tid=19329] ppid=18917 vsize=9824732 CPUtime=674.29 cores=1,3,5,7
/proc/18920/task/19329/stat : 19329 (java) S 18917 18920 17643 0 -1 4202560 80 0 0 0 67417 12 0 0 20 0 22 0 29887090 10060525568 571626 33554432000 1073741824 1073778376 140735473500896 139932400712856 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18920/tid=19330] ppid=18917 vsize=9824732 CPUtime=674.37 cores=1,3,5,7
/proc/18920/task/19330/stat : 19330 (java) S 18917 18920 17643 0 -1 4202560 310 0 0 0 67424 13 0 0 20 0 22 0 29887090 10060525568 571626 33554432000 1073741824 1073778376 140735473500896 139932401765976 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18920/tid=19331] ppid=18917 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18920/task/19331/stat : 19331 (java) S 18917 18920 17643 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 29887090 10060525568 571626 33554432000 1073741824 1073778376 140735473500896 139932398609448 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1799.39
Current children cumulated vsize (KiB) 9824732

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 18920 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=948278
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=501619
# CPU time returned by wait4() is 1796.45
# while last known CPU time is 1799.39
#
# 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.689941
#  lost CPU user time (s): 0.759979
#  lost CPU system time (s): -0.0699999

Real time (s): 900.586
CPU time (s): 1800.08
CPU user time (s): 1798
CPU system time (s): 2.08
CPU usage (%): 199.879
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.95
system time used= 2.50162
maximum resident set size= 2989832
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38632
page faults= 1
swaps= 0
block input operations= 0
block output operations= 984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 27288
involuntary context switches= 43159

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.78212 second user time and 7.17391 second system time

The end

Launcher Data 

Begin job on node121 at 2016-06-18 21:29:45
IDJOB=4106830
IDBENCH=48282
IDSOLVER=2543
FILE ID=node121/4106830-1466278184
RUNJOBID= node121-1466275489-17660
PBS_JOBID= 19918247
Free space on /tmp= 71720 MiB

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

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

MD5SUM BENCH= f7dd1b6b0a4946caf4c26a82905ed8fe
RANDOM SEED=1710839813

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.691
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.691
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:        26753388 kB
Buffers:          166004 kB
Cached:           221312 kB
SwapCached:         1900 kB
Active:          3608352 kB
Inactive:         293048 kB
Active(anon):    3513636 kB
Inactive(anon):     2792 kB
Active(file):      94716 kB
Inactive(file):   290256 kB
Unevictable:     1463936 kB
Mlocked:         1316768 kB
SwapTotal:      67108856 kB
SwapFree:       67101124 kB
Dirty:               920 kB
Writeback:             0 kB
AnonPages:       4976228 kB
Mapped:            16944 kB
Shmem:                 0 kB
Slab:             614028 kB
SReclaimable:      57528 kB
SUnreclaim:       556500 kB
KernelStack:        1584 kB
PageTables:        14076 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    5261884 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3534848 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= 71720 MiB
End job on node121 at 2016-06-18 21:44:45