Trace number 4088701

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 NameAnswerCPU timeWall clock time
Sat4j PB 2.3.6 Res+CP PB16? (TO) 1800.13 894.336

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/
EC_ODD_GRIDS/normalized-ECgrid5x150split.opb
MD5SUM38bf2d4a09a989ac45f5356b157fbb11
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark659.6
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1501
Total number of constraints751
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)751
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint4
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 6
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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@16fd0b7
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@4413ee
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@75786e64
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@4413ee
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-4088701-1466010271.opb
0.09/0.12	c reading problem ... 
0.09/0.12	c  no objective function found
0.25/0.26	c ... done. Wall clock time 0.14s.
0.25/0.26	c declared #vars     1501
0.25/0.26	c #constraints  1502
0.25/0.26	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.25/0.26	c constraints type 
0.25/0.26	c org.sat4j.minisat.constraints.card.MinWatchCard => 1500
0.25/0.26	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 2
0.25/0.26	c 1502 constraints processed.
0.25/0.26	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.25/0.26	c constraints type 
0.25/0.26	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2
0.25/0.26	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1500
0.25/0.26	c 1502 constraints processed.
1.70/0.68	c cleaning 2493 clauses out of 5000 with flag 22008/5000
2.89/0.90	c cleaning 4245 clauses out of 8507 with flag 50365/11000
3.29/1.06	c cleaning 5595 clauses out of 11262 with flag 83148/18000
4.67/1.40	c cleaning 6794 clauses out of 13668 with flag 123748/26001
4.88/1.60	c cleaning 7898 clauses out of 15876 with flag 170740/35003
5.50/1.83	c cleaning 8975 clauses out of 17976 with flag 224632/45001
5.92/2.06	c cleaning 9921 clauses out of 20001 with flag 292570/56001
6.14/2.12	c cleaning 0 clauses out of 5000 with flag 0/5000
6.79/2.34	c cleaning 10992 clauses out of 22081 with flag 353772/68002
7.47/2.65	c cleaning 11962 clauses out of 24087 with flag 423562/81000
8.54/3.02	c cleaning 13049 clauses out of 26126 with flag 498024/95001
9.15/3.34	c cleaning 14015 clauses out of 28079 with flag 576434/110003
9.96/3.74	c cleaning 14967 clauses out of 30061 with flag 669383/126000
10.76/4.16	c cleaning 16030 clauses out of 32094 with flag 766364/143000
11.61/4.57	c cleaning 16995 clauses out of 34065 with flag 870004/161001
12.80/5.14	c cleaning 17948 clauses out of 36070 with flag 990380/180001
14.19/5.84	c cleaning 19026 clauses out of 38122 with flag 1120383/200001
15.23/6.38	c cleaning 19987 clauses out of 40095 with flag 1235054/221000
16.63/7.03	c cleaning 20988 clauses out of 42109 with flag 1364446/243001
18.05/7.76	c cleaning 22024 clauses out of 44122 with flag 1496505/266002
18.28/7.81	c cleaning 0 clauses out of 11000 with flag 0/11000
19.47/8.44	c cleaning 22971 clauses out of 46096 with flag 1632311/290000
20.86/9.17	c cleaning 24043 clauses out of 48126 with flag 1770668/315001
22.48/10.00	c cleaning 24973 clauses out of 50082 with flag 1913796/341000
24.27/10.85	c cleaning 25989 clauses out of 52109 with flag 2062904/368000
26.51/11.91	c cleaning 27028 clauses out of 54121 with flag 2229651/396001
28.31/12.85	c cleaning 28008 clauses out of 56092 with flag 2400839/425000
30.31/13.87	c cleaning 28996 clauses out of 58084 with flag 2580885/455000
32.34/14.80	c cleaning 29960 clauses out of 60089 with flag 2749778/486001
34.34/15.80	c cleaning 31042 clauses out of 62130 with flag 2924607/518002
36.35/16.87	c cleaning 31982 clauses out of 64087 with flag 3106544/551001
38.54/17.97	c cleaning 32988 clauses out of 66105 with flag 3292176/585001
40.75/19.09	c cleaning 33994 clauses out of 68117 with flag 3485233/620001
43.20/20.27	c cleaning 35021 clauses out of 70126 with flag 3676401/656004
45.79/21.51	c cleaning 35986 clauses out of 72101 with flag 3868904/693000
48.40/22.81	c cleaning 37017 clauses out of 74116 with flag 4077604/731001
51.41/24.34	c cleaning 37977 clauses out of 76098 with flag 4283851/770000
52.40/24.88	c cleaning 0 clauses out of 18001 with flag 0/18001
55.05/26.12	c cleaning 38977 clauses out of 78122 with flag 4510835/810001
58.07/27.63	c cleaning 40065 clauses out of 80144 with flag 4728190/851000
61.05/29.13	c cleaning 40969 clauses out of 82080 with flag 4938910/893001
64.33/30.78	c cleaning 42028 clauses out of 84110 with flag 5160399/936000
67.92/32.54	c cleaning 42966 clauses out of 86082 with flag 5390188/980000
71.33/34.21	c cleaning 44040 clauses out of 88116 with flag 5614949/1025000
75.53/36.38	c cleaning 44988 clauses out of 90077 with flag 5860600/1071001
79.99/38.52	c cleaning 46009 clauses out of 92089 with flag 6097343/1118001
81.59/39.34	c cleaning 0 clauses out of 26000 with flag 0/26000
84.46/40.70	c cleaning 47011 clauses out of 94079 with flag 6344954/1166000
88.87/42.95	c cleaning 47979 clauses out of 96068 with flag 6592265/1215000
93.48/45.21	c cleaning 48998 clauses out of 98089 with flag 6843006/1265000
97.47/47.23	c cleaning 0 clauses out of 35001 with flag 0/35001
97.88/47.41	c cleaning 49981 clauses out of 100091 with flag 7097207/1316000
102.74/49.82	c cleaning 51024 clauses out of 102111 with flag 7359765/1368001
107.54/52.25	c cleaning 52000 clauses out of 104087 with flag 7626656/1421001
113.00/54.90	c cleaning 52979 clauses out of 106086 with flag 7892987/1475000
117.83/57.32	c cleaning 54036 clauses out of 108107 with flag 8162642/1530000
118.42/57.69	c cleaning 0 clauses out of 45000 with flag 0/45000
122.69/59.77	c cleaning 54983 clauses out of 110072 with flag 8441325/1586001
127.75/62.29	c cleaning 55991 clauses out of 112089 with flag 8717630/1643001
133.74/65.24	c cleaning 56987 clauses out of 114097 with flag 9026939/1701000
139.59/68.11	c cleaning 57993 clauses out of 116110 with flag 9313304/1760000
145.47/71.06	c cleaning 58994 clauses out of 118118 with flag 9612542/1820001
152.32/74.41	c cleaning 60043 clauses out of 120124 with flag 9911807/1881001
158.56/77.57	c cleaning 61004 clauses out of 122081 with flag 10225842/1943001
160.76/78.62	c cleaning 0 clauses out of 56000 with flag 0/56000
165.03/80.79	c cleaning 61984 clauses out of 124077 with flag 10541374/2006001
171.26/83.87	c cleaning 63030 clauses out of 126092 with flag 10842969/2070000
178.26/87.31	c cleaning 64003 clauses out of 128062 with flag 11160641/2135000
185.91/91.13	c cleaning 65024 clauses out of 130060 with flag 11478238/2201001
193.18/94.77	c cleaning 65966 clauses out of 132036 with flag 11798776/2268001
200.79/98.53	c cleaning 66968 clauses out of 134071 with flag 12124160/2336002
208.41/102.39	c cleaning 68031 clauses out of 136102 with flag 12455172/2405001
216.50/106.36	c cleaning 69022 clauses out of 138071 with flag 12798025/2475001
225.59/110.84	c cleaning 69949 clauses out of 140048 with flag 13145249/2546000
230.81/113.49	c cleaning 0 clauses out of 68000 with flag 0/68000
233.48/114.75	c cleaning 71037 clauses out of 142099 with flag 13487427/2618000
241.35/118.66	c cleaning 71995 clauses out of 144062 with flag 13832299/2691000
249.95/122.90	c cleaning 72978 clauses out of 146067 with flag 14181149/2765000
257.99/126.98	c cleaning 74017 clauses out of 148089 with flag 14528740/2840000
267.23/131.51	c cleaning 75003 clauses out of 150074 with flag 14888132/2916002
276.49/136.14	c cleaning 76001 clauses out of 152070 with flag 15243814/2993001
285.82/140.73	c cleaning 76980 clauses out of 154068 with flag 15607189/3071000
287.42/141.59	c cleaning 0 clauses out of 81000 with flag 0/81000
295.70/145.65	c cleaning 78017 clauses out of 156089 with flag 15984080/3150001
307.39/151.43	c cleaning 78978 clauses out of 158071 with flag 16381628/3230000
317.26/156.35	c cleaning 79991 clauses out of 160094 with flag 16758405/3311001
327.08/161.29	c cleaning 80997 clauses out of 162105 with flag 17139049/3393003
338.75/167.06	c cleaning 82016 clauses out of 164105 with flag 17536246/3476000
349.69/172.48	c cleaning 83005 clauses out of 166090 with flag 17931095/3560001
361.94/178.59	c cleaning 84024 clauses out of 168084 with flag 18329648/3645000
373.45/184.29	c cleaning 84998 clauses out of 170060 with flag 18723201/3731000
385.59/190.26	c cleaning 85958 clauses out of 172063 with flag 19129358/3818001
400.45/197.61	c cleaning 87011 clauses out of 174104 with flag 19546745/3906000
400.85/197.84	c cleaning 0 clauses out of 95000 with flag 0/95000
413.93/204.35	c cleaning 88019 clauses out of 176094 with flag 19956254/3995001
427.02/210.81	c cleaning 89005 clauses out of 178074 with flag 20367821/4085000
438.71/216.65	c cleaning 90009 clauses out of 180069 with flag 20768740/4176000
451.78/223.13	c cleaning 90997 clauses out of 182060 with flag 21188826/4268000
464.09/229.23	c cleaning 92002 clauses out of 184063 with flag 21598804/4361000
477.78/236.08	c cleaning 92986 clauses out of 186062 with flag 22014433/4455001
492.41/243.25	c cleaning 93993 clauses out of 188075 with flag 22436925/4550000
507.88/250.98	c cleaning 94997 clauses out of 190083 with flag 22857512/4646001
522.80/258.56	c cleaning 96011 clauses out of 192086 with flag 23301184/4743001
536.82/265.52	c cleaning 96988 clauses out of 194074 with flag 23741548/4841000
550.73/272.44	c cleaning 98001 clauses out of 196088 with flag 24183965/4940002
559.19/276.67	c cleaning 0 clauses out of 110000 with flag 0/110000
565.00/279.53	c cleaning 99023 clauses out of 198085 with flag 24627732/5040000
579.30/286.62	c cleaning 99989 clauses out of 200062 with flag 25071005/5141000
593.41/293.69	c cleaning 101021 clauses out of 202073 with flag 25504395/5243000
609.45/301.62	c cleaning 101985 clauses out of 204052 with flag 25954963/5346000
625.19/309.41	c cleaning 103010 clauses out of 206068 with flag 26404747/5450001
641.14/317.34	c cleaning 103990 clauses out of 208058 with flag 26866744/5555001
659.31/326.39	c cleaning 105007 clauses out of 210069 with flag 27341212/5661002
676.60/334.99	c cleaning 105993 clauses out of 212060 with flag 27803428/5768000
695.20/344.12	c cleaning 106990 clauses out of 214068 with flag 28271023/5876001
699.80/346.40	c cleaning 0 clauses out of 126001 with flag 0/126001
711.46/352.26	c cleaning 107988 clauses out of 216078 with flag 28744171/5985001
727.76/360.34	c cleaning 109019 clauses out of 218089 with flag 29215589/6095000
746.32/369.54	c cleaning 109999 clauses out of 220070 with flag 29695322/6206000
765.22/378.92	c cleaning 110989 clauses out of 222071 with flag 30174349/6318000
784.49/388.59	c cleaning 112018 clauses out of 224084 with flag 30656150/6431002
802.77/397.68	c cleaning 112974 clauses out of 226064 with flag 31135485/6545000
821.77/407.03	c cleaning 114006 clauses out of 228090 with flag 31623958/6660000
842.29/417.58	c cleaning 114987 clauses out of 230084 with flag 32121827/6776000
850.93/421.83	c cleaning 0 clauses out of 143002 with flag 0/143002
864.81/428.76	c cleaning 116032 clauses out of 232097 with flag 32625752/6893000
884.15/438.36	c cleaning 116986 clauses out of 234065 with flag 33118418/7011000
904.87/448.62	c cleaning 118015 clauses out of 236080 with flag 33628305/7130001
926.17/459.25	c cleaning 119017 clauses out of 238064 with flag 34142516/7250000
946.67/469.42	c cleaning 119993 clauses out of 240049 with flag 34648444/7371002
968.52/480.27	c cleaning 121016 clauses out of 242054 with flag 35157931/7493000
990.64/491.30	c cleaning 121996 clauses out of 244039 with flag 35672534/7616001
1014.35/503.00	c cleaning 122994 clauses out of 246043 with flag 36184665/7740001
1036.04/513.85	c cleaning 123992 clauses out of 248048 with flag 36698368/7865000
1060.36/525.93	c cleaning 0 clauses out of 161000 with flag 0/161000
1061.35/526.48	c cleaning 125005 clauses out of 250056 with flag 37219535/7991000
1086.69/539.07	c cleaning 125989 clauses out of 252052 with flag 37753669/8118001
1112.44/551.86	c cleaning 127028 clauses out of 254063 with flag 38298645/8246001
1136.85/563.96	c cleaning 127981 clauses out of 256034 with flag 38821725/8375000
1160.94/575.97	c cleaning 129007 clauses out of 258053 with flag 39364833/8505000
1187.44/589.13	c cleaning 129973 clauses out of 260046 with flag 39903773/8636000
1211.64/601.17	c cleaning 130996 clauses out of 262075 with flag 40426607/8768002
1236.45/613.47	c cleaning 132018 clauses out of 264077 with flag 40958204/8901000
1262.34/626.55	c cleaning 132987 clauses out of 266060 with flag 41502201/9035001
1286.33/638.45	c cleaning 134008 clauses out of 268072 with flag 42040355/9170000
1312.09/651.29	c cleaning 0 clauses out of 180000 with flag 0/180000
1313.27/651.84	c cleaning 135001 clauses out of 270064 with flag 42600736/9306000
1339.90/665.02	c cleaning 135984 clauses out of 272063 with flag 43140313/9443000
1365.89/677.93	c cleaning 137016 clauses out of 274079 with flag 43700432/9581000
1393.63/691.76	c cleaning 137988 clauses out of 276064 with flag 44258443/9720001
1419.36/704.55	c cleaning 138993 clauses out of 278076 with flag 44795903/9860001
1448.41/718.99	c cleaning 139997 clauses out of 280083 with flag 45351681/10001001
1477.36/733.35	c cleaning 141019 clauses out of 282085 with flag 45905545/10143000
1507.10/748.19	c cleaning 142017 clauses out of 284067 with flag 46466318/10286001
1535.19/762.14	c cleaning 143010 clauses out of 286049 with flag 47023945/10430000
1563.19/776.04	c cleaning 143979 clauses out of 288041 with flag 47587877/10575002
1592.26/790.56	c cleaning 145001 clauses out of 290060 with flag 48167951/10721000
1619.66/804.18	c cleaning 146018 clauses out of 292060 with flag 48730892/10868001
1651.20/819.77	c cleaning 146998 clauses out of 294041 with flag 49313266/11016000
1682.06/835.00	c cleaning 148016 clauses out of 296044 with flag 49883591/11165001
1683.45/835.77	c cleaning 0 clauses out of 200000 with flag 0/200000
1711.56/849.73	c cleaning 148993 clauses out of 298027 with flag 50467607/11315000
1744.49/866.54	c cleaning 149999 clauses out of 300034 with flag 51065404/11466000
1777.85/883.18	c cleaning 150992 clauses out of 302035 with flag 51662392/11618000
1800.13/894.20	c >>>>>>>>>> Solver number 0 (0 answers) <<<<<<<<<<<<<<<<<<
1800.13/894.20	c starts		: 5229
1800.13/894.20	c conflicts		: 11744606
1800.13/894.20	c decisions		: 16754535
1800.13/894.20	c propagations		: 153774004
1800.13/894.20	c inspects		: 16894868178
1800.13/894.20	c shortcuts		: 0
1800.13/894.20	c learnt literals	: 0
1800.13/894.20	c learnt binary clauses	: 0
1800.13/894.20	c learnt ternary clauses	: 0
1800.13/894.20	c learnt constraints	: 11744606
1800.13/894.20	c ignored constraints	: 0
1800.13/894.20	c root simplifications	: 0
1800.13/894.20	c removed literals (reason simplification)	: 11919218
1800.13/894.20	c reason swapping (by a shorter reason)	: 0
1800.13/894.20	c Calls to reduceDB	: 148
1800.13/894.20	c Number of update (reduction) of LBD	: 3122315
1800.13/894.20	c Imported unit clauses	: 0
1800.13/894.20	c number of reductions to clauses (during analyze)	: 0
1800.13/894.20	c number of learned constraints concerned by reduction	: 0
1800.13/894.20	c number of learning phase by resolution	: 0
1800.13/894.20	c number of learning phase by cutting planes	: 0
1800.13/894.20	c speed (assignments/second)	: 172019.22287414633
1800.13/894.20	c non guided choices	1405915
1800.13/894.25	c learnt constraints type 
1800.13/894.25	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 277649
1800.13/894.25	c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<<
1800.13/894.25	c starts		: 118
1800.13/894.25	c conflicts		: 203122
1800.13/894.25	c decisions		: 289102
1800.13/894.25	c propagations		: 2044659
1800.13/894.25	c inspects		: 2119168868
1800.13/894.25	c shortcuts		: 0
1800.13/894.25	c learnt literals	: 0
1800.13/894.25	c learnt binary clauses	: 0
1800.13/894.25	c learnt ternary clauses	: 0
1800.13/894.25	c learnt constraints	: 203122
1800.13/894.25	c ignored constraints	: 0
1800.13/894.25	c root simplifications	: 0
1800.13/894.25	c removed literals (reason simplification)	: 0
1800.13/894.25	c reason swapping (by a shorter reason)	: 0
1800.13/894.25	c Calls to reduceDB	: 16
1800.13/894.25	c Number of update (reduction) of LBD	: 0
1800.13/894.25	c Imported unit clauses	: 0
1800.13/894.25	c number of reductions to clauses (during analyze)	: 0
1800.13/894.25	c number of learned constraints concerned by reduction	: 0
1800.13/894.25	c number of learning phase by resolution	: 0
1800.13/894.25	c number of learning phase by cutting planes	: 0
1800.13/894.25	c speed (assignments/second)	: 2287.1289786741386
1800.13/894.25	c non guided choices	14208
1800.13/894.31	c learnt constraints type 
1800.13/894.31	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 21235
1800.13/894.31	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 249
1800.13/894.31	c org.sat4j.pb.constraints.pb.MaxWatchPb => 181638
1800.13/894.31	s UNKNOWN
1800.13/894.31	c Total wall clock time (in seconds): 894.196

