Trace number 4119409

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)-111 1801.15 902.232

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/
minlplib2-pb-0.1.0/opb/normalized-sporttournament26.opb
MD5SUMd71b79906089b33d281a228373b32cad
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-122
Best CPU time to get the best result obtained on this benchmark1800.01
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables0
Total number of constraints0
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint-1
Maximum length of a constraint0
Number of terms in the objective function 852
Biggest coefficient in the objective function 2
Number of bits for the biggest coefficient in the objective function 2
Sum of the numbers in the objective function 920
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 920
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)624
Sum of products size (including duplicates)1248
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.12	c Pseudo Boolean Optimization by upper bound
0.09/0.12	c ManyCore solver with 2 solvers running in parallel
0.09/0.12	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.12	c Expensive reason simplification
0.09/0.12	c Glucose 2.1 dynamic restart strategy
0.09/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.09/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.09/0.12	c No reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-4119409-1467255357.opb
0.09/0.12	c reading problem ... 
0.09/0.12	c  objective function found
0.22/0.23	c ... done. Wall clock time 0.11s.
0.22/0.23	c declared #vars     325
0.22/0.23	c internal #vars     949
0.22/0.23	c #constraints  1248
0.22/0.23	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.22/0.23	c constraints type 
0.22/0.23	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 624
0.22/0.23	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 624
0.22/0.23	c 1248 constraints processed.
0.22/0.23	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.22/0.23	c constraints type 
0.22/0.23	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 624
0.22/0.23	c org.sat4j.pb.constraints.pb.MaxWatchPb => 624
0.22/0.23	c 1248 constraints processed.
0.22/0.23	c objective function length is 852 literals
0.22/0.25	c And the winner is solver0
0.38/0.73	c SATISFIABLE
0.38/0.73	c OPTIMIZING...
0.38/0.73	c Got one! Elapsed wall clock time (in seconds):0.615
0.38/0.74	o -97
1.00/0.90	c And the winner is solver0
1.18/1.25	c Got one! Elapsed wall clock time (in seconds):1.131
1.18/1.25	o -98
1.18/1.27	c And the winner is solver0
1.59/1.76	c Got one! Elapsed wall clock time (in seconds):1.637
1.59/1.76	o -99
1.69/1.82	c And the winner is solver0
1.85/2.26	c Got one! Elapsed wall clock time (in seconds):2.141
1.85/2.26	o -100
1.85/2.28	c And the winner is solver0
1.95/2.76	c Got one! Elapsed wall clock time (in seconds):2.644
1.95/2.76	o -101
3.37/3.37	c cleaning 2929 clauses out of 5861 with flag 10041/5861
5.12/4.10	c cleaning 4463 clauses out of 8933 with flag 22069/11862
6.81/4.93	c cleaning 5732 clauses out of 11469 with flag 36072/18861
8.91/5.90	c cleaning 6864 clauses out of 13738 with flag 52077/26862
9.33/6.15	c And the winner is solver0
9.49/6.27	c Got one! Elapsed wall clock time (in seconds):6.148
9.49/6.27	o -102
10.21/6.64	c cleaning 6049 clauses out of 12110 with flag 6026/32098
11.65/7.37	c cleaning 6026 clauses out of 12062 with flag 18054/38099
13.58/8.21	c cleaning 6510 clauses out of 13034 with flag 32059/45097
15.64/9.21	c cleaning 7257 clauses out of 14524 with flag 48062/53097
17.86/10.33	c cleaning 8127 clauses out of 16268 with flag 66089/62098
20.56/11.69	c cleaning 9065 clauses out of 18141 with flag 86091/72098
23.56/13.15	c cleaning 10030 clauses out of 20076 with flag 108092/83098
27.05/14.87	c cleaning 11017 clauses out of 22046 with flag 132101/95098
30.51/16.53	c And the winner is solver1
30.55/16.77	c Got one! Elapsed wall clock time (in seconds):16.652
30.55/16.77	o -107
31.80/17.42	c cleaning 13821 clauses out of 27655 with flag 10596/111724
33.22/18.11	c cleaning 9912 clauses out of 19835 with flag 23320/117725
34.81/18.93	c cleaning 8453 clauses out of 16922 with flag 38110/124724
36.95/19.94	c cleaning 8232 clauses out of 16470 with flag 54980/132725
38.95/20.97	c cleaning 8615 clauses out of 17237 with flag 74042/141724
41.35/22.11	c cleaning 9308 clauses out of 18622 with flag 95198/151724
44.10/23.49	c cleaning 10151 clauses out of 20314 with flag 118604/162724
47.30/25.01	c cleaning 11077 clauses out of 22164 with flag 144512/174725
50.73/26.72	c cleaning 12039 clauses out of 24088 with flag 172285/187726
54.53/28.61	c cleaning 13018 clauses out of 26047 with flag 201980/201724
58.93/30.74	c cleaning 14013 clauses out of 28030 with flag 234012/216725
63.33/32.98	c cleaning 15007 clauses out of 30017 with flag 268153/232725
67.72/35.20	c cleaning 16002 clauses out of 32010 with flag 304724/249725
68.32/35.45	c And the winner is solver1
68.46/35.78	c Got one! Elapsed wall clock time (in seconds):35.665
68.46/35.78	o -108
69.09/36.16	c cleaning 10563 clauses out of 21136 with flag 6405/254853
71.13/37.00	c cleaning 8285 clauses out of 16573 with flag 19244/260853
72.72/37.88	c cleaning 7642 clauses out of 15289 with flag 34072/267854
74.72/38.85	c cleaning 7820 clauses out of 15647 with flag 51021/275854
76.92/39.91	c cleaning 8408 clauses out of 16826 with flag 70062/284853
79.32/41.10	c cleaning 9203 clauses out of 18418 with flag 91221/294853
81.92/42.43	c cleaning 10103 clauses out of 20215 with flag 114611/305853
84.91/43.94	c cleaning 11054 clauses out of 22113 with flag 140085/317854
88.99/45.83	c cleaning 12027 clauses out of 24058 with flag 167998/330853
92.59/47.61	c cleaning 13015 clauses out of 26031 with flag 197728/344853
96.40/49.54	c cleaning 14005 clauses out of 28017 with flag 229608/359854
100.59/51.62	c cleaning 15003 clauses out of 30011 with flag 263551/375853
106.28/54.73	c cleaning 16000 clauses out of 32009 with flag 299950/392854
111.07/57.17	c cleaning 17003 clauses out of 34008 with flag 338426/410853
116.67/59.96	c cleaning 18003 clauses out of 36006 with flag 378804/429854
122.28/62.72	c cleaning 19000 clauses out of 38003 with flag 421279/449854
128.82/65.95	c cleaning 19999 clauses out of 40002 with flag 466037/470853
137.85/70.42	c cleaning 21002 clauses out of 42003 with flag 512590/492853
145.44/74.28	c cleaning 21998 clauses out of 44001 with flag 561327/515853
153.25/78.19	c cleaning 23000 clauses out of 46004 with flag 612029/539854
161.80/82.38	c cleaning 24000 clauses out of 48004 with flag 665129/564854
171.40/87.18	c cleaning 24999 clauses out of 50004 with flag 720014/590854
180.79/91.85	c cleaning 26002 clauses out of 52004 with flag 777191/617853
191.41/97.09	c cleaning 27001 clauses out of 54003 with flag 836545/645854
201.81/102.27	c cleaning 27997 clauses out of 56002 with flag 898109/674854
204.61/103.64	c And the winner is solver1
204.61/103.66	c Got one! Elapsed wall clock time (in seconds):103.545
204.61/103.66	o -109
206.03/104.33	c cleaning 20653 clauses out of 41314 with flag 10565/688163
208.93/106.14	c cleaning 13328 clauses out of 26662 with flag 23233/694164
210.53/106.94	c cleaning 10158 clauses out of 20332 with flag 38089/701162
212.54/107.91	c cleaning 9082 clauses out of 18174 with flag 55055/709162
213.93/108.62	c And the winner is solver1
213.99/108.82	c Got one! Elapsed wall clock time (in seconds):108.702
213.99/108.82	o -110
215.33/109.52	c cleaning 10151 clauses out of 20311 with flag 10628/720381
216.73/110.29	c cleaning 8078 clauses out of 16162 with flag 23358/726383
218.55/111.16	c cleaning 7535 clauses out of 15082 with flag 38123/733381
220.53/112.16	c cleaning 7771 clauses out of 15547 with flag 55059/741381
222.94/113.31	c cleaning 8384 clauses out of 16777 with flag 74176/750382
225.53/114.66	c cleaning 9197 clauses out of 18393 with flag 95458/760382
228.33/116.04	c cleaning 10097 clauses out of 20195 with flag 119029/771381
231.53/117.62	c cleaning 11048 clauses out of 22098 with flag 144610/783381
234.93/119.34	c cleaning 12023 clauses out of 24051 with flag 172468/796382
238.73/121.24	c cleaning 13013 clauses out of 26028 with flag 202579/810382
243.34/123.51	c cleaning 14007 clauses out of 28014 with flag 234734/825381
248.20/126.00	c cleaning 15000 clauses out of 30007 with flag 269332/841381
253.00/128.35	c cleaning 16000 clauses out of 32007 with flag 305637/858381
258.41/131.10	c cleaning 17004 clauses out of 34008 with flag 343929/876382
264.00/133.87	c cleaning 17998 clauses out of 36004 with flag 384492/895382
270.00/136.87	c cleaning 18994 clauses out of 38005 with flag 426968/915381
276.59/140.18	c cleaning 19998 clauses out of 40012 with flag 471812/936382
283.99/143.87	c cleaning 21006 clauses out of 42014 with flag 518589/958382
292.13/147.87	c cleaning 22000 clauses out of 44007 with flag 567545/981381
299.73/151.66	c cleaning 22999 clauses out of 46007 with flag 619054/1005381
307.93/155.79	c cleaning 24001 clauses out of 48009 with flag 672585/1030382
317.32/160.40	c cleaning 25004 clauses out of 50007 with flag 727655/1056381
326.12/164.81	c cleaning 26001 clauses out of 52003 with flag 784846/1083381
335.53/169.50	c cleaning 27002 clauses out of 54003 with flag 844633/1111382
345.32/174.48	c cleaning 28000 clauses out of 56000 with flag 906826/1140381
355.13/179.35	c cleaning 28996 clauses out of 58000 with flag 971052/1170381
366.18/184.71	c cleaning 30002 clauses out of 60004 with flag 1037181/1201381
376.97/190.14	c cleaning 30995 clauses out of 62002 with flag 1105449/1233381
387.57/195.41	c cleaning 32001 clauses out of 64008 with flag 1175867/1266382
398.97/201.17	c cleaning 33000 clauses out of 66007 with flag 1247832/1300382
410.76/207.02	c cleaning 34000 clauses out of 68006 with flag 1323230/1335381
422.96/213.14	c cleaning 34997 clauses out of 70006 with flag 1400897/1371381
436.36/219.85	c cleaning 35997 clauses out of 72010 with flag 1480818/1408382
450.18/226.79	c cleaning 37006 clauses out of 74013 with flag 1562066/1446382
463.96/233.60	c cleaning 38000 clauses out of 76006 with flag 1644898/1485381
478.77/241.04	c cleaning 39003 clauses out of 78006 with flag 1729678/1525381
493.56/248.44	c cleaning 40002 clauses out of 80004 with flag 1816769/1566382
507.37/255.39	c cleaning 40998 clauses out of 82001 with flag 1906083/1608381
523.54/263.75	c cleaning 42001 clauses out of 84004 with flag 1997690/1651382
539.14/271.53	c cleaning 42998 clauses out of 86002 with flag 2093376/1695381
556.54/280.21	c cleaning 43999 clauses out of 88004 with flag 2190733/1740381
573.33/288.67	c cleaning 44997 clauses out of 90005 with flag 2289752/1786381
590.53/297.24	c cleaning 46001 clauses out of 92008 with flag 2390143/1833381
607.33/305.70	c cleaning 47002 clauses out of 94008 with flag 2492985/1881382
626.53/315.23	c cleaning 47999 clauses out of 96006 with flag 2597405/1930382
644.93/324.48	c cleaning 49001 clauses out of 98006 with flag 2703489/1980381
664.53/334.24	c cleaning 50003 clauses out of 100006 with flag 2811519/2031382
685.13/344.57	c cleaning 51002 clauses out of 102003 with flag 2922964/2083382
706.48/355.14	c cleaning 51994 clauses out of 104001 with flag 3035678/2136382
726.89/365.39	c cleaning 52996 clauses out of 106006 with flag 3151668/2190381
746.87/375.40	c cleaning 54002 clauses out of 108010 with flag 3269164/2245381
767.87/385.89	c cleaning 55001 clauses out of 110009 with flag 3388390/2301382
793.71/398.62	c cleaning 55999 clauses out of 112007 with flag 3509667/2358381
808.05/406.47	c And the winner is solver1
808.32/406.73	c Got one! Elapsed wall clock time (in seconds):406.608
808.32/406.73	o -111
810.32/407.74	c cleaning 45418 clauses out of 90844 with flag 10605/2393217
812.12/408.61	c cleaning 25708 clauses out of 51425 with flag 23352/2399216
813.92/409.52	c cleaning 16353 clauses out of 32717 with flag 38336/2406216
815.92/410.56	c cleaning 12177 clauses out of 24364 with flag 55324/2414216
818.12/411.69	c cleaning 10588 clauses out of 21188 with flag 74530/2423217
820.91/413.00	c cleaning 10291 clauses out of 20599 with flag 96007/2433216
823.71/414.44	c cleaning 10654 clauses out of 21308 with flag 119591/2444216
826.91/416.03	c cleaning 11322 clauses out of 22655 with flag 145114/2456217
830.31/417.71	c cleaning 12164 clauses out of 24333 with flag 173238/2469217
833.71/419.49	c cleaning 13083 clauses out of 26169 with flag 203208/2483217
837.91/421.52	c cleaning 14039 clauses out of 28085 with flag 235568/2498216
842.13/423.66	c cleaning 15023 clauses out of 30046 with flag 269674/2514216
846.91/426.03	c cleaning 16006 clauses out of 32024 with flag 305988/2531217
852.11/428.67	c cleaning 17007 clauses out of 34018 with flag 344379/2549217
857.91/431.55	c cleaning 18006 clauses out of 36012 with flag 384616/2568218
863.92/434.57	c cleaning 18999 clauses out of 38004 with flag 426947/2588216
870.91/438.07	c cleaning 20003 clauses out of 40005 with flag 471253/2609216
878.71/441.93	c cleaning 21001 clauses out of 42002 with flag 517605/2631216
886.82/445.90	c cleaning 21999 clauses out of 44001 with flag 566150/2654216
895.79/450.46	c cleaning 23000 clauses out of 46004 with flag 616667/2678218
904.39/454.74	c cleaning 23998 clauses out of 48002 with flag 669664/2703216
913.79/459.47	c cleaning 25000 clauses out of 50005 with flag 724677/2729217
924.19/464.62	c cleaning 25999 clauses out of 52005 with flag 781803/2756217
935.19/470.12	c cleaning 26999 clauses out of 54005 with flag 840902/2784216
946.19/475.63	c cleaning 28003 clauses out of 56006 with flag 902112/2813216
956.78/480.90	c cleaning 29002 clauses out of 58004 with flag 966096/2843217
969.38/487.20	c cleaning 29995 clauses out of 60001 with flag 1032189/2874216
981.98/493.59	c cleaning 31001 clauses out of 62007 with flag 1100421/2906217
994.59/499.81	c cleaning 32002 clauses out of 64005 with flag 1170736/2939216
1006.58/505.89	c cleaning 33002 clauses out of 66004 with flag 1243136/2973217
1019.78/512.40	c cleaning 34000 clauses out of 68001 with flag 1317343/3008216
1032.70/518.81	c cleaning 34999 clauses out of 70002 with flag 1394003/3044217
1046.30/525.69	c cleaning 35999 clauses out of 72003 with flag 1472554/3081217
1059.29/532.16	c cleaning 37000 clauses out of 74004 with flag 1553823/3119217
1072.69/538.88	c cleaning 38003 clauses out of 76005 with flag 1636975/3158218
1089.09/547.07	c cleaning 38996 clauses out of 78002 with flag 1721622/3198218
1104.69/554.83	c cleaning 39999 clauses out of 80004 with flag 1809125/3239216
1121.70/563.35	c cleaning 41003 clauses out of 82005 with flag 1898364/3281216
1138.07/571.46	c cleaning 41997 clauses out of 84002 with flag 1989988/3324216
1155.87/580.30	c cleaning 43003 clauses out of 86005 with flag 2083343/3368216
1173.67/589.26	c cleaning 43998 clauses out of 88003 with flag 2179584/3413217
1191.07/597.94	c cleaning 44998 clauses out of 90004 with flag 2278123/3459216
1209.06/607.00	c cleaning 46004 clauses out of 92007 with flag 2378779/3506217
1229.67/617.24	c cleaning 46997 clauses out of 94003 with flag 2480995/3554217
1250.46/627.65	c cleaning 48001 clauses out of 96006 with flag 2584892/3603217
1269.86/637.34	c cleaning 48997 clauses out of 98004 with flag 2690834/3653216
1288.26/646.50	c cleaning 50001 clauses out of 100008 with flag 2799845/3704217
1306.67/655.77	c cleaning 51001 clauses out of 102007 with flag 2912263/3756217
1328.11/666.38	c cleaning 52000 clauses out of 104007 with flag 3025048/3809218
1350.10/677.38	c cleaning 52998 clauses out of 106005 with flag 3139656/3863216
1377.49/691.06	c cleaning 54000 clauses out of 108007 with flag 3255987/3918216
1400.89/702.70	c cleaning 55001 clauses out of 110008 with flag 3375078/3974217
1426.69/715.65	c cleaning 55998 clauses out of 112006 with flag 3495921/4031216
1452.48/728.59	c cleaning 57001 clauses out of 114008 with flag 3619456/4089216
1478.68/741.65	c cleaning 58000 clauses out of 116008 with flag 3744980/4148217
1505.67/755.19	c cleaning 59005 clauses out of 118009 with flag 3872013/4208218
1531.28/767.91	c cleaning 59999 clauses out of 120003 with flag 4004344/4269217
1555.28/779.92	c cleaning 60998 clauses out of 122004 with flag 4137523/4331217
1579.38/791.84	c cleaning 62000 clauses out of 124006 with flag 4272137/4394217
1603.78/804.02	c cleaning 63003 clauses out of 126006 with flag 4409699/4458217
1630.78/817.56	c cleaning 63999 clauses out of 128003 with flag 4548123/4523217
1657.17/830.79	c cleaning 65000 clauses out of 130005 with flag 4689916/4589218
1683.18/843.71	c cleaning 65998 clauses out of 132004 with flag 4831998/4656217
1712.29/858.17	c cleaning 66997 clauses out of 134006 with flag 4978945/4724217
1739.87/871.92	c cleaning 68005 clauses out of 136010 with flag 5127228/4793218
1772.87/888.49	c cleaning 68995 clauses out of 138003 with flag 5279844/4863216
1800.47/902.18	c >>>>>>>>>> Solver number 0 (6 answers) <<<<<<<<<<<<<<<<<<
1800.47/902.18	c starts		: 95313
1800.47/902.18	c conflicts		: 4924875
1800.47/902.18	c decisions		: 26864357
1800.47/902.18	c propagations		: 209247446
1800.47/902.18	c inspects		: 8009064460
1800.47/902.18	c shortcuts		: 0
1800.47/902.18	c learnt literals	: 0
1800.47/902.18	c learnt binary clauses	: 0
1800.47/902.18	c learnt ternary clauses	: 0
1800.47/902.18	c learnt constraints	: 4924875
1800.47/902.18	c ignored constraints	: 0
1800.47/902.18	c root simplifications	: 0
1800.47/902.18	c removed literals (reason simplification)	: 15460761
1800.47/902.18	c reason swapping (by a shorter reason)	: 0
1800.47/902.18	c Calls to reduceDB	: 173
1800.47/902.18	c Number of update (reduction) of LBD	: 241984
1800.47/902.18	c Imported unit clauses	: 0
1800.47/902.18	c number of reductions to clauses (during analyze)	: 0
1800.47/902.18	c number of learned constraints concerned by reduction	: 0
1800.47/902.18	c number of learning phase by resolution	: 0
1800.47/902.18	c number of learning phase by cutting planes	: 0
1800.47/902.18	c speed (assignments/second)	: 422338.1693410031
1800.47/902.18	c non guided choices	14
1800.88/902.21	c learnt constraints type 
1800.88/902.21	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 130667
1800.88/902.21	c >>>>>>>>>> Solver number 1 (5 answers) <<<<<<<<<<<<<<<<<<
1800.88/902.21	c starts		: 32
1800.88/902.21	c conflicts		: 4411
1800.88/902.21	c decisions		: 24701
1800.88/902.21	c propagations		: 137513
1800.88/902.21	c inspects		: 64452315
1800.88/902.21	c shortcuts		: 0
1800.88/902.21	c learnt literals	: 0
1800.88/902.21	c learnt binary clauses	: 0
1800.88/902.21	c learnt ternary clauses	: 0
1800.88/902.21	c learnt constraints	: 4407
1800.88/902.21	c ignored constraints	: 0
1800.88/902.21	c root simplifications	: 0
1800.88/902.21	c removed literals (reason simplification)	: 0
1800.88/902.21	c reason swapping (by a shorter reason)	: 0
1800.88/902.21	c Calls to reduceDB	: 0
1800.88/902.21	c Number of update (reduction) of LBD	: 0
1800.88/902.21	c Imported unit clauses	: 0
1800.88/902.21	c number of reductions to clauses (during analyze)	: 0
1800.88/902.21	c number of learned constraints concerned by reduction	: 0
1800.88/902.21	c number of learning phase by resolution	: 0
1800.88/902.21	c number of learning phase by cutting planes	: 0
1800.88/902.21	c speed (assignments/second)	: 153.48563621873933
1800.88/902.21	c non guided choices	4
1800.88/902.21	c learnt constraints type 
1800.88/902.21	c org.sat4j.pb.constraints.pb.MaxWatchPb => 4407
1800.88/902.21	s SATISFIABLE
1800.88/902.21	c Found 11 solution(s)
1800.88/902.21	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 
1800.88/902.21	c objective function=-111
1800.88/902.21	c Total wall clock time (in seconds): 902.092

