Trace number 3711249

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SAT4J PB specific settings 2.3.2 snapshotSAT (TO)-63 1800.78 1789.25

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_500_25_3.opb
MD5SUM04b0fb885ddf05bea62d9eda618b3e5b
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-68
Best CPU time to get the best result obtained on this benchmark1800.42
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -79
Optimality of the best value was proved NO
Number of variables500
Total number of constraints500
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 constraints500
Minimum length of a constraint25
Maximum length of a constraint49
Number of terms in the objective function 500
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 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 500
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)15722
Sum of products size (including duplicates)31444
Number of different products7861
Sum of products size15722

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.07	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.07	c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details.
0.00/0.07	c version 2.3.2.v20120418
0.00/0.07	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.07	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.07	c java.vm.version	19.1-b02
0.00/0.07	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.07	c sun.arch.data.model	64
0.00/0.07	c java.version		1.6.0_24
0.00/0.07	c os.name		Linux
0.00/0.07	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.07	c os.arch		amd64
0.00/0.07	c Free memory 		501472288
0.00/0.07	c Max memory 		7480803328
0.00/0.07	c Total memory 		504102912
0.00/0.07	c Number of processors 	8
0.11/0.10	c read org.sat4j.minisat.orders.VarOrderHeap
0.11/0.10	c configuring ORDERS
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2dcb25f1
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.11/0.11	c Expensive reason simplification
0.11/0.11	c Armin Biere (Picosat) restarts strategy
0.11/0.11	c Glucose learned constraints deletion strategy
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=true
0.11/0.11	c Heuristics kept accross calls (keep the solver "hot")
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c solving HOME/instance-3711249-1338170266.opb
0.11/0.11	c reading problem ... 
1.08/0.57	c ... done. Wall clock time 0.46s.
1.08/0.57	c declared #vars     500
1.08/0.57	c internal #vars     8361
1.08/0.57	c #constraints  16222
1.08/0.57	c constraints type 
1.08/0.57	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 7861
1.08/0.57	c org.sat4j.minisat.constraints.cnf.UnitClauses => 500
1.08/0.57	c ignored satisfied constraints => 500
1.08/0.57	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 7861
1.08/0.57	c 16722 constraints processed.
1.38/0.65	c SATISFIABLE
1.38/0.65	c OPTIMIZING...
1.38/0.65	c Got one! Elapsed wall clock time (in seconds):0.543
1.38/0.65	o 0
1.38/0.67	c Got one! Elapsed wall clock time (in seconds):0.566
1.38/0.67	o -1
1.38/0.69	c Got one! Elapsed wall clock time (in seconds):0.586
1.38/0.69	o -2
1.68/0.71	c Got one! Elapsed wall clock time (in seconds):0.604
1.68/0.71	o -3
1.68/0.73	c Got one! Elapsed wall clock time (in seconds):0.621
1.68/0.73	o -4
1.68/0.75	c Got one! Elapsed wall clock time (in seconds):0.639
1.68/0.75	o -5
1.68/0.77	c Got one! Elapsed wall clock time (in seconds):0.661
1.68/0.77	o -6
1.68/0.79	c Got one! Elapsed wall clock time (in seconds):0.682
1.68/0.79	o -57
2.54/1.03	c Got one! Elapsed wall clock time (in seconds):0.92
2.54/1.03	o -58
3.01/1.44	c Got one! Elapsed wall clock time (in seconds):1.334
3.01/1.44	o -59
3.10/1.56	c cleaning 3145 clauses out of 6301 with flag 1000/6301
3.25/1.61	c Got one! Elapsed wall clock time (in seconds):1.504
3.25/1.61	o -60
3.69/2.06	c cleaning 4137 clauses out of 8274 with flag 5000/11419
4.01/2.33	c Got one! Elapsed wall clock time (in seconds):2.222
4.01/2.33	o -61
4.32/2.61	c cleaning 4869 clauses out of 9737 with flag 3000/17019
4.95/3.21	c cleaning 5428 clauses out of 10869 with flag 9001/23020
5.59/3.86	c cleaning 6221 clauses out of 12443 with flag 16003/30022
6.42/4.65	c cleaning 7105 clauses out of 14219 with flag 24000/38019
7.38/5.54	c cleaning 8052 clauses out of 16115 with flag 33001/47020
8.42/6.57	c cleaning 9031 clauses out of 18062 with flag 43000/57019
9.65/7.72	c cleaning 10008 clauses out of 20031 with flag 54000/68019
11.05/9.10	c cleaning 11005 clauses out of 22023 with flag 66000/80019
12.47/10.51	c cleaning 12009 clauses out of 24018 with flag 79000/93019
13.99/12.07	c cleaning 13004 clauses out of 26009 with flag 93000/107019
15.82/13.81	c cleaning 14003 clauses out of 28005 with flag 108000/122019
17.65/15.68	c cleaning 14996 clauses out of 30003 with flag 124001/138020
19.87/17.88	c cleaning 16002 clauses out of 32006 with flag 141000/155019
22.51/20.46	c cleaning 17000 clauses out of 34004 with flag 159000/173019
24.54/22.42	c Got one! Elapsed wall clock time (in seconds):22.313
24.54/22.42	o -62
25.15/23.03	c cleaning 20429 clauses out of 40859 with flag 5000/196874
25.89/23.71	c cleaning 13214 clauses out of 26430 with flag 11000/202874
26.73/24.55	c cleaning 10102 clauses out of 20216 with flag 18000/209874
27.54/25.38	c cleaning 9055 clauses out of 18115 with flag 26001/217875
28.54/26.40	c cleaning 9019 clauses out of 18060 with flag 35001/226875
29.65/27.46	c cleaning 9520 clauses out of 19042 with flag 45002/236876
31.06/28.83	c cleaning 10260 clauses out of 20520 with flag 56000/247874
32.67/30.49	c cleaning 11127 clauses out of 22262 with flag 68002/259876
34.10/31.81	c cleaning 12064 clauses out of 24136 with flag 81003/272877
35.62/33.37	c cleaning 13031 clauses out of 26069 with flag 95000/286874
37.34/35.09	c cleaning 14014 clauses out of 28038 with flag 110000/301874
39.56/37.26	c cleaning 15014 clauses out of 30027 with flag 126003/317877
41.79/39.45	c cleaning 16002 clauses out of 32010 with flag 143000/334874
44.21/41.89	c cleaning 16999 clauses out of 34008 with flag 161000/352874
46.93/44.54	c cleaning 18001 clauses out of 36010 with flag 180001/371875
50.27/47.86	c cleaning 19000 clauses out of 38008 with flag 200000/391874
52.71/50.20	c cleaning 19996 clauses out of 40008 with flag 221000/412874
55.53/53.09	c cleaning 21003 clauses out of 42013 with flag 243001/434875
58.56/56.05	c cleaning 21993 clauses out of 44009 with flag 266000/457874
62.37/59.86	c cleaning 23002 clauses out of 46017 with flag 290001/481875
66.23/63.62	c cleaning 24008 clauses out of 48015 with flag 315001/506875
69.77/67.16	c cleaning 25000 clauses out of 50006 with flag 341000/532874
74.32/71.68	c cleaning 25995 clauses out of 52006 with flag 368000/559874
79.83/77.10	c cleaning 27005 clauses out of 54012 with flag 396001/587875
83.30/80.51	c cleaning 28003 clauses out of 56007 with flag 425001/616875
87.65/84.88	c cleaning 29002 clauses out of 58004 with flag 455001/646875
92.50/89.60	c cleaning 30001 clauses out of 60002 with flag 486001/677875
98.25/95.34	c cleaning 31001 clauses out of 62001 with flag 518001/709875
103.19/100.23	c cleaning 31995 clauses out of 63999 with flag 551000/742874
108.81/105.85	c cleaning 33002 clauses out of 66006 with flag 585002/776876
114.35/111.35	c cleaning 34000 clauses out of 68003 with flag 620001/811875
121.57/118.55	c cleaning 34996 clauses out of 70003 with flag 656001/847875
130.31/127.28	c cleaning 36003 clauses out of 72006 with flag 693000/884874
135.48/132.32	c cleaning 36998 clauses out of 74003 with flag 731000/922874
141.66/138.41	c cleaning 37998 clauses out of 76005 with flag 770000/961874
148.24/144.92	c cleaning 38994 clauses out of 78008 with flag 810001/1001875
154.69/151.32	c cleaning 40002 clauses out of 80014 with flag 851001/1042875
162.87/159.46	c cleaning 41005 clauses out of 82014 with flag 893003/1084877
170.56/167.09	c cleaning 42002 clauses out of 84008 with flag 936002/1127876
180.09/176.50	c cleaning 42997 clauses out of 86005 with flag 980001/1171875
187.82/184.25	c cleaning 44004 clauses out of 88009 with flag 1025002/1216876
197.16/193.53	c cleaning 44998 clauses out of 90004 with flag 1071001/1262875
208.03/204.37	c cleaning 45999 clauses out of 92006 with flag 1118001/1309875
215.49/211.78	c cleaning 46996 clauses out of 94007 with flag 1166001/1357875
223.58/219.77	c cleaning 47998 clauses out of 96010 with flag 1215000/1406874
233.24/229.35	c cleaning 49007 clauses out of 98014 with flag 1265002/1456876
242.48/238.50	c cleaning 49995 clauses out of 100006 with flag 1316001/1507875
251.99/247.98	c cleaning 51004 clauses out of 102010 with flag 1368000/1559874
265.36/261.25	c cleaning 52004 clauses out of 104007 with flag 1421001/1612875
276.71/272.58	c cleaning 52990 clauses out of 106003 with flag 1475001/1666875
290.08/285.83	c cleaning 54002 clauses out of 108013 with flag 1530001/1721875
304.97/300.60	c cleaning 55004 clauses out of 110011 with flag 1586001/1777875
316.64/312.28	c cleaning 55995 clauses out of 112006 with flag 1643000/1834874
331.12/326.68	c cleaning 57006 clauses out of 114012 with flag 1701001/1892875
346.79/342.28	c cleaning 57998 clauses out of 116006 with flag 1760001/1951875
360.43/355.87	c cleaning 59000 clauses out of 118007 with flag 1820000/2011874
369.92/365.27	c cleaning 59998 clauses out of 120008 with flag 1881001/2072875
381.54/376.76	c cleaning 61000 clauses out of 122010 with flag 1943001/2134875
395.04/390.15	c cleaning 62000 clauses out of 124009 with flag 2006000/2197874
409.93/404.96	c cleaning 62998 clauses out of 126009 with flag 2070000/2261874
421.67/416.68	c cleaning 63999 clauses out of 128012 with flag 2135001/2326875
438.16/433.00	c cleaning 65003 clauses out of 130013 with flag 2201001/2392875
451.75/446.60	c cleaning 66004 clauses out of 132010 with flag 2268001/2459875
467.81/462.50	c cleaning 66996 clauses out of 134007 with flag 2336002/2527876
484.90/479.53	c cleaning 68002 clauses out of 136010 with flag 2405001/2596875
503.08/497.69	c cleaning 68998 clauses out of 138008 with flag 2475001/2666875
521.66/516.12	c cleaning 70000 clauses out of 140010 with flag 2546001/2737875
541.64/536.09	c cleaning 70998 clauses out of 142009 with flag 2618000/2809874
559.64/553.96	c cleaning 71999 clauses out of 144011 with flag 2691000/2882874
580.62/574.83	c cleaning 72998 clauses out of 146013 with flag 2765001/2956875
596.20/590.19	c cleaning 74007 clauses out of 148014 with flag 2840000/3031874
611.36/605.14	c cleaning 74997 clauses out of 150007 with flag 2916000/3107874
629.41/623.15	c cleaning 76005 clauses out of 152010 with flag 2993000/3184874
648.21/641.89	c cleaning 76999 clauses out of 154005 with flag 3071000/3262874
664.58/658.12	c cleaning 77996 clauses out of 156006 with flag 3150000/3341874
686.19/679.61	c cleaning 78999 clauses out of 158010 with flag 3230000/3421874
705.67/699.03	c cleaning 80000 clauses out of 160012 with flag 3311001/3502875
732.87/726.11	c cleaning 81000 clauses out of 162011 with flag 3393000/3584874
761.07/754.22	c cleaning 81996 clauses out of 164012 with flag 3476001/3667875
765.89/758.96	c Got one! Elapsed wall clock time (in seconds):758.849
765.89/758.96	o -63
767.68/760.76	c cleaning 56952 clauses out of 113922 with flag 5001/3699781
768.72/761.74	c cleaning 31477 clauses out of 62969 with flag 11000/3705780
769.63/762.69	c cleaning 19240 clauses out of 38494 with flag 18002/3712782
770.75/763.72	c cleaning 13617 clauses out of 27252 with flag 26000/3720780
771.96/764.94	c cleaning 11309 clauses out of 22635 with flag 35000/3729780
773.37/766.31	c cleaning 10654 clauses out of 21327 with flag 45001/3739781
774.78/767.75	c cleaning 10834 clauses out of 21673 with flag 56001/3750781
776.48/769.45	c cleaning 11415 clauses out of 22839 with flag 68001/3762781
778.50/771.49	c cleaning 12212 clauses out of 24423 with flag 81000/3775780
780.81/773.80	c cleaning 13105 clauses out of 26212 with flag 95001/3789781
783.63/776.53	c cleaning 14049 clauses out of 28107 with flag 110001/3804781
786.35/779.28	c cleaning 15022 clauses out of 30057 with flag 126000/3820780
789.37/782.24	c cleaning 16017 clauses out of 32035 with flag 143000/3837780
792.97/785.85	c cleaning 17005 clauses out of 34021 with flag 161003/3855783
796.98/789.82	c cleaning 18006 clauses out of 36014 with flag 180001/3874781
801.39/794.21	c cleaning 19004 clauses out of 38008 with flag 200001/3894781
806.09/798.93	c cleaning 19995 clauses out of 40003 with flag 221000/3915780
811.40/804.28	c cleaning 21005 clauses out of 42009 with flag 243001/3937781
816.62/809.48	c cleaning 21992 clauses out of 44003 with flag 266000/3960780
823.04/815.80	c cleaning 23005 clauses out of 46012 with flag 290001/3984781
826.67/819.47	c cleaning 23999 clauses out of 48007 with flag 315001/4009781
831.09/823.84	c cleaning 25003 clauses out of 50007 with flag 341000/4035780
836.01/828.71	c cleaning 26002 clauses out of 52005 with flag 368001/4062781
841.13/833.88	c cleaning 26998 clauses out of 54003 with flag 396001/4090781
847.16/839.85	c cleaning 27995 clauses out of 56004 with flag 425000/4119780
853.78/846.44	c cleaning 29000 clauses out of 58010 with flag 455001/4149781
860.79/853.49	c cleaning 30002 clauses out of 60009 with flag 486000/4180780
867.99/860.61	c cleaning 31000 clauses out of 62007 with flag 518000/4212780
875.92/868.59	c cleaning 32003 clauses out of 64008 with flag 551001/4245781
884.47/877.03	c cleaning 32997 clauses out of 66004 with flag 585000/4279780
894.49/887.01	c cleaning 34004 clauses out of 68007 with flag 620000/4314780
903.63/896.17	c cleaning 35002 clauses out of 70006 with flag 656003/4350783
914.65/907.16	c cleaning 35999 clauses out of 72001 with flag 693000/4387780
925.89/918.35	c cleaning 36994 clauses out of 74002 with flag 731000/4425780
938.62/931.04	c cleaning 37998 clauses out of 76010 with flag 770002/4464782
948.28/940.64	c cleaning 39002 clauses out of 78012 with flag 810002/4504782
954.54/946.86	c cleaning 40001 clauses out of 80009 with flag 851001/4545781
961.21/953.41	c cleaning 41005 clauses out of 82009 with flag 893002/4587782
968.97/961.14	c cleaning 41993 clauses out of 84003 with flag 936001/4630781
978.13/970.26	c cleaning 42997 clauses out of 86010 with flag 980001/4674781
985.98/978.02	c cleaning 43997 clauses out of 88013 with flag 1025001/4719781
994.71/986.79	c cleaning 45002 clauses out of 90016 with flag 1071001/4765781
1002.44/994.48	c cleaning 46002 clauses out of 92013 with flag 1118000/4812780
1011.99/1003.91	c cleaning 47004 clauses out of 94013 with flag 1166002/4860782
1023.31/1015.22	c cleaning 47997 clauses out of 96009 with flag 1215002/4909782
1032.55/1024.43	c cleaning 48994 clauses out of 98010 with flag 1265000/4959780
1044.12/1035.93	c cleaning 50004 clauses out of 100017 with flag 1316001/5010781
1056.26/1048.01	c cleaning 51000 clauses out of 102012 with flag 1368000/5062780
1068.92/1060.61	c cleaning 52006 clauses out of 104013 with flag 1421001/5115781
1079.65/1071.39	c cleaning 53001 clauses out of 106007 with flag 1475001/5169781
1093.01/1084.62	c cleaning 53998 clauses out of 108006 with flag 1530001/5224781
1107.08/1098.69	c cleaning 55000 clauses out of 110007 with flag 1586000/5280780
1121.44/1112.95	c cleaning 55995 clauses out of 112007 with flag 1643000/5337780
1137.31/1128.78	c cleaning 56999 clauses out of 114014 with flag 1701002/5395782
1156.36/1147.77	c cleaning 57997 clauses out of 116013 with flag 1760000/5454780
1169.02/1160.33	c cleaning 59003 clauses out of 118016 with flag 1820000/5514780
1185.18/1176.44	c cleaning 60000 clauses out of 120013 with flag 1881000/5575780
1202.23/1193.43	c cleaning 60999 clauses out of 122013 with flag 1943000/5637780
1219.88/1211.06	c cleaning 62006 clauses out of 124016 with flag 2006002/5700782
1240.65/1231.79	c cleaning 63000 clauses out of 126009 with flag 2070001/5764781
1262.42/1253.45	c cleaning 64003 clauses out of 128008 with flag 2135000/5829780
1282.06/1273.08	c cleaning 64995 clauses out of 130005 with flag 2201000/5895780
1303.43/1294.33	c cleaning 65999 clauses out of 132010 with flag 2268000/5962780
1318.60/1309.43	c cleaning 66995 clauses out of 134012 with flag 2336001/6030781
1337.30/1328.06	c cleaning 68001 clauses out of 136016 with flag 2405000/6099780
1356.17/1346.87	c cleaning 69000 clauses out of 138016 with flag 2475001/6169781
1378.10/1368.76	c cleaning 70003 clauses out of 140015 with flag 2546000/6240780
1400.37/1390.97	c cleaning 70995 clauses out of 142012 with flag 2618000/6312780
1426.52/1417.08	c cleaning 72005 clauses out of 144017 with flag 2691000/6385780
1453.59/1444.01	c cleaning 73000 clauses out of 146013 with flag 2765001/6459781
1483.24/1473.67	c cleaning 74001 clauses out of 148012 with flag 2840000/6534780
1513.60/1503.97	c cleaning 75002 clauses out of 150012 with flag 2916001/6610781
1545.29/1535.58	c cleaning 76005 clauses out of 152010 with flag 2993001/6687781
1567.04/1557.21	c cleaning 76998 clauses out of 154004 with flag 3071000/6765780
1581.03/1571.17	c cleaning 78003 clauses out of 156006 with flag 3150000/6844780
1596.21/1586.24	c cleaning 79000 clauses out of 158005 with flag 3230002/6924782
1617.38/1607.31	c cleaning 79996 clauses out of 160003 with flag 3311000/7005780
1634.75/1624.69	c cleaning 80995 clauses out of 162008 with flag 3393001/7087781
1657.55/1647.37	c cleaning 81997 clauses out of 164014 with flag 3476002/7170782
1677.12/1666.90	c cleaning 83003 clauses out of 166017 with flag 3560002/7254782
1700.23/1689.86	c cleaning 84005 clauses out of 168014 with flag 3645002/7339782
1720.39/1709.95	c cleaning 85000 clauses out of 170008 with flag 3731001/7425781
1742.67/1732.12	c cleaning 86001 clauses out of 172007 with flag 3818000/7512780
1766.67/1756.02	c cleaning 86998 clauses out of 174007 with flag 3906001/7600781
1792.76/1782.05	c cleaning 88005 clauses out of 176009 with flag 3995001/7689781
1800.06/1789.21	c starts		: 311
1800.06/1789.21	c conflicts		: 7725897
1800.06/1789.21	c decisions		: 7957162
1800.06/1789.21	c propagations		: 39966701
1800.06/1789.21	c inspects		: 7532199124
1800.06/1789.21	c shortcuts		: 0
1800.06/1789.21	c learnt literals	: 0
1800.06/1789.21	c learnt binary clauses	: 0
1800.06/1789.21	c learnt ternary clauses	: 0
1800.06/1789.21	c learnt constraints	: 7725897
1800.06/1789.21	c ignored constraints	: 0
1800.06/1789.21	c root simplifications	: 311
1800.06/1789.21	c removed literals (reason simplification)	: 134478608
1800.06/1789.21	c reason swapping (by a shorter reason)	: 0
1800.06/1789.21	c Calls to reduceDB	: 180
1800.06/1789.21	c number of reductions to clauses (during analyze)	: 0
1800.06/1789.21	c number of learned constraints concerned by reduction	: 0
1800.06/1789.21	c number of learning phase by resolution	: 0
1800.06/1789.21	c number of learning phase by cutting planes	: 0
1800.06/1789.21	c speed (assignments/second)	: 22345.119394390058
1800.06/1789.21	c non guided choices	3479
1800.06/1789.24	c learnt constraints type 
1800.06/1789.24	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 124202
1800.06/1789.24	c constraints type 
1800.06/1789.24	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 7861
1800.06/1789.24	c org.sat4j.minisat.constraints.cnf.UnitClauses => 500
1800.06/1789.24	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.06/1789.24	c ignored satisfied constraints => 500
1800.06/1789.24	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 7861
1800.06/1789.24	c 16723 constraints processed.
1800.06/1789.24	s SATISFIABLE
1800.06/1789.24	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 -x401 x402 -x403 -x404 -x405 -x406 -x407 -x408 x409 -x410 -x411 x412 x413 -x414 -x415 -x416 -x417 x418 -x419 -x420 x421 -x422 -x423 x424 -x425 -x426 -x427 -x428 -x429 -x430 x431 -x432 x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 x444 -x445 -x446 x447 -x448 -x449 x450 -x451 -x452 -x453 -x454 -x455 -x456 x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 x481 -x482 -x483 -x484 -x485 -x486 -x487 x488 -x489 -x490 -x491 x492 -x493 -x494 -x495 x496 -x497 -x498 -x499 -x500 
1800.06/1789.24	c objective function=-63
1800.06/1789.24	c Total wall clock time (in seconds): 1789.13

