Trace number 4106677

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)-34 1800.09 894.974

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_500_60_2.opb
MD5SUMfecc1e3404707b1609ea9647c91fc73f
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-37
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 -36
Optimality of the best value was proved NO
Number of variables500
Total number of constraints500
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 constraints500
Minimum length of a constraint60
Maximum length of a constraint105
Number of terms in the objective function 500
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 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 500
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)37488
Sum of products size (including duplicates)74976
Number of different products18744
Sum of products size37488

Quality of the solution as a function of time


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

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c version PB16.v20160501
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.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-4106677-1466275492.opb
0.11/0.11	c reading problem ... 
0.11/0.11	c  objective function found
2.53/1.04	c ... done. Wall clock time 0.932s.
2.53/1.04	c declared #vars     500
2.53/1.04	c internal #vars     19244
2.53/1.04	c #constraints  38488
2.53/1.04	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
2.53/1.04	c constraints type 
2.53/1.04	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 18744
2.53/1.04	c org.sat4j.minisat.constraints.cnf.UnitClauses => 481
2.53/1.04	c org.sat4j.specs.Constr$1 => 510
2.53/1.04	c org.sat4j.minisat.constraints.cnf.UnitClause => 9
2.53/1.04	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 18744
2.53/1.04	c 38488 constraints processed.
2.53/1.04	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
2.53/1.04	c constraints type 
2.53/1.04	c org.sat4j.specs.Constr$1 => 510
2.53/1.04	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 18744
2.53/1.04	c org.sat4j.pb.constraints.pb.UnitClausesPB => 481
2.53/1.04	c org.sat4j.pb.constraints.pb.UnitClausePB => 9
2.53/1.04	c org.sat4j.pb.constraints.pb.MaxWatchPb => 18744
2.53/1.04	c 38488 constraints processed.
2.53/1.04	c objective function length is 500 literals
3.68/1.39	c And the winner is solver0
4.06/1.54	c SATISFIABLE
4.06/1.54	c OPTIMIZING...
4.06/1.54	c Got one! Elapsed wall clock time (in seconds):1.437
4.06/1.54	o -24
4.26/1.60	c And the winner is solver0
4.40/2.05	c Got one! Elapsed wall clock time (in seconds):1.94
4.40/2.05	o -25
4.40/2.08	c And the winner is solver0
4.58/2.55	c Got one! Elapsed wall clock time (in seconds):2.442
4.58/2.55	o -26
5.14/2.78	c And the winner is solver0
5.59/3.05	c Got one! Elapsed wall clock time (in seconds):2.945
5.59/3.05	o -27
6.22/3.33	c And the winner is solver1
6.30/3.55	c Got one! Elapsed wall clock time (in seconds):3.446
6.30/3.55	o -28
7.17/3.92	c And the winner is solver1
7.22/4.06	c Got one! Elapsed wall clock time (in seconds):3.948
7.22/4.06	o -29
8.48/4.68	c cleaning 3166 clauses out of 6339 with flag 4658/6339
9.80/5.22	c And the winner is solver1
9.87/5.60	c Got one! Elapsed wall clock time (in seconds):5.492
9.87/5.60	o -30
11.37/6.38	c cleaning 4143 clauses out of 8302 with flag 7156/11468
13.72/7.44	c And the winner is solver1
13.80/7.60	c Got one! Elapsed wall clock time (in seconds):7.493
13.80/7.60	o -31
14.21/7.87	c cleaning 4647 clauses out of 9293 with flag 2282/16602
17.57/9.44	c cleaning 5324 clauses out of 10647 with flag 16224/22603
21.42/11.31	c cleaning 6161 clauses out of 12321 with flag 33192/29601
26.00/13.50	c cleaning 7077 clauses out of 14162 with flag 51464/37603
31.19/16.03	c cleaning 8041 clauses out of 16083 with flag 73076/46601
35.79/18.32	c cleaning 9022 clauses out of 18044 with flag 95456/56603
40.59/20.72	c cleaning 10009 clauses out of 20020 with flag 118319/67601
46.44/23.58	c cleaning 11004 clauses out of 22014 with flag 143456/79604
52.25/26.44	c cleaning 12004 clauses out of 24008 with flag 170515/92602
59.75/30.01	c cleaning 12998 clauses out of 26003 with flag 199587/106601
66.82/33.51	c cleaning 14003 clauses out of 28005 with flag 230984/121601
75.37/38.01	c cleaning 15002 clauses out of 30003 with flag 264424/137602
83.57/42.11	c cleaning 16001 clauses out of 32001 with flag 300036/154602
92.07/46.39	c cleaning 16997 clauses out of 33999 with flag 337851/172601
98.25/49.41	c And the winner is solver1
98.25/49.48	c Got one! Elapsed wall clock time (in seconds):49.367
98.25/49.48	o -32
102.65/51.71	c cleaning 17548 clauses out of 35101 with flag 11545/190700
106.64/53.76	c cleaning 11771 clauses out of 23552 with flag 25251/196699
111.18/55.97	c cleaning 9389 clauses out of 18783 with flag 41522/203701
116.00/58.32	c cleaning 8688 clauses out of 17392 with flag 60106/211699
120.98/60.86	c cleaning 8850 clauses out of 17703 with flag 80953/220698
126.78/63.75	c cleaning 9422 clauses out of 18854 with flag 103693/230699
133.72/67.16	c cleaning 10214 clauses out of 20431 with flag 130178/241698
141.51/71.05	c cleaning 11109 clauses out of 22217 with flag 160013/253698
149.71/75.12	c cleaning 12050 clauses out of 24111 with flag 190100/266701
159.42/79.99	c cleaning 13031 clauses out of 26061 with flag 223642/280701
170.02/85.25	c cleaning 14013 clauses out of 28027 with flag 259291/295698
181.96/91.18	c cleaning 15002 clauses out of 30014 with flag 299225/311698
195.16/97.60	c cleaning 15998 clauses out of 32012 with flag 341459/328698
209.17/104.68	c cleaning 17003 clauses out of 34015 with flag 385440/346699
226.60/113.75	c cleaning 18000 clauses out of 36012 with flag 434271/365699
239.01/119.97	c cleaning 0 clauses out of 6041 with flag 0/6042
244.46/122.47	c cleaning 19000 clauses out of 38012 with flag 484385/385699
250.85/125.61	c And the winner is solver1
250.85/125.67	c Got one! Elapsed wall clock time (in seconds):125.566
250.85/125.67	o -33
254.68/127.66	c cleaning 16192 clauses out of 32389 with flag 11448/399076
258.47/129.53	c cleaning 11098 clauses out of 22197 with flag 25422/405076
262.76/131.68	c cleaning 9043 clauses out of 18097 with flag 43596/412074
267.55/134.00	c cleaning 8522 clauses out of 17055 with flag 63234/420075
272.76/136.62	c cleaning 8765 clauses out of 17533 with flag 84503/429075
278.36/139.45	c cleaning 9376 clauses out of 18768 with flag 108755/439075
284.76/142.66	c cleaning 10190 clauses out of 20391 with flag 134936/450074
292.69/146.51	c cleaning 11102 clauses out of 22203 with flag 165393/462076
300.89/150.63	c cleaning 12045 clauses out of 24101 with flag 196250/475076
310.49/155.35	c cleaning 13028 clauses out of 26055 with flag 230981/489075
321.10/160.70	c cleaning 14014 clauses out of 28027 with flag 269209/504075
333.29/166.69	c cleaning 15002 clauses out of 30013 with flag 309928/520075
345.50/172.73	c cleaning 16003 clauses out of 32010 with flag 351143/537074
359.69/179.77	c cleaning 16999 clauses out of 34007 with flag 397689/555074
374.50/187.19	c cleaning 18000 clauses out of 36010 with flag 446398/574076
390.89/195.22	c cleaning 19000 clauses out of 38008 with flag 497503/594074
408.54/203.93	c cleaning 20000 clauses out of 40011 with flag 552289/615077
427.24/213.14	c cleaning 21002 clauses out of 42008 with flag 608202/637074
447.59/223.19	c cleaning 21998 clauses out of 44006 with flag 662264/660074
470.37/234.39	c cleaning 23001 clauses out of 46008 with flag 723332/684074
494.65/246.40	c cleaning 23997 clauses out of 48008 with flag 787544/709075
507.58/252.66	c And the winner is solver1
507.58/253.07	c Got one! Elapsed wall clock time (in seconds):252.962
507.58/253.07	o -34
513.03/255.85	c cleaning 22010 clauses out of 44037 with flag 12003/729101
517.23/257.94	c cleaning 14011 clauses out of 28029 with flag 25779/735103
522.13/260.28	c cleaning 10508 clauses out of 21016 with flag 42803/742101
526.73/262.51	c cleaning 9245 clauses out of 18507 with flag 61664/750100
531.72/265.10	c cleaning 9122 clauses out of 18262 with flag 84001/759100
537.52/267.95	c cleaning 9565 clauses out of 19141 with flag 108120/769101
544.88/271.43	c cleaning 10281 clauses out of 20575 with flag 135243/780100
551.68/274.88	c cleaning 11148 clauses out of 22295 with flag 164261/792101
560.61/279.11	c cleaning 12072 clauses out of 24147 with flag 196256/805101
569.61/283.66	c cleaning 13038 clauses out of 26075 with flag 231246/819101
580.15/288.79	c cleaning 14014 clauses out of 28036 with flag 267285/834100
592.16/294.76	c cleaning 15009 clauses out of 30022 with flag 308359/850100
605.47/301.20	c cleaning 15999 clauses out of 32013 with flag 351585/867100
619.61/308.12	c cleaning 17007 clauses out of 34014 with flag 397015/885100
636.81/317.42	c cleaning 18003 clauses out of 36008 with flag 447395/904101
654.06/326.03	c cleaning 18999 clauses out of 38005 with flag 497604/924101
672.35/335.17	c cleaning 20003 clauses out of 40006 with flag 551283/945101
691.63/344.77	c cleaning 20994 clauses out of 42002 with flag 608897/967100
711.95/354.90	c cleaning 22004 clauses out of 44008 with flag 671340/990100
734.68/366.16	c cleaning 22998 clauses out of 46004 with flag 734888/1014100
758.62/378.06	c cleaning 24003 clauses out of 48006 with flag 801147/1039100
783.15/390.10	c cleaning 25000 clauses out of 50003 with flag 865495/1065100
810.95/403.94	c cleaning 25994 clauses out of 52003 with flag 932253/1092100
842.21/419.34	c cleaning 27002 clauses out of 54009 with flag 1004834/1120100
872.66/434.45	c cleaning 27998 clauses out of 56008 with flag 1080736/1149101
904.23/450.00	c cleaning 29002 clauses out of 58009 with flag 1159660/1179100
937.23/466.11	c cleaning 30000 clauses out of 60007 with flag 1239730/1210100
957.96/476.35	c cleaning 0 clauses out of 11489 with flag 0/11490
972.39/483.60	c cleaning 30998 clauses out of 62007 with flag 1318959/1242100
1010.62/502.30	c cleaning 32000 clauses out of 64010 with flag 1398846/1275101
1052.26/522.89	c cleaning 33000 clauses out of 66009 with flag 1485737/1309100
1094.29/543.45	c cleaning 34002 clauses out of 68009 with flag 1572616/1344100
1133.96/563.04	c cleaning 35004 clauses out of 70007 with flag 1663311/1380100
1186.33/590.30	c cleaning 35998 clauses out of 72003 with flag 1756685/1417100
1231.13/612.67	c cleaning 37003 clauses out of 74006 with flag 1849933/1455101
1283.15/638.49	c cleaning 37996 clauses out of 76002 with flag 1948979/1494100
1335.99/664.56	c cleaning 39000 clauses out of 78007 with flag 2049167/1534101
1397.54/694.98	c cleaning 40003 clauses out of 80006 with flag 2155631/1575100
1455.39/723.49	c cleaning 40997 clauses out of 82004 with flag 2262110/1617101
1522.30/756.42	c cleaning 42003 clauses out of 84006 with flag 2376648/1660100
1577.94/783.73	c cleaning 42993 clauses out of 86003 with flag 2485098/1704100
1643.01/815.98	c cleaning 44005 clauses out of 88012 with flag 2599340/1749102
1706.29/848.46	c cleaning 44998 clauses out of 90005 with flag 2716967/1795100
1776.48/883.30	c cleaning 46004 clauses out of 92007 with flag 2839569/1842100
1800.09/894.90	c >>>>>>>>>> Solver number 0 (4 answers) <<<<<<<<<<<<<<<<<<
1800.09/894.90	c starts		: 33883
1800.09/894.90	c conflicts		: 1860287
1800.09/894.90	c decisions		: 16488435
1800.09/894.90	c propagations		: 26829523
1800.09/894.90	c inspects		: 7571181381
1800.09/894.90	c shortcuts		: 0
1800.09/894.90	c learnt literals	: 0
1800.09/894.90	c learnt binary clauses	: 0
1800.09/894.90	c learnt ternary clauses	: 0
1800.09/894.90	c learnt constraints	: 1860287
1800.09/894.90	c ignored constraints	: 0
1800.09/894.90	c root simplifications	: 0
1800.09/894.90	c removed literals (reason simplification)	: 48070943
1800.09/894.90	c reason swapping (by a shorter reason)	: 0
1800.09/894.90	c Calls to reduceDB	: 96
1800.09/894.90	c Number of update (reduction) of LBD	: 105577
1800.09/894.90	c Imported unit clauses	: 0
1800.09/894.90	c number of reductions to clauses (during analyze)	: 0
1800.09/894.90	c number of learned constraints concerned by reduction	: 0
1800.09/894.90	c number of learning phase by resolution	: 0
1800.09/894.90	c number of learning phase by cutting planes	: 0
1800.09/894.90	c speed (assignments/second)	: 41801.53809959319
1800.09/894.90	c non guided choices	0
1800.09/894.93	c learnt constraints type 
1800.09/894.93	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 64190
1800.09/894.93	c >>>>>>>>>> Solver number 1 (7 answers) <<<<<<<<<<<<<<<<<<
1800.09/894.93	c starts		: 54
1800.09/894.93	c conflicts		: 15441
1800.09/894.93	c decisions		: 17760
1800.09/894.93	c propagations		: 380380
1800.09/894.93	c inspects		: 779081833
1800.09/894.93	c shortcuts		: 0
1800.09/894.93	c learnt literals	: 0
1800.09/894.93	c learnt binary clauses	: 0
1800.09/894.93	c learnt ternary clauses	: 0
1800.09/894.93	c learnt constraints	: 15440
1800.09/894.93	c ignored constraints	: 0
1800.09/894.93	c root simplifications	: 0
1800.09/894.93	c removed literals (reason simplification)	: 0
1800.09/894.93	c reason swapping (by a shorter reason)	: 0
1800.09/894.93	c Calls to reduceDB	: 2
1800.09/894.93	c Number of update (reduction) of LBD	: 0
1800.09/894.93	c Imported unit clauses	: 0
1800.09/894.93	c number of reductions to clauses (during analyze)	: 0
1800.09/894.93	c number of learned constraints concerned by reduction	: 0
1800.09/894.93	c number of learning phase by resolution	: 0
1800.09/894.93	c number of learning phase by cutting planes	: 0
1800.09/894.93	c speed (assignments/second)	: 426.4947442186405
1800.09/894.93	c non guided choices	0
1800.09/894.94	c learnt constraints type 
1800.09/894.94	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 498
1800.09/894.94	c org.sat4j.pb.constraints.pb.MaxWatchPb => 14942
1800.09/894.94	s SATISFIABLE
1800.09/894.94	c Found 11 solution(s)
1800.09/894.94	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 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 x414 -x415 -x416 -x417 x418 x419 -x420 -x421 x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 x432 -x433 -x434 -x435 -x436 -x437 -x438 x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 x447 -x448 x449 -x450 x451 -x452 -x453 x454 -x455 -x456 -x457 x458 -x459 -x460 x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 
1800.09/894.94	c objective function=-34
1800.09/894.94	c Total wall clock time (in seconds): 894.832