Verifier Data 

ERROR: no interpretation found !

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-4088701-1466010271/watcher-4088701-1466010271 -o /tmp/evaluation-result-4088701-1466010271/solver-4088701-1466010271 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1466008022-5561 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4088701-1466010271.opb 

pid=6640
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: 3.97 4.11 4.08 4/197 6643
/proc/meminfo: memFree=27952904/32872528 swapFree=1073728/1155488
[pid=6643] ppid=6640 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/6643/stat : 6643 (java) R 6640 6643 5545 0 -1 4202496 570 0 0 0 0 0 0 0 20 0 1 0 3076307 23793664 219 33554432000 1073741824 1073778376 140735096350464 140735096339528 219504745051 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/6643/statm: 5809 224 177 9 0 128 0

[startup+0.100159 s]
/proc/loadavg: 3.97 4.11 4.08 4/197 6643
/proc/meminfo: memFree=27952904/32872528 swapFree=1073728/1155488
[pid=6643] ppid=6640 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/6643/stat : 6643 (java) S 6640 6643 5545 0 -1 4202496 4386 0 1 0 8 1 0 0 20 0 18 0 3076307 9787879424 6020 33554432000 1073741824 1073778376 140735096350464 140735096341600 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6643/statm: 2389619 6020 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200223 s]
/proc/loadavg: 3.97 4.11 4.08 4/197 6643
/proc/meminfo: memFree=27952904/32872528 swapFree=1073728/1155488
[pid=6643] ppid=6640 vsize=9558476 CPUtime=0.25 cores=0,2,4,6
/proc/6643/stat : 6643 (java) S 6640 6643 5545 0 -1 4202496 4962 0 1 0 23 2 0 0 20 0 18 0 3076307 9787879424 10574 33554432000 1073741824 1073778376 140735096350464 140735096341600 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6643/statm: 2389619 10574 2218 9 0 2380296 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 9558476

