Trace number 3688181

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
Sat 4j PB Resolution 2.3.2 SnapshotSAT (TO)11 1800.01 1792.15

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m100_100_10_15.r.opb
MD5SUM7e1b8a9f40a52781f7629bf04a2d5793
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark10
Best CPU time to get the best result obtained on this benchmark0.129979
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 10
Optimality of the best value was proved YES
Number of variables100
Total number of constraints100
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint10
Maximum length of a constraint15
Number of terms in the objective function 100
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 100
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
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.09	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version 2.3.2.v20120418
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.10	c Number of processors 	8
0.09/0.12	c Pseudo Boolean Optimization by upper bound
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.12	c No reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose learned constraints deletion strategy
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-3688181-1337880838.opb
0.09/0.12	c reading problem ... 
0.09/0.17	c ... done. Wall clock time 0.048s.
0.09/0.17	c declared #vars     100
0.09/0.17	c #constraints  100
0.09/0.17	c constraints type 
0.09/0.17	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 100
0.09/0.17	c 100 constraints processed.
0.09/0.17	c objective function length is 100 literals
0.09/0.17	c SATISFIABLE
0.09/0.17	c OPTIMIZING...
0.09/0.17	c Got one! Elapsed wall clock time (in seconds):0.053
0.09/0.17	o 16
0.09/0.18	c Got one! Elapsed wall clock time (in seconds):0.064
0.09/0.18	o 15
0.48/0.39	c cleaning 2515 clauses out of 5034 with flag 5002/5034
0.83/0.51	c cleaning 4258 clauses out of 8517 with flag 11000/11032
0.83/0.55	c Got one! Elapsed wall clock time (in seconds):0.435
0.83/0.55	o 14
0.93/0.61	c cleaning 4803 clauses out of 9608 with flag 3000/16381
1.04/0.72	c cleaning 5401 clauses out of 10807 with flag 9002/22383
1.17/0.85	c cleaning 6196 clauses out of 12405 with flag 16001/29382
1.27/1.00	c cleaning 7101 clauses out of 14208 with flag 24000/37381
1.48/1.18	c cleaning 8049 clauses out of 16107 with flag 33000/46381
1.67/1.38	c cleaning 9029 clauses out of 18064 with flag 43006/56387
1.98/1.61	c cleaning 10008 clauses out of 20029 with flag 54000/67381
2.19/1.87	c cleaning 11011 clauses out of 22025 with flag 66004/79385
2.49/2.15	c cleaning 12005 clauses out of 24012 with flag 79002/92383
2.79/2.46	c cleaning 13000 clauses out of 26005 with flag 93000/106381
3.10/2.79	c cleaning 14000 clauses out of 28006 with flag 108001/121382
3.50/3.16	c cleaning 14993 clauses out of 30005 with flag 124000/137381
3.90/3.53	c cleaning 15999 clauses out of 32012 with flag 141000/154381
4.30/3.94	c cleaning 17007 clauses out of 34013 with flag 159000/172381
4.81/4.44	c cleaning 18001 clauses out of 36007 with flag 178001/191382
5.31/4.95	c cleaning 19000 clauses out of 38005 with flag 198000/211381
5.81/5.46	c cleaning 20004 clauses out of 40008 with flag 219003/232384
6.41/6.07	c cleaning 20995 clauses out of 42001 with flag 241000/254381
7.13/6.72	c cleaning 22003 clauses out of 44007 with flag 264001/277382
7.85/7.44	c cleaning 23002 clauses out of 46011 with flag 288008/301389
8.67/8.21	c cleaning 23998 clauses out of 48001 with flag 313000/326381
9.48/9.02	c cleaning 25002 clauses out of 50003 with flag 339000/352381
10.31/9.82	c cleaning 26003 clauses out of 52005 with flag 366004/379385
11.21/10.73	c cleaning 26998 clauses out of 53998 with flag 394000/407381
11.52/11.07	c Got one! Elapsed wall clock time (in seconds):10.954
11.52/11.07	o 13
11.61/11.11	c Got one! Elapsed wall clock time (in seconds):10.996
11.61/11.11	o 12
11.71/11.23	c cleaning 22654 clauses out of 45326 with flag 3000/425707
11.82/11.38	c cleaning 14328 clauses out of 28672 with flag 9000/431707
12.03/11.55	c cleaning 10669 clauses out of 21344 with flag 16000/438707
12.23/11.70	c cleaning 9328 clauses out of 18676 with flag 24001/446708
12.34/11.88	c cleaning 9175 clauses out of 18350 with flag 33003/455710
12.54/12.07	c cleaning 9587 clauses out of 19175 with flag 43003/465710
12.76/12.29	c cleaning 10287 clauses out of 20586 with flag 54001/476708
13.07/12.53	c cleaning 11149 clauses out of 22299 with flag 66001/488708
13.28/12.78	c cleaning 12070 clauses out of 24150 with flag 79001/501708
13.58/13.05	c cleaning 13028 clauses out of 26080 with flag 93001/515708
13.90/13.36	c cleaning 14025 clauses out of 28051 with flag 108000/530707
14.22/13.67	c cleaning 15005 clauses out of 30026 with flag 124000/546707
14.63/14.04	c cleaning 15999 clauses out of 32021 with flag 141000/563707
15.04/14.42	c cleaning 16996 clauses out of 34026 with flag 159004/581711
15.45/14.87	c cleaning 18004 clauses out of 36026 with flag 178000/600707
15.96/15.37	c cleaning 19011 clauses out of 38027 with flag 198005/620712
16.45/15.89	c cleaning 20005 clauses out of 40016 with flag 219005/641712
17.06/16.46	c cleaning 20997 clauses out of 42007 with flag 241001/663708
17.66/17.05	c cleaning 21993 clauses out of 44010 with flag 264001/686708
18.27/17.66	c cleaning 23011 clauses out of 46021 with flag 288005/710712
18.86/18.26	c cleaning 24000 clauses out of 48008 with flag 313003/735710
19.58/18.90	c cleaning 24988 clauses out of 50005 with flag 339000/761707
20.18/19.56	c cleaning 26005 clauses out of 52017 with flag 366000/788707
20.98/20.36	c cleaning 27006 clauses out of 54012 with flag 394000/816707
21.79/21.17	c cleaning 27995 clauses out of 56006 with flag 423000/845707
22.70/22.05	c cleaning 28997 clauses out of 58011 with flag 453000/875707
23.60/22.99	c cleaning 30004 clauses out of 60015 with flag 484001/906708
24.72/24.02	c cleaning 31008 clauses out of 62015 with flag 516005/938712
25.72/25.06	c cleaning 31998 clauses out of 64002 with flag 549000/971707
26.83/26.12	c cleaning 33005 clauses out of 66010 with flag 583006/1005713
27.94/27.27	c cleaning 33996 clauses out of 68000 with flag 618001/1040708
29.16/28.43	c cleaning 35002 clauses out of 70005 with flag 654002/1076709
30.37/29.63	c cleaning 35993 clauses out of 72001 with flag 691000/1113707
31.68/30.94	c cleaning 36990 clauses out of 74008 with flag 729000/1151707
33.08/32.38	c cleaning 38002 clauses out of 76019 with flag 768001/1190708
34.59/33.83	c cleaning 39002 clauses out of 78016 with flag 808000/1230707
36.03/35.28	c cleaning 39998 clauses out of 80014 with flag 849000/1271707
37.55/36.76	c cleaning 40999 clauses out of 82017 with flag 891001/1313708
39.15/38.40	c cleaning 41994 clauses out of 84018 with flag 934001/1356708
41.07/40.22	c cleaning 43000 clauses out of 86023 with flag 978000/1400707
42.97/42.14	c cleaning 44000 clauses out of 88023 with flag 1023000/1445707
44.89/44.05	c cleaning 45011 clauses out of 90023 with flag 1069000/1491707
46.81/45.92	c cleaning 46004 clauses out of 92013 with flag 1116001/1538708
48.53/47.65	c cleaning 47004 clauses out of 94010 with flag 1164002/1586709
50.46/49.52	c cleaning 47994 clauses out of 96004 with flag 1213000/1635707
52.47/51.56	c cleaning 48994 clauses out of 98012 with flag 1263002/1685709
54.38/53.48	c cleaning 49999 clauses out of 100016 with flag 1314000/1736707
56.71/55.72	c cleaning 51005 clauses out of 102017 with flag 1366000/1788707
59.23/58.23	c cleaning 52005 clauses out of 104016 with flag 1419004/1841711
61.73/60.77	c cleaning 52999 clauses out of 106011 with flag 1473004/1895711
64.05/63.04	c cleaning 53992 clauses out of 108009 with flag 1528001/1950708
66.45/65.43	c cleaning 55005 clauses out of 110016 with flag 1584000/2006707
68.97/67.90	c cleaning 56000 clauses out of 112011 with flag 1641000/2063707
71.69/70.60	c cleaning 56999 clauses out of 114011 with flag 1699000/2121707
74.31/73.25	c cleaning 57997 clauses out of 116013 with flag 1758001/2180708
77.24/76.17	c cleaning 59011 clauses out of 118021 with flag 1818006/2240713
80.35/79.25	c cleaning 59998 clauses out of 120006 with flag 1879002/2301709
83.27/82.11	c cleaning 60989 clauses out of 122006 with flag 1941000/2363707
86.18/85.06	c cleaning 62006 clauses out of 124017 with flag 2004000/2426707
89.00/87.86	c cleaning 62995 clauses out of 126012 with flag 2068001/2490708
92.43/91.22	c cleaning 64000 clauses out of 128018 with flag 2133002/2555709
95.35/94.13	c cleaning 65009 clauses out of 130019 with flag 2199003/2621710
98.68/97.45	c cleaning 65994 clauses out of 132007 with flag 2266000/2688707
102.11/100.87	c cleaning 66998 clauses out of 134013 with flag 2334000/2756707
105.02/103.74	c cleaning 68003 clauses out of 136016 with flag 2403001/2825708
107.83/106.55	c cleaning 69004 clauses out of 138012 with flag 2473000/2895707
110.95/109.62	c cleaning 70000 clauses out of 140010 with flag 2544002/2966709
114.46/113.16	c cleaning 70997 clauses out of 142010 with flag 2616002/3038709
117.37/116.04	c cleaning 71998 clauses out of 144012 with flag 2689001/3111708
120.92/119.52	c cleaning 72995 clauses out of 146013 with flag 2763000/3185707
124.34/122.99	c cleaning 74006 clauses out of 148018 with flag 2838000/3260707
129.47/128.03	c cleaning 75002 clauses out of 150012 with flag 2914000/3336707
134.71/133.26	c cleaning 76002 clauses out of 152012 with flag 2991002/3413709
140.84/139.38	c cleaning 76996 clauses out of 154009 with flag 3069001/3491708
146.45/144.96	c cleaning 77999 clauses out of 156013 with flag 3148001/3570708
151.47/149.92	c cleaning 78998 clauses out of 158015 with flag 3228002/3650709
157.58/156.08	c cleaning 79996 clauses out of 160015 with flag 3309000/3731707
163.38/161.87	c cleaning 81009 clauses out of 162019 with flag 3391000/3813707
169.60/168.09	c cleaning 81992 clauses out of 164012 with flag 3474002/3896709
175.63/174.06	c cleaning 82997 clauses out of 166019 with flag 3558001/3980708
181.75/180.18	c cleaning 83991 clauses out of 168021 with flag 3643000/4065707
187.48/185.85	c cleaning 85003 clauses out of 170033 with flag 3729003/4151710
193.30/191.69	c cleaning 86006 clauses out of 172027 with flag 3816000/4238707
198.75/197.07	c cleaning 86994 clauses out of 174021 with flag 3904000/4326707
203.38/201.69	c cleaning 87997 clauses out of 176027 with flag 3993000/4415707
208.60/206.84	c cleaning 89008 clauses out of 178030 with flag 4083000/4505707
214.11/212.39	c cleaning 90001 clauses out of 180022 with flag 4174000/4596707
221.94/220.12	c cleaning 91007 clauses out of 182025 with flag 4266004/4688711
228.78/226.95	c cleaning 92001 clauses out of 184015 with flag 4359001/4781708
236.71/234.81	c cleaning 92996 clauses out of 186015 with flag 4453002/4875709
244.55/242.67	c cleaning 94004 clauses out of 188017 with flag 4548000/4970707
252.38/250.43	c cleaning 94997 clauses out of 190013 with flag 4644000/5066707
259.23/257.25	c cleaning 95998 clauses out of 192017 with flag 4741001/5163708
267.65/265.62	c cleaning 97002 clauses out of 194020 with flag 4839002/5261709
276.06/274.07	c cleaning 97990 clauses out of 196016 with flag 4938000/5360707
283.91/281.84	c cleaning 98997 clauses out of 198029 with flag 5038003/5460710
291.68/289.53	c cleaning 100011 clauses out of 200030 with flag 5139001/5561708
298.83/296.61	c cleaning 101006 clauses out of 202018 with flag 5241000/5663707
307.56/305.38	c cleaning 101999 clauses out of 204013 with flag 5344001/5766708
315.28/313.02	c cleaning 102994 clauses out of 206015 with flag 5448002/5870709
324.69/322.46	c cleaning 103998 clauses out of 208019 with flag 5553000/5975707
335.82/333.54	c cleaning 105005 clauses out of 210024 with flag 5659003/6081710
345.06/342.72	c cleaning 105996 clauses out of 212018 with flag 5766002/6188709
354.79/352.49	c cleaning 107001 clauses out of 214020 with flag 5874000/6296707
363.82/361.47	c cleaning 108002 clauses out of 216025 with flag 5983006/6405713
373.45/371.09	c cleaning 109008 clauses out of 218018 with flag 6093001/6515708
384.37/381.93	c cleaning 109989 clauses out of 220009 with flag 6204000/6626707
393.89/391.40	c cleaning 111003 clauses out of 222020 with flag 6316000/6738707
404.40/401.96	c cleaning 111995 clauses out of 224018 with flag 6429001/6851708
415.73/413.21	c cleaning 113013 clauses out of 226025 with flag 6543003/6965710
428.06/425.58	c cleaning 113997 clauses out of 228009 with flag 6658000/7080707
439.68/437.12	c cleaning 115008 clauses out of 230016 with flag 6774004/7196711
448.80/446.29	c cleaning 115991 clauses out of 232005 with flag 6891001/7313708
461.23/458.62	c cleaning 116995 clauses out of 234014 with flag 7009001/7431708
472.05/469.43	c cleaning 118008 clauses out of 236022 with flag 7128004/7550711
484.86/482.24	c cleaning 118988 clauses out of 238010 with flag 7248000/7670707
497.39/494.70	c cleaning 120000 clauses out of 240023 with flag 7369001/7791708
509.92/507.21	c cleaning 121010 clauses out of 242022 with flag 7491000/7913707
520.55/517.90	c cleaning 121998 clauses out of 244013 with flag 7614001/8036708
532.97/530.29	c cleaning 122998 clauses out of 246014 with flag 7738000/8160707
543.70/540.91	c cleaning 124004 clauses out of 248017 with flag 7863001/8285708
555.43/552.69	c cleaning 125000 clauses out of 250013 with flag 7989001/8411708
567.66/564.83	c cleaning 125999 clauses out of 252012 with flag 8116000/8538707
577.97/575.14	c cleaning 127005 clauses out of 254013 with flag 8244000/8666707
587.59/584.79	c cleaning 127994 clauses out of 256008 with flag 8373000/8795707
599.05/596.19	c cleaning 129005 clauses out of 258014 with flag 8503000/8925707
613.58/610.63	c cleaning 129982 clauses out of 260010 with flag 8634001/9056708
627.02/624.01	c cleaning 131014 clauses out of 262029 with flag 8766002/9188709
639.18/636.12	c cleaning 131996 clauses out of 264013 with flag 8899000/9321707
650.41/647.32	c cleaning 132999 clauses out of 266018 with flag 9033001/9455708
663.74/660.67	c cleaning 134009 clauses out of 268018 with flag 9168000/9590707
675.40/672.21	c cleaning 134987 clauses out of 270009 with flag 9304000/9726707
687.73/684.60	c cleaning 136001 clauses out of 272022 with flag 9441000/9863707
700.38/697.15	c cleaning 136994 clauses out of 274021 with flag 9579000/10001707
714.86/711.60	c cleaning 138008 clauses out of 276033 with flag 9718006/10140713
733.41/730.01	c cleaning 138995 clauses out of 278019 with flag 9858000/10280707
751.77/748.30	c cleaning 140008 clauses out of 280027 with flag 9999003/10421710
771.54/768.00	c cleaning 141007 clauses out of 282016 with flag 10141000/10563707
790.40/786.83	c cleaning 142000 clauses out of 284009 with flag 10284000/10706707
805.37/801.73	c cleaning 143000 clauses out of 286011 with flag 10428002/10850709
824.80/821.20	c cleaning 144004 clauses out of 288009 with flag 10573000/10995707
843.34/839.61	c cleaning 144994 clauses out of 290006 with flag 10719001/11141708
860.51/856.75	c cleaning 146001 clauses out of 292011 with flag 10866000/11288707
873.25/869.40	c cleaning 146997 clauses out of 294010 with flag 11014000/11436707
887.58/883.78	c cleaning 148000 clauses out of 296013 with flag 11163000/11585707
902.12/898.28	c cleaning 149003 clauses out of 298014 with flag 11313001/11735708
916.97/913.07	c cleaning 150001 clauses out of 300011 with flag 11464001/11886708
932.60/928.66	c cleaning 151002 clauses out of 302009 with flag 11616000/12038707
947.57/943.50	c cleaning 151994 clauses out of 304008 with flag 11769001/12191708
962.30/958.28	c cleaning 153004 clauses out of 306013 with flag 11923000/12345707
976.17/972.04	c cleaning 153995 clauses out of 308012 with flag 12078003/12500710
990.02/985.87	c cleaning 155005 clauses out of 310014 with flag 12234000/12656707
1005.87/1001.64	c cleaning 155993 clauses out of 312010 with flag 12391001/12813708
1022.09/1017.88	c cleaning 156987 clauses out of 314017 with flag 12549001/12971708
1038.26/1034.00	c cleaning 158008 clauses out of 316031 with flag 12708002/13130709
1057.27/1052.91	c cleaning 159003 clauses out of 318021 with flag 12868000/13290707
1074.52/1070.11	c cleaning 159993 clauses out of 320018 with flag 13029000/13451707
1096.69/1092.22	c cleaning 161000 clauses out of 322026 with flag 13191001/13613708
1116.26/1111.71	c cleaning 162005 clauses out of 324025 with flag 13354000/13776707
1135.29/1130.76	c cleaning 162994 clauses out of 326023 with flag 13518003/13940710
1157.92/1153.34	c cleaning 164006 clauses out of 328028 with flag 13683002/14105709
1177.07/1172.40	c cleaning 165003 clauses out of 330020 with flag 13849000/14271707
1197.59/1192.97	c cleaning 165993 clauses out of 332017 with flag 14016000/14438707
1215.34/1210.63	c cleaning 167000 clauses out of 334025 with flag 14184001/14606708
1234.49/1229.76	c cleaning 167994 clauses out of 336026 with flag 14353002/14775709
1256.64/1251.82	c cleaning 169014 clauses out of 338031 with flag 14523001/14945708
1277.40/1272.51	c cleaning 170001 clauses out of 340017 with flag 14694001/15116708
1302.26/1297.30	c cleaning 170996 clauses out of 342015 with flag 14866000/15288707
1325.30/1320.36	c cleaning 172009 clauses out of 344019 with flag 15039000/15461707
1346.16/1341.18	c cleaning 172997 clauses out of 346010 with flag 15213000/15635707
1368.58/1363.56	c cleaning 173998 clauses out of 348014 with flag 15388001/15810708
1389.00/1383.96	c cleaning 174992 clauses out of 350015 with flag 15564000/15986707
1413.86/1408.78	c cleaning 176003 clauses out of 352024 with flag 15741001/16163708
1414.90/1409.74	c Got one! Elapsed wall clock time (in seconds):1409.621
1414.90/1409.74	o 11
1416.40/1411.24	c cleaning 96519 clauses out of 193052 with flag 5000/16180739
1416.91/1411.78	c cleaning 51259 clauses out of 102533 with flag 11000/16186739
1417.23/1412.04	c cleaning 29133 clauses out of 58275 with flag 18001/16193740
1417.46/1412.23	c cleaning 18565 clauses out of 37143 with flag 26002/16201741
1417.69/1412.42	c cleaning 13778 clauses out of 27577 with flag 35001/16210740
1417.89/1412.63	c cleaning 11891 clauses out of 23798 with flag 45000/16220739
1418.12/1412.82	c cleaning 11446 clauses out of 22909 with flag 56002/16231741
1418.36/1413.04	c cleaning 11722 clauses out of 23463 with flag 68002/16243741
1418.58/1413.29	c cleaning 12362 clauses out of 24739 with flag 81000/16256739
1418.89/1413.56	c cleaning 13180 clauses out of 26379 with flag 95002/16270741
1419.21/1413.86	c cleaning 14092 clauses out of 28197 with flag 110000/16285739
1419.63/1414.21	c cleaning 15040 clauses out of 30105 with flag 126000/16301739
1419.96/1414.57	c cleaning 16025 clauses out of 32065 with flag 143000/16318739
1420.38/1414.99	c cleaning 17013 clauses out of 34040 with flag 161000/16336739
1420.90/1415.46	c cleaning 18002 clauses out of 36027 with flag 180000/16355739
1421.42/1415.95	c cleaning 19004 clauses out of 38025 with flag 200000/16375739
1421.95/1416.48	c cleaning 20000 clauses out of 40021 with flag 221000/16396739
1422.57/1417.08	c cleaning 21000 clauses out of 42021 with flag 243000/16418739
1423.29/1417.70	c cleaning 22001 clauses out of 44022 with flag 266001/16441740
1423.90/1418.39	c cleaning 22998 clauses out of 46020 with flag 290000/16465739
1424.71/1419.12	c cleaning 23999 clauses out of 48024 with flag 315002/16490741
1425.43/1419.86	c cleaning 25007 clauses out of 50025 with flag 341002/16516741
1426.34/1420.70	c cleaning 25998 clauses out of 52016 with flag 368000/16543739
1427.16/1421.56	c cleaning 26997 clauses out of 54019 with flag 396001/16571740
1428.18/1422.52	c cleaning 28002 clauses out of 56022 with flag 425001/16600740
1429.20/1423.55	c cleaning 28996 clauses out of 58019 with flag 455000/16630739
1430.22/1424.53	c cleaning 30012 clauses out of 60024 with flag 486001/16661740
1431.22/1425.53	c cleaning 30995 clauses out of 62011 with flag 518000/16693739
1432.24/1426.54	c cleaning 31994 clauses out of 64016 with flag 551000/16726739
1433.25/1427.51	c cleaning 33006 clauses out of 66023 with flag 585001/16760740
1434.27/1428.55	c cleaning 33994 clauses out of 68016 with flag 620000/16795739
1435.28/1429.59	c cleaning 35002 clauses out of 70023 with flag 656001/16831740
1436.31/1430.56	c cleaning 36006 clauses out of 72020 with flag 693000/16868739
1437.52/1431.76	c cleaning 37005 clauses out of 74015 with flag 731001/16906740
1439.06/1433.21	c cleaning 38000 clauses out of 76010 with flag 770001/16945740
1440.49/1434.60	c cleaning 38995 clauses out of 78009 with flag 810000/16985739
1441.91/1436.02	c cleaning 40004 clauses out of 80014 with flag 851000/17026739
1443.42/1437.53	c cleaning 41003 clauses out of 82011 with flag 893001/17068740
1444.94/1439.03	c cleaning 42004 clauses out of 84007 with flag 936000/17111739
1446.47/1440.50	c cleaning 42999 clauses out of 86005 with flag 980002/17155741
1447.89/1441.99	c cleaning 43996 clauses out of 88004 with flag 1025000/17200739
1449.62/1443.67	c cleaning 44991 clauses out of 90009 with flag 1071001/17246740
1451.35/1445.35	c cleaning 46001 clauses out of 92018 with flag 1118001/17293740
1453.09/1447.01	c cleaning 46997 clauses out of 94017 with flag 1166001/17341740
1454.60/1448.59	c cleaning 48003 clauses out of 96019 with flag 1215000/17390739
1456.52/1450.45	c cleaning 49002 clauses out of 98016 with flag 1265000/17440739
1458.64/1452.51	c cleaning 49993 clauses out of 100014 with flag 1316000/17491739
1460.66/1454.54	c cleaning 51008 clauses out of 102022 with flag 1368001/17543740
1462.49/1456.33	c cleaning 51995 clauses out of 104013 with flag 1421000/17596739
1464.20/1458.05	c cleaning 53001 clauses out of 106018 with flag 1475000/17650739
1466.45/1460.23	c cleaning 53998 clauses out of 108017 with flag 1530000/17705739
1468.76/1462.50	c cleaning 55006 clauses out of 110019 with flag 1586000/17761739
1470.89/1464.67	c cleaning 56004 clauses out of 112013 with flag 1643000/17818739
1473.32/1467.08	c cleaning 56997 clauses out of 114009 with flag 1701000/17876739
1475.36/1469.00	c cleaning 58000 clauses out of 116013 with flag 1760001/17935740
1477.99/1471.62	c cleaning 59003 clauses out of 118012 with flag 1820000/17995739
1480.42/1474.01	c cleaning 60005 clauses out of 120009 with flag 1881000/18056739
1482.84/1476.47	c cleaning 60987 clauses out of 122004 with flag 1943000/18118739
1485.16/1478.75	c cleaning 61999 clauses out of 124017 with flag 2006000/18181739
1487.78/1481.35	c cleaning 62997 clauses out of 126018 with flag 2070000/18245739
1490.09/1483.60	c cleaning 64005 clauses out of 128022 with flag 2135001/18310740
1492.81/1486.34	c cleaning 65009 clauses out of 130019 with flag 2201003/18376742
1495.33/1488.88	c cleaning 66000 clauses out of 132007 with flag 2268000/18443739
1497.78/1491.21	c cleaning 67000 clauses out of 134007 with flag 2336000/18511739
1501.49/1494.91	c cleaning 67989 clauses out of 136007 with flag 2405000/18580739
1505.11/1498.56	c cleaning 68999 clauses out of 138018 with flag 2475000/18650739
1508.33/1501.78	c cleaning 70007 clauses out of 140021 with flag 2546002/18721741
1511.96/1505.37	c cleaning 70998 clauses out of 142012 with flag 2618000/18793739
1515.50/1508.86	c cleaning 72007 clauses out of 144015 with flag 2691001/18866740
1519.12/1512.42	c cleaning 73001 clauses out of 146007 with flag 2765000/18940739
1522.94/1516.20	c cleaning 73985 clauses out of 148006 with flag 2840000/19015739
1526.06/1519.34	c cleaning 74997 clauses out of 150022 with flag 2916001/19091740
1529.99/1523.20	c cleaning 76009 clauses out of 152025 with flag 2993001/19168740
1533.21/1526.41	c cleaning 76994 clauses out of 154017 with flag 3071002/19246741
1537.34/1530.53	c cleaning 78001 clauses out of 156021 with flag 3150000/19325739
1541.30/1534.41	c cleaning 79003 clauses out of 158020 with flag 3230000/19405739
1545.12/1538.25	c cleaning 80007 clauses out of 160020 with flag 3311003/19486742
1548.94/1542.01	c cleaning 81002 clauses out of 162010 with flag 3393000/19568739
1552.87/1545.90	c cleaning 81984 clauses out of 164008 with flag 3476000/19651739
1557.30/1550.33	c cleaning 83006 clauses out of 166024 with flag 3560000/19735739
1561.33/1554.39	c cleaning 83999 clauses out of 168019 with flag 3645001/19820740
1565.64/1558.63	c cleaning 84999 clauses out of 170020 with flag 3731001/19906740
1569.46/1562.43	c cleaning 86010 clauses out of 172020 with flag 3818000/19993739
1573.89/1566.85	c cleaning 86995 clauses out of 174010 with flag 3906000/20081739
1578.01/1570.92	c cleaning 88006 clauses out of 176015 with flag 3995000/20170739
1583.73/1576.67	c cleaning 88996 clauses out of 178011 with flag 4085002/20260741
1589.45/1582.37	c cleaning 90002 clauses out of 180013 with flag 4176000/20351739
1595.68/1588.57	c cleaning 90996 clauses out of 182011 with flag 4268000/20443739
1601.39/1594.26	c cleaning 91996 clauses out of 184017 with flag 4361002/20536741
1607.63/1600.43	c cleaning 93008 clauses out of 186019 with flag 4455000/20630739
1613.35/1606.19	c cleaning 94003 clauses out of 188013 with flag 4550002/20725741
1619.26/1612.09	c cleaning 94989 clauses out of 190008 with flag 4646000/20821739
1625.00/1617.78	c cleaning 95994 clauses out of 192019 with flag 4743000/20918739
1630.63/1623.36	c cleaning 97005 clauses out of 194025 with flag 4841000/21016739
1635.44/1628.19	c cleaning 98000 clauses out of 196020 with flag 4940000/21115739
1640.46/1633.17	c cleaning 99004 clauses out of 198021 with flag 5040001/21215740
1646.59/1639.21	c cleaning 99993 clauses out of 200017 with flag 5141001/21316740
1652.51/1645.19	c cleaning 100998 clauses out of 202023 with flag 5243000/21418739
1658.23/1650.85	c cleaning 102005 clauses out of 204025 with flag 5346000/21521739
1664.16/1656.76	c cleaning 103004 clauses out of 206020 with flag 5450000/21625739
1671.00/1663.56	c cleaning 104008 clauses out of 208016 with flag 5555000/21730739
1679.72/1672.28	c cleaning 104995 clauses out of 210010 with flag 5661002/21836741
1688.04/1680.57	c cleaning 105994 clauses out of 212013 with flag 5768000/21943739
1694.98/1687.44	c cleaning 107005 clauses out of 214019 with flag 5876000/22051739
1702.98/1695.40	c cleaning 107992 clauses out of 216015 with flag 5985001/22160740
1711.21/1703.68	c cleaning 109006 clauses out of 218029 with flag 6095007/22270746
1719.34/1711.74	c cleaning 110004 clauses out of 220019 with flag 6206003/22381742
1727.36/1719.70	c cleaning 110995 clauses out of 222014 with flag 6318002/22493741
1735.30/1727.65	c cleaning 112004 clauses out of 224019 with flag 6431002/22606741
1742.63/1734.94	c cleaning 113004 clauses out of 226013 with flag 6545000/22720739
1752.37/1744.64	c cleaning 114009 clauses out of 228017 with flag 6660008/22835747
1760.88/1753.16	c cleaning 114997 clauses out of 230001 with flag 6776001/22951740
1771.90/1764.10	c cleaning 115991 clauses out of 232005 with flag 6893002/23068741
1780.84/1773.02	c cleaning 116993 clauses out of 234014 with flag 7011002/23186741
1790.36/1782.56	c cleaning 118002 clauses out of 236022 with flag 7130003/23305742
1800.01/1792.11	c starts		: 378
1800.01/1792.11	c conflicts		: 23425739
1800.01/1792.11	c decisions		: 48068593
1800.01/1792.11	c propagations		: 288022149
1800.01/1792.11	c inspects		: 19210869607
1800.01/1792.11	c shortcuts		: 0
1800.01/1792.11	c learnt literals	: 0
1800.01/1792.11	c learnt binary clauses	: 0
1800.01/1792.11	c learnt ternary clauses	: 0
1800.01/1792.11	c learnt constraints	: 23425739
1800.01/1792.11	c ignored constraints	: 0
1800.01/1792.11	c root simplifications	: 0
1800.01/1792.11	c removed literals (reason simplification)	: 0
1800.01/1792.11	c reason swapping (by a shorter reason)	: 0
1800.01/1792.11	c Calls to reduceDB	: 315
1800.01/1792.11	c number of reductions to clauses (during analyze)	: 0
1800.01/1792.11	c number of learned constraints concerned by reduction	: 0
1800.01/1792.11	c number of learning phase by resolution	: 0
1800.01/1792.11	c number of learning phase by cutting planes	: 0
1800.01/1792.11	c speed (assignments/second)	: 160732.0273000212
1800.01/1792.11	c non guided choices	0
1800.01/1792.14	c learnt constraints type 
1800.01/1792.15	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 238017
1800.01/1792.15	c constraints type 
1800.01/1792.15	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 100
1800.01/1792.15	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.01/1792.15	c 101 constraints processed.
1800.01/1792.15	s SATISFIABLE
1800.01/1792.15	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 
1800.01/1792.15	c objective function=11
1800.01/1792.15	c Total wall clock time (in seconds): 1792.027

