Trace number 3455290

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 Res//CP 2.3.0SAT (TO)48 1800.33 968.487

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-ex5.r.opb
MD5SUMa65b7dae8af36ed37815bca4e48a5306
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark37
Best CPU time to get the best result obtained on this benchmark7.72782
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 37
Optimality of the best value was proved YES
Number of variables2428
Total number of constraints831
Number of constraints which are clauses831
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 constraint3
Maximum length of a constraint146
Number of terms in the objective function 2428
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 2428
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 2428
Number of bits of the biggest sum of numbers12
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.03/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.03/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.03/0.08	c See www.sat4j.org for details.
0.03/0.08	c version 2.3.1.v20110525
0.03/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.03/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.03/0.08	c java.vm.version	19.1-b02
0.03/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.03/0.08	c sun.arch.data.model	64
0.03/0.08	c java.version		1.6.0_24
0.03/0.08	c os.name		Linux
0.03/0.08	c os.version		2.6.18-164.el5
0.03/0.08	c os.arch		amd64
0.03/0.08	c Free memory 		9996466904
0.03/0.08	c Max memory 		10048897024
0.03/0.08	c Total memory 		10048897024
0.03/0.08	c Number of processors 	8
0.11/0.11	c Pseudo Boolean Optimization
0.11/0.11	c ManyCore solver with 2 solvers running in parallel
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@67ee3914
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.11	c Expensive reason simplification
0.11/0.11	c Armin Biere (Picosat) restarts strategy
0.11/0.11	c Glucose learned constraints deletion strategy
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@1c691f36
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.11/0.11	c No reason simplification
0.11/0.11	c Armin Biere (Picosat) restarts strategy
0.11/0.11	c Glucose learned constraints deletion strategy
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c solving HOME/instance-3455290-1307192095.opb
0.11/0.11	c reading problem ... 
0.59/0.35	c ... done. Wall clock time 0.237s.
0.59/0.35	c #vars     2428
0.59/0.35	c #constraints  831
0.59/0.35	c constraints type 
0.59/0.35	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 831
0.59/0.35	c constraints type 
0.59/0.35	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 831
0.59/0.39	c  And the winner is Resolution
0.82/0.86	c SATISFIABLE
0.82/0.86	c OPTIMIZING...
0.82/0.86	c Got one! Elapsed wall clock time (in seconds):0.748
0.82/0.86	o 61
0.96/0.91	c  And the winner is Resolution
1.17/1.37	c Got one! Elapsed wall clock time (in seconds):1.267
1.17/1.37	o 60
1.29/1.46	c  And the winner is Resolution
1.52/1.89	c Got one! Elapsed wall clock time (in seconds):1.779
1.52/1.89	o 59
4.47/3.06	c cleaning 2543 clauses out of 5094 with flag 5000/5094
7.20/4.40	c cleaning 4266 clauses out of 8551 with flag 11000/11094
7.65/4.59	c  And the winner is CuttingPlanes
7.83/4.93	c Got one! Elapsed wall clock time (in seconds):4.821
7.83/4.93	o 58
10.01/6.01	c cleaning 4930 clauses out of 9869 with flag 5002/16678
10.41/6.23	c  And the winner is CuttingPlanes
10.48/6.44	c Got one! Elapsed wall clock time (in seconds):6.333
10.48/6.44	o 57
12.66/7.60	c cleaning 5378 clauses out of 10770 with flag 5000/22509
15.31/8.85	c cleaning 5690 clauses out of 11392 with flag 11000/28509
17.66/10.01	c  And the winner is CuttingPlanes
17.69/10.46	c Got one! Elapsed wall clock time (in seconds):10.353
17.69/10.46	o 56
18.85/11.09	c cleaning 5636 clauses out of 11276 with flag 2000/34083
21.79/12.57	c cleaning 5813 clauses out of 11640 with flag 8000/40083
25.44/14.33	c cleaning 6407 clauses out of 12827 with flag 15000/47083
29.19/16.28	c cleaning 7208 clauses out of 14420 with flag 23000/55083
34.55/18.97	c cleaning 8097 clauses out of 16213 with flag 32001/64084
39.52/21.46	c cleaning 9053 clauses out of 18115 with flag 42000/74083
44.51/23.98	c cleaning 9529 clauses out of 19066 with flag 52004/84087
50.06/26.77	c cleaning 9761 clauses out of 19533 with flag 62000/94083
55.24/29.36	c cleaning 9880 clauses out of 19772 with flag 72000/104083
60.79/32.11	c cleaning 9942 clauses out of 19893 with flag 82001/114084
64.93/34.27	c cleaning 9974 clauses out of 19950 with flag 92000/124083
71.49/37.58	c cleaning 9984 clauses out of 19976 with flag 102000/134083
78.23/40.93	c cleaning 9991 clauses out of 19992 with flag 112000/144083
83.19/43.47	c cleaning 9990 clauses out of 20001 with flag 122000/154083
88.92/46.38	c cleaning 9998 clauses out of 20012 with flag 132001/164084
95.02/49.50	c cleaning 9999 clauses out of 20014 with flag 142001/174084
101.13/52.54	c cleaning 10004 clauses out of 20016 with flag 152002/184085
108.64/56.38	c cleaning 9996 clauses out of 20010 with flag 162000/194083
115.54/59.82	c cleaning 10002 clauses out of 20014 with flag 172000/204083
121.23/62.74	c cleaning 10001 clauses out of 20012 with flag 182000/214083
127.30/65.83	c cleaning 9998 clauses out of 20011 with flag 192000/224083
133.40/68.96	c cleaning 10002 clauses out of 20014 with flag 202001/234084
139.69/72.15	c cleaning 10002 clauses out of 20012 with flag 212001/244084
145.52/75.11	c cleaning 10001 clauses out of 20010 with flag 222001/254084
149.41/77.15	c cleaning 9997 clauses out of 20008 with flag 232000/264083
152.53/78.78	c cleaning 9996 clauses out of 20011 with flag 242000/274083
155.41/80.32	c cleaning 10003 clauses out of 20015 with flag 252000/284083
159.85/82.52	c cleaning 10004 clauses out of 20013 with flag 262001/294084
164.88/85.10	c cleaning 10001 clauses out of 20009 with flag 272001/304084
169.75/87.62	c cleaning 9995 clauses out of 20007 with flag 282000/314083
175.62/90.68	c cleaning 9997 clauses out of 20012 with flag 292000/324083
181.62/93.73	c cleaning 9996 clauses out of 20015 with flag 302000/334083
187.89/96.96	c cleaning 10003 clauses out of 20021 with flag 312002/344085
194.56/100.37	c cleaning 10002 clauses out of 20016 with flag 322000/354083
199.82/103.05	c cleaning 9999 clauses out of 20014 with flag 332000/364083
207.21/106.87	c cleaning 9992 clauses out of 20015 with flag 342000/374083
212.67/109.65	c cleaning 10006 clauses out of 20024 with flag 352001/384084
215.92/111.35	c cleaning 10001 clauses out of 20017 with flag 362000/394083
219.58/113.22	c cleaning 10000 clauses out of 20016 with flag 372000/404083
223.15/115.16	c cleaning 9998 clauses out of 20016 with flag 382000/414083
227.20/117.22	c cleaning 10004 clauses out of 20019 with flag 392001/424084
233.44/120.42	c cleaning 10005 clauses out of 20015 with flag 402001/434084
239.48/123.50	c cleaning 9999 clauses out of 20009 with flag 412000/444083
244.24/126.08	c cleaning 10000 clauses out of 20010 with flag 422000/454083
250.48/129.23	c cleaning 10003 clauses out of 20013 with flag 432003/464086
256.71/132.48	c cleaning 9997 clauses out of 20008 with flag 442001/474084
263.12/135.71	c cleaning 9994 clauses out of 20010 with flag 452000/484083
266.48/137.54	c cleaning 9997 clauses out of 20016 with flag 462000/494083
269.85/139.30	c cleaning 9999 clauses out of 20019 with flag 472000/504083
275.26/142.11	c cleaning 10005 clauses out of 20020 with flag 482000/514083
284.29/146.73	c cleaning 10001 clauses out of 20015 with flag 492000/524083
296.81/153.15	c cleaning 9999 clauses out of 20014 with flag 502000/534083
304.41/157.08	c cleaning 9996 clauses out of 20015 with flag 512000/544083
311.61/160.78	c cleaning 10004 clauses out of 20020 with flag 522001/554084
316.40/163.27	c cleaning 10002 clauses out of 20016 with flag 532001/564084
321.30/165.80	c cleaning 10003 clauses out of 20013 with flag 542000/574083
325.90/168.24	c cleaning 9994 clauses out of 20010 with flag 552000/584083
330.08/170.44	c cleaning 9997 clauses out of 20017 with flag 562001/594084
333.86/172.47	c cleaning 9998 clauses out of 20019 with flag 572000/604083
337.74/174.54	c cleaning 9997 clauses out of 20021 with flag 582000/614083
342.75/177.19	c cleaning 10008 clauses out of 20024 with flag 592000/624083
348.73/180.29	c cleaning 9997 clauses out of 20016 with flag 602000/634083
354.91/183.49	c cleaning 10003 clauses out of 20019 with flag 612000/644083
360.98/186.62	c cleaning 10000 clauses out of 20016 with flag 622000/654083
366.95/189.72	c cleaning 10005 clauses out of 20017 with flag 632001/664084
371.12/191.93	c cleaning 9995 clauses out of 20012 with flag 642001/674084
375.50/194.23	c cleaning 10002 clauses out of 20016 with flag 652000/684083
379.96/196.65	c cleaning 10000 clauses out of 20014 with flag 662000/694083
383.53/198.58	c cleaning 10000 clauses out of 20015 with flag 672001/704084
389.17/201.43	c cleaning 9998 clauses out of 20015 with flag 682001/714084
394.93/204.46	c cleaning 10001 clauses out of 20020 with flag 692004/724087
400.39/207.39	c cleaning 9993 clauses out of 20015 with flag 702000/734083
406.15/210.34	c cleaning 10006 clauses out of 20023 with flag 712001/744084
411.32/213.09	c cleaning 10002 clauses out of 20017 with flag 722001/754084
415.88/215.49	c cleaning 10000 clauses out of 20015 with flag 732001/764084
419.13/217.26	c cleaning 10001 clauses out of 20014 with flag 742000/774083
425.09/220.36	c cleaning 9999 clauses out of 20013 with flag 752000/784083
429.06/222.44	c cleaning 10000 clauses out of 20014 with flag 762000/794083
431.63/223.81	c  And the winner is CuttingPlanes
431.65/224.20	c Got one! Elapsed wall clock time (in seconds):224.091
431.65/224.20	o 50
434.05/225.45	c cleaning 10952 clauses out of 21913 with flag 5000/805982
437.89/227.58	c cleaning 8477 clauses out of 16961 with flag 11000/811982
441.84/229.63	c cleaning 7737 clauses out of 15485 with flag 18001/818983
445.99/231.83	c cleaning 7869 clauses out of 15748 with flag 26001/826983
450.54/234.30	c cleaning 8437 clauses out of 16881 with flag 35003/835985
455.76/237.00	c cleaning 9215 clauses out of 18441 with flag 45000/845982
460.71/239.66	c cleaning 9608 clauses out of 19226 with flag 55000/855982
464.64/241.76	c cleaning 9804 clauses out of 19618 with flag 65000/865982
469.99/244.54	c cleaning 9904 clauses out of 19814 with flag 75000/875982
476.60/248.08	c cleaning 9947 clauses out of 19910 with flag 85000/885982
482.52/251.16	c cleaning 9972 clauses out of 19963 with flag 95000/895982
487.25/253.65	c cleaning 9990 clauses out of 19991 with flag 105000/905982
491.77/256.08	c cleaning 9995 clauses out of 20001 with flag 115000/915982
497.56/259.16	c cleaning 10000 clauses out of 20006 with flag 125000/925982
505.08/263.07	c cleaning 9995 clauses out of 20006 with flag 135000/935982
511.40/266.31	c cleaning 9998 clauses out of 20011 with flag 145000/945982
517.11/269.37	c cleaning 10001 clauses out of 20013 with flag 155000/955982
521.71/271.81	c cleaning 9998 clauses out of 20013 with flag 165001/965983
526.82/274.54	c cleaning 10000 clauses out of 20014 with flag 175000/975982
532.54/277.54	c cleaning 9995 clauses out of 20014 with flag 185000/985982
537.25/280.05	c cleaning 10007 clauses out of 20020 with flag 195001/995983
542.28/282.72	c cleaning 10003 clauses out of 20014 with flag 205002/1005984
547.56/285.57	c cleaning 9998 clauses out of 20011 with flag 215002/1015984
554.07/288.99	c cleaning 9993 clauses out of 20011 with flag 225000/1025982
560.39/292.20	c cleaning 10002 clauses out of 20018 with flag 235000/1035982
566.57/295.54	c cleaning 10002 clauses out of 20016 with flag 245000/1045982
573.48/299.13	c cleaning 9998 clauses out of 20015 with flag 255001/1055983
578.98/302.04	c cleaning 10005 clauses out of 20017 with flag 265001/1065983
585.10/305.20	c cleaning 10003 clauses out of 20014 with flag 275003/1075985
590.66/308.23	c cleaning 10002 clauses out of 20009 with flag 285001/1085983
595.57/310.87	c cleaning 9998 clauses out of 20008 with flag 295002/1095984
600.72/313.54	c cleaning 9994 clauses out of 20008 with flag 305000/1105982
606.39/316.59	c cleaning 9999 clauses out of 20014 with flag 315000/1115982
612.96/320.04	c cleaning 10002 clauses out of 20015 with flag 325000/1125982
620.25/323.83	c cleaning 9999 clauses out of 20013 with flag 335000/1135982
626.56/327.15	c cleaning 10000 clauses out of 20014 with flag 345000/1145982
631.66/329.84	c cleaning 10002 clauses out of 20017 with flag 355003/1155985
636.22/332.37	c cleaning 10001 clauses out of 20015 with flag 365003/1165985
641.11/334.92	c cleaning 9999 clauses out of 20011 with flag 375000/1175982
646.01/337.56	c cleaning 9994 clauses out of 20012 with flag 385000/1185982
651.49/340.43	c cleaning 10007 clauses out of 20018 with flag 395000/1195982
658.02/343.94	c cleaning 10000 clauses out of 20012 with flag 405001/1205983
659.09/344.65	c  And the winner is CuttingPlanes
659.21/344.95	c Got one! Elapsed wall clock time (in seconds):344.838
659.21/344.95	o 49
661.10/345.98	c cleaning 7772 clauses out of 15561 with flag 4000/1211532
664.58/347.82	c cleaning 6890 clauses out of 13789 with flag 10000/1217532
668.45/349.98	c cleaning 6942 clauses out of 13899 with flag 17000/1224532
672.56/352.23	c cleaning 7475 clauses out of 14958 with flag 25001/1232533
677.63/354.93	c cleaning 8235 clauses out of 16482 with flag 34000/1241532
683.10/357.85	c cleaning 9120 clauses out of 18248 with flag 44001/1251533
688.57/360.78	c cleaning 9550 clauses out of 19127 with flag 54000/1261532
695.07/364.21	c cleaning 9781 clauses out of 19578 with flag 64001/1271533
699.33/366.51	c cleaning 9890 clauses out of 19796 with flag 74000/1281532
705.40/369.76	c cleaning 9946 clauses out of 19906 with flag 84000/1291532
710.86/372.62	c cleaning 9975 clauses out of 19961 with flag 94001/1301533
716.17/375.51	c cleaning 9985 clauses out of 19988 with flag 104003/1311535
721.45/378.37	c cleaning 9995 clauses out of 20000 with flag 114000/1321532
727.51/381.54	c cleaning 10000 clauses out of 20008 with flag 124003/1331535
732.97/384.47	c cleaning 9998 clauses out of 20006 with flag 134001/1341533
739.07/387.71	c cleaning 9999 clauses out of 20008 with flag 144001/1351533
745.34/391.02	c cleaning 10001 clauses out of 20009 with flag 154001/1361533
749.80/393.45	c cleaning 9998 clauses out of 20008 with flag 164001/1371533
756.26/396.87	c cleaning 10003 clauses out of 20010 with flag 174001/1381533
761.56/399.79	c cleaning 9999 clauses out of 20006 with flag 184000/1391532
766.23/402.25	c cleaning 9997 clauses out of 20007 with flag 194000/1401532
771.88/405.26	c cleaning 9996 clauses out of 20010 with flag 204000/1411532
779.14/409.03	c cleaning 10001 clauses out of 20014 with flag 214000/1421532
787.66/413.62	c cleaning 10002 clauses out of 20014 with flag 224001/1431533
796.51/418.11	c cleaning 9998 clauses out of 20012 with flag 234001/1441533
804.16/422.18	c cleaning 9995 clauses out of 20013 with flag 244000/1451532
810.01/425.23	c cleaning 9997 clauses out of 20018 with flag 254000/1461532
816.50/428.71	c cleaning 10001 clauses out of 20021 with flag 264000/1471532
821.95/431.64	c cleaning 10008 clauses out of 20021 with flag 274001/1481533
829.20/435.47	c cleaning 10002 clauses out of 20013 with flag 284001/1491533
834.45/438.27	c cleaning 10002 clauses out of 20011 with flag 294001/1501533
840.33/441.47	c cleaning 10000 clauses out of 20009 with flag 304001/1511533
846.18/444.55	c cleaning 9993 clauses out of 20008 with flag 314000/1521532
853.42/448.35	c cleaning 9998 clauses out of 20015 with flag 324000/1531532
859.87/451.72	c cleaning 10005 clauses out of 20018 with flag 334001/1541533
869.95/457.06	c cleaning 9999 clauses out of 20013 with flag 344001/1551533
875.00/459.80	c cleaning 9999 clauses out of 20013 with flag 354000/1561532
881.24/463.09	c cleaning 10003 clauses out of 20014 with flag 364000/1571532
886.88/466.00	c cleaning 9998 clauses out of 20011 with flag 374000/1581532
892.75/469.24	c cleaning 9998 clauses out of 20013 with flag 384000/1591532
898.99/472.50	c cleaning 10002 clauses out of 20015 with flag 394000/1601532
906.42/476.45	c cleaning 10001 clauses out of 20016 with flag 404003/1611535
912.27/479.55	c cleaning 10000 clauses out of 20012 with flag 414000/1621532
919.14/483.23	c cleaning 10000 clauses out of 20013 with flag 424001/1631533
924.97/486.31	c cleaning 9998 clauses out of 20012 with flag 434000/1641532
931.40/489.74	c cleaning 10001 clauses out of 20015 with flag 444001/1651533
938.03/493.20	c cleaning 10003 clauses out of 20013 with flag 454000/1661532
943.34/496.20	c cleaning 9999 clauses out of 20011 with flag 464001/1671533
949.13/499.24	c cleaning 9998 clauses out of 20012 with flag 474001/1681533
954.15/501.93	c cleaning 10001 clauses out of 20014 with flag 484001/1691533
958.98/504.59	c cleaning 9998 clauses out of 20012 with flag 494000/1701532
965.02/507.88	c cleaning 9998 clauses out of 20014 with flag 504000/1711532
970.83/510.98	c cleaning 9996 clauses out of 20016 with flag 514000/1721532
977.43/514.40	c cleaning 10003 clauses out of 20020 with flag 524000/1731532
981.22/516.55	c cleaning 10003 clauses out of 20017 with flag 534000/1741532
985.43/518.94	c cleaning 9998 clauses out of 20014 with flag 544000/1751532
989.42/521.11	c cleaning 9995 clauses out of 20016 with flag 554000/1761532
993.62/523.51	c cleaning 10006 clauses out of 20023 with flag 564002/1771534
998.04/525.85	c cleaning 9999 clauses out of 20016 with flag 574001/1781533
1002.20/528.22	c cleaning 10000 clauses out of 20016 with flag 584000/1791532
1008.02/531.36	c cleaning 10000 clauses out of 20016 with flag 594000/1801532
1013.76/534.40	c cleaning 10001 clauses out of 20016 with flag 604000/1811532
1020.14/537.85	c cleaning 10003 clauses out of 20015 with flag 614000/1821532
1026.90/541.50	c cleaning 9999 clauses out of 20012 with flag 624000/1831532
1032.49/544.57	c  And the winner is CuttingPlanes
1032.60/544.99	c Got one! Elapsed wall clock time (in seconds):544.883
1032.60/544.99	o 48
1035.20/546.30	c cleaning 12049 clauses out of 24109 with flag 5001/1845628
1038.35/548.18	c cleaning 9027 clauses out of 18059 with flag 11000/1851627
1043.09/550.74	c cleaning 8008 clauses out of 16032 with flag 18000/1858627
1048.24/553.60	c cleaning 8009 clauses out of 16025 with flag 26001/1866628
1052.59/556.08	c cleaning 8502 clauses out of 17015 with flag 35000/1875627
1057.53/558.80	c cleaning 9252 clauses out of 18515 with flag 45002/1885629
1062.87/561.61	c cleaning 9627 clauses out of 19262 with flag 55001/1895628
1069.20/565.17	c cleaning 9810 clauses out of 19634 with flag 65000/1905627
1073.94/567.78	c cleaning 9908 clauses out of 19824 with flag 75000/1915627
1079.28/570.67	c cleaning 9954 clauses out of 19917 with flag 85001/1925628
1084.82/573.60	c cleaning 9973 clauses out of 19962 with flag 95000/1935627
1091.15/577.12	c cleaning 9990 clauses out of 19990 with flag 105001/1945628
1096.69/580.15	c cleaning 9997 clauses out of 20000 with flag 115001/1955628
1101.62/582.89	c cleaning 9998 clauses out of 20002 with flag 125000/1965627
1107.97/586.27	c cleaning 9994 clauses out of 20005 with flag 135001/1975628
1113.68/589.50	c cleaning 9998 clauses out of 20013 with flag 145003/1985630
1119.20/592.46	c cleaning 9994 clauses out of 20012 with flag 155000/1995627
1125.71/595.90	c cleaning 10006 clauses out of 20022 with flag 165004/2005631
1131.83/599.23	c cleaning 10003 clauses out of 20013 with flag 175001/2015628
1137.93/602.70	c cleaning 9997 clauses out of 20009 with flag 185000/2025627
1144.04/605.94	c cleaning 9998 clauses out of 20012 with flag 195000/2035627
1148.76/608.53	c cleaning 10002 clauses out of 20014 with flag 205000/2045627
1153.87/611.38	c cleaning 10002 clauses out of 20012 with flag 215000/2055627
1160.76/615.14	c cleaning 9996 clauses out of 20010 with flag 225000/2065627
1165.27/617.65	c cleaning 10002 clauses out of 20017 with flag 235003/2075630
1170.78/620.65	c cleaning 10000 clauses out of 20012 with flag 245000/2085627
1174.50/622.76	c cleaning 10001 clauses out of 20013 with flag 255001/2095628
1181.19/626.46	c cleaning 10003 clauses out of 20011 with flag 265000/2105627
1187.90/630.02	c cleaning 9999 clauses out of 20011 with flag 275003/2115630
1194.21/633.44	c cleaning 10001 clauses out of 20009 with flag 285000/2125627
1199.73/636.46	c cleaning 9999 clauses out of 20009 with flag 295001/2135628
1205.81/639.86	c cleaning 10000 clauses out of 20009 with flag 305000/2145627
1214.73/644.54	c cleaning 10000 clauses out of 20010 with flag 315001/2155628
1221.06/647.92	c cleaning 9998 clauses out of 20010 with flag 325001/2165628
1225.73/650.52	c cleaning 10002 clauses out of 20012 with flag 335001/2175628
1229.81/652.98	c cleaning 10000 clauses out of 20009 with flag 345000/2185627
1235.90/656.29	c cleaning 10000 clauses out of 20009 with flag 355000/2195627
1243.40/660.24	c cleaning 9997 clauses out of 20010 with flag 365001/2205628
1251.11/664.40	c cleaning 10000 clauses out of 20013 with flag 375001/2215628
1258.17/668.22	c cleaning 10001 clauses out of 20012 with flag 385000/2225627
1264.86/671.88	c cleaning 10002 clauses out of 20011 with flag 395000/2235627
1273.15/676.23	c cleaning 9997 clauses out of 20009 with flag 405000/2245627
1279.45/679.63	c cleaning 9999 clauses out of 20012 with flag 415000/2255627
1286.70/683.68	c cleaning 9998 clauses out of 20013 with flag 425000/2265627
1293.58/687.36	c cleaning 10002 clauses out of 20016 with flag 435001/2275628
1298.87/690.28	c cleaning 9996 clauses out of 20013 with flag 445000/2285627
1305.14/693.67	c cleaning 10003 clauses out of 20018 with flag 455001/2295628
1311.40/697.17	c cleaning 9998 clauses out of 20014 with flag 465000/2305627
1317.68/700.53	c cleaning 10003 clauses out of 20017 with flag 475001/2315628
1325.36/704.60	c cleaning 10000 clauses out of 20014 with flag 485001/2325628
1334.45/709.51	c cleaning 9998 clauses out of 20013 with flag 495000/2335627
1340.69/712.99	c cleaning 10002 clauses out of 20016 with flag 505001/2345628
1349.57/717.64	c cleaning 10000 clauses out of 20013 with flag 515000/2355627
1356.05/721.19	c cleaning 9997 clauses out of 20013 with flag 525000/2365627
1361.52/724.18	c cleaning 9999 clauses out of 20016 with flag 535000/2375627
1366.79/727.19	c cleaning 10004 clauses out of 20018 with flag 545001/2385628
1371.22/729.65	c cleaning 9996 clauses out of 20014 with flag 555001/2395628
1375.50/732.09	c cleaning 9997 clauses out of 20017 with flag 565000/2405627
1380.18/734.71	c cleaning 10007 clauses out of 20021 with flag 575001/2415628
1385.01/737.42	c cleaning 9993 clauses out of 20013 with flag 585000/2425627
1390.69/740.53	c cleaning 10002 clauses out of 20020 with flag 595000/2435627
1396.56/743.77	c cleaning 10003 clauses out of 20019 with flag 605001/2445628
1402.83/747.10	c cleaning 10001 clauses out of 20017 with flag 615002/2455629
1410.86/751.55	c cleaning 9994 clauses out of 20014 with flag 625000/2465627
1417.73/755.24	c cleaning 10000 clauses out of 20020 with flag 635000/2475627
1424.19/758.72	c cleaning 10003 clauses out of 20021 with flag 645001/2485628
1428.85/761.32	c cleaning 9998 clauses out of 20018 with flag 655001/2495628
1433.08/763.89	c cleaning 10002 clauses out of 20020 with flag 665001/2505628
1437.94/766.51	c cleaning 10006 clauses out of 20018 with flag 675001/2515628
1444.21/769.99	c cleaning 9997 clauses out of 20011 with flag 685000/2525627
1452.27/774.30	c cleaning 10003 clauses out of 20015 with flag 695001/2535628
1459.88/778.44	c cleaning 9998 clauses out of 20012 with flag 705001/2545628
1467.15/782.35	c cleaning 10000 clauses out of 20013 with flag 715000/2555627
1474.81/786.47	c cleaning 10000 clauses out of 20013 with flag 725000/2565627
1481.46/790.01	c cleaning 9999 clauses out of 20013 with flag 735000/2575627
1487.67/793.51	c cleaning 9997 clauses out of 20014 with flag 745000/2585627
1493.52/796.76	c cleaning 9997 clauses out of 20018 with flag 755001/2595628
1498.76/799.64	c cleaning 10002 clauses out of 20022 with flag 765002/2605629
1505.03/803.03	c cleaning 10000 clauses out of 20018 with flag 775000/2615627
1511.19/806.50	c cleaning 9995 clauses out of 20018 with flag 785000/2625627
1517.02/809.74	c cleaning 10009 clauses out of 20023 with flag 795000/2635627
1523.45/813.28	c cleaning 10002 clauses out of 20015 with flag 805001/2645628
1530.27/816.92	c cleaning 9997 clauses out of 20012 with flag 815000/2655627
1537.43/820.98	c cleaning 9998 clauses out of 20015 with flag 825000/2665627
1544.23/824.67	c cleaning 10001 clauses out of 20017 with flag 835000/2675627
1550.44/828.00	c cleaning 10002 clauses out of 20016 with flag 845000/2685627
1555.84/831.04	c cleaning 10000 clauses out of 20014 with flag 855000/2695627
1563.78/835.40	c cleaning 10000 clauses out of 20014 with flag 865000/2705627
1569.58/838.60	c cleaning 9997 clauses out of 20014 with flag 875000/2715627
1576.56/842.40	c cleaning 10004 clauses out of 20017 with flag 885000/2725627
1582.99/845.92	c cleaning 10003 clauses out of 20013 with flag 895000/2735627
1589.26/849.50	c cleaning 10000 clauses out of 20011 with flag 905001/2745628
1598.45/854.49	c cleaning 9998 clauses out of 20010 with flag 915000/2755627
1606.42/858.70	c cleaning 10001 clauses out of 20013 with flag 925001/2765628
1611.61/861.67	c cleaning 10001 clauses out of 20011 with flag 935000/2775627
1617.51/865.02	c cleaning 10003 clauses out of 20010 with flag 945000/2785627
1624.48/868.83	c cleaning 10001 clauses out of 20007 with flag 955000/2795627
1631.24/872.55	c cleaning 9993 clauses out of 20007 with flag 965001/2805628
1637.19/875.81	c cleaning 10003 clauses out of 20013 with flag 975000/2815627
1642.27/878.90	c cleaning 9998 clauses out of 20011 with flag 985001/2825628
1648.44/882.25	c cleaning 10002 clauses out of 20012 with flag 995000/2835627
1655.55/886.13	c cleaning 9998 clauses out of 20010 with flag 1005000/2845627
1661.09/889.25	c cleaning 9995 clauses out of 20012 with flag 1015000/2855627
1668.19/893.23	c cleaning 10003 clauses out of 20017 with flag 1025000/2865627
1674.89/896.94	c cleaning 9999 clauses out of 20014 with flag 1035000/2875627
1680.63/900.15	c cleaning 10001 clauses out of 20015 with flag 1045000/2885627
1686.76/903.53	c cleaning 9994 clauses out of 20014 with flag 1055000/2895627
1694.00/907.68	c cleaning 10002 clauses out of 20020 with flag 1065000/2905627
1700.93/911.44	c cleaning 9997 clauses out of 20018 with flag 1075000/2915627
1708.04/915.36	c cleaning 10004 clauses out of 20021 with flag 1085000/2925627
1713.81/918.56	c cleaning 10003 clauses out of 20017 with flag 1095000/2935627
1719.00/921.65	c cleaning 9993 clauses out of 20014 with flag 1105000/2945627
1725.73/925.35	c cleaning 10002 clauses out of 20021 with flag 1115000/2955627
1731.45/928.57	c cleaning 10005 clauses out of 20019 with flag 1125000/2965627
1736.98/931.70	c cleaning 10001 clauses out of 20018 with flag 1135004/2975631
1742.59/934.94	c cleaning 9996 clauses out of 20014 with flag 1145001/2985628
1748.50/938.27	c cleaning 10002 clauses out of 20017 with flag 1155000/2995627
1754.20/941.40	c cleaning 10002 clauses out of 20015 with flag 1165000/3005627
1759.91/944.63	c cleaning 9999 clauses out of 20014 with flag 1175001/3015628
1764.91/947.64	c cleaning 9999 clauses out of 20014 with flag 1185000/3025627
1769.21/950.11	c cleaning 10000 clauses out of 20015 with flag 1195000/3035627
1773.71/952.70	c cleaning 10005 clauses out of 20016 with flag 1205001/3045628
1777.80/955.11	c cleaning 9999 clauses out of 20010 with flag 1215000/3055627
1782.40/957.98	c cleaning 9998 clauses out of 20012 with flag 1225001/3065628
1786.70/960.42	c cleaning 10000 clauses out of 20013 with flag 1235000/3075627
1791.60/963.29	c cleaning 10000 clauses out of 20014 with flag 1245001/3085628
1796.12/965.88	c cleaning 9999 clauses out of 20013 with flag 1255000/3095627
1800.08/968.32	c starts		: 24
1800.08/968.32	c conflicts		: 3221
1800.08/968.32	c decisions		: 136278
1800.08/968.32	c propagations		: 603120
1800.08/968.32	c inspects		: 31338386
1800.08/968.32	c shortcuts		: 0
1800.08/968.32	c learnt literals	: 0
1800.08/968.32	c learnt binary clauses	: 0
1800.08/968.32	c learnt ternary clauses	: 0
1800.08/968.32	c learnt constraints	: 3220
1800.08/968.32	c ignored constraints	: 0
1800.08/968.32	c root simplifications	: 0
1800.08/968.32	c removed literals (reason simplification)	: 0
1800.08/968.32	c reason swapping (by a shorter reason)	: 0
1800.08/968.32	c Calls to reduceDB	: 0
1800.08/968.32	c number of reductions to clauses (during analyze)	: 0
1800.08/968.32	c number of learned constraints concerned by reduction	: 0
1800.08/968.32	c number of learning phase by resolution	: 0
1800.08/968.32	c number of learning phase by cutting planes	: 0
1800.08/968.32	c speed (assignments/second)	: 1424.7276902034616
1800.08/968.32	c non guided choices	0
1800.08/968.33	c learnt constraints type 
1800.08/968.33	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 807
1800.08/968.33	c org.sat4j.pb.constraints.pb.MaxWatchPb => 2413
1800.08/968.33	c constraints type 
1800.08/968.33	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 831
1800.08/968.33	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.08/968.33	c constraints type 
1800.08/968.33	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 831
1800.08/968.33	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1800.08/968.33	s SATISFIABLE
1800.08/968.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 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 x318 -x319 -x320 -x321 -x322 x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 x619 -x620 -x621 x622 -x623 -x624 -x625 x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 x879 -x880 -x881 -x882 x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 x1331 x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 x2072 -x2073 -x2074 x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 
1800.08/968.34	c objective function=48
1800.08/968.34	c Total wall clock time (in seconds): 968.231

