Trace number 4106780

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j PB 2.3.6 Resolution PB16SAT (TO)-13 1800.75 1789.24

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_100_25_2.opb
MD5SUM3576405369e31b0bc5c7707d6d764dde
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-13
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -16
Optimality of the best value was proved NO
Number of variables200
Total number of constraints301
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints201
Minimum length of a constraint2
Maximum length of a constraint200
Number of terms in the objective function 100
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 100
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)6148
Sum of products size (including duplicates)12296
Number of different products3074
Sum of products size6148

Quality of the solution as a function of time


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

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.09/0.10	c version PB16.v20160501
0.09/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.09/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.09/0.10	c java.vm.version	19.1-b02
0.09/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.09/0.10	c sun.arch.data.model	64
0.09/0.10	c java.version		1.6.0_24
0.09/0.10	c os.name		Linux
0.09/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.09/0.10	c os.arch		amd64
0.09/0.10	c Free memory 		501472288
0.09/0.10	c Max memory 		7480803328
0.09/0.10	c Total memory 		504102912
0.09/0.10	c Number of processors 	8
0.09/0.12	c Pseudo Boolean Optimization by upper bound
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.12	c No reason simplification
0.09/0.12	c Glucose 2.1 dynamic restart strategy
0.09/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-4106780-1466276843.opb
0.09/0.12	c reading problem ... 
0.09/0.13	c  objective function found
0.74/0.41	c ... done. Wall clock time 0.291s.
0.74/0.41	c declared #vars     200
0.74/0.41	c internal #vars     3274
0.74/0.41	c #constraints  6450
0.74/0.41	c constraints type 
0.74/0.41	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3074
0.74/0.41	c org.sat4j.minisat.constraints.card.MinWatchCard => 202
0.74/0.41	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 100
0.74/0.41	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3074
0.74/0.41	c 6450 constraints processed.
0.74/0.41	c objective function length is 100 literals
1.58/0.73	c SATISFIABLE
1.58/0.73	c OPTIMIZING...
1.58/0.73	c Got one! Elapsed wall clock time (in seconds):0.606
1.58/0.73	o -7
1.58/0.77	c Got one! Elapsed wall clock time (in seconds):0.653
1.58/0.77	o -8
2.32/1.33	c cleaning 2692 clauses out of 5383 with flag 15787/5383
2.98/1.98	c Got one! Elapsed wall clock time (in seconds):1.858
2.98/1.98	o -9
2.98/1.99	c Got one! Elapsed wall clock time (in seconds):1.867
2.98/1.99	o -10
3.20/2.18	c Got one! Elapsed wall clock time (in seconds):2.06
3.20/2.18	o -11
3.65/2.55	c cleaning 6766 clauses out of 13532 with flag 7359/16224
4.46/3.38	c cleaning 6392 clauses out of 12785 with flag 22804/22243
5.52/4.31	c cleaning 6677 clauses out of 13384 with flag 40963/29234
6.76/5.20	c cleaning 7346 clauses out of 14696 with flag 63479/37223
7.66/6.02	c cleaning 8175 clauses out of 16354 with flag 89626/46227
8.46/6.89	c cleaning 9082 clauses out of 18174 with flag 118637/56222
9.37/7.74	c cleaning 10047 clauses out of 20094 with flag 151567/67224
10.26/8.67	c cleaning 11025 clauses out of 22049 with flag 188718/79226
11.26/9.68	c cleaning 12010 clauses out of 24020 with flag 226330/92222
12.36/10.74	c cleaning 13004 clauses out of 26010 with flag 269502/106222
13.56/11.94	c cleaning 14003 clauses out of 28006 with flag 319641/121222
14.97/13.35	c cleaning 15002 clauses out of 30003 with flag 376278/137222
16.46/14.83	c cleaning 15993 clauses out of 32001 with flag 435452/154222
18.13/16.42	c cleaning 16994 clauses out of 34008 with flag 496843/172222
19.94/18.23	c cleaning 18007 clauses out of 36017 with flag 559208/191225
21.64/19.95	c cleaning 19003 clauses out of 38009 with flag 626606/211224
23.54/21.86	c cleaning 19997 clauses out of 40004 with flag 703003/232222
25.74/24.01	c cleaning 21007 clauses out of 42014 with flag 781689/254229
27.74/26.06	c cleaning 22001 clauses out of 44012 with flag 860921/277234
30.54/28.90	c cleaning 22997 clauses out of 46000 with flag 943638/301223
33.14/31.46	c cleaning 23999 clauses out of 48002 with flag 1033915/326222
37.24/35.50	c cleaning 24993 clauses out of 50004 with flag 1133000/352223
41.90/40.10	c cleaning 26000 clauses out of 52010 with flag 1248259/379222
46.20/44.42	c cleaning 26998 clauses out of 54012 with flag 1345801/407224
50.40/48.68	c cleaning 28002 clauses out of 56012 with flag 1460203/436222
54.60/52.87	c cleaning 28999 clauses out of 58010 with flag 1568546/466222
58.21/56.44	c cleaning 30006 clauses out of 60011 with flag 1672494/497222
62.50/60.75	c cleaning 31001 clauses out of 62006 with flag 1786799/529223
67.28/65.47	c cleaning 31994 clauses out of 64004 with flag 1896387/562222
72.18/70.37	c cleaning 33003 clauses out of 66010 with flag 2009444/596222
76.48/74.66	c cleaning 33998 clauses out of 68007 with flag 2150569/631222
82.58/80.71	c cleaning 34991 clauses out of 70009 with flag 2307628/667222
91.08/89.29	c cleaning 36010 clauses out of 72019 with flag 2425576/704223
103.02/101.03	c cleaning 37015 clauses out of 74029 with flag 2528124/742243
114.02/112.01	c cleaning 37997 clauses out of 75994 with flag 2641397/781223
127.43/125.46	c cleaning 39012 clauses out of 78028 with flag 2744298/821254
137.62/135.65	c cleaning 39983 clauses out of 79986 with flag 2862091/862224
145.42/143.48	c cleaning 40998 clauses out of 82005 with flag 2983961/904226
152.49/150.30	c cleaning 41995 clauses out of 84003 with flag 3126350/947222
159.09/156.92	c cleaning 42995 clauses out of 86008 with flag 3270272/991222
166.39/164.24	c cleaning 44003 clauses out of 88014 with flag 3436020/1036223
173.09/170.97	c cleaning 44999 clauses out of 90011 with flag 3591378/1082223
181.07/178.71	c cleaning 46003 clauses out of 92011 with flag 3745937/1129222
188.47/186.19	c cleaning 47005 clauses out of 94009 with flag 3890138/1177223
196.67/194.39	c cleaning 48000 clauses out of 96004 with flag 4054567/1226223
205.46/202.98	c cleaning 49001 clauses out of 98003 with flag 4221936/1276222
214.16/211.64	c cleaning 49995 clauses out of 100003 with flag 4401107/1327223
223.06/220.53	c cleaning 50992 clauses out of 102007 with flag 4577214/1379222
233.96/231.40	c cleaning 52003 clauses out of 104017 with flag 4750873/1432224
245.15/242.38	c cleaning 52997 clauses out of 106012 with flag 4940138/1486222
255.27/252.49	c cleaning 54002 clauses out of 108015 with flag 5121705/1541222
267.65/264.67	c cleaning 55002 clauses out of 110017 with flag 5338438/1597226
280.65/277.63	c cleaning 55995 clauses out of 112012 with flag 5617495/1654223
291.67/288.45	c cleaning 57005 clauses out of 114016 with flag 5884724/1712222
301.58/298.31	c cleaning 57995 clauses out of 116011 with flag 6110765/1771222
311.96/308.65	c cleaning 59008 clauses out of 118017 with flag 6318538/1831223
325.87/322.51	c cleaning 60001 clauses out of 120008 with flag 6560078/1892222
338.38/334.92	c cleaning 60996 clauses out of 122007 with flag 6789121/1954222
352.68/349.23	c cleaning 61999 clauses out of 124011 with flag 7050865/2017222
366.47/362.92	c cleaning 62996 clauses out of 126012 with flag 7281265/2081222
380.47/376.95	c cleaning 64004 clauses out of 128016 with flag 7508193/2146222
394.54/390.92	c cleaning 65005 clauses out of 130015 with flag 7736881/2212225
407.93/404.21	c cleaning 66003 clauses out of 132008 with flag 7967613/2279223
421.63/417.97	c cleaning 66999 clauses out of 134004 with flag 8208465/2347222
434.59/430.87	c cleaning 67998 clauses out of 136006 with flag 8441314/2416223
450.36/446.52	c cleaning 68994 clauses out of 138008 with flag 8704031/2486223
466.77/462.96	c cleaning 69994 clauses out of 140013 with flag 8952310/2557222
482.45/478.56	c cleaning 71003 clauses out of 142019 with flag 9206810/2629222
498.71/494.78	c cleaning 72004 clauses out of 144018 with flag 9463430/2702224
516.98/512.91	c cleaning 73002 clauses out of 146012 with flag 9717835/2776222
536.08/532.07	c cleaning 74003 clauses out of 148010 with flag 10017809/2851222
560.07/555.98	c cleaning 75004 clauses out of 150009 with flag 10231866/2927224
584.78/580.53	c cleaning 75994 clauses out of 152005 with flag 10445215/3004224
610.82/606.50	c cleaning 76997 clauses out of 154009 with flag 10651267/3082222
637.10/632.73	c cleaning 77997 clauses out of 156012 with flag 10859117/3161222
664.67/660.28	c cleaning 79000 clauses out of 158015 with flag 11058210/3241222
666.57/662.17	c Got one! Elapsed wall clock time (in seconds):662.045
666.57/662.17	o -12
667.69/663.29	c cleaning 46755 clauses out of 93515 with flag 15706/3255722
668.69/664.26	c cleaning 26380 clauses out of 52764 with flag 38582/3261726
669.49/665.03	c cleaning 16676 clauses out of 33380 with flag 65201/3268722
670.19/665.74	c cleaning 12342 clauses out of 24704 with flag 93491/3276722
671.09/666.63	c cleaning 10674 clauses out of 21362 with flag 131179/3285722
671.88/667.48	c cleaning 10335 clauses out of 20688 with flag 170290/3295722
672.81/668.35	c cleaning 10675 clauses out of 21353 with flag 213515/3306722
673.61/669.19	c cleaning 11335 clauses out of 22679 with flag 260186/3318723
674.61/670.17	c cleaning 12172 clauses out of 24344 with flag 310388/3331723
675.71/671.23	c cleaning 13074 clauses out of 26171 with flag 362974/3345722
677.11/672.67	c cleaning 14047 clauses out of 28099 with flag 426874/3360724
678.71/674.24	c cleaning 15009 clauses out of 30050 with flag 488019/3376722
680.41/675.91	c cleaning 16020 clauses out of 32041 with flag 556271/3393722
682.04/677.57	c cleaning 17011 clauses out of 34021 with flag 626684/3411722
683.74/679.26	c cleaning 17995 clauses out of 36010 with flag 693643/3430722
685.34/680.88	c cleaning 19002 clauses out of 38015 with flag 759249/3450722
687.74/683.25	c cleaning 19988 clauses out of 40016 with flag 838108/3471725
690.47/685.94	c cleaning 21005 clauses out of 42025 with flag 919307/3493722
693.37/688.82	c cleaning 22008 clauses out of 44021 with flag 997422/3516723
695.87/691.36	c cleaning 23003 clauses out of 46012 with flag 1085627/3540722
698.47/693.94	c cleaning 24003 clauses out of 48010 with flag 1179997/3565723
701.80/697.20	c cleaning 24995 clauses out of 50014 with flag 1293885/3591730
705.20/700.70	c cleaning 25996 clauses out of 52015 with flag 1408577/3618726
708.50/703.91	c cleaning 27009 clauses out of 54017 with flag 1530153/3646724
712.05/707.45	c cleaning 27984 clauses out of 56006 with flag 1650010/3675722
715.64/711.04	c cleaning 29005 clauses out of 58022 with flag 1770524/3705722
719.54/714.92	c cleaning 30003 clauses out of 60019 with flag 1900899/3736724
723.58/718.96	c cleaning 30998 clauses out of 62014 with flag 2023841/3768722
727.27/722.70	c cleaning 32004 clauses out of 64018 with flag 2145431/3801724
731.97/727.35	c cleaning 33000 clauses out of 66016 with flag 2296630/3835726
737.80/733.17	c cleaning 33969 clauses out of 68012 with flag 2455465/3870722
743.30/738.61	c cleaning 35016 clauses out of 70043 with flag 2600614/3906722
748.94/744.28	c cleaning 36010 clauses out of 72027 with flag 2777720/3943722
755.75/751.07	c cleaning 37003 clauses out of 74017 with flag 2963738/3981722
762.81/758.08	c cleaning 38000 clauses out of 76014 with flag 3137633/4020722
768.60/763.88	c cleaning 39006 clauses out of 78014 with flag 3296657/4060722
774.84/770.03	c cleaning 39988 clauses out of 80008 with flag 3459007/4101722
780.94/776.14	c cleaning 41004 clauses out of 82022 with flag 3606747/4143724
788.50/783.67	c cleaning 41999 clauses out of 84016 with flag 3774418/4186722
795.90/791.02	c cleaning 43003 clauses out of 86017 with flag 3916457/4230722
804.92/800.07	c cleaning 43996 clauses out of 88015 with flag 4114996/4275723
813.62/808.71	c cleaning 45009 clauses out of 90024 with flag 4319311/4321728
821.35/816.50	c cleaning 45998 clauses out of 92010 with flag 4511264/4368723
827.90/822.99	c cleaning 47005 clauses out of 94013 with flag 4691702/4416724
834.09/829.18	c cleaning 48000 clauses out of 96006 with flag 4870971/4465722
841.72/836.78	c cleaning 49002 clauses out of 98007 with flag 5068565/4515723
851.56/846.57	c cleaning 50002 clauses out of 100007 with flag 5265720/4566725
862.47/857.49	c cleaning 50986 clauses out of 102002 with flag 5446669/4618722
873.01/867.93	c cleaning 51994 clauses out of 104016 with flag 5646146/4671722
882.76/877.64	c cleaning 53007 clauses out of 106022 with flag 5832408/4725722
893.32/888.13	c cleaning 54004 clauses out of 108015 with flag 6024433/4780722
903.52/898.38	c cleaning 55007 clauses out of 110014 with flag 6219916/4836725
915.07/909.86	c cleaning 55999 clauses out of 112007 with flag 6446865/4893725
925.78/920.52	c cleaning 56991 clauses out of 114005 with flag 6686933/4951722
936.23/930.99	c cleaning 58005 clauses out of 116014 with flag 6900332/5010722
949.10/943.80	c cleaning 58998 clauses out of 118014 with flag 7121600/5070727
962.87/957.45	c cleaning 59999 clauses out of 120011 with flag 7374604/5131722
978.55/973.03	c cleaning 60991 clauses out of 122012 with flag 7639906/5193722
993.21/987.69	c cleaning 62010 clauses out of 124021 with flag 7870693/5256722
1006.90/1001.25	c cleaning 63000 clauses out of 126011 with flag 8061260/5320722
1021.48/1015.74	c cleaning 64004 clauses out of 128011 with flag 8313025/5385722
1037.83/1032.03	c cleaning 64999 clauses out of 130007 with flag 8557873/5451722
1053.00/1047.11	c cleaning 66003 clauses out of 132008 with flag 8798958/5518722
1068.75/1062.87	c cleaning 66997 clauses out of 134006 with flag 9035622/5586723
1084.29/1078.39	c cleaning 67992 clauses out of 136008 with flag 9284489/5655722
1100.30/1094.33	c cleaning 68983 clauses out of 138016 with flag 9513096/5725722
1119.88/1113.83	c cleaning 70014 clauses out of 140035 with flag 9767852/5796724
1136.61/1130.52	c cleaning 70955 clauses out of 142019 with flag 10030217/5868722
1154.83/1148.74	c cleaning 72018 clauses out of 144064 with flag 10299327/5941722
1177.20/1171.08	c cleaning 72993 clauses out of 146048 with flag 10604877/6015724
1193.87/1187.67	c cleaning 74021 clauses out of 148054 with flag 10964480/6090723
1209.49/1203.17	c cleaning 75013 clauses out of 150033 with flag 11273639/6166723
1225.64/1219.28	c cleaning 76006 clauses out of 152019 with flag 11567318/6243722
1245.13/1238.68	c cleaning 77004 clauses out of 154013 with flag 11885642/6321722
1264.84/1258.23	c cleaning 77995 clauses out of 156009 with flag 12228878/6400722
1284.77/1278.02	c cleaning 79004 clauses out of 158014 with flag 12554236/6480722
1302.63/1295.83	c cleaning 80001 clauses out of 160011 with flag 12857035/6561723
1322.11/1315.26	c cleaning 80996 clauses out of 162009 with flag 13144228/6643722
1340.72/1333.73	c cleaning 82004 clauses out of 164013 with flag 13424004/6726722
1365.32/1358.26	c cleaning 82998 clauses out of 166010 with flag 13772651/6810723
1390.92/1383.77	c cleaning 83986 clauses out of 168011 with flag 14103353/6895722
1420.53/1413.20	c cleaning 85007 clauses out of 170025 with flag 14544466/6981722
1446.32/1438.87	c cleaning 85986 clauses out of 172018 with flag 14904184/7068722
1453.22/1445.71	c Got one! Elapsed wall clock time (in seconds):1445.59
1453.22/1445.71	o -13
1454.99/1447.50	c cleaning 60607 clauses out of 121249 with flag 19382/7103939
1456.09/1448.51	c cleaning 33312 clauses out of 66642 with flag 44785/7109939
1456.89/1449.31	c cleaning 20124 clauses out of 40330 with flag 74686/7116939
1457.50/1449.91	c cleaning 14088 clauses out of 28206 with flag 104260/7124939
1457.99/1450.44	c cleaning 11544 clauses out of 23119 with flag 136525/7133940
1458.70/1451.18	c cleaning 10773 clauses out of 21585 with flag 175183/7143950
1459.61/1452.06	c cleaning 10870 clauses out of 21801 with flag 222492/7154939
1460.60/1453.05	c cleaning 11460 clauses out of 22933 with flag 278289/7166941
1461.73/1454.13	c cleaning 12232 clauses out of 24471 with flag 336144/7179939
1462.83/1455.30	c cleaning 13122 clauses out of 26244 with flag 402618/7193944
1464.04/1456.41	c cleaning 14059 clauses out of 28121 with flag 461976/7208943
1465.16/1457.55	c cleaning 15026 clauses out of 30060 with flag 522395/7224941
1466.26/1458.68	c cleaning 16016 clauses out of 32035 with flag 576900/7241942
1467.69/1460.03	c cleaning 17009 clauses out of 34017 with flag 642025/7259940
1469.09/1461.49	c cleaning 18003 clauses out of 36007 with flag 725004/7278939
1470.62/1462.94	c cleaning 19001 clauses out of 38004 with flag 801705/7298939
1472.22/1464.53	c cleaning 19999 clauses out of 40004 with flag 875477/7319940
1474.07/1466.32	c cleaning 20999 clauses out of 42005 with flag 951532/7341940
1476.02/1468.25	c cleaning 22000 clauses out of 44007 with flag 1035078/7364941
1478.42/1470.62	c cleaning 22989 clauses out of 46005 with flag 1145319/7388939
1480.75/1473.00	c cleaning 24004 clauses out of 48016 with flag 1249891/7413939
1483.59/1475.79	c cleaning 24998 clauses out of 50013 with flag 1374066/7439940
1486.39/1478.56	c cleaning 26005 clauses out of 52015 with flag 1483477/7466940
1489.81/1481.95	c cleaning 27001 clauses out of 54010 with flag 1604123/7494940
1493.14/1485.22	c cleaning 27991 clauses out of 56008 with flag 1719453/7523939
1496.18/1488.21	c cleaning 28994 clauses out of 58017 with flag 1838617/7553939
1499.51/1491.50	c cleaning 30009 clauses out of 60024 with flag 1962715/7584940
1502.84/1494.81	c cleaning 31001 clauses out of 62014 with flag 2081036/7616939
1506.39/1498.36	c cleaning 32004 clauses out of 64016 with flag 2202662/7649942
1510.00/1501.94	c cleaning 32996 clauses out of 66010 with flag 2322241/7683940
1513.85/1505.78	c cleaning 34007 clauses out of 68014 with flag 2453669/7718940
1518.18/1510.03	c cleaning 34996 clauses out of 70006 with flag 2589663/7754939
1522.51/1514.39	c cleaning 36000 clauses out of 72010 with flag 2728219/7791939
1527.39/1519.20	c cleaning 36999 clauses out of 74012 with flag 2870117/7829941
1532.20/1523.99	c cleaning 38003 clauses out of 76014 with flag 3011385/7868942
1537.55/1529.28	c cleaning 39001 clauses out of 78009 with flag 3163805/7908940
1543.07/1534.73	c cleaning 40002 clauses out of 80007 with flag 3318701/7949939
1548.76/1540.30	c cleaning 40998 clauses out of 82005 with flag 3465669/7991939
1554.99/1546.54	c cleaning 41984 clauses out of 84007 with flag 3649130/8034939
1560.84/1552.32	c cleaning 43007 clauses out of 86024 with flag 3814905/8078940
1567.99/1559.47	c cleaning 43990 clauses out of 88016 with flag 4008151/8123939
1574.70/1566.03	c cleaning 44994 clauses out of 90026 with flag 4186153/8169939
1581.58/1572.85	c cleaning 45994 clauses out of 92032 with flag 4368285/8216939
1589.88/1581.02	c cleaning 47012 clauses out of 94040 with flag 4569385/8264941
1597.75/1588.85	c cleaning 47980 clauses out of 96026 with flag 4780112/8313939
1606.02/1597.02	c cleaning 49024 clauses out of 98048 with flag 4986544/8363941
1614.22/1605.15	c cleaning 49993 clauses out of 100022 with flag 5208007/8414939
1623.80/1614.65	c cleaning 51004 clauses out of 102029 with flag 5439542/8466939
1632.54/1623.32	c cleaning 52010 clauses out of 104027 with flag 5651542/8519941
1641.50/1632.26	c cleaning 52998 clauses out of 106016 with flag 5870080/8573940
1651.21/1641.81	c cleaning 54003 clauses out of 108017 with flag 6098839/8628939
1661.67/1652.21	c cleaning 55001 clauses out of 110014 with flag 6336145/8684939
1670.94/1661.45	c cleaning 56000 clauses out of 112014 with flag 6534004/8741940
1682.54/1672.93	c cleaning 56977 clauses out of 114013 with flag 6757676/8799939
1693.74/1684.02	c cleaning 58014 clauses out of 116038 with flag 6992860/8858941
1704.56/1694.73	c cleaning 58997 clauses out of 118022 with flag 7219513/8918939
1715.88/1705.97	c cleaning 60007 clauses out of 120027 with flag 7461753/8979941
1728.58/1718.55	c cleaning 61000 clauses out of 122021 with flag 7708876/9041942
1741.80/1731.64	c cleaning 61977 clauses out of 124018 with flag 7978289/9104939
1754.55/1744.28	c cleaning 62983 clauses out of 126041 with flag 8222660/9168939
1767.08/1756.68	c cleaning 64020 clauses out of 128058 with flag 8497347/9233939
1781.91/1771.32	c cleaning 65012 clauses out of 130039 with flag 8811070/9299940
1795.93/1785.30	c cleaning 66006 clauses out of 132026 with flag 9091892/9366939
1800.00/1789.20	c starts		: 24526
1800.00/1789.20	c conflicts		: 9394071
1800.00/1789.20	c decisions		: 29961454
1800.00/1789.20	c propagations		: 257705779
1800.00/1789.20	c inspects		: 32345321709
1800.00/1789.20	c shortcuts		: 0
1800.00/1789.20	c learnt literals	: 0
1800.00/1789.20	c learnt binary clauses	: 5
1800.00/1789.20	c learnt ternary clauses	: 15762
1800.00/1789.20	c learnt constraints	: 9394071
1800.00/1789.20	c ignored constraints	: 0
1800.00/1789.20	c root simplifications	: 0
1800.00/1789.20	c removed literals (reason simplification)	: 0
1800.00/1789.20	c reason swapping (by a shorter reason)	: 0
1800.00/1789.20	c Calls to reduceDB	: 223
1800.00/1789.20	c Number of update (reduction) of LBD	: 3008526
1800.00/1789.20	c Imported unit clauses	: 0
1800.00/1789.20	c number of reductions to clauses (during analyze)	: 0
1800.00/1789.20	c number of learned constraints concerned by reduction	: 0
1800.00/1789.20	c number of learning phase by resolution	: 0
1800.00/1789.20	c number of learning phase by cutting planes	: 0
1800.00/1789.20	c speed (assignments/second)	: 144067.58390057154
1800.00/1789.20	c non guided choices	0
1800.00/1789.23	c learnt constraints type 
1800.00/1789.23	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 5
1800.00/1789.23	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 93148
1800.00/1789.23	s SATISFIABLE
1800.00/1789.23	c Found 7 solution(s)
1800.00/1789.23	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 x35 -x36 x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 x57 x58 -x59 -x60 x61 -x62 -x63 x64 -x65 -x66 -x67 x68 -x69 -x70 -x71 -x72 x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -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 
1800.00/1789.23	c objective function=-13
1800.00/1789.23	c Total wall clock time (in seconds): 1789.111

