Trace number 3735098

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
PB11: Sat4j Res//CP 2.3.0SAT (TO)76 1800.48 915.341

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_11.opb
MD5SUMc19ad978a977652a94fc03b8ce63204a
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark72
Best CPU time to get the best result obtained on this benchmark1800.01
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 74
Optimality of the best value was proved NO
Number of variables1288
Total number of constraints2431
Number of constraints which are clauses1
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2430
Minimum length of a constraint1
Maximum length of a constraint29
Number of terms in the objective function 8
Biggest coefficient in the objective function 64
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 182
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 175
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 802
Number of bits of the biggest sum of numbers10
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.07/0.10	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.07/0.10	c This is free software under the dual EPL/GNU LGPL licenses.
0.07/0.10	c See www.sat4j.org for details.
0.07/0.10	c version 2.3.1.v20110525
0.07/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.07/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.07/0.10	c java.vm.version	19.1-b02
0.07/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.07/0.10	c sun.arch.data.model	64
0.07/0.10	c java.version		1.6.0_24
0.07/0.10	c os.name		Linux
0.07/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.07/0.10	c os.arch		amd64
0.07/0.10	c Free memory 		9996466904
0.07/0.10	c Max memory 		10048897024
0.07/0.10	c Total memory 		10048897024
0.07/0.10	c Number of processors 	8
0.07/0.13	c Pseudo Boolean Optimization
0.07/0.13	c ManyCore solver with 2 solvers running in parallel
0.07/0.13	c --- Begin Solver configuration ---
0.07/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a
0.07/0.13	c Learn all clauses as in MiniSAT
0.07/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.07/0.13	c Expensive reason simplification
0.07/0.13	c Armin Biere (Picosat) restarts strategy
0.07/0.13	c Glucose learned constraints deletion strategy
0.07/0.13	c timeout=2147483s
0.07/0.13	c DB Simplification allowed=false
0.07/0.13	c --- End Solver configuration ---
0.07/0.13	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.07/0.13	c --- Begin Solver configuration ---
0.07/0.13	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc
0.07/0.13	c Learn all clauses as in MiniSAT
0.07/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.13	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.07/0.13	c No reason simplification
0.07/0.13	c Armin Biere (Picosat) restarts strategy
0.07/0.13	c Glucose learned constraints deletion strategy
0.07/0.13	c timeout=2147483s
0.07/0.13	c DB Simplification allowed=false
0.07/0.13	c --- End Solver configuration ---
0.07/0.13	c solving HOME/instance-3735098-1338693803.opb
0.07/0.13	c reading problem ... 
1.30/0.60	c ... done. Wall clock time 0.47s.
1.30/0.60	c #vars     1288
1.30/0.60	c #constraints  2431
1.30/0.60	c constraints type 
1.30/0.60	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2430
1.30/0.60	c constraints type 
1.30/0.60	c org.sat4j.pb.constraints.pb.MaxWatchPb => 2430
2.35/0.99	c  And the winner is Resolution
2.73/1.10	c SATISFIABLE
2.73/1.10	c OPTIMIZING...
2.73/1.10	c Got one! Elapsed wall clock time (in seconds):0.972
2.73/1.10	o 103
4.46/1.85	c  And the winner is Resolution
4.59/2.10	c Got one! Elapsed wall clock time (in seconds):1.974
4.59/2.10	o 98
5.84/2.70	c  And the winner is Resolution
5.87/3.10	c Got one! Elapsed wall clock time (in seconds):2.976
5.87/3.10	o 93
8.39/4.34	c cleaning 3349 clauses out of 6706 with flag 3000/6709
8.63/4.47	c  And the winner is Resolution
8.77/4.61	c Got one! Elapsed wall clock time (in seconds):4.481
8.77/4.61	o 92
12.62/6.56	c  And the winner is Resolution
12.73/6.61	c Got one! Elapsed wall clock time (in seconds):6.483
12.73/6.61	o 90
13.70/7.14	c cleaning 4507 clauses out of 9028 with flag 1000/12380
18.84/9.72	c cleaning 5256 clauses out of 10521 with flag 7000/18380
20.20/10.46	c  And the winner is CuttingPlanes
20.31/10.61	c Got one! Elapsed wall clock time (in seconds):10.485
20.31/10.61	o 89
23.88/12.48	c cleaning 5400 clauses out of 10806 with flag 4001/23921
24.25/12.65	c  And the winner is Resolution
24.39/13.11	c Got one! Elapsed wall clock time (in seconds):12.986
24.39/13.11	o 83
29.04/15.47	c cleaning 5325 clauses out of 10659 with flag 5001/29174
34.38/18.17	c cleaning 5660 clauses out of 11333 with flag 11000/35173
40.93/21.49	c cleaning 6335 clauses out of 12673 with flag 18000/42173
45.28/23.64	c  And the winner is Resolution
45.35/24.12	c Got one! Elapsed wall clock time (in seconds):23.989
45.35/24.12	o 81
46.34/24.61	c cleaning 5859 clauses out of 11728 with flag 1001/47563
51.53/27.23	c cleaning 5933 clauses out of 11869 with flag 7001/53563
57.28/30.13	c cleaning 6459 clauses out of 12935 with flag 14000/60562
64.01/33.51	c cleaning 7232 clauses out of 14476 with flag 22000/68562
70.16/36.66	c  And the winner is Resolution
70.16/36.70	c Got one! Elapsed wall clock time (in seconds):36.568
70.16/36.70	o 78
75.09/39.14	c cleaning 9660 clauses out of 19332 with flag 5000/80650
80.01/41.64	c cleaning 7833 clauses out of 15674 with flag 11003/86653
86.34/44.83	c cleaning 7415 clauses out of 14839 with flag 18001/93651
93.29/48.37	c cleaning 7705 clauses out of 15423 with flag 26000/101650
101.20/52.37	c cleaning 8354 clauses out of 16719 with flag 35001/110651
107.51/55.56	c cleaning 0 clauses out of 9633 with flag 0/9636
110.70/57.03	c cleaning 9178 clauses out of 18363 with flag 45000/120650
119.88/61.62	c cleaning 9583 clauses out of 19185 with flag 55000/130650
130.19/66.84	c cleaning 9791 clauses out of 19603 with flag 65001/140651
139.30/71.49	c cleaning 9898 clauses out of 19811 with flag 75000/150650
149.41/76.56	c cleaning 9952 clauses out of 19915 with flag 85002/160652
158.95/81.33	c cleaning 9973 clauses out of 19961 with flag 95000/170650
168.87/86.35	c cleaning 9987 clauses out of 19990 with flag 105002/180652
178.17/91.04	c cleaning 9992 clauses out of 20002 with flag 115001/190651
187.69/95.86	c cleaning 9994 clauses out of 20009 with flag 125000/200650
197.61/100.80	c cleaning 9999 clauses out of 20015 with flag 135000/210650
207.73/105.96	c cleaning 10004 clauses out of 20016 with flag 145000/220650
219.02/111.63	c cleaning 10003 clauses out of 20013 with flag 155001/230651
228.54/116.46	c cleaning 10001 clauses out of 20009 with flag 165000/240650
239.46/121.96	c cleaning 9999 clauses out of 20009 with flag 175001/250651
249.97/127.20	c cleaning 10001 clauses out of 20009 with flag 185000/260650
259.05/131.85	c cleaning 9997 clauses out of 20009 with flag 195001/270651
267.97/136.37	c cleaning 9998 clauses out of 20011 with flag 205000/280650
277.88/141.39	c cleaning 10006 clauses out of 20015 with flag 215002/290652
280.40/142.60	c cleaning 0 clauses out of 15635 with flag 0/15638
287.49/146.23	c cleaning 9996 clauses out of 20007 with flag 225000/300650
296.98/151.05	c cleaning 10001 clauses out of 20011 with flag 235000/310650
306.09/155.69	c cleaning 9998 clauses out of 20010 with flag 245000/320650
315.82/160.51	c cleaning 9994 clauses out of 20012 with flag 255000/330650
326.08/165.77	c cleaning 10005 clauses out of 20020 with flag 265002/340652
335.60/170.57	c cleaning 9999 clauses out of 20013 with flag 275000/350650
344.71/175.14	c cleaning 10001 clauses out of 20016 with flag 285002/360652
353.84/179.74	c cleaning 9995 clauses out of 20013 with flag 295000/370650
362.49/184.18	c cleaning 10003 clauses out of 20018 with flag 305000/380650
372.43/189.17	c cleaning 9998 clauses out of 20015 with flag 315000/390650
381.14/193.59	c cleaning 10005 clauses out of 20017 with flag 325000/400650
390.82/198.43	c cleaning 10001 clauses out of 20016 with flag 335004/410654
401.29/203.71	c cleaning 10006 clauses out of 20011 with flag 345000/420650
410.20/208.23	c cleaning 9996 clauses out of 20005 with flag 355000/430650
418.92/212.63	c cleaning 9996 clauses out of 20009 with flag 365000/440650
428.01/217.23	c cleaning 9996 clauses out of 20013 with flag 375000/450650
437.46/222.08	c cleaning 9999 clauses out of 20017 with flag 385000/460650
438.75/222.73	c  And the winner is Resolution
438.06/222.93	c Got one! Elapsed wall clock time (in seconds):222.8
438.06/222.93	o 77
441.80/224.83	c cleaning 7643 clauses out of 15300 with flag 4000/465932
447.88/227.93	c cleaning 6821 clauses out of 13657 with flag 10000/471932
454.79/231.41	c cleaning 6909 clauses out of 13837 with flag 17001/478933
462.24/235.29	c cleaning 7457 clauses out of 14927 with flag 25000/486932
470.73/239.59	c cleaning 8230 clauses out of 16472 with flag 34002/495934
479.85/244.16	c cleaning 9116 clauses out of 18240 with flag 44000/505932
488.94/248.76	c cleaning 9553 clauses out of 19124 with flag 54000/515932
492.58/250.63	c cleaning 0 clauses out of 21024 with flag 0/21027
498.28/253.57	c cleaning 9782 clauses out of 19571 with flag 64000/525932
507.77/258.31	c cleaning 9882 clauses out of 19789 with flag 74000/535932
516.88/262.96	c cleaning 9948 clauses out of 19907 with flag 84000/545932
525.92/267.58	c cleaning 9971 clauses out of 19959 with flag 94000/555932
535.41/272.33	c cleaning 9980 clauses out of 19988 with flag 104000/565932
545.69/277.55	c cleaning 10000 clauses out of 20008 with flag 114000/575932
556.18/282.88	c cleaning 9994 clauses out of 20008 with flag 124000/585932
566.21/287.96	c cleaning 9997 clauses out of 20014 with flag 134000/595932
575.53/292.66	c cleaning 10006 clauses out of 20019 with flag 144002/605934
584.62/297.29	c cleaning 10001 clauses out of 20012 with flag 154001/615933
593.90/301.94	c cleaning 9998 clauses out of 20011 with flag 164001/625933
603.56/306.81	c cleaning 9997 clauses out of 20012 with flag 174000/635932
613.05/311.68	c cleaning 10000 clauses out of 20016 with flag 184001/645933
624.33/317.36	c cleaning 9999 clauses out of 20015 with flag 194000/655932
634.82/322.63	c cleaning 9999 clauses out of 20016 with flag 204000/665932
645.25/327.90	c cleaning 10001 clauses out of 20018 with flag 214001/675933
655.75/333.26	c cleaning 9996 clauses out of 20018 with flag 224002/685934
666.02/338.48	c cleaning 9998 clauses out of 20020 with flag 234000/695932
676.33/343.65	c cleaning 10002 clauses out of 20022 with flag 244000/705932
686.56/348.81	c cleaning 10007 clauses out of 20022 with flag 254002/715934
696.25/353.79	c cleaning 10001 clauses out of 20013 with flag 264000/725932
706.53/358.94	c cleaning 10000 clauses out of 20013 with flag 274001/735933
717.02/364.20	c cleaning 9997 clauses out of 20013 with flag 284001/745933
726.43/369.08	c cleaning 10003 clauses out of 20016 with flag 294001/755933
734.91/373.31	c cleaning 10000 clauses out of 20012 with flag 304000/765932
743.00/377.49	c cleaning 9996 clauses out of 20014 with flag 314002/775934
751.89/381.92	c cleaning 10003 clauses out of 20017 with flag 324001/785933
760.91/386.53	c cleaning 10001 clauses out of 20013 with flag 334000/795932
769.19/390.72	c cleaning 10003 clauses out of 20013 with flag 344001/805933
777.68/395.01	c cleaning 9999 clauses out of 20010 with flag 354001/815933
786.57/399.59	c cleaning 9998 clauses out of 20010 with flag 364000/825932
795.77/404.26	c cleaning 9998 clauses out of 20014 with flag 374002/835934
805.25/409.01	c cleaning 9998 clauses out of 20015 with flag 384001/845933
814.35/413.62	c cleaning 9998 clauses out of 20017 with flag 394001/855933
823.43/418.29	c cleaning 10004 clauses out of 20019 with flag 404001/865933
832.64/422.92	c cleaning 10000 clauses out of 20014 with flag 414000/875932
841.52/427.42	c cleaning 10000 clauses out of 20016 with flag 424002/885934
849.99/431.78	c cleaning 9996 clauses out of 20014 with flag 434000/895932
858.67/436.14	c cleaning 10003 clauses out of 20019 with flag 444001/905933
867.68/440.79	c cleaning 10000 clauses out of 20017 with flag 454002/915934
877.35/445.64	c cleaning 9995 clauses out of 20016 with flag 464001/925933
883.84/448.96	c cleaning 0 clauses out of 27025 with flag 0/27028
886.93/450.58	c cleaning 10005 clauses out of 20020 with flag 474000/935932
896.15/455.26	c cleaning 9999 clauses out of 20015 with flag 484000/945932
905.42/459.95	c cleaning 10000 clauses out of 20016 with flag 494000/955932
915.08/464.82	c cleaning 10002 clauses out of 20017 with flag 504001/965933
924.79/469.71	c cleaning 10005 clauses out of 20015 with flag 514001/975933
934.38/474.62	c cleaning 9997 clauses out of 20009 with flag 524000/985932
943.87/479.44	c cleaning 10004 clauses out of 20014 with flag 534002/995934
953.53/484.31	c cleaning 9998 clauses out of 20011 with flag 544003/1005935
962.20/488.79	c cleaning 9997 clauses out of 20010 with flag 554000/1015932
971.78/493.62	c cleaning 9998 clauses out of 20014 with flag 564001/1025933
981.85/498.73	c cleaning 9999 clauses out of 20016 with flag 574001/1035933
991.13/503.48	c cleaning 10001 clauses out of 20016 with flag 584000/1045932
999.82/507.81	c cleaning 9999 clauses out of 20015 with flag 594000/1055932
1008.83/512.40	c cleaning 9996 clauses out of 20017 with flag 604001/1065933
1017.11/516.69	c cleaning 10003 clauses out of 20020 with flag 614000/1075932
1026.40/521.36	c cleaning 10003 clauses out of 20017 with flag 624000/1085932
1035.66/526.04	c cleaning 10001 clauses out of 20014 with flag 634000/1095932
1045.07/530.88	c cleaning 9997 clauses out of 20014 with flag 644001/1105933
1054.36/535.54	c cleaning 9995 clauses out of 20018 with flag 654002/1115934
1063.83/540.31	c cleaning 9998 clauses out of 20021 with flag 664000/1125932
1072.89/544.91	c cleaning 10001 clauses out of 20023 with flag 674000/1135932
1082.92/550.01	c cleaning 10002 clauses out of 20022 with flag 684000/1145932
1093.36/555.37	c cleaning 9997 clauses out of 20020 with flag 694000/1155932
1103.61/560.53	c cleaning 10005 clauses out of 20025 with flag 704002/1165934
1114.08/565.85	c cleaning 9998 clauses out of 20018 with flag 714000/1175932
1124.08/570.96	c cleaning 9998 clauses out of 20023 with flag 724003/1185935
1134.34/576.17	c cleaning 10001 clauses out of 20023 with flag 734001/1195933
1144.98/581.53	c cleaning 10004 clauses out of 20021 with flag 744000/1205932
1154.45/586.38	c cleaning 10006 clauses out of 20017 with flag 754000/1215932
1164.22/591.40	c cleaning 9998 clauses out of 20012 with flag 764001/1225933
1174.47/596.55	c cleaning 9997 clauses out of 20013 with flag 774000/1235932
1184.75/601.79	c cleaning 9999 clauses out of 20017 with flag 784001/1245933
1194.22/606.52	c cleaning 9997 clauses out of 20017 with flag 794000/1255932
1203.00/611.05	c cleaning 10001 clauses out of 20020 with flag 804000/1265932
1211.86/615.52	c cleaning 10002 clauses out of 20019 with flag 814000/1275932
1220.92/620.10	c cleaning 10000 clauses out of 20018 with flag 824001/1285933
1230.59/625.09	c cleaning 10000 clauses out of 20017 with flag 834000/1295932
1240.77/630.24	c cleaning 10000 clauses out of 20017 with flag 844000/1305932
1250.21/635.04	c cleaning 9998 clauses out of 20017 with flag 854000/1315932
1258.86/639.48	c cleaning 10003 clauses out of 20020 with flag 864001/1325933
1268.12/644.13	c cleaning 9998 clauses out of 20017 with flag 874001/1335933
1277.08/648.73	c cleaning 10003 clauses out of 20018 with flag 884000/1345932
1286.37/653.49	c cleaning 10000 clauses out of 20015 with flag 894000/1355932
1295.80/658.21	c cleaning 9999 clauses out of 20015 with flag 904000/1365932
1305.26/663.05	c cleaning 10005 clauses out of 20017 with flag 914001/1375933
1314.24/667.69	c cleaning 10000 clauses out of 20011 with flag 924000/1385932
1323.70/672.42	c cleaning 9995 clauses out of 20011 with flag 934000/1395932
1332.76/677.05	c cleaning 9997 clauses out of 20016 with flag 944000/1405932
1342.43/681.95	c cleaning 10005 clauses out of 20021 with flag 954002/1415934
1352.00/686.86	c cleaning 9998 clauses out of 20015 with flag 964001/1425933
1361.27/691.59	c cleaning 9996 clauses out of 20016 with flag 974000/1435932
1370.74/696.38	c cleaning 10003 clauses out of 20020 with flag 984000/1445932
1380.76/701.43	c cleaning 9998 clauses out of 20018 with flag 994001/1455933
1390.32/706.36	c cleaning 10001 clauses out of 20022 with flag 1004003/1465935
1400.37/711.41	c cleaning 10000 clauses out of 20020 with flag 1014002/1475934
1411.22/716.94	c cleaning 9997 clauses out of 20019 with flag 1024001/1485933
1421.25/722.03	c cleaning 9998 clauses out of 20021 with flag 1034000/1495932
1430.21/726.68	c cleaning 10000 clauses out of 20024 with flag 1044001/1505933
1439.67/731.41	c cleaning 9998 clauses out of 20023 with flag 1054000/1515932
1449.09/736.27	c cleaning 10001 clauses out of 20026 with flag 1064001/1525933
1459.74/741.67	c cleaning 10005 clauses out of 20025 with flag 1074001/1535933
1470.30/747.04	c cleaning 10002 clauses out of 20019 with flag 1084000/1545932
1480.37/752.12	c cleaning 10008 clauses out of 20019 with flag 1094002/1555934
1489.61/756.83	c cleaning 9994 clauses out of 20010 with flag 1104001/1565933
1495.03/759.69	c cleaning 0 clauses out of 34025 with flag 0/34028
1498.60/761.56	c cleaning 10000 clauses out of 20015 with flag 1114000/1575932
1507.03/765.88	c cleaning 10003 clauses out of 20017 with flag 1124002/1585934
1516.25/770.56	c cleaning 9994 clauses out of 20012 with flag 1134000/1595932
1524.90/774.98	c cleaning 9991 clauses out of 20018 with flag 1144000/1605932
1534.25/779.71	c cleaning 10008 clauses out of 20027 with flag 1154000/1615932
1543.31/784.34	c cleaning 10003 clauses out of 20021 with flag 1164002/1625934
1552.13/788.86	c cleaning 10002 clauses out of 20016 with flag 1174000/1635932
1561.17/793.46	c cleaning 9998 clauses out of 20014 with flag 1184000/1645932
1570.91/798.50	c cleaning 10004 clauses out of 20019 with flag 1194003/1655935
1581.35/803.77	c cleaning 10001 clauses out of 20012 with flag 1204000/1665932
1591.41/808.85	c cleaning 9996 clauses out of 20011 with flag 1214000/1675932
1600.45/813.49	c cleaning 9998 clauses out of 20017 with flag 1224002/1685934
1610.41/818.55	c cleaning 10003 clauses out of 20019 with flag 1234002/1695934
1620.24/823.55	c cleaning 9996 clauses out of 20016 with flag 1244002/1705934
1630.27/828.69	c cleaning 9999 clauses out of 20019 with flag 1254001/1715933
1641.11/834.15	c cleaning 10001 clauses out of 20019 with flag 1264000/1725932
1650.25/838.85	c cleaning 10001 clauses out of 20019 with flag 1274001/1735933
1660.09/843.85	c cleaning 10004 clauses out of 20018 with flag 1284001/1745933
1669.54/848.61	c cleaning 9994 clauses out of 20014 with flag 1294001/1755933
1678.57/853.25	c cleaning 10000 clauses out of 20019 with flag 1304000/1765932
1687.94/858.02	c cleaning 9996 clauses out of 20020 with flag 1314001/1775933
1697.38/862.82	c cleaning 10005 clauses out of 20024 with flag 1324001/1785933
1706.43/867.48	c cleaning 9991 clauses out of 20018 with flag 1334000/1795932
1715.67/872.18	c cleaning 10009 clauses out of 20027 with flag 1344000/1805932
1725.61/877.21	c cleaning 10003 clauses out of 20020 with flag 1354002/1815934
1735.07/882.06	c cleaning 10002 clauses out of 20015 with flag 1364000/1825932
1743.92/886.59	c cleaning 9998 clauses out of 20013 with flag 1374000/1835932
1751.96/890.66	c cleaning 10000 clauses out of 20015 with flag 1384000/1845932
1760.90/895.25	c cleaning 10001 clauses out of 20019 with flag 1394004/1855936
1769.73/899.73	c cleaning 9998 clauses out of 20015 with flag 1404001/1865933
1770.55/900.25	c  And the winner is Resolution
1767.73/900.50	c Got one! Elapsed wall clock time (in seconds):900.377
1767.73/900.50	o 76
1772.31/902.82	c cleaning 7927 clauses out of 15868 with flag 5001/1871784
1778.15/905.80	c cleaning 6959 clauses out of 13941 with flag 11001/1877784
1784.69/909.25	c cleaning 6978 clauses out of 13982 with flag 18001/1884784
1792.32/913.12	c cleaning 7492 clauses out of 15004 with flag 26001/1892784
1796.56/915.31	c starts		: 265
1796.56/915.31	c conflicts		: 1897430
1796.56/915.31	c decisions		: 2126460
1796.56/915.31	c propagations		: 282250419
1796.56/915.31	c inspects		: 5833600473
1796.56/915.31	c shortcuts		: 0
1796.56/915.31	c learnt literals	: 5
1796.56/915.31	c learnt binary clauses	: 12
1796.56/915.31	c learnt ternary clauses	: 25
1796.56/915.31	c learnt constraints	: 1897425
1796.56/915.31	c ignored constraints	: 0
1796.56/915.31	c root simplifications	: 0
1796.56/915.31	c removed literals (reason simplification)	: 23453403
1796.56/915.31	c reason swapping (by a shorter reason)	: 0
1796.56/915.31	c Calls to reduceDB	: 197
1796.56/915.31	c number of reductions to clauses (during analyze)	: 0
1796.56/915.31	c number of learned constraints concerned by reduction	: 0
1796.56/915.31	c number of learning phase by resolution	: 0
1796.56/915.31	c number of learning phase by cutting planes	: 0
1796.56/915.31	c speed (assignments/second)	: 1.906324618397947E7
1796.56/915.31	c non guided choices	6188
1796.56/915.32	c learnt constraints type 
1796.56/915.32	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 12
1796.56/915.32	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 12188
1796.56/915.32	c constraints type 
1796.56/915.32	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2431
1796.56/915.32	c constraints type 
1796.56/915.32	c org.sat4j.pb.constraints.pb.MaxWatchPb => 2431
1796.56/915.32	s SATISFIABLE
1796.56/915.33	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 
1796.56/915.33	c objective function=76
1796.56/915.33	c Total wall clock time (in seconds): 915.201

