Trace number 4118107

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 Res+CP PB16SAT (TO)816688461479 1800.66 899.563

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-BIGINT-NLC/
minlplib2-pb-0.1.0/opb/normalized-cardqp_inlp.opb
MD5SUMc82e474a4b046a910d07c1f80037da59
Bench CategoryOPT-BIGINT-NLC (optimisation, big integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark816688461479
Best CPU time to get the best result obtained on this benchmark1800.66
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables50
Total number of constraints1
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint50
Maximum length of a constraint50
Number of terms in the objective function 1275
Biggest coefficient in the objective function 39357191031
Number of bits for the biggest coefficient in the objective function 36
Sum of the numbers in the objective function 25596713602429
Number of bits of the sum of numbers in the objective function 45
Biggest number in a constraint 39357191031
Number of bits of the biggest number in a constraint 36
Biggest sum of numbers in a constraint 25596713602429
Number of bits of the biggest sum of numbers45
Number of products (including duplicates)1225
Sum of products size (including duplicates)2450
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-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.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.12	c Pseudo Boolean Optimization by upper bound
0.09/0.12	c ManyCore solver with 2 solvers running in parallel
0.09/0.12	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
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 Expensive 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.pb.tools.ManyCorePB@9f436f5
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.09/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
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 phase appearing in latest learned clause taking into account the objective function
0.09/0.12	c No reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose 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.pb.tools.ManyCorePB@9f436f5
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-4118107-1467221159.opb
0.09/0.12	c reading problem ... 
0.09/0.12	c  objective function found
0.23/0.29	c ... done. Wall clock time 0.171s.
0.23/0.29	c declared #vars     50
0.23/0.29	c internal #vars     1275
0.23/0.29	c #constraints  2452
0.23/0.29	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.23/0.29	c constraints type 
0.23/0.29	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1225
0.23/0.29	c org.sat4j.minisat.constraints.card.MinWatchCard => 2
0.23/0.29	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1225
0.23/0.29	c 2452 constraints processed.
0.23/0.29	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.23/0.29	c constraints type 
0.23/0.29	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1225
0.23/0.29	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 2
0.23/0.29	c org.sat4j.pb.constraints.pb.MaxWatchPb => 1225
0.23/0.29	c 2452 constraints processed.
0.23/0.29	c objective function length is 1275 literals
1.60/0.66	c And the winner is solver0
1.96/0.79	c SATISFIABLE
1.96/0.79	c OPTIMIZING...
1.96/0.79	c Got one! Elapsed wall clock time (in seconds):0.677
1.96/0.80	o 876785882861
2.55/0.94	c And the winner is solver0
2.99/1.30	c Got one! Elapsed wall clock time (in seconds):1.185
2.99/1.30	o 865887999243
4.14/1.71	c cleaning 3033 clauses out of 6076 with flag 11023/6076
5.43/2.21	c cleaning 4515 clauses out of 9042 with flag 24163/12075
6.65/2.82	c cleaning 5755 clauses out of 11528 with flag 40432/19076
8.29/3.61	c cleaning 6878 clauses out of 13772 with flag 59668/27075
10.12/4.51	c cleaning 7938 clauses out of 15894 with flag 81354/36075
10.50/4.76	c And the winner is solver0
10.69/4.81	c Got one! Elapsed wall clock time (in seconds):4.69
10.69/4.81	o 863904375588
11.12/5.07	c cleaning 6956 clauses out of 13922 with flag 6455/42041
12.13/5.52	c cleaning 6466 clauses out of 12966 with flag 19775/48041
13.12/6.07	c And the winner is solver1
13.28/6.35	c Got one! Elapsed wall clock time (in seconds):6.236
13.28/6.35	o 858767215628
14.92/7.13	c cleaning 8256 clauses out of 16537 with flag 18336/58078
16.52/7.98	c cleaning 7126 clauses out of 14281 with flag 39563/64078
18.40/8.89	c cleaning 7061 clauses out of 14155 with flag 65635/71078
20.39/9.86	c cleaning 7544 clauses out of 15094 with flag 93072/79078
22.80/11.05	c cleaning 8255 clauses out of 16552 with flag 128766/88080
25.39/12.32	c cleaning 9132 clauses out of 18295 with flag 164392/98078
28.19/13.79	c cleaning 10083 clauses out of 20165 with flag 205146/109080
31.46/15.37	c cleaning 11030 clauses out of 22080 with flag 248355/121078
35.06/17.19	c cleaning 12003 clauses out of 24050 with flag 298159/134078
39.07/19.15	c cleaning 13016 clauses out of 26047 with flag 349385/148078
43.27/21.27	c cleaning 14016 clauses out of 28032 with flag 403673/163079
48.07/23.62	c cleaning 14983 clauses out of 30015 with flag 469875/179078
53.16/26.11	c cleaning 16006 clauses out of 32032 with flag 534335/196078
58.38/28.74	c cleaning 17002 clauses out of 34026 with flag 600253/214078
64.36/31.76	c cleaning 18013 clauses out of 36025 with flag 668859/233079
70.64/34.82	c cleaning 18994 clauses out of 38011 with flag 737072/253078
77.46/38.22	c cleaning 20006 clauses out of 40019 with flag 810419/274080
84.87/41.91	c cleaning 21001 clauses out of 42012 with flag 889260/296079
92.40/45.69	c cleaning 21992 clauses out of 44010 with flag 968839/319078
100.99/49.93	c cleaning 23008 clauses out of 46018 with flag 1046392/343078
109.59/54.24	c cleaning 23989 clauses out of 48010 with flag 1128408/368078
118.14/58.44	c cleaning 24995 clauses out of 50021 with flag 1215620/394078
128.12/63.44	c cleaning 26008 clauses out of 52026 with flag 1309137/421078
138.72/68.71	c cleaning 27006 clauses out of 54018 with flag 1411611/449078
148.93/73.84	c cleaning 27999 clauses out of 56012 with flag 1521375/478078
161.89/80.25	c cleaning 28990 clauses out of 58013 with flag 1622201/508078
174.10/86.34	c cleaning 30002 clauses out of 60024 with flag 1726197/539079
186.51/92.57	c cleaning 30999 clauses out of 62021 with flag 1835107/571078
201.70/100.04	c cleaning 32008 clauses out of 64022 with flag 1945091/604078
217.41/107.82	c cleaning 33006 clauses out of 66015 with flag 2053457/638079
231.39/114.84	c cleaning 33990 clauses out of 68008 with flag 2170760/673078
247.04/122.96	c cleaning 35008 clauses out of 70018 with flag 2287860/709078
262.44/130.67	c cleaning 35991 clauses out of 72010 with flag 2410615/746078
277.69/138.28	c cleaning 37001 clauses out of 74019 with flag 2536440/784078
280.91/139.86	c And the winner is solver0
281.10/140.14	c Got one! Elapsed wall clock time (in seconds):140.018
281.10/140.14	o 856912791764
283.82/141.59	c cleaning 25997 clauses out of 52003 with flag 17013/799063
286.42/142.87	c cleaning 15984 clauses out of 32006 with flag 36111/805063
288.81/144.06	c cleaning 11504 clauses out of 23023 with flag 58568/812064
291.01/145.18	c cleaning 9748 clauses out of 19518 with flag 83233/820063
293.21/146.28	c cleaning 9380 clauses out of 18770 with flag 112374/829063
295.95/147.59	c cleaning 9684 clauses out of 19390 with flag 145614/839063
298.73/148.92	c cleaning 10347 clauses out of 20706 with flag 183586/850063
301.53/150.37	c cleaning 11181 clauses out of 22362 with flag 222090/862066
304.93/152.08	c cleaning 12089 clauses out of 24178 with flag 264753/875063
308.73/153.91	c cleaning 13037 clauses out of 26089 with flag 310808/889063
312.13/155.68	c cleaning 14025 clauses out of 28052 with flag 362053/904063
315.93/157.59	c cleaning 15000 clauses out of 30027 with flag 412832/920063
320.95/160.03	c cleaning 15997 clauses out of 32027 with flag 466015/937063
326.66/162.86	c cleaning 16999 clauses out of 34030 with flag 525473/955063
332.05/165.53	c cleaning 18007 clauses out of 36031 with flag 590279/974063
338.05/168.58	c cleaning 19012 clauses out of 38025 with flag 657190/994064
344.85/171.96	c cleaning 20004 clauses out of 40014 with flag 726266/1015065
351.64/175.40	c cleaning 21001 clauses out of 42008 with flag 793177/1037063
354.78/176.86	c And the winner is solver0
355.02/177.19	c Got one! Elapsed wall clock time (in seconds):177.076
355.02/177.19	o 852204794456
357.23/178.33	c cleaning 18319 clauses out of 36653 with flag 14196/1052709
357.61/178.53	c And the winner is solver0
357.76/178.70	c Got one! Elapsed wall clock time (in seconds):178.582
357.76/178.70	o 845402364049
359.16/179.44	c cleaning 11746 clauses out of 23500 with flag 13343/1057875
360.95/180.35	c cleaning 8871 clauses out of 17755 with flag 32940/1063876
362.75/181.29	c cleaning 7929 clauses out of 15883 with flag 57032/1070875
364.74/182.23	c cleaning 7958 clauses out of 15954 with flag 81083/1078875
366.94/183.35	c cleaning 8473 clauses out of 16996 with flag 109810/1087875
369.86/184.70	c cleaning 9245 clauses out of 18523 with flag 143689/1097875
372.06/185.90	c cleaning 10137 clauses out of 20278 with flag 177839/1108875
375.06/187.39	c cleaning 11071 clauses out of 22141 with flag 219012/1120875
378.46/189.03	c cleaning 12034 clauses out of 24070 with flag 258146/1133875
382.06/190.85	c cleaning 13018 clauses out of 26036 with flag 301249/1147875
386.26/192.90	c cleaning 14003 clauses out of 28018 with flag 351272/1162875
390.66/195.16	c cleaning 14990 clauses out of 30015 with flag 403041/1178875
395.80/197.65	c cleaning 16009 clauses out of 32025 with flag 457184/1195875
401.21/200.35	c cleaning 17004 clauses out of 34016 with flag 518450/1213875
406.39/202.96	c cleaning 17990 clauses out of 36012 with flag 575560/1232875
412.20/205.89	c cleaning 19007 clauses out of 38022 with flag 641929/1252875
418.33/208.88	c cleaning 19991 clauses out of 40015 with flag 709073/1273875
425.65/212.41	c cleaning 20998 clauses out of 42024 with flag 778250/1295875
426.44/212.84	c And the winner is solver0
426.68/213.21	c Got one! Elapsed wall clock time (in seconds):213.092
426.68/213.21	o 845035964059
427.46/213.62	c cleaning 13153 clauses out of 26317 with flag 7410/1301166
429.26/214.55	c cleaning 9566 clauses out of 19165 with flag 26474/1307167
431.24/215.58	c cleaning 8293 clauses out of 16598 with flag 49840/1314166
433.24/216.58	c cleaning 8119 clauses out of 16305 with flag 76138/1322166
435.64/217.72	c cleaning 8589 clauses out of 17186 with flag 105887/1331166
438.17/218.99	c cleaning 9281 clauses out of 18597 with flag 142955/1341166
440.96/220.35	c cleaning 10137 clauses out of 20316 with flag 179447/1352166
444.16/221.90	c cleaning 11064 clauses out of 22179 with flag 228394/1364166
447.17/223.43	c cleaning 12042 clauses out of 24115 with flag 279332/1377166
451.16/225.46	c cleaning 13016 clauses out of 26073 with flag 328819/1391166
455.56/227.60	c cleaning 14029 clauses out of 28057 with flag 381074/1406166
459.97/229.84	c cleaning 15016 clauses out of 30031 with flag 435883/1422169
465.05/232.31	c cleaning 15998 clauses out of 32012 with flag 499339/1439166
470.45/235.02	c cleaning 16987 clauses out of 34014 with flag 568478/1457166
476.05/237.86	c cleaning 18005 clauses out of 36027 with flag 635112/1476166
481.46/240.55	c cleaning 19012 clauses out of 38023 with flag 697782/1496167
487.26/243.42	c cleaning 20005 clauses out of 40010 with flag 763385/1517166
494.06/246.83	c cleaning 20998 clauses out of 42006 with flag 836623/1539167
501.73/250.67	c cleaning 21993 clauses out of 44007 with flag 920704/1562166
509.93/254.75	c cleaning 23007 clauses out of 46015 with flag 998544/1586167
519.22/259.39	c cleaning 23998 clauses out of 48007 with flag 1081144/1611166
528.02/263.78	c cleaning 25006 clauses out of 50011 with flag 1168123/1637168
537.64/268.57	c cleaning 26001 clauses out of 52004 with flag 1263173/1664167
547.82/273.67	c cleaning 26997 clauses out of 54002 with flag 1353001/1692166
559.11/279.23	c cleaning 28003 clauses out of 56005 with flag 1444736/1721166
570.52/284.97	c cleaning 29001 clauses out of 58002 with flag 1549881/1751166
584.84/292.01	c cleaning 29996 clauses out of 60001 with flag 1664526/1782166
598.04/298.61	c cleaning 30997 clauses out of 62005 with flag 1779907/1814166
612.20/305.67	c cleaning 31994 clauses out of 64008 with flag 1898204/1847166
627.78/313.33	c cleaning 33008 clauses out of 66015 with flag 2023135/1881167
644.20/322.16	c cleaning 33993 clauses out of 68006 with flag 2151854/1916166
661.00/330.52	c cleaning 35007 clauses out of 70013 with flag 2286889/1952166
678.01/338.89	c cleaning 35999 clauses out of 72007 with flag 2426134/1989167
694.36/346.95	c cleaning 36991 clauses out of 74007 with flag 2579705/2027166
711.77/355.59	c cleaning 38009 clauses out of 76017 with flag 2730563/2066167
728.36/363.83	c cleaning 38995 clauses out of 78008 with flag 2881037/2106167
746.07/372.59	c cleaning 39996 clauses out of 80013 with flag 3039974/2147167
763.85/381.31	c cleaning 41004 clauses out of 82017 with flag 3199230/2189167
784.14/391.42	c cleaning 41989 clauses out of 84012 with flag 3340552/2232166
803.03/400.84	c cleaning 42996 clauses out of 86023 with flag 3476689/2276166
816.23/407.45	c And the winner is solver0
816.57/407.67	c Got one! Elapsed wall clock time (in seconds):407.554
816.57/407.67	o 841881221026
821.01/409.84	c cleaning 40284 clauses out of 80604 with flag 12007/2313743
821.81/410.25	c And the winner is solver0
822.09/410.68	c Got one! Elapsed wall clock time (in seconds):410.562
822.09/410.68	o 832915611511
824.82/412.01	c cleaning 23056 clauses out of 46143 with flag 10083/2319566
826.82/413.08	c cleaning 14537 clauses out of 29087 with flag 24587/2325566
829.03/414.14	c cleaning 10759 clauses out of 21550 with flag 46592/2332566
831.23/415.29	c cleaning 9383 clauses out of 18791 with flag 71366/2340566
833.63/416.48	c cleaning 9187 clauses out of 18409 with flag 102371/2349567
836.43/417.86	c cleaning 9608 clauses out of 19221 with flag 137480/2359566
839.72/419.43	c cleaning 10310 clauses out of 20619 with flag 181964/2370572
842.92/421.08	c cleaning 11119 clauses out of 22303 with flag 226271/2382566
846.32/422.76	c cleaning 12084 clauses out of 24184 with flag 272096/2395566
847.93/423.51	c And the winner is solver1
847.96/423.69	c Got one! Elapsed wall clock time (in seconds):423.569
847.96/423.69	o 816688461479
849.78/424.69	c cleaning 11597 clauses out of 23243 with flag 19889/2406709
851.57/425.58	c cleaning 8823 clauses out of 17646 with flag 41478/2412709
853.65/426.58	c cleaning 7886 clauses out of 15823 with flag 68512/2419709
855.85/427.67	c cleaning 7949 clauses out of 15939 with flag 99798/2427711
858.05/428.75	c cleaning 8489 clauses out of 16989 with flag 137344/2436710
860.65/430.08	c cleaning 9239 clauses out of 18499 with flag 177422/2446709
864.05/431.72	c cleaning 10107 clauses out of 20260 with flag 219299/2457709
867.91/433.64	c cleaning 11070 clauses out of 22153 with flag 265348/2469709
871.71/435.52	c cleaning 12030 clauses out of 24083 with flag 313922/2482709
875.91/437.65	c cleaning 13017 clauses out of 26053 with flag 366310/2496709
879.79/439.60	c cleaning 14006 clauses out of 28036 with flag 423858/2511709
883.59/441.48	c cleaning 15013 clauses out of 30031 with flag 486548/2527710
888.99/444.12	c cleaning 16009 clauses out of 32018 with flag 553181/2544710
894.79/447.00	c cleaning 16987 clauses out of 34008 with flag 622568/2562709
900.82/450.04	c cleaning 18009 clauses out of 36021 with flag 698191/2581709
907.32/453.30	c cleaning 19006 clauses out of 38013 with flag 789678/2601710
913.91/456.52	c cleaning 20000 clauses out of 40006 with flag 882114/2622709
921.50/460.37	c cleaning 20985 clauses out of 42006 with flag 965125/2644709
930.78/464.92	c cleaning 22003 clauses out of 44021 with flag 1053559/2667709
940.17/469.65	c cleaning 22985 clauses out of 46019 with flag 1150146/2691710
949.46/474.27	c cleaning 24001 clauses out of 48033 with flag 1251630/2716709
958.84/478.98	c cleaning 25006 clauses out of 50032 with flag 1353063/2742709
969.56/484.29	c cleaning 26000 clauses out of 52026 with flag 1465970/2769709
980.76/489.81	c cleaning 26989 clauses out of 54026 with flag 1584462/2797709
992.08/495.41	c cleaning 28019 clauses out of 56037 with flag 1691267/2826709
1005.88/502.33	c cleaning 29005 clauses out of 58018 with flag 1814486/2856709
1019.42/509.02	c cleaning 29984 clauses out of 60013 with flag 1939157/2887709
1033.24/515.95	c cleaning 31008 clauses out of 62029 with flag 2080830/2919709
1047.59/523.05	c cleaning 32009 clauses out of 64021 with flag 2213423/2952709
1062.39/530.48	c cleaning 32982 clauses out of 66012 with flag 2345348/2986709
1080.33/540.32	c cleaning 34003 clauses out of 68030 with flag 2505055/3021709
1097.45/548.73	c cleaning 35006 clauses out of 70027 with flag 2658984/3057709
1113.93/556.92	c cleaning 35993 clauses out of 72022 with flag 2824144/3094710
1133.63/566.76	c cleaning 36998 clauses out of 74028 with flag 2988607/3132709
1155.60/577.67	c cleaning 37987 clauses out of 76030 with flag 3143069/3171709
1175.39/587.51	c cleaning 39013 clauses out of 78044 with flag 3307268/3211710
1198.08/598.76	c cleaning 40001 clauses out of 80030 with flag 3479135/3252709
1216.88/608.17	c cleaning 41015 clauses out of 82029 with flag 3664843/3294709
1238.42/618.89	c cleaning 41989 clauses out of 84014 with flag 3847461/3337709
1260.74/629.95	c cleaning 42994 clauses out of 86025 with flag 4031979/3381709
1283.55/641.32	c cleaning 43996 clauses out of 88031 with flag 4221127/3426709
1311.68/655.26	c cleaning 45015 clauses out of 90036 with flag 4411726/3472710
1336.68/667.64	c cleaning 45992 clauses out of 92020 with flag 4621923/3519709
1364.47/681.50	c cleaning 46995 clauses out of 94028 with flag 4812012/3567709
1392.02/695.13	c cleaning 47996 clauses out of 96034 with flag 5019259/3616710
1421.56/709.84	c cleaning 49008 clauses out of 98037 with flag 5236646/3666709
1450.65/724.27	c cleaning 50013 clauses out of 100029 with flag 5431692/3717709
1481.07/739.35	c cleaning 50991 clauses out of 102016 with flag 5660218/3769709
1512.05/754.76	c cleaning 52008 clauses out of 104025 with flag 5898247/3822709
1547.80/772.45	c cleaning 52989 clauses out of 106017 with flag 6128845/3876709
1582.19/789.54	c cleaning 54011 clauses out of 108028 with flag 6366698/3931709
1618.79/807.63	c cleaning 54998 clauses out of 110017 with flag 6595526/3987709
1658.71/827.41	c cleaning 55998 clauses out of 112019 with flag 6844014/4044709
1701.89/850.50	c cleaning 56988 clauses out of 114022 with flag 7085075/4102710
1737.14/868.20	c cleaning 58000 clauses out of 116033 with flag 7343729/4161709
1776.86/887.92	c cleaning 59009 clauses out of 118033 with flag 7591210/4221709
1800.15/899.50	c >>>>>>>>>> Solver number 0 (9 answers) <<<<<<<<<<<<<<<<<<
1800.15/899.50	c starts		: 48393
1800.15/899.50	c conflicts		: 4264341
1800.15/899.50	c decisions		: 27014638
1800.15/899.50	c propagations		: 736138574
1800.15/899.50	c inspects		: 10003121798
1800.15/899.50	c shortcuts		: 0
1800.15/899.50	c learnt literals	: 0
1800.15/899.50	c learnt binary clauses	: 0
1800.15/899.50	c learnt ternary clauses	: 0
1800.15/899.50	c learnt constraints	: 4264341
1800.15/899.50	c ignored constraints	: 0
1800.15/899.50	c root simplifications	: 0
1800.15/899.50	c removed literals (reason simplification)	: 116661105
1800.15/899.50	c reason swapping (by a shorter reason)	: 0
1800.15/899.50	c Calls to reduceDB	: 184
1800.15/899.50	c Number of update (reduction) of LBD	: 1676887
1800.15/899.50	c Imported unit clauses	: 0
1800.15/899.50	c number of reductions to clauses (during analyze)	: 0
1800.15/899.50	c number of learned constraints concerned by reduction	: 0
1800.15/899.50	c number of learning phase by resolution	: 0
1800.15/899.50	c number of learning phase by cutting planes	: 0
1800.15/899.50	c speed (assignments/second)	: 1547130.4115727108
1800.15/899.50	c non guided choices	0
1800.15/899.53	c learnt constraints type 
1800.15/899.53	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 101656
1800.15/899.53	c >>>>>>>>>> Solver number 1 (2 answers) <<<<<<<<<<<<<<<<<<
1800.15/899.53	c starts		: 55
1800.15/899.53	c conflicts		: 7661
1800.15/899.53	c decisions		: 29546
1800.15/899.53	c propagations		: 796481
1800.15/899.53	c inspects		: 442029135
1800.15/899.53	c shortcuts		: 0
1800.15/899.53	c learnt literals	: 0
1800.15/899.53	c learnt binary clauses	: 0
1800.15/899.53	c learnt ternary clauses	: 0
1800.15/899.53	c learnt constraints	: 7656
1800.15/899.53	c ignored constraints	: 0
1800.15/899.53	c root simplifications	: 0
1800.15/899.53	c removed literals (reason simplification)	: 0
1800.15/899.53	c reason swapping (by a shorter reason)	: 0
1800.15/899.53	c Calls to reduceDB	: 0
1800.15/899.53	c Number of update (reduction) of LBD	: 0
1800.15/899.53	c Imported unit clauses	: 0
1800.15/899.53	c number of reductions to clauses (during analyze)	: 0
1800.15/899.53	c number of learned constraints concerned by reduction	: 0
1800.15/899.53	c number of learning phase by resolution	: 0
1800.15/899.53	c number of learning phase by cutting planes	: 0
1800.15/899.53	c speed (assignments/second)	: 1629.3219486050707
1800.15/899.53	c non guided choices	0
1800.15/899.53	c learnt constraints type 
1800.15/899.53	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 8
1800.15/899.53	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 15
1800.15/899.53	c org.sat4j.pb.constraints.pb.MaxWatchPb => 7633
1800.15/899.53	s SATISFIABLE
1800.15/899.53	c Found 11 solution(s)
1800.15/899.53	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 
1800.15/899.53	c objective function=816688461479
1800.15/899.53	c Total wall clock time (in seconds): 899.414

Verifier Data 

OK	816688461479

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-4118107-1467221159/watcher-4118107-1467221159 -o /tmp/evaluation-result-4118107-1467221159/solver-4118107-1467221159 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1467208983-5284 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4118107-1467221159.opb 

pid=9688
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: 3.27 3.82 3.81 5/195 9691
/proc/meminfo: memFree=27239620/32872528 swapFree=1459092/1655316
[pid=9691] ppid=9688 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/9691/stat : 9691 (java) R 9688 9691 5267 0 -1 4202496 489 0 0 0 0 0 0 0 20 0 1 0 3067086 9515008 142 33554432000 1073741824 1073778376 140734518415680 140734518412808 239872783028 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/9691/statm: 2323 148 107 9 0 71 0

[startup+0.100206 s]
/proc/loadavg: 3.27 3.82 3.81 5/195 9691
/proc/meminfo: memFree=27239620/32872528 swapFree=1459092/1655316
[pid=9691] ppid=9688 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/9691/stat : 9691 (java) S 9688 9691 5267 0 -1 4202496 4424 0 1 0 8 1 0 0 20 0 18 0 3067086 9787879424 6050 33554432000 1073741824 1073778376 140734518415680 140734518406816 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9691/statm: 2389619 6050 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200228 s]
/proc/loadavg: 3.27 3.82 3.81 5/195 9691
/proc/meminfo: memFree=27239620/32872528 swapFree=1459092/1655316
[pid=9691] ppid=9688 vsize=9558476 CPUtime=0.23 cores=1,3,5,7
/proc/9691/stat : 9691 (java) S 9688 9691 5267 0 -1 4202496 4648 0 1 0 22 1 0 0 20 0 18 0 3067086 9787879424 7248 33554432000 1073741824 1073778376 140734518415680 140734518406816 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9691/statm: 2389619 7248 2213 9 0 2380296 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 9558476