Verifier Data 

OK	-34

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

pid=17790
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: 1.15 1.47 1.85 3/192 17793
/proc/meminfo: memFree=30223692/32872528 swapFree=1316768/1463936
[pid=17793] ppid=17790 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/17793/stat : 17793 (java) S 17790 17793 17643 0 -1 4202496 1353 0 0 0 0 0 0 0 20 0 2 0 29596124 98570240 976 33554432000 1073741824 1073778376 140733769785488 140733769776624 227515859005 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17793/statm: 24065 976 743 9 0 16771 0
[pid=17793/tid=17794] ppid=17790 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/17793/task/17794/stat : 17794 (java) R 17790 17793 17643 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 29596125 98570240 976 33554432000 1073741824 1073778376 140733769785488 139641819930152 227512501632 0 0 4096 0 0 0 0 -1 5 0 0 0 0 0

[startup+0.100061 s]
/proc/loadavg: 1.15 1.47 1.85 3/192 17793
/proc/meminfo: memFree=30223692/32872528 swapFree=1316768/1463936
[pid=17793] ppid=17790 vsize=9558476 CPUtime=0.11 cores=1,3,5,7
/proc/17793/stat : 17793 (java) S 17790 17793 17643 0 -1 4202496 4446 0 1 0 10 1 0 0 20 0 18 0 29596124 9787879424 6079 33554432000 1073741824 1073778376 140733769785488 140733769776624 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17793/statm: 2389619 6079 2155 9 0 2380296 0
[pid=17793/tid=17794] ppid=17790 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/17793/task/17794/stat : 17794 (java) R 17790 17793 17643 0 -1 4202560 2390 0 1 0 6 1 0 0 20 0 18 0 29596125 9787879424 6079 33554432000 1073741824 1073778376 140733769785488 139641819933600 227515884813 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476