Verifier Data 

OK	76

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3735098-1338693803/watcher-3735098-1338693803 -o /tmp/evaluation-result-3735098-1338693803/solver-3735098-1338693803 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3735098-1338693803.opb 

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

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


[startup+0 s]
/proc/loadavg: 3.53 3.60 3.54 4/197 11010
/proc/meminfo: memFree=27722384/32873844 swapFree=7632/7632
[pid=11010] ppid=11008 vsize=2500 CPUtime=0 cores=0,2,4,6
/proc/11010/stat : 11010 (java) R 11008 11010 5561 0 -1 4202496 93 0 0 0 0 0 0 0 20 0 1 0 335504635 2560000 46 33554432000 1073741824 1073778376 140735266794368 140735266791496 209874677031 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11010/statm: 625 46 37 9 0 29 0

[startup+0.0925221 s]
/proc/loadavg: 3.53 3.60 3.54 4/197 11010
/proc/meminfo: memFree=27722384/32873844 swapFree=7632/7632
[pid=11010] ppid=11008 vsize=11586392 CPUtime=0.05 cores=0,2,4,6
/proc/11010/stat : 11010 (java) S 11008 11010 5561 0 -1 4202496 4470 0 1 0 4 1 0 0 20 0 18 0 335504635 11864465408 12833 33554432000 1073741824 1073778376 140735870929616 140735870920752 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11010/statm: 2896598 12833 1778 9 0 2887285 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 11586392

