Trace number 4103144

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j PB 2.3.6 Resolution PB16SAT (TO)4058112 1800.02 1771.36

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-mps-v2-20-10-ran10x10b.opb
MD5SUMb5587ac28cf407bbfa21e21c74984478
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark3729408
Best CPU time to get the best result obtained on this benchmark1800.74
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3581952
Optimality of the best value was proved NO
Number of variables3100
Total number of constraints120
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints120
Minimum length of a constraint31
Maximum length of a constraint300
Number of terms in the objective function 3100
Biggest coefficient in the objective function 4831838208
Number of bits for the biggest coefficient in the objective function 33
Sum of the numbers in the objective function 511129031204
Number of bits of the sum of numbers in the objective function 39
Biggest number in a constraint 4831838208
Number of bits of the biggest number in a constraint 33
Biggest sum of numbers in a constraint 511129031204
Number of bits of the biggest sum of numbers39
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.08/0.12	c Pseudo Boolean Optimization by upper bound
0.08/0.12	c --- Begin Solver configuration ---
0.08/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.08/0.12	c Learn all clauses as in MiniSAT
0.08/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.12	c No reason simplification
0.08/0.12	c Glucose 2.1 dynamic restart strategy
0.08/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.08/0.12	c timeout=2147483s
0.08/0.12	c DB Simplification allowed=false
0.08/0.12	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.08/0.12	c --- End Solver configuration ---
0.08/0.12	c solving HOME/instance-4103144-1466233027.opb
0.08/0.12	c reading problem ... 
0.08/0.12	c  objective function found
0.29/0.29	c ... done. Wall clock time 0.171s.
0.29/0.29	c declared #vars     3100
0.29/0.29	c #constraints  140
0.29/0.29	c constraints type 
0.29/0.29	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 140
0.29/0.29	c 140 constraints processed.
0.29/0.29	c objective function length is 3100 literals
1.09/0.53	c SATISFIABLE
1.09/0.53	c OPTIMIZING...
1.09/0.53	c Got one! Elapsed wall clock time (in seconds):0.417
1.09/0.54	o 10498454
2.06/1.23	c cleaning 2823 clauses out of 5645 with flag 14570/5645
2.28/1.46	c Got one! Elapsed wall clock time (in seconds):1.34
2.28/1.46	o 10495115
2.54/1.61	c Got one! Elapsed wall clock time (in seconds):1.497
2.54/1.61	o 6022657
2.90/1.95	c cleaning 4467 clauses out of 8936 with flag 13856/11759
3.79/2.87	c cleaning 5226 clauses out of 10464 with flag 48507/17754
5.00/4.09	c cleaning 6109 clauses out of 12238 with flag 94064/24754
6.24/5.27	c cleaning 7058 clauses out of 14129 with flag 140759/32754
7.83/6.83	c cleaning 8027 clauses out of 16072 with flag 207489/41755
9.44/8.48	c cleaning 9011 clauses out of 18044 with flag 273431/51754
9.74/8.77	c Got one! Elapsed wall clock time (in seconds):8.648
9.74/8.77	o 6014985
10.02/8.93	c Got one! Elapsed wall clock time (in seconds):8.815
10.02/8.93	o 5572600
10.02/8.94	c Got one! Elapsed wall clock time (in seconds):8.822
10.02/8.94	o 4185088
10.42/9.27	c cleaning 7469 clauses out of 14954 with flag 10231/57675
11.13/9.98	c cleaning 6737 clauses out of 13485 with flag 31100/63675
11.92/10.80	c cleaning 6863 clauses out of 13748 with flag 59568/70675
12.92/11.70	c cleaning 7441 clauses out of 14886 with flag 86286/78676
13.93/12.75	c cleaning 8211 clauses out of 16445 with flag 118140/87676
14.83/13.62	c cleaning 9106 clauses out of 18234 with flag 143524/97676
15.93/14.72	c cleaning 10061 clauses out of 20127 with flag 177110/108675
17.34/16.10	c cleaning 11034 clauses out of 22068 with flag 220811/120677
18.64/17.49	c cleaning 12016 clauses out of 24035 with flag 265758/133678
20.36/19.18	c cleaning 13003 clauses out of 26016 with flag 318899/147675
21.96/20.79	c cleaning 13996 clauses out of 28013 with flag 372459/162675
23.91/22.61	c cleaning 15002 clauses out of 30018 with flag 431438/178676
25.81/24.50	c cleaning 16002 clauses out of 32015 with flag 492714/195675
28.13/26.87	c cleaning 17007 clauses out of 34015 with flag 557677/213677
30.36/29.09	c cleaning 18000 clauses out of 36008 with flag 626936/232677
33.08/31.76	c cleaning 18997 clauses out of 38007 with flag 699506/252676
35.92/34.56	c cleaning 19985 clauses out of 40009 with flag 783070/273675
38.66/37.21	c cleaning 21003 clauses out of 42024 with flag 858644/295675
41.60/40.18	c cleaning 22009 clauses out of 44022 with flag 935657/318676
44.43/42.97	c cleaning 22996 clauses out of 46013 with flag 1018124/342676
48.18/46.61	c cleaning 24005 clauses out of 48019 with flag 1114045/367678
51.64/50.06	c cleaning 25006 clauses out of 50011 with flag 1201865/393675
55.09/53.46	c cleaning 25995 clauses out of 52005 with flag 1280483/420675
58.43/56.70	c cleaning 26991 clauses out of 54010 with flag 1359408/448675
62.17/60.44	c cleaning 28002 clauses out of 56020 with flag 1448123/477676
65.74/63.98	c cleaning 29007 clauses out of 58019 with flag 1541093/507677
70.49/68.65	c cleaning 29997 clauses out of 60010 with flag 1642415/538675
74.88/72.91	c cleaning 30997 clauses out of 62013 with flag 1739763/570675
79.17/77.18	c cleaning 31999 clauses out of 64017 with flag 1842211/603676
84.15/82.05	c cleaning 32996 clauses out of 66017 with flag 1954887/637675
89.25/87.05	c cleaning 34012 clauses out of 68023 with flag 2066697/672677
94.85/92.53	c cleaning 34999 clauses out of 70012 with flag 2176125/708678
100.15/97.73	c cleaning 36000 clauses out of 72010 with flag 2283659/745675
106.10/103.66	c cleaning 37003 clauses out of 74010 with flag 2405968/783675
112.52/109.93	c cleaning 37997 clauses out of 76007 with flag 2541223/822675
118.73/116.00	c cleaning 38986 clauses out of 78010 with flag 2711289/862675
125.48/122.60	c cleaning 39990 clauses out of 80024 with flag 2873007/903675
131.82/128.86	c cleaning 41016 clauses out of 82034 with flag 3028621/945675
138.41/135.35	c cleaning 42004 clauses out of 84018 with flag 3170028/988675
145.51/142.35	c cleaning 43002 clauses out of 86014 with flag 3308742/1032675
153.11/149.83	c cleaning 43993 clauses out of 88013 with flag 3465573/1077676
160.63/157.21	c cleaning 45003 clauses out of 90020 with flag 3621294/1123676
167.87/164.39	c cleaning 45992 clauses out of 92016 with flag 3784213/1170675
176.58/172.91	c cleaning 46998 clauses out of 94024 with flag 3975897/1218675
183.76/180.09	c cleaning 47994 clauses out of 96026 with flag 4124677/1267675
192.67/188.81	c cleaning 49012 clauses out of 98033 with flag 4308771/1317676
201.77/197.71	c cleaning 49993 clauses out of 100021 with flag 4477363/1368676
211.54/207.37	c cleaning 50999 clauses out of 102028 with flag 4646763/1420676
220.28/215.91	c cleaning 52013 clauses out of 104029 with flag 4817611/1473676
229.89/225.31	c cleaning 53004 clauses out of 106016 with flag 4985926/1527676
238.98/234.25	c cleaning 53987 clauses out of 108012 with flag 5165364/1582676
248.94/244.04	c cleaning 55009 clauses out of 110024 with flag 5364757/1638675
259.31/254.25	c cleaning 56003 clauses out of 112016 with flag 5547641/1695676
269.23/264.05	c cleaning 56996 clauses out of 114012 with flag 5728634/1753675
279.55/274.12	c cleaning 58001 clauses out of 116016 with flag 5923721/1812675
290.94/285.35	c cleaning 58990 clauses out of 118018 with flag 6137673/1872678
301.69/296.00	c cleaning 59988 clauses out of 120026 with flag 6355560/1933676
312.63/306.79	c cleaning 61015 clauses out of 122038 with flag 6573655/1995676
325.13/319.08	c cleaning 62007 clauses out of 124024 with flag 6789421/2058677
338.15/331.85	c cleaning 62998 clauses out of 126015 with flag 7016518/2122675
350.72/344.23	c cleaning 64005 clauses out of 128017 with flag 7227515/2187675
362.50/355.82	c cleaning 64999 clauses out of 130013 with flag 7437106/2253676
374.41/367.56	c cleaning 65996 clauses out of 132013 with flag 7646127/2320675
386.21/379.17	c cleaning 67000 clauses out of 134017 with flag 7876244/2388675
399.36/392.17	c cleaning 67996 clauses out of 136018 with flag 8108509/2457676
400.29/393.01	c Got one! Elapsed wall clock time (in seconds):392.896
400.29/393.01	o 4184064
400.29/393.04	c Got one! Elapsed wall clock time (in seconds):392.921
400.29/393.04	o 4087808
401.42/394.16	c cleaning 39095 clauses out of 78208 with flag 16864/2467862
402.52/395.28	c cleaning 22548 clauses out of 45113 with flag 39143/2473862
403.45/396.14	c cleaning 14768 clauses out of 29564 with flag 63701/2480861
404.38/397.10	c cleaning 11381 clauses out of 22796 with flag 87341/2488861
405.61/398.22	c cleaning 10202 clauses out of 20415 with flag 116178/2497861
406.83/399.44	c cleaning 10104 clauses out of 20215 with flag 146558/2507863
408.24/400.83	c cleaning 10533 clauses out of 21109 with flag 181099/2518861
409.76/402.35	c cleaning 11286 clauses out of 22576 with flag 221135/2530861
411.28/403.89	c cleaning 12137 clauses out of 24291 with flag 263927/2543862
413.01/405.56	c cleaning 13067 clauses out of 26154 with flag 309688/2557862
414.92/407.47	c cleaning 14043 clauses out of 28087 with flag 354428/2572862
416.97/409.44	c cleaning 15017 clauses out of 30045 with flag 400136/2588863
419.10/411.58	c cleaning 16007 clauses out of 32026 with flag 452388/2605861
421.66/414.05	c cleaning 17006 clauses out of 34020 with flag 503553/2623862
424.20/416.57	c cleaning 18005 clauses out of 36015 with flag 563287/2642863
427.04/419.36	c cleaning 18991 clauses out of 38009 with flag 626977/2662862
429.99/422.29	c cleaning 20002 clauses out of 40017 with flag 690847/2683861
433.05/425.25	c cleaning 21008 clauses out of 42017 with flag 760185/2705863
436.52/428.63	c cleaning 21997 clauses out of 44008 with flag 835264/2728862
440.19/432.21	c cleaning 22998 clauses out of 46011 with flag 918878/2752862
443.73/435.77	c cleaning 23988 clauses out of 48013 with flag 1002484/2777862
447.34/439.35	c cleaning 25002 clauses out of 50024 with flag 1087138/2803861
451.51/443.46	c cleaning 26005 clauses out of 52022 with flag 1170965/2830861
455.24/447.18	c cleaning 27002 clauses out of 54017 with flag 1255793/2858861
459.22/451.06	c cleaning 27994 clauses out of 56015 with flag 1346641/2887861
463.27/455.06	c cleaning 28999 clauses out of 58021 with flag 1437146/2917861
468.14/459.88	c cleaning 30003 clauses out of 60023 with flag 1534871/2948862
473.14/464.71	c cleaning 31009 clauses out of 62020 with flag 1638062/2980862
477.68/469.24	c cleaning 31998 clauses out of 64011 with flag 1733120/3013862
482.45/473.91	c cleaning 33003 clauses out of 66012 with flag 1843351/3047861
487.87/479.25	c cleaning 33992 clauses out of 68010 with flag 1959413/3082862
493.20/484.45	c cleaning 35008 clauses out of 70017 with flag 2077345/3118861
499.17/490.36	c cleaning 36001 clauses out of 72010 with flag 2188319/3155862
505.69/496.74	c cleaning 36999 clauses out of 74009 with flag 2305299/3193862
511.17/502.16	c cleaning 38000 clauses out of 76009 with flag 2417035/3232861
517.24/508.16	c cleaning 38990 clauses out of 78010 with flag 2545043/3272862
523.27/514.09	c cleaning 40006 clauses out of 80019 with flag 2685407/3313861
529.84/520.53	c cleaning 41003 clauses out of 82014 with flag 2832920/3355862
536.27/526.84	c cleaning 41991 clauses out of 84010 with flag 2979594/3398861
544.01/534.49	c cleaning 42996 clauses out of 86020 with flag 3121984/3442862
551.62/541.96	c cleaning 44008 clauses out of 88024 with flag 3277384/3487862
559.90/550.06	c cleaning 45004 clauses out of 90019 with flag 3433018/3533865
567.64/557.66	c cleaning 45997 clauses out of 92012 with flag 3590677/3580862
576.61/566.56	c cleaning 47002 clauses out of 94016 with flag 3743438/3628863
585.30/575.09	c cleaning 47999 clauses out of 96012 with flag 3898561/3677861
593.80/583.45	c cleaning 49002 clauses out of 98016 with flag 4053815/3727864
602.44/591.91	c cleaning 50001 clauses out of 100011 with flag 4202762/3778861
611.74/601.04	c cleaning 50994 clauses out of 102010 with flag 4385817/3830861
622.07/611.28	c cleaning 52003 clauses out of 104016 with flag 4566731/3883861
632.17/621.12	c cleaning 53007 clauses out of 106019 with flag 4736530/3937867
642.13/630.97	c cleaning 53989 clauses out of 108006 with flag 4912671/3992861
653.82/642.44	c cleaning 55001 clauses out of 110017 with flag 5108857/4048861
663.37/651.87	c cleaning 56003 clauses out of 112016 with flag 5274018/4105861
673.75/662.08	c cleaning 57005 clauses out of 114014 with flag 5466621/4163862
684.23/672.30	c cleaning 58000 clauses out of 116011 with flag 5651405/4222864
695.37/683.35	c cleaning 58997 clauses out of 118009 with flag 5843023/4282862
706.08/693.83	c cleaning 60003 clauses out of 120013 with flag 6038244/4343863
717.37/704.97	c cleaning 60998 clauses out of 122010 with flag 6238858/4405863
728.37/715.76	c cleaning 61991 clauses out of 124010 with flag 6432582/4468861
739.28/726.43	c cleaning 63003 clauses out of 126019 with flag 6625356/4532861
750.94/737.92	c cleaning 63995 clauses out of 128017 with flag 6807744/4597862
764.03/750.87	c cleaning 65001 clauses out of 130021 with flag 7023857/4663861
775.61/762.30	c cleaning 66008 clauses out of 132020 with flag 7213661/4730861
789.33/775.73	c cleaning 67001 clauses out of 134014 with flag 7435654/4798863
802.10/788.34	c cleaning 68001 clauses out of 136012 with flag 7648334/4867862
815.89/801.91	c cleaning 68994 clauses out of 138010 with flag 7860708/4937861
830.59/816.45	c cleaning 69998 clauses out of 140017 with flag 8115544/5008862
845.53/831.17	c cleaning 71006 clauses out of 142023 with flag 8338931/5080866
860.51/845.89	c cleaning 71998 clauses out of 144013 with flag 8559018/5153862
875.64/860.86	c cleaning 73004 clauses out of 146014 with flag 8784421/5227861
889.84/874.80	c cleaning 73993 clauses out of 148011 with flag 9013723/5302862
905.74/890.53	c cleaning 75004 clauses out of 150019 with flag 9251354/5378863
923.31/907.81	c cleaning 76008 clauses out of 152017 with flag 9497162/5455865
938.79/923.06	c cleaning 77000 clauses out of 154005 with flag 9724714/5533861
955.27/939.27	c cleaning 77996 clauses out of 156005 with flag 9962648/5612861
973.14/956.94	c cleaning 78990 clauses out of 158009 with flag 10229755/5692861
990.89/974.40	c cleaning 80001 clauses out of 160019 with flag 10496294/5773861
1006.22/989.68	c cleaning 80992 clauses out of 162018 with flag 10746635/5855861
1023.94/1007.06	c cleaning 82006 clauses out of 164026 with flag 10996071/5938861
1040.70/1023.58	c cleaning 82993 clauses out of 166020 with flag 11223035/6022861
1058.46/1041.20	c cleaning 84010 clauses out of 168028 with flag 11442020/6107862
1077.88/1060.21	c cleaning 85005 clauses out of 170017 with flag 11689318/6193861
1096.25/1078.39	c cleaning 85997 clauses out of 172013 with flag 11963389/6280862
1115.67/1097.49	c cleaning 86992 clauses out of 174015 with flag 12243252/6368861
1134.90/1116.46	c cleaning 87997 clauses out of 176024 with flag 12536296/6457862
1155.25/1136.48	c cleaning 89011 clauses out of 178027 with flag 12820298/6547862
1159.69/1140.87	c Got one! Elapsed wall clock time (in seconds):1140.749
1159.69/1140.87	o 4066328
1161.09/1142.26	c cleaning 57357 clauses out of 114719 with flag 21401/6573565
1162.19/1143.30	c cleaning 31672 clauses out of 63363 with flag 40116/6579566
1163.50/1144.64	c cleaning 19341 clauses out of 38689 with flag 65022/6586564
1164.86/1145.96	c cleaning 13661 clauses out of 27348 with flag 94041/6594564
1165.97/1147.08	c cleaning 11339 clauses out of 22689 with flag 119522/6603566
1167.30/1148.33	c cleaning 10661 clauses out of 21349 with flag 149372/6613565
1168.62/1149.66	c cleaning 10833 clauses out of 21687 with flag 178288/6624564
1170.15/1151.15	c cleaning 11419 clauses out of 22855 with flag 210288/6636565
1171.55/1152.59	c cleaning 12215 clauses out of 24435 with flag 243795/6649564
1173.50/1154.49	c cleaning 13103 clauses out of 26221 with flag 287271/6663565
1175.82/1156.70	c cleaning 14058 clauses out of 28117 with flag 336550/6678564
1178.07/1158.91	c cleaning 15017 clauses out of 30060 with flag 387388/6694565
1180.52/1161.34	c cleaning 16016 clauses out of 32044 with flag 440498/6711566
1183.04/1163.85	c cleaning 17009 clauses out of 34026 with flag 493550/6729564
1185.27/1166.10	c cleaning 18007 clauses out of 36019 with flag 548828/6748566
1187.80/1168.53	c cleaning 18994 clauses out of 38010 with flag 609891/6768564
1190.94/1171.66	c cleaning 20006 clauses out of 40016 with flag 678291/6789564
1193.84/1174.50	c cleaning 20997 clauses out of 42011 with flag 744145/6811565
1196.67/1177.33	c cleaning 22004 clauses out of 44013 with flag 807973/6834564
1200.44/1181.07	c cleaning 23000 clauses out of 46010 with flag 883454/6858565
1203.90/1184.42	c cleaning 23990 clauses out of 48009 with flag 955403/6883564
1207.34/1187.87	c cleaning 25008 clauses out of 50019 with flag 1025197/6909564
1211.82/1192.25	c cleaning 26006 clauses out of 52011 with flag 1104981/6936564
1215.77/1196.13	c cleaning 27001 clauses out of 54005 with flag 1193961/6964564
1219.74/1200.02	c cleaning 27996 clauses out of 56004 with flag 1283784/6993564
1224.40/1204.61	c cleaning 28997 clauses out of 58009 with flag 1381761/7023565
1229.60/1209.74	c cleaning 30002 clauses out of 60012 with flag 1479376/7054565
1234.50/1214.55	c cleaning 31001 clauses out of 62009 with flag 1567806/7086564
1240.00/1219.95	c cleaning 32001 clauses out of 64009 with flag 1666956/7119565
1240.19/1220.13	c Got one! Elapsed wall clock time (in seconds):1220.016
1240.19/1220.13	o 4058112
1240.93/1220.80	c cleaning 18573 clauses out of 37147 with flag 11688/7124704
1241.73/1221.60	c cleaning 12278 clauses out of 24574 with flag 30636/7130704
1242.55/1222.47	c cleaning 9623 clauses out of 19295 with flag 50859/7137703
1243.67/1223.54	c cleaning 8828 clauses out of 17672 with flag 75732/7145703
1244.99/1224.83	c cleaning 8915 clauses out of 17844 with flag 101571/7154703
1246.19/1226.06	c cleaning 9463 clauses out of 18929 with flag 129257/7164703
1247.50/1227.32	c cleaning 10226 clauses out of 20467 with flag 160051/7175704
1248.93/1228.76	c cleaning 11121 clauses out of 22242 with flag 194308/7187705
1250.56/1230.38	c cleaning 12059 clauses out of 24122 with flag 236926/7200706
1252.30/1232.08	c cleaning 13014 clauses out of 26060 with flag 280793/7214703
1254.02/1233.76	c cleaning 14013 clauses out of 28046 with flag 331706/7229703
1256.55/1236.22	c cleaning 15017 clauses out of 30033 with flag 386288/7245703
1258.80/1238.44	c cleaning 15998 clauses out of 32016 with flag 432646/7262703
1261.01/1240.60	c cleaning 16996 clauses out of 34018 with flag 478792/7280703
1262.83/1242.49	c cleaning 18009 clauses out of 36023 with flag 527762/7299704
1266.05/1245.65	c cleaning 19003 clauses out of 38016 with flag 589345/7319706
1268.68/1248.25	c cleaning 19999 clauses out of 40011 with flag 649578/7340704
1271.54/1251.02	c cleaning 21001 clauses out of 42012 with flag 712241/7362704
1274.82/1254.24	c cleaning 22000 clauses out of 44011 with flag 781880/7385704
1277.97/1257.34	c cleaning 22999 clauses out of 46012 with flag 848483/7409705
1281.73/1261.01	c cleaning 24007 clauses out of 48013 with flag 916328/7434705
1284.69/1263.99	c cleaning 24987 clauses out of 50004 with flag 983478/7460703
1288.31/1267.55	c cleaning 26004 clauses out of 52019 with flag 1065443/7487705
1292.28/1271.47	c cleaning 27000 clauses out of 54014 with flag 1150261/7515704
1296.84/1275.92	c cleaning 28001 clauses out of 56013 with flag 1244205/7544703
1301.30/1280.38	c cleaning 28995 clauses out of 58012 with flag 1343265/7574703
1306.38/1285.30	c cleaning 29998 clauses out of 60017 with flag 1445674/7605703
1311.56/1290.42	c cleaning 31005 clauses out of 62019 with flag 1539742/7637703
1317.06/1295.82	c cleaning 31999 clauses out of 64014 with flag 1642803/7670703
1322.96/1301.66	c cleaning 33002 clauses out of 66016 with flag 1764470/7704704
1328.68/1307.24	c cleaning 34005 clauses out of 68015 with flag 1878795/7739705
1334.47/1312.93	c cleaning 34991 clauses out of 70008 with flag 1988386/7775703
1340.60/1318.96	c cleaning 36005 clauses out of 72017 with flag 2089846/7812703
1347.23/1325.41	c cleaning 36999 clauses out of 74012 with flag 2201776/7850703
1353.50/1331.60	c cleaning 38003 clauses out of 76014 with flag 2322204/7889704
1359.72/1337.71	c cleaning 39001 clauses out of 78011 with flag 2460051/7929704
1366.34/1344.23	c cleaning 39999 clauses out of 80009 with flag 2594834/7970703
1373.53/1351.35	c cleaning 41003 clauses out of 82010 with flag 2733534/8012703
1381.06/1358.80	c cleaning 41999 clauses out of 84008 with flag 2853949/8055704
1388.70/1366.26	c cleaning 43006 clauses out of 86015 with flag 2986733/8099710
1395.52/1372.94	c cleaning 43990 clauses out of 88003 with flag 3122432/8144704
1402.85/1380.16	c cleaning 45004 clauses out of 90012 with flag 3269621/8190703
1411.79/1388.93	c cleaning 46004 clauses out of 92010 with flag 3423619/8237705
1419.67/1396.75	c cleaning 46992 clauses out of 94004 with flag 3576537/8285703
1427.41/1404.31	c cleaning 48002 clauses out of 96014 with flag 3721224/8334705
1435.67/1412.50	c cleaning 48982 clauses out of 98011 with flag 3876855/8384704
1443.92/1420.59	c cleaning 49995 clauses out of 100028 with flag 4024889/8435703
1452.96/1429.50	c cleaning 51005 clauses out of 102038 with flag 4193830/8487708
1462.52/1438.87	c cleaning 52011 clauses out of 104028 with flag 4350699/8540703
1472.37/1448.55	c cleaning 53008 clauses out of 106018 with flag 4516121/8594704
1482.03/1458.01	c cleaning 54005 clauses out of 108013 with flag 4672272/8649707
1491.20/1467.08	c cleaning 54987 clauses out of 110004 with flag 4822747/8705703
1501.76/1477.44	c cleaning 55996 clauses out of 112017 with flag 4987551/8762703
1512.14/1487.79	c cleaning 57005 clauses out of 114022 with flag 5159711/8820704
1523.01/1498.43	c cleaning 57999 clauses out of 116016 with flag 5328907/8879703
1533.59/1508.82	c cleaning 59005 clauses out of 118017 with flag 5509009/8939703
1542.74/1517.83	c cleaning 60001 clauses out of 120012 with flag 5660213/9000703
1553.33/1528.22	c cleaning 60999 clauses out of 122012 with flag 5852962/9062704
1565.75/1540.42	c cleaning 61999 clauses out of 124014 with flag 6048439/9125705
1577.10/1551.64	c cleaning 62999 clauses out of 126014 with flag 6225585/9189704
1589.16/1563.53	c cleaning 64004 clauses out of 128015 with flag 6419846/9254704
1601.43/1575.63	c cleaning 64999 clauses out of 130010 with flag 6624196/9320703
1615.24/1589.20	c cleaning 65993 clauses out of 132012 with flag 6825068/9387704
1627.00/1600.88	c cleaning 66998 clauses out of 134019 with flag 7027665/9455704
1640.15/1613.71	c cleaning 68001 clauses out of 136020 with flag 7230840/9524703
1654.71/1628.17	c cleaning 69007 clauses out of 138019 with flag 7452279/9594703
1668.99/1642.24	c cleaning 69989 clauses out of 140012 with flag 7669544/9665703
1684.45/1657.48	c cleaning 71001 clauses out of 142024 with flag 7874761/9737704
1699.11/1671.88	c cleaning 72002 clauses out of 144022 with flag 8089790/9810703
1713.11/1685.64	c cleaning 73006 clauses out of 146021 with flag 8297720/9884704
1728.81/1701.12	c cleaning 74001 clauses out of 148016 with flag 8526479/9959705
1746.17/1718.28	c cleaning 74993 clauses out of 150013 with flag 8775867/10035703
1761.78/1733.63	c cleaning 76004 clauses out of 152020 with flag 9019657/10112703
1776.55/1748.14	c cleaning 77002 clauses out of 154016 with flag 9244212/10190703
1793.55/1764.90	c cleaning 78003 clauses out of 156014 with flag 9484194/10269703
1800.02/1771.30	c starts		: 18742
1800.02/1771.30	c conflicts		: 10304791
1800.02/1771.30	c decisions		: 21685451
1800.02/1771.30	c propagations		: 916150996
1800.02/1771.30	c inspects		: 22031064632
1800.02/1771.30	c shortcuts		: 0
1800.02/1771.30	c learnt literals	: 0
1800.02/1771.30	c learnt binary clauses	: 0
1800.02/1771.30	c learnt ternary clauses	: 0
1800.02/1771.30	c learnt constraints	: 10304791
1800.02/1771.30	c ignored constraints	: 0
1800.02/1771.30	c root simplifications	: 0
1800.02/1771.30	c removed literals (reason simplification)	: 0
1800.02/1771.30	c reason swapping (by a shorter reason)	: 0
1800.02/1771.30	c Calls to reduceDB	: 262
1800.02/1771.30	c Number of update (reduction) of LBD	: 1724825
1800.02/1771.30	c Imported unit clauses	: 0
1800.02/1771.30	c number of reductions to clauses (during analyze)	: 0
1800.02/1771.30	c number of learned constraints concerned by reduction	: 0
1800.02/1771.30	c number of learning phase by resolution	: 0
1800.02/1771.30	c number of learning phase by cutting planes	: 0
1800.02/1771.30	c speed (assignments/second)	: 517308.62932984
1800.02/1771.30	c non guided choices	48
1800.02/1771.33	c learnt constraints type 
1800.02/1771.33	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 113099
1800.02/1771.33	s SATISFIABLE
1800.02/1771.33	c Found 10 solution(s)
1800.02/1771.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 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 x2681 -x2682 -x2683 x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 x2802 -x2803 -x2804 x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 x2831 -x2832 x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 x3020 -x3021 -x3022 -x3023 -x3024 x3025 x3026 x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 x3042 -x3043 x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 x3051 -x3052 -x3053 -x3054 -x3055 -x3056 x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 x3074 -x3075 -x3076 -x3077 -x3078 x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 x3086 -x3087 -x3088 -x3089 x3090 -x3091 -x3092 -x3093 x3094 x3095 -x3096 -x3097 -x3098 -x3099 -x3100 
1800.02/1771.34	c objective function=4058112
1800.02/1771.34	c Total wall clock time (in seconds): 1771.225