[startup+0.300227 s]
/proc/loadavg: 3.27 3.82 3.81 5/195 9691
/proc/meminfo: memFree=27239620/32872528 swapFree=1459092/1655316
[pid=9691] ppid=9688 vsize=9691604 CPUtime=0.44 cores=1,3,5,7
/proc/9691/stat : 9691 (java) S 9688 9691 5267 0 -1 4202496 5647 0 1 0 43 1 0 0 20 0 20 0 3067086 9924202496 9399 33554432000 1073741824 1073778376 140734518415680 140734518406816 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9691/statm: 2422901 9399 2248 9 0 2413578 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 9691604

[startup+0.700202 s]
/proc/loadavg: 3.27 3.82 3.81 5/195 9691
/proc/meminfo: memFree=27239620/32872528 swapFree=1459092/1655316
[pid=9691] ppid=9688 vsize=9824732 CPUtime=1.96 cores=1,3,5,7
/proc/9691/stat : 9691 (java) S 9688 9691 5267 0 -1 4202496 16576 0 1 0 191 5 0 0 20 0 19 0 3067086 10060525568 20268 33554432000 1073741824 1073778376 140734518415680 140734518406816 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9691/statm: 2456183 20268 2267 9 0 2446860 0
Current children cumulated CPU time (s) 1.96
Current children cumulated vsize (KiB) 9824732