Verifier Data 

OK	11

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-3688181-1337880838/watcher-3688181-1337880838 -o /tmp/evaluation-result-3688181-1337880838/solver-3688181-1337880838 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3688181-1337880838.opb 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.02 2.04 2.01 3/194 28541
/proc/meminfo: memFree=29689016/32873844 swapFree=7116/7116
[pid=28541] ppid=28539 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/28541/stat : 28541 (java) D 28539 28541 27542 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 254208742 9515008 182 33554432000 1073741824 1073778376 140733331141184 140733331132216 240565173941 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/28541/statm: 2323 182 140 9 0 71 0

[startup+0.022492 s]
/proc/loadavg: 2.02 2.04 2.01 3/194 28541
/proc/meminfo: memFree=29689016/32873844 swapFree=7116/7116
[pid=28541] ppid=28539 vsize=8882676 CPUtime=0 cores=1,3,5,7
/proc/28541/stat : 28541 (java) S 28539 28541 27542 0 -1 4202496 2017 0 1 0 0 0 0 0 20 0 9 0 254208742 9095860224 2209 33554432000 1073741824 1073778376 140734272784400 140734272775536 240568533053 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28541/statm: 2220669 2209 951 9 0 2211778 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8882676

[startup+0.100272 s]
/proc/loadavg: 2.02 2.04 2.01 3/194 28541
/proc/meminfo: memFree=29689016/32873844 swapFree=7116/7116
[pid=28541] ppid=28539 vsize=9558412 CPUtime=0.09 cores=1,3,5,7
/proc/28541/stat : 28541 (java) S 28539 28541 27542 0 -1 4202496 4229 0 1 0 8 1 0 0 20 0 18 0 254208742 9787813888 5420 33554432000 1073741824 1073778376 140734272784400 140734272775536 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28541/statm: 2389603 5420 2099 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412

