Trace number 3711242

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SAT4J PB specific settings 2.3.2 snapshotSAT (TO)-48 1800.61 1792.34

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_200_10_5.opb
MD5SUM2585c1015aa6228da840b6f61adc6732
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-52
Best CPU time to get the best result obtained on this benchmark1797.47
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -52
Optimality of the best value was proved NO
Number of variables200
Total number of constraints200
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints200
Minimum length of a constraint10
Maximum length of a constraint22
Number of terms in the objective function 200
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)2528
Sum of products size (including duplicates)5056
Number of different products1264
Sum of products size2528

Quality of the solution as a function of time


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

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.07	c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details.
0.00/0.07	c version 2.3.2.v20120418
0.00/0.07	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.07	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.07	c java.vm.version	19.1-b02
0.00/0.07	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.07	c sun.arch.data.model	64
0.00/0.07	c java.version		1.6.0_24
0.00/0.07	c os.name		Linux
0.00/0.07	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.07	c os.arch		amd64
0.00/0.07	c Free memory 		501472288
0.00/0.07	c Max memory 		7480803328
0.00/0.07	c Total memory 		504102912
0.00/0.07	c Number of processors 	8
0.10/0.11	c read org.sat4j.minisat.orders.VarOrderHeap
0.10/0.11	c configuring ORDERS
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2dcb25f1
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
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=true
0.10/0.11	c Heuristics kept accross calls (keep the solver "hot")
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3711242-1338170152.opb
0.10/0.11	c reading problem ... 
0.24/0.27	c ... done. Wall clock time 0.159s.
0.24/0.27	c declared #vars     200
0.24/0.27	c internal #vars     1464
0.24/0.27	c #constraints  2728
0.24/0.27	c constraints type 
0.24/0.27	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1264
0.24/0.27	c org.sat4j.minisat.constraints.cnf.UnitClauses => 200
0.24/0.27	c ignored satisfied constraints => 200
0.24/0.27	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1264
0.24/0.27	c 2928 constraints processed.
0.24/0.28	c SATISFIABLE
0.24/0.28	c OPTIMIZING...
0.24/0.28	c Got one! Elapsed wall clock time (in seconds):0.174
0.24/0.28	o 0
0.24/0.29	c Got one! Elapsed wall clock time (in seconds):0.179
0.24/0.29	o -1
0.24/0.29	c Got one! Elapsed wall clock time (in seconds):0.184
0.24/0.29	o -2
0.46/0.30	c Got one! Elapsed wall clock time (in seconds):0.188
0.46/0.30	o -3
0.46/0.30	c Got one! Elapsed wall clock time (in seconds):0.192
0.46/0.30	o -4
0.46/0.31	c Got one! Elapsed wall clock time (in seconds):0.198
0.46/0.31	o -5
0.46/0.31	c Got one! Elapsed wall clock time (in seconds):0.201
0.46/0.31	o -36
0.46/0.34	c Got one! Elapsed wall clock time (in seconds):0.231
0.46/0.34	o -37
0.46/0.35	c Got one! Elapsed wall clock time (in seconds):0.235
0.46/0.35	o -43
0.96/0.59	c Got one! Elapsed wall clock time (in seconds):0.481
0.96/0.59	o -44
1.24/0.71	c cleaning 2892 clauses out of 5783 with flag 2000/5783
1.47/0.97	c cleaning 4446 clauses out of 8891 with flag 8000/11783
1.80/1.26	c cleaning 5719 clauses out of 11445 with flag 15000/18783
2.22/1.62	c cleaning 6855 clauses out of 13726 with flag 23000/26783
2.64/2.06	c cleaning 7936 clauses out of 15871 with flag 32000/35783
3.15/2.53	c cleaning 8968 clauses out of 17936 with flag 42001/45784
3.76/3.10	c cleaning 9975 clauses out of 19967 with flag 53000/56783
4.27/3.69	c cleaning 10997 clauses out of 21993 with flag 65001/68784
4.77/4.17	c Got one! Elapsed wall clock time (in seconds):4.059
4.77/4.17	o -45
5.08/4.49	c cleaning 12367 clauses out of 24736 with flag 5001/82524
5.49/4.81	c cleaning 9181 clauses out of 18369 with flag 11001/88524
5.79/5.17	c cleaning 8088 clauses out of 16187 with flag 18000/95523
6.20/5.55	c cleaning 8046 clauses out of 16099 with flag 26000/103523
6.71/6.00	c cleaning 8519 clauses out of 17054 with flag 35001/112524
7.11/6.47	c cleaning 9260 clauses out of 18534 with flag 45000/122523
7.71/7.03	c cleaning 10131 clauses out of 20274 with flag 56000/133523
8.32/7.65	c cleaning 11072 clauses out of 22144 with flag 68001/145524
9.03/8.37	c cleaning 12035 clauses out of 24072 with flag 81001/158524
10.13/9.40	c cleaning 13018 clauses out of 26038 with flag 95002/172525
10.96/10.20	c cleaning 14007 clauses out of 28018 with flag 110000/187523
11.86/11.19	c cleaning 15002 clauses out of 30012 with flag 126001/203524
13.07/12.31	c cleaning 16001 clauses out of 32012 with flag 143003/220526
14.18/13.44	c cleaning 17003 clauses out of 34008 with flag 161000/238523
15.50/14.78	c cleaning 17999 clauses out of 36005 with flag 180000/257523
16.82/16.05	c cleaning 18996 clauses out of 38007 with flag 200001/277524
18.25/17.43	c cleaning 20006 clauses out of 40012 with flag 221002/298525
19.95/19.14	c cleaning 20996 clauses out of 42005 with flag 243001/320524
20.98/20.19	c Got one! Elapsed wall clock time (in seconds):20.083
20.98/20.19	o -46
21.58/20.71	c cleaning 20721 clauses out of 41441 with flag 5002/340956
21.91/21.06	c cleaning 13358 clauses out of 26718 with flag 11000/346954
22.32/21.43	c cleaning 10178 clauses out of 20361 with flag 18001/353955
22.73/21.85	c cleaning 9091 clauses out of 18182 with flag 26000/361954
23.23/22.33	c cleaning 9041 clauses out of 18091 with flag 35000/370954
23.83/22.90	c cleaning 9526 clauses out of 19051 with flag 45001/380955
24.54/23.61	c cleaning 10257 clauses out of 20524 with flag 56000/391954
25.05/24.17	c cleaning 11129 clauses out of 22268 with flag 68001/403955
25.75/24.86	c cleaning 12064 clauses out of 24138 with flag 81000/416954
26.66/25.72	c cleaning 13038 clauses out of 26075 with flag 95001/430955
27.57/26.68	c cleaning 14018 clauses out of 28036 with flag 110000/445954
28.57/27.62	c cleaning 15010 clauses out of 30019 with flag 126001/461955
29.78/28.84	c cleaning 16002 clauses out of 32008 with flag 143000/478954
30.89/29.97	c cleaning 17003 clauses out of 34007 with flag 161001/496955
32.30/31.30	c cleaning 17994 clauses out of 36003 with flag 180000/515954
33.50/32.59	c cleaning 19001 clauses out of 38009 with flag 200000/535954
35.02/34.06	c cleaning 19998 clauses out of 40008 with flag 221000/556954
36.74/35.79	c cleaning 21000 clauses out of 42010 with flag 243000/578954
38.47/37.41	c cleaning 22001 clauses out of 44010 with flag 266000/601954
39.98/38.94	c cleaning 22999 clauses out of 46010 with flag 290001/625955
41.92/40.84	c cleaning 24001 clauses out of 48010 with flag 315000/650954
44.25/43.10	c cleaning 25004 clauses out of 50010 with flag 341001/676955
46.68/45.53	c cleaning 26000 clauses out of 52008 with flag 368003/703957
48.81/47.68	c cleaning 26994 clauses out of 54005 with flag 396000/731954
51.31/50.12	c cleaning 28004 clauses out of 56011 with flag 425000/760954
54.04/52.85	c cleaning 29003 clauses out of 58007 with flag 455000/790954
56.95/55.75	c cleaning 29998 clauses out of 60006 with flag 486002/821956
60.05/58.87	c cleaning 31005 clauses out of 62011 with flag 518005/853959
63.66/62.43	c cleaning 31997 clauses out of 64001 with flag 551000/886954
66.12/64.87	c cleaning 33000 clauses out of 66004 with flag 585000/920954
68.93/67.60	c cleaning 34004 clauses out of 68007 with flag 620003/955957
71.77/70.50	c cleaning 34994 clauses out of 70002 with flag 656002/991956
74.88/73.57	c cleaning 35992 clauses out of 72006 with flag 693000/1028954
78.81/77.44	c cleaning 37005 clauses out of 74015 with flag 731001/1066955
82.24/80.88	c cleaning 38002 clauses out of 76010 with flag 770001/1105955
86.65/85.28	c cleaning 39000 clauses out of 78007 with flag 810000/1145954
91.17/89.75	c cleaning 39995 clauses out of 80007 with flag 851000/1186954
95.70/94.23	c cleaning 41004 clauses out of 82013 with flag 893001/1228955
100.83/99.34	c cleaning 41996 clauses out of 84008 with flag 936000/1271954
106.06/104.52	c cleaning 43002 clauses out of 86013 with flag 980001/1315955
110.07/108.59	c cleaning 44000 clauses out of 88011 with flag 1025001/1360955
114.40/112.80	c cleaning 45004 clauses out of 90010 with flag 1071000/1406954
119.24/117.63	c cleaning 46000 clauses out of 92006 with flag 1118000/1453954
125.27/123.68	c cleaning 46999 clauses out of 94007 with flag 1166001/1501955
130.41/128.74	c cleaning 48000 clauses out of 96007 with flag 1215000/1550954
136.34/134.64	c cleaning 49004 clauses out of 98007 with flag 1265000/1600954
141.57/139.81	c cleaning 49997 clauses out of 100003 with flag 1316000/1651954
148.03/146.25	c cleaning 50998 clauses out of 102006 with flag 1368000/1703954
154.77/152.92	c cleaning 52001 clauses out of 104009 with flag 1421001/1756955
161.40/159.58	c cleaning 53002 clauses out of 106007 with flag 1475000/1810954
169.53/167.68	c cleaning 53997 clauses out of 108007 with flag 1530002/1865956
178.05/176.18	c cleaning 55001 clauses out of 110010 with flag 1586002/1921956
186.59/184.69	c cleaning 55998 clauses out of 112007 with flag 1643000/1978954
192.92/190.90	c cleaning 56994 clauses out of 114010 with flag 1701001/2036955
199.35/197.31	c cleaning 58002 clauses out of 116015 with flag 1760000/2095954
205.67/203.70	c cleaning 59000 clauses out of 118014 with flag 1820001/2155955
212.38/210.39	c cleaning 60007 clauses out of 120013 with flag 1881000/2216954
221.21/219.15	c cleaning 61000 clauses out of 122008 with flag 1943002/2278956
228.73/226.68	c cleaning 62005 clauses out of 124009 with flag 2006003/2341957
238.08/235.91	c cleaning 62996 clauses out of 126002 with flag 2070001/2405955
246.31/244.20	c cleaning 63997 clauses out of 128005 with flag 2135000/2470954
256.62/254.44	c cleaning 65005 clauses out of 130010 with flag 2201002/2536956
269.16/266.98	c cleaning 66002 clauses out of 132005 with flag 2268002/2603956
281.91/279.62	c cleaning 66995 clauses out of 134001 with flag 2336000/2671954
292.35/290.07	c cleaning 68002 clauses out of 136006 with flag 2405000/2740954
303.57/301.21	c cleaning 68988 clauses out of 138005 with flag 2475001/2810955
314.82/312.41	c cleaning 70003 clauses out of 140018 with flag 2546002/2881956
326.62/324.24	c cleaning 71000 clauses out of 142015 with flag 2618002/2953956
338.06/335.62	c cleaning 72001 clauses out of 144013 with flag 2691000/3026954
346.41/343.96	c cleaning 72999 clauses out of 146012 with flag 2765000/3100954
357.56/355.02	c cleaning 74004 clauses out of 148013 with flag 2840000/3175954
367.59/365.03	c cleaning 75004 clauses out of 150011 with flag 2916002/3251956
377.73/375.15	c cleaning 76002 clauses out of 152005 with flag 2993000/3328954
392.77/390.17	c cleaning 76996 clauses out of 154005 with flag 3071002/3406956
404.41/401.75	c cleaning 77999 clauses out of 156007 with flag 3150000/3485954
418.77/416.05	c cleaning 78997 clauses out of 158010 with flag 3230002/3565956
433.01/430.23	c cleaning 79999 clauses out of 160012 with flag 3311001/3646955
447.35/444.54	c cleaning 81006 clauses out of 162012 with flag 3393000/3728954
462.88/460.05	c cleaning 81993 clauses out of 164006 with flag 3476000/3811954
478.82/475.96	c cleaning 83005 clauses out of 166013 with flag 3560000/3895954
495.05/492.13	c cleaning 83998 clauses out of 168008 with flag 3645000/3980954
508.80/505.82	c cleaning 85002 clauses out of 170012 with flag 3731002/4066956
524.65/521.63	c cleaning 85993 clauses out of 172008 with flag 3818000/4153954
539.07/536.03	c cleaning 87001 clauses out of 174015 with flag 3906000/4241954
553.99/550.93	c cleaning 88006 clauses out of 176016 with flag 3995002/4330956
570.15/567.03	c cleaning 88996 clauses out of 178008 with flag 4085000/4420954
587.19/584.04	c cleaning 90000 clauses out of 180013 with flag 4176001/4511955
598.98/595.71	c cleaning 90997 clauses out of 182013 with flag 4268001/4603955
605.54/602.20	c Got one! Elapsed wall clock time (in seconds):602.092
605.54/602.20	o -47
608.14/604.83	c cleaning 74853 clauses out of 149719 with flag 5000/4662658
608.97/605.68	c cleaning 40425 clauses out of 80866 with flag 11000/4668658
609.59/606.25	c cleaning 23712 clauses out of 47441 with flag 18000/4675658
610.11/606.77	c cleaning 15861 clauses out of 31730 with flag 26001/4683659
610.75/607.35	c cleaning 12429 clauses out of 24870 with flag 35002/4692660
611.36/607.93	c cleaning 11218 clauses out of 22441 with flag 45002/4702660
611.97/608.59	c cleaning 11105 clauses out of 22221 with flag 56000/4713658
612.80/609.32	c cleaning 11556 clauses out of 23117 with flag 68001/4725659
613.63/610.15	c cleaning 12273 clauses out of 24560 with flag 81000/4738658
614.66/611.13	c cleaning 13140 clauses out of 26287 with flag 95000/4752658
615.78/612.28	c cleaning 14072 clauses out of 28149 with flag 110002/4767660
616.99/613.44	c cleaning 15034 clauses out of 30076 with flag 126001/4783659
618.11/614.56	c cleaning 16012 clauses out of 32041 with flag 143000/4800658
619.42/615.81	c cleaning 17007 clauses out of 34029 with flag 161000/4818658
620.83/617.22	c cleaning 18009 clauses out of 36024 with flag 180002/4837660
622.34/618.76	c cleaning 19001 clauses out of 38016 with flag 200003/4857661
624.15/620.52	c cleaning 20002 clauses out of 40012 with flag 221000/4878658
626.07/622.44	c cleaning 20996 clauses out of 42010 with flag 243000/4900658
628.09/624.46	c cleaning 22001 clauses out of 44015 with flag 266001/4923659
629.90/626.27	c cleaning 23007 clauses out of 46013 with flag 290000/4947658
632.13/628.47	c cleaning 23998 clauses out of 48006 with flag 315000/4972658
634.44/630.76	c cleaning 24997 clauses out of 50008 with flag 341000/4998658
637.04/633.38	c cleaning 26002 clauses out of 52011 with flag 368000/5025658
639.86/636.13	c cleaning 26999 clauses out of 54009 with flag 396000/5053658
642.79/639.03	c cleaning 28006 clauses out of 56014 with flag 425004/5082662
645.79/642.09	c cleaning 28998 clauses out of 58004 with flag 455000/5112658
648.90/645.16	c cleaning 29996 clauses out of 60007 with flag 486001/5143659
651.81/648.08	c cleaning 31006 clauses out of 62011 with flag 518001/5175659
654.93/651.17	c cleaning 32001 clauses out of 64006 with flag 551002/5208660
658.36/654.52	c cleaning 32999 clauses out of 66004 with flag 585001/5242659
661.87/658.05	c cleaning 34001 clauses out of 68005 with flag 620001/5277659
665.70/661.85	c cleaning 35002 clauses out of 70003 with flag 656000/5313658
669.64/665.73	c cleaning 35996 clauses out of 72001 with flag 693000/5350658
673.86/669.96	c cleaning 36995 clauses out of 74005 with flag 731000/5388658
678.06/674.11	c cleaning 38000 clauses out of 76010 with flag 770000/5427658
682.68/678.77	c cleaning 39005 clauses out of 78012 with flag 810002/5467660
686.58/682.69	c cleaning 39998 clauses out of 80006 with flag 851001/5508659
691.29/687.36	c cleaning 41004 clauses out of 82010 with flag 893003/5550661
696.41/692.42	c cleaning 41996 clauses out of 84004 with flag 936001/5593659
701.34/697.36	c cleaning 43004 clauses out of 86008 with flag 980001/5637659
707.35/703.39	c cleaning 43997 clauses out of 88004 with flag 1025001/5682659
714.49/710.40	c cleaning 44997 clauses out of 90006 with flag 1071000/5728658
721.82/717.71	c cleaning 45996 clauses out of 92009 with flag 1118000/5775658
728.76/724.68	c cleaning 47001 clauses out of 94014 with flag 1166001/5823659
736.96/732.85	c cleaning 47999 clauses out of 96012 with flag 1215000/5872658
745.00/740.83	c cleaning 49002 clauses out of 98013 with flag 1265000/5922658
753.26/749.05	c cleaning 50003 clauses out of 100012 with flag 1316001/5973659
759.36/755.10	c cleaning 51000 clauses out of 102009 with flag 1368001/6025659
766.29/762.01	c cleaning 51998 clauses out of 104009 with flag 1421001/6078659
774.52/770.29	c cleaning 53000 clauses out of 106011 with flag 1475001/6132659
783.55/779.23	c cleaning 53999 clauses out of 108012 with flag 1530002/6187660
791.75/787.41	c cleaning 55000 clauses out of 110012 with flag 1586001/6243659
800.17/795.82	c cleaning 56001 clauses out of 112012 with flag 1643001/6300659
808.19/803.84	c cleaning 57004 clauses out of 114011 with flag 1701001/6358659
816.61/812.21	c cleaning 58001 clauses out of 116006 with flag 1760000/6417658
826.32/821.99	c cleaning 58997 clauses out of 118008 with flag 1820003/6477661
836.34/831.95	c cleaning 59999 clauses out of 120009 with flag 1881001/6538659
847.18/842.72	c cleaning 60999 clauses out of 122009 with flag 1943000/6600658
857.60/853.14	c cleaning 62002 clauses out of 124010 with flag 2006000/6663658
868.72/864.26	c cleaning 62994 clauses out of 126008 with flag 2070000/6727658
875.85/871.30	c cleaning 64001 clauses out of 128015 with flag 2135001/6792659
882.68/878.13	c cleaning 65003 clauses out of 130014 with flag 2201001/6858659
892.50/887.91	c cleaning 66004 clauses out of 132010 with flag 2268000/6925658
903.28/898.64	c cleaning 66992 clauses out of 134006 with flag 2336000/6993658
911.99/907.40	c cleaning 68002 clauses out of 136015 with flag 2405001/7062659
923.24/918.55	c cleaning 69005 clauses out of 138013 with flag 2475001/7132659
932.09/927.31	c cleaning 70001 clauses out of 140007 with flag 2546000/7203658
942.62/937.87	c cleaning 70997 clauses out of 142006 with flag 2618000/7275658
953.78/948.99	c cleaning 71993 clauses out of 144010 with flag 2691001/7348659
965.14/960.23	c cleaning 73006 clauses out of 146016 with flag 2765000/7422658
977.01/972.05	c cleaning 74003 clauses out of 148010 with flag 2840000/7497658
989.13/984.14	c cleaning 74997 clauses out of 150008 with flag 2916001/7573659
1002.48/997.48	c cleaning 76003 clauses out of 152011 with flag 2993001/7650659
1015.31/1010.30	c cleaning 76997 clauses out of 154007 with flag 3071000/7728658
1028.78/1023.67	c cleaning 77996 clauses out of 156010 with flag 3150000/7807658
1040.71/1035.57	c cleaning 79002 clauses out of 158014 with flag 3230000/7887658
1055.14/1049.94	c cleaning 80001 clauses out of 160013 with flag 3311001/7968659
1068.90/1063.62	c cleaning 81005 clauses out of 162013 with flag 3393002/8050660
1083.12/1077.85	c cleaning 82000 clauses out of 164008 with flag 3476002/8133660
1096.87/1091.58	c cleaning 82995 clauses out of 166006 with flag 3560000/8217658
1113.29/1107.92	c cleaning 84002 clauses out of 168011 with flag 3645000/8302658
1129.36/1123.92	c cleaning 85000 clauses out of 170009 with flag 3731000/8388658
1146.04/1140.58	c cleaning 86002 clauses out of 172009 with flag 3818000/8475658
1165.00/1159.47	c cleaning 87000 clauses out of 174008 with flag 3906001/8563659
1183.66/1178.05	c cleaning 88000 clauses out of 176007 with flag 3995000/8652658
1202.50/1196.86	c cleaning 88999 clauses out of 178008 with flag 4085001/8742659
1224.91/1219.25	c cleaning 89996 clauses out of 180009 with flag 4176001/8833659
1248.68/1242.92	c cleaning 91001 clauses out of 182014 with flag 4268002/8925660
1271.28/1265.52	c cleaning 91999 clauses out of 184012 with flag 4361001/9018659
1291.75/1285.94	c cleaning 93007 clauses out of 186014 with flag 4455002/9112660
1312.76/1306.99	c cleaning 94003 clauses out of 188005 with flag 4550000/9207658
1332.90/1327.00	c cleaning 94993 clauses out of 190003 with flag 4646001/9303659
1351.65/1345.77	c cleaning 96003 clauses out of 192011 with flag 4743002/9400660
1371.41/1365.45	c cleaning 96999 clauses out of 194007 with flag 4841001/9498659
1390.42/1384.47	c cleaning 98001 clauses out of 196007 with flag 4940000/9597658
1411.07/1405.03	c cleaning 98997 clauses out of 198008 with flag 5040002/9697660
1430.77/1424.60	c cleaning 100003 clauses out of 200009 with flag 5141000/9798658
1451.08/1444.92	c cleaning 100994 clauses out of 202007 with flag 5243001/9900659
1471.72/1465.51	c cleaning 101999 clauses out of 204012 with flag 5346000/10003658
1495.07/1488.86	c cleaning 102996 clauses out of 206013 with flag 5450000/10107658
1510.95/1504.67	c cleaning 103999 clauses out of 208017 with flag 5555000/10212658
1528.80/1522.47	c cleaning 105007 clauses out of 210018 with flag 5661000/10318658
1550.76/1544.31	c cleaning 106001 clauses out of 212011 with flag 5768000/10425658
1569.88/1563.43	c cleaning 107001 clauses out of 214011 with flag 5876001/10533659
1590.55/1584.01	c cleaning 107997 clauses out of 216010 with flag 5985001/10642659
1610.52/1603.93	c cleaning 109003 clauses out of 218013 with flag 6095001/10752659
1630.99/1624.33	c cleaning 110003 clauses out of 220010 with flag 6206001/10863659
1655.44/1648.77	c cleaning 111001 clauses out of 222007 with flag 6318001/10975659
1679.38/1672.61	c cleaning 112000 clauses out of 224005 with flag 6431000/11088658
1681.70/1674.91	c Got one! Elapsed wall clock time (in seconds):1674.801
1681.70/1674.91	o -48
1684.21/1677.44	c cleaning 70984 clauses out of 141979 with flag 5002/11118632
1685.23/1678.40	c cleaning 38494 clauses out of 76993 with flag 11000/11124630
1685.84/1679.02	c cleaning 22745 clauses out of 45500 with flag 18001/11131631
1686.37/1679.56	c cleaning 15373 clauses out of 30755 with flag 26001/11139631
1686.88/1680.10	c cleaning 12187 clauses out of 24382 with flag 35001/11148631
1687.53/1680.67	c cleaning 11091 clauses out of 22194 with flag 45000/11158630
1688.25/1681.32	c cleaning 11049 clauses out of 22104 with flag 56001/11169631
1688.96/1682.04	c cleaning 11519 clauses out of 23055 with flag 68001/11181631
1689.79/1682.88	c cleaning 12263 clauses out of 24535 with flag 81000/11194630
1690.82/1683.87	c cleaning 13131 clauses out of 26272 with flag 95000/11208630
1691.94/1684.98	c cleaning 14070 clauses out of 28141 with flag 110000/11223630
1693.27/1686.24	c cleaning 15036 clauses out of 30071 with flag 126000/11239630
1694.63/1687.60	c cleaning 16014 clauses out of 32035 with flag 143000/11256630
1696.19/1689.07	c cleaning 17007 clauses out of 34023 with flag 161002/11274632
1697.82/1690.62	c cleaning 17999 clauses out of 36014 with flag 180000/11293630
1699.54/1692.39	c cleaning 19008 clauses out of 38018 with flag 200003/11313633
1701.65/1694.47	c cleaning 20003 clauses out of 40007 with flag 221000/11334630
1703.79/1696.54	c cleaning 21000 clauses out of 42005 with flag 243001/11356631
1706.11/1698.81	c cleaning 22002 clauses out of 44006 with flag 266002/11379632
1708.62/1701.32	c cleaning 23001 clauses out of 46002 with flag 290000/11403630
1711.24/1703.99	c cleaning 24001 clauses out of 48002 with flag 315001/11428631
1714.15/1706.88	c cleaning 24998 clauses out of 50000 with flag 341000/11454630
1717.26/1709.91	c cleaning 25999 clauses out of 52002 with flag 368000/11481630
1720.58/1713.27	c cleaning 26999 clauses out of 54003 with flag 396000/11509630
1724.01/1716.68	c cleaning 28001 clauses out of 56005 with flag 425001/11538631
1727.62/1720.25	c cleaning 29000 clauses out of 58004 with flag 455001/11568631
1731.33/1723.91	c cleaning 30001 clauses out of 60005 with flag 486002/11599632
1733.86/1726.46	c cleaning 30990 clauses out of 62002 with flag 518000/11631630
1736.77/1729.37	c cleaning 32003 clauses out of 64012 with flag 551000/11664630
1739.81/1732.35	c cleaning 33005 clauses out of 66009 with flag 585000/11698630
1743.24/1735.73	c cleaning 33993 clauses out of 68004 with flag 620000/11733630
1746.95/1739.48	c cleaning 35002 clauses out of 70012 with flag 656001/11769631
1750.46/1742.97	c cleaning 35998 clauses out of 72011 with flag 693002/11806632
1754.68/1747.13	c cleaning 37003 clauses out of 74013 with flag 731002/11844632
1759.00/1751.49	c cleaning 38000 clauses out of 76008 with flag 770000/11883630
1763.83/1756.23	c cleaning 38995 clauses out of 78008 with flag 810000/11923630
1768.94/1761.37	c cleaning 40000 clauses out of 80014 with flag 851001/11964631
1773.76/1766.11	c cleaning 40998 clauses out of 82014 with flag 893001/12006631
1779.07/1771.44	c cleaning 42006 clauses out of 84017 with flag 936002/12049632
1784.78/1777.13	c cleaning 42998 clauses out of 86009 with flag 980000/12093630
1790.50/1782.86	c cleaning 44002 clauses out of 88013 with flag 1025002/12138632
1796.32/1788.60	c cleaning 44999 clauses out of 90009 with flag 1071000/12184630
1800.05/1792.31	c starts		: 337
1800.05/1792.31	c conflicts		: 12217689
1800.05/1792.31	c decisions		: 12512804
1800.05/1792.31	c propagations		: 62531765
1800.05/1792.31	c inspects		: 16690851253
1800.05/1792.31	c shortcuts		: 0
1800.05/1792.31	c learnt literals	: 0
1800.05/1792.31	c learnt binary clauses	: 0
1800.05/1792.31	c learnt ternary clauses	: 0
1800.05/1792.31	c learnt constraints	: 12217689
1800.05/1792.31	c ignored constraints	: 0
1800.05/1792.31	c root simplifications	: 337
1800.05/1792.31	c removed literals (reason simplification)	: 230168111
1800.05/1792.31	c reason swapping (by a shorter reason)	: 0
1800.05/1792.31	c Calls to reduceDB	: 265
1800.05/1792.31	c number of reductions to clauses (during analyze)	: 0
1800.05/1792.31	c number of learned constraints concerned by reduction	: 0
1800.05/1792.31	c number of learning phase by resolution	: 0
1800.05/1792.31	c number of learning phase by cutting planes	: 0
1800.05/1792.31	c speed (assignments/second)	: 34894.29999654024
1800.05/1792.31	c non guided choices	1185
1800.05/1792.34	c learnt constraints type 
1800.05/1792.34	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 78206
1800.05/1792.34	c constraints type 
1800.05/1792.34	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1264
1800.05/1792.34	c org.sat4j.minisat.constraints.cnf.UnitClauses => 200
1800.05/1792.34	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.05/1792.34	c ignored satisfied constraints => 200
1800.05/1792.34	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1264
1800.05/1792.34	c 2929 constraints processed.
1800.05/1792.34	s SATISFIABLE
1800.05/1792.34	v x1 x2 -x3 x4 -x5 -x6 -x7 x8 x9 x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 x67 -x68 x69 x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 x78 -x79 -x80 -x81 -x82 x83 -x84 -x85 -x86 -x87 -x88 x89 -x90 -x91 -x92 -x93 -x94 -x95 x96 x97 -x98 -x99 -x100 -x101 -x102 x103 -x104 -x105 -x106 -x107 x108 -x109 -x110 -x111 x112 -x113 x114 -x115 x116 x117 -x118 x119 -x120 -x121 -x122 x123 x124 x125 x126 x127 -x128 -x129 -x130 -x131 -x132 x133 x134 x135 -x136 x137 -x138 -x139 -x140 -x141 x142 -x143 -x144 -x145 -x146 x147 x148 -x149 -x150 x151 x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 x160 -x161 -x162 x163 -x164 -x165 -x166 -x167 x168 -x169 -x170 -x171 x172 -x173 x174 -x175 x176 -x177 -x178 -x179 x180 -x181 -x182 -x183 x184 -x185 x186 -x187 -x188 x189 -x190 x191 -x192 -x193 x194 x195 -x196 -x197 -x198 -x199 -x200 
1800.05/1792.34	c objective function=-48
1800.05/1792.34	c Total wall clock time (in seconds): 1792.228

