Trace number 4088827

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j PB 2.3.6 Res+CP PB16? (TO) 1800.08 891.712

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/
SUMINEQ/normalized-sumineqArity5houseP128.opb
MD5SUM6cf93208bf226a5a9d6ea9400862bf3f
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark42.5525
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables82555
Total number of constraints16512
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)129
Number of constraints which are nor clauses,nor cardinality constraints16383
Minimum length of a constraint5
Maximum length of a constraint15
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 5
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 20
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2013 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.08	c version PB16.v20160501
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization by upper bound
0.10/0.11	c ManyCore solver with 2 solvers running in parallel
0.10/0.11	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Glucose 2.1 dynamic restart strategy
0.10/0.11	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.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.10/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.10/0.11	c No reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	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.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-4088827-1466012210.opb
0.10/0.11	c reading problem ... 
0.10/0.11	c  no objective function found
2.52/1.04	c ... done. Wall clock time 0.931s.
2.52/1.04	c declared #vars     82555
2.52/1.04	c #constraints  16512
2.52/1.04	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
2.52/1.04	c constraints type 
2.52/1.04	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 16512
2.52/1.04	c 16512 constraints processed.
2.52/1.04	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
2.52/1.04	c constraints type 
2.52/1.04	c org.sat4j.pb.constraints.pb.MaxWatchPb => 16512
2.52/1.04	c 16512 constraints processed.
4.28/1.55	c cleaning 2495 clauses out of 5001 with flag 12904/5001
4.92/1.70	c cleaning 4238 clauses out of 8505 with flag 29570/11000
5.73/1.94	c cleaning 5630 clauses out of 11267 with flag 49870/18000
6.52/2.11	c cleaning 6802 clauses out of 13637 with flag 72542/26000
7.33/2.36	c cleaning 7913 clauses out of 15837 with flag 98049/35002
8.10/2.60	c cleaning 8934 clauses out of 17922 with flag 128779/45000
8.87/2.83	c cleaning 9988 clauses out of 19990 with flag 160132/56002
9.36/3.08	c cleaning 10992 clauses out of 22000 with flag 195448/68000
10.00/3.33	c cleaning 11987 clauses out of 24009 with flag 237407/81001
10.59/3.60	c cleaning 12999 clauses out of 26021 with flag 276983/95000
11.27/3.97	c cleaning 13971 clauses out of 28022 with flag 326984/110000
12.07/4.32	c cleaning 15024 clauses out of 30053 with flag 375601/126002
12.94/4.70	c cleaning 16008 clauses out of 32028 with flag 423804/143001
13.54/5.07	c cleaning 17003 clauses out of 34021 with flag 478336/161002
13.94/5.22	c cleaning 0 clauses out of 5001 with flag 0/5001
14.57/5.50	c cleaning 18003 clauses out of 36017 with flag 533016/180001
15.83/5.90	c cleaning 18994 clauses out of 38013 with flag 588020/200000
16.83/6.31	c cleaning 19979 clauses out of 40019 with flag 646547/221000
17.90/6.85	c cleaning 21019 clauses out of 42040 with flag 715131/243000
18.90/7.38	c cleaning 21973 clauses out of 44021 with flag 784892/266000
20.10/7.93	c cleaning 23016 clauses out of 46048 with flag 863089/290000
21.10/8.47	c cleaning 24015 clauses out of 48032 with flag 934334/315000
22.30/9.03	c cleaning 25001 clauses out of 50017 with flag 1010966/341000
23.59/9.67	c cleaning 26002 clauses out of 52017 with flag 1091792/368001
24.99/10.31	c cleaning 27002 clauses out of 54015 with flag 1173282/396001
26.41/11.04	c cleaning 27976 clauses out of 56014 with flag 1266925/425002
28.00/11.85	c cleaning 29010 clauses out of 58036 with flag 1357736/455000
29.68/12.66	c cleaning 30003 clauses out of 60026 with flag 1449705/486000
31.28/13.44	c cleaning 30998 clauses out of 62023 with flag 1543549/518000
33.30/14.47	c cleaning 31983 clauses out of 64028 with flag 1646182/551003
33.90/14.74	c cleaning 0 clauses out of 11000 with flag 0/11000
35.38/15.41	c cleaning 33006 clauses out of 66042 with flag 1743684/585000
37.16/16.34	c cleaning 33997 clauses out of 68036 with flag 1847668/620000
39.58/17.54	c cleaning 35019 clauses out of 70039 with flag 1959698/656000
41.58/18.56	c cleaning 35970 clauses out of 72022 with flag 2078483/693002
43.66/19.58	c cleaning 37008 clauses out of 74050 with flag 2193256/731000
46.07/20.71	c cleaning 37947 clauses out of 76044 with flag 2312371/770002
48.26/21.83	c cleaning 39039 clauses out of 78096 with flag 2440784/810001
50.97/23.12	c cleaning 40013 clauses out of 80056 with flag 2568941/851000
53.55/24.44	c cleaning 40975 clauses out of 82043 with flag 2692092/893000
56.77/26.05	c cleaning 42008 clauses out of 84070 with flag 2821143/936002
59.63/27.48	c cleaning 43006 clauses out of 86060 with flag 2957777/980000
62.04/28.64	c cleaning 44021 clauses out of 88054 with flag 3099748/1025000
65.43/30.33	c cleaning 45002 clauses out of 90033 with flag 3237650/1071000
66.83/31.01	c cleaning 0 clauses out of 18000 with flag 0/18000
68.74/31.97	c cleaning 46010 clauses out of 92031 with flag 3374240/1118000
73.75/34.44	c cleaning 47010 clauses out of 94022 with flag 3517565/1166001
79.87/37.43	c cleaning 47995 clauses out of 96012 with flag 3657310/1215001
83.08/39.02	c cleaning 49008 clauses out of 98017 with flag 3817520/1265001
86.49/40.79	c cleaning 49988 clauses out of 100008 with flag 3975386/1316000
90.15/42.52	c cleaning 50990 clauses out of 102020 with flag 4137895/1368000
93.37/44.16	c cleaning 52010 clauses out of 104030 with flag 4312929/1421000
98.15/46.52	c cleaning 52992 clauses out of 106021 with flag 4479871/1475001
102.26/48.57	c cleaning 53995 clauses out of 108028 with flag 4646426/1530000
105.70/50.28	c cleaning 54207 clauses out of 110033 with flag 4809040/1586000
108.92/51.81	c cleaning 54979 clauses out of 112828 with flag 4980833/1643002
112.57/53.64	c cleaning 0 clauses out of 26001 with flag 0/26001
112.78/53.79	c cleaning 55816 clauses out of 115847 with flag 5167327/1701000
121.05/57.80	c cleaning 56964 clauses out of 119031 with flag 5331795/1760000
125.65/60.20	c cleaning 57958 clauses out of 122069 with flag 5500692/1820002
131.95/63.23	c cleaning 59095 clauses out of 125109 with flag 5680558/1881000
136.49/65.46	c cleaning 59264 clauses out of 128014 with flag 5869409/1943000
141.69/68.00	c cleaning 61217 clauses out of 131751 with flag 6056841/2006001
146.47/70.74	c cleaning 61925 clauses out of 134533 with flag 6257633/2070000
151.07/73.04	c cleaning 62921 clauses out of 137608 with flag 6456864/2135000
156.47/75.78	c cleaning 63258 clauses out of 140688 with flag 6659190/2201001
162.12/78.54	c cleaning 64913 clauses out of 144431 with flag 6873614/2268002
167.52/81.28	c cleaning 65634 clauses out of 147516 with flag 7073525/2336000
172.83/83.87	c cleaning 66521 clauses out of 150883 with flag 7278496/2405001
177.83/86.34	c cleaning 67471 clauses out of 154361 with flag 7492999/2475000
182.23/88.52	c cleaning 68278 clauses out of 157891 with flag 7706747/2546001
187.33/91.09	c cleaning 69517 clauses out of 161613 with flag 7922434/2618001
195.93/95.35	c cleaning 70415 clauses out of 165095 with flag 8135715/2691000
201.65/98.10	c cleaning 0 clauses out of 35002 with flag 0/35002
202.65/98.69	c cleaning 71600 clauses out of 168682 with flag 8352944/2765002
209.62/102.04	c cleaning 72003 clauses out of 172080 with flag 8576750/2840000
218.34/106.39	c cleaning 73080 clauses out of 176077 with flag 8796322/2916000
226.86/110.56	c cleaning 74234 clauses out of 179997 with flag 9040110/2993000
227.06/110.67	c cleaning 0 clauses out of 45000 with flag 0/45000
232.36/113.27	c cleaning 75429 clauses out of 183763 with flag 9279317/3071000
240.65/117.37	c cleaning 76622 clauses out of 187336 with flag 9524888/3150002
250.39/122.16	c cleaning 76926 clauses out of 190713 with flag 9775687/3230001
257.88/125.89	c cleaning 78072 clauses out of 194787 with flag 10017564/3311001
266.78/130.29	c cleaning 79125 clauses out of 198714 with flag 10256260/3393000
276.70/135.16	c cleaning 80282 clauses out of 202590 with flag 10505658/3476001
278.90/136.25	c cleaning 0 clauses out of 56001 with flag 0/56001
284.80/139.11	c cleaning 80802 clauses out of 206307 with flag 10760425/3560000
290.80/142.16	c cleaning 82186 clauses out of 210505 with flag 11023922/3645000
298.74/146.55	c cleaning 83199 clauses out of 214320 with flag 11285353/3731001
308.40/151.35	c cleaning 83550 clauses out of 218120 with flag 11547600/3818000
317.21/155.71	c cleaning 84877 clauses out of 222570 with flag 11801508/3906000
324.34/159.21	c cleaning 85786 clauses out of 226695 with flag 12073858/3995002
331.55/162.87	c cleaning 87104 clauses out of 230907 with flag 12360418/4085000
341.41/167.77	c cleaning 87403 clauses out of 234804 with flag 12654660/4176001
350.36/172.12	c cleaning 88433 clauses out of 239401 with flag 12924329/4268001
362.46/178.13	c cleaning 89854 clauses out of 243967 with flag 13192705/4361000
372.40/183.07	c cleaning 90517 clauses out of 248115 with flag 13474251/4455002
381.39/187.44	c cleaning 91292 clauses out of 252597 with flag 13748310/4550001
390.59/192.01	c cleaning 92415 clauses out of 257306 with flag 14027794/4646002
401.90/197.63	c cleaning 94022 clauses out of 261892 with flag 14325513/4743003
411.24/202.26	c cleaning 94648 clauses out of 265869 with flag 14624805/4841002
420.04/206.66	c cleaning 95851 clauses out of 270221 with flag 14929620/4940002
430.56/211.85	c cleaning 96305 clauses out of 274369 with flag 15249060/5040001
439.96/216.52	c cleaning 97285 clauses out of 279063 with flag 15547709/5141000
441.11/217.06	c cleaning 0 clauses out of 68001 with flag 0/68001
447.71/220.31	c cleaning 98699 clauses out of 283779 with flag 15849330/5243001
457.09/224.98	c cleaning 99316 clauses out of 288081 with flag 16168333/5346002
468.88/230.77	c cleaning 100508 clauses out of 292764 with flag 16489164/5450001
476.30/234.41	c cleaning 101100 clauses out of 297255 with flag 16819075/5555000
487.67/240.06	c cleaning 102897 clauses out of 302155 with flag 17130654/5661000
501.82/247.10	c cleaning 102666 clauses out of 306259 with flag 17454259/5768001
514.81/253.53	c cleaning 104810 clauses out of 311597 with flag 17779910/5876005
528.73/261.15	c cleaning 105467 clauses out of 315782 with flag 18114977/5985000
539.61/266.57	c cleaning 106079 clauses out of 320317 with flag 18437892/6095002
549.41/271.40	c cleaning 107722 clauses out of 325236 with flag 18778250/6206000
559.32/276.30	c cleaning 108529 clauses out of 329516 with flag 19133197/6318002
569.52/281.43	c cleaning 109524 clauses out of 333989 with flag 19468795/6431004
578.44/285.89	c cleaning 109631 clauses out of 338462 with flag 19805755/6545001
590.05/291.61	c cleaning 111395 clauses out of 343831 with flag 20148439/6660001
604.19/298.66	c cleaning 112022 clauses out of 348435 with flag 20495336/6776000
617.97/305.43	c cleaning 113177 clauses out of 353413 with flag 20854325/6893000
629.36/311.14	c cleaning 113787 clauses out of 358236 with flag 21213004/7011000
642.16/317.50	c cleaning 115305 clauses out of 363449 with flag 21572259/7130000
654.36/323.51	c cleaning 115705 clauses out of 368145 with flag 21943979/7250001
669.35/330.93	c cleaning 116723 clauses out of 373440 with flag 22325180/7371001
680.73/336.53	c cleaning 117754 clauses out of 378716 with flag 22696931/7493000
693.73/343.07	c cleaning 118480 clauses out of 383962 with flag 23047401/7616000
705.15/348.68	c cleaning 119591 clauses out of 389483 with flag 23427147/7740001
719.17/355.55	c cleaning 120949 clauses out of 394891 with flag 23812602/7865000
731.98/361.94	c cleaning 120966 clauses out of 399944 with flag 24205842/7991002
752.80/372.23	c cleaning 123034 clauses out of 405976 with flag 24587290/8118000
766.30/378.81	c cleaning 123890 clauses out of 410944 with flag 24991631/8246002
786.66/388.70	c cleaning 125569 clauses out of 416052 with flag 25386438/8375000
804.75/397.62	c cleaning 125668 clauses out of 420483 with flag 25769853/8505000
824.43/407.18	c cleaning 126592 clauses out of 425816 with flag 26166344/8636001
837.81/413.75	c cleaning 0 clauses out of 81001 with flag 0/81001
844.80/417.29	c cleaning 127664 clauses out of 431223 with flag 26570663/8768000
865.48/427.32	c cleaning 129407 clauses out of 436559 with flag 26965277/8901000
881.69/435.39	c cleaning 129733 clauses out of 441153 with flag 27365831/9035001
900.10/444.47	c cleaning 130741 clauses out of 446419 with flag 27774849/9170000
925.50/457.09	c cleaning 131621 clauses out of 451680 with flag 28180418/9306002
945.53/466.94	c cleaning 132935 clauses out of 457059 with flag 28592299/9443002
963.49/475.80	c cleaning 133781 clauses out of 462124 with flag 29009680/9581002
986.01/488.10	c cleaning 135240 clauses out of 467341 with flag 29429376/9720000
1003.21/496.72	c cleaning 135220 clauses out of 472102 with flag 29841584/9860001
1030.74/510.41	c cleaning 137312 clauses out of 477881 with flag 30266215/10001000
1051.03/520.59	c cleaning 137577 clauses out of 482569 with flag 30697001/10143000
1077.98/533.92	c cleaning 139545 clauses out of 487992 with flag 31120902/10286000
1097.32/543.58	c cleaning 140160 clauses out of 492447 with flag 31547190/10430000
1125.46/557.52	c cleaning 140800 clauses out of 497288 with flag 31974044/10575001
1144.81/567.16	c cleaning 141699 clauses out of 502487 with flag 32420079/10721000
1175.19/582.20	c cleaning 143021 clauses out of 507788 with flag 32852407/10868000
1201.00/594.99	c cleaning 143928 clauses out of 512767 with flag 33295275/11016000
1222.81/605.79	c cleaning 145211 clauses out of 517842 with flag 33751482/11165003
1248.48/618.43	c cleaning 146061 clauses out of 522628 with flag 34191401/11315000
1270.34/629.22	c cleaning 146705 clauses out of 527567 with flag 34649792/11466000
1295.38/641.66	c cleaning 147643 clauses out of 532862 with flag 35111215/11618000
1326.30/656.84	c cleaning 148881 clauses out of 538219 with flag 35559388/11771000
1354.91/670.80	c cleaning 150409 clauses out of 543339 with flag 36017341/11925001
1357.54/672.05	c cleaning 0 clauses out of 95000 with flag 0/95000
1387.52/686.59	c cleaning 150680 clauses out of 547930 with flag 36480697/12080001
1418.64/701.83	c cleaning 151668 clauses out of 553251 with flag 36949774/12236002
1442.56/713.72	c cleaning 152543 clauses out of 558583 with flag 37428907/12393002
1479.08/731.87	c cleaning 153463 clauses out of 564038 with flag 37914094/12551000
1510.70/747.59	c cleaning 154567 clauses out of 569577 with flag 38383586/12710002
1535.10/759.66	c cleaning 155261 clauses out of 575008 with flag 38859432/12870000
1547.11/765.66	c cleaning 0 clauses out of 110001 with flag 0/110001
1557.06/770.56	c cleaning 156312 clauses out of 580747 with flag 39355168/13031000
1586.50/785.11	c cleaning 157806 clauses out of 586436 with flag 39854940/13193001
1617.86/800.69	c cleaning 158845 clauses out of 591629 with flag 40344969/13356000
1652.32/817.62	c cleaning 159501 clauses out of 596786 with flag 40833783/13520002
1681.25/831.83	c cleaning 160005 clauses out of 602285 with flag 41313987/13685002
1708.22/845.28	c cleaning 161333 clauses out of 608278 with flag 41807616/13851000
1741.51/861.66	c cleaning 162593 clauses out of 613946 with flag 42309886/14018001
1772.19/877.86	c cleaning 163755 clauses out of 619352 with flag 42812582/14186000
1800.07/891.61	c >>>>>>>>>> Solver number 0 (0 answers) <<<<<<<<<<<<<<<<<<
1800.07/891.61	c starts		: 9412
1800.07/891.61	c conflicts		: 14301818
1800.07/891.61	c decisions		: 489745406
1800.07/891.61	c propagations		: 602625927
1800.07/891.61	c inspects		: 3556416871
1800.07/891.61	c shortcuts		: 0
1800.07/891.61	c learnt literals	: 0
1800.07/891.61	c learnt binary clauses	: 0
1800.07/891.61	c learnt ternary clauses	: 67810
1800.07/891.61	c learnt constraints	: 14301818
1800.07/891.61	c ignored constraints	: 0
1800.07/891.61	c root simplifications	: 0
1800.07/891.61	c removed literals (reason simplification)	: 11617093
1800.07/891.61	c reason swapping (by a shorter reason)	: 0
1800.07/891.61	c Calls to reduceDB	: 164
1800.07/891.61	c Number of update (reduction) of LBD	: 2656001
1800.07/891.61	c Imported unit clauses	: 0
1800.07/891.61	c number of reductions to clauses (during analyze)	: 0
1800.07/891.61	c number of learned constraints concerned by reduction	: 0
1800.07/891.61	c number of learning phase by resolution	: 0
1800.07/891.61	c number of learning phase by cutting planes	: 0
1800.07/891.61	c speed (assignments/second)	: 676757.9981133346
1800.07/891.61	c non guided choices	464906445
1800.07/891.65	c learnt constraints type 
1800.07/891.65	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 571415
1800.07/891.65	c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<<
1800.07/891.65	c starts		: 99
1800.07/891.65	c conflicts		: 118043
1800.07/891.65	c decisions		: 259006
1800.07/891.65	c propagations		: 1464583
1800.07/891.65	c inspects		: 996907134
1800.07/891.65	c shortcuts		: 0
1800.07/891.65	c learnt literals	: 0
1800.07/891.65	c learnt binary clauses	: 0
1800.07/891.65	c learnt ternary clauses	: 0
1800.07/891.65	c learnt constraints	: 118042
1800.07/891.65	c ignored constraints	: 0
1800.07/891.65	c root simplifications	: 0
1800.07/891.65	c removed literals (reason simplification)	: 0
1800.07/891.65	c reason swapping (by a shorter reason)	: 0
1800.07/891.65	c Calls to reduceDB	: 11
1800.07/891.65	c Number of update (reduction) of LBD	: 0
1800.07/891.65	c Imported unit clauses	: 0
1800.07/891.65	c number of reductions to clauses (during analyze)	: 0
1800.07/891.65	c number of learned constraints concerned by reduction	: 0
1800.07/891.65	c number of learning phase by resolution	: 0
1800.07/891.65	c number of learning phase by cutting planes	: 0
1800.07/891.65	c speed (assignments/second)	: 1644.647198531187
1800.07/891.65	c non guided choices	11252
1800.07/891.69	c learnt constraints type 
1800.07/891.69	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 101
1800.07/891.69	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 66
1800.07/891.69	c org.sat4j.pb.constraints.pb.MaxWatchPb => 117875
1800.07/891.69	s UNKNOWN
1800.07/891.69	c Total wall clock time (in seconds): 891.582

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4088827-1466012210/watcher-4088827-1466012210 -o /tmp/evaluation-result-4088827-1466012210/solver-4088827-1466012210 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1466012165-5784 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4088827-1466012210.opb 

