Trace number 4119482

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 Resolution PB16SAT (TO)-23 1800.06 1789.24

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/
minlplib2-pb-0.1.0/opb/normalized-graphpart_3pm-0333-0333.opb
MD5SUMaf71701c6739495b8f6e2b2aab10d44d
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-26
Best CPU time to get the best result obtained on this benchmark1.42078
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables81
Total number of constraints27
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)27
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint3
Number of terms in the objective function 243
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 243
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 243
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)243
Sum of products size (including duplicates)486
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.08/0.10	c version PB16.v20160501
0.08/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.08/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.08/0.10	c java.vm.version	19.1-b02
0.08/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.08/0.10	c sun.arch.data.model	64
0.08/0.10	c java.version		1.6.0_24
0.08/0.10	c os.name		Linux
0.08/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.08/0.10	c os.arch		amd64
0.08/0.10	c Free memory 		501472288
0.08/0.10	c Max memory 		7480803328
0.08/0.10	c Total memory 		504102912
0.08/0.10	c Number of processors 	16
0.08/0.12	c Pseudo Boolean Optimization by upper bound
0.08/0.12	c --- Begin Solver configuration ---
0.08/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2626d4f1
0.08/0.12	c Learn all clauses as in MiniSAT
0.08/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.12	c No reason simplification
0.08/0.12	c Glucose 2.1 dynamic restart strategy
0.08/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.08/0.12	c timeout=2147483s
0.08/0.12	c DB Simplification allowed=false
0.08/0.12	c Listener: org.sat4j.minisat.core.VoidTracing@4def8cf3
0.08/0.12	c --- End Solver configuration ---
0.08/0.12	c solving HOME/instance-4119482-1467259952.opb
0.08/0.12	c reading problem ... 
0.08/0.13	c  objective function found
0.08/0.16	c ... done. Wall clock time 0.043s.
0.08/0.16	c declared #vars     81
0.08/0.16	c internal #vars     324
0.08/0.16	c #constraints  540
0.08/0.16	c constraints type 
0.08/0.16	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 270
0.08/0.16	c org.sat4j.minisat.constraints.card.MinWatchCard => 27
0.08/0.17	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 243
0.08/0.17	c 540 constraints processed.
0.08/0.17	c objective function length is 243 literals
0.08/0.17	c SATISFIABLE
0.08/0.17	c OPTIMIZING...
0.08/0.17	c Got one! Elapsed wall clock time (in seconds):0.051
0.08/0.17	o -13
0.08/0.18	c Got one! Elapsed wall clock time (in seconds):0.06
0.08/0.18	o -14
0.08/0.19	c Got one! Elapsed wall clock time (in seconds):0.068
0.08/0.19	o -16
0.22/0.20	c Got one! Elapsed wall clock time (in seconds):0.079
0.22/0.20	o -17
0.22/0.21	c Got one! Elapsed wall clock time (in seconds):0.091
0.22/0.21	o -18
0.22/0.23	c Got one! Elapsed wall clock time (in seconds):0.109
0.22/0.23	o -19
0.75/0.55	c cleaning 2531 clauses out of 5062 with flag 10561/5062
1.15/0.85	c cleaning 4266 clauses out of 8531 with flag 23195/11062
1.57/1.24	c cleaning 5633 clauses out of 11265 with flag 37880/18062
2.06/1.74	c cleaning 6815 clauses out of 13632 with flag 54855/26062
2.76/2.31	c cleaning 7902 clauses out of 15817 with flag 74061/35062
3.45/3.06	c cleaning 8955 clauses out of 17916 with flag 98655/45063
4.25/3.89	c cleaning 9982 clauses out of 19964 with flag 127911/56066
5.26/4.84	c cleaning 10989 clauses out of 21979 with flag 156581/68063
6.16/5.79	c cleaning 11995 clauses out of 23990 with flag 185456/81063
7.17/6.73	c cleaning 12995 clauses out of 25995 with flag 217089/95063
8.27/7.84	c cleaning 13995 clauses out of 27999 with flag 252067/110062
9.86/9.48	c cleaning 14993 clauses out of 30004 with flag 293543/126062
11.35/10.98	c cleaning 16006 clauses out of 32011 with flag 336952/143062
13.17/12.71	c cleaning 16995 clauses out of 34005 with flag 382525/161062
15.07/14.60	c cleaning 18002 clauses out of 36012 with flag 429769/180064
16.77/16.39	c cleaning 19005 clauses out of 38009 with flag 480698/200063
18.47/18.09	c cleaning 20002 clauses out of 40004 with flag 528064/221063
20.57/20.17	c cleaning 21001 clauses out of 42002 with flag 577258/243063
22.67/22.25	c cleaning 21996 clauses out of 44001 with flag 631269/266063
25.07/24.51	c cleaning 23001 clauses out of 46006 with flag 688744/290064
27.67/27.11	c cleaning 24002 clauses out of 48003 with flag 748010/315062
30.17/29.69	c cleaning 24997 clauses out of 50001 with flag 812503/341062
33.08/32.58	c cleaning 26002 clauses out of 52004 with flag 874553/368062
36.38/35.85	c cleaning 26999 clauses out of 54002 with flag 941650/396062
39.68/39.19	c cleaning 28002 clauses out of 56005 with flag 1014770/425064
43.38/42.85	c cleaning 29001 clauses out of 58001 with flag 1089333/455062
48.48/47.99	c cleaning 29994 clauses out of 60000 with flag 1187130/486062
54.88/54.30	c cleaning 31000 clauses out of 62006 with flag 1299166/518062
59.99/59.50	c cleaning 32001 clauses out of 64007 with flag 1407558/551063
65.05/64.32	c cleaning 32999 clauses out of 66006 with flag 1497684/585063
69.55/68.87	c cleaning 34003 clauses out of 68008 with flag 1582138/620064
74.25/73.58	c cleaning 34997 clauses out of 70003 with flag 1666550/656062
79.26/78.50	c cleaning 36000 clauses out of 72006 with flag 1750786/693062
84.37/83.70	c cleaning 37004 clauses out of 74007 with flag 1856186/731063
89.76/89.00	c cleaning 37999 clauses out of 76002 with flag 1942085/770062
94.86/94.11	c cleaning 39000 clauses out of 78003 with flag 2030719/810062
100.51/99.53	c cleaning 39999 clauses out of 80004 with flag 2123016/851063
106.40/105.42	c cleaning 41003 clauses out of 82006 with flag 2213822/893064
113.00/112.02	c cleaning 41998 clauses out of 84001 with flag 2313860/936062
119.20/118.22	c cleaning 42999 clauses out of 86004 with flag 2410470/980063
124.91/123.98	c cleaning 44002 clauses out of 88004 with flag 2509983/1025062
131.42/130.48	c cleaning 44997 clauses out of 90003 with flag 2613048/1071063
138.71/137.77	c cleaning 46001 clauses out of 92006 with flag 2716520/1118063
148.19/146.83	c cleaning 46995 clauses out of 94004 with flag 2841670/1166062
164.00/162.64	c cleaning 48000 clauses out of 96010 with flag 3035124/1215063
179.50/178.16	c cleaning 49003 clauses out of 98010 with flag 3230144/1265063
195.30/193.95	c cleaning 49999 clauses out of 100006 with flag 3435197/1316062
208.32/206.99	c cleaning 50999 clauses out of 102008 with flag 3625109/1368063
223.19/221.00	c cleaning 51997 clauses out of 104008 with flag 3800763/1421062
242.10/239.94	c cleaning 53005 clauses out of 106012 with flag 4005990/1475063
255.20/253.02	c cleaning 54001 clauses out of 108006 with flag 4188528/1530062
266.21/264.06	c cleaning 54995 clauses out of 110005 with flag 4324906/1586062
283.91/281.73	c cleaning 55998 clauses out of 112011 with flag 4542971/1643063
302.10/299.97	c cleaning 57007 clauses out of 114013 with flag 4772887/1701063
315.81/313.04	c cleaning 58000 clauses out of 116006 with flag 4934327/1760063
327.24/324.41	c cleaning 59004 clauses out of 118008 with flag 5090026/1820065
347.25/344.41	c cleaning 59998 clauses out of 120001 with flag 5322813/1881062
362.65/359.82	c cleaning 60997 clauses out of 122003 with flag 5505343/1943062
376.76/373.13	c cleaning 62004 clauses out of 124007 with flag 5671734/2006063
390.36/386.76	c cleaning 62998 clauses out of 126002 with flag 5851573/2070062
402.16/398.58	c cleaning 64003 clauses out of 128005 with flag 6019584/2135063
414.27/410.63	c cleaning 64996 clauses out of 130001 with flag 6182341/2201062
430.30/425.83	c cleaning 65998 clauses out of 132005 with flag 6362844/2268062
444.09/439.63	c cleaning 67004 clauses out of 134007 with flag 6552008/2336062
471.39/466.97	c cleaning 67995 clauses out of 136004 with flag 6822462/2405063
504.33/499.11	c cleaning 69001 clauses out of 138009 with flag 7107663/2475063
534.04/528.85	c cleaning 70000 clauses out of 140007 with flag 7383426/2546062
559.94/554.72	c cleaning 71001 clauses out of 142008 with flag 7671705/2618063
579.92/574.09	c cleaning 72003 clauses out of 144008 with flag 7900952/2691064
600.52/594.69	c cleaning 73001 clauses out of 146005 with flag 8120330/2765064
618.32/612.44	c cleaning 73995 clauses out of 148002 with flag 8324302/2840062
640.48/634.37	c cleaning 74999 clauses out of 150007 with flag 8572422/2916062
661.29/655.16	c cleaning 76003 clauses out of 152008 with flag 8764400/2993062
681.70/675.55	c cleaning 76995 clauses out of 154005 with flag 8978339/3071062
701.93/695.53	c cleaning 78003 clauses out of 156011 with flag 9160791/3150063
705.63/699.25	c Got one! Elapsed wall clock time (in seconds):699.128
705.63/699.25	o -20
707.43/701.05	c cleaning 52866 clauses out of 105732 with flag 11197/3177787
708.34/701.96	c cleaning 29433 clauses out of 58866 with flag 24735/3183787
709.03/702.62	c cleaning 18218 clauses out of 36435 with flag 40595/3190789
709.53/703.19	c cleaning 13109 clauses out of 26217 with flag 59568/3198789
710.13/703.75	c cleaning 11054 clauses out of 22107 with flag 80153/3207788
710.73/704.36	c cleaning 10527 clauses out of 21054 with flag 102878/3217789
711.54/705.14	c cleaning 10761 clauses out of 21525 with flag 128452/3228787
712.23/705.81	c cleaning 11381 clauses out of 22765 with flag 154833/3240788
713.03/706.68	c cleaning 12188 clauses out of 24383 with flag 184536/3253787
713.93/707.55	c cleaning 13093 clauses out of 26195 with flag 214856/3267787
714.73/708.38	c Got one! Elapsed wall clock time (in seconds):708.259
714.73/708.38	o -21
715.23/708.87	c cleaning 16047 clauses out of 32102 with flag 11971/3286787
715.63/709.23	c cleaning 11021 clauses out of 22054 with flag 26460/3292786
715.94/709.59	c cleaning 9010 clauses out of 18033 with flag 43900/3299786
716.05/709.68	c Got one! Elapsed wall clock time (in seconds):709.557
716.05/709.68	o -22
716.37/709.88	c cleaning 7035 clauses out of 14072 with flag 7801/3304835
716.67/710.15	c cleaning 6515 clauses out of 13037 with flag 21405/3310835
716.97/710.47	c cleaning 6756 clauses out of 13522 with flag 36694/3317835
717.37/710.85	c cleaning 7384 clauses out of 14767 with flag 56246/3325836
717.87/711.31	c cleaning 8187 clauses out of 16383 with flag 76550/3334836
718.38/711.83	c cleaning 9097 clauses out of 18195 with flag 99693/3344835
719.07/712.52	c cleaning 10050 clauses out of 20100 with flag 124146/3355837
719.77/713.23	c cleaning 11021 clauses out of 22048 with flag 150295/3367835
720.58/714.04	c cleaning 12011 clauses out of 24027 with flag 179616/3380835
721.47/714.92	c cleaning 13001 clauses out of 26016 with flag 212188/3394835
722.47/715.93	c cleaning 14005 clauses out of 28015 with flag 245925/3409835
723.57/717.01	c cleaning 15002 clauses out of 30012 with flag 280822/3425837
724.67/718.13	c cleaning 16005 clauses out of 32011 with flag 317427/3442838
725.87/719.34	c cleaning 16996 clauses out of 34003 with flag 356935/3460835
727.18/720.68	c cleaning 18002 clauses out of 36007 with flag 397276/3479835
728.77/722.24	c cleaning 19001 clauses out of 38007 with flag 439793/3499837
730.46/723.88	c cleaning 20000 clauses out of 40004 with flag 484618/3520835
732.15/725.57	c cleaning 21001 clauses out of 42005 with flag 531185/3542836
734.05/727.44	c cleaning 21997 clauses out of 44004 with flag 580428/3565836
734.35/727.75	c Got one! Elapsed wall clock time (in seconds):727.626
734.35/727.75	o -23
734.76/728.13	c cleaning 16081 clauses out of 32175 with flag 11443/3576004
735.06/728.47	c cleaning 11039 clauses out of 22092 with flag 24819/3582002
735.46/728.84	c cleaning 9022 clauses out of 18053 with flag 40709/3589002
735.86/729.23	c cleaning 8516 clauses out of 17031 with flag 58696/3597002
736.26/729.69	c cleaning 8755 clauses out of 17515 with flag 79187/3606002
736.86/730.21	c cleaning 9379 clauses out of 18761 with flag 102155/3616003
737.46/730.82	c cleaning 10191 clauses out of 20381 with flag 126500/3627002
738.17/731.55	c cleaning 11096 clauses out of 22191 with flag 152953/3639003
738.96/732.37	c cleaning 12045 clauses out of 24094 with flag 182461/3652002
739.86/733.26	c cleaning 13018 clauses out of 26050 with flag 213817/3666003
740.96/734.30	c cleaning 14012 clauses out of 28031 with flag 246868/3681002
742.06/735.41	c cleaning 15007 clauses out of 30019 with flag 282650/3697002
743.33/736.63	c cleaning 16007 clauses out of 32013 with flag 319956/3714003
744.63/737.93	c cleaning 17004 clauses out of 34007 with flag 358363/3732004
745.94/739.29	c cleaning 17996 clauses out of 36002 with flag 398856/3751003
747.53/740.84	c cleaning 19000 clauses out of 38005 with flag 446914/3771002
749.13/742.41	c cleaning 20001 clauses out of 40006 with flag 495505/3792003
750.93/744.25	c cleaning 21001 clauses out of 42004 with flag 544165/3814002
752.83/746.17	c cleaning 21996 clauses out of 44004 with flag 594826/3837003
754.93/748.29	c cleaning 23000 clauses out of 46008 with flag 645637/3861003
757.23/750.52	c cleaning 24001 clauses out of 48007 with flag 699029/3886002
759.77/752.97	c cleaning 24998 clauses out of 50006 with flag 753860/3912002
762.47/755.61	c cleaning 26003 clauses out of 52010 with flag 810763/3939004
765.47/758.63	c cleaning 26997 clauses out of 54006 with flag 870328/3967003
768.67/761.81	c cleaning 28001 clauses out of 56008 with flag 932842/3996002
771.97/765.11	c cleaning 29003 clauses out of 58007 with flag 996672/4026002
774.87/768.09	c cleaning 30003 clauses out of 60006 with flag 1063677/4057004
778.68/771.86	c cleaning 30993 clauses out of 62002 with flag 1135807/4089003
783.16/776.22	c cleaning 31999 clauses out of 64008 with flag 1210605/4122002
787.06/780.15	c cleaning 33001 clauses out of 66009 with flag 1286746/4156002
791.27/784.38	c cleaning 34000 clauses out of 68012 with flag 1369499/4191006
795.26/788.38	c cleaning 35001 clauses out of 70009 with flag 1450275/4227003
799.86/792.98	c cleaning 36002 clauses out of 72007 with flag 1532779/4264002
804.82/797.73	c cleaning 36999 clauses out of 74005 with flag 1616688/4302002
809.82/802.74	c cleaning 38000 clauses out of 76007 with flag 1700286/4341003
814.72/807.65	c cleaning 39000 clauses out of 78007 with flag 1785594/4381003
820.42/813.33	c cleaning 40003 clauses out of 80006 with flag 1874701/4422002
825.92/818.82	c cleaning 40999 clauses out of 82004 with flag 1966148/4464003
831.81/824.60	c cleaning 41997 clauses out of 84006 with flag 2060941/4507004
837.91/830.70	c cleaning 43001 clauses out of 86010 with flag 2160689/4551005
844.32/837.19	c cleaning 43998 clauses out of 88006 with flag 2257294/4596002
851.02/843.82	c cleaning 45003 clauses out of 90009 with flag 2356794/4642003
858.18/850.87	c cleaning 46002 clauses out of 92006 with flag 2459837/4689003
865.69/858.31	c cleaning 47000 clauses out of 94003 with flag 2562144/4737002
873.60/866.26	c cleaning 47997 clauses out of 96003 with flag 2666825/4786002
881.20/873.83	c cleaning 49004 clauses out of 98007 with flag 2773729/4836003
889.22/881.74	c cleaning 49998 clauses out of 100003 with flag 2883925/4887003
897.72/890.28	c cleaning 50997 clauses out of 102008 with flag 2998359/4939006
905.72/898.26	c cleaning 52001 clauses out of 104009 with flag 3115022/4992004
914.38/906.79	c cleaning 52995 clauses out of 106006 with flag 3236908/5046002
922.89/915.22	c cleaning 54002 clauses out of 108012 with flag 3360199/5101003
931.89/924.29	c cleaning 55004 clauses out of 110010 with flag 3483234/5157003
943.02/935.11	c cleaning 56003 clauses out of 112006 with flag 3612550/5214003
953.41/945.54	c cleaning 56995 clauses out of 114002 with flag 3745532/5272002
963.92/956.08	c cleaning 58002 clauses out of 116009 with flag 3879118/5331004
974.28/966.37	c cleaning 58999 clauses out of 118005 with flag 4018014/5391002
984.28/976.37	c cleaning 59996 clauses out of 120006 with flag 4153383/5452002
994.98/987.06	c cleaning 61000 clauses out of 122010 with flag 4286105/5514002
1005.91/997.82	c cleaning 62002 clauses out of 124012 with flag 4418198/5577004
1016.70/1008.63	c cleaning 63001 clauses out of 126008 with flag 4551633/5641002
1028.11/1019.92	c cleaning 63999 clauses out of 128007 with flag 4687745/5706002
1038.33/1030.13	c cleaning 65000 clauses out of 130008 with flag 4825695/5772002
1049.12/1040.95	c cleaning 66004 clauses out of 132009 with flag 4965514/5839003
1062.83/1054.44	c cleaning 67000 clauses out of 134005 with flag 5108545/5907003
1079.12/1070.74	c cleaning 67999 clauses out of 136004 with flag 5339522/5976002
1102.20/1093.65	c cleaning 69002 clauses out of 138009 with flag 5632943/6046006
1123.90/1115.40	c cleaning 69999 clauses out of 140003 with flag 5923210/6117002
1146.87/1138.15	c cleaning 70995 clauses out of 142005 with flag 6229866/6189003
1169.09/1160.38	c cleaning 71997 clauses out of 144009 with flag 6536199/6262002
1192.28/1183.38	c cleaning 73006 clauses out of 146013 with flag 6852760/6336003
1216.19/1207.27	c cleaning 74000 clauses out of 148006 with flag 7180859/6411002
1243.38/1234.26	c cleaning 75004 clauses out of 150008 with flag 7517138/6487004
1269.88/1260.71	c cleaning 75993 clauses out of 152002 with flag 7845285/6564002
1297.72/1288.40	c cleaning 77004 clauses out of 154009 with flag 8185483/6642002
1322.52/1313.28	c cleaning 78003 clauses out of 156005 with flag 8540543/6721002
1351.53/1342.09	c cleaning 78994 clauses out of 158002 with flag 8903048/6801002
1382.63/1373.15	c cleaning 80001 clauses out of 160010 with flag 9249915/6882004
1410.44/1400.78	c cleaning 80995 clauses out of 162007 with flag 9601001/6964002
1447.95/1438.22	c cleaning 82005 clauses out of 164014 with flag 9991542/7047004
1480.26/1470.41	c cleaning 83002 clauses out of 166010 with flag 10361449/7131005
1512.94/1502.91	c cleaning 83996 clauses out of 168007 with flag 10714419/7216004
1545.55/1535.50	c cleaning 85003 clauses out of 170011 with flag 11092660/7302004
1578.54/1568.45	c cleaning 85999 clauses out of 172006 with flag 11472901/7389002
1613.45/1603.16	c cleaning 87000 clauses out of 174007 with flag 11840055/7477002
1647.96/1637.61	c cleaning 88001 clauses out of 176007 with flag 12219274/7566002
1693.21/1682.79	c cleaning 89003 clauses out of 178010 with flag 12620256/7656006
1733.36/1722.75	c cleaning 89995 clauses out of 180003 with flag 13008667/7747002
1780.06/1769.27	c cleaning 90996 clauses out of 182008 with flag 13404674/7839002
1800.06/1789.20	c starts		: 43485
1800.06/1789.20	c conflicts		: 7896768
1800.06/1789.20	c decisions		: 11251272
1800.06/1789.20	c propagations		: 225982741
1800.06/1789.20	c inspects		: 30005883390
1800.06/1789.20	c shortcuts		: 0
1800.06/1789.20	c learnt literals	: 0
1800.06/1789.20	c learnt binary clauses	: 0
1800.06/1789.20	c learnt ternary clauses	: 0
1800.06/1789.20	c learnt constraints	: 7896768
1800.06/1789.20	c ignored constraints	: 0
1800.06/1789.20	c root simplifications	: 0
1800.06/1789.20	c removed literals (reason simplification)	: 0
1800.06/1789.20	c reason swapping (by a shorter reason)	: 0
1800.06/1789.20	c Calls to reduceDB	: 195
1800.06/1789.20	c Number of update (reduction) of LBD	: 387241
1800.06/1789.20	c Imported unit clauses	: 0
1800.06/1789.20	c number of reductions to clauses (during analyze)	: 0
1800.06/1789.20	c number of learned constraints concerned by reduction	: 0
1800.06/1789.20	c number of learning phase by resolution	: 0
1800.06/1789.20	c number of learning phase by cutting planes	: 0
1800.06/1789.20	c speed (assignments/second)	: 126315.44771343209
1800.06/1789.20	c non guided choices	1
1800.06/1789.23	c learnt constraints type 
1800.06/1789.23	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 148779
1800.06/1789.23	s SATISFIABLE
1800.06/1789.23	c Found 10 solution(s)
1800.06/1789.23	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 
1800.06/1789.23	c objective function=-23
1800.06/1789.23	c Total wall clock time (in seconds): 1789.111