Verifier Data 

OK	4058112

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4103144-1466233027/watcher-4103144-1466233027 -o /tmp/evaluation-result-4103144-1466233027/solver-4103144-1466233027 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node120-1466206086-5894 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4103144-1466233027.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.44 2.31 2.22 4/194 11237
/proc/meminfo: memFree=28154976/32872528 swapFree=1590032/1720848
[pid=11237] ppid=11234 vsize=9212 CPUtime=0 cores=0,2,4,6
/proc/11237/stat : 11237 (java) R 11234 11237 5878 0 -1 4202496 392 0 0 0 0 0 0 0 20 0 1 0 25351006 9433088 63 33554432000 1073741824 1073778376 140734584276448 140734584273576 226075177834 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11237/statm: 2306 74 58 9 0 38 0

[startup+0.100062 s]
/proc/loadavg: 2.44 2.31 2.22 4/194 11237
/proc/meminfo: memFree=28154976/32872528 swapFree=1590032/1720848
[pid=11237] ppid=11234 vsize=9558476 CPUtime=0.08 cores=0,2,4,6
/proc/11237/stat : 11237 (java) S 11234 11237 5878 0 -1 4202496 4469 0 1 0 7 1 0 0 20 0 18 0 25351006 9787879424 5573 33554432000 1073741824 1073778376 140734584276448 140734584267584 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11237/statm: 2389619 5573 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558476

