Trace number 4110505

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 PB16MSAT (TO) 1800.33 900.74

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/warehouse/
normalized-cap83_wcsp.wbo
MD5SUM731e2b3d085e2d31d63a0bd0dc294faf
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark13818626
Best CPU time to get the best result obtained on this benchmark1800.07
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables1300
Total number of constraints2598
Number of soft constraints2523
Number of constraints which are clauses2523
Number of constraints which are cardinality constraints (but not clauses)75
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint25
Top cost 61786724
Min constraint cost 1
Max constraint cost 61786724
Sum of constraints costs 77838680126
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 26
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

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.08	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	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-4110505-1466347530.wbo
0.10/0.11	c reading problem ... 
0.50/0.30	c ... done. Wall clock time 0.187s.
0.50/0.30	c declared #vars     1300
0.50/0.30	c internal #vars     3823
0.50/0.30	c #constraints  2673
0.50/0.30	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.50/0.30	c constraints type 
0.50/0.30	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1300
0.50/0.30	c org.sat4j.minisat.constraints.card.MinWatchCard => 50
0.50/0.30	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1323
0.50/0.30	c 2673 constraints processed.
0.50/0.30	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.50/0.30	c constraints type 
0.50/0.30	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1323
0.50/0.30	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1300
0.50/0.30	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 50
0.50/0.30	c 2673 constraints processed.
0.50/0.30	c objective function length is 2523 literals
0.50/0.36	c And the winner is solver0
0.76/0.80	c SATISFIABLE
0.76/0.80	c OPTIMIZING...
0.76/0.80	c Got one! Elapsed wall clock time (in seconds):0.695
0.76/0.80	o 8943592
4.09/2.03	c cleaning 2495 clauses out of 5000 with flag 12012/5000
6.39/3.18	c cleaning 4248 clauses out of 8505 with flag 26612/11000
9.46/4.59	c cleaning 5620 clauses out of 11260 with flag 42735/18003
12.55/6.04	c cleaning 6818 clauses out of 13638 with flag 63088/26001
15.57/7.58	c cleaning 7907 clauses out of 15819 with flag 95351/35000
19.17/9.40	c cleaning 8952 clauses out of 17912 with flag 129910/45000
23.04/11.28	c cleaning 9980 clauses out of 19960 with flag 164615/56000
27.26/13.37	c cleaning 10982 clauses out of 21980 with flag 206232/68000
32.24/15.80	c cleaning 11968 clauses out of 23999 with flag 255525/81001
37.29/18.30	c cleaning 13000 clauses out of 26030 with flag 293285/95000
43.29/21.34	c cleaning 14003 clauses out of 28030 with flag 338858/110000
49.57/24.48	c cleaning 15010 clauses out of 30027 with flag 390486/126000
56.37/27.84	c cleaning 16003 clauses out of 32017 with flag 450635/143000
63.63/31.40	c cleaning 17008 clauses out of 34015 with flag 514038/161001
71.24/35.21	c cleaning 18004 clauses out of 36008 with flag 579673/180002
79.31/39.27	c cleaning 18999 clauses out of 38002 with flag 657320/200000
87.72/43.46	c cleaning 19998 clauses out of 40003 with flag 730257/221000
96.75/47.90	c cleaning 20996 clauses out of 42006 with flag 813965/243001
105.79/52.41	c cleaning 22001 clauses out of 44009 with flag 896956/266000
116.04/57.59	c cleaning 23004 clauses out of 46009 with flag 985330/290001
126.84/62.98	c cleaning 23997 clauses out of 48006 with flag 1085045/315002
138.49/68.70	c cleaning 24996 clauses out of 50009 with flag 1196852/341002
149.94/74.49	c cleaning 25985 clauses out of 52011 with flag 1333705/368000
162.20/80.53	c cleaning 27011 clauses out of 54027 with flag 1450501/396001
174.80/86.83	c cleaning 27994 clauses out of 56015 with flag 1570043/425000
187.45/93.18	c cleaning 28999 clauses out of 58021 with flag 1693201/455000
197.29/98.05	c And the winner is solver1
197.29/98.38	c Got one! Elapsed wall clock time (in seconds):98.267
197.29/98.38	o 8913785
199.95/99.74	c cleaning 28643 clauses out of 57316 with flag 16358/483294
202.35/100.96	c cleaning 17318 clauses out of 34673 with flag 36404/489294
204.95/102.28	c cleaning 12137 clauses out of 24355 with flag 59314/496294
208.16/103.81	c cleaning 10060 clauses out of 20218 with flag 87940/504294
211.56/105.54	c cleaning 9562 clauses out of 19159 with flag 120344/513295
215.36/107.41	c cleaning 9793 clauses out of 19596 with flag 154573/523294
219.37/109.49	c cleaning 10402 clauses out of 20803 with flag 193854/534294
223.97/111.76	c cleaning 11200 clauses out of 22402 with flag 235752/546295
229.17/114.32	c cleaning 12101 clauses out of 24202 with flag 283716/559295
234.80/117.20	c cleaning 13052 clauses out of 26103 with flag 341816/573297
240.79/120.19	c cleaning 14025 clauses out of 28049 with flag 407175/588295
247.40/123.44	c cleaning 15006 clauses out of 30023 with flag 475897/604294
254.83/127.13	c cleaning 16011 clauses out of 32022 with flag 543698/621299
262.83/131.13	c cleaning 16997 clauses out of 34006 with flag 619620/639294
271.64/135.52	c cleaning 18005 clauses out of 36009 with flag 699031/658294
280.28/139.86	c cleaning 18988 clauses out of 38004 with flag 783458/678294
289.88/144.62	c cleaning 20008 clauses out of 40016 with flag 874786/699294
292.08/145.74	c And the winner is solver1
292.08/145.90	c Got one! Elapsed wall clock time (in seconds):145.795
292.08/145.90	o 8909206
293.89/146.90	c cleaning 15034 clauses out of 30101 with flag 16335/709387
296.29/148.00	c cleaning 10525 clauses out of 21067 with flag 35301/715387
298.90/149.33	c cleaning 8741 clauses out of 17542 with flag 58692/722387
302.10/150.93	c cleaning 8391 clauses out of 16801 with flag 91950/730387
305.49/152.64	c cleaning 8696 clauses out of 17410 with flag 122733/739387
309.50/154.60	c cleaning 9353 clauses out of 18717 with flag 157054/749390
313.70/156.72	c cleaning 10178 clauses out of 20363 with flag 196425/760389
318.29/159.06	c cleaning 11079 clauses out of 22183 with flag 239661/772387
323.30/161.57	c cleaning 12049 clauses out of 24104 with flag 287053/785387
328.91/164.33	c cleaning 13026 clauses out of 26055 with flag 337223/799387
335.51/167.66	c cleaning 14016 clauses out of 28031 with flag 395400/814389
342.75/171.24	c cleaning 15002 clauses out of 30016 with flag 462096/830390
350.57/175.14	c cleaning 16006 clauses out of 32011 with flag 532672/847387
359.20/179.46	c cleaning 16999 clauses out of 34005 with flag 605552/865387
362.98/181.31	c And the winner is solver1
362.98/181.42	c Got one! Elapsed wall clock time (in seconds):181.311
362.98/181.42	o 8906701
365.20/182.55	c cleaning 14862 clauses out of 29757 with flag 15790/878138
367.62/183.74	c cleaning 10437 clauses out of 20897 with flag 36099/884140
370.41/185.15	c cleaning 8706 clauses out of 17458 with flag 60273/891138
373.61/186.76	c cleaning 8343 clauses out of 16752 with flag 88379/899138
377.42/188.61	c cleaning 8701 clauses out of 17412 with flag 124053/908141
381.43/190.61	c cleaning 9344 clauses out of 18708 with flag 167586/918138
385.84/192.83	c cleaning 10183 clauses out of 20365 with flag 212058/929139
390.64/195.26	c cleaning 11089 clauses out of 22183 with flag 259847/941140
396.06/197.95	c cleaning 12040 clauses out of 24092 with flag 316359/954138
401.86/200.85	c cleaning 13016 clauses out of 26052 with flag 378420/968138
408.07/203.92	c cleaning 14018 clauses out of 28036 with flag 440405/983138
415.08/207.44	c cleaning 15010 clauses out of 30020 with flag 502945/999140
423.11/211.42	c cleaning 16000 clauses out of 32008 with flag 568215/1016138
430.92/215.33	c cleaning 17004 clauses out of 34008 with flag 633802/1034138
439.33/219.60	c cleaning 18002 clauses out of 36004 with flag 704542/1053138
448.75/224.21	c cleaning 19000 clauses out of 38004 with flag 782267/1073140
458.97/229.36	c cleaning 19993 clauses out of 40002 with flag 869217/1094138
469.78/234.78	c cleaning 21002 clauses out of 42009 with flag 956221/1116138
481.01/240.33	c cleaning 22003 clauses out of 44009 with flag 1044201/1139140
492.00/245.85	c cleaning 23001 clauses out of 46004 with flag 1134223/1163138
503.02/251.32	c cleaning 24000 clauses out of 48004 with flag 1233310/1188139
514.24/257.00	c cleaning 25002 clauses out of 50003 with flag 1332875/1214138
526.48/263.04	c cleaning 26001 clauses out of 52001 with flag 1438134/1241138
539.27/269.49	c cleaning 27002 clauses out of 54003 with flag 1550573/1269141
552.10/275.89	c cleaning 27984 clauses out of 55998 with flag 1665419/1298138
565.53/282.56	c cleaning 29002 clauses out of 58017 with flag 1786181/1328141
579.74/289.62	c cleaning 29991 clauses out of 60012 with flag 1915839/1359138
594.16/296.87	c cleaning 31003 clauses out of 62021 with flag 2047123/1391138
610.22/304.81	c cleaning 32001 clauses out of 64018 with flag 2182106/1424138
628.42/313.96	c cleaning 33002 clauses out of 66017 with flag 2319100/1458138
646.24/322.80	c cleaning 33994 clauses out of 68015 with flag 2465254/1493138
652.26/325.84	c And the winner is solver1
652.26/325.95	c Got one! Elapsed wall clock time (in seconds):325.843
652.26/325.95	o 8905335
654.41/327.00	c cleaning 26800 clauses out of 53619 with flag 16130/1512736
656.62/328.14	c cleaning 16380 clauses out of 32820 with flag 37262/1518737
659.22/329.42	c cleaning 11701 clauses out of 23439 with flag 63179/1525736
662.02/330.90	c cleaning 9862 clauses out of 19740 with flag 93220/1533738
665.61/332.61	c cleaning 9426 clauses out of 18875 with flag 129743/1542735
669.43/334.60	c cleaning 9720 clauses out of 19449 with flag 171199/1552735
673.84/336.78	c cleaning 10350 clauses out of 20729 with flag 218115/1563735
678.84/339.23	c cleaning 11183 clauses out of 22379 with flag 267982/1575735
684.27/341.94	c cleaning 12094 clauses out of 24199 with flag 320105/1588738
690.46/345.07	c cleaning 13038 clauses out of 26102 with flag 377150/1602735
697.06/348.34	c cleaning 14023 clauses out of 28064 with flag 439207/1617735
703.69/351.65	c cleaning 15019 clauses out of 30041 with flag 501496/1633735
710.69/355.19	c cleaning 16003 clauses out of 32022 with flag 568394/1650735
718.71/359.15	c cleaning 17009 clauses out of 34020 with flag 635194/1668736
727.51/363.56	c cleaning 17993 clauses out of 36010 with flag 709777/1687735
736.92/368.27	c cleaning 19002 clauses out of 38017 with flag 791462/1707735
747.15/373.32	c cleaning 20004 clauses out of 40018 with flag 880258/1728738
757.77/378.64	c cleaning 20994 clauses out of 42011 with flag 969037/1750735
768.41/383.99	c cleaning 22005 clauses out of 44017 with flag 1064586/1773735
779.62/389.51	c cleaning 22992 clauses out of 46012 with flag 1163599/1797735
791.24/395.32	c cleaning 24000 clauses out of 48020 with flag 1265863/1822735
804.06/401.72	c cleaning 25010 clauses out of 50022 with flag 1373443/1848737
817.46/408.68	c cleaning 26000 clauses out of 52012 with flag 1485895/1875737
830.47/415.16	c cleaning 26997 clauses out of 54011 with flag 1600949/1903736
845.12/422.42	c cleaning 27989 clauses out of 56015 with flag 1718897/1932737
859.57/429.60	c cleaning 29013 clauses out of 58025 with flag 1844932/1962736
875.23/437.41	c cleaning 29987 clauses out of 60011 with flag 1971991/1993735
891.29/445.46	c cleaning 31010 clauses out of 62025 with flag 2106610/2025736
908.92/454.22	c cleaning 32007 clauses out of 64014 with flag 2237966/2058735
925.56/462.57	c And the winner is solver1
925.56/462.88	c Got one! Elapsed wall clock time (in seconds):462.772
925.56/462.88	o 8902830
927.79/464.01	c cleaning 34912 clauses out of 69837 with flag 16502/2096565
930.01/465.15	c cleaning 20446 clauses out of 40926 with flag 36891/2102566
932.62/466.44	c cleaning 13702 clauses out of 27480 with flag 60824/2109566
935.41/467.89	c cleaning 10859 clauses out of 21775 with flag 90866/2117563
938.82/469.53	c cleaning 9946 clauses out of 19919 with flag 123676/2126566
942.63/471.45	c cleaning 9960 clauses out of 19969 with flag 160335/2136562
946.84/473.55	c cleaning 10499 clauses out of 21009 with flag 202601/2147562
951.44/475.88	c cleaning 11254 clauses out of 22513 with flag 253991/2159565
956.64/478.49	c cleaning 12118 clauses out of 24256 with flag 305298/2172562
962.24/481.23	c cleaning 13060 clauses out of 26141 with flag 363463/2186565
968.24/484.25	c cleaning 14039 clauses out of 28078 with flag 424067/2201562
974.86/487.54	c cleaning 15017 clauses out of 30039 with flag 491342/2217562
981.87/491.00	c cleaning 16007 clauses out of 32023 with flag 562764/2234563
989.70/494.91	c cleaning 17004 clauses out of 34015 with flag 644626/2252562
997.92/499.06	c cleaning 17991 clauses out of 36011 with flag 725560/2271562
1006.94/503.56	c cleaning 18998 clauses out of 38020 with flag 806854/2291562
1016.79/508.40	c cleaning 20011 clauses out of 40023 with flag 900846/2312563
1027.04/513.55	c cleaning 21006 clauses out of 42016 with flag 989469/2334567
1037.10/518.59	c cleaning 22004 clauses out of 44007 with flag 1082216/2357564
1047.73/523.84	c cleaning 22999 clauses out of 46002 with flag 1177930/2381563
1060.36/530.16	c cleaning 23995 clauses out of 48002 with flag 1279328/2406562
1073.56/536.70	c cleaning 24979 clauses out of 50007 with flag 1388346/2432562
1086.57/543.27	c cleaning 26011 clauses out of 52028 with flag 1492353/2459562
1100.39/550.18	c cleaning 26992 clauses out of 54017 with flag 1608410/2487562
1115.74/558.07	c cleaning 28004 clauses out of 56025 with flag 1722929/2516562
1130.82/565.55	c cleaning 29012 clauses out of 58023 with flag 1838690/2546564
1147.26/573.75	c cleaning 30005 clauses out of 60009 with flag 1955414/2577562
1164.08/582.14	c cleaning 31000 clauses out of 62004 with flag 2079364/2609562
1180.72/590.49	c cleaning 31993 clauses out of 64004 with flag 2209072/2642562
1198.76/599.40	c cleaning 32998 clauses out of 66012 with flag 2349143/2676563
1216.99/608.54	c cleaning 33991 clauses out of 68013 with flag 2488522/2711562
1237.03/618.53	c cleaning 35006 clauses out of 70023 with flag 2638858/2747563
1257.29/628.66	c cleaning 35994 clauses out of 72016 with flag 2789693/2784562
1278.20/639.05	c cleaning 37007 clauses out of 74023 with flag 2947855/2822563
1298.47/649.17	c cleaning 38004 clauses out of 76015 with flag 3102913/2861562
1319.15/659.41	c cleaning 39001 clauses out of 78011 with flag 3262214/2901562
1341.04/670.33	c cleaning 39994 clauses out of 80010 with flag 3433212/2942562
1362.35/680.93	c cleaning 41007 clauses out of 82016 with flag 3602896/2984562
1385.67/692.80	c cleaning 42005 clauses out of 84009 with flag 3783401/3027562
1391.69/695.76	c And the winner is solver1
1391.69/696.25	c Got one! Elapsed wall clock time (in seconds):696.142
1391.69/696.25	o 8900756
1393.78/697.38	c cleaning 30216 clauses out of 60458 with flag 16772/3046016
1396.20/698.56	c cleaning 18089 clauses out of 36241 with flag 36853/3052015
1398.79/699.86	c cleaning 12539 clauses out of 25152 with flag 60849/3059015
1402.00/701.43	c cleaning 10286 clauses out of 20612 with flag 89960/3067014
1405.40/703.19	c cleaning 9643 clauses out of 19326 with flag 123500/3076014
1409.81/705.30	c cleaning 9832 clauses out of 19684 with flag 163757/3086015
1414.21/707.53	c cleaning 10426 clauses out of 20852 with flag 214615/3097015
1419.02/709.91	c cleaning 11205 clauses out of 22425 with flag 265137/3109014
1424.44/712.64	c cleaning 12105 clauses out of 24221 with flag 318093/3122015
1430.26/715.54	c cleaning 13057 clauses out of 26117 with flag 376198/3136016
1436.86/718.86	c cleaning 14014 clauses out of 28058 with flag 442005/3151014
1443.48/722.17	c cleaning 15016 clauses out of 30044 with flag 509140/3167014
1450.69/725.74	c cleaning 16014 clauses out of 32029 with flag 579162/3184015
1458.12/729.49	c cleaning 17007 clauses out of 34014 with flag 656356/3202014
1466.53/733.61	c cleaning 17988 clauses out of 36007 with flag 729924/3221014
1475.17/737.92	c cleaning 19011 clauses out of 38022 with flag 809437/3241017
1484.61/742.61	c cleaning 20003 clauses out of 40008 with flag 889412/3262014
1494.41/747.53	c cleaning 20997 clauses out of 42005 with flag 980731/3284014
1505.45/753.08	c cleaning 22001 clauses out of 44008 with flag 1074702/3307014
1516.49/758.55	c cleaning 23001 clauses out of 46008 with flag 1170837/3331015
1527.55/764.08	c cleaning 24004 clauses out of 48008 with flag 1274810/3356016
1539.40/769.99	c cleaning 24997 clauses out of 50002 with flag 1378400/3382014
1552.03/776.28	c cleaning 26000 clauses out of 52006 with flag 1482731/3409015
1565.06/782.72	c cleaning 26998 clauses out of 54006 with flag 1592043/3437015
1578.87/789.65	c cleaning 28003 clauses out of 56007 with flag 1709763/3466014
1593.51/796.96	c cleaning 28980 clauses out of 58004 with flag 1828144/3496014
1607.78/804.08	c cleaning 30010 clauses out of 60026 with flag 1951719/3527016
1624.21/812.21	c cleaning 30995 clauses out of 62014 with flag 2076945/3559014
1640.88/820.59	c cleaning 31991 clauses out of 64019 with flag 2212828/3592014
1658.72/829.43	c cleaning 33008 clauses out of 66028 with flag 2353495/3626014
1677.93/839.08	c cleaning 33998 clauses out of 68020 with flag 2507447/3661014
1697.58/848.83	c cleaning 35006 clauses out of 70022 with flag 2671905/3697014
1717.66/859.13	c cleaning 36005 clauses out of 72018 with flag 2825596/3734016
1721.65/861.13	c And the winner is solver1
1721.66/861.56	c Got one! Elapsed wall clock time (in seconds):861.446
1721.66/861.56	o 8898251
1723.56/862.56	c cleaning 24959 clauses out of 49936 with flag 15450/3747939
1725.95/863.73	c cleaning 15457 clauses out of 30977 with flag 36244/3753939
1728.56/865.03	c cleaning 11249 clauses out of 22520 with flag 60219/3760939
1731.36/866.46	c cleaning 9600 clauses out of 19271 with flag 86489/3768939
1734.77/868.15	c cleaning 9336 clauses out of 18672 with flag 116740/3777940
1738.37/869.97	c cleaning 9659 clauses out of 19336 with flag 151399/3787940
1742.58/872.02	c cleaning 10332 clauses out of 20675 with flag 189976/3798938
1747.20/874.30	c cleaning 11172 clauses out of 22343 with flag 235794/3810938
1752.22/876.87	c cleaning 12081 clauses out of 24172 with flag 284803/3823939
1757.81/879.63	c cleaning 13037 clauses out of 26090 with flag 336658/3837938
1764.04/882.76	c cleaning 14028 clauses out of 28055 with flag 396135/3852940
1770.65/886.08	c cleaning 15006 clauses out of 30025 with flag 461289/3868938
1778.06/889.70	c cleaning 16003 clauses out of 32019 with flag 533287/3885938
1786.68/894.02	c cleaning 16999 clauses out of 34016 with flag 604647/3903938
1794.91/898.13	c cleaning 17985 clauses out of 36019 with flag 685169/3922940
1800.13/900.70	c >>>>>>>>>> Solver number 0 (1 answers) <<<<<<<<<<<<<<<<<<
1800.13/900.70	c starts		: 68765
1800.13/900.70	c conflicts		: 3935161
1800.13/900.70	c decisions		: 25224764
1800.13/900.70	c propagations		: 1709571005
1800.13/900.70	c inspects		: 3996253479
1800.13/900.70	c shortcuts		: 0
1800.13/900.70	c learnt literals	: 0
1800.13/900.70	c learnt binary clauses	: 0
1800.13/900.70	c learnt ternary clauses	: 0
1800.13/900.70	c learnt constraints	: 3935160
1800.13/900.70	c ignored constraints	: 0
1800.13/900.70	c root simplifications	: 0
1800.13/900.70	c removed literals (reason simplification)	: 5843221
1800.13/900.70	c reason swapping (by a shorter reason)	: 0
1800.13/900.70	c Calls to reduceDB	: 204
1800.13/900.70	c Number of update (reduction) of LBD	: 1811386
1800.13/900.70	c Imported unit clauses	: 0
1800.13/900.70	c number of reductions to clauses (during analyze)	: 0
1800.13/900.70	c number of learned constraints concerned by reduction	: 0
1800.13/900.70	c number of learning phase by resolution	: 0
1800.13/900.70	c number of learning phase by cutting planes	: 0
1800.13/900.70	c speed (assignments/second)	: 4.367612807214756E7
1800.13/900.70	c non guided choices	10
1800.13/900.72	c learnt constraints type 
1800.13/900.72	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 30255
1800.13/900.72	c >>>>>>>>>> Solver number 1 (7 answers) <<<<<<<<<<<<<<<<<<
1800.13/900.72	c starts		: 9
1800.13/900.72	c conflicts		: 621
1800.13/900.72	c decisions		: 633667
1800.13/900.72	c propagations		: 1459117
1800.13/900.72	c inspects		: 48521452
1800.13/900.72	c shortcuts		: 0
1800.13/900.72	c learnt literals	: 0
1800.13/900.72	c learnt binary clauses	: 0
1800.13/900.72	c learnt ternary clauses	: 0
1800.13/900.72	c learnt constraints	: 621
1800.13/900.72	c ignored constraints	: 0
1800.13/900.72	c root simplifications	: 0
1800.13/900.72	c removed literals (reason simplification)	: 0
1800.13/900.72	c reason swapping (by a shorter reason)	: 0
1800.13/900.72	c Calls to reduceDB	: 0
1800.13/900.72	c Number of update (reduction) of LBD	: 0
1800.13/900.72	c Imported unit clauses	: 0
1800.13/900.72	c number of reductions to clauses (during analyze)	: 0
1800.13/900.72	c number of learned constraints concerned by reduction	: 0
1800.13/900.72	c number of learning phase by resolution	: 0
1800.13/900.72	c number of learning phase by cutting planes	: 0
1800.13/900.72	c speed (assignments/second)	: 1621.496947296129
1800.13/900.72	c non guided choices	0
1800.13/900.72	c learnt constraints type 
1800.13/900.72	c org.sat4j.pb.constraints.pb.MaxWatchPb => 621
1800.13/900.72	s SATISFIABLE
1800.13/900.72	c Found 8 solution(s)
1800.13/900.72	v x1 -x2 -x3 x4 x5 -x6 -x7 x8 x9 -x10 -x11 x12 -x13 x14 x15 -x16 -x17 x18 x19 -x20 -x21 x22 x23 -x24 -x25 x26 x27 -x28 x29 -x30 x31 -x32 -x33 x34 -x35 x36 x37 -x38 x39 -x40 x41 -x42 x43 -x44 -x45 x46 -x47 x48 -x49 x50 -x51 -x52 -x53 -x54 -x55 -x56 x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 x150 -x151 -x152 -x153 x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 
1800.13/900.72	c objective function=8898251
1800.13/900.72	c Total wall clock time (in seconds): 900.612

