Trace number 3687521

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
Sat 4j PB Resolution 2.3.2 SnapshotSAT (TO)307 1800.88 1762.95

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-mod008.opb
MD5SUM4dd9ac2644c29d272d2675c7fc366ed6
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark307
Best CPU time to get the best result obtained on this benchmark0.305953
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 307
Optimality of the best value was proved YES
Number of variables319
Total number of constraints6
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints6
Minimum length of a constraint186
Maximum length of a constraint231
Number of terms in the objective function 319
Biggest coefficient in the objective function 87
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 23554
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 22000
Number of bits of the biggest number in a constraint 15
Biggest sum of numbers in a constraint 1027256
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
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-2012 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 2.3.2.v20120418
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 --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1
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 No reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose learned constraints deletion strategy
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-3687521-1337871956.opb
0.09/0.12	c reading problem ... 
0.09/0.17	c ... done. Wall clock time 0.057s.
0.09/0.17	c declared #vars     319
0.09/0.17	c #constraints  6
0.09/0.17	c constraints type 
0.09/0.17	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6
0.09/0.17	c 6 constraints processed.
0.09/0.17	c objective function length is 319 literals
0.09/0.19	c SATISFIABLE
0.09/0.19	c OPTIMIZING...
0.09/0.19	c Got one! Elapsed wall clock time (in seconds):0.071
0.09/0.19	o 359
0.51/0.32	c Got one! Elapsed wall clock time (in seconds):0.198
0.51/0.32	o 319
1.30/1.00	c cleaning 2690 clauses out of 5380 with flag 5025/5380
2.17/1.74	c cleaning 4329 clauses out of 8665 with flag 11000/11355
2.69/2.23	c cleaning 5664 clauses out of 11336 with flag 18000/18355
3.48/3.08	c cleaning 6817 clauses out of 13672 with flag 26000/26355
4.23/3.80	c cleaning 7919 clauses out of 15856 with flag 35001/35356
5.03/4.56	c cleaning 9028 clauses out of 18056 with flag 45120/45475
6.56/6.04	c cleaning 9966 clauses out of 19931 with flag 56023/56378
8.28/7.74	c cleaning 11032 clauses out of 22063 with flag 68121/68476
10.23/9.63	c cleaning 12028 clauses out of 24056 with flag 81146/81501
12.35/11.72	c cleaning 12921 clauses out of 25888 with flag 95006/95361
13.91/13.10	c cleaning 13971 clauses out of 27961 with flag 110000/110355
16.18/15.11	c cleaning 15001 clauses out of 30001 with flag 126011/126366
18.22/17.14	c cleaning 16023 clauses out of 32049 with flag 143060/143415
20.31/19.10	c cleaning 16987 clauses out of 33979 with flag 161013/161368
22.35/21.19	c cleaning 17986 clauses out of 35981 with flag 180002/180357
25.41/23.79	c cleaning 18961 clauses out of 37993 with flag 200000/200355
29.07/26.97	c cleaning 20018 clauses out of 40040 with flag 221008/221363
31.79/29.70	c cleaning 20986 clauses out of 42015 with flag 243001/243356
34.69/32.51	c cleaning 22032 clauses out of 44076 with flag 266048/266403
38.12/35.92	c cleaning 23008 clauses out of 46018 with flag 290022/290377
41.99/39.76	c cleaning 24028 clauses out of 48063 with flag 315075/315430
45.86/43.53	c cleaning 24994 clauses out of 50013 with flag 341053/341408
49.60/47.21	c cleaning 25998 clauses out of 51997 with flag 368031/368386
53.42/51.03	c cleaning 26983 clauses out of 53977 with flag 396009/396364
58.00/55.50	c cleaning 27952 clauses out of 55985 with flag 425000/425355
63.84/61.31	c cleaning 28959 clauses out of 58033 with flag 455000/455355
68.62/66.03	c cleaning 30034 clauses out of 60074 with flag 486000/486355
72.04/69.42	c cleaning 31047 clauses out of 62096 with flag 518056/518411
76.57/73.93	c cleaning 31952 clauses out of 63994 with flag 551001/551356
83.03/80.33	c cleaning 33044 clauses out of 66090 with flag 585049/585404
88.48/85.79	c cleaning 33996 clauses out of 67998 with flag 620001/620356
93.67/90.81	c cleaning 34995 clauses out of 70001 with flag 656000/656355
98.97/96.04	c cleaning 36043 clauses out of 72085 with flag 693079/693434
104.61/101.69	c cleaning 37021 clauses out of 74043 with flag 731080/731435
110.05/107.02	c cleaning 37980 clauses out of 75961 with flag 770019/770374
115.97/112.87	c cleaning 38987 clauses out of 77975 with flag 810013/810368
121.98/118.76	c cleaning 39985 clauses out of 79975 with flag 851000/851355
128.28/124.90	c cleaning 40972 clauses out of 81999 with flag 893009/893364
134.98/131.58	c cleaning 42025 clauses out of 84051 with flag 936033/936388
140.02/136.41	c cleaning 42990 clauses out of 85994 with flag 980001/980356
147.53/143.86	c cleaning 43992 clauses out of 88003 with flag 1025000/1025355
156.28/152.40	c cleaning 44943 clauses out of 90015 with flag 1071004/1071359
163.74/159.72	c cleaning 46034 clauses out of 92069 with flag 1118001/1118356
172.60/168.40	c cleaning 47027 clauses out of 94057 with flag 1166023/1166378
180.65/176.36	c cleaning 47958 clauses out of 96007 with flag 1215000/1215355
188.20/183.70	c cleaning 49042 clauses out of 98085 with flag 1265036/1265391
195.17/190.56	c cleaning 50027 clauses out of 100054 with flag 1316047/1316402
202.89/198.13	c cleaning 50979 clauses out of 101980 with flag 1368000/1368355
210.55/205.60	c cleaning 51987 clauses out of 104007 with flag 1421006/1421361
219.97/214.83	c cleaning 53004 clauses out of 106014 with flag 1475000/1475355
229.49/224.26	c cleaning 53996 clauses out of 108010 with flag 1530000/1530355
237.96/232.58	c cleaning 55029 clauses out of 110060 with flag 1586046/1586401
246.44/240.87	c cleaning 56003 clauses out of 112008 with flag 1643023/1643378
255.77/250.02	c cleaning 57017 clauses out of 114036 with flag 1701054/1701409
265.14/259.25	c cleaning 57997 clauses out of 115994 with flag 1760029/1760384
276.08/269.99	c cleaning 58973 clauses out of 117968 with flag 1820000/1820355
284.77/278.43	c cleaning 60014 clauses out of 120030 with flag 1881035/1881390
293.15/286.69	c cleaning 61023 clauses out of 122046 with flag 1943065/1943420
302.03/295.20	c cleaning 61975 clauses out of 123958 with flag 2006000/2006355
311.99/305.04	c cleaning 62969 clauses out of 125983 with flag 2070000/2070355
321.33/314.29	c cleaning 64009 clauses out of 128019 with flag 2135005/2135360
332.81/325.52	c cleaning 65026 clauses out of 130057 with flag 2201052/2201407
344.22/336.76	c cleaning 65983 clauses out of 131985 with flag 2268006/2268361
354.74/347.06	c cleaning 67017 clauses out of 134036 with flag 2336040/2336395
364.55/356.60	c cleaning 67997 clauses out of 135996 with flag 2405017/2405372
375.30/367.10	c cleaning 69014 clauses out of 138029 with flag 2475047/2475402
385.32/376.93	c cleaning 69971 clauses out of 139968 with flag 2546000/2546355
395.67/387.01	c cleaning 70964 clauses out of 141997 with flag 2618000/2618355
407.95/399.03	c cleaning 72007 clauses out of 144033 with flag 2691000/2691355
419.43/410.36	c cleaning 72979 clauses out of 146026 with flag 2765000/2765355
430.49/421.29	c cleaning 74020 clauses out of 148054 with flag 2840007/2840362
440.35/430.99	c cleaning 74995 clauses out of 150045 with flag 2916018/2916373
453.47/443.70	c cleaning 76040 clauses out of 152080 with flag 2993048/2993403
477.12/467.08	c cleaning 76992 clauses out of 153992 with flag 3071000/3071355
490.91/480.52	c cleaning 77971 clauses out of 156002 with flag 3150002/3150357
503.92/493.26	c cleaning 78990 clauses out of 158029 with flag 3230000/3230355
518.52/507.53	c cleaning 80071 clauses out of 160141 with flag 3311102/3311457
541.76/530.37	c cleaning 80981 clauses out of 161968 with flag 3393000/3393355
558.35/546.51	c cleaning 81988 clauses out of 163990 with flag 3476003/3476358
570.57/558.60	c cleaning 82986 clauses out of 166002 with flag 3560003/3560358
582.26/569.93	c cleaning 83979 clauses out of 168013 with flag 3645000/3645355
596.40/583.75	c cleaning 84996 clauses out of 170040 with flag 3731006/3731361
611.89/598.92	c cleaning 86015 clauses out of 172038 with flag 3818000/3818355
626.47/613.23	c cleaning 87005 clauses out of 174023 with flag 3906000/3906355
641.22/627.61	c cleaning 88021 clauses out of 176044 with flag 3995026/3995381
657.23/643.28	c cleaning 89016 clauses out of 178034 with flag 4085037/4085392
671.48/657.13	c cleaning 90010 clauses out of 180022 with flag 4176041/4176396
687.13/672.48	c cleaning 90986 clauses out of 181973 with flag 4268002/4268357
702.17/687.02	c cleaning 92003 clauses out of 184007 with flag 4361022/4361377
715.32/699.92	c cleaning 92995 clauses out of 185994 with flag 4455012/4455367
729.41/713.74	c cleaning 93988 clauses out of 188018 with flag 4550031/4550386
745.73/729.75	c cleaning 95002 clauses out of 190023 with flag 4646024/4646379
767.22/750.85	c cleaning 95981 clauses out of 192078 with flag 4743081/4743436
787.57/770.83	c cleaning 96984 clauses out of 194016 with flag 4841000/4841355
802.56/785.52	c cleaning 98020 clauses out of 196047 with flag 4940015/4940370
817.17/799.87	c cleaning 98973 clauses out of 198012 with flag 5040000/5040355
833.48/815.82	c cleaning 100027 clauses out of 200056 with flag 5141017/5141372
852.96/834.83	c cleaning 101021 clauses out of 202041 with flag 5243029/5243384
872.88/854.31	c cleaning 101989 clauses out of 203991 with flag 5346000/5346355
888.27/869.40	c cleaning 102995 clauses out of 206010 with flag 5450008/5450363
904.89/885.51	c cleaning 103994 clauses out of 208007 with flag 5555000/5555355
923.59/903.83	c cleaning 105047 clauses out of 210095 with flag 5661082/5661437
940.01/919.91	c cleaning 105980 clauses out of 211978 with flag 5768012/5768367
957.08/936.62	c cleaning 106984 clauses out of 213987 with flag 5876001/5876356
973.48/952.69	c cleaning 108027 clauses out of 216065 with flag 5985063/5985418
990.70/969.54	c cleaning 108979 clauses out of 217982 with flag 6095007/6095362
1005.51/984.08	c cleaning 109935 clauses out of 219996 with flag 6206000/6206355
1021.35/999.54	c cleaning 111018 clauses out of 222065 with flag 6318004/6318359
1036.54/1014.42	c cleaning 112008 clauses out of 224043 with flag 6431000/6431355
1052.72/1030.30	c cleaning 113000 clauses out of 226035 with flag 6545000/6545355
1068.92/1046.13	c cleaning 114010 clauses out of 228059 with flag 6660024/6660379
1089.69/1066.40	c cleaning 115030 clauses out of 230060 with flag 6776035/6776390
1114.88/1091.16	c cleaning 115935 clauses out of 231995 with flag 6893000/6893355
1138.39/1114.18	c cleaning 117032 clauses out of 234066 with flag 7011006/7011361
1161.73/1136.92	c cleaning 118030 clauses out of 236061 with flag 7130033/7130388
1183.46/1158.25	c cleaning 119005 clauses out of 238015 with flag 7250017/7250372
1204.55/1178.92	c cleaning 120007 clauses out of 240016 with flag 7371023/7371378
1228.52/1202.43	c cleaning 121015 clauses out of 242041 with flag 7493055/7493410
1248.07/1221.42	c cleaning 121975 clauses out of 243979 with flag 7616008/7616363
1268.58/1241.57	c cleaning 122998 clauses out of 246036 with flag 7740040/7740395
1288.10/1260.84	c cleaning 123985 clauses out of 247999 with flag 7865001/7865356
1307.33/1279.77	c cleaning 124989 clauses out of 250020 with flag 7991007/7991362
1308.75/1281.17	c Got one! Elapsed wall clock time (in seconds):1281.051
1308.75/1281.17	o 316
1308.85/1281.20	c Got one! Elapsed wall clock time (in seconds):1281.081
1308.85/1281.20	o 309
1308.85/1281.21	c Got one! Elapsed wall clock time (in seconds):1281.091
1308.85/1281.21	o 307
1309.35/1281.73	c cleaning 72955 clauses out of 145918 with flag 5004/8012249
1309.79/1282.18	c cleaning 39476 clauses out of 78959 with flag 11000/8018245
1310.33/1282.62	c cleaning 23229 clauses out of 46483 with flag 18000/8025245
1310.75/1283.03	c cleaning 15615 clauses out of 31254 with flag 26000/8033245
1311.18/1283.49	c cleaning 12308 clauses out of 24639 with flag 35000/8042245
1311.79/1284.01	c cleaning 11156 clauses out of 22331 with flag 45000/8052245
1312.31/1284.59	c cleaning 11073 clauses out of 22182 with flag 56007/8063252
1313.05/1285.20	c cleaning 11539 clauses out of 23104 with flag 68002/8075247
1313.68/1285.86	c cleaning 12276 clauses out of 24570 with flag 81007/8088252
1314.47/1286.66	c cleaning 13133 clauses out of 26287 with flag 95000/8102245
1315.39/1287.55	c cleaning 14056 clauses out of 28154 with flag 110000/8117245
1316.40/1288.53	c cleaning 15023 clauses out of 30103 with flag 126005/8133250
1317.50/1289.62	c cleaning 16039 clauses out of 32087 with flag 143012/8150257
1318.63/1290.76	c cleaning 17004 clauses out of 34047 with flag 161011/8168256
1319.95/1292.07	c cleaning 17988 clauses out of 36032 with flag 180000/8187245
1321.28/1293.37	c cleaning 19033 clauses out of 38071 with flag 200027/8207272
1322.80/1294.80	c cleaning 19995 clauses out of 40011 with flag 221000/8228245
1325.46/1297.40	c cleaning 21006 clauses out of 42026 with flag 243010/8250255
1328.02/1299.90	c cleaning 22011 clauses out of 44022 with flag 266012/8273257
1330.51/1302.36	c cleaning 22998 clauses out of 46000 with flag 290001/8297246
1333.21/1304.91	c cleaning 24003 clauses out of 48006 with flag 315005/8322250
1335.76/1307.42	c cleaning 24997 clauses out of 49999 with flag 341001/8348246
1339.22/1310.85	c cleaning 26015 clauses out of 52030 with flag 368029/8375274
1343.21/1314.74	c cleaning 27019 clauses out of 54037 with flag 396051/8403296
1347.83/1319.23	c cleaning 28024 clauses out of 56047 with flag 425080/8432325
1352.86/1324.19	c cleaning 29001 clauses out of 58001 with flag 455058/8462303
1357.89/1329.09	c cleaning 29984 clauses out of 59968 with flag 486026/8493271
1363.16/1334.18	c cleaning 30994 clauses out of 61987 with flag 518029/8525274
1369.23/1340.07	c cleaning 31982 clauses out of 63964 with flag 551000/8558245
1376.40/1347.17	c cleaning 32995 clauses out of 65990 with flag 585008/8592253
1384.58/1355.23	c cleaning 34025 clauses out of 68049 with flag 620062/8627307
1393.35/1363.86	c cleaning 34983 clauses out of 69966 with flag 656004/8663249
1403.31/1373.65	c cleaning 36004 clauses out of 72007 with flag 693028/8700273
1414.54/1384.75	c cleaning 37002 clauses out of 74003 with flag 731028/8738273
1424.37/1394.49	c cleaning 38016 clauses out of 76031 with flag 770058/8777303
1433.73/1403.63	c cleaning 38951 clauses out of 77977 with flag 810020/8817265
1444.70/1414.50	c cleaning 40035 clauses out of 80089 with flag 851083/8858328
1454.98/1424.56	c cleaning 41040 clauses out of 82080 with flag 893109/8900354
1466.07/1435.46	c cleaning 41991 clauses out of 83981 with flag 936050/8943295
1474.01/1443.19	c cleaning 42984 clauses out of 85968 with flag 980028/8987273
1479.13/1448.19	c cleaning 43984 clauses out of 87970 with flag 1025014/9032259
1484.14/1453.08	c cleaning 44983 clauses out of 89975 with flag 1071003/9078248
1489.14/1457.94	c cleaning 46018 clauses out of 92038 with flag 1118049/9125294
1493.99/1462.69	c cleaning 46973 clauses out of 93971 with flag 1166000/9173245
1499.63/1468.17	c cleaning 48022 clauses out of 96044 with flag 1215046/9222291
1504.65/1473.19	c cleaning 48996 clauses out of 97993 with flag 1265017/9272262
1510.97/1479.30	c cleaning 49992 clauses out of 99985 with flag 1316005/9323250
1516.91/1485.12	c cleaning 50994 clauses out of 101988 with flag 1368000/9375245
1524.68/1492.74	c cleaning 52018 clauses out of 104036 with flag 1421042/9428287
1534.57/1502.44	c cleaning 52991 clauses out of 105981 with flag 1475005/9482250
1547.40/1515.12	c cleaning 53982 clauses out of 107985 with flag 1530000/9537245
1559.80/1527.41	c cleaning 55025 clauses out of 110050 with flag 1586047/9593292
1569.90/1537.47	c cleaning 55965 clauses out of 111978 with flag 1643000/9650245
1581.23/1548.68	c cleaning 57007 clauses out of 114015 with flag 1701002/9708247
1592.76/1560.09	c cleaning 57984 clauses out of 116006 with flag 1760000/9767245
1600.50/1567.67	c cleaning 59014 clauses out of 118041 with flag 1820020/9827265
1607.04/1574.08	c cleaning 59985 clauses out of 120007 with flag 1881000/9888245
1618.01/1584.85	c cleaning 61010 clauses out of 122026 with flag 1943004/9950249
1627.09/1593.73	c cleaning 61982 clauses out of 124017 with flag 2006005/10013250
1635.38/1601.82	c cleaning 63029 clauses out of 126058 with flag 2070028/10077273
1645.06/1611.40	c cleaning 64018 clauses out of 128036 with flag 2135035/10142280
1654.42/1620.57	c cleaning 64958 clauses out of 129983 with flag 2201000/10208245
1662.14/1628.09	c cleaning 66010 clauses out of 132032 with flag 2268007/10275252
1669.73/1635.45	c cleaning 67004 clauses out of 134016 with flag 2336001/10343246
1677.78/1643.21	c cleaning 67998 clauses out of 136011 with flag 2405000/10412245
1686.16/1651.40	c cleaning 68996 clauses out of 138015 with flag 2475002/10482247
1697.98/1663.09	c cleaning 70006 clauses out of 140017 with flag 2546000/10553245
1709.93/1674.81	c cleaning 70990 clauses out of 142011 with flag 2618000/10625245
1722.20/1686.97	c cleaning 71996 clauses out of 144021 with flag 2691000/10698245
1735.96/1700.43	c cleaning 73010 clauses out of 146031 with flag 2765006/10772251
1747.91/1712.19	c cleaning 74009 clauses out of 148019 with flag 2840004/10847249
1762.57/1726.58	c cleaning 74978 clauses out of 150028 with flag 2916023/10923268
1774.07/1737.79	c cleaning 76001 clauses out of 152027 with flag 2993000/11000245
1783.52/1746.83	c cleaning 77014 clauses out of 154034 with flag 3071008/11078253
1792.79/1755.84	c cleaning 78007 clauses out of 156016 with flag 3150004/11157249
1800.09/1762.91	c starts		: 305
1800.09/1762.91	c conflicts		: 11224285
1800.09/1762.91	c decisions		: 46399302
1800.09/1762.91	c propagations		: 738959042
1800.09/1762.91	c inspects		: 10069237949
1800.09/1762.91	c shortcuts		: 0
1800.09/1762.91	c learnt literals	: 2
1800.09/1762.91	c learnt binary clauses	: 43
1800.09/1762.91	c learnt ternary clauses	: 60
1800.09/1762.91	c learnt constraints	: 11224283
1800.09/1762.91	c ignored constraints	: 0
1800.09/1762.91	c root simplifications	: 0
1800.09/1762.91	c removed literals (reason simplification)	: 0
1800.09/1762.91	c reason swapping (by a shorter reason)	: 0
1800.09/1762.91	c Calls to reduceDB	: 197
1800.09/1762.91	c number of reductions to clauses (during analyze)	: 0
1800.09/1762.91	c number of learned constraints concerned by reduction	: 0
1800.09/1762.91	c number of learning phase by resolution	: 0
1800.09/1762.91	c number of learning phase by cutting planes	: 0
1800.09/1762.91	c speed (assignments/second)	: 419213.3471528222
1800.09/1762.91	c non guided choices	2
1800.09/1762.94	c learnt constraints type 
1800.09/1762.94	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 43
1800.09/1762.94	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 145092
1800.09/1762.94	c constraints type 
1800.09/1762.94	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 7
1800.09/1762.94	c 7 constraints processed.
1800.09/1762.94	s SATISFIABLE
1800.09/1762.94	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 x21 -x22 -x23 x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 
1800.09/1762.94	c objective function=307
1800.09/1762.94	c Total wall clock time (in seconds): 1762.819