pid=6444
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.65 1.96 1.96 4/197 6447
/proc/meminfo: memFree=28594284/32872528 swapFree=248296/248296
[pid=6447] ppid=6444 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/6447/stat : 6447 (java) S 6444 6447 5767 0 -1 4202496 1353 0 0 0 0 0 0 0 20 0 2 0 3271457 98570240 977 33554432000 1073741824 1073778376 140733567248000 140733567239136 247067607101 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6447/statm: 24065 977 743 9 0 16771 0
[pid=6447/tid=6448] ppid=6444 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/6447/task/6448/stat : 6448 (java) R 6444 6447 5767 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 3271457 98570240 977 33554432000 1073741824 1073778376 140733567248000 140551416707272 247064249728 0 0 4096 0 0 0 0 -1 5 0 0 0 0 0

[startup+0.100061 s]
/proc/loadavg: 2.65 1.96 1.96 4/197 6447
/proc/meminfo: memFree=28594284/32872528 swapFree=248296/248296
[pid=6447] ppid=6444 vsize=9558476 CPUtime=0.1 cores=1,3,5,7
/proc/6447/stat : 6447 (java) S 6444 6447 5767 0 -1 4202496 4480 0 1 0 9 1 0 0 20 0 18 0 3271457 9787879424 6118 33554432000 1073741824 1073778376 140733567248000 140733567239136 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6447/statm: 2389619 6118 2156 9 0 2380296 0
[pid=6447/tid=6448] ppid=6444 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/6447/task/6448/stat : 6448 (java) R 6444 6447 5767 0 -1 4202560 2386 0 1 0 6 1 0 0 20 0 18 0 3271457 9787879424 6118 33554432000 1073741824 1073778376 140733567248000 140551416716192 247067632909 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476