Verifier Data 

OK	8898251

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-4110505-1466347530/watcher-4110505-1466347530 -o /tmp/evaluation-result-4110505-1466347530/solver-4110505-1466347530 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1466347530-15790 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4110505-1466347530.wbo 

pid=15829
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 1.34 1.30 1.43 3/188 15832
/proc/meminfo: memFree=29911772/32872528 swapFree=1534436/1655032
[pid=15832] ppid=15829 vsize=92900 CPUtime=0 cores=0,2,4,6
/proc/15832/stat : 15832 (java) S 15829 15832 12165 0 -1 4202496 1289 0 0 0 0 0 0 0 20 0 2 0 36801432 95129600 921 33554432000 1073741824 1073778376 140735985731664 140735985722800 217413877821 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15832/statm: 23225 927 703 9 0 16769 0
[pid=15832/tid=15833] ppid=15829 vsize=92900 CPUtime=0 cores=0,2,4,6
/proc/15832/task/15833/stat : 15833 (java) D 15829 15832 12165 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 2 0 36801433 95129600 927 33554432000 1073741824 1073778376 140735985731664 139741569392168 217401355559 0 0 4096 0 18446744072100588836 0 0 -1 2 0 0 0 0 0

[startup+0.100118 s]
/proc/loadavg: 1.34 1.30 1.43 3/188 15832
/proc/meminfo: memFree=29911772/32872528 swapFree=1534436/1655032
[pid=15832] ppid=15829 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/15832/stat : 15832 (java) S 15829 15832 12165 0 -1 4202496 4428 0 1 0 8 2 0 0 20 0 18 0 36801432 9787879424 6063 33554432000 1073741824 1073778376 140735985731664 140735985722800 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15832/statm: 2389619 6063 2141 9 0 2380296 0
[pid=15832/tid=15833] ppid=15829 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/15832/task/15833/stat : 15833 (java) R 15829 15832 12165 0 -1 4202560 2388 0 1 0 5 2 0 0 20 0 18 0 36801433 9787879424 6063 33554432000 1073741824 1073778376 140735985731664 139741569395400 217413903629 0 4 0 16800975 0 0 0 -1 2 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: 1.34 1.30 1.43 3/188 15832
/proc/meminfo: memFree=29911772/32872528 swapFree=1534436/1655032
[pid=15832] ppid=15829 vsize=9558476 CPUtime=0.27 cores=0,2,4,6
/proc/15832/stat : 15832 (java) S 15829 15832 12165 0 -1 4202496 5005 0 1 0 25 2 0 0 20 0 18 0 36801432 9787879424 8088 33554432000 1073741824 1073778376 140735985731664 140735985722800 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15832/statm: 2389619 8088 2221 9 0 2380296 0
[pid=15832/tid=15833] ppid=15829 vsize=9558476 CPUtime=0.17 cores=0,2,4,6
/proc/15832/task/15833/stat : 15833 (java) R 15829 15832 12165 0 -1 4202560 2406 0 1 0 15 2 0 0 20 0 18 0 36801433 9787879424 8088 33554432000 1073741824 1073778376 140735985731664 139741569395400 139741577161497 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9558476