Verifier Data 

OK	48

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3455290-1307192095/watcher-3455290-1307192095 -o /tmp/evaluation-result-3455290-1307192095/solver-3455290-1307192095 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3455290-1307192095.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: 3.95 3.11 3.25 3/542 1196
/proc/meminfo: memFree=18393500/32951124 swapFree=58800704/67111528
[pid=1196] ppid=1193 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/1196/stat : 1196 (java) R 1193 1196 30263 0 -1 4202496 948 0 0 0 0 0 0 0 25 0 1 0 811624929 23580672 693 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228090488296 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/1196/statm: 5757 693 509 9 0 124 0
[pid=1196/tid=1198] ppid=1193 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/1196/task/1198/stat : 1198 (java) R 1193 1196 30263 0 -1 4202560 7672 0 1 0 0 0 0 0 25 0 2 0 811624929 10694979584 8488 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228095145019 0 4 0 16784584 0 0 0 -1 3 0 0 0

[startup+0.038343 s]
/proc/loadavg: 3.95 3.11 3.25 3/542 1196
/proc/meminfo: memFree=18393500/32951124 swapFree=58800704/67111528
[pid=1196] ppid=1193 vsize=10533016 CPUtime=0.03 cores=1,3,5,7
/proc/1196/stat : 1196 (java) S 1193 1196 30263 0 -1 4202496 11155 0 1 0 2 1 0 0 25 0 13 0 811624929 10785808384 10853 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107253733 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/1196/statm: 2633254 10854 1653 9 0 2624002 0
[pid=1196/tid=1198] ppid=1193 vsize=10533016 CPUtime=0.02 cores=1,3,5,7
/proc/1196/task/1198/stat : 1198 (java) R 1193 1196 30263 0 -1 4202560 10008 0 1 0 2 0 0 0 18 0 13 0 811624929 10785808384 10854 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 47175754465285 0 4 0 16784584 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10533016