[startup+0.102982 s]
/proc/loadavg: 3.53 3.60 3.54 4/197 11010
/proc/meminfo: memFree=27722384/32873844 swapFree=7632/7632
[pid=11010] ppid=11008 vsize=11586392 CPUtime=0.07 cores=0,2,4,6
/proc/11010/stat : 11010 (java) S 11008 11010 5561 0 -1 4202496 4761 0 1 0 6 1 0 0 20 0 18 0 335504635 11864465408 13124 33554432000 1073741824 1073778376 140735870929616 140735870920752 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11010/statm: 2896598 13131 1979 9 0 2887285 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11586392

[startup+0.300152 s]
/proc/loadavg: 3.53 3.60 3.54 4/197 11010
/proc/meminfo: memFree=27722384/32873844 swapFree=7632/7632
[pid=11010] ppid=11008 vsize=11586392 CPUtime=0.52 cores=0,2,4,6
/proc/11010/stat : 11010 (java) S 11008 11010 5561 0 -1 4202496 10702 0 1 0 49 3 0 0 20 0 18 0 335504635 11864465408 18698 33554432000 1073741824 1073778376 140735870929616 140735870920752 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11010/statm: 2896598 18712 2225 9 0 2887285 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 11586392

[startup+0.700167 s]
/proc/loadavg: 3.53 3.60 3.54 4/197 11010
/proc/meminfo: memFree=27722384/32873844 swapFree=7632/7632
[pid=11010] ppid=11008 vsize=11852648 CPUtime=1.67 cores=0,2,4,6
/proc/11010/stat : 11010 (java) S 11008 11010 5561 0 -1 4202496 16998 0 1 0 162 5 0 0 20 0 22 0 335504635 12137111552 34752 33554432000 1073741824 1073778376 140735870929616 140735870920752 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11010/statm: 2963162 34752 2250 9 0 2953849 0
Current children cumulated CPU time (s) 1.67
Current children cumulated vsize (KiB) 11852648