Verifier Data 

OK	307

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3687521-1337871956/watcher-3687521-1337871956 -o /tmp/evaluation-result-3687521-1337871956/solver-3687521-1337871956 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3687521-1337871956.opb 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 1.47 0.46 0.16 3/194 21655
/proc/meminfo: memFree=28984628/32873648 swapFree=6844/6844
[pid=21655] ppid=21653 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/21655/stat : 21655 (java) D 21653 21655 21479 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 253322329 9515008 182 33554432000 1073741824 1073778376 140734913816560 140734913807592 271787572917 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/21655/statm: 2323 182 140 9 0 71 0

[startup+0.025309 s]
/proc/loadavg: 1.47 0.46 0.16 3/194 21655
/proc/meminfo: memFree=28984628/32873648 swapFree=6844/6844
[pid=21655] ppid=21653 vsize=9014776 CPUtime=0 cores=1,3,5,7
/proc/21655/stat : 21655 (java) S 21653 21655 21479 0 -1 4202496 2229 0 1 0 0 0 0 0 20 0 10 0 253322329 9231130624 2930 33554432000 1073741824 1073778376 140736135923888 140736135915024 271790932029 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21655/statm: 2253694 2930 1080 9 0 2244803 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9014776

[startup+0.10026 s]
/proc/loadavg: 1.47 0.46 0.16 3/194 21655
/proc/meminfo: memFree=28984628/32873648 swapFree=6844/6844
[pid=21655] ppid=21653 vsize=9558412 CPUtime=0.09 cores=1,3,5,7
/proc/21655/stat : 21655 (java) S 21653 21655 21479 0 -1 4202496 4251 0 1 0 8 1 0 0 20 0 18 0 253322329 9787813888 5441 33554432000 1073741824 1073778376 140736135923888 140736135915024 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21655/statm: 2389603 5441 2108 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412