Verifier Data 

OK	-111

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-4119409-1467255357/watcher-4119409-1467255357 -o /tmp/evaluation-result-4119409-1467255357/solver-4119409-1467255357 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1467246696-6244 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4119409-1467255357.opb 

pid=11038
running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 4.16 4.09 3.98 4/197 11041
/proc/meminfo: memFree=27012716/32872528 swapFree=480236/529292
[pid=11041] ppid=11038 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/11041/stat : 11041 (java) D 11038 11041 6228 0 -1 4202496 327 0 0 0 0 0 0 0 20 0 1 0 4555644 9515008 183 33554432000 1073741824 1073778376 140733330272272 140733330263304 211458801333 0 0 4096 0 18446744072100588836 0 0 17 0 0 0 0 0 0
/proc/11041/statm: 2323 183 140 9 0 71 0

[startup+0.10014 s]
/proc/loadavg: 4.16 4.09 3.98 4/197 11041
/proc/meminfo: memFree=27012716/32872528 swapFree=480236/529292
[pid=11041] ppid=11038 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/11041/stat : 11041 (java) S 11038 11041 6228 0 -1 4202496 4419 0 1 0 8 1 0 0 20 0 18 0 4555644 9787879424 6048 33554432000 1073741824 1073778376 140735173731952 140735173723088 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11041/statm: 2389619 6048 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200199 s]
/proc/loadavg: 4.16 4.09 3.98 4/197 11041
/proc/meminfo: memFree=27012716/32872528 swapFree=480236/529292
[pid=11041] ppid=11038 vsize=9558476 CPUtime=0.22 cores=0,2,4,6
/proc/11041/stat : 11041 (java) S 11038 11041 6228 0 -1 4202496 4625 0 1 0 21 1 0 0 20 0 18 0 4555644 9787879424 7248 33554432000 1073741824 1073778376 140735173731952 140735173723088 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11041/statm: 2389619 7248 2213 9 0 2380296 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 9558476