[startup+0.300235 s]
/proc/loadavg: 2.02 2.04 2.01 3/194 28541
/proc/meminfo: memFree=29689016/32873844 swapFree=7116/7116
[pid=28541] ppid=28539 vsize=9624976 CPUtime=0.48 cores=1,3,5,7
/proc/28541/stat : 28541 (java) S 28539 28541 27542 0 -1 4202496 7000 0 1 0 47 1 0 0 20 0 19 0 254208742 9855975424 7792 33554432000 1073741824 1073778376 140734272784400 140734272775536 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28541/statm: 2406244 7792 2231 9 0 2396937 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9624976

[startup+0.700258 s]
/proc/loadavg: 2.02 2.04 2.01 3/194 28541
/proc/meminfo: memFree=29689016/32873844 swapFree=7116/7116
[pid=28541] ppid=28539 vsize=9624976 CPUtime=1.04 cores=1,3,5,7
/proc/28541/stat : 28541 (java) S 28539 28541 27542 0 -1 4202496 7871 0 1 0 103 1 0 0 20 0 19 0 254208742 9855975424 10132 33554432000 1073741824 1073778376 140734272784400 140734272775536 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28541/statm: 2406244 10132 2266 9 0 2396937 0
Current children cumulated CPU time (s) 1.04
Current children cumulated vsize (KiB) 9624976