Verifier Data 

OK	-13

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4106780-1466276843/watcher-4106780-1466276843 -o /tmp/evaluation-result-4106780-1466276843/solver-4106780-1466276843 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1466264639-24567 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4106780-1466276843.opb 

pid=28972
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.12 2.08 2.01 2/194 28975
/proc/meminfo: memFree=30633340/32872528 swapFree=338416/354768
[pid=28975] ppid=28972 vsize=9160 CPUtime=0 cores=1,3,5,7
/proc/28975/stat : 28975 (java) R 28972 28975 24550 0 -1 4202496 468 0 0 0 0 0 0 0 20 0 1 0 29731065 9379840 123 33554432000 1073741824 1073778376 140734759939408 140734759936536 242170761696 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/28975/statm: 2323 128 98 9 0 71 0

[startup+0.100062 s]
/proc/loadavg: 2.12 2.08 2.01 2/194 28975
/proc/meminfo: memFree=30633340/32872528 swapFree=338416/354768
[pid=28975] ppid=28972 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/28975/stat : 28975 (java) S 28972 28975 24550 0 -1 4202496 4363 0 1 0 8 1 0 0 20 0 18 0 29731065 9787879424 5481 33554432000 1073741824 1073778376 140734759939408 140734759930544 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28975/statm: 2389619 5481 2116 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200335 s]
/proc/loadavg: 2.12 2.08 2.01 2/194 28975
/proc/meminfo: memFree=30633340/32872528 swapFree=338416/354768
[pid=28975] ppid=28972 vsize=9558476 CPUtime=0.22 cores=1,3,5,7
/proc/28975/stat : 28975 (java) S 28972 28975 24550 0 -1 4202496 4590 0 1 0 21 1 0 0 20 0 18 0 29731065 9787879424 6673 33554432000 1073741824 1073778376 140734759939408 140734759930544 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28975/statm: 2389619 6673 2202 9 0 2380296 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 9558476