[startup+0.300263 s]
/proc/loadavg: 1.34 1.30 1.43 3/188 15832
/proc/meminfo: memFree=29911772/32872528 swapFree=1534436/1655032
[pid=15832] ppid=15829 vsize=9558476 CPUtime=0.5 cores=0,2,4,6
/proc/15832/stat : 15832 (java) S 15829 15832 12165 0 -1 4202496 5945 0 1 0 47 3 0 0 20 0 18 0 36801432 9787879424 9821 33554432000 1073741824 1073778376 140735985731664 140735985722800 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15832/statm: 2389619 9821 2239 9 0 2380296 0
[pid=15832/tid=15833] ppid=15829 vsize=9558476 CPUtime=0.27 cores=0,2,4,6
/proc/15832/task/15833/stat : 15833 (java) R 15829 15832 12165 0 -1 4202560 2416 0 1 0 25 2 0 0 20 0 18 0 36801433 9787879424 9821 33554432000 1073741824 1073778376 140735985731664 139741569395400 139741408377666 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9558476

[startup+0.700302 s]
/proc/loadavg: 1.34 1.30 1.43 3/188 15832
/proc/meminfo: memFree=29911772/32872528 swapFree=1534436/1655032
[pid=15832] ppid=15829 vsize=9824732 CPUtime=0.76 cores=0,2,4,6
/proc/15832/stat : 15832 (java) S 15829 15832 12165 0 -1 4202496 6897 0 1 0 71 5 0 0 20 0 19 0 36801432 10060525568 11024 33554432000 1073741824 1073778376 140735985731664 140735985722800 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15832/statm: 2456183 11024 2252 9 0 2446860 0
[pid=15832/tid=15833] ppid=15829 vsize=9824732 CPUtime=0.28 cores=0,2,4,6
/proc/15832/task/15833/stat : 15833 (java) S 15829 15832 12165 0 -1 4202560 2425 0 1 0 25 3 0 0 20 0 19 0 36801433 10060525568 11024 33554432000 1073741824 1073778376 140735985731664 139741569397624 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.76
Current children cumulated vsize (KiB) 9824732