[startup+1.50071 s]
/proc/loadavg: 3.53 3.60 3.54 6/217 11032
/proc/meminfo: memFree=27534144/32873844 swapFree=7632/7632
[pid=11010] ppid=11008 vsize=11852648 CPUtime=3.76 cores=0,2,4,6
/proc/11010/stat : 11010 (java) S 11008 11010 5561 0 -1 4202496 20079 0 1 0 365 11 0 0 20 0 22 0 335504635 12137111552 81179 33554432000 1073741824 1073778376 140735870929616 140735870920752 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11010/statm: 2963162 81179 2260 9 0 2953849 0
[pid=11010/tid=11012] ppid=11008 vsize=11852648 CPUtime=0.56 cores=0,2,4,6
/proc/11010/task/11012/stat : 11012 (java) S 11008 11010 5561 0 -1 4202560 3406 0 1 0 53 3 0 0 20 0 22 0 335504637 12137111552 81179 33554432000 1073741824 1073778376 140735870929616 140339926099096 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11010/tid=11013] ppid=11008 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11013/stat : 11013 (java) S 11008 11010 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335504639 12137111552 81179 33554432000 1073741824 1073778376 140735870929616 140339880852264 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11010/tid=11014] ppid=11008 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11014/stat : 11014 (java) S 11008 11010 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335504639 12137111552 81179 33554432000 1073741824 1073778376 140735870929616 140339879799464 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11010/tid=11015] ppid=11008 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11015/stat : 11015 (java) S 11008 11010 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335504639 12137111552 81179 33554432000 1073741824 1073778376 140735870929616 140339878747176 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11010/tid=11016] ppid=11008 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11016/stat : 11016 (java) S 11008 11010 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335504639 12137111552 81179 33554432000 1073741824 1073778376 140735870929616 140339877694376 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11010/tid=11017] ppid=11008 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11017/stat : 11017 (java) S 11008 11010 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335504639 12137111552 81179 33554432000 1073741824 1073778376 140735870929616 140339876641064 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11010/tid=11018] ppid=11008 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11018/stat : 11018 (java) S 11008 11010 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335504639 12137111552 81179 33554432000 1073741824 1073778376 140735870929616 140339875588264 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11010/tid=11019] ppid=11008 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11019/stat : 11019 (java) S 11008 11010 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335504639 12137111552 81179 33554432000 1073741824 1073778376 140735870929616 140339874535976 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11010/tid=11020] ppid=11008 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11020/stat : 11020 (java) S 11008 11010 5561 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 335504639 12137111552 81179 33554432000 1073741824 1073778376 140735870929616 140339873483176 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11010/tid=11021] ppid=11008 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11021/stat : 11021 (java) S 11008 11010 5561 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 335504640 12137111552 81179 33554432000 1073741824 1073778376 140735870929616 140339743521512 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11010/tid=11022] ppid=11008 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11022/stat : 11022 (java) S 11008 11010 5561 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 335504641 12137111552 81179 33554432000 1073741824 1073778376 140735870929616 140339742467576 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11010/tid=11023] ppid=11008 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11023/stat : 11023 (java) S 11008 11010 5561 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 335504641 12137111552 81179 33554432000 1073741824 1073778376 140735870929616 140339741415176 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11010/tid=11024] ppid=11008 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11024/stat : 11024 (java) S 11008 11010 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335504643 12137111552 81179 33554432000 1073741824 1073778376 140735870929616 140339740363664 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11010/tid=11025] ppid=11008 vsize=11852648 CPUtime=0.86 cores=0,2,4,6
/proc/11010/task/11025/stat : 11025 (java) R 11008 11010 5561 0 -1 4202560 10049 0 0 0 84 2 0 0 20 0 22 0 335504643 12137111552 81179 33554432000 1073741824 1073778376 140735870929616 140339739297360 140339930215527 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=11010/tid=11026] ppid=11008 vsize=11852648 CPUtime=0.72 cores=0,2,4,6
/proc/11010/task/11026/stat : 11026 (java) R 11008 11010 5561 0 -1 4202560 5223 0 0 0 72 0 0 0 20 0 22 0 335504643 12137111552 81179 33554432000 1073741824 1073778376 140735870929616 140339738257464 209887212604 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=11010/tid=11027] ppid=11008 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11027/stat : 11027 (java) S 11008 11010 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335504643 12137111552 81179 33554432000 1073741824 1073778376 140735870929616 140339737205368 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11010/tid=11028] ppid=11008 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11028/stat : 11028 (java) S 11008 11010 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335504643 12137111552 81179 33554432000 1073741824 1073778376 140735870929616 140339736152776 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11010/tid=11032] ppid=11008 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11032/stat : 11032 (java) S 11008 11010 5561 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 335504696 12137111552 81179 33554432000 1073741824 1073778376 140735870929616 140338724320808 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.76
Current children cumulated vsize (KiB) 11852648