[startup+1.50072 s]
/proc/loadavg: 2.01 2.04 2.01 3/213 28560
/proc/meminfo: memFree=29657444/32873844 swapFree=7116/7116
[pid=28541] ppid=28539 vsize=9624976 CPUtime=1.88 cores=1,3,5,7
/proc/28541/stat : 28541 (java) S 28539 28541 27542 0 -1 4202496 7951 0 1 0 186 2 0 0 20 0 19 0 254208742 9855975424 11197 33554432000 1073741824 1073778376 140734272784400 140734272775536 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28541/statm: 2406244 11197 2267 9 0 2396937 0
[pid=28541/tid=28543] ppid=28539 vsize=9624976 CPUtime=1.37 cores=1,3,5,7
/proc/28541/task/28543/stat : 28543 (java) R 28539 28541 27542 0 -1 4202560 2467 0 1 0 136 1 0 0 20 0 19 0 254208743 9855975424 11197 33554432000 1073741824 1073778376 140734272784400 140273547624856 140273380660033 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=28541/tid=28544] ppid=28539 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28541/task/28544/stat : 28544 (java) S 28539 28541 27542 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254208744 9855975424 11197 33554432000 1073741824 1073778376 140734272784400 140273509116328 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28541/tid=28545] ppid=28539 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28541/task/28545/stat : 28545 (java) S 28539 28541 27542 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254208744 9855975424 11197 33554432000 1073741824 1073778376 140734272784400 140273508063784 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28541/tid=28546] ppid=28539 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28541/task/28546/stat : 28546 (java) S 28539 28541 27542 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254208744 9855975424 11197 33554432000 1073741824 1073778376 140734272784400 140273507010728 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28541/tid=28547] ppid=28539 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28541/task/28547/stat : 28547 (java) S 28539 28541 27542 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 254208744 9855975424 11197 33554432000 1073741824 1073778376 140734272784400 140273505958184 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28541/tid=28548] ppid=28539 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28541/task/28548/stat : 28548 (java) S 28539 28541 27542 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254208744 9855975424 11197 33554432000 1073741824 1073778376 140734272784400 140273504906152 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28541/tid=28549] ppid=28539 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28541/task/28549/stat : 28549 (java) S 28539 28541 27542 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254208744 9855975424 11197 33554432000 1073741824 1073778376 140734272784400 140273503853608 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28541/tid=28550] ppid=28539 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28541/task/28550/stat : 28550 (java) S 28539 28541 27542 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 254208744 9855975424 11197 33554432000 1073741824 1073778376 140734272784400 140273502800552 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28541/tid=28551] ppid=28539 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28541/task/28551/stat : 28551 (java) S 28539 28541 27542 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254208744 9855975424 11197 33554432000 1073741824 1073778376 140734272784400 140273501748008 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28541/tid=28552] ppid=28539 vsize=9624976 CPUtime=0.06 cores=1,3,5,7
/proc/28541/task/28552/stat : 28552 (java) S 28539 28541 27542 0 -1 4202560 30 0 0 0 6 0 0 0 20 0 19 0 254208745 9855975424 11197 33554432000 1073741824 1073778376 140734272784400 140273371801960 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28541/tid=28553] ppid=28539 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28541/task/28553/stat : 28553 (java) S 28539 28541 27542 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254208746 9855975424 11197 33554432000 1073741824 1073778376 140734272784400 140273370748280 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28541/tid=28554] ppid=28539 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28541/task/28554/stat : 28554 (java) S 28539 28541 27542 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254208746 9855975424 11197 33554432000 1073741824 1073778376 140734272784400 140273369695112 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28541/tid=28555] ppid=28539 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28541/task/28555/stat : 28555 (java) S 28539 28541 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254208748 9855975424 11197 33554432000 1073741824 1073778376 140734272784400 140273368643856 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28541/tid=28556] ppid=28539 vsize=9624976 CPUtime=0.21 cores=1,3,5,7
/proc/28541/task/28556/stat : 28556 (java) S 28539 28541 27542 0 -1 4202560 2271 0 0 0 21 0 0 0 20 0 19 0 254208748 9855975424 11197 33554432000 1073741824 1073778376 140734272784400 140273367591736 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28541/tid=28557] ppid=28539 vsize=9624976 CPUtime=0.16 cores=1,3,5,7
/proc/28541/task/28557/stat : 28557 (java) S 28539 28541 27542 0 -1 4202560 1951 0 0 0 16 0 0 0 20 0 19 0 254208748 9855975424 11197 33554432000 1073741824 1073778376 140734272784400 140273366539192 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28541/tid=28558] ppid=28539 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28541/task/28558/stat : 28558 (java) S 28539 28541 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254208749 9855975424 11197 33554432000 1073741824 1073778376 140734272784400 140273365486328 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28541/tid=28559] ppid=28539 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28541/task/28559/stat : 28559 (java) S 28539 28541 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254208749 9855975424 11197 33554432000 1073741824 1073778376 140734272784400 140272356813896 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28541/tid=28560] ppid=28539 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28541/task/28560/stat : 28560 (java) S 28539 28541 27542 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254208759 9855975424 11197 33554432000 1073741824 1073778376 140734272784400 140272355759144 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.88
Current children cumulated vsize (KiB) 9624976