[startup+1.50077 s]
/proc/loadavg: 3.16 3.79 3.80 4/214 9716
/proc/meminfo: memFree=27125128/32872528 swapFree=1459092/1655316
[pid=9691] ppid=9688 vsize=9824732 CPUtime=3.59 cores=1,3,5,7
/proc/9691/stat : 9691 (java) S 9688 9691 5267 0 -1 4202496 23377 0 1 0 350 9 0 0 20 0 22 0 3067086 10060525568 44251 33554432000 1073741824 1073778376 140734518415680 140734518406816 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9691/statm: 2456183 44251 2274 9 0 2446860 0
[pid=9691/tid=9693] ppid=9688 vsize=9824732 CPUtime=0.28 cores=1,3,5,7
/proc/9691/task/9693/stat : 9693 (java) S 9688 9691 5267 0 -1 4202560 2422 0 1 0 26 2 0 0 20 0 22 0 3067087 10060525568 44251 33554432000 1073741824 1073778376 140734518415680 139980719240056 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9691/tid=9694] ppid=9688 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9691/task/9694/stat : 9694 (java) S 9688 9691 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3067088 10060525568 44251 33554432000 1073741824 1073778376 140734518415680 139980708301480 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9691/tid=9695] ppid=9688 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9691/task/9695/stat : 9695 (java) S 9688 9691 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3067088 10060525568 44251 33554432000 1073741824 1073778376 140734518415680 139980707248936 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9691/tid=9696] ppid=9688 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9691/task/9696/stat : 9696 (java) S 9688 9691 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3067088 10060525568 44251 33554432000 1073741824 1073778376 140734518415680 139980706196392 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9691/tid=9697] ppid=9688 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9691/task/9697/stat : 9697 (java) S 9688 9691 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3067088 10060525568 44251 33554432000 1073741824 1073778376 140734518415680 139980705143848 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9691/tid=9698] ppid=9688 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9691/task/9698/stat : 9698 (java) S 9688 9691 5267 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 3067088 10060525568 44251 33554432000 1073741824 1073778376 140734518415680 139980704090280 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9691/tid=9699] ppid=9688 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9691/task/9699/stat : 9699 (java) S 9688 9691 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3067088 10060525568 44251 33554432000 1073741824 1073778376 140734518415680 139980703037736 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9691/tid=9700] ppid=9688 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9691/task/9700/stat : 9700 (java) S 9688 9691 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3067088 10060525568 44251 33554432000 1073741824 1073778376 140734518415680 139980556679592 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9691/tid=9701] ppid=9688 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9691/task/9701/stat : 9701 (java) S 9688 9691 5267 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 3067088 10060525568 44251 33554432000 1073741824 1073778376 140734518415680 139980555627048 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9691/tid=9702] ppid=9688 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9691/task/9702/stat : 9702 (java) S 9688 9691 5267 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 3067089 10060525568 44251 33554432000 1073741824 1073778376 140734518415680 139980543429224 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9691/tid=9703] ppid=9688 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9691/task/9703/stat : 9703 (java) S 9688 9691 5267 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 3067089 10060525568 44251 33554432000 1073741824 1073778376 140734518415680 139980542375544 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9691/tid=9704] ppid=9688 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9691/task/9704/stat : 9704 (java) S 9688 9691 5267 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 3067089 10060525568 44251 33554432000 1073741824 1073778376 140734518415680 139980541322888 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9691/tid=9705] ppid=9688 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9691/task/9705/stat : 9705 (java) S 9688 9691 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3067092 10060525568 44251 33554432000 1073741824 1073778376 140734518415680 139980540271632 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9691/tid=9706] ppid=9688 vsize=9824732 CPUtime=0.9 cores=1,3,5,7
/proc/9691/task/9706/stat : 9706 (java) S 9688 9691 5267 0 -1 4202560 10708 0 0 0 88 2 0 0 20 0 22 0 3067092 10060525568 44251 33554432000 1073741824 1073778376 140734518415680 139980539217976 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9691/tid=9707] ppid=9688 vsize=9824732 CPUtime=0.96 cores=1,3,5,7
/proc/9691/task/9707/stat : 9707 (java) R 9688 9691 5267 0 -1 4202560 8850 0 0 0 94 2 0 0 20 0 22 0 3067092 10060525568 44251 33554432000 1073741824 1073778376 140734518415680 139980538152448 139980722143496 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=9691/tid=9708] ppid=9688 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9691/task/9708/stat : 9708 (java) S 9688 9691 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3067092 10060525568 44251 33554432000 1073741824 1073778376 140734518415680 139980537113080 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9691/tid=9709] ppid=9688 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9691/task/9709/stat : 9709 (java) S 9688 9691 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3067092 10060525568 44251 33554432000 1073741824 1073778376 140734518415680 139980536060744 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9691/tid=9713] ppid=9688 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9691/task/9713/stat : 9713 (java) S 9688 9691 5267 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 3067116 10060525568 44251 33554432000 1073741824 1073778376 140734518415680 139980531848872 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.59
Current children cumulated vsize (KiB) 9824732