[startup+0.20023 s]
/proc/loadavg: 2.44 2.31 2.22 4/194 11237
/proc/meminfo: memFree=28154976/32872528 swapFree=1590032/1720848
[pid=11237] ppid=11234 vsize=9558476 CPUtime=0.29 cores=0,2,4,6
/proc/11237/stat : 11237 (java) S 11234 11237 5878 0 -1 4202496 5121 0 1 0 27 2 0 0 20 0 18 0 25351006 9787879424 6565 33554432000 1073741824 1073778376 140734584276448 140734584267584 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11237/statm: 2389619 6565 2219 9 0 2380296 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9558476

[startup+0.300224 s]
/proc/loadavg: 2.44 2.31 2.22 4/194 11237
/proc/meminfo: memFree=28154976/32872528 swapFree=1590032/1720848
[pid=11237] ppid=11234 vsize=9558476 CPUtime=0.55 cores=0,2,4,6
/proc/11237/stat : 11237 (java) S 11234 11237 5878 0 -1 4202496 7263 0 1 0 53 2 0 0 20 0 18 0 25351006 9787879424 9123 33554432000 1073741824 1073778376 140734584276448 140734584267584 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11237/statm: 2389619 9123 2241 9 0 2380296 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 9558476

[startup+0.70027 s]
/proc/loadavg: 2.44 2.31 2.22 4/194 11237
/proc/meminfo: memFree=28154976/32872528 swapFree=1590032/1720848
[pid=11237] ppid=11234 vsize=9625040 CPUtime=1.5 cores=0,2,4,6
/proc/11237/stat : 11237 (java) S 11234 11237 5878 0 -1 4202496 12853 0 1 0 147 3 0 0 20 0 19 0 25351006 9856040960 14495 33554432000 1073741824 1073778376 140734584276448 140734584267584 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11237/statm: 2406260 14495 2255 9 0 2396937 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 9625040