[startup+1.50086 s]
/proc/loadavg: 1.34 1.30 1.43 5/216 15869
/proc/meminfo: memFree=29810508/32872528 swapFree=1534436/1655032
[pid=15832] ppid=15829 vsize=9824732 CPUtime=2.97 cores=0,2,4,6
/proc/15832/stat : 15832 (java) S 15829 15832 12165 0 -1 4202496 12818 0 1 0 291 6 0 0 20 0 22 0 36801432 10060525568 23181 33554432000 1073741824 1073778376 140735985731664 140735985722800 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15832/statm: 2456183 23181 2266 9 0 2446860 0
[pid=15832/tid=15833] ppid=15829 vsize=9824732 CPUtime=0.34 cores=0,2,4,6
/proc/15832/task/15833/stat : 15833 (java) S 15829 15832 12165 0 -1 4202560 2431 0 1 0 31 3 0 0 20 0 22 0 36801433 10060525568 23181 33554432000 1073741824 1073778376 140735985731664 139741569397624 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15832/tid=15835] ppid=15829 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15832/task/15835/stat : 15835 (java) S 15829 15832 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36801434 10060525568 23181 33554432000 1073741824 1073778376 140735985731664 139741530889256 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15832/tid=15836] ppid=15829 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15832/task/15836/stat : 15836 (java) S 15829 15832 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36801434 10060525568 23181 33554432000 1073741824 1073778376 140735985731664 139741529836456 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15832/tid=15837] ppid=15829 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15832/task/15837/stat : 15837 (java) S 15829 15832 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36801434 10060525568 23181 33554432000 1073741824 1073778376 140735985731664 139741528783656 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15832/tid=15838] ppid=15829 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15832/task/15838/stat : 15838 (java) S 15829 15832 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36801434 10060525568 23181 33554432000 1073741824 1073778376 140735985731664 139741527730856 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15832/tid=15839] ppid=15829 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15832/task/15839/stat : 15839 (java) S 15829 15832 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36801434 10060525568 23181 33554432000 1073741824 1073778376 140735985731664 139741408258600 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15832/tid=15840] ppid=15829 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15832/task/15840/stat : 15840 (java) S 15829 15832 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36801434 10060525568 23181 33554432000 1073741824 1073778376 140735985731664 139741407205800 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15832/tid=15841] ppid=15829 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15832/task/15841/stat : 15841 (java) S 15829 15832 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36801434 10060525568 23181 33554432000 1073741824 1073778376 140735985731664 139741406153000 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15832/tid=15842] ppid=15829 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15832/task/15842/stat : 15842 (java) S 15829 15832 12165 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 36801434 10060525568 23181 33554432000 1073741824 1073778376 140735985731664 139741405100200 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15832/tid=15848] ppid=15829 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15832/task/15848/stat : 15848 (java) S 15829 15832 12165 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 36801435 10060525568 23181 33554432000 1073741824 1073778376 140735985731664 139741392903144 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15832/tid=15849] ppid=15829 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15832/task/15849/stat : 15849 (java) S 15829 15832 12165 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 36801435 10060525568 23181 33554432000 1073741824 1073778376 140735985731664 139740787500792 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15832/tid=15850] ppid=15829 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15832/task/15850/stat : 15850 (java) S 15829 15832 12165 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 36801435 10060525568 23181 33554432000 1073741824 1073778376 140735985731664 139740786447880 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15832/tid=15851] ppid=15829 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15832/task/15851/stat : 15851 (java) S 15829 15832 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36801437 10060525568 23181 33554432000 1073741824 1073778376 140735985731664 139740785396368 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15832/tid=15852] ppid=15829 vsize=9824732 CPUtime=0.57 cores=0,2,4,6
/proc/15832/task/15852/stat : 15852 (java) S 15829 15832 12165 0 -1 4202560 4679 0 0 0 57 0 0 0 20 0 22 0 36801438 10060525568 23181 33554432000 1073741824 1073778376 140735985731664 139740784343480 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15832/tid=15853] ppid=15829 vsize=9824732 CPUtime=0.63 cores=0,2,4,6
/proc/15832/task/15853/stat : 15853 (java) R 15829 15832 12165 0 -1 4202560 4346 0 0 0 63 0 0 0 20 0 22 0 36801438 10060525568 23181 33554432000 1073741824 1073778376 140735985731664 139740783290560 139741576383692 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=15832/tid=15854] ppid=15829 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15832/task/15854/stat : 15854 (java) S 15829 15832 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36801438 10060525568 23181 33554432000 1073741824 1073778376 140735985731664 139740782238072 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15832/tid=15855] ppid=15829 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15832/task/15855/stat : 15855 (java) S 15829 15832 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36801438 10060525568 23181 33554432000 1073741824 1073778376 140735985731664 139740781185480 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15832/tid=15862] ppid=15829 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15832/task/15862/stat : 15862 (java) S 15829 15832 12165 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 36801465 10060525568 23181 33554432000 1073741824 1073778376 140735985731664 139740778026408 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15832/tid=15867] ppid=15829 vsize=9824732 CPUtime=0.63 cores=0,2,4,6
/proc/15832/task/15867/stat : 15867 (java) R 15829 15832 12165 0 -1 4202560 7 0 0 0 63 0 0 0 20 0 22 0 36801518 10060525568 23181 33554432000 1073741824 1073778376 140735985731664 139740779078328 139741408977555 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=15832/tid=15868] ppid=15829 vsize=9824732 CPUtime=0.62 cores=0,2,4,6
/proc/15832/task/15868/stat : 15868 (java) R 15829 15832 12165 0 -1 4202560 36 0 0 0 62 0 0 0 20 0 22 0 36801518 10060525568 23181 33554432000 1073741824 1073778376 140735985731664 139740780130904 139741408998346 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15832/tid=15869] ppid=15829 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15832/task/15869/stat : 15869 (java) S 15829 15832 12165 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 36801519 10060525568 23181 33554432000 1073741824 1073778376 140735985731664 139740776973224 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 9824732

