Trace number 3688733

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)-19 1800.01 1786.05

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_200_25_1.opb
MD5SUM4142356c9f50acd7c9005938f6b31a6d
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-33
Best CPU time to get the best result obtained on this benchmark1796.84
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -32
Optimality of the best value was proved NO
Number of variables400
Total number of constraints601
Number of constraints which are clauses200
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints401
Minimum length of a constraint2
Maximum length of a constraint400
Number of terms in the objective function 200
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 400
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)12408
Sum of products size (including duplicates)24816
Number of different products6204
Sum of products size12408

Quality of the solution as a function of time


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

Solver Data 

0.03/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.03/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.03/0.09	c See www.sat4j.org for details.
0.08/0.10	c version 2.3.2.v20120418
0.08/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.08/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.08/0.10	c java.vm.version	19.1-b02
0.08/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.08/0.10	c sun.arch.data.model	64
0.08/0.10	c java.version		1.6.0_24
0.08/0.10	c os.name		Linux
0.08/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.08/0.10	c os.arch		amd64
0.08/0.10	c Free memory 		501472288
0.08/0.10	c Max memory 		7480803328
0.08/0.10	c Total memory 		504102912
0.08/0.10	c Number of processors 	8
0.08/0.12	c Pseudo Boolean Optimization by upper bound
0.08/0.12	c --- Begin Solver configuration ---
0.08/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1
0.08/0.12	c Learn all clauses as in MiniSAT
0.08/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.12	c No reason simplification
0.08/0.12	c Armin Biere (Picosat) restarts strategy
0.08/0.12	c Glucose learned constraints deletion strategy
0.08/0.12	c timeout=2147483s
0.08/0.12	c DB Simplification allowed=false
0.08/0.12	c c --- End Solver configuration ---
0.08/0.12	c solving HOME/instance-3688733-1337886978.opb
0.08/0.12	c reading problem ... 
1.04/0.51	c ... done. Wall clock time 0.39s.
1.04/0.51	c declared #vars     400
1.04/0.51	c internal #vars     6604
1.04/0.51	c #constraints  13010
1.04/0.51	c constraints type 
1.04/0.51	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6204
1.04/0.51	c org.sat4j.minisat.constraints.card.MinWatchCard => 402
1.04/0.51	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 200
1.04/0.51	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6204
1.04/0.51	c 13010 constraints processed.
1.04/0.51	c objective function length is 200 literals
2.17/1.23	c SATISFIABLE
2.17/1.23	c OPTIMIZING...
2.17/1.23	c Got one! Elapsed wall clock time (in seconds):1.102
2.17/1.23	o -17
2.69/1.76	c Got one! Elapsed wall clock time (in seconds):1.636
2.69/1.76	o -18
3.70/2.74	c cleaning 2976 clauses out of 5956 with flag 3102/5956
4.98/3.91	c cleaning 4450 clauses out of 8902 with flag 9024/11878
6.79/5.79	c cleaning 5711 clauses out of 11438 with flag 16010/18864
9.31/8.28	c cleaning 6858 clauses out of 13717 with flag 24000/26854
11.68/10.51	c cleaning 7958 clauses out of 15915 with flag 33056/35910
13.10/12.00	c cleaning 8944 clauses out of 17902 with flag 43001/45855
15.71/14.54	c cleaning 9997 clauses out of 20010 with flag 54053/56907
17.35/16.12	c cleaning 10968 clauses out of 21961 with flag 66001/68855
19.77/18.54	c cleaning 12042 clauses out of 24083 with flag 79091/81945
23.00/21.76	c cleaning 12980 clauses out of 25959 with flag 93009/95863
25.72/24.49	c cleaning 13993 clauses out of 27991 with flag 108021/110875
29.67/28.37	c cleaning 15021 clauses out of 30041 with flag 124064/126918
32.29/30.99	c cleaning 15993 clauses out of 32000 with flag 141044/143898
34.62/33.25	c cleaning 16972 clauses out of 33972 with flag 159009/161863
36.75/35.31	c cleaning 17998 clauses out of 35996 with flag 178005/180859
38.36/36.91	c cleaning 18989 clauses out of 37993 with flag 198000/200854
43.39/41.95	c cleaning 20047 clauses out of 40093 with flag 219089/221943
48.27/46.76	c cleaning 21007 clauses out of 42015 with flag 241058/243912
51.21/49.64	c cleaning 21964 clauses out of 43950 with flag 264000/266854
53.53/51.96	c cleaning 22988 clauses out of 45991 with flag 288005/290859
55.98/54.31	c cleaning 24001 clauses out of 48004 with flag 313006/315860
60.33/58.61	c cleaning 24997 clauses out of 50012 with flag 339015/341869
63.49/61.78	c cleaning 25995 clauses out of 52010 with flag 366010/368864
66.52/64.76	c cleaning 27002 clauses out of 54005 with flag 394000/396854
74.55/72.75	c cleaning 27985 clauses out of 56034 with flag 423031/425885
79.00/77.11	c cleaning 28991 clauses out of 58018 with flag 453000/455854
82.75/80.82	c cleaning 29999 clauses out of 60034 with flag 484007/486861
86.88/84.97	c cleaning 31016 clauses out of 62031 with flag 516003/518857
90.63/88.67	c cleaning 31997 clauses out of 64012 with flag 549000/551854
94.79/92.78	c cleaning 33009 clauses out of 66017 with flag 583002/585856
103.01/100.81	c cleaning 34041 clauses out of 68084 with flag 618078/620932
112.55/110.34	c cleaning 34970 clauses out of 69975 with flag 654010/656864
121.91/119.69	c cleaning 35988 clauses out of 71995 with flag 691000/693854
133.69/131.38	c cleaning 37036 clauses out of 74071 with flag 729064/731918
144.09/141.68	c cleaning 37995 clauses out of 75989 with flag 768018/770872
154.06/151.56	c cleaning 38987 clauses out of 77976 with flag 808000/810854
161.01/158.46	c cleaning 39970 clauses out of 79992 with flag 849003/851857
167.68/165.02	c cleaning 41013 clauses out of 82035 with flag 891016/893870
182.67/179.92	c cleaning 42044 clauses out of 84087 with flag 934081/936935
190.30/187.42	c cleaning 42977 clauses out of 85979 with flag 978017/980871
196.34/193.47	c cleaning 44009 clauses out of 88017 with flag 1023032/1025886
202.89/199.90	c cleaning 44990 clauses out of 89980 with flag 1069004/1071858
208.96/205.93	c cleaning 45983 clauses out of 92002 with flag 1116016/1118870
214.40/211.37	c cleaning 46995 clauses out of 94006 with flag 1164003/1166857
228.91/225.71	c cleaning 48015 clauses out of 96030 with flag 1213022/1215876
243.40/240.19	c cleaning 49037 clauses out of 98076 with flag 1263083/1265937
257.07/253.74	c cleaning 49965 clauses out of 99959 with flag 1314003/1316857
273.01/269.58	c cleaning 51013 clauses out of 102026 with flag 1366035/1368889
284.39/280.87	c cleaning 51988 clauses out of 103997 with flag 1419019/1421873
290.82/287.21	c cleaning 52990 clauses out of 105994 with flag 1473004/1475858
302.91/299.27	c cleaning 54045 clauses out of 108089 with flag 1528089/1530943
322.42/318.65	c cleaning 55009 clauses out of 110022 with flag 1584067/1586921
334.41/330.53	c cleaning 55964 clauses out of 111963 with flag 1641017/1643871
343.68/339.70	c cleaning 56989 clauses out of 114003 with flag 1699021/1701875
350.68/346.68	c cleaning 57982 clauses out of 115995 with flag 1758002/1760856
370.44/366.36	c cleaning 59016 clauses out of 118031 with flag 1818020/1820874
386.48/382.23	c cleaning 60005 clauses out of 120010 with flag 1879015/1881869
406.21/401.86	c cleaning 60989 clauses out of 121998 with flag 1941008/1943862
423.39/418.98	c cleaning 62001 clauses out of 124002 with flag 2004001/2006855
436.25/431.71	c cleaning 62991 clauses out of 126000 with flag 2068000/2070854
444.71/440.12	c cleaning 63994 clauses out of 128016 with flag 2133007/2135861
452.83/448.17	c cleaning 65010 clauses out of 130021 with flag 2199006/2201860
464.37/459.65	c cleaning 66000 clauses out of 132005 with flag 2266000/2268854
478.21/473.40	c cleaning 66999 clauses out of 134005 with flag 2334000/2336854
493.00/488.19	c cleaning 67998 clauses out of 136006 with flag 2403000/2405854
507.28/502.38	c cleaning 68994 clauses out of 138012 with flag 2473004/2475858
522.49/517.43	c cleaning 69994 clauses out of 140022 with flag 2544008/2546862
539.38/534.27	c cleaning 71009 clauses out of 142020 with flag 2616000/2618854
552.23/547.05	c cleaning 71982 clauses out of 144011 with flag 2689000/2691854
565.57/560.31	c cleaning 73015 clauses out of 146029 with flag 2763000/2765854
581.28/575.92	c cleaning 74005 clauses out of 148014 with flag 2838000/2840854
598.09/592.67	c cleaning 74988 clauses out of 150009 with flag 2914000/2916854
612.77/607.27	c cleaning 76013 clauses out of 152025 with flag 2991004/2993858
632.24/626.52	c cleaning 76990 clauses out of 154021 with flag 3069013/3071867
642.81/637.08	c cleaning 78003 clauses out of 156025 with flag 3148007/3150861
655.37/649.47	c cleaning 78996 clauses out of 158018 with flag 3228003/3230857
665.25/659.27	c cleaning 80002 clauses out of 160025 with flag 3309006/3311860
678.52/672.24	c cleaning 81010 clauses out of 162019 with flag 3391002/3393856
687.70/681.23	c cleaning 81998 clauses out of 164009 with flag 3474002/3476856
698.24/691.73	c cleaning 82995 clauses out of 166009 with flag 3558000/3560854
707.73/701.15	c cleaning 84006 clauses out of 168015 with flag 3643001/3645855
718.62/711.91	c cleaning 84997 clauses out of 170009 with flag 3729001/3731855
729.84/723.04	c cleaning 85997 clauses out of 172012 with flag 3816001/3818855
740.31/733.40	c cleaning 87001 clauses out of 174015 with flag 3904001/3906855
751.99/745.09	c cleaning 88005 clauses out of 176019 with flag 3993006/3995860
776.43/769.49	c cleaning 88999 clauses out of 178022 with flag 4083014/4085868
794.94/787.89	c cleaning 89992 clauses out of 180011 with flag 4174002/4176856
815.67/808.44	c cleaning 90999 clauses out of 182021 with flag 4266004/4268858
840.75/833.43	c cleaning 92008 clauses out of 184018 with flag 4359000/4361854
867.88/860.38	c cleaning 93000 clauses out of 186016 with flag 4453006/4455860
876.03/868.46	c Got one! Elapsed wall clock time (in seconds):868.335
876.03/868.46	o -19
878.88/871.23	c cleaning 93704 clauses out of 187427 with flag 5026/4550271
881.15/873.42	c cleaning 49854 clauses out of 99712 with flag 11015/4556260
883.76/876.00	c cleaning 28400 clauses out of 56850 with flag 18007/4563252
885.81/878.00	c cleaning 18228 clauses out of 36463 with flag 26020/4571265
888.15/880.39	c cleaning 13626 clauses out of 27253 with flag 35038/4580283
891.19/883.36	c cleaning 11816 clauses out of 23634 with flag 45045/4590290
894.03/886.16	c cleaning 11393 clauses out of 22787 with flag 56014/4601259
896.88/888.95	c cleaning 11695 clauses out of 23393 with flag 68013/4613258
900.32/892.34	c cleaning 12360 clauses out of 24730 with flag 81045/4626290
903.77/895.76	c cleaning 13181 clauses out of 26364 with flag 95039/4640284
908.80/900.73	c cleaning 14087 clauses out of 28186 with flag 110042/4655287
913.64/905.53	c cleaning 15043 clauses out of 30095 with flag 126038/4671283
917.98/909.81	c cleaning 15991 clauses out of 32018 with flag 143004/4688249
922.22/914.09	c cleaning 17033 clauses out of 34067 with flag 161044/4706289
927.33/919.18	c cleaning 17999 clauses out of 35998 with flag 180008/4725253
932.15/923.98	c cleaning 19007 clauses out of 38014 with flag 200023/4745268
935.68/927.42	c cleaning 19981 clauses out of 39985 with flag 221001/4766246
939.62/931.39	c cleaning 21021 clauses out of 42041 with flag 243038/4788283
945.94/937.69	c cleaning 21983 clauses out of 43986 with flag 266004/4811249
950.67/942.31	c cleaning 23013 clauses out of 46025 with flag 290026/4835271
955.91/947.53	c cleaning 24020 clauses out of 48039 with flag 315053/4860298
962.45/954.00	c cleaning 24987 clauses out of 49973 with flag 341007/4886252
970.83/962.30	c cleaning 26007 clauses out of 52013 with flag 368034/4913279
976.58/968.03	c cleaning 26994 clauses out of 54000 with flag 396028/4941273
981.61/973.02	c cleaning 27987 clauses out of 55982 with flag 425004/4970249
988.97/980.31	c cleaning 29014 clauses out of 58029 with flag 455038/5000283
998.45/989.73	c cleaning 30012 clauses out of 60024 with flag 486047/5031292
1005.59/996.84	c cleaning 30977 clauses out of 61967 with flag 518002/5063247
1014.24/1005.43	c cleaning 32011 clauses out of 64022 with flag 551034/5096279
1023.52/1014.64	c cleaning 32970 clauses out of 65977 with flag 585000/5130245
1030.46/1021.52	c cleaning 33993 clauses out of 68010 with flag 620003/5165248
1035.42/1026.49	c cleaning 35008 clauses out of 70016 with flag 656002/5201247
1041.78/1032.74	c cleaning 36015 clauses out of 72031 with flag 693025/5238270
1047.03/1037.97	c cleaning 36985 clauses out of 73994 with flag 731003/5276248
1051.69/1042.59	c cleaning 37996 clauses out of 76007 with flag 770001/5315246
1056.89/1047.76	c cleaning 39009 clauses out of 78017 with flag 810007/5355252
1061.76/1052.56	c cleaning 39997 clauses out of 80005 with flag 851004/5396249
1066.99/1057.77	c cleaning 41002 clauses out of 82006 with flag 893002/5438247
1071.87/1062.53	c cleaning 42000 clauses out of 84004 with flag 936002/5481247
1082.43/1073.09	c cleaning 43002 clauses out of 86004 with flag 980002/5525247
1093.28/1083.84	c cleaning 43990 clauses out of 88005 with flag 1025005/5570250
1098.94/1089.49	c cleaning 45000 clauses out of 90011 with flag 1071001/5616246
1108.37/1098.83	c cleaning 46001 clauses out of 92010 with flag 1118000/5663245
1118.03/1108.41	c cleaning 47001 clauses out of 94015 with flag 1166006/5711251
1127.69/1118.06	c cleaning 48006 clauses out of 96011 with flag 1215003/5760248
1133.84/1124.16	c cleaning 49003 clauses out of 98005 with flag 1265003/5810248
1143.79/1134.04	c cleaning 49999 clauses out of 100007 with flag 1316008/5861253
1153.00/1143.16	c cleaning 50990 clauses out of 102004 with flag 1368004/5913249
1161.72/1151.86	c cleaning 51999 clauses out of 104013 with flag 1421003/5966248
1168.40/1158.49	c cleaning 52993 clauses out of 106011 with flag 1475000/6020245
1174.86/1164.81	c cleaning 53997 clauses out of 108018 with flag 1530000/6075245
1181.02/1170.95	c cleaning 55005 clauses out of 110022 with flag 1586001/6131246
1187.07/1176.95	c cleaning 55998 clauses out of 112019 with flag 1643003/6188248
1194.22/1184.05	c cleaning 56998 clauses out of 114020 with flag 1701002/6246247
1202.87/1192.61	c cleaning 58008 clauses out of 116025 with flag 1760005/6305250
1211.82/1201.53	c cleaning 58990 clauses out of 118013 with flag 1820001/6365246
1219.97/1209.68	c cleaning 60000 clauses out of 120022 with flag 1881000/6426245
1227.70/1217.30	c cleaning 61009 clauses out of 122026 with flag 1943004/6488249
1235.57/1225.13	c cleaning 62005 clauses out of 124018 with flag 2006005/6551250
1243.26/1232.76	c cleaning 62994 clauses out of 126014 with flag 2070006/6615251
1251.40/1240.80	c cleaning 63987 clauses out of 128016 with flag 2135002/6680247
1259.47/1248.88	c cleaning 65011 clauses out of 130037 with flag 2201010/6746255
1265.61/1254.98	c cleaning 66000 clauses out of 132016 with flag 2268000/6813245
1278.38/1267.67	c cleaning 67001 clauses out of 134018 with flag 2336002/6881247
1293.55/1282.71	c cleaning 67984 clauses out of 136019 with flag 2405004/6950249
1305.84/1294.99	c cleaning 68993 clauses out of 138039 with flag 2475008/7020253
1320.85/1309.85	c cleaning 69988 clauses out of 140048 with flag 2546010/7091255
1334.84/1323.78	c cleaning 71025 clauses out of 142050 with flag 2618000/7163245
1348.11/1336.92	c cleaning 72012 clauses out of 144039 with flag 2691014/7236259
1364.65/1353.39	c cleaning 72991 clauses out of 146013 with flag 2765000/7310245
1379.73/1368.33	c cleaning 74000 clauses out of 148022 with flag 2840000/7385245
1394.77/1383.35	c cleaning 74993 clauses out of 150034 with flag 2916012/7461257
1409.89/1398.35	c cleaning 76009 clauses out of 152033 with flag 2993004/7538249
1422.57/1410.94	c cleaning 77004 clauses out of 154024 with flag 3071004/7616249
1438.77/1427.06	c cleaning 78011 clauses out of 156032 with flag 3150016/7695261
1453.19/1441.32	c cleaning 78986 clauses out of 158007 with flag 3230002/7775247
1463.82/1451.90	c cleaning 80003 clauses out of 160025 with flag 3311006/7856251
1474.54/1462.41	c cleaning 81004 clauses out of 162018 with flag 3393002/7938247
1489.86/1477.64	c cleaning 82007 clauses out of 164018 with flag 3476006/8021251
1502.17/1489.89	c cleaning 83007 clauses out of 166016 with flag 3560011/8105256
1513.79/1501.34	c cleaning 84003 clauses out of 168005 with flag 3645007/8190252
1526.14/1513.62	c cleaning 84985 clauses out of 169996 with flag 3731001/8276246
1542.02/1529.47	c cleaning 85982 clauses out of 172010 with flag 3818000/8363245
1556.74/1544.08	c cleaning 87001 clauses out of 174030 with flag 3906002/8451247
1571.76/1558.97	c cleaning 87996 clauses out of 176027 with flag 3995000/8540245
1587.04/1574.11	c cleaning 88997 clauses out of 178032 with flag 4085001/8630246
1602.50/1589.57	c cleaning 90004 clauses out of 180034 with flag 4176000/8721245
1616.89/1603.87	c cleaning 91011 clauses out of 182034 with flag 4268004/8813249
1632.68/1619.51	c cleaning 91995 clauses out of 184019 with flag 4361000/8906245
1648.67/1635.41	c cleaning 93004 clauses out of 186026 with flag 4455002/9000247
1671.54/1658.22	c cleaning 93997 clauses out of 188020 with flag 4550000/9095245
1689.91/1676.55	c cleaning 95003 clauses out of 190023 with flag 4646000/9191245
1708.98/1695.57	c cleaning 96012 clauses out of 192026 with flag 4743006/9288251
1725.19/1711.65	c cleaning 97002 clauses out of 194008 with flag 4841000/9386245
1749.14/1735.59	c cleaning 98003 clauses out of 196017 with flag 4940011/9485256
1769.60/1755.94	c cleaning 98988 clauses out of 198007 with flag 5040004/9585249
1791.60/1777.76	c cleaning 99997 clauses out of 200015 with flag 5141000/9686245
1800.01/1786.01	c starts		: 303
1800.01/1786.01	c conflicts		: 9748606
1800.01/1786.01	c decisions		: 20016687
1800.01/1786.01	c propagations		: 222396089
1800.01/1786.01	c inspects		: 11300167211
1800.01/1786.01	c shortcuts		: 0
1800.01/1786.01	c learnt literals	: 0
1800.01/1786.01	c learnt binary clauses	: 8
1800.01/1786.01	c learnt ternary clauses	: 2989
1800.01/1786.01	c learnt constraints	: 9748606
1800.01/1786.01	c ignored constraints	: 0
1800.01/1786.01	c root simplifications	: 0
1800.01/1786.01	c removed literals (reason simplification)	: 0
1800.01/1786.01	c reason swapping (by a shorter reason)	: 0
1800.01/1786.01	c Calls to reduceDB	: 187
1800.01/1786.01	c number of reductions to clauses (during analyze)	: 0
1800.01/1786.01	c number of learned constraints concerned by reduction	: 0
1800.01/1786.01	c number of learning phase by resolution	: 0
1800.01/1786.01	c number of learning phase by cutting planes	: 0
1800.01/1786.01	c speed (assignments/second)	: 124557.80866263229
1800.01/1786.01	c non guided choices	0
1800.01/1786.04	c learnt constraints type 
1800.01/1786.04	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 8
1800.01/1786.04	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 162549
1800.01/1786.04	c constraints type 
1800.01/1786.04	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6204
1800.01/1786.04	c org.sat4j.minisat.constraints.card.MinWatchCard => 403
1800.01/1786.04	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 200
1800.01/1786.04	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6204
1800.01/1786.04	c 13011 constraints processed.
1800.01/1786.04	s SATISFIABLE
1800.01/1786.04	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 x41 -x42 -x43 -x44 x45 x46 -x47 -x48 -x49 -x50 x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 x72 -x73 -x74 x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 x99 -x100 x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 x148 x149 -x150 -x151 -x152 -x153 -x154 -x155 x156 -x157 -x158 -x159 -x160 x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 x172 -x173 -x174 -x175 x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 x252 -x253 -x254 -x255 -x256 x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 x276 -x277 -x278 -x279 -x280 -x281 x282 x283 -x284 x285 -x286 -x287 -x288 -x289 x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 x307 -x308 -x309 -x310 -x311 -x312 x313 -x314 -x315 -x316 -x317 x318 x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 x342 -x343 -x344 x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 x400 
1800.01/1786.04	c objective function=-19
1800.01/1786.04	c Total wall clock time (in seconds): 1785.922