[startup+3.10071 s]
/proc/loadavg: 3.53 3.60 3.54 3/216 11035
/proc/meminfo: memFree=27276888/32873844 swapFree=7632/7632
[pid=11010] ppid=11008 vsize=11852648 CPUtime=5.87 cores=0,2,4,6
/proc/11010/stat : 11010 (java) S 11008 11010 5561 0 -1 4202496 20383 0 1 0 569 18 0 0 20 0 19 0 335504635 12137111552 166343 33554432000 1073741824 1073778376 140735870929616 140735870920752 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11010/statm: 2963162 166343 2263 9 0 2953849 0
[pid=11010/tid=11012] ppid=11008 vsize=11852648 CPUtime=0.56 cores=0,2,4,6
/proc/11010/task/11012/stat : 11012 (java) S 11008 11010 5561 0 -1 4202560 3406 0 1 0 53 3 0 0 20 0 19 0 335504637 12137111552 166343 33554432000 1073741824 1073778376 140735870929616 140339926099096 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11010/tid=11013] ppid=11008 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11013/stat : 11013 (java) S 11008 11010 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335504639 12137111552 166343 33554432000 1073741824 1073778376 140735870929616 140339880852264 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11010/tid=11014] ppid=11008 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11014/stat : 11014 (java) S 11008 11010 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335504639 12137111552 166343 33554432000 1073741824 1073778376 140735870929616 140339879799464 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11010/tid=11015] ppid=11008 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11015/stat : 11015 (java) S 11008 11010 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335504639 12137111552 166343 33554432000 1073741824 1073778376 140735870929616 140339878747176 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11010/tid=11016] ppid=11008 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11016/stat : 11016 (java) S 11008 11010 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335504639 12137111552 166343 33554432000 1073741824 1073778376 140735870929616 140339877694376 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11010/tid=11017] ppid=11008 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11017/stat : 11017 (java) S 11008 11010 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335504639 12137111552 166343 33554432000 1073741824 1073778376 140735870929616 140339876641064 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11010/tid=11018] ppid=11008 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11018/stat : 11018 (java) S 11008 11010 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335504639 12137111552 166343 33554432000 1073741824 1073778376 140735870929616 140339875588264 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11010/tid=11019] ppid=11008 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11019/stat : 11019 (java) S 11008 11010 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335504639 12137111552 166343 33554432000 1073741824 1073778376 140735870929616 140339874535976 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11010/tid=11020] ppid=11008 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11020/stat : 11020 (java) S 11008 11010 5561 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335504639 12137111552 166343 33554432000 1073741824 1073778376 140735870929616 140339873483176 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11010/tid=11021] ppid=11008 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11021/stat : 11021 (java) S 11008 11010 5561 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335504640 12137111552 166343 33554432000 1073741824 1073778376 140735870929616 140339743521512 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11010/tid=11022] ppid=11008 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11022/stat : 11022 (java) S 11008 11010 5561 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335504641 12137111552 166343 33554432000 1073741824 1073778376 140735870929616 140339742467576 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11010/tid=11023] ppid=11008 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11023/stat : 11023 (java) S 11008 11010 5561 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335504641 12137111552 166343 33554432000 1073741824 1073778376 140735870929616 140339741415176 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11010/tid=11024] ppid=11008 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11024/stat : 11024 (java) S 11008 11010 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335504643 12137111552 166343 33554432000 1073741824 1073778376 140735870929616 140339740363664 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11010/tid=11025] ppid=11008 vsize=11852648 CPUtime=0.98 cores=0,2,4,6
/proc/11010/task/11025/stat : 11025 (java) S 11008 11010 5561 0 -1 4202560 10177 0 0 0 96 2 0 0 20 0 19 0 335504643 12137111552 166343 33554432000 1073741824 1073778376 140735870929616 140339739310264 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11010/tid=11026] ppid=11008 vsize=11852648 CPUtime=0.77 cores=0,2,4,6
/proc/11010/task/11026/stat : 11026 (java) S 11008 11010 5561 0 -1 4202560 5223 0 0 0 77 0 0 0 20 0 19 0 335504643 12137111552 166343 33554432000 1073741824 1073778376 140735870929616 140339738257464 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11010/tid=11027] ppid=11008 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11027/stat : 11027 (java) S 11008 11010 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335504643 12137111552 166343 33554432000 1073741824 1073778376 140735870929616 140339737205368 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11010/tid=11028] ppid=11008 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11028/stat : 11028 (java) S 11008 11010 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335504643 12137111552 166343 33554432000 1073741824 1073778376 140735870929616 140339736152776 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11010/tid=11032] ppid=11008 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11032/stat : 11032 (java) S 11008 11010 5561 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335504696 12137111552 166343 33554432000 1073741824 1073778376 140735870929616 140338724320808 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 5.87
Current children cumulated vsize (KiB) 11852648

[startup+6.3008 s]
/proc/loadavg: 3.41 3.57 3.53 5/219 11044
/proc/meminfo: memFree=26474880/32873844 swapFree=7632/7632
[pid=11010] ppid=11008 vsize=11852648 CPUtime=12.2 cores=0,2,4,6
/proc/11010/stat : 11010 (java) S 11008 11010 5561 0 -1 4202496 20791 0 1 0 1188 32 0 0 20 0 22 0 335504635 12137111552 328061 33554432000 1073741824 1073778376 140735870929616 140735870920752 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11010/statm: 2963162 328061 2288 9 0 2953849 0
[pid=11010/tid=11012] ppid=11008 vsize=11852648 CPUtime=0.57 cores=0,2,4,6
/proc/11010/task/11012/stat : 11012 (java) S 11008 11010 5561 0 -1 4202560 3408 0 1 0 54 3 0 0 20 0 22 0 335504637 12137111552 328061 33554432000 1073741824 1073778376 140735870929616 140339926099096 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11010/tid=11013] ppid=11008 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11013/stat : 11013 (java) S 11008 11010 5561 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 335504639 12137111552 328061 33554432000 1073741824 1073778376 140735870929616 140339880852264 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11010/tid=11014] ppid=11008 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11014/stat : 11014 (java) S 11008 11010 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335504639 12137111552 328061 33554432000 1073741824 1073778376 140735870929616 140339879799464 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11010/tid=11015] ppid=11008 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11015/stat : 11015 (java) S 11008 11010 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335504639 12137111552 328061 33554432000 1073741824 1073778376 140735870929616 140339878747176 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11010/tid=11016] ppid=11008 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11016/stat : 11016 (java) S 11008 11010 5561 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 335504639 12137111552 328061 33554432000 1073741824 1073778376 140735870929616 140339877694376 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11010/tid=11017] ppid=11008 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11017/stat : 11017 (java) S 11008 11010 5561 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 335504639 12137111552 328061 33554432000 1073741824 1073778376 140735870929616 140339876641064 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11010/tid=11018] ppid=11008 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11018/stat : 11018 (java) S 11008 11010 5561 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 335504639 12137111552 328061 33554432000 1073741824 1073778376 140735870929616 140339875588264 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11010/tid=11019] ppid=11008 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11019/stat : 11019 (java) S 11008 11010 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335504639 12137111552 328061 33554432000 1073741824 1073778376 140735870929616 140339874535976 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11010/tid=11020] ppid=11008 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11020/stat : 11020 (java) S 11008 11010 5561 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 335504639 12137111552 328061 33554432000 1073741824 1073778376 140735870929616 140339873483176 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11010/tid=11021] ppid=11008 vsize=11852648 CPUtime=0.04 cores=0,2,4,6
/proc/11010/task/11021/stat : 11021 (java) S 11008 11010 5561 0 -1 4202560 36 0 0 0 4 0 0 0 20 0 22 0 335504640 12137111552 328061 33554432000 1073741824 1073778376 140735870929616 140339743521512 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11010/tid=11022] ppid=11008 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11022/stat : 11022 (java) S 11008 11010 5561 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 335504641 12137111552 328061 33554432000 1073741824 1073778376 140735870929616 140339742467576 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11010/tid=11023] ppid=11008 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11023/stat : 11023 (java) S 11008 11010 5561 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 335504641 12137111552 328061 33554432000 1073741824 1073778376 140735870929616 140339741415176 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11010/tid=11024] ppid=11008 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11024/stat : 11024 (java) S 11008 11010 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335504643 12137111552 328061 33554432000 1073741824 1073778376 140735870929616 140339740363664 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11010/tid=11025] ppid=11008 vsize=11852648 CPUtime=1.15 cores=0,2,4,6
/proc/11010/task/11025/stat : 11025 (java) S 11008 11010 5561 0 -1 4202560 10182 0 0 0 113 2 0 0 20 0 22 0 335504643 12137111552 328061 33554432000 1073741824 1073778376 140735870929616 140339739310264 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11010/tid=11026] ppid=11008 vsize=11852648 CPUtime=0.87 cores=0,2,4,6
/proc/11010/task/11026/stat : 11026 (java) S 11008 11010 5561 0 -1 4202560 5225 0 0 0 87 0 0 0 20 0 22 0 335504643 12137111552 328061 33554432000 1073741824 1073778376 140735870929616 140339738257464 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11010/tid=11027] ppid=11008 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11027/stat : 11027 (java) S 11008 11010 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335504643 12137111552 328061 33554432000 1073741824 1073778376 140735870929616 140339737205368 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11010/tid=11028] ppid=11008 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11028/stat : 11028 (java) S 11008 11010 5561 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 335504643 12137111552 328061 33554432000 1073741824 1073778376 140735870929616 140339736152776 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11010/tid=11032] ppid=11008 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11032/stat : 11032 (java) S 11008 11010 5561 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 335504696 12137111552 328061 33554432000 1073741824 1073778376 140735870929616 140338724320808 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11010/tid=11042] ppid=11008 vsize=11852648 CPUtime=1.66 cores=0,2,4,6
/proc/11010/task/11042/stat : 11042 (java) R 11008 11010 5561 0 -1 4202560 4 0 0 0 166 0 0 0 20 0 22 0 335505097 12137111552 328061 33554432000 1073741824 1073778376 140735870929616 140338726424744 140339751606016 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=11010/tid=11043] ppid=11008 vsize=11852648 CPUtime=1.66 cores=0,2,4,6
/proc/11010/task/11043/stat : 11043 (java) R 11008 11010 5561 0 -1 4202560 94 0 0 0 163 3 0 0 20 0 22 0 335505097 12137111552 328061 33554432000 1073741824 1073778376 140735870929616 140338725370600 140339751630512 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0

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