Verifier Data 

OK	-48

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3711242-1338170152/watcher-3711242-1338170152 -o /tmp/evaluation-result-3711242-1338170152/solver-3711242-1338170152 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3711242-1338170152.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.10 2.09 2.03 2/194 14735
/proc/meminfo: memFree=29344924/32873648 swapFree=6860/6860
[pid=14735] ppid=14733 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/14735/stat : 14735 (java) S 14733 14735 13368 0 -1 4202496 1259 0 0 0 0 0 0 0 20 0 2 0 283141300 98570240 959 33554432000 1073741824 1073778376 140734122598720 140734122589856 266439000125 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14735/statm: 24065 968 736 9 0 16771 0
[pid=14735/tid=14736] ppid=14733 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/14735/task/14736/stat : 14736 (java) R 14733 14735 13368 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 283141301 98570240 977 33554432000 1073741824 1073778376 140734122598720 140520268320296 266435642752 0 0 4096 0 0 0 0 -1 0 0 0 0 0 0

[startup+0.0164529 s]
/proc/loadavg: 2.10 2.09 2.03 2/194 14735
/proc/meminfo: memFree=29344924/32873648 swapFree=6860/6860
[pid=14735] ppid=14733 vsize=9016616 CPUtime=0 cores=0,2,4,6
/proc/14735/stat : 14735 (java) S 14733 14735 13368 0 -1 4202496 2493 0 1 0 0 0 0 0 20 0 10 0 283141300 9233014784 3191 33554432000 1073741824 1073778376 140734122598720 140734122589856 266439000125 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14735/statm: 2254154 3200 1313 9 0 2244855 0
[pid=14735/tid=14736] ppid=14733 vsize=9016616 CPUtime=0 cores=0,2,4,6
/proc/14735/task/14736/stat : 14736 (java) R 14733 14735 13368 0 -1 4202560 1349 0 1 0 0 0 0 0 20 0 10 0 283141301 9233014784 3205 33554432000 1073741824 1073778376 140734122598720 140520268321472 140520258389157 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9016616