[startup+0.300315 s]
/proc/loadavg: 4.16 4.09 3.98 4/197 11041
/proc/meminfo: memFree=27012716/32872528 swapFree=480236/529292
[pid=11041] ppid=11038 vsize=9824732 CPUtime=0.38 cores=0,2,4,6
/proc/11041/stat : 11041 (java) S 11038 11041 6228 0 -1 4202496 5726 0 1 0 35 3 0 0 20 0 19 0 4555644 10060525568 9046 33554432000 1073741824 1073778376 140735173731952 140735173723088 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11041/statm: 2456183 9046 2226 9 0 2446860 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 9824732

[startup+0.700261 s]
/proc/loadavg: 4.16 4.09 3.98 4/197 11041
/proc/meminfo: memFree=27012716/32872528 swapFree=480236/529292
[pid=11041] ppid=11038 vsize=9824732 CPUtime=0.38 cores=0,2,4,6
/proc/11041/stat : 11041 (java) S 11038 11041 6228 0 -1 4202496 5726 0 1 0 35 3 0 0 20 0 19 0 4555644 10060525568 9046 33554432000 1073741824 1073778376 140735173731952 140735173723088 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11041/statm: 2456183 9046 2226 9 0 2446860 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 9824732

[startup+1.50085 s]
/proc/loadavg: 4.16 4.09 3.98 3/216 11066
/proc/meminfo: memFree=26958488/32872528 swapFree=480236/529292
[pid=11041] ppid=11038 vsize=9824732 CPUtime=1.59 cores=0,2,4,6
/proc/11041/stat : 11041 (java) S 11038 11041 6228 0 -1 4202496 15020 0 1 0 150 9 0 0 20 0 19 0 4555644 10060525568 17243 33554432000 1073741824 1073778376 140735173731952 140735173723088 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11041/statm: 2456183 17243 2249 9 0 2446860 0
[pid=11041/tid=11043] ppid=11038 vsize=9824732 CPUtime=0.22 cores=0,2,4,6
/proc/11041/task/11043/stat : 11043 (java) S 11038 11041 6228 0 -1 4202560 2412 0 1 0 22 0 0 0 20 0 19 0 4555645 10060525568 17243 33554432000 1073741824 1073778376 140735173731952 140465055871864 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11041/tid=11044] ppid=11038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11044/stat : 11044 (java) S 11038 11041 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4555646 10060525568 17243 33554432000 1073741824 1073778376 140735173731952 140465028324264 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11041/tid=11045] ppid=11038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11045/stat : 11045 (java) S 11038 11041 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4555646 10060525568 17243 33554432000 1073741824 1073778376 140735173731952 140464897961000 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11041/tid=11046] ppid=11038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11046/stat : 11046 (java) S 11038 11041 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4555646 10060525568 17243 33554432000 1073741824 1073778376 140735173731952 140464896907944 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11041/tid=11047] ppid=11038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11047/stat : 11047 (java) S 11038 11041 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4555646 10060525568 17243 33554432000 1073741824 1073778376 140735173731952 140464895855400 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11041/tid=11048] ppid=11038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11048/stat : 11048 (java) S 11038 11041 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4555646 10060525568 17243 33554432000 1073741824 1073778376 140735173731952 140464894802344 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11041/tid=11049] ppid=11038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11049/stat : 11049 (java) S 11038 11041 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4555646 10060525568 17243 33554432000 1073741824 1073778376 140735173731952 140464893749800 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11041/tid=11050] ppid=11038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11050/stat : 11050 (java) S 11038 11041 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4555646 10060525568 17243 33554432000 1073741824 1073778376 140735173731952 140464556599464 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11041/tid=11051] ppid=11038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11051/stat : 11051 (java) S 11038 11041 6228 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4555646 10060525568 17243 33554432000 1073741824 1073778376 140735173731952 140464555546920 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11041/tid=11052] ppid=11038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11052/stat : 11052 (java) S 11038 11041 6228 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 4555647 10060525568 17243 33554432000 1073741824 1073778376 140735173731952 140464543349608 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11041/tid=11053] ppid=11038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11053/stat : 11053 (java) S 11038 11041 6228 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4555648 10060525568 17243 33554432000 1073741824 1073778376 140735173731952 140464542295928 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11041/tid=11054] ppid=11038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11054/stat : 11054 (java) S 11038 11041 6228 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4555648 10060525568 17243 33554432000 1073741824 1073778376 140735173731952 140464541242760 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11041/tid=11055] ppid=11038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11055/stat : 11055 (java) S 11038 11041 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4555650 10060525568 17243 33554432000 1073741824 1073778376 140735173731952 140464540191504 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11041/tid=11056] ppid=11038 vsize=9824732 CPUtime=0.4 cores=0,2,4,6
/proc/11041/task/11056/stat : 11056 (java) S 11038 11041 6228 0 -1 4202560 5512 0 0 0 40 0 0 0 20 0 19 0 4555650 10060525568 17243 33554432000 1073741824 1073778376 140735173731952 140464539138360 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11041/tid=11057] ppid=11038 vsize=9824732 CPUtime=0.41 cores=0,2,4,6
/proc/11041/task/11057/stat : 11057 (java) S 11038 11041 6228 0 -1 4202560 5732 0 0 0 41 0 0 0 20 0 19 0 4555650 10060525568 17243 33554432000 1073741824 1073778376 140735173731952 140464538085816 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11041/tid=11058] ppid=11038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11058/stat : 11058 (java) S 11038 11041 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4555650 10060525568 17243 33554432000 1073741824 1073778376 140735173731952 140464537032952 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11041/tid=11059] ppid=11038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11059/stat : 11059 (java) S 11038 11041 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4555650 10060525568 17243 33554432000 1073741824 1073778376 140735173731952 140464535980616 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11041/tid=11062] ppid=11038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11062/stat : 11062 (java) S 11038 11041 6228 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4555669 10060525568 17243 33554432000 1073741824 1073778376 140735173731952 140464532821288 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.59
Current children cumulated vsize (KiB) 9824732