Current children cumulated CPU time (s) 1769.23
Current children cumulated vsize (KiB) 11852648

[startup+900.501 s]
/proc/loadavg: 3.83 3.77 3.67 5/219 11256
/proc/meminfo: memFree=23811180/32873844 swapFree=7632/7632
[pid=11010] ppid=11008 vsize=11852648 CPUtime=1767.73 cores=0,2,4,6
/proc/11010/stat : 11010 (java) S 11008 11010 5561 0 -1 4202496 24621 0 1 0 176677 96 0 0 20 0 19 0 335504635 12137111552 443901 33554432000 1073741824 1073778376 140735870929616 140735870920752 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11010/statm: 2963162 443901 2289 9 0 2953849 0
[pid=11010/tid=11012] ppid=11008 vsize=11852648 CPUtime=0.6 cores=0,2,4,6
/proc/11010/task/11012/stat : 11012 (java) S 11008 11010 5561 0 -1 4202560 3452 0 1 0 56 4 0 0 20 0 19 0 335504637 12137111552 443901 33554432000 1073741824 1073778376 140735870929616 140339926099096 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11010/tid=11013] ppid=11008 vsize=11852648 CPUtime=1.25 cores=0,2,4,6
/proc/11010/task/11013/stat : 11013 (java) S 11008 11010 5561 0 -1 4202560 217 0 0 0 123 2 0 0 20 0 19 0 335504639 12137111552 443901 33554432000 1073741824 1073778376 140735870929616 140339880852264 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11010/tid=11014] ppid=11008 vsize=11852648 CPUtime=1.11 cores=0,2,4,6
/proc/11010/task/11014/stat : 11014 (java) S 11008 11010 5561 0 -1 4202560 228 0 0 0 111 0 0 0 20 0 19 0 335504639 12137111552 443901 33554432000 1073741824 1073778376 140735870929616 140339879799464 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11010/tid=11015] ppid=11008 vsize=11852648 CPUtime=1.28 cores=0,2,4,6
/proc/11010/task/11015/stat : 11015 (java) S 11008 11010 5561 0 -1 4202560 233 0 0 0 126 2 0 0 20 0 19 0 335504639 12137111552 443901 33554432000 1073741824 1073778376 140735870929616 140339878747176 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11010/tid=11016] ppid=11008 vsize=11852648 CPUtime=1.29 cores=0,2,4,6
/proc/11010/task/11016/stat : 11016 (java) S 11008 11010 5561 0 -1 4202560 216 0 0 0 127 2 0 0 20 0 19 0 335504639 12137111552 443901 33554432000 1073741824 1073778376 140735870929616 140339877694376 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11010/tid=11017] ppid=11008 vsize=11852648 CPUtime=1.22 cores=0,2,4,6
/proc/11010/task/11017/stat : 11017 (java) S 11008 11010 5561 0 -1 4202560 205 0 0 0 120 2 0 0 20 0 19 0 335504639 12137111552 443901 33554432000 1073741824 1073778376 140735870929616 140339876641064 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11010/tid=11018] ppid=11008 vsize=11852648 CPUtime=1.22 cores=0,2,4,6
/proc/11010/task/11018/stat : 11018 (java) S 11008 11010 5561 0 -1 4202560 203 0 0 0 120 2 0 0 20 0 19 0 335504639 12137111552 443901 33554432000 1073741824 1073778376 140735870929616 140339875588264 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11010/tid=11019] ppid=11008 vsize=11852648 CPUtime=1.19 cores=0,2,4,6
/proc/11010/task/11019/stat : 11019 (java) S 11008 11010 5561 0 -1 4202560 196 0 0 0 119 0 0 0 20 0 19 0 335504639 12137111552 443901 33554432000 1073741824 1073778376 140735870929616 140339874535976 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11010/tid=11020] ppid=11008 vsize=11852648 CPUtime=1.16 cores=0,2,4,6
/proc/11010/task/11020/stat : 11020 (java) S 11008 11010 5561 0 -1 4202560 174 0 0 0 116 0 0 0 20 0 19 0 335504639 12137111552 443901 33554432000 1073741824 1073778376 140735870929616 140339873483176 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11010/tid=11021] ppid=11008 vsize=11852648 CPUtime=30.22 cores=0,2,4,6
/proc/11010/task/11021/stat : 11021 (java) S 11008 11010 5561 0 -1 4202560 149 0 0 0 3017 5 0 0 20 0 19 0 335504640 12137111552 443901 33554432000 1073741824 1073778376 140735870929616 140339743521512 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11010/tid=11022] ppid=11008 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11022/stat : 11022 (java) S 11008 11010 5561 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 335504641 12137111552 443901 33554432000 1073741824 1073778376 140735870929616 140339742467576 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11010/tid=11023] ppid=11008 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11023/stat : 11023 (java) S 11008 11010 5561 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 335504641 12137111552 443901 33554432000 1073741824 1073778376 140735870929616 140339741415176 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11010/tid=11024] ppid=11008 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11024/stat : 11024 (java) S 11008 11010 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335504643 12137111552 443901 33554432000 1073741824 1073778376 140735870929616 140339740363664 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11010/tid=11025] ppid=11008 vsize=11852648 CPUtime=1.62 cores=0,2,4,6
/proc/11010/task/11025/stat : 11025 (java) S 11008 11010 5561 0 -1 4202560 11673 0 0 0 159 3 0 0 20 0 19 0 335504643 12137111552 443901 33554432000 1073741824 1073778376 140735870929616 140339739310264 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11010/tid=11026] ppid=11008 vsize=11852648 CPUtime=0.98 cores=0,2,4,6
/proc/11010/task/11026/stat : 11026 (java) S 11008 11010 5561 0 -1 4202560 5312 0 0 0 98 0 0 0 20 0 19 0 335504643 12137111552 443901 33554432000 1073741824 1073778376 140735870929616 140339738257464 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11010/tid=11027] ppid=11008 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11027/stat : 11027 (java) S 11008 11010 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335504643 12137111552 443901 33554432000 1073741824 1073778376 140735870929616 140339737205368 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11010/tid=11028] ppid=11008 vsize=11852648 CPUtime=0.3 cores=0,2,4,6
/proc/11010/task/11028/stat : 11028 (java) S 11008 11010 5561 0 -1 4202560 52 0 0 0 11 19 0 0 20 0 19 0 335504643 12137111552 443901 33554432000 1073741824 1073778376 140735870929616 140339736152776 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11010/tid=11050] ppid=11008 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11050/stat : 11050 (java) S 11008 11010 5561 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335505697 12137111552 443901 33554432000 1073741824 1073778376 140735870929616 140338724320040 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1767.73
Current children cumulated vsize (KiB) 11852648
#
############




Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+915.301 s]
/proc/loadavg: 3.94 3.80 3.68 5/219 11259
/proc/meminfo: memFree=23806836/32873844 swapFree=7632/7632
[pid=11010] ppid=11008 vsize=11852648 CPUtime=1796.56 cores=0,2,4,6
/proc/11010/stat : 11010 (java) S 11008 11010 5561 0 -1 4202496 24669 0 1 0 179559 97 0 0 20 0 22 0 335504635 12137111552 444450 33554432000 1073741824 1073778376 140735870929616 140735870920752 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11010/statm: 2963162 444450 2289 9 0 2953849 0
[pid=11010/tid=11012] ppid=11008 vsize=11852648 CPUtime=0.6 cores=0,2,4,6
/proc/11010/task/11012/stat : 11012 (java) S 11008 11010 5561 0 -1 4202560 3454 0 1 0 56 4 0 0 20 0 22 0 335504637 12137111552 444450 33554432000 1073741824 1073778376 140735870929616 140339926099096 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11010/tid=11013] ppid=11008 vsize=11852648 CPUtime=1.28 cores=0,2,4,6
/proc/11010/task/11013/stat : 11013 (java) S 11008 11010 5561 0 -1 4202560 220 0 0 0 126 2 0 0 20 0 22 0 335504639 12137111552 444450 33554432000 1073741824 1073778376 140735870929616 140339880852264 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11010/tid=11014] ppid=11008 vsize=11852648 CPUtime=1.16 cores=0,2,4,6
/proc/11010/task/11014/stat : 11014 (java) S 11008 11010 5561 0 -1 4202560 235 0 0 0 116 0 0 0 20 0 22 0 335504639 12137111552 444450 33554432000 1073741824 1073778376 140735870929616 140339879799464 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11010/tid=11015] ppid=11008 vsize=11852648 CPUtime=1.3 cores=0,2,4,6
/proc/11010/task/11015/stat : 11015 (java) S 11008 11010 5561 0 -1 4202560 238 0 0 0 128 2 0 0 20 0 22 0 335504639 12137111552 444450 33554432000 1073741824 1073778376 140735870929616 140339878747176 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11010/tid=11016] ppid=11008 vsize=11852648 CPUtime=1.32 cores=0,2,4,6
/proc/11010/task/11016/stat : 11016 (java) S 11008 11010 5561 0 -1 4202560 217 0 0 0 130 2 0 0 20 0 22 0 335504639 12137111552 444450 33554432000 1073741824 1073778376 140735870929616 140339877694376 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11010/tid=11017] ppid=11008 vsize=11852648 CPUtime=1.25 cores=0,2,4,6
/proc/11010/task/11017/stat : 11017 (java) S 11008 11010 5561 0 -1 4202560 210 0 0 0 123 2 0 0 20 0 22 0 335504639 12137111552 444450 33554432000 1073741824 1073778376 140735870929616 140339876641064 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11010/tid=11018] ppid=11008 vsize=11852648 CPUtime=1.26 cores=0,2,4,6
/proc/11010/task/11018/stat : 11018 (java) S 11008 11010 5561 0 -1 4202560 213 0 0 0 124 2 0 0 20 0 22 0 335504639 12137111552 444450 33554432000 1073741824 1073778376 140735870929616 140339875588264 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11010/tid=11019] ppid=11008 vsize=11852648 CPUtime=1.21 cores=0,2,4,6
/proc/11010/task/11019/stat : 11019 (java) S 11008 11010 5561 0 -1 4202560 196 0 0 0 121 0 0 0 20 0 22 0 335504639 12137111552 444450 33554432000 1073741824 1073778376 140735870929616 140339874535976 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11010/tid=11020] ppid=11008 vsize=11852648 CPUtime=1.19 cores=0,2,4,6
/proc/11010/task/11020/stat : 11020 (java) S 11008 11010 5561 0 -1 4202560 174 0 0 0 119 0 0 0 20 0 22 0 335504639 12137111552 444450 33554432000 1073741824 1073778376 140735870929616 140339873483176 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11010/tid=11021] ppid=11008 vsize=11852648 CPUtime=31.09 cores=0,2,4,6
/proc/11010/task/11021/stat : 11021 (java) S 11008 11010 5561 0 -1 4202560 152 0 0 0 3104 5 0 0 20 0 22 0 335504640 12137111552 444450 33554432000 1073741824 1073778376 140735870929616 140339743521512 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11010/tid=11022] ppid=11008 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11022/stat : 11022 (java) S 11008 11010 5561 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 335504641 12137111552 444450 33554432000 1073741824 1073778376 140735870929616 140339742467576 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11010/tid=11023] ppid=11008 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11023/stat : 11023 (java) S 11008 11010 5561 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 335504641 12137111552 444450 33554432000 1073741824 1073778376 140735870929616 140339741415176 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11010/tid=11024] ppid=11008 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11024/stat : 11024 (java) S 11008 11010 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335504643 12137111552 444450 33554432000 1073741824 1073778376 140735870929616 140339740363664 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11010/tid=11025] ppid=11008 vsize=11852648 CPUtime=1.62 cores=0,2,4,6
/proc/11010/task/11025/stat : 11025 (java) S 11008 11010 5561 0 -1 4202560 11673 0 0 0 159 3 0 0 20 0 22 0 335504643 12137111552 444450 33554432000 1073741824 1073778376 140735870929616 140339739310264 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11010/tid=11026] ppid=11008 vsize=11852648 CPUtime=0.98 cores=0,2,4,6
/proc/11010/task/11026/stat : 11026 (java) S 11008 11010 5561 0 -1 4202560 5312 0 0 0 98 0 0 0 20 0 22 0 335504643 12137111552 444450 33554432000 1073741824 1073778376 140735870929616 140339738257464 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11010/tid=11027] ppid=11008 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11027/stat : 11027 (java) S 11008 11010 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335504643 12137111552 444450 33554432000 1073741824 1073778376 140735870929616 140339737205368 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11010/tid=11028] ppid=11008 vsize=11852648 CPUtime=0.31 cores=0,2,4,6
/proc/11010/task/11028/stat : 11028 (java) S 11008 11010 5561 0 -1 4202560 54 0 0 0 11 20 0 0 20 0 22 0 335504643 12137111552 444450 33554432000 1073741824 1073778376 140735870929616 140339736152776 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11010/tid=11050] ppid=11008 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11050/stat : 11050 (java) S 11008 11010 5561 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 335505697 12137111552 444450 33554432000 1073741824 1073778376 140735870929616 140338724320040 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11010/tid=11257] ppid=11008 vsize=11852648 CPUtime=13.8 cores=0,2,4,6
/proc/11010/task/11257/stat : 11257 (java) R 11008 11010 5561 0 -1 4202560 4 0 0 0 1380 0 0 0 20 0 22 0 335594686 12137111552 444450 33554432000 1073741824 1073778376 140735870929616 140338726425552 140339751624545 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=11010/tid=11258] ppid=11008 vsize=11852648 CPUtime=13.81 cores=0,2,4,6
/proc/11010/task/11258/stat : 11258 (java) R 11008 11010 5561 0 -1 4202560 2 0 0 0 1381 0 0 0 20 0 22 0 335594686 12137111552 444450 33554432000 1073741824 1073778376 140735870929616 140338725370992 140339751637188 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=11010/tid=11259] ppid=11008 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11259/stat : 11259 (java) S 11008 11010 5561 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 335594695 12137111552 444450 33554432000 1073741824 1073778376 140735870929616 140338727478184 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1796.56
Current children cumulated vsize (KiB) 11852648

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

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

