Trace number 4090871

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 NameAnswerCPU timeWall clock time
Sat4j PB 2.3.6 Resolution PB16MSAT (TO) 1800.05 1780.37

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl50_60_pb.cnf.cr--soft-0-100-0.wbo
MD5SUM32809f4710e615fcaa140bf3e08c6c73
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark3.88341
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables6000
Total number of constraints220
Number of soft constraints220
Number of constraints which are clauses120
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint50
Maximum length of a constraint60
Top cost 11307
Min constraint cost 1
Max constraint cost 99
Sum of constraints costs 11306
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 61
Number of bits of the biggest sum of numbers6
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.09/0.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Glucose 2.1 dynamic restart strategy
0.09/0.11	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.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-4090871-1466065942.wbo
0.09/0.11	c reading problem ... 
0.54/0.30	c ... done. Wall clock time 0.187s.
0.54/0.30	c declared #vars     6000
0.54/0.30	c internal #vars     6220
0.54/0.30	c #constraints  220
0.54/0.30	c constraints type 
0.54/0.30	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 120
0.54/0.30	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 100
0.54/0.30	c 220 constraints processed.
0.54/0.30	c objective function length is 220 literals
1.65/0.96	c cleaning 2495 clauses out of 5000 with flag 32175/5000
2.14/1.39	c SATISFIABLE
2.14/1.39	c OPTIMIZING...
2.14/1.39	c Got one! Elapsed wall clock time (in seconds):1.28
2.26/1.40	o 93
2.41/1.55	c cleaning 4033 clauses out of 8078 with flag 5805/10573
3.13/2.21	c cleaning 5020 clauses out of 10045 with flag 42692/16573
3.93/3.07	c cleaning 6009 clauses out of 12027 with flag 90202/23575
5.06/4.19	c cleaning 6998 clauses out of 14016 with flag 145566/31573
6.26/5.39	c cleaning 8006 clauses out of 16020 with flag 201557/40575
6.66/5.75	c Got one! Elapsed wall clock time (in seconds):5.638
6.66/5.75	o 90
6.93/5.95	c cleaning 6629 clauses out of 13280 with flag 10476/45841
7.43/6.43	c cleaning 6312 clauses out of 12650 with flag 50590/51840
7.74/6.76	c Got one! Elapsed wall clock time (in seconds):6.645
7.74/6.76	o 83
7.90/6.86	c cleaning 5692 clauses out of 11408 with flag 5958/56910
8.60/7.54	c cleaning 5852 clauses out of 11717 with flag 46912/62911
9.40/8.30	c cleaning 6428 clauses out of 12865 with flag 92227/69911
10.30/9.27	c cleaning 7214 clauses out of 14437 with flag 146505/77911
10.60/9.59	c Got one! Elapsed wall clock time (in seconds):9.476
10.60/9.59	o 82
10.71/9.65	c Got one! Elapsed wall clock time (in seconds):9.539
10.71/9.65	o 67
10.85/9.79	c Got one! Elapsed wall clock time (in seconds):9.672
10.85/9.79	o 65
10.97/9.86	c Got one! Elapsed wall clock time (in seconds):9.742
10.97/9.86	o 27
11.08/9.99	c cleaning 7265 clauses out of 14547 with flag 6340/85235
11.47/10.34	c Got one! Elapsed wall clock time (in seconds):10.231
11.47/10.34	o 13
11.57/10.46	c Got one! Elapsed wall clock time (in seconds):10.349
11.57/10.46	o 12
11.67/10.60	c cleaning 6398 clauses out of 12823 with flag 6675/90776
12.57/11.40	c cleaning 6201 clauses out of 12425 with flag 52602/96776
13.37/12.29	c Got one! Elapsed wall clock time (in seconds):12.18
13.37/12.29	o 7
13.77/12.69	c cleaning 9051 clauses out of 18123 with flag 33252/108675
14.67/13.56	c cleaning 7522 clauses out of 15074 with flag 76964/114677
15.77/14.62	c cleaning 7259 clauses out of 14553 with flag 123660/121678
16.57/15.42	c cleaning 7631 clauses out of 15291 with flag 183043/129675
17.77/16.67	c cleaning 8313 clauses out of 16660 with flag 251661/138675
19.67/18.56	c cleaning 9159 clauses out of 18350 with flag 333954/148678
21.77/20.60	c cleaning 10077 clauses out of 20188 with flag 424168/159675
24.03/22.85	c cleaning 11040 clauses out of 22112 with flag 522138/171676
26.64/25.44	c cleaning 12018 clauses out of 24071 with flag 623406/184675
29.53/28.31	c cleaning 13010 clauses out of 26055 with flag 735846/198677
32.73/31.56	c cleaning 14009 clauses out of 28044 with flag 857711/213676
36.83/35.63	c cleaning 14996 clauses out of 30034 with flag 981190/229675
40.92/39.62	c cleaning 15998 clauses out of 32038 with flag 1148901/246675
45.21/43.90	c cleaning 17001 clauses out of 34041 with flag 1330962/264676
50.01/48.70	c cleaning 18001 clauses out of 36043 with flag 1522225/283679
55.41/54.19	c cleaning 19003 clauses out of 38039 with flag 1719690/303676
61.74/60.38	c cleaning 19995 clauses out of 40035 with flag 1930940/324675
68.44/67.05	c cleaning 20997 clauses out of 42040 with flag 2136492/346675
75.25/73.83	c cleaning 22006 clauses out of 44046 with flag 2362466/369678
83.04/81.62	c cleaning 23003 clauses out of 46037 with flag 2583517/393675
91.13/89.53	c cleaning 23999 clauses out of 48036 with flag 2823159/418677
100.64/99.01	c cleaning 25000 clauses out of 50036 with flag 3069201/444676
110.23/108.67	c cleaning 26001 clauses out of 52035 with flag 3318572/471675
120.84/119.09	c cleaning 26997 clauses out of 54035 with flag 3583994/499676
131.86/130.02	c cleaning 28002 clauses out of 56037 with flag 3850895/528675
143.43/141.34	c cleaning 28998 clauses out of 58035 with flag 4122519/558675
156.64/154.59	c cleaning 29999 clauses out of 60038 with flag 4415368/589676
171.41/169.03	c cleaning 31003 clauses out of 62038 with flag 4716462/621675
186.37/183.75	c cleaning 32002 clauses out of 64037 with flag 5017022/654677
200.56/197.97	c cleaning 32996 clauses out of 66034 with flag 5328815/688676
215.72/213.08	c cleaning 34006 clauses out of 68039 with flag 5643315/723677
232.80/230.03	c cleaning 34994 clauses out of 70031 with flag 5947442/759675
250.57/247.74	c cleaning 36002 clauses out of 72038 with flag 6272901/796676
270.13/267.20	c cleaning 37002 clauses out of 74035 with flag 6633144/834675
292.32/289.38	c cleaning 38001 clauses out of 76033 with flag 7008296/873675
312.38/309.38	c cleaning 38999 clauses out of 78032 with flag 7372996/913675
332.57/329.48	c cleaning 40003 clauses out of 80034 with flag 7735741/954676
356.14/352.96	c cleaning 40999 clauses out of 82031 with flag 8118705/996676
366.62/363.33	c Got one! Elapsed wall clock time (in seconds):363.215
366.62/363.34	o 6
367.03/363.77	c cleaning 34656 clauses out of 69333 with flag 31742/1024977
367.56/364.25	c cleaning 20326 clauses out of 40674 with flag 72215/1030974
368.05/364.70	c cleaning 13666 clauses out of 27349 with flag 118177/1037975
368.78/365.48	c cleaning 10835 clauses out of 21685 with flag 175451/1045977
369.78/366.41	c cleaning 9909 clauses out of 19847 with flag 240657/1054974
370.78/367.47	c cleaning 9958 clauses out of 19940 with flag 320756/1064976
372.08/368.77	c cleaning 10479 clauses out of 20980 with flag 409110/1075974
373.60/370.23	c cleaning 11242 clauses out of 22501 with flag 510312/1087974
375.31/371.91	c cleaning 12117 clauses out of 24260 with flag 615669/1100975
377.20/373.83	c cleaning 13061 clauses out of 26144 with flag 740294/1114976
379.41/376.03	c cleaning 14035 clauses out of 28084 with flag 867688/1129977
381.92/378.53	c cleaning 15019 clauses out of 30051 with flag 1006604/1145979
385.29/381.81	c cleaning 16004 clauses out of 32027 with flag 1152777/1162974
388.98/385.59	c cleaning 17007 clauses out of 34025 with flag 1314937/1180976
393.27/389.73	c cleaning 18003 clauses out of 36017 with flag 1496312/1199975
393.46/389.99	c Got one! Elapsed wall clock time (in seconds):389.877
393.46/389.99	o 4
393.78/390.26	c cleaning 11948 clauses out of 23909 with flag 25544/1205870
394.28/390.74	c cleaning 8974 clauses out of 17960 with flag 67652/1211869
394.78/391.23	c cleaning 7960 clauses out of 15985 with flag 109272/1218868
395.58/392.03	c cleaning 7977 clauses out of 16027 with flag 161396/1226870
396.48/392.98	c cleaning 8514 clauses out of 17048 with flag 222567/1235868
397.96/394.37	c cleaning 9251 clauses out of 18534 with flag 303272/1245868
399.56/395.91	c cleaning 10132 clauses out of 20284 with flag 396526/1256869
400.76/397.16	c cleaning 11054 clauses out of 22152 with flag 484141/1268869
402.58/398.97	c cleaning 12029 clauses out of 24098 with flag 582446/1281869
404.88/401.20	c cleaning 13013 clauses out of 26071 with flag 691644/1295871
407.33/403.69	c cleaning 14010 clauses out of 28056 with flag 813185/1310869
410.23/406.55	c cleaning 15007 clauses out of 30045 with flag 935711/1326868
413.48/409.72	c cleaning 15995 clauses out of 32038 with flag 1067527/1343868
415.38/411.68	c cleaning 16992 clauses out of 34043 with flag 1191383/1361868
418.84/415.01	c cleaning 17996 clauses out of 36055 with flag 1333399/1380872
422.34/418.55	c cleaning 18999 clauses out of 38055 with flag 1486398/1400868
426.27/422.41	c cleaning 20002 clauses out of 40060 with flag 1642441/1421872
430.03/426.13	c Got one! Elapsed wall clock time (in seconds):426.014
430.03/426.13	o 3
430.43/426.55	c cleaning 21930 clauses out of 43879 with flag 31744/1445693
430.93/427.03	c cleaning 13970 clauses out of 27946 with flag 70732/1451690
431.43/427.50	c cleaning 10465 clauses out of 20976 with flag 117250/1458690
432.13/428.26	c cleaning 9233 clauses out of 18512 with flag 174897/1466691
432.93/429.08	c cleaning 9120 clauses out of 18278 with flag 237494/1475690
433.98/430.01	c cleaning 9572 clauses out of 19158 with flag 304485/1485690
435.29/431.35	c cleaning 10281 clauses out of 20586 with flag 384226/1496690
436.29/432.38	c cleaning 11129 clauses out of 22306 with flag 468193/1508691
437.93/433.91	c cleaning 12060 clauses out of 24176 with flag 562350/1521690
440.03/436.01	c cleaning 13033 clauses out of 26116 with flag 654636/1535690
442.80/438.76	c cleaning 14012 clauses out of 28086 with flag 767461/1550693
446.00/441.98	c cleaning 15004 clauses out of 30071 with flag 900530/1566690
449.44/445.38	c cleaning 16009 clauses out of 32067 with flag 1032480/1583690
451.74/447.69	c cleaning 17008 clauses out of 34058 with flag 1161240/1601690
454.60/450.43	c cleaning 18001 clauses out of 36051 with flag 1307718/1620691
456.46/452.23	c cleaning 18976 clauses out of 38051 with flag 1442825/1640692
459.96/455.71	c cleaning 19990 clauses out of 40073 with flag 1606823/1661690
463.51/459.21	c cleaning 21002 clauses out of 42083 with flag 1796353/1683690
467.65/463.38	c cleaning 21997 clauses out of 44081 with flag 1977911/1706690
472.53/468.11	c cleaning 23002 clauses out of 46084 with flag 2171956/1730690
477.53/473.18	c cleaning 23999 clauses out of 48084 with flag 2375378/1755692
482.90/478.40	c cleaning 24995 clauses out of 50086 with flag 2581307/1781693
486.63/482.16	c cleaning 26021 clauses out of 52088 with flag 2796100/1808690
492.24/487.61	c cleaning 27010 clauses out of 54068 with flag 3032407/1836691
495.62/490.99	c cleaning 28016 clauses out of 56058 with flag 3241409/1865691
500.82/496.00	c cleaning 29002 clauses out of 58042 with flag 3455621/1895691
504.97/500.18	c cleaning 29983 clauses out of 60039 with flag 3670808/1926690
509.14/504.23	c cleaning 30975 clauses out of 62057 with flag 3883709/1958691
516.92/511.95	c cleaning 31985 clauses out of 64081 with flag 4092255/1991690
521.29/516.26	c cleaning 33031 clauses out of 66098 with flag 4323575/2025692
529.78/524.50	c cleaning 34010 clauses out of 68066 with flag 4573151/2060691
540.72/535.40	c cleaning 35007 clauses out of 70056 with flag 4832334/2096691
551.58/546.18	c cleaning 35998 clauses out of 72049 with flag 5145735/2133691
558.82/553.21	c cleaning 36998 clauses out of 74050 with flag 5447879/2171690
570.47/564.82	c cleaning 37994 clauses out of 76053 with flag 5798699/2210691
583.37/577.63	c cleaning 39001 clauses out of 78061 with flag 6146011/2250693
597.00/591.12	c cleaning 40001 clauses out of 80059 with flag 6515922/2291692
613.35/607.36	c cleaning 40999 clauses out of 82057 with flag 6888404/2333691
620.71/614.52	c cleaning 42008 clauses out of 84059 with flag 7209926/2376692
629.55/623.28	c cleaning 43008 clauses out of 86050 with flag 7570496/2420691
636.18/629.70	c cleaning 43981 clauses out of 88041 with flag 7878095/2465690
648.13/641.47	c cleaning 45002 clauses out of 90062 with flag 8178975/2511692
654.66/647.83	c cleaning 45987 clauses out of 92060 with flag 8502768/2558692
662.91/655.91	c cleaning 47002 clauses out of 94075 with flag 8822351/2606694
671.18/664.02	c cleaning 47998 clauses out of 96072 with flag 9168201/2655693
683.00/675.60	c cleaning 49004 clauses out of 98071 with flag 9476065/2705690
699.96/692.46	c cleaning 50009 clauses out of 100068 with flag 9828285/2756691
710.36/702.76	c cleaning 51001 clauses out of 102058 with flag 10207375/2808690
720.00/712.23	c cleaning 51985 clauses out of 104057 with flag 10543488/2861690
738.11/730.11	c cleaning 52982 clauses out of 106072 with flag 10967353/2915690
750.64/742.60	c cleaning 53993 clauses out of 108090 with flag 11373949/2970690
758.73/750.49	c cleaning 55021 clauses out of 110099 with flag 11731344/3026692
768.11/759.64	c cleaning 55997 clauses out of 112079 with flag 12102261/3083693
785.05/776.30	c cleaning 56980 clauses out of 114079 with flag 12526124/3141690
796.50/787.70	c cleaning 58028 clauses out of 116101 with flag 12947807/3200692
819.67/810.70	c cleaning 59009 clauses out of 118072 with flag 13411135/3260691
841.35/832.04	c cleaning 60007 clauses out of 120062 with flag 13898861/3321690
852.36/842.81	c cleaning 60978 clauses out of 122055 with flag 14321532/3383690
865.22/855.55	c cleaning 61976 clauses out of 124080 with flag 14748010/3446693
889.96/880.07	c cleaning 63021 clauses out of 126103 with flag 15173811/3510692
902.64/892.52	c cleaning 63977 clauses out of 128081 with flag 15603882/3575691
916.26/905.83	c cleaning 65037 clauses out of 130105 with flag 16054524/3641692
942.87/932.24	c cleaning 66018 clauses out of 132066 with flag 16559037/3708690
956.19/945.24	c cleaning 67003 clauses out of 134048 with flag 17039356/3776690
973.92/962.71	c cleaning 68006 clauses out of 136046 with flag 17561721/3845691
989.98/978.54	c cleaning 69004 clauses out of 138039 with flag 18039827/3915690
1006.11/994.49	c cleaning 69990 clauses out of 140035 with flag 18548473/3986690
1026.12/1014.24	c cleaning 70983 clauses out of 142045 with flag 19052946/4058690
1048.15/1036.01	c cleaning 72004 clauses out of 144065 with flag 19563020/4131693
1074.87/1062.57	c cleaning 73006 clauses out of 146059 with flag 20147747/4205691
1109.88/1097.15	c cleaning 74011 clauses out of 148052 with flag 20728453/4280690
1127.68/1114.72	c cleaning 75011 clauses out of 150043 with flag 21270758/4356692
1150.13/1136.96	c cleaning 75961 clauses out of 152032 with flag 21808423/4433692
1171.72/1158.31	c cleaning 77006 clauses out of 154071 with flag 22445323/4511692
1187.29/1173.65	c cleaning 78011 clauses out of 156064 with flag 22959748/4590691
1205.69/1191.73	c cleaning 78988 clauses out of 158055 with flag 23462621/4670693
1227.52/1213.32	c cleaning 80010 clauses out of 160064 with flag 24019505/4751690
1272.85/1258.39	c cleaning 81003 clauses out of 162058 with flag 24750024/4833694
1304.49/1289.67	c cleaning 82004 clauses out of 164051 with flag 25477154/4916690
1331.21/1316.05	c cleaning 82989 clauses out of 166047 with flag 26186322/5000690
1388.09/1372.50	c cleaning 83991 clauses out of 168060 with flag 26966986/5085692
1409.04/1392.90	c cleaning 85000 clauses out of 170068 with flag 27625380/5171691
1442.80/1426.24	c cleaning 85994 clauses out of 172067 with flag 28243048/5258690
1468.62/1451.65	c cleaning 87002 clauses out of 174073 with flag 28912397/5346690
1488.92/1471.65	c cleaning 88003 clauses out of 176072 with flag 29526036/5435691
1519.02/1501.44	c cleaning 89005 clauses out of 178069 with flag 30191609/5525691
1582.00/1564.17	c cleaning 90000 clauses out of 180064 with flag 30813545/5616691
1662.42/1644.00	c cleaning 91007 clauses out of 182066 with flag 31575685/5708693
1693.37/1674.40	c cleaning 91998 clauses out of 184057 with flag 32212147/5801691
1755.99/1736.68	c cleaning 93001 clauses out of 186060 with flag 32859193/5895692
1800.05/1780.30	c starts		: 4370
1800.05/1780.30	c conflicts		: 5978507
1800.05/1780.30	c decisions		: 15479037
1800.05/1780.30	c propagations		: 161136969
1800.05/1780.30	c inspects		: 30995264411
1800.05/1780.30	c shortcuts		: 0
1800.05/1780.30	c learnt literals	: 0
1800.05/1780.30	c learnt binary clauses	: 0
1800.05/1780.30	c learnt ternary clauses	: 0
1800.05/1780.30	c learnt constraints	: 5978507
1800.05/1780.30	c ignored constraints	: 0
1800.05/1780.30	c root simplifications	: 0
1800.05/1780.30	c removed literals (reason simplification)	: 0
1800.05/1780.30	c reason swapping (by a shorter reason)	: 0
1800.05/1780.30	c Calls to reduceDB	: 175
1800.05/1780.30	c Number of update (reduction) of LBD	: 3062431
1800.05/1780.30	c Imported unit clauses	: 0
1800.05/1780.30	c number of reductions to clauses (during analyze)	: 0
1800.05/1780.30	c number of learned constraints concerned by reduction	: 0
1800.05/1780.30	c number of learning phase by resolution	: 0
1800.05/1780.30	c number of learning phase by cutting planes	: 0
1800.05/1780.30	c speed (assignments/second)	: 90526.74364449749
1800.05/1780.30	c non guided choices	1163577
1800.05/1780.33	c learnt constraints type 
1800.05/1780.33	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 175875
1800.05/1780.33	s SATISFIABLE
1800.05/1780.33	c Found 13 solution(s)
1800.05/1780.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 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 
1800.05/1780.35	c objective function=3
1800.05/1780.35	c Total wall clock time (in seconds): 1780.237