[startup+0.300247 s]
/proc/loadavg: 2.12 2.08 2.01 2/194 28975
/proc/meminfo: memFree=30633340/32872528 swapFree=338416/354768
[pid=28975] ppid=28972 vsize=9558476 CPUtime=0.44 cores=1,3,5,7
/proc/28975/stat : 28975 (java) S 28972 28975 24550 0 -1 4202496 6032 0 1 0 42 2 0 0 20 0 18 0 29731065 9787879424 9252 33554432000 1073741824 1073778376 140734759939408 140734759930544 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28975/statm: 2389619 9252 2243 9 0 2380296 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 9558476

[startup+0.7003 s]
/proc/loadavg: 2.12 2.08 2.01 2/194 28975
/proc/meminfo: memFree=30633340/32872528 swapFree=338416/354768
[pid=28975] ppid=28972 vsize=9625040 CPUtime=1.58 cores=1,3,5,7
/proc/28975/stat : 28975 (java) S 28972 28975 24550 0 -1 4202496 14945 0 1 0 154 4 0 0 20 0 19 0 29731065 9856040960 16145 33554432000 1073741824 1073778376 140734759939408 140734759930544 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28975/statm: 2406260 16145 2264 9 0 2396937 0
Current children cumulated CPU time (s) 1.58
Current children cumulated vsize (KiB) 9625040