[startup+0.200283 s]
/proc/loadavg: 1.15 1.47 1.85 3/192 17793
/proc/meminfo: memFree=30223692/32872528 swapFree=1316768/1463936
[pid=17793] ppid=17790 vsize=9558476 CPUtime=0.24 cores=1,3,5,7
/proc/17793/stat : 17793 (java) S 17790 17793 17643 0 -1 4202496 4598 0 1 0 23 1 0 0 20 0 18 0 29596124 9787879424 7210 33554432000 1073741824 1073778376 140733769785488 140733769776624 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17793/statm: 2389619 7210 2213 9 0 2380296 0
[pid=17793/tid=17794] ppid=17790 vsize=9558476 CPUtime=0.17 cores=1,3,5,7
/proc/17793/task/17794/stat : 17794 (java) R 17790 17793 17643 0 -1 4202560 2410 0 1 0 16 1 0 0 20 0 18 0 29596125 9787879424 7210 33554432000 1073741824 1073778376 140733769785488 139641819933600 139641684557696 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9558476

[startup+0.300261 s]
/proc/loadavg: 1.15 1.47 1.85 3/192 17793
/proc/meminfo: memFree=30223692/32872528 swapFree=1316768/1463936
[pid=17793] ppid=17790 vsize=9558476 CPUtime=0.49 cores=1,3,5,7
/proc/17793/stat : 17793 (java) S 17790 17793 17643 0 -1 4202496 5907 0 1 0 47 2 0 0 20 0 18 0 29596124 9787879424 8889 33554432000 1073741824 1073778376 140733769785488 140733769776624 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17793/statm: 2389619 8889 2240 9 0 2380296 0
[pid=17793/tid=17794] ppid=17790 vsize=9558476 CPUtime=0.27 cores=1,3,5,7
/proc/17793/task/17794/stat : 17794 (java) R 17790 17793 17643 0 -1 4202560 2414 0 1 0 26 1 0 0 20 0 18 0 29596125 9787879424 8889 33554432000 1073741824 1073778376 140733769785488 139641819934024 139641684604460 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9558476

[startup+0.700238 s]
/proc/loadavg: 1.15 1.47 1.85 3/192 17793
/proc/meminfo: memFree=30223692/32872528 swapFree=1316768/1463936
[pid=17793] ppid=17790 vsize=9558476 CPUtime=1.63 cores=1,3,5,7
/proc/17793/stat : 17793 (java) S 17790 17793 17643 0 -1 4202496 31345 0 1 0 155 8 0 0 20 0 18 0 29596124 9787879424 34636 33554432000 1073741824 1073778376 140733769785488 140733769776624 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17793/statm: 2389619 34636 2255 9 0 2380296 0
[pid=17793/tid=17794] ppid=17790 vsize=9558476 CPUtime=0.67 cores=1,3,5,7
/proc/17793/task/17794/stat : 17794 (java) R 17790 17793 17643 0 -1 4202560 2434 0 1 0 66 1 0 0 20 0 18 0 29596125 9787879424 34636 33554432000 1073741824 1073778376 140733769785488 139641819934840 139641823220631 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.63
Current children cumulated vsize (KiB) 9558476