[startup+3.10096 s]
/proc/loadavg: 3.16 3.79 3.80 5/217 9719
/proc/meminfo: memFree=27043332/32872528 swapFree=1459092/1655316
[pid=9691] ppid=9688 vsize=9824732 CPUtime=7.25 cores=1,3,5,7
/proc/9691/stat : 9691 (java) S 9688 9691 5267 0 -1 4202496 23528 0 1 0 712 13 0 0 20 0 22 0 3067086 10060525568 53048 33554432000 1073741824 1073778376 140734518415680 140734518406816 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9691/statm: 2456183 53048 2292 9 0 2446860 0
[pid=9691/tid=9693] ppid=9688 vsize=9824732 CPUtime=0.28 cores=1,3,5,7
/proc/9691/task/9693/stat : 9693 (java) S 9688 9691 5267 0 -1 4202560 2422 0 1 0 26 2 0 0 20 0 22 0 3067087 10060525568 53048 33554432000 1073741824 1073778376 140734518415680 139980719240056 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9691/tid=9694] ppid=9688 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9691/task/9694/stat : 9694 (java) S 9688 9691 5267 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 3067088 10060525568 53048 33554432000 1073741824 1073778376 140734518415680 139980708301480 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9691/tid=9695] ppid=9688 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9691/task/9695/stat : 9695 (java) S 9688 9691 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3067088 10060525568 53048 33554432000 1073741824 1073778376 140734518415680 139980707248936 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9691/tid=9696] ppid=9688 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9691/task/9696/stat : 9696 (java) S 9688 9691 5267 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 3067088 10060525568 53048 33554432000 1073741824 1073778376 140734518415680 139980706196392 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9691/tid=9697] ppid=9688 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9691/task/9697/stat : 9697 (java) S 9688 9691 5267 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 3067088 10060525568 53048 33554432000 1073741824 1073778376 140734518415680 139980705143848 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9691/tid=9698] ppid=9688 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/9691/task/9698/stat : 9698 (java) S 9688 9691 5267 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 22 0 3067088 10060525568 53048 33554432000 1073741824 1073778376 140734518415680 139980704090280 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9691/tid=9699] ppid=9688 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/9691/task/9699/stat : 9699 (java) S 9688 9691 5267 0 -1 4202560 18 0 0 0 1 0 0 0 20 0 22 0 3067088 10060525568 53048 33554432000 1073741824 1073778376 140734518415680 139980703037736 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9691/tid=9700] ppid=9688 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/9691/task/9700/stat : 9700 (java) S 9688 9691 5267 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 22 0 3067088 10060525568 53048 33554432000 1073741824 1073778376 140734518415680 139980556679592 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9691/tid=9701] ppid=9688 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/9691/task/9701/stat : 9701 (java) S 9688 9691 5267 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 22 0 3067088 10060525568 53048 33554432000 1073741824 1073778376 140734518415680 139980555627048 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9691/tid=9702] ppid=9688 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9691/task/9702/stat : 9702 (java) S 9688 9691 5267 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 22 0 3067089 10060525568 53048 33554432000 1073741824 1073778376 140734518415680 139980543429224 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9691/tid=9703] ppid=9688 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9691/task/9703/stat : 9703 (java) S 9688 9691 5267 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 3067089 10060525568 53048 33554432000 1073741824 1073778376 140734518415680 139980542375544 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9691/tid=9704] ppid=9688 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9691/task/9704/stat : 9704 (java) S 9688 9691 5267 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 3067089 10060525568 53048 33554432000 1073741824 1073778376 140734518415680 139980541322888 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9691/tid=9705] ppid=9688 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9691/task/9705/stat : 9705 (java) S 9688 9691 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3067092 10060525568 53048 33554432000 1073741824 1073778376 140734518415680 139980540271632 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9691/tid=9706] ppid=9688 vsize=9824732 CPUtime=1.09 cores=1,3,5,7
/proc/9691/task/9706/stat : 9706 (java) S 9688 9691 5267 0 -1 4202560 10712 0 0 0 107 2 0 0 20 0 22 0 3067092 10060525568 53048 33554432000 1073741824 1073778376 140734518415680 139980539217976 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9691/tid=9707] ppid=9688 vsize=9824732 CPUtime=1.16 cores=1,3,5,7
/proc/9691/task/9707/stat : 9707 (java) S 9688 9691 5267 0 -1 4202560 8854 0 0 0 114 2 0 0 20 0 22 0 3067092 10060525568 53048 33554432000 1073741824 1073778376 140734518415680 139980538165432 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9691/tid=9708] ppid=9688 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9691/task/9708/stat : 9708 (java) S 9688 9691 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3067092 10060525568 53048 33554432000 1073741824 1073778376 140734518415680 139980537113080 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9691/tid=9709] ppid=9688 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9691/task/9709/stat : 9709 (java) S 9688 9691 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3067092 10060525568 53048 33554432000 1073741824 1073778376 140734518415680 139980536060744 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9691/tid=9713] ppid=9688 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9691/task/9713/stat : 9713 (java) S 9688 9691 5267 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 3067116 10060525568 53048 33554432000 1073741824 1073778376 140734518415680 139980531848872 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9691/tid=9717] ppid=9688 vsize=9824732 CPUtime=1.72 cores=1,3,5,7
/proc/9691/task/9717/stat : 9717 (java) R 9688 9691 5267 0 -1 4202560 5 0 0 0 172 0 0 0 20 0 22 0 3067217 10060525568 53048 33554432000 1073741824 1073778376 140734518415680 139980534997024 139980585468900 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=9691/tid=9718] ppid=9688 vsize=9824732 CPUtime=1.72 cores=1,3,5,7
/proc/9691/task/9718/stat : 9718 (java) R 9688 9691 5267 0 -1 4202560 36 0 0 0 172 0 0 0 20 0 22 0 3067217 10060525568 53048 33554432000 1073741824 1073778376 140734518415680 139980533950928 139980584968798 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=9691/tid=9719] ppid=9688 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9691/task/9719/stat : 9719 (java) S 9688 9691 5267 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 3067217 10060525568 53048 33554432000 1073741824 1073778376 140734518415680 139980532901288 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 7.25
Current children cumulated vsize (KiB) 9824732