[startup+3.10062 s]
/proc/loadavg: 2.01 2.04 2.01 3/213 28560
/proc/meminfo: memFree=29652596/32873844 swapFree=7116/7116
[pid=28541] ppid=28539 vsize=9624976 CPUtime=3.5 cores=1,3,5,7
/proc/28541/stat : 28541 (java) S 28539 28541 27542 0 -1 4202496 7971 0 1 0 348 2 0 0 20 0 19 0 254208742 9855975424 11212 33554432000 1073741824 1073778376 140734272784400 140734272775536 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28541/statm: 2406244 11212 2267 9 0 2396937 0
[pid=28541/tid=28543] ppid=28539 vsize=9624976 CPUtime=2.89 cores=1,3,5,7
/proc/28541/task/28543/stat : 28543 (java) R 28539 28541 27542 0 -1 4202560 2472 0 1 0 288 1 0 0 20 0 19 0 254208743 9855975424 11212 33554432000 1073741824 1073778376 140734272784400 140273547624856 140273380683894 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=28541/tid=28544] ppid=28539 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28541/task/28544/stat : 28544 (java) S 28539 28541 27542 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254208744 9855975424 11212 33554432000 1073741824 1073778376 140734272784400 140273509116328 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28541/tid=28545] ppid=28539 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28541/task/28545/stat : 28545 (java) S 28539 28541 27542 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254208744 9855975424 11212 33554432000 1073741824 1073778376 140734272784400 140273508063784 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28541/tid=28546] ppid=28539 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28541/task/28546/stat : 28546 (java) S 28539 28541 27542 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254208744 9855975424 11212 33554432000 1073741824 1073778376 140734272784400 140273507010728 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28541/tid=28547] ppid=28539 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28541/task/28547/stat : 28547 (java) S 28539 28541 27542 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 254208744 9855975424 11212 33554432000 1073741824 1073778376 140734272784400 140273505958184 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28541/tid=28548] ppid=28539 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28541/task/28548/stat : 28548 (java) S 28539 28541 27542 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254208744 9855975424 11212 33554432000 1073741824 1073778376 140734272784400 140273504906152 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28541/tid=28549] ppid=28539 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28541/task/28549/stat : 28549 (java) S 28539 28541 27542 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254208744 9855975424 11212 33554432000 1073741824 1073778376 140734272784400 140273503853608 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28541/tid=28550] ppid=28539 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28541/task/28550/stat : 28550 (java) S 28539 28541 27542 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254208744 9855975424 11212 33554432000 1073741824 1073778376 140734272784400 140273502800552 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28541/tid=28551] ppid=28539 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28541/task/28551/stat : 28551 (java) S 28539 28541 27542 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254208744 9855975424 11212 33554432000 1073741824 1073778376 140734272784400 140273501748008 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28541/tid=28552] ppid=28539 vsize=9624976 CPUtime=0.11 cores=1,3,5,7
/proc/28541/task/28552/stat : 28552 (java) S 28539 28541 27542 0 -1 4202560 30 0 0 0 11 0 0 0 20 0 19 0 254208745 9855975424 11212 33554432000 1073741824 1073778376 140734272784400 140273371801960 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28541/tid=28553] ppid=28539 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28541/task/28553/stat : 28553 (java) S 28539 28541 27542 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254208746 9855975424 11212 33554432000 1073741824 1073778376 140734272784400 140273370748280 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28541/tid=28554] ppid=28539 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28541/task/28554/stat : 28554 (java) S 28539 28541 27542 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254208746 9855975424 11212 33554432000 1073741824 1073778376 140734272784400 140273369695112 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28541/tid=28555] ppid=28539 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28541/task/28555/stat : 28555 (java) S 28539 28541 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254208748 9855975424 11212 33554432000 1073741824 1073778376 140734272784400 140273368643856 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28541/tid=28556] ppid=28539 vsize=9624976 CPUtime=0.21 cores=1,3,5,7
/proc/28541/task/28556/stat : 28556 (java) S 28539 28541 27542 0 -1 4202560 2271 0 0 0 21 0 0 0 20 0 19 0 254208748 9855975424 11212 33554432000 1073741824 1073778376 140734272784400 140273367591736 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28541/tid=28557] ppid=28539 vsize=9624976 CPUtime=0.16 cores=1,3,5,7
/proc/28541/task/28557/stat : 28557 (java) S 28539 28541 27542 0 -1 4202560 1951 0 0 0 16 0 0 0 20 0 19 0 254208748 9855975424 11212 33554432000 1073741824 1073778376 140734272784400 140273366539192 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28541/tid=28558] ppid=28539 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28541/task/28558/stat : 28558 (java) S 28539 28541 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254208749 9855975424 11212 33554432000 1073741824 1073778376 140734272784400 140273365486328 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28541/tid=28559] ppid=28539 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28541/task/28559/stat : 28559 (java) S 28539 28541 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254208749 9855975424 11212 33554432000 1073741824 1073778376 140734272784400 140272356813896 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28541/tid=28560] ppid=28539 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28541/task/28560/stat : 28560 (java) S 28539 28541 27542 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254208759 9855975424 11212 33554432000 1073741824 1073778376 140734272784400 140272355759144 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.5
Current children cumulated vsize (KiB) 9624976