[startup+0.104375 s]
/proc/loadavg: 3.95 3.11 3.25 3/542 1196
/proc/meminfo: memFree=18393500/32951124 swapFree=58800704/67111528
[pid=1196] ppid=1193 vsize=10539808 CPUtime=0.11 cores=1,3,5,7
/proc/1196/stat : 1196 (java) S 1193 1196 30263 0 -1 4202496 13107 0 1 0 10 1 0 0 25 0 18 0 811624929 10792763392 12805 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1196/statm: 2634952 12805 2092 9 0 2625686 0
[pid=1196/tid=1198] ppid=1193 vsize=10539808 CPUtime=0.09 cores=1,3,5,7
/proc/1196/task/1198/stat : 1198 (java) R 1193 1196 30263 0 -1 4202560 11205 0 1 0 8 1 0 0 22 0 18 0 811624929 10792763392 12805 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 46912496202530 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10539808

[startup+0.305337 s]
/proc/loadavg: 3.95 3.11 3.25 3/542 1196
/proc/meminfo: memFree=18393500/32951124 swapFree=58800704/67111528
[pid=1196] ppid=1193 vsize=10543996 CPUtime=0.59 cores=1,3,5,7
/proc/1196/stat : 1196 (java) S 1193 1196 30263 0 -1 4202496 18951 0 1 0 57 2 0 0 25 0 18 0 811624929 10797051904 17660 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1196/statm: 2635999 17662 2204 9 0 2626733 0
[pid=1196/tid=1198] ppid=1193 vsize=10543996 CPUtime=0.28 cores=1,3,5,7
/proc/1196/task/1198/stat : 1198 (java) R 1193 1196 30263 0 -1 4202560 14314 0 1 0 27 1 0 0 22 0 18 0 811624929 10797051904 17664 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 46912505586187 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 10543996