[startup+6.30089 s]
/proc/loadavg: 3.15 3.77 3.79 5/217 9722
/proc/meminfo: memFree=26893700/32872528 swapFree=1459092/1655316
[pid=9691] ppid=9688 vsize=9824732 CPUtime=13.28 cores=1,3,5,7
/proc/9691/stat : 9691 (java) S 9688 9691 5267 0 -1 4202496 23800 0 1 0 1306 22 0 0 20 0 19 0 3067086 10060525568 88337 33554432000 1073741824 1073778376 140734518415680 140734518406816 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9691/statm: 2456183 88337 2293 9 0 2446860 0
[pid=9691/tid=9693] ppid=9688 vsize=9824732 CPUtime=0.28 cores=1,3,5,7
/proc/9691/task/9693/stat : 9693 (java) S 9688 9691 5267 0 -1 4202560 2423 0 1 0 26 2 0 0 20 0 19 0 3067087 10060525568 88337 33554432000 1073741824 1073778376 140734518415680 139980719240056 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9691/tid=9694] ppid=9688 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/9691/task/9694/stat : 9694 (java) S 9688 9691 5267 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 19 0 3067088 10060525568 88337 33554432000 1073741824 1073778376 140734518415680 139980708301480 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9691/tid=9695] ppid=9688 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/9691/task/9695/stat : 9695 (java) S 9688 9691 5267 0 -1 4202560 8 0 0 0 2 0 0 0 20 0 19 0 3067088 10060525568 88337 33554432000 1073741824 1073778376 140734518415680 139980707248936 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9691/tid=9696] ppid=9688 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/9691/task/9696/stat : 9696 (java) S 9688 9691 5267 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 19 0 3067088 10060525568 88337 33554432000 1073741824 1073778376 140734518415680 139980706196392 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9691/tid=9697] ppid=9688 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/9691/task/9697/stat : 9697 (java) S 9688 9691 5267 0 -1 4202560 20 0 0 0 2 1 0 0 20 0 19 0 3067088 10060525568 88337 33554432000 1073741824 1073778376 140734518415680 139980705143848 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9691/tid=9698] ppid=9688 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/9691/task/9698/stat : 9698 (java) S 9688 9691 5267 0 -1 4202560 24 0 0 0 4 2 0 0 20 0 19 0 3067088 10060525568 88337 33554432000 1073741824 1073778376 140734518415680 139980704090280 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9691/tid=9699] ppid=9688 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/9691/task/9699/stat : 9699 (java) S 9688 9691 5267 0 -1 4202560 38 0 0 0 4 2 0 0 20 0 19 0 3067088 10060525568 88337 33554432000 1073741824 1073778376 140734518415680 139980703037736 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9691/tid=9700] ppid=9688 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/9691/task/9700/stat : 9700 (java) S 9688 9691 5267 0 -1 4202560 14 0 0 0 3 0 0 0 20 0 19 0 3067088 10060525568 88337 33554432000 1073741824 1073778376 140734518415680 139980556679592 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9691/tid=9701] ppid=9688 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/9691/task/9701/stat : 9701 (java) S 9688 9691 5267 0 -1 4202560 21 0 0 0 3 2 0 0 20 0 19 0 3067088 10060525568 88337 33554432000 1073741824 1073778376 140734518415680 139980555627048 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9691/tid=9702] ppid=9688 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9691/task/9702/stat : 9702 (java) S 9688 9691 5267 0 -1 4202560 201 0 0 0 0 0 0 0 20 0 19 0 3067089 10060525568 88337 33554432000 1073741824 1073778376 140734518415680 139980543429224 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9691/tid=9703] ppid=9688 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9691/task/9703/stat : 9703 (java) S 9688 9691 5267 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3067089 10060525568 88337 33554432000 1073741824 1073778376 140734518415680 139980542375544 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9691/tid=9704] ppid=9688 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9691/task/9704/stat : 9704 (java) S 9688 9691 5267 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3067089 10060525568 88337 33554432000 1073741824 1073778376 140734518415680 139980541322888 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9691/tid=9705] ppid=9688 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9691/task/9705/stat : 9705 (java) S 9688 9691 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3067092 10060525568 88337 33554432000 1073741824 1073778376 140734518415680 139980540271632 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9691/tid=9706] ppid=9688 vsize=9824732 CPUtime=1.11 cores=1,3,5,7
/proc/9691/task/9706/stat : 9706 (java) S 9688 9691 5267 0 -1 4202560 10712 0 0 0 109 2 0 0 20 0 19 0 3067092 10060525568 88337 33554432000 1073741824 1073778376 140734518415680 139980539217976 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9691/tid=9707] ppid=9688 vsize=9824732 CPUtime=1.18 cores=1,3,5,7
/proc/9691/task/9707/stat : 9707 (java) S 9688 9691 5267 0 -1 4202560 8854 0 0 0 116 2 0 0 20 0 19 0 3067092 10060525568 88337 33554432000 1073741824 1073778376 140734518415680 139980538165432 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9691/tid=9708] ppid=9688 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9691/task/9708/stat : 9708 (java) S 9688 9691 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3067092 10060525568 88337 33554432000 1073741824 1073778376 140734518415680 139980537113080 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9691/tid=9709] ppid=9688 vsize=9824732 CPUtime=0 cores=1,3,5,7

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