Verifier Data 

OK	-63

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-3711249-1338170266/watcher-3711249-1338170266 -o /tmp/evaluation-result-3711249-1338170266/solver-3711249-1338170266 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3711249-1338170266.opb 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.06 2.09 2.06 3/194 31326
/proc/meminfo: memFree=28691896/32873844 swapFree=6856/6856
[pid=31326] ppid=31324 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/31326/stat : 31326 (java) R 31324 31326 29719 0 -1 4202496 982 0 0 0 0 0 0 0 20 0 1 0 283151550 23793664 710 33554432000 1073741824 1073778376 140735574383184 140735574372248 223642433616 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/31326/statm: 5809 711 526 9 0 128 0

[startup+0.010101 s]
/proc/loadavg: 2.06 2.09 2.06 3/194 31326
/proc/meminfo: memFree=28691896/32873844 swapFree=6856/6856
[pid=31326] ppid=31324 vsize=101528 CPUtime=0 cores=0,2,4,6
/proc/31326/stat : 31326 (java) S 31324 31326 29719 0 -1 4202496 1368 0 0 0 0 0 0 0 20 0 2 0 283151550 103964672 1051 33554432000 1073741824 1073778376 140735574383184 140735574374320 223655002173 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31326/statm: 25382 1051 805 9 0 16774 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 101528