[startup+0.300214 s]
/proc/loadavg: 1.47 0.46 0.16 3/194 21655
/proc/meminfo: memFree=28984628/32873648 swapFree=6844/6844
[pid=21655] ppid=21653 vsize=9624976 CPUtime=0.51 cores=1,3,5,7
/proc/21655/stat : 21655 (java) S 21653 21655 21479 0 -1 4202496 6460 0 1 0 50 1 0 0 20 0 19 0 253322329 9855975424 7886 33554432000 1073741824 1073778376 140736135923888 140736135915024 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21655/statm: 2406244 7886 2237 9 0 2396937 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 9624976

[startup+0.700236 s]
/proc/loadavg: 1.47 0.46 0.16 3/194 21655
/proc/meminfo: memFree=28984628/32873648 swapFree=6844/6844
[pid=21655] ppid=21653 vsize=9624976 CPUtime=1.1 cores=1,3,5,7
/proc/21655/stat : 21655 (java) S 21653 21655 21479 0 -1 4202496 9476 0 1 0 108 2 0 0 20 0 19 0 253322329 9855975424 14681 33554432000 1073741824 1073778376 140736135923888 140736135915024 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21655/statm: 2406244 14681 2242 9 0 2396937 0
Current children cumulated CPU time (s) 1.1
Current children cumulated vsize (KiB) 9624976