Verifier Data 

OK	3

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-4090871-1466065942/watcher-4090871-1466065942 -o /tmp/evaluation-result-4090871-1466065942/solver-4090871-1466065942 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node102-1466062136-8227 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4090871-1466065942.wbo 

pid=9110
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.01 2.02 1.98 3/194 9113
/proc/meminfo: memFree=28956760/32872528 swapFree=188940/188940
[pid=9113] ppid=9110 vsize=272 CPUtime=0 cores=0,2,4,6
/proc/9113/stat : 9113 (java) R 9110 9113 8211 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 8644691 278528 24 33554432000 1073741824 1073778376 140737142751984 140736720819976 249640805789 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9113/statm: 68 29 20 9 0 25 0

[startup+0.10006 s]
/proc/loadavg: 2.01 2.02 1.98 3/194 9113
/proc/meminfo: memFree=28956760/32872528 swapFree=188940/188940
[pid=9113] ppid=9110 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/9113/stat : 9113 (java) S 9110 9113 8211 0 -1 4202496 4404 0 1 0 8 1 0 0 20 0 18 0 8644691 9787879424 6024 33554432000 1073741824 1073778376 140737142751984 140737142743120 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9113/statm: 2389619 6024 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200225 s]
/proc/loadavg: 2.01 2.02 1.98 3/194 9113
/proc/meminfo: memFree=28956760/32872528 swapFree=188940/188940
[pid=9113] ppid=9110 vsize=9558476 CPUtime=0.28 cores=0,2,4,6
/proc/9113/stat : 9113 (java) S 9110 9113 8211 0 -1 4202496 4966 0 1 0 27 1 0 0 20 0 18 0 8644691 9787879424 6958 33554432000 1073741824 1073778376 140737142751984 140737142743120 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9113/statm: 2389619 6958 2217 9 0 2380296 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9558476