[startup+0.700227 s]
/proc/loadavg: 3.95 3.11 3.25 3/542 1196
/proc/meminfo: memFree=18393500/32951124 swapFree=58800704/67111528
[pid=1196] ppid=1193 vsize=10548560 CPUtime=0.82 cores=1,3,5,7
/proc/1196/stat : 1196 (java) S 1193 1196 30263 0 -1 4202496 22830 0 1 0 79 3 0 0 25 0 19 0 811624929 10801725440 21114 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1196/statm: 2637140 21114 2225 9 0 2627874 0
[pid=1196/tid=1198] ppid=1193 vsize=10548560 CPUtime=0.33 cores=1,3,5,7
/proc/1196/task/1198/stat : 1198 (java) S 1193 1196 30263 0 -1 4202560 17394 0 1 0 31 2 0 0 23 0 19 0 811624929 10801725440 21114 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107267584 0 4 0 16800975 18446604468335899968 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.82
Current children cumulated vsize (KiB) 10548560

[startup+1.50108 s]
/proc/loadavg: 3.95 3.11 3.25 4/562 1227
/proc/meminfo: memFree=18313680/32951124 swapFree=58800704/67111528
[pid=1196] ppid=1193 vsize=10548560 CPUtime=1.49 cores=1,3,5,7
/proc/1196/stat : 1196 (java) S 1193 1196 30263 0 -1 4202496 25820 0 1 0 145 4 0 0 25 0 20 0 811624929 10801725440 22665 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1196/statm: 2637140 22665 2234 9 0 2627874 0
[pid=1196/tid=1198] ppid=1193 vsize=10548560 CPUtime=0.36 cores=1,3,5,7
/proc/1196/task/1198/stat : 1198 (java) S 1193 1196 30263 0 -1 4202560 17859 0 1 0 34 2 0 0 16 0 20 0 811624929 10801725440 22665 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107267584 0 4 0 16800975 18446604468335899968 0 0 -1 3 0 0 0
[pid=1196/tid=1200] ppid=1193 vsize=10548560 CPUtime=0 cores=1,3,5,7
/proc/1196/task/1200/stat : 1200 (java) S 1193 1196 30263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 811624931 10801725440 22665 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 7 0 0 0
[pid=1196/tid=1201] ppid=1193 vsize=10548560 CPUtime=0 cores=1,3,5,7
/proc/1196/task/1201/stat : 1201 (java) S 1193 1196 30263 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 20 0 811624931 10801725440 22665 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 7 0 0 0
[pid=1196/tid=1202] ppid=1193 vsize=10548560 CPUtime=0 cores=1,3,5,7
/proc/1196/task/1202/stat : 1202 (java) S 1193 1196 30263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 811624931 10801725440 22665 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 7 0 0 0
[pid=1196/tid=1203] ppid=1193 vsize=10548560 CPUtime=0 cores=1,3,5,7
/proc/1196/task/1203/stat : 1203 (java) S 1193 1196 30263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 811624931 10801725440 22665 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 7 0 0 0
[pid=1196/tid=1204] ppid=1193 vsize=10548560 CPUtime=0 cores=1,3,5,7
/proc/1196/task/1204/stat : 1204 (java) S 1193 1196 30263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 811624931 10801725440 22665 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 7 0 0 0
[pid=1196/tid=1206] ppid=1193 vsize=10548560 CPUtime=0 cores=1,3,5,7
/proc/1196/task/1206/stat : 1206 (java) S 1193 1196 30263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 811624931 10801725440 22665 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 7 0 0 0
[pid=1196/tid=1207] ppid=1193 vsize=10548560 CPUtime=0 cores=1,3,5,7
/proc/1196/task/1207/stat : 1207 (java) S 1193 1196 30263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 811624931 10801725440 22665 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 7 0 0 0
[pid=1196/tid=1208] ppid=1193 vsize=10548560 CPUtime=0 cores=1,3,5,7
/proc/1196/task/1208/stat : 1208 (java) S 1193 1196 30263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 811624931 10801725440 22665 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 7 0 0 0
[pid=1196/tid=1210] ppid=1193 vsize=10548560 CPUtime=0 cores=1,3,5,7
/proc/1196/task/1210/stat : 1210 (java) S 1193 1196 30263 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 20 0 811624932 10801725440 22665 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107267584 0 0 0 16800975 18446604468335899968 0 0 -1 7 0 0 0
[pid=1196/tid=1211] ppid=1193 vsize=10548560 CPUtime=0 cores=1,3,5,7
/proc/1196/task/1211/stat : 1211 (java) S 1193 1196 30263 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 20 0 811624932 10801725440 22665 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 3 0 0 0
[pid=1196/tid=1212] ppid=1193 vsize=10548560 CPUtime=0 cores=1,3,5,7
/proc/1196/task/1212/stat : 1212 (java) S 1193 1196 30263 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 20 0 811624932 10801725440 22665 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 1 0 0 0
[pid=1196/tid=1214] ppid=1193 vsize=10548560 CPUtime=0 cores=1,3,5,7
/proc/1196/task/1214/stat : 1214 (java) S 1193 1196 30263 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 20 0 811624934 10801725440 22665 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107274673 0 4 0 16800975 18446604468335899968 0 0 -1 3 0 0 0
[pid=1196/tid=1215] ppid=1193 vsize=10548560 CPUtime=0.33 cores=1,3,5,7
/proc/1196/task/1215/stat : 1215 (java) S 1193 1196 30263 0 -1 4202560 2382 0 0 0 33 0 0 0 16 0 20 0 811624934 10801725440 22665 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 7 0 0 0
[pid=1196/tid=1216] ppid=1193 vsize=10548560 CPUtime=0.37 cores=1,3,5,7
/proc/1196/task/1216/stat : 1216 (java) S 1193 1196 30263 0 -1 4202560 3733 0 0 0 37 0 0 0 16 0 20 0 811624934 10801725440 22665 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 3 0 0 0
[pid=1196/tid=1217] ppid=1193 vsize=10548560 CPUtime=0 cores=1,3,5,7
/proc/1196/task/1217/stat : 1217 (java) S 1193 1196 30263 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 20 0 811624934 10801725440 22665 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 3 0 0 0
[pid=1196/tid=1218] ppid=1193 vsize=10548560 CPUtime=0 cores=1,3,5,7
/proc/1196/task/1218/stat : 1218 (java) S 1193 1196 30263 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 20 0 811624934 10801725440 22665 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107267584 0 4 0 16800975 18446604468335899968 0 0 -1 7 0 0 0
[pid=1196/tid=1223] ppid=1193 vsize=10548560 CPUtime=0 cores=1,3,5,7
/proc/1196/task/1223/stat : 1223 (java) S 1193 1196 30263 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 20 0 811624966 10801725440 22665 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107267584 0 4 0 16800975 18446604468335899968 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10548560