[startup+1.50072 s]
/proc/loadavg: 1.47 0.46 0.16 5/213 21674
/proc/meminfo: memFree=28897648/32873648 swapFree=6844/6844
[pid=21655] ppid=21653 vsize=9624976 CPUtime=1.95 cores=1,3,5,7
/proc/21655/stat : 21655 (java) S 21653 21655 21479 0 -1 4202496 9576 0 1 0 191 4 0 0 20 0 19 0 253322329 9855975424 31634 33554432000 1073741824 1073778376 140736135923888 140736135915024 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21655/statm: 2406244 31634 2270 9 0 2396937 0
[pid=21655/tid=21657] ppid=21653 vsize=9624976 CPUtime=1.45 cores=1,3,5,7
/proc/21655/task/21657/stat : 21657 (java) R 21653 21655 21479 0 -1 4202560 2492 0 1 0 143 2 0 0 20 0 19 0 253322330 9855975424 31634 33554432000 1073741824 1073778376 140736135923888 139995777700216 139995617117681 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21655/tid=21658] ppid=21653 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21655/task/21658/stat : 21658 (java) S 21653 21655 21479 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 253322331 9855975424 31634 33554432000 1073741824 1073778376 140736135923888 139995739191464 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21655/tid=21659] ppid=21653 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21655/task/21659/stat : 21659 (java) S 21653 21655 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253322331 9855975424 31634 33554432000 1073741824 1073778376 140736135923888 139995738138920 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21655/tid=21660] ppid=21653 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21655/task/21660/stat : 21660 (java) S 21653 21655 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253322331 9855975424 31634 33554432000 1073741824 1073778376 140736135923888 139995737086376 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21655/tid=21661] ppid=21653 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21655/task/21661/stat : 21661 (java) S 21653 21655 21479 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253322331 9855975424 31634 33554432000 1073741824 1073778376 140736135923888 139995736033832 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21655/tid=21662] ppid=21653 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21655/task/21662/stat : 21662 (java) S 21653 21655 21479 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253322331 9855975424 31634 33554432000 1073741824 1073778376 140736135923888 139995616635560 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21655/tid=21663] ppid=21653 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21655/task/21663/stat : 21663 (java) S 21653 21655 21479 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253322331 9855975424 31634 33554432000 1073741824 1073778376 140736135923888 139995615583016 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21655/tid=21664] ppid=21653 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21655/task/21664/stat : 21664 (java) S 21653 21655 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253322331 9855975424 31634 33554432000 1073741824 1073778376 140736135923888 139995614530472 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21655/tid=21665] ppid=21653 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21655/task/21665/stat : 21665 (java) S 21653 21655 21479 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253322331 9855975424 31634 33554432000 1073741824 1073778376 140736135923888 139995613477928 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21655/tid=21666] ppid=21653 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21655/task/21666/stat : 21666 (java) S 21653 21655 21479 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 19 0 253322332 9855975424 31634 33554432000 1073741824 1073778376 140736135923888 139995601279080 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21655/tid=21667] ppid=21653 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21655/task/21667/stat : 21667 (java) S 21653 21655 21479 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253322333 9855975424 31634 33554432000 1073741824 1073778376 140736135923888 139994995876984 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21655/tid=21668] ppid=21653 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21655/task/21668/stat : 21668 (java) S 21653 21655 21479 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253322333 9855975424 31634 33554432000 1073741824 1073778376 140736135923888 139994994824328 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21655/tid=21669] ppid=21653 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21655/task/21669/stat : 21669 (java) S 21653 21655 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253322336 9855975424 31634 33554432000 1073741824 1073778376 140736135923888 139994993773072 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21655/tid=21670] ppid=21653 vsize=9624976 CPUtime=0.28 cores=1,3,5,7
/proc/21655/task/21670/stat : 21670 (java) S 21653 21655 21479 0 -1 4202560 3989 0 0 0 28 0 0 0 20 0 19 0 253322336 9855975424 31634 33554432000 1073741824 1073778376 140736135923888 139994992720440 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21655/tid=21671] ppid=21653 vsize=9624976 CPUtime=0.16 cores=1,3,5,7
/proc/21655/task/21671/stat : 21671 (java) S 21653 21655 21479 0 -1 4202560 1848 0 0 0 16 0 0 0 20 0 19 0 253322336 9855975424 31634 33554432000 1073741824 1073778376 140736135923888 139994991667896 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21655/tid=21672] ppid=21653 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21655/task/21672/stat : 21672 (java) S 21653 21655 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253322336 9855975424 31634 33554432000 1073741824 1073778376 140736135923888 139994990615544 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21655/tid=21673] ppid=21653 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21655/task/21673/stat : 21673 (java) S 21653 21655 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253322336 9855975424 31634 33554432000 1073741824 1073778376 140736135923888 139994989563208 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21655/tid=21674] ppid=21653 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21655/task/21674/stat : 21674 (java) S 21653 21655 21479 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253322348 9855975424 31634 33554432000 1073741824 1073778376 140736135923888 139994988507944 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.95
Current children cumulated vsize (KiB) 9624976

[startup+3.10065 s]
/proc/loadavg: 1.47 0.46 0.16 3/213 21674
/proc/meminfo: memFree=28831368/32873648 swapFree=6844/6844
[pid=21655] ppid=21653 vsize=9624976 CPUtime=3.61 cores=1,3,5,7
/proc/21655/stat : 21655 (java) S 21653 21655 21479 0 -1 4202496 10046 0 1 0 356 5 0 0 20 0 19 0 253322329 9855975424 41590 33554432000 1073741824 1073778376 140736135923888 140736135915024 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21655/statm: 2406244 41590 2270 9 0 2396937 0
[pid=21655/tid=21657] ppid=21653 vsize=9624976 CPUtime=3.01 cores=1,3,5,7
/proc/21655/task/21657/stat : 21657 (java) S 21653 21655 21479 0 -1 4202560 2509 0 1 0 298 3 0 0 20 0 19 0 253322330 9855975424 41590 33554432000 1073741824 1073778376 140736135923888 139995777700248 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21655/tid=21658] ppid=21653 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21655/task/21658/stat : 21658 (java) S 21653 21655 21479 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 253322331 9855975424 41590 33554432000 1073741824 1073778376 140736135923888 139995739191464 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21655/tid=21659] ppid=21653 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21655/task/21659/stat : 21659 (java) S 21653 21655 21479 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253322331 9855975424 41590 33554432000 1073741824 1073778376 140736135923888 139995738138920 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21655/tid=21660] ppid=21653 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21655/task/21660/stat : 21660 (java) S 21653 21655 21479 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253322331 9855975424 41590 33554432000 1073741824 1073778376 140736135923888 139995737086376 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21655/tid=21661] ppid=21653 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21655/task/21661/stat : 21661 (java) S 21653 21655 21479 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 253322331 9855975424 41590 33554432000 1073741824 1073778376 140736135923888 139995736033832 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21655/tid=21662] ppid=21653 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21655/task/21662/stat : 21662 (java) S 21653 21655 21479 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253322331 9855975424 41590 33554432000 1073741824 1073778376 140736135923888 139995616635560 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21655/tid=21663] ppid=21653 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21655/task/21663/stat : 21663 (java) S 21653 21655 21479 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 253322331 9855975424 41590 33554432000 1073741824 1073778376 140736135923888 139995615583016 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21655/tid=21664] ppid=21653 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21655/task/21664/stat : 21664 (java) S 21653 21655 21479 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253322331 9855975424 41590 33554432000 1073741824 1073778376 140736135923888 139995614530472 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21655/tid=21665] ppid=21653 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21655/task/21665/stat : 21665 (java) S 21653 21655 21479 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253322331 9855975424 41590 33554432000 1073741824 1073778376 140736135923888 139995613477928 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21655/tid=21666] ppid=21653 vsize=9624976 CPUtime=0.03 cores=1,3,5,7
/proc/21655/task/21666/stat : 21666 (java) R 21653 21655 21479 0 -1 4202560 34 0 0 0 3 0 0 0 20 0 19 0 253322332 9855975424 41590 33554432000 1073741824 1073778376 140736135923888 139995601277936 139995784556380 0 0 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=21655/tid=21667] ppid=21653 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21655/task/21667/stat : 21667 (java) S 21653 21655 21479 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253322333 9855975424 41590 33554432000 1073741824 1073778376 140736135923888 139994995876984 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21655/tid=21668] ppid=21653 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21655/task/21668/stat : 21668 (java) S 21653 21655 21479 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253322333 9855975424 41590 33554432000 1073741824 1073778376 140736135923888 139994994824328 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21655/tid=21669] ppid=21653 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21655/task/21669/stat : 21669 (java) S 21653 21655 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253322336 9855975424 41590 33554432000 1073741824 1073778376 140736135923888 139994993773072 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21655/tid=21670] ppid=21653 vsize=9624976 CPUtime=0.3 cores=1,3,5,7
/proc/21655/task/21670/stat : 21670 (java) S 21653 21655 21479 0 -1 4202560 3990 0 0 0 30 0 0 0 20 0 19 0 253322336 9855975424 41590 33554432000 1073741824 1073778376 140736135923888 139994992712408 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21655/tid=21671] ppid=21653 vsize=9624976 CPUtime=0.19 cores=1,3,5,7
/proc/21655/task/21671/stat : 21671 (java) S 21653 21655 21479 0 -1 4202560 2271 0 0 0 19 0 0 0 20 0 19 0 253322336 9855975424 41590 33554432000 1073741824 1073778376 140736135923888 139994991644120 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21655/tid=21672] ppid=21653 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21655/task/21672/stat : 21672 (java) S 21653 21655 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253322336 9855975424 41590 33554432000 1073741824 1073778376 140736135923888 139994990615544 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21655/tid=21673] ppid=21653 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21655/task/21673/stat : 21673 (java) S 21653 21655 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253322336 9855975424 41590 33554432000 1073741824 1073778376 140736135923888 139994989563208 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21655/tid=21674] ppid=21653 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21655/task/21674/stat : 21674 (java) S 21653 21655 21479 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253322348 9855975424 41590 33554432000 1073741824 1073778376 140736135923888 139994988507944 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.61
Current children cumulated vsize (KiB) 9624976