[startup+3.10082 s]
/proc/loadavg: 4.16 4.09 3.98 3/216 11072
/proc/meminfo: memFree=26944152/32872528 swapFree=480236/529292
[pid=11041] ppid=11038 vsize=9824732 CPUtime=2.75 cores=0,2,4,6
/proc/11041/stat : 11041 (java) S 11038 11041 6228 0 -1 4202496 16062 0 1 0 262 13 0 0 20 0 22 0 4555644 10060525568 27497 33554432000 1073741824 1073778376 140735173731952 140735173723088 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11041/statm: 2456183 27497 2257 9 0 2446860 0
[pid=11041/tid=11043] ppid=11038 vsize=9824732 CPUtime=0.23 cores=0,2,4,6
/proc/11041/task/11043/stat : 11043 (java) S 11038 11041 6228 0 -1 4202560 2414 0 1 0 23 0 0 0 20 0 22 0 4555645 10060525568 27497 33554432000 1073741824 1073778376 140735173731952 140465055871864 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11041/tid=11044] ppid=11038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11044/stat : 11044 (java) S 11038 11041 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4555646 10060525568 27497 33554432000 1073741824 1073778376 140735173731952 140465028324264 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11041/tid=11045] ppid=11038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11045/stat : 11045 (java) S 11038 11041 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4555646 10060525568 27497 33554432000 1073741824 1073778376 140735173731952 140464897961000 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11041/tid=11046] ppid=11038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11046/stat : 11046 (java) S 11038 11041 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4555646 10060525568 27497 33554432000 1073741824 1073778376 140735173731952 140464896907944 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11041/tid=11047] ppid=11038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11047/stat : 11047 (java) S 11038 11041 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4555646 10060525568 27497 33554432000 1073741824 1073778376 140735173731952 140464895855400 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11041/tid=11048] ppid=11038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11048/stat : 11048 (java) S 11038 11041 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4555646 10060525568 27497 33554432000 1073741824 1073778376 140735173731952 140464894802344 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11041/tid=11049] ppid=11038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11049/stat : 11049 (java) S 11038 11041 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4555646 10060525568 27497 33554432000 1073741824 1073778376 140735173731952 140464893749800 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11041/tid=11050] ppid=11038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11050/stat : 11050 (java) S 11038 11041 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4555646 10060525568 27497 33554432000 1073741824 1073778376 140735173731952 140464556599464 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11041/tid=11051] ppid=11038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11051/stat : 11051 (java) S 11038 11041 6228 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 4555646 10060525568 27497 33554432000 1073741824 1073778376 140735173731952 140464555546920 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11041/tid=11052] ppid=11038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11052/stat : 11052 (java) S 11038 11041 6228 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4555647 10060525568 27497 33554432000 1073741824 1073778376 140735173731952 140464543349608 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11041/tid=11053] ppid=11038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11053/stat : 11053 (java) S 11038 11041 6228 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 4555648 10060525568 27497 33554432000 1073741824 1073778376 140735173731952 140464542295928 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11041/tid=11054] ppid=11038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11054/stat : 11054 (java) S 11038 11041 6228 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 4555648 10060525568 27497 33554432000 1073741824 1073778376 140735173731952 140464541242760 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11041/tid=11055] ppid=11038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11055/stat : 11055 (java) S 11038 11041 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4555650 10060525568 27497 33554432000 1073741824 1073778376 140735173731952 140464540191504 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11041/tid=11056] ppid=11038 vsize=9824732 CPUtime=0.56 cores=0,2,4,6
/proc/11041/task/11056/stat : 11056 (java) S 11038 11041 6228 0 -1 4202560 6508 0 0 0 54 2 0 0 20 0 22 0 4555650 10060525568 27497 33554432000 1073741824 1073778376 140735173731952 140464539138360 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11041/tid=11057] ppid=11038 vsize=9824732 CPUtime=0.55 cores=0,2,4,6
/proc/11041/task/11057/stat : 11057 (java) S 11038 11041 6228 0 -1 4202560 5737 0 0 0 55 0 0 0 20 0 22 0 4555650 10060525568 27497 33554432000 1073741824 1073778376 140735173731952 140464538085816 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11041/tid=11058] ppid=11038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11058/stat : 11058 (java) S 11038 11041 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4555650 10060525568 27497 33554432000 1073741824 1073778376 140735173731952 140464537032952 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11041/tid=11059] ppid=11038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11059/stat : 11059 (java) S 11038 11041 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4555650 10060525568 27497 33554432000 1073741824 1073778376 140735173731952 140464535980616 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11041/tid=11062] ppid=11038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11062/stat : 11062 (java) S 11038 11041 6228 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 4555669 10060525568 27497 33554432000 1073741824 1073778376 140735173731952 140464532821288 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.75
Current children cumulated vsize (KiB) 9824732