[startup+1.50083 s]
/proc/loadavg: 1.15 1.47 1.85 7/211 17880
/proc/meminfo: memFree=30082600/32872528 swapFree=1316768/1463936
[pid=17793] ppid=17790 vsize=9824732 CPUtime=4.06 cores=1,3,5,7
/proc/17793/stat : 17793 (java) S 17790 17793 17643 0 -1 4202496 34159 0 1 0 394 12 0 0 20 0 19 0 29596124 10060525568 46647 33554432000 1073741824 1073778376 140733769785488 140733769776624 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17793/statm: 2456183 46647 2268 9 0 2446860 0
[pid=17793/tid=17794] ppid=17790 vsize=9824732 CPUtime=1.02 cores=1,3,5,7
/proc/17793/task/17794/stat : 17794 (java) S 17790 17793 17643 0 -1 4202560 2469 0 1 0 99 3 0 0 20 0 19 0 29596125 10060525568 46647 33554432000 1073741824 1073778376 140733769785488 139641819935608 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17793/tid=17796] ppid=17790 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17793/task/17796/stat : 17796 (java) S 17790 17793 17643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29596125 10060525568 46647 33554432000 1073741824 1073778376 140733769785488 139641808997288 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17793/tid=17797] ppid=17790 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17793/task/17797/stat : 17797 (java) S 17790 17793 17643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29596125 10060525568 46647 33554432000 1073741824 1073778376 140733769785488 139641807944744 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17793/tid=17798] ppid=17790 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17793/task/17798/stat : 17798 (java) S 17790 17793 17643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29596125 10060525568 46647 33554432000 1073741824 1073778376 140733769785488 139641806891688 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17793/tid=17799] ppid=17790 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17793/task/17799/stat : 17799 (java) S 17790 17793 17643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29596125 10060525568 46647 33554432000 1073741824 1073778376 140733769785488 139641805839144 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17793/tid=17800] ppid=17790 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17793/task/17800/stat : 17800 (java) S 17790 17793 17643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29596125 10060525568 46647 33554432000 1073741824 1073778376 140733769785488 139641804786088 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17793/tid=17801] ppid=17790 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17793/task/17801/stat : 17801 (java) S 17790 17793 17643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29596125 10060525568 46647 33554432000 1073741824 1073778376 140733769785488 139641803733544 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17793/tid=17802] ppid=17790 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17793/task/17802/stat : 17802 (java) S 17790 17793 17643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29596125 10060525568 46647 33554432000 1073741824 1073778376 140733769785488 139641656916136 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17793/tid=17803] ppid=17790 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17793/task/17803/stat : 17803 (java) S 17790 17793 17643 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29596125 10060525568 46647 33554432000 1073741824 1073778376 140733769785488 139641655863592 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17793/tid=17804] ppid=17790 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17793/task/17804/stat : 17804 (java) S 17790 17793 17643 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 29596127 10060525568 46647 33554432000 1073741824 1073778376 140733769785488 139641643666280 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17793/tid=17805] ppid=17790 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17793/task/17805/stat : 17805 (java) S 17790 17793 17643 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 29596127 10060525568 46647 33554432000 1073741824 1073778376 140733769785488 139641642612600 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17793/tid=17806] ppid=17790 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17793/task/17806/stat : 17806 (java) S 17790 17793 17643 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29596127 10060525568 46647 33554432000 1073741824 1073778376 140733769785488 139641641559432 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17793/tid=17807] ppid=17790 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17793/task/17807/stat : 17807 (java) S 17790 17793 17643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29596129 10060525568 46647 33554432000 1073741824 1073778376 140733769785488 139641640508176 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17793/tid=17808] ppid=17790 vsize=9824732 CPUtime=1.13 cores=1,3,5,7
/proc/17793/task/17808/stat : 17808 (java) S 17790 17793 17643 0 -1 4202560 12608 0 0 0 111 2 0 0 20 0 19 0 29596129 10060525568 46647 33554432000 1073741824 1073778376 140733769785488 139641639455032 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17793/tid=17809] ppid=17790 vsize=9824732 CPUtime=1.16 cores=1,3,5,7
/proc/17793/task/17809/stat : 17809 (java) S 17790 17793 17643 0 -1 4202560 17765 0 0 0 111 5 0 0 20 0 19 0 29596129 10060525568 46647 33554432000 1073741824 1073778376 140733769785488 139641638402488 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17793/tid=17810] ppid=17790 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17793/task/17810/stat : 17810 (java) S 17790 17793 17643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29596129 10060525568 46647 33554432000 1073741824 1073778376 140733769785488 139641637349624 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17793/tid=17811] ppid=17790 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17793/task/17811/stat : 17811 (java) S 17790 17793 17643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29596129 10060525568 46647 33554432000 1073741824 1073778376 140733769785488 139641636297288 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.06
Current children cumulated vsize (KiB) 9824732

[startup+3.10081 s]
/proc/loadavg: 1.15 1.47 1.85 2/211 17898
/proc/meminfo: memFree=30029088/32872528 swapFree=1316768/1463936
[pid=17793] ppid=17790 vsize=9824732 CPUtime=5.71 cores=1,3,5,7
/proc/17793/stat : 17793 (java) S 17790 17793 17643 0 -1 4202496 34377 0 1 0 550 21 0 0 20 0 22 0 29596124 10060525568 62118 33554432000 1073741824 1073778376 140733769785488 140733769776624 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17793/statm: 2456183 62118 2289 9 0 2446860 0
[pid=17793/tid=17794] ppid=17790 vsize=9824732 CPUtime=1.03 cores=1,3,5,7
/proc/17793/task/17794/stat : 17794 (java) S 17790 17793 17643 0 -1 4202560 2469 0 1 0 100 3 0 0 20 0 22 0 29596125 10060525568 62118 33554432000 1073741824 1073778376 140733769785488 139641819935608 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17793/tid=17796] ppid=17790 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/17793/task/17796/stat : 17796 (java) S 17790 17793 17643 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 22 0 29596125 10060525568 62118 33554432000 1073741824 1073778376 140733769785488 139641808997288 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17793/tid=17797] ppid=17790 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17793/task/17797/stat : 17797 (java) S 17790 17793 17643 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 29596125 10060525568 62118 33554432000 1073741824 1073778376 140733769785488 139641807944744 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17793/tid=17798] ppid=17790 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/17793/task/17798/stat : 17798 (java) S 17790 17793 17643 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 29596125 10060525568 62118 33554432000 1073741824 1073778376 140733769785488 139641806891688 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17793/tid=17799] ppid=17790 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17793/task/17799/stat : 17799 (java) S 17790 17793 17643 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 29596125 10060525568 62118 33554432000 1073741824 1073778376 140733769785488 139641805839144 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17793/tid=17800] ppid=17790 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/17793/task/17800/stat : 17800 (java) S 17790 17793 17643 0 -1 4202560 19 0 0 0 1 1 0 0 20 0 22 0 29596125 10060525568 62118 33554432000 1073741824 1073778376 140733769785488 139641804786088 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17793/tid=17801] ppid=17790 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/17793/task/17801/stat : 17801 (java) S 17790 17793 17643 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 29596125 10060525568 62118 33554432000 1073741824 1073778376 140733769785488 139641803733544 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17793/tid=17802] ppid=17790 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17793/task/17802/stat : 17802 (java) S 17790 17793 17643 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 29596125 10060525568 62118 33554432000 1073741824 1073778376 140733769785488 139641656916136 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17793/tid=17803] ppid=17790 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17793/task/17803/stat : 17803 (java) S 17790 17793 17643 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 29596125 10060525568 62118 33554432000 1073741824 1073778376 140733769785488 139641655863592 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17793/tid=17804] ppid=17790 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17793/task/17804/stat : 17804 (java) S 17790 17793 17643 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 22 0 29596127 10060525568 62118 33554432000 1073741824 1073778376 140733769785488 139641643666280 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17793/tid=17805] ppid=17790 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17793/task/17805/stat : 17805 (java) S 17790 17793 17643 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29596127 10060525568 62118 33554432000 1073741824 1073778376 140733769785488 139641642612600 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17793/tid=17806] ppid=17790 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17793/task/17806/stat : 17806 (java) S 17790 17793 17643 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 29596127 10060525568 62118 33554432000 1073741824 1073778376 140733769785488 139641641559432 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17793/tid=17807] ppid=17790 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17793/task/17807/stat : 17807 (java) S 17790 17793 17643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29596129 10060525568 62118 33554432000 1073741824 1073778376 140733769785488 139641640508176 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17793/tid=17808] ppid=17790 vsize=9824732 CPUtime=1.54 cores=1,3,5,7
/proc/17793/task/17808/stat : 17808 (java) S 17790 17793 17643 0 -1 4202560 12611 0 0 0 152 2 0 0 20 0 22 0 29596129 10060525568 62118 33554432000 1073741824 1073778376 140733769785488 139641639455032 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17793/tid=17809] ppid=17790 vsize=9824732 CPUtime=1.54 cores=1,3,5,7
/proc/17793/task/17809/stat : 17809 (java) R 17790 17793 17643 0 -1 4202560 17770 0 0 0 149 5 0 0 20 0 22 0 29596129 10060525568 62118 33554432000 1073741824 1073778376 140733769785488 139641638402488 139641824052637 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=17793/tid=17810] ppid=17790 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17793/task/17810/stat : 17810 (java) S 17790 17793 17643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29596129 10060525568 62118 33554432000 1073741824 1073778376 140733769785488 139641637349624 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17793/tid=17811] ppid=17790 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17793/task/17811/stat : 17811 (java) S 17790 17793 17643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29596129 10060525568 62118 33554432000 1073741824 1073778376 140733769785488 139641636297288 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17793/tid=17885] ppid=17790 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17793/task/17885/stat : 17885 (java) S 17790 17793 17643 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29596249 10060525568 62118 33554432000 1073741824 1073778376 140733769785488 139641633137960 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 5.71
Current children cumulated vsize (KiB) 9824732