[startup+0.100289 s]
/proc/loadavg: 2.10 2.09 2.03 2/194 14735
/proc/meminfo: memFree=29344924/32873648 swapFree=6860/6860
[pid=14735] ppid=14733 vsize=9558440 CPUtime=0.1 cores=0,2,4,6
/proc/14735/stat : 14735 (java) S 14733 14735 13368 0 -1 4202496 4361 0 1 0 9 1 0 0 20 0 18 0 283141300 9787842560 6078 33554432000 1073741824 1073778376 140734122598720 140734122589856 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14735/statm: 2389610 6078 2122 9 0 2380296 0
[pid=14735/tid=14736] ppid=14733 vsize=9558440 CPUtime=0.07 cores=0,2,4,6
/proc/14735/task/14736/stat : 14736 (java) R 14733 14735 13368 0 -1 4202560 2484 0 1 0 7 0 0 0 20 0 18 0 283141301 9787842560 6078 33554432000 1073741824 1073778376 140734122598720 140520268323464 140520275335372 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558440

[startup+0.300194 s]
/proc/loadavg: 2.10 2.09 2.03 2/194 14735
/proc/meminfo: memFree=29344924/32873648 swapFree=6860/6860
[pid=14735] ppid=14733 vsize=9625004 CPUtime=0.46 cores=0,2,4,6
/proc/14735/stat : 14735 (java) S 14733 14735 13368 0 -1 4202496 5292 0 1 0 45 1 0 0 20 0 19 0 283141300 9856004096 8235 33554432000 1073741824 1073778376 140734122598720 140734122589856 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14735/statm: 2406251 8235 2239 9 0 2396937 0
[pid=14735/tid=14736] ppid=14733 vsize=9625004 CPUtime=0.27 cores=0,2,4,6
/proc/14735/task/14736/stat : 14736 (java) R 14733 14735 13368 0 -1 4202560 2507 0 1 0 27 0 0 0 20 0 19 0 283141301 9856004096 8235 33554432000 1073741824 1073778376 140734122598720 140520268325648 140520139635148 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 9625004