[startup+6.30061 s]
/proc/loadavg: 2.01 2.04 2.01 3/213 28560
/proc/meminfo: memFree=29651168/32873844 swapFree=7116/7116
[pid=28541] ppid=28539 vsize=9624976 CPUtime=6.73 cores=1,3,5,7
/proc/28541/stat : 28541 (java) S 28539 28541 27542 0 -1 4202496 7994 0 1 0 671 2 0 0 20 0 19 0 254208742 9855975424 11363 33554432000 1073741824 1073778376 140734272784400 140734272775536 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28541/statm: 2406244 11363 2267 9 0 2396937 0
[pid=28541/tid=28543] ppid=28539 vsize=9624976 CPUtime=5.96 cores=1,3,5,7
/proc/28541/task/28543/stat : 28543 (java) R 28539 28541 27542 0 -1 4202560 2480 0 1 0 595 1 0 0 20 0 19 0 254208743 9855975424 11363 33554432000 1073741824 1073778376 140734272784400 140273547624736 140273380678236 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=28541/tid=28544] ppid=28539 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28541/task/28544/stat : 28544 (java) S 28539 28541 27542 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 254208744 9855975424 11363 33554432000 1073741824 1073778376 140734272784400 140273509116328 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28541/tid=28545] ppid=28539 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28541/task/28545/stat : 28545 (java) S 28539 28541 27542 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254208744 9855975424 11363 33554432000 1073741824 1073778376 140734272784400 140273508063784 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28541/tid=28546] ppid=28539 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28541/task/28546/stat : 28546 (java) S 28539 28541 27542 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254208744 9855975424 11363 33554432000 1073741824 1073778376 140734272784400 140273507010728 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28541/tid=28547] ppid=28539 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/28541/task/28547/stat : 28547 (java) S 28539 28541 27542 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 19 0 254208744 9855975424 11363 33554432000 1073741824 1073778376 140734272784400 140273505958184 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28541/tid=28548] ppid=28539 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28541/task/28548/stat : 28548 (java) S 28539 28541 27542 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254208744 9855975424 11363 33554432000 1073741824 1073778376 140734272784400 140273504906152 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28541/tid=28549] ppid=28539 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28541/task/28549/stat : 28549 (java) S 28539 28541 27542 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254208744 9855975424 11363 33554432000 1073741824 1073778376 140734272784400 140273503853608 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28541/tid=28550] ppid=28539 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28541/task/28550/stat : 28550 (java) S 28539 28541 27542 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254208744 9855975424 11363 33554432000 1073741824 1073778376 140734272784400 140273502800552 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28541/tid=28551] ppid=28539 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28541/task/28551/stat : 28551 (java) S 28539 28541 27542 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254208744 9855975424 11363 33554432000 1073741824 1073778376 140734272784400 140273501748008 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28541/tid=28552] ppid=28539 vsize=9624976 CPUtime=0.22 cores=1,3,5,7
/proc/28541/task/28552/stat : 28552 (java) S 28539 28541 27542 0 -1 4202560 31 0 0 0 22 0 0 0 20 0 19 0 254208745 9855975424 11363 33554432000 1073741824 1073778376 140734272784400 140273371801960 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28541/tid=28553] ppid=28539 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28541/task/28553/stat : 28553 (java) S 28539 28541 27542 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254208746 9855975424 11363 33554432000 1073741824 1073778376 140734272784400 140273370748280 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28541/tid=28554] ppid=28539 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28541/task/28554/stat : 28554 (java) S 28539 28541 27542 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254208746 9855975424 11363 33554432000 1073741824 1073778376 140734272784400 140273369695112 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28541/tid=28555] ppid=28539 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28541/task/28555/stat : 28555 (java) S 28539 28541 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254208748 9855975424 11363 33554432000 1073741824 1073778376 140734272784400 140273368643856 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28541/tid=28556] ppid=28539 vsize=9624976 CPUtime=0.21 cores=1,3,5,7
/proc/28541/task/28556/stat : 28556 (java) S 28539 28541 27542 0 -1 4202560 2271 0 0 0 21 0 0 0 20 0 19 0 254208748 9855975424 11363 33554432000 1073741824 1073778376 140734272784400 140273367591736 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28541/tid=28557] ppid=28539 vsize=9624976 CPUtime=0.16 cores=1,3,5,7
/proc/28541/task/28557/stat : 28557 (java) S 28539 28541 27542 0 -1 4202560 1951 0 0 0 16 0 0 0 20 0 19 0 254208748 9855975424 11363 33554432000 1073741824 1073778376 140734272784400 140273366539192 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28541/tid=28558] ppid=28539 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28541/task/28558/stat : 28558 (java) S 28539 28541 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254208749 9855975424 11363 33554432000 1073741824 1073778376 140734272784400 140273365486328 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28541/tid=28559] ppid=28539 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28541/task/28559/stat : 28559 (java) S 28539 28541 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254208749 9855975424 11363 33554432000 1073741824 1073778376 140734272784400 140272356813896 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28541/tid=28560] ppid=28539 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28541/task/28560/stat : 28560 (java) S 28539 28541 27542 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254208759 9855975424 11363 33554432000 1073741824 1073778376 140734272784400 140272355759144 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.73
Current children cumulated vsize (KiB) 9624976

[startup+12.7007 s]

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