Verifier Data 

OK	-23

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

pid=19350
running on 8 cores: 0-3,8-11

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: 2.20 2.06 1.95 3/281 19353
/proc/meminfo: memFree=26534140/32872528 swapFree=8828/8828
[pid=19353] ppid=19350 vsize=2500 CPUtime=0 cores=0-3,8-11
/proc/19353/stat : 19353 (java) R 19350 19353 15681 0 -1 4202496 375 0 0 0 0 0 0 0 20 0 1 0 6948004 2560000 46 33554432000 1073741824 1073778376 140736587523760 140736433063176 216799472935 0 0 4096 0 0 0 0 17 8 0 0 0 0 0
/proc/19353/statm: 625 46 37 9 0 29 0

[startup+0.10006 s]
/proc/loadavg: 2.20 2.06 1.95 3/281 19353
/proc/meminfo: memFree=26534140/32872528 swapFree=8828/8828
[pid=19353] ppid=19350 vsize=9896436 CPUtime=0.08 cores=0-3,8-11
/proc/19353/stat : 19353 (java) S 19350 19353 15681 0 -1 4202496 4415 0 1 0 6 2 0 0 20 0 23 0 6948004 10133950464 5028 33554432000 1073741824 1073778376 140736587523760 140736587514896 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19353/statm: 2474109 5028 2097 9 0 2464786 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9896436