[startup+0.200269 s]
/proc/loadavg: 2.65 1.96 1.96 4/197 6447
/proc/meminfo: memFree=28594284/32872528 swapFree=248296/248296
[pid=6447] ppid=6444 vsize=9558476 CPUtime=0.28 cores=1,3,5,7
/proc/6447/stat : 6447 (java) S 6444 6447 5767 0 -1 4202496 4788 0 1 0 26 2 0 0 20 0 18 0 3271457 9787879424 7928 33554432000 1073741824 1073778376 140733567248000 140733567239136 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6447/statm: 2389619 7928 2218 9 0 2380296 0
[pid=6447/tid=6448] ppid=6444 vsize=9558476 CPUtime=0.17 cores=1,3,5,7
/proc/6447/task/6448/stat : 6448 (java) R 6444 6447 5767 0 -1 4202560 2407 0 1 0 16 1 0 0 20 0 18 0 3271457 9787879424 7928 33554432000 1073741824 1073778376 140733567248000 140551416702432 140551278150079 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9558476

[startup+0.300277 s]
/proc/loadavg: 2.65 1.96 1.96 4/197 6447
/proc/meminfo: memFree=28594284/32872528 swapFree=248296/248296
[pid=6447] ppid=6444 vsize=9558476 CPUtime=0.53 cores=1,3,5,7
/proc/6447/stat : 6447 (java) S 6444 6447 5767 0 -1 4202496 5776 0 1 0 51 2 0 0 20 0 18 0 3271457 9787879424 10624 33554432000 1073741824 1073778376 140733567248000 140733567239136 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6447/statm: 2389619 10624 2235 9 0 2380296 0
[pid=6447/tid=6448] ppid=6444 vsize=9558476 CPUtime=0.27 cores=1,3,5,7
/proc/6447/task/6448/stat : 6448 (java) R 6444 6447 5767 0 -1 4202560 2411 0 1 0 26 1 0 0 20 0 18 0 3271457 9787879424 10624 33554432000 1073741824 1073778376 140733567248000 140551416716632 140551278147084 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 9558476