[startup+1.50077 s]
/proc/loadavg: 2.48 2.32 2.22 3/213 11256
/proc/meminfo: memFree=28084236/32872528 swapFree=1590032/1720848
[pid=11237] ppid=11234 vsize=9625040 CPUtime=2.43 cores=0,2,4,6
/proc/11237/stat : 11237 (java) S 11234 11237 5878 0 -1 4202496 14715 0 1 0 238 5 0 0 20 0 19 0 25351006 9856040960 23752 33554432000 1073741824 1073778376 140734584276448 140734584267584 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11237/statm: 2406260 23752 2264 9 0 2396937 0
[pid=11237/tid=11239] ppid=11234 vsize=9625040 CPUtime=1.46 cores=0,2,4,6
/proc/11237/task/11239/stat : 11239 (java) R 11234 11237 5878 0 -1 4202560 2486 0 1 0 144 2 0 0 20 0 19 0 25351007 9856040960 23752 33554432000 1073741824 1073778376 140734584276448 140648699742744 140648640172565 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=11237/tid=11240] ppid=11234 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11237/task/11240/stat : 11240 (java) S 11234 11237 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25351008 9856040960 23752 33554432000 1073741824 1073778376 140734584276448 140648638474664 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11237/tid=11241] ppid=11234 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11237/task/11241/stat : 11241 (java) S 11234 11237 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25351008 9856040960 23752 33554432000 1073741824 1073778376 140734584276448 140648637422120 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11237/tid=11242] ppid=11234 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11237/task/11242/stat : 11242 (java) S 11234 11237 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25351008 9856040960 23752 33554432000 1073741824 1073778376 140734584276448 140648541534376 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11237/tid=11243] ppid=11234 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11237/task/11243/stat : 11243 (java) S 11234 11237 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25351008 9856040960 23752 33554432000 1073741824 1073778376 140734584276448 140648540481832 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11237/tid=11244] ppid=11234 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11237/task/11244/stat : 11244 (java) S 11234 11237 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25351008 9856040960 23752 33554432000 1073741824 1073778376 140734584276448 140648539429800 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11237/tid=11245] ppid=11234 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11237/task/11245/stat : 11245 (java) S 11234 11237 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25351008 9856040960 23752 33554432000 1073741824 1073778376 140734584276448 140648538377256 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11237/tid=11246] ppid=11234 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11237/task/11246/stat : 11246 (java) S 11234 11237 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25351008 9856040960 23752 33554432000 1073741824 1073778376 140734584276448 140648537324200 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11237/tid=11247] ppid=11234 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11237/task/11247/stat : 11247 (java) S 11234 11237 5878 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 25351008 9856040960 23752 33554432000 1073741824 1073778376 140734584276448 140648536271656 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11237/tid=11248] ppid=11234 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11237/task/11248/stat : 11248 (java) S 11234 11237 5878 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 25351009 9856040960 23752 33554432000 1073741824 1073778376 140734584276448 140648523860328 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11237/tid=11249] ppid=11234 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11237/task/11249/stat : 11249 (java) S 11234 11237 5878 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 25351009 9856040960 23752 33554432000 1073741824 1073778376 140734584276448 140648522806648 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11237/tid=11250] ppid=11234 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11237/task/11250/stat : 11250 (java) S 11234 11237 5878 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 25351009 9856040960 23752 33554432000 1073741824 1073778376 140734584276448 140648521753480 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11237/tid=11251] ppid=11234 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11237/task/11251/stat : 11251 (java) S 11234 11237 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25351012 9856040960 23752 33554432000 1073741824 1073778376 140734584276448 140648520702224 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11237/tid=11252] ppid=11234 vsize=9625040 CPUtime=0.42 cores=0,2,4,6
/proc/11237/task/11252/stat : 11252 (java) R 11234 11237 5878 0 -1 4202560 4821 0 0 0 40 2 0 0 20 0 19 0 25351012 9856040960 23752 33554432000 1073741824 1073778376 140734584276448 140648519650104 140648706731559 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=11237/tid=11253] ppid=11234 vsize=9625040 CPUtime=0.52 cores=0,2,4,6
/proc/11237/task/11253/stat : 11253 (java) S 11234 11237 5878 0 -1 4202560 6131 0 0 0 50 2 0 0 20 0 19 0 25351012 9856040960 23752 33554432000 1073741824 1073778376 140734584276448 140648518597560 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11237/tid=11254] ppid=11234 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11237/task/11254/stat : 11254 (java) S 11234 11237 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25351012 9856040960 23752 33554432000 1073741824 1073778376 140734584276448 140648517544696 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11237/tid=11255] ppid=11234 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11237/task/11255/stat : 11255 (java) S 11234 11237 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25351012 9856040960 23752 33554432000 1073741824 1073778376 140734584276448 140648516492360 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11237/tid=11256] ppid=11234 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11237/task/11256/stat : 11256 (java) S 11234 11237 5878 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 25351037 9856040960 23752 33554432000 1073741824 1073778376 140734584276448 140648515437608 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.43
Current children cumulated vsize (KiB) 9625040