[startup+0.300228 s]
/proc/loadavg: 2.01 2.02 1.98 3/194 9113
/proc/meminfo: memFree=28956760/32872528 swapFree=188940/188940
[pid=9113] ppid=9110 vsize=9558476 CPUtime=0.54 cores=0,2,4,6
/proc/9113/stat : 9113 (java) S 9110 9113 8211 0 -1 4202496 7490 0 1 0 52 2 0 0 20 0 18 0 8644691 9787879424 10432 33554432000 1073741824 1073778376 140737142751984 140737142743120 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9113/statm: 2389619 10432 2233 9 0 2380296 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 9558476

[startup+0.700179 s]
/proc/loadavg: 2.01 2.02 1.98 3/194 9113
/proc/meminfo: memFree=28956760/32872528 swapFree=188940/188940
[pid=9113] ppid=9110 vsize=9625040 CPUtime=1.44 cores=0,2,4,6
/proc/9113/stat : 9113 (java) S 9110 9113 8211 0 -1 4202496 11825 0 1 0 141 3 0 0 20 0 19 0 8644691 9856040960 13917 33554432000 1073741824 1073778376 140737142751984 140737142743120 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9113/statm: 2406260 13917 2258 9 0 2396937 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 9625040

[startup+1.50084 s]
/proc/loadavg: 2.17 2.05 2.00 3/213 9132
/proc/meminfo: memFree=28905336/32872528 swapFree=188940/188940
[pid=9113] ppid=9110 vsize=9625040 CPUtime=2.41 cores=0,2,4,6
/proc/9113/stat : 9113 (java) S 9110 9113 8211 0 -1 4202496 13441 0 1 0 238 3 0 0 20 0 19 0 8644691 9856040960 16714 33554432000 1073741824 1073778376 140737142751984 140737142743120 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9113/statm: 2406260 16714 2267 9 0 2396937 0
[pid=9113/tid=9115] ppid=9110 vsize=9625040 CPUtime=1.46 cores=0,2,4,6
/proc/9113/task/9115/stat : 9115 (java) R 9110 9113 8211 0 -1 4202560 2434 0 1 0 144 2 0 0 20 0 19 0 8644692 9856040960 16714 33554432000 1073741824 1073778376 140737142751984 140309747896696 140309619746815 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=9113/tid=9116] ppid=9110 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9113/task/9116/stat : 9116 (java) S 9110 9113 8211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8644693 9856040960 16714 33554432000 1073741824 1073778376 140737142751984 140309591440296 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9113/tid=9117] ppid=9110 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9113/task/9117/stat : 9117 (java) S 9110 9113 8211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8644693 9856040960 16714 33554432000 1073741824 1073778376 140737142751984 140309590387752 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9113/tid=9118] ppid=9110 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9113/task/9118/stat : 9118 (java) S 9110 9113 8211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8644693 9856040960 16714 33554432000 1073741824 1073778376 140737142751984 140309589334696 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9113/tid=9119] ppid=9110 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9113/task/9119/stat : 9119 (java) S 9110 9113 8211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8644693 9856040960 16714 33554432000 1073741824 1073778376 140737142751984 140309588282152 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9113/tid=9120] ppid=9110 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9113/task/9120/stat : 9120 (java) S 9110 9113 8211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8644693 9856040960 16714 33554432000 1073741824 1073778376 140737142751984 140309587229096 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9113/tid=9121] ppid=9110 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9113/task/9121/stat : 9121 (java) S 9110 9113 8211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8644693 9856040960 16714 33554432000 1073741824 1073778376 140737142751984 140309586176552 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9113/tid=9122] ppid=9110 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9113/task/9122/stat : 9122 (java) S 9110 9113 8211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8644693 9856040960 16714 33554432000 1073741824 1073778376 140737142751984 140309585123496 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9113/tid=9123] ppid=9110 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9113/task/9123/stat : 9123 (java) S 9110 9113 8211 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8644693 9856040960 16714 33554432000 1073741824 1073778376 140737142751984 140309584070952 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9113/tid=9124] ppid=9110 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9113/task/9124/stat : 9124 (java) S 9110 9113 8211 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 8644695 9856040960 16714 33554432000 1073741824 1073778376 140737142751984 140309571873640 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9113/tid=9125] ppid=9110 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9113/task/9125/stat : 9125 (java) S 9110 9113 8211 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8644695 9856040960 16714 33554432000 1073741824 1073778376 140737142751984 140309570819960 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9113/tid=9126] ppid=9110 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9113/task/9126/stat : 9126 (java) S 9110 9113 8211 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8644695 9856040960 16714 33554432000 1073741824 1073778376 140737142751984 140309569766792 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9113/tid=9127] ppid=9110 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9113/task/9127/stat : 9127 (java) S 9110 9113 8211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8644697 9856040960 16714 33554432000 1073741824 1073778376 140737142751984 140309568715536 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9113/tid=9128] ppid=9110 vsize=9625040 CPUtime=0.53 cores=0,2,4,6
/proc/9113/task/9128/stat : 9128 (java) S 9110 9113 8211 0 -1 4202560 4762 0 0 0 52 1 0 0 20 0 19 0 8644697 9856040960 16714 33554432000 1073741824 1073778376 140737142751984 140309567662392 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9113/tid=9129] ppid=9110 vsize=9625040 CPUtime=0.38 cores=0,2,4,6
/proc/9113/task/9129/stat : 9129 (java) S 9110 9113 8211 0 -1 4202560 4969 0 0 0 38 0 0 0 20 0 19 0 8644697 9856040960 16714 33554432000 1073741824 1073778376 140737142751984 140309566609848 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9113/tid=9130] ppid=9110 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9113/task/9130/stat : 9130 (java) S 9110 9113 8211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8644697 9856040960 16714 33554432000 1073741824 1073778376 140737142751984 140309565556984 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9113/tid=9131] ppid=9110 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9113/task/9131/stat : 9131 (java) S 9110 9113 8211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8644697 9856040960 16714 33554432000 1073741824 1073778376 140737142751984 140309564504648 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9113/tid=9132] ppid=9110 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9113/task/9132/stat : 9132 (java) S 9110 9113 8211 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8644723 9856040960 16714 33554432000 1073741824 1073778376 140737142751984 140309563450920 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.41
Current children cumulated vsize (KiB) 9625040