[startup+3.10078 s]
/proc/loadavg: 3.95 3.11 3.25 6/564 1234
/proc/meminfo: memFree=18296924/32951124 swapFree=58800704/67111528
[pid=1196] ppid=1193 vsize=10564160 CPUtime=4.68 cores=1,3,5,7
/proc/1196/stat : 1196 (java) S 1193 1196 30263 0 -1 4202496 40520 0 1 0 463 5 0 0 25 0 22 0 811624929 10817699840 34050 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1196/statm: 2641040 34050 2265 9 0 2631774 0
[pid=1196/tid=1198] ppid=1193 vsize=10564160 CPUtime=0.36 cores=1,3,5,7
/proc/1196/task/1198/stat : 1198 (java) S 1193 1196 30263 0 -1 4202560 18077 0 1 0 34 2 0 0 15 0 22 0 811624929 10817699840 34050 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107267584 0 4 0 16800975 18446604468335899968 0 0 -1 1 0 0 0
[pid=1196/tid=1200] ppid=1193 vsize=10564160 CPUtime=0 cores=1,3,5,7
/proc/1196/task/1200/stat : 1200 (java) S 1193 1196 30263 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811624931 10817699840 34050 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 7 0 0 0
[pid=1196/tid=1201] ppid=1193 vsize=10564160 CPUtime=0 cores=1,3,5,7
/proc/1196/task/1201/stat : 1201 (java) S 1193 1196 30263 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 811624931 10817699840 34050 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 7 0 0 0
[pid=1196/tid=1202] ppid=1193 vsize=10564160 CPUtime=0 cores=1,3,5,7
/proc/1196/task/1202/stat : 1202 (java) S 1193 1196 30263 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811624931 10817699840 34050 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 7 0 0 0
[pid=1196/tid=1203] ppid=1193 vsize=10564160 CPUtime=0 cores=1,3,5,7
/proc/1196/task/1203/stat : 1203 (java) S 1193 1196 30263 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811624931 10817699840 34050 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 7 0 0 0
[pid=1196/tid=1204] ppid=1193 vsize=10564160 CPUtime=0 cores=1,3,5,7
/proc/1196/task/1204/stat : 1204 (java) S 1193 1196 30263 0 -1 4202560 227 0 0 0 0 0 0 0 18 0 22 0 811624931 10817699840 34050 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 7 0 0 0
[pid=1196/tid=1206] ppid=1193 vsize=10564160 CPUtime=0 cores=1,3,5,7
/proc/1196/task/1206/stat : 1206 (java) S 1193 1196 30263 0 -1 4202560 252 0 0 0 0 0 0 0 18 0 22 0 811624931 10817699840 34050 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 5 0 0 0
[pid=1196/tid=1207] ppid=1193 vsize=10564160 CPUtime=0 cores=1,3,5,7
/proc/1196/task/1207/stat : 1207 (java) S 1193 1196 30263 0 -1 4202560 292 0 0 0 0 0 0 0 18 0 22 0 811624931 10817699840 34050 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 3 0 0 0
[pid=1196/tid=1208] ppid=1193 vsize=10564160 CPUtime=0 cores=1,3,5,7
/proc/1196/task/1208/stat : 1208 (java) S 1193 1196 30263 0 -1 4202560 348 0 0 0 0 0 0 0 18 0 22 0 811624931 10817699840 34050 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 3 0 0 0
[pid=1196/tid=1210] ppid=1193 vsize=10564160 CPUtime=0.01 cores=1,3,5,7
/proc/1196/task/1210/stat : 1210 (java) S 1193 1196 30263 0 -1 4202560 1096 0 0 0 1 0 0 0 15 0 22 0 811624932 10817699840 34050 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107267584 0 0 0 16800975 18446604468335899968 0 0 -1 1 0 0 0
[pid=1196/tid=1211] ppid=1193 vsize=10564160 CPUtime=0 cores=1,3,5,7
/proc/1196/task/1211/stat : 1211 (java) S 1193 1196 30263 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 811624932 10817699840 34050 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 7 0 0 0
[pid=1196/tid=1212] ppid=1193 vsize=10564160 CPUtime=0 cores=1,3,5,7
/proc/1196/task/1212/stat : 1212 (java) S 1193 1196 30263 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 22 0 811624932 10817699840 34050 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 1 0 0 0
[pid=1196/tid=1214] ppid=1193 vsize=10564160 CPUtime=0 cores=1,3,5,7
/proc/1196/task/1214/stat : 1214 (java) S 1193 1196 30263 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 811624934 10817699840 34050 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107274673 0 4 0 16800975 18446604468335899968 0 0 -1 3 0 0 0
[pid=1196/tid=1215] ppid=1193 vsize=10564160 CPUtime=0.6 cores=1,3,5,7
/proc/1196/task/1215/stat : 1215 (java) S 1193 1196 30263 0 -1 4202560 3662 0 0 0 60 0 0 0 15 0 22 0 811624934 10817699840 34050 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 7 0 0 0
[pid=1196/tid=1216] ppid=1193 vsize=10564160 CPUtime=0.89 cores=1,3,5,7
/proc/1196/task/1216/stat : 1216 (java) S 1193 1196 30263 0 -1 4202560 10390 0 0 0 88 1 0 0 15 0 22 0 811624934 10817699840 34050 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 5 0 0 0
[pid=1196/tid=1217] ppid=1193 vsize=10564160 CPUtime=0 cores=1,3,5,7
/proc/1196/task/1217/stat : 1217 (java) S 1193 1196 30263 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 811624934 10817699840 34050 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 3 0 0 0
[pid=1196/tid=1218] ppid=1193 vsize=10564160 CPUtime=0 cores=1,3,5,7
/proc/1196/task/1218/stat : 1218 (java) S 1193 1196 30263 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 811624934 10817699840 34050 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107267584 0 4 0 16800975 18446604468335899968 0 0 -1 7 0 0 0
[pid=1196/tid=1223] ppid=1193 vsize=10564160 CPUtime=0 cores=1,3,5,7
/proc/1196/task/1223/stat : 1223 (java) S 1193 1196 30263 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 811624966 10817699840 34050 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107267584 0 4 0 16800975 18446604468335899968 0 0 -1 3 0 0 0
[pid=1196/tid=1232] ppid=1193 vsize=10564160 CPUtime=1.17 cores=1,3,5,7
/proc/1196/task/1232/stat : 1232 (java) R 1193 1196 30263 0 -1 4202560 837 0 0 0 117 0 0 0 17 0 22 0 811625118 10817699840 34050 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 46912505854489 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=1196/tid=1233] ppid=1193 vsize=10564160 CPUtime=1.17 cores=1,3,5,7
/proc/1196/task/1233/stat : 1233 (java) R 1193 1196 30263 0 -1 4202560 3492 0 0 0 117 0 0 0 20 0 22 0 811625118 10817699840 34050 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 46912505794615 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=1196/tid=1234] ppid=1193 vsize=10564160 CPUtime=0 cores=1,3,5,7
/proc/1196/task/1234/stat : 1234 (java) S 1193 1196 30263 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 811625118 10817699840 34050 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107267584 0 4 0 16800975 18446604468335899968 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.68
Current children cumulated vsize (KiB) 10564160