Verifier Data 

OK	-19

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-3688733-1337886978/watcher-3688733-1337886978 -o /tmp/evaluation-result-3688733-1337886978/solver-3688733-1337886978 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3688733-1337886978.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: 2.00 2.00 2.00 3/194 23052
/proc/meminfo: memFree=29228624/32873844 swapFree=7620/7620
[pid=23052] ppid=23050 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/23052/stat : 23052 (java) D 23050 23052 21484 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 254826305 9515008 182 33554432000 1073741824 1073778376 140735338852464 140735338843496 218213727925 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/23052/statm: 2323 182 140 9 0 71 0

[startup+0.0543209 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 23052
/proc/meminfo: memFree=29228624/32873844 swapFree=7620/7620
[pid=23052] ppid=23050 vsize=9225560 CPUtime=0.03 cores=1,3,5,7
/proc/23052/stat : 23052 (java) S 23050 23052 21484 0 -1 4202496 3039 0 1 0 3 0 0 0 20 0 13 0 254826305 9446973440 3737 33554432000 1073741824 1073778376 140736126962320 140736126953456 218217087037 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23052/statm: 2306390 3737 1704 9 0 2297091 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9225560

[startup+0.100342 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 23052
/proc/meminfo: memFree=29228624/32873844 swapFree=7620/7620
[pid=23052] ppid=23050 vsize=9558412 CPUtime=0.08 cores=1,3,5,7
/proc/23052/stat : 23052 (java) S 23050 23052 21484 0 -1 4202496 4122 0 1 0 8 0 0 0 20 0 18 0 254826305 9787813888 5325 33554432000 1073741824 1073778376 140736126962320 140736126953456 218217087037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23052/statm: 2389603 5326 2071 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558412

[startup+0.300302 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 23052
/proc/meminfo: memFree=29228624/32873844 swapFree=7620/7620
[pid=23052] ppid=23050 vsize=9558412 CPUtime=0.45 cores=1,3,5,7
/proc/23052/stat : 23052 (java) S 23050 23052 21484 0 -1 4202496 6032 0 1 0 44 1 0 0 20 0 18 0 254826305 9787813888 8317 33554432000 1073741824 1073778376 140736126962320 140736126953456 218217087037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23052/statm: 2389603 8317 2227 9 0 2380296 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 9558412

[startup+0.700334 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 23052
/proc/meminfo: memFree=29228624/32873844 swapFree=7620/7620
[pid=23052] ppid=23050 vsize=9624976 CPUtime=1.58 cores=1,3,5,7
/proc/23052/stat : 23052 (java) S 23050 23052 21484 0 -1 4202496 11397 0 1 0 155 3 0 0 20 0 19 0 254826305 9855975424 19440 33554432000 1073741824 1073778376 140736126962320 140736126953456 218217087037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23052/statm: 2406244 19440 2256 9 0 2396937 0
Current children cumulated CPU time (s) 1.58
Current children cumulated vsize (KiB) 9624976

[startup+1.50069 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 23071
/proc/meminfo: memFree=29157848/32873844 swapFree=7620/7620
[pid=23052] ppid=23050 vsize=9624976 CPUtime=2.49 cores=1,3,5,7
/proc/23052/stat : 23052 (java) S 23050 23052 21484 0 -1 4202496 11403 0 1 0 246 3 0 0 20 0 19 0 254826305 9855975424 19956 33554432000 1073741824 1073778376 140736126962320 140736126953456 218217087037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23052/statm: 2406244 19956 2259 9 0 2396937 0
[pid=23052/tid=23054] ppid=23050 vsize=9624976 CPUtime=1.47 cores=1,3,5,7
/proc/23052/task/23054/stat : 23054 (java) R 23050 23052 21484 0 -1 4202560 2475 0 1 0 145 2 0 0 20 0 19 0 254826306 9855975424 19956 33554432000 1073741824 1073778376 140736126962320 139654295611976 139654167512842 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23052/tid=23055] ppid=23050 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23052/task/23055/stat : 23055 (java) S 23050 23052 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254826307 9855975424 19956 33554432000 1073741824 1073778376 140736126962320 139654139165224 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23052/tid=23056] ppid=23050 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23052/task/23056/stat : 23056 (java) S 23050 23052 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254826307 9855975424 19956 33554432000 1073741824 1073778376 140736126962320 139654138112424 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23052/tid=23057] ppid=23050 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23052/task/23057/stat : 23057 (java) S 23050 23052 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254826307 9855975424 19956 33554432000 1073741824 1073778376 140736126962320 139654137059624 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23052/tid=23058] ppid=23050 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23052/task/23058/stat : 23058 (java) S 23050 23052 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254826307 9855975424 19956 33554432000 1073741824 1073778376 140736126962320 139654136006824 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23052/tid=23059] ppid=23050 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23052/task/23059/stat : 23059 (java) S 23050 23052 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254826307 9855975424 19956 33554432000 1073741824 1073778376 140736126962320 139654134955048 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23052/tid=23060] ppid=23050 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23052/task/23060/stat : 23060 (java) S 23050 23052 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254826307 9855975424 19956 33554432000 1073741824 1073778376 140736126962320 139654133902248 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23052/tid=23061] ppid=23050 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23052/task/23061/stat : 23061 (java) S 23050 23052 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254826308 9855975424 19956 33554432000 1073741824 1073778376 140736126962320 139654132849448 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23052/tid=23062] ppid=23050 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23052/task/23062/stat : 23062 (java) S 23050 23052 21484 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254826308 9855975424 19956 33554432000 1073741824 1073778376 140736126962320 139654131796648 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23052/tid=23063] ppid=23050 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23052/task/23063/stat : 23063 (java) S 23050 23052 21484 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254826309 9855975424 19956 33554432000 1073741824 1073778376 140736126962320 139654119598568 218217101225 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23052/tid=23064] ppid=23050 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23052/task/23064/stat : 23064 (java) S 23050 23052 21484 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 254826309 9855975424 19956 33554432000 1073741824 1073778376 140736126962320 139654118544632 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23052/tid=23065] ppid=23050 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23052/task/23065/stat : 23065 (java) S 23050 23052 21484 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254826309 9855975424 19956 33554432000 1073741824 1073778376 140736126962320 139654117491720 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23052/tid=23066] ppid=23050 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23052/task/23066/stat : 23066 (java) S 23050 23052 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254826312 9855975424 19956 33554432000 1073741824 1073778376 140736126962320 139654116440208 218217109280 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23052/tid=23067] ppid=23050 vsize=9624976 CPUtime=0.49 cores=1,3,5,7
/proc/23052/task/23067/stat : 23067 (java) S 23050 23052 21484 0 -1 4202560 3066 0 0 0 49 0 0 0 20 0 19 0 254826312 9855975424 19956 33554432000 1073741824 1073778376 140736126962320 139654115388344 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23052/tid=23068] ppid=23050 vsize=9624976 CPUtime=0.5 cores=1,3,5,7
/proc/23052/task/23068/stat : 23068 (java) S 23050 23052 21484 0 -1 4202560 4663 0 0 0 50 0 0 0 20 0 19 0 254826312 9855975424 19956 33554432000 1073741824 1073778376 140736126962320 139654114335544 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23052/tid=23069] ppid=23050 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23052/task/23069/stat : 23069 (java) S 23050 23052 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254826312 9855975424 19956 33554432000 1073741824 1073778376 140736126962320 139654113282936 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23052/tid=23070] ppid=23050 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23052/task/23070/stat : 23070 (java) S 23050 23052 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254826312 9855975424 19956 33554432000 1073741824 1073778376 140736126962320 139654112230344 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23052/tid=23071] ppid=23050 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23052/task/23071/stat : 23071 (java) S 23050 23052 21484 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254826358 9855975424 19956 33554432000 1073741824 1073778376 140736126962320 139654111175848 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.49
Current children cumulated vsize (KiB) 9624976