[startup+0.100194 s]
/proc/loadavg: 2.06 2.09 2.06 3/194 31326
/proc/meminfo: memFree=28691896/32873844 swapFree=6856/6856
[pid=31326] ppid=31324 vsize=9558440 CPUtime=0.11 cores=0,2,4,6
/proc/31326/stat : 31326 (java) S 31324 31326 29719 0 -1 4202496 4375 0 1 0 10 1 0 0 20 0 18 0 283151550 9787842560 6094 33554432000 1073741824 1073778376 140735574383184 140735574374320 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31326/statm: 2389610 6094 2131 9 0 2380296 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558440

[startup+0.300157 s]
/proc/loadavg: 2.06 2.09 2.06 3/194 31326
/proc/meminfo: memFree=28691896/32873844 swapFree=6856/6856
[pid=31326] ppid=31324 vsize=9558440 CPUtime=0.48 cores=0,2,4,6
/proc/31326/stat : 31326 (java) S 31324 31326 29719 0 -1 4202496 5391 0 1 0 47 1 0 0 20 0 18 0 283151550 9787842560 8367 33554432000 1073741824 1073778376 140735574383184 140735574374320 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31326/statm: 2389610 8367 2233 9 0 2380296 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9558440

[startup+0.700167 s]
/proc/loadavg: 2.06 2.09 2.06 3/194 31326
/proc/meminfo: memFree=28691896/32873844 swapFree=6856/6856
[pid=31326] ppid=31324 vsize=9625004 CPUtime=1.68 cores=0,2,4,6
/proc/31326/stat : 31326 (java) S 31324 31326 29719 0 -1 4202496 20755 0 1 0 164 4 0 0 20 0 19 0 283151550 9856004096 21283 33554432000 1073741824 1073778376 140735574383184 140735574374320 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31326/statm: 2406251 21283 2259 9 0 2396937 0
Current children cumulated CPU time (s) 1.68
Current children cumulated vsize (KiB) 9625004