[startup+6.30122 s]
/proc/loadavg: 3.87 3.11 3.25 5/564 1238
/proc/meminfo: memFree=18247976/32951124 swapFree=58800704/67111528
[pid=1196] ppid=1193 vsize=10555452 CPUtime=10.48 cores=1,3,5,7
/proc/1196/stat : 1196 (java) S 1193 1196 30263 0 -1 4202496 50644 0 1 0 1041 7 0 0 25 0 19 0 811624929 10808782848 40336 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1196/statm: 2638863 40336 2265 9 0 2629597 0
[pid=1196/tid=1198] ppid=1193 vsize=10555452 CPUtime=0.37 cores=1,3,5,7
/proc/1196/task/1198/stat : 1198 (java) S 1193 1196 30263 0 -1 4202560 18208 0 1 0 35 2 0 0 15 0 19 0 811624929 10808782848 40336 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107267584 0 4 0 16800975 18446604468335899968 0 0 -1 5 0 0 0
[pid=1196/tid=1200] ppid=1193 vsize=10555452 CPUtime=0 cores=1,3,5,7
/proc/1196/task/1200/stat : 1200 (java) S 1193 1196 30263 0 -1 4202560 437 0 0 0 0 0 0 0 15 0 19 0 811624931 10808782848 40336 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 5 0 0 0
[pid=1196/tid=1201] ppid=1193 vsize=10555452 CPUtime=0 cores=1,3,5,7
/proc/1196/task/1201/stat : 1201 (java) S 1193 1196 30263 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 811624931 10808782848 40336 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 7 0 0 0
[pid=1196/tid=1202] ppid=1193 vsize=10555452 CPUtime=0 cores=1,3,5,7
/proc/1196/task/1202/stat : 1202 (java) S 1193 1196 30263 0 -1 4202560 271 0 0 0 0 0 0 0 18 0 19 0 811624931 10808782848 40336 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 3 0 0 0
[pid=1196/tid=1203] ppid=1193 vsize=10555452 CPUtime=0 cores=1,3,5,7
/proc/1196/task/1203/stat : 1203 (java) S 1193 1196 30263 0 -1 4202560 4 0 0 0 0 0 0 0 16 0 19 0 811624931 10808782848 40336 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 7 0 0 0
[pid=1196/tid=1204] ppid=1193 vsize=10555452 CPUtime=0 cores=1,3,5,7
/proc/1196/task/1204/stat : 1204 (java) S 1193 1196 30263 0 -1 4202560 227 0 0 0 0 0 0 0 15 0 19 0 811624931 10808782848 40336 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 7 0 0 0
[pid=1196/tid=1206] ppid=1193 vsize=10555452 CPUtime=0 cores=1,3,5,7
/proc/1196/task/1206/stat : 1206 (java) S 1193 1196 30263 0 -1 4202560 665 0 0 0 0 0 0 0 15 0 19 0 811624931 10808782848 40336 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 5 0 0 0
[pid=1196/tid=1207] ppid=1193 vsize=10555452 CPUtime=0 cores=1,3,5,7
/proc/1196/task/1207/stat : 1207 (java) S 1193 1196 30263 0 -1 4202560 293 0 0 0 0 0 0 0 16 0 19 0 811624931 10808782848 40336 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 3 0 0 0
[pid=1196/tid=1208] ppid=1193 vsize=10555452 CPUtime=0 cores=1,3,5,7
/proc/1196/task/1208/stat : 1208 (java) S 1193 1196 30263 0 -1 4202560 505 0 0 0 0 0 0 0 18 0 19 0 811624931 10808782848 40336 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 5 0 0 0
[pid=1196/tid=1210] ppid=1193 vsize=10555452 CPUtime=0.06 cores=1,3,5,7
/proc/1196/task/1210/stat : 1210 (java) S 1193 1196 30263 0 -1 4202560 2555 0 0 0 6 0 0 0 16 0 19 0 811624932 10808782848 40336 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107267584 0 0 0 16800975 18446604468335899968 0 0 -1 1 0 0 0
[pid=1196/tid=1211] ppid=1193 vsize=10555452 CPUtime=0 cores=1,3,5,7
/proc/1196/task/1211/stat : 1211 (java) S 1193 1196 30263 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 811624932 10808782848 40336 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 3 0 0 0
[pid=1196/tid=1212] ppid=1193 vsize=10555452 CPUtime=0 cores=1,3,5,7
/proc/1196/task/1212/stat : 1212 (java) S 1193 1196 30263 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 811624932 10808782848 40336 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 7 0 0 0

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

/proc/meminfo: memFree=15740332/32951124 swapFree=58800704/67111528
[pid=1196] ppid=1193 vsize=10555452 CPUtime=1648.57 cores=1,3,5,7
/proc/1196/stat : 1196 (java) S 1193 1196 30263 0 -1 4202496 871882 0 1 0 164759 98 0 0 25 0 22 0 811624929 10808782848 861103 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1196/statm: 2638863 861103 2267 9 0 2629597 0
[pid=1196/tid=1198] ppid=1193 vsize=10555452 CPUtime=0.41 cores=1,3,5,7
/proc/1196/task/1198/stat : 1198 (java) S 1193 1196 30263 0 -1 4202560 18371 0 1 0 39 2 0 0 15 0 22 0 811624929 10808782848 861103 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107267584 0 4 0 16800975 18446604468335899968 0 0 -1 3 0 0 0
[pid=1196/tid=1200] ppid=1193 vsize=10555452 CPUtime=1.1 cores=1,3,5,7
/proc/1196/task/1200/stat : 1200 (java) S 1193 1196 30263 0 -1 4202560 2371 0 0 0 110 0 0 0 16 0 22 0 811624931 10808782848 861103 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 1 0 0 0
[pid=1196/tid=1201] ppid=1193 vsize=10555452 CPUtime=1.03 cores=1,3,5,7
/proc/1196/task/1201/stat : 1201 (java) S 1193 1196 30263 0 -1 4202560 1033 0 0 0 103 0 0 0 15 0 22 0 811624931 10808782848 861103 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 3 0 0 0
[pid=1196/tid=1202] ppid=1193 vsize=10555452 CPUtime=1.09 cores=1,3,5,7
/proc/1196/task/1202/stat : 1202 (java) S 1193 1196 30263 0 -1 4202560 1638 0 0 0 109 0 0 0 16 0 22 0 811624931 10808782848 861103 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 3 0 0 0
[pid=1196/tid=1203] ppid=1193 vsize=10555452 CPUtime=1.12 cores=1,3,5,7
/proc/1196/task/1203/stat : 1203 (java) S 1193 1196 30263 0 -1 4202560 1061 0 0 0 112 0 0 0 15 0 22 0 811624931 10808782848 861103 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 7 0 0 0
[pid=1196/tid=1204] ppid=1193 vsize=10555452 CPUtime=1.01 cores=1,3,5,7
/proc/1196/task/1204/stat : 1204 (java) S 1193 1196 30263 0 -1 4202560 1097 0 0 0 101 0 0 0 16 0 22 0 811624931 10808782848 861103 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 7 0 0 0
[pid=1196/tid=1206] ppid=1193 vsize=10555452 CPUtime=1.11 cores=1,3,5,7
/proc/1196/task/1206/stat : 1206 (java) S 1193 1196 30263 0 -1 4202560 1842 0 0 0 111 0 0 0 15 0 22 0 811624931 10808782848 861103 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 7 0 0 0
[pid=1196/tid=1207] ppid=1193 vsize=10555452 CPUtime=1.11 cores=1,3,5,7
/proc/1196/task/1207/stat : 1207 (java) S 1193 1196 30263 0 -1 4202560 1480 0 0 0 111 0 0 0 15 0 22 0 811624931 10808782848 861103 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 3 0 0 0
[pid=1196/tid=1208] ppid=1193 vsize=10555452 CPUtime=1.03 cores=1,3,5,7
/proc/1196/task/1208/stat : 1208 (java) S 1193 1196 30263 0 -1 4202560 1291 0 0 0 103 0 0 0 15 0 22 0 811624931 10808782848 861103 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 7 0 0 0
[pid=1196/tid=1210] ppid=1193 vsize=10555452 CPUtime=114.31 cores=1,3,5,7
/proc/1196/task/1210/stat : 1210 (java) R 1193 1196 30263 0 -1 4202560 93660 0 0 0 11420 11 0 0 15 0 22 0 811624932 10808782848 861103 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 47175757324675 0 0 0 16800975 0 0 0 -1 5 0 0 0
[pid=1196/tid=1211] ppid=1193 vsize=10555452 CPUtime=0 cores=1,3,5,7
/proc/1196/task/1211/stat : 1211 (java) S 1193 1196 30263 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 811624932 10808782848 861103 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 3 0 0 0
[pid=1196/tid=1212] ppid=1193 vsize=10555452 CPUtime=0 cores=1,3,5,7
/proc/1196/task/1212/stat : 1212 (java) S 1193 1196 30263 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 22 0 811624932 10808782848 861103 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 3 0 0 0
[pid=1196/tid=1214] ppid=1193 vsize=10555452 CPUtime=0 cores=1,3,5,7
/proc/1196/task/1214/stat : 1214 (java) S 1193 1196 30263 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 811624934 10808782848 861103 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107274673 0 4 0 16800975 18446604468335899968 0 0 -1 3 0 0 0
[pid=1196/tid=1215] ppid=1193 vsize=10555452 CPUtime=1.19 cores=1,3,5,7
/proc/1196/task/1215/stat : 1215 (java) S 1193 1196 30263 0 -1 4202560 5655 0 0 0 118 1 0 0 15 0 22 0 811624934 10808782848 861103 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 3 0 0 0
[pid=1196/tid=1216] ppid=1193 vsize=10555452 CPUtime=1.21 cores=1,3,5,7
/proc/1196/task/1216/stat : 1216 (java) S 1193 1196 30263 0 -1 4202560 10409 0 0 0 120 1 0 0 15 0 22 0 811624934 10808782848 861103 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 7 0 0 0
[pid=1196/tid=1217] ppid=1193 vsize=10555452 CPUtime=0 cores=1,3,5,7
/proc/1196/task/1217/stat : 1217 (java) S 1193 1196 30263 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 811624934 10808782848 861103 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 3 0 0 0
[pid=1196/tid=1218] ppid=1193 vsize=10555452 CPUtime=0 cores=1,3,5,7
/proc/1196/task/1218/stat : 1218 (java) S 1193 1196 30263 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 22 0 811624934 10808782848 861103 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107267584 0 4 0 16800975 18446604468335899968 0 0 -1 7 0 0 0
[pid=1196/tid=1234] ppid=1193 vsize=10555452 CPUtime=0 cores=1,3,5,7
/proc/1196/task/1234/stat : 1234 (java) S 1193 1196 30263 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 811625118 10808782848 861103 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107267584 0 4 0 16800975 18446604468335899968 0 0 -1 1 0 0 0
[pid=1196/tid=1276] ppid=1193 vsize=10555452 CPUtime=276 cores=1,3,5,7
/proc/1196/task/1276/stat : 1276 (java) S 1193 1196 30263 0 -1 4202560 216 0 0 0 27600 0 0 0 19 0 22 0 811679429 10808782848 861103 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 1 0 0 0
[pid=1196/tid=1277] ppid=1193 vsize=10555452 CPUtime=276.01 cores=1,3,5,7
/proc/1196/task/1277/stat : 1277 (java) S 1193 1196 30263 0 -1 4202560 97500 0 0 0 27592 9 0 0 19 0 22 0 811679429 10808782848 861103 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 3 0 0 0
[pid=1196/tid=1278] ppid=1193 vsize=10555452 CPUtime=0 cores=1,3,5,7
/proc/1196/task/1278/stat : 1278 (java) S 1193 1196 30263 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811679429 10808782848 861103 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107267584 0 4 0 16800975 18446604468335899968 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1648.57
Current children cumulated vsize (KiB) 10555452