[startup+6.30079 s]
/proc/loadavg: 1.06 1.45 1.84 1/211 17990
/proc/meminfo: memFree=29770028/32872528 swapFree=1316768/1463936
[pid=17793] ppid=17790 vsize=9824732 CPUtime=11.37 cores=1,3,5,7
/proc/17793/stat : 17793 (java) S 17790 17793 17643 0 -1 4202496 35437 0 1 0 1092 45 0 0 20 0 22 0 29596124 10060525568 119607 33554432000 1073741824 1073778376 140733769785488 140733769776624 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17793/statm: 2456183 119607 2296 9 0 2446860 0
[pid=17793/tid=17794] ppid=17790 vsize=9824732 CPUtime=1.03 cores=1,3,5,7
/proc/17793/task/17794/stat : 17794 (java) S 17790 17793 17643 0 -1 4202560 2471 0 1 0 100 3 0 0 20 0 22 0 29596125 10060525568 119607 33554432000 1073741824 1073778376 140733769785488 139641819935608 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17793/tid=17796] ppid=17790 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/17793/task/17796/stat : 17796 (java) S 17790 17793 17643 0 -1 4202560 44 0 0 0 3 2 0 0 20 0 22 0 29596125 10060525568 119607 33554432000 1073741824 1073778376 140733769785488 139641808997288 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17793/tid=17797] ppid=17790 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/17793/task/17797/stat : 17797 (java) S 17790 17793 17643 0 -1 4202560 186 0 0 0 3 1 0 0 20 0 22 0 29596125 10060525568 119607 33554432000 1073741824 1073778376 140733769785488 139641807944744 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17793/tid=17798] ppid=17790 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/17793/task/17798/stat : 17798 (java) S 17790 17793 17643 0 -1 4202560 47 0 0 0 3 2 0 0 20 0 22 0 29596125 10060525568 119607 33554432000 1073741824 1073778376 140733769785488 139641806891688 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17793/tid=17799] ppid=17790 vsize=9824732 CPUtime=0.09 cores=1,3,5,7
/proc/17793/task/17799/stat : 17799 (java) S 17790 17793 17643 0 -1 4202560 111 0 0 0 6 3 0 0 20 0 22 0 29596125 10060525568 119607 33554432000 1073741824 1073778376 140733769785488 139641805839144 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17793/tid=17800] ppid=17790 vsize=9824732 CPUtime=0.11 cores=1,3,5,7
/proc/17793/task/17800/stat : 17800 (java) S 17790 17793 17643 0 -1 4202560 55 0 0 0 8 3 0 0 20 0 22 0 29596125 10060525568 119607 33554432000 1073741824 1073778376 140733769785488 139641804786088 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17793/tid=17801] ppid=17790 vsize=9824732 CPUtime=0.1 cores=1,3,5,7
/proc/17793/task/17801/stat : 17801 (java) S 17790 17793 17643 0 -1 4202560 100 0 0 0 7 3 0 0 20 0 22 0 29596125 10060525568 119607 33554432000 1073741824 1073778376 140733769785488 139641803733544 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17793/tid=17802] ppid=17790 vsize=9824732 CPUtime=0.1 cores=1,3,5,7
/proc/17793/task/17802/stat : 17802 (java) S 17790 17793 17643 0 -1 4202560 50 0 0 0 7 3 0 0 20 0 22 0 29596125 10060525568 119607 33554432000 1073741824 1073778376 140733769785488 139641656916136 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17793/tid=17803] ppid=17790 vsize=9824732 CPUtime=0.12 cores=1,3,5,7
/proc/17793/task/17803/stat : 17803 (java) S 17790 17793 17643 0 -1 4202560 150 0 0 0 9 3 0 0 20 0 22 0 29596125 10060525568 119607 33554432000 1073741824 1073778376 140733769785488 139641655863592 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17793/tid=17804] ppid=17790 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17793/task/17804/stat : 17804 (java) S 17790 17793 17643 0 -1 4202560 199 0 0 0 0 0 0 0 20 0 22 0 29596127 10060525568 119607 33554432000 1073741824 1073778376 140733769785488 139641643666280 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17793/tid=17805] ppid=17790 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17793/task/17805/stat : 17805 (java) S 17790 17793 17643 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29596127 10060525568 119607 33554432000 1073741824 1073778376 140733769785488 139641642612600 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17793/tid=17806] ppid=17790 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17793/task/17806/stat : 17806 (java) S 17790 17793 17643 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 29596127 10060525568 119607 33554432000 1073741824 1073778376 140733769785488 139641641559432 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17793/tid=17807] ppid=17790 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17793/task/17807/stat : 17807 (java) S 17790 17793 17643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29596129 10060525568 119607 33554432000 1073741824 1073778376 140733769785488 139641640508176 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17793/tid=17808] ppid=17790 vsize=9824732 CPUtime=1.78 cores=1,3,5,7
/proc/17793/task/17808/stat : 17808 (java) S 17790 17793 17643 0 -1 4202560 12618 0 0 0 176 2 0 0 20 0 22 0 29596129 10060525568 119607 33554432000 1073741824 1073778376 140733769785488 139641639455032 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17793/tid=17809] ppid=17790 vsize=9824732 CPUtime=1.8 cores=1,3,5,7
/proc/17793/task/17809/stat : 17809 (java) S 17790 17793 17643 0 -1 4202560 17774 0 0 0 175 5 0 0 20 0 22 0 29596129 10060525568 119607 33554432000 1073741824 1073778376 140733769785488 139641638402488 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17793/tid=17810] ppid=17790 vsize=9824732 CPUtime=0 cores=1,3,5,7

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