[startup+6.30072 s]
/proc/loadavg: 1.51 0.48 0.17 3/213 21674
/proc/meminfo: memFree=28811560/32873648 swapFree=6844/6844
[pid=21655] ppid=21653 vsize=9624976 CPUtime=6.87 cores=1,3,5,7
/proc/21655/stat : 21655 (java) S 21653 21655 21479 0 -1 4202496 10265 0 1 0 681 6 0 0 20 0 19 0 253322329 9855975424 51773 33554432000 1073741824 1073778376 140736135923888 140736135915024 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21655/statm: 2406244 51773 2271 9 0 2396937 0
[pid=21655/tid=21657] ppid=21653 vsize=9624976 CPUtime=6.13 cores=1,3,5,7
/proc/21655/task/21657/stat : 21657 (java) R 21653 21655 21479 0 -1 4202560 2525 0 1 0 610 3 0 0 20 0 19 0 253322330 9855975424 51773 33554432000 1073741824 1073778376 140736135923888 139995777700128 139995617104272 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21655/tid=21658] ppid=21653 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/21655/task/21658/stat : 21658 (java) S 21653 21655 21479 0 -1 4202560 22 0 0 0 1 0 0 0 20 0 19 0 253322331 9855975424 51773 33554432000 1073741824 1073778376 140736135923888 139995739191464 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21655/tid=21659] ppid=21653 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/21655/task/21659/stat : 21659 (java) S 21653 21655 21479 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 19 0 253322331 9855975424 51773 33554432000 1073741824 1073778376 140736135923888 139995738138920 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21655/tid=21660] ppid=21653 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21655/task/21660/stat : 21660 (java) S 21653 21655 21479 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253322331 9855975424 51773 33554432000 1073741824 1073778376 140736135923888 139995737086376 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21655/tid=21661] ppid=21653 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21655/task/21661/stat : 21661 (java) S 21653 21655 21479 0 -1 4202560 27 0 0 0 0 0 0 0 20 0 19 0 253322331 9855975424 51773 33554432000 1073741824 1073778376 140736135923888 139995736033832 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21655/tid=21662] ppid=21653 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21655/task/21662/stat : 21662 (java) S 21653 21655 21479 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253322331 9855975424 51773 33554432000 1073741824 1073778376 140736135923888 139995616635560 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21655/tid=21663] ppid=21653 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21655/task/21663/stat : 21663 (java) S 21653 21655 21479 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 253322331 9855975424 51773 33554432000 1073741824 1073778376 140736135923888 139995615583016 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21655/tid=21664] ppid=21653 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21655/task/21664/stat : 21664 (java) S 21653 21655 21479 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253322331 9855975424 51773 33554432000 1073741824 1073778376 140736135923888 139995614530472 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21655/tid=21665] ppid=21653 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21655/task/21665/stat : 21665 (java) S 21653 21655 21479 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253322331 9855975424 51773 33554432000 1073741824 1073778376 140736135923888 139995613477928 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21655/tid=21666] ppid=21653 vsize=9624976 CPUtime=0.08 cores=1,3,5,7
/proc/21655/task/21666/stat : 21666 (java) S 21653 21655 21479 0 -1 4202560 101 0 0 0 8 0 0 0 20 0 19 0 253322332 9855975424 51773 33554432000 1073741824 1073778376 140736135923888 139995601279080 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21655/tid=21667] ppid=21653 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21655/task/21667/stat : 21667 (java) S 21653 21655 21479 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253322333 9855975424 51773 33554432000 1073741824 1073778376 140736135923888 139994995876984 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21655/tid=21668] ppid=21653 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21655/task/21668/stat : 21668 (java) S 21653 21655 21479 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253322333 9855975424 51773 33554432000 1073741824 1073778376 140736135923888 139994994824328 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21655/tid=21669] ppid=21653 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21655/task/21669/stat : 21669 (java) S 21653 21655 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253322336 9855975424 51773 33554432000 1073741824 1073778376 140736135923888 139994993773072 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21655/tid=21670] ppid=21653 vsize=9624976 CPUtime=0.3 cores=1,3,5,7
/proc/21655/task/21670/stat : 21670 (java) S 21653 21655 21479 0 -1 4202560 3990 0 0 0 30 0 0 0 20 0 19 0 253322336 9855975424 51773 33554432000 1073741824 1073778376 140736135923888 139994992720440 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21655/tid=21671] ppid=21653 vsize=9624976 CPUtime=0.21 cores=1,3,5,7
/proc/21655/task/21671/stat : 21671 (java) S 21653 21655 21479 0 -1 4202560 2368 0 0 0 21 0 0 0 20 0 19 0 253322336 9855975424 51773 33554432000 1073741824 1073778376 140736135923888 139994991667896 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21655/tid=21672] ppid=21653 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21655/task/21672/stat : 21672 (java) S 21653 21655 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253322336 9855975424 51773 33554432000 1073741824 1073778376 140736135923888 139994990615544 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21655/tid=21673] ppid=21653 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21655/task/21673/stat : 21673 (java) S 21653 21655 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253322336 9855975424 51773 33554432000 1073741824 1073778376 140736135923888 139994989563208 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21655/tid=21674] ppid=21653 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21655/task/21674/stat : 21674 (java) S 21653 21655 21479 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253322348 9855975424 51773 33554432000 1073741824 1073778376 140736135923888 139994988507944 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.87
Current children cumulated vsize (KiB) 9624976

[startup+12.7007 s]

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