[startup+0.200213 s]
/proc/loadavg: 2.20 2.06 1.95 3/281 19353
/proc/meminfo: memFree=26534140/32872528 swapFree=8828/8828
[pid=19353] ppid=19350 vsize=9963000 CPUtime=0.22 cores=0-3,8-11
/proc/19353/stat : 19353 (java) S 19350 19353 15681 0 -1 4202496 4991 0 1 0 20 2 0 0 20 0 24 0 6948004 10202112000 7112 33554432000 1073741824 1073778376 140736587523760 140736587514896 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19353/statm: 2490750 7112 2204 9 0 2481427 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 9963000

[startup+0.300204 s]
/proc/loadavg: 2.20 2.06 1.95 3/281 19353
/proc/meminfo: memFree=26534140/32872528 swapFree=8828/8828
[pid=19353] ppid=19350 vsize=9963000 CPUtime=0.5 cores=0-3,8-11
/proc/19353/stat : 19353 (java) S 19350 19353 15681 0 -1 4202496 7068 0 1 0 48 2 0 0 20 0 24 0 6948004 10202112000 8154 33554432000 1073741824 1073778376 140736587523760 140736587514896 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19353/statm: 2490750 8154 2225 9 0 2481427 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9963000

[startup+0.70026 s]
/proc/loadavg: 2.20 2.06 1.95 3/281 19353
/proc/meminfo: memFree=26534140/32872528 swapFree=8828/8828
[pid=19353] ppid=19350 vsize=9963000 CPUtime=1.04 cores=0-3,8-11
/proc/19353/stat : 19353 (java) S 19350 19353 15681 0 -1 4202496 8783 0 1 0 101 3 0 0 20 0 24 0 6948004 10202112000 9894 33554432000 1073741824 1073778376 140736587523760 140736587514896 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19353/statm: 2490750 9894 2239 9 0 2481427 0
Current children cumulated CPU time (s) 1.04
Current children cumulated vsize (KiB) 9963000