[startup+0.700264 s]
/proc/loadavg: 2.65 1.96 1.96 4/197 6447
/proc/meminfo: memFree=28594284/32872528 swapFree=248296/248296
[pid=6447] ppid=6444 vsize=9558476 CPUtime=1.57 cores=1,3,5,7
/proc/6447/stat : 6447 (java) S 6444 6447 5767 0 -1 4202496 26327 0 1 0 146 11 0 0 20 0 18 0 3271457 9787879424 62283 33554432000 1073741824 1073778376 140733567248000 140733567239136 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6447/statm: 2389619 62283 2262 9 0 2380296 0
[pid=6447/tid=6448] ppid=6444 vsize=9558476 CPUtime=0.62 cores=1,3,5,7
/proc/6447/task/6448/stat : 6448 (java) R 6444 6447 5767 0 -1 4202560 2470 0 1 0 59 3 0 0 20 0 18 0 3271457 9787879424 62284 33554432000 1073741824 1073778376 140733567248000 140551416716312 247067632909 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.57
Current children cumulated vsize (KiB) 9558476

[startup+1.50078 s]
/proc/loadavg: 2.65 1.96 1.96 7/217 6467
/proc/meminfo: memFree=28305952/32872528 swapFree=248296/248296
[pid=6447] ppid=6444 vsize=9824732 CPUtime=4.28 cores=1,3,5,7
/proc/6447/stat : 6447 (java) S 6444 6447 5767 0 -1 4202496 31693 0 1 0 412 16 0 0 20 0 22 0 3271457 10060525568 74274 33554432000 1073741824 1073778376 140733567248000 140733567239136 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6447/statm: 2456183 74274 2280 9 0 2446860 0
[pid=6447/tid=6448] ppid=6444 vsize=9824732 CPUtime=0.89 cores=1,3,5,7
/proc/6447/task/6448/stat : 6448 (java) S 6444 6447 5767 0 -1 4202560 2484 0 1 0 86 3 0 0 20 0 22 0 3271457 10060525568 74274 33554432000 1073741824 1073778376 140733567248000 140551416718200 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6447/tid=6450] ppid=6444 vsize=9824732 CPUtime=0.08 cores=1,3,5,7
/proc/6447/task/6450/stat : 6450 (java) S 6444 6447 5767 0 -1 4202560 156 0 0 0 6 2 0 0 20 0 22 0 3271458 10060525568 74274 33554432000 1073741824 1073778376 140733567248000 140551405779112 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6447/tid=6451] ppid=6444 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/6447/task/6451/stat : 6451 (java) S 6444 6447 5767 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 22 0 3271458 10060525568 74274 33554432000 1073741824 1073778376 140733567248000 140551404726568 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6447/tid=6452] ppid=6444 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/6447/task/6452/stat : 6452 (java) S 6444 6447 5767 0 -1 4202560 96 0 0 0 2 0 0 0 20 0 22 0 3271458 10060525568 74274 33554432000 1073741824 1073778376 140733567248000 140551403674024 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6447/tid=6453] ppid=6444 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/6447/task/6453/stat : 6453 (java) S 6444 6447 5767 0 -1 4202560 33 0 0 0 6 0 0 0 20 0 22 0 3271458 10060525568 74274 33554432000 1073741824 1073778376 140733567248000 140551402621480 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6447/tid=6454] ppid=6444 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/6447/task/6454/stat : 6454 (java) S 6444 6447 5767 0 -1 4202560 45 0 0 0 2 2 0 0 20 0 22 0 3271458 10060525568 74274 33554432000 1073741824 1073778376 140733567248000 140551401568936 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6447/tid=6455] ppid=6444 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/6447/task/6455/stat : 6455 (java) S 6444 6447 5767 0 -1 4202560 122 0 0 0 2 0 0 0 20 0 22 0 3271458 10060525568 74274 33554432000 1073741824 1073778376 140733567248000 140551400516392 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6447/tid=6456] ppid=6444 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/6447/task/6456/stat : 6456 (java) S 6444 6447 5767 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 22 0 3271458 10060525568 74274 33554432000 1073741824 1073778376 140733567248000 140551399463848 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6447/tid=6457] ppid=6444 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/6447/task/6457/stat : 6457 (java) S 6444 6447 5767 0 -1 4202560 19 0 0 0 2 0 0 0 20 0 22 0 3271458 10060525568 74274 33554432000 1073741824 1073778376 140733567248000 140551398411304 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6447/tid=6458] ppid=6444 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6447/task/6458/stat : 6458 (java) S 6444 6447 5767 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 22 0 3271459 10060525568 74274 33554432000 1073741824 1073778376 140733567248000 140551240984680 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6447/tid=6459] ppid=6444 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6447/task/6459/stat : 6459 (java) S 6444 6447 5767 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 3271460 10060525568 74274 33554432000 1073741824 1073778376 140733567248000 140551239931000 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6447/tid=6460] ppid=6444 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6447/task/6460/stat : 6460 (java) S 6444 6447 5767 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 3271460 10060525568 74274 33554432000 1073741824 1073778376 140733567248000 140551238878344 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6447/tid=6461] ppid=6444 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6447/task/6461/stat : 6461 (java) S 6444 6447 5767 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3271462 10060525568 74274 33554432000 1073741824 1073778376 140733567248000 140551237827088 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6447/tid=6462] ppid=6444 vsize=9824732 CPUtime=1.01 cores=1,3,5,7
/proc/6447/task/6462/stat : 6462 (java) S 6444 6447 5767 0 -1 4202560 12114 0 0 0 99 2 0 0 20 0 22 0 3271462 10060525568 74274 33554432000 1073741824 1073778376 140733567248000 140551236774456 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6447/tid=6463] ppid=6444 vsize=9824732 CPUtime=1.05 cores=1,3,5,7
/proc/6447/task/6463/stat : 6463 (java) R 6444 6447 5767 0 -1 4202560 15212 0 0 0 102 3 0 0 20 0 22 0 3271462 10060525568 74274 33554432000 1073741824 1073778376 140733567248000 140551235721912 140551419488643 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=6447/tid=6464] ppid=6444 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6447/task/6464/stat : 6464 (java) S 6444 6447 5767 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3271462 10060525568 74274 33554432000 1073741824 1073778376 140733567248000 140551234669560 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6447/tid=6465] ppid=6444 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6447/task/6465/stat : 6465 (java) S 6444 6447 5767 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3271462 10060525568 74274 33554432000 1073741824 1073778376 140733567248000 140551233617224 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6447/tid=6466] ppid=6444 vsize=9824732 CPUtime=0.42 cores=1,3,5,7
/proc/6447/task/6466/stat : 6466 (java) R 6444 6447 5767 0 -1 4202560 24 0 0 0 42 0 0 0 20 0 22 0 3271561 10060525568 74274 33554432000 1073741824 1073778376 140733567248000 140551232512328 140551279345555 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=6447/tid=6467] ppid=6444 vsize=9824732 CPUtime=0.44 cores=1,3,5,7
/proc/6447/task/6467/stat : 6467 (java) R 6444 6447 5767 0 -1 4202560 23 0 0 0 44 0 0 0 20 0 22 0 3271562 10060525568 74274 33554432000 1073741824 1073778376 140733567248000 140551231455368 140551279193602 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 4.28
Current children cumulated vsize (KiB) 9824732