[startup+0.300224 s]
/proc/loadavg: 3.97 4.11 4.08 4/197 6643
/proc/meminfo: memFree=27952904/32872528 swapFree=1073728/1155488
[pid=6643] ppid=6640 vsize=9824732 CPUtime=0.52 cores=0,2,4,6
/proc/6643/stat : 6643 (java) S 6640 6643 5545 0 -1 4202496 6640 0 1 0 49 3 0 0 20 0 22 0 3076307 10060525568 19103 33554432000 1073741824 1073778376 140735096350464 140735096341600 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6643/statm: 2456183 19103 2238 9 0 2446860 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 9824732

[startup+0.700185 s]
/proc/loadavg: 3.97 4.11 4.08 4/197 6643
/proc/meminfo: memFree=27952904/32872528 swapFree=1073728/1155488
[pid=6643] ppid=6640 vsize=9825936 CPUtime=2.1 cores=0,2,4,6
/proc/6643/stat : 6643 (java) S 6640 6643 5545 0 -1 4202496 17777 0 1 0 205 5 0 0 20 0 22 0 3076307 10061758464 33795 33554432000 1073741824 1073778376 140735096350464 140735096341600 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6643/statm: 2456484 33795 2257 9 0 2447161 0
Current children cumulated CPU time (s) 2.1
Current children cumulated vsize (KiB) 9825936