[startup+3.10084 s]
/proc/loadavg: 2.48 2.32 2.22 3/213 11256
/proc/meminfo: memFree=28045076/32872528 swapFree=1590032/1720848
[pid=11237] ppid=11234 vsize=9625040 CPUtime=4.11 cores=0,2,4,6
/proc/11237/stat : 11237 (java) S 11234 11237 5878 0 -1 4202496 14803 0 1 0 405 6 0 0 20 0 19 0 25351006 9856040960 35523 33554432000 1073741824 1073778376 140734584276448 140734584267584 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11237/statm: 2406260 35523 2264 9 0 2396937 0
[pid=11237/tid=11239] ppid=11234 vsize=9625040 CPUtime=3.05 cores=0,2,4,6
/proc/11237/task/11239/stat : 11239 (java) R 11234 11237 5878 0 -1 4202560 2511 0 1 0 302 3 0 0 20 0 19 0 25351007 9856040960 35523 33554432000 1073741824 1073778376 140734584276448 140648699744744 140648640079233 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=11237/tid=11240] ppid=11234 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11237/task/11240/stat : 11240 (java) S 11234 11237 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25351008 9856040960 35523 33554432000 1073741824 1073778376 140734584276448 140648638474664 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11237/tid=11241] ppid=11234 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11237/task/11241/stat : 11241 (java) S 11234 11237 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25351008 9856040960 35523 33554432000 1073741824 1073778376 140734584276448 140648637422120 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11237/tid=11242] ppid=11234 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11237/task/11242/stat : 11242 (java) S 11234 11237 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25351008 9856040960 35523 33554432000 1073741824 1073778376 140734584276448 140648541534376 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11237/tid=11243] ppid=11234 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11237/task/11243/stat : 11243 (java) S 11234 11237 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25351008 9856040960 35523 33554432000 1073741824 1073778376 140734584276448 140648540481832 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11237/tid=11244] ppid=11234 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11237/task/11244/stat : 11244 (java) S 11234 11237 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25351008 9856040960 35523 33554432000 1073741824 1073778376 140734584276448 140648539429800 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11237/tid=11245] ppid=11234 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11237/task/11245/stat : 11245 (java) S 11234 11237 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25351008 9856040960 35523 33554432000 1073741824 1073778376 140734584276448 140648538377256 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11237/tid=11246] ppid=11234 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11237/task/11246/stat : 11246 (java) S 11234 11237 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25351008 9856040960 35523 33554432000 1073741824 1073778376 140734584276448 140648537324200 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11237/tid=11247] ppid=11234 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11237/task/11247/stat : 11247 (java) S 11234 11237 5878 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 25351008 9856040960 35523 33554432000 1073741824 1073778376 140734584276448 140648536271656 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11237/tid=11248] ppid=11234 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11237/task/11248/stat : 11248 (java) S 11234 11237 5878 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 25351009 9856040960 35523 33554432000 1073741824 1073778376 140734584276448 140648523860328 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11237/tid=11249] ppid=11234 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11237/task/11249/stat : 11249 (java) S 11234 11237 5878 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 25351009 9856040960 35523 33554432000 1073741824 1073778376 140734584276448 140648522806648 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11237/tid=11250] ppid=11234 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11237/task/11250/stat : 11250 (java) S 11234 11237 5878 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 25351009 9856040960 35523 33554432000 1073741824 1073778376 140734584276448 140648521753480 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11237/tid=11251] ppid=11234 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11237/task/11251/stat : 11251 (java) S 11234 11237 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25351012 9856040960 35523 33554432000 1073741824 1073778376 140734584276448 140648520702224 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11237/tid=11252] ppid=11234 vsize=9625040 CPUtime=0.46 cores=0,2,4,6
/proc/11237/task/11252/stat : 11252 (java) S 11234 11237 5878 0 -1 4202560 4880 0 0 0 44 2 0 0 20 0 19 0 25351012 9856040960 35523 33554432000 1073741824 1073778376 140734584276448 140648519650104 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11237/tid=11253] ppid=11234 vsize=9625040 CPUtime=0.56 cores=0,2,4,6
/proc/11237/task/11253/stat : 11253 (java) S 11234 11237 5878 0 -1 4202560 6135 0 0 0 54 2 0 0 20 0 19 0 25351012 9856040960 35523 33554432000 1073741824 1073778376 140734584276448 140648518597560 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11237/tid=11254] ppid=11234 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11237/task/11254/stat : 11254 (java) S 11234 11237 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25351012 9856040960 35523 33554432000 1073741824 1073778376 140734584276448 140648517544696 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11237/tid=11255] ppid=11234 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11237/task/11255/stat : 11255 (java) S 11234 11237 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25351012 9856040960 35523 33554432000 1073741824 1073778376 140734584276448 140648516492360 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11237/tid=11256] ppid=11234 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11237/task/11256/stat : 11256 (java) S 11234 11237 5878 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 25351037 9856040960 35523 33554432000 1073741824 1073778376 140734584276448 140648515437608 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 4.11
Current children cumulated vsize (KiB) 9625040