[startup+3.10095 s]
/proc/loadavg: 2.92 2.03 1.98 7/219 6469
/proc/meminfo: memFree=28139388/32872528 swapFree=248296/248296
[pid=6447] ppid=6444 vsize=9824732 CPUtime=9.56 cores=1,3,5,7
/proc/6447/stat : 6447 (java) S 6444 6447 5767 0 -1 4202496 39080 0 1 0 921 35 0 0 20 0 22 0 3271457 10060525568 180591 33554432000 1073741824 1073778376 140733567248000 140733567239136 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6447/statm: 2456183 180591 2288 9 0 2446860 0
[pid=6447/tid=6448] ppid=6444 vsize=9824732 CPUtime=0.89 cores=1,3,5,7
/proc/6447/task/6448/stat : 6448 (java) S 6444 6447 5767 0 -1 4202560 2484 0 1 0 86 3 0 0 20 0 22 0 3271457 10060525568 180591 33554432000 1073741824 1073778376 140733567248000 140551416718200 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6447/tid=6450] ppid=6444 vsize=9824732 CPUtime=0.12 cores=1,3,5,7
/proc/6447/task/6450/stat : 6450 (java) S 6444 6447 5767 0 -1 4202560 181 0 0 0 9 3 0 0 20 0 22 0 3271458 10060525568 180591 33554432000 1073741824 1073778376 140733567248000 140551405779112 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6447/tid=6451] ppid=6444 vsize=9824732 CPUtime=0.11 cores=1,3,5,7
/proc/6447/task/6451/stat : 6451 (java) S 6444 6447 5767 0 -1 4202560 54 0 0 0 8 3 0 0 20 0 22 0 3271458 10060525568 180591 33554432000 1073741824 1073778376 140733567248000 140551404726568 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6447/tid=6452] ppid=6444 vsize=9824732 CPUtime=0.12 cores=1,3,5,7
/proc/6447/task/6452/stat : 6452 (java) S 6444 6447 5767 0 -1 4202560 134 0 0 0 8 4 0 0 20 0 22 0 3271458 10060525568 180591 33554432000 1073741824 1073778376 140733567248000 140551403674024 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6447/tid=6453] ppid=6444 vsize=9824732 CPUtime=0.13 cores=1,3,5,7
/proc/6447/task/6453/stat : 6453 (java) S 6444 6447 5767 0 -1 4202560 68 0 0 0 10 3 0 0 20 0 22 0 3271458 10060525568 180591 33554432000 1073741824 1073778376 140733567248000 140551402621480 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6447/tid=6454] ppid=6444 vsize=9824732 CPUtime=0.1 cores=1,3,5,7
/proc/6447/task/6454/stat : 6454 (java) S 6444 6447 5767 0 -1 4202560 87 0 0 0 7 3 0 0 20 0 22 0 3271458 10060525568 180591 33554432000 1073741824 1073778376 140733567248000 140551401568936 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6447/tid=6455] ppid=6444 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/6447/task/6455/stat : 6455 (java) S 6444 6447 5767 0 -1 4202560 167 0 0 0 5 2 0 0 20 0 22 0 3271458 10060525568 180591 33554432000 1073741824 1073778376 140733567248000 140551400516392 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6447/tid=6456] ppid=6444 vsize=9824732 CPUtime=0.09 cores=1,3,5,7
/proc/6447/task/6456/stat : 6456 (java) S 6444 6447 5767 0 -1 4202560 58 0 0 0 7 2 0 0 20 0 22 0 3271458 10060525568 180591 33554432000 1073741824 1073778376 140733567248000 140551399463848 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6447/tid=6457] ppid=6444 vsize=9824732 CPUtime=0.08 cores=1,3,5,7
/proc/6447/task/6457/stat : 6457 (java) S 6444 6447 5767 0 -1 4202560 44 0 0 0 6 2 0 0 20 0 22 0 3271458 10060525568 180591 33554432000 1073741824 1073778376 140733567248000 140551398411304 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6447/tid=6458] ppid=6444 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6447/task/6458/stat : 6458 (java) S 6444 6447 5767 0 -1 4202560 480 0 0 0 0 0 0 0 20 0 22 0 3271459 10060525568 180591 33554432000 1073741824 1073778376 140733567248000 140551240984680 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6447/tid=6459] ppid=6444 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6447/task/6459/stat : 6459 (java) S 6444 6447 5767 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 3271460 10060525568 180591 33554432000 1073741824 1073778376 140733567248000 140551239931000 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6447/tid=6460] ppid=6444 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6447/task/6460/stat : 6460 (java) S 6444 6447 5767 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 3271460 10060525568 180591 33554432000 1073741824 1073778376 140733567248000 140551238878344 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6447/tid=6461] ppid=6444 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6447/task/6461/stat : 6461 (java) S 6444 6447 5767 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3271462 10060525568 180591 33554432000 1073741824 1073778376 140733567248000 140551237827088 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6447/tid=6462] ppid=6444 vsize=9824732 CPUtime=1.88 cores=1,3,5,7
/proc/6447/task/6462/stat : 6462 (java) S 6444 6447 5767 0 -1 4202560 13295 0 0 0 186 2 0 0 20 0 22 0 3271462 10060525568 180591 33554432000 1073741824 1073778376 140733567248000 140551236774456 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6447/tid=6463] ppid=6444 vsize=9824732 CPUtime=2.03 cores=1,3,5,7
/proc/6447/task/6463/stat : 6463 (java) S 6444 6447 5767 0 -1 4202560 20376 0 0 0 199 4 0 0 20 0 22 0 3271462 10060525568 180591 33554432000 1073741824 1073778376 140733567248000 140551235721912 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6447/tid=6464] ppid=6444 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6447/task/6464/stat : 6464 (java) S 6444 6447 5767 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3271462 10060525568 180591 33554432000 1073741824 1073778376 140733567248000 140551234669560 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6447/tid=6465] ppid=6444 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6447/task/6465/stat : 6465 (java) S 6444 6447 5767 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3271462 10060525568 180591 33554432000 1073741824 1073778376 140733567248000 140551233617224 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6447/tid=6466] ppid=6444 vsize=9824732 CPUtime=1.86 cores=1,3,5,7
/proc/6447/task/6466/stat : 6466 (java) R 6444 6447 5767 0 -1 4202560 27 0 0 0 186 0 0 0 20 0 22 0 3271561 10060525568 180591 33554432000 1073741824 1073778376 140733567248000 140551232512136 140551279285294 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=6447/tid=6467] ppid=6444 vsize=9824732 CPUtime=1.87 cores=1,3,5,7
/proc/6447/task/6467/stat : 6467 (java) R 6444 6447 5767 0 -1 4202560 357 0 0 0 182 5 0 0 20 0 22 0 3271562 10060525568 180591 33554432000 1073741824 1073778376 140733567248000 140551231459064 140551279644478 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=6447/tid=6468] ppid=6444 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6447/task/6468/stat : 6468 (java) S 6444 6447 5767 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 3271571 10060525568 180591 33554432000 1073741824 1073778376 140733567248000 140551230407720 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6447/tid=6469] ppid=6444 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6447/task/6469/stat : 6469 (java) S 6444 6447 5767 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 3271572 10060525568 180591 33554432000 1073741824 1073778376 140733567248000 140551229355176 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 9.56
Current children cumulated vsize (KiB) 9824732