[startup+1.50089 s]
/proc/loadavg: 2.20 2.06 1.95 3/305 19377
/proc/meminfo: memFree=26500816/32872528 swapFree=8828/8828
[pid=19353] ppid=19350 vsize=9963000 CPUtime=1.86 cores=0-3,8-11
/proc/19353/stat : 19353 (java) S 19350 19353 15681 0 -1 4202496 8790 0 1 0 183 3 0 0 20 0 24 0 6948004 10202112000 11433 33554432000 1073741824 1073778376 140736587523760 140736587514896 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19353/statm: 2490750 11433 2240 9 0 2481427 0
[pid=19353/tid=19355] ppid=19350 vsize=9963000 CPUtime=1.45 cores=0-3,8-11
/proc/19353/task/19355/stat : 19355 (java) R 19350 19353 15681 0 -1 4202560 2495 0 1 0 144 1 0 0 20 0 24 0 6948006 10202112000 11433 33554432000 1073741824 1073778376 140736587523760 140613735053864 140613675228882 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=19353/tid=19356] ppid=19350 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/19353/task/19356/stat : 19356 (java) S 19350 19353 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 6948007 10202112000 11433 33554432000 1073741824 1073778376 140736587523760 140613673786280 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=19353/tid=19357] ppid=19350 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/19353/task/19357/stat : 19357 (java) S 19350 19353 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 6948007 10202112000 11433 33554432000 1073741824 1073778376 140736587523760 140613577817128 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19353/tid=19358] ppid=19350 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/19353/task/19358/stat : 19358 (java) S 19350 19353 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 6948007 10202112000 11433 33554432000 1073741824 1073778376 140736587523760 140613576764072 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19353/tid=19359] ppid=19350 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/19353/task/19359/stat : 19359 (java) S 19350 19353 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 6948007 10202112000 11433 33554432000 1073741824 1073778376 140736587523760 140613575711528 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19353/tid=19360] ppid=19350 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/19353/task/19360/stat : 19360 (java) S 19350 19353 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 6948007 10202112000 11433 33554432000 1073741824 1073778376 140736587523760 140613574658472 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19353/tid=19361] ppid=19350 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/19353/task/19361/stat : 19361 (java) S 19350 19353 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 6948007 10202112000 11433 33554432000 1073741824 1073778376 140736587523760 140613573605928 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19353/tid=19362] ppid=19350 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/19353/task/19362/stat : 19362 (java) S 19350 19353 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 6948007 10202112000 11433 33554432000 1073741824 1073778376 140736587523760 140613572552872 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19353/tid=19363] ppid=19350 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/19353/task/19363/stat : 19363 (java) S 19350 19353 15681 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 6948007 10202112000 11433 33554432000 1073741824 1073778376 140736587523760 140613571500328 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=19353/tid=19364] ppid=19350 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/19353/task/19364/stat : 19364 (java) S 19350 19353 15681 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 6948007 10202112000 11433 33554432000 1073741824 1073778376 140736587523760 140613570448296 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=19353/tid=19365] ppid=19350 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/19353/task/19365/stat : 19365 (java) S 19350 19353 15681 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 6948007 10202112000 11433 33554432000 1073741824 1073778376 140736587523760 140613569395752 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=19353/tid=19366] ppid=19350 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/19353/task/19366/stat : 19366 (java) S 19350 19353 15681 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 6948007 10202112000 11433 33554432000 1073741824 1073778376 140736587523760 140613568342696 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=19353/tid=19367] ppid=19350 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/19353/task/19367/stat : 19367 (java) S 19350 19353 15681 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 6948007 10202112000 11433 33554432000 1073741824 1073778376 140736587523760 140613567290152 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19353/tid=19368] ppid=19350 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/19353/task/19368/stat : 19368 (java) S 19350 19353 15681 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 6948007 10202112000 11433 33554432000 1073741824 1073778376 140736587523760 140613566237096 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19353/tid=19369] ppid=19350 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/19353/task/19369/stat : 19369 (java) S 19350 19353 15681 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 6948008 10202112000 11433 33554432000 1073741824 1073778376 140736587523760 140613548775912 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19353/tid=19370] ppid=19350 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/19353/task/19370/stat : 19370 (java) S 19350 19353 15681 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 24 0 6948009 10202112000 11433 33554432000 1073741824 1073778376 140736587523760 140613547721720 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=19353/tid=19371] ppid=19350 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/19353/task/19371/stat : 19371 (java) S 19350 19353 15681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 6948009 10202112000 11433 33554432000 1073741824 1073778376 140736587523760 140613546669064 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=19353/tid=19372] ppid=19350 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/19353/task/19372/stat : 19372 (java) S 19350 19353 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 6948011 10202112000 11433 33554432000 1073741824 1073778376 140736587523760 140613545618320 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=19353/tid=19373] ppid=19350 vsize=9963000 CPUtime=0.16 cores=0-3,8-11
/proc/19353/task/19373/stat : 19373 (java) S 19350 19353 15681 0 -1 4202560 1661 0 0 0 16 0 0 0 20 0 24 0 6948011 10202112000 11433 33554432000 1073741824 1073778376 140736587523760 140613544565688 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=19353/tid=19374] ppid=19350 vsize=9963000 CPUtime=0.21 cores=0-3,8-11
/proc/19353/task/19374/stat : 19374 (java) S 19350 19353 15681 0 -1 4202560 3344 0 0 0 21 0 0 0 20 0 24 0 6948011 10202112000 11433 33554432000 1073741824 1073778376 140736587523760 140613543512632 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=19353/tid=19375] ppid=19350 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/19353/task/19375/stat : 19375 (java) S 19350 19353 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 6948011 10202112000 11433 33554432000 1073741824 1073778376 140736587523760 140613542460280 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=19353/tid=19376] ppid=19350 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/19353/task/19376/stat : 19376 (java) S 19350 19353 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 6948011 10202112000 11433 33554432000 1073741824 1073778376 140736587523760 140613541407432 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19353/tid=19377] ppid=19350 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/19353/task/19377/stat : 19377 (java) S 19350 19353 15681 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 24 0 6948021 10202112000 11433 33554432000 1073741824 1073778376 140736587523760 140613540254888 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
Current children cumulated CPU time (s) 1.86
Current children cumulated vsize (KiB) 9963000