[startup+3.10071 s]
/proc/loadavg: 2.17 2.05 2.00 3/213 9132
/proc/meminfo: memFree=28889636/32872528 swapFree=188940/188940
[pid=9113] ppid=9110 vsize=9625040 CPUtime=4.06 cores=0,2,4,6
/proc/9113/stat : 9113 (java) S 9110 9113 8211 0 -1 4202496 13451 0 1 0 402 4 0 0 20 0 19 0 8644691 9856040960 21322 33554432000 1073741824 1073778376 140737142751984 140737142743120 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9113/statm: 2406260 21322 2267 9 0 2396937 0
[pid=9113/tid=9115] ppid=9110 vsize=9625040 CPUtime=3.05 cores=0,2,4,6
/proc/9113/task/9115/stat : 9115 (java) R 9110 9113 8211 0 -1 4202560 2444 0 1 0 303 2 0 0 20 0 19 0 8644692 9856040960 21322 33554432000 1073741824 1073778376 140737142751984 140309747887824 140309619721180 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=9113/tid=9116] ppid=9110 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9113/task/9116/stat : 9116 (java) S 9110 9113 8211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8644693 9856040960 21322 33554432000 1073741824 1073778376 140737142751984 140309591440296 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9113/tid=9117] ppid=9110 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9113/task/9117/stat : 9117 (java) S 9110 9113 8211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8644693 9856040960 21322 33554432000 1073741824 1073778376 140737142751984 140309590387752 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9113/tid=9118] ppid=9110 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9113/task/9118/stat : 9118 (java) S 9110 9113 8211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8644693 9856040960 21322 33554432000 1073741824 1073778376 140737142751984 140309589334696 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9113/tid=9119] ppid=9110 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9113/task/9119/stat : 9119 (java) S 9110 9113 8211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8644693 9856040960 21322 33554432000 1073741824 1073778376 140737142751984 140309588282152 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9113/tid=9120] ppid=9110 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9113/task/9120/stat : 9120 (java) S 9110 9113 8211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8644693 9856040960 21322 33554432000 1073741824 1073778376 140737142751984 140309587229096 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9113/tid=9121] ppid=9110 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9113/task/9121/stat : 9121 (java) S 9110 9113 8211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8644693 9856040960 21322 33554432000 1073741824 1073778376 140737142751984 140309586176552 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9113/tid=9122] ppid=9110 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9113/task/9122/stat : 9122 (java) S 9110 9113 8211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8644693 9856040960 21322 33554432000 1073741824 1073778376 140737142751984 140309585123496 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9113/tid=9123] ppid=9110 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9113/task/9123/stat : 9123 (java) S 9110 9113 8211 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8644693 9856040960 21322 33554432000 1073741824 1073778376 140737142751984 140309584070952 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9113/tid=9124] ppid=9110 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9113/task/9124/stat : 9124 (java) S 9110 9113 8211 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 8644695 9856040960 21322 33554432000 1073741824 1073778376 140737142751984 140309571873640 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9113/tid=9125] ppid=9110 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9113/task/9125/stat : 9125 (java) S 9110 9113 8211 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8644695 9856040960 21322 33554432000 1073741824 1073778376 140737142751984 140309570819960 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9113/tid=9126] ppid=9110 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9113/task/9126/stat : 9126 (java) S 9110 9113 8211 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8644695 9856040960 21322 33554432000 1073741824 1073778376 140737142751984 140309569766792 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9113/tid=9127] ppid=9110 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9113/task/9127/stat : 9127 (java) S 9110 9113 8211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8644697 9856040960 21322 33554432000 1073741824 1073778376 140737142751984 140309568715536 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9113/tid=9128] ppid=9110 vsize=9625040 CPUtime=0.57 cores=0,2,4,6
/proc/9113/task/9128/stat : 9128 (java) S 9110 9113 8211 0 -1 4202560 4762 0 0 0 55 2 0 0 20 0 19 0 8644697 9856040960 21322 33554432000 1073741824 1073778376 140737142751984 140309567662392 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9113/tid=9129] ppid=9110 vsize=9625040 CPUtime=0.39 cores=0,2,4,6
/proc/9113/task/9129/stat : 9129 (java) S 9110 9113 8211 0 -1 4202560 4969 0 0 0 39 0 0 0 20 0 19 0 8644697 9856040960 21322 33554432000 1073741824 1073778376 140737142751984 140309566609848 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9113/tid=9130] ppid=9110 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9113/task/9130/stat : 9130 (java) S 9110 9113 8211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8644697 9856040960 21322 33554432000 1073741824 1073778376 140737142751984 140309565556984 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9113/tid=9131] ppid=9110 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9113/task/9131/stat : 9131 (java) S 9110 9113 8211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8644697 9856040960 21322 33554432000 1073741824 1073778376 140737142751984 140309564504648 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9113/tid=9132] ppid=9110 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9113/task/9132/stat : 9132 (java) S 9110 9113 8211 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8644723 9856040960 21322 33554432000 1073741824 1073778376 140737142751984 140309563450920 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 4.06
Current children cumulated vsize (KiB) 9625040