[startup+915.301 s]
/proc/loadavg: 3.94 3.80 3.68 5/219 11259
/proc/meminfo: memFree=23806836/32873844 swapFree=7632/7632
[pid=11010] ppid=11008 vsize=11852648 CPUtime=1796.56 cores=0,2,4,6
/proc/11010/stat : 11010 (java) S 11008 11010 5561 0 -1 4202496 24669 0 1 0 179559 97 0 0 20 0 22 0 335504635 12137111552 444450 33554432000 1073741824 1073778376 140735870929616 140735870920752 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11010/statm: 2963162 444450 2289 9 0 2953849 0
[pid=11010/tid=11012] ppid=11008 vsize=11852648 CPUtime=0.6 cores=0,2,4,6
/proc/11010/task/11012/stat : 11012 (java) S 11008 11010 5561 0 -1 4202560 3454 0 1 0 56 4 0 0 20 0 22 0 335504637 12137111552 444450 33554432000 1073741824 1073778376 140735870929616 140339926099096 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11010/tid=11013] ppid=11008 vsize=11852648 CPUtime=1.28 cores=0,2,4,6
/proc/11010/task/11013/stat : 11013 (java) S 11008 11010 5561 0 -1 4202560 220 0 0 0 126 2 0 0 20 0 22 0 335504639 12137111552 444450 33554432000 1073741824 1073778376 140735870929616 140339880852264 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11010/tid=11014] ppid=11008 vsize=11852648 CPUtime=1.16 cores=0,2,4,6
/proc/11010/task/11014/stat : 11014 (java) S 11008 11010 5561 0 -1 4202560 235 0 0 0 116 0 0 0 20 0 22 0 335504639 12137111552 444450 33554432000 1073741824 1073778376 140735870929616 140339879799464 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11010/tid=11015] ppid=11008 vsize=11852648 CPUtime=1.3 cores=0,2,4,6
/proc/11010/task/11015/stat : 11015 (java) S 11008 11010 5561 0 -1 4202560 238 0 0 0 128 2 0 0 20 0 22 0 335504639 12137111552 444450 33554432000 1073741824 1073778376 140735870929616 140339878747176 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11010/tid=11016] ppid=11008 vsize=11852648 CPUtime=1.32 cores=0,2,4,6
/proc/11010/task/11016/stat : 11016 (java) S 11008 11010 5561 0 -1 4202560 217 0 0 0 130 2 0 0 20 0 22 0 335504639 12137111552 444450 33554432000 1073741824 1073778376 140735870929616 140339877694376 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11010/tid=11017] ppid=11008 vsize=11852648 CPUtime=1.25 cores=0,2,4,6
/proc/11010/task/11017/stat : 11017 (java) S 11008 11010 5561 0 -1 4202560 210 0 0 0 123 2 0 0 20 0 22 0 335504639 12137111552 444450 33554432000 1073741824 1073778376 140735870929616 140339876641064 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11010/tid=11018] ppid=11008 vsize=11852648 CPUtime=1.26 cores=0,2,4,6
/proc/11010/task/11018/stat : 11018 (java) S 11008 11010 5561 0 -1 4202560 213 0 0 0 124 2 0 0 20 0 22 0 335504639 12137111552 444450 33554432000 1073741824 1073778376 140735870929616 140339875588264 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11010/tid=11019] ppid=11008 vsize=11852648 CPUtime=1.21 cores=0,2,4,6
/proc/11010/task/11019/stat : 11019 (java) S 11008 11010 5561 0 -1 4202560 196 0 0 0 121 0 0 0 20 0 22 0 335504639 12137111552 444450 33554432000 1073741824 1073778376 140735870929616 140339874535976 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11010/tid=11020] ppid=11008 vsize=11852648 CPUtime=1.19 cores=0,2,4,6
/proc/11010/task/11020/stat : 11020 (java) S 11008 11010 5561 0 -1 4202560 174 0 0 0 119 0 0 0 20 0 22 0 335504639 12137111552 444450 33554432000 1073741824 1073778376 140735870929616 140339873483176 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11010/tid=11021] ppid=11008 vsize=11852648 CPUtime=31.09 cores=0,2,4,6
/proc/11010/task/11021/stat : 11021 (java) S 11008 11010 5561 0 -1 4202560 152 0 0 0 3104 5 0 0 20 0 22 0 335504640 12137111552 444450 33554432000 1073741824 1073778376 140735870929616 140339743521512 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11010/tid=11022] ppid=11008 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11022/stat : 11022 (java) S 11008 11010 5561 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 335504641 12137111552 444450 33554432000 1073741824 1073778376 140735870929616 140339742467576 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11010/tid=11023] ppid=11008 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11023/stat : 11023 (java) S 11008 11010 5561 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 335504641 12137111552 444450 33554432000 1073741824 1073778376 140735870929616 140339741415176 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11010/tid=11024] ppid=11008 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11024/stat : 11024 (java) S 11008 11010 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335504643 12137111552 444450 33554432000 1073741824 1073778376 140735870929616 140339740363664 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11010/tid=11025] ppid=11008 vsize=11852648 CPUtime=1.62 cores=0,2,4,6
/proc/11010/task/11025/stat : 11025 (java) S 11008 11010 5561 0 -1 4202560 11673 0 0 0 159 3 0 0 20 0 22 0 335504643 12137111552 444450 33554432000 1073741824 1073778376 140735870929616 140339739310264 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11010/tid=11026] ppid=11008 vsize=11852648 CPUtime=0.98 cores=0,2,4,6
/proc/11010/task/11026/stat : 11026 (java) S 11008 11010 5561 0 -1 4202560 5312 0 0 0 98 0 0 0 20 0 22 0 335504643 12137111552 444450 33554432000 1073741824 1073778376 140735870929616 140339738257464 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11010/tid=11027] ppid=11008 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11027/stat : 11027 (java) S 11008 11010 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335504643 12137111552 444450 33554432000 1073741824 1073778376 140735870929616 140339737205368 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11010/tid=11028] ppid=11008 vsize=11852648 CPUtime=0.31 cores=0,2,4,6
/proc/11010/task/11028/stat : 11028 (java) S 11008 11010 5561 0 -1 4202560 54 0 0 0 11 20 0 0 20 0 22 0 335504643 12137111552 444450 33554432000 1073741824 1073778376 140735870929616 140339736152776 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11010/tid=11050] ppid=11008 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11050/stat : 11050 (java) S 11008 11010 5561 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 335505697 12137111552 444450 33554432000 1073741824 1073778376 140735870929616 140338724320040 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11010/tid=11257] ppid=11008 vsize=11852648 CPUtime=13.8 cores=0,2,4,6
/proc/11010/task/11257/stat : 11257 (java) R 11008 11010 5561 0 -1 4202560 4 0 0 0 1380 0 0 0 20 0 22 0 335594686 12137111552 444450 33554432000 1073741824 1073778376 140735870929616 140338726425552 140339751624545 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=11010/tid=11258] ppid=11008 vsize=11852648 CPUtime=13.81 cores=0,2,4,6
/proc/11010/task/11258/stat : 11258 (java) R 11008 11010 5561 0 -1 4202560 2 0 0 0 1381 0 0 0 20 0 22 0 335594686 12137111552 444450 33554432000 1073741824 1073778376 140735870929616 140338725370992 140339751637188 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=11010/tid=11259] ppid=11008 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11259/stat : 11259 (java) S 11008 11010 5561 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 335594695 12137111552 444450 33554432000 1073741824 1073778376 140735870929616 140338727478184 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1796.56
Current children cumulated vsize (KiB) 11852648