[startup+1.50094 s]
/proc/loadavg: 3.97 4.11 4.08 7/219 6665
/proc/meminfo: memFree=27770784/32872528 swapFree=1073728/1155488
[pid=6643] ppid=6640 vsize=9824732 CPUtime=4.88 cores=0,2,4,6
/proc/6643/stat : 6643 (java) S 6640 6643 5545 0 -1 4202496 27665 0 1 0 479 9 0 0 20 0 22 0 3076307 10060525568 50459 33554432000 1073741824 1073778376 140735096350464 140735096341600 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6643/statm: 2456183 50459 2279 9 0 2446860 0
[pid=6643/tid=6645] ppid=6640 vsize=9824732 CPUtime=0.23 cores=0,2,4,6
/proc/6643/task/6645/stat : 6645 (java) S 6640 6643 5545 0 -1 4202560 2430 0 1 0 21 2 0 0 20 0 22 0 3076308 10060525568 50459 33554432000 1073741824 1073778376 140735096350464 140061949002616 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6643/tid=6646] ppid=6640 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6643/task/6646/stat : 6646 (java) S 6640 6643 5545 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 3076310 10060525568 50459 33554432000 1073741824 1073778376 140735096350464 140061910493864 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6643/tid=6647] ppid=6640 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6643/task/6647/stat : 6647 (java) S 6640 6643 5545 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 3076310 10060525568 50459 33554432000 1073741824 1073778376 140735096350464 140061909441320 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6643/tid=6648] ppid=6640 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6643/task/6648/stat : 6648 (java) S 6640 6643 5545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3076310 10060525568 50459 33554432000 1073741824 1073778376 140735096350464 140061908388776 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6643/tid=6649] ppid=6640 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6643/task/6649/stat : 6649 (java) S 6640 6643 5545 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 3076310 10060525568 50459 33554432000 1073741824 1073778376 140735096350464 140061907336232 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6643/tid=6650] ppid=6640 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6643/task/6650/stat : 6650 (java) S 6640 6643 5545 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 3076310 10060525568 50459 33554432000 1073741824 1073778376 140735096350464 140061906282664 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6643/tid=6651] ppid=6640 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6643/task/6651/stat : 6651 (java) S 6640 6643 5545 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 3076310 10060525568 50459 33554432000 1073741824 1073778376 140735096350464 140061905230120 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6643/tid=6652] ppid=6640 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6643/task/6652/stat : 6652 (java) S 6640 6643 5545 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 3076310 10060525568 50459 33554432000 1073741824 1073778376 140735096350464 140061785975208 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6643/tid=6653] ppid=6640 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6643/task/6653/stat : 6653 (java) S 6640 6643 5545 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 3076310 10060525568 50459 33554432000 1073741824 1073778376 140735096350464 140061784922664 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6643/tid=6654] ppid=6640 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6643/task/6654/stat : 6654 (java) S 6640 6643 5545 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 22 0 3076311 10060525568 50459 33554432000 1073741824 1073778376 140735096350464 140061772724840 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6643/tid=6655] ppid=6640 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6643/task/6655/stat : 6655 (java) S 6640 6643 5545 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 3076311 10060525568 50459 33554432000 1073741824 1073778376 140735096350464 140061771671160 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6643/tid=6656] ppid=6640 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6643/task/6656/stat : 6656 (java) S 6640 6643 5545 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 3076311 10060525568 50459 33554432000 1073741824 1073778376 140735096350464 140061770618504 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6643/tid=6657] ppid=6640 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6643/task/6657/stat : 6657 (java) S 6640 6643 5545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3076314 10060525568 50459 33554432000 1073741824 1073778376 140735096350464 140061031001104 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6643/tid=6658] ppid=6640 vsize=9824732 CPUtime=1.1 cores=0,2,4,6
/proc/6643/task/6658/stat : 6658 (java) S 6640 6643 5545 0 -1 4202560 11185 0 0 0 108 2 0 0 20 0 22 0 3076314 10060525568 50459 33554432000 1073741824 1073778376 140735096350464 140061029947448 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6643/tid=6659] ppid=6640 vsize=9824732 CPUtime=1.05 cores=0,2,4,6
/proc/6643/task/6659/stat : 6659 (java) S 6640 6643 5545 0 -1 4202560 12565 0 0 0 102 3 0 0 20 0 22 0 3076314 10060525568 50459 33554432000 1073741824 1073778376 140735096350464 140061028894904 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6643/tid=6660] ppid=6640 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6643/task/6660/stat : 6660 (java) S 6640 6643 5545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3076314 10060525568 50459 33554432000 1073741824 1073778376 140735096350464 140061027842552 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6643/tid=6661] ppid=6640 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6643/task/6661/stat : 6661 (java) S 6640 6643 5545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3076314 10060525568 50459 33554432000 1073741824 1073778376 140735096350464 140061026790216 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6643/tid=6662] ppid=6640 vsize=9824732 CPUtime=1.16 cores=0,2,4,6
/proc/6643/task/6662/stat : 6662 (java) R 6640 6643 5545 0 -1 4202560 22 0 0 0 116 0 0 0 20 0 22 0 3076334 10060525568 50459 33554432000 1073741824 1073778376 140735096350464 140061025735656 140061786772882 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=6643/tid=6663] ppid=6640 vsize=9824732 CPUtime=1.18 cores=0,2,4,6
/proc/6643/task/6663/stat : 6663 (java) R 6640 6643 5545 0 -1 4202560 73 0 0 0 118 0 0 0 20 0 22 0 3076334 10060525568 50459 33554432000 1073741824 1073778376 140735096350464 140061024681504 140061786754196 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=6643/tid=6664] ppid=6640 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6643/task/6664/stat : 6664 (java) S 6640 6643 5545 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 3076335 10060525568 50459 33554432000 1073741824 1073778376 140735096350464 140061023630888 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6643/tid=6665] ppid=6640 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6643/task/6665/stat : 6665 (java) S 6640 6643 5545 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 3076335 10060525568 50459 33554432000 1073741824 1073778376 140735096350464 140061022578344 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 4.88
Current children cumulated vsize (KiB) 9824732