[startup+3.10067 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 23071
/proc/meminfo: memFree=29153628/32873844 swapFree=7620/7620
[pid=23052] ppid=23050 vsize=9624976 CPUtime=4.14 cores=1,3,5,7
/proc/23052/stat : 23052 (java) S 23050 23052 21484 0 -1 4202496 11475 0 1 0 410 4 0 0 20 0 19 0 254826305 9855975424 26656 33554432000 1073741824 1073778376 140736126962320 140736126953456 218217087037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23052/statm: 2406244 26656 2285 9 0 2396937 0
[pid=23052/tid=23054] ppid=23050 vsize=9624976 CPUtime=3.02 cores=1,3,5,7
/proc/23052/task/23054/stat : 23054 (java) R 23050 23052 21484 0 -1 4202560 2484 0 1 0 300 2 0 0 20 0 19 0 254826306 9855975424 26656 33554432000 1073741824 1073778376 140736126962320 139654295613848 139654167512847 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23052/tid=23055] ppid=23050 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23052/task/23055/stat : 23055 (java) S 23050 23052 21484 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254826307 9855975424 26656 33554432000 1073741824 1073778376 140736126962320 139654139165224 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23052/tid=23056] ppid=23050 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23052/task/23056/stat : 23056 (java) S 23050 23052 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254826307 9855975424 26656 33554432000 1073741824 1073778376 140736126962320 139654138112424 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23052/tid=23057] ppid=23050 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23052/task/23057/stat : 23057 (java) S 23050 23052 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254826307 9855975424 26656 33554432000 1073741824 1073778376 140736126962320 139654137059624 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23052/tid=23058] ppid=23050 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23052/task/23058/stat : 23058 (java) S 23050 23052 21484 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 254826307 9855975424 26656 33554432000 1073741824 1073778376 140736126962320 139654136006824 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23052/tid=23059] ppid=23050 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23052/task/23059/stat : 23059 (java) S 23050 23052 21484 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254826307 9855975424 26656 33554432000 1073741824 1073778376 140736126962320 139654134955048 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23052/tid=23060] ppid=23050 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23052/task/23060/stat : 23060 (java) S 23050 23052 21484 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254826307 9855975424 26656 33554432000 1073741824 1073778376 140736126962320 139654133902248 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23052/tid=23061] ppid=23050 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23052/task/23061/stat : 23061 (java) S 23050 23052 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254826308 9855975424 26656 33554432000 1073741824 1073778376 140736126962320 139654132849448 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23052/tid=23062] ppid=23050 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23052/task/23062/stat : 23062 (java) S 23050 23052 21484 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254826308 9855975424 26656 33554432000 1073741824 1073778376 140736126962320 139654131796648 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23052/tid=23063] ppid=23050 vsize=9624976 CPUtime=0.02 cores=1,3,5,7
/proc/23052/task/23063/stat : 23063 (java) S 23050 23052 21484 0 -1 4202560 33 0 0 0 2 0 0 0 20 0 19 0 254826309 9855975424 26656 33554432000 1073741824 1073778376 140736126962320 139654119598568 218217101225 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23052/tid=23064] ppid=23050 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23052/task/23064/stat : 23064 (java) S 23050 23052 21484 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254826309 9855975424 26656 33554432000 1073741824 1073778376 140736126962320 139654118544632 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23052/tid=23065] ppid=23050 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23052/task/23065/stat : 23065 (java) S 23050 23052 21484 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254826309 9855975424 26656 33554432000 1073741824 1073778376 140736126962320 139654117491720 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23052/tid=23066] ppid=23050 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23052/task/23066/stat : 23066 (java) S 23050 23052 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254826312 9855975424 26656 33554432000 1073741824 1073778376 140736126962320 139654116440208 218217109280 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23052/tid=23067] ppid=23050 vsize=9624976 CPUtime=0.5 cores=1,3,5,7
/proc/23052/task/23067/stat : 23067 (java) S 23050 23052 21484 0 -1 4202560 3067 0 0 0 50 0 0 0 20 0 19 0 254826312 9855975424 26656 33554432000 1073741824 1073778376 140736126962320 139654115388344 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23052/tid=23068] ppid=23050 vsize=9624976 CPUtime=0.51 cores=1,3,5,7
/proc/23052/task/23068/stat : 23068 (java) S 23050 23052 21484 0 -1 4202560 4666 0 0 0 51 0 0 0 20 0 19 0 254826312 9855975424 26656 33554432000 1073741824 1073778376 140736126962320 139654114335544 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23052/tid=23069] ppid=23050 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23052/task/23069/stat : 23069 (java) S 23050 23052 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254826312 9855975424 26656 33554432000 1073741824 1073778376 140736126962320 139654113282936 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23052/tid=23070] ppid=23050 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23052/task/23070/stat : 23070 (java) S 23050 23052 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254826312 9855975424 26656 33554432000 1073741824 1073778376 140736126962320 139654112230344 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23052/tid=23071] ppid=23050 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23052/task/23071/stat : 23071 (java) S 23050 23052 21484 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254826358 9855975424 26656 33554432000 1073741824 1073778376 140736126962320 139654111175848 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.14
Current children cumulated vsize (KiB) 9624976