[pid=21655/tid=21663] ppid=21653 vsize=9624976 CPUtime=5.71 cores=1,3,5,7
/proc/21655/task/21663/stat : 21663 (java) S 21653 21655 21479 0 -1 4202560 1430 0 0 0 553 18 0 0 20 0 19 0 253322331 9855975424 138951 33554432000 1073741824 1073778376 140736135923888 139995615583016 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21655/tid=21664] ppid=21653 vsize=9624976 CPUtime=5.65 cores=1,3,5,7
/proc/21655/task/21664/stat : 21664 (java) S 21653 21655 21479 0 -1 4202560 1672 0 0 0 548 17 0 0 20 0 19 0 253322331 9855975424 138951 33554432000 1073741824 1073778376 140736135923888 139995614530472 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21655/tid=21665] ppid=21653 vsize=9624976 CPUtime=5.72 cores=1,3,5,7
/proc/21655/task/21665/stat : 21665 (java) S 21653 21655 21479 0 -1 4202560 1685 0 0 0 551 21 0 0 20 0 19 0 253322331 9855975424 138951 33554432000 1073741824 1073778376 140736135923888 139995613477928 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21655/tid=21666] ppid=21653 vsize=9624976 CPUtime=11.48 cores=1,3,5,7
/proc/21655/task/21666/stat : 21666 (java) S 21653 21655 21479 0 -1 4202560 1387 0 0 0 1134 14 0 0 20 0 19 0 253322332 9855975424 138951 33554432000 1073741824 1073778376 140736135923888 139995601279080 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21655/tid=21667] ppid=21653 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21655/task/21667/stat : 21667 (java) S 21653 21655 21479 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253322333 9855975424 138951 33554432000 1073741824 1073778376 140736135923888 139994995876984 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21655/tid=21668] ppid=21653 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21655/task/21668/stat : 21668 (java) S 21653 21655 21479 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253322333 9855975424 138951 33554432000 1073741824 1073778376 140736135923888 139994994824328 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21655/tid=21669] ppid=21653 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21655/task/21669/stat : 21669 (java) S 21653 21655 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253322336 9855975424 138951 33554432000 1073741824 1073778376 140736135923888 139994993773072 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21655/tid=21670] ppid=21653 vsize=9624976 CPUtime=0.36 cores=1,3,5,7
/proc/21655/task/21670/stat : 21670 (java) S 21653 21655 21479 0 -1 4202560 3995 0 0 0 36 0 0 0 20 0 19 0 253322336 9855975424 138951 33554432000 1073741824 1073778376 140736135923888 139994992720440 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21655/tid=21671] ppid=21653 vsize=9624976 CPUtime=1.55 cores=1,3,5,7
/proc/21655/task/21671/stat : 21671 (java) S 21653 21655 21479 0 -1 4202560 18626 0 0 0 152 3 0 0 20 0 19 0 253322336 9855975424 138951 33554432000 1073741824 1073778376 140736135923888 139994991667896 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21655/tid=21672] ppid=21653 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21655/task/21672/stat : 21672 (java) S 21653 21655 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253322336 9855975424 138951 33554432000 1073741824 1073778376 140736135923888 139994990615544 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21655/tid=21673] ppid=21653 vsize=9624976 CPUtime=0.66 cores=1,3,5,7
/proc/21655/task/21673/stat : 21673 (java) S 21653 21655 21479 0 -1 4202560 97 0 0 0 31 35 0 0 20 0 19 0 253322336 9855975424 138951 33554432000 1073741824 1073778376 140736135923888 139994989563208 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21655/tid=21674] ppid=21653 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21655/task/21674/stat : 21674 (java) S 21653 21655 21479 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253322348 9855975424 138951 33554432000 1073741824 1073778376 140736135923888 139994988507944 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1697.27
Current children cumulated vsize (KiB) 9624976