[startup+6.3009 s]
/proc/loadavg: 3.99 4.06 3.97 5/219 11078
/proc/meminfo: memFree=26823696/32872528 swapFree=480236/529292
[pid=11041] ppid=11038 vsize=9824732 CPUtime=9.59 cores=0,2,4,6
/proc/11041/stat : 11041 (java) S 11038 11041 6228 0 -1 4202496 20666 0 1 0 934 25 0 0 20 0 22 0 4555644 10060525568 58175 33554432000 1073741824 1073778376 140735173731952 140735173723088 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11041/statm: 2456183 58175 2283 9 0 2446860 0
[pid=11041/tid=11043] ppid=11038 vsize=9824732 CPUtime=0.23 cores=0,2,4,6
/proc/11041/task/11043/stat : 11043 (java) S 11038 11041 6228 0 -1 4202560 2414 0 1 0 23 0 0 0 20 0 22 0 4555645 10060525568 58175 33554432000 1073741824 1073778376 140735173731952 140465055871864 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11041/tid=11044] ppid=11038 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/11041/task/11044/stat : 11044 (java) S 11038 11041 6228 0 -1 4202560 19 0 0 0 1 0 0 0 20 0 22 0 4555646 10060525568 58175 33554432000 1073741824 1073778376 140735173731952 140465028324264 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11041/tid=11045] ppid=11038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11045/stat : 11045 (java) S 11038 11041 6228 0 -1 4202560 142 0 0 0 0 0 0 0 20 0 22 0 4555646 10060525568 58175 33554432000 1073741824 1073778376 140735173731952 140464897961000 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11041/tid=11046] ppid=11038 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/11041/task/11046/stat : 11046 (java) S 11038 11041 6228 0 -1 4202560 136 0 0 0 1 2 0 0 20 0 22 0 4555646 10060525568 58175 33554432000 1073741824 1073778376 140735173731952 140464896907944 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11041/tid=11047] ppid=11038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11047/stat : 11047 (java) S 11038 11041 6228 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 4555646 10060525568 58175 33554432000 1073741824 1073778376 140735173731952 140464895855400 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11041/tid=11048] ppid=11038 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/11041/task/11048/stat : 11048 (java) S 11038 11041 6228 0 -1 4202560 25 0 0 0 0 1 0 0 20 0 22 0 4555646 10060525568 58175 33554432000 1073741824 1073778376 140735173731952 140464894802344 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11041/tid=11049] ppid=11038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11049/stat : 11049 (java) S 11038 11041 6228 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 4555646 10060525568 58175 33554432000 1073741824 1073778376 140735173731952 140464893749800 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11041/tid=11050] ppid=11038 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/11041/task/11050/stat : 11050 (java) S 11038 11041 6228 0 -1 4202560 134 0 0 0 0 2 0 0 20 0 22 0 4555646 10060525568 58175 33554432000 1073741824 1073778376 140735173731952 140464556599464 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11041/tid=11051] ppid=11038 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/11041/task/11051/stat : 11051 (java) S 11038 11041 6228 0 -1 4202560 136 0 0 0 2 1 0 0 20 0 22 0 4555646 10060525568 58175 33554432000 1073741824 1073778376 140735173731952 140464555546920 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11041/tid=11052] ppid=11038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11052/stat : 11052 (java) S 11038 11041 6228 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 4555647 10060525568 58175 33554432000 1073741824 1073778376 140735173731952 140464543349608 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11041/tid=11053] ppid=11038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11053/stat : 11053 (java) S 11038 11041 6228 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 4555648 10060525568 58175 33554432000 1073741824 1073778376 140735173731952 140464542295928 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11041/tid=11054] ppid=11038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11054/stat : 11054 (java) S 11038 11041 6228 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 4555648 10060525568 58175 33554432000 1073741824 1073778376 140735173731952 140464541242760 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11041/tid=11055] ppid=11038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11055/stat : 11055 (java) S 11038 11041 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4555650 10060525568 58175 33554432000 1073741824 1073778376 140735173731952 140464540191504 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11041/tid=11056] ppid=11038 vsize=9824732 CPUtime=0.9 cores=0,2,4,6
/proc/11041/task/11056/stat : 11056 (java) R 11038 11041 6228 0 -1 4202560 10386 0 0 0 88 2 0 0 20 0 22 0 4555650 10060525568 58175 33554432000 1073741824 1073778376 140735173731952 140464539138360 140465062329856 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=11041/tid=11057] ppid=11038 vsize=9824732 CPUtime=0.76 cores=0,2,4,6
/proc/11041/task/11057/stat : 11057 (java) S 11038 11041 6228 0 -1 4202560 5743 0 0 0 76 0 0 0 20 0 22 0 4555650 10060525568 58175 33554432000 1073741824 1073778376 140735173731952 140464538085816 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11041/tid=11058] ppid=11038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11058/stat : 11058 (java) S 11038 11041 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4555650 10060525568 58175 33554432000 1073741824 1073778376 140735173731952 140464537032952 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11041/tid=11059] ppid=11038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11059/stat : 11059 (java) S 11038 11041 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4555650 10060525568 58175 33554432000 1073741824 1073778376 140735173731952 140464535980616 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11041/tid=11062] ppid=11038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11062/stat : 11062 (java) S 11038 11041 6228 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 4555669 10060525568 58175 33554432000 1073741824 1073778376 140735173731952 140464532821288 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 9.59
Current children cumulated vsize (KiB) 9824732


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