[startup+6.30084 s]
/proc/loadavg: 2.48 2.32 2.22 3/213 11256
/proc/meminfo: memFree=27983900/32872528 swapFree=1590032/1720848
[pid=11237] ppid=11234 vsize=9625040 CPUtime=7.33 cores=0,2,4,6
/proc/11237/stat : 11237 (java) S 11234 11237 5878 0 -1 4202496 14858 0 1 0 726 7 0 0 20 0 19 0 25351006 9856040960 44454 33554432000 1073741824 1073778376 140734584276448 140734584267584 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11237/statm: 2406260 44454 2278 9 0 2396937 0
[pid=11237/tid=11239] ppid=11234 vsize=9625040 CPUtime=6.24 cores=0,2,4,6
/proc/11237/task/11239/stat : 11239 (java) R 11234 11237 5878 0 -1 4202560 2528 0 1 0 621 3 0 0 20 0 19 0 25351007 9856040960 44454 33554432000 1073741824 1073778376 140734584276448 140648699735728 140648640079329 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=11237/tid=11240] ppid=11234 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11237/task/11240/stat : 11240 (java) S 11234 11237 5878 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 25351008 9856040960 44454 33554432000 1073741824 1073778376 140734584276448 140648638474664 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11237/tid=11241] ppid=11234 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11237/task/11241/stat : 11241 (java) S 11234 11237 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25351008 9856040960 44454 33554432000 1073741824 1073778376 140734584276448 140648637422120 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11237/tid=11242] ppid=11234 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11237/task/11242/stat : 11242 (java) S 11234 11237 5878 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 25351008 9856040960 44454 33554432000 1073741824 1073778376 140734584276448 140648541534376 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11237/tid=11243] ppid=11234 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11237/task/11243/stat : 11243 (java) S 11234 11237 5878 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 25351008 9856040960 44454 33554432000 1073741824 1073778376 140734584276448 140648540481832 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11237/tid=11244] ppid=11234 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11237/task/11244/stat : 11244 (java) S 11234 11237 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25351008 9856040960 44454 33554432000 1073741824 1073778376 140734584276448 140648539429800 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11237/tid=11245] ppid=11234 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11237/task/11245/stat : 11245 (java) S 11234 11237 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25351008 9856040960 44454 33554432000 1073741824 1073778376 140734584276448 140648538377256 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11237/tid=11246] ppid=11234 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11237/task/11246/stat : 11246 (java) S 11234 11237 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25351008 9856040960 44454 33554432000 1073741824 1073778376 140734584276448 140648537324200 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11237/tid=11247] ppid=11234 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11237/task/11247/stat : 11247 (java) S 11234 11237 5878 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 25351008 9856040960 44454 33554432000 1073741824 1073778376 140734584276448 140648536271656 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11237/tid=11248] ppid=11234 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11237/task/11248/stat : 11248 (java) S 11234 11237 5878 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 25351009 9856040960 44454 33554432000 1073741824 1073778376 140734584276448 140648523860328 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11237/tid=11249] ppid=11234 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11237/task/11249/stat : 11249 (java) S 11234 11237 5878 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 25351009 9856040960 44454 33554432000 1073741824 1073778376 140734584276448 140648522806648 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11237/tid=11250] ppid=11234 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11237/task/11250/stat : 11250 (java) S 11234 11237 5878 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 25351009 9856040960 44454 33554432000 1073741824 1073778376 140734584276448 140648521753480 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11237/tid=11251] ppid=11234 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11237/task/11251/stat : 11251 (java) S 11234 11237 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25351012 9856040960 44454 33554432000 1073741824 1073778376 140734584276448 140648520702224 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11237/tid=11252] ppid=11234 vsize=9625040 CPUtime=0.46 cores=0,2,4,6
/proc/11237/task/11252/stat : 11252 (java) S 11234 11237 5878 0 -1 4202560 4880 0 0 0 44 2 0 0 20 0 19 0 25351012 9856040960 44454 33554432000 1073741824 1073778376 140734584276448 140648519650104 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11237/tid=11253] ppid=11234 vsize=9625040 CPUtime=0.57 cores=0,2,4,6
/proc/11237/task/11253/stat : 11253 (java) S 11234 11237 5878 0 -1 4202560 6138 0 0 0 55 2 0 0 20 0 19 0 25351012 9856040960 44454 33554432000 1073741824 1073778376 140734584276448 140648518597560 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11237/tid=11254] ppid=11234 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11237/task/11254/stat : 11254 (java) S 11234 11237 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25351012 9856040960 44454 33554432000 1073741824 1073778376 140734584276448 140648517544696 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11237/tid=11255] ppid=11234 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11237/task/11255/stat : 11255 (java) S 11234 11237 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25351012 9856040960 44454 33554432000 1073741824 1073778376 140734584276448 140648516492360 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11237/tid=11256] ppid=11234 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11237/task/11256/stat : 11256 (java) S 11234 11237 5878 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 25351037 9856040960 44454 33554432000 1073741824 1073778376 140734584276448 140648515437608 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 7.33
Current children cumulated vsize (KiB) 9625040


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