[startup+1722.3 s]
/proc/loadavg: 2.05 2.03 1.70 3/213 21690
/proc/meminfo: memFree=28355316/32873648 swapFree=6844/6844
[pid=21655] ppid=21653 vsize=9624976 CPUtime=1758.37 cores=1,3,5,7
/proc/21655/stat : 21655 (java) S 21653 21655 21479 0 -1 4202496 45812 0 1 0 175629 208 0 0 20 0 19 0 253322329 9855975424 126566 33554432000 1073741824 1073778376 140736135923888 140736135915024 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21655/statm: 2406244 126566 2272 9 0 2396937 0
[pid=21655/tid=21657] ppid=21653 vsize=9624976 CPUtime=1696.55 cores=1,3,5,7
/proc/21655/task/21657/stat : 21657 (java) R 21653 21655 21479 0 -1 4202560 7220 0 1 0 169619 36 0 0 20 0 19 0 253322330 9855975424 126566 33554432000 1073741824 1073778376 140736135923888 139995777699256 139995617133389 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21655/tid=21658] ppid=21653 vsize=9624976 CPUtime=5.95 cores=1,3,5,7
/proc/21655/task/21658/stat : 21658 (java) S 21653 21655 21479 0 -1 4202560 1498 0 0 0 577 18 0 0 20 0 19 0 253322331 9855975424 126566 33554432000 1073741824 1073778376 140736135923888 139995739191464 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21655/tid=21659] ppid=21653 vsize=9624976 CPUtime=6.11 cores=1,3,5,7
/proc/21655/task/21659/stat : 21659 (java) S 21653 21655 21479 0 -1 4202560 1305 0 0 0 595 16 0 0 20 0 19 0 253322331 9855975424 126566 33554432000 1073741824 1073778376 140736135923888 139995738138920 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21655/tid=21660] ppid=21653 vsize=9624976 CPUtime=6.02 cores=1,3,5,7
/proc/21655/task/21660/stat : 21660 (java) S 21653 21655 21479 0 -1 4202560 2246 0 0 0 583 19 0 0 20 0 19 0 253322331 9855975424 126566 33554432000 1073741824 1073778376 140736135923888 139995737086376 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21655/tid=21661] ppid=21653 vsize=9624976 CPUtime=5.88 cores=1,3,5,7
/proc/21655/task/21661/stat : 21661 (java) S 21653 21655 21479 0 -1 4202560 1404 0 0 0 570 18 0 0 20 0 19 0 253322331 9855975424 126566 33554432000 1073741824 1073778376 140736135923888 139995736033832 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21655/tid=21662] ppid=21653 vsize=9624976 CPUtime=6.12 cores=1,3,5,7
/proc/21655/task/21662/stat : 21662 (java) S 21653 21655 21479 0 -1 4202560 1749 0 0 0 593 19 0 0 20 0 19 0 253322331 9855975424 126566 33554432000 1073741824 1073778376 140736135923888 139995616635560 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21655/tid=21663] ppid=21653 vsize=9624976 CPUtime=5.87 cores=1,3,5,7
/proc/21655/task/21663/stat : 21663 (java) S 21653 21655 21479 0 -1 4202560 1655 0 0 0 569 18 0 0 20 0 19 0 253322331 9855975424 126566 33554432000 1073741824 1073778376 140736135923888 139995615583016 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21655/tid=21664] ppid=21653 vsize=9624976 CPUtime=5.87 cores=1,3,5,7
/proc/21655/task/21664/stat : 21664 (java) S 21653 21655 21479 0 -1 4202560 1759 0 0 0 570 17 0 0 20 0 19 0 253322331 9855975424 126566 33554432000 1073741824 1073778376 140736135923888 139995614530472 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21655/tid=21665] ppid=21653 vsize=9624976 CPUtime=5.93 cores=1,3,5,7
/proc/21655/task/21665/stat : 21665 (java) S 21653 21655 21479 0 -1 4202560 1685 0 0 0 572 21 0 0 20 0 19 0 253322331 9855975424 126566 33554432000 1073741824 1073778376 140736135923888 139995613477928 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21655/tid=21666] ppid=21653 vsize=9624976 CPUtime=11.91 cores=1,3,5,7
/proc/21655/task/21666/stat : 21666 (java) S 21653 21655 21479 0 -1 4202560 1391 0 0 0 1177 14 0 0 20 0 19 0 253322332 9855975424 126566 33554432000 1073741824 1073778376 140736135923888 139995601279080 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21655/tid=21667] ppid=21653 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21655/task/21667/stat : 21667 (java) S 21653 21655 21479 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253322333 9855975424 126566 33554432000 1073741824 1073778376 140736135923888 139994995876984 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21655/tid=21668] ppid=21653 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21655/task/21668/stat : 21668 (java) S 21653 21655 21479 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253322333 9855975424 126566 33554432000 1073741824 1073778376 140736135923888 139994994824328 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21655/tid=21669] ppid=21653 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21655/task/21669/stat : 21669 (java) S 21653 21655 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253322336 9855975424 126566 33554432000 1073741824 1073778376 140736135923888 139994993773072 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21655/tid=21670] ppid=21653 vsize=9624976 CPUtime=0.36 cores=1,3,5,7
/proc/21655/task/21670/stat : 21670 (java) S 21653 21655 21479 0 -1 4202560 3995 0 0 0 36 0 0 0 20 0 19 0 253322336 9855975424 126566 33554432000 1073741824 1073778376 140736135923888 139994992720440 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21655/tid=21671] ppid=21653 vsize=9624976 CPUtime=1.55 cores=1,3,5,7
/proc/21655/task/21671/stat : 21671 (java) S 21653 21655 21479 0 -1 4202560 18626 0 0 0 152 3 0 0 20 0 19 0 253322336 9855975424 126566 33554432000 1073741824 1073778376 140736135923888 139994991667896 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21655/tid=21672] ppid=21653 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21655/task/21672/stat : 21672 (java) S 21653 21655 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253322336 9855975424 126566 33554432000 1073741824 1073778376 140736135923888 139994990615544 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21655/tid=21673] ppid=21653 vsize=9624976 CPUtime=0.68 cores=1,3,5,7
/proc/21655/task/21673/stat : 21673 (java) S 21653 21655 21479 0 -1 4202560 99 0 0 0 32 36 0 0 20 0 19 0 253322336 9855975424 126566 33554432000 1073741824 1073778376 140736135923888 139994989563208 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21655/tid=21674] ppid=21653 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21655/task/21674/stat : 21674 (java) S 21653 21655 21479 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253322348 9855975424 126566 33554432000 1073741824 1073778376 140736135923888 139994988507944 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1758.37
Current children cumulated vsize (KiB) 9624976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1762.9 s]
/proc/loadavg: 2.07 2.04 1.72 3/213 21749
/proc/meminfo: memFree=28470664/32873648 swapFree=6844/6844
[pid=21655] ppid=21653 vsize=9624976 CPUtime=1800.09 cores=1,3,5,7
/proc/21655/stat : 21655 (java) S 21653 21655 21479 0 -1 4202496 46364 0 1 0 179797 212 0 0 20 0 19 0 253322329 9855975424 132648 33554432000 1073741824 1073778376 140736135923888 140736135915024 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21655/statm: 2406244 132648 2272 9 0 2396937 0
[pid=21655/tid=21657] ppid=21653 vsize=9624976 CPUtime=1736.37 cores=1,3,5,7
/proc/21655/task/21657/stat : 21657 (java) R 21653 21655 21479 0 -1 4202560 7236 0 1 0 173600 37 0 0 20 0 19 0 253322330 9855975424 132648 33554432000 1073741824 1073778376 140736135923888 139995777699152 139995617404942 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21655/tid=21658] ppid=21653 vsize=9624976 CPUtime=6.16 cores=1,3,5,7
/proc/21655/task/21658/stat : 21658 (java) S 21653 21655 21479 0 -1 4202560 1640 0 0 0 597 19 0 0 20 0 19 0 253322331 9855975424 132648 33554432000 1073741824 1073778376 140736135923888 139995739191464 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21655/tid=21659] ppid=21653 vsize=9624976 CPUtime=6.25 cores=1,3,5,7
/proc/21655/task/21659/stat : 21659 (java) S 21653 21655 21479 0 -1 4202560 1308 0 0 0 609 16 0 0 20 0 19 0 253322331 9855975424 132648 33554432000 1073741824 1073778376 140736135923888 139995738138920 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21655/tid=21660] ppid=21653 vsize=9624976 CPUtime=6.21 cores=1,3,5,7
/proc/21655/task/21660/stat : 21660 (java) S 21653 21655 21479 0 -1 4202560 2344 0 0 0 601 20 0 0 20 0 19 0 253322331 9855975424 132648 33554432000 1073741824 1073778376 140736135923888 139995737086376 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21655/tid=21661] ppid=21653 vsize=9624976 CPUtime=6.07 cores=1,3,5,7
/proc/21655/task/21661/stat : 21661 (java) S 21653 21655 21479 0 -1 4202560 1417 0 0 0 589 18 0 0 20 0 19 0 253322331 9855975424 132648 33554432000 1073741824 1073778376 140736135923888 139995736033832 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21655/tid=21662] ppid=21653 vsize=9624976 CPUtime=6.32 cores=1,3,5,7
/proc/21655/task/21662/stat : 21662 (java) S 21653 21655 21479 0 -1 4202560 1758 0 0 0 612 20 0 0 20 0 19 0 253322331 9855975424 132648 33554432000 1073741824 1073778376 140736135923888 139995616635560 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21655/tid=21663] ppid=21653 vsize=9624976 CPUtime=6.03 cores=1,3,5,7
/proc/21655/task/21663/stat : 21663 (java) S 21653 21655 21479 0 -1 4202560 1758 0 0 0 584 19 0 0 20 0 19 0 253322331 9855975424 132648 33554432000 1073741824 1073778376 140736135923888 139995615583016 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21655/tid=21664] ppid=21653 vsize=9624976 CPUtime=6.08 cores=1,3,5,7
/proc/21655/task/21664/stat : 21664 (java) S 21653 21655 21479 0 -1 4202560 1864 0 0 0 591 17 0 0 20 0 19 0 253322331 9855975424 132648 33554432000 1073741824 1073778376 140736135923888 139995614530472 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21655/tid=21665] ppid=21653 vsize=9624976 CPUtime=6.17 cores=1,3,5,7
/proc/21655/task/21665/stat : 21665 (java) S 21653 21655 21479 0 -1 4202560 1694 0 0 0 595 22 0 0 20 0 19 0 253322331 9855975424 132648 33554432000 1073741824 1073778376 140736135923888 139995613477928 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21655/tid=21666] ppid=21653 vsize=9624976 CPUtime=12.26 cores=1,3,5,7
/proc/21655/task/21666/stat : 21666 (java) S 21653 21655 21479 0 -1 4202560 1441 0 0 0 1211 15 0 0 20 0 19 0 253322332 9855975424 132648 33554432000 1073741824 1073778376 140736135923888 139995601279080 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21655/tid=21667] ppid=21653 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21655/task/21667/stat : 21667 (java) S 21653 21655 21479 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253322333 9855975424 132648 33554432000 1073741824 1073778376 140736135923888 139994995876984 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21655/tid=21668] ppid=21653 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21655/task/21668/stat : 21668 (java) S 21653 21655 21479 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253322333 9855975424 132648 33554432000 1073741824 1073778376 140736135923888 139994994824328 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21655/tid=21669] ppid=21653 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21655/task/21669/stat : 21669 (java) S 21653 21655 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253322336 9855975424 132648 33554432000 1073741824 1073778376 140736135923888 139994993773072 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21655/tid=21670] ppid=21653 vsize=9624976 CPUtime=0.36 cores=1,3,5,7
/proc/21655/task/21670/stat : 21670 (java) S 21653 21655 21479 0 -1 4202560 3995 0 0 0 36 0 0 0 20 0 19 0 253322336 9855975424 132648 33554432000 1073741824 1073778376 140736135923888 139994992720440 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21655/tid=21671] ppid=21653 vsize=9624976 CPUtime=1.55 cores=1,3,5,7
/proc/21655/task/21671/stat : 21671 (java) S 21653 21655 21479 0 -1 4202560 18626 0 0 0 152 3 0 0 20 0 19 0 253322336 9855975424 132648 33554432000 1073741824 1073778376 140736135923888 139994991667896 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21655/tid=21672] ppid=21653 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21655/task/21672/stat : 21672 (java) S 21653 21655 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253322336 9855975424 132648 33554432000 1073741824 1073778376 140736135923888 139994990615544 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21655/tid=21673] ppid=21653 vsize=9624976 CPUtime=0.7 cores=1,3,5,7
/proc/21655/task/21673/stat : 21673 (java) S 21653 21655 21479 0 -1 4202560 103 0 0 0 33 37 0 0 20 0 19 0 253322336 9855975424 132648 33554432000 1073741824 1073778376 140736135923888 139994989563208 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21655/tid=21674] ppid=21653 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21655/task/21674/stat : 21674 (java) S 21653 21655 21479 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253322348 9855975424 132648 33554432000 1073741824 1073778376 140736135923888 139994988507944 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 9624976

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+1762.9 s]
/proc/loadavg: 2.07 2.04 1.72 3/213 21749
/proc/meminfo: memFree=28470664/32873648 swapFree=6844/6844
[pid=21655] ppid=21653 vsize=9624976 CPUtime=1800.09 cores=1,3,5,7
/proc/21655/stat : 21655 (java) S 21653 21655 21479 0 -1 4202496 46364 0 1 0 179797 212 0 0 20 0 19 0 253322329 9855975424 132648 33554432000 1073741824 1073778376 140736135923888 140736135915024 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21655/statm: 2406244 132648 2272 9 0 2396937 0
[pid=21655/tid=21657] ppid=21653 vsize=9624976 CPUtime=1736.37 cores=1,3,5,7
/proc/21655/task/21657/stat : 21657 (java) R 21653 21655 21479 0 -1 4202560 7236 0 1 0 173600 37 0 0 20 0 19 0 253322330 9855975424 132648 33554432000 1073741824 1073778376 140736135923888 139995777699152 139995617404942 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21655/tid=21658] ppid=21653 vsize=9624976 CPUtime=6.16 cores=1,3,5,7
/proc/21655/task/21658/stat : 21658 (java) S 21653 21655 21479 0 -1 4202560 1640 0 0 0 597 19 0 0 20 0 19 0 253322331 9855975424 132648 33554432000 1073741824 1073778376 140736135923888 139995739191464 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21655/tid=21659] ppid=21653 vsize=9624976 CPUtime=6.25 cores=1,3,5,7
/proc/21655/task/21659/stat : 21659 (java) S 21653 21655 21479 0 -1 4202560 1308 0 0 0 609 16 0 0 20 0 19 0 253322331 9855975424 132648 33554432000 1073741824 1073778376 140736135923888 139995738138920 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21655/tid=21660] ppid=21653 vsize=9624976 CPUtime=6.21 cores=1,3,5,7
/proc/21655/task/21660/stat : 21660 (java) S 21653 21655 21479 0 -1 4202560 2344 0 0 0 601 20 0 0 20 0 19 0 253322331 9855975424 132648 33554432000 1073741824 1073778376 140736135923888 139995737086376 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21655/tid=21661] ppid=21653 vsize=9624976 CPUtime=6.07 cores=1,3,5,7
/proc/21655/task/21661/stat : 21661 (java) S 21653 21655 21479 0 -1 4202560 1417 0 0 0 589 18 0 0 20 0 19 0 253322331 9855975424 132648 33554432000 1073741824 1073778376 140736135923888 139995736033832 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21655/tid=21662] ppid=21653 vsize=9624976 CPUtime=6.32 cores=1,3,5,7
/proc/21655/task/21662/stat : 21662 (java) S 21653 21655 21479 0 -1 4202560 1758 0 0 0 612 20 0 0 20 0 19 0 253322331 9855975424 132648 33554432000 1073741824 1073778376 140736135923888 139995616635560 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21655/tid=21663] ppid=21653 vsize=9624976 CPUtime=6.03 cores=1,3,5,7
/proc/21655/task/21663/stat : 21663 (java) S 21653 21655 21479 0 -1 4202560 1758 0 0 0 584 19 0 0 20 0 19 0 253322331 9855975424 132648 33554432000 1073741824 1073778376 140736135923888 139995615583016 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21655/tid=21664] ppid=21653 vsize=9624976 CPUtime=6.08 cores=1,3,5,7
/proc/21655/task/21664/stat : 21664 (java) S 21653 21655 21479 0 -1 4202560 1864 0 0 0 591 17 0 0 20 0 19 0 253322331 9855975424 132648 33554432000 1073741824 1073778376 140736135923888 139995614530472 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21655/tid=21665] ppid=21653 vsize=9624976 CPUtime=6.17 cores=1,3,5,7
/proc/21655/task/21665/stat : 21665 (java) S 21653 21655 21479 0 -1 4202560 1694 0 0 0 595 22 0 0 20 0 19 0 253322331 9855975424 132648 33554432000 1073741824 1073778376 140736135923888 139995613477928 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21655/tid=21666] ppid=21653 vsize=9624976 CPUtime=12.26 cores=1,3,5,7
/proc/21655/task/21666/stat : 21666 (java) S 21653 21655 21479 0 -1 4202560 1441 0 0 0 1211 15 0 0 20 0 19 0 253322332 9855975424 132648 33554432000 1073741824 1073778376 140736135923888 139995601279080 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21655/tid=21667] ppid=21653 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21655/task/21667/stat : 21667 (java) S 21653 21655 21479 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253322333 9855975424 132648 33554432000 1073741824 1073778376 140736135923888 139994995876984 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21655/tid=21668] ppid=21653 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21655/task/21668/stat : 21668 (java) S 21653 21655 21479 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253322333 9855975424 132648 33554432000 1073741824 1073778376 140736135923888 139994994824328 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21655/tid=21669] ppid=21653 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21655/task/21669/stat : 21669 (java) S 21653 21655 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253322336 9855975424 132648 33554432000 1073741824 1073778376 140736135923888 139994993773072 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21655/tid=21670] ppid=21653 vsize=9624976 CPUtime=0.36 cores=1,3,5,7
/proc/21655/task/21670/stat : 21670 (java) S 21653 21655 21479 0 -1 4202560 3995 0 0 0 36 0 0 0 20 0 19 0 253322336 9855975424 132648 33554432000 1073741824 1073778376 140736135923888 139994992720440 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21655/tid=21671] ppid=21653 vsize=9624976 CPUtime=1.55 cores=1,3,5,7
/proc/21655/task/21671/stat : 21671 (java) S 21653 21655 21479 0 -1 4202560 18626 0 0 0 152 3 0 0 20 0 19 0 253322336 9855975424 132648 33554432000 1073741824 1073778376 140736135923888 139994991667896 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21655/tid=21672] ppid=21653 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21655/task/21672/stat : 21672 (java) S 21653 21655 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253322336 9855975424 132648 33554432000 1073741824 1073778376 140736135923888 139994990615544 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21655/tid=21673] ppid=21653 vsize=9624976 CPUtime=0.7 cores=1,3,5,7
/proc/21655/task/21673/stat : 21673 (java) S 21653 21655 21479 0 -1 4202560 103 0 0 0 33 37 0 0 20 0 19 0 253322336 9855975424 132648 33554432000 1073741824 1073778376 140736135923888 139994989563208 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21655/tid=21674] ppid=21653 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21655/task/21674/stat : 21674 (java) S 21653 21655 21479 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253322348 9855975424 132648 33554432000 1073741824 1073778376 140736135923888 139994988507944 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 9624976