[startup+3.10095 s]
/proc/loadavg: 2.20 2.06 1.95 3/305 19377
/proc/meminfo: memFree=26489832/32872528 swapFree=8828/8828
[pid=19353] ppid=19350 vsize=9963000 CPUtime=3.55 cores=0-3,8-11
/proc/19353/stat : 19353 (java) S 19350 19353 15681 0 -1 4202496 9374 0 1 0 352 3 0 0 20 0 24 0 6948004 10202112000 14243 33554432000 1073741824 1073778376 140736587523760 140736587514896 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19353/statm: 2490750 14243 2248 9 0 2481427 0
[pid=19353/tid=19355] ppid=19350 vsize=9963000 CPUtime=3.05 cores=0-3,8-11
/proc/19353/task/19355/stat : 19355 (java) R 19350 19353 15681 0 -1 4202560 2507 0 1 0 304 1 0 0 20 0 24 0 6948006 10202112000 14243 33554432000 1073741824 1073778376 140736587523760 140613735053848 140613675240313 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=19353/tid=19356] ppid=19350 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/19353/task/19356/stat : 19356 (java) S 19350 19353 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 6948007 10202112000 14243 33554432000 1073741824 1073778376 140736587523760 140613673786280 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=19353/tid=19357] ppid=19350 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/19353/task/19357/stat : 19357 (java) S 19350 19353 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 6948007 10202112000 14243 33554432000 1073741824 1073778376 140736587523760 140613577817128 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19353/tid=19358] ppid=19350 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/19353/task/19358/stat : 19358 (java) S 19350 19353 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 6948007 10202112000 14243 33554432000 1073741824 1073778376 140736587523760 140613576764072 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19353/tid=19359] ppid=19350 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/19353/task/19359/stat : 19359 (java) S 19350 19353 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 6948007 10202112000 14243 33554432000 1073741824 1073778376 140736587523760 140613575711528 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19353/tid=19360] ppid=19350 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/19353/task/19360/stat : 19360 (java) S 19350 19353 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 6948007 10202112000 14243 33554432000 1073741824 1073778376 140736587523760 140613574658472 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19353/tid=19361] ppid=19350 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/19353/task/19361/stat : 19361 (java) S 19350 19353 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 6948007 10202112000 14243 33554432000 1073741824 1073778376 140736587523760 140613573605928 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19353/tid=19362] ppid=19350 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/19353/task/19362/stat : 19362 (java) S 19350 19353 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 6948007 10202112000 14243 33554432000 1073741824 1073778376 140736587523760 140613572552872 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19353/tid=19363] ppid=19350 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/19353/task/19363/stat : 19363 (java) S 19350 19353 15681 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 6948007 10202112000 14243 33554432000 1073741824 1073778376 140736587523760 140613571500328 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=19353/tid=19364] ppid=19350 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/19353/task/19364/stat : 19364 (java) S 19350 19353 15681 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 6948007 10202112000 14243 33554432000 1073741824 1073778376 140736587523760 140613570448296 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=19353/tid=19365] ppid=19350 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/19353/task/19365/stat : 19365 (java) S 19350 19353 15681 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 6948007 10202112000 14243 33554432000 1073741824 1073778376 140736587523760 140613569395752 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=19353/tid=19366] ppid=19350 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/19353/task/19366/stat : 19366 (java) S 19350 19353 15681 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 6948007 10202112000 14243 33554432000 1073741824 1073778376 140736587523760 140613568342696 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=19353/tid=19367] ppid=19350 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/19353/task/19367/stat : 19367 (java) S 19350 19353 15681 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 6948007 10202112000 14243 33554432000 1073741824 1073778376 140736587523760 140613567290152 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19353/tid=19368] ppid=19350 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/19353/task/19368/stat : 19368 (java) S 19350 19353 15681 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 6948007 10202112000 14243 33554432000 1073741824 1073778376 140736587523760 140613566237096 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19353/tid=19369] ppid=19350 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/19353/task/19369/stat : 19369 (java) S 19350 19353 15681 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 6948008 10202112000 14243 33554432000 1073741824 1073778376 140736587523760 140613548775912 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19353/tid=19370] ppid=19350 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/19353/task/19370/stat : 19370 (java) S 19350 19353 15681 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 24 0 6948009 10202112000 14243 33554432000 1073741824 1073778376 140736587523760 140613547721720 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=19353/tid=19371] ppid=19350 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/19353/task/19371/stat : 19371 (java) S 19350 19353 15681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 6948009 10202112000 14243 33554432000 1073741824 1073778376 140736587523760 140613546669064 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=19353/tid=19372] ppid=19350 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/19353/task/19372/stat : 19372 (java) S 19350 19353 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 6948011 10202112000 14243 33554432000 1073741824 1073778376 140736587523760 140613545618320 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=19353/tid=19373] ppid=19350 vsize=9963000 CPUtime=0.16 cores=0-3,8-11
/proc/19353/task/19373/stat : 19373 (java) S 19350 19353 15681 0 -1 4202560 1666 0 0 0 16 0 0 0 20 0 24 0 6948011 10202112000 14243 33554432000 1073741824 1073778376 140736587523760 140613544565688 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=19353/tid=19374] ppid=19350 vsize=9963000 CPUtime=0.3 cores=0-3,8-11
/proc/19353/task/19374/stat : 19374 (java) S 19350 19353 15681 0 -1 4202560 3909 0 0 0 29 1 0 0 20 0 24 0 6948011 10202112000 14243 33554432000 1073741824 1073778376 140736587523760 140613543512632 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=19353/tid=19375] ppid=19350 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/19353/task/19375/stat : 19375 (java) S 19350 19353 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 6948011 10202112000 14243 33554432000 1073741824 1073778376 140736587523760 140613542460280 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=19353/tid=19376] ppid=19350 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/19353/task/19376/stat : 19376 (java) S 19350 19353 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 6948011 10202112000 14243 33554432000 1073741824 1073778376 140736587523760 140613541407432 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19353/tid=19377] ppid=19350 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/19353/task/19377/stat : 19377 (java) S 19350 19353 15681 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 24 0 6948021 10202112000 14243 33554432000 1073741824 1073778376 140736587523760 140613540254888 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
Current children cumulated CPU time (s) 3.55
Current children cumulated vsize (KiB) 9963000

[startup+6.30094 s]
/proc/loadavg: 2.18 2.06 1.95 3/305 19377
/proc/meminfo: memFree=26471584/32872528 swapFree=8828/8828
[pid=19353] ppid=19350 vsize=9963000 CPUtime=6.76 cores=0-3,8-11
/proc/19353/stat : 19353 (java) S 19350 19353 15681 0 -1 4202496 9386 0 1 0 672 4 0 0 20 0 24 0 6948004 10202112000 18438 33554432000 1073741824 1073778376 140736587523760 140736587514896 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19353/statm: 2490750 18438 2249 9 0 2481427 0
[pid=19353/tid=19355] ppid=19350 vsize=9963000 CPUtime=6.24 cores=0-3,8-11
/proc/19353/task/19355/stat : 19355 (java) R 19350 19353 15681 0 -1 4202560 2518 0 1 0 623 1 0 0 20 0 24 0 6948006 10202112000 18438 33554432000 1073741824 1073778376 140736587523760 140613735046832 140613675228480 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=19353/tid=19356] ppid=19350 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/19353/task/19356/stat : 19356 (java) S 19350 19353 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 6948007 10202112000 18438 33554432000 1073741824 1073778376 140736587523760 140613673786280 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=19353/tid=19357] ppid=19350 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/19353/task/19357/stat : 19357 (java) S 19350 19353 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 6948007 10202112000 18438 33554432000 1073741824 1073778376 140736587523760 140613577817128 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19353/tid=19358] ppid=19350 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/19353/task/19358/stat : 19358 (java) S 19350 19353 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 6948007 10202112000 18438 33554432000 1073741824 1073778376 140736587523760 140613576764072 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19353/tid=19359] ppid=19350 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/19353/task/19359/stat : 19359 (java) S 19350 19353 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 6948007 10202112000 18438 33554432000 1073741824 1073778376 140736587523760 140613575711528 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19353/tid=19360] ppid=19350 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/19353/task/19360/stat : 19360 (java) S 19350 19353 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 6948007 10202112000 18438 33554432000 1073741824 1073778376 140736587523760 140613574658472 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19353/tid=19361] ppid=19350 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/19353/task/19361/stat : 19361 (java) S 19350 19353 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 6948007 10202112000 18438 33554432000 1073741824 1073778376 140736587523760 140613573605928 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19353/tid=19362] ppid=19350 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/19353/task/19362/stat : 19362 (java) S 19350 19353 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 6948007 10202112000 18438 33554432000 1073741824 1073778376 140736587523760 140613572552872 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19353/tid=19363] ppid=19350 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/19353/task/19363/stat : 19363 (java) S 19350 19353 15681 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 6948007 10202112000 18438 33554432000 1073741824 1073778376 140736587523760 140613571500328 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=19353/tid=19364] ppid=19350 vsize=9963000 CPUtime=0 cores=0-3,8-11

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