[startup+3.10092 s]
/proc/loadavg: 3.97 4.11 4.08 7/219 6665
/proc/meminfo: memFree=27628356/32872528 swapFree=1073728/1155488
[pid=6643] ppid=6640 vsize=9824732 CPUtime=8.74 cores=0,2,4,6
/proc/6643/stat : 6643 (java) S 6640 6643 5545 0 -1 4202496 33953 0 1 0 857 17 0 0 20 0 22 0 3076307 10060525568 110904 33554432000 1073741824 1073778376 140735096350464 140735096341600 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6643/statm: 2456183 110904 2279 9 0 2446860 0
[pid=6643/tid=6645] ppid=6640 vsize=9824732 CPUtime=0.23 cores=0,2,4,6
/proc/6643/task/6645/stat : 6645 (java) S 6640 6643 5545 0 -1 4202560 2430 0 1 0 21 2 0 0 20 0 22 0 3076308 10060525568 110904 33554432000 1073741824 1073778376 140735096350464 140061949002616 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6643/tid=6646] ppid=6640 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/6643/task/6646/stat : 6646 (java) S 6640 6643 5545 0 -1 4202560 123 0 0 0 1 0 0 0 20 0 22 0 3076310 10060525568 110904 33554432000 1073741824 1073778376 140735096350464 140061910493864 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6643/tid=6647] ppid=6640 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/6643/task/6647/stat : 6647 (java) S 6640 6643 5545 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 22 0 3076310 10060525568 110904 33554432000 1073741824 1073778376 140735096350464 140061909441320 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6643/tid=6648] ppid=6640 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/6643/task/6648/stat : 6648 (java) S 6640 6643 5545 0 -1 4202560 128 0 0 0 2 0 0 0 20 0 22 0 3076310 10060525568 110904 33554432000 1073741824 1073778376 140735096350464 140061908388776 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6643/tid=6649] ppid=6640 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6643/task/6649/stat : 6649 (java) S 6640 6643 5545 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 3076310 10060525568 110904 33554432000 1073741824 1073778376 140735096350464 140061907336232 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6643/tid=6650] ppid=6640 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/6643/task/6650/stat : 6650 (java) S 6640 6643 5545 0 -1 4202560 104 0 0 0 2 0 0 0 20 0 22 0 3076310 10060525568 110904 33554432000 1073741824 1073778376 140735096350464 140061906282664 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6643/tid=6651] ppid=6640 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/6643/task/6651/stat : 6651 (java) S 6640 6643 5545 0 -1 4202560 107 0 0 0 2 0 0 0 20 0 22 0 3076310 10060525568 110904 33554432000 1073741824 1073778376 140735096350464 140061905230120 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6643/tid=6652] ppid=6640 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/6643/task/6652/stat : 6652 (java) S 6640 6643 5545 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 3076310 10060525568 110904 33554432000 1073741824 1073778376 140735096350464 140061785975208 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6643/tid=6653] ppid=6640 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6643/task/6653/stat : 6653 (java) S 6640 6643 5545 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 3076310 10060525568 110904 33554432000 1073741824 1073778376 140735096350464 140061784922664 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6643/tid=6654] ppid=6640 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6643/task/6654/stat : 6654 (java) S 6640 6643 5545 0 -1 4202560 187 0 0 0 0 0 0 0 20 0 22 0 3076311 10060525568 110904 33554432000 1073741824 1073778376 140735096350464 140061772724840 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6643/tid=6655] ppid=6640 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6643/task/6655/stat : 6655 (java) S 6640 6643 5545 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 3076311 10060525568 110904 33554432000 1073741824 1073778376 140735096350464 140061771671160 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6643/tid=6656] ppid=6640 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6643/task/6656/stat : 6656 (java) S 6640 6643 5545 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 3076311 10060525568 110904 33554432000 1073741824 1073778376 140735096350464 140061770618504 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6643/tid=6657] ppid=6640 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6643/task/6657/stat : 6657 (java) S 6640 6643 5545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3076314 10060525568 110904 33554432000 1073741824 1073778376 140735096350464 140061031001104 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6643/tid=6658] ppid=6640 vsize=9824732 CPUtime=1.65 cores=0,2,4,6
/proc/6643/task/6658/stat : 6658 (java) S 6640 6643 5545 0 -1 4202560 16800 0 0 0 162 3 0 0 20 0 22 0 3076314 10060525568 110904 33554432000 1073741824 1073778376 140735096350464 140061029947448 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6643/tid=6659] ppid=6640 vsize=9824732 CPUtime=1.09 cores=0,2,4,6
/proc/6643/task/6659/stat : 6659 (java) S 6640 6643 5545 0 -1 4202560 12565 0 0 0 106 3 0 0 20 0 22 0 3076314 10060525568 110904 33554432000 1073741824 1073778376 140735096350464 140061028894904 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6643/tid=6660] ppid=6640 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6643/task/6660/stat : 6660 (java) S 6640 6643 5545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3076314 10060525568 110904 33554432000 1073741824 1073778376 140735096350464 140061027842552 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6643/tid=6661] ppid=6640 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6643/task/6661/stat : 6661 (java) S 6640 6643 5545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3076314 10060525568 110904 33554432000 1073741824 1073778376 140735096350464 140061026790216 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6643/tid=6662] ppid=6640 vsize=9824732 CPUtime=2.72 cores=0,2,4,6
/proc/6643/task/6662/stat : 6662 (java) R 6640 6643 5545 0 -1 4202560 29 0 0 0 272 0 0 0 20 0 22 0 3076334 10060525568 110904 33554432000 1073741824 1073778376 140735096350464 140061025726608 140061786496069 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=6643/tid=6663] ppid=6640 vsize=9824732 CPUtime=2.74 cores=0,2,4,6
/proc/6643/task/6663/stat : 6663 (java) R 6640 6643 5545 0 -1 4202560 174 0 0 0 270 4 0 0 20 0 22 0 3076334 10060525568 110904 33554432000 1073741824 1073778376 140735096350464 140061024681600 140061786584546 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6643/tid=6664] ppid=6640 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6643/task/6664/stat : 6664 (java) S 6640 6643 5545 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 3076335 10060525568 110904 33554432000 1073741824 1073778376 140735096350464 140061023630888 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6643/tid=6665] ppid=6640 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6643/task/6665/stat : 6665 (java) S 6640 6643 5545 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 3076335 10060525568 110904 33554432000 1073741824 1073778376 140735096350464 140061022578344 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 8.74
Current children cumulated vsize (KiB) 9824732

[startup+6.30096 s]
/proc/loadavg: 4.05 4.12 4.08 6/219 6665
/proc/meminfo: memFree=27079828/32872528 swapFree=1073728/1155488
[pid=6643] ppid=6640 vsize=9824732 CPUtime=15.23 cores=0,2,4,6
/proc/6643/stat : 6643 (java) S 6640 6643 5545 0 -1 4202496 35015 0 1 0 1488 35 0 0 20 0 22 0 3076307 10060525568 277980 33554432000 1073741824 1073778376 140735096350464 140735096341600 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6643/statm: 2456183 277980 2279 9 0 2446860 0
[pid=6643/tid=6645] ppid=6640 vsize=9824732 CPUtime=0.23 cores=0,2,4,6
/proc/6643/task/6645/stat : 6645 (java) S 6640 6643 5545 0 -1 4202560 2430 0 1 0 21 2 0 0 20 0 22 0 3076308 10060525568 277980 33554432000 1073741824 1073778376 140735096350464 140061949002616 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6643/tid=6646] ppid=6640 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/6643/task/6646/stat : 6646 (java) S 6640 6643 5545 0 -1 4202560 134 0 0 0 3 0 0 0 20 0 22 0 3076310 10060525568 277980 33554432000 1073741824 1073778376 140735096350464 140061910493864 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6643/tid=6647] ppid=6640 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/6643/task/6647/stat : 6647 (java) S 6640 6643 5545 0 -1 4202560 21 0 0 0 6 0 0 0 20 0 22 0 3076310 10060525568 277980 33554432000 1073741824 1073778376 140735096350464 140061909441320 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6643/tid=6648] ppid=6640 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/6643/task/6648/stat : 6648 (java) S 6640 6643 5545 0 -1 4202560 136 0 0 0 3 0 0 0 20 0 22 0 3076310 10060525568 277980 33554432000 1073741824 1073778376 140735096350464 140061908388776 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6643/tid=6649] ppid=6640 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/6643/task/6649/stat : 6649 (java) S 6640 6643 5545 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 22 0 3076310 10060525568 277980 33554432000 1073741824 1073778376 140735096350464 140061907336232 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6643/tid=6650] ppid=6640 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/6643/task/6650/stat : 6650 (java) S 6640 6643 5545 0 -1 4202560 121 0 0 0 3 2 0 0 20 0 22 0 3076310 10060525568 277980 33554432000 1073741824 1073778376 140735096350464 140061906282664 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6643/tid=6651] ppid=6640 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/6643/task/6651/stat : 6651 (java) S 6640 6643 5545 0 -1 4202560 117 0 0 0 3 2 0 0 20 0 22 0 3076310 10060525568 277980 33554432000 1073741824 1073778376 140735096350464 140061905230120 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6643/tid=6652] ppid=6640 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/6643/task/6652/stat : 6652 (java) S 6640 6643 5545 0 -1 4202560 24 0 0 0 3 1 0 0 20 0 22 0 3076310 10060525568 277980 33554432000 1073741824 1073778376 140735096350464 140061785975208 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6643/tid=6653] ppid=6640 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/6643/task/6653/stat : 6653 (java) S 6640 6643 5545 0 -1 4202560 10 0 0 0 2 0 0 0 20 0 22 0 3076310 10060525568 277980 33554432000 1073741824 1073778376 140735096350464 140061784922664 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6643/tid=6654] ppid=6640 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6643/task/6654/stat : 6654 (java) S 6640 6643 5545 0 -1 4202560 736 0 0 0 0 0 0 0 20 0 22 0 3076311 10060525568 277980 33554432000 1073741824 1073778376 140735096350464 140061772724840 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6643/tid=6655] ppid=6640 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6643/task/6655/stat : 6655 (java) S 6640 6643 5545 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 3076311 10060525568 277980 33554432000 1073741824 1073778376 140735096350464 140061771671160 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6643/tid=6656] ppid=6640 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6643/task/6656/stat : 6656 (java) S 6640 6643 5545 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 3076311 10060525568 277980 33554432000 1073741824 1073778376 140735096350464 140061770618504 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6643/tid=6657] ppid=6640 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6643/task/6657/stat : 6657 (java) S 6640 6643 5545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3076314 10060525568 277980 33554432000 1073741824 1073778376 140735096350464 140061031001104 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6643/tid=6658] ppid=6640 vsize=9824732 CPUtime=1.65 cores=0,2,4,6

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