[startup+3.10093 s]
/proc/loadavg: 1.34 1.30 1.43 5/219 15872
/proc/meminfo: memFree=29709764/32872528 swapFree=1534436/1655032
[pid=15832] ppid=15829 vsize=9824732 CPUtime=6.39 cores=0,2,4,6
/proc/15832/stat : 15832 (java) S 15829 15832 12165 0 -1 4202496 12851 0 1 0 632 7 0 0 20 0 22 0 36801432 10060525568 34962 33554432000 1073741824 1073778376 140735985731664 140735985722800 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15832/statm: 2456183 34962 2271 9 0 2446860 0
[pid=15832/tid=15833] ppid=15829 vsize=9824732 CPUtime=0.34 cores=0,2,4,6
/proc/15832/task/15833/stat : 15833 (java) S 15829 15832 12165 0 -1 4202560 2431 0 1 0 31 3 0 0 20 0 22 0 36801433 10060525568 34962 33554432000 1073741824 1073778376 140735985731664 139741569397624 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15832/tid=15835] ppid=15829 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15832/task/15835/stat : 15835 (java) S 15829 15832 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36801434 10060525568 34962 33554432000 1073741824 1073778376 140735985731664 139741530889256 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15832/tid=15836] ppid=15829 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15832/task/15836/stat : 15836 (java) S 15829 15832 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36801434 10060525568 34962 33554432000 1073741824 1073778376 140735985731664 139741529836456 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15832/tid=15837] ppid=15829 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15832/task/15837/stat : 15837 (java) S 15829 15832 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36801434 10060525568 34962 33554432000 1073741824 1073778376 140735985731664 139741528783656 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15832/tid=15838] ppid=15829 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15832/task/15838/stat : 15838 (java) S 15829 15832 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36801434 10060525568 34962 33554432000 1073741824 1073778376 140735985731664 139741527730856 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15832/tid=15839] ppid=15829 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15832/task/15839/stat : 15839 (java) S 15829 15832 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36801434 10060525568 34962 33554432000 1073741824 1073778376 140735985731664 139741408258600 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15832/tid=15840] ppid=15829 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15832/task/15840/stat : 15840 (java) S 15829 15832 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36801434 10060525568 34962 33554432000 1073741824 1073778376 140735985731664 139741407205800 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15832/tid=15841] ppid=15829 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15832/task/15841/stat : 15841 (java) S 15829 15832 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36801434 10060525568 34962 33554432000 1073741824 1073778376 140735985731664 139741406153000 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15832/tid=15842] ppid=15829 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15832/task/15842/stat : 15842 (java) S 15829 15832 12165 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 36801434 10060525568 34962 33554432000 1073741824 1073778376 140735985731664 139741405100200 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15832/tid=15848] ppid=15829 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15832/task/15848/stat : 15848 (java) S 15829 15832 12165 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 36801435 10060525568 34962 33554432000 1073741824 1073778376 140735985731664 139741392903144 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15832/tid=15849] ppid=15829 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15832/task/15849/stat : 15849 (java) S 15829 15832 12165 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 36801435 10060525568 34962 33554432000 1073741824 1073778376 140735985731664 139740787500792 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15832/tid=15850] ppid=15829 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15832/task/15850/stat : 15850 (java) S 15829 15832 12165 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 36801435 10060525568 34962 33554432000 1073741824 1073778376 140735985731664 139740786447880 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15832/tid=15851] ppid=15829 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15832/task/15851/stat : 15851 (java) S 15829 15832 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36801437 10060525568 34962 33554432000 1073741824 1073778376 140735985731664 139740785396368 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15832/tid=15852] ppid=15829 vsize=9824732 CPUtime=0.72 cores=0,2,4,6
/proc/15832/task/15852/stat : 15852 (java) S 15829 15832 12165 0 -1 4202560 4683 0 0 0 71 1 0 0 20 0 22 0 36801438 10060525568 34962 33554432000 1073741824 1073778376 140735985731664 139740784343480 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15832/tid=15853] ppid=15829 vsize=9824732 CPUtime=0.7 cores=0,2,4,6
/proc/15832/task/15853/stat : 15853 (java) S 15829 15832 12165 0 -1 4202560 4350 0 0 0 70 0 0 0 20 0 22 0 36801438 10060525568 34962 33554432000 1073741824 1073778376 140735985731664 139740783290680 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15832/tid=15854] ppid=15829 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15832/task/15854/stat : 15854 (java) S 15829 15832 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36801438 10060525568 34962 33554432000 1073741824 1073778376 140735985731664 139740782238072 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15832/tid=15855] ppid=15829 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15832/task/15855/stat : 15855 (java) S 15829 15832 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36801438 10060525568 34962 33554432000 1073741824 1073778376 140735985731664 139740781185480 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15832/tid=15862] ppid=15829 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15832/task/15862/stat : 15862 (java) S 15829 15832 12165 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 36801465 10060525568 34962 33554432000 1073741824 1073778376 140735985731664 139740778026408 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15832/tid=15867] ppid=15829 vsize=9824732 CPUtime=2.22 cores=0,2,4,6
/proc/15832/task/15867/stat : 15867 (java) R 15829 15832 12165 0 -1 4202560 8 0 0 0 222 0 0 0 20 0 22 0 36801518 10060525568 34962 33554432000 1073741824 1073778376 140735985731664 139740779076232 139741408977560 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=15832/tid=15868] ppid=15829 vsize=9824732 CPUtime=2.22 cores=0,2,4,6
/proc/15832/task/15868/stat : 15868 (java) R 15829 15832 12165 0 -1 4202560 60 0 0 0 221 1 0 0 20 0 22 0 36801518 10060525568 34962 33554432000 1073741824 1073778376 140735985731664 139740780129000 139741408998200 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15832/tid=15869] ppid=15829 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15832/task/15869/stat : 15869 (java) S 15829 15832 12165 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 36801519 10060525568 34962 33554432000 1073741824 1073778376 140735985731664 139740776973224 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.39
Current children cumulated vsize (KiB) 9824732