[startup+0.700194 s]
/proc/loadavg: 2.10 2.09 2.03 2/194 14735
/proc/meminfo: memFree=29344924/32873648 swapFree=6860/6860
[pid=14735] ppid=14733 vsize=9625004 CPUtime=1.24 cores=0,2,4,6
/proc/14735/stat : 14735 (java) S 14733 14735 13368 0 -1 4202496 8529 0 1 0 122 2 0 0 20 0 19 0 283141300 9856004096 10667 33554432000 1073741824 1073778376 140734122598720 140734122589856 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14735/statm: 2406251 10667 2267 9 0 2396937 0
[pid=14735/tid=14736] ppid=14733 vsize=9625004 CPUtime=0.67 cores=0,2,4,6
/proc/14735/task/14736/stat : 14736 (java) R 14733 14735 13368 0 -1 4202560 2511 0 1 0 66 1 0 0 20 0 19 0 283141301 9856004096 10667 33554432000 1073741824 1073778376 140734122598720 140520268322744 140520139635490 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 9625004

[startup+1.5007 s]
/proc/loadavg: 2.10 2.09 2.03 3/213 14754
/proc/meminfo: memFree=29293856/32873648 swapFree=6860/6860
[pid=14735] ppid=14733 vsize=9625004 CPUtime=2.12 cores=0,2,4,6
/proc/14735/stat : 14735 (java) S 14733 14735 13368 0 -1 4202496 8621 0 1 0 209 3 0 0 20 0 19 0 283141300 9856004096 15838 33554432000 1073741824 1073778376 140734122598720 140734122589856 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14735/statm: 2406251 15838 2288 9 0 2396937 0
[pid=14735/tid=14736] ppid=14733 vsize=9625004 CPUtime=1.43 cores=0,2,4,6
/proc/14735/task/14736/stat : 14736 (java) R 14733 14735 13368 0 -1 4202560 2515 0 1 0 142 1 0 0 20 0 19 0 283141301 9856004096 15838 33554432000 1073741824 1073778376 140734122598720 140520268325352 140520140157308 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=14735/tid=14738] ppid=14733 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14735/task/14738/stat : 14738 (java) S 14733 14735 13368 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 283141301 9856004096 15838 33554432000 1073741824 1073778376 140734122598720 140520111945896 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14735/tid=14739] ppid=14733 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14735/task/14739/stat : 14739 (java) S 14733 14735 13368 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 283141301 9856004096 15838 33554432000 1073741824 1073778376 140734122598720 140520110893352 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14735/tid=14740] ppid=14733 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14735/task/14740/stat : 14740 (java) S 14733 14735 13368 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 283141301 9856004096 15838 33554432000 1073741824 1073778376 140734122598720 140520109840808 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14735/tid=14741] ppid=14733 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14735/task/14741/stat : 14741 (java) S 14733 14735 13368 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 283141301 9856004096 15838 33554432000 1073741824 1073778376 140734122598720 140520108788264 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14735/tid=14742] ppid=14733 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14735/task/14742/stat : 14742 (java) S 14733 14735 13368 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 283141301 9856004096 15838 33554432000 1073741824 1073778376 140734122598720 140520107735720 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14735/tid=14743] ppid=14733 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14735/task/14743/stat : 14743 (java) S 14733 14735 13368 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283141301 9856004096 15838 33554432000 1073741824 1073778376 140734122598720 140520106683176 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14735/tid=14744] ppid=14733 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14735/task/14744/stat : 14744 (java) S 14733 14735 13368 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 283141301 9856004096 15838 33554432000 1073741824 1073778376 140734122598720 140520105630632 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14735/tid=14745] ppid=14733 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14735/task/14745/stat : 14745 (java) S 14733 14735 13368 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 283141301 9856004096 15838 33554432000 1073741824 1073778376 140734122598720 140520104578088 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14735/tid=14746] ppid=14733 vsize=9625004 CPUtime=0.02 cores=0,2,4,6
/proc/14735/task/14746/stat : 14746 (java) S 14733 14735 13368 0 -1 4202560 35 0 0 0 2 0 0 0 20 0 19 0 283141303 9856004096 15838 33554432000 1073741824 1073778376 140734122598720 140520092379240 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14735/tid=14747] ppid=14733 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14735/task/14747/stat : 14747 (java) S 14733 14735 13368 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283141303 9856004096 15838 33554432000 1073741824 1073778376 140734122598720 140520091325560 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14735/tid=14748] ppid=14733 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14735/task/14748/stat : 14748 (java) S 14733 14735 13368 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283141303 9856004096 15838 33554432000 1073741824 1073778376 140734122598720 140520090272904 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14735/tid=14749] ppid=14733 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14735/task/14749/stat : 14749 (java) S 14733 14735 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283141305 9856004096 15838 33554432000 1073741824 1073778376 140734122598720 140520089221648 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14735/tid=14750] ppid=14733 vsize=9625004 CPUtime=0.3 cores=0,2,4,6
/proc/14735/task/14750/stat : 14750 (java) S 14733 14735 13368 0 -1 4202560 2020 0 0 0 30 0 0 0 20 0 19 0 283141305 9856004096 15838 33554432000 1073741824 1073778376 140734122598720 140520088169016 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14735/tid=14751] ppid=14733 vsize=9625004 CPUtime=0.29 cores=0,2,4,6
/proc/14735/task/14751/stat : 14751 (java) S 14733 14735 13368 0 -1 4202560 2810 0 0 0 29 0 0 0 20 0 19 0 283141305 9856004096 15838 33554432000 1073741824 1073778376 140734122598720 140520087116472 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14735/tid=14752] ppid=14733 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14735/task/14752/stat : 14752 (java) S 14733 14735 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283141305 9856004096 15838 33554432000 1073741824 1073778376 140734122598720 140520086064120 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14735/tid=14753] ppid=14733 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14735/task/14753/stat : 14753 (java) S 14733 14735 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283141305 9856004096 15838 33554432000 1073741824 1073778376 140734122598720 140520085011784 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14735/tid=14754] ppid=14733 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14735/task/14754/stat : 14754 (java) S 14733 14735 13368 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 283141328 9856004096 15838 33554432000 1073741824 1073778376 140734122598720 140520083956520 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.12
Current children cumulated vsize (KiB) 9625004