[startup+942.301 s]
/proc/loadavg: 3.62 3.63 3.51 5/564 1368
/proc/meminfo: memFree=14902104/32951124 swapFree=58800704/67111528
[pid=1196] ppid=1193 vsize=10555452 CPUtime=1755.31 cores=1,3,5,7
/proc/1196/stat : 1196 (java) S 1193 1196 30263 0 -1 4202496 939301 0 1 0 175425 106 0 0 25 0 22 0 811624929 10808782848 928475 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1196/statm: 2638863 928475 2267 9 0 2629597 0
[pid=1196/tid=1198] ppid=1193 vsize=10555452 CPUtime=0.41 cores=1,3,5,7
/proc/1196/task/1198/stat : 1198 (java) S 1193 1196 30263 0 -1 4202560 18389 0 1 0 39 2 0 0 15 0 22 0 811624929 10808782848 928475 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107267584 0 4 0 16800975 18446604468335899968 0 0 -1 3 0 0 0
[pid=1196/tid=1200] ppid=1193 vsize=10555452 CPUtime=1.22 cores=1,3,5,7
/proc/1196/task/1200/stat : 1200 (java) S 1193 1196 30263 0 -1 4202560 2967 0 0 0 122 0 0 0 16 0 22 0 811624931 10808782848 928475 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 7 0 0 0
[pid=1196/tid=1201] ppid=1193 vsize=10555452 CPUtime=1.14 cores=1,3,5,7
/proc/1196/task/1201/stat : 1201 (java) S 1193 1196 30263 0 -1 4202560 1461 0 0 0 114 0 0 0 15 0 22 0 811624931 10808782848 928475 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 3 0 0 0
[pid=1196/tid=1202] ppid=1193 vsize=10555452 CPUtime=1.17 cores=1,3,5,7
/proc/1196/task/1202/stat : 1202 (java) S 1193 1196 30263 0 -1 4202560 1753 0 0 0 117 0 0 0 15 0 22 0 811624931 10808782848 928475 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 7 0 0 0
[pid=1196/tid=1203] ppid=1193 vsize=10555452 CPUtime=1.2 cores=1,3,5,7
/proc/1196/task/1203/stat : 1203 (java) S 1193 1196 30263 0 -1 4202560 1065 0 0 0 120 0 0 0 15 0 22 0 811624931 10808782848 928475 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 3 0 0 0
[pid=1196/tid=1204] ppid=1193 vsize=10555452 CPUtime=1.11 cores=1,3,5,7
/proc/1196/task/1204/stat : 1204 (java) S 1193 1196 30263 0 -1 4202560 1386 0 0 0 111 0 0 0 15 0 22 0 811624931 10808782848 928475 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 1 0 0 0
[pid=1196/tid=1206] ppid=1193 vsize=10555452 CPUtime=1.22 cores=1,3,5,7
/proc/1196/task/1206/stat : 1206 (java) S 1193 1196 30263 0 -1 4202560 2293 0 0 0 122 0 0 0 16 0 22 0 811624931 10808782848 928475 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 3 0 0 0
[pid=1196/tid=1207] ppid=1193 vsize=10555452 CPUtime=1.17 cores=1,3,5,7
/proc/1196/task/1207/stat : 1207 (java) S 1193 1196 30263 0 -1 4202560 1699 0 0 0 117 0 0 0 16 0 22 0 811624931 10808782848 928475 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 1 0 0 0
[pid=1196/tid=1208] ppid=1193 vsize=10555452 CPUtime=1.14 cores=1,3,5,7
/proc/1196/task/1208/stat : 1208 (java) S 1193 1196 30263 0 -1 4202560 1488 0 0 0 114 0 0 0 16 0 22 0 811624931 10808782848 928475 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 7 0 0 0
[pid=1196/tid=1210] ppid=1193 vsize=10555452 CPUtime=127.84 cores=1,3,5,7
/proc/1196/task/1210/stat : 1210 (java) S 1193 1196 30263 0 -1 4202560 106618 0 0 0 12772 12 0 0 16 0 22 0 811624932 10808782848 928475 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107267584 0 0 0 16800975 18446604468335899968 0 0 -1 5 0 0 0
[pid=1196/tid=1211] ppid=1193 vsize=10555452 CPUtime=0 cores=1,3,5,7
/proc/1196/task/1211/stat : 1211 (java) S 1193 1196 30263 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 811624932 10808782848 928475 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 3 0 0 0
[pid=1196/tid=1212] ppid=1193 vsize=10555452 CPUtime=0 cores=1,3,5,7
/proc/1196/task/1212/stat : 1212 (java) S 1193 1196 30263 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 22 0 811624932 10808782848 928475 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 3 0 0 0
[pid=1196/tid=1214] ppid=1193 vsize=10555452 CPUtime=0 cores=1,3,5,7
/proc/1196/task/1214/stat : 1214 (java) S 1193 1196 30263 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 811624934 10808782848 928475 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107274673 0 4 0 16800975 18446604468335899968 0 0 -1 3 0 0 0
[pid=1196/tid=1215] ppid=1193 vsize=10555452 CPUtime=1.19 cores=1,3,5,7
/proc/1196/task/1215/stat : 1215 (java) S 1193 1196 30263 0 -1 4202560 5655 0 0 0 118 1 0 0 15 0 22 0 811624934 10808782848 928475 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 3 0 0 0
[pid=1196/tid=1216] ppid=1193 vsize=10555452 CPUtime=1.21 cores=1,3,5,7
/proc/1196/task/1216/stat : 1216 (java) S 1193 1196 30263 0 -1 4202560 10409 0 0 0 120 1 0 0 15 0 22 0 811624934 10808782848 928475 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 7 0 0 0
[pid=1196/tid=1217] ppid=1193 vsize=10555452 CPUtime=0 cores=1,3,5,7
/proc/1196/task/1217/stat : 1217 (java) S 1193 1196 30263 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 811624934 10808782848 928475 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 3 0 0 0
[pid=1196/tid=1218] ppid=1193 vsize=10555452 CPUtime=0 cores=1,3,5,7
/proc/1196/task/1218/stat : 1218 (java) S 1193 1196 30263 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 22 0 811624934 10808782848 928475 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107267584 0 4 0 16800975 18446604468335899968 0 0 -1 7 0 0 0
[pid=1196/tid=1234] ppid=1193 vsize=10555452 CPUtime=0 cores=1,3,5,7
/proc/1196/task/1234/stat : 1234 (java) S 1193 1196 30263 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 811625118 10808782848 928475 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107267584 0 4 0 16800975 18446604468335899968 0 0 -1 1 0 0 0
[pid=1196/tid=1276] ppid=1193 vsize=10555452 CPUtime=322.21 cores=1,3,5,7
/proc/1196/task/1276/stat : 1276 (java) R 1193 1196 30263 0 -1 4202560 276 0 0 0 32221 0 0 0 16 0 22 0 811679429 10808782848 928475 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 46912505854461 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=1196/tid=1277] ppid=1193 vsize=10555452 CPUtime=322.21 cores=1,3,5,7
/proc/1196/task/1277/stat : 1277 (java) R 1193 1196 30263 0 -1 4202560 149580 0 0 0 32206 15 0 0 16 0 22 0 811679429 10808782848 928475 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 46912505795031 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=1196/tid=1278] ppid=1193 vsize=10555452 CPUtime=0 cores=1,3,5,7
/proc/1196/task/1278/stat : 1278 (java) S 1193 1196 30263 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811679429 10808782848 928475 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107267584 0 4 0 16800975 18446604468335899968 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1755.31
Current children cumulated vsize (KiB) 10555452



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+968.302 s]
/proc/loadavg: 3.73 3.66 3.52 5/564 1368
/proc/meminfo: memFree=14238440/32951124 swapFree=58800704/67111528
[pid=1196] ppid=1193 vsize=10555452 CPUtime=1800.08 cores=1,3,5,7
/proc/1196/stat : 1196 (java) S 1193 1196 30263 0 -1 4202496 940260 0 1 0 179902 106 0 0 25 0 22 0 811624929 10808782848 929421 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1196/statm: 2638863 929421 2267 9 0 2629597 0
[pid=1196/tid=1198] ppid=1193 vsize=10555452 CPUtime=0.41 cores=1,3,5,7
/proc/1196/task/1198/stat : 1198 (java) S 1193 1196 30263 0 -1 4202560 18398 0 1 0 39 2 0 0 15 0 22 0 811624929 10808782848 929421 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107267584 0 4 0 16800975 18446604468335899968 0 0 -1 3 0 0 0
[pid=1196/tid=1200] ppid=1193 vsize=10555452 CPUtime=1.26 cores=1,3,5,7
/proc/1196/task/1200/stat : 1200 (java) S 1193 1196 30263 0 -1 4202560 2969 0 0 0 126 0 0 0 15 0 22 0 811624931 10808782848 929421 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 1 0 0 0
[pid=1196/tid=1201] ppid=1193 vsize=10555452 CPUtime=1.19 cores=1,3,5,7
/proc/1196/task/1201/stat : 1201 (java) S 1193 1196 30263 0 -1 4202560 1461 0 0 0 119 0 0 0 15 0 22 0 811624931 10808782848 929421 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 7 0 0 0
[pid=1196/tid=1202] ppid=1193 vsize=10555452 CPUtime=1.21 cores=1,3,5,7
/proc/1196/task/1202/stat : 1202 (java) S 1193 1196 30263 0 -1 4202560 1754 0 0 0 121 0 0 0 16 0 22 0 811624931 10808782848 929421 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 3 0 0 0
[pid=1196/tid=1203] ppid=1193 vsize=10555452 CPUtime=1.28 cores=1,3,5,7
/proc/1196/task/1203/stat : 1203 (java) S 1193 1196 30263 0 -1 4202560 1070 0 0 0 128 0 0 0 16 0 22 0 811624931 10808782848 929421 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 3 0 0 0
[pid=1196/tid=1204] ppid=1193 vsize=10555452 CPUtime=1.13 cores=1,3,5,7
/proc/1196/task/1204/stat : 1204 (java) S 1193 1196 30263 0 -1 4202560 1386 0 0 0 113 0 0 0 15 0 22 0 811624931 10808782848 929421 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 3 0 0 0
[pid=1196/tid=1206] ppid=1193 vsize=10555452 CPUtime=1.23 cores=1,3,5,7
/proc/1196/task/1206/stat : 1206 (java) S 1193 1196 30263 0 -1 4202560 2293 0 0 0 123 0 0 0 15 0 22 0 811624931 10808782848 929421 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 1 0 0 0
[pid=1196/tid=1207] ppid=1193 vsize=10555452 CPUtime=1.23 cores=1,3,5,7
/proc/1196/task/1207/stat : 1207 (java) S 1193 1196 30263 0 -1 4202560 1702 0 0 0 123 0 0 0 16 0 22 0 811624931 10808782848 929421 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 7 0 0 0
[pid=1196/tid=1208] ppid=1193 vsize=10555452 CPUtime=1.21 cores=1,3,5,7
/proc/1196/task/1208/stat : 1208 (java) S 1193 1196 30263 0 -1 4202560 1488 0 0 0 121 0 0 0 16 0 22 0 811624931 10808782848 929421 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 1 0 0 0
[pid=1196/tid=1210] ppid=1193 vsize=10555452 CPUtime=135.21 cores=1,3,5,7
/proc/1196/task/1210/stat : 1210 (java) S 1193 1196 30263 0 -1 4202560 107555 0 0 0 13509 12 0 0 15 0 22 0 811624932 10808782848 929421 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107267584 0 0 0 16800975 18446604468335899968 0 0 -1 5 0 0 0
[pid=1196/tid=1211] ppid=1193 vsize=10555452 CPUtime=0 cores=1,3,5,7
/proc/1196/task/1211/stat : 1211 (java) S 1193 1196 30263 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 811624932 10808782848 929421 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 3 0 0 0
[pid=1196/tid=1212] ppid=1193 vsize=10555452 CPUtime=0 cores=1,3,5,7
/proc/1196/task/1212/stat : 1212 (java) S 1193 1196 30263 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 22 0 811624932 10808782848 929421 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 3 0 0 0
[pid=1196/tid=1214] ppid=1193 vsize=10555452 CPUtime=0 cores=1,3,5,7
/proc/1196/task/1214/stat : 1214 (java) S 1193 1196 30263 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 811624934 10808782848 929421 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107274673 0 4 0 16800975 18446604468335899968 0 0 -1 3 0 0 0
[pid=1196/tid=1215] ppid=1193 vsize=10555452 CPUtime=1.19 cores=1,3,5,7
/proc/1196/task/1215/stat : 1215 (java) S 1193 1196 30263 0 -1 4202560 5655 0 0 0 118 1 0 0 15 0 22 0 811624934 10808782848 929421 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 3 0 0 0
[pid=1196/tid=1216] ppid=1193 vsize=10555452 CPUtime=1.21 cores=1,3,5,7
/proc/1196/task/1216/stat : 1216 (java) S 1193 1196 30263 0 -1 4202560 10409 0 0 0 120 1 0 0 15 0 22 0 811624934 10808782848 929421 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 7 0 0 0
[pid=1196/tid=1217] ppid=1193 vsize=10555452 CPUtime=0 cores=1,3,5,7
/proc/1196/task/1217/stat : 1217 (java) S 1193 1196 30263 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 811624934 10808782848 929421 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107266969 0 4 0 16800975 18446604468335899968 0 0 -1 3 0 0 0
[pid=1196/tid=1218] ppid=1193 vsize=10555452 CPUtime=0 cores=1,3,5,7
/proc/1196/task/1218/stat : 1218 (java) S 1193 1196 30263 0 -1 4202560 57 0 0 0 0 0 0 0 15 0 22 0 811624934 10808782848 929421 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107267584 0 4 0 16800975 18446604468335899968 0 0 -1 7 0 0 0
[pid=1196/tid=1234] ppid=1193 vsize=10555452 CPUtime=0 cores=1,3,5,7
/proc/1196/task/1234/stat : 1234 (java) S 1193 1196 30263 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 811625118 10808782848 929421 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107267584 0 4 0 16800975 18446604468335899968 0 0 -1 1 0 0 0
[pid=1196/tid=1276] ppid=1193 vsize=10555452 CPUtime=340.76 cores=1,3,5,7
/proc/1196/task/1276/stat : 1276 (java) R 1193 1196 30263 0 -1 4202560 276 0 0 0 34076 0 0 0 19 0 22 0 811679429 10808782848 929421 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 46912505812052 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=1196/tid=1277] ppid=1193 vsize=10555452 CPUtime=340.76 cores=1,3,5,7
/proc/1196/task/1277/stat : 1277 (java) R 1193 1196 30263 0 -1 4202560 149580 0 0 0 34061 15 0 0 19 0 22 0 811679429 10808782848 929421 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 46912506417658 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=1196/tid=1278] ppid=1193 vsize=10555452 CPUtime=0 cores=1,3,5,7
/proc/1196/task/1278/stat : 1278 (java) S 1193 1196 30263 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811679429 10808782848 929421 33554432000 1073741824 1073778376 140733546739136 18446744073709551615 228107267584 0 4 0 16800975 18446604468335899968 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 10555452

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

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