[startup+6.30067 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 23071
/proc/meminfo: memFree=29122596/32873844 swapFree=7620/7620
[pid=23052] ppid=23050 vsize=9624976 CPUtime=7.41 cores=1,3,5,7
/proc/23052/stat : 23052 (java) S 23050 23052 21484 0 -1 4202496 11527 0 1 0 735 6 0 0 20 0 19 0 254826305 9855975424 30025 33554432000 1073741824 1073778376 140736126962320 140736126953456 218217087037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23052/statm: 2406244 30025 2285 9 0 2396937 0
[pid=23052/tid=23054] ppid=23050 vsize=9624976 CPUtime=6.15 cores=1,3,5,7
/proc/23052/task/23054/stat : 23054 (java) R 23050 23052 21484 0 -1 4202560 2487 0 1 0 613 2 0 0 20 0 19 0 254826306 9855975424 30025 33554432000 1073741824 1073778376 140736126962320 139654295613848 139654167537844 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23052/tid=23055] ppid=23050 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23052/task/23055/stat : 23055 (java) S 23050 23052 21484 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 254826307 9855975424 30025 33554432000 1073741824 1073778376 140736126962320 139654139165224 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23052/tid=23056] ppid=23050 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23052/task/23056/stat : 23056 (java) S 23050 23052 21484 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254826307 9855975424 30025 33554432000 1073741824 1073778376 140736126962320 139654138112424 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23052/tid=23057] ppid=23050 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23052/task/23057/stat : 23057 (java) S 23050 23052 21484 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254826307 9855975424 30025 33554432000 1073741824 1073778376 140736126962320 139654137059624 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23052/tid=23058] ppid=23050 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23052/task/23058/stat : 23058 (java) S 23050 23052 21484 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 254826307 9855975424 30025 33554432000 1073741824 1073778376 140736126962320 139654136006824 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23052/tid=23059] ppid=23050 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23052/task/23059/stat : 23059 (java) S 23050 23052 21484 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254826307 9855975424 30025 33554432000 1073741824 1073778376 140736126962320 139654134955048 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23052/tid=23060] ppid=23050 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23052/task/23060/stat : 23060 (java) S 23050 23052 21484 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 254826307 9855975424 30025 33554432000 1073741824 1073778376 140736126962320 139654133902248 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23052/tid=23061] ppid=23050 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23052/task/23061/stat : 23061 (java) S 23050 23052 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254826308 9855975424 30025 33554432000 1073741824 1073778376 140736126962320 139654132849448 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23052/tid=23062] ppid=23050 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23052/task/23062/stat : 23062 (java) S 23050 23052 21484 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254826308 9855975424 30025 33554432000 1073741824 1073778376 140736126962320 139654131796648 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23052/tid=23063] ppid=23050 vsize=9624976 CPUtime=0.07 cores=1,3,5,7
/proc/23052/task/23063/stat : 23063 (java) S 23050 23052 21484 0 -1 4202560 44 0 0 0 7 0 0 0 20 0 19 0 254826309 9855975424 30025 33554432000 1073741824 1073778376 140736126962320 139654119598568 218217101225 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23052/tid=23064] ppid=23050 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23052/task/23064/stat : 23064 (java) S 23050 23052 21484 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254826309 9855975424 30025 33554432000 1073741824 1073778376 140736126962320 139654118544632 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23052/tid=23065] ppid=23050 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23052/task/23065/stat : 23065 (java) S 23050 23052 21484 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254826309 9855975424 30025 33554432000 1073741824 1073778376 140736126962320 139654117491720 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23052/tid=23066] ppid=23050 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23052/task/23066/stat : 23066 (java) S 23050 23052 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254826312 9855975424 30025 33554432000 1073741824 1073778376 140736126962320 139654116440208 218217109280 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23052/tid=23067] ppid=23050 vsize=9624976 CPUtime=0.52 cores=1,3,5,7
/proc/23052/task/23067/stat : 23067 (java) S 23050 23052 21484 0 -1 4202560 3067 0 0 0 52 0 0 0 20 0 19 0 254826312 9855975424 30025 33554432000 1073741824 1073778376 140736126962320 139654115388344 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23052/tid=23068] ppid=23050 vsize=9624976 CPUtime=0.53 cores=1,3,5,7
/proc/23052/task/23068/stat : 23068 (java) S 23050 23052 21484 0 -1 4202560 4667 0 0 0 53 0 0 0 20 0 19 0 254826312 9855975424 30025 33554432000 1073741824 1073778376 140736126962320 139654114335544 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23052/tid=23069] ppid=23050 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23052/task/23069/stat : 23069 (java) S 23050 23052 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254826312 9855975424 30025 33554432000 1073741824 1073778376 140736126962320 139654113282936 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23052/tid=23070] ppid=23050 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23052/task/23070/stat : 23070 (java) S 23050 23052 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254826312 9855975424 30025 33554432000 1073741824 1073778376 140736126962320 139654112230344 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23052/tid=23071] ppid=23050 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23052/task/23071/stat : 23071 (java) S 23050 23052 21484 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254826358 9855975424 30025 33554432000 1073741824 1073778376 140736126962320 139654111175848 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.41
Current children cumulated vsize (KiB) 9624976