[startup+6.30078 s]
/proc/loadavg: 2.15 2.05 2.00 3/213 9132
/proc/meminfo: memFree=28854580/32872528 swapFree=188940/188940
[pid=9113] ppid=9110 vsize=9625040 CPUtime=7.33 cores=0,2,4,6
/proc/9113/stat : 9113 (java) S 9110 9113 8211 0 -1 4202496 13473 0 1 0 729 4 0 0 20 0 19 0 8644691 9856040960 30499 33554432000 1073741824 1073778376 140737142751984 140737142743120 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9113/statm: 2406260 30499 2268 9 0 2396937 0
[pid=9113/tid=9115] ppid=9110 vsize=9625040 CPUtime=6.24 cores=0,2,4,6
/proc/9113/task/9115/stat : 9115 (java) R 9110 9113 8211 0 -1 4202560 2464 0 1 0 622 2 0 0 20 0 19 0 8644692 9856040960 30499 33554432000 1073741824 1073778376 140737142751984 140309747894840 140309619746907 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=9113/tid=9116] ppid=9110 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9113/task/9116/stat : 9116 (java) S 9110 9113 8211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8644693 9856040960 30499 33554432000 1073741824 1073778376 140737142751984 140309591440296 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9113/tid=9117] ppid=9110 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9113/task/9117/stat : 9117 (java) S 9110 9113 8211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8644693 9856040960 30499 33554432000 1073741824 1073778376 140737142751984 140309590387752 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9113/tid=9118] ppid=9110 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9113/task/9118/stat : 9118 (java) S 9110 9113 8211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8644693 9856040960 30499 33554432000 1073741824 1073778376 140737142751984 140309589334696 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9113/tid=9119] ppid=9110 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9113/task/9119/stat : 9119 (java) S 9110 9113 8211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8644693 9856040960 30499 33554432000 1073741824 1073778376 140737142751984 140309588282152 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9113/tid=9120] ppid=9110 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9113/task/9120/stat : 9120 (java) S 9110 9113 8211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8644693 9856040960 30499 33554432000 1073741824 1073778376 140737142751984 140309587229096 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9113/tid=9121] ppid=9110 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9113/task/9121/stat : 9121 (java) S 9110 9113 8211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8644693 9856040960 30499 33554432000 1073741824 1073778376 140737142751984 140309586176552 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9113/tid=9122] ppid=9110 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9113/task/9122/stat : 9122 (java) S 9110 9113 8211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8644693 9856040960 30499 33554432000 1073741824 1073778376 140737142751984 140309585123496 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9113/tid=9123] ppid=9110 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9113/task/9123/stat : 9123 (java) S 9110 9113 8211 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8644693 9856040960 30499 33554432000 1073741824 1073778376 140737142751984 140309584070952 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9113/tid=9124] ppid=9110 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9113/task/9124/stat : 9124 (java) S 9110 9113 8211 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 8644695 9856040960 30499 33554432000 1073741824 1073778376 140737142751984 140309571873640 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9113/tid=9125] ppid=9110 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9113/task/9125/stat : 9125 (java) S 9110 9113 8211 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8644695 9856040960 30499 33554432000 1073741824 1073778376 140737142751984 140309570819960 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9113/tid=9126] ppid=9110 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9113/task/9126/stat : 9126 (java) S 9110 9113 8211 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8644695 9856040960 30499 33554432000 1073741824 1073778376 140737142751984 140309569766792 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9113/tid=9127] ppid=9110 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9113/task/9127/stat : 9127 (java) S 9110 9113 8211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8644697 9856040960 30499 33554432000 1073741824 1073778376 140737142751984 140309568715536 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9113/tid=9128] ppid=9110 vsize=9625040 CPUtime=0.62 cores=0,2,4,6
/proc/9113/task/9128/stat : 9128 (java) S 9110 9113 8211 0 -1 4202560 4762 0 0 0 60 2 0 0 20 0 19 0 8644697 9856040960 30499 33554432000 1073741824 1073778376 140737142751984 140309567662392 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9113/tid=9129] ppid=9110 vsize=9625040 CPUtime=0.42 cores=0,2,4,6
/proc/9113/task/9129/stat : 9129 (java) S 9110 9113 8211 0 -1 4202560 4969 0 0 0 42 0 0 0 20 0 19 0 8644697 9856040960 30499 33554432000 1073741824 1073778376 140737142751984 140309566609848 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9113/tid=9130] ppid=9110 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9113/task/9130/stat : 9130 (java) S 9110 9113 8211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8644697 9856040960 30499 33554432000 1073741824 1073778376 140737142751984 140309565556984 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9113/tid=9131] ppid=9110 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9113/task/9131/stat : 9131 (java) S 9110 9113 8211 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 8644697 9856040960 30499 33554432000 1073741824 1073778376 140737142751984 140309564504648 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9113/tid=9132] ppid=9110 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9113/task/9132/stat : 9132 (java) S 9110 9113 8211 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8644723 9856040960 30499 33554432000 1073741824 1073778376 140737142751984 140309563450920 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 7.33
Current children cumulated vsize (KiB) 9625040


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