[pid=11041/tid=11354] ppid=11038 vsize=9824732 CPUtime=414.94 cores=0,2,4,6
/proc/11041/task/11354/stat : 11354 (java) R 11038 11041 6228 0 -1 4202560 5 0 0 0 41488 6 0 0 20 0 22 0 4596318 10060525568 988081 33554432000 1073741824 1073778376 140735173731952 140464532818256 140464909703666 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=11041/tid=11355] ppid=11038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11355/stat : 11355 (java) S 11038 11041 6228 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 4596318 10060525568 988081 33554432000 1073741824 1073778376 140735173731952 140464533873704 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1640.38
Current children cumulated vsize (KiB) 9824732

[startup+882.308 s]
/proc/loadavg: 4.08 4.10 4.02 5/220 11406
/proc/meminfo: memFree=22090304/32872528 swapFree=480236/529292
[pid=11041] ppid=11038 vsize=9824732 CPUtime=1760.68 cores=0,2,4,6
/proc/11041/stat : 11041 (java) S 11038 11041 6228 0 -1 4202496 35500 0 1 0 175802 266 0 0 20 0 22 0 4555644 10060525568 989710 33554432000 1073741824 1073778376 140735173731952 140735173723088 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11041/statm: 2456183 989710 2292 9 0 2446860 0
[pid=11041/tid=11043] ppid=11038 vsize=9824732 CPUtime=0.29 cores=0,2,4,6
/proc/11041/task/11043/stat : 11043 (java) S 11038 11041 6228 0 -1 4202560 2415 0 1 0 27 2 0 0 20 0 22 0 4555645 10060525568 989710 33554432000 1073741824 1073778376 140735173731952 140465055871864 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11041/tid=11044] ppid=11038 vsize=9824732 CPUtime=1.28 cores=0,2,4,6
/proc/11041/task/11044/stat : 11044 (java) S 11038 11041 6228 0 -1 4202560 1337 0 0 0 107 21 0 0 20 0 22 0 4555646 10060525568 989710 33554432000 1073741824 1073778376 140735173731952 140465028324264 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11041/tid=11045] ppid=11038 vsize=9824732 CPUtime=1.34 cores=0,2,4,6
/proc/11041/task/11045/stat : 11045 (java) S 11038 11041 6228 0 -1 4202560 2125 0 0 0 110 24 0 0 20 0 22 0 4555646 10060525568 989710 33554432000 1073741824 1073778376 140735173731952 140464897961000 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11041/tid=11046] ppid=11038 vsize=9824732 CPUtime=1.31 cores=0,2,4,6
/proc/11041/task/11046/stat : 11046 (java) S 11038 11041 6228 0 -1 4202560 1603 0 0 0 103 28 0 0 20 0 22 0 4555646 10060525568 989710 33554432000 1073741824 1073778376 140735173731952 140464896907944 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11041/tid=11047] ppid=11038 vsize=9824732 CPUtime=1.4 cores=0,2,4,6
/proc/11041/task/11047/stat : 11047 (java) S 11038 11041 6228 0 -1 4202560 1282 0 0 0 118 22 0 0 20 0 22 0 4555646 10060525568 989710 33554432000 1073741824 1073778376 140735173731952 140464895855400 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11041/tid=11048] ppid=11038 vsize=9824732 CPUtime=1.38 cores=0,2,4,6
/proc/11041/task/11048/stat : 11048 (java) S 11038 11041 6228 0 -1 4202560 1068 0 0 0 111 27 0 0 20 0 22 0 4555646 10060525568 989710 33554432000 1073741824 1073778376 140735173731952 140464894802344 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11041/tid=11049] ppid=11038 vsize=9824732 CPUtime=1.26 cores=0,2,4,6
/proc/11041/task/11049/stat : 11049 (java) S 11038 11041 6228 0 -1 4202560 1074 0 0 0 106 20 0 0 20 0 22 0 4555646 10060525568 989710 33554432000 1073741824 1073778376 140735173731952 140464893749800 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11041/tid=11050] ppid=11038 vsize=9824732 CPUtime=1.31 cores=0,2,4,6
/proc/11041/task/11050/stat : 11050 (java) S 11038 11041 6228 0 -1 4202560 1664 0 0 0 108 23 0 0 20 0 22 0 4555646 10060525568 989710 33554432000 1073741824 1073778376 140735173731952 140464556599464 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11041/tid=11051] ppid=11038 vsize=9824732 CPUtime=1.34 cores=0,2,4,6
/proc/11041/task/11051/stat : 11051 (java) S 11038 11041 6228 0 -1 4202560 1087 0 0 0 111 23 0 0 20 0 22 0 4555646 10060525568 989710 33554432000 1073741824 1073778376 140735173731952 140464555546920 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11041/tid=11052] ppid=11038 vsize=9824732 CPUtime=4.07 cores=0,2,4,6
/proc/11041/task/11052/stat : 11052 (java) S 11038 11041 6228 0 -1 4202560 2558 0 0 0 402 5 0 0 20 0 22 0 4555647 10060525568 989710 33554432000 1073741824 1073778376 140735173731952 140464543349608 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11041/tid=11053] ppid=11038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11053/stat : 11053 (java) S 11038 11041 6228 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 4555648 10060525568 989710 33554432000 1073741824 1073778376 140735173731952 140464542295928 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11041/tid=11054] ppid=11038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11054/stat : 11054 (java) S 11038 11041 6228 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 4555648 10060525568 989710 33554432000 1073741824 1073778376 140735173731952 140464541242760 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11041/tid=11055] ppid=11038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11055/stat : 11055 (java) S 11038 11041 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4555650 10060525568 989710 33554432000 1073741824 1073778376 140735173731952 140464540191504 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11041/tid=11056] ppid=11038 vsize=9824732 CPUtime=1.11 cores=0,2,4,6
/proc/11041/task/11056/stat : 11056 (java) S 11038 11041 6228 0 -1 4202560 10420 0 0 0 109 2 0 0 20 0 22 0 4555650 10060525568 989710 33554432000 1073741824 1073778376 140735173731952 140464539138360 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11041/tid=11057] ppid=11038 vsize=9824732 CPUtime=0.94 cores=0,2,4,6
/proc/11041/task/11057/stat : 11057 (java) S 11038 11041 6228 0 -1 4202560 5744 0 0 0 93 1 0 0 20 0 22 0 4555650 10060525568 989710 33554432000 1073741824 1073778376 140735173731952 140464538085816 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11041/tid=11058] ppid=11038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11058/stat : 11058 (java) S 11038 11041 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4555650 10060525568 989710 33554432000 1073741824 1073778376 140735173731952 140464537032952 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11041/tid=11059] ppid=11038 vsize=9824732 CPUtime=0.15 cores=0,2,4,6
/proc/11041/task/11059/stat : 11059 (java) S 11038 11041 6228 0 -1 4202560 51 0 0 0 8 7 0 0 20 0 22 0 4555650 10060525568 989710 33554432000 1073741824 1073778376 140735173731952 140464535980616 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11041/tid=11081] ppid=11038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11081/stat : 11081 (java) S 11038 11041 6228 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 4556272 10060525568 989710 33554432000 1073741824 1073778376 140735173731952 140464534926504 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11041/tid=11353] ppid=11038 vsize=9824732 CPUtime=474.83 cores=0,2,4,6
/proc/11041/task/11353/stat : 11353 (java) R 11038 11041 6228 0 -1 4202560 8 0 0 0 47476 7 0 0 20 0 22 0 4596318 10060525568 989710 33554432000 1073741824 1073778376 140735173731952 140464531759296 140464909468549 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=11041/tid=11354] ppid=11038 vsize=9824732 CPUtime=474.78 cores=0,2,4,6
/proc/11041/task/11354/stat : 11354 (java) R 11038 11041 6228 0 -1 4202560 5 0 0 0 47471 7 0 0 20 0 22 0 4596318 10060525568 989710 33554432000 1073741824 1073778376 140735173731952 140464532818416 140464909703520 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=11041/tid=11355] ppid=11038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11355/stat : 11355 (java) S 11038 11041 6228 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 4596318 10060525568 989710 33554432000 1073741824 1073778376 140735173731952 140464533873704 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1760.68
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+902.001 s]
/proc/loadavg: 4.13 4.10 4.03 5/220 11406
/proc/meminfo: memFree=22119168/32872528 swapFree=480236/529292
[pid=11041] ppid=11038 vsize=9824732 CPUtime=1800.08 cores=0,2,4,6
/proc/11041/stat : 11041 (java) S 11038 11041 6228 0 -1 4202496 35500 0 1 0 179742 266 0 0 20 0 22 0 4555644 10060525568 989710 33554432000 1073741824 1073778376 140735173731952 140735173723088 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11041/statm: 2456183 989710 2292 9 0 2446860 0
[pid=11041/tid=11043] ppid=11038 vsize=9824732 CPUtime=0.29 cores=0,2,4,6
/proc/11041/task/11043/stat : 11043 (java) S 11038 11041 6228 0 -1 4202560 2415 0 1 0 27 2 0 0 20 0 22 0 4555645 10060525568 989710 33554432000 1073741824 1073778376 140735173731952 140465055871864 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11041/tid=11044] ppid=11038 vsize=9824732 CPUtime=1.28 cores=0,2,4,6
/proc/11041/task/11044/stat : 11044 (java) S 11038 11041 6228 0 -1 4202560 1337 0 0 0 107 21 0 0 20 0 22 0 4555646 10060525568 989710 33554432000 1073741824 1073778376 140735173731952 140465028324264 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11041/tid=11045] ppid=11038 vsize=9824732 CPUtime=1.34 cores=0,2,4,6
/proc/11041/task/11045/stat : 11045 (java) S 11038 11041 6228 0 -1 4202560 2125 0 0 0 110 24 0 0 20 0 22 0 4555646 10060525568 989710 33554432000 1073741824 1073778376 140735173731952 140464897961000 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11041/tid=11046] ppid=11038 vsize=9824732 CPUtime=1.31 cores=0,2,4,6
/proc/11041/task/11046/stat : 11046 (java) S 11038 11041 6228 0 -1 4202560 1603 0 0 0 103 28 0 0 20 0 22 0 4555646 10060525568 989710 33554432000 1073741824 1073778376 140735173731952 140464896907944 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11041/tid=11047] ppid=11038 vsize=9824732 CPUtime=1.4 cores=0,2,4,6
/proc/11041/task/11047/stat : 11047 (java) S 11038 11041 6228 0 -1 4202560 1282 0 0 0 118 22 0 0 20 0 22 0 4555646 10060525568 989710 33554432000 1073741824 1073778376 140735173731952 140464895855400 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11041/tid=11048] ppid=11038 vsize=9824732 CPUtime=1.38 cores=0,2,4,6
/proc/11041/task/11048/stat : 11048 (java) S 11038 11041 6228 0 -1 4202560 1068 0 0 0 111 27 0 0 20 0 22 0 4555646 10060525568 989710 33554432000 1073741824 1073778376 140735173731952 140464894802344 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11041/tid=11049] ppid=11038 vsize=9824732 CPUtime=1.26 cores=0,2,4,6
/proc/11041/task/11049/stat : 11049 (java) S 11038 11041 6228 0 -1 4202560 1074 0 0 0 106 20 0 0 20 0 22 0 4555646 10060525568 989710 33554432000 1073741824 1073778376 140735173731952 140464893749800 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11041/tid=11050] ppid=11038 vsize=9824732 CPUtime=1.31 cores=0,2,4,6
/proc/11041/task/11050/stat : 11050 (java) S 11038 11041 6228 0 -1 4202560 1664 0 0 0 108 23 0 0 20 0 22 0 4555646 10060525568 989710 33554432000 1073741824 1073778376 140735173731952 140464556599464 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11041/tid=11051] ppid=11038 vsize=9824732 CPUtime=1.34 cores=0,2,4,6
/proc/11041/task/11051/stat : 11051 (java) S 11038 11041 6228 0 -1 4202560 1087 0 0 0 111 23 0 0 20 0 22 0 4555646 10060525568 989710 33554432000 1073741824 1073778376 140735173731952 140464555546920 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11041/tid=11052] ppid=11038 vsize=9824732 CPUtime=4.07 cores=0,2,4,6
/proc/11041/task/11052/stat : 11052 (java) S 11038 11041 6228 0 -1 4202560 2558 0 0 0 402 5 0 0 20 0 22 0 4555647 10060525568 989710 33554432000 1073741824 1073778376 140735173731952 140464543349608 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11041/tid=11053] ppid=11038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11053/stat : 11053 (java) S 11038 11041 6228 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 4555648 10060525568 989710 33554432000 1073741824 1073778376 140735173731952 140464542295928 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11041/tid=11054] ppid=11038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11054/stat : 11054 (java) S 11038 11041 6228 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 4555648 10060525568 989710 33554432000 1073741824 1073778376 140735173731952 140464541242760 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11041/tid=11055] ppid=11038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11055/stat : 11055 (java) S 11038 11041 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4555650 10060525568 989710 33554432000 1073741824 1073778376 140735173731952 140464540191504 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11041/tid=11056] ppid=11038 vsize=9824732 CPUtime=1.11 cores=0,2,4,6
/proc/11041/task/11056/stat : 11056 (java) S 11038 11041 6228 0 -1 4202560 10420 0 0 0 109 2 0 0 20 0 22 0 4555650 10060525568 989710 33554432000 1073741824 1073778376 140735173731952 140464539138360 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11041/tid=11057] ppid=11038 vsize=9824732 CPUtime=0.94 cores=0,2,4,6
/proc/11041/task/11057/stat : 11057 (java) S 11038 11041 6228 0 -1 4202560 5744 0 0 0 93 1 0 0 20 0 22 0 4555650 10060525568 989710 33554432000 1073741824 1073778376 140735173731952 140464538085816 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11041/tid=11058] ppid=11038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11058/stat : 11058 (java) S 11038 11041 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4555650 10060525568 989710 33554432000 1073741824 1073778376 140735173731952 140464537032952 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11041/tid=11059] ppid=11038 vsize=9824732 CPUtime=0.15 cores=0,2,4,6
/proc/11041/task/11059/stat : 11059 (java) S 11038 11041 6228 0 -1 4202560 51 0 0 0 8 7 0 0 20 0 22 0 4555650 10060525568 989710 33554432000 1073741824 1073778376 140735173731952 140464535980616 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11041/tid=11081] ppid=11038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11081/stat : 11081 (java) S 11038 11041 6228 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 4556272 10060525568 989710 33554432000 1073741824 1073778376 140735173731952 140464534926504 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11041/tid=11353] ppid=11038 vsize=9824732 CPUtime=494.53 cores=0,2,4,6
/proc/11041/task/11353/stat : 11353 (java) R 11038 11041 6228 0 -1 4202560 8 0 0 0 49446 7 0 0 20 0 22 0 4596318 10060525568 989710 33554432000 1073741824 1073778376 140735173731952 140464531759296 140464909468529 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=11041/tid=11354] ppid=11038 vsize=9824732 CPUtime=494.47 cores=0,2,4,6
/proc/11041/task/11354/stat : 11354 (java) R 11038 11041 6228 0 -1 4202560 5 0 0 0 49440 7 0 0 20 0 22 0 4596318 10060525568 989710 33554432000 1073741824 1073778376 140735173731952 140464532818416 140464909703604 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=11041/tid=11355] ppid=11038 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11355/stat : 11355 (java) S 11038 11041 6228 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 4596318 10060525568 989710 33554432000 1073741824 1073778376 140735173731952 140464533873704 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
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 11041 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+902.201 s]
/proc/loadavg: 4.13 4.10 4.03 5/220 11406
/proc/meminfo: memFree=22119168/32872528 swapFree=480236/529292
[pid=11041] ppid=11038 vsize=9957860 CPUtime=1800.88 cores=0,2,4,6
/proc/11041/stat : 11041 (java) S 11038 11041 6228 0 -1 4202496 35617 0 1 0 179814 274 0 0 20 0 21 0 4555644 10196848640 989814 33554432000 1073741824 1073778376 140735173731952 140735173723088 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11041/statm: 2489465 989814 2295 9 0 2480142 0
[pid=11041/tid=11043] ppid=11038 vsize=9957860 CPUtime=0.29 cores=0,2,4,6
/proc/11041/task/11043/stat : 11043 (java) S 11038 11041 6228 0 -1 4202560 2415 0 1 0 27 2 0 0 20 0 21 0 4555645 10196848640 989814 33554432000 1073741824 1073778376 140735173731952 140465055871864 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11041/tid=11044] ppid=11038 vsize=9957860 CPUtime=1.34 cores=0,2,4,6
/proc/11041/task/11044/stat : 11044 (java) S 11038 11041 6228 0 -1 4202560 1348 0 0 0 113 21 0 0 20 0 21 0 4555646 10196848640 989814 33554432000 1073741824 1073778376 140735173731952 140465028324264 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11041/tid=11045] ppid=11038 vsize=9957860 CPUtime=1.39 cores=0,2,4,6
/proc/11041/task/11045/stat : 11045 (java) S 11038 11041 6228 0 -1 4202560 2132 0 0 0 115 24 0 0 20 0 21 0 4555646 10196848640 989814 33554432000 1073741824 1073778376 140735173731952 140464897961000 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11041/tid=11046] ppid=11038 vsize=9957860 CPUtime=1.46 cores=0,2,4,6
/proc/11041/task/11046/stat : 11046 (java) S 11038 11041 6228 0 -1 4202560 1605 0 0 0 118 28 0 0 20 0 21 0 4555646 10196848640 989814 33554432000 1073741824 1073778376 140735173731952 140464896907944 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11041/tid=11047] ppid=11038 vsize=9957860 CPUtime=1.57 cores=0,2,4,6
/proc/11041/task/11047/stat : 11047 (java) S 11038 11041 6228 0 -1 4202560 1287 0 0 0 135 22 0 0 20 0 21 0 4555646 10196848640 989814 33554432000 1073741824 1073778376 140735173731952 140464895855400 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11041/tid=11048] ppid=11038 vsize=9957860 CPUtime=1.43 cores=0,2,4,6
/proc/11041/task/11048/stat : 11048 (java) S 11038 11041 6228 0 -1 4202560 1079 0 0 0 116 27 0 0 20 0 21 0 4555646 10196848640 989814 33554432000 1073741824 1073778376 140735173731952 140464894802344 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11041/tid=11049] ppid=11038 vsize=9957860 CPUtime=1.31 cores=0,2,4,6
/proc/11041/task/11049/stat : 11049 (java) S 11038 11041 6228 0 -1 4202560 1090 0 0 0 111 20 0 0 20 0 21 0 4555646 10196848640 989814 33554432000 1073741824 1073778376 140735173731952 140464893749800 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11041/tid=11050] ppid=11038 vsize=9957860 CPUtime=1.39 cores=0,2,4,6
/proc/11041/task/11050/stat : 11050 (java) S 11038 11041 6228 0 -1 4202560 1666 0 0 0 116 23 0 0 20 0 21 0 4555646 10196848640 989814 33554432000 1073741824 1073778376 140735173731952 140464556599464 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11041/tid=11051] ppid=11038 vsize=9957860 CPUtime=1.39 cores=0,2,4,6
/proc/11041/task/11051/stat : 11051 (java) S 11038 11041 6228 0 -1 4202560 1112 0 0 0 116 23 0 0 20 0 21 0 4555646 10196848640 989814 33554432000 1073741824 1073778376 140735173731952 140464555546920 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11041/tid=11052] ppid=11038 vsize=9957860 CPUtime=4.07 cores=0,2,4,6
/proc/11041/task/11052/stat : 11052 (java) S 11038 11041 6228 0 -1 4202560 2559 0 0 0 402 5 0 0 20 0 21 0 4555647 10196848640 989814 33554432000 1073741824 1073778376 140735173731952 140464543349608 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11041/tid=11053] ppid=11038 vsize=9957860 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11053/stat : 11053 (java) S 11038 11041 6228 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 4555648 10196848640 989814 33554432000 1073741824 1073778376 140735173731952 140464542295928 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11041/tid=11054] ppid=11038 vsize=9957860 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11054/stat : 11054 (java) S 11038 11041 6228 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 21 0 4555648 10196848640 989814 33554432000 1073741824 1073778376 140735173731952 140464541242760 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11041/tid=11055] ppid=11038 vsize=9957860 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11055/stat : 11055 (java) S 11038 11041 6228 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 21 0 4555650 10196848640 989814 33554432000 1073741824 1073778376 140735173731952 140464540191504 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11041/tid=11056] ppid=11038 vsize=9957860 CPUtime=1.12 cores=0,2,4,6
/proc/11041/task/11056/stat : 11056 (java) R 11038 11041 6228 0 -1 4202560 10423 0 0 0 110 2 0 0 20 0 21 0 4555650 10196848640 989814 33554432000 1073741824 1073778376 140735173731952 140464539138360 140465062021538 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=11041/tid=11057] ppid=11038 vsize=9957860 CPUtime=0.94 cores=0,2,4,6
/proc/11041/task/11057/stat : 11057 (java) S 11038 11041 6228 0 -1 4202560 5745 0 0 0 93 1 0 0 20 0 21 0 4555650 10196848640 989814 33554432000 1073741824 1073778376 140735173731952 140464538085816 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11041/tid=11058] ppid=11038 vsize=9957860 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11058/stat : 11058 (java) S 11038 11041 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 4555650 10196848640 989814 33554432000 1073741824 1073778376 140735173731952 140464537032952 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11041/tid=11059] ppid=11038 vsize=9957860 CPUtime=0.15 cores=0,2,4,6
/proc/11041/task/11059/stat : 11059 (java) S 11038 11041 6228 0 -1 4202560 51 0 0 0 8 7 0 0 20 0 21 0 4555650 10196848640 989814 33554432000 1073741824 1073778376 140735173731952 140464535980616 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11041/tid=11354] ppid=11038 vsize=9957860 CPUtime=494.5 cores=0,2,4,6
/proc/11041/task/11354/stat : 11354 (java) R 11038 11041 6228 0 -1 4202560 5 0 0 0 49443 7 0 0 20 0 21 0 4596318 10196848640 989814 33554432000 1073741824 1073778376 140735173731952 140464532818768 140464909703488 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.88
Current children cumulated vsize (KiB) 9957860