[startup+1.50081 s]
/proc/loadavg: 2.12 2.08 2.01 3/213 28994
/proc/meminfo: memFree=30572608/32872528 swapFree=338416/354768
[pid=28975] ppid=28972 vsize=9625040 CPUtime=2.56 cores=1,3,5,7
/proc/28975/stat : 28975 (java) S 28972 28975 24550 0 -1 4202496 14962 0 1 0 252 4 0 0 20 0 19 0 29731065 9856040960 17694 33554432000 1073741824 1073778376 140734759939408 140734759930544 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28975/statm: 2406260 17694 2274 9 0 2396937 0
[pid=28975/tid=28977] ppid=28972 vsize=9625040 CPUtime=1.47 cores=1,3,5,7
/proc/28975/task/28977/stat : 28977 (java) R 28972 28975 24550 0 -1 4202560 2434 0 1 0 145 2 0 0 20 0 19 0 29731065 9856040960 17694 33554432000 1073741824 1073778376 140734759939408 139972354423120 139972196419824 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=28975/tid=28978] ppid=28972 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28978/stat : 28978 (java) S 28972 28975 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29731067 9856040960 17694 33554432000 1073741824 1073778376 140734759939408 139972315916456 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28975/tid=28979] ppid=28972 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28979/stat : 28979 (java) S 28972 28975 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29731067 9856040960 17694 33554432000 1073741824 1073778376 140734759939408 139972314863912 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28975/tid=28980] ppid=28972 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28980/stat : 28980 (java) S 28972 28975 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29731067 9856040960 17694 33554432000 1073741824 1073778376 140734759939408 139972195641768 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28975/tid=28981] ppid=28972 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28981/stat : 28981 (java) S 28972 28975 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29731067 9856040960 17694 33554432000 1073741824 1073778376 140734759939408 139972194589224 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28975/tid=28982] ppid=28972 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28982/stat : 28982 (java) S 28972 28975 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29731067 9856040960 17694 33554432000 1073741824 1073778376 140734759939408 139972193536680 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28975/tid=28983] ppid=28972 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28983/stat : 28983 (java) S 28972 28975 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29731067 9856040960 17694 33554432000 1073741824 1073778376 140734759939408 139972192484136 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28975/tid=28984] ppid=28972 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28984/stat : 28984 (java) S 28972 28975 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29731067 9856040960 17694 33554432000 1073741824 1073778376 140734759939408 139972191431592 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28975/tid=28985] ppid=28972 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28985/stat : 28985 (java) S 28972 28975 24550 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29731067 9856040960 17694 33554432000 1073741824 1073778376 140734759939408 139972190379048 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28975/tid=28986] ppid=28972 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28986/stat : 28986 (java) S 28972 28975 24550 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 29731068 9856040960 17694 33554432000 1073741824 1073778376 140734759939408 139971708049512 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28975/tid=28987] ppid=28972 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28987/stat : 28987 (java) S 28972 28975 24550 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 29731068 9856040960 17694 33554432000 1073741824 1073778376 140734759939408 139971706995832 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28975/tid=28988] ppid=28972 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28988/stat : 28988 (java) S 28972 28975 24550 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29731068 9856040960 17694 33554432000 1073741824 1073778376 140734759939408 139971705943176 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28975/tid=28989] ppid=28972 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28989/stat : 28989 (java) S 28972 28975 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29731071 9856040960 17694 33554432000 1073741824 1073778376 140734759939408 139971704891920 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28975/tid=28990] ppid=28972 vsize=9625040 CPUtime=0.49 cores=1,3,5,7
/proc/28975/task/28990/stat : 28990 (java) S 28972 28975 24550 0 -1 4202560 4827 0 0 0 48 1 0 0 20 0 19 0 29731071 9856040960 17694 33554432000 1073741824 1073778376 140734759939408 139971703839288 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28975/tid=28991] ppid=28972 vsize=9625040 CPUtime=0.56 cores=1,3,5,7
/proc/28975/task/28991/stat : 28991 (java) S 28972 28975 24550 0 -1 4202560 6423 0 0 0 54 2 0 0 20 0 19 0 29731071 9856040960 17694 33554432000 1073741824 1073778376 140734759939408 139971702786744 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28975/tid=28992] ppid=28972 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28992/stat : 28992 (java) S 28972 28975 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29731071 9856040960 17694 33554432000 1073741824 1073778376 140734759939408 139971701734392 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28975/tid=28993] ppid=28972 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28993/stat : 28993 (java) S 28972 28975 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29731071 9856040960 17694 33554432000 1073741824 1073778376 140734759939408 139971700682056 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28975/tid=28994] ppid=28972 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28994/stat : 28994 (java) S 28972 28975 24550 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29731107 9856040960 17694 33554432000 1073741824 1073778376 140734759939408 139971699626792 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.56
Current children cumulated vsize (KiB) 9625040