[startup+882.308 s]
/proc/loadavg: 4.20 3.96 3.77 6/220 9771
/proc/meminfo: memFree=23039596/32872528 swapFree=1459092/1655316
[pid=9691] ppid=9688 vsize=9824732 CPUtime=1765.67 cores=1,3,5,7
/proc/9691/stat : 9691 (java) S 9688 9691 5267 0 -1 4202496 33345 0 1 0 176331 236 0 0 20 0 22 0 3067086 10060525568 1005967 33554432000 1073741824 1073778376 140734518415680 140734518406816 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9691/statm: 2456183 1005967 2301 9 0 2446860 0
[pid=9691/tid=9693] ppid=9688 vsize=9824732 CPUtime=0.37 cores=1,3,5,7
/proc/9691/task/9693/stat : 9693 (java) S 9688 9691 5267 0 -1 4202560 2432 0 1 0 33 4 0 0 20 0 22 0 3067087 10060525568 1005967 33554432000 1073741824 1073778376 140734518415680 139980719240056 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9691/tid=9694] ppid=9688 vsize=9824732 CPUtime=2.62 cores=1,3,5,7
/proc/9691/task/9694/stat : 9694 (java) S 9688 9691 5267 0 -1 4202560 669 0 0 0 245 17 0 0 20 0 22 0 3067088 10060525568 1005967 33554432000 1073741824 1073778376 140734518415680 139980708301480 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9691/tid=9695] ppid=9688 vsize=9824732 CPUtime=2.53 cores=1,3,5,7
/proc/9691/task/9695/stat : 9695 (java) S 9688 9691 5267 0 -1 4202560 446 0 0 0 238 15 0 0 20 0 22 0 3067088 10060525568 1005967 33554432000 1073741824 1073778376 140734518415680 139980707248936 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9691/tid=9696] ppid=9688 vsize=9824732 CPUtime=3.19 cores=1,3,5,7
/proc/9691/task/9696/stat : 9696 (java) S 9688 9691 5267 0 -1 4202560 657 0 0 0 299 20 0 0 20 0 22 0 3067088 10060525568 1005967 33554432000 1073741824 1073778376 140734518415680 139980706196392 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9691/tid=9697] ppid=9688 vsize=9824732 CPUtime=3.07 cores=1,3,5,7
/proc/9691/task/9697/stat : 9697 (java) S 9688 9691 5267 0 -1 4202560 534 0 0 0 288 19 0 0 20 0 22 0 3067088 10060525568 1005967 33554432000 1073741824 1073778376 140734518415680 139980705143848 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9691/tid=9698] ppid=9688 vsize=9824732 CPUtime=2.8 cores=1,3,5,7
/proc/9691/task/9698/stat : 9698 (java) S 9688 9691 5267 0 -1 4202560 469 0 0 0 261 19 0 0 20 0 22 0 3067088 10060525568 1005967 33554432000 1073741824 1073778376 140734518415680 139980704090280 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9691/tid=9699] ppid=9688 vsize=9824732 CPUtime=2.96 cores=1,3,5,7
/proc/9691/task/9699/stat : 9699 (java) S 9688 9691 5267 0 -1 4202560 612 0 0 0 276 20 0 0 20 0 22 0 3067088 10060525568 1005967 33554432000 1073741824 1073778376 140734518415680 139980703037736 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9691/tid=9700] ppid=9688 vsize=9824732 CPUtime=2.78 cores=1,3,5,7
/proc/9691/task/9700/stat : 9700 (java) S 9688 9691 5267 0 -1 4202560 587 0 0 0 260 18 0 0 20 0 22 0 3067088 10060525568 1005967 33554432000 1073741824 1073778376 140734518415680 139980556679592 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9691/tid=9701] ppid=9688 vsize=9824732 CPUtime=2.99 cores=1,3,5,7
/proc/9691/task/9701/stat : 9701 (java) S 9688 9691 5267 0 -1 4202560 743 0 0 0 282 17 0 0 20 0 22 0 3067088 10060525568 1005967 33554432000 1073741824 1073778376 140734518415680 139980555627048 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9691/tid=9702] ppid=9688 vsize=9824732 CPUtime=7.49 cores=1,3,5,7
/proc/9691/task/9702/stat : 9702 (java) S 9688 9691 5267 0 -1 4202560 3399 0 0 0 741 8 0 0 20 0 22 0 3067089 10060525568 1005967 33554432000 1073741824 1073778376 140734518415680 139980543429224 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9691/tid=9703] ppid=9688 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9691/task/9703/stat : 9703 (java) S 9688 9691 5267 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 3067089 10060525568 1005967 33554432000 1073741824 1073778376 140734518415680 139980542375544 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9691/tid=9704] ppid=9688 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9691/task/9704/stat : 9704 (java) S 9688 9691 5267 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 3067089 10060525568 1005967 33554432000 1073741824 1073778376 140734518415680 139980541322888 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9691/tid=9705] ppid=9688 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9691/task/9705/stat : 9705 (java) S 9688 9691 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3067092 10060525568 1005967 33554432000 1073741824 1073778376 140734518415680 139980540271632 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9691/tid=9706] ppid=9688 vsize=9824732 CPUtime=1.41 cores=1,3,5,7
/proc/9691/task/9706/stat : 9706 (java) S 9688 9691 5267 0 -1 4202560 10725 0 0 0 139 2 0 0 20 0 22 0 3067092 10060525568 1005967 33554432000 1073741824 1073778376 140734518415680 139980539217976 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9691/tid=9707] ppid=9688 vsize=9824732 CPUtime=1.33 cores=1,3,5,7
/proc/9691/task/9707/stat : 9707 (java) S 9688 9691 5267 0 -1 4202560 8861 0 0 0 131 2 0 0 20 0 22 0 3067092 10060525568 1005967 33554432000 1073741824 1073778376 140734518415680 139980538165432 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9691/tid=9708] ppid=9688 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9691/task/9708/stat : 9708 (java) S 9688 9691 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3067092 10060525568 1005967 33554432000 1073741824 1073778376 140734518415680 139980537113080 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9691/tid=9709] ppid=9688 vsize=9824732 CPUtime=0.39 cores=1,3,5,7
/proc/9691/task/9709/stat : 9709 (java) S 9688 9691 5267 0 -1 4202560 51 0 0 0 20 19 0 0 20 0 22 0 3067092 10060525568 1005967 33554432000 1073741824 1073778376 140734518415680 139980536060744 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9691/tid=9753] ppid=9688 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9691/task/9753/stat : 9753 (java) S 9688 9691 5267 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 3108155 10060525568 1005967 33554432000 1073741824 1073778376 140734518415680 139980532901288 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9691/tid=9755] ppid=9688 vsize=9824732 CPUtime=449.97 cores=1,3,5,7
/proc/9691/task/9755/stat : 9755 (java) R 9688 9691 5267 0 -1 4202560 19 0 0 0 44991 6 0 0 20 0 22 0 3109455 10060525568 1005967 33554432000 1073741824 1073778376 140734518415680 139980533951696 139980584890805 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=9691/tid=9756] ppid=9688 vsize=9824732 CPUtime=449.88 cores=1,3,5,7
/proc/9691/task/9756/stat : 9756 (java) R 9688 9691 5267 0 -1 4202560 30 0 0 0 44980 8 0 0 20 0 22 0 3109455 10060525568 1005967 33554432000 1073741824 1073778376 140734518415680 139980535005200 139980585009686 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=9691/tid=9757] ppid=9688 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9691/task/9757/stat : 9757 (java) S 9688 9691 5267 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 3109455 10060525568 1005967 33554432000 1073741824 1073778376 140734518415680 139980531847976 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1765.67
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+899.501 s]
/proc/loadavg: 4.16 3.96 3.77 7/220 9772
/proc/meminfo: memFree=23039596/32872528 swapFree=1459092/1655316
[pid=9691] ppid=9688 vsize=9824732 CPUtime=1800.15 cores=1,3,5,7
/proc/9691/stat : 9691 (java) S 9688 9691 5267 0 -1 4202496 33346 0 1 0 179778 237 0 0 20 0 22 0 3067086 10060525568 1005964 33554432000 1073741824 1073778376 140734518415680 140734518406816 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9691/statm: 2456183 1005964 2301 9 0 2446860 0
[pid=9691/tid=9693] ppid=9688 vsize=9824732 CPUtime=0.37 cores=1,3,5,7
/proc/9691/task/9693/stat : 9693 (java) S 9688 9691 5267 0 -1 4202560 2433 0 1 0 33 4 0 0 20 0 22 0 3067087 10060525568 1005964 33554432000 1073741824 1073778376 140734518415680 139980719240056 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9691/tid=9694] ppid=9688 vsize=9824732 CPUtime=2.65 cores=1,3,5,7
/proc/9691/task/9694/stat : 9694 (java) S 9688 9691 5267 0 -1 4202560 669 0 0 0 248 17 0 0 20 0 22 0 3067088 10060525568 1005964 33554432000 1073741824 1073778376 140734518415680 139980708301480 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9691/tid=9695] ppid=9688 vsize=9824732 CPUtime=2.54 cores=1,3,5,7
/proc/9691/task/9695/stat : 9695 (java) S 9688 9691 5267 0 -1 4202560 446 0 0 0 239 15 0 0 20 0 22 0 3067088 10060525568 1005964 33554432000 1073741824 1073778376 140734518415680 139980707248936 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9691/tid=9696] ppid=9688 vsize=9824732 CPUtime=3.21 cores=1,3,5,7
/proc/9691/task/9696/stat : 9696 (java) S 9688 9691 5267 0 -1 4202560 657 0 0 0 301 20 0 0 20 0 22 0 3067088 10060525568 1005964 33554432000 1073741824 1073778376 140734518415680 139980706196392 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9691/tid=9697] ppid=9688 vsize=9824732 CPUtime=3.09 cores=1,3,5,7
/proc/9691/task/9697/stat : 9697 (java) S 9688 9691 5267 0 -1 4202560 534 0 0 0 290 19 0 0 20 0 22 0 3067088 10060525568 1005964 33554432000 1073741824 1073778376 140734518415680 139980705143848 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9691/tid=9698] ppid=9688 vsize=9824732 CPUtime=2.81 cores=1,3,5,7
/proc/9691/task/9698/stat : 9698 (java) S 9688 9691 5267 0 -1 4202560 469 0 0 0 262 19 0 0 20 0 22 0 3067088 10060525568 1005964 33554432000 1073741824 1073778376 140734518415680 139980704090280 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9691/tid=9699] ppid=9688 vsize=9824732 CPUtime=2.98 cores=1,3,5,7
/proc/9691/task/9699/stat : 9699 (java) S 9688 9691 5267 0 -1 4202560 612 0 0 0 278 20 0 0 20 0 22 0 3067088 10060525568 1005964 33554432000 1073741824 1073778376 140734518415680 139980703037736 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9691/tid=9700] ppid=9688 vsize=9824732 CPUtime=2.83 cores=1,3,5,7
/proc/9691/task/9700/stat : 9700 (java) S 9688 9691 5267 0 -1 4202560 587 0 0 0 265 18 0 0 20 0 22 0 3067088 10060525568 1005964 33554432000 1073741824 1073778376 140734518415680 139980556679592 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9691/tid=9701] ppid=9688 vsize=9824732 CPUtime=3.03 cores=1,3,5,7
/proc/9691/task/9701/stat : 9701 (java) S 9688 9691 5267 0 -1 4202560 743 0 0 0 286 17 0 0 20 0 22 0 3067088 10060525568 1005964 33554432000 1073741824 1073778376 140734518415680 139980555627048 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9691/tid=9702] ppid=9688 vsize=9824732 CPUtime=7.5 cores=1,3,5,7
/proc/9691/task/9702/stat : 9702 (java) S 9688 9691 5267 0 -1 4202560 3399 0 0 0 742 8 0 0 20 0 22 0 3067089 10060525568 1005964 33554432000 1073741824 1073778376 140734518415680 139980543429224 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9691/tid=9703] ppid=9688 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9691/task/9703/stat : 9703 (java) S 9688 9691 5267 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 3067089 10060525568 1005964 33554432000 1073741824 1073778376 140734518415680 139980542375544 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9691/tid=9704] ppid=9688 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9691/task/9704/stat : 9704 (java) S 9688 9691 5267 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 3067089 10060525568 1005964 33554432000 1073741824 1073778376 140734518415680 139980541322888 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9691/tid=9705] ppid=9688 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9691/task/9705/stat : 9705 (java) S 9688 9691 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3067092 10060525568 1005964 33554432000 1073741824 1073778376 140734518415680 139980540271632 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9691/tid=9706] ppid=9688 vsize=9824732 CPUtime=1.41 cores=1,3,5,7
/proc/9691/task/9706/stat : 9706 (java) S 9688 9691 5267 0 -1 4202560 10725 0 0 0 139 2 0 0 20 0 22 0 3067092 10060525568 1005964 33554432000 1073741824 1073778376 140734518415680 139980539217976 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9691/tid=9707] ppid=9688 vsize=9824732 CPUtime=1.33 cores=1,3,5,7
/proc/9691/task/9707/stat : 9707 (java) S 9688 9691 5267 0 -1 4202560 8861 0 0 0 131 2 0 0 20 0 22 0 3067092 10060525568 1005964 33554432000 1073741824 1073778376 140734518415680 139980538165432 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9691/tid=9708] ppid=9688 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9691/task/9708/stat : 9708 (java) S 9688 9691 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3067092 10060525568 1005964 33554432000 1073741824 1073778376 140734518415680 139980537113080 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9691/tid=9709] ppid=9688 vsize=9824732 CPUtime=0.4 cores=1,3,5,7
/proc/9691/task/9709/stat : 9709 (java) S 9688 9691 5267 0 -1 4202560 51 0 0 0 20 20 0 0 20 0 22 0 3067092 10060525568 1005964 33554432000 1073741824 1073778376 140734518415680 139980536060744 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9691/tid=9753] ppid=9688 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9691/task/9753/stat : 9753 (java) S 9688 9691 5267 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 3108155 10060525568 1005964 33554432000 1073741824 1073778376 140734518415680 139980532901288 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9691/tid=9755] ppid=9688 vsize=9824732 CPUtime=467.1 cores=1,3,5,7
/proc/9691/task/9755/stat : 9755 (java) R 9688 9691 5267 0 -1 4202560 19 0 0 0 46703 7 0 0 20 0 22 0 3109455 10060525568 1005964 33554432000 1073741824 1073778376 140734518415680 139980533952496 139980584744459 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=9691/tid=9756] ppid=9688 vsize=9824732 CPUtime=467.01 cores=1,3,5,7
/proc/9691/task/9756/stat : 9756 (java) R 9688 9691 5267 0 -1 4202560 30 0 0 0 46692 9 0 0 20 0 22 0 3109455 10060525568 1005964 33554432000 1073741824 1073778376 140734518415680 139980535004616 139980584871411 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=9691/tid=9757] ppid=9688 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9691/task/9757/stat : 9757 (java) S 9688 9691 5267 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 3109455 10060525568 1005964 33554432000 1073741824 1073778376 140734518415680 139980531847976 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 9824732

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 9691 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+899.501 s]
/proc/loadavg: 4.16 3.96 3.77 7/220 9772
/proc/meminfo: memFree=23039596/32872528 swapFree=1459092/1655316
[pid=9691] ppid=9688 vsize=9824732 CPUtime=1800.15 cores=1,3,5,7
/proc/9691/stat : 9691 (java) S 9688 9691 5267 0 -1 4202496 33346 0 1 0 179778 237 0 0 20 0 22 0 3067086 10060525568 1005964 33554432000 1073741824 1073778376 140734518415680 140734518406816 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9691/statm: 2456183 1005964 2301 9 0 2446860 0
[pid=9691/tid=9693] ppid=9688 vsize=9824732 CPUtime=0.37 cores=1,3,5,7
/proc/9691/task/9693/stat : 9693 (java) S 9688 9691 5267 0 -1 4202560 2433 0 1 0 33 4 0 0 20 0 22 0 3067087 10060525568 1005964 33554432000 1073741824 1073778376 140734518415680 139980719240056 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9691/tid=9694] ppid=9688 vsize=9824732 CPUtime=2.65 cores=1,3,5,7
/proc/9691/task/9694/stat : 9694 (java) S 9688 9691 5267 0 -1 4202560 669 0 0 0 248 17 0 0 20 0 22 0 3067088 10060525568 1005964 33554432000 1073741824 1073778376 140734518415680 139980708301480 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9691/tid=9695] ppid=9688 vsize=9824732 CPUtime=2.54 cores=1,3,5,7
/proc/9691/task/9695/stat : 9695 (java) S 9688 9691 5267 0 -1 4202560 446 0 0 0 239 15 0 0 20 0 22 0 3067088 10060525568 1005964 33554432000 1073741824 1073778376 140734518415680 139980707248936 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9691/tid=9696] ppid=9688 vsize=9824732 CPUtime=3.21 cores=1,3,5,7
/proc/9691/task/9696/stat : 9696 (java) S 9688 9691 5267 0 -1 4202560 657 0 0 0 301 20 0 0 20 0 22 0 3067088 10060525568 1005964 33554432000 1073741824 1073778376 140734518415680 139980706196392 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9691/tid=9697] ppid=9688 vsize=9824732 CPUtime=3.09 cores=1,3,5,7
/proc/9691/task/9697/stat : 9697 (java) S 9688 9691 5267 0 -1 4202560 534 0 0 0 290 19 0 0 20 0 22 0 3067088 10060525568 1005964 33554432000 1073741824 1073778376 140734518415680 139980705143848 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9691/tid=9698] ppid=9688 vsize=9824732 CPUtime=2.81 cores=1,3,5,7
/proc/9691/task/9698/stat : 9698 (java) S 9688 9691 5267 0 -1 4202560 469 0 0 0 262 19 0 0 20 0 22 0 3067088 10060525568 1005964 33554432000 1073741824 1073778376 140734518415680 139980704090280 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9691/tid=9699] ppid=9688 vsize=9824732 CPUtime=2.98 cores=1,3,5,7
/proc/9691/task/9699/stat : 9699 (java) S 9688 9691 5267 0 -1 4202560 612 0 0 0 278 20 0 0 20 0 22 0 3067088 10060525568 1005964 33554432000 1073741824 1073778376 140734518415680 139980703037736 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9691/tid=9700] ppid=9688 vsize=9824732 CPUtime=2.83 cores=1,3,5,7
/proc/9691/task/9700/stat : 9700 (java) S 9688 9691 5267 0 -1 4202560 587 0 0 0 265 18 0 0 20 0 22 0 3067088 10060525568 1005964 33554432000 1073741824 1073778376 140734518415680 139980556679592 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9691/tid=9701] ppid=9688 vsize=9824732 CPUtime=3.03 cores=1,3,5,7
/proc/9691/task/9701/stat : 9701 (java) S 9688 9691 5267 0 -1 4202560 743 0 0 0 286 17 0 0 20 0 22 0 3067088 10060525568 1005964 33554432000 1073741824 1073778376 140734518415680 139980555627048 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9691/tid=9702] ppid=9688 vsize=9824732 CPUtime=7.5 cores=1,3,5,7
/proc/9691/task/9702/stat : 9702 (java) S 9688 9691 5267 0 -1 4202560 3399 0 0 0 742 8 0 0 20 0 22 0 3067089 10060525568 1005964 33554432000 1073741824 1073778376 140734518415680 139980543429224 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9691/tid=9703] ppid=9688 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9691/task/9703/stat : 9703 (java) S 9688 9691 5267 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 3067089 10060525568 1005964 33554432000 1073741824 1073778376 140734518415680 139980542375544 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9691/tid=9704] ppid=9688 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9691/task/9704/stat : 9704 (java) S 9688 9691 5267 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 3067089 10060525568 1005964 33554432000 1073741824 1073778376 140734518415680 139980541322888 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9691/tid=9705] ppid=9688 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9691/task/9705/stat : 9705 (java) S 9688 9691 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3067092 10060525568 1005964 33554432000 1073741824 1073778376 140734518415680 139980540271632 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9691/tid=9706] ppid=9688 vsize=9824732 CPUtime=1.41 cores=1,3,5,7
/proc/9691/task/9706/stat : 9706 (java) S 9688 9691 5267 0 -1 4202560 10725 0 0 0 139 2 0 0 20 0 22 0 3067092 10060525568 1005964 33554432000 1073741824 1073778376 140734518415680 139980539217976 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9691/tid=9707] ppid=9688 vsize=9824732 CPUtime=1.33 cores=1,3,5,7
/proc/9691/task/9707/stat : 9707 (java) S 9688 9691 5267 0 -1 4202560 8861 0 0 0 131 2 0 0 20 0 22 0 3067092 10060525568 1005964 33554432000 1073741824 1073778376 140734518415680 139980538165432 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9691/tid=9708] ppid=9688 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9691/task/9708/stat : 9708 (java) S 9688 9691 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3067092 10060525568 1005964 33554432000 1073741824 1073778376 140734518415680 139980537113080 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9691/tid=9709] ppid=9688 vsize=9824732 CPUtime=0.4 cores=1,3,5,7
/proc/9691/task/9709/stat : 9709 (java) S 9688 9691 5267 0 -1 4202560 51 0 0 0 20 20 0 0 20 0 22 0 3067092 10060525568 1005964 33554432000 1073741824 1073778376 140734518415680 139980536060744 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9691/tid=9753] ppid=9688 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9691/task/9753/stat : 9753 (java) S 9688 9691 5267 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 3108155 10060525568 1005964 33554432000 1073741824 1073778376 140734518415680 139980532901288 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9691/tid=9755] ppid=9688 vsize=9824732 CPUtime=467.1 cores=1,3,5,7
/proc/9691/task/9755/stat : 9755 (java) R 9688 9691 5267 0 -1 4202560 19 0 0 0 46703 7 0 0 20 0 22 0 3109455 10060525568 1005964 33554432000 1073741824 1073778376 140734518415680 139980533952496 139980584744459 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=9691/tid=9756] ppid=9688 vsize=9824732 CPUtime=467.01 cores=1,3,5,7
/proc/9691/task/9756/stat : 9756 (java) R 9688 9691 5267 0 -1 4202560 30 0 0 0 46692 9 0 0 20 0 22 0 3109455 10060525568 1005964 33554432000 1073741824 1073778376 140734518415680 139980535004616 139980584871411 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=9691/tid=9757] ppid=9688 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/9691/task/9757/stat : 9757 (java) S 9688 9691 5267 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 3109455 10060525568 1005964 33554432000 1073741824 1073778376 140734518415680 139980531847976 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 9824732