/proc/6643/task/6649/stat : 6649 (java) S 6640 6643 5545 0 -1 4202560 632 0 0 0 296 11 0 0 20 0 22 0 3076310 10060525568 802072 33554432000 1073741824 1073778376 140735096350464 140061907336232 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6643/tid=6650] ppid=6640 vsize=9824732 CPUtime=3.33 cores=0,2,4,6
/proc/6643/task/6650/stat : 6650 (java) S 6640 6643 5545 0 -1 4202560 831 0 0 0 319 14 0 0 20 0 22 0 3076310 10060525568 802072 33554432000 1073741824 1073778376 140735096350464 140061906282664 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6643/tid=6651] ppid=6640 vsize=9824732 CPUtime=3.26 cores=0,2,4,6
/proc/6643/task/6651/stat : 6651 (java) S 6640 6643 5545 0 -1 4202560 722 0 0 0 313 13 0 0 20 0 22 0 3076310 10060525568 802072 33554432000 1073741824 1073778376 140735096350464 140061905230120 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6643/tid=6652] ppid=6640 vsize=9824732 CPUtime=2.98 cores=0,2,4,6
/proc/6643/task/6652/stat : 6652 (java) S 6640 6643 5545 0 -1 4202560 874 0 0 0 287 11 0 0 20 0 22 0 3076310 10060525568 802072 33554432000 1073741824 1073778376 140735096350464 140061785975208 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6643/tid=6653] ppid=6640 vsize=9824732 CPUtime=3.23 cores=0,2,4,6
/proc/6643/task/6653/stat : 6653 (java) S 6640 6643 5545 0 -1 4202560 546 0 0 0 312 11 0 0 20 0 22 0 3076310 10060525568 802072 33554432000 1073741824 1073778376 140735096350464 140061784922664 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6643/tid=6654] ppid=6640 vsize=9824732 CPUtime=2.51 cores=0,2,4,6
/proc/6643/task/6654/stat : 6654 (java) S 6640 6643 5545 0 -1 4202560 2159 0 0 0 237 14 0 0 20 0 22 0 3076311 10060525568 802072 33554432000 1073741824 1073778376 140735096350464 140061772724840 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6643/tid=6655] ppid=6640 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6643/task/6655/stat : 6655 (java) S 6640 6643 5545 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 3076311 10060525568 802072 33554432000 1073741824 1073778376 140735096350464 140061771671160 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6643/tid=6656] ppid=6640 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6643/task/6656/stat : 6656 (java) S 6640 6643 5545 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 3076311 10060525568 802072 33554432000 1073741824 1073778376 140735096350464 140061770618504 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6643/tid=6657] ppid=6640 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6643/task/6657/stat : 6657 (java) S 6640 6643 5545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3076314 10060525568 802072 33554432000 1073741824 1073778376 140735096350464 140061031001104 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6643/tid=6658] ppid=6640 vsize=9824732 CPUtime=1.73 cores=0,2,4,6
/proc/6643/task/6658/stat : 6658 (java) S 6640 6643 5545 0 -1 4202560 16806 0 0 0 170 3 0 0 20 0 22 0 3076314 10060525568 802072 33554432000 1073741824 1073778376 140735096350464 140061029947448 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6643/tid=6659] ppid=6640 vsize=9824732 CPUtime=1.1 cores=0,2,4,6
/proc/6643/task/6659/stat : 6659 (java) S 6640 6643 5545 0 -1 4202560 12565 0 0 0 107 3 0 0 20 0 22 0 3076314 10060525568 802072 33554432000 1073741824 1073778376 140735096350464 140061028894904 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6643/tid=6660] ppid=6640 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6643/task/6660/stat : 6660 (java) S 6640 6643 5545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3076314 10060525568 802072 33554432000 1073741824 1073778376 140735096350464 140061027842552 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6643/tid=6661] ppid=6640 vsize=9824732 CPUtime=0.33 cores=0,2,4,6
/proc/6643/task/6661/stat : 6661 (java) S 6640 6643 5545 0 -1 4202560 52 0 0 0 17 16 0 0 20 0 22 0 3076314 10060525568 802072 33554432000 1073741824 1073778376 140735096350464 140061026790216 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6643/tid=6662] ppid=6640 vsize=9824732 CPUtime=881.98 cores=0,2,4,6
/proc/6643/task/6662/stat : 6662 (java) R 6640 6643 5545 0 -1 4202560 206 0 0 0 88182 16 0 0 20 0 22 0 3076334 10060525568 802072 33554432000 1073741824 1073778376 140735096350464 140061025734336 140061786530620 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=6643/tid=6663] ppid=6640 vsize=9824732 CPUtime=882 cores=0,2,4,6
/proc/6643/task/6663/stat : 6663 (java) R 6640 6643 5545 0 -1 4202560 3023 0 0 0 88135 65 0 0 20 0 22 0 3076334 10060525568 802072 33554432000 1073741824 1073778376 140735096350464 140061024680704 140061786578884 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=6643/tid=6664] ppid=6640 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6643/task/6664/stat : 6664 (java) S 6640 6643 5545 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 3076335 10060525568 802072 33554432000 1073741824 1073778376 140735096350464 140061023630888 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6643/tid=6665] ppid=6640 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6643/task/6665/stat : 6665 (java) S 6640 6643 5545 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 3076335 10060525568 802072 33554432000 1073741824 1073778376 140735096350464 140061022578344 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 9824732