[startup+1.50071 s]
/proc/loadavg: 2.21 2.12 2.07 4/213 31345
/proc/meminfo: memFree=28610864/32873844 swapFree=6856/6856
[pid=31326] ppid=31324 vsize=9625004 CPUtime=3.1 cores=0,2,4,6
/proc/31326/stat : 31326 (java) S 31324 31326 29719 0 -1 4202496 20799 0 1 0 306 4 0 0 20 0 19 0 283151550 9856004096 24868 33554432000 1073741824 1073778376 140735574383184 140735574374320 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31326/statm: 2406251 24868 2267 9 0 2396937 0
[pid=31326/tid=31328] ppid=31324 vsize=9625004 CPUtime=1.47 cores=0,2,4,6
/proc/31326/task/31328/stat : 31328 (java) R 31324 31326 29719 0 -1 4202560 2531 0 1 0 146 1 0 0 20 0 19 0 283151551 9856004096 24868 33554432000 1073741824 1073778376 140735574383184 140496056209480 140495914175444 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=31326/tid=31329] ppid=31324 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31326/task/31329/stat : 31329 (java) S 31324 31326 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283151552 9856004096 24868 33554432000 1073741824 1073778376 140735574383184 140496034310440 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31326/tid=31330] ppid=31324 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31326/task/31330/stat : 31330 (java) S 31324 31326 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283151552 9856004096 24868 33554432000 1073741824 1073778376 140735574383184 140496033257640 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31326/tid=31331] ppid=31324 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31326/task/31331/stat : 31331 (java) S 31324 31326 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283151552 9856004096 24868 33554432000 1073741824 1073778376 140735574383184 140496032205352 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31326/tid=31332] ppid=31324 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31326/task/31332/stat : 31332 (java) S 31324 31326 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283151552 9856004096 24868 33554432000 1073741824 1073778376 140735574383184 140495695112616 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31326/tid=31333] ppid=31324 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31326/task/31333/stat : 31333 (java) S 31324 31326 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283151552 9856004096 24868 33554432000 1073741824 1073778376 140735574383184 140495694060328 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31326/tid=31334] ppid=31324 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31326/task/31334/stat : 31334 (java) S 31324 31326 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283151552 9856004096 24868 33554432000 1073741824 1073778376 140735574383184 140495693007528 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31326/tid=31335] ppid=31324 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31326/task/31335/stat : 31335 (java) S 31324 31326 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283151552 9856004096 24868 33554432000 1073741824 1073778376 140735574383184 140495691955240 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31326/tid=31336] ppid=31324 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31326/task/31336/stat : 31336 (java) S 31324 31326 29719 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 283151552 9856004096 24868 33554432000 1073741824 1073778376 140735574383184 140495690902440 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31326/tid=31337] ppid=31324 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31326/task/31337/stat : 31337 (java) S 31324 31326 29719 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 283151553 9856004096 24868 33554432000 1073741824 1073778376 140735574383184 140495678703848 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31326/tid=31338] ppid=31324 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31326/task/31338/stat : 31338 (java) S 31324 31326 29719 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 283151553 9856004096 24868 33554432000 1073741824 1073778376 140735574383184 140495677649912 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31326/tid=31339] ppid=31324 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31326/task/31339/stat : 31339 (java) S 31324 31326 29719 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 283151553 9856004096 24868 33554432000 1073741824 1073778376 140735574383184 140495676597512 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31326/tid=31340] ppid=31324 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31326/task/31340/stat : 31340 (java) S 31324 31326 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283151555 9856004096 24868 33554432000 1073741824 1073778376 140735574383184 140495675546000 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31326/tid=31341] ppid=31324 vsize=9625004 CPUtime=0.8 cores=0,2,4,6
/proc/31326/task/31341/stat : 31341 (java) S 31324 31326 29719 0 -1 4202560 11237 0 0 0 77 3 0 0 20 0 19 0 283151555 9856004096 24868 33554432000 1073741824 1073778376 140735574383184 140495674493624 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31326/tid=31342] ppid=31324 vsize=9625004 CPUtime=0.8 cores=0,2,4,6
/proc/31326/task/31342/stat : 31342 (java) S 31324 31326 29719 0 -1 4202560 5831 0 0 0 80 0 0 0 20 0 19 0 283151555 9856004096 24868 33554432000 1073741824 1073778376 140735574383184 140495673440824 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31326/tid=31343] ppid=31324 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31326/task/31343/stat : 31343 (java) S 31324 31326 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283151555 9856004096 24868 33554432000 1073741824 1073778376 140735574383184 140495672388728 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31326/tid=31344] ppid=31324 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31326/task/31344/stat : 31344 (java) S 31324 31326 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283151555 9856004096 24868 33554432000 1073741824 1073778376 140735574383184 140495671336136 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31326/tid=31345] ppid=31324 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31326/task/31345/stat : 31345 (java) S 31324 31326 29719 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 283151611 9856004096 24868 33554432000 1073741824 1073778376 140735574383184 140495670219688 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 9625004