Child status: 143
Real time (s): 902.232
CPU time (s): 1801.15
CPU user time (s): 1798.16
CPU system time (s): 2.99354
CPU usage (%): 199.633
Max. virtual memory (cumulated for all children) (KiB): 9957860

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.16
system time used= 2.99354
maximum resident set size= 3959300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35630
page faults= 1
swaps= 0
block input operations= 0
block output operations= 752
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22457
involuntary context switches= 21954

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.50116 second user time and 7.10592 second system time

The end

Launcher Data 

Begin job on node141 at 2016-06-30 04:55:57
IDJOB=4119409
IDBENCH=111723
IDSOLVER=2543
FILE ID=node141/4119409-1467255357
RUNJOBID= node141-1467246696-6244
PBS_JOBID= 20004482
Free space on /tmp= 71704 MiB

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

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

MD5SUM BENCH= d71b79906089b33d281a228373b32cad
RANDOM SEED=1002370924

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.448
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	: 5339.30
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.448
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.53
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.448
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        27013616 kB
Buffers:          137928 kB
Cached:           723760 kB
SwapCached:            0 kB
Active:          3908192 kB
Inactive:         675000 kB
Active(anon):    3724092 kB
Inactive(anon):      112 kB
Active(file):     184100 kB
Inactive(file):   674888 kB
Unevictable:      529292 kB
Mlocked:          480236 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               844 kB
Writeback:             0 kB
AnonPages:       4332616 kB
Mapped:            22244 kB
Shmem:               204 kB
Slab:             609228 kB
SReclaimable:      53216 kB
SUnreclaim:       556012 kB
KernelStack:        1808 kB
PageTables:        12560 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    4860768 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3782656 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= 71700 MiB
End job on node141 at 2016-06-30 05:10:59