[startup+894.306 s]
/proc/loadavg: 4.24 4.19 4.12 5/218 6756
/proc/meminfo: memFree=24825376/32872528 swapFree=1073728/1155488
[pid=6643] ppid=6640 vsize=9957860 CPUtime=1798.18 cores=0,2,4,6
/proc/6643/stat : 6643 (java) S 6640 6643 5545 0 -1 4202496 44504 0 1 0 179622 196 0 0 20 0 21 0 3076307 10196848640 802103 33554432000 1073741824 1073778376 140735096350464 140735096341600 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6643/statm: 2489465 802103 2299 9 0 2480142 0
[pid=6643/tid=6645] ppid=6640 vsize=9957860 CPUtime=0.28 cores=0,2,4,6
/proc/6643/task/6645/stat : 6645 (java) S 6640 6643 5545 0 -1 4202560 2439 0 1 0 24 4 0 0 20 0 21 0 3076308 10196848640 802103 33554432000 1073741824 1073778376 140735096350464 140061949002616 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6643/tid=6646] ppid=6640 vsize=9957860 CPUtime=3.24 cores=0,2,4,6
/proc/6643/task/6646/stat : 6646 (java) S 6640 6643 5545 0 -1 4202560 814 0 0 0 313 11 0 0 20 0 21 0 3076310 10196848640 802103 33554432000 1073741824 1073778376 140735096350464 140061910493864 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6643/tid=6647] ppid=6640 vsize=9957860 CPUtime=3.38 cores=0,2,4,6
/proc/6643/task/6647/stat : 6647 (java) S 6640 6643 5545 0 -1 4202560 729 0 0 0 324 14 0 0 20 0 21 0 3076310 10196848640 802103 33554432000 1073741824 1073778376 140735096350464 140061909441320 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6643/tid=6648] ppid=6640 vsize=9957860 CPUtime=3.25 cores=0,2,4,6
/proc/6643/task/6648/stat : 6648 (java) S 6640 6643 5545 0 -1 4202560 793 0 0 0 314 11 0 0 20 0 21 0 3076310 10196848640 802103 33554432000 1073741824 1073778376 140735096350464 140061908388776 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6643/tid=6649] ppid=6640 vsize=9957860 CPUtime=3.07 cores=0,2,4,6
/proc/6643/task/6649/stat : 6649 (java) S 6640 6643 5545 0 -1 4202560 632 0 0 0 296 11 0 0 20 0 21 0 3076310 10196848640 802103 33554432000 1073741824 1073778376 140735096350464 140061907336232 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6643/tid=6650] ppid=6640 vsize=9957860 CPUtime=3.33 cores=0,2,4,6
/proc/6643/task/6650/stat : 6650 (java) S 6640 6643 5545 0 -1 4202560 831 0 0 0 319 14 0 0 20 0 21 0 3076310 10196848640 802103 33554432000 1073741824 1073778376 140735096350464 140061906282664 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6643/tid=6651] ppid=6640 vsize=9957860 CPUtime=3.26 cores=0,2,4,6
/proc/6643/task/6651/stat : 6651 (java) S 6640 6643 5545 0 -1 4202560 722 0 0 0 313 13 0 0 20 0 21 0 3076310 10196848640 802103 33554432000 1073741824 1073778376 140735096350464 140061905230120 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6643/tid=6652] ppid=6640 vsize=9957860 CPUtime=2.98 cores=0,2,4,6
/proc/6643/task/6652/stat : 6652 (java) S 6640 6643 5545 0 -1 4202560 874 0 0 0 287 11 0 0 20 0 21 0 3076310 10196848640 802103 33554432000 1073741824 1073778376 140735096350464 140061785975208 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6643/tid=6653] ppid=6640 vsize=9957860 CPUtime=3.23 cores=0,2,4,6
/proc/6643/task/6653/stat : 6653 (java) S 6640 6643 5545 0 -1 4202560 546 0 0 0 312 11 0 0 20 0 21 0 3076310 10196848640 802103 33554432000 1073741824 1073778376 140735096350464 140061784922664 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6643/tid=6654] ppid=6640 vsize=9957860 CPUtime=2.51 cores=0,2,4,6
/proc/6643/task/6654/stat : 6654 (java) S 6640 6643 5545 0 -1 4202560 2159 0 0 0 237 14 0 0 20 0 21 0 3076311 10196848640 802103 33554432000 1073741824 1073778376 140735096350464 140061772724840 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6643/tid=6655] ppid=6640 vsize=9957860 CPUtime=0 cores=0,2,4,6
/proc/6643/task/6655/stat : 6655 (java) S 6640 6643 5545 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 3076311 10196848640 802103 33554432000 1073741824 1073778376 140735096350464 140061771671160 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6643/tid=6656] ppid=6640 vsize=9957860 CPUtime=0 cores=0,2,4,6
/proc/6643/task/6656/stat : 6656 (java) S 6640 6643 5545 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 21 0 3076311 10196848640 802103 33554432000 1073741824 1073778376 140735096350464 140061770618504 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6643/tid=6657] ppid=6640 vsize=9957860 CPUtime=0 cores=0,2,4,6
/proc/6643/task/6657/stat : 6657 (java) S 6640 6643 5545 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 21 0 3076314 10196848640 802103 33554432000 1073741824 1073778376 140735096350464 140061031001104 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6643/tid=6658] ppid=6640 vsize=9957860 CPUtime=1.73 cores=0,2,4,6
/proc/6643/task/6658/stat : 6658 (java) S 6640 6643 5545 0 -1 4202560 16807 0 0 0 170 3 0 0 20 0 21 0 3076314 10196848640 802103 33554432000 1073741824 1073778376 140735096350464 140061029947448 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6643/tid=6659] ppid=6640 vsize=9957860 CPUtime=1.16 cores=0,2,4,6
/proc/6643/task/6659/stat : 6659 (java) S 6640 6643 5545 0 -1 4202560 12575 0 0 0 113 3 0 0 20 0 21 0 3076314 10196848640 802103 33554432000 1073741824 1073778376 140735096350464 140061028894904 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6643/tid=6660] ppid=6640 vsize=9957860 CPUtime=0 cores=0,2,4,6
/proc/6643/task/6660/stat : 6660 (java) S 6640 6643 5545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 3076314 10196848640 802103 33554432000 1073741824 1073778376 140735096350464 140061027842552 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6643/tid=6661] ppid=6640 vsize=9957860 CPUtime=0.33 cores=0,2,4,6
/proc/6643/task/6661/stat : 6661 (java) S 6640 6643 5545 0 -1 4202560 52 0 0 0 17 16 0 0 20 0 21 0 3076314 10196848640 802103 33554432000 1073741824 1073778376 140735096350464 140061026790216 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6643/tid=6663] ppid=6640 vsize=9957860 CPUtime=882.11 cores=0,2,4,6
/proc/6643/task/6663/stat : 6663 (java) R 6640 6643 5545 0 -1 4202560 3023 0 0 0 88146 65 0 0 20 0 21 0 3076334 10196848640 802103 33554432000 1073741824 1073778376 140735096350464 140061024680704 140061786589340 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=6643/tid=6755] ppid=6640 vsize=9957860 CPUtime=0 cores=0,2,4,6
/proc/6643/task/6755/stat : 6755 (java) S 6640 6643 5545 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 21 0 3165728 10196848640 802103 33554432000 1073741824 1073778376 140735096350464 140061021524072 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6643/tid=6756] ppid=6640 vsize=9957860 CPUtime=0.05 cores=0,2,4,6
/proc/6643/task/6756/stat : 6756 (java) R 6640 6643 5545 0 -1 4202560 9 0 0 0 5 0 0 0 20 0 21 0 3165728 10196848640 802103 33554432000 1073741824 1073778376 140735096350464 140061020471528 140061787487532 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.18
Current children cumulated vsize (KiB) 9957860
#
############


Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 6643 sig 9
??? kill -6643 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+894.306 s]
/proc/loadavg: 4.24 4.19 4.12 5/218 6756
/proc/meminfo: memFree=24825376/32872528 swapFree=1073728/1155488
[pid=6643] ppid=6640 vsize=9957860 CPUtime=1798.18 cores=0,2,4,6
/proc/6643/stat : 6643 (java) S 6640 6643 5545 0 -1 4202496 44504 0 1 0 179622 196 0 0 20 0 21 0 3076307 10196848640 802103 33554432000 1073741824 1073778376 140735096350464 140735096341600 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6643/statm: 2489465 802103 2299 9 0 2480142 0
[pid=6643/tid=6645] ppid=6640 vsize=9957860 CPUtime=0.28 cores=0,2,4,6
/proc/6643/task/6645/stat : 6645 (java) S 6640 6643 5545 0 -1 4202560 2439 0 1 0 24 4 0 0 20 0 21 0 3076308 10196848640 802103 33554432000 1073741824 1073778376 140735096350464 140061949002616 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6643/tid=6646] ppid=6640 vsize=9957860 CPUtime=3.24 cores=0,2,4,6
/proc/6643/task/6646/stat : 6646 (java) S 6640 6643 5545 0 -1 4202560 814 0 0 0 313 11 0 0 20 0 21 0 3076310 10196848640 802103 33554432000 1073741824 1073778376 140735096350464 140061910493864 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6643/tid=6647] ppid=6640 vsize=9957860 CPUtime=3.38 cores=0,2,4,6
/proc/6643/task/6647/stat : 6647 (java) S 6640 6643 5545 0 -1 4202560 729 0 0 0 324 14 0 0 20 0 21 0 3076310 10196848640 802103 33554432000 1073741824 1073778376 140735096350464 140061909441320 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6643/tid=6648] ppid=6640 vsize=9957860 CPUtime=3.25 cores=0,2,4,6
/proc/6643/task/6648/stat : 6648 (java) S 6640 6643 5545 0 -1 4202560 793 0 0 0 314 11 0 0 20 0 21 0 3076310 10196848640 802103 33554432000 1073741824 1073778376 140735096350464 140061908388776 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6643/tid=6649] ppid=6640 vsize=9957860 CPUtime=3.07 cores=0,2,4,6
/proc/6643/task/6649/stat : 6649 (java) S 6640 6643 5545 0 -1 4202560 632 0 0 0 296 11 0 0 20 0 21 0 3076310 10196848640 802103 33554432000 1073741824 1073778376 140735096350464 140061907336232 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6643/tid=6650] ppid=6640 vsize=9957860 CPUtime=3.33 cores=0,2,4,6
/proc/6643/task/6650/stat : 6650 (java) S 6640 6643 5545 0 -1 4202560 831 0 0 0 319 14 0 0 20 0 21 0 3076310 10196848640 802103 33554432000 1073741824 1073778376 140735096350464 140061906282664 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6643/tid=6651] ppid=6640 vsize=9957860 CPUtime=3.26 cores=0,2,4,6
/proc/6643/task/6651/stat : 6651 (java) S 6640 6643 5545 0 -1 4202560 722 0 0 0 313 13 0 0 20 0 21 0 3076310 10196848640 802103 33554432000 1073741824 1073778376 140735096350464 140061905230120 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6643/tid=6652] ppid=6640 vsize=9957860 CPUtime=2.98 cores=0,2,4,6
/proc/6643/task/6652/stat : 6652 (java) S 6640 6643 5545 0 -1 4202560 874 0 0 0 287 11 0 0 20 0 21 0 3076310 10196848640 802103 33554432000 1073741824 1073778376 140735096350464 140061785975208 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6643/tid=6653] ppid=6640 vsize=9957860 CPUtime=3.23 cores=0,2,4,6
/proc/6643/task/6653/stat : 6653 (java) S 6640 6643 5545 0 -1 4202560 546 0 0 0 312 11 0 0 20 0 21 0 3076310 10196848640 802103 33554432000 1073741824 1073778376 140735096350464 140061784922664 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6643/tid=6654] ppid=6640 vsize=9957860 CPUtime=2.51 cores=0,2,4,6
/proc/6643/task/6654/stat : 6654 (java) S 6640 6643 5545 0 -1 4202560 2159 0 0 0 237 14 0 0 20 0 21 0 3076311 10196848640 802103 33554432000 1073741824 1073778376 140735096350464 140061772724840 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6643/tid=6655] ppid=6640 vsize=9957860 CPUtime=0 cores=0,2,4,6
/proc/6643/task/6655/stat : 6655 (java) S 6640 6643 5545 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 3076311 10196848640 802103 33554432000 1073741824 1073778376 140735096350464 140061771671160 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6643/tid=6656] ppid=6640 vsize=9957860 CPUtime=0 cores=0,2,4,6
/proc/6643/task/6656/stat : 6656 (java) S 6640 6643 5545 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 21 0 3076311 10196848640 802103 33554432000 1073741824 1073778376 140735096350464 140061770618504 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6643/tid=6657] ppid=6640 vsize=9957860 CPUtime=0 cores=0,2,4,6
/proc/6643/task/6657/stat : 6657 (java) S 6640 6643 5545 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 21 0 3076314 10196848640 802103 33554432000 1073741824 1073778376 140735096350464 140061031001104 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6643/tid=6658] ppid=6640 vsize=9957860 CPUtime=1.73 cores=0,2,4,6
/proc/6643/task/6658/stat : 6658 (java) S 6640 6643 5545 0 -1 4202560 16807 0 0 0 170 3 0 0 20 0 21 0 3076314 10196848640 802103 33554432000 1073741824 1073778376 140735096350464 140061029947448 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6643/tid=6659] ppid=6640 vsize=9957860 CPUtime=1.16 cores=0,2,4,6
/proc/6643/task/6659/stat : 6659 (java) S 6640 6643 5545 0 -1 4202560 12575 0 0 0 113 3 0 0 20 0 21 0 3076314 10196848640 802103 33554432000 1073741824 1073778376 140735096350464 140061028894904 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6643/tid=6660] ppid=6640 vsize=9957860 CPUtime=0 cores=0,2,4,6
/proc/6643/task/6660/stat : 6660 (java) S 6640 6643 5545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 3076314 10196848640 802103 33554432000 1073741824 1073778376 140735096350464 140061027842552 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6643/tid=6661] ppid=6640 vsize=9957860 CPUtime=0.33 cores=0,2,4,6
/proc/6643/task/6661/stat : 6661 (java) S 6640 6643 5545 0 -1 4202560 52 0 0 0 17 16 0 0 20 0 21 0 3076314 10196848640 802103 33554432000 1073741824 1073778376 140735096350464 140061026790216 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6643/tid=6663] ppid=6640 vsize=9957860 CPUtime=882.11 cores=0,2,4,6
/proc/6643/task/6663/stat : 6663 (java) R 6640 6643 5545 0 -1 4202560 3023 0 0 0 88146 65 0 0 20 0 21 0 3076334 10196848640 802103 33554432000 1073741824 1073778376 140735096350464 140061024680704 140061786589340 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=6643/tid=6755] ppid=6640 vsize=9957860 CPUtime=0 cores=0,2,4,6
/proc/6643/task/6755/stat : 6755 (java) S 6640 6643 5545 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 21 0 3165728 10196848640 802103 33554432000 1073741824 1073778376 140735096350464 140061021524072 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6643/tid=6756] ppid=6640 vsize=9957860 CPUtime=0.05 cores=0,2,4,6
/proc/6643/task/6756/stat : 6756 (java) R 6640 6643 5545 0 -1 4202560 9 0 0 0 5 0 0 0 20 0 21 0 3165728 10196848640 802103 33554432000 1073741824 1073778376 140735096350464 140061020471528 140061787487532 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.18
Current children cumulated vsize (KiB) 9957860

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 6643 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=900285
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=340644
# CPU time returned by wait4() is 1796.24
# while last known CPU time is 1798.18
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...


# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 1.95007
#  lost CPU user time (s): 2.09009
#  lost CPU system time (s): -0.14

Real time (s): 894.336
CPU time (s): 1800.13
CPU user time (s): 1798.31
CPU system time (s): 1.82
CPU usage (%): 201.281
Max. virtual memory (cumulated for all children) (KiB): 9957860

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.9
system time used= 2.34064
maximum resident set size= 3234768
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44505
page faults= 1
swaps= 0
block input operations= 0
block output operations= 944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 27190
involuntary context switches= 40307

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.94994 second user time and 7.46286 second system time

The end

Launcher Data 

Begin job on node114 at 2016-06-15 19:04:31
IDJOB=4088701
IDBENCH=107301
IDSOLVER=2543
FILE ID=node114/4088701-1466010271
RUNJOBID= node114-1466008022-5561
PBS_JOBID= 19902804
Free space on /tmp= 71736 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/EC_ODD_GRIDS/normalized-ECgrid5x150split.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4088701-1466010271/watcher-4088701-1466010271 -o /tmp/evaluation-result-4088701-1466010271/solver-4088701-1466010271 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1466008022-5561 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4088701-1466010271.opb

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

MD5SUM BENCH= 38bf2d4a09a989ac45f5356b157fbb11
RANDOM SEED=1106606345

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        27953324 kB
Buffers:            5100 kB
Cached:            38324 kB
SwapCached:        33296 kB
Active:          3004660 kB
Inactive:          55464 kB
Active(anon):    2985896 kB
Inactive(anon):    33292 kB
Active(file):      18764 kB
Inactive(file):    22172 kB
Unevictable:     1155488 kB
Mlocked:         1073728 kB
SwapTotal:      67108856 kB
SwapFree:       67068540 kB
Dirty:               832 kB
Writeback:             0 kB
AnonPages:       4139392 kB
Mapped:            15444 kB
Shmem:                 0 kB
Slab:             564432 kB
SReclaimable:       8512 kB
SUnreclaim:       555920 kB
KernelStack:        1752 kB
PageTables:        12972 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    4287220 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2998272 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= 71736 MiB
End job on node114 at 2016-06-15 19:19:25