[startup+3.10072 s]
/proc/loadavg: 2.10 2.09 2.03 3/213 14754
/proc/meminfo: memFree=29289016/32873648 swapFree=6860/6860
[pid=14735] ppid=14733 vsize=9625004 CPUtime=3.76 cores=0,2,4,6
/proc/14735/stat : 14735 (java) S 14733 14735 13368 0 -1 4202496 8639 0 1 0 373 3 0 0 20 0 19 0 283141300 9856004096 16364 33554432000 1073741824 1073778376 140734122598720 140734122589856 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14735/statm: 2406251 16364 2288 9 0 2396937 0
[pid=14735/tid=14736] ppid=14733 vsize=9625004 CPUtime=2.98 cores=0,2,4,6
/proc/14735/task/14736/stat : 14736 (java) R 14733 14735 13368 0 -1 4202560 2517 0 1 0 297 1 0 0 20 0 19 0 283141301 9856004096 16364 33554432000 1073741824 1073778376 140734122598720 140520268325400 140520139790210 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=14735/tid=14738] ppid=14733 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14735/task/14738/stat : 14738 (java) S 14733 14735 13368 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 283141301 9856004096 16364 33554432000 1073741824 1073778376 140734122598720 140520111945896 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14735/tid=14739] ppid=14733 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14735/task/14739/stat : 14739 (java) S 14733 14735 13368 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 283141301 9856004096 16364 33554432000 1073741824 1073778376 140734122598720 140520110893352 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14735/tid=14740] ppid=14733 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14735/task/14740/stat : 14740 (java) S 14733 14735 13368 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 283141301 9856004096 16364 33554432000 1073741824 1073778376 140734122598720 140520109840808 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14735/tid=14741] ppid=14733 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14735/task/14741/stat : 14741 (java) S 14733 14735 13368 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 283141301 9856004096 16364 33554432000 1073741824 1073778376 140734122598720 140520108788264 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14735/tid=14742] ppid=14733 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14735/task/14742/stat : 14742 (java) S 14733 14735 13368 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283141301 9856004096 16364 33554432000 1073741824 1073778376 140734122598720 140520107735720 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14735/tid=14743] ppid=14733 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14735/task/14743/stat : 14743 (java) S 14733 14735 13368 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283141301 9856004096 16364 33554432000 1073741824 1073778376 140734122598720 140520106683176 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14735/tid=14744] ppid=14733 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14735/task/14744/stat : 14744 (java) S 14733 14735 13368 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 283141301 9856004096 16364 33554432000 1073741824 1073778376 140734122598720 140520105630632 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14735/tid=14745] ppid=14733 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14735/task/14745/stat : 14745 (java) S 14733 14735 13368 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 283141301 9856004096 16364 33554432000 1073741824 1073778376 140734122598720 140520104578088 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14735/tid=14746] ppid=14733 vsize=9625004 CPUtime=0.06 cores=0,2,4,6
/proc/14735/task/14746/stat : 14746 (java) S 14733 14735 13368 0 -1 4202560 36 0 0 0 6 0 0 0 20 0 19 0 283141303 9856004096 16364 33554432000 1073741824 1073778376 140734122598720 140520092379240 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14735/tid=14747] ppid=14733 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14735/task/14747/stat : 14747 (java) S 14733 14735 13368 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283141303 9856004096 16364 33554432000 1073741824 1073778376 140734122598720 140520091325560 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14735/tid=14748] ppid=14733 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14735/task/14748/stat : 14748 (java) S 14733 14735 13368 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283141303 9856004096 16364 33554432000 1073741824 1073778376 140734122598720 140520090272904 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14735/tid=14749] ppid=14733 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14735/task/14749/stat : 14749 (java) S 14733 14735 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283141305 9856004096 16364 33554432000 1073741824 1073778376 140734122598720 140520089221648 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14735/tid=14750] ppid=14733 vsize=9625004 CPUtime=0.33 cores=0,2,4,6
/proc/14735/task/14750/stat : 14750 (java) S 14733 14735 13368 0 -1 4202560 2021 0 0 0 33 0 0 0 20 0 19 0 283141305 9856004096 16364 33554432000 1073741824 1073778376 140734122598720 140520088169016 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14735/tid=14751] ppid=14733 vsize=9625004 CPUtime=0.29 cores=0,2,4,6
/proc/14735/task/14751/stat : 14751 (java) S 14733 14735 13368 0 -1 4202560 2810 0 0 0 29 0 0 0 20 0 19 0 283141305 9856004096 16364 33554432000 1073741824 1073778376 140734122598720 140520087116472 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14735/tid=14752] ppid=14733 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14735/task/14752/stat : 14752 (java) S 14733 14735 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283141305 9856004096 16364 33554432000 1073741824 1073778376 140734122598720 140520086064120 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14735/tid=14753] ppid=14733 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14735/task/14753/stat : 14753 (java) S 14733 14735 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283141305 9856004096 16364 33554432000 1073741824 1073778376 140734122598720 140520085011784 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14735/tid=14754] ppid=14733 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14735/task/14754/stat : 14754 (java) S 14733 14735 13368 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 283141328 9856004096 16364 33554432000 1073741824 1073778376 140734122598720 140520083956520 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.76
Current children cumulated vsize (KiB) 9625004