[pid=28541/tid=28556] ppid=28539 vsize=9624976 CPUtime=0.21 cores=1,3,5,7
/proc/28541/task/28556/stat : 28556 (java) S 28539 28541 27542 0 -1 4202560 2271 0 0 0 21 0 0 0 20 0 19 0 254208748 9855975424 35096 33554432000 1073741824 1073778376 140734272784400 140273367591736 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28541/tid=28557] ppid=28539 vsize=9624976 CPUtime=0.18 cores=1,3,5,7
/proc/28541/task/28557/stat : 28557 (java) S 28539 28541 27542 0 -1 4202560 2361 0 0 0 18 0 0 0 20 0 19 0 254208748 9855975424 35096 33554432000 1073741824 1073778376 140734272784400 140273366539192 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28541/tid=28558] ppid=28539 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28541/task/28558/stat : 28558 (java) S 28539 28541 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254208749 9855975424 35096 33554432000 1073741824 1073778376 140734272784400 140273365486328 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28541/tid=28559] ppid=28539 vsize=9624976 CPUtime=0.82 cores=1,3,5,7
/proc/28541/task/28559/stat : 28559 (java) S 28539 28541 27542 0 -1 4202560 98 0 0 0 55 27 0 0 20 0 19 0 254208749 9855975424 35096 33554432000 1073741824 1073778376 140734272784400 140272356813896 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28541/tid=28560] ppid=28539 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28541/task/28560/stat : 28560 (java) S 28539 28541 27542 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254208759 9855975424 35096 33554432000 1073741824 1073778376 140734272784400 140272355759144 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1729.99
Current children cumulated vsize (KiB) 9624976

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/213 28716
/proc/meminfo: memFree=29548452/32873844 swapFree=7116/7116
[pid=28541] ppid=28539 vsize=9624976 CPUtime=1790.16 cores=1,3,5,7
/proc/28541/stat : 28541 (java) S 28539 28541 27542 0 -1 4202496 10577 0 1 0 178954 62 0 0 20 0 19 0 254208742 9855975424 35096 33554432000 1073741824 1073778376 140734272784400 140734272775536 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28541/statm: 2406244 35096 2268 9 0 2396937 0
[pid=28541/tid=28543] ppid=28539 vsize=9624976 CPUtime=1761.65 cores=1,3,5,7
/proc/28541/task/28543/stat : 28543 (java) R 28539 28541 27542 0 -1 4202560 2782 0 1 0 176138 27 0 0 20 0 19 0 254208743 9855975424 35096 33554432000 1073741824 1073778376 140734272784400 140273547624736 140273380854768 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=28541/tid=28544] ppid=28539 vsize=9624976 CPUtime=1.09 cores=1,3,5,7
/proc/28541/task/28544/stat : 28544 (java) S 28539 28541 27542 0 -1 4202560 268 0 0 0 107 2 0 0 20 0 19 0 254208744 9855975424 35096 33554432000 1073741824 1073778376 140734272784400 140273509116328 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28541/tid=28545] ppid=28539 vsize=9624976 CPUtime=1.22 cores=1,3,5,7
/proc/28541/task/28545/stat : 28545 (java) S 28539 28541 27542 0 -1 4202560 260 0 0 0 121 1 0 0 20 0 19 0 254208744 9855975424 35096 33554432000 1073741824 1073778376 140734272784400 140273508063784 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28541/tid=28546] ppid=28539 vsize=9624976 CPUtime=1.16 cores=1,3,5,7
/proc/28541/task/28546/stat : 28546 (java) S 28539 28541 27542 0 -1 4202560 264 0 0 0 114 2 0 0 20 0 19 0 254208744 9855975424 35096 33554432000 1073741824 1073778376 140734272784400 140273507010728 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28541/tid=28547] ppid=28539 vsize=9624976 CPUtime=1.15 cores=1,3,5,7
/proc/28541/task/28547/stat : 28547 (java) S 28539 28541 27542 0 -1 4202560 269 0 0 0 113 2 0 0 20 0 19 0 254208744 9855975424 35096 33554432000 1073741824 1073778376 140734272784400 140273505958184 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28541/tid=28548] ppid=28539 vsize=9624976 CPUtime=1.19 cores=1,3,5,7
/proc/28541/task/28548/stat : 28548 (java) S 28539 28541 27542 0 -1 4202560 191 0 0 0 117 2 0 0 20 0 19 0 254208744 9855975424 35096 33554432000 1073741824 1073778376 140734272784400 140273504906152 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28541/tid=28549] ppid=28539 vsize=9624976 CPUtime=1.17 cores=1,3,5,7
/proc/28541/task/28549/stat : 28549 (java) S 28539 28541 27542 0 -1 4202560 108 0 0 0 115 2 0 0 20 0 19 0 254208744 9855975424 35096 33554432000 1073741824 1073778376 140734272784400 140273503853608 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28541/tid=28550] ppid=28539 vsize=9624976 CPUtime=1.06 cores=1,3,5,7
/proc/28541/task/28550/stat : 28550 (java) S 28539 28541 27542 0 -1 4202560 131 0 0 0 104 2 0 0 20 0 19 0 254208744 9855975424 35096 33554432000 1073741824 1073778376 140734272784400 140273502800552 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28541/tid=28551] ppid=28539 vsize=9624976 CPUtime=1.21 cores=1,3,5,7
/proc/28541/task/28551/stat : 28551 (java) S 28539 28541 27542 0 -1 4202560 236 0 0 0 119 2 0 0 20 0 19 0 254208744 9855975424 35096 33554432000 1073741824 1073778376 140734272784400 140273501748008 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28541/tid=28552] ppid=28539 vsize=9624976 CPUtime=13.1 cores=1,3,5,7
/proc/28541/task/28552/stat : 28552 (java) S 28539 28541 27542 0 -1 4202560 153 0 0 0 1307 3 0 0 20 0 19 0 254208745 9855975424 35096 33554432000 1073741824 1073778376 140734272784400 140273371801960 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28541/tid=28553] ppid=28539 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28541/task/28553/stat : 28553 (java) S 28539 28541 27542 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254208746 9855975424 35096 33554432000 1073741824 1073778376 140734272784400 140273370748280 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28541/tid=28554] ppid=28539 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28541/task/28554/stat : 28554 (java) S 28539 28541 27542 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254208746 9855975424 35096 33554432000 1073741824 1073778376 140734272784400 140273369695112 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28541/tid=28555] ppid=28539 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28541/task/28555/stat : 28555 (java) S 28539 28541 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254208748 9855975424 35096 33554432000 1073741824 1073778376 140734272784400 140273368643856 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28541/tid=28556] ppid=28539 vsize=9624976 CPUtime=0.21 cores=1,3,5,7
/proc/28541/task/28556/stat : 28556 (java) S 28539 28541 27542 0 -1 4202560 2271 0 0 0 21 0 0 0 20 0 19 0 254208748 9855975424 35096 33554432000 1073741824 1073778376 140734272784400 140273367591736 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28541/tid=28557] ppid=28539 vsize=9624976 CPUtime=0.18 cores=1,3,5,7
/proc/28541/task/28557/stat : 28557 (java) S 28539 28541 27542 0 -1 4202560 2361 0 0 0 18 0 0 0 20 0 19 0 254208748 9855975424 35096 33554432000 1073741824 1073778376 140734272784400 140273366539192 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28541/tid=28558] ppid=28539 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28541/task/28558/stat : 28558 (java) S 28539 28541 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254208749 9855975424 35096 33554432000 1073741824 1073778376 140734272784400 140273365486328 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28541/tid=28559] ppid=28539 vsize=9624976 CPUtime=0.85 cores=1,3,5,7
/proc/28541/task/28559/stat : 28559 (java) S 28539 28541 27542 0 -1 4202560 102 0 0 0 58 27 0 0 20 0 19 0 254208749 9855975424 35096 33554432000 1073741824 1073778376 140734272784400 140272356813896 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28541/tid=28560] ppid=28539 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28541/task/28560/stat : 28560 (java) S 28539 28541 27542 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254208759 9855975424 35096 33554432000 1073741824 1073778376 140734272784400 140272355759144 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1790.16
Current children cumulated vsize (KiB) 9624976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1792.1 s]
/proc/loadavg: 2.00 2.01 2.00 3/213 28716
/proc/meminfo: memFree=29548452/32873844 swapFree=7116/7116
[pid=28541] ppid=28539 vsize=9624976 CPUtime=1800.01 cores=1,3,5,7
/proc/28541/stat : 28541 (java) S 28539 28541 27542 0 -1 4202496 10580 0 1 0 179939 62 0 0 20 0 19 0 254208742 9855975424 35096 33554432000 1073741824 1073778376 140734272784400 140734272775536 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28541/statm: 2406244 35096 2268 9 0 2396937 0
[pid=28541/tid=28543] ppid=28539 vsize=9624976 CPUtime=1771.36 cores=1,3,5,7
/proc/28541/task/28543/stat : 28543 (java) R 28539 28541 27542 0 -1 4202560 2783 0 1 0 177109 27 0 0 20 0 19 0 254208743 9855975424 35096 33554432000 1073741824 1073778376 140734272784400 140273547624736 140273380855120 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=28541/tid=28544] ppid=28539 vsize=9624976 CPUtime=1.1 cores=1,3,5,7
/proc/28541/task/28544/stat : 28544 (java) S 28539 28541 27542 0 -1 4202560 268 0 0 0 108 2 0 0 20 0 19 0 254208744 9855975424 35096 33554432000 1073741824 1073778376 140734272784400 140273509116328 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28541/tid=28545] ppid=28539 vsize=9624976 CPUtime=1.23 cores=1,3,5,7
/proc/28541/task/28545/stat : 28545 (java) S 28539 28541 27542 0 -1 4202560 260 0 0 0 121 2 0 0 20 0 19 0 254208744 9855975424 35096 33554432000 1073741824 1073778376 140734272784400 140273508063784 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28541/tid=28546] ppid=28539 vsize=9624976 CPUtime=1.17 cores=1,3,5,7
/proc/28541/task/28546/stat : 28546 (java) S 28539 28541 27542 0 -1 4202560 264 0 0 0 115 2 0 0 20 0 19 0 254208744 9855975424 35096 33554432000 1073741824 1073778376 140734272784400 140273507010728 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28541/tid=28547] ppid=28539 vsize=9624976 CPUtime=1.16 cores=1,3,5,7
/proc/28541/task/28547/stat : 28547 (java) S 28539 28541 27542 0 -1 4202560 269 0 0 0 114 2 0 0 20 0 19 0 254208744 9855975424 35096 33554432000 1073741824 1073778376 140734272784400 140273505958184 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28541/tid=28548] ppid=28539 vsize=9624976 CPUtime=1.19 cores=1,3,5,7
/proc/28541/task/28548/stat : 28548 (java) S 28539 28541 27542 0 -1 4202560 191 0 0 0 117 2 0 0 20 0 19 0 254208744 9855975424 35096 33554432000 1073741824 1073778376 140734272784400 140273504906152 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28541/tid=28549] ppid=28539 vsize=9624976 CPUtime=1.18 cores=1,3,5,7
/proc/28541/task/28549/stat : 28549 (java) S 28539 28541 27542 0 -1 4202560 108 0 0 0 116 2 0 0 20 0 19 0 254208744 9855975424 35096 33554432000 1073741824 1073778376 140734272784400 140273503853608 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28541/tid=28550] ppid=28539 vsize=9624976 CPUtime=1.06 cores=1,3,5,7
/proc/28541/task/28550/stat : 28550 (java) S 28539 28541 27542 0 -1 4202560 131 0 0 0 104 2 0 0 20 0 19 0 254208744 9855975424 35096 33554432000 1073741824 1073778376 140734272784400 140273502800552 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28541/tid=28551] ppid=28539 vsize=9624976 CPUtime=1.22 cores=1,3,5,7
/proc/28541/task/28551/stat : 28551 (java) S 28539 28541 27542 0 -1 4202560 236 0 0 0 120 2 0 0 20 0 19 0 254208744 9855975424 35096 33554432000 1073741824 1073778376 140734272784400 140273501748008 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28541/tid=28552] ppid=28539 vsize=9624976 CPUtime=13.16 cores=1,3,5,7
/proc/28541/task/28552/stat : 28552 (java) S 28539 28541 27542 0 -1 4202560 155 0 0 0 1313 3 0 0 20 0 19 0 254208745 9855975424 35096 33554432000 1073741824 1073778376 140734272784400 140273371801960 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28541/tid=28553] ppid=28539 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28541/task/28553/stat : 28553 (java) S 28539 28541 27542 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254208746 9855975424 35096 33554432000 1073741824 1073778376 140734272784400 140273370748280 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28541/tid=28554] ppid=28539 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28541/task/28554/stat : 28554 (java) S 28539 28541 27542 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254208746 9855975424 35096 33554432000 1073741824 1073778376 140734272784400 140273369695112 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28541/tid=28555] ppid=28539 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28541/task/28555/stat : 28555 (java) S 28539 28541 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254208748 9855975424 35096 33554432000 1073741824 1073778376 140734272784400 140273368643856 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28541/tid=28556] ppid=28539 vsize=9624976 CPUtime=0.21 cores=1,3,5,7
/proc/28541/task/28556/stat : 28556 (java) S 28539 28541 27542 0 -1 4202560 2271 0 0 0 21 0 0 0 20 0 19 0 254208748 9855975424 35096 33554432000 1073741824 1073778376 140734272784400 140273367591736 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28541/tid=28557] ppid=28539 vsize=9624976 CPUtime=0.18 cores=1,3,5,7
/proc/28541/task/28557/stat : 28557 (java) S 28539 28541 27542 0 -1 4202560 2361 0 0 0 18 0 0 0 20 0 19 0 254208748 9855975424 35096 33554432000 1073741824 1073778376 140734272784400 140273366539192 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28541/tid=28558] ppid=28539 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28541/task/28558/stat : 28558 (java) S 28539 28541 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254208749 9855975424 35096 33554432000 1073741824 1073778376 140734272784400 140273365486328 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28541/tid=28559] ppid=28539 vsize=9624976 CPUtime=0.85 cores=1,3,5,7
/proc/28541/task/28559/stat : 28559 (java) S 28539 28541 27542 0 -1 4202560 102 0 0 0 58 27 0 0 20 0 19 0 254208749 9855975424 35096 33554432000 1073741824 1073778376 140734272784400 140272356813896 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28541/tid=28560] ppid=28539 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28541/task/28560/stat : 28560 (java) S 28539 28541 27542 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254208759 9855975424 35096 33554432000 1073741824 1073778376 140734272784400 140272355759144 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 9624976

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

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