Child status: 143
Real time (s): 1762.95
CPU time (s): 1800.88
CPU user time (s): 1798.31
CPU system time (s): 2.57261
CPU usage (%): 102.152
Max. virtual memory (cumulated for all children) (KiB): 9626872

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.31
system time used= 2.57261
maximum resident set size= 680312
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46405
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1752
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 61326
involuntary context switches= 93255

runsolver used 5.06123 second user time and 15.6436 second system time

The end

Launcher Data 

Begin job on node115 at 2012-05-24 17:05:56
IDJOB=3687521
IDBENCH=1854
IDSOLVER=2269
FILE ID=node115/3687521-1337871956
RUNJOBID= node115-1337871882-21496
PBS_JOBID= 14620089
Free space on /tmp= 71652 MiB

SOLVER NAME= Sat 4j PB Resolution 2.3.2 Snapshot
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-mod008.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3687521-1337871956/watcher-3687521-1337871956 -o /tmp/evaluation-result-3687521-1337871956/solver-3687521-1337871956 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3687521-1337871956.opb

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

MD5SUM BENCH= 4dd9ac2644c29d272d2675c7fc366ed6
RANDOM SEED=1226794198

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        28984520 kB
Buffers:          192080 kB
Cached:          2818132 kB
SwapCached:            0 kB
Active:           988656 kB
Inactive:        2131728 kB
Active(anon):     112644 kB
Inactive(anon):        0 kB
Active(file):     876012 kB
Inactive(file):  2131728 kB
Unevictable:        6844 kB
Mlocked:            6844 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               480 kB
Writeback:             0 kB
AnonPages:        164380 kB
Mapped:            22568 kB
Shmem:               200 kB
Slab:             623608 kB
SReclaimable:      68264 kB
SUnreclaim:       555344 kB
KernelStack:        1760 kB
PageTables:         4504 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     696024 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    131072 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71648 MiB
End job on node115 at 2012-05-24 17:35:21