[startup+6.30063 s]
/proc/loadavg: 2.09 2.09 2.03 3/213 14754
/proc/meminfo: memFree=29272392/32873648 swapFree=6860/6860
[pid=14735] ppid=14733 vsize=9625004 CPUtime=7.01 cores=0,2,4,6
/proc/14735/stat : 14735 (java) S 14733 14735 13368 0 -1 4202496 8678 0 1 0 697 4 0 0 20 0 19 0 283141300 9856004096 19936 33554432000 1073741824 1073778376 140734122598720 140734122589856 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14735/statm: 2406251 19936 2288 9 0 2396937 0
[pid=14735/tid=14736] ppid=14733 vsize=9625004 CPUtime=6.05 cores=0,2,4,6
/proc/14735/task/14736/stat : 14736 (java) R 14733 14735 13368 0 -1 4202560 2525 0 1 0 604 1 0 0 20 0 19 0 283141301 9856004096 19936 33554432000 1073741824 1073778376 140734122598720 140520268325232 140520140091414 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=14735/tid=14738] ppid=14733 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14735/task/14738/stat : 14738 (java) S 14733 14735 13368 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 283141301 9856004096 19936 33554432000 1073741824 1073778376 140734122598720 140520111945896 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14735/tid=14739] ppid=14733 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14735/task/14739/stat : 14739 (java) S 14733 14735 13368 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 283141301 9856004096 19936 33554432000 1073741824 1073778376 140734122598720 140520110893352 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14735/tid=14740] ppid=14733 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14735/task/14740/stat : 14740 (java) S 14733 14735 13368 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 283141301 9856004096 19936 33554432000 1073741824 1073778376 140734122598720 140520109840808 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14735/tid=14741] ppid=14733 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/14735/task/14741/stat : 14741 (java) S 14733 14735 13368 0 -1 4202560 21 0 0 0 1 0 0 0 20 0 19 0 283141301 9856004096 19936 33554432000 1073741824 1073778376 140734122598720 140520108788264 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14735/tid=14742] ppid=14733 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14735/task/14742/stat : 14742 (java) S 14733 14735 13368 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 283141301 9856004096 19936 33554432000 1073741824 1073778376 140734122598720 140520107735720 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14735/tid=14743] ppid=14733 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14735/task/14743/stat : 14743 (java) S 14733 14735 13368 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 283141301 9856004096 19936 33554432000 1073741824 1073778376 140734122598720 140520106683176 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14735/tid=14744] ppid=14733 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14735/task/14744/stat : 14744 (java) S 14733 14735 13368 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283141301 9856004096 19936 33554432000 1073741824 1073778376 140734122598720 140520105630632 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14735/tid=14745] ppid=14733 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14735/task/14745/stat : 14745 (java) S 14733 14735 13368 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 283141301 9856004096 19936 33554432000 1073741824 1073778376 140734122598720 140520104578088 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14735/tid=14746] ppid=14733 vsize=9625004 CPUtime=0.18 cores=0,2,4,6
/proc/14735/task/14746/stat : 14746 (java) S 14733 14735 13368 0 -1 4202560 40 0 0 0 18 0 0 0 20 0 19 0 283141303 9856004096 19936 33554432000 1073741824 1073778376 140734122598720 140520092379240 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14735/tid=14747] ppid=14733 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14735/task/14747/stat : 14747 (java) S 14733 14735 13368 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283141303 9856004096 19936 33554432000 1073741824 1073778376 140734122598720 140520091325560 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14735/tid=14748] ppid=14733 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14735/task/14748/stat : 14748 (java) S 14733 14735 13368 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283141303 9856004096 19936 33554432000 1073741824 1073778376 140734122598720 140520090272904 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14735/tid=14749] ppid=14733 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14735/task/14749/stat : 14749 (java) S 14733 14735 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283141305 9856004096 19936 33554432000 1073741824 1073778376 140734122598720 140520089221648 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14735/tid=14750] ppid=14733 vsize=9625004 CPUtime=0.33 cores=0,2,4,6
/proc/14735/task/14750/stat : 14750 (java) S 14733 14735 13368 0 -1 4202560 2021 0 0 0 33 0 0 0 20 0 19 0 283141305 9856004096 19936 33554432000 1073741824 1073778376 140734122598720 140520088169016 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14735/tid=14751] ppid=14733 vsize=9625004 CPUtime=0.29 cores=0,2,4,6
/proc/14735/task/14751/stat : 14751 (java) S 14733 14735 13368 0 -1 4202560 2810 0 0 0 29 0 0 0 20 0 19 0 283141305 9856004096 19936 33554432000 1073741824 1073778376 140734122598720 140520087116472 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0

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

[pid=14735/tid=14743] ppid=14733 vsize=9625004 CPUtime=1.18 cores=0,2,4,6
/proc/14735/task/14743/stat : 14743 (java) S 14733 14735 13368 0 -1 4202560 255 0 0 0 115 3 0 0 20 0 19 0 283141301 9856004096 72022 33554432000 1073741824 1073778376 140734122598720 140520106683176 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14735/tid=14744] ppid=14733 vsize=9625004 CPUtime=1.12 cores=0,2,4,6
/proc/14735/task/14744/stat : 14744 (java) S 14733 14735 13368 0 -1 4202560 269 0 0 0 109 3 0 0 20 0 19 0 283141301 9856004096 72022 33554432000 1073741824 1073778376 140734122598720 140520105630632 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14735/tid=14745] ppid=14733 vsize=9625004 CPUtime=1.24 cores=0,2,4,6
/proc/14735/task/14745/stat : 14745 (java) S 14733 14735 13368 0 -1 4202560 275 0 0 0 121 3 0 0 20 0 19 0 283141301 9856004096 72022 33554432000 1073741824 1073778376 140734122598720 140520104578088 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14735/tid=14746] ppid=14733 vsize=9625004 CPUtime=10.33 cores=0,2,4,6
/proc/14735/task/14746/stat : 14746 (java) S 14733 14735 13368 0 -1 4202560 162 0 0 0 1030 3 0 0 20 0 19 0 283141303 9856004096 72022 33554432000 1073741824 1073778376 140734122598720 140520092379240 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14735/tid=14747] ppid=14733 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14735/task/14747/stat : 14747 (java) S 14733 14735 13368 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283141303 9856004096 72022 33554432000 1073741824 1073778376 140734122598720 140520091325560 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14735/tid=14748] ppid=14733 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14735/task/14748/stat : 14748 (java) S 14733 14735 13368 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283141303 9856004096 72022 33554432000 1073741824 1073778376 140734122598720 140520090272904 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14735/tid=14749] ppid=14733 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14735/task/14749/stat : 14749 (java) S 14733 14735 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283141305 9856004096 72022 33554432000 1073741824 1073778376 140734122598720 140520089221648 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14735/tid=14750] ppid=14733 vsize=9625004 CPUtime=0.35 cores=0,2,4,6
/proc/14735/task/14750/stat : 14750 (java) S 14733 14735 13368 0 -1 4202560 2347 0 0 0 35 0 0 0 20 0 19 0 283141305 9856004096 72022 33554432000 1073741824 1073778376 140734122598720 140520088169016 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14735/tid=14751] ppid=14733 vsize=9625004 CPUtime=0.29 cores=0,2,4,6
/proc/14735/task/14751/stat : 14751 (java) S 14733 14735 13368 0 -1 4202560 2810 0 0 0 29 0 0 0 20 0 19 0 283141305 9856004096 72022 33554432000 1073741824 1073778376 140734122598720 140520087116472 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14735/tid=14752] ppid=14733 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14735/task/14752/stat : 14752 (java) S 14733 14735 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283141305 9856004096 72022 33554432000 1073741824 1073778376 140734122598720 140520086064120 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14735/tid=14753] ppid=14733 vsize=9625004 CPUtime=0.52 cores=0,2,4,6
/proc/14735/task/14753/stat : 14753 (java) S 14733 14735 13368 0 -1 4202560 99 0 0 0 26 26 0 0 20 0 19 0 283141305 9856004096 72022 33554432000 1073741824 1073778376 140734122598720 140520085011784 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14735/tid=14754] ppid=14733 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14735/task/14754/stat : 14754 (java) S 14733 14735 13368 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 283141328 9856004096 72022 33554432000 1073741824 1073778376 140734122598720 140520083956520 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1729.74
Current children cumulated vsize (KiB) 9625004