[pid=11237/tid=11256] ppid=11234 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11237/task/11256/stat : 11256 (java) S 11234 11237 5878 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 25351037 9856040960 57682 33554432000 1073741824 1073778376 140734584276448 140648515437608 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1689.43
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.18 2.22 2.20 4/213 11388
/proc/meminfo: memFree=29603956/32872528 swapFree=1590032/1720848
[pid=11237] ppid=11234 vsize=9625040 CPUtime=1750.34 cores=0,2,4,6
/proc/11237/stat : 11237 (java) S 11234 11237 5878 0 -1 4202496 51844 0 1 0 174866 168 0 0 20 0 19 0 25351006 9856040960 60006 33554432000 1073741824 1073778376 140734584276448 140734584267584 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11237/statm: 2406260 60006 2289 9 0 2396937 0
[pid=11237/tid=11239] ppid=11234 vsize=9625040 CPUtime=1702.28 cores=0,2,4,6
/proc/11237/task/11239/stat : 11239 (java) R 11234 11237 5878 0 -1 4202560 6017 0 1 0 170195 33 0 0 20 0 19 0 25351007 9856040960 60006 33554432000 1073741824 1073778376 140734584276448 140648699743504 140648640321819 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=11237/tid=11240] ppid=11234 vsize=9625040 CPUtime=4.88 cores=0,2,4,6
/proc/11237/task/11240/stat : 11240 (java) S 11234 11237 5878 0 -1 4202560 4013 0 0 0 473 15 0 0 20 0 19 0 25351008 9856040960 60006 33554432000 1073741824 1073778376 140734584276448 140648638474664 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11237/tid=11241] ppid=11234 vsize=9625040 CPUtime=4.81 cores=0,2,4,6
/proc/11237/task/11241/stat : 11241 (java) S 11234 11237 5878 0 -1 4202560 3449 0 0 0 466 15 0 0 20 0 19 0 25351008 9856040960 60006 33554432000 1073741824 1073778376 140734584276448 140648637422120 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11237/tid=11242] ppid=11234 vsize=9625040 CPUtime=4.93 cores=0,2,4,6
/proc/11237/task/11242/stat : 11242 (java) S 11234 11237 5878 0 -1 4202560 3598 0 0 0 474 19 0 0 20 0 19 0 25351008 9856040960 60006 33554432000 1073741824 1073778376 140734584276448 140648541534376 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11237/tid=11243] ppid=11234 vsize=9625040 CPUtime=4.97 cores=0,2,4,6
/proc/11237/task/11243/stat : 11243 (java) S 11234 11237 5878 0 -1 4202560 5002 0 0 0 480 17 0 0 20 0 19 0 25351008 9856040960 60006 33554432000 1073741824 1073778376 140734584276448 140648540481832 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11237/tid=11244] ppid=11234 vsize=9625040 CPUtime=4.86 cores=0,2,4,6
/proc/11237/task/11244/stat : 11244 (java) S 11234 11237 5878 0 -1 4202560 4412 0 0 0 470 16 0 0 20 0 19 0 25351008 9856040960 60006 33554432000 1073741824 1073778376 140734584276448 140648539429800 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11237/tid=11245] ppid=11234 vsize=9625040 CPUtime=5 cores=0,2,4,6
/proc/11237/task/11245/stat : 11245 (java) S 11234 11237 5878 0 -1 4202560 3354 0 0 0 486 14 0 0 20 0 19 0 25351008 9856040960 60006 33554432000 1073741824 1073778376 140734584276448 140648538377256 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11237/tid=11246] ppid=11234 vsize=9625040 CPUtime=4.94 cores=0,2,4,6
/proc/11237/task/11246/stat : 11246 (java) S 11234 11237 5878 0 -1 4202560 3894 0 0 0 478 16 0 0 20 0 19 0 25351008 9856040960 60006 33554432000 1073741824 1073778376 140734584276448 140648537324200 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11237/tid=11247] ppid=11234 vsize=9625040 CPUtime=4.92 cores=0,2,4,6
/proc/11237/task/11247/stat : 11247 (java) S 11234 11237 5878 0 -1 4202560 3938 0 0 0 477 15 0 0 20 0 19 0 25351008 9856040960 60006 33554432000 1073741824 1073778376 140734584276448 140648536271656 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11237/tid=11248] ppid=11234 vsize=9625040 CPUtime=3.31 cores=0,2,4,6
/proc/11237/task/11248/stat : 11248 (java) S 11234 11237 5878 0 -1 4202560 1063 0 0 0 316 15 0 0 20 0 19 0 25351009 9856040960 60006 33554432000 1073741824 1073778376 140734584276448 140648523860328 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11237/tid=11249] ppid=11234 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11237/task/11249/stat : 11249 (java) S 11234 11237 5878 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 25351009 9856040960 60006 33554432000 1073741824 1073778376 140734584276448 140648522806648 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11237/tid=11250] ppid=11234 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11237/task/11250/stat : 11250 (java) S 11234 11237 5878 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 25351009 9856040960 60006 33554432000 1073741824 1073778376 140734584276448 140648521753480 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11237/tid=11251] ppid=11234 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11237/task/11251/stat : 11251 (java) S 11234 11237 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25351012 9856040960 60006 33554432000 1073741824 1073778376 140734584276448 140648520702224 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11237/tid=11252] ppid=11234 vsize=9625040 CPUtime=0.63 cores=0,2,4,6
/proc/11237/task/11252/stat : 11252 (java) S 11234 11237 5878 0 -1 4202560 5599 0 0 0 61 2 0 0 20 0 19 0 25351012 9856040960 60006 33554432000 1073741824 1073778376 140734584276448 140648519650104 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11237/tid=11253] ppid=11234 vsize=9625040 CPUtime=0.65 cores=0,2,4,6
/proc/11237/task/11253/stat : 11253 (java) S 11234 11237 5878 0 -1 4202560 6144 0 0 0 63 2 0 0 20 0 19 0 25351012 9856040960 60006 33554432000 1073741824 1073778376 140734584276448 140648518597560 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11237/tid=11254] ppid=11234 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11237/task/11254/stat : 11254 (java) S 11234 11237 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25351012 9856040960 60006 33554432000 1073741824 1073778376 140734584276448 140648517544696 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11237/tid=11255] ppid=11234 vsize=9625040 CPUtime=0.44 cores=0,2,4,6
/proc/11237/task/11255/stat : 11255 (java) S 11234 11237 5878 0 -1 4202560 97 0 0 0 22 22 0 0 20 0 19 0 25351012 9856040960 60006 33554432000 1073741824 1073778376 140734584276448 140648516492360 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11237/tid=11256] ppid=11234 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11237/task/11256/stat : 11256 (java) S 11234 11237 5878 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 25351037 9856040960 60006 33554432000 1073741824 1073778376 140734584276448 140648515437608 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1750.34
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1771.3 s]
/proc/loadavg: 2.20 2.21 2.20 5/213 11389
/proc/meminfo: memFree=29490052/32872528 swapFree=1590032/1720848
[pid=11237] ppid=11234 vsize=9625040 CPUtime=1800.02 cores=0,2,4,6
/proc/11237/stat : 11237 (java) S 11234 11237 5878 0 -1 4202496 53600 0 1 0 179830 172 0 0 20 0 19 0 25351006 9856040960 66055 33554432000 1073741824 1073778376 140734584276448 140734584267584 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11237/statm: 2406260 66055 2289 9 0 2396937 0
[pid=11237/tid=11239] ppid=11234 vsize=9625040 CPUtime=1750.7 cores=0,2,4,6
/proc/11237/task/11239/stat : 11239 (java) R 11234 11237 5878 0 -1 4202560 6075 0 1 0 175036 34 0 0 20 0 19 0 25351007 9856040960 66055 33554432000 1073741824 1073778376 140734584276448 140648699743504 140648640079382 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=11237/tid=11240] ppid=11234 vsize=9625040 CPUtime=5.01 cores=0,2,4,6
/proc/11237/task/11240/stat : 11240 (java) S 11234 11237 5878 0 -1 4202560 4172 0 0 0 486 15 0 0 20 0 19 0 25351008 9856040960 66055 33554432000 1073741824 1073778376 140734584276448 140648638474664 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11237/tid=11241] ppid=11234 vsize=9625040 CPUtime=4.93 cores=0,2,4,6
/proc/11237/task/11241/stat : 11241 (java) S 11234 11237 5878 0 -1 4202560 3449 0 0 0 478 15 0 0 20 0 19 0 25351008 9856040960 66055 33554432000 1073741824 1073778376 140734584276448 140648637422120 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11237/tid=11242] ppid=11234 vsize=9625040 CPUtime=5.07 cores=0,2,4,6
/proc/11237/task/11242/stat : 11242 (java) S 11234 11237 5878 0 -1 4202560 3794 0 0 0 488 19 0 0 20 0 19 0 25351008 9856040960 66055 33554432000 1073741824 1073778376 140734584276448 140648541534376 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11237/tid=11243] ppid=11234 vsize=9625040 CPUtime=5.09 cores=0,2,4,6
/proc/11237/task/11243/stat : 11243 (java) S 11234 11237 5878 0 -1 4202560 5594 0 0 0 491 18 0 0 20 0 19 0 25351008 9856040960 66055 33554432000 1073741824 1073778376 140734584276448 140648540481832 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11237/tid=11244] ppid=11234 vsize=9625040 CPUtime=4.99 cores=0,2,4,6
/proc/11237/task/11244/stat : 11244 (java) S 11234 11237 5878 0 -1 4202560 4547 0 0 0 483 16 0 0 20 0 19 0 25351008 9856040960 66055 33554432000 1073741824 1073778376 140734584276448 140648539429800 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11237/tid=11245] ppid=11234 vsize=9625040 CPUtime=5.15 cores=0,2,4,6
/proc/11237/task/11245/stat : 11245 (java) S 11234 11237 5878 0 -1 4202560 3526 0 0 0 501 14 0 0 20 0 19 0 25351008 9856040960 66055 33554432000 1073741824 1073778376 140734584276448 140648538377256 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11237/tid=11246] ppid=11234 vsize=9625040 CPUtime=5.08 cores=0,2,4,6
/proc/11237/task/11246/stat : 11246 (java) S 11234 11237 5878 0 -1 4202560 4109 0 0 0 491 17 0 0 20 0 19 0 25351008 9856040960 66055 33554432000 1073741824 1073778376 140734584276448 140648537324200 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11237/tid=11247] ppid=11234 vsize=9625040 CPUtime=5.05 cores=0,2,4,6
/proc/11237/task/11247/stat : 11247 (java) S 11234 11237 5878 0 -1 4202560 4134 0 0 0 489 16 0 0 20 0 19 0 25351008 9856040960 66055 33554432000 1073741824 1073778376 140734584276448 140648536271656 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11237/tid=11248] ppid=11234 vsize=9625040 CPUtime=3.41 cores=0,2,4,6
/proc/11237/task/11248/stat : 11248 (java) S 11234 11237 5878 0 -1 4202560 1094 0 0 0 325 16 0 0 20 0 19 0 25351009 9856040960 66055 33554432000 1073741824 1073778376 140734584276448 140648523860328 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11237/tid=11249] ppid=11234 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11237/task/11249/stat : 11249 (java) S 11234 11237 5878 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 25351009 9856040960 66055 33554432000 1073741824 1073778376 140734584276448 140648522806648 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11237/tid=11250] ppid=11234 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11237/task/11250/stat : 11250 (java) S 11234 11237 5878 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 25351009 9856040960 66055 33554432000 1073741824 1073778376 140734584276448 140648521753480 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11237/tid=11251] ppid=11234 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11237/task/11251/stat : 11251 (java) S 11234 11237 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25351012 9856040960 66055 33554432000 1073741824 1073778376 140734584276448 140648520702224 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11237/tid=11252] ppid=11234 vsize=9625040 CPUtime=0.63 cores=0,2,4,6
/proc/11237/task/11252/stat : 11252 (java) S 11234 11237 5878 0 -1 4202560 5599 0 0 0 61 2 0 0 20 0 19 0 25351012 9856040960 66055 33554432000 1073741824 1073778376 140734584276448 140648519650104 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11237/tid=11253] ppid=11234 vsize=9625040 CPUtime=0.65 cores=0,2,4,6
/proc/11237/task/11253/stat : 11253 (java) S 11234 11237 5878 0 -1 4202560 6144 0 0 0 63 2 0 0 20 0 19 0 25351012 9856040960 66055 33554432000 1073741824 1073778376 140734584276448 140648518597560 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11237/tid=11254] ppid=11234 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11237/task/11254/stat : 11254 (java) S 11234 11237 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25351012 9856040960 66055 33554432000 1073741824 1073778376 140734584276448 140648517544696 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11237/tid=11255] ppid=11234 vsize=9625040 CPUtime=0.46 cores=0,2,4,6
/proc/11237/task/11255/stat : 11255 (java) S 11234 11237 5878 0 -1 4202560 99 0 0 0 23 23 0 0 20 0 19 0 25351012 9856040960 66055 33554432000 1073741824 1073778376 140734584276448 140648516492360 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11237/tid=11256] ppid=11234 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11237/task/11256/stat : 11256 (java) S 11234 11237 5878 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 25351037 9856040960 66055 33554432000 1073741824 1073778376 140734584276448 140648515437608 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 9625040

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 11237 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1771.3 s]
/proc/loadavg: 2.20 2.21 2.20 5/213 11389
/proc/meminfo: memFree=29490052/32872528 swapFree=1590032/1720848
[pid=11237] ppid=11234 vsize=9625040 CPUtime=1800.02 cores=0,2,4,6
/proc/11237/stat : 11237 (java) S 11234 11237 5878 0 -1 4202496 53600 0 1 0 179830 172 0 0 20 0 19 0 25351006 9856040960 66055 33554432000 1073741824 1073778376 140734584276448 140734584267584 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11237/statm: 2406260 66055 2289 9 0 2396937 0
[pid=11237/tid=11239] ppid=11234 vsize=9625040 CPUtime=1750.7 cores=0,2,4,6
/proc/11237/task/11239/stat : 11239 (java) R 11234 11237 5878 0 -1 4202560 6075 0 1 0 175036 34 0 0 20 0 19 0 25351007 9856040960 66055 33554432000 1073741824 1073778376 140734584276448 140648699743504 140648640079382 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=11237/tid=11240] ppid=11234 vsize=9625040 CPUtime=5.01 cores=0,2,4,6
/proc/11237/task/11240/stat : 11240 (java) S 11234 11237 5878 0 -1 4202560 4172 0 0 0 486 15 0 0 20 0 19 0 25351008 9856040960 66055 33554432000 1073741824 1073778376 140734584276448 140648638474664 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11237/tid=11241] ppid=11234 vsize=9625040 CPUtime=4.93 cores=0,2,4,6
/proc/11237/task/11241/stat : 11241 (java) S 11234 11237 5878 0 -1 4202560 3449 0 0 0 478 15 0 0 20 0 19 0 25351008 9856040960 66055 33554432000 1073741824 1073778376 140734584276448 140648637422120 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11237/tid=11242] ppid=11234 vsize=9625040 CPUtime=5.07 cores=0,2,4,6
/proc/11237/task/11242/stat : 11242 (java) S 11234 11237 5878 0 -1 4202560 3794 0 0 0 488 19 0 0 20 0 19 0 25351008 9856040960 66055 33554432000 1073741824 1073778376 140734584276448 140648541534376 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11237/tid=11243] ppid=11234 vsize=9625040 CPUtime=5.09 cores=0,2,4,6
/proc/11237/task/11243/stat : 11243 (java) S 11234 11237 5878 0 -1 4202560 5594 0 0 0 491 18 0 0 20 0 19 0 25351008 9856040960 66055 33554432000 1073741824 1073778376 140734584276448 140648540481832 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11237/tid=11244] ppid=11234 vsize=9625040 CPUtime=4.99 cores=0,2,4,6
/proc/11237/task/11244/stat : 11244 (java) S 11234 11237 5878 0 -1 4202560 4547 0 0 0 483 16 0 0 20 0 19 0 25351008 9856040960 66055 33554432000 1073741824 1073778376 140734584276448 140648539429800 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11237/tid=11245] ppid=11234 vsize=9625040 CPUtime=5.15 cores=0,2,4,6
/proc/11237/task/11245/stat : 11245 (java) S 11234 11237 5878 0 -1 4202560 3526 0 0 0 501 14 0 0 20 0 19 0 25351008 9856040960 66055 33554432000 1073741824 1073778376 140734584276448 140648538377256 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11237/tid=11246] ppid=11234 vsize=9625040 CPUtime=5.08 cores=0,2,4,6
/proc/11237/task/11246/stat : 11246 (java) S 11234 11237 5878 0 -1 4202560 4109 0 0 0 491 17 0 0 20 0 19 0 25351008 9856040960 66055 33554432000 1073741824 1073778376 140734584276448 140648537324200 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11237/tid=11247] ppid=11234 vsize=9625040 CPUtime=5.05 cores=0,2,4,6
/proc/11237/task/11247/stat : 11247 (java) S 11234 11237 5878 0 -1 4202560 4134 0 0 0 489 16 0 0 20 0 19 0 25351008 9856040960 66055 33554432000 1073741824 1073778376 140734584276448 140648536271656 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11237/tid=11248] ppid=11234 vsize=9625040 CPUtime=3.41 cores=0,2,4,6
/proc/11237/task/11248/stat : 11248 (java) S 11234 11237 5878 0 -1 4202560 1094 0 0 0 325 16 0 0 20 0 19 0 25351009 9856040960 66055 33554432000 1073741824 1073778376 140734584276448 140648523860328 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11237/tid=11249] ppid=11234 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11237/task/11249/stat : 11249 (java) S 11234 11237 5878 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 25351009 9856040960 66055 33554432000 1073741824 1073778376 140734584276448 140648522806648 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11237/tid=11250] ppid=11234 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11237/task/11250/stat : 11250 (java) S 11234 11237 5878 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 25351009 9856040960 66055 33554432000 1073741824 1073778376 140734584276448 140648521753480 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11237/tid=11251] ppid=11234 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11237/task/11251/stat : 11251 (java) S 11234 11237 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25351012 9856040960 66055 33554432000 1073741824 1073778376 140734584276448 140648520702224 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11237/tid=11252] ppid=11234 vsize=9625040 CPUtime=0.63 cores=0,2,4,6
/proc/11237/task/11252/stat : 11252 (java) S 11234 11237 5878 0 -1 4202560 5599 0 0 0 61 2 0 0 20 0 19 0 25351012 9856040960 66055 33554432000 1073741824 1073778376 140734584276448 140648519650104 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11237/tid=11253] ppid=11234 vsize=9625040 CPUtime=0.65 cores=0,2,4,6
/proc/11237/task/11253/stat : 11253 (java) S 11234 11237 5878 0 -1 4202560 6144 0 0 0 63 2 0 0 20 0 19 0 25351012 9856040960 66055 33554432000 1073741824 1073778376 140734584276448 140648518597560 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11237/tid=11254] ppid=11234 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11237/task/11254/stat : 11254 (java) S 11234 11237 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25351012 9856040960 66055 33554432000 1073741824 1073778376 140734584276448 140648517544696 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11237/tid=11255] ppid=11234 vsize=9625040 CPUtime=0.46 cores=0,2,4,6
/proc/11237/task/11255/stat : 11255 (java) S 11234 11237 5878 0 -1 4202560 99 0 0 0 23 23 0 0 20 0 19 0 25351012 9856040960 66055 33554432000 1073741824 1073778376 140734584276448 140648516492360 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11237/tid=11256] ppid=11234 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/11237/task/11256/stat : 11256 (java) S 11234 11237 5878 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 25351037 9856040960 66055 33554432000 1073741824 1073778376 140734584276448 140648515437608 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 9625040

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 11237 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=378213
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=211663
# CPU time returned by wait4() is 1796.59
# while last known CPU time is 1800.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1771.36
CPU time (s): 1800.02
CPU user time (s): 1798.3
CPU system time (s): 1.72
CPU usage (%): 101.618
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.38
system time used= 2.21166
maximum resident set size= 440936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53646
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1696
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 73889
involuntary context switches= 97864

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.7632 second user time and 11.4623 second system time