[startup+968.427 s]
/proc/loadavg: 3.73 3.66 3.52 5/564 1368
/proc/meminfo: memFree=14238440/32951124 swapFree=58800704/67111528
[pid=1196] ppid=1193 vsize=0 CPUtime=1800.26 cores=1,3,5,7
/proc/1196/stat : 1196 (java) Z 1193 1196 30263 0 -1 4203548 940290 0 1 0 179911 115 0 0 17 0 2 0 811624929 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1196/statm: 0 0 0 0 0 0 0
[pid=1196/tid=1276] ppid=1193 vsize=0 CPUtime=340.86 cores=1,3,5,7
/proc/1196/task/1276/stat : 1276 (java) R 1193 1196 30263 0 -1 4203588 276 0 0 0 34078 8 0 0 20 0 2 0 811679429 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.26
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 968.487
CPU time (s): 1800.33
CPU user time (s): 1799.12
CPU system time (s): 1.21081
CPU usage (%): 185.891
Max. virtual memory (cumulated for all children) (KiB): 10564160

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.12
system time used= 1.21081
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 940290
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 31311
involuntary context switches= 18499

runsolver used 5.14022 second user time and 12.0172 second system time

The end

Launcher Data 

Begin job on node142 at 2011-06-04 14:54:55
IDJOB=3455290
IDBENCH=2873
IDSOLVER=1950
FILE ID=node142/3455290-1307192095
RUNJOBID= node142-1307191934-1005
PBS_JOBID= 13508862
Free space on /tmp= 73940 MiB

SOLVER NAME= Sat4j Res//CP 2.3.0
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-ex5.r.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3455290-1307192095/watcher-3455290-1307192095 -o /tmp/evaluation-result-3455290-1307192095/solver-3455290-1307192095 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3455290-1307192095.opb

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

MD5SUM BENCH= a65b7dae8af36ed37815bca4e48a5306
RANDOM SEED=829415667

node142.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.846
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5131.95
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.846
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.846
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.846
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      18393656 kB
Buffers:        284732 kB
Cached:         456492 kB
SwapCached:      11452 kB
Active:       12474072 kB
Inactive:      1816044 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      18393656 kB
SwapTotal:    67111528 kB
SwapFree:     58800704 kB
Dirty:            1068 kB
Writeback:           0 kB
AnonPages:    13546676 kB
Mapped:          39992 kB
Slab:           117120 kB
PageTables:      81236 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 155762140 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73928 MiB
End job on node142 at 2011-06-04 15:11:05