[startup+6.30094 s]
/proc/loadavg: 1.55 1.34 1.44 5/219 15872
/proc/meminfo: memFree=29561964/32872528 swapFree=1534436/1655032
[pid=15832] ppid=15829 vsize=9824732 CPUtime=13.17 cores=0,2,4,6
/proc/15832/stat : 15832 (java) S 15829 15832 12165 0 -1 4202496 13754 0 1 0 1306 11 0 0 20 0 22 0 36801432 10060525568 46808 33554432000 1073741824 1073778376 140735985731664 140735985722800 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15832/statm: 2456183 46808 2284 9 0 2446860 0
[pid=15832/tid=15833] ppid=15829 vsize=9824732 CPUtime=0.34 cores=0,2,4,6
/proc/15832/task/15833/stat : 15833 (java) S 15829 15832 12165 0 -1 4202560 2431 0 1 0 31 3 0 0 20 0 22 0 36801433 10060525568 46808 33554432000 1073741824 1073778376 140735985731664 139741569397624 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15832/tid=15835] ppid=15829 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15832/task/15835/stat : 15835 (java) S 15829 15832 12165 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 36801434 10060525568 46808 33554432000 1073741824 1073778376 140735985731664 139741530889256 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15832/tid=15836] ppid=15829 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/15832/task/15836/stat : 15836 (java) S 15829 15832 12165 0 -1 4202560 18 0 0 0 1 0 0 0 20 0 22 0 36801434 10060525568 46808 33554432000 1073741824 1073778376 140735985731664 139741529836456 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15832/tid=15837] ppid=15829 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15832/task/15837/stat : 15837 (java) S 15829 15832 12165 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 36801434 10060525568 46808 33554432000 1073741824 1073778376 140735985731664 139741528783656 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15832/tid=15838] ppid=15829 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15832/task/15838/stat : 15838 (java) S 15829 15832 12165 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 36801434 10060525568 46808 33554432000 1073741824 1073778376 140735985731664 139741527730856 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15832/tid=15839] ppid=15829 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15832/task/15839/stat : 15839 (java) S 15829 15832 12165 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 36801434 10060525568 46808 33554432000 1073741824 1073778376 140735985731664 139741408258600 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15832/tid=15840] ppid=15829 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15832/task/15840/stat : 15840 (java) S 15829 15832 12165 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 36801434 10060525568 46808 33554432000 1073741824 1073778376 140735985731664 139741407205800 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15832/tid=15841] ppid=15829 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15832/task/15841/stat : 15841 (java) S 15829 15832 12165 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 36801434 10060525568 46808 33554432000 1073741824 1073778376 140735985731664 139741406153000 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15832/tid=15842] ppid=15829 vsize=9824732 CPUtime=0 cores=0,2,4,6

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