[startup+3.10081 s]
/proc/loadavg: 2.12 2.08 2.01 4/213 28994
/proc/meminfo: memFree=30564416/32872528 swapFree=338416/354768
[pid=28975] ppid=28972 vsize=9625040 CPUtime=4.25 cores=1,3,5,7
/proc/28975/stat : 28975 (java) S 28972 28975 24550 0 -1 4202496 14974 0 1 0 421 4 0 0 20 0 19 0 29731065 9856040960 20260 33554432000 1073741824 1073778376 140734759939408 140734759930544 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28975/statm: 2406260 20260 2274 9 0 2396937 0
[pid=28975/tid=28977] ppid=28972 vsize=9625040 CPUtime=3.06 cores=1,3,5,7
/proc/28975/task/28977/stat : 28977 (java) R 28972 28975 24550 0 -1 4202560 2440 0 1 0 304 2 0 0 20 0 19 0 29731065 9856040960 20260 33554432000 1073741824 1073778376 140734759939408 139972354416336 139972196462784 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=28975/tid=28978] ppid=28972 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28978/stat : 28978 (java) S 28972 28975 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29731067 9856040960 20260 33554432000 1073741824 1073778376 140734759939408 139972315916456 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28975/tid=28979] ppid=28972 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28979/stat : 28979 (java) S 28972 28975 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29731067 9856040960 20260 33554432000 1073741824 1073778376 140734759939408 139972314863912 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28975/tid=28980] ppid=28972 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28980/stat : 28980 (java) S 28972 28975 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29731067 9856040960 20260 33554432000 1073741824 1073778376 140734759939408 139972195641768 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28975/tid=28981] ppid=28972 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28981/stat : 28981 (java) S 28972 28975 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29731067 9856040960 20260 33554432000 1073741824 1073778376 140734759939408 139972194589224 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28975/tid=28982] ppid=28972 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28982/stat : 28982 (java) S 28972 28975 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29731067 9856040960 20260 33554432000 1073741824 1073778376 140734759939408 139972193536680 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28975/tid=28983] ppid=28972 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28983/stat : 28983 (java) S 28972 28975 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29731067 9856040960 20260 33554432000 1073741824 1073778376 140734759939408 139972192484136 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28975/tid=28984] ppid=28972 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28984/stat : 28984 (java) S 28972 28975 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29731067 9856040960 20260 33554432000 1073741824 1073778376 140734759939408 139972191431592 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28975/tid=28985] ppid=28972 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28985/stat : 28985 (java) S 28972 28975 24550 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29731067 9856040960 20260 33554432000 1073741824 1073778376 140734759939408 139972190379048 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28975/tid=28986] ppid=28972 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28986/stat : 28986 (java) S 28972 28975 24550 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 29731068 9856040960 20260 33554432000 1073741824 1073778376 140734759939408 139971708049512 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28975/tid=28987] ppid=28972 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28987/stat : 28987 (java) S 28972 28975 24550 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 29731068 9856040960 20260 33554432000 1073741824 1073778376 140734759939408 139971706995832 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28975/tid=28988] ppid=28972 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28988/stat : 28988 (java) S 28972 28975 24550 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29731068 9856040960 20260 33554432000 1073741824 1073778376 140734759939408 139971705943176 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28975/tid=28989] ppid=28972 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28989/stat : 28989 (java) S 28972 28975 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29731071 9856040960 20260 33554432000 1073741824 1073778376 140734759939408 139971704891920 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28975/tid=28990] ppid=28972 vsize=9625040 CPUtime=0.52 cores=1,3,5,7
/proc/28975/task/28990/stat : 28990 (java) S 28972 28975 24550 0 -1 4202560 4827 0 0 0 51 1 0 0 20 0 19 0 29731071 9856040960 20260 33554432000 1073741824 1073778376 140734759939408 139971703839288 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28975/tid=28991] ppid=28972 vsize=9625040 CPUtime=0.63 cores=1,3,5,7
/proc/28975/task/28991/stat : 28991 (java) S 28972 28975 24550 0 -1 4202560 6429 0 0 0 61 2 0 0 20 0 19 0 29731071 9856040960 20260 33554432000 1073741824 1073778376 140734759939408 139971702786744 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28975/tid=28992] ppid=28972 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28992/stat : 28992 (java) S 28972 28975 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29731071 9856040960 20260 33554432000 1073741824 1073778376 140734759939408 139971701734392 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28975/tid=28993] ppid=28972 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28993/stat : 28993 (java) S 28972 28975 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29731071 9856040960 20260 33554432000 1073741824 1073778376 140734759939408 139971700682056 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28975/tid=28994] ppid=28972 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28994/stat : 28994 (java) S 28972 28975 24550 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29731107 9856040960 20260 33554432000 1073741824 1073778376 140734759939408 139971699626792 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.25
Current children cumulated vsize (KiB) 9625040

[startup+6.30081 s]
/proc/loadavg: 2.11 2.08 2.01 3/213 28994
/proc/meminfo: memFree=30540252/32872528 swapFree=338416/354768
[pid=28975] ppid=28972 vsize=9625040 CPUtime=7.96 cores=1,3,5,7
/proc/28975/stat : 28975 (java) S 28972 28975 24550 0 -1 4202496 20120 0 1 0 790 6 0 0 20 0 19 0 29731065 9856040960 25131 33554432000 1073741824 1073778376 140734759939408 140734759930544 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28975/statm: 2406260 25131 2276 9 0 2396937 0
[pid=28975/tid=28977] ppid=28972 vsize=9625040 CPUtime=6.26 cores=1,3,5,7
/proc/28975/task/28977/stat : 28977 (java) R 28972 28975 24550 0 -1 4202560 2451 0 1 0 624 2 0 0 20 0 19 0 29731065 9856040960 25131 33554432000 1073741824 1073778376 140734759939408 139972354416320 139972196331220 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=28975/tid=28978] ppid=28972 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28978/stat : 28978 (java) S 28972 28975 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29731067 9856040960 25131 33554432000 1073741824 1073778376 140734759939408 139972315916456 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28975/tid=28979] ppid=28972 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28979/stat : 28979 (java) S 28972 28975 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29731067 9856040960 25131 33554432000 1073741824 1073778376 140734759939408 139972314863912 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28975/tid=28980] ppid=28972 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28980/stat : 28980 (java) S 28972 28975 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29731067 9856040960 25131 33554432000 1073741824 1073778376 140734759939408 139972195641768 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28975/tid=28981] ppid=28972 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28981/stat : 28981 (java) S 28972 28975 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29731067 9856040960 25131 33554432000 1073741824 1073778376 140734759939408 139972194589224 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28975/tid=28982] ppid=28972 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28982/stat : 28982 (java) S 28972 28975 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29731067 9856040960 25131 33554432000 1073741824 1073778376 140734759939408 139972193536680 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28975/tid=28983] ppid=28972 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28983/stat : 28983 (java) S 28972 28975 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29731067 9856040960 25131 33554432000 1073741824 1073778376 140734759939408 139972192484136 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28975/tid=28984] ppid=28972 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28984/stat : 28984 (java) S 28972 28975 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29731067 9856040960 25131 33554432000 1073741824 1073778376 140734759939408 139972191431592 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28975/tid=28985] ppid=28972 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28985/stat : 28985 (java) S 28972 28975 24550 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29731067 9856040960 25131 33554432000 1073741824 1073778376 140734759939408 139972190379048 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28975/tid=28986] ppid=28972 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28986/stat : 28986 (java) S 28972 28975 24550 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 29731068 9856040960 25131 33554432000 1073741824 1073778376 140734759939408 139971708049512 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28975/tid=28987] ppid=28972 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28987/stat : 28987 (java) S 28972 28975 24550 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 29731068 9856040960 25131 33554432000 1073741824 1073778376 140734759939408 139971706995832 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28975/tid=28988] ppid=28972 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28988/stat : 28988 (java) S 28972 28975 24550 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29731068 9856040960 25131 33554432000 1073741824 1073778376 140734759939408 139971705943176 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28975/tid=28989] ppid=28972 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28989/stat : 28989 (java) S 28972 28975 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29731071 9856040960 25131 33554432000 1073741824 1073778376 140734759939408 139971704891920 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28975/tid=28990] ppid=28972 vsize=9625040 CPUtime=0.97 cores=1,3,5,7
/proc/28975/task/28990/stat : 28990 (java) S 28972 28975 24550 0 -1 4202560 9948 0 0 0 95 2 0 0 20 0 19 0 29731071 9856040960 25131 33554432000 1073741824 1073778376 140734759939408 139971703839288 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28975/tid=28991] ppid=28972 vsize=9625040 CPUtime=0.69 cores=1,3,5,7
/proc/28975/task/28991/stat : 28991 (java) S 28972 28975 24550 0 -1 4202560 6442 0 0 0 67 2 0 0 20 0 19 0 29731071 9856040960 25131 33554432000 1073741824 1073778376 140734759939408 139971702786744 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28975/tid=28992] ppid=28972 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28992/stat : 28992 (java) S 28972 28975 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29731071 9856040960 25131 33554432000 1073741824 1073778376 140734759939408 139971701734392 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28975/tid=28993] ppid=28972 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28993/stat : 28993 (java) S 28972 28975 24550 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 29731071 9856040960 25131 33554432000 1073741824 1073778376 140734759939408 139971700682056 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28975/tid=28994] ppid=28972 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28994/stat : 28994 (java) S 28972 28975 24550 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29731107 9856040960 25131 33554432000 1073741824 1073778376 140734759939408 139971699626792 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 7.96
Current children cumulated vsize (KiB) 9625040


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