/proc/19353/task/19364/stat : 19364 (java) S 19350 19353 15681 0 -1 4202560 354 0 0 0 61 19 0 0 20 0 24 0 6948007 10202112000 110235 33554432000 1073741824 1073778376 140736587523760 140613570448296 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19353/tid=19365] ppid=19350 vsize=9963000 CPUtime=0.74 cores=0-3,8-11
/proc/19353/task/19365/stat : 19365 (java) S 19350 19353 15681 0 -1 4202560 311 0 0 0 56 18 0 0 20 0 24 0 6948007 10202112000 110235 33554432000 1073741824 1073778376 140736587523760 140613569395752 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19353/tid=19366] ppid=19350 vsize=9963000 CPUtime=0.96 cores=0-3,8-11
/proc/19353/task/19366/stat : 19366 (java) S 19350 19353 15681 0 -1 4202560 289 0 0 0 74 22 0 0 20 0 24 0 6948007 10202112000 110235 33554432000 1073741824 1073778376 140736587523760 140613568342696 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19353/tid=19367] ppid=19350 vsize=9963000 CPUtime=0.9 cores=0-3,8-11
/proc/19353/task/19367/stat : 19367 (java) S 19350 19353 15681 0 -1 4202560 403 0 0 0 72 18 0 0 20 0 24 0 6948007 10202112000 110235 33554432000 1073741824 1073778376 140736587523760 140613567290152 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=19353/tid=19368] ppid=19350 vsize=9963000 CPUtime=0.98 cores=0-3,8-11
/proc/19353/task/19368/stat : 19368 (java) S 19350 19353 15681 0 -1 4202560 330 0 0 0 75 23 0 0 20 0 24 0 6948007 10202112000 110235 33554432000 1073741824 1073778376 140736587523760 140613566237096 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19353/tid=19369] ppid=19350 vsize=9963000 CPUtime=0.43 cores=0-3,8-11
/proc/19353/task/19369/stat : 19369 (java) S 19350 19353 15681 0 -1 4202560 246 0 0 0 41 2 0 0 20 0 24 0 6948008 10202112000 110235 33554432000 1073741824 1073778376 140736587523760 140613548775912 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19353/tid=19370] ppid=19350 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/19353/task/19370/stat : 19370 (java) S 19350 19353 15681 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 24 0 6948009 10202112000 110235 33554432000 1073741824 1073778376 140736587523760 140613547721720 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=19353/tid=19371] ppid=19350 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/19353/task/19371/stat : 19371 (java) S 19350 19353 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 24 0 6948009 10202112000 110235 33554432000 1073741824 1073778376 140736587523760 140613546669064 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=19353/tid=19372] ppid=19350 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/19353/task/19372/stat : 19372 (java) S 19350 19353 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 6948011 10202112000 110235 33554432000 1073741824 1073778376 140736587523760 140613545618320 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=19353/tid=19373] ppid=19350 vsize=9963000 CPUtime=0.16 cores=0-3,8-11
/proc/19353/task/19373/stat : 19373 (java) S 19350 19353 15681 0 -1 4202560 1667 0 0 0 16 0 0 0 20 0 24 0 6948011 10202112000 110235 33554432000 1073741824 1073778376 140736587523760 140613544565688 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=19353/tid=19374] ppid=19350 vsize=9963000 CPUtime=0.36 cores=0-3,8-11
/proc/19353/task/19374/stat : 19374 (java) S 19350 19353 15681 0 -1 4202560 4266 0 0 0 34 2 0 0 20 0 24 0 6948011 10202112000 110235 33554432000 1073741824 1073778376 140736587523760 140613543512632 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19353/tid=19375] ppid=19350 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/19353/task/19375/stat : 19375 (java) S 19350 19353 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 6948011 10202112000 110235 33554432000 1073741824 1073778376 140736587523760 140613542460280 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=19353/tid=19376] ppid=19350 vsize=9963000 CPUtime=0.58 cores=0-3,8-11
/proc/19353/task/19376/stat : 19376 (java) S 19350 19353 15681 0 -1 4202560 100 0 0 0 31 27 0 0 20 0 24 0 6948011 10202112000 110235 33554432000 1073741824 1073778376 140736587523760 140613541407432 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19353/tid=19377] ppid=19350 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/19353/task/19377/stat : 19377 (java) S 19350 19353 15681 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 24 0 6948021 10202112000 110235 33554432000 1073741824 1073778376 140736587523760 140613540254888 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
Current children cumulated CPU time (s) 1732.95
Current children cumulated vsize (KiB) 9963000