[startup+3.10073 s]
/proc/loadavg: 2.21 2.12 2.07 3/213 31345
/proc/meminfo: memFree=28547004/32873844 swapFree=6856/6856
[pid=31326] ppid=31324 vsize=9625004 CPUtime=4.85 cores=0,2,4,6
/proc/31326/stat : 31326 (java) S 31324 31326 29719 0 -1 4202496 20911 0 1 0 478 7 0 0 20 0 19 0 283151550 9856004096 37209 33554432000 1073741824 1073778376 140735574383184 140735574374320 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31326/statm: 2406251 37209 2292 9 0 2396937 0
[pid=31326/tid=31328] ppid=31324 vsize=9625004 CPUtime=2.97 cores=0,2,4,6
/proc/31326/task/31328/stat : 31328 (java) R 31324 31326 29719 0 -1 4202560 2536 0 1 0 296 1 0 0 20 0 19 0 283151551 9856004096 37209 33554432000 1073741824 1073778376 140735574383184 140496056209672 140495914086250 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=31326/tid=31329] ppid=31324 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31326/task/31329/stat : 31329 (java) S 31324 31326 29719 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 283151552 9856004096 37209 33554432000 1073741824 1073778376 140735574383184 140496034310440 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31326/tid=31330] ppid=31324 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31326/task/31330/stat : 31330 (java) S 31324 31326 29719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 283151552 9856004096 37209 33554432000 1073741824 1073778376 140735574383184 140496033257640 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31326/tid=31331] ppid=31324 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31326/task/31331/stat : 31331 (java) S 31324 31326 29719 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 283151552 9856004096 37209 33554432000 1073741824 1073778376 140735574383184 140496032205352 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31326/tid=31332] ppid=31324 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/31326/task/31332/stat : 31332 (java) S 31324 31326 29719 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 19 0 283151552 9856004096 37209 33554432000 1073741824 1073778376 140735574383184 140495695112616 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31326/tid=31333] ppid=31324 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31326/task/31333/stat : 31333 (java) S 31324 31326 29719 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 283151552 9856004096 37209 33554432000 1073741824 1073778376 140735574383184 140495694060328 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31326/tid=31334] ppid=31324 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31326/task/31334/stat : 31334 (java) S 31324 31326 29719 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 283151552 9856004096 37209 33554432000 1073741824 1073778376 140735574383184 140495693007528 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31326/tid=31335] ppid=31324 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31326/task/31335/stat : 31335 (java) S 31324 31326 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283151552 9856004096 37209 33554432000 1073741824 1073778376 140735574383184 140495691955240 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31326/tid=31336] ppid=31324 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31326/task/31336/stat : 31336 (java) S 31324 31326 29719 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 283151552 9856004096 37209 33554432000 1073741824 1073778376 140735574383184 140495690902440 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31326/tid=31337] ppid=31324 vsize=9625004 CPUtime=0.06 cores=0,2,4,6
/proc/31326/task/31337/stat : 31337 (java) S 31324 31326 29719 0 -1 4202560 42 0 0 0 6 0 0 0 20 0 19 0 283151553 9856004096 37209 33554432000 1073741824 1073778376 140735574383184 140495678703848 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31326/tid=31338] ppid=31324 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31326/task/31338/stat : 31338 (java) S 31324 31326 29719 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283151553 9856004096 37209 33554432000 1073741824 1073778376 140735574383184 140495677649912 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31326/tid=31339] ppid=31324 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31326/task/31339/stat : 31339 (java) S 31324 31326 29719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283151553 9856004096 37209 33554432000 1073741824 1073778376 140735574383184 140495676597512 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31326/tid=31340] ppid=31324 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31326/task/31340/stat : 31340 (java) S 31324 31326 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283151555 9856004096 37209 33554432000 1073741824 1073778376 140735574383184 140495675546000 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31326/tid=31341] ppid=31324 vsize=9625004 CPUtime=0.84 cores=0,2,4,6
/proc/31326/task/31341/stat : 31341 (java) S 31324 31326 29719 0 -1 4202560 11239 0 0 0 81 3 0 0 20 0 19 0 283151555 9856004096 37209 33554432000 1073741824 1073778376 140735574383184 140495674493624 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31326/tid=31342] ppid=31324 vsize=9625004 CPUtime=0.84 cores=0,2,4,6
/proc/31326/task/31342/stat : 31342 (java) S 31324 31326 29719 0 -1 4202560 5835 0 0 0 84 0 0 0 20 0 19 0 283151555 9856004096 37209 33554432000 1073741824 1073778376 140735574383184 140495673440824 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31326/tid=31343] ppid=31324 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31326/task/31343/stat : 31343 (java) S 31324 31326 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283151555 9856004096 37209 33554432000 1073741824 1073778376 140735574383184 140495672388728 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31326/tid=31344] ppid=31324 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31326/task/31344/stat : 31344 (java) S 31324 31326 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283151555 9856004096 37209 33554432000 1073741824 1073778376 140735574383184 140495671336136 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31326/tid=31345] ppid=31324 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31326/task/31345/stat : 31345 (java) S 31324 31326 29719 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 283151611 9856004096 37209 33554432000 1073741824 1073778376 140735574383184 140495670219688 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.85
Current children cumulated vsize (KiB) 9625004

[startup+6.30073 s]
/proc/loadavg: 2.21 2.12 2.07 3/213 31345
/proc/meminfo: memFree=28530980/32873844 swapFree=6856/6856
[pid=31326] ppid=31324 vsize=9625004 CPUtime=8.22 cores=0,2,4,6
/proc/31326/stat : 31326 (java) S 31324 31326 29719 0 -1 4202496 20945 0 1 0 814 8 0 0 20 0 19 0 283151550 9856004096 36411 33554432000 1073741824 1073778376 140735574383184 140735574374320 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31326/statm: 2406251 36411 2292 9 0 2396937 0
[pid=31326/tid=31328] ppid=31324 vsize=9625004 CPUtime=6.03 cores=0,2,4,6
/proc/31326/task/31328/stat : 31328 (java) R 31324 31326 29719 0 -1 4202560 2538 0 1 0 601 2 0 0 20 0 19 0 283151551 9856004096 36411 33554432000 1073741824 1073778376 140735574383184 140496056209712 140495914175386 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=31326/tid=31329] ppid=31324 vsize=9625004 CPUtime=0.02 cores=0,2,4,6
/proc/31326/task/31329/stat : 31329 (java) S 31324 31326 29719 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 19 0 283151552 9856004096 36411 33554432000 1073741824 1073778376 140735574383184 140496034310440 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31326/tid=31330] ppid=31324 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/31326/task/31330/stat : 31330 (java) S 31324 31326 29719 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 283151552 9856004096 36411 33554432000 1073741824 1073778376 140735574383184 140496033257640 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31326/tid=31331] ppid=31324 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/31326/task/31331/stat : 31331 (java) S 31324 31326 29719 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 19 0 283151552 9856004096 36411 33554432000 1073741824 1073778376 140735574383184 140496032205352 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31326/tid=31332] ppid=31324 vsize=9625004 CPUtime=0.02 cores=0,2,4,6
/proc/31326/task/31332/stat : 31332 (java) S 31324 31326 29719 0 -1 4202560 22 0 0 0 2 0 0 0 20 0 19 0 283151552 9856004096 36411 33554432000 1073741824 1073778376 140735574383184 140495695112616 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31326/tid=31333] ppid=31324 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/31326/task/31333/stat : 31333 (java) S 31324 31326 29719 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 19 0 283151552 9856004096 36411 33554432000 1073741824 1073778376 140735574383184 140495694060328 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31326/tid=31334] ppid=31324 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/31326/task/31334/stat : 31334 (java) S 31324 31326 29719 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 283151552 9856004096 36411 33554432000 1073741824 1073778376 140735574383184 140495693007528 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31326/tid=31335] ppid=31324 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/31326/task/31335/stat : 31335 (java) S 31324 31326 29719 0 -1 4202560 4 0 0 0 1 0 0 0 20 0 19 0 283151552 9856004096 36411 33554432000 1073741824 1073778376 140735574383184 140495691955240 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31326/tid=31336] ppid=31324 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/31326/task/31336/stat : 31336 (java) S 31324 31326 29719 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 19 0 283151552 9856004096 36411 33554432000 1073741824 1073778376 140735574383184 140495690902440 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31326/tid=31337] ppid=31324 vsize=9625004 CPUtime=0.17 cores=0,2,4,6
/proc/31326/task/31337/stat : 31337 (java) S 31324 31326 29719 0 -1 4202560 45 0 0 0 17 0 0 0 20 0 19 0 283151553 9856004096 36411 33554432000 1073741824 1073778376 140735574383184 140495678703848 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31326/tid=31338] ppid=31324 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31326/task/31338/stat : 31338 (java) S 31324 31326 29719 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283151553 9856004096 36411 33554432000 1073741824 1073778376 140735574383184 140495677649912 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31326/tid=31339] ppid=31324 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31326/task/31339/stat : 31339 (java) S 31324 31326 29719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283151553 9856004096 36411 33554432000 1073741824 1073778376 140735574383184 140495676597512 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31326/tid=31340] ppid=31324 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31326/task/31340/stat : 31340 (java) S 31324 31326 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283151555 9856004096 36411 33554432000 1073741824 1073778376 140735574383184 140495675546000 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31326/tid=31341] ppid=31324 vsize=9625004 CPUtime=0.91 cores=0,2,4,6
/proc/31326/task/31341/stat : 31341 (java) S 31324 31326 29719 0 -1 4202560 11244 0 0 0 88 3 0 0 20 0 19 0 283151555 9856004096 36411 33554432000 1073741824 1073778376 140735574383184 140495674493624 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31326/tid=31342] ppid=31324 vsize=9625004 CPUtime=0.84 cores=0,2,4,6
/proc/31326/task/31342/stat : 31342 (java) S 31324 31326 29719 0 -1 4202560 5835 0 0 0 84 0 0 0 20 0 19 0 283151555 9856004096 36411 33554432000 1073741824 1073778376 140735574383184 140495673440824 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31326/tid=31343] ppid=31324 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31326/task/31343/stat : 31343 (java) S 31324 31326 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283151555 9856004096 36411 33554432000 1073741824 1073778376 140735574383184 140495672388728 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31326/tid=31344] ppid=31324 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31326/task/31344/stat : 31344 (java) S 31324 31326 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283151555 9856004096 36411 33554432000 1073741824 1073778376 140735574383184 140495671336136 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31326/tid=31345] ppid=31324 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31326/task/31345/stat : 31345 (java) S 31324 31326 29719 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 283151611 9856004096 36411 33554432000 1073741824 1073778376 140735574383184 140495670219688 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 8.22
Current children cumulated vsize (KiB) 9625004

[startup+12.7007 s]

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