[startup+6.30096 s]
/proc/loadavg: 2.92 2.03 1.98 6/219 6469
/proc/meminfo: memFree=27214436/32872528 swapFree=248296/248296
[pid=6447] ppid=6444 vsize=9824732 CPUtime=16.83 cores=1,3,5,7
/proc/6447/stat : 6447 (java) S 6444 6447 5767 0 -1 4202496 40876 0 1 0 1626 57 0 0 20 0 22 0 3271457 10060525568 486595 33554432000 1073741824 1073778376 140733567248000 140733567239136 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6447/statm: 2456183 486595 2290 9 0 2446860 0
[pid=6447/tid=6448] ppid=6444 vsize=9824732 CPUtime=0.89 cores=1,3,5,7
/proc/6447/task/6448/stat : 6448 (java) S 6444 6447 5767 0 -1 4202560 2484 0 1 0 86 3 0 0 20 0 22 0 3271457 10060525568 486595 33554432000 1073741824 1073778376 140733567248000 140551416718200 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6447/tid=6450] ppid=6444 vsize=9824732 CPUtime=0.17 cores=1,3,5,7
/proc/6447/task/6450/stat : 6450 (java) S 6444 6447 5767 0 -1 4202560 204 0 0 0 13 4 0 0 20 0 22 0 3271458 10060525568 486595 33554432000 1073741824 1073778376 140733567248000 140551405779112 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6447/tid=6451] ppid=6444 vsize=9824732 CPUtime=0.16 cores=1,3,5,7
/proc/6447/task/6451/stat : 6451 (java) S 6444 6447 5767 0 -1 4202560 95 0 0 0 13 3 0 0 20 0 22 0 3271458 10060525568 486595 33554432000 1073741824 1073778376 140733567248000 140551404726568 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6447/tid=6452] ppid=6444 vsize=9824732 CPUtime=0.14 cores=1,3,5,7
/proc/6447/task/6452/stat : 6452 (java) S 6444 6447 5767 0 -1 4202560 146 0 0 0 10 4 0 0 20 0 22 0 3271458 10060525568 486595 33554432000 1073741824 1073778376 140733567248000 140551403674024 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6447/tid=6453] ppid=6444 vsize=9824732 CPUtime=0.18 cores=1,3,5,7
/proc/6447/task/6453/stat : 6453 (java) S 6444 6447 5767 0 -1 4202560 87 0 0 0 15 3 0 0 20 0 22 0 3271458 10060525568 486595 33554432000 1073741824 1073778376 140733567248000 140551402621480 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6447/tid=6454] ppid=6444 vsize=9824732 CPUtime=0.14 cores=1,3,5,7
/proc/6447/task/6454/stat : 6454 (java) S 6444 6447 5767 0 -1 4202560 117 0 0 0 11 3 0 0 20 0 22 0 3271458 10060525568 486595 33554432000 1073741824 1073778376 140733567248000 140551401568936 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6447/tid=6455] ppid=6444 vsize=9824732 CPUtime=0.09 cores=1,3,5,7
/proc/6447/task/6455/stat : 6455 (java) S 6444 6447 5767 0 -1 4202560 174 0 0 0 7 2 0 0 20 0 22 0 3271458 10060525568 486595 33554432000 1073741824 1073778376 140733567248000 140551400516392 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6447/tid=6456] ppid=6444 vsize=9824732 CPUtime=0.12 cores=1,3,5,7
/proc/6447/task/6456/stat : 6456 (java) S 6444 6447 5767 0 -1 4202560 69 0 0 0 9 3 0 0 20 0 22 0 3271458 10060525568 486595 33554432000 1073741824 1073778376 140733567248000 140551399463848 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6447/tid=6457] ppid=6444 vsize=9824732 CPUtime=0.13 cores=1,3,5,7
/proc/6447/task/6457/stat : 6457 (java) S 6444 6447 5767 0 -1 4202560 54 0 0 0 10 3 0 0 20 0 22 0 3271458 10060525568 486595 33554432000 1073741824 1073778376 140733567248000 140551398411304 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6447/tid=6458] ppid=6444 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6447/task/6458/stat : 6458 (java) S 6444 6447 5767 0 -1 4202560 981 0 0 0 0 0 0 0 20 0 22 0 3271459 10060525568 486595 33554432000 1073741824 1073778376 140733567248000 140551240984680 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6447/tid=6459] ppid=6444 vsize=9824732 CPUtime=0 cores=1,3,5,7

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