[startup+1782.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/305 19492
/proc/meminfo: memFree=26394100/32872528 swapFree=8828/8828
[pid=19353] ppid=19350 vsize=9963000 CPUtime=1793.16 cores=0-3,8-11
/proc/19353/stat : 19353 (java) S 19350 19353 15681 0 -1 4202496 14681 0 1 0 179030 286 0 0 20 0 24 0 6948004 10202112000 110142 33554432000 1073741824 1073778376 140736587523760 140736587514896 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19353/statm: 2490750 110142 2272 9 0 2481427 0
[pid=19353/tid=19355] ppid=19350 vsize=9963000 CPUtime=1775.72 cores=0-3,8-11
/proc/19353/task/19355/stat : 19355 (java) R 19350 19353 15681 0 -1 4202560 2603 0 1 0 177540 32 0 0 20 0 24 0 6948006 10202112000 110142 33554432000 1073741824 1073778376 140736587523760 140613735046928 140613675240313 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0
[pid=19353/tid=19356] ppid=19350 vsize=9963000 CPUtime=0.83 cores=0-3,8-11
/proc/19353/task/19356/stat : 19356 (java) S 19350 19353 15681 0 -1 4202560 315 0 0 0 65 18 0 0 20 0 24 0 6948007 10202112000 110142 33554432000 1073741824 1073778376 140736587523760 140613673786280 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19353/tid=19357] ppid=19350 vsize=9963000 CPUtime=0.82 cores=0-3,8-11
/proc/19353/task/19357/stat : 19357 (java) S 19350 19353 15681 0 -1 4202560 292 0 0 0 63 19 0 0 20 0 24 0 6948007 10202112000 110142 33554432000 1073741824 1073778376 140736587523760 140613577817128 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19353/tid=19358] ppid=19350 vsize=9963000 CPUtime=1.04 cores=0-3,8-11
/proc/19353/task/19358/stat : 19358 (java) S 19350 19353 15681 0 -1 4202560 306 0 0 0 83 21 0 0 20 0 24 0 6948007 10202112000 110142 33554432000 1073741824 1073778376 140736587523760 140613576764072 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19353/tid=19359] ppid=19350 vsize=9963000 CPUtime=0.8 cores=0-3,8-11
/proc/19353/task/19359/stat : 19359 (java) S 19350 19353 15681 0 -1 4202560 270 0 0 0 64 16 0 0 20 0 24 0 6948007 10202112000 110142 33554432000 1073741824 1073778376 140736587523760 140613575711528 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=19353/tid=19360] ppid=19350 vsize=9963000 CPUtime=0.91 cores=0-3,8-11
/proc/19353/task/19360/stat : 19360 (java) S 19350 19353 15681 0 -1 4202560 389 0 0 0 70 21 0 0 20 0 24 0 6948007 10202112000 110142 33554432000 1073741824 1073778376 140736587523760 140613574658472 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19353/tid=19361] ppid=19350 vsize=9963000 CPUtime=0.84 cores=0-3,8-11
/proc/19353/task/19361/stat : 19361 (java) S 19350 19353 15681 0 -1 4202560 385 0 0 0 64 20 0 0 20 0 24 0 6948007 10202112000 110142 33554432000 1073741824 1073778376 140736587523760 140613573605928 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=19353/tid=19362] ppid=19350 vsize=9963000 CPUtime=0.85 cores=0-3,8-11
/proc/19353/task/19362/stat : 19362 (java) S 19350 19353 15681 0 -1 4202560 459 0 0 0 65 20 0 0 20 0 24 0 6948007 10202112000 110142 33554432000 1073741824 1073778376 140736587523760 140613572552872 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=19353/tid=19363] ppid=19350 vsize=9963000 CPUtime=0.9 cores=0-3,8-11
/proc/19353/task/19363/stat : 19363 (java) S 19350 19353 15681 0 -1 4202560 408 0 0 0 71 19 0 0 20 0 24 0 6948007 10202112000 110142 33554432000 1073741824 1073778376 140736587523760 140613571500328 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19353/tid=19364] ppid=19350 vsize=9963000 CPUtime=0.83 cores=0-3,8-11
/proc/19353/task/19364/stat : 19364 (java) S 19350 19353 15681 0 -1 4202560 373 0 0 0 64 19 0 0 20 0 24 0 6948007 10202112000 110142 33554432000 1073741824 1073778376 140736587523760 140613570448296 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19353/tid=19365] ppid=19350 vsize=9963000 CPUtime=0.75 cores=0-3,8-11
/proc/19353/task/19365/stat : 19365 (java) S 19350 19353 15681 0 -1 4202560 311 0 0 0 57 18 0 0 20 0 24 0 6948007 10202112000 110142 33554432000 1073741824 1073778376 140736587523760 140613569395752 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19353/tid=19366] ppid=19350 vsize=9963000 CPUtime=0.98 cores=0-3,8-11
/proc/19353/task/19366/stat : 19366 (java) S 19350 19353 15681 0 -1 4202560 289 0 0 0 76 22 0 0 20 0 24 0 6948007 10202112000 110142 33554432000 1073741824 1073778376 140736587523760 140613568342696 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19353/tid=19367] ppid=19350 vsize=9963000 CPUtime=0.92 cores=0-3,8-11
/proc/19353/task/19367/stat : 19367 (java) S 19350 19353 15681 0 -1 4202560 403 0 0 0 74 18 0 0 20 0 24 0 6948007 10202112000 110142 33554432000 1073741824 1073778376 140736587523760 140613567290152 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=19353/tid=19368] ppid=19350 vsize=9963000 CPUtime=0.99 cores=0-3,8-11
/proc/19353/task/19368/stat : 19368 (java) S 19350 19353 15681 0 -1 4202560 330 0 0 0 76 23 0 0 20 0 24 0 6948007 10202112000 110142 33554432000 1073741824 1073778376 140736587523760 140613566237096 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=19353/tid=19369] ppid=19350 vsize=9963000 CPUtime=0.43 cores=0-3,8-11
/proc/19353/task/19369/stat : 19369 (java) S 19350 19353 15681 0 -1 4202560 248 0 0 0 41 2 0 0 20 0 24 0 6948008 10202112000 110142 33554432000 1073741824 1073778376 140736587523760 140613548775912 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19353/tid=19370] ppid=19350 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/19353/task/19370/stat : 19370 (java) S 19350 19353 15681 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 24 0 6948009 10202112000 110142 33554432000 1073741824 1073778376 140736587523760 140613547721720 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=19353/tid=19371] ppid=19350 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/19353/task/19371/stat : 19371 (java) S 19350 19353 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 24 0 6948009 10202112000 110142 33554432000 1073741824 1073778376 140736587523760 140613546669064 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=19353/tid=19372] ppid=19350 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/19353/task/19372/stat : 19372 (java) S 19350 19353 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 6948011 10202112000 110142 33554432000 1073741824 1073778376 140736587523760 140613545618320 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=19353/tid=19373] ppid=19350 vsize=9963000 CPUtime=0.16 cores=0-3,8-11
/proc/19353/task/19373/stat : 19373 (java) S 19350 19353 15681 0 -1 4202560 1667 0 0 0 16 0 0 0 20 0 24 0 6948011 10202112000 110142 33554432000 1073741824 1073778376 140736587523760 140613544565688 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=19353/tid=19374] ppid=19350 vsize=9963000 CPUtime=0.36 cores=0-3,8-11
/proc/19353/task/19374/stat : 19374 (java) S 19350 19353 15681 0 -1 4202560 4266 0 0 0 34 2 0 0 20 0 24 0 6948011 10202112000 110142 33554432000 1073741824 1073778376 140736587523760 140613543512632 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19353/tid=19375] ppid=19350 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/19353/task/19375/stat : 19375 (java) S 19350 19353 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 6948011 10202112000 110142 33554432000 1073741824 1073778376 140736587523760 140613542460280 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=19353/tid=19376] ppid=19350 vsize=9963000 CPUtime=0.6 cores=0-3,8-11
/proc/19353/task/19376/stat : 19376 (java) S 19350 19353 15681 0 -1 4202560 104 0 0 0 32 28 0 0 20 0 24 0 6948011 10202112000 110142 33554432000 1073741824 1073778376 140736587523760 140613541407432 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19353/tid=19377] ppid=19350 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/19353/task/19377/stat : 19377 (java) S 19350 19353 15681 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 24 0 6948021 10202112000 110142 33554432000 1073741824 1073778376 140736587523760 140613540254888 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
Current children cumulated CPU time (s) 1793.16
Current children cumulated vsize (KiB) 9963000



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1789.2 s]
/proc/loadavg: 2.05 2.05 2.00 3/305 19492
/proc/meminfo: memFree=26401988/32872528 swapFree=8828/8828
[pid=19353] ppid=19350 vsize=9963000 CPUtime=1800.06 cores=0-3,8-11
/proc/19353/stat : 19353 (java) S 19350 19353 15681 0 -1 4202496 14681 0 1 0 179720 286 0 0 20 0 24 0 6948004 10202112000 110142 33554432000 1073741824 1073778376 140736587523760 140736587514896 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19353/statm: 2490750 110142 2272 9 0 2481427 0
[pid=19353/tid=19355] ppid=19350 vsize=9963000 CPUtime=1782.6 cores=0-3,8-11
/proc/19353/task/19355/stat : 19355 (java) R 19350 19353 15681 0 -1 4202560 2603 0 1 0 178227 33 0 0 20 0 24 0 6948006 10202112000 110142 33554432000 1073741824 1073778376 140736587523760 140613735046928 140613675198410 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0
[pid=19353/tid=19356] ppid=19350 vsize=9963000 CPUtime=0.83 cores=0-3,8-11
/proc/19353/task/19356/stat : 19356 (java) S 19350 19353 15681 0 -1 4202560 315 0 0 0 65 18 0 0 20 0 24 0 6948007 10202112000 110142 33554432000 1073741824 1073778376 140736587523760 140613673786280 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19353/tid=19357] ppid=19350 vsize=9963000 CPUtime=0.82 cores=0-3,8-11
/proc/19353/task/19357/stat : 19357 (java) S 19350 19353 15681 0 -1 4202560 292 0 0 0 63 19 0 0 20 0 24 0 6948007 10202112000 110142 33554432000 1073741824 1073778376 140736587523760 140613577817128 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19353/tid=19358] ppid=19350 vsize=9963000 CPUtime=1.04 cores=0-3,8-11
/proc/19353/task/19358/stat : 19358 (java) S 19350 19353 15681 0 -1 4202560 306 0 0 0 83 21 0 0 20 0 24 0 6948007 10202112000 110142 33554432000 1073741824 1073778376 140736587523760 140613576764072 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19353/tid=19359] ppid=19350 vsize=9963000 CPUtime=0.8 cores=0-3,8-11
/proc/19353/task/19359/stat : 19359 (java) S 19350 19353 15681 0 -1 4202560 270 0 0 0 64 16 0 0 20 0 24 0 6948007 10202112000 110142 33554432000 1073741824 1073778376 140736587523760 140613575711528 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=19353/tid=19360] ppid=19350 vsize=9963000 CPUtime=0.91 cores=0-3,8-11
/proc/19353/task/19360/stat : 19360 (java) S 19350 19353 15681 0 -1 4202560 389 0 0 0 70 21 0 0 20 0 24 0 6948007 10202112000 110142 33554432000 1073741824 1073778376 140736587523760 140613574658472 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19353/tid=19361] ppid=19350 vsize=9963000 CPUtime=0.84 cores=0-3,8-11
/proc/19353/task/19361/stat : 19361 (java) S 19350 19353 15681 0 -1 4202560 385 0 0 0 64 20 0 0 20 0 24 0 6948007 10202112000 110142 33554432000 1073741824 1073778376 140736587523760 140613573605928 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=19353/tid=19362] ppid=19350 vsize=9963000 CPUtime=0.85 cores=0-3,8-11
/proc/19353/task/19362/stat : 19362 (java) S 19350 19353 15681 0 -1 4202560 459 0 0 0 65 20 0 0 20 0 24 0 6948007 10202112000 110142 33554432000 1073741824 1073778376 140736587523760 140613572552872 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=19353/tid=19363] ppid=19350 vsize=9963000 CPUtime=0.9 cores=0-3,8-11
/proc/19353/task/19363/stat : 19363 (java) S 19350 19353 15681 0 -1 4202560 408 0 0 0 71 19 0 0 20 0 24 0 6948007 10202112000 110142 33554432000 1073741824 1073778376 140736587523760 140613571500328 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19353/tid=19364] ppid=19350 vsize=9963000 CPUtime=0.83 cores=0-3,8-11
/proc/19353/task/19364/stat : 19364 (java) S 19350 19353 15681 0 -1 4202560 373 0 0 0 64 19 0 0 20 0 24 0 6948007 10202112000 110142 33554432000 1073741824 1073778376 140736587523760 140613570448296 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19353/tid=19365] ppid=19350 vsize=9963000 CPUtime=0.75 cores=0-3,8-11
/proc/19353/task/19365/stat : 19365 (java) S 19350 19353 15681 0 -1 4202560 311 0 0 0 57 18 0 0 20 0 24 0 6948007 10202112000 110142 33554432000 1073741824 1073778376 140736587523760 140613569395752 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19353/tid=19366] ppid=19350 vsize=9963000 CPUtime=0.98 cores=0-3,8-11
/proc/19353/task/19366/stat : 19366 (java) S 19350 19353 15681 0 -1 4202560 289 0 0 0 76 22 0 0 20 0 24 0 6948007 10202112000 110142 33554432000 1073741824 1073778376 140736587523760 140613568342696 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19353/tid=19367] ppid=19350 vsize=9963000 CPUtime=0.92 cores=0-3,8-11
/proc/19353/task/19367/stat : 19367 (java) S 19350 19353 15681 0 -1 4202560 403 0 0 0 74 18 0 0 20 0 24 0 6948007 10202112000 110142 33554432000 1073741824 1073778376 140736587523760 140613567290152 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=19353/tid=19368] ppid=19350 vsize=9963000 CPUtime=0.99 cores=0-3,8-11
/proc/19353/task/19368/stat : 19368 (java) S 19350 19353 15681 0 -1 4202560 330 0 0 0 76 23 0 0 20 0 24 0 6948007 10202112000 110142 33554432000 1073741824 1073778376 140736587523760 140613566237096 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=19353/tid=19369] ppid=19350 vsize=9963000 CPUtime=0.43 cores=0-3,8-11
/proc/19353/task/19369/stat : 19369 (java) S 19350 19353 15681 0 -1 4202560 248 0 0 0 41 2 0 0 20 0 24 0 6948008 10202112000 110142 33554432000 1073741824 1073778376 140736587523760 140613548775912 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19353/tid=19370] ppid=19350 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/19353/task/19370/stat : 19370 (java) S 19350 19353 15681 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 24 0 6948009 10202112000 110142 33554432000 1073741824 1073778376 140736587523760 140613547721720 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=19353/tid=19371] ppid=19350 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/19353/task/19371/stat : 19371 (java) S 19350 19353 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 24 0 6948009 10202112000 110142 33554432000 1073741824 1073778376 140736587523760 140613546669064 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=19353/tid=19372] ppid=19350 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/19353/task/19372/stat : 19372 (java) S 19350 19353 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 6948011 10202112000 110142 33554432000 1073741824 1073778376 140736587523760 140613545618320 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=19353/tid=19373] ppid=19350 vsize=9963000 CPUtime=0.16 cores=0-3,8-11
/proc/19353/task/19373/stat : 19373 (java) S 19350 19353 15681 0 -1 4202560 1667 0 0 0 16 0 0 0 20 0 24 0 6948011 10202112000 110142 33554432000 1073741824 1073778376 140736587523760 140613544565688 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=19353/tid=19374] ppid=19350 vsize=9963000 CPUtime=0.36 cores=0-3,8-11
/proc/19353/task/19374/stat : 19374 (java) S 19350 19353 15681 0 -1 4202560 4266 0 0 0 34 2 0 0 20 0 24 0 6948011 10202112000 110142 33554432000 1073741824 1073778376 140736587523760 140613543512632 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19353/tid=19375] ppid=19350 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/19353/task/19375/stat : 19375 (java) S 19350 19353 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 6948011 10202112000 110142 33554432000 1073741824 1073778376 140736587523760 140613542460280 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=19353/tid=19376] ppid=19350 vsize=9963000 CPUtime=0.6 cores=0-3,8-11
/proc/19353/task/19376/stat : 19376 (java) S 19350 19353 15681 0 -1 4202560 104 0 0 0 32 28 0 0 20 0 24 0 6948011 10202112000 110142 33554432000 1073741824 1073778376 140736587523760 140613541407432 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19353/tid=19377] ppid=19350 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/19353/task/19377/stat : 19377 (java) S 19350 19353 15681 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 24 0 6948021 10202112000 110142 33554432000 1073741824 1073778376 140736587523760 140613540254888 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 9963000

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

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 19353 and gives
#  childrusage.ru_utime.tv_sec=1792
#  childrusage.ru_utime.tv_usec=677471
#  childrusage.ru_stime.tv_sec=3
#  childrusage.ru_stime.tv_usec=383485
# CPU time returned by wait4() is 1796.06
# while last known CPU time is 1800.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1789.24
CPU time (s): 1800.06
CPU user time (s): 1797.2
CPU system time (s): 2.86
CPU usage (%): 100.605
Max. virtual memory (cumulated for all children) (KiB): 9963000

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.68
system time used= 3.38348
maximum resident set size= 740492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14824
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1512
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39718
involuntary context switches= 8122

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.7748 second user time and 17.6833 second system time