[pid=31326/tid=31334] ppid=31324 vsize=9625004 CPUtime=1.36 cores=0,2,4,6
/proc/31326/task/31334/stat : 31334 (java) S 31324 31326 29719 0 -1 4202560 456 0 0 0 130 6 0 0 20 0 19 0 283151552 9856004096 146249 33554432000 1073741824 1073778376 140735574383184 140495693007528 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31326/tid=31335] ppid=31324 vsize=9625004 CPUtime=1.64 cores=0,2,4,6
/proc/31326/task/31335/stat : 31335 (java) S 31324 31326 29719 0 -1 4202560 365 0 0 0 158 6 0 0 20 0 19 0 283151552 9856004096 146249 33554432000 1073741824 1073778376 140735574383184 140495691955240 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31326/tid=31336] ppid=31324 vsize=9625004 CPUtime=1.51 cores=0,2,4,6
/proc/31326/task/31336/stat : 31336 (java) S 31324 31326 29719 0 -1 4202560 557 0 0 0 144 7 0 0 20 0 19 0 283151552 9856004096 146249 33554432000 1073741824 1073778376 140735574383184 140495690902440 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31326/tid=31337] ppid=31324 vsize=9625004 CPUtime=11.9 cores=0,2,4,6
/proc/31326/task/31337/stat : 31337 (java) S 31324 31326 29719 0 -1 4202560 462 0 0 0 1187 3 0 0 20 0 19 0 283151553 9856004096 146249 33554432000 1073741824 1073778376 140735574383184 140495678703848 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31326/tid=31338] ppid=31324 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31326/task/31338/stat : 31338 (java) S 31324 31326 29719 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283151553 9856004096 146249 33554432000 1073741824 1073778376 140735574383184 140495677649912 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31326/tid=31339] ppid=31324 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31326/task/31339/stat : 31339 (java) S 31324 31326 29719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283151553 9856004096 146249 33554432000 1073741824 1073778376 140735574383184 140495676597512 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31326/tid=31340] ppid=31324 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31326/task/31340/stat : 31340 (java) S 31324 31326 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283151555 9856004096 146249 33554432000 1073741824 1073778376 140735574383184 140495675546000 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31326/tid=31341] ppid=31324 vsize=9625004 CPUtime=0.93 cores=0,2,4,6
/proc/31326/task/31341/stat : 31341 (java) S 31324 31326 29719 0 -1 4202560 11247 0 0 0 90 3 0 0 20 0 19 0 283151555 9856004096 146249 33554432000 1073741824 1073778376 140735574383184 140495674493624 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31326/tid=31342] ppid=31324 vsize=9625004 CPUtime=0.84 cores=0,2,4,6
/proc/31326/task/31342/stat : 31342 (java) S 31324 31326 29719 0 -1 4202560 5835 0 0 0 84 0 0 0 20 0 19 0 283151555 9856004096 146249 33554432000 1073741824 1073778376 140735574383184 140495673440824 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31326/tid=31343] ppid=31324 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31326/task/31343/stat : 31343 (java) S 31324 31326 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283151555 9856004096 146249 33554432000 1073741824 1073778376 140735574383184 140495672388728 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31326/tid=31344] ppid=31324 vsize=9625004 CPUtime=0.53 cores=0,2,4,6
/proc/31326/task/31344/stat : 31344 (java) S 31324 31326 29719 0 -1 4202560 95 0 0 0 26 27 0 0 20 0 19 0 283151555 9856004096 146249 33554432000 1073741824 1073778376 140735574383184 140495671336136 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31326/tid=31345] ppid=31324 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31326/task/31345/stat : 31345 (java) S 31324 31326 29719 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 283151611 9856004096 146249 33554432000 1073741824 1073778376 140735574383184 140495670219688 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1672.62
Current children cumulated vsize (KiB) 9625004

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/213 31384
/proc/meminfo: memFree=27421404/32873844 swapFree=6856/6856
[pid=31326] ppid=31324 vsize=9625004 CPUtime=1732.87 cores=0,2,4,6
/proc/31326/stat : 31326 (java) S 31324 31326 29719 0 -1 4202496 25035 0 1 0 173202 85 0 0 20 0 19 0 283151550 9856004096 146249 33554432000 1073741824 1073778376 140735574383184 140735574374320 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31326/statm: 2406251 146249 2293 9 0 2396937 0
[pid=31326/tid=31328] ppid=31324 vsize=9625004 CPUtime=1706.41 cores=0,2,4,6
/proc/31326/task/31328/stat : 31328 (java) R 31324 31326 29719 0 -1 4202560 2749 0 1 0 170609 32 0 0 20 0 19 0 283151551 9856004096 146249 33554432000 1073741824 1073778376 140735574383184 140496056209712 140495913732586 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=31326/tid=31329] ppid=31324 vsize=9625004 CPUtime=1.51 cores=0,2,4,6
/proc/31326/task/31329/stat : 31329 (java) S 31324 31326 29719 0 -1 4202560 573 0 0 0 144 7 0 0 20 0 19 0 283151552 9856004096 146249 33554432000 1073741824 1073778376 140735574383184 140496034310440 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31326/tid=31330] ppid=31324 vsize=9625004 CPUtime=1.52 cores=0,2,4,6
/proc/31326/task/31330/stat : 31330 (java) S 31324 31326 29719 0 -1 4202560 349 0 0 0 146 6 0 0 20 0 19 0 283151552 9856004096 146249 33554432000 1073741824 1073778376 140735574383184 140496033257640 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31326/tid=31331] ppid=31324 vsize=9625004 CPUtime=1.44 cores=0,2,4,6
/proc/31326/task/31331/stat : 31331 (java) S 31324 31326 29719 0 -1 4202560 247 0 0 0 137 7 0 0 20 0 19 0 283151552 9856004096 146249 33554432000 1073741824 1073778376 140735574383184 140496032205352 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31326/tid=31332] ppid=31324 vsize=9625004 CPUtime=1.54 cores=0,2,4,6
/proc/31326/task/31332/stat : 31332 (java) S 31324 31326 29719 0 -1 4202560 426 0 0 0 149 5 0 0 20 0 19 0 283151552 9856004096 146249 33554432000 1073741824 1073778376 140735574383184 140495695112616 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31326/tid=31333] ppid=31324 vsize=9625004 CPUtime=1.63 cores=0,2,4,6
/proc/31326/task/31333/stat : 31333 (java) S 31324 31326 29719 0 -1 4202560 481 0 0 0 155 8 0 0 20 0 19 0 283151552 9856004096 146249 33554432000 1073741824 1073778376 140735574383184 140495694060328 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31326/tid=31334] ppid=31324 vsize=9625004 CPUtime=1.42 cores=0,2,4,6
/proc/31326/task/31334/stat : 31334 (java) S 31324 31326 29719 0 -1 4202560 456 0 0 0 136 6 0 0 20 0 19 0 283151552 9856004096 146249 33554432000 1073741824 1073778376 140735574383184 140495693007528 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31326/tid=31335] ppid=31324 vsize=9625004 CPUtime=1.67 cores=0,2,4,6
/proc/31326/task/31335/stat : 31335 (java) S 31324 31326 29719 0 -1 4202560 365 0 0 0 161 6 0 0 20 0 19 0 283151552 9856004096 146249 33554432000 1073741824 1073778376 140735574383184 140495691955240 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31326/tid=31336] ppid=31324 vsize=9625004 CPUtime=1.55 cores=0,2,4,6
/proc/31326/task/31336/stat : 31336 (java) S 31324 31326 29719 0 -1 4202560 557 0 0 0 148 7 0 0 20 0 19 0 283151552 9856004096 146249 33554432000 1073741824 1073778376 140735574383184 140495690902440 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31326/tid=31337] ppid=31324 vsize=9625004 CPUtime=12.24 cores=0,2,4,6
/proc/31326/task/31337/stat : 31337 (java) S 31324 31326 29719 0 -1 4202560 466 0 0 0 1221 3 0 0 20 0 19 0 283151553 9856004096 146249 33554432000 1073741824 1073778376 140735574383184 140495678703848 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31326/tid=31338] ppid=31324 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31326/task/31338/stat : 31338 (java) S 31324 31326 29719 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283151553 9856004096 146249 33554432000 1073741824 1073778376 140735574383184 140495677649912 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31326/tid=31339] ppid=31324 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31326/task/31339/stat : 31339 (java) S 31324 31326 29719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283151553 9856004096 146249 33554432000 1073741824 1073778376 140735574383184 140495676597512 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31326/tid=31340] ppid=31324 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31326/task/31340/stat : 31340 (java) S 31324 31326 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283151555 9856004096 146249 33554432000 1073741824 1073778376 140735574383184 140495675546000 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31326/tid=31341] ppid=31324 vsize=9625004 CPUtime=0.93 cores=0,2,4,6
/proc/31326/task/31341/stat : 31341 (java) S 31324 31326 29719 0 -1 4202560 11247 0 0 0 90 3 0 0 20 0 19 0 283151555 9856004096 146249 33554432000 1073741824 1073778376 140735574383184 140495674493624 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31326/tid=31342] ppid=31324 vsize=9625004 CPUtime=0.84 cores=0,2,4,6
/proc/31326/task/31342/stat : 31342 (java) S 31324 31326 29719 0 -1 4202560 5835 0 0 0 84 0 0 0 20 0 19 0 283151555 9856004096 146249 33554432000 1073741824 1073778376 140735574383184 140495673440824 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31326/tid=31343] ppid=31324 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31326/task/31343/stat : 31343 (java) S 31324 31326 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283151555 9856004096 146249 33554432000 1073741824 1073778376 140735574383184 140495672388728 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31326/tid=31344] ppid=31324 vsize=9625004 CPUtime=0.55 cores=0,2,4,6
/proc/31326/task/31344/stat : 31344 (java) S 31324 31326 29719 0 -1 4202560 99 0 0 0 26 29 0 0 20 0 19 0 283151555 9856004096 146249 33554432000 1073741824 1073778376 140735574383184 140495671336136 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31326/tid=31345] ppid=31324 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31326/task/31345/stat : 31345 (java) S 31324 31326 29719 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 283151611 9856004096 146249 33554432000 1073741824 1073778376 140735574383184 140495670219688 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1732.87
Current children cumulated vsize (KiB) 9625004