[pid=28975/tid=28987] ppid=28972 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28987/stat : 28987 (java) S 28972 28975 24550 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29731068 9856040960 75022 33554432000 1073741824 1073778376 140734759939408 139971706995832 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28975/tid=28988] ppid=28972 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28988/stat : 28988 (java) S 28972 28975 24550 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29731068 9856040960 75022 33554432000 1073741824 1073778376 140734759939408 139971705943176 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28975/tid=28989] ppid=28972 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28989/stat : 28989 (java) S 28972 28975 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29731071 9856040960 75022 33554432000 1073741824 1073778376 140734759939408 139971704891920 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28975/tid=28990] ppid=28972 vsize=9625040 CPUtime=1.06 cores=1,3,5,7
/proc/28975/task/28990/stat : 28990 (java) S 28972 28975 24550 0 -1 4202560 9956 0 0 0 104 2 0 0 20 0 19 0 29731071 9856040960 75022 33554432000 1073741824 1073778376 140734759939408 139971703839288 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28975/tid=28991] ppid=28972 vsize=9625040 CPUtime=0.69 cores=1,3,5,7
/proc/28975/task/28991/stat : 28991 (java) S 28972 28975 24550 0 -1 4202560 6442 0 0 0 67 2 0 0 20 0 19 0 29731071 9856040960 75022 33554432000 1073741824 1073778376 140734759939408 139971702786744 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28975/tid=28992] ppid=28972 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28992/stat : 28992 (java) S 28972 28975 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29731071 9856040960 75022 33554432000 1073741824 1073778376 140734759939408 139971701734392 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28975/tid=28993] ppid=28972 vsize=9625040 CPUtime=0.7 cores=1,3,5,7
/proc/28975/task/28993/stat : 28993 (java) S 28972 28975 24550 0 -1 4202560 95 0 0 0 36 34 0 0 20 0 19 0 29731071 9856040960 75022 33554432000 1073741824 1073778376 140734759939408 139971700682056 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28975/tid=28994] ppid=28972 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28994/stat : 28994 (java) S 28972 28975 24550 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29731107 9856040960 75022 33554432000 1073741824 1073778376 140734759939408 139971699626792 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1671.85
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.22 2.17 2.10 3/213 29103
/proc/meminfo: memFree=30594116/32872528 swapFree=338416/354768
[pid=28975] ppid=28972 vsize=9625040 CPUtime=1732.42 cores=1,3,5,7
/proc/28975/stat : 28975 (java) S 28972 28975 24550 0 -1 4202496 24584 0 1 0 173135 107 0 0 20 0 19 0 29731065 9856040960 73314 33554432000 1073741824 1073778376 140734759939408 140734759930544 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28975/statm: 2406260 73314 2298 9 0 2396937 0
[pid=28975/tid=28977] ppid=28972 vsize=9625040 CPUtime=1717.77 cores=1,3,5,7
/proc/28975/task/28977/stat : 28977 (java) R 28972 28975 24550 0 -1 4202560 2654 0 1 0 171746 31 0 0 20 0 19 0 29731065 9856040960 73314 33554432000 1073741824 1073778376 140734759939408 139972354424128 139972196462908 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=28975/tid=28978] ppid=28972 vsize=9625040 CPUtime=1.49 cores=1,3,5,7
/proc/28975/task/28978/stat : 28978 (java) S 28972 28975 24550 0 -1 4202560 537 0 0 0 138 11 0 0 20 0 19 0 29731067 9856040960 73314 33554432000 1073741824 1073778376 140734759939408 139972315916456 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28975/tid=28979] ppid=28972 vsize=9625040 CPUtime=1.44 cores=1,3,5,7
/proc/28975/task/28979/stat : 28979 (java) S 28972 28975 24550 0 -1 4202560 401 0 0 0 137 7 0 0 20 0 19 0 29731067 9856040960 73314 33554432000 1073741824 1073778376 140734759939408 139972314863912 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28975/tid=28980] ppid=28972 vsize=9625040 CPUtime=1.31 cores=1,3,5,7
/proc/28975/task/28980/stat : 28980 (java) S 28972 28975 24550 0 -1 4202560 388 0 0 0 123 8 0 0 20 0 19 0 29731067 9856040960 73314 33554432000 1073741824 1073778376 140734759939408 139972195641768 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28975/tid=28981] ppid=28972 vsize=9625040 CPUtime=1.46 cores=1,3,5,7
/proc/28975/task/28981/stat : 28981 (java) S 28972 28975 24550 0 -1 4202560 545 0 0 0 137 9 0 0 20 0 19 0 29731067 9856040960 73314 33554432000 1073741824 1073778376 140734759939408 139972194589224 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28975/tid=28982] ppid=28972 vsize=9625040 CPUtime=1.5 cores=1,3,5,7
/proc/28975/task/28982/stat : 28982 (java) S 28972 28975 24550 0 -1 4202560 582 0 0 0 138 12 0 0 20 0 19 0 29731067 9856040960 73314 33554432000 1073741824 1073778376 140734759939408 139972193536680 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28975/tid=28983] ppid=28972 vsize=9625040 CPUtime=1.43 cores=1,3,5,7
/proc/28975/task/28983/stat : 28983 (java) S 28972 28975 24550 0 -1 4202560 537 0 0 0 134 9 0 0 20 0 19 0 29731067 9856040960 73314 33554432000 1073741824 1073778376 140734759939408 139972192484136 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28975/tid=28984] ppid=28972 vsize=9625040 CPUtime=1.36 cores=1,3,5,7
/proc/28975/task/28984/stat : 28984 (java) S 28972 28975 24550 0 -1 4202560 418 0 0 0 128 8 0 0 20 0 19 0 29731067 9856040960 73314 33554432000 1073741824 1073778376 140734759939408 139972191431592 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28975/tid=28985] ppid=28972 vsize=9625040 CPUtime=1.41 cores=1,3,5,7
/proc/28975/task/28985/stat : 28985 (java) S 28972 28975 24550 0 -1 4202560 412 0 0 0 131 10 0 0 20 0 19 0 29731067 9856040960 73314 33554432000 1073741824 1073778376 140734759939408 139972190379048 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28975/tid=28986] ppid=28972 vsize=9625040 CPUtime=1.13 cores=1,3,5,7
/proc/28975/task/28986/stat : 28986 (java) S 28972 28975 24550 0 -1 4202560 349 0 0 0 109 4 0 0 20 0 19 0 29731068 9856040960 73314 33554432000 1073741824 1073778376 140734759939408 139971708049512 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28975/tid=28987] ppid=28972 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28987/stat : 28987 (java) S 28972 28975 24550 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29731068 9856040960 73314 33554432000 1073741824 1073778376 140734759939408 139971706995832 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28975/tid=28988] ppid=28972 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28988/stat : 28988 (java) S 28972 28975 24550 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29731068 9856040960 73314 33554432000 1073741824 1073778376 140734759939408 139971705943176 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28975/tid=28989] ppid=28972 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28989/stat : 28989 (java) S 28972 28975 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29731071 9856040960 73314 33554432000 1073741824 1073778376 140734759939408 139971704891920 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28975/tid=28990] ppid=28972 vsize=9625040 CPUtime=1.06 cores=1,3,5,7
/proc/28975/task/28990/stat : 28990 (java) S 28972 28975 24550 0 -1 4202560 9956 0 0 0 104 2 0 0 20 0 19 0 29731071 9856040960 73314 33554432000 1073741824 1073778376 140734759939408 139971703839288 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28975/tid=28991] ppid=28972 vsize=9625040 CPUtime=0.69 cores=1,3,5,7
/proc/28975/task/28991/stat : 28991 (java) S 28972 28975 24550 0 -1 4202560 6442 0 0 0 67 2 0 0 20 0 19 0 29731071 9856040960 73314 33554432000 1073741824 1073778376 140734759939408 139971702786744 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28975/tid=28992] ppid=28972 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28992/stat : 28992 (java) S 28972 28975 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29731071 9856040960 73314 33554432000 1073741824 1073778376 140734759939408 139971701734392 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28975/tid=28993] ppid=28972 vsize=9625040 CPUtime=0.73 cores=1,3,5,7
/proc/28975/task/28993/stat : 28993 (java) S 28972 28975 24550 0 -1 4202560 99 0 0 0 38 35 0 0 20 0 19 0 29731071 9856040960 73314 33554432000 1073741824 1073778376 140734759939408 139971700682056 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28975/tid=28994] ppid=28972 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28994/stat : 28994 (java) S 28972 28975 24550 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29731107 9856040960 73314 33554432000 1073741824 1073778376 140734759939408 139971699626792 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1732.42
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.20 2.17 2.10 3/213 29104
/proc/meminfo: memFree=30623700/32872528 swapFree=338416/354768
[pid=28975] ppid=28972 vsize=9625040 CPUtime=1793.03 cores=1,3,5,7
/proc/28975/stat : 28975 (java) S 28972 28975 24550 0 -1 4202496 24826 0 1 0 179193 110 0 0 20 0 19 0 29731065 9856040960 70995 33554432000 1073741824 1073778376 140734759939408 140734759930544 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28975/statm: 2406260 70995 2298 9 0 2396937 0
[pid=28975/tid=28977] ppid=28972 vsize=9625040 CPUtime=1777.4 cores=1,3,5,7
/proc/28975/task/28977/stat : 28977 (java) R 28972 28975 24550 0 -1 4202560 2671 0 1 0 177707 33 0 0 20 0 19 0 29731065 9856040960 70995 33554432000 1073741824 1073778376 140734759939408 139972354424128 139972196462913 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=28975/tid=28978] ppid=28972 vsize=9625040 CPUtime=1.59 cores=1,3,5,7
/proc/28975/task/28978/stat : 28978 (java) S 28972 28975 24550 0 -1 4202560 537 0 0 0 148 11 0 0 20 0 19 0 29731067 9856040960 70995 33554432000 1073741824 1073778376 140734759939408 139972315916456 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28975/tid=28979] ppid=28972 vsize=9625040 CPUtime=1.53 cores=1,3,5,7
/proc/28975/task/28979/stat : 28979 (java) S 28972 28975 24550 0 -1 4202560 484 0 0 0 146 7 0 0 20 0 19 0 29731067 9856040960 70995 33554432000 1073741824 1073778376 140734759939408 139972314863912 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28975/tid=28980] ppid=28972 vsize=9625040 CPUtime=1.42 cores=1,3,5,7
/proc/28975/task/28980/stat : 28980 (java) S 28972 28975 24550 0 -1 4202560 403 0 0 0 134 8 0 0 20 0 19 0 29731067 9856040960 70995 33554432000 1073741824 1073778376 140734759939408 139972195641768 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28975/tid=28981] ppid=28972 vsize=9625040 CPUtime=1.57 cores=1,3,5,7
/proc/28975/task/28981/stat : 28981 (java) S 28972 28975 24550 0 -1 4202560 545 0 0 0 148 9 0 0 20 0 19 0 29731067 9856040960 70995 33554432000 1073741824 1073778376 140734759939408 139972194589224 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28975/tid=28982] ppid=28972 vsize=9625040 CPUtime=1.61 cores=1,3,5,7
/proc/28975/task/28982/stat : 28982 (java) S 28972 28975 24550 0 -1 4202560 671 0 0 0 149 12 0 0 20 0 19 0 29731067 9856040960 70995 33554432000 1073741824 1073778376 140734759939408 139972193536680 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28975/tid=28983] ppid=28972 vsize=9625040 CPUtime=1.52 cores=1,3,5,7
/proc/28975/task/28983/stat : 28983 (java) S 28972 28975 24550 0 -1 4202560 537 0 0 0 143 9 0 0 20 0 19 0 29731067 9856040960 70995 33554432000 1073741824 1073778376 140734759939408 139972192484136 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28975/tid=28984] ppid=28972 vsize=9625040 CPUtime=1.47 cores=1,3,5,7
/proc/28975/task/28984/stat : 28984 (java) S 28972 28975 24550 0 -1 4202560 418 0 0 0 138 9 0 0 20 0 19 0 29731067 9856040960 70995 33554432000 1073741824 1073778376 140734759939408 139972191431592 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28975/tid=28985] ppid=28972 vsize=9625040 CPUtime=1.55 cores=1,3,5,7
/proc/28975/task/28985/stat : 28985 (java) S 28972 28975 24550 0 -1 4202560 440 0 0 0 145 10 0 0 20 0 19 0 29731067 9856040960 70995 33554432000 1073741824 1073778376 140734759939408 139972190379048 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28975/tid=28986] ppid=28972 vsize=9625040 CPUtime=1.25 cores=1,3,5,7
/proc/28975/task/28986/stat : 28986 (java) S 28972 28975 24550 0 -1 4202560 355 0 0 0 121 4 0 0 20 0 19 0 29731068 9856040960 70995 33554432000 1073741824 1073778376 140734759939408 139971708049512 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28975/tid=28987] ppid=28972 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28987/stat : 28987 (java) S 28972 28975 24550 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29731068 9856040960 70995 33554432000 1073741824 1073778376 140734759939408 139971706995832 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28975/tid=28988] ppid=28972 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28988/stat : 28988 (java) S 28972 28975 24550 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29731068 9856040960 70995 33554432000 1073741824 1073778376 140734759939408 139971705943176 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28975/tid=28989] ppid=28972 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28989/stat : 28989 (java) S 28972 28975 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29731071 9856040960 70995 33554432000 1073741824 1073778376 140734759939408 139971704891920 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28975/tid=28990] ppid=28972 vsize=9625040 CPUtime=1.06 cores=1,3,5,7
/proc/28975/task/28990/stat : 28990 (java) S 28972 28975 24550 0 -1 4202560 9956 0 0 0 104 2 0 0 20 0 19 0 29731071 9856040960 70995 33554432000 1073741824 1073778376 140734759939408 139971703839288 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28975/tid=28991] ppid=28972 vsize=9625040 CPUtime=0.69 cores=1,3,5,7
/proc/28975/task/28991/stat : 28991 (java) S 28972 28975 24550 0 -1 4202560 6442 0 0 0 67 2 0 0 20 0 19 0 29731071 9856040960 70995 33554432000 1073741824 1073778376 140734759939408 139971702786744 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28975/tid=28992] ppid=28972 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28992/stat : 28992 (java) S 28972 28975 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29731071 9856040960 70995 33554432000 1073741824 1073778376 140734759939408 139971701734392 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28975/tid=28993] ppid=28972 vsize=9625040 CPUtime=0.75 cores=1,3,5,7
/proc/28975/task/28993/stat : 28993 (java) S 28972 28975 24550 0 -1 4202560 103 0 0 0 39 36 0 0 20 0 19 0 29731071 9856040960 70995 33554432000 1073741824 1073778376 140734759939408 139971700682056 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28975/tid=28994] ppid=28972 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28994/stat : 28994 (java) S 28972 28975 24550 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29731107 9856040960 70995 33554432000 1073741824 1073778376 140734759939408 139971699626792 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1793.03
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1789.2 s]
/proc/loadavg: 2.18 2.17 2.10 3/213 29104
/proc/meminfo: memFree=30656404/32872528 swapFree=338416/354768
[pid=28975] ppid=28972 vsize=9625040 CPUtime=1800 cores=1,3,5,7
/proc/28975/stat : 28975 (java) S 28972 28975 24550 0 -1 4202496 24829 0 1 0 179890 110 0 0 20 0 19 0 29731065 9856040960 64698 33554432000 1073741824 1073778376 140734759939408 140734759930544 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28975/statm: 2406260 64698 2298 9 0 2396937 0
[pid=28975/tid=28977] ppid=28972 vsize=9625040 CPUtime=1784.2 cores=1,3,5,7
/proc/28975/task/28977/stat : 28977 (java) R 28972 28975 24550 0 -1 4202560 2673 0 1 0 178387 33 0 0 20 0 19 0 29731065 9856040960 64698 33554432000 1073741824 1073778376 140734759939408 139972354424128 139972196420381 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=28975/tid=28978] ppid=28972 vsize=9625040 CPUtime=1.6 cores=1,3,5,7
/proc/28975/task/28978/stat : 28978 (java) S 28972 28975 24550 0 -1 4202560 537 0 0 0 149 11 0 0 20 0 19 0 29731067 9856040960 64698 33554432000 1073741824 1073778376 140734759939408 139972315916456 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28975/tid=28979] ppid=28972 vsize=9625040 CPUtime=1.54 cores=1,3,5,7
/proc/28975/task/28979/stat : 28979 (java) S 28972 28975 24550 0 -1 4202560 484 0 0 0 147 7 0 0 20 0 19 0 29731067 9856040960 64698 33554432000 1073741824 1073778376 140734759939408 139972314863912 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28975/tid=28980] ppid=28972 vsize=9625040 CPUtime=1.43 cores=1,3,5,7
/proc/28975/task/28980/stat : 28980 (java) S 28972 28975 24550 0 -1 4202560 403 0 0 0 135 8 0 0 20 0 19 0 29731067 9856040960 64698 33554432000 1073741824 1073778376 140734759939408 139972195641768 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28975/tid=28981] ppid=28972 vsize=9625040 CPUtime=1.59 cores=1,3,5,7
/proc/28975/task/28981/stat : 28981 (java) S 28972 28975 24550 0 -1 4202560 545 0 0 0 150 9 0 0 20 0 19 0 29731067 9856040960 64698 33554432000 1073741824 1073778376 140734759939408 139972194589224 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28975/tid=28982] ppid=28972 vsize=9625040 CPUtime=1.63 cores=1,3,5,7
/proc/28975/task/28982/stat : 28982 (java) S 28972 28975 24550 0 -1 4202560 671 0 0 0 151 12 0 0 20 0 19 0 29731067 9856040960 64698 33554432000 1073741824 1073778376 140734759939408 139972193536680 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28975/tid=28983] ppid=28972 vsize=9625040 CPUtime=1.54 cores=1,3,5,7
/proc/28975/task/28983/stat : 28983 (java) S 28972 28975 24550 0 -1 4202560 537 0 0 0 145 9 0 0 20 0 19 0 29731067 9856040960 64698 33554432000 1073741824 1073778376 140734759939408 139972192484136 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28975/tid=28984] ppid=28972 vsize=9625040 CPUtime=1.48 cores=1,3,5,7
/proc/28975/task/28984/stat : 28984 (java) S 28972 28975 24550 0 -1 4202560 418 0 0 0 139 9 0 0 20 0 19 0 29731067 9856040960 64698 33554432000 1073741824 1073778376 140734759939408 139972191431592 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28975/tid=28985] ppid=28972 vsize=9625040 CPUtime=1.56 cores=1,3,5,7
/proc/28975/task/28985/stat : 28985 (java) S 28972 28975 24550 0 -1 4202560 440 0 0 0 146 10 0 0 20 0 19 0 29731067 9856040960 64698 33554432000 1073741824 1073778376 140734759939408 139972190379048 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28975/tid=28986] ppid=28972 vsize=9625040 CPUtime=1.31 cores=1,3,5,7
/proc/28975/task/28986/stat : 28986 (java) S 28972 28975 24550 0 -1 4202560 356 0 0 0 127 4 0 0 20 0 19 0 29731068 9856040960 64698 33554432000 1073741824 1073778376 140734759939408 139971708049512 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28975/tid=28987] ppid=28972 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28987/stat : 28987 (java) S 28972 28975 24550 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29731068 9856040960 64698 33554432000 1073741824 1073778376 140734759939408 139971706995832 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28975/tid=28988] ppid=28972 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28988/stat : 28988 (java) S 28972 28975 24550 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29731068 9856040960 64698 33554432000 1073741824 1073778376 140734759939408 139971705943176 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28975/tid=28989] ppid=28972 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28989/stat : 28989 (java) S 28972 28975 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29731071 9856040960 64698 33554432000 1073741824 1073778376 140734759939408 139971704891920 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28975/tid=28990] ppid=28972 vsize=9625040 CPUtime=1.06 cores=1,3,5,7
/proc/28975/task/28990/stat : 28990 (java) S 28972 28975 24550 0 -1 4202560 9956 0 0 0 104 2 0 0 20 0 19 0 29731071 9856040960 64698 33554432000 1073741824 1073778376 140734759939408 139971703839288 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28975/tid=28991] ppid=28972 vsize=9625040 CPUtime=0.69 cores=1,3,5,7
/proc/28975/task/28991/stat : 28991 (java) S 28972 28975 24550 0 -1 4202560 6442 0 0 0 67 2 0 0 20 0 19 0 29731071 9856040960 64698 33554432000 1073741824 1073778376 140734759939408 139971702786744 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28975/tid=28992] ppid=28972 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28992/stat : 28992 (java) S 28972 28975 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29731071 9856040960 64698 33554432000 1073741824 1073778376 140734759939408 139971701734392 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28975/tid=28993] ppid=28972 vsize=9625040 CPUtime=0.76 cores=1,3,5,7
/proc/28975/task/28993/stat : 28993 (java) S 28972 28975 24550 0 -1 4202560 103 0 0 0 40 36 0 0 20 0 19 0 29731071 9856040960 64698 33554432000 1073741824 1073778376 140734759939408 139971700682056 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28975/tid=28994] ppid=28972 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28975/task/28994/stat : 28994 (java) S 28972 28975 24550 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29731107 9856040960 64698 33554432000 1073741824 1073778376 140734759939408 139971699626792 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 9625040

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

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