[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/213 14852
/proc/meminfo: memFree=29516912/32873648 swapFree=6860/6860
[pid=14735] ppid=14733 vsize=9625004 CPUtime=1790 cores=0,2,4,6
/proc/14735/stat : 14735 (java) S 14733 14735 13368 0 -1 4202496 11898 0 1 0 178945 55 0 0 20 0 19 0 283141300 9856004096 72022 33554432000 1073741824 1073778376 140734122598720 140734122589856 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14735/statm: 2406251 72022 2289 9 0 2396937 0
[pid=14735/tid=14736] ppid=14733 vsize=9625004 CPUtime=1768.41 cores=0,2,4,6
/proc/14735/task/14736/stat : 14736 (java) R 14733 14735 13368 0 -1 4202560 2799 0 1 0 176811 30 0 0 20 0 19 0 283141301 9856004096 72022 33554432000 1073741824 1073778376 140734122598720 140520268325232 140520140253043 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=14735/tid=14738] ppid=14733 vsize=9625004 CPUtime=1.3 cores=0,2,4,6
/proc/14735/task/14738/stat : 14738 (java) S 14733 14735 13368 0 -1 4202560 356 0 0 0 127 3 0 0 20 0 19 0 283141301 9856004096 72022 33554432000 1073741824 1073778376 140734122598720 140520111945896 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14735/tid=14739] ppid=14733 vsize=9625004 CPUtime=1.16 cores=0,2,4,6
/proc/14735/task/14739/stat : 14739 (java) S 14733 14735 13368 0 -1 4202560 338 0 0 0 114 2 0 0 20 0 19 0 283141301 9856004096 72022 33554432000 1073741824 1073778376 140734122598720 140520110893352 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14735/tid=14740] ppid=14733 vsize=9625004 CPUtime=1.16 cores=0,2,4,6
/proc/14735/task/14740/stat : 14740 (java) S 14733 14735 13368 0 -1 4202560 418 0 0 0 114 2 0 0 20 0 19 0 283141301 9856004096 72022 33554432000 1073741824 1073778376 140734122598720 140520109840808 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14735/tid=14741] ppid=14733 vsize=9625004 CPUtime=1.2 cores=0,2,4,6
/proc/14735/task/14741/stat : 14741 (java) S 14733 14735 13368 0 -1 4202560 295 0 0 0 117 3 0 0 20 0 19 0 283141301 9856004096 72022 33554432000 1073741824 1073778376 140734122598720 140520108788264 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14735/tid=14742] ppid=14733 vsize=9625004 CPUtime=1.19 cores=0,2,4,6
/proc/14735/task/14742/stat : 14742 (java) S 14733 14735 13368 0 -1 4202560 282 0 0 0 115 4 0 0 20 0 19 0 283141301 9856004096 72022 33554432000 1073741824 1073778376 140734122598720 140520107735720 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14735/tid=14743] ppid=14733 vsize=9625004 CPUtime=1.22 cores=0,2,4,6
/proc/14735/task/14743/stat : 14743 (java) S 14733 14735 13368 0 -1 4202560 255 0 0 0 119 3 0 0 20 0 19 0 283141301 9856004096 72022 33554432000 1073741824 1073778376 140734122598720 140520106683176 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14735/tid=14744] ppid=14733 vsize=9625004 CPUtime=1.16 cores=0,2,4,6
/proc/14735/task/14744/stat : 14744 (java) S 14733 14735 13368 0 -1 4202560 269 0 0 0 113 3 0 0 20 0 19 0 283141301 9856004096 72022 33554432000 1073741824 1073778376 140734122598720 140520105630632 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14735/tid=14745] ppid=14733 vsize=9625004 CPUtime=1.29 cores=0,2,4,6
/proc/14735/task/14745/stat : 14745 (java) S 14733 14735 13368 0 -1 4202560 275 0 0 0 126 3 0 0 20 0 19 0 283141301 9856004096 72022 33554432000 1073741824 1073778376 140734122598720 140520104578088 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14735/tid=14746] ppid=14733 vsize=9625004 CPUtime=10.95 cores=0,2,4,6
/proc/14735/task/14746/stat : 14746 (java) S 14733 14735 13368 0 -1 4202560 164 0 0 0 1091 4 0 0 20 0 19 0 283141303 9856004096 72022 33554432000 1073741824 1073778376 140734122598720 140520092379240 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14735/tid=14747] ppid=14733 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14735/task/14747/stat : 14747 (java) S 14733 14735 13368 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283141303 9856004096 72022 33554432000 1073741824 1073778376 140734122598720 140520091325560 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14735/tid=14748] ppid=14733 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14735/task/14748/stat : 14748 (java) S 14733 14735 13368 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283141303 9856004096 72022 33554432000 1073741824 1073778376 140734122598720 140520090272904 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14735/tid=14749] ppid=14733 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14735/task/14749/stat : 14749 (java) S 14733 14735 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283141305 9856004096 72022 33554432000 1073741824 1073778376 140734122598720 140520089221648 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14735/tid=14750] ppid=14733 vsize=9625004 CPUtime=0.35 cores=0,2,4,6
/proc/14735/task/14750/stat : 14750 (java) S 14733 14735 13368 0 -1 4202560 2347 0 0 0 35 0 0 0 20 0 19 0 283141305 9856004096 72022 33554432000 1073741824 1073778376 140734122598720 140520088169016 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14735/tid=14751] ppid=14733 vsize=9625004 CPUtime=0.29 cores=0,2,4,6
/proc/14735/task/14751/stat : 14751 (java) S 14733 14735 13368 0 -1 4202560 2810 0 0 0 29 0 0 0 20 0 19 0 283141305 9856004096 72022 33554432000 1073741824 1073778376 140734122598720 140520087116472 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14735/tid=14752] ppid=14733 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14735/task/14752/stat : 14752 (java) S 14733 14735 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283141305 9856004096 72022 33554432000 1073741824 1073778376 140734122598720 140520086064120 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14735/tid=14753] ppid=14733 vsize=9625004 CPUtime=0.53 cores=0,2,4,6
/proc/14735/task/14753/stat : 14753 (java) S 14733 14735 13368 0 -1 4202560 103 0 0 0 26 27 0 0 20 0 19 0 283141305 9856004096 72022 33554432000 1073741824 1073778376 140734122598720 140520085011784 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14735/tid=14754] ppid=14733 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14735/task/14754/stat : 14754 (java) S 14733 14735 13368 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 283141328 9856004096 72022 33554432000 1073741824 1073778376 140734122598720 140520083956520 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1790
Current children cumulated vsize (KiB) 9625004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1792.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/213 14852
/proc/meminfo: memFree=29516912/32873648 swapFree=6860/6860
[pid=14735] ppid=14733 vsize=9625004 CPUtime=1800.05 cores=0,2,4,6
/proc/14735/stat : 14735 (java) S 14733 14735 13368 0 -1 4202496 11902 0 1 0 179949 56 0 0 20 0 19 0 283141300 9856004096 72022 33554432000 1073741824 1073778376 140734122598720 140734122589856 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14735/statm: 2406251 72022 2289 9 0 2396937 0
[pid=14735/tid=14736] ppid=14733 vsize=9625004 CPUtime=1778.29 cores=0,2,4,6
/proc/14735/task/14736/stat : 14736 (java) R 14733 14735 13368 0 -1 4202560 2801 0 1 0 177798 31 0 0 20 0 19 0 283141301 9856004096 72022 33554432000 1073741824 1073778376 140734122598720 140520268325232 140520139982709 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=14735/tid=14738] ppid=14733 vsize=9625004 CPUtime=1.31 cores=0,2,4,6
/proc/14735/task/14738/stat : 14738 (java) S 14733 14735 13368 0 -1 4202560 356 0 0 0 128 3 0 0 20 0 19 0 283141301 9856004096 72022 33554432000 1073741824 1073778376 140734122598720 140520111945896 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14735/tid=14739] ppid=14733 vsize=9625004 CPUtime=1.17 cores=0,2,4,6
/proc/14735/task/14739/stat : 14739 (java) S 14733 14735 13368 0 -1 4202560 338 0 0 0 115 2 0 0 20 0 19 0 283141301 9856004096 72022 33554432000 1073741824 1073778376 140734122598720 140520110893352 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14735/tid=14740] ppid=14733 vsize=9625004 CPUtime=1.16 cores=0,2,4,6
/proc/14735/task/14740/stat : 14740 (java) S 14733 14735 13368 0 -1 4202560 418 0 0 0 114 2 0 0 20 0 19 0 283141301 9856004096 72022 33554432000 1073741824 1073778376 140734122598720 140520109840808 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14735/tid=14741] ppid=14733 vsize=9625004 CPUtime=1.22 cores=0,2,4,6
/proc/14735/task/14741/stat : 14741 (java) S 14733 14735 13368 0 -1 4202560 295 0 0 0 119 3 0 0 20 0 19 0 283141301 9856004096 72022 33554432000 1073741824 1073778376 140734122598720 140520108788264 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14735/tid=14742] ppid=14733 vsize=9625004 CPUtime=1.19 cores=0,2,4,6
/proc/14735/task/14742/stat : 14742 (java) S 14733 14735 13368 0 -1 4202560 282 0 0 0 115 4 0 0 20 0 19 0 283141301 9856004096 72022 33554432000 1073741824 1073778376 140734122598720 140520107735720 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14735/tid=14743] ppid=14733 vsize=9625004 CPUtime=1.23 cores=0,2,4,6
/proc/14735/task/14743/stat : 14743 (java) S 14733 14735 13368 0 -1 4202560 255 0 0 0 120 3 0 0 20 0 19 0 283141301 9856004096 72022 33554432000 1073741824 1073778376 140734122598720 140520106683176 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14735/tid=14744] ppid=14733 vsize=9625004 CPUtime=1.16 cores=0,2,4,6
/proc/14735/task/14744/stat : 14744 (java) S 14733 14735 13368 0 -1 4202560 269 0 0 0 113 3 0 0 20 0 19 0 283141301 9856004096 72022 33554432000 1073741824 1073778376 140734122598720 140520105630632 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14735/tid=14745] ppid=14733 vsize=9625004 CPUtime=1.29 cores=0,2,4,6
/proc/14735/task/14745/stat : 14745 (java) S 14733 14735 13368 0 -1 4202560 275 0 0 0 126 3 0 0 20 0 19 0 283141301 9856004096 72022 33554432000 1073741824 1073778376 140734122598720 140520104578088 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14735/tid=14746] ppid=14733 vsize=9625004 CPUtime=11.06 cores=0,2,4,6
/proc/14735/task/14746/stat : 14746 (java) S 14733 14735 13368 0 -1 4202560 166 0 0 0 1102 4 0 0 20 0 19 0 283141303 9856004096 72022 33554432000 1073741824 1073778376 140734122598720 140520092379240 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14735/tid=14747] ppid=14733 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14735/task/14747/stat : 14747 (java) S 14733 14735 13368 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283141303 9856004096 72022 33554432000 1073741824 1073778376 140734122598720 140520091325560 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14735/tid=14748] ppid=14733 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14735/task/14748/stat : 14748 (java) S 14733 14735 13368 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283141303 9856004096 72022 33554432000 1073741824 1073778376 140734122598720 140520090272904 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14735/tid=14749] ppid=14733 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14735/task/14749/stat : 14749 (java) S 14733 14735 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283141305 9856004096 72022 33554432000 1073741824 1073778376 140734122598720 140520089221648 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14735/tid=14750] ppid=14733 vsize=9625004 CPUtime=0.35 cores=0,2,4,6
/proc/14735/task/14750/stat : 14750 (java) S 14733 14735 13368 0 -1 4202560 2347 0 0 0 35 0 0 0 20 0 19 0 283141305 9856004096 72022 33554432000 1073741824 1073778376 140734122598720 140520088169016 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14735/tid=14751] ppid=14733 vsize=9625004 CPUtime=0.29 cores=0,2,4,6
/proc/14735/task/14751/stat : 14751 (java) S 14733 14735 13368 0 -1 4202560 2810 0 0 0 29 0 0 0 20 0 19 0 283141305 9856004096 72022 33554432000 1073741824 1073778376 140734122598720 140520087116472 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14735/tid=14752] ppid=14733 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14735/task/14752/stat : 14752 (java) S 14733 14735 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283141305 9856004096 72022 33554432000 1073741824 1073778376 140734122598720 140520086064120 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14735/tid=14753] ppid=14733 vsize=9625004 CPUtime=0.54 cores=0,2,4,6
/proc/14735/task/14753/stat : 14753 (java) S 14733 14735 13368 0 -1 4202560 103 0 0 0 27 27 0 0 20 0 19 0 283141305 9856004096 72022 33554432000 1073741824 1073778376 140734122598720 140520085011784 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14735/tid=14754] ppid=14733 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14735/task/14754/stat : 14754 (java) S 14733 14735 13368 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 283141328 9856004096 72022 33554432000 1073741824 1073778376 140734122598720 140520083956520 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 9625004

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

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