[startup+1782.3 s]
/proc/loadavg: 2.26 2.08 2.02 2/194 31388
/proc/meminfo: memFree=28417508/32873844 swapFree=6856/6856
[pid=31326] ppid=31324 vsize=9625004 CPUtime=1793.15 cores=0,2,4,6
/proc/31326/stat : 31326 (java) S 31324 31326 29719 0 -1 4202496 25046 0 1 0 179229 86 0 0 20 0 19 0 283151550 9856004096 146249 33554432000 1073741824 1073778376 140735574383184 140735574374320 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31326/statm: 2406251 146249 2293 9 0 2396937 0
[pid=31326/tid=31328] ppid=31324 vsize=9625004 CPUtime=1765.97 cores=0,2,4,6
/proc/31326/task/31328/stat : 31328 (java) R 31324 31326 29719 0 -1 4202560 2752 0 1 0 176564 33 0 0 20 0 19 0 283151551 9856004096 146249 33554432000 1073741824 1073778376 140735574383184 140496056209712 140495914175699 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=31326/tid=31329] ppid=31324 vsize=9625004 CPUtime=1.54 cores=0,2,4,6
/proc/31326/task/31329/stat : 31329 (java) S 31324 31326 29719 0 -1 4202560 573 0 0 0 147 7 0 0 20 0 19 0 283151552 9856004096 146249 33554432000 1073741824 1073778376 140735574383184 140496034310440 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31326/tid=31330] ppid=31324 vsize=9625004 CPUtime=1.6 cores=0,2,4,6
/proc/31326/task/31330/stat : 31330 (java) S 31324 31326 29719 0 -1 4202560 349 0 0 0 154 6 0 0 20 0 19 0 283151552 9856004096 146249 33554432000 1073741824 1073778376 140735574383184 140496033257640 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31326/tid=31331] ppid=31324 vsize=9625004 CPUtime=1.47 cores=0,2,4,6
/proc/31326/task/31331/stat : 31331 (java) S 31324 31326 29719 0 -1 4202560 247 0 0 0 140 7 0 0 20 0 19 0 283151552 9856004096 146249 33554432000 1073741824 1073778376 140735574383184 140496032205352 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31326/tid=31332] ppid=31324 vsize=9625004 CPUtime=1.59 cores=0,2,4,6
/proc/31326/task/31332/stat : 31332 (java) S 31324 31326 29719 0 -1 4202560 426 0 0 0 154 5 0 0 20 0 19 0 283151552 9856004096 146249 33554432000 1073741824 1073778376 140735574383184 140495695112616 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31326/tid=31333] ppid=31324 vsize=9625004 CPUtime=1.71 cores=0,2,4,6
/proc/31326/task/31333/stat : 31333 (java) S 31324 31326 29719 0 -1 4202560 481 0 0 0 163 8 0 0 20 0 19 0 283151552 9856004096 146249 33554432000 1073741824 1073778376 140735574383184 140495694060328 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31326/tid=31334] ppid=31324 vsize=9625004 CPUtime=1.45 cores=0,2,4,6
/proc/31326/task/31334/stat : 31334 (java) S 31324 31326 29719 0 -1 4202560 456 0 0 0 139 6 0 0 20 0 19 0 283151552 9856004096 146249 33554432000 1073741824 1073778376 140735574383184 140495693007528 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31326/tid=31335] ppid=31324 vsize=9625004 CPUtime=1.71 cores=0,2,4,6
/proc/31326/task/31335/stat : 31335 (java) S 31324 31326 29719 0 -1 4202560 365 0 0 0 165 6 0 0 20 0 19 0 283151552 9856004096 146249 33554432000 1073741824 1073778376 140735574383184 140495691955240 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31326/tid=31336] ppid=31324 vsize=9625004 CPUtime=1.57 cores=0,2,4,6
/proc/31326/task/31336/stat : 31336 (java) S 31324 31326 29719 0 -1 4202560 557 0 0 0 150 7 0 0 20 0 19 0 283151552 9856004096 146249 33554432000 1073741824 1073778376 140735574383184 140495690902440 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31326/tid=31337] ppid=31324 vsize=9625004 CPUtime=12.58 cores=0,2,4,6
/proc/31326/task/31337/stat : 31337 (java) S 31324 31326 29719 0 -1 4202560 470 0 0 0 1255 3 0 0 20 0 19 0 283151553 9856004096 146249 33554432000 1073741824 1073778376 140735574383184 140495678703848 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31326/tid=31338] ppid=31324 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31326/task/31338/stat : 31338 (java) S 31324 31326 29719 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283151553 9856004096 146249 33554432000 1073741824 1073778376 140735574383184 140495677649912 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31326/tid=31339] ppid=31324 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31326/task/31339/stat : 31339 (java) S 31324 31326 29719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283151553 9856004096 146249 33554432000 1073741824 1073778376 140735574383184 140495676597512 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31326/tid=31340] ppid=31324 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31326/task/31340/stat : 31340 (java) S 31324 31326 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283151555 9856004096 146249 33554432000 1073741824 1073778376 140735574383184 140495675546000 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31326/tid=31341] ppid=31324 vsize=9625004 CPUtime=0.93 cores=0,2,4,6
/proc/31326/task/31341/stat : 31341 (java) S 31324 31326 29719 0 -1 4202560 11247 0 0 0 90 3 0 0 20 0 19 0 283151555 9856004096 146249 33554432000 1073741824 1073778376 140735574383184 140495674493624 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31326/tid=31342] ppid=31324 vsize=9625004 CPUtime=0.84 cores=0,2,4,6
/proc/31326/task/31342/stat : 31342 (java) S 31324 31326 29719 0 -1 4202560 5835 0 0 0 84 0 0 0 20 0 19 0 283151555 9856004096 146249 33554432000 1073741824 1073778376 140735574383184 140495673440824 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31326/tid=31343] ppid=31324 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31326/task/31343/stat : 31343 (java) S 31324 31326 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283151555 9856004096 146249 33554432000 1073741824 1073778376 140735574383184 140495672388728 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31326/tid=31344] ppid=31324 vsize=9625004 CPUtime=0.58 cores=0,2,4,6
/proc/31326/task/31344/stat : 31344 (java) S 31324 31326 29719 0 -1 4202560 103 0 0 0 27 31 0 0 20 0 19 0 283151555 9856004096 146249 33554432000 1073741824 1073778376 140735574383184 140495671336136 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31326/tid=31345] ppid=31324 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31326/task/31345/stat : 31345 (java) S 31324 31326 29719 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 283151611 9856004096 146249 33554432000 1073741824 1073778376 140735574383184 140495670219688 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1793.15
Current children cumulated vsize (KiB) 9625004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1789.2 s]
/proc/loadavg: 2.24 2.08 2.02 3/214 31444
/proc/meminfo: memFree=28347308/32873844 swapFree=6856/6856
[pid=31326] ppid=31324 vsize=9625004 CPUtime=1800.06 cores=0,2,4,6
/proc/31326/stat : 31326 (java) S 31324 31326 29719 0 -1 4202496 25046 0 1 0 179920 86 0 0 20 0 19 0 283151550 9856004096 146249 33554432000 1073741824 1073778376 140735574383184 140735574374320 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31326/statm: 2406251 146249 2293 9 0 2396937 0
[pid=31326/tid=31328] ppid=31324 vsize=9625004 CPUtime=1772.88 cores=0,2,4,6
/proc/31326/task/31328/stat : 31328 (java) R 31324 31326 29719 0 -1 4202560 2752 0 1 0 177255 33 0 0 20 0 19 0 283151551 9856004096 146249 33554432000 1073741824 1073778376 140735574383184 140496056209712 140495914103640 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=31326/tid=31329] ppid=31324 vsize=9625004 CPUtime=1.54 cores=0,2,4,6
/proc/31326/task/31329/stat : 31329 (java) S 31324 31326 29719 0 -1 4202560 573 0 0 0 147 7 0 0 20 0 19 0 283151552 9856004096 146249 33554432000 1073741824 1073778376 140735574383184 140496034310440 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31326/tid=31330] ppid=31324 vsize=9625004 CPUtime=1.6 cores=0,2,4,6
/proc/31326/task/31330/stat : 31330 (java) S 31324 31326 29719 0 -1 4202560 349 0 0 0 154 6 0 0 20 0 19 0 283151552 9856004096 146249 33554432000 1073741824 1073778376 140735574383184 140496033257640 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31326/tid=31331] ppid=31324 vsize=9625004 CPUtime=1.47 cores=0,2,4,6
/proc/31326/task/31331/stat : 31331 (java) S 31324 31326 29719 0 -1 4202560 247 0 0 0 140 7 0 0 20 0 19 0 283151552 9856004096 146249 33554432000 1073741824 1073778376 140735574383184 140496032205352 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31326/tid=31332] ppid=31324 vsize=9625004 CPUtime=1.59 cores=0,2,4,6
/proc/31326/task/31332/stat : 31332 (java) S 31324 31326 29719 0 -1 4202560 426 0 0 0 154 5 0 0 20 0 19 0 283151552 9856004096 146249 33554432000 1073741824 1073778376 140735574383184 140495695112616 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31326/tid=31333] ppid=31324 vsize=9625004 CPUtime=1.71 cores=0,2,4,6
/proc/31326/task/31333/stat : 31333 (java) S 31324 31326 29719 0 -1 4202560 481 0 0 0 163 8 0 0 20 0 19 0 283151552 9856004096 146249 33554432000 1073741824 1073778376 140735574383184 140495694060328 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31326/tid=31334] ppid=31324 vsize=9625004 CPUtime=1.45 cores=0,2,4,6
/proc/31326/task/31334/stat : 31334 (java) S 31324 31326 29719 0 -1 4202560 456 0 0 0 139 6 0 0 20 0 19 0 283151552 9856004096 146249 33554432000 1073741824 1073778376 140735574383184 140495693007528 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31326/tid=31335] ppid=31324 vsize=9625004 CPUtime=1.71 cores=0,2,4,6
/proc/31326/task/31335/stat : 31335 (java) S 31324 31326 29719 0 -1 4202560 365 0 0 0 165 6 0 0 20 0 19 0 283151552 9856004096 146249 33554432000 1073741824 1073778376 140735574383184 140495691955240 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31326/tid=31336] ppid=31324 vsize=9625004 CPUtime=1.57 cores=0,2,4,6
/proc/31326/task/31336/stat : 31336 (java) S 31324 31326 29719 0 -1 4202560 557 0 0 0 150 7 0 0 20 0 19 0 283151552 9856004096 146249 33554432000 1073741824 1073778376 140735574383184 140495690902440 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31326/tid=31337] ppid=31324 vsize=9625004 CPUtime=12.58 cores=0,2,4,6
/proc/31326/task/31337/stat : 31337 (java) S 31324 31326 29719 0 -1 4202560 470 0 0 0 1255 3 0 0 20 0 19 0 283151553 9856004096 146249 33554432000 1073741824 1073778376 140735574383184 140495678703848 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31326/tid=31338] ppid=31324 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31326/task/31338/stat : 31338 (java) S 31324 31326 29719 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283151553 9856004096 146249 33554432000 1073741824 1073778376 140735574383184 140495677649912 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31326/tid=31339] ppid=31324 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31326/task/31339/stat : 31339 (java) S 31324 31326 29719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283151553 9856004096 146249 33554432000 1073741824 1073778376 140735574383184 140495676597512 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31326/tid=31340] ppid=31324 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31326/task/31340/stat : 31340 (java) S 31324 31326 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283151555 9856004096 146249 33554432000 1073741824 1073778376 140735574383184 140495675546000 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31326/tid=31341] ppid=31324 vsize=9625004 CPUtime=0.93 cores=0,2,4,6
/proc/31326/task/31341/stat : 31341 (java) S 31324 31326 29719 0 -1 4202560 11247 0 0 0 90 3 0 0 20 0 19 0 283151555 9856004096 146249 33554432000 1073741824 1073778376 140735574383184 140495674493624 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31326/tid=31342] ppid=31324 vsize=9625004 CPUtime=0.84 cores=0,2,4,6
/proc/31326/task/31342/stat : 31342 (java) S 31324 31326 29719 0 -1 4202560 5835 0 0 0 84 0 0 0 20 0 19 0 283151555 9856004096 146249 33554432000 1073741824 1073778376 140735574383184 140495673440824 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31326/tid=31343] ppid=31324 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31326/task/31343/stat : 31343 (java) S 31324 31326 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283151555 9856004096 146249 33554432000 1073741824 1073778376 140735574383184 140495672388728 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31326/tid=31344] ppid=31324 vsize=9625004 CPUtime=0.58 cores=0,2,4,6
/proc/31326/task/31344/stat : 31344 (java) S 31324 31326 29719 0 -1 4202560 103 0 0 0 27 31 0 0 20 0 19 0 283151555 9856004096 146249 33554432000 1073741824 1073778376 140735574383184 140495671336136 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31326/tid=31345] ppid=31324 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/31326/task/31345/stat : 31345 (java) S 31324 31326 29719 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 283151611 9856004096 146249 33554432000 1073741824 1073778376 140735574383184 140495670219688 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 9625004

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

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