The end

Launcher Data 

Begin job on node132 at 2016-06-30 06:12:32
IDJOB=4119482
IDBENCH=111741
IDSOLVER=2546
FILE ID=node132/4119482-1467259952
RUNJOBID= node132-1467233254-15697
PBS_JOBID= 19997601
Free space on /tmp= 71540 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/minlplib2-pb-0.1.0/opb/normalized-graphpart_3pm-0333-0333.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119482-1467259952/watcher-4119482-1467259952 -o /tmp/evaluation-result-4119482-1467259952/solver-4119482-1467259952 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1467233254-15697 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4119482-1467259952.opb

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

MD5SUM BENCH= af71701c6739495b8f6e2b2aab10d44d
RANDOM SEED=1799392538

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        26534140 kB
Buffers:          146432 kB
Cached:          3870364 kB
SwapCached:            0 kB
Active:          1630736 kB
Inactive:        3904640 kB
Active(anon):    1521008 kB
Inactive(anon):       40 kB
Active(file):     109728 kB
Inactive(file):  3904600 kB
Unevictable:        8828 kB
Mlocked:            8828 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               556 kB
Writeback:             0 kB
AnonPages:       1650580 kB
Mapped:            22292 kB
Shmem:               216 kB
Slab:             633404 kB
SReclaimable:      73680 kB
SUnreclaim:       559724 kB
KernelStack:        2560 kB
PageTables:         7096 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2179944 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987140 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1566720 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71536 MiB
End job on node132 at 2016-06-30 06:42:21