[startup+1792.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/213 14852
/proc/meminfo: memFree=29516912/32873648 swapFree=6860/6860
[pid=14735] ppid=14733 vsize=9625004 CPUtime=1800.05 cores=0,2,4,6
/proc/14735/stat : 14735 (java) S 14733 14735 13368 0 -1 4202496 11902 0 1 0 179949 56 0 0 20 0 19 0 283141300 9856004096 72022 33554432000 1073741824 1073778376 140734122598720 140734122589856 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14735/statm: 2406251 72022 2289 9 0 2396937 0
[pid=14735/tid=14736] ppid=14733 vsize=9625004 CPUtime=1778.29 cores=0,2,4,6
/proc/14735/task/14736/stat : 14736 (java) R 14733 14735 13368 0 -1 4202560 2801 0 1 0 177798 31 0 0 20 0 19 0 283141301 9856004096 72022 33554432000 1073741824 1073778376 140734122598720 140520268325232 140520139982709 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=14735/tid=14738] ppid=14733 vsize=9625004 CPUtime=1.31 cores=0,2,4,6
/proc/14735/task/14738/stat : 14738 (java) S 14733 14735 13368 0 -1 4202560 356 0 0 0 128 3 0 0 20 0 19 0 283141301 9856004096 72022 33554432000 1073741824 1073778376 140734122598720 140520111945896 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14735/tid=14739] ppid=14733 vsize=9625004 CPUtime=1.17 cores=0,2,4,6
/proc/14735/task/14739/stat : 14739 (java) S 14733 14735 13368 0 -1 4202560 338 0 0 0 115 2 0 0 20 0 19 0 283141301 9856004096 72022 33554432000 1073741824 1073778376 140734122598720 140520110893352 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14735/tid=14740] ppid=14733 vsize=9625004 CPUtime=1.16 cores=0,2,4,6
/proc/14735/task/14740/stat : 14740 (java) S 14733 14735 13368 0 -1 4202560 418 0 0 0 114 2 0 0 20 0 19 0 283141301 9856004096 72022 33554432000 1073741824 1073778376 140734122598720 140520109840808 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14735/tid=14741] ppid=14733 vsize=9625004 CPUtime=1.22 cores=0,2,4,6
/proc/14735/task/14741/stat : 14741 (java) S 14733 14735 13368 0 -1 4202560 295 0 0 0 119 3 0 0 20 0 19 0 283141301 9856004096 72022 33554432000 1073741824 1073778376 140734122598720 140520108788264 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14735/tid=14742] ppid=14733 vsize=9625004 CPUtime=1.19 cores=0,2,4,6
/proc/14735/task/14742/stat : 14742 (java) S 14733 14735 13368 0 -1 4202560 282 0 0 0 115 4 0 0 20 0 19 0 283141301 9856004096 72022 33554432000 1073741824 1073778376 140734122598720 140520107735720 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14735/tid=14743] ppid=14733 vsize=9625004 CPUtime=1.23 cores=0,2,4,6
/proc/14735/task/14743/stat : 14743 (java) S 14733 14735 13368 0 -1 4202560 255 0 0 0 120 3 0 0 20 0 19 0 283141301 9856004096 72022 33554432000 1073741824 1073778376 140734122598720 140520106683176 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14735/tid=14744] ppid=14733 vsize=9625004 CPUtime=1.16 cores=0,2,4,6
/proc/14735/task/14744/stat : 14744 (java) S 14733 14735 13368 0 -1 4202560 269 0 0 0 113 3 0 0 20 0 19 0 283141301 9856004096 72022 33554432000 1073741824 1073778376 140734122598720 140520105630632 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14735/tid=14745] ppid=14733 vsize=9625004 CPUtime=1.29 cores=0,2,4,6
/proc/14735/task/14745/stat : 14745 (java) S 14733 14735 13368 0 -1 4202560 275 0 0 0 126 3 0 0 20 0 19 0 283141301 9856004096 72022 33554432000 1073741824 1073778376 140734122598720 140520104578088 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14735/tid=14746] ppid=14733 vsize=9625004 CPUtime=11.06 cores=0,2,4,6
/proc/14735/task/14746/stat : 14746 (java) S 14733 14735 13368 0 -1 4202560 166 0 0 0 1102 4 0 0 20 0 19 0 283141303 9856004096 72022 33554432000 1073741824 1073778376 140734122598720 140520092379240 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14735/tid=14747] ppid=14733 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14735/task/14747/stat : 14747 (java) S 14733 14735 13368 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283141303 9856004096 72022 33554432000 1073741824 1073778376 140734122598720 140520091325560 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14735/tid=14748] ppid=14733 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14735/task/14748/stat : 14748 (java) S 14733 14735 13368 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283141303 9856004096 72022 33554432000 1073741824 1073778376 140734122598720 140520090272904 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14735/tid=14749] ppid=14733 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14735/task/14749/stat : 14749 (java) S 14733 14735 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283141305 9856004096 72022 33554432000 1073741824 1073778376 140734122598720 140520089221648 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14735/tid=14750] ppid=14733 vsize=9625004 CPUtime=0.35 cores=0,2,4,6
/proc/14735/task/14750/stat : 14750 (java) S 14733 14735 13368 0 -1 4202560 2347 0 0 0 35 0 0 0 20 0 19 0 283141305 9856004096 72022 33554432000 1073741824 1073778376 140734122598720 140520088169016 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14735/tid=14751] ppid=14733 vsize=9625004 CPUtime=0.29 cores=0,2,4,6
/proc/14735/task/14751/stat : 14751 (java) S 14733 14735 13368 0 -1 4202560 2810 0 0 0 29 0 0 0 20 0 19 0 283141305 9856004096 72022 33554432000 1073741824 1073778376 140734122598720 140520087116472 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14735/tid=14752] ppid=14733 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14735/task/14752/stat : 14752 (java) S 14733 14735 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283141305 9856004096 72022 33554432000 1073741824 1073778376 140734122598720 140520086064120 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14735/tid=14753] ppid=14733 vsize=9625004 CPUtime=0.54 cores=0,2,4,6
/proc/14735/task/14753/stat : 14753 (java) S 14733 14735 13368 0 -1 4202560 103 0 0 0 27 27 0 0 20 0 19 0 283141305 9856004096 72022 33554432000 1073741824 1073778376 140734122598720 140520085011784 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14735/tid=14754] ppid=14733 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/14735/task/14754/stat : 14754 (java) S 14733 14735 13368 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 283141328 9856004096 72022 33554432000 1073741824 1073778376 140734122598720 140520083956520 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 9625004

Child status: 143
Real time (s): 1792.34
CPU time (s): 1800.61
CPU user time (s): 1799.62
CPU system time (s): 0.990849
CPU usage (%): 100.461
Max. virtual memory (cumulated for all children) (KiB): 9625004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.62
system time used= 0.990849
maximum resident set size= 288208
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11933
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 45457
involuntary context switches= 31686

runsolver used 5.9321 second user time and 15.3927 second system time

The end

Launcher Data 

Begin job on node116 at 2012-05-28 03:55:52
IDJOB=3711242
IDBENCH=48211
IDSOLVER=2289
FILE ID=node116/3711242-1338170152
RUNJOBID= node116-1338158618-13384
PBS_JOBID= 14624543
Free space on /tmp= 71472 MiB

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

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

MD5SUM BENCH= 2585c1015aa6228da840b6f61adc6732
RANDOM SEED=781771914

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        29345180 kB
Buffers:          371264 kB
Cached:          1113820 kB
SwapCached:         3236 kB
Active:          1972976 kB
Inactive:         709868 kB
Active(anon):    1188704 kB
Inactive(anon):     8956 kB
Active(file):     784272 kB
Inactive(file):   700912 kB
Unevictable:        6860 kB
Mlocked:            6860 kB
SwapTotal:      67108856 kB
SwapFree:       67103668 kB
Dirty:               908 kB
Writeback:             0 kB
AnonPages:       1216324 kB
Mapped:            20964 kB
Shmem:                96 kB
Slab:             700116 kB
SReclaimable:     144176 kB
SUnreclaim:       555940 kB
KernelStack:        1752 kB
PageTables:         6852 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    2149820 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1153024 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71468 MiB
End job on node116 at 2012-05-28 04:25:47