Child status: 143
Real time (s): 1789.25
CPU time (s): 1800.78
CPU user time (s): 1799.42
CPU system time (s): 1.36279
CPU usage (%): 100.645
Max. virtual memory (cumulated for all children) (KiB): 9625004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.42
system time used= 1.36279
maximum resident set size= 585116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25078
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 43035
involuntary context switches= 32902

runsolver used 5.68014 second user time and 14.5438 second system time

The end

Launcher Data 

Begin job on node144 at 2012-05-28 03:57:46
IDJOB=3711249
IDBENCH=48215
IDSOLVER=2289
FILE ID=node144/3711249-1338170266
RUNJOBID= node144-1338157682-29735
PBS_JOBID= 14624532
Free space on /tmp= 71472 MiB

SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_25_3.opb
COMMAND LINE= java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3711249-1338170266/watcher-3711249-1338170266 -o /tmp/evaluation-result-3711249-1338170266/solver-3711249-1338170266 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3711249-1338170266.opb

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

MD5SUM BENCH= 04b0fb885ddf05bea62d9eda618b3e5b
RANDOM SEED=135932964

node144.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.196
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.39
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.196
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.196
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	: 5438.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.196
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.196
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.90
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.196
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.92
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.196
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.196
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:        28691896 kB
Buffers:          381456 kB
Cached:          2641268 kB
SwapCached:            0 kB
Active:          1139996 kB
Inactive:        2189060 kB
Active(anon):     307128 kB
Inactive(anon):        0 kB
Active(file):     832868 kB
Inactive(file):  2189060 kB
Unevictable:        6856 kB
Mlocked:            6856 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              2636 kB
Writeback:             0 kB
AnonPages:        327832 kB
Mapped:            22580 kB
Shmem:               200 kB
Slab:             697572 kB
SReclaimable:     139604 kB
SUnreclaim:       557968 kB
KernelStack:        1600 kB
PageTables:         4468 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     826608 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    274432 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= 71472 MiB
End job on node144 at 2012-05-28 04:27:38