Child status: 143
Real time (s): 899.563
CPU time (s): 1800.66
CPU user time (s): 1797.88
CPU system time (s): 2.78058
CPU usage (%): 200.171
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.88
system time used= 2.78058
maximum resident set size= 4023968
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33382
page faults= 1
swaps= 0
block input operations= 0
block output operations= 968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23784
involuntary context switches= 25322

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.45417 second user time and 7.96279 second system time

The end

Launcher Data 

Begin job on node136 at 2016-06-29 19:25:59
IDJOB=4118107
IDBENCH=111452
IDSOLVER=2543
FILE ID=node136/4118107-1467221159
RUNJOBID= node136-1467208983-5284
PBS_JOBID= 19997574
Free space on /tmp= 71644 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB15eval/normalized-PB15eval/OPT-BIGINT-NLC/minlplib2-pb-0.1.0/opb/normalized-cardqp_inlp.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4118107-1467221159/watcher-4118107-1467221159 -o /tmp/evaluation-result-4118107-1467221159/solver-4118107-1467221159 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1467208983-5284 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4118107-1467221159.opb

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

MD5SUM BENCH= c82e474a4b046a910d07c1f80037da59
RANDOM SEED=1577567505

node136.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.182
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.36
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.182
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.182
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.182
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.182
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.182
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.182
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.182
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        27239628 kB
Buffers:          146160 kB
Cached:          1751292 kB
SwapCached:            0 kB
Active:          1555824 kB
Inactive:        1677084 kB
Active(anon):    1338288 kB
Inactive(anon):        0 kB
Active(file):     217536 kB
Inactive(file):  1677084 kB
Unevictable:     1655316 kB
Mlocked:         1459092 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               748 kB
Writeback:             0 kB
AnonPages:       2991084 kB
Mapped:            22284 kB
Shmem:               204 kB
Slab:             609868 kB
SReclaimable:      53772 kB
SUnreclaim:       556096 kB
KernelStack:        1624 kB
PageTables:        10416 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3681476 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1443840 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= 71644 MiB
End job on node136 at 2016-06-29 19:40:59