[pid=6447/tid=6466] ppid=6444 vsize=9824732 CPUtime=859.95 cores=1,3,5,7
/proc/6447/task/6466/stat : 6466 (java) R 6444 6447 5767 0 -1 4202560 70 0 0 0 85980 15 0 0 20 0 22 0 3271561 10060525568 1047057 33554432000 1073741824 1073778376 140733567248000 140551232510352 140551279156594 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=6447/tid=6467] ppid=6444 vsize=9824732 CPUtime=859.84 cores=1,3,5,7
/proc/6447/task/6467/stat : 6467 (java) R 6444 6447 5767 0 -1 4202560 1889 0 0 0 85935 49 0 0 20 0 22 0 3271562 10060525568 1047057 33554432000 1073741824 1073778376 140733567248000 140551231458512 140551279099721 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=6447/tid=6468] ppid=6444 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6447/task/6468/stat : 6468 (java) S 6444 6447 5767 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 3271571 10060525568 1047057 33554432000 1073741824 1073778376 140733567248000 140551230407720 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6447/tid=6469] ppid=6444 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6447/task/6469/stat : 6469 (java) S 6444 6447 5767 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 3271572 10060525568 1047057 33554432000 1073741824 1073778376 140733567248000 140551229355176 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.33
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+891.601 s]
/proc/loadavg: 4.57 4.17 3.33 5/219 6628
/proc/meminfo: memFree=24430764/32872528 swapFree=248296/248296
[pid=6447] ppid=6444 vsize=9824732 CPUtime=1800.07 cores=1,3,5,7
/proc/6447/stat : 6447 (java) S 6444 6447 5767 0 -1 4202496 47832 0 1 0 179782 225 0 0 20 0 22 0 3271457 10060525568 1047057 33554432000 1073741824 1073778376 140733567248000 140733567239136 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6447/statm: 2456183 1047057 2299 9 0 2446860 0
[pid=6447/tid=6448] ppid=6444 vsize=9824732 CPUtime=0.94 cores=1,3,5,7
/proc/6447/task/6448/stat : 6448 (java) S 6444 6447 5767 0 -1 4202560 2498 0 1 0 88 6 0 0 20 0 22 0 3271457 10060525568 1047057 33554432000 1073741824 1073778376 140733567248000 140551416718200 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6447/tid=6450] ppid=6444 vsize=9824732 CPUtime=5.5 cores=1,3,5,7
/proc/6447/task/6450/stat : 6450 (java) S 6444 6447 5767 0 -1 4202560 870 0 0 0 528 22 0 0 20 0 22 0 3271458 10060525568 1047057 33554432000 1073741824 1073778376 140733567248000 140551405779112 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6447/tid=6451] ppid=6444 vsize=9824732 CPUtime=5.24 cores=1,3,5,7
/proc/6447/task/6451/stat : 6451 (java) S 6444 6447 5767 0 -1 4202560 559 0 0 0 509 15 0 0 20 0 22 0 3271458 10060525568 1047057 33554432000 1073741824 1073778376 140733567248000 140551404726568 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6447/tid=6452] ppid=6444 vsize=9824732 CPUtime=5.39 cores=1,3,5,7
/proc/6447/task/6452/stat : 6452 (java) S 6444 6447 5767 0 -1 4202560 713 0 0 0 519 20 0 0 20 0 22 0 3271458 10060525568 1047057 33554432000 1073741824 1073778376 140733567248000 140551403674024 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6447/tid=6453] ppid=6444 vsize=9824732 CPUtime=5.68 cores=1,3,5,7
/proc/6447/task/6453/stat : 6453 (java) S 6444 6447 5767 0 -1 4202560 641 0 0 0 548 20 0 0 20 0 22 0 3271458 10060525568 1047057 33554432000 1073741824 1073778376 140733567248000 140551402621480 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6447/tid=6454] ppid=6444 vsize=9824732 CPUtime=5.68 cores=1,3,5,7
/proc/6447/task/6454/stat : 6454 (java) S 6444 6447 5767 0 -1 4202560 640 0 0 0 551 17 0 0 20 0 22 0 3271458 10060525568 1047057 33554432000 1073741824 1073778376 140733567248000 140551401568936 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6447/tid=6455] ppid=6444 vsize=9824732 CPUtime=5.62 cores=1,3,5,7
/proc/6447/task/6455/stat : 6455 (java) S 6444 6447 5767 0 -1 4202560 754 0 0 0 544 18 0 0 20 0 22 0 3271458 10060525568 1047057 33554432000 1073741824 1073778376 140733567248000 140551400516392 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6447/tid=6456] ppid=6444 vsize=9824732 CPUtime=4.69 cores=1,3,5,7
/proc/6447/task/6456/stat : 6456 (java) S 6444 6447 5767 0 -1 4202560 617 0 0 0 453 16 0 0 20 0 22 0 3271458 10060525568 1047057 33554432000 1073741824 1073778376 140733567248000 140551399463848 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6447/tid=6457] ppid=6444 vsize=9824732 CPUtime=5.61 cores=1,3,5,7
/proc/6447/task/6457/stat : 6457 (java) S 6444 6447 5767 0 -1 4202560 606 0 0 0 540 21 0 0 20 0 22 0 3271458 10060525568 1047057 33554432000 1073741824 1073778376 140733567248000 140551398411304 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6447/tid=6458] ppid=6444 vsize=9824732 CPUtime=7.84 cores=1,3,5,7
/proc/6447/task/6458/stat : 6458 (java) S 6444 6447 5767 0 -1 4202560 2881 0 0 0 776 8 0 0 20 0 22 0 3271459 10060525568 1047057 33554432000 1073741824 1073778376 140733567248000 140551240984680 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6447/tid=6459] ppid=6444 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6447/task/6459/stat : 6459 (java) S 6444 6447 5767 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 3271460 10060525568 1047057 33554432000 1073741824 1073778376 140733567248000 140551239931000 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6447/tid=6460] ppid=6444 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6447/task/6460/stat : 6460 (java) S 6444 6447 5767 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 3271460 10060525568 1047057 33554432000 1073741824 1073778376 140733567248000 140551238878344 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6447/tid=6461] ppid=6444 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6447/task/6461/stat : 6461 (java) S 6444 6447 5767 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3271462 10060525568 1047057 33554432000 1073741824 1073778376 140733567248000 140551237827088 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6447/tid=6462] ppid=6444 vsize=9824732 CPUtime=2.61 cores=1,3,5,7
/proc/6447/task/6462/stat : 6462 (java) S 6444 6447 5767 0 -1 4202560 13382 0 0 0 259 2 0 0 20 0 22 0 3271462 10060525568 1047057 33554432000 1073741824 1073778376 140733567248000 140551236774456 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6447/tid=6463] ppid=6444 vsize=9824732 CPUtime=2.25 cores=1,3,5,7
/proc/6447/task/6463/stat : 6463 (java) S 6444 6447 5767 0 -1 4202560 20394 0 0 0 221 4 0 0 20 0 22 0 3271462 10060525568 1047057 33554432000 1073741824 1073778376 140733567248000 140551235721912 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6447/tid=6464] ppid=6444 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6447/task/6464/stat : 6464 (java) S 6444 6447 5767 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3271462 10060525568 1047057 33554432000 1073741824 1073778376 140733567248000 140551234669560 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6447/tid=6465] ppid=6444 vsize=9824732 CPUtime=0.37 cores=1,3,5,7
/proc/6447/task/6465/stat : 6465 (java) S 6444 6447 5767 0 -1 4202560 50 0 0 0 13 24 0 0 20 0 22 0 3271462 10060525568 1047057 33554432000 1073741824 1073778376 140733567248000 140551233617224 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6447/tid=6466] ppid=6444 vsize=9824732 CPUtime=869.13 cores=1,3,5,7
/proc/6447/task/6466/stat : 6466 (java) R 6444 6447 5767 0 -1 4202560 70 0 0 0 86898 15 0 0 20 0 22 0 3271561 10060525568 1047057 33554432000 1073741824 1073778376 140733567248000 140551232510400 140551279156892 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=6447/tid=6467] ppid=6444 vsize=9824732 CPUtime=869.02 cores=1,3,5,7
/proc/6447/task/6467/stat : 6467 (java) R 6444 6447 5767 0 -1 4202560 1890 0 0 0 86853 49 0 0 20 0 22 0 3271562 10060525568 1047057 33554432000 1073741824 1073778376 140733567248000 140551231458496 140551279466499 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=6447/tid=6468] ppid=6444 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6447/task/6468/stat : 6468 (java) S 6444 6447 5767 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 3271571 10060525568 1047057 33554432000 1073741824 1073778376 140733567248000 140551230407720 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6447/tid=6469] ppid=6444 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6447/task/6469/stat : 6469 (java) S 6444 6447 5767 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 3271572 10060525568 1047057 33554432000 1073741824 1073778376 140733567248000 140551229355176 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 9824732

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

############
# WARNING:
# current cumulated CPU time (1796.1 s) is less than in the last sample (1800.07 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (3.96997 s) to the 'lost time'.