The end

Launcher Data 

Begin job on node120 at 2016-06-18 08:57:07
IDJOB=4103144
IDBENCH=2280
IDSOLVER=2546
FILE ID=node120/4103144-1466233027
RUNJOBID= node120-1466206086-5894
PBS_JOBID= 19918157
Free space on /tmp= 71728 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran10x10b.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103144-1466233027/watcher-4103144-1466233027 -o /tmp/evaluation-result-4103144-1466233027/solver-4103144-1466233027 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node120-1466206086-5894 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4103144-1466233027.opb

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

MD5SUM BENCH= b5587ac28cf407bbfa21e21c74984478
RANDOM SEED=1573974759

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        28154612 kB
Buffers:          116812 kB
Cached:           238124 kB
SwapCached:         1812 kB
Active:          1917764 kB
Inactive:         284748 kB
Active(anon):    1848188 kB
Inactive(anon):     1244 kB
Active(file):      69576 kB
Inactive(file):   283504 kB
Unevictable:     1720848 kB
Mlocked:         1590032 kB
SwapTotal:      67108856 kB
SwapFree:       67099492 kB
Dirty:               888 kB
Writeback:             0 kB
AnonPages:       3612176 kB
Mapped:            15444 kB
Shmem:                 0 kB
Slab:             614268 kB
SReclaimable:      58132 kB
SUnreclaim:       556136 kB
KernelStack:        1592 kB
PageTables:        11480 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    5000868 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1988608 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71728 MiB
End job on node120 at 2016-06-18 09:26:38