[pid=17793/tid=17803] ppid=17790 vsize=9824732 CPUtime=5.82 cores=1,3,5,7
/proc/17793/task/17803/stat : 17803 (java) S 17790 17793 17643 0 -1 4202560 1714 0 0 0 561 21 0 0 20 0 22 0 29596125 10060525568 1050139 33554432000 1073741824 1073778376 140733769785488 139641655863592 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17793/tid=17804] ppid=17790 vsize=9824732 CPUtime=8.31 cores=1,3,5,7
/proc/17793/task/17804/stat : 17804 (java) S 17790 17793 17643 0 -1 4202560 3026 0 0 0 819 12 0 0 20 0 22 0 29596127 10060525568 1050139 33554432000 1073741824 1073778376 140733769785488 139641643666280 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17793/tid=17805] ppid=17790 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17793/task/17805/stat : 17805 (java) S 17790 17793 17643 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29596127 10060525568 1050139 33554432000 1073741824 1073778376 140733769785488 139641642612600 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17793/tid=17806] ppid=17790 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17793/task/17806/stat : 17806 (java) S 17790 17793 17643 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 29596127 10060525568 1050139 33554432000 1073741824 1073778376 140733769785488 139641641559432 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17793/tid=17807] ppid=17790 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17793/task/17807/stat : 17807 (java) S 17790 17793 17643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29596129 10060525568 1050139 33554432000 1073741824 1073778376 140733769785488 139641640508176 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17793/tid=17808] ppid=17790 vsize=9824732 CPUtime=2.04 cores=1,3,5,7
/proc/17793/task/17808/stat : 17808 (java) S 17790 17793 17643 0 -1 4202560 12633 0 0 0 202 2 0 0 20 0 22 0 29596129 10060525568 1050139 33554432000 1073741824 1073778376 140733769785488 139641639455032 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17793/tid=17809] ppid=17790 vsize=9824732 CPUtime=2.31 cores=1,3,5,7
/proc/17793/task/17809/stat : 17809 (java) S 17790 17793 17643 0 -1 4202560 17798 0 0 0 226 5 0 0 20 0 22 0 29596129 10060525568 1050139 33554432000 1073741824 1073778376 140733769785488 139641638402488 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17793/tid=17810] ppid=17790 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17793/task/17810/stat : 17810 (java) S 17790 17793 17643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29596129 10060525568 1050139 33554432000 1073741824 1073778376 140733769785488 139641637349624 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17793/tid=17811] ppid=17790 vsize=9824732 CPUtime=0.34 cores=1,3,5,7
/proc/17793/task/17811/stat : 17811 (java) S 17790 17793 17643 0 -1 4202560 51 0 0 0 14 20 0 0 20 0 22 0 29596129 10060525568 1050139 33554432000 1073741824 1073778376 140733769785488 139641636297288 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17793/tid=17907] ppid=17790 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17793/task/17907/stat : 17907 (java) S 17790 17793 17643 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 29596430 10060525568 1050139 33554432000 1073741824 1073778376 140733769785488 139641632084904 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17793/tid=18114] ppid=17790 vsize=9824732 CPUtime=612.95 cores=1,3,5,7
/proc/17793/task/18114/stat : 18114 (java) R 17790 17793 17643 0 -1 4202560 23 0 0 0 61286 9 0 0 20 0 22 0 29621432 10060525568 1050139 33554432000 1073741824 1073778376 140733769785488 139641635240848 139641684972939 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=17793/tid=18115] ppid=17790 vsize=9824732 CPUtime=612.85 cores=1,3,5,7
/proc/17793/task/18115/stat : 18115 (java) R 17790 17793 17643 0 -1 4202560 61 0 0 0 61274 11 0 0 20 0 22 0 29621432 10060525568 1050139 33554432000 1073741824 1073778376 140733769785488 139641633136368 139641686033860 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=17793/tid=18116] ppid=17790 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17793/task/18116/stat : 18116 (java) S 17790 17793 17643 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 29621432 10060525568 1050139 33554432000 1073741824 1073778376 140733769785488 139641634190376 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1773.81
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+894.901 s]
/proc/loadavg: 4.17 4.10 3.31 5/217 18133
/proc/meminfo: memFree=22434540/32872528 swapFree=1316768/1463936
[pid=17793] ppid=17790 vsize=9824732 CPUtime=1799.21 cores=1,3,5,7
/proc/17793/stat : 17793 (java) S 17790 17793 17643 0 -1 4202496 51966 0 1 0 179649 272 0 0 20 0 22 0 29596124 10060525568 1049684 33554432000 1073741824 1073778376 140733769785488 140733769776624 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17793/statm: 2456183 1049684 2304 9 0 2446860 0
[pid=17793/tid=17794] ppid=17790 vsize=9824732 CPUtime=1.08 cores=1,3,5,7
/proc/17793/task/17794/stat : 17794 (java) S 17790 17793 17643 0 -1 4202560 2481 0 1 0 103 5 0 0 20 0 22 0 29596125 10060525568 1049684 33554432000 1073741824 1073778376 140733769785488 139641819935608 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17793/tid=17796] ppid=17790 vsize=9824732 CPUtime=5.44 cores=1,3,5,7
/proc/17793/task/17796/stat : 17796 (java) S 17790 17793 17643 0 -1 4202560 939 0 0 0 520 24 0 0 20 0 22 0 29596125 10060525568 1049684 33554432000 1073741824 1073778376 140733769785488 139641808997288 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17793/tid=17797] ppid=17790 vsize=9824732 CPUtime=5.55 cores=1,3,5,7
/proc/17793/task/17797/stat : 17797 (java) S 17790 17793 17643 0 -1 4202560 2220 0 0 0 529 26 0 0 20 0 22 0 29596125 10060525568 1049684 33554432000 1073741824 1073778376 140733769785488 139641807944744 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17793/tid=17798] ppid=17790 vsize=9824732 CPUtime=5.16 cores=1,3,5,7
/proc/17793/task/17798/stat : 17798 (java) S 17790 17793 17643 0 -1 4202560 1047 0 0 0 499 17 0 0 20 0 22 0 29596125 10060525568 1049684 33554432000 1073741824 1073778376 140733769785488 139641806891688 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17793/tid=17799] ppid=17790 vsize=9824732 CPUtime=5.7 cores=1,3,5,7
/proc/17793/task/17799/stat : 17799 (java) S 17790 17793 17643 0 -1 4202560 1200 0 0 0 550 20 0 0 20 0 22 0 29596125 10060525568 1049684 33554432000 1073741824 1073778376 140733769785488 139641805839144 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17793/tid=17800] ppid=17790 vsize=9824732 CPUtime=5.73 cores=1,3,5,7
/proc/17793/task/17800/stat : 17800 (java) S 17790 17793 17643 0 -1 4202560 2830 0 0 0 551 22 0 0 20 0 22 0 29596125 10060525568 1049684 33554432000 1073741824 1073778376 140733769785488 139641804786088 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17793/tid=17801] ppid=17790 vsize=9824732 CPUtime=5.04 cores=1,3,5,7
/proc/17793/task/17801/stat : 17801 (java) S 17790 17793 17643 0 -1 4202560 1246 0 0 0 486 18 0 0 20 0 22 0 29596125 10060525568 1049684 33554432000 1073741824 1073778376 140733769785488 139641803733544 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17793/tid=17802] ppid=17790 vsize=9824732 CPUtime=5.22 cores=1,3,5,7
/proc/17793/task/17802/stat : 17802 (java) S 17790 17793 17643 0 -1 4202560 1403 0 0 0 501 21 0 0 20 0 22 0 29596125 10060525568 1049684 33554432000 1073741824 1073778376 140733769785488 139641656916136 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17793/tid=17803] ppid=17790 vsize=9824732 CPUtime=5.86 cores=1,3,5,7
/proc/17793/task/17803/stat : 17803 (java) S 17790 17793 17643 0 -1 4202560 1714 0 0 0 565 21 0 0 20 0 22 0 29596125 10060525568 1049684 33554432000 1073741824 1073778376 140733769785488 139641655863592 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17793/tid=17804] ppid=17790 vsize=9824732 CPUtime=8.31 cores=1,3,5,7
/proc/17793/task/17804/stat : 17804 (java) S 17790 17793 17643 0 -1 4202560 3026 0 0 0 819 12 0 0 20 0 22 0 29596127 10060525568 1049684 33554432000 1073741824 1073778376 140733769785488 139641643666280 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17793/tid=17805] ppid=17790 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17793/task/17805/stat : 17805 (java) S 17790 17793 17643 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29596127 10060525568 1049684 33554432000 1073741824 1073778376 140733769785488 139641642612600 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17793/tid=17806] ppid=17790 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17793/task/17806/stat : 17806 (java) S 17790 17793 17643 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 29596127 10060525568 1049684 33554432000 1073741824 1073778376 140733769785488 139641641559432 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17793/tid=17807] ppid=17790 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17793/task/17807/stat : 17807 (java) S 17790 17793 17643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29596129 10060525568 1049684 33554432000 1073741824 1073778376 140733769785488 139641640508176 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17793/tid=17808] ppid=17790 vsize=9824732 CPUtime=2.04 cores=1,3,5,7
/proc/17793/task/17808/stat : 17808 (java) S 17790 17793 17643 0 -1 4202560 12633 0 0 0 202 2 0 0 20 0 22 0 29596129 10060525568 1049684 33554432000 1073741824 1073778376 140733769785488 139641639455032 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17793/tid=17809] ppid=17790 vsize=9824732 CPUtime=2.31 cores=1,3,5,7
/proc/17793/task/17809/stat : 17809 (java) S 17790 17793 17643 0 -1 4202560 17798 0 0 0 226 5 0 0 20 0 22 0 29596129 10060525568 1049684 33554432000 1073741824 1073778376 140733769785488 139641638402488 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17793/tid=17810] ppid=17790 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17793/task/17810/stat : 17810 (java) S 17790 17793 17643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29596129 10060525568 1049684 33554432000 1073741824 1073778376 140733769785488 139641637349624 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17793/tid=17811] ppid=17790 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/17793/task/17811/stat : 17811 (java) S 17790 17793 17643 0 -1 4202560 51 0 0 0 15 20 0 0 20 0 22 0 29596129 10060525568 1049684 33554432000 1073741824 1073778376 140733769785488 139641636297288 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17793/tid=17907] ppid=17790 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17793/task/17907/stat : 17907 (java) S 17790 17793 17643 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 29596430 10060525568 1049684 33554432000 1073741824 1073778376 140733769785488 139641632084904 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17793/tid=18114] ppid=17790 vsize=9824732 CPUtime=625.4 cores=1,3,5,7
/proc/17793/task/18114/stat : 18114 (java) R 17790 17793 17643 0 -1 4202560 23 0 0 0 62531 9 0 0 20 0 22 0 29621432 10060525568 1049684 33554432000 1073741824 1073778376 140733769785488 139641635241664 139641686004078 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=17793/tid=18115] ppid=17790 vsize=9824732 CPUtime=625.3 cores=1,3,5,7
/proc/17793/task/18115/stat : 18115 (java) R 17790 17793 17643 0 -1 4202560 62 0 0 0 62519 11 0 0 20 0 22 0 29621432 10060525568 1049684 33554432000 1073741824 1073778376 140733769785488 139641633137584 139641685878572 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=17793/tid=18116] ppid=17790 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17793/task/18116/stat : 18116 (java) S 17790 17793 17643 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 29621432 10060525568 1049684 33554432000 1073741824 1073778376 140733769785488 139641634190376 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1799.21
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 17793 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+894.901 s]
/proc/loadavg: 4.17 4.10 3.31 5/217 18133
/proc/meminfo: memFree=22434540/32872528 swapFree=1316768/1463936
[pid=17793] ppid=17790 vsize=9824732 CPUtime=1799.21 cores=1,3,5,7
/proc/17793/stat : 17793 (java) S 17790 17793 17643 0 -1 4202496 51966 0 1 0 179649 272 0 0 20 0 22 0 29596124 10060525568 1049684 33554432000 1073741824 1073778376 140733769785488 140733769776624 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17793/statm: 2456183 1049684 2304 9 0 2446860 0
[pid=17793/tid=17794] ppid=17790 vsize=9824732 CPUtime=1.08 cores=1,3,5,7
/proc/17793/task/17794/stat : 17794 (java) S 17790 17793 17643 0 -1 4202560 2481 0 1 0 103 5 0 0 20 0 22 0 29596125 10060525568 1049684 33554432000 1073741824 1073778376 140733769785488 139641819935608 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17793/tid=17796] ppid=17790 vsize=9824732 CPUtime=5.44 cores=1,3,5,7
/proc/17793/task/17796/stat : 17796 (java) S 17790 17793 17643 0 -1 4202560 939 0 0 0 520 24 0 0 20 0 22 0 29596125 10060525568 1049684 33554432000 1073741824 1073778376 140733769785488 139641808997288 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17793/tid=17797] ppid=17790 vsize=9824732 CPUtime=5.55 cores=1,3,5,7
/proc/17793/task/17797/stat : 17797 (java) S 17790 17793 17643 0 -1 4202560 2220 0 0 0 529 26 0 0 20 0 22 0 29596125 10060525568 1049684 33554432000 1073741824 1073778376 140733769785488 139641807944744 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17793/tid=17798] ppid=17790 vsize=9824732 CPUtime=5.16 cores=1,3,5,7
/proc/17793/task/17798/stat : 17798 (java) S 17790 17793 17643 0 -1 4202560 1047 0 0 0 499 17 0 0 20 0 22 0 29596125 10060525568 1049684 33554432000 1073741824 1073778376 140733769785488 139641806891688 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17793/tid=17799] ppid=17790 vsize=9824732 CPUtime=5.7 cores=1,3,5,7
/proc/17793/task/17799/stat : 17799 (java) S 17790 17793 17643 0 -1 4202560 1200 0 0 0 550 20 0 0 20 0 22 0 29596125 10060525568 1049684 33554432000 1073741824 1073778376 140733769785488 139641805839144 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17793/tid=17800] ppid=17790 vsize=9824732 CPUtime=5.73 cores=1,3,5,7
/proc/17793/task/17800/stat : 17800 (java) S 17790 17793 17643 0 -1 4202560 2830 0 0 0 551 22 0 0 20 0 22 0 29596125 10060525568 1049684 33554432000 1073741824 1073778376 140733769785488 139641804786088 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17793/tid=17801] ppid=17790 vsize=9824732 CPUtime=5.04 cores=1,3,5,7
/proc/17793/task/17801/stat : 17801 (java) S 17790 17793 17643 0 -1 4202560 1246 0 0 0 486 18 0 0 20 0 22 0 29596125 10060525568 1049684 33554432000 1073741824 1073778376 140733769785488 139641803733544 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17793/tid=17802] ppid=17790 vsize=9824732 CPUtime=5.22 cores=1,3,5,7
/proc/17793/task/17802/stat : 17802 (java) S 17790 17793 17643 0 -1 4202560 1403 0 0 0 501 21 0 0 20 0 22 0 29596125 10060525568 1049684 33554432000 1073741824 1073778376 140733769785488 139641656916136 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17793/tid=17803] ppid=17790 vsize=9824732 CPUtime=5.86 cores=1,3,5,7
/proc/17793/task/17803/stat : 17803 (java) S 17790 17793 17643 0 -1 4202560 1714 0 0 0 565 21 0 0 20 0 22 0 29596125 10060525568 1049684 33554432000 1073741824 1073778376 140733769785488 139641655863592 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17793/tid=17804] ppid=17790 vsize=9824732 CPUtime=8.31 cores=1,3,5,7
/proc/17793/task/17804/stat : 17804 (java) S 17790 17793 17643 0 -1 4202560 3026 0 0 0 819 12 0 0 20 0 22 0 29596127 10060525568 1049684 33554432000 1073741824 1073778376 140733769785488 139641643666280 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17793/tid=17805] ppid=17790 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17793/task/17805/stat : 17805 (java) S 17790 17793 17643 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29596127 10060525568 1049684 33554432000 1073741824 1073778376 140733769785488 139641642612600 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17793/tid=17806] ppid=17790 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17793/task/17806/stat : 17806 (java) S 17790 17793 17643 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 29596127 10060525568 1049684 33554432000 1073741824 1073778376 140733769785488 139641641559432 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17793/tid=17807] ppid=17790 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17793/task/17807/stat : 17807 (java) S 17790 17793 17643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29596129 10060525568 1049684 33554432000 1073741824 1073778376 140733769785488 139641640508176 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17793/tid=17808] ppid=17790 vsize=9824732 CPUtime=2.04 cores=1,3,5,7
/proc/17793/task/17808/stat : 17808 (java) S 17790 17793 17643 0 -1 4202560 12633 0 0 0 202 2 0 0 20 0 22 0 29596129 10060525568 1049684 33554432000 1073741824 1073778376 140733769785488 139641639455032 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17793/tid=17809] ppid=17790 vsize=9824732 CPUtime=2.31 cores=1,3,5,7
/proc/17793/task/17809/stat : 17809 (java) S 17790 17793 17643 0 -1 4202560 17798 0 0 0 226 5 0 0 20 0 22 0 29596129 10060525568 1049684 33554432000 1073741824 1073778376 140733769785488 139641638402488 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17793/tid=17810] ppid=17790 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17793/task/17810/stat : 17810 (java) S 17790 17793 17643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29596129 10060525568 1049684 33554432000 1073741824 1073778376 140733769785488 139641637349624 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17793/tid=17811] ppid=17790 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/17793/task/17811/stat : 17811 (java) S 17790 17793 17643 0 -1 4202560 51 0 0 0 15 20 0 0 20 0 22 0 29596129 10060525568 1049684 33554432000 1073741824 1073778376 140733769785488 139641636297288 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17793/tid=17907] ppid=17790 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17793/task/17907/stat : 17907 (java) S 17790 17793 17643 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 29596430 10060525568 1049684 33554432000 1073741824 1073778376 140733769785488 139641632084904 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17793/tid=18114] ppid=17790 vsize=9824732 CPUtime=625.4 cores=1,3,5,7
/proc/17793/task/18114/stat : 18114 (java) R 17790 17793 17643 0 -1 4202560 23 0 0 0 62531 9 0 0 20 0 22 0 29621432 10060525568 1049684 33554432000 1073741824 1073778376 140733769785488 139641635241664 139641686004078 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=17793/tid=18115] ppid=17790 vsize=9824732 CPUtime=625.3 cores=1,3,5,7
/proc/17793/task/18115/stat : 18115 (java) R 17790 17793 17643 0 -1 4202560 62 0 0 0 62519 11 0 0 20 0 22 0 29621432 10060525568 1049684 33554432000 1073741824 1073778376 140733769785488 139641633137584 139641685878572 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=17793/tid=18116] ppid=17790 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17793/task/18116/stat : 18116 (java) S 17790 17793 17643 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 29621432 10060525568 1049684 33554432000 1073741824 1073778376 140733769785488 139641634190376 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1799.21
Current children cumulated vsize (KiB) 9824732

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17793 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=269381
#  childrusage.ru_stime.tv_sec=3
#  childrusage.ru_stime.tv_usec=71533
# CPU time returned by wait4() is 1796.34
# while last known CPU time is 1799.21
#
# 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.880005
#  lost CPU user time (s): 0.959999
#  lost CPU system time (s): -0.0799999