[startup+891.601 s]
/proc/loadavg: 4.57 4.17 3.33 5/219 6628
/proc/meminfo: memFree=24430764/32872528 swapFree=248296/248296
[pid=6447] ppid=6444 vsize=9824732 CPUtime=1800.07 cores=1,3,5,7
/proc/6447/stat : 6447 (java) S 6444 6447 5767 0 -1 4202496 47832 0 1 0 179782 225 0 0 20 0 22 0 3271457 10060525568 1047057 33554432000 1073741824 1073778376 140733567248000 140733567239136 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6447/statm: 2456183 1047057 2299 9 0 2446860 0
[pid=6447/tid=6448] ppid=6444 vsize=9824732 CPUtime=0.94 cores=1,3,5,7
/proc/6447/task/6448/stat : 6448 (java) S 6444 6447 5767 0 -1 4202560 2498 0 1 0 88 6 0 0 20 0 22 0 3271457 10060525568 1047057 33554432000 1073741824 1073778376 140733567248000 140551416718200 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6447/tid=6450] ppid=6444 vsize=9824732 CPUtime=5.5 cores=1,3,5,7
/proc/6447/task/6450/stat : 6450 (java) S 6444 6447 5767 0 -1 4202560 870 0 0 0 528 22 0 0 20 0 22 0 3271458 10060525568 1047057 33554432000 1073741824 1073778376 140733567248000 140551405779112 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6447/tid=6451] ppid=6444 vsize=9824732 CPUtime=5.24 cores=1,3,5,7
/proc/6447/task/6451/stat : 6451 (java) S 6444 6447 5767 0 -1 4202560 559 0 0 0 509 15 0 0 20 0 22 0 3271458 10060525568 1047057 33554432000 1073741824 1073778376 140733567248000 140551404726568 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6447/tid=6452] ppid=6444 vsize=9824732 CPUtime=5.39 cores=1,3,5,7
/proc/6447/task/6452/stat : 6452 (java) S 6444 6447 5767 0 -1 4202560 713 0 0 0 519 20 0 0 20 0 22 0 3271458 10060525568 1047057 33554432000 1073741824 1073778376 140733567248000 140551403674024 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6447/tid=6453] ppid=6444 vsize=9824732 CPUtime=5.68 cores=1,3,5,7
/proc/6447/task/6453/stat : 6453 (java) S 6444 6447 5767 0 -1 4202560 641 0 0 0 548 20 0 0 20 0 22 0 3271458 10060525568 1047057 33554432000 1073741824 1073778376 140733567248000 140551402621480 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6447/tid=6454] ppid=6444 vsize=9824732 CPUtime=5.68 cores=1,3,5,7
/proc/6447/task/6454/stat : 6454 (java) S 6444 6447 5767 0 -1 4202560 640 0 0 0 551 17 0 0 20 0 22 0 3271458 10060525568 1047057 33554432000 1073741824 1073778376 140733567248000 140551401568936 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6447/tid=6455] ppid=6444 vsize=9824732 CPUtime=5.62 cores=1,3,5,7
/proc/6447/task/6455/stat : 6455 (java) S 6444 6447 5767 0 -1 4202560 754 0 0 0 544 18 0 0 20 0 22 0 3271458 10060525568 1047057 33554432000 1073741824 1073778376 140733567248000 140551400516392 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6447/tid=6456] ppid=6444 vsize=9824732 CPUtime=4.69 cores=1,3,5,7
/proc/6447/task/6456/stat : 6456 (java) S 6444 6447 5767 0 -1 4202560 617 0 0 0 453 16 0 0 20 0 22 0 3271458 10060525568 1047057 33554432000 1073741824 1073778376 140733567248000 140551399463848 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6447/tid=6457] ppid=6444 vsize=9824732 CPUtime=5.61 cores=1,3,5,7
/proc/6447/task/6457/stat : 6457 (java) S 6444 6447 5767 0 -1 4202560 606 0 0 0 540 21 0 0 20 0 22 0 3271458 10060525568 1047057 33554432000 1073741824 1073778376 140733567248000 140551398411304 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6447/tid=6458] ppid=6444 vsize=9824732 CPUtime=7.84 cores=1,3,5,7
/proc/6447/task/6458/stat : 6458 (java) S 6444 6447 5767 0 -1 4202560 2881 0 0 0 776 8 0 0 20 0 22 0 3271459 10060525568 1047057 33554432000 1073741824 1073778376 140733567248000 140551240984680 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6447/tid=6459] ppid=6444 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6447/task/6459/stat : 6459 (java) S 6444 6447 5767 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 3271460 10060525568 1047057 33554432000 1073741824 1073778376 140733567248000 140551239931000 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6447/tid=6460] ppid=6444 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6447/task/6460/stat : 6460 (java) S 6444 6447 5767 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 3271460 10060525568 1047057 33554432000 1073741824 1073778376 140733567248000 140551238878344 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6447/tid=6461] ppid=6444 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6447/task/6461/stat : 6461 (java) S 6444 6447 5767 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3271462 10060525568 1047057 33554432000 1073741824 1073778376 140733567248000 140551237827088 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6447/tid=6462] ppid=6444 vsize=9824732 CPUtime=2.61 cores=1,3,5,7
/proc/6447/task/6462/stat : 6462 (java) S 6444 6447 5767 0 -1 4202560 13382 0 0 0 259 2 0 0 20 0 22 0 3271462 10060525568 1047057 33554432000 1073741824 1073778376 140733567248000 140551236774456 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6447/tid=6463] ppid=6444 vsize=9824732 CPUtime=2.25 cores=1,3,5,7
/proc/6447/task/6463/stat : 6463 (java) S 6444 6447 5767 0 -1 4202560 20394 0 0 0 221 4 0 0 20 0 22 0 3271462 10060525568 1047057 33554432000 1073741824 1073778376 140733567248000 140551235721912 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6447/tid=6464] ppid=6444 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6447/task/6464/stat : 6464 (java) S 6444 6447 5767 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3271462 10060525568 1047057 33554432000 1073741824 1073778376 140733567248000 140551234669560 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6447/tid=6465] ppid=6444 vsize=9824732 CPUtime=0.37 cores=1,3,5,7
/proc/6447/task/6465/stat : 6465 (java) S 6444 6447 5767 0 -1 4202560 50 0 0 0 13 24 0 0 20 0 22 0 3271462 10060525568 1047057 33554432000 1073741824 1073778376 140733567248000 140551233617224 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6447/tid=6466] ppid=6444 vsize=9824732 CPUtime=869.13 cores=1,3,5,7
/proc/6447/task/6466/stat : 6466 (java) R 6444 6447 5767 0 -1 4202560 70 0 0 0 86898 15 0 0 20 0 22 0 3271561 10060525568 1047057 33554432000 1073741824 1073778376 140733567248000 140551232510400 140551279156892 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=6447/tid=6467] ppid=6444 vsize=9824732 CPUtime=869.02 cores=1,3,5,7
/proc/6447/task/6467/stat : 6467 (java) R 6444 6447 5767 0 -1 4202560 1890 0 0 0 86853 49 0 0 20 0 22 0 3271562 10060525568 1047057 33554432000 1073741824 1073778376 140733567248000 140551231458496 140551279466499 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=6447/tid=6468] ppid=6444 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6447/task/6468/stat : 6468 (java) S 6444 6447 5767 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 3271571 10060525568 1047057 33554432000 1073741824 1073778376 140733567248000 140551230407720 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6447/tid=6469] ppid=6444 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/6447/task/6469/stat : 6469 (java) S 6444 6447 5767 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 3271572 10060525568 1047057 33554432000 1073741824 1073778376 140733567248000 140551229355176 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 9824732

[startup+891.709 s]
/proc/loadavg: 4.57 4.17 3.33 5/219 6628
/proc/meminfo: memFree=24430764/32872528 swapFree=248296/248296
[pid=6447] ppid=6444 vsize=0 CPUtime=1796.1 cores=1,3,5,7
/proc/6447/stat : 6447 (java) Z 6444 6447 5767 0 -1 4203532 47867 0 1 0 179336 274 0 0 20 0 2 0 3271457 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6447/statm: 0 0 0 0 0 0 0
[pid=6447/tid=6461] ppid=6444 vsize=0 CPUtime=0 cores=1,3,5,7
/proc/6447/task/6461/stat : 6461 (java) R 6444 6447 5767 0 -1 4203588 11 0 0 0 0 0 0 0 20 0 2 0 3271462 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1796.1
Current children cumulated vsize (KiB) 0
#
############


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

[startup+891.709 s]
/proc/loadavg: 4.57 4.17 3.33 5/219 6628
/proc/meminfo: memFree=24430764/32872528 swapFree=248296/248296
[pid=6447] ppid=6444 vsize=0 CPUtime=1796.1 cores=1,3,5,7
/proc/6447/stat : 6447 (java) Z 6444 6447 5767 0 -1 4203532 47867 0 1 0 179336 274 0 0 20 0 2 0 3271457 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6447/statm: 0 0 0 0 0 0 0
[pid=6447/tid=6461] ppid=6444 vsize=0 CPUtime=0 cores=1,3,5,7
/proc/6447/task/6461/stat : 6461 (java) R 6444 6447 5767 0 -1 4203588 11 0 0 0 0 0 0 0 20 0 2 0 3271462 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1796.1
Current children cumulated vsize (KiB) 0

Child status: 143

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

Real time (s): 891.712
CPU time (s): 1800.08
CPU user time (s): 1797.83
CPU system time (s): 2.25258
CPU usage (%): 201.868
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.37
system time used= 2.74258
maximum resident set size= 4188344
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47867
page faults= 1
swaps= 0
block input operations= 0
block output operations= 936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24839
involuntary context switches= 34601

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.76197 second user time and 6.52501 second system time

The end

Launcher Data 

Begin job on node103 at 2016-06-15 19:36:50
IDJOB=4088827
IDBENCH=107319
IDSOLVER=2543
FILE ID=node103/4088827-1466012210
RUNJOBID= node103-1466012165-5784
PBS_JOBID= 19902805
Free space on /tmp= 71736 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/SUMINEQ/normalized-sumineqArity5houseP128.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4088827-1466012210/watcher-4088827-1466012210 -o /tmp/evaluation-result-4088827-1466012210/solver-4088827-1466012210 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1466012165-5784 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4088827-1466012210.opb

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

MD5SUM BENCH= 6cf93208bf226a5a9d6ea9400862bf3f
RANDOM SEED=940189192

node103.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		: 2667.278
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	: 5334.55
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		: 2667.278
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		: 2667.278
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		: 2667.278
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		: 2667.278
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		: 2667.278
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		: 2667.278
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		: 2667.278
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:        28594820 kB
Buffers:          122256 kB
Cached:           343852 kB
SwapCached:            0 kB
Active:          2997968 kB
Inactive:         319996 kB
Active(anon):    2854288 kB
Inactive(anon):        0 kB
Active(file):     143680 kB
Inactive(file):   319996 kB
Unevictable:      248296 kB
Mlocked:          248296 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              3000 kB
Writeback:             0 kB
AnonPages:       3046584 kB
Mapped:            21572 kB
Shmem:               204 kB
Slab:             574464 kB
SReclaimable:      17952 kB
SUnreclaim:       556512 kB
KernelStack:        1808 kB
PageTables:        10792 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3494212 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2740224 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= 71732 MiB
End job on node103 at 2016-06-15 19:51:42