Child status: 143

# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 3.61005
#  lost CPU user time (s): 3.84998
#  lost CPU system time (s): -0.24

Real time (s): 915.341
CPU time (s): 1800.48
CPU user time (s): 1799.45
CPU system time (s): 1.03181
CPU usage (%): 196.7
Max. virtual memory (cumulated for all children) (KiB): 11852648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.6
system time used= 1.27181
maximum resident set size= 1777928
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24703
page faults= 1
swaps= 0
block input operations= 0
block output operations= 936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 27814
involuntary context switches= 26830

runsolver used 3.37149 second user time and 8.21375 second system time

The end

Launcher Data 

Begin job on node141 at 2012-06-03 05:23:23
IDJOB=3735098
IDBENCH=2940
IDSOLVER=2328
FILE ID=node141/3735098-1338693803
RUNJOBID= node141-1338678623-5580
PBS_JOBID= 14636672
Free space on /tmp= 70720 MiB

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

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

MD5SUM BENCH= c19ad978a977652a94fc03b8ce63204a
RANDOM SEED=147778306

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27722540 kB
Buffers:          399956 kB
Cached:          3135100 kB
SwapCached:          216 kB
Active:          1942280 kB
Inactive:        2321440 kB
Active(anon):     719512 kB
Inactive(anon):    11288 kB
Active(file):    1222768 kB
Inactive(file):  2310152 kB
Unevictable:        7632 kB
Mlocked:            7632 kB
SwapTotal:      67108856 kB
SwapFree:       67108640 kB
Dirty:               836 kB
Writeback:             0 kB
AnonPages:        739980 kB
Mapped:            18900 kB
Shmem:               172 kB
Slab:             739772 kB
SReclaimable:     181988 kB
SUnreclaim:       557784 kB
KernelStack:        1624 kB
PageTables:         5964 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:   10460864 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    677888 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70680 MiB
End job on node141 at 2012-06-03 05:38:40