[pid=9113/tid=9132] ppid=9110 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9113/task/9132/stat : 9132 (java) S 9110 9113 8211 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8644723 9856040960 189683 33554432000 1073741824 1073778376 140737142751984 140309563450920 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1681.21
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 1.98 2.03 2.02 3/214 9263
/proc/meminfo: memFree=30772756/32872528 swapFree=188940/188940
[pid=9113] ppid=9110 vsize=9625040 CPUtime=1741.69 cores=0,2,4,6
/proc/9113/stat : 9113 (java) S 9110 9113 8211 0 -1 4202496 31820 0 1 0 173994 175 0 0 20 0 19 0 8644691 9856040960 189713 33554432000 1073741824 1073778376 140737142751984 140737142743120 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9113/statm: 2406260 189713 2290 9 0 2396937 0
[pid=9113/tid=9115] ppid=9110 vsize=9625040 CPUtime=1705.85 cores=0,2,4,6
/proc/9113/task/9115/stat : 9115 (java) R 9110 9113 8211 0 -1 4202560 2701 0 1 0 170555 30 0 0 20 0 19 0 8644692 9856040960 189713 33554432000 1073741824 1073778376 140737142751984 140309747895472 140309619616992 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=9113/tid=9116] ppid=9110 vsize=9625040 CPUtime=3.07 cores=0,2,4,6
/proc/9113/task/9116/stat : 9116 (java) S 9110 9113 8211 0 -1 4202560 1687 0 0 0 288 19 0 0 20 0 19 0 8644693 9856040960 189713 33554432000 1073741824 1073778376 140737142751984 140309591440296 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9113/tid=9117] ppid=9110 vsize=9625040 CPUtime=3.07 cores=0,2,4,6
/proc/9113/task/9117/stat : 9117 (java) S 9110 9113 8211 0 -1 4202560 1187 0 0 0 291 16 0 0 20 0 19 0 8644693 9856040960 189713 33554432000 1073741824 1073778376 140737142751984 140309590387752 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9113/tid=9118] ppid=9110 vsize=9625040 CPUtime=3.12 cores=0,2,4,6
/proc/9113/task/9118/stat : 9118 (java) S 9110 9113 8211 0 -1 4202560 2424 0 0 0 292 20 0 0 20 0 19 0 8644693 9856040960 189713 33554432000 1073741824 1073778376 140737142751984 140309589334696 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9113/tid=9119] ppid=9110 vsize=9625040 CPUtime=3.22 cores=0,2,4,6
/proc/9113/task/9119/stat : 9119 (java) S 9110 9113 8211 0 -1 4202560 3170 0 0 0 302 20 0 0 20 0 19 0 8644693 9856040960 189713 33554432000 1073741824 1073778376 140737142751984 140309588282152 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9113/tid=9120] ppid=9110 vsize=9625040 CPUtime=3.02 cores=0,2,4,6
/proc/9113/task/9120/stat : 9120 (java) S 9110 9113 8211 0 -1 4202560 2160 0 0 0 287 15 0 0 20 0 19 0 8644693 9856040960 189713 33554432000 1073741824 1073778376 140737142751984 140309587229096 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9113/tid=9121] ppid=9110 vsize=9625040 CPUtime=3.11 cores=0,2,4,6
/proc/9113/task/9121/stat : 9121 (java) S 9110 9113 8211 0 -1 4202560 1665 0 0 0 295 16 0 0 20 0 19 0 8644693 9856040960 189713 33554432000 1073741824 1073778376 140737142751984 140309586176552 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9113/tid=9122] ppid=9110 vsize=9625040 CPUtime=3.19 cores=0,2,4,6
/proc/9113/task/9122/stat : 9122 (java) S 9110 9113 8211 0 -1 4202560 2512 0 0 0 301 18 0 0 20 0 19 0 8644693 9856040960 189713 33554432000 1073741824 1073778376 140737142751984 140309585123496 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9113/tid=9123] ppid=9110 vsize=9625040 CPUtime=2.98 cores=0,2,4,6
/proc/9113/task/9123/stat : 9123 (java) S 9110 9113 8211 0 -1 4202560 1948 0 0 0 279 19 0 0 20 0 19 0 8644693 9856040960 189713 33554432000 1073741824 1073778376 140737142751984 140309584070952 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9113/tid=9124] ppid=9110 vsize=9625040 CPUtime=5.16 cores=0,2,4,6
/proc/9113/task/9124/stat : 9124 (java) S 9110 9113 8211 0 -1 4202560 1250 0 0 0 512 4 0 0 20 0 19 0 8644695 9856040960 189713 33554432000 1073741824 1073778376 140737142751984 140309571873640 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9113/tid=9125] ppid=9110 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9113/task/9125/stat : 9125 (java) S 9110 9113 8211 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8644695 9856040960 189713 33554432000 1073741824 1073778376 140737142751984 140309570819960 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9113/tid=9126] ppid=9110 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9113/task/9126/stat : 9126 (java) S 9110 9113 8211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8644695 9856040960 189713 33554432000 1073741824 1073778376 140737142751984 140309569766792 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9113/tid=9127] ppid=9110 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9113/task/9127/stat : 9127 (java) S 9110 9113 8211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8644697 9856040960 189713 33554432000 1073741824 1073778376 140737142751984 140309568715536 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9113/tid=9128] ppid=9110 vsize=9625040 CPUtime=0.63 cores=0,2,4,6
/proc/9113/task/9128/stat : 9128 (java) S 9110 9113 8211 0 -1 4202560 4762 0 0 0 61 2 0 0 20 0 19 0 8644697 9856040960 189713 33554432000 1073741824 1073778376 140737142751984 140309567662392 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9113/tid=9129] ppid=9110 vsize=9625040 CPUtime=0.56 cores=0,2,4,6
/proc/9113/task/9129/stat : 9129 (java) S 9110 9113 8211 0 -1 4202560 4992 0 0 0 56 0 0 0 20 0 19 0 8644697 9856040960 189713 33554432000 1073741824 1073778376 140737142751984 140309566609848 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9113/tid=9130] ppid=9110 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9113/task/9130/stat : 9130 (java) S 9110 9113 8211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8644697 9856040960 189713 33554432000 1073741824 1073778376 140737142751984 140309565556984 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9113/tid=9131] ppid=9110 vsize=9625040 CPUtime=0.45 cores=0,2,4,6
/proc/9113/task/9131/stat : 9131 (java) S 9110 9113 8211 0 -1 4202560 99 0 0 0 22 23 0 0 20 0 19 0 8644697 9856040960 189713 33554432000 1073741824 1073778376 140737142751984 140309564504648 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9113/tid=9132] ppid=9110 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9113/task/9132/stat : 9132 (java) S 9110 9113 8211 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8644723 9856040960 189713 33554432000 1073741824 1073778376 140737142751984 140309563450920 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1741.69
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1780.3 s]
/proc/loadavg: 1.99 2.02 2.02 3/213 9264
/proc/meminfo: memFree=30815164/32872528 swapFree=188940/188940
[pid=9113] ppid=9110 vsize=9625040 CPUtime=1800.05 cores=0,2,4,6
/proc/9113/stat : 9113 (java) S 9110 9113 8211 0 -1 4202496 31835 0 1 0 179829 176 0 0 20 0 19 0 8644691 9856040960 189712 33554432000 1073741824 1073778376 140737142751984 140737142743120 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9113/statm: 2406260 189712 2290 9 0 2396937 0
[pid=9113/tid=9115] ppid=9110 vsize=9625040 CPUtime=1763.55 cores=0,2,4,6
/proc/9113/task/9115/stat : 9115 (java) R 9110 9113 8211 0 -1 4202560 2706 0 1 0 176324 31 0 0 20 0 19 0 8644692 9856040960 189712 33554432000 1073741824 1073778376 140737142751984 140309747895504 140309619617026 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=9113/tid=9116] ppid=9110 vsize=9625040 CPUtime=3.12 cores=0,2,4,6
/proc/9113/task/9116/stat : 9116 (java) S 9110 9113 8211 0 -1 4202560 1687 0 0 0 293 19 0 0 20 0 19 0 8644693 9856040960 189712 33554432000 1073741824 1073778376 140737142751984 140309591440296 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9113/tid=9117] ppid=9110 vsize=9625040 CPUtime=3.11 cores=0,2,4,6
/proc/9113/task/9117/stat : 9117 (java) S 9110 9113 8211 0 -1 4202560 1187 0 0 0 295 16 0 0 20 0 19 0 8644693 9856040960 189712 33554432000 1073741824 1073778376 140737142751984 140309590387752 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9113/tid=9118] ppid=9110 vsize=9625040 CPUtime=3.16 cores=0,2,4,6
/proc/9113/task/9118/stat : 9118 (java) S 9110 9113 8211 0 -1 4202560 2424 0 0 0 296 20 0 0 20 0 19 0 8644693 9856040960 189712 33554432000 1073741824 1073778376 140737142751984 140309589334696 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9113/tid=9119] ppid=9110 vsize=9625040 CPUtime=3.28 cores=0,2,4,6
/proc/9113/task/9119/stat : 9119 (java) S 9110 9113 8211 0 -1 4202560 3170 0 0 0 308 20 0 0 20 0 19 0 8644693 9856040960 189712 33554432000 1073741824 1073778376 140737142751984 140309588282152 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9113/tid=9120] ppid=9110 vsize=9625040 CPUtime=3.06 cores=0,2,4,6
/proc/9113/task/9120/stat : 9120 (java) S 9110 9113 8211 0 -1 4202560 2160 0 0 0 291 15 0 0 20 0 19 0 8644693 9856040960 189712 33554432000 1073741824 1073778376 140737142751984 140309587229096 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9113/tid=9121] ppid=9110 vsize=9625040 CPUtime=3.21 cores=0,2,4,6
/proc/9113/task/9121/stat : 9121 (java) S 9110 9113 8211 0 -1 4202560 1665 0 0 0 305 16 0 0 20 0 19 0 8644693 9856040960 189712 33554432000 1073741824 1073778376 140737142751984 140309586176552 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9113/tid=9122] ppid=9110 vsize=9625040 CPUtime=3.27 cores=0,2,4,6
/proc/9113/task/9122/stat : 9122 (java) S 9110 9113 8211 0 -1 4202560 2512 0 0 0 309 18 0 0 20 0 19 0 8644693 9856040960 189712 33554432000 1073741824 1073778376 140737142751984 140309585123496 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9113/tid=9123] ppid=9110 vsize=9625040 CPUtime=3.07 cores=0,2,4,6
/proc/9113/task/9123/stat : 9123 (java) S 9110 9113 8211 0 -1 4202560 1948 0 0 0 288 19 0 0 20 0 19 0 8644693 9856040960 189712 33554432000 1073741824 1073778376 140737142751984 140309584070952 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9113/tid=9124] ppid=9110 vsize=9625040 CPUtime=5.16 cores=0,2,4,6
/proc/9113/task/9124/stat : 9124 (java) S 9110 9113 8211 0 -1 4202560 1256 0 0 0 512 4 0 0 20 0 19 0 8644695 9856040960 189712 33554432000 1073741824 1073778376 140737142751984 140309571873640 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9113/tid=9125] ppid=9110 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9113/task/9125/stat : 9125 (java) S 9110 9113 8211 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8644695 9856040960 189712 33554432000 1073741824 1073778376 140737142751984 140309570819960 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9113/tid=9126] ppid=9110 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9113/task/9126/stat : 9126 (java) S 9110 9113 8211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8644695 9856040960 189712 33554432000 1073741824 1073778376 140737142751984 140309569766792 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9113/tid=9127] ppid=9110 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9113/task/9127/stat : 9127 (java) S 9110 9113 8211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8644697 9856040960 189712 33554432000 1073741824 1073778376 140737142751984 140309568715536 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9113/tid=9128] ppid=9110 vsize=9625040 CPUtime=0.63 cores=0,2,4,6
/proc/9113/task/9128/stat : 9128 (java) S 9110 9113 8211 0 -1 4202560 4762 0 0 0 61 2 0 0 20 0 19 0 8644697 9856040960 189712 33554432000 1073741824 1073778376 140737142751984 140309567662392 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9113/tid=9129] ppid=9110 vsize=9625040 CPUtime=0.56 cores=0,2,4,6
/proc/9113/task/9129/stat : 9129 (java) S 9110 9113 8211 0 -1 4202560 4992 0 0 0 56 0 0 0 20 0 19 0 8644697 9856040960 189712 33554432000 1073741824 1073778376 140737142751984 140309566609848 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9113/tid=9130] ppid=9110 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9113/task/9130/stat : 9130 (java) S 9110 9113 8211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8644697 9856040960 189712 33554432000 1073741824 1073778376 140737142751984 140309565556984 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9113/tid=9131] ppid=9110 vsize=9625040 CPUtime=0.47 cores=0,2,4,6
/proc/9113/task/9131/stat : 9131 (java) S 9110 9113 8211 0 -1 4202560 103 0 0 0 23 24 0 0 20 0 19 0 8644697 9856040960 189712 33554432000 1073741824 1073778376 140737142751984 140309564504648 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9113/tid=9132] ppid=9110 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9113/task/9132/stat : 9132 (java) S 9110 9113 8211 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8644723 9856040960 189712 33554432000 1073741824 1073778376 140737142751984 140309563450920 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
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 9113 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1780.3 s]
/proc/loadavg: 1.99 2.02 2.02 3/213 9264
/proc/meminfo: memFree=30815164/32872528 swapFree=188940/188940
[pid=9113] ppid=9110 vsize=9625040 CPUtime=1800.05 cores=0,2,4,6
/proc/9113/stat : 9113 (java) S 9110 9113 8211 0 -1 4202496 31835 0 1 0 179829 176 0 0 20 0 19 0 8644691 9856040960 189712 33554432000 1073741824 1073778376 140737142751984 140737142743120 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9113/statm: 2406260 189712 2290 9 0 2396937 0
[pid=9113/tid=9115] ppid=9110 vsize=9625040 CPUtime=1763.55 cores=0,2,4,6
/proc/9113/task/9115/stat : 9115 (java) R 9110 9113 8211 0 -1 4202560 2706 0 1 0 176324 31 0 0 20 0 19 0 8644692 9856040960 189712 33554432000 1073741824 1073778376 140737142751984 140309747895504 140309619617026 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=9113/tid=9116] ppid=9110 vsize=9625040 CPUtime=3.12 cores=0,2,4,6
/proc/9113/task/9116/stat : 9116 (java) S 9110 9113 8211 0 -1 4202560 1687 0 0 0 293 19 0 0 20 0 19 0 8644693 9856040960 189712 33554432000 1073741824 1073778376 140737142751984 140309591440296 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9113/tid=9117] ppid=9110 vsize=9625040 CPUtime=3.11 cores=0,2,4,6
/proc/9113/task/9117/stat : 9117 (java) S 9110 9113 8211 0 -1 4202560 1187 0 0 0 295 16 0 0 20 0 19 0 8644693 9856040960 189712 33554432000 1073741824 1073778376 140737142751984 140309590387752 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9113/tid=9118] ppid=9110 vsize=9625040 CPUtime=3.16 cores=0,2,4,6
/proc/9113/task/9118/stat : 9118 (java) S 9110 9113 8211 0 -1 4202560 2424 0 0 0 296 20 0 0 20 0 19 0 8644693 9856040960 189712 33554432000 1073741824 1073778376 140737142751984 140309589334696 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9113/tid=9119] ppid=9110 vsize=9625040 CPUtime=3.28 cores=0,2,4,6
/proc/9113/task/9119/stat : 9119 (java) S 9110 9113 8211 0 -1 4202560 3170 0 0 0 308 20 0 0 20 0 19 0 8644693 9856040960 189712 33554432000 1073741824 1073778376 140737142751984 140309588282152 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9113/tid=9120] ppid=9110 vsize=9625040 CPUtime=3.06 cores=0,2,4,6
/proc/9113/task/9120/stat : 9120 (java) S 9110 9113 8211 0 -1 4202560 2160 0 0 0 291 15 0 0 20 0 19 0 8644693 9856040960 189712 33554432000 1073741824 1073778376 140737142751984 140309587229096 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9113/tid=9121] ppid=9110 vsize=9625040 CPUtime=3.21 cores=0,2,4,6
/proc/9113/task/9121/stat : 9121 (java) S 9110 9113 8211 0 -1 4202560 1665 0 0 0 305 16 0 0 20 0 19 0 8644693 9856040960 189712 33554432000 1073741824 1073778376 140737142751984 140309586176552 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9113/tid=9122] ppid=9110 vsize=9625040 CPUtime=3.27 cores=0,2,4,6
/proc/9113/task/9122/stat : 9122 (java) S 9110 9113 8211 0 -1 4202560 2512 0 0 0 309 18 0 0 20 0 19 0 8644693 9856040960 189712 33554432000 1073741824 1073778376 140737142751984 140309585123496 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9113/tid=9123] ppid=9110 vsize=9625040 CPUtime=3.07 cores=0,2,4,6
/proc/9113/task/9123/stat : 9123 (java) S 9110 9113 8211 0 -1 4202560 1948 0 0 0 288 19 0 0 20 0 19 0 8644693 9856040960 189712 33554432000 1073741824 1073778376 140737142751984 140309584070952 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9113/tid=9124] ppid=9110 vsize=9625040 CPUtime=5.16 cores=0,2,4,6
/proc/9113/task/9124/stat : 9124 (java) S 9110 9113 8211 0 -1 4202560 1256 0 0 0 512 4 0 0 20 0 19 0 8644695 9856040960 189712 33554432000 1073741824 1073778376 140737142751984 140309571873640 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9113/tid=9125] ppid=9110 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9113/task/9125/stat : 9125 (java) S 9110 9113 8211 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8644695 9856040960 189712 33554432000 1073741824 1073778376 140737142751984 140309570819960 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9113/tid=9126] ppid=9110 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9113/task/9126/stat : 9126 (java) S 9110 9113 8211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8644695 9856040960 189712 33554432000 1073741824 1073778376 140737142751984 140309569766792 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9113/tid=9127] ppid=9110 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9113/task/9127/stat : 9127 (java) S 9110 9113 8211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8644697 9856040960 189712 33554432000 1073741824 1073778376 140737142751984 140309568715536 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9113/tid=9128] ppid=9110 vsize=9625040 CPUtime=0.63 cores=0,2,4,6
/proc/9113/task/9128/stat : 9128 (java) S 9110 9113 8211 0 -1 4202560 4762 0 0 0 61 2 0 0 20 0 19 0 8644697 9856040960 189712 33554432000 1073741824 1073778376 140737142751984 140309567662392 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9113/tid=9129] ppid=9110 vsize=9625040 CPUtime=0.56 cores=0,2,4,6
/proc/9113/task/9129/stat : 9129 (java) S 9110 9113 8211 0 -1 4202560 4992 0 0 0 56 0 0 0 20 0 19 0 8644697 9856040960 189712 33554432000 1073741824 1073778376 140737142751984 140309566609848 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9113/tid=9130] ppid=9110 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9113/task/9130/stat : 9130 (java) S 9110 9113 8211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8644697 9856040960 189712 33554432000 1073741824 1073778376 140737142751984 140309565556984 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9113/tid=9131] ppid=9110 vsize=9625040 CPUtime=0.47 cores=0,2,4,6
/proc/9113/task/9131/stat : 9131 (java) S 9110 9113 8211 0 -1 4202560 103 0 0 0 23 24 0 0 20 0 19 0 8644697 9856040960 189712 33554432000 1073741824 1073778376 140737142751984 140309564504648 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9113/tid=9132] ppid=9110 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9113/task/9132/stat : 9132 (java) S 9110 9113 8211 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8644723 9856040960 189712 33554432000 1073741824 1073778376 140737142751984 140309563450920 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 9625040

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 9113 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=849293
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=191666
# CPU time returned by wait4() is 1796.04
# while last known CPU time is 1800.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1780.37
CPU time (s): 1800.05
CPU user time (s): 1798.29
CPU system time (s): 1.76
CPU usage (%): 101.105
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.85
system time used= 2.19167
maximum resident set size= 806664
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31877
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 44116
involuntary context switches= 45958

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.7222 second user time and 11.7942 second system time