Child status: 143
Real time (s): 1789.24
CPU time (s): 1800.75
CPU user time (s): 1799.09
CPU system time (s): 1.66275
CPU usage (%): 100.643
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.09
system time used= 1.66275
maximum resident set size= 757300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24865
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 43390
involuntary context switches= 21397

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.853 second user time and 11.3423 second system time

The end

Launcher Data 

Begin job on node126 at 2016-06-18 21:07:23
IDJOB=4106780
IDBENCH=48252
IDSOLVER=2546
FILE ID=node126/4106780-1466276843
RUNJOBID= node126-1466264639-24567
PBS_JOBID= 19918224
Free space on /tmp= 71740 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_100_25_2.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106780-1466276843/watcher-4106780-1466276843 -o /tmp/evaluation-result-4106780-1466276843/solver-4106780-1466276843 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1466264639-24567 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4106780-1466276843.opb

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

MD5SUM BENCH= 3576405369e31b0bc5c7707d6d764dde
RANDOM SEED=1063332440

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30634240 kB
Buffers:          145204 kB
Cached:           251836 kB
SwapCached:         1736 kB
Active:           829240 kB
Inactive:         315744 kB
Active(anon):     748392 kB
Inactive(anon):     2036 kB
Active(file):      80848 kB
Inactive(file):   313708 kB
Unevictable:      354768 kB
Mlocked:          338416 kB
SwapTotal:      67108856 kB
SwapFree:       67100232 kB
Dirty:               828 kB
Writeback:             0 kB
AnonPages:       1151032 kB
Mapped:            17080 kB
Shmem:                 0 kB
Slab:             606180 kB
SReclaimable:      50096 kB
SUnreclaim:       556084 kB
KernelStack:        1768 kB
PageTables:         6380 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1571884 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    772096 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71740 MiB
End job on node126 at 2016-06-18 21:37:13