Real time (s): 894.974
CPU time (s): 1800.09
CPU user time (s): 1797.45
CPU system time (s): 2.64
CPU usage (%): 201.133
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.27
system time used= 3.07153
maximum resident set size= 4200616
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52002
page faults= 1
swaps= 0
block input operations= 56
block output operations= 952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24635
involuntary context switches= 31642

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.98209 second user time and 6.90695 second system time

The end

Launcher Data 

Begin job on node121 at 2016-06-18 20:44:52
IDJOB=4106677
IDBENCH=48179
IDSOLVER=2543
FILE ID=node121/4106677-1466275492
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/mis/normalized-mis_500_60_2.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106677-1466275492/watcher-4106677-1466275492 -o /tmp/evaluation-result-4106677-1466275492/solver-4106677-1466275492 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node121-1466275489-17660 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4106677-1466275492.opb

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

MD5SUM BENCH= fecc1e3404707b1609ea9647c91fc73f
RANDOM SEED=242155574

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:        30224048 kB
Buffers:          163460 kB
Cached:           219604 kB
SwapCached:         1900 kB
Active:           135940 kB
Inactive:         299276 kB
Active(anon):      52096 kB
Inactive(anon):     2792 kB
Active(file):      83844 kB
Inactive(file):   296484 kB
Unevictable:     1463936 kB
Mlocked:         1316768 kB
SwapTotal:      67108856 kB
SwapFree:       67101124 kB
Dirty:              2132 kB
Writeback:             0 kB
AnonPages:       1608676 kB
Mapped:            16816 kB
Shmem:                 0 kB
Slab:             613840 kB
SReclaimable:      57316 kB
SUnreclaim:       556524 kB
KernelStack:        1744 kB
PageTables:         7500 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2143480 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    274432 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 20:59:47