[startup+12.7008 s]

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

[pid=23052/tid=23067] ppid=23050 vsize=9624976 CPUtime=0.52 cores=1,3,5,7
/proc/23052/task/23067/stat : 23067 (java) S 23050 23052 21484 0 -1 4202560 3067 0 0 0 52 0 0 0 20 0 19 0 254826312 9855975424 135219 33554432000 1073741824 1073778376 140736126962320 139654115388344 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23052/tid=23068] ppid=23050 vsize=9624976 CPUtime=0.62 cores=1,3,5,7
/proc/23052/task/23068/stat : 23068 (java) S 23050 23052 21484 0 -1 4202560 4682 0 0 0 62 0 0 0 20 0 19 0 254826312 9855975424 135219 33554432000 1073741824 1073778376 140736126962320 139654114335544 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23052/tid=23069] ppid=23050 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23052/task/23069/stat : 23069 (java) S 23050 23052 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254826312 9855975424 135219 33554432000 1073741824 1073778376 140736126962320 139654113282936 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23052/tid=23070] ppid=23050 vsize=9624976 CPUtime=0.76 cores=1,3,5,7
/proc/23052/task/23070/stat : 23070 (java) S 23050 23052 21484 0 -1 4202560 95 0 0 0 52 24 0 0 20 0 19 0 254826312 9855975424 135219 33554432000 1073741824 1073778376 140736126962320 139654112230344 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23052/tid=23071] ppid=23050 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23052/task/23071/stat : 23071 (java) S 23050 23052 21484 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254826358 9855975424 135219 33554432000 1073741824 1073778376 140736126962320 139654111175848 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1675.69
Current children cumulated vsize (KiB) 9624976

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/213 23146
/proc/meminfo: memFree=28281436/32873844 swapFree=7620/7620
[pid=23052] ppid=23050 vsize=9624976 CPUtime=1735.95 cores=1,3,5,7
/proc/23052/stat : 23052 (java) S 23050 23052 21484 0 -1 4202496 15971 0 1 0 173500 95 0 0 20 0 19 0 254826305 9855975424 135219 33554432000 1073741824 1073778376 140736126962320 140736126953456 218217087037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23052/statm: 2406244 135219 2286 9 0 2396937 0
[pid=23052/tid=23054] ppid=23050 vsize=9624976 CPUtime=1696.91 cores=1,3,5,7
/proc/23052/task/23054/stat : 23054 (java) R 23050 23052 21484 0 -1 4202560 2709 0 1 0 169663 28 0 0 20 0 19 0 254826306 9855975424 135219 33554432000 1073741824 1073778376 140736126962320 139654295613728 139654167475498 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23052/tid=23055] ppid=23050 vsize=9624976 CPUtime=2.09 cores=1,3,5,7
/proc/23052/task/23055/stat : 23055 (java) S 23050 23052 21484 0 -1 4202560 601 0 0 0 201 8 0 0 20 0 19 0 254826307 9855975424 135219 33554432000 1073741824 1073778376 140736126962320 139654139165224 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23052/tid=23056] ppid=23050 vsize=9624976 CPUtime=1.95 cores=1,3,5,7
/proc/23052/task/23056/stat : 23056 (java) S 23050 23052 21484 0 -1 4202560 630 0 0 0 190 5 0 0 20 0 19 0 254826307 9855975424 135219 33554432000 1073741824 1073778376 140736126962320 139654138112424 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23052/tid=23057] ppid=23050 vsize=9624976 CPUtime=2.05 cores=1,3,5,7
/proc/23052/task/23057/stat : 23057 (java) S 23050 23052 21484 0 -1 4202560 670 0 0 0 197 8 0 0 20 0 19 0 254826307 9855975424 135219 33554432000 1073741824 1073778376 140736126962320 139654137059624 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23052/tid=23058] ppid=23050 vsize=9624976 CPUtime=2.01 cores=1,3,5,7
/proc/23052/task/23058/stat : 23058 (java) S 23050 23052 21484 0 -1 4202560 511 0 0 0 195 6 0 0 20 0 19 0 254826307 9855975424 135219 33554432000 1073741824 1073778376 140736126962320 139654136006824 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23052/tid=23059] ppid=23050 vsize=9624976 CPUtime=1.89 cores=1,3,5,7
/proc/23052/task/23059/stat : 23059 (java) S 23050 23052 21484 0 -1 4202560 367 0 0 0 182 7 0 0 20 0 19 0 254826307 9855975424 135219 33554432000 1073741824 1073778376 140736126962320 139654134955048 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23052/tid=23060] ppid=23050 vsize=9624976 CPUtime=1.84 cores=1,3,5,7
/proc/23052/task/23060/stat : 23060 (java) S 23050 23052 21484 0 -1 4202560 250 0 0 0 178 6 0 0 20 0 19 0 254826307 9855975424 135219 33554432000 1073741824 1073778376 140736126962320 139654133902248 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23052/tid=23061] ppid=23050 vsize=9624976 CPUtime=1.97 cores=1,3,5,7
/proc/23052/task/23061/stat : 23061 (java) S 23050 23052 21484 0 -1 4202560 373 0 0 0 193 4 0 0 20 0 19 0 254826308 9855975424 135219 33554432000 1073741824 1073778376 140736126962320 139654132849448 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23052/tid=23062] ppid=23050 vsize=9624976 CPUtime=1.97 cores=1,3,5,7
/proc/23052/task/23062/stat : 23062 (java) S 23050 23052 21484 0 -1 4202560 387 0 0 0 191 6 0 0 20 0 19 0 254826308 9855975424 135219 33554432000 1073741824 1073778376 140736126962320 139654131796648 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23052/tid=23063] ppid=23050 vsize=9624976 CPUtime=16.55 cores=1,3,5,7
/proc/23052/task/23063/stat : 23063 (java) S 23050 23052 21484 0 -1 4202560 440 0 0 0 1652 3 0 0 20 0 19 0 254826309 9855975424 135219 33554432000 1073741824 1073778376 140736126962320 139654119598568 218217101225 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23052/tid=23064] ppid=23050 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23052/task/23064/stat : 23064 (java) S 23050 23052 21484 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254826309 9855975424 135219 33554432000 1073741824 1073778376 140736126962320 139654118544632 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23052/tid=23065] ppid=23050 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23052/task/23065/stat : 23065 (java) S 23050 23052 21484 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254826309 9855975424 135219 33554432000 1073741824 1073778376 140736126962320 139654117491720 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23052/tid=23066] ppid=23050 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23052/task/23066/stat : 23066 (java) S 23050 23052 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254826312 9855975424 135219 33554432000 1073741824 1073778376 140736126962320 139654116440208 218217109280 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23052/tid=23067] ppid=23050 vsize=9624976 CPUtime=0.52 cores=1,3,5,7
/proc/23052/task/23067/stat : 23067 (java) S 23050 23052 21484 0 -1 4202560 3067 0 0 0 52 0 0 0 20 0 19 0 254826312 9855975424 135219 33554432000 1073741824 1073778376 140736126962320 139654115388344 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23052/tid=23068] ppid=23050 vsize=9624976 CPUtime=0.62 cores=1,3,5,7
/proc/23052/task/23068/stat : 23068 (java) S 23050 23052 21484 0 -1 4202560 4682 0 0 0 62 0 0 0 20 0 19 0 254826312 9855975424 135219 33554432000 1073741824 1073778376 140736126962320 139654114335544 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23052/tid=23069] ppid=23050 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23052/task/23069/stat : 23069 (java) S 23050 23052 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254826312 9855975424 135219 33554432000 1073741824 1073778376 140736126962320 139654113282936 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23052/tid=23070] ppid=23050 vsize=9624976 CPUtime=0.79 cores=1,3,5,7
/proc/23052/task/23070/stat : 23070 (java) S 23050 23052 21484 0 -1 4202560 99 0 0 0 54 25 0 0 20 0 19 0 254826312 9855975424 135219 33554432000 1073741824 1073778376 140736126962320 139654112230344 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23052/tid=23071] ppid=23050 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23052/task/23071/stat : 23071 (java) S 23050 23052 21484 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254826358 9855975424 135219 33554432000 1073741824 1073778376 140736126962320 139654111175848 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1735.95
Current children cumulated vsize (KiB) 9624976

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/213 23146
/proc/meminfo: memFree=28273368/32873844 swapFree=7620/7620
[pid=23052] ppid=23050 vsize=9624976 CPUtime=1796.3 cores=1,3,5,7
/proc/23052/stat : 23052 (java) S 23050 23052 21484 0 -1 4202496 15996 0 1 0 179533 97 0 0 20 0 19 0 254826305 9855975424 137267 33554432000 1073741824 1073778376 140736126962320 140736126953456 218217087037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23052/statm: 2406244 137267 2286 9 0 2396937 0
[pid=23052/tid=23054] ppid=23050 vsize=9624976 CPUtime=1756.23 cores=1,3,5,7
/proc/23052/task/23054/stat : 23054 (java) R 23050 23052 21484 0 -1 4202560 2712 0 1 0 175594 29 0 0 20 0 19 0 254826306 9855975424 137267 33554432000 1073741824 1073778376 140736126962320 139654295613728 139654167475721 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23052/tid=23055] ppid=23050 vsize=9624976 CPUtime=2.15 cores=1,3,5,7
/proc/23052/task/23055/stat : 23055 (java) S 23050 23052 21484 0 -1 4202560 605 0 0 0 207 8 0 0 20 0 19 0 254826307 9855975424 137267 33554432000 1073741824 1073778376 140736126962320 139654139165224 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23052/tid=23056] ppid=23050 vsize=9624976 CPUtime=2.03 cores=1,3,5,7
/proc/23052/task/23056/stat : 23056 (java) S 23050 23052 21484 0 -1 4202560 630 0 0 0 198 5 0 0 20 0 19 0 254826307 9855975424 137267 33554432000 1073741824 1073778376 140736126962320 139654138112424 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23052/tid=23057] ppid=23050 vsize=9624976 CPUtime=2.09 cores=1,3,5,7
/proc/23052/task/23057/stat : 23057 (java) S 23050 23052 21484 0 -1 4202560 671 0 0 0 201 8 0 0 20 0 19 0 254826307 9855975424 137267 33554432000 1073741824 1073778376 140736126962320 139654137059624 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23052/tid=23058] ppid=23050 vsize=9624976 CPUtime=2.09 cores=1,3,5,7
/proc/23052/task/23058/stat : 23058 (java) S 23050 23052 21484 0 -1 4202560 515 0 0 0 203 6 0 0 20 0 19 0 254826307 9855975424 137267 33554432000 1073741824 1073778376 140736126962320 139654136006824 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23052/tid=23059] ppid=23050 vsize=9624976 CPUtime=1.97 cores=1,3,5,7
/proc/23052/task/23059/stat : 23059 (java) S 23050 23052 21484 0 -1 4202560 371 0 0 0 190 7 0 0 20 0 19 0 254826307 9855975424 137267 33554432000 1073741824 1073778376 140736126962320 139654134955048 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23052/tid=23060] ppid=23050 vsize=9624976 CPUtime=1.88 cores=1,3,5,7
/proc/23052/task/23060/stat : 23060 (java) S 23050 23052 21484 0 -1 4202560 253 0 0 0 182 6 0 0 20 0 19 0 254826307 9855975424 137267 33554432000 1073741824 1073778376 140736126962320 139654133902248 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23052/tid=23061] ppid=23050 vsize=9624976 CPUtime=2.01 cores=1,3,5,7
/proc/23052/task/23061/stat : 23061 (java) S 23050 23052 21484 0 -1 4202560 373 0 0 0 196 5 0 0 20 0 19 0 254826308 9855975424 137267 33554432000 1073741824 1073778376 140736126962320 139654132849448 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23052/tid=23062] ppid=23050 vsize=9624976 CPUtime=2 cores=1,3,5,7
/proc/23052/task/23062/stat : 23062 (java) S 23050 23052 21484 0 -1 4202560 387 0 0 0 194 6 0 0 20 0 19 0 254826308 9855975424 137267 33554432000 1073741824 1073778376 140736126962320 139654131796648 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23052/tid=23063] ppid=23050 vsize=9624976 CPUtime=16.95 cores=1,3,5,7
/proc/23052/task/23063/stat : 23063 (java) S 23050 23052 21484 0 -1 4202560 442 0 0 0 1692 3 0 0 20 0 19 0 254826309 9855975424 137267 33554432000 1073741824 1073778376 140736126962320 139654119598568 218217101225 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23052/tid=23064] ppid=23050 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23052/task/23064/stat : 23064 (java) S 23050 23052 21484 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254826309 9855975424 137267 33554432000 1073741824 1073778376 140736126962320 139654118544632 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23052/tid=23065] ppid=23050 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23052/task/23065/stat : 23065 (java) S 23050 23052 21484 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254826309 9855975424 137267 33554432000 1073741824 1073778376 140736126962320 139654117491720 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23052/tid=23066] ppid=23050 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23052/task/23066/stat : 23066 (java) S 23050 23052 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254826312 9855975424 137267 33554432000 1073741824 1073778376 140736126962320 139654116440208 218217109280 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23052/tid=23067] ppid=23050 vsize=9624976 CPUtime=0.52 cores=1,3,5,7
/proc/23052/task/23067/stat : 23067 (java) S 23050 23052 21484 0 -1 4202560 3067 0 0 0 52 0 0 0 20 0 19 0 254826312 9855975424 137267 33554432000 1073741824 1073778376 140736126962320 139654115388344 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23052/tid=23068] ppid=23050 vsize=9624976 CPUtime=0.62 cores=1,3,5,7
/proc/23052/task/23068/stat : 23068 (java) S 23050 23052 21484 0 -1 4202560 4682 0 0 0 62 0 0 0 20 0 19 0 254826312 9855975424 137267 33554432000 1073741824 1073778376 140736126962320 139654114335544 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23052/tid=23069] ppid=23050 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23052/task/23069/stat : 23069 (java) S 23050 23052 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254826312 9855975424 137267 33554432000 1073741824 1073778376 140736126962320 139654113282936 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23052/tid=23070] ppid=23050 vsize=9624976 CPUtime=0.83 cores=1,3,5,7
/proc/23052/task/23070/stat : 23070 (java) S 23050 23052 21484 0 -1 4202560 103 0 0 0 57 26 0 0 20 0 19 0 254826312 9855975424 137267 33554432000 1073741824 1073778376 140736126962320 139654112230344 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23052/tid=23071] ppid=23050 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23052/task/23071/stat : 23071 (java) S 23050 23052 21484 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254826358 9855975424 137267 33554432000 1073741824 1073778376 140736126962320 139654111175848 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1796.3
Current children cumulated vsize (KiB) 9624976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1786 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 23146
/proc/meminfo: memFree=28273368/32873844 swapFree=7620/7620
[pid=23052] ppid=23050 vsize=9624976 CPUtime=1800.01 cores=1,3,5,7
/proc/23052/stat : 23052 (java) S 23050 23052 21484 0 -1 4202496 15996 0 1 0 179904 97 0 0 20 0 19 0 254826305 9855975424 137267 33554432000 1073741824 1073778376 140736126962320 140736126953456 218217087037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23052/statm: 2406244 137267 2286 9 0 2396937 0
[pid=23052/tid=23054] ppid=23050 vsize=9624976 CPUtime=1759.93 cores=1,3,5,7
/proc/23052/task/23054/stat : 23054 (java) R 23050 23052 21484 0 -1 4202560 2712 0 1 0 175964 29 0 0 20 0 19 0 254826306 9855975424 137267 33554432000 1073741824 1073778376 140736126962320 139654295613728 139654167475507 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23052/tid=23055] ppid=23050 vsize=9624976 CPUtime=2.15 cores=1,3,5,7
/proc/23052/task/23055/stat : 23055 (java) S 23050 23052 21484 0 -1 4202560 605 0 0 0 207 8 0 0 20 0 19 0 254826307 9855975424 137267 33554432000 1073741824 1073778376 140736126962320 139654139165224 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23052/tid=23056] ppid=23050 vsize=9624976 CPUtime=2.03 cores=1,3,5,7
/proc/23052/task/23056/stat : 23056 (java) S 23050 23052 21484 0 -1 4202560 630 0 0 0 198 5 0 0 20 0 19 0 254826307 9855975424 137267 33554432000 1073741824 1073778376 140736126962320 139654138112424 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23052/tid=23057] ppid=23050 vsize=9624976 CPUtime=2.09 cores=1,3,5,7
/proc/23052/task/23057/stat : 23057 (java) S 23050 23052 21484 0 -1 4202560 671 0 0 0 201 8 0 0 20 0 19 0 254826307 9855975424 137267 33554432000 1073741824 1073778376 140736126962320 139654137059624 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23052/tid=23058] ppid=23050 vsize=9624976 CPUtime=2.09 cores=1,3,5,7
/proc/23052/task/23058/stat : 23058 (java) S 23050 23052 21484 0 -1 4202560 515 0 0 0 203 6 0 0 20 0 19 0 254826307 9855975424 137267 33554432000 1073741824 1073778376 140736126962320 139654136006824 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23052/tid=23059] ppid=23050 vsize=9624976 CPUtime=1.97 cores=1,3,5,7
/proc/23052/task/23059/stat : 23059 (java) S 23050 23052 21484 0 -1 4202560 371 0 0 0 190 7 0 0 20 0 19 0 254826307 9855975424 137267 33554432000 1073741824 1073778376 140736126962320 139654134955048 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23052/tid=23060] ppid=23050 vsize=9624976 CPUtime=1.88 cores=1,3,5,7
/proc/23052/task/23060/stat : 23060 (java) S 23050 23052 21484 0 -1 4202560 253 0 0 0 182 6 0 0 20 0 19 0 254826307 9855975424 137267 33554432000 1073741824 1073778376 140736126962320 139654133902248 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23052/tid=23061] ppid=23050 vsize=9624976 CPUtime=2.01 cores=1,3,5,7
/proc/23052/task/23061/stat : 23061 (java) S 23050 23052 21484 0 -1 4202560 373 0 0 0 196 5 0 0 20 0 19 0 254826308 9855975424 137267 33554432000 1073741824 1073778376 140736126962320 139654132849448 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23052/tid=23062] ppid=23050 vsize=9624976 CPUtime=2 cores=1,3,5,7
/proc/23052/task/23062/stat : 23062 (java) S 23050 23052 21484 0 -1 4202560 387 0 0 0 194 6 0 0 20 0 19 0 254826308 9855975424 137267 33554432000 1073741824 1073778376 140736126962320 139654131796648 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23052/tid=23063] ppid=23050 vsize=9624976 CPUtime=16.95 cores=1,3,5,7
/proc/23052/task/23063/stat : 23063 (java) S 23050 23052 21484 0 -1 4202560 442 0 0 0 1692 3 0 0 20 0 19 0 254826309 9855975424 137267 33554432000 1073741824 1073778376 140736126962320 139654119598568 218217101225 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23052/tid=23064] ppid=23050 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23052/task/23064/stat : 23064 (java) S 23050 23052 21484 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254826309 9855975424 137267 33554432000 1073741824 1073778376 140736126962320 139654118544632 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23052/tid=23065] ppid=23050 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23052/task/23065/stat : 23065 (java) S 23050 23052 21484 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254826309 9855975424 137267 33554432000 1073741824 1073778376 140736126962320 139654117491720 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23052/tid=23066] ppid=23050 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23052/task/23066/stat : 23066 (java) S 23050 23052 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254826312 9855975424 137267 33554432000 1073741824 1073778376 140736126962320 139654116440208 218217109280 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23052/tid=23067] ppid=23050 vsize=9624976 CPUtime=0.52 cores=1,3,5,7
/proc/23052/task/23067/stat : 23067 (java) S 23050 23052 21484 0 -1 4202560 3067 0 0 0 52 0 0 0 20 0 19 0 254826312 9855975424 137267 33554432000 1073741824 1073778376 140736126962320 139654115388344 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23052/tid=23068] ppid=23050 vsize=9624976 CPUtime=0.62 cores=1,3,5,7
/proc/23052/task/23068/stat : 23068 (java) S 23050 23052 21484 0 -1 4202560 4682 0 0 0 62 0 0 0 20 0 19 0 254826312 9855975424 137267 33554432000 1073741824 1073778376 140736126962320 139654114335544 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23052/tid=23069] ppid=23050 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23052/task/23069/stat : 23069 (java) S 23050 23052 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254826312 9855975424 137267 33554432000 1073741824 1073778376 140736126962320 139654113282936 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23052/tid=23070] ppid=23050 vsize=9624976 CPUtime=0.83 cores=1,3,5,7
/proc/23052/task/23070/stat : 23070 (java) S 23050 23052 21484 0 -1 4202560 103 0 0 0 57 26 0 0 20 0 19 0 254826312 9855975424 137267 33554432000 1073741824 1073778376 140736126962320 139654112230344 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23052/tid=23071] ppid=23050 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23052/task/23071/stat : 23071 (java) S 23050 23052 21484 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254826358 9855975424 137267 33554432000 1073741824 1073778376 140736126962320 139654111175848 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
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

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23052 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=190241
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=231812
# CPU time returned by wait4() is 1795.42
# while last known CPU time is 1800.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1786.05
CPU time (s): 1800.01
CPU user time (s): 1799.04
CPU system time (s): 0.97
CPU usage (%): 100.781
Max. virtual memory (cumulated for all children) (KiB): 9624976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.19
system time used= 1.23181
maximum resident set size= 549188
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16031
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 43061
involuntary context switches= 25016