[startup+1792.1 s]
/proc/loadavg: 2.00 2.01 2.00 3/213 28716
/proc/meminfo: memFree=29548452/32873844 swapFree=7116/7116
[pid=28541] ppid=28539 vsize=9624976 CPUtime=1800.01 cores=1,3,5,7
/proc/28541/stat : 28541 (java) S 28539 28541 27542 0 -1 4202496 10580 0 1 0 179939 62 0 0 20 0 19 0 254208742 9855975424 35096 33554432000 1073741824 1073778376 140734272784400 140734272775536 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28541/statm: 2406244 35096 2268 9 0 2396937 0
[pid=28541/tid=28543] ppid=28539 vsize=9624976 CPUtime=1771.36 cores=1,3,5,7
/proc/28541/task/28543/stat : 28543 (java) R 28539 28541 27542 0 -1 4202560 2783 0 1 0 177109 27 0 0 20 0 19 0 254208743 9855975424 35096 33554432000 1073741824 1073778376 140734272784400 140273547624736 140273380855120 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=28541/tid=28544] ppid=28539 vsize=9624976 CPUtime=1.1 cores=1,3,5,7
/proc/28541/task/28544/stat : 28544 (java) S 28539 28541 27542 0 -1 4202560 268 0 0 0 108 2 0 0 20 0 19 0 254208744 9855975424 35096 33554432000 1073741824 1073778376 140734272784400 140273509116328 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28541/tid=28545] ppid=28539 vsize=9624976 CPUtime=1.23 cores=1,3,5,7
/proc/28541/task/28545/stat : 28545 (java) S 28539 28541 27542 0 -1 4202560 260 0 0 0 121 2 0 0 20 0 19 0 254208744 9855975424 35096 33554432000 1073741824 1073778376 140734272784400 140273508063784 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28541/tid=28546] ppid=28539 vsize=9624976 CPUtime=1.17 cores=1,3,5,7
/proc/28541/task/28546/stat : 28546 (java) S 28539 28541 27542 0 -1 4202560 264 0 0 0 115 2 0 0 20 0 19 0 254208744 9855975424 35096 33554432000 1073741824 1073778376 140734272784400 140273507010728 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28541/tid=28547] ppid=28539 vsize=9624976 CPUtime=1.16 cores=1,3,5,7
/proc/28541/task/28547/stat : 28547 (java) S 28539 28541 27542 0 -1 4202560 269 0 0 0 114 2 0 0 20 0 19 0 254208744 9855975424 35096 33554432000 1073741824 1073778376 140734272784400 140273505958184 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28541/tid=28548] ppid=28539 vsize=9624976 CPUtime=1.19 cores=1,3,5,7
/proc/28541/task/28548/stat : 28548 (java) S 28539 28541 27542 0 -1 4202560 191 0 0 0 117 2 0 0 20 0 19 0 254208744 9855975424 35096 33554432000 1073741824 1073778376 140734272784400 140273504906152 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28541/tid=28549] ppid=28539 vsize=9624976 CPUtime=1.18 cores=1,3,5,7
/proc/28541/task/28549/stat : 28549 (java) S 28539 28541 27542 0 -1 4202560 108 0 0 0 116 2 0 0 20 0 19 0 254208744 9855975424 35096 33554432000 1073741824 1073778376 140734272784400 140273503853608 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28541/tid=28550] ppid=28539 vsize=9624976 CPUtime=1.06 cores=1,3,5,7
/proc/28541/task/28550/stat : 28550 (java) S 28539 28541 27542 0 -1 4202560 131 0 0 0 104 2 0 0 20 0 19 0 254208744 9855975424 35096 33554432000 1073741824 1073778376 140734272784400 140273502800552 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28541/tid=28551] ppid=28539 vsize=9624976 CPUtime=1.22 cores=1,3,5,7
/proc/28541/task/28551/stat : 28551 (java) S 28539 28541 27542 0 -1 4202560 236 0 0 0 120 2 0 0 20 0 19 0 254208744 9855975424 35096 33554432000 1073741824 1073778376 140734272784400 140273501748008 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28541/tid=28552] ppid=28539 vsize=9624976 CPUtime=13.16 cores=1,3,5,7
/proc/28541/task/28552/stat : 28552 (java) S 28539 28541 27542 0 -1 4202560 155 0 0 0 1313 3 0 0 20 0 19 0 254208745 9855975424 35096 33554432000 1073741824 1073778376 140734272784400 140273371801960 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28541/tid=28553] ppid=28539 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28541/task/28553/stat : 28553 (java) S 28539 28541 27542 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254208746 9855975424 35096 33554432000 1073741824 1073778376 140734272784400 140273370748280 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28541/tid=28554] ppid=28539 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28541/task/28554/stat : 28554 (java) S 28539 28541 27542 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254208746 9855975424 35096 33554432000 1073741824 1073778376 140734272784400 140273369695112 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28541/tid=28555] ppid=28539 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28541/task/28555/stat : 28555 (java) S 28539 28541 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254208748 9855975424 35096 33554432000 1073741824 1073778376 140734272784400 140273368643856 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28541/tid=28556] ppid=28539 vsize=9624976 CPUtime=0.21 cores=1,3,5,7
/proc/28541/task/28556/stat : 28556 (java) S 28539 28541 27542 0 -1 4202560 2271 0 0 0 21 0 0 0 20 0 19 0 254208748 9855975424 35096 33554432000 1073741824 1073778376 140734272784400 140273367591736 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28541/tid=28557] ppid=28539 vsize=9624976 CPUtime=0.18 cores=1,3,5,7
/proc/28541/task/28557/stat : 28557 (java) S 28539 28541 27542 0 -1 4202560 2361 0 0 0 18 0 0 0 20 0 19 0 254208748 9855975424 35096 33554432000 1073741824 1073778376 140734272784400 140273366539192 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28541/tid=28558] ppid=28539 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28541/task/28558/stat : 28558 (java) S 28539 28541 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254208749 9855975424 35096 33554432000 1073741824 1073778376 140734272784400 140273365486328 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28541/tid=28559] ppid=28539 vsize=9624976 CPUtime=0.85 cores=1,3,5,7
/proc/28541/task/28559/stat : 28559 (java) S 28539 28541 27542 0 -1 4202560 102 0 0 0 58 27 0 0 20 0 19 0 254208749 9855975424 35096 33554432000 1073741824 1073778376 140734272784400 140272356813896 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28541/tid=28560] ppid=28539 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28541/task/28560/stat : 28560 (java) S 28539 28541 27542 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254208759 9855975424 35096 33554432000 1073741824 1073778376 140734272784400 140272355759144 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 9624976

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 28541 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=548187
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=871867
# CPU time returned by wait4() is 1795.42
# while last known CPU time is 1800.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1792.15
CPU time (s): 1800.01
CPU user time (s): 1799.39
CPU system time (s): 0.62
CPU usage (%): 100.438
Max. virtual memory (cumulated for all children) (KiB): 9624976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.55
system time used= 0.871867
maximum resident set size= 140544
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10622
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1704
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 46442
involuntary context switches= 30375

runsolver used 6.86996 second user time and 15.5626 second system time

The end

Launcher Data 

Begin job on node146 at 2012-05-24 19:33:58
IDJOB=3688181
IDBENCH=2874
IDSOLVER=2269
FILE ID=node146/3688181-1337880838
RUNJOBID= node146-1337871880-27559
PBS_JOBID= 14620058
Free space on /tmp= 71716 MiB

SOLVER NAME= Sat 4j PB Resolution 2.3.2 Snapshot
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m100_100_10_15.r.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3688181-1337880838/watcher-3688181-1337880838 -o /tmp/evaluation-result-3688181-1337880838/solver-3688181-1337880838 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3688181-1337880838.opb

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

MD5SUM BENCH= 7e1b8a9f40a52781f7629bf04a2d5793
RANDOM SEED=1031395105

node146.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
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.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
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	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
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		: 2667.034
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.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
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.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
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.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
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.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        29689924 kB
Buffers:          211716 kB
Cached:          1998712 kB
SwapCached:         2348 kB
Active:           547904 kB
Inactive:        1875504 kB
Active(anon):     211636 kB
Inactive(anon):     3064 kB
Active(file):     336268 kB
Inactive(file):  1872440 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67100340 kB
Dirty:               452 kB
Writeback:             0 kB
AnonPages:        217312 kB
Mapped:            16208 kB
Shmem:                 0 kB
Slab:             622192 kB
SReclaimable:      63676 kB
SUnreclaim:       558516 kB
KernelStack:        1608 kB
PageTables:         4644 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     695944 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    198656 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71712 MiB
End job on node146 at 2012-05-24 20:03:52