The end

Launcher Data 

Begin job on node102 at 2016-06-16 10:32:22
IDJOB=4090871
IDBENCH=79153
IDSOLVER=2551
FILE ID=node102/4090871-1466065942
RUNJOBID= node102-1466062136-8227
PBS_JOBID= 19904030
Free space on /tmp= 71728 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl50_60_pb.cnf.cr--soft-0-100-0.wbo
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4090871-1466065942/watcher-4090871-1466065942 -o /tmp/evaluation-result-4090871-1466065942/solver-4090871-1466065942 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node102-1466062136-8227 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4090871-1466065942.wbo

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

MD5SUM BENCH= 32809f4710e615fcaa140bf3e08c6c73
RANDOM SEED=56827285

node102.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.746
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.49
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.746
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.746
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.746
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.55
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.746
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.55
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.746
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.55
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.746
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.746
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:        28956900 kB
Buffers:            6472 kB
Cached:            55896 kB
SwapCached:         1420 kB
Active:          2985336 kB
Inactive:          27848 kB
Active(anon):    2950696 kB
Inactive(anon):     2408 kB
Active(file):      34640 kB
Inactive(file):    25440 kB
Unevictable:      188940 kB
Mlocked:          188940 kB
SwapTotal:      67108856 kB
SwapFree:       67099212 kB
Dirty:               804 kB
Writeback:             0 kB
AnonPages:       3151120 kB
Mapped:            15320 kB
Shmem:                 0 kB
Slab:             565528 kB
SReclaimable:       9212 kB
SUnreclaim:       556316 kB
KernelStack:        1568 kB
PageTables:        10336 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3613212 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2912256 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= 71736 MiB
End job on node102 at 2016-06-16 11:02:02