runsolver used 6.37903 second user time and 16.1335 second system time

The end

Launcher Data 

Begin job on node107 at 2012-05-24 21:16:18
IDJOB=3688733
IDBENCH=48239
IDSOLVER=2269
FILE ID=node107/3688733-1337886978
RUNJOBID= node107-1337871881-21501
PBS_JOBID= 14620097
Free space on /tmp= 71660 MiB

SOLVER NAME= Sat 4j PB Resolution 2.3.2 Snapshot
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_200_25_1.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3688733-1337886978/watcher-3688733-1337886978 -o /tmp/evaluation-result-3688733-1337886978/solver-3688733-1337886978 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3688733-1337886978.opb

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

MD5SUM BENCH= 4142356c9f50acd7c9005938f6b31a6d
RANDOM SEED=681169473

node107.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.760
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.760
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.760
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.760
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.760
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.91
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.760
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.760
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.86
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.760
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:       32873844 kB
MemFree:        29229260 kB
Buffers:          210120 kB
Cached:          2559872 kB
SwapCached:            0 kB
Active:           610836 kB
Inactive:        2266956 kB
Active(anon):     109988 kB
Inactive(anon):        0 kB
Active(file):     500848 kB
Inactive(file):  2266956 kB
Unevictable:        7620 kB
Mlocked:            7620 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:                52 kB
Writeback:             0 kB
AnonPages:        227376 kB
Mapped:            22616 kB
Shmem:               200 kB
Slab:             626172 kB
SReclaimable:      68736 kB
SUnreclaim:       557436 kB
KernelStack:        1760 kB
PageTables:         4164 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     697156 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    198656 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71660 MiB
End job on node107 at 2012-05-24 21:46:06