[pid=15832/tid=15835] ppid=15829 vsize=9824732 CPUtime=1.71 cores=0,2,4,6
/proc/15832/task/15835/stat : 15835 (java) S 15829 15832 12165 0 -1 4202560 370 0 0 0 164 7 0 0 20 0 22 0 36801434 10060525568 99837 33554432000 1073741824 1073778376 140735985731664 139741530889256 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15832/tid=15836] ppid=15829 vsize=9824732 CPUtime=1.79 cores=0,2,4,6
/proc/15832/task/15836/stat : 15836 (java) S 15829 15832 12165 0 -1 4202560 1019 0 0 0 172 7 0 0 20 0 22 0 36801434 10060525568 99837 33554432000 1073741824 1073778376 140735985731664 139741529836456 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15832/tid=15837] ppid=15829 vsize=9824732 CPUtime=1.63 cores=0,2,4,6
/proc/15832/task/15837/stat : 15837 (java) S 15829 15832 12165 0 -1 4202560 508 0 0 0 157 6 0 0 20 0 22 0 36801434 10060525568 99837 33554432000 1073741824 1073778376 140735985731664 139741528783656 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15832/tid=15838] ppid=15829 vsize=9824732 CPUtime=1.77 cores=0,2,4,6
/proc/15832/task/15838/stat : 15838 (java) S 15829 15832 12165 0 -1 4202560 631 0 0 0 170 7 0 0 20 0 22 0 36801434 10060525568 99837 33554432000 1073741824 1073778376 140735985731664 139741527730856 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15832/tid=15839] ppid=15829 vsize=9824732 CPUtime=1.66 cores=0,2,4,6
/proc/15832/task/15839/stat : 15839 (java) S 15829 15832 12165 0 -1 4202560 494 0 0 0 160 6 0 0 20 0 22 0 36801434 10060525568 99837 33554432000 1073741824 1073778376 140735985731664 139741408258600 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15832/tid=15840] ppid=15829 vsize=9824732 CPUtime=1.68 cores=0,2,4,6
/proc/15832/task/15840/stat : 15840 (java) S 15829 15832 12165 0 -1 4202560 925 0 0 0 161 7 0 0 20 0 22 0 36801434 10060525568 99837 33554432000 1073741824 1073778376 140735985731664 139741407205800 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15832/tid=15841] ppid=15829 vsize=9824732 CPUtime=1.66 cores=0,2,4,6
/proc/15832/task/15841/stat : 15841 (java) S 15829 15832 12165 0 -1 4202560 461 0 0 0 161 5 0 0 20 0 22 0 36801434 10060525568 99837 33554432000 1073741824 1073778376 140735985731664 139741406153000 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15832/tid=15842] ppid=15829 vsize=9824732 CPUtime=1.68 cores=0,2,4,6
/proc/15832/task/15842/stat : 15842 (java) S 15829 15832 12165 0 -1 4202560 448 0 0 0 162 6 0 0 20 0 22 0 36801434 10060525568 99837 33554432000 1073741824 1073778376 140735985731664 139741405100200 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15832/tid=15848] ppid=15829 vsize=9824732 CPUtime=2.18 cores=0,2,4,6
/proc/15832/task/15848/stat : 15848 (java) S 15829 15832 12165 0 -1 4202560 3202 0 0 0 197 21 0 0 20 0 22 0 36801435 10060525568 99837 33554432000 1073741824 1073778376 140735985731664 139741392903144 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15832/tid=15849] ppid=15829 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15832/task/15849/stat : 15849 (java) S 15829 15832 12165 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 36801435 10060525568 99837 33554432000 1073741824 1073778376 140735985731664 139740787500792 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15832/tid=15850] ppid=15829 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15832/task/15850/stat : 15850 (java) S 15829 15832 12165 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 36801435 10060525568 99837 33554432000 1073741824 1073778376 140735985731664 139740786447880 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15832/tid=15851] ppid=15829 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15832/task/15851/stat : 15851 (java) S 15829 15832 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36801437 10060525568 99837 33554432000 1073741824 1073778376 140735985731664 139740785396368 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15832/tid=15852] ppid=15829 vsize=9824732 CPUtime=1.08 cores=0,2,4,6
/proc/15832/task/15852/stat : 15852 (java) S 15829 15832 12165 0 -1 4202560 5402 0 0 0 106 2 0 0 20 0 22 0 36801438 10060525568 99837 33554432000 1073741824 1073778376 140735985731664 139740784343480 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15832/tid=15853] ppid=15829 vsize=9824732 CPUtime=1.07 cores=0,2,4,6
/proc/15832/task/15853/stat : 15853 (java) S 15829 15832 12165 0 -1 4202560 4639 0 0 0 107 0 0 0 20 0 22 0 36801438 10060525568 99837 33554432000 1073741824 1073778376 140735985731664 139740783290680 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15832/tid=15854] ppid=15829 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15832/task/15854/stat : 15854 (java) S 15829 15832 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36801438 10060525568 99837 33554432000 1073741824 1073778376 140735985731664 139740782238072 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15832/tid=15855] ppid=15829 vsize=9824732 CPUtime=0.3 cores=0,2,4,6
/proc/15832/task/15855/stat : 15855 (java) S 15829 15832 12165 0 -1 4202560 52 0 0 0 13 17 0 0 20 0 22 0 36801438 10060525568 99837 33554432000 1073741824 1073778376 140735985731664 139740781185480 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15832/tid=15869] ppid=15829 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15832/task/15869/stat : 15869 (java) S 15829 15832 12165 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 36801519 10060525568 99837 33554432000 1073741824 1073778376 140735985731664 139740776973224 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15832/tid=15911] ppid=15829 vsize=9824732 CPUtime=20.56 cores=0,2,4,6
/proc/15832/task/15911/stat : 15911 (java) R 15829 15832 12165 0 -1 4202560 10 0 0 0 2056 0 0 0 20 0 22 0 36887589 10060525568 99837 33554432000 1073741824 1073778376 140735985731664 139740779077536 139741408884741 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=15832/tid=15912] ppid=15829 vsize=9824732 CPUtime=20.53 cores=0,2,4,6
/proc/15832/task/15912/stat : 15912 (java) R 15829 15832 12165 0 -1 4202560 10 0 0 0 2053 0 0 0 20 0 22 0 36887589 10060525568 99837 33554432000 1073741824 1073778376 140735985731664 139740778023856 139741408998174 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15832/tid=15913] ppid=15829 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15832/task/15913/stat : 15913 (java) S 15829 15832 12165 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 36887589 10060525568 99837 33554432000 1073741824 1073778376 140735985731664 139740780131624 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1759.96
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.701 s]
/proc/loadavg: 4.17 4.15 3.21 3/192 15949
/proc/meminfo: memFree=29529396/32872528 swapFree=1534436/1655032
[pid=15832] ppid=15829 vsize=9824732 CPUtime=1796.84 cores=0,2,4,6
/proc/15832/stat : 15832 (java) S 15829 15832 12165 0 -1 4202496 22778 0 1 0 179555 129 0 0 20 0 22 0 36801432 10060525568 99324 33554432000 1073741824 1073778376 140735985731664 140735985722800 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15832/statm: 2456183 99324 2293 9 0 2446860 0
[pid=15832/tid=15833] ppid=15829 vsize=9824732 CPUtime=0.43 cores=0,2,4,6
/proc/15832/task/15833/stat : 15833 (java) S 15829 15832 12165 0 -1 4202560 2440 0 1 0 39 4 0 0 20 0 22 0 36801433 10060525568 99324 33554432000 1073741824 1073778376 140735985731664 139741569397624 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15832/tid=15835] ppid=15829 vsize=9824732 CPUtime=1.76 cores=0,2,4,6
/proc/15832/task/15835/stat : 15835 (java) S 15829 15832 12165 0 -1 4202560 370 0 0 0 169 7 0 0 20 0 22 0 36801434 10060525568 99324 33554432000 1073741824 1073778376 140735985731664 139741530889256 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15832/tid=15836] ppid=15829 vsize=9824732 CPUtime=1.82 cores=0,2,4,6
/proc/15832/task/15836/stat : 15836 (java) S 15829 15832 12165 0 -1 4202560 1019 0 0 0 175 7 0 0 20 0 22 0 36801434 10060525568 99324 33554432000 1073741824 1073778376 140735985731664 139741529836456 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15832/tid=15837] ppid=15829 vsize=9824732 CPUtime=1.67 cores=0,2,4,6
/proc/15832/task/15837/stat : 15837 (java) S 15829 15832 12165 0 -1 4202560 508 0 0 0 161 6 0 0 20 0 22 0 36801434 10060525568 99324 33554432000 1073741824 1073778376 140735985731664 139741528783656 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15832/tid=15838] ppid=15829 vsize=9824732 CPUtime=1.79 cores=0,2,4,6
/proc/15832/task/15838/stat : 15838 (java) S 15829 15832 12165 0 -1 4202560 631 0 0 0 172 7 0 0 20 0 22 0 36801434 10060525568 99324 33554432000 1073741824 1073778376 140735985731664 139741527730856 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15832/tid=15839] ppid=15829 vsize=9824732 CPUtime=1.68 cores=0,2,4,6
/proc/15832/task/15839/stat : 15839 (java) S 15829 15832 12165 0 -1 4202560 494 0 0 0 162 6 0 0 20 0 22 0 36801434 10060525568 99324 33554432000 1073741824 1073778376 140735985731664 139741408258600 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15832/tid=15840] ppid=15829 vsize=9824732 CPUtime=1.72 cores=0,2,4,6
/proc/15832/task/15840/stat : 15840 (java) S 15829 15832 12165 0 -1 4202560 925 0 0 0 165 7 0 0 20 0 22 0 36801434 10060525568 99324 33554432000 1073741824 1073778376 140735985731664 139741407205800 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15832/tid=15841] ppid=15829 vsize=9824732 CPUtime=1.69 cores=0,2,4,6
/proc/15832/task/15841/stat : 15841 (java) S 15829 15832 12165 0 -1 4202560 461 0 0 0 164 5 0 0 20 0 22 0 36801434 10060525568 99324 33554432000 1073741824 1073778376 140735985731664 139741406153000 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15832/tid=15842] ppid=15829 vsize=9824732 CPUtime=1.73 cores=0,2,4,6
/proc/15832/task/15842/stat : 15842 (java) S 15829 15832 12165 0 -1 4202560 448 0 0 0 167 6 0 0 20 0 22 0 36801434 10060525568 99324 33554432000 1073741824 1073778376 140735985731664 139741405100200 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15832/tid=15848] ppid=15829 vsize=9824732 CPUtime=2.19 cores=0,2,4,6
/proc/15832/task/15848/stat : 15848 (java) S 15829 15832 12165 0 -1 4202560 3203 0 0 0 197 22 0 0 20 0 22 0 36801435 10060525568 99324 33554432000 1073741824 1073778376 140735985731664 139741392903144 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15832/tid=15849] ppid=15829 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15832/task/15849/stat : 15849 (java) S 15829 15832 12165 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 36801435 10060525568 99324 33554432000 1073741824 1073778376 140735985731664 139740787500792 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15832/tid=15850] ppid=15829 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15832/task/15850/stat : 15850 (java) S 15829 15832 12165 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 36801435 10060525568 99324 33554432000 1073741824 1073778376 140735985731664 139740786447880 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15832/tid=15851] ppid=15829 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15832/task/15851/stat : 15851 (java) S 15829 15832 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36801437 10060525568 99324 33554432000 1073741824 1073778376 140735985731664 139740785396368 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15832/tid=15852] ppid=15829 vsize=9824732 CPUtime=1.08 cores=0,2,4,6
/proc/15832/task/15852/stat : 15852 (java) S 15829 15832 12165 0 -1 4202560 5402 0 0 0 106 2 0 0 20 0 22 0 36801438 10060525568 99324 33554432000 1073741824 1073778376 140735985731664 139740784343480 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15832/tid=15853] ppid=15829 vsize=9824732 CPUtime=1.07 cores=0,2,4,6
/proc/15832/task/15853/stat : 15853 (java) S 15829 15832 12165 0 -1 4202560 4639 0 0 0 107 0 0 0 20 0 22 0 36801438 10060525568 99324 33554432000 1073741824 1073778376 140735985731664 139740783290680 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15832/tid=15854] ppid=15829 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15832/task/15854/stat : 15854 (java) S 15829 15832 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36801438 10060525568 99324 33554432000 1073741824 1073778376 140735985731664 139740782238072 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15832/tid=15855] ppid=15829 vsize=9824732 CPUtime=0.32 cores=0,2,4,6
/proc/15832/task/15855/stat : 15855 (java) S 15829 15832 12165 0 -1 4202560 52 0 0 0 14 18 0 0 20 0 22 0 36801438 10060525568 99324 33554432000 1073741824 1073778376 140735985731664 139740781185480 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15832/tid=15869] ppid=15829 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15832/task/15869/stat : 15869 (java) S 15829 15832 12165 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 36801519 10060525568 99324 33554432000 1073741824 1073778376 140735985731664 139740776973224 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15832/tid=15911] ppid=15829 vsize=9824732 CPUtime=38.81 cores=0,2,4,6
/proc/15832/task/15911/stat : 15911 (java) R 15829 15832 12165 0 -1 4202560 15 0 0 0 3881 0 0 0 20 0 22 0 36887589 10060525568 99324 33554432000 1073741824 1073778376 140735985731664 139740779078640 139741409075047 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=15832/tid=15912] ppid=15829 vsize=9824732 CPUtime=38.78 cores=0,2,4,6
/proc/15832/task/15912/stat : 15912 (java) R 15829 15832 12165 0 -1 4202560 18 0 0 0 3878 0 0 0 20 0 22 0 36887589 10060525568 99324 33554432000 1073741824 1073778376 140735985731664 139740778024832 139741408998050 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15832/tid=15913] ppid=15829 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15832/task/15913/stat : 15913 (java) S 15829 15832 12165 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 36887589 10060525568 99324 33554432000 1073741824 1073778376 140735985731664 139740780131624 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1796.84
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 15832 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+900.701 s]
/proc/loadavg: 4.17 4.15 3.21 3/192 15949
/proc/meminfo: memFree=29529396/32872528 swapFree=1534436/1655032
[pid=15832] ppid=15829 vsize=9824732 CPUtime=1796.84 cores=0,2,4,6
/proc/15832/stat : 15832 (java) S 15829 15832 12165 0 -1 4202496 22778 0 1 0 179555 129 0 0 20 0 22 0 36801432 10060525568 99324 33554432000 1073741824 1073778376 140735985731664 140735985722800 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15832/statm: 2456183 99324 2293 9 0 2446860 0
[pid=15832/tid=15833] ppid=15829 vsize=9824732 CPUtime=0.43 cores=0,2,4,6
/proc/15832/task/15833/stat : 15833 (java) S 15829 15832 12165 0 -1 4202560 2440 0 1 0 39 4 0 0 20 0 22 0 36801433 10060525568 99324 33554432000 1073741824 1073778376 140735985731664 139741569397624 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15832/tid=15835] ppid=15829 vsize=9824732 CPUtime=1.76 cores=0,2,4,6
/proc/15832/task/15835/stat : 15835 (java) S 15829 15832 12165 0 -1 4202560 370 0 0 0 169 7 0 0 20 0 22 0 36801434 10060525568 99324 33554432000 1073741824 1073778376 140735985731664 139741530889256 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15832/tid=15836] ppid=15829 vsize=9824732 CPUtime=1.82 cores=0,2,4,6
/proc/15832/task/15836/stat : 15836 (java) S 15829 15832 12165 0 -1 4202560 1019 0 0 0 175 7 0 0 20 0 22 0 36801434 10060525568 99324 33554432000 1073741824 1073778376 140735985731664 139741529836456 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15832/tid=15837] ppid=15829 vsize=9824732 CPUtime=1.67 cores=0,2,4,6
/proc/15832/task/15837/stat : 15837 (java) S 15829 15832 12165 0 -1 4202560 508 0 0 0 161 6 0 0 20 0 22 0 36801434 10060525568 99324 33554432000 1073741824 1073778376 140735985731664 139741528783656 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15832/tid=15838] ppid=15829 vsize=9824732 CPUtime=1.79 cores=0,2,4,6
/proc/15832/task/15838/stat : 15838 (java) S 15829 15832 12165 0 -1 4202560 631 0 0 0 172 7 0 0 20 0 22 0 36801434 10060525568 99324 33554432000 1073741824 1073778376 140735985731664 139741527730856 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15832/tid=15839] ppid=15829 vsize=9824732 CPUtime=1.68 cores=0,2,4,6
/proc/15832/task/15839/stat : 15839 (java) S 15829 15832 12165 0 -1 4202560 494 0 0 0 162 6 0 0 20 0 22 0 36801434 10060525568 99324 33554432000 1073741824 1073778376 140735985731664 139741408258600 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15832/tid=15840] ppid=15829 vsize=9824732 CPUtime=1.72 cores=0,2,4,6
/proc/15832/task/15840/stat : 15840 (java) S 15829 15832 12165 0 -1 4202560 925 0 0 0 165 7 0 0 20 0 22 0 36801434 10060525568 99324 33554432000 1073741824 1073778376 140735985731664 139741407205800 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15832/tid=15841] ppid=15829 vsize=9824732 CPUtime=1.69 cores=0,2,4,6
/proc/15832/task/15841/stat : 15841 (java) S 15829 15832 12165 0 -1 4202560 461 0 0 0 164 5 0 0 20 0 22 0 36801434 10060525568 99324 33554432000 1073741824 1073778376 140735985731664 139741406153000 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15832/tid=15842] ppid=15829 vsize=9824732 CPUtime=1.73 cores=0,2,4,6
/proc/15832/task/15842/stat : 15842 (java) S 15829 15832 12165 0 -1 4202560 448 0 0 0 167 6 0 0 20 0 22 0 36801434 10060525568 99324 33554432000 1073741824 1073778376 140735985731664 139741405100200 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15832/tid=15848] ppid=15829 vsize=9824732 CPUtime=2.19 cores=0,2,4,6
/proc/15832/task/15848/stat : 15848 (java) S 15829 15832 12165 0 -1 4202560 3203 0 0 0 197 22 0 0 20 0 22 0 36801435 10060525568 99324 33554432000 1073741824 1073778376 140735985731664 139741392903144 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15832/tid=15849] ppid=15829 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15832/task/15849/stat : 15849 (java) S 15829 15832 12165 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 36801435 10060525568 99324 33554432000 1073741824 1073778376 140735985731664 139740787500792 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15832/tid=15850] ppid=15829 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15832/task/15850/stat : 15850 (java) S 15829 15832 12165 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 36801435 10060525568 99324 33554432000 1073741824 1073778376 140735985731664 139740786447880 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15832/tid=15851] ppid=15829 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15832/task/15851/stat : 15851 (java) S 15829 15832 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36801437 10060525568 99324 33554432000 1073741824 1073778376 140735985731664 139740785396368 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15832/tid=15852] ppid=15829 vsize=9824732 CPUtime=1.08 cores=0,2,4,6
/proc/15832/task/15852/stat : 15852 (java) S 15829 15832 12165 0 -1 4202560 5402 0 0 0 106 2 0 0 20 0 22 0 36801438 10060525568 99324 33554432000 1073741824 1073778376 140735985731664 139740784343480 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15832/tid=15853] ppid=15829 vsize=9824732 CPUtime=1.07 cores=0,2,4,6
/proc/15832/task/15853/stat : 15853 (java) S 15829 15832 12165 0 -1 4202560 4639 0 0 0 107 0 0 0 20 0 22 0 36801438 10060525568 99324 33554432000 1073741824 1073778376 140735985731664 139740783290680 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15832/tid=15854] ppid=15829 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15832/task/15854/stat : 15854 (java) S 15829 15832 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36801438 10060525568 99324 33554432000 1073741824 1073778376 140735985731664 139740782238072 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15832/tid=15855] ppid=15829 vsize=9824732 CPUtime=0.32 cores=0,2,4,6
/proc/15832/task/15855/stat : 15855 (java) S 15829 15832 12165 0 -1 4202560 52 0 0 0 14 18 0 0 20 0 22 0 36801438 10060525568 99324 33554432000 1073741824 1073778376 140735985731664 139740781185480 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15832/tid=15869] ppid=15829 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15832/task/15869/stat : 15869 (java) S 15829 15832 12165 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 36801519 10060525568 99324 33554432000 1073741824 1073778376 140735985731664 139740776973224 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15832/tid=15911] ppid=15829 vsize=9824732 CPUtime=38.81 cores=0,2,4,6
/proc/15832/task/15911/stat : 15911 (java) R 15829 15832 12165 0 -1 4202560 15 0 0 0 3881 0 0 0 20 0 22 0 36887589 10060525568 99324 33554432000 1073741824 1073778376 140735985731664 139740779078640 139741409075047 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=15832/tid=15912] ppid=15829 vsize=9824732 CPUtime=38.78 cores=0,2,4,6
/proc/15832/task/15912/stat : 15912 (java) R 15829 15832 12165 0 -1 4202560 18 0 0 0 3878 0 0 0 20 0 22 0 36887589 10060525568 99324 33554432000 1073741824 1073778376 140735985731664 139740778024832 139741408998050 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15832/tid=15913] ppid=15829 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15832/task/15913/stat : 15913 (java) S 15829 15832 12165 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 36887589 10060525568 99324 33554432000 1073741824 1073778376 140735985731664 139740780131624 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1796.84
Current children cumulated vsize (KiB) 9824732

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.29001
#  lost CPU user time (s): 3.57013
#  lost CPU system time (s): -0.28

Real time (s): 900.74
CPU time (s): 1800.33
CPU user time (s): 1799.09
CPU system time (s): 1.23977
CPU usage (%): 199.872
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.52
system time used= 1.51977
maximum resident set size= 419408
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22823
page faults= 1
swaps= 0
block input operations= 0
block output operations= 944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 33833
involuntary context switches= 42378

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.61315 second user time and 7.62384 second system time

The end

Launcher Data 

Begin job on node122 at 2016-06-19 16:45:30
IDJOB=4110505
IDBENCH=79497
IDSOLVER=2552
FILE ID=node122/4110505-1466347530
RUNJOBID= node122-1466347530-15790
PBS_JOBID= 19922031
Free space on /tmp= 71744 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/warehouse/normalized-cap83_wcsp.wbo
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4110505-1466347530/watcher-4110505-1466347530 -o /tmp/evaluation-result-4110505-1466347530/solver-4110505-1466347530 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1466347530-15790 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4110505-1466347530.wbo

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

MD5SUM BENCH= 731e2b3d085e2d31d63a0bd0dc294faf
RANDOM SEED=711438650

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29917948 kB
Buffers:          178344 kB
Cached:           354952 kB
SwapCached:            0 kB
Active:           145296 kB
Inactive:         402196 kB
Active(anon):       7136 kB
Inactive(anon):     9900 kB
Active(file):     138160 kB
Inactive(file):   392296 kB
Unevictable:     1655032 kB
Mlocked:         1534436 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              1548 kB
Writeback:             0 kB
AnonPages:       1669148 kB
Mapped:            15160 kB
Shmem:               204 kB
Slab:             615300 kB
SReclaimable:      59172 kB
SUnreclaim:       556128 kB
KernelStack:        1400 kB
PageTables:         7292 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1779856 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    122880 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= 71744 MiB
End job on node122 at 2016-06-19 17:00:31